2*h + 10 for h.
-4
Let n = 1737 + -1729. Solve 24 = -5*a - 5*x - 21, -2*x - n = 0 for a.
-5
Suppose b + 20 = 13. Let w(v) = -9*v**3 + v**2 - v - 1. Let n be w(-1). Let q = b + n. Solve c - q*o - 1 = -14, 10 = 2*o for c.
2
Suppose -54 = 2*k + k. Let n = -3 - k. Suppose 3*p + 0 = n. Solve 5*f = 2*t - 0*t + 25, p*t = -5*f + 25 for f.
5
Suppose -4*r - 21*r = -75. Let s(w) = -w**2 - w + 5. Let t be s(0). Solve r*l + g = -t, 0 = -4*l - 3*g + 2*g - 5 for l.
0
Suppose 9*v = 15*v. Suppose -2*i - 7 = -5*y, -5*i + 3*y - 8*y + 35 = v. Solve 5*n = 3*q + 16, 0*n - 18 = 5*q - i*n for q.
-2
Let o be 1/(3 + -2)*0. Let n(i) = 1 + o - 4 + 2*i. Let d be n(3). Solve 0*t = c + d*t + 1, -8 = -2*c - t for c.
5
Suppose -7 - 13 = -5*s. Suppose -28 + s = -8*p. Solve -12 = 3*a, -2*a = q + p*a + 16 for q.
4
Let h = 71 + -48. Let y = -11353 + 11357. Suppose -s = -l - 4*s - 15, 0 = -l + 4*s + 20. Solve 2*r + 2*i + l*i = 4, i + h = y*r for r.
5
Suppose -92*y + 2268 = -11*y. Solve 0 = -5*u + 2*g + y + 1, -4*g + 7 = 3*u for u.
5
Suppose -2*u + 10 = 2*m, -2*m + 51 = 4*u + 21. Solve 4*k - k + 5*j = -16, 5*j = -u for k.
-2
Suppose -22*m - 8*m + 90 = 0. Solve -v = a, -m*a - 2*a + v = 0 for a.
0
Let p be 0/(-4) - (-6)/3. Suppose 0 = -4*o + 12, p*o = 2*b + 3*o - 7. Suppose -g + 1 = -0*g, 5*g = b*t - 33. Solve 15 + 10 = 5*f, -2*s + t = 5*f for s.
-3
Suppose -2*a - 4 = -2*b, -3*a - 2*b - 13 = 8. Let f = a + 9. Solve f*h = o - 0*o - 5, -o + 5 = h for h.
0
Suppose 0 = -2*n - 5*s - 25, -n - 3*s + 4 - 19 = 0. Let d be (n - 2) + (2 - -22 - -2). Solve -3*r = -7*r - 4*j + d, -6 = -3*j for r.
4
Let s = 1295 + -1291. Solve m = 2*b + 6, -s*b + 2*m - 6*m = 0 for b.
-2
Let h be (1 + 6/4)/((-130)/(-260)). Solve 15 = -2*k - h*p, -k + 4*k - 3*p - 9 = 0 for k.
0
Suppose 887*n - 885*n + 14 = -5*x, 3*n - 21 = 3*x. Suppose -17 + 5 = -4*o. Solve 5*r - 13 = -n*b, -3*b - 6 = -3*r - o for b.
1
Suppose 0 = 4*s + 2*w - 46, -4*w + 2 - 10 = -2*s. Solve -5*k - 4 = 3*l - 0*l, 2*l - 3*k = s for l.
2
Let y be (-5)/((-25)/48) - (-6)/15. Let c be (-2 + y/8)/((-12)/32). Solve -3*p - 5*t + 12 = 0, -c*t = -t - 3 for p.
-1
Let g(c) = -75*c**2 - 82*c - 2. Let r be g(-1). Solve 4*d + 6*a = 3*a + 25, -r*a = d - 19 for d.
4
Suppose 0 = 36*i - 28 - 80. Solve 5*p = 5*m - 10, 5*p - 1 = -i*m - 3 for p.
-1
Suppose 3*h - 5*a - 41 = 0, -4*a - 3 = 3*h - 62. Solve -b + 5*b - h = i, 3*i + 15 = 3*b for i.
-1
Suppose 5*o + 31 = 1. Let k(j) = j + 25. Let h be k(o). Solve -f - 2*f = -3*a + 12, -4*a - 3*f = h for a.
-1
Let q(l) = l**3 - 3*l - 18. Let w be q(3). Solve -5*o = -5*t - 20, -3*t - 5*o = -w*t + 20 for t.
-5
Let b(k) = 2*k**2 - 10*k - 7. Let u be b(6). Suppose p - 4*r - 2 = 3*p, -u*r = 4*p + 1. Solve -2*d - 8 = 0, -2*c + 3*d = -p - 5 for c.
-3
Suppose -2*x = -2*l + 54, -x - 39 = 2*l + 3*l. Let f = x + 36. Solve -b + c = -0*c - 3, -4*c - f = b for b.
1
Suppose 6 = 2*g, -5*g = 2*o - 13 - 12. Solve 4*k - 3*r + 3 = -2*r, 5*r = -o*k - 35 for k.
-2
Suppose 3*j = j + 4. Suppose j*n = 5*f + 7, 6*n - 4*f - 26 = n. Let h(x) = 4*x**2 - x. Let g be h(-1). Solve 0 = -2*y - g*o + 3*o - n, 31 = 3*y - 5*o for y.
2
Suppose 15 = -10*y + 65. Suppose z = 3*r + 9 + 4, -3*z + 23 = -y*r. Solve 3*g - z - 5 = 5*v, g = -4*v - 15 for g.
-3
Suppose u - 1 = -f, 4*u - 3*f - 37 = -12. Solve -m + u*h + 1 = h, -2*h = -3*m + 3 for m.
1
Let z = -5 - -19. Let m be z/21 + (-21)/(-9). Solve -2*n = -4*h + 12, m*n = 3*h + 2*h - 15 for h.
3
Suppose -2*z + 12 = 2. Let d = -1 + z. Let k(c) = -c**2 + 7*c - 7. Let i be k(d). Solve -i*o - 25 = 4*l, -o - 2*o - 15 = -l for o.
-5
Suppose 539 = -18*y + 11*y. Let c = 89 + y. Solve -4*s + 2*s = 2*v + c, -4*v + 8 = -4*s for v.
-2
Suppose -11*o + 8*o = 444. Let n = o + 151. Solve n*h = -f - 13, -17 = f + 3*h + h for f.
-1
Let g = -40 - -42. Suppose 6*k + g = 14. Solve -3*y = k*j - 4*j + 4, -y = 4*j + 20 for j.
-4
Let n be 36/(-21) - 8/28. Let b be (0 - 1) + (-5 - n). Let l be 3 + b + 12/3. Solve -3*o = l*m - 6*m - 12, -16 = -m - 4*o for m.
0
Let f(r) = 7*r**2 - 12*r + 7. Let v be f(3). Let x = -31 + v. Solve -i + x = 0, -5*i = 3*m - 28 - 2 for m.
5
Let n be -3*14/6 - -10. Suppose 0*j + 2*g - 32 = -5*j, -4 = -3*j - 5*g. Suppose 0 = -3*o + j*o. Solve -5*t - q - 4 = o, -2*t - n*q - 3 = 9 for t.
0
Suppose 24*j - 213 = 147. Solve 1 = 3*h - y - j, y = -h for h.
4
Suppose 18 = -11*k + 40. Suppose 0 = 5*o + 4*d - d - 24, 4*d = -o + 15. Solve o*z - k*z = -4*q - 15, 3*q + 13 = z for z.
1
Let y = -34 - -103. Suppose -5*j + 3*z - 149 = 0, -3*j - 4*z - y = z. Let s = j + 31. Solve 2*m - 11 = -4*f - 29, -f - 2 = s*m for m.
1
Let a(o) = -7*o - 260. Let k be a(-39). Solve 5*h = 16*q - k*q - 17, -3*h = -3*q + 15 for q.
4
Suppose 5*u - 16 = -1. Solve 3*i = u*k - 6*k + 3, -5*i = 4*k - 4 for k.
1
Let w = 30 + -29. Let s be w/5 - (-240)/50. Solve 3*k + 4*y - s = 4*k, 5*k + 5*y = 0 for k.
-1
Let s(n) = n**3 + 8*n**2 - 10*n - 7. Let x be s(-9). Let w = x + 3. Suppose 0 = -w*b + b. Solve -14 = -0*m - m + 2*l, b = 4*m - l - 21 for m.
4
Let d = 2 + 11. Suppose q - 5*h - 9 + 4 = 0, 31 = -4*q + 3*h. Let p = -6 - q. Solve z + 2*v - 2 = -z, -z - p*v = -d for z.
-3
Let g = 4 - -66. Let s = g - 67. Solve 3*x + s*n - 9 = 0, 21 = 3*x + n - 4*n for x.
5
Let f(h) = -24*h - 2. Let b be f(-1). Let t = b + -21. Solve s + t = p - 6, -s + 3 = 4*p for s.
-5
Suppose 0 = 7*c - 2 + 2. Suppose c = -0*n + 4*n - 60. Solve 5*j + 4*y = 41, j - 4*y + n = 4 for j.
5
Let c = -366 - -562. Suppose 0*s = 5*s + 5*j - 200, 4*s - c = 5*j. Suppose v - s = -19. Solve 0 = 5*n - w - v, -2*w - 5 - 1 = n for n.
4
Let k(i) = i**2 - 7*i + 8. Let y be k(6). Suppose 7*v - 60 = -32. Solve -y*x + 4*q = -2, 3*x - v*q + q = -3 for x.
-3
Suppose -p = 4*b - 2, -3*p + b - 8 = 6*b. Let r = p + 6. Solve -3*f + 26 = -r*i - 5*i, -3*f + 2*i = -14 for f.
2
Suppose 51 = -7*l + 4*l. Let i = -8 - l. Suppose -i + 5 = -p. Solve -5 = 3*a - p*h, 3*h - 9 = -5*a + h for a.
1
Let w be 5*(2/(-2) + 11). Let z = 50 - w. Solve -5 = 2*k + s, z = k - 5*s + 3*s + 5 for k.
-3
Suppose 4*h - 3 = -19, -4*o - 2*h = -4. Suppose 0 + 9 = o*j. Suppose -j*n = -2*n - y - 9, n - 2*y - 11 = 0. Solve -4*w + 2*a = -10, -2*w - w + a = -n for w.
2
Let h = 341 - 334. Solve 5*l + 24 = -3*s, -5*l - 3 = -11*s + h*s for s.
-3
Suppose 0 = -9*v + 8*v + 3. Suppose -16*o + 17*o - v = 0. Solve 3*x - 2*k + o*k = -9, 0 = 5*x + k + 13 for x.
-2
Suppose 400*d = 408*d - 16. Solve d*m - 5*o + 20 = -0*o, 0 = 2*m + 3*o - 12 for m.
0
Let o = -364 + 367. Solve 4*v + g = -25, v - o*g = -v + 5 for v.
-5
Suppose 2*v = -3*u + 6*v - 8, -5*v + 10 = 3*u. Solve 5*n + 0*n + 15 = u, -b + n = -2 for b.
-1
Let z(j) = -j**3 - 12*j**2 - 22*j - 20. Let g be z(-10). Suppose -4 = -3*t + a, g*t = -4*t - 3*a + 27. Solve v - 14 = -3*o, 0*o - t*o + 19 = -4*v for v.
-1
Let d = -45 - -48. Let c be -3*1 + -3 + 4. Let k = 2 + c. Solve -x - 4*l - d - 4 = k, l = 3*x - 18 for x.
5
Let q(v) = -v + 1. Let p be q(-3). Suppose 0 = -u - 2*w + 7, 4*w = -0*u + 4*u - p. Suppose 45*h - 629 = 271. Solve i = -a + 2, 5*a = a + u*i - h for a.
-2
Suppose 0 = 8*n - 8 - 24. Solve -5*i = 3*d + 12, d + 2 = 3*i - n*i for i.
-3
Suppose -2*l = -9*l. Suppose l = -i - 3*u - 2*u - 16, -12 = 2*i + 5*u. Solve 0 = -5*f + i*a - 3, -2*a = -5*f - 3*a + 7 for f.
1
Let i = 165 - 162. Solve -i*k = 2*r - 22, 5*r - 11 - 30 = -4*k for r.
5
Suppose -n = -p - 6, 5*n + 24 = -2*p + 26. Solve -a - 12 = -4*z, -10 = -4*z - 4*a + n for z.
3
Let k = 4 - -2. Let t(r) = -2*r + 14. Let x be t(6). Let l be 1 + 4 + -3 + x. Solve y + 5*p = -11, 0 + k = l*y - 5*p for y.
-1
Let u be 10/4*(16/20 - -4). Suppose -70*k = -68*k - u. Solve -k*f + s = -f, -2*f + 5*s = 0 for f.
0
Let y(t) = -2*t**2 - 86*t + 3. Let f be y(-43). Solve -28 = f*a - 4*r, 0 = -3*a + a + 3*r - 20 for a.
-4
Let z = -17 - -19. Let h = 7 - 5. Suppose -3*b = t - 6, -h*b - 3*b + t = -18. Solve 3*g = -4*s + 1 - z, -b*s = -3*g + 6 for g.
1
Let p(x) = x**2 + 8*x - 4. Let z(g) = g**3 + 14*g**2 + 13*g - 9. Let a be z(-13). Let r be p(a). Let s = 5 + r. Solve -6*q + 3*q + 1 = -5*f, -5*q = -s for f.
1
Suppose -4*n = 4, -6*z + 8*z = -n + 45. Solve -4*s - f - z = s, f = 2*s + 12 for s.
-5
Let p = -874 - -906. Solve 0*r = -4*z - 3*r + p, -4*r = 4*z - 36 for z.
5
Suppose -9 = 3*h, 3*h = -0*u + 3*u - 252. Let g be 172/36 + -3*(-6)/u. Solve 0*w + 25 = -2*t - g*w, w = -4*t - 23 for t.
-5
Let