 + 22, -3*q - 6 = -2*m + 11. Suppose m*u - z = -u. Solve 0 = u*x + 1 - 7 for x.
3
Let v = 30 - 23. Solve 5*w = v + 8 for w.
3
Let v(k) = -k**3 + 14*k**2 - 41*k + 12. Let n be v(10). Solve 2*l = 4*l + n for l.
-1
Let x(l) = -l**2 - 3*l + 4. Let p be x(-4). Solve -j + p = -1 for j.
1
Suppose p = -14 - 4. Let f be 2/(-1)*9/p. Solve 3*i - f - 2 = 0 for i.
1
Suppose 0 = 2*a - 3*i - 26, 0 = -5*a - 4*i + 16 + 26. Solve x - a = -x for x.
5
Let h = -37 - -42. Solve -4 = -3*a + h for a.
3
Let q(s) = 5*s**2 + s. Let b be q(1). Solve -j - 15 = -b*j for j.
3
Suppose 4*k = 11 + 1. Suppose -4*l - y + 23 = 3, 0 = -5*l + 5*y. Solve -5 = l*u - k*u for u.
-5
Let u be 0/(3/3 + -3). Solve 20 = 5*i - u*i for i.
4
Suppose 4*l - l + 18 = 3*j, -2*l = -3*j + 16. Suppose 0*h + 2*h - 4 = 0. Let m = h - l. Solve 16 = -m*t - 0*t for t.
-4
Let a = -5 - -17. Let t = -7 + a. Let v = 5 - t. Solve -3*w - 6 - 9 = v for w.
-5
Let w(q) = q**2 + 4*q + 4. Let m be w(-3). Solve 0 = -3*x + 2 + m for x.
1
Let f(k) = k**3 + 4*k**2 + 4. Let x be f(-4). Suppose -x*t = -12 - 4. Suppose j = -j + t. Solve 11 = -j*s + 3 for s.
-4
Let r(a) = 14*a**3 - a**2 - a. Let u be r(1). Solve -v - u = 3*v for v.
-3
Let d(c) = -c**2 + 9*c + 3. Suppose 29 = 4*n + 1. Let p be 1*n + 10 + -8. Let w be d(p). Solve 0*s - w = s for s.
-3
Suppose 3*v - 4*n - 4 = 0, v = 3*v + 2*n + 2. Let p be 3*(-2)/(-18)*3. Solve d - p + v = 0 for d.
1
Let n = -6 + 10. Suppose d + 5*z = -0*d + 7, n*d - 13 = -5*z. Solve 0*y = -d*y for y.
0
Let r = -17 - -21. Solve -r*p = -p - 12 for p.
4
Let g(m) = 2*m - 2. Let o be g(4). Suppose -2*a - 12 = -5*a. Solve a*x = o*x for x.
0
Let w = 6 + -14. Let l(d) = d**2 + 9*d + 9. Let n be l(w). Solve -o - n + 0 = 0 for o.
-1
Let n be (-1)/2 - (-52)/8. Suppose f - n = -f. Let m(h) = 2*h - 2. Let v be m(f). Solve o + v*o = 15 for o.
3
Suppose 3*k - 16 = 2. Solve 2*l = k*l for l.
0
Let d(j) = j**3 - j**2 + 1. Let z be d(2). Suppose 0 = -5*i + 3*i + x + 8, 0 = z*i - 3*x - 19. Solve 2*m + i - 15 = 0 for m.
5
Suppose -17 + 5 = -4*b. Solve -b*i + 2 = -i for i.
1
Suppose 300 = -3*c + 7*c. Suppose -7*w = -2*w - c. Solve 0*k = 5*k - w for k.
3
Let n be (2 + 9/(-6))*6. Let x be 0/(((-9)/n)/(-3)). Let i be (0 + x)*3/3. Solve -10 = -2*t - i for t.
5
Let w(j) = 8*j - 28. Let r be w(4). Solve 2 = r*k - 2 for k.
1
Suppose -s = -5*s. Suppose -c + 3*c = s. Suppose 0 = -c*a - 5*a. Solve 5*v - 6 - 9 = a for v.
3
Suppose -25 = -2*p - 9. Solve 3*t = t - p for t.
-4
Let v be -1 + 1 + (8 - 3). Let z = v + -3. Suppose a = -z*a. Solve -12 + a = -4*c for c.
3
Suppose -5*p = 2*r + 10, 4*p - 2*p + 2*r = -10. Let a(n) = 2*n + 2. Let s be a(p). Solve -s*m + 2 = 4 for m.
-1
Suppose -j + 2*h + 8 = 0, 4*j + 2*h = -h + 21. Solve -4*a + j = -6 for a.
3
Let z be ((-111)/(-21))/1 + (-10)/35. Solve z*i - 3 + 13 = 0 for i.
-2
Suppose 0 = -5*z - 4*p + 30, -1 = -p + 4. Solve 0 = 2*g + z*g for g.
0
Let t(w) = w**3 - 4. Let o be t(0). Let i = -8 - -12. Let j = o + i. Solve -5*l + l - 8 = j for l.
-2
Suppose 48*b = 45*b + 9. Solve b*m + m = 4 for m.
1
Suppose 7 = 3*i - n, -5*n = -5 - 5. Solve -i*f = -0*f for f.
0
Let y be ((-10)/(-8))/((-1)/4). Let o be (-165)/25 - (-2)/y. Let g be (-5 - o)*(-6)/(-4). Solve g = 3*x + 6 for x.
-1
Suppose 0 = -4*s + 8 - 0. Suppose s*h - 5*l = 39, 0 = -2*h + 5*h - 3*l - 36. Solve -3*z - h = 2 for z.
-3
Suppose -l - 5*b - 10 = 0, 3*b - 23 + 5 = -3*l. Suppose -2*h = -4*a + l, a = 2*h - a. Solve -11 - 9 = h*q for q.
-4
Suppose -4*q + q = 0. Suppose 15 = 4*y - 3*j, -3*j + 6 = -j. Solve q = -0*b + 2*b + y for b.
-3
Let p(x) = -x**3 - x + 3. Let s be p(0). Solve 1 + 2 = s*n for n.
1
Let r(i) = 11*i**3 - 11*i**2 + 3. Let k(x) = -7*x**3 + 7*x**2 - 2. Let n(a) = -8*k(a) - 5*r(a). Let c be n(1). Let s be 0/1 - (-1)/c. Solve w + s + 0 = 0 for w.
-1
Suppose 2*a + 22 = 2*x, 2*x + 0*a + 2*a = 2. Solve -4*v - 2 = x for v.
-2
Suppose -2*y = 2*y - 4*m + 8, -5*m = -10. Solve 0*x - 5*x = y for x.
0
Let k = -19 + 10. Let b be 4/(-6) + (-6)/k. Let a(f) = -f + 3. Let p be a(b). Solve 2*h + 9 = p for h.
-3
Let s be (-1)/2 + 21/2. Suppose 3*d = -5*i + 72, -5*i + 50 = 2*d - 18. Let p = i - s. Solve 0*w = -p*w for w.
0
Suppose -17 = -3*l + c, 5*l + 2*c - 7*c - 45 = 0. Solve z = l*z + 3 for z.
-1
Let r(h) be the second derivative of h**3/3 + h**2/2 - h. Let c be r(-3). Let i(b) = -b**3 - 4*b**2 + b - 5. Let j be i(c). Solve 2*a - j = 5*a for a.
-5
Suppose p = q + 3*p + 1, 5*q + 3*p + 26 = 0. Let t be 0*(21/6)/q. Solve -2*v = -t*v + 2 for v.
-1
Let i(l) be the first derivative of -l**3/3 + 5*l**2 - 12*l + 1. Let c be i(8). Solve -c*v + 6*v + 2 = 0 for v.
-1
Let b(g) = -g**2 + 7*g + 5. Let t be 7/(-1 + -1 + 3). Let q be b(t). Let p(a) = -a**3 + 6*a**2 - 3*a - 7. Let l be p(q). Solve l = k - 0*k for k.
3
Suppose 0 = 5*u - 4*x - 7, -2*u + 5*x - 6 + 2 = 0. Suppose -6 = -5*f + u*f. Let j = 75 + -68. Solve 8 = f*r - j for r.
5
Suppose 21 - 69 = -6*m. Solve 4*o - m = 4 for o.
3
Suppose -14 - 1 = -3*x. Let r = 5 - x. Solve r = f - 5*f + 20 for f.
5
Let p(l) = -l**2 - 9*l + 2. Let b be p(-6). Solve 4*d + b = -0 for d.
-5
Suppose 2*o = o - 3*l + 4, 5*o + 3*l - 32 = 0. Solve 12*i = o*i - 25 for i.
-5
Let t = 53 + -29. Suppose -3*l + 2*z + 21 = -2*z, 0 = 3*l - 5*z - t. Let k be l/(-15) - (-26)/5. Solve 0*i - 5*i = k for i.
-1
Let i(n) = -n**2 - 3*n + 2. Suppose -7*p + 4*p - 18 = 0. Let x(k) = k + 3. Let m be x(p). Let r be i(m). Solve 3*u - r*u + 3 = 0 for u.
-3
Suppose 6*u - 15 = 3*u. Suppose u*p = s + 15, 4*s - 11 = -3*p + 5*s. Solve -p*k + 5*k = 15 for k.
5
Let t be 2/(-8) + 113/4. Let g(a) = -a**2 - 13*a + 5. Let d be g(-13). Solve t = d*q + 3 for q.
5
Let y(q) = -q**3 - 5*q**2 - 3*q + 5. Let i be y(-4). Let t = -6 - -3. Let w = t + 5. Solve -f = w - i for f.
-1
Suppose 20 = 5*f + 4*x - 2*x, 0 = f + 4*x + 14. Solve s - f*s + 25 = 0 for s.
5
Let w = 1 + -1. Let v be (6/(-4))/((-2)/4). Suppose -4*i - q + 5 = 0, -v*i - 2*q - 2*q = 6. Solve w = -i*m - m - 9 for m.
-3
Let s = 3 - -3. Solve s = -3*v - 0 for v.
-2
Let p be 2*-6*(-3)/6. Suppose 0 = w - 2*d + 3, w + 2*d = d + p. Solve s + w = 4*s for s.
1
Let j(s) = 2*s - 9. Suppose -3*v + 8 = -4. Suppose -4*h - v = 0, -3*r + 25 = r - h. Let i be j(r). Solve -c = i*c - 20 for c.
5
Suppose 3*k = 3*v + 6*k - 3, -4*v - 2*k = -10. Solve 0 = -5*q + 9*q + v for q.
-1
Let i(o) = o**2 - 8*o**2 + 4*o + o**3 + 4*o - o. Let m be i(6). Solve 3*z = z + m for z.
3
Suppose -3 + 6 = 3*y. Let i be ((-2)/(-1) - y) + 3. Suppose 5*r - g = -4*g + 9, 22 = i*r - 5*g. Solve -4*c = -r*c for c.
0
Suppose 2*l - 4*r = 12, r = -1 - 1. Solve l*c = 5*c - 6 for c.
2
Suppose -2*q = -12 - 4. Suppose -q = -2*y - 2*y + 2*p, 5*p = 10. Suppose -t - 10 = -4*f, y*f + 3*t - 18 = -3. Solve 5 = r + f for r.
2
Let z(l) = -4*l. Let r be z(-1). Solve 7*u = r*u for u.
0
Suppose 7 + 5 = 3*q. Solve q*z - 8*z - 12 = 0 for z.
-3
Let p(u) = u**2 + 4*u - 3. Let t be p(-6). Suppose 0 = 4*n + b + 50, 3*b - t = 2*n + 9. Let s(w) = -w - 9. Let d be s(n). Solve l - 20 = -d*l for l.
5
Let b(q) = -q**3 - 6*q**2 + 6*q - 3. Let r be b(-7). Solve 0 + 20 = -r*u for u.
-5
Suppose -5*p + 13 = 5*l + 3, 0 = 2*l - 5*p - 39. Let b be -3 + l + (1 - 0). Solve -b = z - 3 for z.
-2
Let p = -2 - -3. Let j = 26 - 23. Solve 2*x + p = -j for x.
-2
Let g(d) be the first derivative of -1/4*d**4 + 4/3*d**3 + 2 + 4*d**2 - 5*d. Let m be g(5). Solve q - m = -q for q.
5
Suppose n - 3 + 0 = 0, 15 = 5*v + 5*n. Solve 4*m - 8*m - 8 = v for m.
-2
Let s(u) be the first derivative of u**3/3 + 9*u**2/2 + 10*u + 1. Let w be s(-8). Solve q + 3 = w*q for q.
3
Let i = 180 + -180. Solve -3*s = -i*s + 12 for s.
-4
Let u = -50 - -85. Suppose 2*b - u = 5. Solve 8*j - 3*j = b for j.
4
Let b(r) = 10*r + 13. Let w(x) = -3*x - 4. Let c(g) = 2*b(g) + 7*w(g). Let d be c(-2). Solve -3*f + 7*f = d for f.
0
Let r be (-2)/(-3) + (-94)/(-3). Let b = -21 + r. Suppose 0 = -2*t + 3*s + 9, -2 = -t - 3*s - b. Solve k + t = -5 for k.
-5
Let d(l) = l - 6. Let g be d(18). Let h = 0 + 0. Suppose h = n + n - 10. Solve -2 = n*y - g for y.
2
Suppose -5*b + 2*g + 10 = 0, 4*b - g + 3 - 11 = 0. Suppose b*i = 3*i. Solve i = 2*q - q + 3 for q.
-3
Suppose 2*v = 4*l, 4*v + 5 = 3*l - 0*l. Let g be (14/(-4))/(l/2). Suppose -5 - g = -4*i. Solve -15 = i*t + 2*t for t.
-3
Let c be (-2)/(-5) - 18/(-5). Let z = 105 + -104. Solve -z 