 for c.
-1
Suppose 3*m + 23 = 4*y, 2*y - 5*m = 4*y + 21. Suppose 5*s - 6*s + y = 0. Solve 0 = -2*n - 2 - s for n.
-2
Suppose -3 = 3*z - u - 2*u, -3*z = 2*u - 22. Let x be 2*(-2)/z*0. Solve 4*w + 0*w = x for w.
0
Let v(x) = 4*x - 2. Let a(q) = q + 1. Let b(k) = -6*a(k) + v(k). Let m be b(-6). Let c(u) = 3*u + 2. Let l be c(3). Solve -m*i + 3 = l for i.
-2
Suppose 0 = 5*u - 9 - 11. Suppose -6 = -5*c + u. Solve 5 = -g + c*g for g.
5
Let k be (-9)/(-27) + 8/3. Solve -16 = k*r + r for r.
-4
Let t be -1 + 3/3 + 3. Solve -t*j = 4 + 2 for j.
-2
Let u = -6 - -17. Suppose -u = -3*j - 4*w + 7, -2*j = 3*w - 12. Solve -3 = 3*h + j for h.
-3
Suppose 5 + 3 = 4*g. Let c = g + 0. Solve x = -c*x + 12 for x.
4
Suppose -3*y + 2*w = 12, 0 = 2*w - 7*w + 15. Let i(h) = -4*h + 2. Let a be i(y). Solve 4*g - a = 6 for g.
4
Let n be (-24)/10*(-135)/6. Let s = n + -22. Suppose -8 + s = 4*o. Solve o*f = 2*f for f.
0
Let o(k) = k**2 - k. Let a be 5/(-1 + -2 - -2). Let p be o(a). Suppose -3*j + p = -j. Solve 4*i - j = i for i.
5
Let f = -134 + 137. Solve -f*o = o for o.
0
Let z(q) = q**2 + 10*q + 7. Let y be z(-10). Solve y = 5*k - 3 for k.
2
Let h(z) be the first derivative of -z**4/4 + 4*z**3/3 - z**2 - 3. Let n be h(2). Solve 7*f + 9 = n*f for f.
-3
Suppose -2*x + 15 = 3*x. Suppose 3*f + 1 = 10, x*j + 5*f = 12. Let y be 0/((j - -3)/(-1)). Solve 5*h = -y*h for h.
0
Let k(v) = -v - 5 + 0*v + 14 - 6. Let z be k(1). Solve -z = -2*x - 0 for x.
1
Let u be ((-14)/(-3))/(6/9). Let k be (-5)/15 + 40/12. Solve 2 + u = k*m for m.
3
Let m(f) = -20*f**2 + 1 + f + 2*f + 21*f**2. Let o be m(-4). Solve o*s - 15 = 2*s for s.
5
Suppose -j + 3*j - 4 = 0. Solve -i - 1 = -j*i for i.
1
Let l = 12 + -9. Suppose -5*d + 26 = -0*d + 3*s, -d - 2 = -l*s. Solve -k = d*k for k.
0
Let g = 23 - 15. Let n(o) = o**2 - 9*o + 8. Let w be n(g). Solve i + 1 = -w*i for i.
-1
Suppose 5*s - g + 68 = -2*g, -4*g + 27 = -3*s. Let n = s + 13. Solve n*o = 3*o + 12 for o.
-4
Let b(x) = 3*x**3 + 1. Let m be b(1). Let z be (-15)/(225/10) + (-14)/(-3). Solve 0*y + m = z*y for y.
1
Suppose -4*x + 4 = -2*x. Solve 0 = 2*o - 3*o + x for o.
2
Let k(w) = -5*w - 4 + 6*w - 4*w. Let u be k(-3). Let b(i) = -i - 6. Let z be b(-6). Solve l = -u - z for l.
-5
Suppose -4*b + 76 = 4. Let h = 18 - b. Solve -2*z + 3 + 1 = h for z.
2
Let r(g) = -9*g**2 - 25*g - 5. Let n(i) = -5*i**2 - 13*i - 3. Let k(z) = 11*n(z) - 6*r(z). Let q be k(7). Let c = q + 4. Solve -2*t = -c + 7 for t.
-3
Let t = 4 + -2. Suppose 0 = -t*h - 0*h - 20. Let k be (-4)/(-10) + 4/h. Solve -2*l + 7 + 3 = k for l.
5
Let v = -8 + 10. Let a(m) = m**3 - m**2 + 2. Let z be a(0). Solve -4*u = -v*u + z for u.
-1
Suppose 2*p = 4*p - 6. Suppose -p*r - r = -8. Let v be r/3 - (-37)/3. Solve v - 38 = -5*l for l.
5
Suppose -4*b - 8 = k - 25, 11 = 4*b - 5*k. Solve g - 1 = b for g.
5
Suppose -2*v = -6*v. Let z(f) = 1 + f**2 + v*f + 1 + 2*f. Let n be z(-3). Solve -u = -2*u - n for u.
-5
Let d = 17 + -12. Solve 2*t - d = -3*t for t.
1
Let w be ((-2)/(-4))/(-1)*-4. Let a(m) = -4*m - 7. Let h(b) = b + 1. Let i(q) = a(q) + 5*h(q). Let d be i(w). Solve y = -d*y + 4 for y.
4
Let t be (-2)/5*(-2 - 12/4). Solve -t*s + 0*s - 4 = 0 for s.
-2
Let o = 2 + 7. Let n(d) = d**2 - 8*d - 4. Let t be n(o). Solve 3*c - t*c = 10 for c.
-5
Suppose -13 = -2*q - 5. Solve q*c + 1 = -15 for c.
-4
Suppose 0*g = g - 8. Let d = g - 4. Let n = d + -4. Solve n = l - 2*l for l.
0
Let y = 149 - 143. Solve -3*i + y*i = 0 for i.
0
Let m(b) = -b**3 + b - 3. Let g be m(0). Let r(y) = -y**3 - 4*y**2 - 3*y + 2. Let q be r(g). Suppose 0 = -q*h - 2*h. Solve h = -3*a - 2*a - 10 for a.
-2
Suppose s - 2*s + 5 = 0, -3*s = 5*h - 60. Let i be (-22)/(-3) - 3/h. Solve 0 = -t - 2 + i for t.
5
Let p be ((-9)/(-15))/(1/10). Let v be (2 - p/3)/1. Solve v = -z - 0*z - 5 for z.
-5
Let q be 18 + -7 + 2 + -1. Solve 5 = -13*k + q*k for k.
-5
Suppose 3*r = 0, 0 = -3*z + 4*z + 2*r - 3. Let l be (-9)/z + 0 - -28. Let f be ((-1)/(-2))/((-2)/(-16)). Solve l = f*b + b for b.
5
Suppose -s = 3*s - 12. Let l = 10 + 0. Solve -2*m = s*m + l for m.
-2
Suppose 3*u = -2*z, 3*u - 2*z = 3*z. Suppose -i - 2*i = u. Solve 5*t + 16 + 9 = i for t.
-5
Let o = 0 + 0. Let v be (o + 2)/((-3)/(-6)). Suppose -3*w + 72 = m, 0 = 2*w + v*m + m - 35. Solve w = 2*f + 3*f for f.
5
Suppose -3*f - 47 = -2*f. Let q = f + 33. Let s = -8 - q. Solve -5*m + s + 19 = 0 for m.
5
Suppose 3*f = -a + 41, f - 25 = 2*a - 2. Suppose 2*s - f = -3*s. Solve -z - s*z = 0 for z.
0
Suppose 11 = 2*n - 1. Solve w - n*w = 15 for w.
-3
Suppose 0 = 5*q - 7*q. Solve 0 = -q*z - 5*z + 15 for z.
3
Let p(j) = -3*j + 1. Let a = 2 - 3. Let s be p(a). Suppose -y + o = -11, 0 = -s*o - 23 + 3. Solve y*g = g for g.
0
Suppose 4*w - 9*w = 0. Let r be -1 - (-1 + (-2 - 0)). Solve w = 4*c - r*c for c.
0
Suppose 0 = -0*w + 5*w + j + 26, -5*j = 2*w - 8. Let z = w - -8. Solve 4 = 4*y - z*y for y.
2
Let z = 9 - 6. Solve z*s - 12 = 6*s for s.
-4
Let q = 4 - 2. Suppose 0*k + q*k = 8. Suppose -2*h + 29 = 3*h - k*w, -2*h + 3*w + 6 = 0. Solve -h + 21 = -4*j for j.
-3
Let z(m) = 2*m - 12. Let g be z(6). Solve -2*y - 2 = -g for y.
-1
Suppose 4*u - 6 - 26 = 0. Solve 3*r = -r - u for r.
-2
Suppose 3 = 3*q - 3. Solve -q*i - 3 = -9 for i.
3
Let r(i) be the second derivative of i**3/6 + 5*i**2/2 + 2*i. Suppose 0 = 5*a + 19 - 4. Let x be r(a). Solve j = -x*j - 9 for j.
-3
Let d be -4*3/(-12)*3. Solve -d = o - 2*o for o.
3
Suppose -4*d - 2*y = -6*y + 16, -2*d + y = 7. Let v = 2 - d. Solve -q + 20 = -v*q for q.
-5
Let l(p) = -2*p + 7. Let j be l(2). Solve -j*r = -r for r.
0
Suppose -4*h + 2*m + 34 = 0, -4*h = 4*m - 1 - 3. Let u be (2 - 2)/(h + -3). Solve 2*s + u*s - 10 = 0 for s.
5
Let f(d) = -d**2 - 16*d - 34. Let h be f(-13). Solve -h*p - 8 - 12 = 0 for p.
-4
Suppose 3*m + 3*u = 18, -m + 5*m - 25 = -5*u. Solve -m*j + 9*j + 16 = 0 for j.
-4
Suppose -2*j = -5*c, -5*j + 5*c = 2 - 17. Let o(n) = -25*n - 1. Let k be o(-1). Solve j*r - k + 4 = 0 for r.
4
Let y(j) = -6*j - 2. Let q be y(-2). Suppose -z - t + q = 0, 2*t - 8 = -z - 0*t. Solve 6*g - z = 2*g for g.
3
Let b(y) = -4*y**2 + 0*y**2 + y**3 + 8*y**2 - 2*y - 6. Let l be b(-4). Let v be l/8 + 3/(-12). Solve -2*t + 4 + 0 = v for t.
2
Let h(m) = m. Let v be h(4). Let y(r) = 2*r + 1. Let d be y(1). Let b(a) = a + 2. Let w be b(d). Solve -v*p = -w*p - 5 for p.
-5
Let l(g) = 12*g - 1. Let f be l(2). Let x = 39 - f. Suppose -3*s - 1 = -x. Solve -24 = s*q + 1 for q.
-5
Let q(o) = -o**3 - 8*o**2 + 8*o - 8. Let f be q(-9). Let p = 4 + 0. Solve s - f = -p for s.
-3
Let f(j) = j**2 - 14*j + 26. Let x be f(12). Solve x + 2 = n for n.
4
Let u = -22 + 24. Solve u = y - 2*y for y.
-2
Let r = 31 + -27. Solve 1 = 3*v + r for v.
-1
Let m(o) = o**2 - 2*o + 9. Let t be m(0). Suppose -3*p - t = -6*p. Solve 1 + p = -4*w for w.
-1
Let h(a) = a**3 - 7*a**2 + 7*a - 2. Let l be ((-48)/(-10))/(-4)*-5. Let c be h(l). Solve 3*g - g = c for g.
2
Let h = 1 - -1. Suppose 3*l - 4 = x + 4, 0 = -h*x + 2. Solve -l*q - 2*q = -25 for q.
5
Let r = -22 + 10. Let s be 2*2*r/(-16). Let b = 4 + -1. Solve b = -2*x + s*x for x.
3
Let p(w) = w**2 + 9*w + 3. Let j be p(-9). Let s be j + (-1)/1*1. Solve s*u + 2 + 0 = 0 for u.
-1
Let p be (2 + -3)/(1/(-5)). Suppose 20*s = 14*s + 96. Solve -a - s = -p*a for a.
4
Let i = 6 + 1. Solve 4*t + 1 + i = 0 for t.
-2
Let b(z) = -z**3 - 6*z**2 - 3*z - 9. Let s be b(-6). Let q(u) = 42*u**2 + 1. Let d be q(1). Let r be 18/81 + d/s. Solve 5*g + r = -0 for g.
-1
Suppose 2*m - 3 - 5 = 0. Suppose v = -2*q - 3*q - 28, 4*v = 2*q - 24. Let a be 2/v*3*-12. Solve -m*j - a = -1 for j.
-2
Suppose -2*h = -2 - 6. Let p = 6 - h. Let k = 2 - 2. Solve -2*i + p = -k*i for i.
1
Let i(z) = 4*z - 7. Let f be i(3). Suppose -f*b - 30 + 140 = 0. Solve 0 = -5*g - 2 + b for g.
4
Let v = -1 + 3. Let i(l) = 0*l**2 + l**2 - 3*l + 2 + l**2. Let f be i(v). Solve -f*a - 15 = 5 for a.
-5
Suppose -2*i + 5*o - 14 = i, -o = -4. Solve i = -2*b - 0 for b.
-1
Let g = -3 - -4. Let u be 4/18 + 46/(-207). Solve u = -k - 1 - g for k.
-2
Let t be 15/10*(-22)/3. Let x(z) = -z**2 - 11*z + 4. Let y be x(t). Let n = 13 + -3. Solve -n = y*i + i for i.
-2
Let q = -4 - -7. Let l(h) = h**3 - 7*h**2 - 4*h + 2. Let u(k) = k**3 - 6*k**2 - 3*k + 1. Let o(x) = q*l(x) - 4*u(x). Let p be o(3). Solve -3 = j + p*j for j.
-1
Suppose -2*h = -x + h - 