w - 0*w for w.
-4
Suppose 0*j + 5*j = 20. Let o be (j/(-12) - -1)*3. Solve -o*h + 12 = 2*h for h.
3
Let w(p) = -p**3 + 5*p**2 - 3*p + 3. Let n be w(4). Suppose -9*d - 23 = -50. Solve n*t - 8 = d*t for t.
2
Let z(i) = 2*i**2 - 3*i**2 - 2 + 2*i**2 + 3*i. Let s be z(-4). Let w = -1 + s. Solve h = -6 + w for h.
-5
Suppose -5*u = -u - 20. Solve 2*h = u*h for h.
0
Suppose 0 = a - 3*a + j + 36, -5*a + 5*j + 85 = 0. Let q be 2 - (-1 + 4 + -3). Let g be 2/q - (-10)/5. Solve -4*z - a + g = 0 for z.
-4
Let q be 16/3 + 3/(-9). Let v = -37 - -37. Solve v = -q*x + 25 for x.
5
Let v be (-1 + 0)*-2*4. Solve -m - v = -3*m for m.
4
Let s be (-1)/((-4)/5)*-4. Let h(r) = -r - 2. Let c be h(s). Suppose 5*u = -4*x + 27, -7*x + 11*x = 2*u + 6. Solve -c*b = -x - 6 for b.
3
Let d(s) = s + 1. Suppose 0 = w - i - 0*i, -2*w - i = -9. Let j be d(w). Solve 0 = -3*b + 2*b - j for b.
-4
Suppose -2 = 3*b - 5*u, 24 = -b + 3*b + 3*u. Solve 2*r + 12 = b*r for r.
3
Let h be 15/(-3)*(-1 - (-6)/15). Solve h*w = -5 - 1 for w.
-2
Suppose 0*x = 4*x - 12. Suppose -x*f + 4*f - 9 = 0. Solve 2*l - f = -l for l.
3
Let q(f) = f + 3. Let v be q(-3). Suppose v = -4*h + 10 + 6. Solve 0 = -0*g - h*g + 8 for g.
2
Let s(n) = n**3 + 6*n**2 - 10*n - 9. Let m be s(-7). Suppose 2*c + 2*c = 32. Let w = 11 - c. Solve x = -w*x + m for x.
3
Let s(d) = d**3 + 8*d**2 + 7*d + 15. Suppose 3*a + 4*j + 29 = -0*a, j = -5*a - 37. Let q be s(a). Solve -i - q = -6*i for i.
3
Suppose -26 + 10 = -2*b + 3*g, 4*b = -3*g - 4. Solve -b*v = 2*v for v.
0
Suppose -4*p = 9 - 17. Solve -3*f + f = p for f.
-1
Suppose -2*d = -2*w - 22, -5*d - 2*w = -2 - 46. Solve 4*n - d = -2 for n.
2
Suppose -m + 2 = -3. Suppose 6 = u + 4*n, 3*u - 2 = -n + m. Solve -2 + 4 = u*o for o.
1
Suppose -b - 6 = -4*b. Let r(m) = -m**3 + 3*m**2 + 2*m. Let n be r(3). Suppose 2*g = 6, -t - b*g + n = 2*t. Solve 3*o + t = 3 for o.
1
Let b be (2 + -1)*2/2. Let p(g) = 12*g**2 - g + 1 - 2*g**2 - g**2. Let i be p(b). Solve -i = -3*w + 3 for w.
4
Suppose -f + 2*y + 4 = 0, -5*y = -6*f + f + 10. Let o be (f - -1)/((-1)/(-2)). Let k(w) = -w**3 - 6*w**2 + 5*w - 10. Let t be k(-7). Solve -o = -3*n + t for n.
2
Let b(y) = -y + 4. Let d be b(11). Let l(j) = j**3 + 8*j**2 + 7*j + 4. Let g be l(d). Solve -2 = g*i + 2 for i.
-1
Let s be 0/(-2 + 2 + 1). Let y be (-2*1)/(-2)*s. Let t be -11 + 10 + 0 + 3. Solve y = -b - t - 0 for b.
-2
Suppose -u + 0*u + 5 = o, 0 = 4*u + 2*o - 30. Let z = u - 4. Let x be (-79)/(-5) + (-2)/(-10). Solve -2*t + x = -z*t for t.
-4
Let n = -34 + 34. Solve 3*j = -n + 15 for j.
5
Suppose -4*d = -5*f - 10, d - 3*f - 6 = 2*d. Suppose -6*i + 2*i - 2*w - 6 = d, -2*i + 7 = -w. Let r = 13 + -8. Solve -4*j - r = -i for j.
-1
Let d = 14 - 8. Suppose x - d*x + 15 = 0. Solve -2*k = -x*k + 3 for k.
3
Let v(b) = b - 2. Suppose 0 = -2*p + 3*p - 3*o + 8, -5*o = 2*p - 28. Let g be v(p). Solve -g*j = -j + 1 for j.
-1
Let d(w) be the third derivative of w**4/24 - 2*w**2. Let g be d(2). Solve 5*o = g - 27 for o.
-5
Suppose -19 = -3*y - x, -2*y - 2*x + 0*x = -18. Solve -y*b + 6*b - 2 = 0 for b.
2
Suppose 0 = -0*y + 3*y - 9. Let p = -11 + 19. Suppose -p = s - y*s. Solve 1 = -s*m - 7 for m.
-2
Suppose -r + 15 = 4*w, -4 + 25 = 4*w + 3*r. Let m(c) = -c**2 - 8*c - 5. Let z be ((-2)/(-3))/((-1)/6). Let a be m(z). Solve -4*x + w = a for x.
-2
Suppose 3*i + 5*o + 29 = 0, -4*i + 3*o - 30 = o. Let u(a) = -6 + a + 0 - 2 - 3*a. Let m be u(i). Solve -4*n + 24 = m for n.
4
Let m = 14 - 10. Let x be 0 + -2 + 5 + -4. Let y be (-4)/x - (4 + -2). Solve 2 = -y*b - m for b.
-3
Let s(z) = -z**3 - 14*z**2 - 13*z + 12. Let m be s(-13). Suppose -4*a + 0 = -m. Suppose 4*v = 5*w + 65, 39 = -3*v - 3*w + 108. Solve a*t = -t - v for t.
-5
Suppose 3*u - 2*r - 2 = 13, -5 = -u + r. Solve -b + 6*b = u for b.
1
Let k(p) be the first derivative of -p**2/2 - 2*p + 1. Let d be k(-3). Let q be 12/27*27/6. Solve o = q*o - d for o.
1
Let o(a) be the first derivative of a**2/2 - a + 1. Let y be o(1). Solve y = -4*x + 7 + 1 for x.
2
Suppose 2*p + 5*v = -4 - 4, 2*p = -3*v - 4. Solve 5*c - 9 = p for c.
2
Suppose -3*x - 13 = -6*x - 4*k, -k = -4*x + 11. Suppose 5*n + 0*f + f = 17, 0 = 3*n + 4*f. Suppose n*d = -0*d. Solve -i - x - 2 = d for i.
-5
Let y = 10 - 6. Let x(d) = d. Let w be x(y). Solve w = 2*b + 2*b for b.
1
Let h(o) = o + 5. Let i be h(4). Let g = i - 7. Solve -g*v - 3*v = 15 for v.
-3
Suppose 4*o + 2*s + s + 10 = 0, 2 = -2*o - 3*s. Let u = -11 - o. Let w = -5 - u. Solve v = w + 1 for v.
3
Suppose 4*g + 4*m + 8 = 0, -3*g - 2*m = -5*m - 18. Suppose -18 = -0*r + 3*r. Let i be ((-4)/r)/(4/42). Solve g = -5*y + i for y.
1
Suppose 5*h = 23 - 3. Let m be 14/h - (-9)/(-6). Solve l + 1 = -m for l.
-3
Let g = -3 - -7. Let p(l) = -4 - 3 + l + 2. Let m be p(7). Solve -6 + m = -g*b for b.
1
Suppose -4*z = z - 30. Let t = 60 + -29. Suppose 5*b + 16 = 41. Solve -t = b*c - z for c.
-5
Suppose 2*g + 13 - 3 = -4*a, -5*a - 29 = -3*g. Suppose 2*b = g*c - 2*b - 35, -4*c + 15 = b. Suppose 4*o = -1 + 17. Solve c*h - o*h = 0 for h.
0
Suppose 2 = 6*x - 5*x. Let r(s) = 6*s + 2 - 3*s**2 + s**3 - 2*s - 4. Let y be r(x). Solve y*p = -3*p for p.
0
Let q be ((-2)/(-1))/(-1) + 14. Suppose 0 = 5*l + 3*w - 4*w + 4, 0 = 2*l + 3*w - q. Solve -2*t - 3*t + 10 = l for t.
2
Let c be (-9)/(-3) + 0 + 0. Solve c*j - 7*j + 20 = 0 for j.
5
Let w = 11 - 11. Solve w*z = z + 5 for z.
-5
Let d(w) be the second derivative of w**4/12 - 5*w**3/6 + 3*w**2 - 3*w. Let p be d(4). Solve -2*v = p*v - 12 for v.
3
Suppose -12 = 3*b + 4*q, 3*b = 4*b + q + 4. Let j be 48/21 - b/(-14). Solve j*y - 20 = 7*y for y.
-4
Suppose 6 = -0*z + 2*z. Solve 5*j - z*j = 6 for j.
3
Suppose r = i + 13, -i - 3*i - 8 = 0. Let l = r - 3. Solve l = -c + 5*c for c.
2
Let i be ((-5)/15)/((-2)/42). Solve -2*k + i = 1 for k.
3
Suppose 24 = 2*s + 2*b, -3*s - 2*b = -b - 40. Solve 0 = s*t - 11*t - 12 for t.
4
Suppose 4*f - 13*f + 36 = 0. Solve -f*g + 9*g + 5 = 0 for g.
-1
Let n(g) = -3*g**2 + g. Let q be n(1). Let c be (3/q)/((-3)/(-4)). Let t be (2 + c)/(2 + -1). Solve 3 = -t*d + 3*d for d.
1
Suppose u - 14 - 6 = 0. Solve 0*i - 5*i - u = 0 for i.
-4
Suppose 5*f - 2 = -y, 0*y + 5*y + 4*f = 10. Solve -2*a = y*a - 20 for a.
5
Let u = 6 - 4. Suppose -a - 1 = 3*k - 0, -2*k = -u*a - 18. Let n = a + 9. Solve n*w + 1 = 7 for w.
3
Suppose 9 + 6 = 5*i. Solve 0*z = i*z - 9 for z.
3
Let v(i) = i**2 - i + 4. Let n be v(0). Solve 25 = l + n*l for l.
5
Let w(g) be the third derivative of -g**5/60 + g**4/6 + 7*g**3/6 - 4*g**2. Suppose 3*f + 20 = 7*f. Let m be w(f). Solve -7 - 1 = -m*c for c.
4
Let i = -10 + 10. Solve -8 = 4*d - i*d for d.
-2
Let h = 17 - 14. Suppose -2*y - 5*p - 15 = y, y = -p - 3. Suppose y*m = -h*m. Solve m*c = -c for c.
0
Suppose l = 6*l + 4*u, 0 = 3*l - u. Suppose -2*d - 2*g + g + 23 = l, 0 = 4*d + 4*g - 56. Solve d = -3*s - 3 for s.
-4
Let s be (-40)/(-18) + (-20)/90. Solve 6 + 0 = s*y for y.
3
Let d(i) = i**2 + 16*i + 3. Let h be d(-16). Let m be 17 - ((-1)/(-1) - -1). Solve 0*q - h*q = m for q.
-5
Suppose -i + 5 + 0 = 0. Let a(y) = -y**2 + 6*y - 3. Let q be a(i). Solve 2*g = 4 + q for g.
3
Suppose n + 2 = 8. Solve w + n = -w for w.
-3
Let i(p) = -2*p - 6. Let y be i(-5). Suppose 4*l - 2*j = 32, 2*l - 4*l + 16 = y*j. Solve -10 = 3*v - l*v for v.
2
Suppose -5*r + 2*z + 199 = 0, r + z = 51 - 14. Let n = r + -61. Let c be 20/11 - 4/n. Solve 5*t + c = 7 for t.
1
Let m be (-140)/(-49) + 1/7. Suppose -p = m*c + 3*p - 29, 5*c = -5*p + 40. Solve -2*t = 3 + c for t.
-3
Suppose -3*x + 1 = d, 4*x = -0*d + 2*d - 12. Let b = -1 - 1. Let o be -1 + x*2/b. Solve v + 4 - 1 = o for v.
-3
Let s be 1/(-3)*-3 - -2. Suppose -14 - 13 = -s*b. Suppose 3*m = -0*m + b. Solve -4*j = -m*j for j.
0
Let c = 3 - -1. Let b be 0 + 1 + 2 + c. Solve -4*q = 27 - b for q.
-5
Let n(w) = -w**3 + 2*w**2 + 3. Let c be n(2). Let d be (-1)/c - (-10)/3. Solve -7*o = -d*o for o.
0
Suppose -1 - 4 = -5*l. Let c be ((-2)/5)/(l/(-5)). Solve c*q + 10 = 7*q for q.
2
Suppose -4*h - 4 = 0, -b + 2*b - 5 = 5*h. Suppose i = -3 - 0. Let g = i - -6. Solve b = -4*u + g*u for u.
0
Suppose 1 = 5*r + 2*o, 3*o + 19 = -4*r + 8*o. Let y be r + (-1 - -3) + -1. Let t(q) = -q**3 + 6*q**2 - 6*q + 7. Let w be t(5). Solve y = w*l - 3 + 1 for l.
1
Let v(t) = 2*t + 2. Let d be v(1). Solve -d = 2*k - 14 for k.
5
Suppose -4*v - 8 = -5*j + 2*j, 2*j 