 t be x(a). Let b(c) = -11*c. Let h be b(t). Solve h - 31 = 5*m for m.
-4
Suppose 13*a - 24 = 2. Solve 0*p - a = -2*p for p.
1
Let y = 3 - 3. Suppose -2*k + 2 + 2 = n, -4*n + k + 7 = y. Solve -s + n*s + 1 = 0 for s.
-1
Let t = 1 - -3. Solve -c = t*c for c.
0
Let j be 6/3*(-5)/2. Let s = j + 11. Solve 0 = -0*t + 2*t - s for t.
3
Suppose -4*y = 3*n - 209, -2*y = -6*y + 3*n + 239. Suppose -5*z - 44 = y. Let s be 1*5*(-24)/z. Solve s = 5*c + 26 for c.
-4
Let k(q) = -q**2 + 9*q + 2. Let n be k(9). Solve n = -2*j - 0*j for j.
-1
Let q be 8/6 - (-6)/9. Suppose -4 = q*g - 10. Solve -3 = g*w - 0*w for w.
-1
Suppose -15 = -5*z + 5*i, 0 = -2*z - 0*z - 3*i + 16. Solve 2*v - v - z = 0 for v.
5
Suppose 0*b = 4*b - 2*k - 58, 0 = 4*b - k - 63. Suppose -4*w + b + 43 = 0. Let u be 3 + 2 + 0 + w. Solve 0 = -0*t + 4*t - u for t.
5
Let c = -54 + 55. Solve -c - 4 = -t for t.
5
Suppose 3*v - 5 = 4*j - 5*j, 6 = 2*v - 2*j. Solve f = -v*f + 6 for f.
2
Let n = -13 + 17. Solve 0 = -n*i - 0*i - 16 for i.
-4
Suppose 0 = 3*p + 3 + 6. Let y = p + 4. Suppose 0 = -2*g + g + y. Solve 0 = -l - 3 - g for l.
-4
Let o(u) = u**2 + 1. Let k(w) = -6*w**2 - w + 1. Suppose 6*a = 11*a - 5. Let c(r) = a*k(r) + 5*o(r). Let z be c(0). Solve -3 - z = -3*l for l.
3
Let u = -6 + 8. Let g be 5 + 3/(-6)*u. Solve -1 = -c - g for c.
-3
Let w be 5 + (3 - 3)/(-3). Let r(j) = j**2 - 6*j + 6. Let o be r(w). Let b(t) = 2*t**2 - t. Let x be b(o). Solve 0*g - g - x = 0 for g.
-1
Let k(y) = -y**3 - y**2 + 7*y + 6. Let l be k(-3). Solve -2*i - 3 - l = 0 for i.
-3
Let d(j) = 3*j + 2. Let h be d(2). Suppose 0 = -h*l + 3*l + t + 14, -4*l + 5*t = -28. Solve l*y + 6 = -0*y for y.
-3
Suppose -u - 4 = 3*u. Let n = 1 - u. Let q = n - 2. Solve -h = -q + 2 for h.
-2
Let l = 6 + -1. Suppose 2*k - l = k. Solve 6 = -k*j - 4 for j.
-2
Suppose -2*h = -0*h - 6. Solve -x = -h - 1 for x.
4
Let v(z) = -z**3 - 4*z**2 - 3*z + 2. Let r be v(-4). Let b = r - 4. Solve -2*w - b = -4*w for w.
5
Let d(v) = 7*v - 19. Let l be d(3). Solve -l*y + 5*y = -12 for y.
-4
Let i be -2 + (3 - -1) - 2. Let l = -14 - -16. Suppose 0 = -0*b - l*b + g + 5, 4*g + 4 = i. Solve 0 = r + b*r + 6 for r.
-2
Suppose -2 = -0*l + 2*l. Let s(y) = -19*y - 1. Let n be s(l). Let c be 4/2*n/12. Solve -c*r + 16 = r for r.
4
Suppose 4*h + 192 = 48. Let a = -16 - h. Solve 2*o + a = -2*o for o.
-5
Let w be 1/(-2)*(1 + -1). Solve -3*p + 8 + 1 = w for p.
3
Let c = -47 + 67. Solve -3*y - y = -c for y.
5
Let f(d) = d**2 + 23*d + 44. Let r be f(-21). Solve r*j = -j - 6 for j.
-2
Suppose -7 = 3*i + 2. Let o = i - -4. Suppose -3 = -2*x - o. Solve 10 - x = -3*j for j.
-3
Suppose -4*b = 3*j - 14 - 38, j + 4*b = 28. Suppose 4*k + 0*f - 4*f = -j, 4 = f. Solve 5*p + k = -4 for p.
-1
Suppose 32 = -2*h - 5*x + 11, 0 = -4*h + x + 13. Suppose 0 = -5*i + h*i. Solve w + 3 = -i for w.
-3
Suppose 4*p + 5*n - 7 = 0, 4*p - 3*p - 2*n - 5 = 0. Let x = -10 + 35. Solve -2*m - p*m + x = 0 for m.
5
Let k be 1 - 0*(-4)/12. Let s(d) = 15*d. Let v be s(k). Let f be (4/5)/((-2)/(-10)). Solve f*m = m + v for m.
5
Let o = -31 + 31. Solve o = 2*d + d for d.
0
Let c be (8/(-5))/((-6)/15). Let w(v) = -v - 5. Let x = -8 - 0. Let h be w(x). Solve h*s + c = -s for s.
-1
Let v(t) = t + 9. Let c be v(-4). Suppose -85 = -5*r - c*z, 4*z + 1 = -3. Solve -4*j = -6 + r for j.
-3
Let r(k) = -k**3 + 3*k**2 + 6*k - 6. Let g be r(4). Solve 2*c = -g*c + 20 for c.
5
Let y(h) = -h. Let d be y(0). Let g = 3 + 3. Let a be (-9)/(-2) + 3/g. Solve -a*k + k - 16 = d for k.
-4
Let q = 16 + -14. Suppose 2*o - 4*f = 20, -f + 5 + 0 = 2*o. Suppose -2*b + 0*u + o = -u, 16 = q*b + 5*u. Solve y + b = 4 for y.
1
Let i be (-10)/(-4 - -5 - 3). Suppose 4*s + 11 = -p, 3*p - 11 = 7*p + i*s. Solve 0 = -x + p - 5 for x.
-4
Let p be (-10)/(-35) - (-4)/(-14). Solve d - 3 = -p*d for d.
3
Let b(m) = -m**3 - 8*m**2 + m + 4. Let g be b(-8). Let n be (-25)/g + (-1)/4. Suppose -20 = -3*c + 7. Solve 0 = -5*i - c - n for i.
-3
Let g = 8 - 6. Solve d - g = -4 for d.
-2
Let k = 34 - -16. Suppose -6*q + k = -q. Solve -o = o - q for o.
5
Suppose 2*s - 3 = -o, s - o - 3 - 3 = 0. Solve s*i = 5*i + 4 for i.
-2
Suppose -11*j - 15 = -14*j. Solve -17 = -4*z - j for z.
3
Let k be (7 - -3)*(2 + 6/(-4)). Solve -k*j - 6 - 4 = 0 for j.
-2
Let f be (-4)/10*1*-15. Let w(c) = c**2 - 6*c + 4. Let j be w(f). Suppose 4*r = 2*a + 12 + 8, -5*r = j*a - 25. Solve 0 = r*p + 12 - 32 for p.
4
Suppose 0 = -2*x - 4*x + 42. Let s = 7 - x. Solve s = -y + 2 for y.
2
Let u(d) = -d**3 + d + 8. Let w be u(0). Let q = w + -6. Solve -2*m - 4 = q*m for m.
-1
Suppose -2 = -2*d, -3*h + 17 = -d - 18. Solve -3*o + 0 = -h for o.
4
Suppose s = -a + 9, -s = -0*s + 5*a - 17. Solve -s*i = -3*i + 8 for i.
-2
Let i(z) = -z - 21. Let o(f) = 10. Let x(j) = -2*i(j) - 5*o(j). Let n be x(4). Solve n = 2*a - 0 - 4 for a.
2
Suppose -3*o - 5*s - 4 = 0, -3*o = -5*o + 4*s + 12. Suppose 9 = 4*z - z. Suppose 2 + 1 = z*u. Solve q + o = u for q.
-1
Let b be 2 - (594/3)/(-3). Suppose 3*r = 5*y + 97, 5*r - 2*y - b = 62. Solve -4*d - r = -4 for d.
-5
Let a be (1 - 1)/(-1 - 0). Let h be (0 - a - 2)*-3. Suppose -3*t + t = 4*c - 14, -4*c - 5*t = -11. Solve 6 = h*i - c*i for i.
3
Let i = 28 - 26. Solve 3*m = -i*m for m.
0
Let l(w) = w**3 + 6*w**2 + 2*w - 6. Let m be l(-4). Suppose 13*f - m*f + 15 = 0. Solve 4*b - f*b = 0 for b.
0
Let p(h) = h - 3. Let w be p(7). Suppose -3 = -2*g + 19. Solve 3*a + w + g = 0 for a.
-5
Let l(t) = 2*t + 3 + t - t**2 - t. Let p(i) = i**2 + 3*i + 3. Let x be p(-3). Let q be l(x). Solve 0 = -q*u + u for u.
0
Let g = -4 + 3. Let x be g + -1 + 3 + 2. Solve x*q + 0*q = -9 for q.
-3
Suppose 20 = 5*n, 0 = 5*z - 3*n + 2 - 10. Solve -3*c = -2*c - z for c.
4
Suppose -3*x + 24 = 3*r, 0 = 10*x - 6*x - 20. Solve u = -r*u for u.
0
Suppose 3*k - k - 8 = 0, 0 = 4*x - 4*k + 12. Let o be 2/(-8) + (-85)/(-20). Suppose r + x = 2*f, 0*f = 3*f + o*r - 18. Solve f + 13 = -5*q for q.
-3
Suppose 2*q = q - 10. Let v be ((-16)/q)/(4/10). Suppose 4*x - 20 = -v*i, 3*x = 4*i - 0 + 1. Solve 0 = -4*n + x*n for n.
0
Let v(r) be the first derivative of r**4/4 + r**3/3 - r**2/2 - 2*r + 2. Let b(x) be the first derivative of v(x). Let w be b(1). Solve d = -w*d + 20 for d.
4
Let x(u) be the second derivative of 1/12*u**4 - 2*u - u**3 + 0*u**2 + 0. Let z be x(6). Solve z*p + 4*p = 0 for p.
0
Suppose -5*f + 20 = -2*i + 3, f + 5*i - 25 = 0. Solve 2 = -t + f for t.
3
Suppose 2*y - 3*y = -3. Let u(s) = s**2 - 2*s - 1. Let w be ((-4)/6)/(4/6). Let z be u(w). Solve x + z = -y for x.
-5
Let x(c) = c**3 - 6*c**2 + 7*c - 6. Let p be x(5). Let a be ((-1)/(-1))/((-4)/(-12)). Let s be (-6)/(-4) + a/(-6). Solve -p*m - 5 = -s for m.
-1
Suppose -4*r + 8 = -36. Let v be ((-10)/2)/(-2 + 1). Suppose 2*z + 2*z - 12 = 4*u, 0 = -z - 5*u - 9. Solve -z = -v*i - r for i.
-2
Suppose 0 = -6*f + 3*f - 3. Let r be (f + 2)*(-2 + 6). Solve g + r = 8 for g.
4
Let q(l) = 2*l**2 + l - 2. Suppose n + 6 = -2*n. Let b be q(n). Let m(r) = -r**2 + 6*r - 1. Let x be m(b). Solve -x = -4*o + 13 for o.
5
Let a(k) = -5*k - 4*k**2 - k**2 + k**3 + 8*k. Let v be a(5). Suppose 5*h - y - 14 = -3*y, 2*h - 4*y + 4 = 0. Solve h*u = -u - v for u.
-5
Suppose -3*f - f + 37 = 5*b, -3*f + 29 = 4*b. Suppose -c + 28 = 6*c. Solve c = a + f*a for a.
1
Suppose -2*q + 10 = w, 0 = -6*q + q - 2*w + 26. Solve 3*i + q = 18 for i.
4
Suppose 0 = -q - 2, -j + 5*j - q = -126. Let z be (-184)/j - (-1)/4. Solve 0 = -3*m + 5*m + z for m.
-3
Let o(p) = -p - 4. Suppose 3*s - k + 24 = -3*k, k = -3. Let b be o(s). Solve -2*y = -4 + b for y.
1
Suppose 2*w + 0*w - 160 = 0. Suppose b - 10 = w. Let p be 6/4*b/27. Solve 2*f = f + p for f.
5
Suppose -2*z = 3*i - 2 - 4, 0 = 2*z + 5*i - 10. Let b(q) = 6*q**2 + 2*q. Let k be b(-2). Solve -4*m = -z*m - k for m.
5
Let n be ((-4)/8)/((-26)/(-28) - 1). Solve 5*y + n = 22 for y.
3
Suppose -4*o - 2*h + 16 = -o, 0 = 3*o + 5*h - 13. Let p be 14/o - (-2)/3. Solve -5 = p*i - 14 for i.
3
Let y = -3 - -8. Solve 2*n - y*n - 9 = 0 for n.
-3
Let f be 2 - (-5 + 1 + 3 + 2). Solve 0 = -l - 4 + f for l.
-3
Suppose 9*d - 4*d = 25. Let z = -5 + d. Suppose z = -3*t + 4*t - 2. Solve 3 = -t*m + 5 for m.
1
Let h = -1 + 9. Suppose h*a = 5*a + 75. Solve 4*n = 5 - a for n.
-5
Suppose -4*b = -3*d - 49, -b + 3*d + 6 = d. Solve -2*g - b = 2*g for g.
-4
Let k = -23 - -26. Suppose -8 = 2*j 