 for c.
-1
Suppose 3*k + 3 = 39. Suppose -3*s = -0 - k. Solve 3*o = s*o for o.
0
Suppose -9*a + 116 = 20*a. Let k be -1*(1 + -1*4). Solve a*p = 3*p + k for p.
3
Let z be (-1)/(1/(-3)) + -1. Suppose -z*t = 2*t + 3*k - 2, -5*k - 14 = -2*t. Solve -4 = -t*f - 0 for f.
2
Suppose 3*c = 7*c - 8. Solve 4*m = 6 + c for m.
2
Suppose -4*a - 5*x + 29 = 0, 5*a - 3*a - 16 = -2*x. Solve -26 = -3*y - a for y.
5
Let n be (-25)/(-4) + (-4)/16. Solve n*x - 12 = 3*x for x.
4
Suppose -2*n + 15 = 4*o - 11, -5*o + 3*n = -38. Solve 3*z = o*z - 8 for z.
2
Suppose -12 = -4*n, -53 = 5*b + 5*n + 2. Let m be (-8)/b + (-6)/(-14). Solve m = -w + 3 for w.
2
Let i be (15/10)/(3/4). Suppose -1 = -5*c + 3*b, 4*b = -i*c + 7 + 9. Let k be (-2 + 2)/(-1 + c). Solve k = -0*f + 2*f + 6 for f.
-3
Suppose 5*t - 10 = 10. Let h be t*3/15*5. Solve h*s = -3 - 1 for s.
-1
Suppose 3*r + 4*i + 19 = 0, -r + 0*i + 3*i - 28 = 0. Let h = -7 - r. Solve 2*a + 2 - h = 0 for a.
2
Let a(j) = 3*j + 3. Let p be a(4). Solve 2*i = -i - p for i.
-5
Suppose 2*t = -15 - 3. Let i be (-45)/t - (-1 + 1). Suppose 36 = 3*c - 0*c. Solve 8 = i*k - c for k.
4
Suppose 3*t - 5*k = 3, -4*k + 6 + 36 = 5*t. Suppose -t*h = -4*h. Suppose h = -2*a + 13 - 7. Solve 2 = -a*q - 4 for q.
-2
Let n = -14 - -19. Solve -n*o + 2*o - 15 = 0 for o.
-5
Let w(s) = -6*s - 2. Let t be w(-1). Solve 3*y + 2 = -t for y.
-2
Let i(r) = r**3 - 15*r**2 + 13*r + 20. Let o be i(14). Solve 5*v - o - 4 = 0 for v.
2
Let y be (3 + -2)*-1 + 4. Let b = y + 1. Suppose 2*q + 2*q = -3*v + 40, -3*q + 58 = b*v. Solve -4*w = -v - 0 for w.
4
Let y = 23 + -19. Suppose 0*n - 8 = y*k + 2*n, 20 = -5*n. Solve k = 6*t - 2*t + 8 for t.
-2
Let s be -3*(-3 - 28/(-12)). Solve s*i = i for i.
0
Suppose 5*l - 3 = -c + 2, -1 = -4*c - l. Solve c = 2*y - 0*y + 4 for y.
-2
Suppose -2*m + 11 + 2 = 3*c, 5*c - 13 = m. Let q be -1 - (-4 + (4 - c)). Solve -q*w = w + 9 for w.
-3
Let u(h) = -2*h - 9. Let t be u(-8). Let j = t - 6. Solve 0 = -3*y + 4*y - j for y.
1
Let i be (-18)/(-4) + ((-28)/(-8))/(-7). Solve -k + i*k = 9 for k.
3
Let q = -24 + 17. Let x(f) = -2*f - 10. Let i be x(q). Solve -5 = i*g + 3 for g.
-2
Let s(g) = -2*g - 4. Let l be s(0). Let b be (-2)/l + (-54)/(-12). Solve 0 = -b*c + c + 8 for c.
2
Let h be 0/(4 - 6)*(2 - 1). Suppose l - 6*l - 27 = -4*n, 0 = n - 4*l - 15. Solve n = d - h*d for d.
3
Let t(a) = a + 17. Let b be t(-14). Suppose 4*o - 2*o = 0. Solve -b*g + 0 - 6 = o for g.
-2
Let n(y) = -y**2 - 17*y + 24. Let v be n(-18). Solve -q + v = -4*q for q.
-2
Suppose -7*t + 29 = 8. Solve -2 = t*r - 5 for r.
1
Let h be 6/9 + (-7)/(-3). Solve 0 = j - h*j + 8 for j.
4
Let x = -7 + 11. Suppose g - 10 = -x*g, 3*s = g + 13. Solve -s*q + 5 + 15 = 0 for q.
4
Let l(u) = -u**3 + 12*u**2 - 10*u - 14. Let j be l(11). Let g(b) = b**3 + 5*b**2 + 3*b - 4. Let o be g(j). Solve 3 = d + o for d.
-2
Suppose -7*b + 4*a = -4*b - 52, -5*b + 3*a = -94. Solve 0 = 4*o - 9*o - b for o.
-4
Suppose 159*m = 162*m - 3. Solve -2*s + s = m for s.
-1
Let m = 3 - -4. Let t(o) = o - 4. Let i be t(m). Let l be ((-3)/2)/(1/(-2)). Solve i = -l*q - 9 for q.
-4
Let k(x) = -2*x**3 + 6*x**2 - 5*x. Let u be k(3). Let d = u + 17. Solve 0*v = -d*v for v.
0
Suppose -40*s + 40 = -35*s. Solve -3*m + s*m = -25 for m.
-5
Let d be (-44)/(-10) + (-27)/(-45). Solve 0*q + d*q + 25 = 0 for q.
-5
Suppose 4 = -2*v + 2, -z - 3*v = 6. Let p(u) = -u + 2. Let k be p(z). Solve -2*o - k - 1 = 0 for o.
-3
Suppose 0 = 10*o - 19 - 21. Solve 12 = -0*h - o*h for h.
-3
Let c = -18 + 22. Suppose 6 = 5*f + 2*g - 4, g - 5 = 0. Solve 0*q + c*q = f for q.
0
Let f = -66 + 68. Solve 0*r - 2 = -f*r for r.
1
Let p be -1 - -3 - (5 + -4 + -4). Solve -4*s - 2 = -p*s for s.
2
Let y(b) = -b - 3. Let i be y(-7). Let f be (40/12)/((-2)/(-6)). Let c be 15/f*(-2)/(-1). Solve -n = c*n - i for n.
1
Let t(x) = x**3 - 6*x**2 - 9*x + 14. Let v be t(7). Solve -6*f + f + 5 = v for f.
1
Let h be (2 - 0)*(-5)/(-2). Suppose -3*y - 3*l + 0*l = -12, -3*l = y - 6. Solve -2 = -h*d + y for d.
1
Suppose 9 + 1 = d. Solve -2*h = 3*h - d for h.
2
Let i(n) = n - 11. Let g be i(15). Let t = 15 - 10. Solve -g*u = u + t for u.
-1
Let w be (1 - -4 - 5) + (-2)/(-1). Suppose -3*u = 2*k - 2, 0 = 4*k - 4*u + 5*u - 14. Suppose 0*n + n + 5 = 5*q, k = w*q. Solve -n*i = -0*i for i.
0
Let m(p) = -p**2 - 7*p - 6. Let f be m(-6). Let c = 0 + f. Solve -2*t + 3 - 11 = c for t.
-4
Let w = 1 - 13. Let t = w - -27. Solve -4*o = -o - t for o.
5
Suppose 8*v = 5*v + 63. Solve 6 - v = -5*w for w.
3
Suppose -4*n + 14 = 2. Solve -n*c = -c for c.
0
Suppose 0 = 2*p + c + c - 34, -45 = -5*p + 3*c. Solve -p = 4*b - 7*b for b.
4
Let n be (-1)/2 + 1/2. Let l be (0/1)/(0 - -2). Suppose -3*k + 2*w + 6 = 0, -5*w = k - w - 16. Solve k*j + l*j = n for j.
0
Let b = 2 - 18. Let s = b - -16. Solve s = -2*k - 1 + 11 for k.
5
Let n(z) be the first derivative of -4*z - 3*z**2 - 1 + 1/3*z**3. Let q be n(7). Solve -q*m + 7*m = 0 for m.
0
Let k = 6 + 0. Suppose -2*l = -4*l + k. Solve 1 - l = -2*j for j.
1
Suppose 2*y - 4*l + 1 = -3, -4*y + 22 = -2*l. Suppose c + 3*c = y. Solve -3*j - c*j - 10 = 0 for j.
-2
Let t be (-1)/(-2) - (-85)/34. Solve -2*n = n - t for n.
1
Let z = -7 - -3. Let c be z/8 - 2/(-4). Solve c + 15 = 5*s for s.
3
Let s(o) = o**3 - 15*o**2 + 14*o. Let m be s(14). Solve m = 2*d - d - 4 for d.
4
Let c be ((-12)/(-7))/((-18)/(-63)). Suppose -q - z + 2 = 0, -5*z + 2*z = 0. Solve 0 = -q*a + c + 4 for a.
5
Let m = 5 - 5. Suppose 2*w = h - 4*h, h + 4*w = -10. Solve -3*p + p + h = m for p.
1
Let h(j) = -j + 7. Let f be h(5). Suppose 96 = r + 86. Solve 4*t + r = f*t for t.
-5
Let h = 2 - -3. Suppose 0 = -h*t - z + 12, -t + 2*z + 5 = -4. Solve -t*p + 5 = -10 for p.
5
Let q(b) = -b**3 + 5. Let c be q(0). Let j = -56 + 57. Solve -c*t = 6 - j for t.
-1
Suppose 2*j + j = -5*v + 37, 3*v - 2*j = 26. Solve -v - 12 = -5*u for u.
4
Let y be (-25)/(-5) + 1 + -2. Suppose y*m + 10 = 18. Solve -3*w - 10 = m for w.
-4
Let q(p) = p**3 + 12*p**2 + 9*p + 15. Let d be q(-11). Let i = -17 + d. Solve 0*k + 4*k - i = 0 for k.
5
Suppose -4*p = t - 2, -p - 4*t = p - 8. Solve 4*g + 27 - 7 = p for g.
-5
Let b be 2/3 - (-4)/3. Suppose b*f = -2*f + 32. Solve -f = 2*o + 2 for o.
-5
Suppose -6 = k - 4*k. Solve 0 = k*z - 5*z for z.
0
Let f be -3*(-5)/(9 + -4). Solve -f*g + 6 = -0*g for g.
2
Suppose -2*q - 4 + 2 = 0. Let o = -10 + 12. Let m = o + q. Solve m + 9 = 5*t for t.
2
Suppose 3*z - 1 = -10. Let l(i) = i**3 + 3*i**2 - i - 1. Let t be l(z). Solve t*c - 8 = 4*c for c.
-4
Let h be (-6)/(1*(-2)/6). Let m = 3 + h. Let c = m - 13. Solve c = -0*r - 2*r for r.
-4
Suppose -131*o + 12 = -127*o. Solve o*v = -2*v for v.
0
Let g be 1/(-3) + (-4)/(-3). Let d = g - -2. Suppose -5*w + 5 = 0, -4*u + 10 = 2*w - 0. Solve -d*f = -u*f for f.
0
Suppose -9*r = -r - 248. Solve 6 = 5*j + r for j.
-5
Suppose 0 = 5*u - 0*u. Suppose 3*j - 4*a - 26 = 0, 0 = -5*j - u*a - a + 28. Solve f = -f + j for f.
3
Suppose -3*g = -r + 3, 2*r + 5*g - 23 + 6 = 0. Solve -5*n = -r*n for n.
0
Suppose 6 = -0*v + 2*v. Let t(a) = -2*a + 2. Let z be t(-6). Let h be (-4)/z + (-174)/(-21). Solve 0 = q + h - v for q.
-5
Let o(y) = -1. Let j(z) = z + 1. Let q(m) = -j(m) + o(m). Let k be q(-7). Suppose -h + 115 = 3*h - 5*f, -128 = -k*h + f. Solve -h = -5*d - 5 for d.
4
Let j = 4 + -9. Let g(w) = w**2 + 5*w + 2. Let y be g(j). Let n be 5/(3 + (0 - y)). Solve -3*b + n = 2 for b.
1
Suppose 3*r + 12 = -3*m, 18*r = 13*r - 20. Solve 0 = -m*a - 5*a for a.
0
Let a be 6 - (-1 - -1) - 3. Suppose 0*x + 6 = a*x. Suppose 5*p = -x*r + 8, 2*p - 5 = -2*r + 3. Solve -r*d = -d + 3 for d.
-1
Suppose 5*w + 2*c - 4 + 0 = 0, -3*c - 19 = -5*w. Solve 7*q - w*q + 25 = 0 for q.
-5
Let y be (0 - -12)/(9/6). Suppose -y*v + 65 = -3*v. Solve -v + 1 = 3*j for j.
-4
Suppose -4 = -2*x + 6. Solve -7 - 3 = x*i for i.
-2
Let z(o) = -o**3 + 7*o**2 - 7*o + 8. Let g be z(6). Suppose -g*x = -3*x + 11. Let p(f) = f - 9. Let m be p(x). Solve -2*k + 20 = m*k for k.
5
Let j be (8 - 5)*(-3)/(-9). Solve j - 16 = 5*c for c.
-3
Suppose 5*a + 4*s = 18 + 87, 0 = -5*a - 3*s + 100. Suppose 3*p - 4*p = -5*r + 25, -5*p - a = 2*r. Solve -r = -w - w for w.
2
Suppose -t + 2*z - 4*z - 4 = 0, z = -t. Solve -t*g = -0 + 16 for g.
-4
Let f = 2 + 5. Suppose -x = 4*x - 180. Let k be x/16 - 2/8. Solve k*m - f*m = 0 for m.
0
Suppose x - 8 = -x. Le