84*c for c.
5
Suppose -3*s + 0*s + 3*p + 12 = 0, 3*p = 0. Let v be 14 - ((-8)/s - -4). Solve 3*w = -0*w - v for w.
-4
Let l be ((-34)/(-4))/(((-30)/(-5))/12). Let o(h) = h**2 + 2*h - 3. Let q be o(-3). Suppose -x = -q*v - 2*v + 8, -5*v = -x - l. Solve 7 = v*j + 19 for j.
-4
Let h = 46 + -52. Let q be 9/h*(-2 - 8). Solve -q = -4*x - x for x.
3
Suppose 0 = -2*l + 3*l + 6. Let z be l/9 - 16/(-6). Suppose 3*c - 3*w - 29 = -5*w, 5*c - 43 = -z*w. Solve c - 3 = -g for g.
-4
Suppose -1 - 59 = -12*q. Solve -q*n - 13 = 12 for n.
-5
Suppose -18*s + 16*s + 132 = 2*v, 5*s + v = 350. Solve -68*r + s*r + 3 = 0 for r.
-1
Let p be 6/(-27) + (-505)/(-45) + 1. Solve 7*i = -9 - p for i.
-3
Suppose 19 = 34*m - 185. Solve -17 = -m*q + 1 for q.
3
Suppose 17*q - 2*q = 4*q. Suppose q = 16*w - 18*w + 8. Solve h = -w*h + 25 for h.
5
Suppose 0 = -4*u + 3*u + 2*z - 2, 0 = -5*u + 3*z + 4. Solve -u*d - 6 = -10 for d.
2
Suppose 3*q - 12 = -q. Suppose v + 3 = 0, 2*g + q*v - 6 = 3. Suppose 6*k = 3*k + g. Solve 0 = k*s - 7 + 22 for s.
-5
Suppose -8 = m - 5*m. Let u be (5 + 5 + -2)*14/(-8). Let v(a) = 2*a + 31. Let d be v(u). Solve 1 = -m*j + d*j for j.
1
Suppose 0 = -2*v + 5*r + 32, 0 = 2*v + v + 2*r - 10. Solve 3*z = v*z - 15 for z.
5
Suppose m + 40 = 3*m. Suppose -2*g - 22 = -5*z + g, -2*z = -4*g - m. Suppose z*a - 30 = -0*a. Solve 2*s - a = -s for s.
5
Suppose 5*y - 10 - 20 = 0. Suppose -y*x + 4*x = 0. Suppose h + 4 - 9 = x. Solve h*s = 2 + 23 for s.
5
Suppose 0*w + 2*w - 1 = l, -19 = -3*w - 2*l. Suppose 4*z - 2 - 8 = 2*q, 13 = -2*q + 5*z. Let f be (-6 - (-1)/q)*-1. Solve -2*t + f = -w*t for t.
-5
Let l = -757 + 758. Solve -10*f - l = 19 for f.
-2
Let i(y) = y**2 - 37*y + 4. Let p be i(37). Suppose -5*u = -p*s - 36, 0 = -u + 5*s - 10*s - 16. Suppose 5*w = -0*w. Solve 0 = -a - w*a - u for a.
-4
Suppose 27 = n + 4*t, n - 4*t = -t + 48. Let z = n + -35. Solve 10 = z*s - 6 for s.
4
Suppose 0 = 5*c + w - 40, -2*c - 12*w = -8*w - 16. Let f be 4/8*(8 - 2). Solve -i + c = f*i for i.
2
Let s(w) = w**2 + 4*w + 10. Let y be s(-3). Solve 4*i = y*i for i.
0
Suppose -21*c + 19*c = -8, -5*c + 40 = 5*h. Solve d = h - 3 for d.
1
Let l = 1006 + -1000. Solve -l*h + 5*h = 0 for h.
0
Suppose -49*b = -229 - 16. Solve 3*g = 2*g + b for g.
5
Let g be (196/42)/(4/(-6)). Let v(z) = -2*z**2 - 14*z + 2. Let m be v(g). Solve -3*w = m*w for w.
0
Suppose -5*j + 12 - 2 = 0. Suppose 2*t - t = 49. Suppose f + 4 = -1, -t = -4*d + 5*f. Solve j*z - 5*z - d = 0 for z.
-2
Suppose -t - 4*u = 8, 3*t + 2*u = 6*u + 24. Let f = t - 3. Suppose -2*h = -5*q, -7*q + 3 = -3*q - h. Solve l - f - q = 0 for l.
3
Let l = -74 + 43. Let h = l + 39. Solve 2*d - 4*d - h = 0 for d.
-4
Let k = -727 + 734. Solve 6*h - k*h = 0 for h.
0
Suppose 111*k - 359*k = -496. Let a = -4 + 8. Let r = 6 - a. Solve k*m + r = -4 for m.
-3
Suppose 0 = -t + 1 + 2. Suppose -5*k + 0*i = 2*i - 24, 4*i + 12 = 0. Suppose 5*b - 5 = k*b + 5*n, 3*n = b - 3. Solve -q + t*q - 8 = b for q.
4
Let a(g) = -4*g**3 - g**2 + 1. Let m be a(-1). Solve -6*q + m = -5*q for q.
4
Let c(f) = -15*f**3 + 46*f**2 - 3*f - 23. Let n(a) = 5*a**3 - 16*a**2 + a + 8. Let o(s) = -6*c(s) - 17*n(s). Let u be o(1). Solve t = u*t + 3 for t.
-1
Let q(v) = -6*v + 2*v - 2304 + 2288. Let r be q(-6). Solve r*g - 1 = 9*g for g.
-1
Let s be (0 - (-4)/2)*1. Let h = -61 - -61. Let q be (h - 2)*(-10 + 6 - -3). Solve r + s = -q for r.
-4
Let m be 0 + (1 + -1)/(-4). Suppose m = l + l. Suppose 3*v - 4 = v. Solve l*i + 10 = -v*i for i.
-5
Let u(g) = -2*g - 5. Let r be u(-4). Suppose -r*n + 2*x - 34 = 0, 0*n + 5*n = 3*x - 58. Let j be (-7)/n + 1/(-2). Solve 0 = m - j + 1 for m.
-1
Suppose 4*g + 3 = 5*g + t, -4*g - t = -3. Let k be ((-132)/(-88))/(12/32). Solve k*v = -g*v - 16 for v.
-4
Let f(i) = -17*i**3 - i**2. Let k be f(-1). Let x = k + -14. Suppose -x*o - 31 = -5*s, 2*s = 3*s - o - 5. Solve -3 - s = -2*r for r.
5
Let r(g) = g**2 + g - 1. Let m be r(-3). Suppose 108 = -m*c + 3*h, -3*c + 3*h - 64 = 2. Let i be 1/((c/24)/(-7)). Solve 2*y + i = -0*y for y.
-4
Let x(j) = 5*j - 37. Let a be x(10). Let i = a + -7. Solve i = -n + 4*n for n.
2
Let w(a) = 2*a**2 + 4*a + 1. Let p be w(-4). Suppose -p + 12 = -d. Let v = 32 + -23. Solve -2*c + d*c = -v for c.
-3
Suppose 50*w + 75 = 55*w. Solve -6*h = -h - w for h.
3
Suppose z = -4*u + 13, 3*u = -8*z + 13*z - 19. Solve -9*a + u = 11 for a.
-1
Suppose -87*v = -94*v + 105. Solve 0 = 10*y - 13*y - v for y.
-5
Let a be 1*((-5)/(-5) - 0). Suppose m - 7 - a = 0. Solve 12 = -4*q - m for q.
-5
Suppose 5*p = q + 29, -2*p + 17 = 2*q + 3. Solve 9*z = p*z - 9 for z.
-3
Let h be -24*(8/(-24) + 35/(-15)). Solve h = -15*y - y for y.
-4
Let w be (0/1 + -10)*-1. Suppose 0 = -2*x + o + o, 4*x = -4*o. Suppose x*u - u = t - 9, 3*t - u = 15. Solve -y + t*y = w for y.
2
Let y = 8 + -4. Suppose 0 = 5*a + 2*c + 1, -4*a + y = -2*a + 3*c. Let b = a + 5. Solve -16 = -b*j - 36 for j.
-5
Let a be (-5)/(-3) - (-3 + -2)/15. Solve -a*s = -6*s + 4 for s.
1
Let a(k) = -k**3 + 5*k**2 + 5*k - 1. Let p be a(5). Let g = p - -3. Suppose 0 = 3*u - 0*u - g. Solve 0 = -2*r - u - 1 for r.
-5
Let d be (0/(-4))/(3 - 2). Suppose -3*i = 3*h - 2 - 7, -5*h + 65 = -5*i. Suppose -3 = -3*g + 3*a, 2*g + 7 = 5*g + a. Solve h + d = g*v for v.
4
Let m be 275/50*(-1 - (-6 + 1)). Solve -18*l - 12 = -m*l for l.
3
Let s(i) = 22*i + 238. Let t(h) = 7*h + 79. Let y(l) = -5*s(l) + 14*t(l). Let f be y(-7). Suppose d + d = 0. Solve f = -d*g - 4*g - 4 for g.
-1
Let q = 687 - 631. Solve -q*k - 6 = -54*k for k.
-3
Let x(h) = 2*h**2 + 11*h + 8. Let w = 13 - 18. Let v be x(w). Let u be 4*(2/4 - 0). Solve o = -u + v for o.
1
Let o be 1 - -5 - 39/13. Suppose -3*z + o + 3 = 0. Solve -z*m + 3*m = 0 for m.
0
Let i be (20 - -1)/((-33)/22). Let m = i - -24. Suppose -m = -5*x + 3*x - 3*u, -2*u = -4. Solve -x*w - 6 = w for w.
-2
Suppose 4*q + 5*h - 9 = 0, -2*q - 5*h = -10*h + 3. Let b be (-2)/(-5)*(11 - 1). Solve b - q = y for y.
3
Let j be (-1 + -2)*(-34)/3. Suppose -l - 4*l + 19 = -2*v, -3*v = 5*l - j. Solve -l*i - 2 - 3 = 0 for i.
-1
Suppose 15*d = 27 + 3. Let q(s) = 5*s - 1. Let y be q(1). Suppose -w - 8 = -y*z, 5*z = 2*z + 9. Solve w*u - 6 - d = 0 for u.
2
Let b be (-9)/((-45)/50) - 1. Suppose -b*t + 5*t = 0. Suppose t = 2*g + g - 12. Solve 0 = -g*h + 7 - 3 for h.
1
Suppose 0 = 5*c - 0*c. Suppose 0 = -37*f - 3*f + 40. Solve f + c = b for b.
1
Suppose 0 = 4*x - x + 4*o + 15, -4*x = 2*o + 10. Let d(p) = -p + 1. Let u be d(x). Suppose u*r = -0 + 4. Solve -r + 6 = 2*f for f.
2
Let r be (-28)/(-6) + (-18)/(-54). Suppose -r*j - 4 = q - 0, 4*j = 5*q + 20. Suppose j = -9*g + 5*g. Solve 1 + g = u for u.
1
Let i = -19 - -16. Let q be 0/(-4) + (i - -5). Solve 0 = 2*t - 4 + q for t.
1
Suppose 3351*a + 34 = 3353*a. Solve -6*w = -a - 13 for w.
5
Let t be (63/14)/(1 - 2/8). Solve 0 = 9*a - 6*a - t for a.
2
Suppose 0 = -5*v - 2*d + 34, 5*d + 8 = -4*v + 42. Solve -5*q - q = -v for q.
1
Let o(j) = -j**3 + 9*j**2 + 2*j - 11. Let w be o(9). Suppose w*b = 8*b - 3. Suppose -3*n = 4*d - 20, -b*d - 2*d + 4*n = -56. Solve -5*a - d = -3*a for a.
-4
Let b(g) = -18*g + 37. Let r be b(3). Let l = -15 - r. Solve -l = 2*n - 10 for n.
4
Let t be 0 + (1 - -6)/1. Let d(p) = 12*p - 487. Let x be d(41). Solve -x*s = -t + 32 for s.
-5
Let y be (-6)/(36/(-66)) - (2 - -3). Solve -3*n = -y*n + 3 for n.
1
Let f(s) = s**2 - 6*s - 23. Let c be f(9). Suppose 2*o + 2 = c, -5*a = o - 6. Solve a = 5*b - 19 for b.
4
Suppose -7 = 16*c - 119. Solve c*a = -66 + 38 for a.
-4
Let c(s) = -9*s - 78. Let u be c(-11). Solve -8*x = -x + u for x.
-3
Let u be (-52)/(-14) + 2/7. Let l be (-1)/2 - (-14)/u. Let d = -1930 - -1930. Solve d = l*f - 0*f for f.
0
Let l(y) = y**3 - 3*y**2 + 2*y. Let w be l(5). Let q be (-1)/(2 - w/28). Solve 4*o = q*o + 15 for o.
-5
Suppose 0 = -3*c - 16 + 58. Let n = 81 - 86. Let u be (-3)/(2 + n)*(-4 + 7). Solve -u*p + 5 = c for p.
-3
Let t = 6 + -1. Suppose 4*h + 8 = t*h. Suppose 3 = 3*u - 3*z, 4*u + 3*z - 29 = -u. Solve 0*w - u*w = -h for w.
2
Let g be 2*1/9 - (-3264)/864. Solve -g*v - 5*v = -v for v.
0
Suppose -5*a - 27*a = -64. Solve -4*x = -5*x - a*x for x.
0
Let a(y) = -8*y - 92. Let c be a(-12). Solve -23 = c*d - 27 for d.
1
Let r = -26 - -36. Suppose b = 4*u + 12, -4*u + 5*u = 5*b - 3. Solve r = -b*v + 5*v for v.
2
Suppose 332*g = 324*g + 40. Solve 2*u +