= -5 for c.
-4
Suppose -s - 15 = -5*k, 4*k - 3*s - 2*s = 12. Solve k = -a + 5 for a.
2
Let w be 2 - ((-12)/2 - 2). Suppose 2*l = 2*x + w, -l - 2*l = 4*x - 15. Solve x = -6*c + 2*c + 16 for c.
4
Let h(r) = -r**2 - 6*r - 2. Let q be h(-4). Suppose -2*x - 6*x = -160. Solve -x = q*t - t for t.
-4
Let m be 22/(-8) - (-3)/4. Let z be (12/(-15))/(m/10). Solve -z*l - 17 = 3 for l.
-5
Let t be (-4 - -3) + 1 + 3. Solve -t*l = -l - 2 for l.
1
Let u(j) = j - 4. Let a be u(8). Solve n + a = -3*n for n.
-1
Suppose 5*q + 10 = -15, -5*i - 5*q = 20. Let j be (-54)/(-6) - (1 - 0). Suppose 5*g - 1 = -j*z + 5*z, 0 = -5*z - 2*g + 8. Solve -z = -3*m + i for m.
1
Let z = -1 - -3. Suppose 5*t - 8 = b, -5*t + 4 = -4*b + 2. Suppose -f = t*f - 6. Solve -z = f*s - s for s.
-2
Suppose -4*o + 3*o - 2*g + 7 = 0, 4*o - 16 = 4*g. Solve 2*l = o*l + 9 for l.
-3
Let s = 14 - 11. Solve -s = 2*q + 7 for q.
-5
Suppose -6*c + 18 = 5*l - 3*c, -3*c = -l. Suppose -5*q - l*z = 13 + 2, -3*q = 4*z + 20. Let t = 2 - q. Solve 0*n + n + t = 0 for n.
-2
Suppose -2*y + y + d = -5, 0 = -4*y - 4*d + 12. Solve -y = 4*s + 4 for s.
-2
Let k(g) = g + 4. Let v be k(5). Let u be ((-3)/2)/(v/(-12)). Solve u*r + 6 - 2 = 0 for r.
-2
Suppose -m = -2*a + 4, 6*m - 2 = -a + 2*m. Suppose 3*u - 3*o - 9 = 0, -4*o = -2*u + 6 - a. Suppose -3*g + u + 5 = 0. Solve 4*n = g*n for n.
0
Let m be -3 + 4/1 - -2. Suppose 2*b - 4*n - 30 = 0, -b - m*n + 81 = 2*b. Solve 4*p + 3 = b for p.
5
Suppose -2*c = 3 - 9. Let q = 8 + -13. Let k(x) = -x**3 - 5*x**2 + 4. Let i be k(q). Solve -i*u - 4 = -c*u for u.
-4
Let p be 2/18*3*30. Solve 0 = -4*q - 10 - p for q.
-5
Suppose -9 = -2*q - q. Suppose -3 = -2*j + 3*l, -q*j = 2*j - l - 14. Suppose j*d + 10 - 1 = 5*o, 0 = 3*d + 5*o - 21. Solve -15 = d*t - 5*t for t.
5
Let l be (-38)/(-6) + (-4)/(-6). Suppose s - 6 = -2*n, 2*s = -n - 1 + l. Suppose -s*o - 3*o = -10. Solve -2*k + 0 + o = 0 for k.
1
Let t = 10 - 1. Suppose 5*w - t = 3*u, 3*w - 19 = -5*u - 0. Let l be 0/(0/3 - u). Solve l = i + 3*i - 20 for i.
5
Let v(k) = k - 14. Let w be v(12). Let n be (16/12)/(w/(-9)). Suppose 0 = s - 2. Solve -s - n = -4*m for m.
2
Let a = 9 + -4. Suppose -3*t + 3 = -4*t, -a*t = g + 2. Solve 4*b = 3 + g for b.
4
Suppose -8*p + 65 = 9. Solve 4*t + 6 = p*t for t.
2
Let l(n) = -n**2 + 8*n - 9. Let i(d) = -d**2 - 8*d - 6. Let v be i(-6). Let r be l(v). Suppose -c + 5*x + 8 = -r*c, c - 11 = 5*x. Solve 0 = -h - c for h.
-1
Suppose -5*u = -3*p - 21, -2*p = 5*u - 4 - 7. Solve -k = -u*k for k.
0
Suppose -o + 5 = c - 3*o, 3*o = -2*c - 4. Let m = c - 1. Suppose m = -t + 3*t - 4. Solve 0 = d - 0 - t for d.
2
Let y be (-5)/(5/(-2)) + 0. Let z = -2 + y. Solve 4*h - 8 = -z*h for h.
2
Suppose 4*h = i + 9 - 0, 0 = -5*i - 2*h - 1. Let l(b) = 4*b**2 + 2*b + 1. Let n be l(i). Solve 10 = y - n*y for y.
-5
Let z = 22 - 16. Let j = -2 + z. Solve 3 = -j*a + 11 for a.
2
Suppose 0 = -w - 2 + 4. Solve -15 = -w*m - m for m.
5
Let g be (-27)/(-36) - 3/4. Suppose 6*c - 20 = c. Suppose g = -w + c + 1. Solve -f = -w*f for f.
0
Let q = -29 + 33. Solve t + 6 = q*t for t.
2
Suppose 0 = 4*k + q + 44, -3*q = -3*k + 2*q - 10. Let o = -1 - k. Suppose -3*j + 0*j - o = 0, j - 12 = -5*y. Solve 9 + y = 4*t for t.
3
Let z = -47 - -47. Solve v = -z*v + 1 for v.
1
Let t = 0 + 2. Let a = -36 - -37. Solve -r = -t*r - a for r.
-1
Let n(x) = -x**3 + 5*x**2 + 5. Let a be n(5). Let k(b) = -b**2 + 4*b + 7. Let s be k(a). Solve 4*t + s - 10 = 0 for t.
2
Let u be (-8)/3*15/(-10). Suppose u*x = -3*w, -3*w = 6*x - x. Solve -t - 1 = -w*t for t.
-1
Let o = -24 - -30. Solve -l = -3*l + o for l.
3
Let x be -1*(-2)/(-2) - -4. Solve -x*a = -4 - 5 for a.
3
Let r(b) = b**3 - 11*b**2 + b - 7. Let f(p) = -p**3 + p + 11. Let n be f(0). Let i be r(n). Solve 3*x + 4 = i*x for x.
4
Let l be (-1)/((-20)/16 - (-1 + 0)). Solve -b + l*b + 6 = 0 for b.
-2
Let g(s) = s. Let x be g(4). Let c be (-1 - (1 + -2))/1. Solve -x = 2*j - c for j.
-2
Suppose 3*x - 17 = 2*f, 0 - 1 = x + f. Suppose -h - 32 = -x*h. Solve -c = 3*c + h for c.
-4
Let g be (5/5)/((7/(-6))/(-7)). Solve 0 = -5*u + 1 - g for u.
-1
Suppose 62*g + 16 = 64*g. Solve -3 = -5*q - g for q.
-1
Let t(u) = u**3 - 10*u**2 + 13*u - 30. Let x be t(9). Solve -15 = -3*h + x*h for h.
-5
Suppose -5*g + 10 = -i, -5*g = -0*i + 4*i - 10. Suppose 0 = 4*v - 20 - 0. Suppose -v*r + 5 = -a, 3*r + 2*a = -10 - i. Solve r*x = 4*x for x.
0
Let u(w) = w**2 + w + 1. Let j be u(-2). Let b = 0 - -3. Suppose k - 2*k + j = -4*f, 5*f + b*k = 9. Solve f = -l - 2*l for l.
0
Let g be ((-3)/2)/((5/2)/(-5)). Solve -g*w - 2 + 5 = 0 for w.
1
Suppose -3*t - t = 3*t. Solve t*o = 5*o for o.
0
Let j be ((-4)/4)/((-1)/2). Let s be -2 + (-1)/(j/(-4)). Suppose 0 = 3*b + 3*c + 3, s = 2*b - c - 3*c - 16. Solve 4 + 2 = -b*z for z.
-3
Let v(c) = -2*c + 25. Let z be v(11). Solve 0 = z*o + 8 + 1 for o.
-3
Let g(b) = b**2 + 5*b + 5. Let v be g(-4). Suppose 6*p + 10 = p + 3*j, -p - 2 = -j. Let k be -2*v - (p + 0). Solve 4*t + t + 10 = k for t.
-2
Let h = 55 - 43. Solve 4*k = 8*k - h for k.
3
Suppose -5*a = -4*z - 4*a + 29, 0 = 5*z + 2*a - 46. Solve 4*m - z = -0*m for m.
2
Let g(l) be the third derivative of l**6/120 - l**5/10 + l**3/3 - l**2. Let d = 45 - 39. Let f be g(d). Solve -5*v + 6 = -f*v for v.
2
Suppose 2*c - 3*v - 10 = 0, 0*c + 3*c = -2*v + 15. Solve -c*t - 10 = -35 for t.
5
Suppose 2*q + q = 0. Solve q = z - 2*z for z.
0
Let p be (-6)/3 - (-6)/(-3). Let q = p + 11. Solve 5*t + q = -18 for t.
-5
Let o(b) = -b**3 + 10*b**2 - 8*b - 7. Let k be o(9). Solve w = 3*w - k for w.
1
Let j be (-52)/(-91) - 94/(-7). Let y(q) = -q**2 + 13*q + 18. Let h be y(j). Solve -h*x = -7*x + 15 for x.
5
Suppose 0 = -3*y - y + 8. Suppose 0 = c + c. Suppose -t - 9 + 24 = c. Solve b + y*b = t for b.
5
Let m be (-69)/(-9) + 2/(-3). Let u = 11 - m. Solve -u*r - 12 = -r for r.
-4
Suppose 7 = a + 3*u + 2, -4*u = -4. Suppose -10 = -a*t - 0. Solve 0 = -t*d + 2*d for d.
0
Let t be (-4)/14 + 24/(-14). Let q(i) = -3*i - 4. Let v be q(t). Solve -v*x = 3*x for x.
0
Suppose 0 = 4*o + 4*a + 8, -3*a = -4*o + 14 + 13. Suppose 6*r - 5 = 7. Solve 25 = -r*x - o*x for x.
-5
Let v be (-3)/(-5) + 17/5. Suppose -4*w - w = -v*b + 9, w = -b. Solve -z = b + 2 for z.
-3
Let p be 16/(-40) - (-27)/5. Suppose -h + 2 = -1. Solve -h*o - p = 1 for o.
-2
Let y(t) = t**3 + 3. Let n be y(0). Suppose -n*k + 9 = 0, 2*v = -3*v - k + 53. Suppose f = -f + v. Solve -f*z - 9 - 11 = 0 for z.
-4
Suppose -5*g + 0*u - 3*u + 29 = 0, 3*u = g - 13. Suppose 2*y - g*y + 20 = 0. Solve 0 = y*b - 4 - 12 for b.
4
Let g(w) = -5*w**3 - 2*w**2 - 2*w - 1. Let j be g(-1). Let m be ((-6)/j)/((-6)/16). Suppose 2*s = m*s. Solve 3*d + s = -6 for d.
-2
Let n(r) = -4*r + 5*r + 3*r - 3*r - 1. Let k be n(4). Solve -k*u = -6*u + 6 for u.
2
Suppose -5*u + 7 = -3*v, 0*v + 4*u - 14 = v. Solve -10 - v = -4*a for a.
4
Suppose 0 = 2*g - 5*g - 2*u + 12, 0 = 5*g + 2*u - 24. Suppose 0 = 2*f - g*f. Let y(r) = r + 5. Let w be y(0). Solve -w = -k - f for k.
5
Let y(m) = m**3 - 7*m**2 + 10*m - 9. Let v be y(6). Solve 8*j - v = 3*j for j.
3
Let j(y) = -y**3 + 4*y**2 + 6*y - 1. Let w be j(5). Let f = -20 + 34. Suppose 3*x - 6 = -5*p, 3*x - 5*p = -x + 8. Solve -w*z + x = f for z.
-3
Suppose 0 = 5*i - 3*i - 12. Solve 2*m + 2 - i = 0 for m.
2
Suppose t + 5*g + 9 = 0, -3 = t - 4*g + 6. Let m = t - 2. Let d be m/(3/(-3)) - 1. Solve 8*i - d = 3*i for i.
2
Let q = 8 + -3. Let a(j) = -j**2 + 8*j + 8. Let z be a(7). Suppose q*p = -2*w + 2*p - 2, 0 = -w - 5*p - z. Solve 0 = -2*s + w - 15 for s.
-5
Suppose -34 = -9*k + 2. Solve k*p = -23 + 3 for p.
-5
Let p be (-1 - -2)*(1 + -1). Let v be 9/(-6)*(3 - 23). Suppose -3*o = -o - v. Solve p = -4*q - o - 1 for q.
-4
Let r = -32 + 35. Solve -d + r*d - 10 = 0 for d.
5
Let s(y) = -2*y + 59. Let k be s(27). Solve -k*r = -2*r + 3 for r.
-1
Let u be (3/(-1))/(15/50). Let a be u/(-3) + 3/(-9). Solve -3*b = 9 + a for b.
-4
Suppose -6*b - 2 = 2*j - 2*b, -2 = -3*j - b. Let u be 2 + 7 + j/1. Solve -u = k + k for k.
-5
Suppose 2*o - 90 = -3*o. Suppose 0*w - 10 = 3*w + x, w - 5*x - o = 0. Let q = w - -18. Solve 0*r = -4*r - q for r.
-4
Let r = -8 - -11. Suppose -y = -3*y + 4, 0 = 5*z + r*y - 16. Suppose z*m = m. Solve 5*g - 7 - 8 = m for g.
3
Let f = 7 + -4. Suppose f*h = 6*h. Solve -g - 3*g - 20 = h for g.
-5
Suppose -3*f + 5*c = -20 - 20, c = 4