h + d*z - 12 = 0, 4*z - 5 = 3*h - 0*z for h.
-3
Suppose y + 0*o = 2*o - 2, 4*o - 2 = 3*y. Suppose 2*h + 2*z - 3 = 5, -y*z - 8 = -2*h. Let u = 2 + h. Solve -4*q = -4*a + 11 - 3, 3*q = -4*a - u for q.
-2
Suppose -5 = -j - 0. Suppose 0 = 5*x + 5, -9 = -3*v + j*x + 5. Suppose 3*m + 4 - 13 = -3*g, -m + v = -g. Solve 5*n + 2*s + 5 = -6, -3*n + 2*s = -m for n.
-1
Let z(v) = -17*v + 2. Let u be z(0). Solve -b + u*b + 1 = 0, -4*b = -3*c + 4 for c.
0
Let t(y) = 4*y - 22. Let m be t(5). Let i be (-13 - -3)*m*2/10. Solve -4*r + r - 4 = -i*u, -22 = 3*r + 5*u for r.
-4
Let w(o) = -o**3 - 16*o**2 - 37*o + 32. Let h be w(-13). Solve -h*g + 4*g - 5*k = -19, 4*g + 5*k = 23 for g.
2
Let j(b) = b**2 + 4. Let i be j(0). Suppose i = 3*r - 2*r. Solve 0*u = 5*p - 2*u - 6, r*p + 15 = -5*u for p.
0
Suppose 4*v - 2*a = 16 + 10, -v = -a - 9. Let h = -5 + 8. Solve 4*l - h*z = v, -14 = -2*z - 6 for l.
4
Let x be 0*2/(-3)*(-66)/88. Solve x = 5*r, -3*p + 2*r + 4 = -8 for p.
4
Let y(p) = 3*p**2 - 10*p - 8. Let b be y(4). Solve 0 = 5*h - 4*c - 7, -2*h + b*h - 3*c - 11 = 0 for h.
-1
Suppose 0 = -2*a - 2*k + 9 + 1, -5*a + 2*k = 10. Suppose p = -2*b + 5, a*p + 3*p + 20 = b. Solve 2*s + 5*v - b + 17 = 0, -9 = 5*s + 2*v for s.
-1
Let p(i) = -8*i + 229. Let d be p(28). Solve -n - 5*k - 5 = 0, -6*n + 2*n - d*k - 20 = 0 for n.
-5
Let p be (-1630)/60 - (-2)/12. Let v = p - -32. Solve v*h = 2*k, 0 = -k - k + 3*h for k.
0
Suppose -n = 5*a - 31, 0*n = -4*n + 4. Suppose -11*u + 20 = -a*u. Solve -3*l + 5 = -5*d - 8*l, 9 = -u*d - 5*l for d.
4
Let v(u) = u - 6. Let k be v(6). Let z(t) = 3*t**2 + 46*t + 18. Let r be z(-15). Solve -y = -k*y + g + 3, -r*y + 23 = -5*g for y.
1
Let r = 9 + -6. Suppose 0*a = -2*a - 14. Let z(v) = 2*v**2 + 11*v + 9. Let t be z(a). Solve -3*b + r*c = -t, b = -2*c - c - 10 for b.
5
Let h = 7 + -3. Suppose -h*j - j + 10 = 0. Solve -7 = 4*c - p, -5*p = j*c - p - 10 for c.
-1
Let g = 255 - 246. Solve -4*p = 4*t + 20, 0 + g = 3*p - 5*t for p.
-2
Suppose 3*g = -0*g. Let l = -3 - -14. Let v(z) = z**2 - 9*z - 18. Let i be v(l). Solve g = -i*a - 8, 2*a - 2 = 3*f - f for f.
-3
Suppose -16 = 3*i + 2*u - u, 0 = 2*i - u + 9. Let g be i + 24 + (-1 - 1). Solve 0 = 2*q + 5*d - 16, 0 = -3*q - 4*d + g for q.
3
Let f = 25 + 3. Suppose -8*y = -6*y - f. Solve 0*h = -4*h + 3*t + 16, -4*t - y = 2*h for h.
1
Suppose -41*n = -2*n - 156. Solve 5*f + 2*w - n = f, 2*f + 6 = w for f.
-1
Let l be (4/6)/((-68)/(-510)). Solve -2*k = 2*c - 16, 3*k + k = 5*c + l for k.
5
Suppose 4*j - 60 - 72 = 0. Let i(x) = -29*x + j*x - 4 + 0*x**2 + 2*x**2. Let b be i(-3). Solve 4*g + 3*s - b*s + 9 = 0, g + 5 = -3*s for g.
-2
Let k = -2 + 9. Let v = 21 - k. Solve 3*s - 19 = -3*c - s, s + v = 3*c for c.
5
Suppose -13*l - 147 = -20*l. Suppose -2*k + 24 = 2*m, 0*m = m + 4*k - l. Solve -2*d + 4*n = 26, n = d + m - 0 for d.
-5
Let l = -29 - -42. Suppose z = -0 + 4. Suppose 0*k - 32 = -2*b + 3*k, 5*b - 94 = z*k. Solve b = 4*y + 2*s, -y - s = s - l for y.
3
Let i = -40 - -36. Let c be (-1)/(3 - (-13)/i). Solve -c*g - 3*r = -9*g + 1, -r = 5*g + 7 for g.
-1
Let b(t) = 3*t**2 + 2*t - 6. Let r be b(2). Let c(o) = o**2 + 4*o - 5. Let f be c(-4). Let j be f/(-2)*8/r. Solve 3*y = -3*l + 6, j*l - 24 = -5*y - 5 for l.
-3
Suppose -3 = -2*o + 3, 3*s - 4*o + 33 = 0. Let n be 594/21 - (-2)/s. Solve n = 5*v - 3*j, -2*v - 3*j + 22 = 3*v for v.
5
Suppose 5*j = 16*j. Let u be (2 - (1 + j))*5. Solve 0 = -2*o - t + 10, -2*t = -4*o + u*o - 8 for o.
4
Let p(m) = -3*m. Let u be p(-2). Suppose 0 = 20*g - 21*g + 4. Let z = u - g. Solve -z*a - 2 = -x - 5, 9 = x + 2*a for x.
3
Suppose 0 = 9*t - 3*t - 54. Suppose -t - 1 = -3*l - 2*m, 0 = -5*m + 25. Solve 0 = -5*a - 3*y + 1 + 9, -4*a + 2*y + 8 = l for a.
2
Let o(f) = -f**3 - 9*f**2 - 2. Let u be o(-9). Let q be 90/21 + u/7. Solve -4*l - v = 0, 3*v = q*l + 7*v - 12 for l.
-1
Suppose 5*j = 4*j. Suppose -2*i + 11 + 19 = j. Suppose -i = -13*a + 8*a. Solve 0*g - 4*g - 18 = -a*n, 5*n = 4*g + 22 for n.
2
Let o(k) = k**2 - 18*k + 2. Let l be o(0). Solve -3*w - 4 = s + 8, 0 = l*w + 4*s + 8 for w.
-4
Let z(p) = 7*p**3 + 5*p**2 - 2*p**3 - 2 - 4*p**3 + 4*p. Let l be z(-3). Solve d + 5*n + 4 = 6*n, 1 = -l*d - n for d.
-1
Suppose n + 0 - 4 = 0. Suppose 0*u - n*u = 16. Let s = u + 9. Solve -3*y = -2*x + 23, s*x - 5*y = 36 + 9 for x.
4
Suppose 5*k - 2*q + 3*q - 95 = 0, -k = 3*q - 33. Let o = 21 - k. Solve 2*s - 5*f = -22, -2*s = 3*f - o - 7 for s.
-1
Let b = -342 - -342. Solve -5*w - 3*v + 6 = b, -8*w + 6 = -5*w + 3*v for w.
0
Let s be 2091/205 - (-4)/5. Solve -n + s = 3*n - 5*z, z - 1 = 0 for n.
4
Let t(p) = p**2 + 12*p + 23. Let x be t(-10). Let k be 92/24 - x/(-18). Solve 4*n = -4*z - 0*n - k, -4*z = 5*n for z.
-5
Let w be 0*(1 - -2)/9. Suppose -4*h - 5*d = -0*h - 44, w = h + 5*d - 11. Let y be 3 + 2 + h + -2. Solve 7*x - 2*x = -z - 8, 2*x + y = 5*z for z.
2
Let q(f) = f**2 - 1. Let p be q(-2). Let z = -494 + 505. Let v = -2 - -2. Solve y + 5*g = -z, 9 = -p*y - v*g - 3*g for y.
-1
Suppose 3*c + 5*a - 56 = 0, -2*c + 2*a = -40 - 8. Solve k + 2 = 3*v - 0, -5*v + c = 3*k for k.
4
Suppose j - 4*j = -9. Let c(d) = 2*d**2 + 18*d + 57. Let f be c(-6). Suppose 0*s + f = 5*r + 2*s, r = 2*s - j. Solve r*o - 2*o + 9 = -2*h, -o = -5*h - 12 for o.
-3
Let q(f) = 6*f + 17. Let z be q(5). Let g = z - 42. Solve 0*m = b + 4*m - 8, 19 = g*b - m for b.
4
Suppose 0 = -4*j - a + 31, 2*j - a = 17 - 0. Suppose -2*h - 2 = -j. Solve -2*g + 0*d - d - 7 = 0, -5*g - h*d = 17 for g.
-4
Suppose -6*y + 3*s = -5*y + 14, -3*y + 5*s = 22. Suppose -4*z + 13 = y. Solve b = 5*n + 2*b - 11, -5*n - z*b = -13 for n.
2
Suppose -2*p - 16 = 4*a, -4*p + 3*p + 4 = 0. Let s be 6 - (10 + a) - (-2 - -2). Solve 5 = -3*c + 2*d, s*c + 3*d = 2*d - 1 for c.
-1
Suppose -11 = -q + 2*m, -14 = -3*q + 2*m + 7. Let t be -9*3/(-36) + (-135)/(-12). Solve 2*x + 2*r = -1 - q, t = -3*r for x.
1
Suppose -3*r + 2*k = -19, -2*k = 4*r - 2 - 14. Solve r*b + 0*j = j - 3, 5*j - 15 = 2*b for b.
0
Let z(a) = -a**2 - 20*a + 26. Let t be z(-24). Let p be (-20)/t + 2*12/14. Let b(c) = c + 7. Let x be b(-5). Solve -p*d = 5*i - 9, -5*i - 3*d = -x*i - 9 for i.
1
Let t = -43 + 10. Let c = t + 56. Solve 0 = 4*k + d + c, 4*k - 7 + 21 = 2*d for k.
-5
Let v = 0 - -15. Suppose -5*a = -j - 21, -3*a + 3*j + v = -0*a. Solve 0 = 4*i - c + a*c - 2, 8 = 5*i + c for i.
2
Suppose 0 = -2*n + 5*o + 5, 18*n - 2*o + 27 = 23*n. Solve 0 = -n*s + y - 8, -2*s - 3*s + 4*y = 17 for s.
-1
Suppose 3*d - 4*x - 1 = 7, -d - 4*x = 8. Solve j - 2 = -u, 4*j - 7*j = d for u.
2
Let l = -33 - -63. Suppose o - 2*o = 2*h, -5*h = -5*o + l. Solve 0 = 2*v + 8, -6*f - o*v - 8 = -2*f for f.
2
Let p = 16 + -16. Solve p*a + 4*c = 4*a, -4*a + 35 = 3*c for a.
5
Let s = -423 + 423. Solve -5*i = -3*x - 12, s*i - 5*i - 16 = 4*x for i.
0
Let d = -64 + 95. Let w = 48 + -46. Suppose 4*a - 10 = w*a, 3*m = -5*a + d. Solve -4*h - 21 = -10*x + 5*x, 3*h + m*x = 13 for h.
1
Let p = 113 + -108. Suppose -35 = -5*f - 5*s, -p*s + 7 + 4 = -3*f. Solve 15 = -2*b + 3*b + f*q, -3*b + 1 = -2*q for b.
3
Let p(s) = -s**3 + 9*s**2 + s - 7. Let g(o) = 8*o**2 + o. Let h be g(1). Let w be p(h). Suppose -2*x + w = -2. Solve 12 = -3*j, x*j = -3*n + 2 + 2 for n.
4
Suppose -5 = -3*f + 2*f. Suppose -9 = f*y - 8*y. Solve 0 = -y*u + 2*x + 6, -2*x - 1 = -4*u + 5 for u.
0
Suppose 34*a - 88*a + 216 = 0. Solve -5*k = 3*c - 32, 2*k = -3*c + a*k + 4 for c.
4
Suppose -38 = -8*f - 158. Let v = f - -18. Suppose -5*a = -0*a - 10. Solve -4*d + 4*g + a = -26, 23 = v*d - 4*g for d.
5
Suppose 4*g - 60 = 20. Suppose -4*h = -2*k + g, 3*h + 6 = -k - 9. Solve -w = 5*z - k*w + 4, -2*w - 8 = -5*z for z.
0
Suppose 0 = -118*t + 111*t + 35. Solve 0 = -4*u + 4*n - 24, -4*n + 9 = -t*u - 16 for u.
-1
Let q = 8 - 4. Suppose -4 = -4*x - q*w, x = 2*x + 3*w + 3. Suppose 6 = -x*i + 15. Solve i*n - 5*n = 2*k + 6, n + 4*k = -12 for n.
0
Let q be 0/((-2)/2) - -3. Let t be ((-16)/6)/(((-207)/(-81) + -3)/2). Solve -q*o - t = 0, -6*o = -4*x - o + 4 for x.
-4
Let w = 240 - 239. Solve -m - 3*u + w = 2, 0 = 2*m + 2*u - 6 for m.
5
Suppose 2*j + 19 = 5*p, 4*p - p = -5*j + 30. Solve p*a = b + 9, -3*a = -4*b + 6*b - 8 for a.
2
Let v be (9/(-6))/(0 + (-9)/30). Suppose -5*d = v*g - 5, 0 = g - 2*d + d - 7. Let j be -1 + (-4 - -2)*-7. Solve -5*p + 5 + j = 3*l, -g*p + 10 = -2*l for l.
1
Suppose 9*v + 31 = 10*v. So