3 = 0 for h.
1
Suppose -2*y = -3*x + 9, 0*x = -4*y - 3*x + 27. Let k(v) = v**2 + 3. Let p be k(0). Solve -5*b - 10 = -3*r, p*b + y = -2*r - 22 for b.
-5
Suppose 0 = -5*g - 3*i + 27, -3*g - 4*i = -3*i - 17. Solve y + y = -2*x + g, -y = 2*x - 5 for y.
1
Suppose 5*f + 21 = 81. Let m(c) = -c**3 - 4*c**2 + 2. Let t be m(-4). Suppose 0*k = -t*k + f. Solve -4*r + j = 7, 5*j - k = 5*r + j for r.
-2
Let r(s) = s**2 - s. Let p be r(2). Suppose -3*q = n, 4*q = p*n + q - 9. Let z = -2 - -5. Solve 8*y - 4*w - 1 = n*y, -y - z = -4*w for y.
1
Let v be (-3 + 4)*(-1 + 6). Solve 34 + 6 = 3*y + v*x, y - 3*x = -10 for y.
5
Let l(d) = -d + 11. Let y be l(7). Suppose -5*r + q = 58, r + 5*q = -0*r - 22. Let a be 14/y*r/(-21). Solve 0*g - g = 5*p + 21, -p + a*g = 13 for p.
-5
Let p be (2 + 0/(-4))*2. Solve 0 = -7*r + p*r - 15, 0 = 2*g - 2*r - 14 for g.
2
Let g(m) = m**3 - 10*m**2 - 12*m + 14. Let f be g(11). Solve -4*n - 26 = f*b - 3, 3*n + 13 = 2*b for b.
-1
Suppose -25 = 5*m - 4*u - u, -5*m - u = 7. Let j = 5 + m. Suppose j*w - 6*w + 9 = 0. Solve 3*a = -3*v - 15, -3*v - 9 + 0 = -w*a for a.
-1
Let h = 45 - 45. Solve -4*z = 3*m - 9, -4*m + 5*z = -h*z - 12 for m.
3
Suppose -y = 1 + 4, 3*y = 4*j - 35. Solve -2*w - t - 5 = -j*w, 4*w - 2*t - 6 = 0 for w.
2
Suppose 34*s = 30*s + 12. Solve 5*p = 2*p - s*w, -5*p = 3*w for p.
0
Suppose -2*y - 10 = -12*y. Solve 2*n - y = -3*z + 9, z + 2 = 2*n for n.
2
Suppose t - 2*d = 4, 0*d - d + 4 = t. Solve 3 = -4*p + t*o - 9, 0 = p + 3*o - 1 for p.
-2
Let q(p) = -p + 10. Suppose -3*h - 14 = -5*h. Let j be q(h). Solve 0 = j*c + 2*u - 16, -4*c + 35 - 11 = 4*u for c.
4
Suppose l + 4 = 4*d - 13, -3*d = -3*l - 24. Suppose d*i = -0*i. Solve t = -i*t + 5*c + 14, 5*t + 8 = -c for t.
-1
Suppose -12 = 4*d - 6*d. Suppose d = 5*r - 3*r. Solve 5 = -3*x - 5*p, 5*p + 2 + r = 0 for x.
0
Suppose 0*u - 3*u - 2*y - 9 = 0, 3*y = u - 8. Let m be ((-2)/5)/(1/5). Let q be -2*(-4)/m*u. Solve x = 5*h - 5 + 4, 0 = 2*x - q*h + 2 for x.
-1
Suppose -h + 17 = -5*w + 2*w, -3*w - 9 = 3*h. Suppose -h*z + 4 + 2 = 0, -2*z = 3*s - 138. Let y = s + -31. Solve 4*k = -v - 14, -4*k - 4*v = y + 7 for k.
-3
Suppose 0 = -3*k + 8*k. Suppose 4*f - 32 = -k*f. Let m be 3/((-5)/(285/(-9))). Solve z = -5*a - m, 2*z - f = 4*z for a.
-3
Let d be 20/(-16) - 13/(-4). Solve 6*a - 3*a = 0, d = -o - a for o.
-2
Let j(p) = -3*p. Let t be j(-2). Let q = t + -1. Solve 0 = 4*s + q*h + 3, s + 0*s - 12 = 3*h for s.
3
Suppose 5*d + 15 = f, d + d = 8. Let p be 3/((-18)/8 - -3). Suppose -p*z + z + 18 = 0. Solve 3*v + 5*x + f = 0, -2*v + z*x - 2*x + 6 = 0 for v.
-5
Let p = 34 - 20. Solve -3*f = -3*c - 5 + p, 2 = c - 2*f for c.
4
Suppose 2*s - 7 + 31 = 0. Let i = -8 - s. Solve 5*g = -c - 21, -i*c + 3 + 8 = g for g.
-5
Let d(y) = -y. Let j be d(-8). Suppose -p - j = -f + 3*p, 49 = 4*f + p. Solve -2*u + 4 + f = 5*n, 4*n - 5*u = -7 for n.
2
Let j = -67 + 81. Solve -5*k + 3*u + j = 0, k = 4*u - 3*u + 4 for k.
1
Let h be (-2 - -1)*(-1)/1. Suppose 39 = 4*j - h. Solve 4*w + 8 = 0, -2*w + j = -2*n - 7*w for n.
0
Let n be (-6)/30 - (-32)/10. Let t = 4 + -2. Suppose 12 = 3*y + 2*i - 7, -n*i = t*y - 21. Solve -4*g - 12 = -z - y*z, -2*z - 2*g + 2 = 0 for z.
2
Let o be (-3)/(-6) + 10/4. Let r(m) = -3*m - 3*m**2 + 6*m**2 + m**2 - 5 - o*m**2. Let a be r(5). Solve -3*s + 15 = 0, -5*h + a*s - 22 = -2*h for h.
1
Suppose -3*n = 13 - 25. Solve -4*s - 2*g = n, 2*s = -s - 4*g - 13 for s.
1
Let l = -55 + 59. Solve -m - 19 = -5*s, 5*m + l*s + 5 = -3 for m.
-4
Let u be (-2)/(-9) - (-145)/(-45). Let s be 2 - ((-2)/2 - u). Solve -3*g - g + 4*o = 24, -4*g - 3*o - 3 = s for g.
-3
Let v(d) = 3*d**2 + d - 2. Let w be v(2). Let q be 5*(-3 + (-36)/(-15))*-7. Solve 4*s + q = -3*k + s, -k - 2*s = w for k.
-2
Let o(c) = -4*c - 7. Let m be o(-5). Suppose 0 = -3*f + m - 1. Solve -f*w + 20 = 4*h, 2*w = 3*w - 3*h + 3 for w.
3
Suppose -3*v = -v - 8. Solve 3*z - 2 = 10, v*k + 5*z = 0 for k.
-5
Let m(r) = 2*r**2 + 6*r + 2. Suppose 3*s + 2 + 9 = x, 21 = -5*s + x. Let b be m(s). Let q = 49 - b. Solve 5*y = -2*z - q, 2*y = 4*z + y - 1 for z.
-1
Let p be 1 + -2 + -4 + 42/6. Solve -3*o - 5 = r, p*r - 1 + 4 = o for r.
-2
Suppose 0 = -0*m - 4*m + 44. Let z(t) = -2*t - 7. Let a be z(-5). Let f be ((4*2)/2)/2. Solve -m = a*x - s + 3*s, 2*x - f*s + 4 = 0 for x.
-3
Let w be ((-2)/(-42) + (-16)/(-56))*9. Solve 0*r - 6 = 2*i - 2*r, w*i - 5*r + 19 = 0 for i.
2
Let y = 70 - 68. Let w be (-3 + 0 + -1)/(-1). Solve -s - y*q + w*q = 6, 5*q - 15 = 2*s for s.
0
Let g be ((-5)/(-1))/(1/2). Solve -5*p = 2*s - g, 3 - 1 = 3*p + 2*s for p.
4
Let h(c) = -c**3 - 5*c**2 - 2*c - 5. Let y be h(-5). Solve -y*m + 4*q - 11 = 0, 0*m + 3*m = -2*q - 11 for m.
-3
Let f = -20 + 20. Solve 7 = -l + 3*y, f*y + y + 1 = l for l.
5
Let o be (-44)/4*(2 + -3). Suppose 5*m = -3*z + 25, 2*z - o - 13 = 4*m. Let g be (4/5)/(4/z). Solve 4*j - 3 = -a, -4*j + 0*a = g*a - 6 for j.
0
Suppose -2*u = x, -x + 3*u - 7 = -17. Solve 0 = 4*l - 0*c + 5*c + 28, -8 = -4*l + x*c for l.
-2
Let u = 0 + 3. Solve -4*o - 3*x - 12 = x, -u*o - x + 1 = 0 for o.
2
Suppose 0 = n - 5*l + 15, -3*n + 2*l + 1 - 7 = 0. Solve -2*f - 5*v + v + 26 = n, 3*v = 2*f + 2 for f.
5
Let y = -2 + 17. Let l(m) = -m**2 - 20*m - 86. Let d be l(-13). Solve -14 = 4*g - 5*s + y, 0 = -s + d for g.
-1
Let r be (-6)/(-2) + (3 - -6). Suppose x + 2*y + 1 = -5, -r = x + 4*y. Solve -f - 2*o + 5*o + 12 = x, -2*f + 3*o = -12 for f.
0
Let z(j) = -j**2 + j + 2. Let u be z(4). Let t = -6 - u. Suppose 0*w = -4*w + 5*k + 40, 10 = w - 4*k. Solve 5*v - t = 3*x + 30, w = -5*x - v for x.
-3
Suppose 5*m + 3*v - 26 = 0, m + 0 - 14 = -5*v. Let n(i) = i + 4. Let g be n(0). Solve -3*u + m*c + 17 = 0, -2*u - 3*u = -g*c - 15 for u.
-1
Suppose 4*i + 0*i + 5*m - 32 = 0, 5*m + 16 = 2*i. Suppose 0 = -2*f + i - 0. Let b(g) = g. Let o be b(f). Solve 13 = o*k + j, -2*k - 10 = 3*k - 4*j for k.
2
Suppose 2*c = -5*f - 0*c + 20, 0 = 3*c - 15. Solve 5*q - f*s + 2 = -6, 5*q + 3*s = -13 for q.
-2
Let s(n) = -2*n**2 - 5*n + n**2 + 6*n**2 - 6 - 4*n**2. Let w be s(6). Suppose -3*v + 15 + 9 = w. Solve -5*o = -5, -4*l - 2*o + 6 = -v for l.
3
Suppose -4*b - 4 = -16. Let n(d) = -d**2 - 4*d + 7. Let x be n(-5). Solve -b*y + 1 = 2*h, 3*y + x*h = -h + 6 for y.
-3
Let w be 4 + -4*(-1)/2. Suppose -3*a = 3*c + 6, a + 2*a + w = -2*c. Suppose -2*f + 52 = 2*f. Solve x + 3 = 4*z, -z + c*x + 3*x - f = 0 for z.
2
Let z(y) = y**3 - 5*y**2 + 4*y. Let w be z(4). Suppose w*g + 8 = 2*g. Solve -4*s + 8 = -4*u, -5*u = -g*s + 3*s + 22 for u.
-5
Let n(r) = -r**2 + 13*r + 2. Let m be n(6). Let a = m + -14. Solve 3*g - 25 = -2*g, -5*g = 5*c - a for c.
1
Let u be 2/6 + 1/(-3). Let c(w) = -w - 2. Let n be c(-4). Suppose -4*h - 3*t - 4 = u, n*h - 3*t = 4*h + 8. Solve 0*v = -4*v - h*l - 18, -5*l - 35 = 5*v for v.
-2
Suppose 6*s = s + 10. Suppose -3 = z - 7. Let p be ((-4)/3)/z*-15. Solve c + 21 = p*i, s*c - i = 2*i - 14 for c.
-1
Suppose 3*d = 5*w + 10, d - 2*w + 5*w - 8 = 0. Suppose -p - 5*r + 32 = 0, 11 = 3*p - 0*p - 2*r. Solve -4*n + 3*i + 2 = -p, -2*n + 1 = -d*i for n.
3
Let a be (10 - 2) + -3 + 5. Suppose 0*j + j - a = 0. Suppose -3*q = -5*v - j, q - 3 = 3*v + 3. Solve q = 2*m + 3*s - 8, 5*m - 2*m - 5*s = -26 for m.
-2
Let j(v) = v**3 - v**2 + v + 5. Let w be j(0). Let m = -3 + 19. Solve -5*g + 3*i = -9, -w*g - 2*i + m = -g for g.
3
Suppose 20 - 4 = 4*f. Suppose w - 15 = -f*w. Solve 0 = 4*h - 2*i, 5*h - w*h - 4*i = 0 for h.
0
Let z(c) = -c**2 - 2*c. Let l be z(-2). Let u = l + 0. Solve -3*a + 2*d - 11 = u, -2*d = 5*a - 3*a - 6 for a.
-1
Suppose -5*b = 2*s - 15, 5*b - 3*s - 45 = s. Solve -1 = 3*o + b*u, -5*o + 0*u - 2*u = -11 for o.
3
Let t be (-32)/(-5 + 1) + -3. Solve q - t = 2*u, -4*q - u + 6*u = -11 for q.
-1
Let m(p) = p + 12. Let w be (-12 - -2)/(-1 + 2). Let r be m(w). Suppose -r*v = -5 + 1. Solve 0 = 3*q - 4*o - 15, v*o + 6 = 2*q - 2 for q.
1
Let x be (0 - 0/1) + 20. Solve -2*f + 4*g - x = 0, 2*g = -2*f - 2 + 6 for f.
-2
Let n = -2 + 5. Let a(d) = -2*d**2 + 3*d + 2. Let j be a(n). Let y = 11 + j. Solve -3*t + 2 = -u - 1, -2*t + 12 = -y*u for t.
0
Suppose -3*k + k + 4 = 0. Suppose -2*l + 12 = -2*h, l + 5*h + 17 = 5. Solve -6 = -l*g + 4*i + 10, -8 = 5*g + k*i for g.
0
Suppose 4*t - 63 = 17. Let l = 27 - 23. Solve t = -l*p - 4*v, -p - 15 = 2*p + 2*v for p.
-5
Suppose 4*a + 5 = 9. Solve -u + a = -y, 13