0). Solve -4*h + t + 4 = 0 for h.
1
Let d(w) = -5 + 16 - 7*w**2 - w**3 - 5*w**2 - 9*w - w. Let r be d(-11). Solve r = -0*p + p + 5 for p.
-5
Suppose -3*f + 8 = -4*f. Let n = f + 12. Let g be n/12 + 88/6. Solve -2*u + 7*u - g = 0 for u.
3
Suppose 4*c + 2*h - 3*h = 10, 4*c + 4*h = 0. Solve 2*u = -c - 6 for u.
-4
Let o be -3 - (-2 - -3)*-3. Solve o = -5*s + 3 - 18 for s.
-3
Let m be 3/9 - (-8)/3. Suppose 0 = -4*b + b + 12. Suppose -m*z + 0*z = 2*s - 23, -b*z - 5*s = -40. Solve z*x - 15 = 2*x for x.
5
Let l be (7 + -3)*1/2. Suppose -5*h - l = -3*f, -2*f + 5*h - 4 = -2. Solve -8*b + f*b + 4 = 0 for b.
1
Let y(a) = a + 24. Let d be y(0). Suppose -2*c + 4*t = 16, -2*c + d = -t + 5*t. Suppose 0 = 4*b + 3*m + 9, -2*b = c*m - 7*m - 15. Solve 3*w - 4*w - 1 = b for w.
-1
Let j(v) = -v**3 + v**2 + 2. Let z be j(0). Suppose -n + z + 3 = 0. Solve 0 = -k + 2*k + n for k.
-5
Suppose -5*g - 3*x = -0*g - 14, -5*g + 3*x = -26. Let l(m) = m**2 + 2*m - 2. Let s be l(-4). Solve 0 = g*y - 2 - s for y.
2
Suppose 19*k - 2 = 18*k. Solve 1 = k*j + 7 for j.
-3
Let f(s) = -4*s - 2*s + 4*s - 1 - 1. Let a be f(-4). Solve a*k + 15 = 3*k for k.
-5
Let q be 5 + (-3 - -6) + 1. Solve 2*i = 5*i - q for i.
3
Let j(k) = -k**2 - 20*k - 8. Let u be j(-19). Solve -2*q - u = -19 for q.
4
Let z = -3 - -4. Suppose -3*n = -4 + z. Solve -n = r - 3 for r.
2
Let j(s) = s**2 - 8*s + 3. Let i be j(7). Let d = i + 8. Solve o = -d - 0 for o.
-4
Let a = -9 - -14. Let y = 4 - 6. Let m be (7 - 1) + (-2)/y. Solve -a*z = m + 13 for z.
-4
Let a = -38 + 42. Solve a*b = -0*b - 8 for b.
-2
Suppose 5*i + 5 = 0, -t + 4*i = -1 - 6. Let s be -2 + (9/t - 1). Solve 0 = -s*u - 2*u + 4 for u.
2
Suppose -3*w = 4*x - 24, -5*x - 14 = -3*x - 5*w. Suppose -4 = 5*q - x*o, q = o - 5*o + 13. Let d(j) = j**2 - 2*j + 1. Let g be d(q). Solve -4*h + g*h = 0 for h.
0
Let h(i) = -i**2 + 13*i - 6. Let n be h(12). Let w(l) = l**3 - 7*l**2 + 8*l - 9. Let g be w(n). Solve 4*p - g*p = 0 for p.
0
Suppose 5*o = t + 33, -3*o - 2*t = -t - 15. Suppose -5*v = -c + 2 + 8, v = -4*c + 19. Solve c*h = -21 + o for h.
-3
Suppose 1 = -2*y + 5. Suppose y*c + 2 - 30 = 0. Solve -5*u - c = 11 for u.
-5
Let s = -7 + 10. Suppose 0 = -2*u - 5*p + 55, s*u - 2*p + p = 40. Solve 3*i = -2*i - u for i.
-3
Let f = 33 + -28. Solve 3*n - 2 = -f for n.
-1
Let x(g) = -g**3 + 3. Let l be x(0). Suppose s - 80 = -l*s. Solve 0*p + 4*p - s = 0 for p.
5
Suppose -7*r + 2*r + 3*k + 21 = 0, -4*k = -r + 11. Solve 0*s + s + r = 0 for s.
-3
Suppose 4*u + 44 = 4*l, -u = -3*l - 3*u + 23. Let q = 23 - 19. Solve -3 - l = q*w for w.
-3
Let y be (-18)/4*(-2)/3. Solve -l = y*l - 20 for l.
5
Let d be 912/36 - (-1)/(-3). Solve -z + 6*z = d for z.
5
Let c = 29 - 22. Solve 4*s + c = -1 for s.
-2
Suppose 0 = -3*d - 15, -2*d - 2*d = 2*y. Suppose 2*i + 35 = -3*i. Let s = i + y. Solve -2 = -s*k + 2*k for k.
2
Suppose 5*b - 2*f - 2 = 10, 4*f + 10 = 3*b. Solve 0*s - b*s + 4 = 0 for s.
2
Let d = -5 - -8. Suppose -5*k - d*b = -57, -4*k = -0*b - 4*b - 52. Suppose 1 = 4*v - 7. Solve 2*g - k = -v*g for g.
3
Let f = -28 - -30. Solve 4*p + 2 = -f for p.
-1
Suppose 0 = 2*f - 22 - 10. Suppose 10*i = 5*i + 35. Solve -3*j + f = -i*j for j.
-4
Suppose 2*a + 4*n - n = 30, -2*n = 3*a - 40. Let p(j) = -j. Let y be p(-6). Let g = -1 + y. Solve 2 = -g*f + a for f.
2
Let w(t) = -t - 3. Let a be w(-3). Let z(p) = -p + 12. Let g be z(12). Solve g = -a*r - 4*r + 16 for r.
4
Suppose j + 5 = 12. Solve j*l - 2*l = 0 for l.
0
Suppose 4*r - 24 = -0*q - 4*q, 0 = -3*r + 6. Suppose o - 2*o = -27. Solve -11 + o = -q*f for f.
-4
Suppose 3*x - 2 = 4*m - 31, -x = -3*m + 18. Let l = 2 + x. Let y be l/4 - (-13)/4. Solve y*v = 5*v for v.
0
Let l be (-4 - -3) + 5 - 1. Solve -9*v = -8*v - l for v.
3
Let p be 0 + 1 - 2 - -15. Let x = p - 10. Solve x*d + 0*d = 12 for d.
3
Suppose -4*l - 1 = -17. Let z(t) = -5*t. Let o be z(-2). Solve 3*n - l + o = 0 for n.
-2
Suppose 61*b = 62*b - 5. Solve -12 = b*q - q for q.
-3
Let w(h) = 5 + 2*h**2 + 2 + h - h**2. Let l be w(0). Suppose l*a - 4*a - 6 = 0. Solve -3*f + a*f - 4 = 0 for f.
-4
Suppose -12 = 2*m + 2*m, 2*u + 5*m + 15 = 0. Suppose -4*p = -6*p - 4, 0 = 4*o - 3*p - 10. Let z = o - 1. Solve g + u*g = z for g.
0
Let z = -49 - -52. Solve 0 = -k + z*k for k.
0
Let b(a) = -5 + a + 0*a - 1. Suppose 0*g + 30 = 5*g. Let z be b(g). Solve -u - 3*u - 16 = z for u.
-4
Let z(l) = l**3 - 13*l**2 - 15*l + 16. Let m be z(14). Solve -k = 6 - m for k.
-4
Let q = -59 - -89. Let z = q + -18. Solve -8*v + 4*v + z = 0 for v.
3
Suppose 4*s = -p + s - 6, p + 10 = -5*s. Solve p*o = -o for o.
0
Suppose u + 3 = 0, -4*f - u + 0*u + 17 = 0. Suppose -3*z + 8 - f = 0. Solve -1 = -r + z for r.
2
Suppose -16*n = -14*n - 16. Solve -n = -3*b - 2 for b.
2
Let y be ((-12)/(-9))/((-8)/(-12)). Suppose y*i - 6 = -0. Let q be i/2*2*1. Solve -q*r - 1 = -4*r for r.
1
Suppose 0 = -b + 1 + 2. Let s be -2 + (0 + -1)/1. Let r = -3 - s. Solve r*v - b*v = 0 for v.
0
Let q be -3 - (-7 - (-1 + -3)). Solve q = -2*j + 5*j + 15 for j.
-5
Let d = 175 - 170. Solve -20 = -d*w - 0*w for w.
4
Suppose -31*a + 32*a - 4 = 0. Solve -a*o = -13 - 3 for o.
4
Suppose 5*s + 2 - 17 = 0. Let d(p) = -2*p**3 - p**2 + 5*p + 5. Let o be d(-2). Solve -f + s = o for f.
-4
Let i be (-12)/(-8) - 75/(-6). Let f = i - 11. Solve f*x = -x - 20 for x.
-5
Let q(f) = 3*f + 2. Let h(w) = w + 1. Let o(p) = -2*h(p) + q(p). Let n be o(1). Let b(d) = -d**3 - 6*d**2 + d + 8. Let z be b(-6). Solve 0 = -t + n - z for t.
-1
Let q(z) = -z**2 + 2*z + 3. Let v be q(3). Suppose -5*l + l + 100 = v. Suppose -2*t - f = 3, -t + 4*f = -0*t - 12. Solve 0 = 5*n - t*n - l for n.
5
Suppose 0 = 4*b - 0*b + 5*p - 42, -p = b - 10. Solve -b = 4*l - 28 for l.
5
Let x be (0 - 45/6)*-2. Let u be x*(0 - (1 + -2)). Solve -5*q + 0*q = -u for q.
3
Suppose -f = -m + 4, 3*m + 5*f = -m + 61. Solve m = -4*s + 1 for s.
-2
Let x(r) = -r**2 + 4*r + 3. Let t be x(4). Suppose 0*j - 24 = -2*h - 3*j, h + 3*j = 9. Suppose 5*b + h = 5*a, 0*a + 4*b - 8 = -a. Solve t*y = -a + 7 for y.
1
Suppose -o - 115 = -3*x - 0*o, -3*o = 2*x - 84. Suppose x = -3*u + 8*u + n, 0 = -3*u - n + 23. Solve j - u = 3*j for j.
-4
Let s be (-988)/(-28) + (-2)/7. Let r be 1/(-3) - s/(-15). Solve -r = -k - 0*k for k.
2
Let p = 5 + -8. Let y be 2/(p + -1)*-10. Solve 0*i - i - y = 0 for i.
-5
Let l(b) = b - 4. Let u be l(6). Suppose u*s + 20 = 5*m - 16, 2*s = -3*m + 28. Solve 3*h = h + m for h.
4
Let p = -1 - -4. Suppose 1 = -g - p. Let l = g - -4. Solve l = x + 2*x for x.
0
Let z(y) = 3*y - 34. Let a be z(12). Solve 25 = 3*b + a*b for b.
5
Suppose -t = 1, -4*b = 8*t - 6*t - 22. Solve 3*z + b = -0*z for z.
-2
Suppose -4*i + u - 8 + 25 = 0, -3*u = 3. Suppose -c + i*c - 24 = 0. Let r be (-2)/c + (-61)/(-4). Solve -6*l + r = -l for l.
3
Let z = -77 - -116. Suppose -5*g = -4*t - 0*g + z, t - g - 9 = 0. Let j be (5 - 0)*6/5. Solve t*r + j = 3*r for r.
-2
Let x = -138 - -140. Solve -8 - x = 2*w for w.
-5
Suppose -5*v = -5*y, -5*y - 4*v - 2 + 11 = 0. Solve y + 2 = -m for m.
-3
Suppose 3*q + n = 8 - 5, 0 = 3*q + 5*n + 9. Let o be 9/6*2 - q. Solve v + o = -2 for v.
-3
Let r(k) = -k**3 - 7*k**2 + 8*k + 2. Suppose -4*u + 0*u - 32 = 2*f, -3*u - 12 = 0. Let v be r(f). Let t(z) = -2*z - 3. Let c be t(-3). Solve c*y = y + v for y.
1
Let n(o) = o**2 - 3*o - 1. Let r be n(4). Solve -r*v = -6*v for v.
0
Suppose 2*x = 4*a - 3*x - 8, -3*a = -3*x - 6. Solve g + a*g + 9 = 0 for g.
-3
Suppose 2*f = 1 + 11. Solve -2 = b - f for b.
4
Suppose -2*g = -0 + 12. Let z = g - -8. Solve 0 = -z*w + w for w.
0
Let j(h) be the third derivative of -h**5/120 - h**4/6 - h**3/2 + h**2. Let t(p) be the first derivative of j(p). Let f be t(-6). Solve 2*b - 4 = -f for b.
1
Let y be (1 - -2) + -1 + 3. Suppose 2*c = y*c - 6. Solve c*x = x for x.
0
Suppose 4*d + 0*s = -s + 14, 0 = -3*d + 2*s + 16. Solve 20 = d*x + x for x.
4
Suppose 3*d = q - 0*q + 8, -4*q - 2 = 3*d. Let c be ((-15)/q)/(3/4). Solve 4*k + c + 2 = 0 for k.
-3
Suppose z = -4*q - 3, -q + 0*z + 2*z - 3 = 0. Let t be (-6)/(-6) + (-1)/q. Suppose t*i = -i + 12. Solve -1 = -j + i for j.
5
Let d(i) = i**2 - i. Let y be d(1). Let u = y - -6. Solve -z - 2*z = u for z.
-2
Suppose 32 = 5*f - f. Suppose 3*o - 18 = x, -3*o = -f*o + 3*x + 26. Solve g = -o + 3 for g.
-4
Let l(u) = -2*u**2 + 6*u + 2. Let o be l(3). Solve -5*r + 12 = 