 o = 0 for h.
-3
Let s = 7 - 4. Let g be (-1 - 2) + (0 - -1). Let f be 0*(3 + g) - 0. Solve f = -4*y - 3*q - s, 3*q + 14 = -1 for y.
3
Suppose -5*q = -10*q + 15. Solve x - q*x + 15 = 3*o, -x = -o for x.
3
Let d(k) = -2*k. Let q be d(-1). Solve -3*w + 6 = -q*a + 5*a, -4*a = 3*w - 6 for a.
0
Suppose -4*m + 54 = -4*x + 6*x, m + x - 16 = 0. Solve -4*w - s = 2*s + m, -2 = 3*w - 4*s for w.
-2
Let t be ((-5)/2 - -4)/(3/4). Solve -i + 3 = -5*u + 32, -t*i + 17 = 5*u for u.
5
Let q = 8 + -8. Let s be 8/12 + 10/3. Solve 4*r = -s*p - 16, q = p + 4*r + 16 for p.
0
Suppose 0 = -4*x + 11 - 3. Suppose -3*u + x*b = -4, 0 = 2*u + 2*b - b - 12. Solve -4*s + u = 2*g, 5*s + 1 = 5*g - 9 for s.
0
Let n(c) = c**2 + 4*c + 5. Let y be n(-4). Suppose -i = -0*a - 2*a + 1, -4*i = -4. Suppose -y*z - a = -26. Solve -z*r + 6*t + 8 = 3*t, 0 = r - 3*t + 8 for r.
4
Suppose -4 = -2*y - 0. Solve 0 = y*i - 2*b + 6, 2*b + 2*b = -i - 13 for i.
-5
Let s(p) = 10*p - 16. Let d be s(3). Solve 0 = 5*u + 2*x + 5 + d, 0 = -3*u + x - 18 for u.
-5
Let b be 9*2*2/3. Suppose -4*m + b = -m. Solve 4*g - m = 0, -5*o + g + 16 = 2*g for o.
3
Let b = 1 + 19. Suppose 0*j - 3*h = j - b, 4*j - 5 = 3*h. Solve 0 = 3*a + 9, 3*v - 4*v - j*a = 11 for v.
4
Let w(v) = -v**2 + 10*v + 7. Let m be w(8). Solve 2*p + 27 = 4*p + 5*a, 0 = -3*p - 4*a + m for p.
1
Let n = 163 - 160. Solve 1 = -n*s + 4*x, 5*s + x = -x - 19 for s.
-3
Let n be 4/(-18) + 228/54. Let a = -1 - -1. Solve -8 = 4*q + n*u, -3*u + 6 - 3 = a for q.
-3
Let h(r) = -2*r**3 + 1. Let i be h(-1). Let w = 31 - 9. Solve 0*t = d - t - 9, i*d - 2*t = w for d.
4
Let l(d) = d + 14. Let v be l(-3). Solve s + 2*r = -r - v, 0 = s - 4*r - 24 for s.
4
Suppose -2*x - 27 = -5*t, -4*t + 24 - 7 = 3*x. Let b = x + 1. Let a = b - -3. Solve a*u + 12 = -q, 0 = 4*q - 0*u + 3*u + 12 for q.
0
Let r = 23 - 18. Solve 0 = -4*m - 0*j - j + 8, 3*j = -r*m + 17 for m.
1
Let a = -23 + 39. Suppose -5*g - 2*f + a = 0, -2*g + g = 5*f - 17. Let w = 24 + -17. Solve w = n + 3*v, -n + 6 = 4*v - g for n.
4
Suppose 4*z + 5 - 13 = 0. Suppose -4*a = 4*j - 16, 3*a - 4*j = -z*a + 2. Solve -a*f - 2 = 5*h - 12, -4*h - 4 = 4*f for h.
4
Suppose -10 = -5*w - 0. Solve -2*h - 5*k = 4 + 1, 0 = 2*h - w*k - 2 for h.
0
Let w be 6*(-3)/(-9)*1. Solve -3*s - 3 = -4*j - 2, -3 = -w*j + s for j.
4
Suppose -6*l + 3*l = -12. Suppose l*w - 2 = 5*w. Let j = w + 2. Solve -2*u = -j*u - q - 9, -4*u + q + 17 = 0 for u.
4
Let l be 4/(-18) + (-4)/(-18). Suppose l = -s + 2 - 6, 3*s - 8 = -5*n. Solve 0*o + 2*z = -2*o + 4, -o - 2*z + n = 0 for o.
0
Let y = 46 + -40. Solve -3*d + 2*h - 1 - 3 = 0, 3*h = -2*d + y for d.
0
Suppose 3*n = -k + 4*k - 12, -3*k = -4*n - 13. Solve -4*t - k*g - 18 = -7, -2*t - 5 = g for t.
-2
Suppose -5*a + 32 = 3*m, 2*a + 1 - 17 = -2*m. Solve -j - 3*g - 12 = 0, a*j + 2*g + 15 = j for j.
-3
Let o be -3 + (-3)/(-1) + 3. Solve -s + 2*s - 2 = o*l, s = l + 4 for s.
5
Let i = 9 + 12. Let d be 61/7 + 6/i. Solve 3*l - d = -4*x + 2*l, -x = -3*l - 12 for x.
3
Let b(l) = 4*l - 8. Let o(a) = -a + 1. Let w(m) = b(m) + 3*o(m). Let u be w(7). Solve 4*s = 3*x - 24 - 11, -3*s - 25 = -u*x for x.
5
Suppose -5 = -2*q + 9. Solve 0 = 4*g + 3*i + 25, g - 3*i = q - 2 for g.
-4
Suppose 2*z + 14 = 3*z - 2*h, 3*z + 5*h + 13 = 0. Solve z*j - 2*j + 10 = 4*l, j = -1 for l.
2
Suppose -a - 10 = -3*f - 3*a, 7 = 2*f + a. Let x be (-6 - -2)*(-10)/4. Let g = x + -9. Solve 2*y + 7 = -g, f*q - 24 = 3*y for q.
3
Suppose 5*p = 2*p + 30. Solve l = -m, -6*l + p = 3*m - l for m.
-5
Suppose -3*l + 2*o + 19 = 0, 0*o + 5*o + 25 = 0. Solve 4 = l*w - 2*r - 2*r, 0 = -5*w - 2*r - 2 for w.
0
Let n = -5 - -10. Suppose 3*f = -o + 3*o + 28, 0 = -n*f + o + 49. Let c be (-4 - -1)/((-6)/f). Solve 25 = -c*a - 3*b, 5*a - b + 35 = -6*b for a.
-2
Suppose -4*i + 5*p = 7 - 23, 2*i = -4*p + 8. Suppose -31 = -4*q + 29. Solve 4*o + 4*u + i = 0, -2*o + 2*u - q = 3 for o.
-5
Let b be -5*5/((-25)/13). Let c = -7 + b. Solve 2 = k + m, m + c = k + 3*m for k.
-2
Let g = -2 - -7. Let y be (-92)/(-22) - (-4)/(-22). Suppose 2*i = -2*i + 2*t + 16, y*i - 3*t - 16 = 0. Solve -3*q + 2*q + i*z = 18, -23 = q - g*z for q.
2
Suppose 0 = 5*x - 3*h - 27, -2*x + 0*x - 5*h = 14. Suppose 0 = -y - 2*y - 9, 4*y = -x*q - 3. Solve -3 = 3*j, -p = -0*j - j + q for p.
-4
Suppose 1 = w + 8. Let l = -5 - w. Solve -4*a = 5*k - 10, -k + 6 = 5*a + l*k for a.
0
Let p(z) = z**3 - 10*z**2 + 2*z - 10. Let v be p(10). Let g = 1 + v. Solve -4*r + 22 = 3*o + r, o - 2*r + g = 0 for o.
-1
Let i(w) = 2*w**2 + 7*w - 16. Let k be i(-6). Solve 2*p + 3*p + y + k = 0, -14 = 3*p - 5*y for p.
-3
Let h = 14 - 8. Let a(i) be the second derivative of i**5/20 - 5*i**4/12 - 7*i**3/6 + 3*i**2 - 4*i. Let r be a(h). Solve -5*o = 3*g + 4, 5*o = -r*o - 5*g for o.
-2
Let q(v) = v + 8. Let d be q(-5). Solve 0 = -4*u - d*m - 29, -u - m + 5*m = -7 for u.
-5
Let p(v) = v + 2. Let u be p(0). Suppose u*c - 20 = -3*c. Suppose 68 = -2*r + 76. Solve -o - 5 = -a + 2, 0 = -r*o - 2*a - c for o.
-3
Let b be (0/1)/(-2) + 0. Let q(z) = z + b*z - 6*z. Let p be q(-1). Solve p*a = -l - 5 - 5, -4 = 2*a for l.
0
Let h(r) = 6*r**3 - r**2. Let f be h(1). Suppose 2*y - 6*y + 52 = 0. Solve 5*u = s - 2 - y, 0 = f*u - 2*s + 15 for u.
-3
Let a be 5/(-3 + 4) + -3. Let k = -10 + a. Let x be ((-105)/(-28))/((-3)/k). Solve -n = -3*m + 1 - 8, 4*m + x = 2*n for n.
1
Suppose -u + 0*u = 0. Suppose u*v - 3*v = -27. Suppose -i = 2*i - v. Solve 3*n = 3*d + 21, -i*n = 5*d - 5 - 0 for n.
5
Let g be ((1 + -1)/4)/2. Suppose 3*r = -g*r - 3*h, -3*h - 9 = 0. Solve -4*i = 4*t + 24, 1 = -r*i - 5 for t.
-4
Let x = 2 + 2. Solve -x*k - 4*s - 12 = 0, -s - 4 = -3*k + 3 for k.
1
Suppose -4*j + 139 = -89. Let c = j - 3. Let w be 6/(-15) + c/10. Solve -w*k = 3*a + 30 - 8, -4*k = -a + 21 for k.
-5
Let h(f) = -f. Let d be h(-5). Let k = 7 + -12. Let n = k + 7. Solve -3*q = -3*p + 4 + n, -d*q + p = -6 for q.
2
Let p = 24 - 20. Solve -w = 2*l, 15 + 3 = -l + p*w for l.
-2
Suppose 0 = 3*u - 4*w - 10, u - 6*u + 3*w + 24 = 0. Let i = u + -1. Solve -j - 7 = r, 0 = 3*j - 3*r + i*r + 17 for j.
-3
Let a(d) = -2*d + 40. Let o be a(17). Let y be (-2)/(-1) - 0 - -2. Let f(x) = -x**2. Let j be f(0). Solve -y*g = s - o, -s = -g - j*g - 1 for g.
1
Suppose -10*q - 9 = -13*q. Solve s + s = -2*d + 2, 5 = q*d + 4*s for d.
-1
Let p be (16 - 4)/2 - 3. Solve -p*l + 3*u = -7*l + 13, 0 = l + 3*u - 10 for l.
1
Let u be 19/3 - (-2)/3. Solve -4*a = -u*a - 4*c, -5*c - 15 = 0 for a.
4
Let k(f) = f. Let h be k(3). Suppose 0 = -5*y + 5, 0*c = 2*c + h*y - 15. Solve -4*i = 2*s + c, s = 5*s + 4*i + 4 for s.
1
Suppose m - 4*m = -0*m. Solve 4*i + 3 = p, 0*i - 5*i + 2*p - 3 = m for i.
-1
Let a(d) = 2*d + 55. Let u be a(-26). Solve 0 = u*n - 2*m - 1, m = -5*n + 19 for n.
3
Suppose -3*l - 6 = 39. Let s = 17 - l. Solve 5*r + 35 = 5*g, 4*g - r = 4*r + s for g.
3
Let k(l) = -l**2 - 11*l - 6. Let f be k(-10). Solve 2*y = -f*d - 22, 4*d = -12 - 4 for y.
-3
Let j be (54/(-8))/(9/(-240)). Let p be j/16 - 3/(-4). Solve -4*y = 3*b - p, -3*b + 16 = -2*y + b for y.
0
Suppose 8*g - 50 + 10 = 0. Solve -3*b - 3*s = -g*s - 3, 5*s = b - 14 for b.
-1
Let a(d) = -2*d + 2. Let t(r) = -r + 2. Let g(h) = 3*a(h) - 4*t(h). Let l be g(-5). Suppose l*z - 3*z = 0. Solve -3*f + 24 = -5*x, -2*x - 4*f = -z*x - 6 for x.
-3
Suppose 0*y - 5*y = 3*i + 16, 5*y - 4*i + 2 = 0. Let f be 2*(2 - (2 + y)). Solve -14 = -5*v + 3*d, -5*v + 0*v = f*d - 28 for v.
4
Let o(n) = -n**3 - 8*n**2 - 6*n + 10. Suppose -28 = -5*s + 9*s. Let k be o(s). Solve 20 = -3*z - l - 4*l, -k*z - 2*l = 8 for z.
0
Let v = -3 - -12. Suppose 5*g - v = -3*c, 0 = -3*g - 3*c - 3 + 6. Solve 3 = o - 0*d - 5*d, 0 = -o - d + g for o.
3
Let f be 1 + 14 - (5 + -4). Let u(d) = -12*d + 6. Let h be u(7). Let s be h/(-21) + 4/f. Solve -3*n + 6 = -o - 1, 0 = -5*n - s*o + 40 for n.
4
Let n(u) = u**3 + 10*u**2 - 12*u - 10. Let q be n(-11). Suppose -r + q = -4. Solve -r*o = -a + 11, -2 = -3*a + 2*o - 8 for a.
-4
Let d be 36/15 + (-4)/10. Let n be (0 - 1)/((-5)/80). Suppose -20 - 46 = -3*r. Solve 3*t + 3*s = d*s - n, 4*t + r = -2*s for t.
-5
Suppose 4*o + 22 = 3*d, 5*o = -5 - 0. Solve v + 19 = 4*j, -d - 22 = -5*j - 3*v for j.
5
Suppose j - 2*z + 12 = 4*j, -3*j = -3*z - 27. Solve -2*y = -3*q - 5, 5*q + j = y - 0*y for q.
-1
Suppose u = -u + 12. Suppose u*o - 3*o = -5*t + 46, 4*o = 4*t + 8. Suppose -o*d