-4*c for c.
4
Let a be -9 - -6 - (-3 - 2). Suppose a*g - 4*i - 20 = 0, 2*i = g + 3*i - 7. Solve 5*t = t + g for t.
2
Suppose -5 = g - 5*i, g + 5*i - 4 = 1. Suppose -2*h + 1 + 11 = g. Solve -5*l + h = -4 for l.
2
Suppose 0*y = 2*y - 18. Suppose 11 - y = 2*w. Solve h = -4 - w for h.
-5
Let p = -3 - -16. Let s = p - 13. Solve -3*d + 2 + 1 = s for d.
1
Let z(u) = -u + 1. Let a(b) = -1. Let i(s) = -6*a(s) - z(s). Let o be i(-3). Let c be (-16)/(-6)*(-3)/(-2). Solve 0 = o*y - 4*y - c for y.
-2
Suppose 7*h = 3*h - 2*s + 42, 5*h = -5*s + 60. Suppose -h = -k + 11. Let g = 3 + -3. Solve 0 = 5*j - g + k for j.
-4
Let r be 52/14 + 2/7. Let v(i) = -i - 3. Let u be v(-9). Let p = u + -1. Solve -p = -r*s + 11 for s.
4
Let q = -19 - -22. Solve 0 = -0*x + q*x - 3 for x.
1
Let s(j) = -j**2 + 3. Let x be s(0). Let q = x + -1. Solve 2 + 4 = q*l for l.
3
Let a(p) = p**3 - 18*p**2 + 6 + 15*p**2 - 3*p - 1. Suppose -2*v + 16 = 2*v. Let b be a(v). Solve 3*i - 3 = -b for i.
-2
Let s = -26 + 39. Let d = -12 + s. Solve 2*z = -5 - d for z.
-3
Let u be 156/8 + (-3)/2. Suppose 0 = 4*r - u + 6. Solve 2*d = -r - 1 for d.
-2
Let d be (-11)/22 + (-10)/(-4). Let i be (d + 1)/(3/2). Let l = 3 + i. Solve 0 = -5*y - l - 5 for y.
-2
Let x(o) = 4*o + 3. Let q be x(5). Solve -4*p = 3 - q for p.
5
Let c(h) = -h**2 - 7*h - 4. Let b be c(-6). Let a be 2 - (b - 3)/(-1). Let w = 2 + a. Solve 0 + 9 = -w*i for i.
-3
Let z = -50 + 53. Let m(t) = -t + 1. Let f be m(0). Solve s + z = f for s.
-2
Let g = 21 + -18. Suppose -g*x = -x - 2. Solve -11 + x = 5*p for p.
-2
Suppose 0 = -z + 4*x + 23, 4 = -5*z - 5*x - 6. Solve -a + 4*a = z for a.
1
Let d(n) = -3*n + 1. Let v be d(-4). Solve -12 = -5*f + v for f.
5
Let q be (-2)/(-6) + 16/6. Solve -q*y + 0*y = 6 for y.
-2
Let g(h) = -h + 4. Let y be g(2). Solve -5*i - 8 = y for i.
-2
Let k(j) = j**2 - 2. Let y be k(-2). Solve 4*c + 6 = y*c for c.
-3
Suppose 12 = x - 3*q, 4*q = 3*x + 2*q - 36. Solve 4*i + x = 4 for i.
-2
Let w = 27 - 11. Let m = 1 + 1. Solve 6*x + w = m*x for x.
-4
Suppose -h - 7 = -0*h - b, -5*h + 4*b = 35. Let t = h + 10. Suppose -t*i = -8*i. Solve -v - 4 = -i*v for v.
-4
Let n be (-49)/(-14) + (-2)/(-4). Suppose -2*s + n*m + 0 = 4, 4*s = 2*m + 10. Solve 8 = -s*u - 0 for u.
-2
Let h(p) = 2*p + 4. Let c be h(-2). Solve 4 + c = b for b.
4
Let k(d) be the first derivative of d**2/2 - 3*d - 1. Let s be k(0). Let a(o) = o**3 + 5*o**2 + 3*o - 2. Let p be a(s). Solve 2*l - 1 = p for l.
4
Suppose -3 = 4*f - 23. Let x = -36 - -40. Suppose l + x*d - 1 = 0, -l - 2*d + 8 = -f*d. Solve r - 2*r - l = 0 for r.
-5
Let t(k) = k**2 - 5*k + 2. Suppose 0 = 8*g - 6*g - 10. Let s be t(g). Solve 4*v = 2*v - s for v.
-1
Let u(a) = a**3 - 14*a**2 - 14*a - 6. Let p be u(15). Solve -p = -7*g + 4*g for g.
3
Let f = -9 + 15. Let c = 60 - 56. Solve 2*i - f = -c for i.
1
Let z(b) = b + 6. Let n be z(-4). Solve 0 = -d - d - n for d.
-1
Let b(u) = -u - 14. Let d be b(-14). Solve 0 = -z + 2 - d for z.
2
Let y(v) = v**3 + 4*v**2 - 5*v + 4. Let m = 7 - 4. Suppose 0 = -2*b - m*b - 25. Let g be y(b). Solve -g*j - 5 = j for j.
-1
Suppose -2*t + 54 = -6. Suppose t = -2*z + 4*z. Let k = 6 - 2. Solve -b = k*b + z for b.
-3
Suppose -4*p = -5 + 1. Let x be (6 - p) + -5 + 3. Solve -x*u = -2*u for u.
0
Let f be -2 + (-4)/(8/(-4)). Solve f = -b + 5 - 0 for b.
5
Suppose -k = -4 - 8. Suppose 0 = -2*d + 3*d - k. Solve 5*m - d = m for m.
3
Let p(g) = -g**2 - 4*g - 3. Let d be p(-3). Solve 3*s = -d*s + 3 for s.
1
Let s(k) = -k**3 - 2*k**2 + k + 5. Let o be s(-3). Solve 1 = -2*z + o for z.
5
Suppose -3*i + 2 = -10. Let b(l) = -l**3 + 7*l**2 - 6*l + 1. Let d be b(6). Suppose -i = -k + d. Solve -4 = -3*a + k for a.
3
Let o(z) = 7*z + 37. Let i be o(-5). Suppose 2 = -3*t - 1. Let a = i + t. Solve -5*f + 11 = a for f.
2
Let q be (6/4 - 2)*-4. Let r(c) = -c. Let a be r(-4). Let d = 8 - a. Solve 4 + d = q*t for t.
4
Let z = -16 + 17. Solve z = f - 0*f for f.
1
Let l(y) = y**2 - y + 4. Let v be l(0). Solve -v = 3*h - 1 for h.
-1
Suppose -8 = -l - 7. Solve 0 = s - 4 - l for s.
5
Let x = -52 - -58. Solve 0 = x*p - 10*p for p.
0
Let u(m) = -m - 5. Let v be u(-7). Suppose 0 = -f + r - 0*r - 1, 0 = -4*f + 3*r + 1. Let w be (-6)/15 + f/10. Solve w*x = -v*x + 4 for x.
2
Suppose 2*x - 3 = x. Suppose -4*h - 5*g = -9, -2*h - g + 1 = -2. Solve 2*t - h - x = 0 for t.
2
Let q(b) = -b**3 + b**2 + 2*b + 1. Let r be q(-2). Suppose 16 + 2 = -2*j. Let z be (j/(-4))/(r/48). Solve 2*g - z = -g for g.
4
Let v(l) be the first derivative of -l**4/4 + l**2/2 + 5*l + 1. Let n be v(0). Suppose -2*k - t + 5 = 0, -35 = -5*k - 0*t + n*t. Solve 2 = k*q + 6 for q.
-1
Let x be 6/42 - (-40)/14. Solve 3*h - 9 + x = 0 for h.
2
Let r = 427 + -426. Suppose -3*q + 2*i = 0, 0 = i + 4*i. Solve q = 2*g - g + r for g.
-1
Let u be 46/10 + (-4)/(-10). Suppose 12 = 2*o + d, 3*d - 10 - 21 = -5*o. Let p be 0 + 5 + (o - 7). Solve x - p + u = 0 for x.
-2
Let q(w) be the third derivative of w**5/60 - 5*w**4/24 - w**3/3 - 3*w**2. Let x be q(6). Suppose 0 = -x*t - 12, -2*t + 11 - 2 = 3*k. Solve -k*a = 22 - 7 for a.
-3
Suppose 0 = -v - 2 + 5. Let a(l) = 0 - 5*l + 0*l**v + l**3 + 3 - 1 + 4*l**2. Let q be a(-5). Solve -w + 1 = q for w.
-1
Let k(p) = 7*p**3 + 2*p**2 - 1. Let c be k(1). Suppose -m + 2*d = 3*m - c, 2*m - 16 = 4*d. Solve f + 2 + 2 = m for f.
-4
Suppose -2*z = -5*x - 5, x + x = -z - 2. Solve z - 3 = -3*t for t.
1
Let f(w) = w**2 - 2*w + 3. Let i be f(2). Suppose v - 20 = -4*p, 49 - 3 = 3*v + 5*p. Solve -i*k + 3 = -v for k.
5
Let s be 0 + 5/(10/8). Suppose 5*h - 200 = 5*k - 530, -2*h + 240 = s*k. Suppose 0 = 2*q - 7*q - f + 66, -3*f = -5*q + k. Solve -2*i + 5 = q for i.
-4
Let g(o) = o**2 + 6*o - 3. Let l be g(-7). Solve -l*c - 2 = -18 for c.
4
Suppose 0 = -h - 3 + 14. Let r(f) = f**3 + 8*f**2 - 2*f - 8. Let t be r(-8). Let u = h - t. Solve u*m = 2*m + 2 for m.
2
Let z be 2/(-2 - -4) + 1. Solve -15 = c + z*c for c.
-5
Let c = 27 - 22. Solve 0 = -c*k + 4*k + 4 for k.
4
Let h = 52 + -51. Solve a = -h + 5 for a.
4
Suppose 2*g - 2 - 2 = 0. Solve 7 = g*a - 1 for a.
4
Let s = -1 - -6. Let t = s + -2. Solve -t*p - 16 = p for p.
-4
Suppose -2*t - 200 = -0*h - 4*h, 4*t = 4*h - 404. Let d = t + 24. Let u be (-144)/d - 2/(-13). Solve u*s = -1 - 1 for s.
-1
Suppose 4*o = 2*o + 2. Suppose o = -3*x + 3*k + 4, -22 = -4*x - 5*k. Solve 0 = h + x*h + 16 for h.
-4
Suppose 4*d - 3 = 9. Suppose 3*h - y - 3 = 4, d*h + 4*y = -13. Solve 3*i - 2 - h = 0 for i.
1
Suppose -k - 11 = 5*g - 6*g, 47 = -5*k + 3*g. Let b = k + 7. Solve 0 = -b*u - 3*u - 3 for u.
-1
Let y = 27 + -24. Solve y*w = 4 + 11 for w.
5
Suppose -12 = -3*w - 0. Solve -n - w = -3*n for n.
2
Let f be 8/(-44) + 24/11. Suppose f = -r + 5. Suppose 5*t = -x + 2*x - 20, -8 = 4*t. Solve -2 = r*n + x for n.
-4
Let v(x) be the first derivative of x**2/2 - 3*x + 5. Let m be v(6). Let q be 2 + -1 + 1/1. Solve q*b = m*b + 2 for b.
-2
Suppose -4*j = -11 + 3. Suppose 0 = -j*c + c. Suppose -a = 3*u - c*a - 25, 0 = u - 2*a + 1. Solve -u*k + 2*k = 25 for k.
-5
Let w = 7 + -3. Solve 3*x - 5 = w*x for x.
-5
Suppose -3*s + 1 = -4*s. Let g = 1 - s. Suppose g*z - 3 = 1. Solve -z*y - 3*y = 0 for y.
0
Let t(x) = 2*x**2 - 4*x + 5. Let l be t(1). Let n be (-5)/2*2*-1. Solve 10 = n*m - l*m for m.
5
Let h = 188 - 187. Solve 0 = -v + h - 2 for v.
-1
Let q = 2 + 13. Solve 0 = -5*b + 2*b - q for b.
-5
Let c = -69 + 70. Solve c = -r + 5 for r.
4
Let z(v) = v**3 + 14*v**2 + 5. Let d be z(-14). Solve d*l - 2*l + 15 = 0 for l.
-5
Let f be (10/6)/(1/3). Let v = -2 - -6. Solve 3*d = -v - f for d.
-3
Let a(x) = -5*x - 34. Let k be a(-7). Solve -3*y - k = -4 for y.
1
Suppose 5*j + 26 = 4*n - n, n - 6 = -j. Solve 2*h = n*h for h.
0
Let d = -111 + 121. Solve -2*t + 4*t + d = 0 for t.
-5
Suppose t = -4*t. Suppose -4 = -5*r - i + 5, 2*r + 14 = 4*i. Solve w = r - t for w.
1
Suppose -4*k = -4*d + 8, 14 - 1 = 5*d - 2*k. Suppose -4 = -n - d. Let b be 4 - n - (-5)/(-5). Solve 8 + 0 = b*c for c.
4
Let j(h) = -2*h - 12. Let o be j(6). Let z be o/(-9)*60/16. Solve -z = 2*m + 3*m for m.
-2
Let q be -1*15/(-3) + -1. Suppose 0 = 5*i + 25, 12 = 4*n + q*i - 12. Let u = 14 - n. Solve w - 4*w = -u for w.
1
Let y(t) = -t**2 + 14*t + 4. Let x be y(14). Solve -x*d - 8 = -0*d for d.
-2
Let x(u) = -u**2 + 11*u. Let m be x(5). Suppose -3*g + m = -0*g. Let f =