9 = 0 for h.
4
Let l(g) = g**2 + 4*g + 4. Let z be l(-4). Suppose -2*q + 18 = 2*n, z*q + 6 = 4*n - 70. Suppose -2 = 4*d - n. Solve 3*x + d = 15 for x.
4
Let b be -6*(-14)/21*1. Solve -m - b*m = -m for m.
0
Let x be (1/3)/(4/84). Suppose -x*b + 18 = -10. Solve 7*i - 6 = b*i for i.
2
Let j(q) = q**2 + 8*q + 5. Let s = -19 + 11. Let i be j(s). Suppose 4*a + 2*g = -3*g, -a + 25 = -i*g. Solve -10 = a*o + 15 for o.
-5
Suppose -5*d + 61 = -5*z - 69, -4*d + 109 = -5*z. Solve 0*k = 7*k - d for k.
3
Suppose -19 = -3*c + 5*n + 5, -3*c - n = -6. Let b(i) = -i**2 - 6*i. Let f be b(-5). Let a = 0 + f. Solve -a*d + c*d = 6 for d.
-3
Suppose -6*n + 3*n = -12. Suppose -n*b - 1 = 3*u + 2, 2*b - 4*u = 4. Solve 3*p + 0*p = b for p.
0
Let v(r) = -r**3 + 3*r**2 + 11. Let h be v(6). Let c = 63 + h. Let o = -31 - c. Solve 0 = -3*q + o - 0 for q.
1
Let h = -10 - -8. Let v(w) = w**2 + 1. Let b be v(h). Solve -1 - 9 = b*m for m.
-2
Let v = -25 - -50. Suppose 2*x = 3*j - v, 12 + 18 = 2*j - 4*x. Suppose j*k - 3*m - 31 = 0, 0 = 4*m - 0 + 8. Solve 6 - 21 = k*q for q.
-3
Let l be (12/(-8))/((-12)/8). Suppose -b = -l - 7. Suppose -4*r + b + 8 = 0. Solve -r*t = -3*t + 5 for t.
-5
Let z(a) = 3*a**2 - 5*a + 3. Let n be (7 + -13)*2/(-4). Let y be z(n). Suppose 0*l = 3*l - 15. Solve -2*b = -l*b - y for b.
-5
Suppose -10 = -2*b - 5*d, -5*d = b - 3 - 2. Suppose 23 = -s - 2*i, b*i - i - 140 = 4*s. Let w = -31 - s. Solve w = -4*z - 22 + 6 for z.
-4
Suppose -4*q - 7 = 9. Let l be 13 + q + 3 + 4. Solve -4*g + l = 4 for g.
3
Let c be 2*(1 - -1) + 1. Suppose -c*f + 2*f + 15 = 0. Suppose -23 = -2*b - f*d, -d = 2*b - 0*d - 11. Solve w = b*w for w.
0
Let k = 4 + -2. Solve 2 = -0*l + k*l for l.
1
Suppose -28 = -5*d - 5*g + 27, 4*g = 3*d - 26. Solve d = -73*k + 78*k for k.
2
Suppose -10 = -5*r, -90 = -5*s - 0*s - 5*r. Suppose 4*f - 4*q - s = 0, -4*q + 3 = -5*f + 21. Solve 0*p + f*p = 6 for p.
3
Let t(y) = -7*y + 43. Let m(u) = 20*u - 129. Let s(x) = -2*m(x) - 7*t(x). Let h be s(5). Solve 0 = 3*q + 1 + h for q.
-1
Suppose -2*i = -c - 42, 0 = 16*i - 13*i + 3*c - 45. Solve 17*u = i*u - 2 for u.
1
Let y be (-30)/(-6) - 3/1. Solve 2*i = i - y for i.
-2
Suppose 0 = -l - l. Let i be (-2)/(-5) + 24/15. Suppose 2*x = 21*x - 95. Solve f - i*f + x = l for f.
5
Suppose -h = -4*k - 21 + 6, -2*h = -3*k - 15. Solve -4*i + h*i - 1 = 0 for i.
-1
Let d be (-1)/2 + (-22)/(-4). Suppose -4*w - w + 4 = -4*a, 0 = -5*a - d*w + 40. Solve -g = g + a for g.
-2
Let w = 12 + -10. Solve -d + 0*d - w = 0 for d.
-2
Suppose 97*y = -3*q + 93*y - 28, 3*q + y = -7. Let w be 2/(-3 - -1) + 3. Solve -o - w = -q for o.
-2
Suppose -3*q + 15 = 0, 48 = -4*h + 2*q - 18. Let w = h + 14. Solve 4*d + 16 = -w*d for d.
-4
Suppose -2*h = 32*h. Solve h = -3*z + 36 - 48 for z.
-4
Suppose -10*p = -8*p - 4. Let k be -6*p*3/9. Let d be (2/3)/(k/(-30)). Solve -4*g - g + d = 0 for g.
1
Let g be (0 - -1)/((-15)/495). Let b = g + 36. Solve -z = -b*z + 10 for z.
5
Let y(x) = x**2 - 3*x - 1. Let q be y(3). Suppose 4*s - 2 = 5*s, 0 = -3*z + 3*s. Let j be (-2 + 1 + q)*z. Solve -j*n - 6 = 2 for n.
-2
Let n be (10 - 11) + (6 - 0). Solve 15*s + 10 = -n for s.
-1
Let g(x) = 44*x + 232. Let p be g(-5). Solve 7*c + p = -2 for c.
-2
Suppose -5*z - 19 = -4. Let a be z/2*(6 + -8). Let b(s) = -s**2 - 5*s. Let h be b(-5). Solve 2*y + y - a = h for y.
1
Let y = -742 - -746. Solve -y*a - 2 = -22 for a.
5
Let t = 124 - 71. Let a = -50 + t. Solve 3*o = -0 - a for o.
-1
Let z(v) = -v**3 - 11*v**2 - 2*v - 15. Let r be z(-11). Suppose r - 4 = b. Suppose -n + 2*m - b = -4*n, 24 = 4*n - 4*m. Solve -8 - 4 = -n*w for w.
4
Let t be (7/(-2) - -2)/(3/(-20)). Solve t - 4 = -2*s for s.
-3
Let h(d) = 11*d**2 + d**2 - 5*d**2 + 5*d - 6*d**2. Let j be h(-5). Solve j = 4*p + 1 - 9 for p.
2
Suppose -3*t = -11 - 16. Let a be 48/t*(-15)/(-20). Solve 6 = -2*q + a*q for q.
3
Suppose -3*f + 0 + 6 = 0. Suppose -15 = -5*n + 7*z - f*z, -5*z + 1 = -n. Let a(p) = p**3 + 26*p**2 + 26*p + 30. Let h be a(-25). Solve n + 16 = -h*r for r.
-4
Let z be (4/6)/((-116)/(-36) - 3). Let f be 3/2 + z/6. Solve 12 - 2 = -f*n for n.
-5
Let u(r) = 13 - 11 + 5*r - 4*r - 2*r. Let z be u(0). Solve 2 + z = -2*t for t.
-2
Let b = 2640 - 2635. Solve 0 = 6*t + 19 + b for t.
-4
Suppose 352*o - 354*o + 24 = 0. Solve p - o = 4*p for p.
-4
Let y(p) = -p**2 - 7*p + 13. Let n be y(-8). Suppose r = -2*i + 19, 0 = i - r - 3 - n. Solve 8*g + i = 5*g for g.
-3
Suppose -2*n = -6*a + 3*a - 39, 4*a = n - 32. Solve -16*c - n = -12*c for c.
-3
Suppose 3*r + o - 6 = 0, 2*o - 6*o - 18 = -2*r. Let f = 1357 - 1355. Solve f*a + 20 = -r*a for a.
-4
Let a = -2673 + 2673. Solve a = -h - 12*h + 52 for h.
4
Suppose -6 - 4 = 4*x - i, 3*x - 2*i + 10 = 0. Let l be -3 + 4 + 1 + x. Solve 3*o = -l + 6 for o.
2
Let z(p) = -p**2 - p + 8. Let b be z(6). Let l = b - -35. Solve -l + 9 = 4*r for r.
2
Suppose 13*q + 20*q = 264. Solve 0 = -14*v + q*v for v.
0
Let y(a) = 4*a**2 + 42*a - 22. Let d be y(-11). Solve d = 12*x - 9*x - 6 for x.
2
Suppose 9*j + 60 = 4*j. Let z = 20 + j. Suppose -5*f + 3*f + z = 0. Solve f*x = -12 - 4 for x.
-4
Let p be 10 - (6/(-2) - (2 + -2)). Let h = p + -7. Solve 4*c + h = c for c.
-2
Suppose 4*v - 3*m = -4*m + 10, -2*v + 2*m = -10. Solve 6*s = v - 27 for s.
-4
Let y(t) = -3*t**2 - 38*t - 26. Let p be y(-9). Solve -7*s + p = 38 for s.
5
Suppose -2*a + 3*p = -0*p - 45, -p + 49 = 2*a. Suppose 4*i = 4*j + j - a, 0 = -2*j - 8. Let f = -4 - i. Solve 3 + f = 2*v for v.
5
Let g(v) = -2*v**3 - 7*v**2 - 3*v. Let j be g(-3). Suppose 3*b - b = j. Suppose -2*c + c = b. Solve c*q - q + 3 = 0 for q.
3
Suppose 2*f + 9 = -1, 3*f = 5*d + 30. Let l(y) = y**3 + 9*y**2 + 2. Let h be l(d). Let k = -164 + 167. Solve 0 = -i + k*i + h for i.
-1
Let v = -239 - -239. Solve v = 18*s - 19*s - 2 for s.
-2
Let u(i) = -3*i**3 + 21*i**2 + i - 7. Let p be u(7). Solve -3*f - 30 + 15 = p for f.
-5
Let n(f) = 2*f**3 - 18*f**2 + 17*f - 2. Let x be n(8). Let o be (0 + 0)/x + 0. Solve o*c = c + 2 for c.
-2
Suppose -4*m + 69 = -107. Solve -m*w = -42*w + 2 for w.
-1
Let g(r) = -5 - 1 - 4 - r. Let v be g(-8). Let b(a) = a**2 - 1. Let y be b(v). Solve 4*w - y*w = -3 for w.
-3
Let h = -171 + 171. Solve 4*m - 8*m = h for m.
0
Let u(b) = b**2 + 5*b - 10. Let x be u(-8). Let z be (-2)/x - (-2)/14. Suppose -7*f + 8*f - 4 = 0. Solve -f*h = -z*h for h.
0
Suppose 21*g - 22*g = -2. Let h be (-18)/4*g/(-3). Solve -4 = q + h*q for q.
-1
Suppose -6*u = -10*u. Suppose -2*j - 19 = -2*a + j, 0 = -5*a - 2*j. Solve u = 2*f - 3*f + a for f.
2
Suppose 115*h = -111*h + 63*h. Suppose 4*m + 3 - 11 = 0. Solve h = m*b - 0 - 4 for b.
2
Suppose 0 = -u + 3*u - 6. Let x(k) = k + 4. Let c(g) = -3. Let i(o) = 4*c(o) + 3*x(o). Let z be i(5). Solve 8*b = u*b + z for b.
3
Let q be 13/(7/7)*(0 + 2). Solve -29 + q = -3*h for h.
1
Let q = 14 - 8. Suppose 4 = -4*v + q*v. Solve 5 = -v*m + m for m.
-5
Suppose 0 = -m - 3, 0*q + 4*m + 9 = q. Let k be 136/(-12) + (-1)/q. Let c = 19 + k. Solve -j + c = -3*j for j.
-4
Suppose a - 13 = -4*f + 3, -2*a + 12 = 3*f. Let g be 0*1/(-2) - -5. Suppose -2*v - 9 = -g*v. Solve f*y + 15 = v for y.
-3
Let o(j) = -j**3 + 3*j**2 + 5*j + 5. Let l be o(4). Suppose l = 8*b - 15. Solve b*p - 6*p - 3 = 0 for p.
-1
Let p = 105 - 101. Solve v = v + p*v for v.
0
Let x(m) = -6*m**2 + 53*m + 13. Let v be x(9). Solve -15 - 5 = v*z for z.
-5
Let d(l) = l + 1. Let o be d(5). Let w be (-4)/14 - o/(-21). Let s be (2/(-7))/(2 - (-16)/(-7)). Solve -a - s + 4 = w for a.
3
Let x be ((-6)/4)/((-3)/2) + 10. Suppose 3*z - x = 25. Solve z*n - 11*n = -4 for n.
-4
Suppose -4*d + 2*n + 600 = 0, -2*n - 572 = -4*d - 7*n. Let w be 4/(-80)*-4 + d/10. Solve -2*f - f = w for f.
-5
Let b(s) = -14*s + 206. Let v be b(14). Solve v = -4*t + 6*t for t.
5
Let d(u) = u**2 + 8*u. Let y be d(-8). Suppose -38 = -0*f - 3*f - 5*r, -4*f + 2*r + 68 = y. Let q = -13 + f. Solve 0 = q*z - 7 - 5 for z.
4
Let y = -5 - -5. Let h = -38 + 42. Solve y = h*g + 27 - 7 for g.
-5
Let r(n) = -2*n + 4. Let t be r(2). Suppose l - 3*l + 4 = t. Solve -i - 3 = l*i for i.
-1
Let x(g) = -g**2 + 8*g - 5. Let u be x(7). Suppose z = -5*p + 9, -z + 1 = u*p - 2. Let j be (-1)/((20/(-25))/4). Solve -j*v - p = 3 for v.
-1
Let q = -10 - -14. Suppose 5 + 15 = q*l. Solve y = l*y for y.
0
Let p(m) = -m + 0*m**2 + 5*m**2 - 12*m**3 + 13*m**3 - m**2 - 10. 