 6 for w.
4
Let k = -11 + -27. Let z be (-53)/((-2 - -4)/(-2)). Let w = k + z. Solve -3*m + w = -0*m for m.
5
Let g = 271 + -244. Solve -5*i - 42 = -g for i.
-3
Suppose 48*i = 46*i + 4*g + 10, 0 = 2*g - 6. Solve -8*c = -i - 29 for c.
5
Let h be 1*4*(7 - 3). Suppose -24 = -2*w - h. Solve -c - 5 = w*c for c.
-1
Let a be ((-112)/(-280))/(2/(-30)). Let o(t) be the second derivative of t**3/6 + 4*t**2 + t. Let b be o(a). Solve -k + 9 = b*k for k.
3
Suppose 4*s + 224 - 16 = 0. Let u = -52 - s. Solve -3*h - 12 = -u*h for h.
-4
Let s(c) = c**2 - 5*c - 8. Let g be s(7). Let h be (10*1)/2*((-306)/17 + 20). Solve -16 = h*w - g*w for w.
-4
Let o be 6/((-4)/(-6) + 0). Let w = o + -1. Solve -4*i - w = -6*i for i.
4
Let j be -4 + 13/((-13)/(-6)). Suppose -j*y = -y - 12. Solve -3 = 3*v - y for v.
3
Suppose -3*w = -2*w + 6. Let y = 6 + w. Suppose m + 29 = -0*p + 5*p, 3*m + 12 = y. Solve -3*o + p*o = 2 for o.
1
Let x be 20/6*252/30. Let k = 30 - x. Solve 7 = v + k for v.
5
Suppose 3*w + 120 = -3*j, 4*w = -2*j - 205 + 47. Let n be 13/w - (-25)/3. Let v = n + -6. Solve 2*x = v - 10 for x.
-4
Suppose 5*o + 4*t = t - 60, t = 4*o + 48. Let r be (-2)/o - 8/(144/(-123)). Solve -2*f + 3 = -r for f.
5
Let j = -152 + 159. Let c = 13 - 12. Solve 2*v - j = -c for v.
3
Let l(n) = n**2 - 9*n + 20. Suppose 0 = y + 9*y - 60. Let v be l(y). Solve 0*d + v*d = -2 for d.
-1
Let v = 98 + -71. Let z = v - 25. Suppose 3 = 2*b + 2*n - 9, 2*b = 4*n - 6. Solve -z*y + b - 1 = 0 for y.
1
Let s(q) = -q**2 - 19*q + 79. Let n be s(3). Solve n*u - 7*u = 0 for u.
0
Let r(z) = z + 4. Let p(x) = x**2 + 8*x + 11. Let v be p(-3). Let b be r(v). Solve 5*i - 3*i = b for i.
0
Suppose 0 = -2*k - 3*l + 29, -2*k + 4*l = -29 - 35. Suppose -k*c - 42 = -28*c. Solve 2*w + c - 3 = 0 for w.
-2
Let c(w) = -2*w - 6. Let a be c(-10). Suppose a = -q - q. Let j = q - -9. Solve -2*m = j*m for m.
0
Let f(o) = -o + 1. Let s = -47 + 43. Let d be f(s). Solve -25 = -d*u - 0*u for u.
5
Let x be -1 + 6/2 - 2. Let y(o) = 1 + 5*o + 6 + o**2 - 3 + x. Let k be y(-6). Solve -n - k = -6*n for n.
2
Let u(o) = 4*o**3 + 4*o**2 - 3. Let f(s) = -s**2 + 1. Let k(a) = -4*f(a) - u(a). Let g be k(-1). Suppose 0 = g*i - 2 - 4. Solve i*h = 4 - 0 for h.
2
Let t(n) = -n**2 + 13*n + 18. Let h be t(14). Let c = 25 - 17. Solve 0*u + c = h*u for u.
2
Let y(s) = -s**3 + 43*s**2 - s + 62. Let n be y(43). Solve o = -22 + n for o.
-3
Let v(h) = -6*h - 1. Let l be v(-1). Solve -l*t - 2 = 3 for t.
-1
Let w(g) = -9*g - 275. Let k be w(-36). Solve 0 = 10*y - k - 1 for y.
5
Let r = 290 - 281. Solve -r*n - 35 = -16*n for n.
5
Let w(y) = 2*y**2 - y - 35. Let u be w(5). Suppose -2*j + 18 = 4*c, 4*j + 5*c + 19 = 52. Solve 9*g - j*g = -u for g.
-5
Let o(p) = -2*p**3 + 2*p**2 + 2*p - 2. Let z be o(2). Let j(u) = -u**3 - 5*u**2 + 5*u - 2. Let d be j(z). Suppose -3*q - d = -4*q. Solve q*s - 20 = -0*s for s.
5
Let p = -20 - -28. Suppose -4*u = p - 20. Solve -d + 0*d = -u for d.
3
Suppose -1 - 23 = -3*l. Let h be l/(-28) + 9/7. Let r(b) = b**3 - b**2. Let o be r(h). Solve o = -2*i - 2*i + 16 for i.
4
Suppose -16 = -10*d + 44. Solve -4*b + d = -10 for b.
4
Let l be (-3 - -12)*(-4)/(-6). Let t(a) = -a + 15. Let x be t(l). Suppose 0 = m + m. Solve m = 3*z + x + 6 for z.
-5
Suppose 20 = 4*t - 2*n, 0 = -4*t + 5*n - 2 + 28. Solve -t*w - 50 + 38 = 0 for w.
-3
Let r(i) = i**2 - 15*i + 16. Let a be r(14). Solve 6*u = -a*u for u.
0
Suppose 0*x = 3*x - 24. Suppose -2*v - x = -3*r, -5*v = -4*r + 5 + 1. Solve 4*f - r = -0*f for f.
1
Suppose -k - 16 = -3*k. Let x be (6/24)/(2/k). Solve o + 0*o = x for o.
1
Suppose 3*s = -2*w + 5 + 10, 5*s - w = 12. Solve d = -s*d for d.
0
Let x(p) = 97*p + 498. Let v be x(-5). Solve -v*o + 8 + 5 = 0 for o.
1
Let o be -1*(2 + -1)*-1. Let g = 0 + o. Suppose 5*k + c + 2 - 6 = 0, 5*k + 3*c - 12 = 0. Solve k = 2*x + 1 + g for x.
-1
Suppose 0 = 3*a + a - f - 15, 0 = 2*a - 3*f - 5. Suppose -a*r = -r - 12. Solve -3*t - r = 2 for t.
-2
Suppose 2 = -2*b - 4, u + 2*b = -4. Let l = 4 - u. Suppose 7*h - l*h = 30. Solve -2*f + 0*f = -h for f.
3
Let f = 223 - 215. Solve -2 = -2*j + f for j.
5
Let o(w) = 30*w + 180. Let d be o(-6). Solve d = -2*l + 5*l for l.
0
Let b be 5*-1 + (2 - 0). Let s(t) = t**2 + 2*t + 2. Let p(y) = -6*y**2 - 15*y - 12. Let j(i) = p(i) + 5*s(i). Let d be j(b). Solve d*z = z for z.
0
Let q(j) = j**2 + j. Let p be q(-3). Suppose 3*a - 2*a = 0. Let k = -18 + 18. Solve -3*o + p + a = k for o.
2
Let h(g) = g**3 - 1. Let s(v) = -v**3 + 1. Let x(i) = -4*h(i) - 3*s(i). Let f(d) = -5*d + 54. Let b be f(11). Let p be x(b). Solve 0 = 2*z + p*z for z.
0
Let l = -2 + 2. Let q(m) = -m**2 - 14*m - 31. Let a be q(-11). Solve a = -l*d + d for d.
2
Let h be (0/2 + -2)*(-6 + 4). Let i be (-1)/h - (-2)/8. Solve -4*z - z = i for z.
0
Let x(a) be the second derivative of a**5/20 + a**4/12 - a**3/2 - a**2 - 13*a. Let i be x(-2). Solve -2*q + 0*q + 6 = i for q.
3
Let a be (-70)/(-56)*16/10. Solve v + a*v = 12 for v.
4
Let p be (12/(-9))/(2/(-3)). Suppose 5*l - 8 = 2. Let a = l + p. Solve -5*u = -a*u - 3 for u.
3
Let n be (-8)/2 - 192/(-8). Suppose 5*p - 15 = -2*j + 7, 2*p = j - 29. Suppose 2*l + 2*o + 3 = 3*l, 3*l - 3*o = j. Solve -6*t + l*t = -n for t.
-4
Suppose -4*j + 10 = -2. Suppose j*q + 2*i - 2 = 1, 5*i = -5*q. Solve 12 = -q*u + 6 for u.
-2
Let o(k) = -k - 10. Let h be o(-8). Let y(q) = q**3 + 3*q**2 + 5*q + 5. Let a be y(h). Let u(j) = 3*j**2 - j - 1. Let b be u(a). Solve 5*d + b = -17 for d.
-4
Let w(o) = -o**2 + 2*o - 4. Let f(z) = -3*z**2 + 6*z - 11. Let m(i) = 6*f(i) - 17*w(i). Let d be m(2). Solve 0 = d*a - 4 - 0 for a.
2
Let q = -149 - -189. Let l = 44 - q. Solve -l*a = -2 - 10 for a.
3
Let d be (-63)/((-63)/9) + -9. Solve -z = -d - 1 for z.
1
Let s(h) = -h**2 - 10*h + 2. Let z be s(-8). Suppose -d - z = -3*d. Suppose -5*t - 4 = -5*n - 19, 3*n = -3*t - d. Solve 0 = 4*g - t*g - 8 for g.
2
Suppose -4*b - 5*x - 5 = 0, 2*b + 3*b = -2*x + 15. Let d be 1*-4 - -4*3/1. Suppose -3 = b*k - d. Solve -w = -0*w + k for w.
-1
Let a(o) = 2*o - 12. Let z be a(12). Let s(k) = 2*k - 19. Let b be s(z). Solve -p - b = 4*p for p.
-1
Suppose -5*y = 3*p - 19, -y + 0 = 2*p - 8. Suppose 4 = i + y. Solve -i*v + v = 1 for v.
-1
Let n(x) = -15*x - 386. Let k be n(-27). Solve -u - 16 = -k for u.
3
Let v be (32/20 + -2)/(2/30). Let p be 18/8 + (v - (-27)/4). Solve -4*f + 5 = -p*f for f.
5
Let r = -14 + 4. Let d(m) = m**3 + 9*m**2 - 10*m + 5. Let s be d(r). Suppose 0 = -s*q + 3*y - 9, -4*y + 15 = y. Solve -n + q*n + 2 = 0 for n.
2
Suppose 214 = -4*q + 246. Solve -3*p - q = 1 for p.
-3
Suppose -m = 4*m. Suppose -4*h + w + 6 = m, -4 = -w - w. Solve -4*a = -h*a + 8 for a.
-4
Let w be (-150)/(-22) - 24/(-132) - -3. Solve -2*o - w*o = -2*o for o.
0
Let n be (-1)/(1 - 12/9). Suppose 2*k + 2*p - 40 = 0, 3*k - 119 = n*p - 29. Solve k = 2*o + 3*o for o.
5
Let g be (4 - (-6)/(-3))/((-41)/(-738)). Solve -4*r - g + 16 = 0 for r.
-5
Suppose 4*u + 2*r + 16 = 0, 4*u - 3 = -3*r - 23. Let b be 0 + (u + 5)*-2. Let j be ((-12)/21)/(b/21). Solve -j*y + 3*y = -4 for y.
-4
Suppose 0 = 23*b - 137 + 45. Solve -14 = b*w + 2 for w.
-4
Let q(i) = 0*i - 2*i + 0*i - 3*i. Let j be q(-1). Let p be (-1 + 1)/2*(-14 + 15). Solve p*n - j*n = 20 for n.
-4
Suppose -2*b - u + 5 = 0, -3*b + 2*u + 12 + 13 = 0. Suppose 0 = -y + 1 - b. Let n = y - -4. Solve -2*d + d - 2 = n for d.
-2
Let d be ((-4)/(-5))/((-1)/(-5)). Let y(q) = 3*q - 6. Let j be y(d). Let i be 18/(-1)*(-23)/46 + 1. Solve -r + j*r = -i for r.
-2
Let s(j) = j**3 + 8*j**2 + j + 4. Let i be s(-8). Let b be 1/(i/(-1) + -3). Let n(u) = -2*u + 2. Let m be n(b). Solve 3*l + 10 + 2 = m for l.
-4
Suppose -27*r = 73*r - 600. Solve r*l + 4*l = 0 for l.
0
Let y(p) = p**2 + 4*p - 8. Let i be y(-6). Let v(a) = a**2 - 5*a - 3. Let h be v(6). Suppose -l = -2*c + 1, h*l - 15 = -2*l. Solve i*u = c*u - 2 for u.
-1
Let r(a) = -30*a + 186. Let y be r(6). Solve y*f = 5 + 25 for f.
5
Let f = 150 - 120. Solve -f = -4*y - 10 for y.
5
Suppose 2*l - t - 5 = 0, 3 + 7 = 5*l - 3*t. Suppose 1 = 5*p + 3*g, -p + l = 2*g - 3*g. Solve -p*i = -1 - 3 for i.
2
Suppose 0 = 16*k - 12*k. Solve 5*s - s = k for s.
0
Suppose 3*r = -2*p + 6, -4*r + 9 = r + 3*p. Suppose -2*l - 3*t = -r*l + 15, 0 = -3*l + 3*t + 15. Solve k = -l*k + 5 for k.
5
Let x(g) = 15*g - 9. Let d be x(3). Let z = -16 + 