k + 12 + 8 for k.
-5
Suppose -3*r = 2*r + 250. Let d = r + 57. Solve d*p - 6 = 5*p for p.
3
Let y be (8/10)/(16/440). Solve 3 = -y*s + 19*s for s.
-1
Suppose -4*n = -2*n + 46. Let j = n - -30. Suppose -j*m = -3*m - 8. Solve m*b + 1 = 9 for b.
4
Let c be (97 + -95)/(0 - (-1)/24). Let i be 2/3*216/c. Solve 0*o - i*o = 0 for o.
0
Let l(g) = g**2 - g - 1. Let s(c) = 2 - 12*c**2 + 8*c**2 + 7*c**2 - 5*c. Let f(v) = -4*l(v) + s(v). Let x be f(0). Solve x*o + 8 = 2*o for o.
-2
Let v(g) = -6*g - 72. Let r be v(6). Let l = 109 + r. Solve -2*c + l = 3 for c.
-1
Suppose -80*f - 95 = -99*f. Solve -4*u = -f*u for u.
0
Suppose v - 26 = -21. Solve 0 = v*x - 10 - 15 for x.
5
Suppose -180*o + 33 = -179*o. Let d = 42 - o. Solve -4*j = -j - d for j.
3
Suppose -2*r + 6*r + k - 13 = 0, -2*r + 4*k = -20. Solve 2*w - r*w + 6 = 0 for w.
3
Let p(h) = h**3 - 5*h**2 + 4*h - 1. Suppose 4 = -2*z + 2, 3*g + 4*z = 11. Let d be p(g). Suppose -5*x + d = -6. Solve -x*v = -v + 4 for v.
-1
Let f = 77 - 45. Let u be (-16)/56 - f/(-14). Solve 2 + 0 = u*y for y.
1
Let x(r) = -17*r - 397. Let o be x(-35). Solve o*v = 203*v - 25 for v.
5
Let y(m) = 25*m + 181. Let b be y(-7). Solve -b*f = -15 + 3 for f.
2
Suppose -4*r - 297 = c + 108, r + 2*c + 96 = 0. Let q = r + 107. Solve -3*o = -q*o + 2 for o.
1
Suppose -2*i + 36 = l, 11 + 17 = 3*i - 5*l. Let o = 17 - i. Suppose -q + o + 0 = 0. Solve -11 - q = 3*b for b.
-4
Suppose 3 = g - 1. Suppose g*u - u = 24. Suppose 5*i - u = i. Solve n = -i*n for n.
0
Let f(u) = u + 11. Let x be 0 + -2 + 1 + -35. Let i = x + 28. Let n be f(i). Solve 0 = v - n*v for v.
0
Suppose 5*u + 8 = 3, r - 2 = -3*u. Solve -7 - r = -6*w for w.
2
Let r = 661 + -115. Let a be r/(-52)*(-2)/3. Solve -a*l = -2*l - 25 for l.
5
Let k(b) = -11*b - 1. Let m(a) = -5*a - 1. Let v(w) = 4*k(w) - 9*m(w). Let y be v(-4). Let d be (y + 6/(-3))*-4. Solve d*x = -x - 25 for x.
-5
Let p(k) = -k**2 + 50*k. Let a be p(50). Let o(j) = j**2 - 2*j - 3. Let r be o(-2). Solve a = -r*m - 5 for m.
-1
Let a(n) = 2*n - 1. Let u(b) = 2*b - 2. Let h(z) = -6*a(z) + 5*u(z). Let j be h(-3). Let d be 12/(-30) - j/(-5). Solve -2*i + 10 = -d*i for i.
5
Suppose -19*u + 15*u = -204. Let x(k) = 51 - u + 14*k. Let i be x(1). Solve 4*y + 2 - i = 0 for y.
3
Let k = -5 + 8. Let p(w) = -7 - 3 + 11 + k*w. Let z be p(3). Solve -c = c - z for c.
5
Let x(t) = 2*t**2 + 6*t + 3. Let b be x(-3). Solve -h + b*h = -8 for h.
-4
Let l(u) = u**2 + 9*u + 19. Suppose a - 2*p = 3*p - 32, a + 17 = 2*p. Let i be l(a). Solve -i*q + 15 = -2*q for q.
5
Let y be (4/5)/(2/10). Suppose 9*z - 30 - 15 = 0. Suppose j + y*j - 10 = -3*b, 0 = -z*b. Solve -j*m = m - 12 for m.
4
Let o(g) = -g**2 + 15*g + 20. Let w be o(17). Let r = w - -18. Solve 0 = -r*j - 4 for j.
-1
Let l = -724 - -730. Solve -10 + l = 2*y for y.
-2
Suppose -3*n - 2*y = y - 30, -n - 5*y - 6 = 0. Solve o + n = 11 for o.
-3
Suppose 2*d = 4*d + 3*l - 20, l + 5 = d. Solve -24 = -15*j + d*j for j.
3
Suppose 3*l = 10 + 62. Suppose 2*y - 5*u = 19 + 2, 0 = -5*y + 3*u + l. Solve -5 = y*t - 4*t for t.
5
Let q = 291 - 291. Solve 5*y = -q*y - 25 for y.
-5
Suppose -137*f + 20 = -133*f. Solve 6*b - 5*b = -f for b.
-5
Let q be (-52)/(-16) + 3/4. Let g be (2/1)/(q/(-26)). Let r = 13 + g. Solve -2 = y - r for y.
-2
Let d = 31 + -21. Let s be (18/(-15))/((-4)/d). Solve -3*l = -2*l + s for l.
-3
Suppose 4*w - 7*p + 2*p - 26 = 0, -5*w + 2*p = -24. Let s(m) = m**3 - 3*m**2 + 3*m - 1. Let f be s(2). Solve -w*d - 17 = -f for d.
-4
Let x(h) = 6*h**2 + h + 3. Let k be (-11)/22*(-8)/(-2). Let i be x(k). Suppose -i = 5*s, -3*f - 5*s - 1 = 9. Solve -2*n + 6 = -f*n for n.
-2
Let m = -216 + 222. Solve -6 = -0*l + m*l for l.
-1
Let y be ((-16)/20)/((-4)/(-10)). Let r = 8 + y. Let b be 2*(-2)/(-8)*r. Solve 3 = 4*u - b*u for u.
3
Let h(l) be the second derivative of -l**5/20 - 4*l**4/3 - 8*l**3/3 - 4*l**2 - l. Suppose -16*t - 155 = 85. Let y be h(t). Solve 0 = -4*a + y + 9 for a.
4
Let p = -89 - -96. Solve -1 - p = -2*x for x.
4
Let d be -2 + 1 + 0/2. Let w be 20 + (-3 - 0) - d. Suppose 5*i - 3*a - 31 = w, -3*i - 4*a = -12. Solve -2*v - i = -0 for v.
-4
Suppose -5*b = -2 - 18. Suppose z = -z + b. Solve -9 = -w - z*w for w.
3
Let r = 14 + 1. Suppose -2*j - j = 3*c - r, -4*j + 26 = -2*c. Solve -3*m = -6*m + j for m.
2
Let p be 20/(-6)*(-120)/50. Suppose p*t = 13*t. Suppose -4*u = -u - 3*r - 15, 3*u - 2*r - 18 = t. Solve -y - u = y for y.
-4
Let j(g) = -g**2 - 15*g - 48. Let p be j(-9). Solve -p*y + 20 = -y for y.
4
Suppose 3*p = -2*p - 5*r + 120, 0 = 5*p - 5*r - 90. Suppose -7*o + 4*o + 57 = 0. Let q = p - o. Solve q*v = -7 - 3 for v.
-5
Let a = 20 + -13. Suppose -2*x = -3 - 1. Suppose -6*o + x*o + 8 = 0. Solve -a*i = -o*i + 20 for i.
-4
Let z = 47 + -71. Let x be (-18)/(-8)*120/10. Let g = x + z. Solve g = -0*m + m for m.
3
Let r = -1998 + 2005. Solve r*h + 15 = 2*h for h.
-3
Suppose 0 = -18*r - 5 + 5. Solve r = 2*l + 3*l - 15 for l.
3
Suppose n + 2 = 5. Suppose 2*p = -n*u - u + 20, 0 = -4*u + 16. Suppose -10 = -p*t + 30. Solve 2*v = -3*v + t for v.
4
Let n = -1 + 1. Let c be (-1 + -2)/27 - (-5)/45. Solve -b + n + 4 = c for b.
4
Let x = 613 + -553. Solve -x*a + 65*a = 0 for a.
0
Let q(y) = -2*y**3 - 2*y**2 + y + 12. Let j be q(0). Suppose -10 + j = g. Solve 12 = 6*s - g*s for s.
3
Let h(d) = d**2 - 6*d + 9. Let o be h(5). Suppose -6 + 2 = -2*n. Solve n*v + 0*v = o for v.
2
Suppose -20*h + 9*h = -7*h. Solve h = -7*i - 3 - 25 for i.
-4
Suppose -32 + 47 = 2*f + 3*t, 0 = -4*f + 2*t + 22. Solve 13*p = 11*p - f for p.
-3
Let j(r) be the first derivative of r**3/3 - 9*r**2/2 + 2*r - 7. Let k be j(9). Suppose -8 - 16 = -6*y. Solve -y*p - k = -6*p for p.
1
Suppose 8*j = -0*j + 16. Solve 0 = s + j*s for s.
0
Let a(o) = o**2 - 34*o + 292. Let z be a(10). Solve -z = 10*q - 2 for q.
-5
Let q = -478 - -482. Solve -q*n + 4 + 8 = 0 for n.
3
Let f be (1/(-2))/(-4*9/2592). Solve 0*s + f = 9*s for s.
4
Let d(a) = 10*a**2 + 6*a - 8. Let g be d(1). Solve -5*y = -g*y + 9 for y.
3
Suppose -5*s + 4*l = -s - 32, -3*l = -4*s + 27. Suppose -18*p = -13*p. Suppose 45 = 7*x + 17. Solve -s*o + 4*o - x = p for o.
4
Let j be (8 + 2)*(-6)/(-4). Suppose q - j = 21. Let v be q/(-15)*15/(-6). Solve v = f + 2*f for f.
2
Let m = 244 - 244. Solve 0 = 4*d - m*d + 4 for d.
-1
Suppose 3*s + 2*i - 55 = 0, s - i = -4 + 19. Solve 21 = 4*a + s for a.
1
Suppose 190*t = 187*t + 33. Solve 0 = 20*q - t*q + 36 for q.
-4
Suppose 2*x = 4*u - 28, -3*u = -x - 4*x - 35. Solve -u*t + 3*t = 0 for t.
0
Let s be 17/(-5) - 24/(-60). Let x be 12/2 + s + 3. Solve -3*t = 6 + x for t.
-4
Let l be 8 - ((-18)/(-3) + -3). Suppose 3*p + 2*j = -0 + l, -2*p + 15 = -j. Solve -4*d - p = d for d.
-1
Suppose 0 = -4*b + 20 - 168. Let x = b + 43. Suppose 0 = -5*z + 4*k + 4, 0 = -4*z + 5*k - 0*k + 5. Solve z = -3*w + w - x for w.
-3
Suppose 4*l - 17 = 7. Solve -l*q + 14 = q for q.
2
Let p(v) = 12*v**2 - 60*v + 6. Let n be p(5). Solve n*l - 21 = -l for l.
3
Suppose -5*p = 4*p - 36. Solve z = -p*z for z.
0
Suppose -11 = -20*d + 69. Solve 0 = d*o - 80 + 72 for o.
2
Let v(x) = x**3 - 4*x**2 + 2*x. Let j(d) = d**2 + 3*d - 28. Let n be j(-7). Let s be v(n). Solve s*z - 2 = z for z.
-2
Let o = -146 + 148. Solve -o*k - 20 = -6*k for k.
5
Let q = 2 - 2. Suppose -3*d = 3*w - 5 - 4, q = -w - 5*d + 3. Let x = 8 - -4. Solve z = -w*z + x for z.
3
Suppose 17*r = 22*r. Solve r*x + 3*x = x for x.
0
Let k(f) = -f - 9*f - 2 - 2 + 8*f**2 - 2 + f**3. Let s be k(-9). Solve -2*c + 15 = s*c for c.
3
Let z = -19 - -99. Suppose -4*n = -5*x + z, 0*x - 4*x + n + 53 = 0. Solve 0 = 5*a - 2*a - x for a.
4
Suppose 2*n = -5*s - 7 - 26, 4*s - 4*n = -4. Let a = -1 - s. Solve 0 = a*g + 2 - 22 for g.
5
Let t(u) be the third derivative of -u**4/24 + u**3 + 3*u**2. Let l = 8 - 3. Let p be t(l). Solve q + p = 2*q for q.
1
Let s = -1 + 6. Let i(u) = u**2 - 3*u + 6. Let a be i(s). Suppose 2*d - h - 7 = 0, 3*d - 80 = 5*h - 45. Solve -3*r - 1 + a = d for r.
5
Suppose -2*p - 9 + 15 = 0. Let h = 2 + p. Suppose -r - 2*t - h = 0, -5 = r - 4*t - 24. Solve 2*j = j + r for j.
3
Suppose 0 = -r + 2*u - 3, 1 = 3*u - 8. Let s be -3 + r/1 + 5. Solve -s*d - 2 = 13 for d.
-3
Let y = 3 + -1. Let j be -4 + 9 + -1*y. Let s be 1/9*6*j. Solve -s*w + 1 - 5 = 0 for w.
-2
Let v = 118 + 31. Let i = v - 140. Solve i = 2*z + 3 for z.
3
Let o(g) = g**