be 2*(-2 - (0 + -3)). Suppose 2*n + 2 - 10 = 0. Solve 2*y - x - n = 0 for y.
3
Suppose -5*p = 10 + 5. Let y(m) = -2*m - 3. Let k be y(p). Suppose 0 = -6*c + k*c + 15. Solve c*x - 3*x - 8 = 0 for x.
4
Suppose 0*o = -4*o + 44. Let q(x) = 2*x - 16. Let j be q(o). Solve -j = z + 2*z for z.
-2
Let o be -3 + 1 - (-44)/22. Solve o = -13*m + 50 + 15 for m.
5
Let y = -35 - -44. Let c = 12 - y. Solve c - 4 = -z for z.
1
Let q(y) = -9*y - 1. Let l(c) = 9*c + 1. Let d(v) = 5*l(v) + 4*q(v). Let h be d(2). Let m = 23 - h. Solve -m*o = -0*o + 4 for o.
-1
Let j(z) = -z**2 + 3*z + 3. Let m be j(3). Suppose m*i = -4*s + 151, 6 = -3*i - 3. Suppose 14*n = 4*n + s. Solve w + 3*w = n for w.
1
Let s(w) = w**3 - 8*w**2 - 9*w - 6. Let n be s(9). Let x = 10 + n. Suppose -x*d + 16 = -0*d. Solve -j - 15 = d*j for j.
-3
Suppose w - 15 = u, -2*w = 4 + 2. Let n(a) = -a**3 + 5*a**2 + 8*a - 6. Let m be n(6). Let o be m/24*(2 - u). Solve -1 = o*d + 4 for d.
-1
Let k(o) = -o + 13. Let c be k(11). Suppose 4*h - 12 = 5*i, c*i - 6*i - 2*h + 6 = 0. Solve i*r + 3*r = -3 for r.
-1
Let z(o) = o**3 - 12*o**2 + 12*o - 9. Let s be z(11). Solve 6 + s = 4*q for q.
2
Let f = -8 - -12. Let a(j) = -3*j + j + 2*j + f - 6*j + j**2. Let r be a(6). Solve -r*i = -i for i.
0
Let u(i) = -22*i - 173. Let g be u(-8). Solve 2*z - 3 - g = 0 for z.
3
Let m(s) = s**3 + s**2 + 2*s. Let n be m(0). Let y be 3/(12/8) - n. Solve 10 = -3*r - y*r for r.
-2
Let x = -13 - -19. Let h be 4/x - 20/30. Solve 2*u - 5*u - 3 = h for u.
-1
Suppose 4*u = -5*b + 7, -2*b - 4*u = -3*u - 4. Suppose -12*h + 11*h + b = 0. Solve 4*y + 1 = h*y for y.
-1
Suppose -4*m + 25 - 5 = -3*u, 0 = -m - 4*u + 5. Let x be 5*(-2)/(-10) - -9. Suppose 6 = 16*t - x. Solve 6 = m*i + t for i.
1
Let g = -45 + 47. Suppose 3*j - 3*z = 6, -3 - 7 = -g*j - z. Solve d + j = -0*d for d.
-4
Suppose 5*x = 4*h, 3*h = -x - 3*x. Suppose x = 8*f + 3*f - 33. Solve f = 3*k - 6 for k.
3
Let r = -46 + 40. Let i(n) = -n + 11. Let f be i(0). Let t = r + f. Solve 3*h + 7 = -t for h.
-4
Let f be (-320)/(-56) - (-1 + (-20)/(-28)). Solve -4*k + f*k = 0 for k.
0
Let f be (3 + -1)*(-23)/(-46). Suppose 14*o + f - 57 = 0. Suppose -3*q - 9 = 3*i, 0*i + 28 = 4*q - 4*i. Solve q + o = -2*k for k.
-3
Let u = -23 + 28. Suppose 4 = 2*q - u*x - 8, 3 = q - 4*x. Suppose -6*s - 5 = -q*s. Solve -3 = -r + s for r.
4
Let u = 240 - 141. Let f = u - 92. Solve -3*x + f*x = -12 for x.
-3
Suppose 0*o - 60 = -5*o. Suppose 10*q + o = 14*q. Solve -q - 9 = -4*m for m.
3
Suppose -c - 51 = -2*w + 5*w, w + 4 = 0. Let m = c + 39. Solve m = 4*h - 6 - 2 for h.
2
Let o(m) = m**3 + 4*m**2 - m + 2. Let t be o(-4). Suppose 2*p - t*p + 19 = -x, 29 = 4*p + x. Solve 4*n + 14 = -p for n.
-5
Let s be (-51)/34*14/3. Let h(p) be the second derivative of p**3/6 + 21*p**2/2 - 7*p. Let u be h(s). Solve 5 = -3*o + u for o.
3
Let a be (-2)/(-5) - ((-8460)/25)/(-6). Let t = a - -58. Solve -t*o + 0*o = 0 for o.
0
Suppose 3*h + 3*c = -0 + 24, 0 = 2*h - c - 25. Suppose 3*l = h*l - 48. Solve -z = z + l for z.
-3
Let m = -4 + 7. Suppose 37 = m*c + p, 2*c + 0*p - p = 28. Let x = -11 + c. Solve -2*q - x*q = 0 for q.
0
Suppose 0 = 3*j + 7*o - 3*o - 18, -2*o + 6 = 0. Let k be (-6)/3 + j*3. Solve -k*a = a for a.
0
Let y be 1/1 + -3*1. Let k be (-15)/(-6) + (-15)/(-10). Let u = k + y. Solve -9 = w + u*w for w.
-3
Suppose 0 = -5*d - 15 - 5. Let m(s) = -s + s**3 + 4 + 2*s**2 + 2*s + 9*s**2 - 7*s**2. Let j be m(d). Solve j - 10 = -5*z for z.
2
Let b be 12*(0 + 2/(-4)). Let v be (-1*(-3)/b)/((-1)/4). Solve v*u - 4 = 2 for u.
3
Let x(h) = -h + 3. Let c(n) = -5 + 6 - 6 + 2*n. Let d(v) = -6*c(v) - 15*x(v). Let q be d(6). Solve 0 = 4*p - p + q for p.
-1
Let z = 3 + -3. Let d be ((-4)/(-1) + 0)*20/40. Let b be -1 + (-3)/(9/(-6)). Solve d*u - b + 5 = z for u.
-2
Let y be (-3)/(-4) + (-45)/(-4). Let x(t) = t**2 + 13*t - 21. Let p be x(-15). Suppose 0 = -3*o + 6 + p, 4*o = 3*h + 20. Solve -3*k + h = y for k.
-4
Suppose -s = -35 + 14. Suppose -3*o + p + s = -2*o, -3*p + 17 = 2*o. Let c be (-8)/(-10)*(6 + -1). Solve 0*g = -c*g + o for g.
4
Suppose 10*d = -2*d - 24. Let o be 3*4/(-6) + (-6)/d. Solve -7 + o = -3*k for k.
2
Suppose -5*x - 12*a + 9*a = -30, 3*x - 3*a = 42. Solve x*p = 27*p - 72 for p.
4
Suppose 0 = 3*h - 4*h + 5. Suppose -2 = h*n - 47. Suppose 0 = 3*p - 6*p + 3*w + n, 0 = -5*w + 15. Solve 3*d - p = d for d.
3
Suppose -2*k + 1 = 3. Let z be (-7 + (-1 - -2))*k. Suppose -5*s = -2*t - 26, 18 = s + 3*t + z. Solve s = -j + 1 for j.
-5
Let k = -29 + 29. Solve 2*l - 6 + 2 = k for l.
2
Let a be -6 - (1 + -6 + -1). Solve a = 2*h + 4 for h.
-2
Suppose 74*c = 54*c. Let d(q) = -2*q**3 - 3*q**2 - 3*q + 4. Let l be d(-4). Suppose -6*g = -c*g - l. Solve 4 = 5*y - g for y.
4
Let b = 1451 + -1437. Solve b*y = 39 + 17 for y.
4
Suppose -3*w + 3*s = -15, 5*w - 5*s = 6*w + 1. Solve -9*q + w*q = 5 for q.
-1
Suppose -7*f + 16 - 2 = 0. Suppose o = f*k - 7*k + 13, -3 = -3*o + 3*k. Solve -6*y = -o*y - 12 for y.
4
Let c = 101 - 101. Let y be (30/(-21))/(2/(-14)). Solve c = w - 3*w + y for w.
5
Let f be 12/4*15*20/45. Solve -f = -2*z - 18*z for z.
1
Suppose -11*n = -15*n - 4*f + 256, -5*n + 3*f + 312 = 0. Solve n*q - 58*q - 15 = 0 for q.
3
Suppose -8*k + 2 = -6*k. Suppose -6 = -3*t + 2*u, 4*t + 2*u - 7 = k. Solve 3*q = -4 - t for q.
-2
Let z(n) = 2*n**3 - 5*n**2 + 4*n - 2. Suppose 14 - 6 = 4*w. Let t be z(w). Solve 2*x + t*x = -16 for x.
-4
Let j = 7 - 6. Suppose 0 = h - 7 + j. Suppose 0 = -4*f + 2 + h. Solve f*z - z = -4 for z.
-4
Let c(f) = -f**2 + 9*f + 25. Let k be c(11). Suppose -k = -5*n + 7. Solve -2*z = n*z - 4 for z.
1
Let h be 11 + 35/(-7) + -3. Solve 0 = 4*t - t + h for t.
-1
Suppose -166*i = -150*i - 80. Solve -i*x - 10 = -3*x for x.
-5
Let b(c) = 9*c**2 + 5*c - 7. Let h be b(1). Solve -h*f + 0 = -14 for f.
2
Let k(h) = 219*h + 1314. Let d be k(-6). Solve -5*y + 1 + 9 = d for y.
2
Let i(q) = 2*q**2 - 33*q + 137. Let h be i(10). Solve 11*c = h*c + 12 for c.
3
Let v = -418 - -418. Solve v = 4*m + 9 + 7 for m.
-4
Suppose -4*f = m - 4, 2*f = f + 3*m - 12. Solve u = -f*u for u.
0
Suppose -9*i = i. Solve -2*q - q = i for q.
0
Let m(i) = 3*i - 3. Let s(h) = 7*h - 5. Let n(r) = 5*m(r) - 2*s(r). Suppose 0 = -2*j + 11 - 1. Let z be n(j). Solve z = -2*d + 5*d for d.
0
Let m(q) = 63*q**2 - 18*q - 3 - 62*q**2 + 17. Let i be m(16). Let v = 18 + i. Solve b - 2*b - 4 = v for b.
-4
Let z be 15/(-20)*(3 - 7). Solve -6*m - 3 = z for m.
-1
Let n be (-1)/(4 - 1)*21. Let l = 10 + n. Solve 4 = -l*c + 5*c for c.
2
Suppose k - 5 = 0, -3*y = 5*k - 7*k - 29. Solve 11 = -6*a - y for a.
-4
Let d = 2 + 1. Let s(n) = -n**3 + 5*n**2 - 3*n - 2. Let j be s(4). Let y be -13*(2 - 6/j). Solve 1 = d*m + y for m.
-4
Let p(h) = h**2 + 6*h + 1. Let r be p(-5). Let u be (0/r)/(6/(-2)). Suppose 3*w - 12 = -u*w. Solve w*b = 5*b + 1 for b.
-1
Suppose -4*w = i - 8 - 124, -3*w - 4*i + 86 = 0. Let v = 30 + -18. Let p = -3 + v. Solve w = -5*g + p for g.
-5
Let v = 16 + -2. Let k be (-1 - 8)*v/21. Let a be (5/4)/(k/(-24)). Solve a*s + 10 = 3*s for s.
-5
Let q be (-40)/(-22) + 93/(-33) + 3. Suppose -5 = -4*y + 11. Suppose y*r - 8 = 8. Solve r*d - q = -18 for d.
-4
Let g(m) = m**3 + 17*m**2 - 19*m - 18. Suppose -3*x = 6*v - 3*v + 39, v = -3*x - 49. Let u be g(x). Solve u = -4*w - 1 + 21 for w.
5
Let d = 24 - 9. Suppose 0 = -d*p + 11*p + 8. Solve -6 + p = -4*b for b.
1
Let h be (-7 - (-1 - 6))/1. Solve q + 5*q + 6 = h for q.
-1
Suppose 5*m = 5*w - 20, 5*m - 3*m - 12 = -3*w. Solve -4 = -w*g + 5*g for g.
-4
Let k(x) = -4*x**3 + 2*x**2 + x - 2. Let o be k(-2). Suppose -5*j + o = -4. Suppose 12*t = j*t + 8. Solve -3*w = t*w for w.
0
Suppose 153 = 24*s - 447. Solve -s*h + 9*h = 0 for h.
0
Let x = -386 - -393. Solve 5*f = -x - 8 for f.
-3
Let n = 3 + -18. Let c = 18 + n. Suppose c = 2*l - 5. Solve -12 = -h + l*h for h.
-4
Let q(f) = -f**3 + 6*f + 21. Let n be q(3). Solve n*r = -2 - 46 for r.
-4
Let t be (-12 - 0) + (7 - 8). Let k = t - -13. Solve 0 = r - k + 2 for r.
-2
Let v be ((-34)/4)/((-4)/(-8)). Let l(y) = y**3 + 18*y**2 + 18*y + 19. Let k be l(v). Solve -12 = -2*f - k*f for f.
3
Suppose i = -2 + 10. Let s be 140/63 - (-4)/(-18). Solve -2 + i = -s*l for l.
-3
Let d(g) = 4*g**2 - g. Suppose 0 = 6*p - p - 5. Let y be d(p). Suppose -10 = 2*m - 4*f, 113 = 5*f + 93. Solve -y = -m*k + 12 for k.
5
Let t(