for c.
-3
Let c be 12/(-78) + (-8)/(-52). Suppose p - 8 = -2*n, 5*p + 11 - 33 = -4*n. Solve c*k - n = -k for k.
3
Let b be (-3 + 9)*(-1)/(-2). Solve b*t = 2*t + 2 for t.
2
Let k(m) = m**2 + 5*m + 8. Let o be k(-2). Solve o + 3 = -5*a for a.
-1
Let q = -9 + 10. Let b be (6/(-10))/(2/(-10)). Suppose b*o - 2*o = 5. Solve 3*f - q = o for f.
2
Let l = -18 - -24. Solve 3*u = l*u for u.
0
Let m = -18 - -24. Solve m*o - 5*o = 3 for o.
3
Suppose 1 = h + 11. Let f = -4 - h. Suppose f*p - 4 = 2*p. Solve -g = -0*g + p for g.
-1
Let s(c) = 2*c + 3 + 2*c - 2 + 0*c**2 + c**2. Let q be s(-6). Solve -12 - q = 5*a for a.
-5
Let b be 0 + -2 + -1 + 5. Suppose -3*u - b*u = -80. Solve a - u = -3*a for a.
4
Suppose 0 = -k - m, 2*m = -5*k + 6*m + 9. Let y be k + 3/(9/12). Suppose y*i = 2*i. Solve i = -0*t - t for t.
0
Let y(h) = h**2 + 9*h + 7. Let p be y(-8). Let x = 0 + p. Let b be x + (-10 + 0)/(-2). Solve b*w - 2 = 6 for w.
2
Let p(w) = -w**2 - 6*w + 10. Let b be p(-7). Suppose -b*d + 2*d + 18 = 5*o, -o = -4*d + 9. Solve d*c = -c for c.
0
Let u be (39/(-12))/((-2)/8). Suppose 0 = 2*p - u - 7. Let w be (-2 + (-5)/(-3))*0. Solve w*l = -2*l + p for l.
5
Suppose 19*b = 2*b + 170. Solve 4*s - b = 2*s for s.
5
Suppose 5*u - 10 = 5*c - 2*c, u + c = 2. Suppose -g + 5 = u. Solve -2*h + g = -h for h.
3
Let s(v) = -v + 7. Let n be s(5). Let q be 4/(-6) + 7/(-3). Let y be (n + 1 - -1) + q. Solve -4*f = -y - 3 for f.
1
Let b(u) = -2*u**3 + 14*u**2 - 3*u - 4. Let h(q) = -5*q**3 + 29*q**2 - 7*q - 9. Let v(a) = -7*b(a) + 3*h(a). Let r be v(-11). Solve 0 = 5*c - 4*c + r for c.
-1
Let j be -3 - (-3)/3 - -7. Let l be (-2)/(-7) - j/(-7). Solve u = l + 4 for u.
5
Let a be 8 - (-6)/(-4)*(-136)/(-51). Solve -6 = -a*p + 2 for p.
2
Suppose 56 = 2*o + 2*k, -2*o - 2*o + 88 = -2*k. Suppose -x - o = -3*x. Solve 3*q + 0*q = -x for q.
-4
Let w be 57/(-4) + (-8)/(-32). Let d be (w + 12)/(2/(-3)). Solve d*z + 8 = -z for z.
-2
Let f(j) = -j**3 + 5*j**2 - j + 1. Let r be f(5). Let o = r - -7. Solve 4*p - 2 = o*p for p.
2
Let o be (((-10)/25)/(3/(-60)))/1. Solve 5*m - 3 = -o for m.
-1
Let o(c) be the second derivative of -c**5/20 + c**4/4 + 2*c**3/3 + 5*c**2/2 + 3*c. Let f be o(4). Let w be ((-2)/f)/((-7)/70). Solve w*g = 4 - 16 for g.
-3
Suppose 3*s + 6*s = 4*s. Solve s = -3*p + 2*p - 4 for p.
-4
Suppose 5*t = 2*r + 25, -r + 3*r = -3*t + 15. Solve r*m = -m + 2 for m.
2
Let t(m) = -m + 3. Let o be t(0). Suppose o*n = -n + 12. Suppose -n*r - 13 = -5*r + j, -11 = r + 3*j. Solve -r + 2 = g for g.
-2
Let p(o) = o**2. Let v be p(2). Solve -3*w + 2 = -v for w.
2
Suppose -c + 3*m = -17, -4*c + 5 + 8 = -m. Suppose -c*r = 3*r. Solve -w - 2 + 0 = r for w.
-2
Let v(i) = -i + 1. Let t be v(6). Let w be t/(2 - 7/3). Suppose -3*r - 4*n = 16, -3*r - 3*n = 1 + 11. Solve 2*l + l + w = r for l.
-5
Let l(f) = -f**3 - f**2 + f - 1. Let w(h) = h - 7. Let k be w(8). Let d be l(k). Let t be d - 3/3*-4. Solve -6 = -t*p - p for p.
2
Let y = -5 + 10. Suppose -5*f + 0*t = -t - 17, -23 = -2*f - y*t. Solve -1 = d + f for d.
-5
Suppose 3*s - 13 = 8. Solve -2*d - s = 3 for d.
-5
Suppose 14 = -5*p - 16. Let f(x) = -x**3 - 6*x**2 + 2. Let d be f(p). Suppose -1 = d*z - 7. Solve 4*s - z*s = -1 for s.
-1
Let o = -4 + 4. Suppose -4*m + 3*m + 25 = o. Solve 2*n = -3*n + m for n.
5
Suppose 0 = -g - 2*g. Solve g = a + 3 - 2 for a.
-1
Let y(p) be the third derivative of -p**4/24 - 7*p**3/6 - 6*p**2. Let m be y(-8). Solve u = -0 + m for u.
1
Suppose 3*m - 3*a - 8 = 31, 60 = 5*m - 4*a. Suppose 2*v = -5*p + v - 2, 0 = p - 4*v - m. Solve p = -4*x - 11 + 31 for x.
5
Let m = -8 - -11. Solve 4*x - m = -7 for x.
-1
Let a = -107 - -171. Suppose 0 = -2*o - 4*c - 4, 3*o + c - 3*c - 26 = 0. Let u be o/14 - a/(-14). Solve 0 - u = 5*x for x.
-1
Let b be (-6)/(-4)*4/3. Let l be b + 1/3*6. Solve l*a = 6*a - 2 for a.
1
Let i(o) = o**2 - 7*o + 2. Let d be (-3)/(-2) - 11/(-2). Let q be i(d). Suppose -3*v - m + 5 = 0, 6*m = 4*m - 8. Solve v = r - q for r.
5
Let f(q) = q**3 - 4*q**2 - 3*q + 6. Let d be f(4). Let i = -4 - d. Suppose -m + 3 = 2*m + 4*c, -m - i*c + 1 = 0. Solve -a - 2 = -m for a.
-1
Suppose -4 = 4*n - 5*k, 0 = n - 0*n - k. Let g = n - -5. Let v(a) = -a**2 + 9*a + 6. Let y be v(g). Solve -y*f = -2*f for f.
0
Let g(x) = x**3 + 8*x**2 + 11*x - 3. Let m be g(-6). Solve y + 0 + m = 0 for y.
-3
Let c = -2 - -12. Solve -2*o + c = 3*o for o.
2
Let z be 1/((-8)/(-6) + -1). Let d = -5 + 10. Suppose -d*p - b - 9 = -4*b, 0 = -5*p + b - 3. Solve p - 3 = -z*y for y.
1
Let t(u) = u**3 - 5*u**2 + 5*u - 4. Let w be t(4). Let g(f) = f - 3. Let s be g(7). Let i be (-1 - 0) + (s - -2). Solve i*c - 2*c - 9 = w for c.
3
Let k be (7 - 7)*(-1)/(-1). Suppose k = 2*r - 4*r + 20. Suppose 4*x = 3*o - 21, r + 2 = 5*o + x. Solve -o*v + 6 = 3 for v.
1
Let t = 8 - 24. Let r = t + 19. Solve -2*a - 10 = r*a for a.
-2
Let q(z) = 6*z**2 + z - 1. Let f be q(1). Let i = f - 6. Solve i = -0*x + 3*x for x.
0
Suppose -3*h + 7 + 8 = 0. Suppose 4*y + 2*w - 10 = 0, 4*y - 4*w + h*w - 9 = 0. Solve -y = -0*b - 2*b for b.
1
Suppose 3*n = -7*c + 2*c + 20, n = 4*c - 16. Solve -2*w = -3*w - c for w.
-4
Let q(y) = 2*y**2 + 4*y + 3. Let n be q(-3). Suppose -2*h + n = 3*h + 2*x, -3*h - 6 = 5*x. Solve 0 = r - h + 2 for r.
1
Let l = 32 - -13. Suppose 0 = 7*n - 12*n + l. Solve -3*d + 3 = n for d.
-2
Suppose 4*q - 8 = -5*a, a - 6 = -4*q + 2. Suppose 73 + 52 = 5*n. Solve a = -0*t - 5*t - n for t.
-5
Let o(a) = a - 10. Let s be o(8). Let n be (s/(-6) - -3)*6. Solve 0 = -0*y + 5*y - n for y.
4
Suppose -w + 3*l = -12, l + 4*l + 27 = 4*w. Let b(d) be the third derivative of d**4/24 - d**3/6 - 2*d**2. Let g be b(5). Solve 2*s = w*s - g for s.
4
Suppose 5*z = 2*z. Let x(o) = -o**3 - 13*o**2 - 11*o + 15. Let f be x(-12). Suppose f = b - z*b. Solve 4 = -b*d - d for d.
-1
Let l(m) = -m**3 + 5*m**2 + 5*m + 8. Let t = -7 + 13. Let w be l(t). Suppose s - 2 = 4*k, 5*s = 3*k + k + 10. Solve k = y + y - w for y.
1
Suppose 2*k + i = -3 + 12, i = 3*k - 16. Solve -k*a + 13 + 7 = 0 for a.
4
Suppose 3*l = 4*l - 4*o, o = 0. Solve l = -9*s + 4*s + 15 for s.
3
Let b = -43 - -103. Suppose -4*c + 5*c + 4*y = 21, 5*y = -5*c + b. Let t be -2 + c - 9/3. Solve -x + 15 = t*x for x.
3
Let d be ((-2)/(-1))/2 - -3. Suppose -d*a + 5 - 1 = 0. Solve -6 = -5*w - a for w.
1
Let s = 20 - 10. Solve 5*b + 5 = -s for b.
-3
Let v be 6 + -2 - (5 + -1). Solve -w + v = 2 for w.
-2
Suppose 5*j - 8 = 3*j. Let w(d) = 3*d**3 + d. Let i be w(1). Suppose -4 - j = -i*u. Solve 0 = -b + u for b.
2
Let h(j) = j**3 + 6*j**2 + 7*j + 12. Let f be h(-5). Solve c = f*c for c.
0
Suppose -3*i - 2 = -4*l, 3*l - 2 = 13. Solve i = -6*z + 3*z for z.
-2
Let n(l) be the third derivative of -l**4/24 - l**3/3 + l**2. Let v be n(-6). Suppose -g + 2 = -v. Solve -4*a = g + 2 for a.
-2
Suppose -4*h + 2*h + 10 = 0. Solve 0 = -h*w + 3*w for w.
0
Suppose -5*j - 9 = -3*j + 5*r, r = -5*j + 12. Suppose -8 = -j*i + 10. Suppose -2*v - 12 = -i*v. Solve 2 = -5*g - v for g.
-1
Let s be (62/(-4))/((-3)/6). Suppose 0 = -5*f - 20, -5*a = -6*f + 2*f - s. Solve -a*v - 2*v = 10 for v.
-2
Let s be ((-9)/36)/(2/(-16)). Suppose 2*x - 8 = -s. Solve -2 = x*c - 14 for c.
4
Suppose 0 = -2*r - 2*l + 12 - 0, 2*r + 9 = 5*l. Solve r*c + 4 = c for c.
-2
Let p(k) = k**2 + 8*k + 12. Let c be p(-8). Solve c = -2*l + 2 for l.
-5
Let d(q) = -2*q**2 + 10*q + 12. Let k be d(5). Solve -3*u - 3 = -k for u.
3
Let r = 186 - 179. Let l be 12/(-10)*(-10)/3. Let y = l - 1. Solve y = -x + r for x.
4
Suppose -2*o = 4*k - 36, -5*o = -5*k - 1 - 14. Solve 0 = -2*v + 2 + o for v.
5
Suppose 0 = u - 4 - 1. Solve -u*w = -2*w + 12 for w.
-4
Let g(i) = 2*i - 8. Let y = 4 - -3. Let f be g(y). Solve 0 = 3*q - f*q + 6 for q.
2
Let w = -7 + 12. Suppose -w*l + 21 - 6 = 0. Suppose -6*m - 6 = -l*m + 3*t, 4*t = -2*m - 12. Solve -m = n + 3 for n.
-5
Suppose 0 = 2*y - l, 0 = -5*l + 20. Let h be (-5 + -9)*y/(-4). Solve h = k + 2 for k.
5
Let v = 10 - 26. Let w be v/(-10) + (-4)/(-10). Suppose -4*b + w*b = -12. Solve 2*m = -2 - b for m.
-4
Suppose j = -2*j + 12. Let c be 2/(j/3)*2. Solve -c*q - 10 = -q for q.
-5
Suppose 23*a = 20*a + 45. Let x = 4 - 2. Solve -f - x*f = a for f.
-5
Suppose 20 + 16 = 3*w. Suppose -5*n + 1 = -i + w, -3*n - 3*i - 3 = 0. Let j be (-2 + 2 - -2) + n. Solve j = 4*y + 6 + 14 for y.
-5
Suppose 4*l = -d + 16, 2*d +