- 3 = 2*c - x for c.
4
Suppose 3*x = 8*x + 4*h + 99, 39 = -x + 4*h. Let k = x - -26. Solve -3*m - r = k, 4*m + 3*r + 9 = 3*m for m.
0
Let m be ((-2)/(-2))/(((-138)/(-24))/23). Solve -m*d + 18 = l, d + 2 = 7 for l.
-2
Suppose 2*n - 8 = -2*a, 17 = 2*n - 5*a + 2. Suppose g + 2*t = t - 1, -t = 3. Suppose 0*m = -m + g. Solve -2*v - 4 = n*z - 1, -m*v = 3*z + 1 for z.
-1
Let j = -1058 - -1059. Suppose u - 5 = -3. Solve -2*f + j = -i, 3*f + u*i - 19 = -0*i for f.
3
Let d = 26 - 70. Let j be (-76)/(-18) + d/198. Solve 20 = j*z, 2*b + 2*b - 4*z + 12 = 0 for b.
2
Suppose -5*w - 116 = -18*w - 16*w. Let s = 1 - 1. Let v = s - -4. Solve v*c + 3*j - j = 4, -16 = -4*c + w*j for c.
2
Let o be (718/4)/((-10)/(-20)). Suppose 111 = -8*l + o. Solve 5*w - 2*a = 1 - l, 2 = 2*w + 2*a for w.
-4
Let s(o) = o**3 - 4*o**2 + 5*o - 5. Let t be s(4). Let h = t + 0. Solve r = -5*y + h, -4*y + 3 - 5 = -2*r for y.
2
Suppose 5*t = -3*y + 54, 44 = 4*t + 4*y + 4. Suppose -2*d - 20 = -0*d. Let r = t + d. Solve x - 14 = -2*b - 6, 0 = -3*b + r*x - 2 for b.
2
Let i(c) = 3*c**2 + 35*c - 8. Let a be i(-12). Solve -4*f = -2*n - 14, -16 = -2*n + 2*f - a*f for n.
3
Suppose -4*u - 47 = -63. Suppose 4*q - q - 22 = 4*n, u*n + 10 = q. Solve -1 = -t, 3*b - 2*t + q = 1 for b.
-1
Suppose -13*u + 36 = -42. Solve 4 = -2*t, 3*x + 3*t + u = 2*x for x.
0
Let z = -13 + 15. Suppose z*o = 3*k, 3*k = 5*o - 12 + 3. Solve -k*l + 2*d = -l - 8, -14 = -3*l + 4*d for l.
-2
Let c(o) = -2*o**2 - 30*o + 52. Let h be c(-16). Solve -5 = n - 3*z + 2*z, -4*n = 3*z + h for n.
-5
Let m = 5 + -1. Suppose 1 = v - m. Solve v*l + 45 = 4*n, 5*l + 0*l = -3*n - 10 for n.
5
Let m = 642 - 638. Solve 3*k = 6*k - j + 11, -j + 15 = -m*k for k.
-4
Suppose -535 = -70*p - 45. Solve 3*n - p = 5*x - n, 5*n - 2 = 4*x for x.
-3
Let a(d) = d. Let m(p) = -5*p + 0 + 0*p - p + 1. Let y(z) = -33*a(z) - 6*m(z). Let f be y(4). Solve 4*j + 12 = -4*o, -o + 3*o = -f for j.
0
Suppose 41*x + 10 = 43*x. Solve -o - x*l - 20 - 1 = 0, 3*l = -o - 13 for o.
-1
Suppose -3*h - s - s - 41 = 0, -3*s - 70 = 5*h. Let x = -14 - h. Solve 0 = d - c + x*c + 1, 0 = 5*d + 4*c + 11 for d.
-3
Let d be (-244)/(-8) + 2/4. Suppose 4*u + 23 = d. Solve r - 3*r + 5*x = -21, -2*x - 14 = u*r for r.
-2
Let s(c) = 6*c + 5. Let q be s(-8). Let p = -25 - q. Let z = p - 17. Solve -4*v - 14 = -3*o, v + 0*o = 2*o - z for v.
-5
Let h be 33/(-21) - -2 - (-75)/21. Let d be 2 - h*(-3 - -1). Let a(b) = b**2 - 3*b + 2. Let w be a(3). Solve 7 = -r + 4*k - w*k, 5*k = -5*r + d for r.
-1
Suppose 0 = -5*h + 131 - 151. Let u be (-1 - 1 - h)*(-15)/(-6). Solve 0 = 4*f - 3*b + 7*b - 20, u*f = 4*b + 7 for f.
3
Let s(b) = -b**2 + 10*b. Let f be s(5). Let i = f - 23. Solve -12 = -4*v + i*m, 3*v - 3*m + 0*m - 15 = 0 for v.
1
Suppose 5*v - 4*n + 29 = 0, -1 = n - 2*n. Let u be v/10*4 + 4. Solve j = -3*m - 2, 0 = j + u*j + 5*m + 2 for j.
1
Suppose -5*r + 125 = -5*p, -2*r - 98 = 4*p - 4*r. Let l be (66/(-55))/((p/15)/4). Solve 3*t - l*s = -4*s - 9, 2*t + 2*s + 2 = 0 for t.
-4
Let r(l) = 2. Let i(f) = f - 4 - 2*f + 0*f. Let g(p) = -3*i(p) - 5*r(p). Let v be g(5). Solve 4*b - 4*y = 20, -b - 2*b - 5*y = v for b.
1
Suppose 4*d + w - 46 = 0, 5*d - 14 = -w + 43. Suppose 4 = -2*g - 2*g, 2*f - d = 3*g. Solve -f*r - 5*n + 3 = 0, 10 = 5*r - 5*n - 5 for r.
2
Let t(y) = -y + 7. Let g be t(5). Let n be -2 + (g + 2 - -1). Let b be 6 - n*2/6. Solve -11 = -3*x + 4*h - b*h, 3*h - 5 = 5*x for x.
2
Suppose 9 = 7*o + 11 - 16. Let j be 1 - (-4*1 - -2). Let y be j + 3/(3/2). Solve x - 3*k - 4 + y = 0, k + 9 = -o*x for x.
-4
Let z be (2/4)/(7/70). Suppose 81 = 4*f - t, 72 = 3*f - z*t - 10. Solve 7*i + l = 4*i + 7, -3*i + f = -5*l for i.
3
Suppose 4 = -2*u - 24. Let p be (-7)/(u/12) + -3. Solve p*j + 10 = -w, -w = w + 5*j + 15 for w.
5
Let b(t) = 0*t**2 + t**2 - 3 - 11. Let w = 108 + -101. Let s be b(w). Solve -s = -3*q + 5*c, -2*q = -2*c - 12 - 6 for q.
5
Let o be -2*(3/4)/3*0. Solve 3*t - 3*l + 18 = 0, 0 = t - 2*l - o*l + 7 for t.
-5
Suppose -5*o = -o + 20. Let n = o + 12. Solve -i = -3*v - n, -v - v + 2 = -4*i for v.
-3
Suppose 3 = 2*m - m. Suppose 0 = m*b - 7*b + 8. Solve -b*w - 4*g = -3*g - 1, -5*g = -5 for w.
0
Let n = 730 - 727. Solve 0 = 4*q + 5*c - 5 + 1, -2*q - n*c = -2 for q.
1
Suppose -12 = 3*x - 30. Suppose w + 65 = x*w + 5*o, -o = 4*w - 67. Solve 15 = -5*g, -5*i + 8*i - w = 5*g for i.
1
Let k(v) = 8*v**3 + v - 1. Let h be k(1). Let f be 14/(-7)*12/(-8). Solve f*x + 2 - h = -5*u, -u - 3*x = 6 for u.
3
Suppose -2*y - 1888 = -1914. Solve b - 5 = 3*d + 6, d + 3*b = y for d.
-2
Let h = 57 + -33. Let r = -20 + h. Solve 2*t = 3*b + b - 6, r*b - 7 = t for t.
1
Let m(l) = -l**2 - 11*l - 3. Let j be m(-5). Let b = -27 + j. Solve -2*c - 2*f = -b*c - 18, 3*f = -5*c + 35 for c.
4
Let t be 3/(3/32) + -2. Suppose -x + 2*w - 6 = 0, -2*x + 77 = 4*w + 49. Suppose -22 = -x*h + t. Solve i + 5*z = -24, -2*i = 2*z + h - 5 for i.
1
Suppose 649*a - 650*a + 25 = 0. Solve 5*n = 0, 5*i + 3*n = -0*i - a for i.
-5
Suppose 283*u = 279*u. Solve 2*i + u*g - 8 = 3*g, -5*g = 3*i - 12 for i.
4
Suppose 7*y = 2*y + 20. Suppose y*g - 50 = -g. Solve 2 + g = -3*m - o, 2*o - 3 = 3*m for m.
-3
Let t = -24 - -24. Let f(p) = 23*p**2 - p - 2. Let g be f(-1). Suppose -y = 2*j - 19, 3*j + 17 = -2*y + 44. Solve t*m + 4*m - z - j = 0, g = 5*m - 4*z for m.
2
Let t(q) = 4*q - 34. Let s be t(9). Solve 4*c - 8 = l, 5*l = -c + s - 0 for l.
0
Let y(z) = z**3 - 5*z**2 + 5*z - 1. Let o be y(4). Let r be -9*((-1)/o + 0). Let v = 53 + -34. Solve 2*d = -5*i, -d + 6*d = -r*i + v for d.
5
Let s be (-2 + (-1)/(-2))*2. Let a be (2 - (-1 - -3))/s. Solve 3*i - b + 6 - 2 = a, 2*b - 5 = 5*i for i.
-3
Let k be (-1 - (-35)/(-10))*-2. Suppose -4*d + k = -3. Solve 0 = d*w + 2*f - 0 + 9, 4 = -2*w - 2*f for w.
-5
Let q(f) = -4*f**2 - 6*f + 1. Let d be q(-4). Let i be (-138)/(-36) - (2 + d/18). Solve -10 = 2*x, n - i*x - x = 20 for n.
-5
Let m(q) = q**3 - 19*q**2 - 2*q + 33. Let k be m(19). Let l = k + 8. Solve 2*y - l*y = 0, 4*j + 16 = -4*y for j.
-4
Let p = -94 - -102. Solve y = 2*t + 4, -4*t - p = -3*y - 0*y for y.
0
Suppose -5*p + 8*p = 0. Suppose p = -0*t - 2*t + 8. Let a(z) = -z**2 - 12*z - 27. Let b be a(-8). Solve -t*l - 15 = -0*l + b*o, 4*o = -12 for l.
0
Suppose 0 = 10*p - 19*p + 36. Solve 2*f - 2*a + 6 = -4*a, 0 = -p*f + a - 7 for f.
-2
Let h be 1 + ((3 - 3) + 1)*3. Solve -g = g - h*l - 6, -g = -l - 3 for g.
3
Let l(s) = -s**2 + 17*s - 70. Let d be l(9). Let i(f) = f**2 + f + 5. Let t be i(0). Solve -t*x = 2*g - 7, 3*x - d*x - 4*g = 19 for x.
3
Let y(v) = v**2 + 15*v - 13. Let n(s) = -s - 2. Let a be n(14). Let l be y(a). Solve 0 = -5*h + 2*d - 0*d + 14, l = d for h.
4
Let r be (0 - (-8)/10)*150/(-60). Let f be 2/r - (-12)/(-2 - -6). Solve -2*i + 30 = i - 3*p, -f*i + 30 = -4*p for i.
5
Let h(m) = -6*m + 29. Let j be h(4). Solve 3*t + 0*t = -f + 4, 0 = 4*f + j*t - 16 for f.
4
Suppose -2*u = 5*j + 1, u - 2 + 4 = -4*j. Suppose -3*a - 4*o = -16, 2*a + 2 = u*o - 6. Solve 4*q = -12, 0 = -f - a*f - q - 5 for f.
-2
Suppose 3*w + 6 = -3*h, 5*h = 4*h - 3*w - 6. Solve -k + 3*y + 15 = -h*y, -5*y - 11 = 3*k for k.
3
Let p(d) = d**2 - 16*d + 20. Suppose 2*g - j - 5 - 1 = 0, 3*g = -5*j + 9. Suppose 0 = f + g*f - 60. Let t be p(f). Solve -t*q + 3*x - 4 = 4*x, 0 = x - 1 for q.
-1
Let i be (-13 - -69)/8 - (7 - 0). Solve 4*g = 5*r - g + 15, r + 2*g + 3 = i for r.
-3
Let x be 52/(-91) - (-116)/7. Suppose -17*y + x*y = -6. Suppose 5*k - 10 = 3*a, -2*k - k + y = 4*a. Solve o - 7 = -2*s, -k*o + 0*s - s - 1 = 0 for o.
-3
Let k = 9 - 6. Suppose q - 2*p - 14 = -k*q, 31 = 5*q + 2*p. Solve 2*w = 8, 3*w = -q*a + 2*w - 1 for a.
-1
Suppose -i = -1 - 1. Suppose 4*c - 6*c + 21 = 3*t, 0 = -5*t - c + 28. Solve 4*s = -o + 8, i*s = t*o - 11 - 7 for o.
4
Let f be 35/(-14)*(-4)/2. Let k be 2 - (-4 - -17) - 0/1. Let q = 16 + k. Solve -5*t - 4*s + 6 = 0, -q*t + 0*s + 5 = f*s for t.
2
Suppose 2 - 11 = -3*j. Suppose y = 5*u - 10, y - 4*u + j = -4. Solve -y*o = -4*v - 32 + 1, -o + 3*v = -15 for o.
3
Suppose -6*v + 508 = 496. Solve -s - v = 0, 0 = -3*f - 5*s - 3 + 5 for f.
4
Suppose 2*u - 18 = -4*d - 4, 3*d - 3*u - 15 = 0. Solve -2*k + 12 = 2*a - d*k, 5*k + 24 = -a for a.
1
Let l = -28 - -33. Let v be 11/l - 2/10. Solve 5*i + 17 = y, -v*y - 16 = i - 6 for y.
-3
Let s = 0 - -2. Suppose -55*c + 4*j + 4 = -56*c, -5*c + 5