 + 22 for h.
5
Suppose -4*m + m + 239 = a, 3*a = -3. Suppose -2*y + m - 30 = 0. Suppose 2*s - 3*h - 3 = 1, 0 = -4*s - h + 8. Solve 0 = -u + s*b - 15, 4*b - y = u for u.
-5
Let c(q) = 3*q**2 - 31*q + 12. Let s be c(10). Solve -2*i + 3*y + s = -6, 0 = 3*i + 3*y + 18 for i.
-2
Let v be 1 + 3 - (1 + -1). Let c = 5 + 5. Solve -3*d - 2*d + 1 = -v*m, -m - c = 2*d for m.
-4
Let x(b) = -b**3 - 21*b**2 + b - 24. Let r be x(-21). Let c = r + 48. Solve 5*w - 3 = -3*p, -c = -3*p - w + 5*w for p.
1
Suppose 4*l - 6 = 2*w - 34, -4*w + 29 = l. Suppose j - 5*j = -w. Solve j*t = 2*y - y + 13, 2*y = 2*t - 18 for t.
4
Suppose -50*o + 78 = -11*o. Solve 3*f = -0*f, -4*s + o*f = 0 for s.
0
Let d be 2 - 3 - (-10)/5. Suppose 2*n = 9 + d. Suppose -n*x - 5*b = 5, x + 3*b - 3 = -12. Solve -2*y + x*y = z + 7, -3*y - 3*z + 3 = 0 for y.
4
Suppose 36*y + 15 = 267. Suppose 3*h - 8 = -3*w - w, 0 = -h. Solve -4*q = 5*x + 5, -2*x = q + w*x - y for q.
-5
Let t = 0 + -33. Let b = -30 - t. Solve 3*j = -b*x - 21, 5*j + 27 = x - 2*x for j.
-5
Let p(x) = -74*x - 436. Let j be p(-6). Solve -4*c + 4*q - j = 0, -c - q + 6 = -0*q for c.
2
Suppose 4*d - 92 = -32. Solve 2*r + n - 6 = -3*n, 0 = -r + 4*n - d for r.
-3
Let u = -1788 - -1790. Solve 5*o - 29 = -4*j, -j + 8 = u*o - 3 for j.
1
Let p = 1493 + -1490. Solve 0 = -v - 3*l - 9, p*l = -6*v + 2*v for v.
3
Let w = 9 - 18. Suppose -2*c + 7 = -v + 24, -4*c = 12. Let r = w + v. Solve 2*n = 3*i + i - 10, r*n = 6 for i.
4
Let f(d) = -d**3 + 7*d**2 - 8*d. Let b be f(3). Suppose 2*z + b = v, 0*v + v = -3*z + 12. Solve 14 = -s + 4*t, 4*s - 5*t = -0*s - v for s.
2
Suppose 23 - 28 = 5*x. Let a be x*((-20)/6 + 10/30). Solve 4*l + 7 = a*c - 3, -5*c + 5*l = -10 for c.
-2
Suppose 98*s = 105*s - 28. Solve -3*y - 29 = s*p - 4, 3*p = -12 for y.
-3
Let w be -2 + -1 - (-7 + 1). Suppose -w + 19 = 4*x. Solve 1 = -a - 3, -2*p - x*a = 6 for p.
5
Let o = -61 - -65. Suppose o*g + g = 20. Solve -l + g = 4*j + 21, 2*j + 9 = -l for j.
-4
Let u(h) = h - 1. Let o(x) = -2*x**2 + 41*x - 7. Let a(v) = o(v) - 2*u(v). Let i be a(19). Solve 3*c - y = i, -2*y - y - 24 = -3*c for c.
3
Suppose -5*l - 48 = w, 4*l - 299 = 5*w - 117. Let i = w - -41. Solve 0 = -3*x + 6*x - 2*t + 8, i*x + 5*t + 22 = 0 for x.
-4
Suppose -2*x - 19 = -3*n, x - 2 + 10 = n. Suppose 2*u = n*u + 31. Let d = 33 + u. Solve -2*t - 2*q + 8 = 0, 10 = 2*q + d for t.
0
Let h = -2 - -7. Suppose 1 - h = -4*q. Solve -3*b + q = d, 3*b + 5*d - 5 = -0 for b.
0
Let g be 6/(-2) + (6 - -3). Let j(h) = h**3 - 4*h**2 - 5*h + 14. Let v be j(g). Let u be (-6)/10 - v/(-35). Solve 0 = 5*r - 4*i - u, -3*i - 2 = 3*r - 8 for r.
1
Suppose 4*o - 29 = -5*z + 5, 5*z - 10 = 0. Let h be 1/2*(o + -6). Let m = h + 4. Solve -j + m*p = j + 14, -p + 7 = 3*j for j.
1
Let b be (-2)/(-3) - (-253)/3. Suppose 0*w = -w + 34. Let o be 12/5 - w/b. Solve 0 = 2*u + y + y - 6, -o*u + 6 = -2*y for u.
3
Let v = 190 - 188. Solve 7*g - c + 1 = v*g, -4*c + 4 = g for g.
0
Suppose 4*o - 3*o = -47. Let f = o - -47. Solve -5*d + 19 = -2*b - 2*b, -3*b - d = f for b.
-1
Suppose 0 = 2*j - 2 - 4. Let n be j*(-2 - 10/(-3)). Suppose -5*z + 3 = -n*z - u, 0 = 4*z + 3*u + 2. Solve 4 = 2*b - p, 4*p = -4*b - 3 - z for b.
1
Let r be 17*8/20 + 2/10. Solve 5*b - 14 = 4*j, j + 0*b - 3*b + r = 0 for j.
-1
Suppose -4*z - 16 = 0, -28*f = -30*f - z. Solve 0 = -7*c + f*c - 2*j - 15, 4*j = -20 for c.
-1
Let p be (-57)/(-12) + 2/8. Suppose 0 = m - p + 3. Solve 6 = -g + 2*o, 14 = -3*g + m*o - 0 for g.
-4
Let h(i) = -i**2 + 9*i - 11. Let u be h(7). Solve -4*a = u*s - 3, -3*s - 2*a = -s - 4 for s.
5
Let z be 3 + -1 - -11 - 3. Let i(x) = 3*x**2 - 2 + 2*x**2 + x**3 + 6*x + 0*x**3 + 3*x**2. Let g be i(-7). Solve -3*r - c - 18 = 2*r, -z = -g*c for r.
-4
Suppose -588 = -m - 5*m. Let l = -94 + m. Solve 0 = -2*c, 0 = -r + 2*c + c + l for r.
4
Suppose -4*j = -8*j + 12. Let k be 1*-1 + 2 + 3. Suppose 20 = -4*z + 36. Solve j = -2*w - z*o - 7, 5*w = -k*o - 25 for w.
-5
Let t(b) = 8*b**2 + 23*b + 3. Let x(w) = 7*w**2 + 24*w + 4. Let q(h) = 5*t(h) - 6*x(h). Let p be q(-14). Solve o - 29 = 5*s, -s - 3*o + 2 + p = 0 for s.
-5
Let h(v) = v**3 - 4*v**2 + 5*v - 16. Let m be h(4). Solve 2*u = 0, -g + m = -5*u - 0 for g.
4
Let v = 14 + -10. Suppose -3*d + 4 = 2*d + w, 5*w - 20 = 2*d. Let r = d + 5. Solve v = -2*n + 2*x, -x - 1 = -r*n - 7 for n.
-1
Suppose 5 + 35 = 8*a. Solve i + 27 = -4*i + 3*t, -a*t = -20 for i.
-3
Let x(i) = i + 19. Let m(w) = w + 19. Let y(b) = -5*m(b) + 6*x(b). Let u = -7 + -10. Let p be y(u). Solve q + 4 = p*h + 3*q, q - 6 = -3*h for h.
2
Let g(q) = -q**2 + 15*q - 53. Let f be g(7). Solve -12 = -f*s, 9 = -0*y + y + 3*s for y.
-3
Let n = 6 - 2. Let s be (n + -13)*2/(-3). Suppose 2*y - s = -2. Solve k = -y*d - 7 - 2, 17 = -k - 4*d for k.
-1
Let c(r) = -r**2 - 13*r - 3. Let s be c(-13). Let m be (-6 - -6) + (-12)/s. Solve -4*h - 4*q - 20 = 0, 8*h - 2 = 3*h + m*q for h.
-2
Let o be 1/(-2)*(-53 + -5 - -12). Solve 4*f + 3 = m + o, 5*m - 5*f + 40 = 0 for m.
-4
Let b = -2 - 5. Let a = -7 - b. Let w be (2/6)/(3/36). Solve a = -2*t + 4*u - 22, -w*t - u + 5*u = 24 for t.
-1
Let b be 0/4 - -1 - 1. Solve -2*o + 5*c = 5, -4*o + 3*c = -b*c + 3 for o.
0
Let h(z) = -z**3 + 8*z**2 - 4*z - 9. Let r be h(5). Suppose -41*l + r*l = 10. Solve -5*x = l*i + 4, 3*x + 10*i - 5*i = -10 for x.
0
Let n = -9 + 11. Let w(o) = -9*o + 14 + 3*o + o**2 - n*o + 0. Let t be w(7). Solve 3*c + 17 + 1 = -2*m, -c - t = m for c.
-4
Let f(b) = 5*b**2 + 2*b. Let y be 3 + 0/(-2) + (-13 - -11). Let q be f(y). Solve 4*n - 2*g = -14, 5*n + 3*g - q = 4*n for n.
-2
Suppose 5*s - 14 - 6 = 0. Let a be 6*s/8*1. Suppose 0*c = a*c - 9. Solve -4*r - 8 = p, 0 = c*p - r + 3 - 5 for p.
0
Suppose 13*k + 27 = 22*k. Solve 4*a = 3*m - 10, -k = 5*m - 2*a - 1 for m.
-2
Let k be ((-165)/110)/(2/(-4)). Solve 4*g + 14 + 0 = -3*v, 5*v - 25 = k*g for g.
-5
Suppose -4*v = -15 + 3. Solve v*m + h + 17 = 0, -4*h - 6 = -h for m.
-5
Let j(i) = -i**2 + 9*i - 11. Let o(d) = -d**3 + 6*d**2 + d + 1. Let w be o(6). Let s be j(w). Solve -5*h + 2*r = s*r - 21, 7 = 3*h + 2*r for h.
5
Suppose 2*x - 66 = -4*h, h = 4*x - 8*x + 27. Solve -3*n = 5*d - h, 2*n - 10 = -0*n + 4*d for n.
5
Let l be (5*-6)/((-3)/2). Let r = 2 + l. Let i = r - 19. Solve 5*w - 14 = -4*u, 5*u = -i*w + 1 + 10 for w.
2
Let m(o) = o**2 + 6*o + 5. Suppose 28*v = 29*v - 7. Let b(z) = -z**2 + 4*z + 15. Let p be b(v). Let a be m(p). Solve -n - 3*c = 4, -5*n + 7*n + 3*c = -a for n.
-1
Let o be (-2)/(-3) - (-190)/30. Suppose -o*j = -9*j + 4. Let m be 3 + 0/((-6)/j). Solve -5*b + k = -2*b + m, -3 = 4*b - k for b.
0
Let s = -1518 + 1525. Solve d + 3 = -2*w - s, d - 4*w = 8 for d.
-4
Let s(j) = -5*j. Let c(p) = -2*p + 5. Let q be c(3). Let k be s(q). Suppose -f + 17 = k. Solve -2*n + f = 4*o, -o + 4*n + 16 = o for o.
4
Let h = 1 + 3. Solve -2*p = -3*v + 14, v + h*p + 16 = 4*v for v.
4
Suppose -p = 2*n - 8, -p - p + 10 = 2*n. Let o be (9 - (-3 + 4))*p. Solve -d + 3*k = 2*d + 6, o = -5*d + 2*k for d.
-4
Let t be 210/18 + (-2)/3. Suppose -2*k = 2*k + o - 13, 3*k + 2*o = t. Let b be 1 - 2 - 1 - -22. Solve 4*a = 4*x - 24, -a = -k*x + 3*a + b for x.
4
Suppose 12 = -0*b + 2*b + 2*a, 0 = -a + 2. Solve -3*r + 4 = -3*v - 2, 16 = -b*v - 4*r for v.
-3
Let z be ((-3)/(-9))/(2/36). Let m be (-3)/((10/14)/(-5)). Let k = m + -13. Solve y + 4*y - k = -l, -2*y = -l - z for l.
-2
Suppose -3*d + w = -8, -3*d - 5*w + 12 = -5*d. Suppose -5*p + 1 = -d*p. Let a be (-10)/(-60) - (-22)/12. Solve g - 5*t + p = 6, -2*g = -a*t - 10 for g.
5
Let s be (150/(-175))/(3/(-14)). Let v = 5 + 5. Suppose 0 - v = -2*y. Solve 3*a = s*d + 27, y*a = -5*d + 8 + 2 for d.
-3
Suppose -5*y = 2*q + 2, 2*y = -7*q + 4*q - 3. Solve 5*v = 5*d + 30, 3*d = 4*v - y - 23 for v.
5
Let c be -8*1*(-21)/42. Suppose -c*v = -0*v. Solve -3*f = -3*x - 6, v = -4*f - 4*x + x + 1 for f.
1
Suppose -2*t = p, -2*t + 4*t = 3*p + 24. Let w = 9 + p. Suppose -h = -2*h + w. Solve -5*j + 4*o - 17 = -0, -26 = 4*j + h*o for j.
-5
Let p = -184 + 187. Solve p*v + 3 = -3*m - 0*m, -3*v = -9 for m.
-4
Let t(x) = -3*x - 39. Let g be t(-14). Solve 6 = -3*y, -13 - 1 = 2*d + g*y for d.
-4
Suppose -9 = 710*j - 711*j. Solve -2*f - f + 3*t = -j, -5*t + 20 = 2*f for f.
5
Suppose 13*r - 55*r + 168 = 0. Solve -4*m - 2 = r*y + 2, 0 = -5*y + m - 29 for y.
-5
Suppose 67*h - 51*h - 80 = 0. Solve 0 =