for c.
-2
Let x = 147 + -281. Let f = 138 + x. Solve f*m + m = 20 for m.
4
Let p = -886 - -887. Solve -3*o + 2*o = -p for o.
1
Suppose -19*g + 6*g + 26 = 0. Solve g*d - 1 = -1 for d.
0
Suppose -y - 3*s + 8 = 0, 3*y - 5*s = 4*y - 6. Let g be -5 + -4 + 1 + y. Solve -4*c = -g*c for c.
0
Let c be 1/(2/(-8)) - (-9 - -4). Solve 6*x = 5*x - c for x.
-1
Let f be (0*6*5/150)/(-5). Solve f = 2*s - 3 - 1 for s.
2
Let z(i) = -2*i + 4. Let b(n) = 3*n - 9. Let r(d) = -3*b(d) - 5*z(d). Let k be r(7). Suppose 4*t = -2*y + k, 2*y = -4*t - y + 17. Solve -3*w = -2*w - t for w.
2
Let n be -1*1/(-6) + 41/6. Solve -n - 2 = -3*i for i.
3
Let f(z) = 2*z**3 + 31*z**2 + 14*z + 7. Let o be f(-15). Solve -2*l + 22 = o for l.
0
Suppose 0 = -59*i + 49*i + 280. Solve -4 = 6*k - i for k.
4
Suppose 5*o - 12 = 3*o. Suppose 9 + o = 5*h. Let x be -4 + 23/1 + 6. Solve 2*f = -h*f + x for f.
5
Let k = -149 + 153. Let i = -85 + 147. Suppose 0 = 5*j - i + 12. Solve -j + 2 = k*v for v.
-2
Let u(k) = -k**3 - 10*k**2 - 12*k - 16. Let x be u(-10). Let p = x - 101. Let f(l) = -l**3 + 4*l**2 - 2*l - 3. Let o be f(3). Solve -6 = -o*n + p*n for n.
-2
Let n = -1634 - -1651. Solve -115 = n*f + 6*f for f.
-5
Suppose -11*t + 24 = -7*t. Solve -g - t = -1 for g.
-5
Let p be 19/2 - 12/8. Solve -6*z + 4*z = p for z.
-4
Let x(m) = m**3 + 5*m**2 - 10*m - 23. Let v be x(-6). Solve -v + 4 = 3*q for q.
1
Let x = 50 - 42. Let b = -23 + 26. Solve -5*n - b = -x for n.
1
Suppose 0 = j + 5*j + 18. Let b be 3 - (((-15)/j - 2) + -2). Solve -b*t = -5*t - 3 for t.
-1
Let w be 30/8*6/45*10. Suppose -50 = -5*j + 5*u, -w*u + 8 = j - 7*u. Solve j = n - 4*n for n.
-4
Let q(w) = -w + 1 - 1 + 7. Suppose -5*x + 5*c + 30 = 0, 2*c + 22 = x + 3*x. Let k be q(x). Solve 0*m + k*m = 4 for m.
2
Let b(u) = 5*u - 5. Let x be b(2). Let p(t) = x + t + 5 - 2*t - t. Let g be p(5). Solve g*c + c = 3 for c.
3
Suppose y + 0*y - 12 = -4*d, 2*y = -4*d + 32. Let f be (3/(-2))/(3/32). Let k = f + y. Solve h + 1 = k for h.
3
Let v be (-4)/(-14) - (-12)/7. Suppose -t + 40 = n, 2*n - 67 - 118 = -5*t. Suppose t - 13 = v*a. Solve 3 = 4*b + a for b.
-2
Let q(g) = g**3 - 4*g**2 + 5*g - 6. Let j be q(3). Suppose j = -15*b + 18*b - 18. Suppose -m + 0*m = -b. Solve x = -x - m for x.
-3
Suppose 9*x = -6*x + 15. Solve -q + 0*q - x = 0 for q.
-1
Suppose 0 = 10*g - 0 - 30. Suppose -31 = -3*r + 5*t, g*t = -3*r + r - 11. Solve -5 = 7*h - r*h for h.
-1
Let a(p) = -p**2 + 8*p - 6. Let n be a(5). Let x = n + -7. Let s be ((-2)/x)/(2/(-4)). Solve 0 = c - s for c.
2
Let l be ((-5)/3)/((-1)/6). Suppose 6*t - 5*t = -3*p + 2, 5*t - 5*p - l = 0. Suppose t*u = 3*u - 4. Solve u = n + n for n.
2
Suppose -3*w - 3*a + 57 = 0, 2*w - 2*a - 42 = -0*a. Let r = -15 + w. Solve r*l + 6 = -9 for l.
-3
Let y be 3/(9/(-6)) - 1. Let a = 6 + y. Solve 2*v + a = v for v.
-3
Let z(x) = x + 9. Let o be (-6)/(-9)*-3 + (1 - 3). Let r be z(o). Solve p = r*p for p.
0
Suppose 0 = -3*g + 3*f - 126, 2*g + 34 = -4*f - 38. Let t = g + 60. Solve -9*q - t = -5*q for q.
-5
Suppose 196 = -3*c - c + 3*q, 3*c - 3*q = -150. Let n = c - -46. Solve n = -y - 0*y + 2 for y.
2
Let v(x) = x**2 - 39*x + 354. Let j be v(14). Solve 0 = j*p + 11 - 31 for p.
5
Let f(u) = 3*u - 55. Suppose -4*v + 5*k = -94, -42 = -5*v - 5*k + 53. Let x be f(v). Solve 3*t = x*t + 25 for t.
-5
Let y(k) = k**3 - 7*k**2 + 3*k + 9. Let w be y(7). Suppose 25 = -25*g + w*g. Solve 3*h - g = -2*h for h.
1
Let a = -17 - -31. Suppose 3*v = -4*i + a, 0*v - 6 = -2*v - i. Suppose -5*d = q - 21, q + 3 = d - 0. Solve 3*b = v + d for b.
2
Suppose 0 = y - 4*y + 5*t - 216, -4*y + 2*t - 274 = 0. Let a = -59 - y. Solve -4*f + a = 20 for f.
-3
Let m = -57 - -64. Suppose -8 - m = -5*c. Solve c*k - 4 = -k for k.
1
Let u be 1974/147 + (-4)/(-7). Solve -8*i = u + 2 for i.
-2
Let x = 29 - 11. Suppose -5*y = 4*p - x, 3*p - 10 + 0 = -2*y. Let l be (y + -2)*(-2 + 1). Solve -3*b + 4 - 19 = l for b.
-5
Let l = -8 - -3. Let k be -3 - (-80)/25 - 14/l. Solve 20 = 2*o + k*o for o.
4
Suppose -5*y + 2*h + 197 = 0, 53 + 9 = 2*y - 5*h. Solve -38*g = -y*g - 15 for g.
-5
Let p = 25 - 23. Suppose -i = -6*i + p*i. Solve i = -2*g - 4 - 6 for g.
-5
Let f(h) = -h - 13. Let x be f(-13). Suppose x*o - o = 2. Let y be -5*o/(-10)*-6. Solve -y = k + k for k.
-3
Let w(g) = -g - 5. Let i be w(-10). Suppose 0 = -18*h + i*h + 195. Solve 0*l + 3*l = -h for l.
-5
Suppose q + 0 = -1, 4*z = -2*q + 86. Suppose -26 = -6*w + z. Solve c = -c - w for c.
-4
Suppose c + 3*x + 39 = 0, -4*c - 57 = -5*x + 48. Let t = c + 42. Solve -2*q - t = 2*q for q.
-3
Suppose -2004*o - 2 = -2006*o. Let u(q) = 2*q**2 + 1. Let p be u(1). Solve -p = j + o for j.
-4
Let d be -1*(2 + 3 + (-30)/2). Suppose d + 19 = 2*h - 5*j, j - 35 = -3*h. Solve h = -s - 3*s for s.
-3
Suppose -3*b = 4*w - 6*b - 83, -2*b = 4*w - 78. Solve -n = 4*n + w for n.
-4
Let q be (9/18)/((-2)/4). Let v(x) = x**3 + 2*x**2 + 1. Let n be v(q). Solve n = -4*s + 6 for s.
1
Let b(o) = -o**3 - 3*o**2 + 5*o + 7. Let h be b(-4). Let k be (-2)/5*(-53 + (1 - -2)). Solve -h*m = 2*m - k for m.
4
Let t be 15/(-12) - 6 - (-6)/(-8). Let y = t + 12. Solve -3*x = -y - 2 for x.
2
Suppose -12 = 8*c - 44. Solve 0 = -c*l + 3*l - 3 for l.
-3
Suppose -9 = -h + 4*r, 4*h = -6*r + 8*r + 8. Solve 2*m - 1 - h = 0 for m.
1
Let j be 5 - (7/(14/4) - 0). Let u = 16 + -15. Suppose t + u = 2. Solve t = j*g + 4 for g.
-1
Suppose -5*r = -8 - 17. Solve 17 = r*k - 8 for k.
5
Suppose 2*m - 8 = -v, 4*m = -0*m + 2*v + 8. Suppose -2*i + 16 = m*h - 3*i, -5*h = i - 16. Solve 0 = -h*x + x - 9 for x.
-3
Let y(m) = -4*m**2 + m + 1. Let d be y(-1). Let r(u) = 7*u + 11. Let z(h) = 6*h + 8. Let t(q) = 5*r(q) - 6*z(q). Let l be t(d). Solve 4 = 3*k - l for k.
5
Let i(z) be the second derivative of z**3/3 - 22*z**2 - 31*z. Let p be i(22). Solve p = w + 5 - 1 for w.
-4
Let h(f) = 4*f + 56. Let d be h(-14). Solve 20*l - 25*l - 5 = d for l.
-1
Suppose 15*m - 10 = 10*m. Suppose -t + 0*t = -3. Suppose -m*z + t*z - 12 = 0. Solve -3*j - z = j for j.
-3
Suppose 0 = f + 2 - 3. Let m be (-1*f)/(8/(-80)). Solve 15 + m = 5*l for l.
5
Let u be (1 - 4)/(3/(-6)). Solve 0 = u*t - 11*t - 20 for t.
-4
Suppose 2*l - 5*l + 35 = 5*y, -2*l = -5*y + 10. Suppose u + 2*u - 52 = 4*h, l*u = 0. Let w = h - -16. Solve w = -2*f + f for f.
-3
Let n be 3 - (12/8 + 5/(-2)). Suppose n*r + 13 = -3*j, 0 = -3*j - j - r. Solve b + 0 = -j for b.
-1
Suppose -8 = 5*i - 5*h - 23, 4 = 2*i - 4*h. Solve -i*m - 59 = -43 for m.
-4
Let r(z) = 2*z**2 + 32*z - 251. Let k be r(7). Solve 51 = -4*s + k for s.
5
Let p be (-6)/1*(-14)/14. Suppose 10*l = p*l. Solve o + 2*o - 12 = l for o.
4
Suppose 15 = n - 3*i + 4, n + 13 = -3*i. Let p be (4/4*-7)/n. Suppose 4*j - p*j = -27. Solve 0 = -q + 4*q - j for q.
3
Let d(i) = 4*i**2 - 4*i - 9. Let f be d(3). Solve f = -7*a + 2*a for a.
-3
Suppose -2 + 14 = -3*x. Let a be x/6*(-6)/2. Suppose 5*d = 3*m - 35, -a*d - 6 - 2 = 0. Solve -m*o = -0*o for o.
0
Suppose -o = -2*d + 10, o - 3*d = -5*d + 10. Let i(l) = -l**2 + 3*l. Let x be i(3). Suppose 12 = 4*m - x*m. Solve 3*p - m = -o*p for p.
1
Suppose 51 = -3*f - 30. Let a = -24 - f. Let i = 5 - 2. Solve 0*w = -i*w - a for w.
-1
Let f = -210 - -220. Solve -17*l = -15*l + f for l.
-5
Let v(s) = s**2 - 20*s + 23. Let f be v(19). Solve 12 = -0*x - f*x for x.
-3
Let f = 98 + -104. Let j(x) = x**2 - 1 - 2 + 3*x + 2*x. Let u be j(f). Solve -h + u = -2*h for h.
-3
Let c = 26 + -113. Let w be 2/6 - c/9. Suppose -35*z + 150 = 15*z. Solve -2*v - z*v = -w for v.
2
Suppose 2*r - 9*c + 7*c - 70 = 0, -151 = -5*r - c. Solve 0 = 6*m - 31 + r for m.
0
Suppose 4*h + 60 = 4*g, g + 2*h + 0*h = 3. Solve -1 = 2*x - g for x.
5
Let h = -995 - -997. Solve h*z - 83 = -87 for z.
-2
Let v(p) = p**3 + 7*p**2 + 2. Let l be v(-7). Suppose -8 = -3*j - 4*t + 32, -2*j = 4*t - 28. Solve l*s - j = -s for s.
4
Let s be (684/(-15))/(-4) - 8/20. Solve 9*u = s*u for u.
0
Let k = -83 + 100. Solve k*p + 12 = 21*p for p.
3
Let d be (-2 - -3 - (5 + -6)) + 2. Let i = -1 + d. Solve -11 + i = 2*f for f.
-4
Let z = -29 - -30. Solve -y + 4 = -z for y.
5
Suppose -o = -5*a - 6, 3*a + a = 2*o. Let u be (18 - 15) + a + 0. Solve 5*z + 26 - u = 0 for z.
-5
Suppose -4*h + 16 = -0. Suppose -h*a - 2*a = -66. Solve -4*n = a + 1 for n.
-3
Let w(m) = -3*m**3 - 4*m**2 - 5*m - 2. Let a be w(-2). Solve 0 = -a*z + 21*z for z.