 1 - 3 for h.
-2
Let x = 231 + -54. Let b = x + -172. Solve 0 = -2*m + b + 1 for m.
3
Let t = 38 + -33. Let n(k) = -k**3 + 18*k**2 - k + 18. Let v be n(18). Solve v = -2*r - 3 - t for r.
-4
Suppose 8 = -5*h - 3*c, 3*h + 1 = -2*h + 4*c. Let d = h - -5. Suppose d*o + o = 0. Solve 4 = -y - o for y.
-4
Let r(k) = -k**2 - 8*k - 4. Let w be r(-7). Suppose 0 = -4*v + w*v + 10. Let l be (-9)/(-6) - v/(-4). Solve 0*s - s - l = 0 for s.
-4
Let k(m) = 3*m**3 - m - 4. Let o(i) = -2*i**3 - i**2 + i + 2. Let d(j) = 3*k(j) + 4*o(j). Let t = -1 - -5. Let h be d(t). Solve -b + 5*b = h for b.
0
Suppose 7*p - 6*p + 1 = n, 3 = -3*p. Let k(q) = -q + 5. Suppose -4*x = 3*l + 1, 3*x = 3*l + 2*l + 50. Let o be k(l). Solve n*d + 3*d = o for d.
4
Let d(v) = 31*v - 207. Let p be d(7). Solve 0 = p*x - 5*x + 15 for x.
-3
Let k(a) = a + 4 - 4 - 4 - 1. Let d be k(7). Solve r = -d*r for r.
0
Let l(x) = x**3 - 4*x**2 + 5*x - 22. Let p be l(5). Solve 5*y - p = -3 for y.
5
Let b(r) = 21*r - 8. Let k(g) = -31*g + 12. Let p(v) = 8*b(v) + 5*k(v). Let z be p(1). Solve -2*h - z = h for h.
-3
Let b(c) = 5*c**2 + 5*c + 4. Let i be b(-2). Let l = 12 - i. Let g be 1 + (-3)/(l + 5). Solve -4*t + 0*t = g for t.
0
Suppose 2*w - 18 = w + 5*p, -w = 4*p + 27. Let j(a) = -a**2 - 7*a - 3. Let s be j(w). Let i be 26/4 + s/6. Solve -i = 4*v - 22 for v.
4
Let t(q) = -q**3 - 10*q**2 - 5*q - 38. Let m be t(-10). Solve m*k + 65 = -k for k.
-5
Let r be 3*(-4 + (4 - -2)). Suppose -r*s + 35 = s. Suppose -4*g - 2*l + 6 = 0, -4*g - 2*l + 21 = -5*l. Solve -g*h + s - 17 = 0 for h.
-4
Let u = -31 + 60. Suppose l - h = -9, -u - 1 = 5*l - 2*h. Let r be (-3)/(-12) - (-1)/l. Solve -6 = -3*v - r for v.
2
Let f = -29 - -49. Suppose -48*v + 106 = 10. Solve -2*j = v*j + f for j.
-5
Let a = 649 - 644. Solve 2*s - a = -7 for s.
-1
Let j(d) = -1 - 1 + 5 - d - 1. Let b be j(0). Let c be 6/39 - 4/26. Solve -b*k + 2 = -c for k.
1
Let o = -158 + 167. Suppose -3*b - o*b + 36 = 0. Solve 0 = -b*j + j + 4 for j.
2
Let c = -442 + 448. Solve 5*u - 1 = -c for u.
-1
Suppose -6*r + 2*r = -8. Suppose 3*i + 3*l = 3, -i - 12 + 10 = -2*l. Solve i = r*z + z for z.
0
Suppose 0 = -3*y + y + 4. Suppose 3*c = -4*i + 3 + 2, -y*i - 5*c - 15 = 0. Let h(x) = 2*x**3 - 19*x**2 - 23*x - 96. Let q be h(11). Solve q + 6 = i*p for p.
4
Let l be (-1111)/(-99) + -11 + (-43)/(-9). Solve l*m + 2 = 27 for m.
5
Let l = -19 + 19. Let a be (l - 1)*-7 - 3. Suppose -6 = -a*z + 14. Solve z*t = t + 4 for t.
1
Let t = 492 + -482. Solve 4*a + t + 10 = 0 for a.
-5
Suppose -2*c + 3*c - 3*w = 17, -2*w - 8 = 0. Suppose 18 = -r + 5*i, 0*r - i - 6 = -c*r. Suppose -r*x - 7 = -f, 2*f = 3*x - 2*x + 5. Solve 0*d - f = d for d.
-1
Let i = 328 - 325. Solve 4*f - 7*f + i = 0 for f.
1
Let z = -73 - -75. Let l = 7 - 4. Let r = 19 + -14. Solve z*b = r*b - l for b.
1
Let v be 6/(-3) + 1 + 1. Solve v = 3*o - 3 + 6 for o.
-1
Let f(w) = -w**3 + 5*w**2 - 2*w + 6. Let h be f(4). Solve -1 - h = 5*x for x.
-3
Let f(a) = a - 16. Let u(n) = n. Let p(t) = -2*f(t) + 6*u(t). Let z be p(-8). Solve d = -z*d for d.
0
Suppose 193 = 28*q - 59. Suppose -5*b + 8*b = -21. Let z = 11 + b. Solve -q = -z*n + 7 for n.
4
Let g be (-3 - 1/1)/((-15)/(-15)). Let y be -36*1/g*1. Solve -3*t = -0*t - y for t.
3
Let j be (1/5)/(3/45). Solve 8*s = j*s - 15 for s.
-3
Let v be (2/3)/((-5)/(-15)). Let d = 155 - 150. Solve v*h - d*h = -6 for h.
2
Let h = 0 - -3. Suppose -3*s = -15, -h*w + 0*s = -5*s + 22. Solve 5*i - 26 = -w for i.
5
Let v(a) = 70*a + 519. Let o be v(-7). Solve -o*i = -27*i for i.
0
Let x(z) = -z**3 + 3*z**2 + 3*z - 3. Let i be x(2). Let j(y) = y**2 - 5*y - 12. Let k be j(i). Solve v + 0 = k for v.
2
Let t = 44 - 50. Let s(b) = -b**3 - 5*b**2 + 5*b - 3. Let u be s(t). Solve -u*c = 2*c for c.
0
Let v = 87 + -54. Let s = -28 + v. Solve s*p + 17 = -8 for p.
-5
Suppose 3*o + 23 = 5*c, 2*o - 5 = -2*c - o. Suppose l = -l + c. Solve -5 = n - l*n for n.
5
Suppose 2*q - 4*v - 24 = 0, v - 6*v = 4*q - 74. Solve q = -8*t + 56 for t.
5
Suppose 2*s + 23 - 70 = -z, 5*z - 37 = -s. Solve 6*h + 28 = s for h.
-1
Let f(z) = 27*z**3 - z**2 + 1. Let j be f(-1). Let b be (j/6 - -4)*0. Solve 0 = -d - b*d for d.
0
Suppose -3*g + 2*f + 8 = 0, -5*g + 4*f = 9*f - 5. Solve -a + g = 4 for a.
-2
Suppose 230 = 4*h - 2*u, h - 2*u = 20 + 30. Let q be 2*(1 - (-1)/2). Suppose 3*t + q*t - h = 0. Solve n = -n + t for n.
5
Let r = 96 - 82. Suppose 17*s = r*s + 6. Solve -s*f - f - 9 = 0 for f.
-3
Let y = 60 + -50. Suppose 5*d = 2*p + d - y, 4*d = -p + 23. Solve 3 = 4*k + p for k.
-2
Suppose 0 = -5*x + 3*r + 92, 3*x - r = -0*r + 56. Suppose 0 = 6*v - x - 5. Solve -5*g + 1 = -v*g for g.
1
Suppose -3*d = 4*u + 41, u + d + 11 = 2. Let o be (2/(-2))/(u/42). Solve -3 - o = 3*f for f.
-2
Suppose 87*y - 92*y + 60 = 0. Solve 5*f - 2*f = y for f.
4
Suppose -4*s - t = 6 - 19, -1 = -3*s + t. Solve 10 = -3*r - s*r for r.
-2
Let a(q) = -3*q**3 - 27*q**2 - 24*q + 6. Let d be a(-8). Solve -d*b - 25 = -1 for b.
-4
Let c be ((-3)/(-2))/((-2)/(-4)). Suppose -3*j - 3 = -4*r - 7, 2 = -c*r + 2*j. Suppose -3*u = 3*u. Solve u = -r*v + 4 for v.
2
Suppose c - 7*v - 15 = -10*v, 2*v + 6 = 2*c. Suppose -c*q + q + 15 = 0. Solve 0 = -q*w + 4 + 5 for w.
3
Let m(a) = -a**3 + 6*a**2 + 9*a - 8. Suppose -5*i = -4*o + 3, o - 4*o = -5*i + 4. Let h be m(o). Let b be (4 - h)*(-15)/6. Solve -b*d + 5 = -15 for d.
4
Let r = 1 - 1. Suppose -3*b = -5*q - r*b + 8, 32 = 5*q + 3*b. Suppose 0 - 2 = h, -q*h = 4*c. Solve 2*l + 2 = -c for l.
-2
Let u(k) = -6*k**2 + 368*k - 118. Let i be u(61). Solve 9 + 7 = i*g for g.
4
Let x(v) = -v**3 - 5*v**2 + 2*v + 4. Let c be x(-6). Suppose 0 = 5*n - 2 - c. Solve n = 3*f - 3 for f.
3
Let k be 3 + (-6)/3 - -1. Let j = 14 + -7. Suppose j = 2*y - 5. Solve y*s = k*s for s.
0
Let a be ((-63)/12 - -5) + 162/8. Solve -2*t = 2*t - a for t.
5
Suppose x + g = -3*x + 61, -2*x = -2*g - 38. Solve h - x = -7*h for h.
2
Let m = 273 - 259. Solve n = -6*n - m for n.
-2
Suppose 62 = -6*z + 80. Solve l - 2 = z*l for l.
-1
Let s = 49 - 45. Solve -4 = s*q - 12 for q.
2
Let k be (-5 - -66) + 8/(-1). Solve -k + 43 = 2*w for w.
-5
Suppose -64 = 1294*d - 1302*d. Let x = 4 + 1. Solve -x*i + d = -2 for i.
2
Suppose -2*h + 8 = 2*r - 4*r, 0 = -5*h + 3*r + 16. Suppose -3*f = -f - h. Solve -s - 4 = f for s.
-5
Suppose 21*p - 17*p = 4*r + 228, -p + 66 = 2*r. Solve 80 = 4*u + p for u.
5
Let b = -71 - -39. Let p = -30 - b. Solve p = z + 7 for z.
-5
Let f be 0 + 6/2 + 0. Suppose 0 = 3*a - 4*k - 13, -k + 6 + 2 = f*a. Suppose 4*d = d + 9. Solve -a*r = d - 12 for r.
3
Let k = 19 + -26. Let g be (k/7)/(2/(-26)). Solve -g = -5*r + 2 for r.
3
Suppose 4*g = 37*g + 16*g. Solve -12*i + 14*i + 2 = g for i.
-1
Let z be (-520)/(-25) + (3 - 38/10). Solve 9*u = 4*u - z for u.
-4
Suppose 8*z + 8 = 12*z. Solve -z + 1 = -f for f.
1
Suppose -4*c + 63 + 25 = 5*r, -2*c - 5*r + 44 = 0. Solve -c*l - 4 = -18*l for l.
-1
Let s(n) = -n**3 + 2*n. Let y = -15 - -15. Let k be s(y). Solve 5*b + k - 25 = 0 for b.
5
Suppose 2*u = 2*f + 42, 0*u + 4*u - 2*f - 78 = 0. Solve 4*w - u = -2 for w.
4
Let a be 12/5*((-357)/(-14) + -8). Solve 0 = 10*z - 8 - a for z.
5
Let k(m) = 3*m - 8. Let b(s) = -5*s + 15. Let u(y) = 4*b(y) + 7*k(y). Let d be u(-4). Let v = 3 + 2. Solve v*w + 0*w - 25 = d for w.
5
Let s(l) = l**3 + 6*l**2 - 9*l + 6. Let c be s(-7). Let k = c + -18. Suppose 0 = -k*q - 3*q. Solve -5*v + v - 12 = q for v.
-3
Let l(d) = d**2 - 15*d - 125. Let r be l(-6). Let t = -4 - -7. Suppose t*y - 3 = 3. Solve 0 = b - y*b + r for b.
1
Let v(u) = -u**2 + 6*u + 8. Let a be v(7). Let h be 6*((-6)/4*-1 - a). Solve 0 = h*y - 2*y - 1 for y.
1
Let a = 569 - 565. Let t = 0 + 3. Solve -k + t*k = a for k.
2
Let z = -41 - -62. Suppose z = 2*x + 7. Solve 5*r + x + 18 = 0 for r.
-5
Let c(s) = -5*s - 23. Suppose 0 = -3*m + 4*p - 23, 13 + 2 = -m + 5*p. Let l be c(m). Solve i - 15 = -l*i for i.
5
Suppose 3*f - 200 = -2*f. Suppose 0 = -t - 2*i + 16, t + 4*i = -2*t + f. Solve -s + 3*s = -t for s.
-4
Let j(b) = b**2 + 22*b + 126. Let v be j(-10). Solve -15 = -v*g - 15 for g.
0
Let a be (-158)/(-18) - (-10)/45. Let b(o) = -2*o**2 + 17*o + 30. Let g be b(10). Solve v - a + 4 = g for v.
5
Let a be ((-70)/4)/(3/(-24)). Suppose -2*x + a = 8*x. Solve 6 = 2*v + x for v.
-4
Let k = 450 - 445. Suppose -5*n + 20 = -0*n. Let m(u) = -u**2 - 7*u - 1.