z*a + 20 for a.
5
Let p be (-3)/(6/(-8)) - (11 - 10). Solve 0 = -p*g + 5*s + 20, 0*g = 5*g + 3*s + 12 for g.
0
Let b = 30 + -17. Suppose 3*i - 3*o - 39 = 0, 52*o + 12 = 49*o. Solve -3*q - 4*s - b = -6*s, -3*s + i = -q for q.
-3
Suppose -3*s = -7*s. Let w = -100 - -97. Let j = s - w. Solve 4*t = -3*v - 3, 2*v = v - 2*t - j for v.
3
Let p be -11*((-15)/3 - -3). Let s = p - 0. Solve -2*v + 0*o = -2*o + 8, -2*v + s = 4*o for v.
1
Suppose 87*v - 48*v = 546. Solve -6 = -q + c, -4*q = -0*q - 2*c - v for q.
1
Let g be ((-52)/13)/(4 + 0 - 5). Solve 0 = -3*b - 4*j + 19, 3*b - g*j = -j - 9 for b.
1
Suppose -96 = -4*k - 5*f, f = 4*k - 4*f - 56. Let x be (-3)/6*(-1 + 1). Suppose x = -8*w + w + 21. Solve -n + 5*j = -k, -19 = -w*n + 2*j - 1 for n.
4
Suppose -4*l - 40 - 32 = 0. Let m be -1 + 0 + 2 + 18/l. Solve 5*g + 0*c - 25 = 5*c, 3*c + 6 = m for g.
3
Suppose -2*s - 75 = -13. Let p = s - -34. Suppose -p*l = l. Solve -8*i + 4*i = 2*a + 2, l = 2*i - 4*a + 6 for i.
-1
Let p be (-5)/(-2) - 42/28. Let k be 2 + p + 12/6. Suppose 3 = k*h - 17. Solve 0 = 4*z + 4*y, -3*y - h = 3*z - 4*y for z.
-1
Let m(v) = 2*v - 3. Let j be m(12). Suppose 3*a = -2*a + 4*s + j, 2*s + 18 = 4*a. Solve a*d + 4*l - 7 = -27, -5*d = -4*l - 20 for d.
0
Suppose 353*n = 342*n + 154. Solve 5*t = 2*p + p + 22, -3*t + n = -p for t.
5
Suppose 19 = 5*j - 31. Suppose 6*i - j = 20. Suppose -5*q - 3*t = -35, 0*q + 4*q - 25 = -3*t. Solve 5*y - z = -2*z + q, -i*z - 2 = -y for y.
2
Let u = 37 - 35. Let x = 13 - -3. Solve 7*y - u*y + g = x, 0 = -4*y - 4*g for y.
4
Let x(a) = a**2 + 7*a - 42. Let o be x(-11). Solve -4 = r, -y - y = -2*r - o for y.
-3
Let q = -2858 - -2859. Solve -5*k = -5*p - 6*k + 25, -p = -k + q for p.
4
Let c(p) = -4*p + 6. Let s be c(-8). Let v = s - 18. Let q = 22 - v. Solve q*j + 6 = 2*l, 0 = -4*j + 3*l - 0*l - 10 for j.
-1
Let w = -130 + 134. Solve 2*p = w*i + 6, p - 3*p = 6 for i.
-3
Let i(l) = -l + 3. Let o be i(-1). Suppose o = -11*x + 12*x. Suppose 4*q - 14 = z, -z = -3*q + x*q - 6. Solve -r = -5*r + q*t + 8, 13 = 5*r - 2*t for r.
3
Let r be 1/(-2)*(8 + -4). Let k be -12*(-1)/(2/r). Let j(d) = -d**3 - 11*d**2 + 11*d - 9. Let g be j(k). Solve 0*h + 2*h - 13 = -g*u, 0 = -5*u + h for u.
1
Let n(k) = 8*k + 428. Let v be n(-53). Solve 0*f = 3*f + 2*j - 1, -v*f - j + 3 = 0 for f.
1
Let x(v) = -4*v + 65. Let p be x(15). Suppose 0 = -3*o + p*y - 1, -5*o + 3*y + 9 + 0 = 0. Solve 6 = -n - 6*g + o*g, 2*g = -2*n for n.
3
Suppose -5*c - 4*h = -67, 5*h - 5 = -2*c + c. Let t = 21 - c. Solve 13 = 2*j - 3*u, -t = -5*j - u + 18 for j.
5
Suppose 4*i - 5*q = 7, 0*i + 2*i - q = 5. Suppose -3*c - i*h = -2*h - 11, 0 = 2*c + h - 8. Solve -5*w + 0*b - 10 = b, w - c*b = -2 for w.
-2
Suppose 0*d + d = -2*s + 1, 5*d + 13 = -s. Solve -j - s*f + 2 = j, 3*f + 3 = 3*j for j.
1
Let m(j) = 2*j**2 - 2*j - 1. Let l(a) = -a**2 + 2. Let r = 3 + -5. Let i be l(r). Let y be m(i). Solve -s = -4*v - 6, -3*s - y = v - 8*s for v.
-1
Suppose 0 = -n - 5 - 12. Let f = n - -22. Solve 2*a + 0*a + 14 = 4*p, -5*a = f for p.
3
Suppose 514 - 494 = 5*b. Solve 2*w + b*d + 4 = 0, 0 = -w + 4*w - 5*d - 27 for w.
4
Let c(k) = -16*k + 371. Let q be c(23). Solve 5*t + 3*f + 13 = 0, q*t - 4*f = -0*f - 2 for t.
-2
Suppose 10*g = 5*g + 10. Solve -g*s + 5 = -s, -2*p - 4*s + 30 = 0 for p.
5
Suppose -9*o = -14*o + 4*f, 3*o = 2*f. Solve o*s - 3*s = -3*m, 3 = s - 4*m for s.
-1
Suppose -34*v + 88 = 10*v. Suppose -q - 1 + 3 = 0. Suppose 0*o + 1 = 3*t - q*o, -4*o = -v*t - 10. Solve t*x = -4*c - 11, -2*x - 2 = -5*c + 13 for c.
1
Suppose 4*n + l = 48, 5*n + 24 = 7*n + 2*l. Solve 0 = -3*c + 3*o - 9, n = -4*c - 3*o + o for c.
-3
Let q be (472/(-295))/((-4)/10). Let v = 9 + -3. Suppose 0 = -0*x + 3*x - v. Solve m + 5 = -q*m + 3*r, -3*m - x*r = -16 for m.
2
Suppose -2*s + 5*z - 2 = 0, -6 = -s + z - 4. Suppose b - 6*b + 26 = 4*m, 4*b = m + s. Solve 0 = -4*f + b*v + 20, -f - f - 14 = 5*v for f.
3
Let b be 1/(-4) + (-21)/(-4). Suppose 56*w = 11*w + 315. Solve f - w = 3*r, 5*f = -5 - b for r.
-3
Let t = -57 - -59. Let j be t/(-8) - -3*2/24. Solve 0*o + 4*o - 5*b + 36 = j, 8 = -4*o - 2*b for o.
-4
Suppose -2*r - r = -5*x + 37, -x - 4*r - 11 = 0. Let v be 40/x*2/4. Solve 4*z + 5 = -5*g, -2*z - 2*z - 32 = -v*g for z.
-5
Let x(a) = 2*a**2 + 13*a + 15. Let n be x(-5). Suppose 6*v - 4 - 8 = n. Solve 0 = -2*b - 4*w - 26, 22 = -v*b - 6*w + 3*w for b.
-5
Let u be (-12 + 15)/(1 + 0 - 0). Solve -3*p - 9 = -u*a, -8 - 6 = 4*p - 5*a for p.
-1
Let w = -39 + 41. Suppose h = -w*h + 3*j + 9, -5*j - 15 = -3*h. Let b be 10/20*(h - 0). Solve -6*l + 2*l - 5*t - 21 = b, 1 = -l + 3*t for l.
-4
Let d(q) = 4*q - 35. Let m be d(12). Let h = m + -11. Solve -3*u = -5*c - 5, h*c + 4*u + u = -33 for c.
-4
Let g = -52 + 52. Let z = -52 + 57. Solve g = -5*q - u - 14, 2*u - 8 = -2*q + z*u for q.
-2
Suppose -4*o + 4 = 0, 5*d - d - 32 = 4*o. Let i(l) = l**2 - 8*l - 1. Let k be i(d). Let m be ((-4)/k)/((-1)/6). Solve m*a - 4*t = 12, -t = 4*a - 0*t + 3 for a.
0
Let i be (18 - (1 - -3)) + -2. Suppose -4*h - i = -8*h. Solve -1 = -5*c - h*o - 0, -3*c - 3*o + 3 = 0 for c.
-1
Let a = 22 + -31. Let s = -39 - -63. Let y = s + a. Solve 3*u - 5*f + y = -2*u, 2*u = -f for u.
-1
Let b = 36 - 34. Solve b*j = -4*r - 3 + 17, 19 = 5*r + 4*j for r.
3
Suppose 4*w = 2*w + 2. Let m(c) = 4*c**3 + 2*c**2 + c - 2. Let y be m(w). Let v be (-2)/y - (-48)/20. Solve -l - v*l = 4*i + 15, 0 = -2*i - 3*l - 15 for i.
0
Let s(t) = 2*t**2 - 7*t + 6. Let v be s(4). Suppose -y - 8 = -v. Suppose -q + 4*x = -16, 0*x - 2*x - 20 = -y*q. Solve 3*a = m - q, -5*a - 2 = 4*m - 0 for a.
-2
Suppose -5*s = 8*i - 5*i - 35, s + 6 = 2*i. Solve 4*o + s = 4*p, 3*p = -o - 0 - 9 for o.
-3
Let n(m) = m**2 + 0*m + m - 2*m + 3*m. Let k be n(-3). Solve -k*z - 4*l - 6 = 0, l + 3*l = 2*z + 4 for z.
-2
Suppose 0 = -16*o + 2*o + 70. Solve o*b = 4*r - 23, -b - 9 = -3*r - 0 for r.
2
Suppose -67 = -3*l + 17. Let y(j) = 2*j - 6. Let g be y(5). Let b = -7 + 11. Solve -b*r - 21 = a, l = -g*r - r - 3*a for r.
-5
Suppose 4*z - t = 8, 5*z - 19 = 2*t - 3*t. Let k(g) = -g**3 + 3*g**2 + g + 2. Let o be k(z). Solve 0 = y + 2, -o*w - 4*y + 17 = 0 for w.
5
Let m = 93 - 90. Suppose 0*d - 4*d + 44 = 0. Suppose -5*t + 20 + 3 = -x, -t - 5*x = d. Solve 0 = -w - m, -w = o + 2 + t for o.
-3
Let h = 64 + -63. Solve 3*q - 12 = -2*d + 3*d, 2*q - 3*d - h = 0 for q.
5
Let t be (2/(-4))/(3/60). Let o(i) = -i**3 - 11*i**2 - 13*i - 28. Let x be o(t). Solve 4*c + k = -1, c + 4*c + x*k = -5 for c.
1
Suppose -29*z - 9*z = -4*z. Solve z*x = -4*x + 2*s - 2, -5*x + s - 7 = 0 for x.
-2
Let d(j) = j**2 + 5. Let z = 43 - 43. Let m be d(z). Solve m*c + 2*l = 5 + 6, 5*c = l + 17 for c.
3
Let l(q) = -q**3 - 3*q**2 - 4*q - 3. Let y be l(-3). Let t = 29 - y. Let o = 97 + -93. Solve 3*w - z - z + 10 = 0, 0 = -2*w - o*z + t for w.
0
Suppose -2*r = 3*g - 14, 15 = -11*r + 8*r. Let d(q) = q**3 + q**2 + 3. Let c be d(0). Solve c*h - 7*h = -5*s - 7, g = -4*h for s.
-3
Let q = -106 - -205. Let f be (-2)/(-8) + q/36. Solve -f*d - 3*k = -12, -4*k + 21 = d + 5 for d.
0
Let z be (9/(-3))/3 + 6. Suppose i = z*i - 16. Solve i = -3*r - 3*n + 2*n, 2*n + 8 = 0 for r.
0
Let l be 1/(9/3)*9. Suppose -2*h + 6*h + 5*f = 15, l*f = h + 9. Solve 5*d + j + h*j - 16 = 0, 5*d = -5*j for d.
4
Let i(j) = -j**3 + 4*j**2 + 5*j - 3. Let a be i(5). Let v be a/(-3) + 2 - -7. Suppose w - v = 5. Solve p + 2*o = -2, 0*p - w = 4*p + o for p.
-4
Suppose -2*a + 48 = 4*o + 18, 25 = 2*o + 3*a. Solve 6 = -4*k + s + 1, o*k = -4*s + 20 for k.
0
Let g = 3 + -10. Let a(s) = -s**2 + 22*s - 50. Let r be a(20). Let d = g - r. Solve 2*h - 1 = -o + 4, 6 = h - d*o for h.
3
Let z(l) = 42*l + 508. Let o be z(-12). Solve -o*i - 16 = s, 3*s + 11 = -i - 4 for i.
-3
Let r(l) = 11*l. Let g be r(1). Suppose 6*x - 19 - 11 = 0. Suppose 5*s + x = 10. Solve y + n = 2*y - s, g = -y - 3*n for y.
-2
Suppose 4*o = 20, -2*o = -4*u + 3*u - 8. Suppose -4 - u = -3*r. Solve -4*w = -2*t - 26, 4*t - r*t + 31 = 5*w for w.
5
Let s(n) = n + 31. Let d = -41 - -31. Let q be s(d). Solve q = 3*u + 3*l, -3*u - 2*u - 3*l = -27 for u.
3
Suppose 4*o - 85 = -13*o. Solve 4*d = 3*s - 1, s - 5 = o*s + d for s.
-1
Let k(r) = -r**3 + 12*r**2 - 19*r + 3. Let v = -1 + 11. Let b be k(v). Solve 5*d - b = 3*s, -8*s + 11 = -4*s - d for s.
4
Let i = 25 + 19. Let h = i - 42. Solve -4*f + 3*c 