 + t - 2 = h, -2*v + v = -2*t - 2 for v.
-2
Let w = -27 + 35. Let u be (20/14)/((-2)/(-14)). Solve 5*y + 2 = -w, -4*l - u = y for l.
-2
Suppose 2 = y + u, -5*u = 4*y - 1 - 4. Suppose 0 = 5*j + y*q - 4 - 6, -4*q = j + 4. Solve 4*d + 4 = j*k - k, 2*k + 3*d + 20 = 0 for k.
-4
Let v(z) = z**3 - 3*z**2 - z - 3. Let i be v(4). Let t = 13 - i. Suppose -d = t*d - 20. Solve -j - 4*k + d = 0, j + 4 = k + 3*k for j.
0
Let u = 23 + -20. Solve u*d + 0*d - 9 = -3*z, 0 = -5*z - d + 3 for z.
0
Let q be (-2)/(-6) - (-29)/3. Let c(s) = s + 1. Let x be 0 + 0 - (0 - 3). Let p be c(x). Solve -2*r + 0*a = 2*a - q, 20 = p*a for r.
0
Let v(j) = -j**2 - 5*j + 2. Let w be v(-4). Suppose -4 + 7 = u. Suppose -w = u*g + 4*s, g - 3*s = 2 + 9. Solve 0 = 5*o + 2*z - 35, -g*o + 2*z = -3*o + 15 for o.
5
Suppose -4 + 10 = 2*z. Suppose -z*y + 0 = -27. Solve -5*l - 4*h = -0*h - 7, 0 = 3*l + 4*h - y for l.
-1
Let a = -6 - -11. Suppose -a*i - 45 = -370. Solve -15 = 2*y + r, -5*y - i = 4*r - 20 for y.
-5
Let m be 0*(0 + 2/4). Solve m = 3*o + r - 1, 3*o + 3*r - 3 = -0*o for o.
0
Let i be 4*(10/(-4))/(-5). Suppose -3*b - i = -11. Solve -b*r + 1 = 4*c - 5*c, 2*r = -2*c - 10 for r.
-1
Suppose 0 = -2*s + 5*b + 28, 3*s + b - 26 = 16. Solve 2 = -2*x + 4*a, x + 5*a - 2*a - s = 0 for x.
5
Let f = 2 + -5. Let l = 8 + f. Solve 7 = l*p - 3*v, 3*p - 2*v = -0*v + 5 for p.
-1
Suppose 2*x = -x. Suppose x = 3*p - 4 - 5. Solve 3*q = -4*c + 6, -q + 3*q - p*c = 4 for q.
2
Let k(h) = h + 3. Let d be k(-3). Suppose -3*q + 9 + 1 = 2*v, 3*v - 3*q = d. Solve 3*p + 2*a = 4*a - 10, -4*p = 5*a - v for p.
-2
Suppose 2*x = -2*x + 20. Suppose -17 - 3 = -x*b. Solve -16 = b*o - 2*l, -2*l - 6 - 2 = 2*o for o.
-4
Let h be 16/6*(8 - 5). Suppose 0 = -4*y - 8, 0 = 3*c - h*y + 3*y - 19. Let q be -1 + (1 - (c - 3)). Solve q = -4*r + 5*v, 16 = 3*v + v for r.
5
Suppose 249*a = 244*a + 10. Solve -a*o - 3*o = -4*f - 2, -2*f - 3*o = -10 for f.
2
Suppose -4*s + 156 = a + a, -5*a + 362 = 3*s. Suppose 11 = 5*w - 2*c - 68, -4*w + 5*c = -a. Solve -4*t = 0, 0*d - 5*t = -5*d + w for d.
3
Let h(i) = i**3 + 11*i**2 + 9*i - 6. Let n be h(-10). Let j = n + 1. Suppose -2*t + 2 = 0, 19 = 4*q + 4*t + 3. Solve 0 = 2*z - s, j*z + 5 = -q*s - 6 for z.
-1
Let w = 9 + -5. Suppose 5 = 3*l + 4*o - 0, l - 3*o + 7 = 0. Let y be 2/4*0/l. Solve 0 = w*v + 2*j - y - 10, 0 = 2*v + 3*j - 11 for v.
1
Let k be (-56)/(-20) + 4/20. Solve 35 = -2*f - 2*f + 3*r, 0 = f + k*r - 10 for f.
-5
Let g(k) = k**2 + 16*k. Let u be g(-16). Solve 2*o + 4 = -0*t + 4*t, u = 4*t - 4*o - 8 for t.
0
Let c(n) = -n**3 + 5*n**2 - 5*n + 7. Let j be c(5). Let s = -13 - j. Let y be (2/(-6) - 1)*(-6)/4. Solve -5*p - y*a = -a - 24, s*p = -2*a + 28 for p.
4
Suppose -1 = z + 7. Let j be (-20)/(-4)*z/(-10). Solve 5*k = 25, -4*k + 2*k + 18 = j*g for g.
2
Suppose 2 = -k, k - 28 = -4*b + 6. Solve -h = 0, -2*c - 3*h + b = -5*c for c.
-3
Let i be (-2)/(-3)*54/4. Suppose 0 = -5*q + 3*d + 11, -5*q + 3*d = 6*d + 1. Solve 5*k = -4*y + 4, i = 2*y + 4*k + q for y.
-4
Let p be -6 - -7 - 1*-2. Let l = -35 + 59. Suppose v - 10 = -4*s, 4*s + 0*v = 5*v + 22. Solve s*x = p*u, 0 = 2*u + 2*x + 2*x + l for u.
-4
Suppose 0*j = -2*j + 14. Suppose -w + j = 3. Let u = 0 - -1. Solve -w = g - u, 25 = -2*y - 5*g for y.
-5
Let f(y) = -y**2 - 5*y. Let b be f(-4). Let z(c) = -c**3 + 4*c**2 + 3*c - 3. Let x be z(b). Solve 5*s + w - 2*w - 19 = 0, x = -s - 3*w for s.
3
Let w be 3/(2*1/2). Suppose 2 = -2*v + w*v. Let z(n) = -n**2 + 13*n - 10. Let y be z(7). Solve -10 + v = 4*q + p, y = -4*q + 5*p for q.
-3
Let i(s) = s**3 - 8*s**2 + s + 4. Suppose -2*r + 7 = -9. Let l be i(r). Solve 0 = 4*v - l, 5*v = 5*b - 0*v for b.
3
Let x(w) = -w**2 - 1. Let t(c) = -2*c**3 + 4*c**2 + c + 2. Let f(j) = t(j) + 2*x(j). Let d be f(-1). Solve 0*z + 3*b - 9 = 3*z, d*b - 8 = 2*z for z.
-1
Suppose k - 11 - 43 = 0. Let u be (-1)/2 + k/4. Suppose 0*x = -3*z - x + u, -2 = x. Solve 2*w = -0*w - z*t + 17, 2*w - 4*t = -10 for w.
1
Suppose -g - 6 = -d, 4*g = d - 0*d - 15. Suppose -5*w = -a - d*w + 24, 5*w - 31 = -4*a. Solve -5 = 2*n - 3*b - 1, 2*n + a = -2*b for n.
-5
Let j be (98/35)/((-2)/(-10)). Let g(x) = x**2 - 14*x + 2. Let f be g(j). Suppose -2*a + 6 = a. Solve 3*w + a*v + 4 = 0, -f*v - 14 = -w - w for w.
2
Suppose -3*m + 9 = 2*z - 7, -25 = -5*m - 3*z. Solve -6 = 4*b - 2*l, -m*b + l - 18 = -3*l for b.
1
Let p be 6/10 - (-4)/10. Let l be (2 - (-3 + p)) + -1. Suppose -3*b = 3*v + l, 5*b - 3*v + 0 = 3. Solve b*z = u - z + 3, 5*z = -3*u - 1 for u.
-2
Let h(c) = -3*c**2 - c - 7. Let g(w) = w**2 + 1. Let f(o) = -4*g(o) - h(o). Let v be f(0). Solve 3*s - 6 = v*b, -3*b = -2*b + 1 for s.
1
Let h(y) = -y**2 + 2*y + 6. Let m be h(3). Let r(q) = 2*q - 2. Let f be r(m). Solve -13 = -g + f*j + 7, -3*g - 2*j + 4 = 0 for g.
4
Let p = 1 + 1. Suppose 4*q + 4*n - 28 = 0, -q = -0*q - 5*n - 13. Let w = q - 5. Solve 0 = -h + w*t + 2, p*t + 5 = -3*t for h.
-1
Suppose 0 = -4*n + 4*b + 4, -5*n + 2 + 2 = -4*b. Let y be (-6)/(-2) - (4 + -2) - -10. Solve n = s - 5*s + 3*d, 5*s - d = y for s.
3
Let a(z) = z**2 - 3*z - 4. Let j be a(5). Suppose j*g - g - 10 = 0. Suppose 16 = -4*b, -2*b = -2*n + g*b + 20. Solve 2*x = 4*x - 2*w, -n*x + 20 = 3*w for x.
4
Suppose 6 = 2*n - 2. Solve 2*w - 17 = 3*d + w, 0 = 2*d + n*w - 12 for d.
-4
Let p(s) = 22*s**3 - 3*s**2 + 3*s - 1. Let g be p(1). Let k = g + -16. Suppose 2*c - c = 13. Solve 2*z = -a + c, -17 = a - k*a - z for a.
3
Let f(z) = -z**2 - 11*z - 20. Let r be f(-8). Solve 0 = -2*d - m - 9, 0 = r*d - 3*d + 4*m + 8 for d.
-4
Let m(z) = 7*z. Let a be m(1). Let p be 102/5 + 2/(-5). Let v be 1 - 0/2 - -1. Solve -a = -x + 2*y, v*y + 2*y = -p for x.
-3
Let b(v) = -v**2 + 8*v - 3. Let w be b(7). Suppose -4*r + 8 = -2*r - w*j, -j - 2 = 0. Solve -4*i + 3*p = 4, p + 12 = -r*i - 2*i for i.
-4
Suppose 5 = -g + 20. Solve b + 17 = 3*t, -4*b + b = g for t.
4
Let z = 8 - 3. Let c = 2 + 1. Let p = -3 + 14. Solve -4*w = -c*a + 1 - 7, -p = -z*w + 2*a for w.
3
Let m = 2 + -4. Let l be (-30)/m + 4/2. Let v = 3 + 2. Solve -v*u + 3*x - l = 0, 3*x + 5 = -2*x for u.
-4
Let o = -17 + 20. Solve 4*f - o*u = -7, u = 5*f - 2*u + 5 for f.
2
Suppose 0 = 2*j - 0*j + 2. Let t be (3 + -2)/(j/(-2)). Suppose -t*x - 30 = -5*x. Solve -x = z - 3*z, r = -4*z + 15 for r.
-5
Let n = 3 - -2. Solve -4*z + 2*z - 14 = -2*p, -26 = -n*p + 2*z for p.
4
Let a be (-1 + -2)*24/(-18). Solve 0*s - 10 = -a*n - 3*s, 5*n = 5*s + 30 for n.
4
Let r be (0 - 1)*(4 - -2). Let k(c) = 2*c**2 - 2*c - 2. Let b be k(3). Let h = r + b. Solve 4*m + 0*m - 2*n + h = 0, -n + 2 = -4*m for m.
0
Suppose -4 = -p + 4. Suppose 3*w + 2*z - 22 = -p, -z = 4*w - 12. Solve -w*a = 2*i - i - 5, -5*i - 45 = -4*a for i.
-5
Let o be 1 + (-12)/4 - -7. Solve -4*h - 3*w + 9 = 0, 3*h - o*w + 18 = 3 for h.
0
Suppose 4*x - 21 = x. Solve h = 3*f + x, 0*f - 5 = -2*h + 3*f for h.
-2
Suppose 10*h - 7*h = 2*l - 1, -4 = -4*l + 4*h. Solve 0 = 2*p - 4*u - 0 + l, 3*p = 2*u + 1 for p.
1
Let u = 22 + -22. Solve 5*l + 3*i - 37 = u, -5*i + 12 = -2*i for l.
5
Suppose -3*s = 2*s - 10. Suppose 0*t + 20 = -5*t, q - s*t = 14. Let f = -49 + 52. Solve -23 = f*g + q*n - n, -2*g = 3*n + 14 for g.
-1
Let m be (16/(-28))/(2/(-7)). Suppose -m*z + z + 4 = 0. Solve -2*t + 0 = z*f + 12, 0 = t - 4*f for t.
-4
Let n be -1 + 6*4/8. Solve 0 = -3*b - n*y + 2, -3*b + 8 = -0*b - y for b.
2
Suppose -4*u + 25 = q, 2*u + u = 3*q. Suppose -2*f + q = -f. Solve 6*b = 3*b - 3*z + 3, 0 = 3*b - 5*z + f for b.
0
Let a = 14 - 14. Solve -d - 5*n + 28 = a, -d = -4*d - 4*n + 29 for d.
3
Suppose -2*m + 5*b + 37 = -0*m, 5*b = 3*m - 43. Suppose 4*i = 5*y + m, -5*y + 2 = -0*i - 2*i. Solve 9 = h + y*w, -4*h + 11 = 3*w - 0*w for h.
-1
Let c(x) = -3*x - 3. Let j be c(-2). Suppose -2*o + 6 = 2*r, 5 = 2*o + 3*o. Let u = 0 + r. Solve a - u*g - 4 = -j*a, -5*a = 3*g - 16 for a.
2
Suppose 2*z + z - 9 = 0. Solve 4 = t - z*v - 10, -v = 2*t for t.
2
Let t(v) = 3*v**2 - 4. Let p be t(3). Let a = p - 1. Suppose -7*g = -3*g - 4, 2*b - a = 4*g. Solve 5*m + 29 = 4*i, 4*m - 2*m - 3*i = -b for m.
-5
Let n(u) = u**3 - 6*u**2 - 2. Let l be n(6). Let j = l - -2. Solve 3*q + 3*d - 24 = j, 2*d + 4 = 3*q - 0 for q.
4
Suppose 0*f - 5*y = 2*f - 21, 3*f - 3 = 2*y. Let x = -1 - -3. Solve -3*k = x*n - 6, -4*k - 2*n + n = -f for k.
0
Suppose 2 = 2*m, -x = -m + 2*m - 34. Let l = x - 23. Suppose -5*u = -