+ 12 = 0 for u.
-4
Let b be (-2 + -1 - -1) + 23. Solve 0 = 5*d - 2*g - 9, -b = -d - 3*d - 3*g for d.
3
Suppose 0 = -4*i + 6 + 2. Suppose i*b = -5*w - b + 125, -3*w = 2*b - 76. Solve 3*s = 4*r - w, -8 = -r + 2*s - 0 for r.
4
Let x(z) = z**3 - 15*z**2 + 13*z + 17. Let t be x(14). Solve -2*y - 1 = -0*y - t*h, h + 9 = 3*y for y.
4
Let l(z) = z**3 + 3*z**2 - 4*z - 4. Let j be l(-4). Let a be ((-2)/j)/((-1)/(-6)). Solve 4*g + 4 = -4*c + 3*g, a = -3*c - g for c.
-1
Let b(r) = -r**3 + 9*r**2 + r - 7. Let a be b(9). Solve -o = -3*g + 4, a*g - o - 4 + 1 = 0 for g.
1
Suppose -4*p = -4 - 8. Solve -2*w - 2*u - p = 1, 3*w - u - 2 = 0 for w.
0
Suppose -4*g + 4*n - 8 = -0*n, -n + 2 = 4*g. Solve -4*t + v + 20 = 0, -8 = 2*t + 4*v - g*v for t.
4
Let s(c) = -c**2 + 6*c + 2. Let h be s(6). Suppose 2*t = -q - 0*q + 1, -h*q - t + 8 = 0. Solve -2*p + 10 = -m, 0*m + q*m = 2*p - 10 for m.
0
Suppose o + 1 = 0, -3 = 2*i - i + 3*o. Suppose 0*y - 2*y + 4 = i. Solve 0 = 4*x + d - 10, -y*x + x = 3*d + 3 for x.
3
Suppose 3*d - 8*d = -185. Suppose -4 = 4*w - 4*o, -3*w + d = 5*o - 0*o. Solve w*r + 12 = v, 0 = 5*r + 2*v + 2 + 26 for r.
-4
Let j = -6 - -3. Let v(m) = 2*m**3 - 13*m**2 + 6*m + 1. Let n be v(6). Let o = n - j. Solve 5*q - 6*c + 2*c = 11, 0 = -5*q - o*c + 19 for q.
3
Suppose -2*o = o - 3. Let w be 2 + o/(2 - 1). Solve -w*n + 4*r - 6*r = 6, 3*n - 12 = 4*r for n.
0
Let k be (-8)/(-36) - (-302)/18. Let q be k/3 - 2/3. Solve 5*c + a - 35 = 6*a, -c + 23 = -q*a for c.
3
Let q = -26 - -35. Let o = -8 - -8. Solve 4 - q = k, -2*i + 2*k + 16 = o for i.
3
Let n be 24/16 + 2/4. Suppose l = 3*l - 2, -2*m + 38 = -n*l. Solve 0 = -5*p + 6*i - i + m, 20 = -5*p - 3*i for p.
-1
Let s(x) = x - 11. Let q be s(15). Solve z = -3*i + 4, -3*z = -i + q*i + 6 for z.
-5
Suppose -2*r + 26 = 2*i - 6, -5*r + 4*i = -98. Solve 0 = -4*l - 0*w + 2*w - r, 0 = 2*l - 5*w + 21 for l.
-3
Let s = 91 - 74. Solve 2*j - 3 = -0*c - 3*c, 0 = 4*j - 5*c - s for j.
3
Let j(b) = -b**3 - b**2 - 2*b - 3. Let z be j(-2). Solve -5*y - 24 + 4 = z*u, -4*u = -5*y - 29 for u.
1
Let v be (2/(-4))/((-4)/40). Suppose -4*n - n + 13 = -4*g, -5*g - 10 = -v*n. Solve -g*u + 13 = 4*f, 4*u - 2*u + 22 = 5*f for u.
-1
Let t(i) = -21*i**3 - i**2 + 2*i - 1. Let o be t(1). Let z = o - -30. Solve -5*s + q + 3 = -16, q - z = -2*s for s.
4
Let m = 62 - 57. Solve p = -2, 5 + 11 = -m*h + 2*p for h.
-4
Let w be (-90)/(-3) + -2 + 2. Let y = 0 + 25. Suppose -3*d - 2*d = -y. Solve -r - w = d*b, b + 29 + 1 = -5*r for r.
-5
Let n = -10 + 10. Suppose 0*z + 40 = 5*z + 5*t, 3*t - 12 = n. Solve 2*i = z*i - 3*j + 5, 2*i = 2*j for i.
5
Let a(y) = -5*y**3 - y**2 + 3*y + 1. Let c be a(-2). Suppose 5*g - 5*q - 35 = 0, -5*g + 3*q + c = -0*g. Solve 8 = 2*s + 2*s - 2*o, 0 = -5*s + 5*o + g for s.
3
Let n(i) = -i**2 - 8*i - 7. Let a = -12 - -5. Let c be n(a). Solve -4*p - 5*h - 31 = c, 2*p + h - 4*h = 1 for p.
-4
Suppose -5*r = 10 - 25. Suppose -t + 2*t = 5. Solve -t*z = b, -r*z = -8*z - 4*b for z.
0
Let v be (-3)/(-6)*(-1 - 11). Let a = v - 0. Let n be (1 - (-2)/a)*3. Solve -3*m - m + 8 = -n*b, -3*b - 3*m = -24 for b.
4
Suppose 0 = 3*v + 2*v - 15. Suppose -v*y + 17 = 5*z - 25, -y = 5*z - 4. Solve -y - 8 = 5*f - 4*l, 4*l = -f + 9 for f.
-3
Let v = -2 - 2. Let w be -4 - (1 + v) - -18. Solve -4*o = 3*a + w, -2*a = 3*o + 6 + 6 for a.
-3
Let g(s) = -2*s + 1 - 5 - 1. Suppose 15 = -3*b + 3. Let l be g(b). Solve i + l = 2*i + 5*a, i + 2*a - 3 = 0 for i.
3
Let o = -36 - -18. Let g be (-140)/(-63) + 4/o. Solve -2*y + g = -4*c, 0 = -0*y - y - 3*c - 9 for y.
-3
Suppose -t + 1 = -1. Let s be (-40)/(-22) + (-12)/(-66). Suppose 3*u = 2*u + 1, t*u = -s*b + 6. Solve b*d = 3*k - 21, d = -3*k + 2*k + 2 for d.
-3
Let b be (-6)/27 - 22/(-18). Suppose 0 = -f + b + 3. Solve 3*t = -4*c + 17, c - 6*c + 21 = f*t for t.
-1
Let c(w) = 15 - 4 - 4*w - w**2 + 2*w**2 - 3*w. Let d be c(5). Solve -2*n + d = -r, -2*n + 2 + 4 = -2*r for n.
-2
Let n = 45 + -29. Solve 3*f - n = -5*w, 1 = 4*w + f - 9 for w.
2
Let o = 125 - 121. Solve 2*a = -2*g + 5 - 15, 4*a - 4 = o*g for a.
-2
Suppose -62 = -3*j + 4*m, 3*j + 5*m + 0*m = 44. Let r = 11 + -3. Let u = -5 + r. Solve -u*x = -v - j, 2*v + 19 = 5*x + 4*v for x.
5
Let r be 2/10 + 2/(-10). Suppose -w = w - 2*p + 6, r = -3*w + 5*p - 19. Solve 5*o - i = 15, -w + 9 = -2*o + 3*i for o.
4
Let x = 125 + -121. Let r(m) = -m**3 + 5*m**2 - 3*m - 1. Let u be r(4). Suppose -n = u*n. Solve -4*i = -g + 11 + 5, n = -5*g - x*i + 8 for g.
4
Let i = -1 - -11. Solve -2*y - i = l - 2, y - 1 = 2*l for l.
-2
Suppose -6 = -4*r - 2*c, 5*c = -2*r - 0*c - 17. Solve -g = t - 2, -2 = -3*g + 5*g + r*t for g.
5
Let d = -78 + 82. Solve 0 = -d*k - 5*s, -2*k = -0*s - 2*s for k.
0
Let k(w) = -w**2 - 6*w - 5. Let d be k(-5). Solve -2*a + 2*v - 4 = d, -2*a = 3*a + 4*v - 17 for a.
1
Suppose -111 - 9 = -12*w. Let j be 0/(0 + 2/2). Solve 3*p - o + w = 0, j = -3*p - 4*o + 2*o - 16 for p.
-4
Let u = 26 - 28. Let y(t) = 5*t**2 + 4*t + 3. Let b be y(u). Solve -5*w - b = 2*f + 3*f, -4*w - 2*f = 12 for w.
-3
Suppose s - 23 = 5*f, 4*f + 4*s + 4 = -0*f. Let d = f + 29. Solve -3*p + 15 = 0, -5*m + 0*p - 3*p + d = 0 for m.
2
Let n = 2 - -1. Let t = n + 1. Let d be ((-8)/(-10))/((-2)/(-35)). Solve w - d = -t*a, 5*a + 3*w = w + 19 for a.
3
Suppose 4*r - 136 + 25 = x, x = 5*r - 139. Solve -4*z + r = 5*w, 0 = -2*w + z - 6*z + 18 for w.
4
Suppose -5*b = -3*a - 21 - 13, -2*a - 6 = 0. Let j be 4/18 - (-68)/18. Solve j*f = s + f - 1, -b*s = -f - 19 for s.
4
Let x(w) = w**2. Let v be x(-4). Let t be -2*(2/(-4) - 1). Solve -4*y + v = 3*h - h, -19 = -t*y - 5*h for y.
3
Suppose -4*d + 2*j + 26 = 0, -3 = d + 5*j + 18. Solve 0 = -l + d*r + 14, 3*r + 0*r = l - 10 for l.
-2
Let a = -7 + 2. Let y = a - -8. Suppose -q - 2 + 6 = 3*o, -o - 12 = y*q. Solve 4*f = 4*b - 8, o*b - 2*f - 2 = 2 for b.
0
Let g = -13 - -15. Solve -4*r + 4*b = -9 + 1, 4*b + g = r for r.
2
Suppose u = 3, 0 = 5*d - 2*u + 31 - 135. Suppose 0 = 3*l + 2*o + d, l - 4*o = -3*l - 16. Let s = -2 - l. Solve x - 3 = -2*v, -4*v = -s*x - x - 27 for x.
-3
Let s = 8 - 4. Suppose -2*n - 4 = -2*m, -s*n - 8 = 6*m - m. Solve -4*c = -u - c + 5, -u - 3*c + 5 = m for u.
5
Let t = 18 + -13. Let s(o) = 3*o**3 + o**2 - o. Let g be s(1). Suppose 0 = t*l + g*m - 32, -l + 3*m = 13 - 5. Solve -y - l = 5*n, 3*y + 9 + 3 = 4*n for y.
-4
Suppose 5 = 5*w + 5*l, 21 = w - 3*l - l. Solve 2*f + f - 2*i = 4, -w*f = -3*i - 7 for f.
2
Let h(r) = r**2 + 2*r + 2. Let q be h(-3). Solve 4*z - 1 = -q*y + 4*y, -y + 3*z + 1 = 0 for y.
1
Let n = 2 + -2. Suppose 5*w - 13 = -5*c - 3, -4*c - w + 11 = n. Suppose -o = -0*o - c. Solve 0 = 2*y + 4 + 4, 3*y = o*i - 21 for i.
3
Let u = -14 + -4. Let x = u - -26. Solve w + 2*z - x = -0*z, -5*z = -3*w - 20 for w.
0
Let g(d) = d. Let y be g(7). Solve -4*m + 3*h = -y*m + 6, -2*h = -5*m + 10 for m.
2
Suppose 4*w + 29 = 5*h, h + 3 - 4 = -4*w. Solve -5*l - h = -5*r, -5 = 5*r + 3*l + 2*l for r.
0
Let v(s) = -s**2 + 7*s. Suppose 28 = 3*g + g. Let l be v(g). Let z be l/((-4)/(-2) - 1). Solve 5*q + 2*o = z, -o + 11 = 3*q - 2*o for q.
2
Let c(g) = g**3 - 3*g**2 + 2*g - 6. Suppose -3*i + 2 + 10 = 0. Let z be c(i). Solve h + 5 = -3*x, 3*h + 6 = z for x.
-3
Let j be (-30)/(-25)*(-5)/(-2). Suppose 3 + j = 2*w. Solve -5*v - 3*z = -v, -18 = -2*v + w*z for v.
3
Suppose d + 7 = -14. Let p = -18 - d. Solve -2*q = -4*f - 6*q, -3*q = p for f.
1
Let n = -1 + 1. Suppose n = 2*y - y - 4. Let l(s) = 3*s**2 - 6*s + 2. Let g be l(2). Solve -3*c = 3*i - g*c, 5*i = y*c - 17 for i.
-1
Let b be (-2 + 16)/2 - 0. Let x = b - 7. Solve x = -3*w - j + 19, 4*j + 4 = 3*w + w for w.
5
Let f = -47 - -49. Solve 4*g = 2*m - f, -g - 2*m - 3*m - 28 = 0 for g.
-3
Let t = 18 + -10. Suppose -2 = -4*a + 3*a. Solve -4*n - 4 - 7 = 5*b, 0 = -a*b + 2*n - t for b.
-3
Let q = -2 + 2. Suppose -3*s - s + 20 = 0. Suppose 2*f + 4*x - 38 = -f, 4*f = -x + 29. Solve t - f*t - 3*h - 8 = 0, -t - s*h + 16 = q for t.
-4
Suppose 4*x + 14 = 54. Suppose -h - 1 = y - x, -y = -h - 1. Solve 5*d = 2*f - 20, h*d - 4*f + 9 = -19 for d.
-2
Suppose -4 = -4*u + 3*g + 1, -5*u = -2*g - 15. Solve 0 = -2*m - x - 4, -3*x - 1 = -u*m - 0 for m.
-1
Suppose -3*c + 4 = 2*s, -2*s = c + 2*s - 18. Let n = 1 - c. Solve 3*o = 5*h - 22, -5*h - 2*o + n*o + 24 = 0 for h.
5
Suppose -k = -4*h - 8, -2*h + 2 = 4*k - 3*k. Solve 4*a = -k*u - 24, -u + 1 +