7 for h.
-2
Let v(m) = m**2 - 12*m - 24. Let h be v(14). Suppose -h*y + 4 = -12. Suppose 1 = 2*c - 5. Solve -c*w = -y*w - 1 for w.
-1
Suppose 2*b - 49 - 1 = 0. Solve -8*m = -3*m + b for m.
-5
Let d(a) = 6 + 0*a + 4*a - 3*a. Let m be d(-2). Solve 0 = 3*v - m + 1 for v.
1
Let z be 6/1*(-2)/(-12). Suppose 0 = c + z. Let d be (c/(-1))/(3/15). Solve d*w - 19 - 1 = 0 for w.
4
Let j(s) = s**2 + 7*s + 6. Let z be j(-4). Suppose -3*i + 0 = -4*k - 14, 4*i + 4*k - 56 = 0. Let v = z + i. Solve -7 + v = 3*p for p.
-1
Let a(u) = -u**2 - 7*u + 63. Let y be a(-12). Solve -y - 2 = r for r.
-5
Let u(q) = -14*q - 89. Let o be u(-8). Solve 0 = -5*d + 2 + o for d.
5
Let q be 8/(-12) - (28/(-6) - 0). Solve 0 = -q*n - 0*n for n.
0
Let z = 17 + -16. Let q be -1 + 4/1 + z. Suppose -q*w + 6 + 10 = 0. Solve -2*t = 6 + w for t.
-5
Let a = -1394 + 1403. Solve 36*u - 33*u + a = 0 for u.
-3
Suppose i + 8 = s - 2, -4*s + 44 = -3*i. Solve -3*z = -17*z + s for z.
1
Suppose 19 = 17*z - 15*z - 5*r, 15 = 3*z - 3*r. Solve 15*y = 13*y - z for y.
-1
Suppose -69*g + 15 = -66*g. Solve -g*w = -2 + 7 for w.
-1
Let f = 45 - 40. Suppose -4 - 11 = -f*w. Solve -7 = -5*k + w for k.
2
Suppose 0 = -4*w - 65 + 485. Suppose -4*k = -2*r + 3*r - w, -3*r = -3*k + 90. Solve 5*q + k = 2 for q.
-5
Let z be ((-12)/(-4) - 7) + -10. Let l = z - -22. Suppose -20 = -3*t - l. Solve b - 3*b + t = 0 for b.
2
Let l = 85 + -79. Solve -7 + 19 = -l*d for d.
-2
Let f be (26 - -2)*(-21)/(-84). Solve -f*c = 7 - 0 for c.
-1
Let t be (6/(-4))/(8/(-32)). Suppose -6 = -6*j + t. Solve j = 2*g - 6 for g.
4
Suppose -b = 2*h - 42, -3*h + 6*b = 5*b - 63. Solve h = -3*n + 9 for n.
-4
Suppose 6 = 4*s - 14. Suppose -s*j - 2*o + 0*o + 23 = 0, 20 = 5*o. Suppose j*t - 5*t = 4*w + 6, w = -4*t + 9. Solve -t = -3*q - 9 for q.
-2
Suppose -4*t - 7*j + 165 = -2*j, -3*t = 4*j - 123. Suppose z - 9*f = -4*f + 29, 5*z = 5*f + t. Solve -z*w - 4 - 16 = 0 for w.
-5
Let r be 4/(-18) + ((-329)/(-63) - -4). Solve r*w - 12 + 57 = 0 for w.
-5
Suppose -z - w + 88 = 0, 0 = -4*z + z + w + 252. Solve -z + 70 = -5*q for q.
3
Let r(o) = -o + 8. Let z be r(3). Suppose -3*h + 13 = m, 4*h = -4*m + 5*m + 8. Solve z*j + h = -2 for j.
-1
Suppose 8*i - 133 + 109 = 0. Solve 5*c = i*c for c.
0
Suppose -5*u - 4 = -u, 0 = -2*x + 4*u + 254. Solve 5*s = -x + 105 for s.
-4
Suppose -6*m = m - 0*m. Suppose 4*g + 4*a - 44 = m, -5*g - 5 + 58 = 4*a. Solve 3*u + 0*u - g = 0 for u.
3
Let y(j) = -j**3 - 3*j**2 + 3*j + 1. Let q be y(-4). Suppose c - 12 = -5*g, q*c - 6 = 2*c. Solve h = -h - g for h.
-1
Let l(u) = u**2 + 7*u + 11. Let d be l(-4). Let q be 23 + -7 - (d - 6/2). Solve 4*i + 0*i = q for i.
5
Let u(t) = 4*t + 1. Let a(q) = 7*q + 2. Let f(h) = -3*a(h) + 5*u(h). Let i be f(-3). Suppose 0 = -2*z + 7 - 5. Solve -i*c + z + 7 = 0 for c.
4
Let o be (-1 - 1)/(-1) - (-14)/14. Let c = -4 + 8. Solve o = c*p - 5 for p.
2
Let k(o) = 76*o**2 - 27*o - 26. Let w(p) = 15*p**2 - 5*p - 5. Let n(t) = -2*k(t) + 11*w(t). Let r be n(-1). Let u be 0 + 1 + (1 - -2). Solve -u*q = r + 9 for q.
-5
Let c(i) = -i**3 + 6*i**2 - 2*i - 6. Let m be c(5). Solve 36 + m = 9*n for n.
5
Suppose 21 = 3*v + 5*s - 0*s, 3 = v + 3*s. Suppose -122 = 2*m - d - 130, -2*d = m + 6. Solve -m*y - v = -5*y for y.
4
Suppose 13*n = 5*z + 14*n - 66, -2*z - n + 27 = 0. Solve 39 - z = 13*y for y.
2
Let t(l) = l**3 - 12*l**2 - 27*l - 8. Let n be t(14). Solve -32 = -n*v - 2*v for v.
4
Suppose -106*r = -103*r - 4*b - 70, -5*b = -r + 5. Solve 21*c = 15*c + r for c.
5
Let u = 0 + 8. Let h(j) = -j**2 + 10*j + 1. Let b be h(u). Solve -b + 1 = -4*p for p.
4
Suppose 0 = 2*s + 4*i - 24 - 4, 4*s = 4*i + 32. Let m(f) be the third derivative of -f**5/60 - 7*f**4/24 - 3*f**2. Let v be m(-6). Solve 4*y = -s - v for y.
-4
Let a be 55*(-1 - -2) - (-1 + 3). Let b = 57 - a. Solve 13 = b*j + 1 for j.
3
Let v(f) = 2*f + 24. Let g be v(-4). Solve -g*d = -12*d for d.
0
Suppose -a + 199 = 4*r, 0*r = -2*r - 2*a + 98. Let q = r + -13. Suppose -w - 2*w - 4*u + q = 0, -3*w - 3*u = -33. Solve -13 = -4*h + w for h.
5
Let b(o) = 13*o**2 + 2*o - 1. Let p be b(1). Let k = 21 - p. Suppose 2*a - v = 0, 4*a = -v + 10 + 2. Solve u = a - k for u.
-5
Suppose 0 = 5*j - 5 - 15. Let s(u) = -2*u**2 + 5*u - 5. Let w(x) = x**2 + 1. Let l(i) = s(i) + w(i). Let g be l(j). Solve g*o = o - 5 for o.
5
Let v be (-8 - -6)/(5/(45/(-2))). Solve 0 = -5*f - v - 1 for f.
-2
Suppose p + 4*x - 416 = -4*p, 4*p + 3*x = 332. Solve 28*t - 24 = -p for t.
-2
Let l = 298 + -291. Solve 0 = -3*a + l*a - 4 for a.
1
Let d = -21 + 58. Suppose 4*z = 2*y + 90, -100 - 44 = 4*y + z. Let j = y + d. Solve -4*m + 16 = -j for m.
4
Let q(k) = -k**3 - 10*k**2 - 20*k - 19. Let u be q(-8). Solve 7*a + 27 = u for a.
-2
Suppose 3*b - 29 = 4*h + h, -b + 5*h + 23 = 0. Suppose -b*a = -0*a. Let q be 3 - (-2 + a + 4). Solve 3 - q = p for p.
2
Let m be 13/52 - 83/(-4). Suppose -6*w + 36 = -3*w. Let o = m - w. Solve o = -4*x + x for x.
-3
Let d be (-26)/(-130)*1*15. Solve -d = 32*g - 31*g for g.
-3
Let q be (-52)/(-598) - (-8)/(-92). Suppose -z = 2*m + 6, 3*m = m - 6. Solve z*p - 3*p = q for p.
0
Let x = -37 + 11. Let n = 29 + x. Solve n = -l + 1 for l.
-2
Let u(n) = n + 41. Let r be u(-29). Solve r = -33*h + 37*h for h.
3
Suppose -44 = -b - 9. Let c = -31 + b. Solve 0*a = -4*a - c for a.
-1
Let o be -90*(-11)/((-33)/4). Let b be (o/84)/((-1)/7) - -1. Solve -5*j - 1 = -b for j.
2
Suppose 4*h - 2*l = 4, -3*l + 24 = 4*h - 0. Solve -5*m = h - 23 for m.
4
Suppose 0 = -8*w + 7 + 73. Solve -8 = w*k - 12*k for k.
4
Let u be (-18)/(-12) - (-2)/4. Suppose 2*k + u*k = 0. Suppose -5*d - y + 11 = -k, -3*d + 4*y + 2 = 0. Solve -d*t + 2 = -4*t for t.
-1
Let f(v) = v**3 + 4*v**2 + v - 2. Let c be f(-2). Suppose -c + 0 = -4*l. Solve j - 2*j = -l for j.
1
Let k be -5 - -4 - 0 - -6. Solve -k*x + 4 = -3*x for x.
2
Suppose 0 = -3*t - 0 + 3. Let g(z) = -3*z - 1. Let i be g(t). Let j be 1*(12 + i - 3). Solve 0 = -k + j*k - 12 for k.
3
Let n = 40 - 24. Let i = n - 23. Let u = -3 - i. Solve u*o = o for o.
0
Let f = 25 + -9. Let z = 21 - f. Suppose 4*a = -3*s + 20, -a + 6*s - 2*s + z = 0. Solve -8 = -a*w + 7 for w.
3
Suppose -4*k = -2*k + 4. Let r be (356/(-52) - -7) + (-48)/(-26). Let c = k + r. Solve c*q = -q - 3 for q.
-3
Let t be 52/(-8)*(-1 + -1). Suppose t*m = 11*m + 10. Solve 0 = b - 2*b - m for b.
-5
Let f be (-2)/(-3) - 62/(-6). Suppose 4*u - 3*i - 44 = -6*i, i = u - 18. Let a = u - f. Solve 1 = -a*z + 2*z for z.
-1
Let l(f) = -14*f - 1. Suppose h - 4*r - 5 = 0, 0*h + 4*h + 1 = -5*r. Let w be l(h). Let i be (-4)/(-10) - 24/w. Solve -2 = 2*o + i for o.
-2
Suppose -s - 145 = 4*b, 4*s - 152 - 45 = 5*b. Let z = b - -8. Let i = -28 - z. Solve -l + 6 - i = 0 for l.
5
Suppose -88 - 182 = -3*p. Suppose 5*y - 26 - 24 = 0. Suppose -p - y = -5*q. Solve -q = 5*a - 0*a for a.
-4
Suppose -5*k = 2*y + 51, -2*y - 3*k - 67 = 2*y. Let o(j) = j**2 + 14*j + 17. Let v be o(y). Solve v*s - 1 + 13 = 0 for s.
-3
Let o(b) = -12*b**2 - 121*b - 3. Let w be o(-10). Solve p = 8*p - w for p.
1
Let w be (594/(-231))/(6/(-56)). Solve -11*b = w + 20 for b.
-4
Let n(c) = -2*c + 25 - 47 + 5*c. Let b be n(14). Solve 8*x = 3*x - b for x.
-4
Let j(n) = -n**2 + 14*n - 18. Let s be j(12). Solve -5*b - 2 = -s*b for b.
2
Let p be (0*(-8)/(-56))/(-1). Solve p = -4*w - 6 - 6 for w.
-3
Let n(m) = 2*m - 4. Let l be n(4). Suppose x - l = -1. Solve -11 + 5 = x*v for v.
-2
Let w be (-46)/(-5)*(-540)/(-12). Solve 0 = -v + 411 - w for v.
-3
Suppose 5*c = 29 + 1. Let j be (5 + -9)*1 + 108. Let v = -104 + j. Solve -4*b - 2 - c = v for b.
-2
Suppose -8 - 6 = -7*j. Suppose 2*q + 0*q = 5*n - 133, -42 = -2*n - j*q. Solve -n = -2*g - 3*g for g.
5
Let p(s) = s**3 + 9*s**2 - 10*s + 2. Let h be p(-10). Solve -6*j = h*j + 32 for j.
-4
Let b(q) = 2*q**2 - 3*q - 6. Let i be b(3). Solve -5*m = 12 + i for m.
-3
Let y = -15 + 17. Suppose y*s + 7 = 13. Suppose 4 = s*a + 1. Solve a = p - 4 for p.
5
Let j be (-4)/12 - 24/9. Let g be (-5)/15 + (-10)/j. Let s be 1/((g/(-6))/(-1)). Solve v = -s*v - 9 for v.
-3
Let h = -13 + 17. Suppose 5*c = h*x - 12, 0 = -x - x + 5*c + 6. Solve x = 2*u + 7 for u.
-2
Suppose -21*c + 31*c - 60 = 0. Solve 5*j - 2*j = c for j.
2
Suppose 2*d + 2*n = 64, -2*d + 3*n = d - 78. Let x = d - 24. Solve 17 = -x*y + 2 for y.
-3
Let l be 18/(-99) + ((-435)/11)/(-3). Solve l*n