 -3*c - m for c.
-4
Let f(y) = -3*y - 1. Let t be f(-7). Solve 0*z - t = 4*z for z.
-5
Let v = 13 + -10. Solve -q = 2*q + v for q.
-1
Suppose 2*z + 20 = 6*z. Suppose -6*x + 2*x - z*l + 4 = 0, 0 = 4*l. Solve -2*k = -k - x for k.
1
Suppose -4*y - 9 = -25. Solve 0*c + y = 2*c for c.
2
Suppose 0 = -h + 34 - 32. Solve -4 = -0*t + h*t for t.
-2
Suppose 28 = 4*t - 4*k, -14 - 1 = 5*k. Solve -t*q - 6 = -2*q for q.
-3
Suppose -z - 2*z = -6. Let b(d) = d**2 - 6*d + 4. Let t be b(6). Solve -z*h = -6*h - t for h.
-1
Let m = 12 + -9. Suppose m*s - 15 = -5*z + 20, 3*s - 5 = -2*z. Solve 0 = 6*j - j + z for j.
-2
Let s(y) be the third derivative of -y**4/24 + y**3 + 6*y**2. Let b be s(-3). Solve -2*t + 5*t = -b for t.
-3
Let p(j) = -4*j + 52. Let z be p(12). Solve z*l = -l for l.
0
Let z be (2 + (-2)/6)*3. Suppose 0 = -z*p - 2*v - 17, 2*v - 3 = -p - 0. Let x(i) = -i + 7. Let q be x(p). Solve 0 = n - 4*n - q for n.
-4
Let h(g) = 3*g**2 - g - 4. Let n be h(3). Suppose 7*r - n = 3*r. Suppose -c = 5*y - r*c - 141, 4*c + 91 = 3*y. Solve -y = -0*a + 5*a for a.
-5
Let p = 15 - 11. Let b be p - (-2 - -3 - 2). Suppose 0*f = b*f - 15. Solve -3*x = -0*x + f for x.
-1
Let p = 23 + -21. Solve v = 2 + p for v.
4
Suppose -3*m = 2*b, 0*b + 2*m = -2*b. Suppose 5*p - 14 - 1 = b. Solve -p*u + u = 0 for u.
0
Let p be (2/(-3))/(4/(-18)). Suppose -1 = -p*w + 8. Solve 0*a = -a - w for a.
-3
Suppose 3 = -3*k, -i - 5*k = 2*i - 67. Let b be (-6)/i + (-42)/(-8). Solve 2*s + b = 3*s for s.
5
Suppose 0 = 18*l - 21*l. Solve -2*c + 3*c = l for c.
0
Let j = -4 + 10. Suppose -3*a - 1 = p - 0, -5*p - 4*a = -j. Solve -i - 4 = -p*i for i.
4
Let u(c) = -5*c - 10. Suppose -t - 6 = -2. Let s be u(t). Let q be 2/(-3) - 77/(-3). Solve 0 = 5*o - s*o + q for o.
5
Suppose -3*g - 12 = 0, -4*y = -3*y + 3*g + 12. Solve -5*o - 7 - 8 = y for o.
-3
Let v = -14 - -12. Suppose -3*f - 2*i = -5, 0 = -3*f + i + 4*i + 40. Let t = v + f. Solve -10 = t*o + 2*o for o.
-2
Let l(d) = -d**2 + 3*d - 3. Let x be l(-4). Let j = -20 - x. Solve -3*g = -4 - j for g.
5
Let s(m) = 10*m**2 - m + 1. Let j be s(-1). Solve 0 = 3*o - 3 + j for o.
-3
Suppose 4*r = 1 + 15. Let v(f) = -f**2 + 5*f - 4. Let t be v(r). Solve -5*q + 10 = -t*q for q.
2
Let o = -81 - -84. Solve u - o*u - 2 = 0 for u.
-1
Let c be (-4)/22 + (-414)/(-99). Solve 2 = 3*n - c for n.
2
Suppose 20 = -2*u + 6*u. Solve 2*d = d + u for d.
5
Suppose -20 = -6*c + 2*c. Let u(q) = -q + 7. Let x be u(c). Solve -6 = x*l - 4 for l.
-1
Suppose 5*i - 7 = 3. Solve -3*v = i*v + 5 for v.
-1
Let j = 8 - 3. Suppose -j*i = b - 0*b, -2*i = 4*b. Solve -2*t - 9 - 1 = i for t.
-5
Let h = -1 + 1. Solve h = -3*x + 5*x for x.
0
Let q(i) be the first derivative of -1/3*i**3 + 2 - 7/2*i**2 + 2*i. Let t be q(-7). Solve 0 = b - t*b for b.
0
Let h(s) = 2*s - 8. Let l be h(6). Suppose -14 - 16 = -5*b. Suppose l*o - b = o. Solve -5*y + o = -4*y for y.
2
Suppose 3 = 2*r - 3*t, 4*t = -5*r + 20 - 1. Solve -4*u = -1 - r for u.
1
Suppose 0 = c + c. Solve c = -2*m + 4 + 2 for m.
3
Let x = 22 + -22. Suppose -u = -2*a - 1, -2*a - 3*u = -10 - 9. Solve x*i = i - a for i.
2
Suppose -6 = -3*u, -34 = -5*l + 4*u - u. Solve -d = 3*d + l for d.
-2
Let a = -79 + 82. Solve 0 = -a*h - 0 - 6 for h.
-2
Let m = 6 - 5. Suppose 3*z + x + 6 = -0, -5*z = 4*x + 17. Let r be z/(3 - 2)*-3. Solve -r*s = -m + 4 for s.
-1
Let v(k) = 3*k + 23. Let t be v(-10). Let o(c) = -2*c + 1. Let a be o(-1). Let u = a - t. Solve -u = g - 5 for g.
-5
Suppose 5*p - 9 = 1. Solve -3*c = -p*c - 5 for c.
5
Let y(a) = a**2 - 2*a + 4. Suppose 0 = 3*m + 4*i - 1 - 8, i + 3 = m. Let n be y(m). Solve -n + 2 = -5*o for o.
1
Suppose -18 = 4*d - 7*d. Solve 0 = 2*v - d*v for v.
0
Suppose -4*q - 6 = 4*h - 2, h + 10 = -4*q. Let a = -1 - -1. Suppose 2*r - g - 4 = 0, 2*r = 3*g + 7 + 1. Solve a = b - r - h for b.
3
Let h(n) = n**3 - 16*n**2 - 17*n + 2. Let k be h(17). Solve k*l - 4*l + 10 = 0 for l.
5
Suppose -4*v + 16 = -0. Solve -v*g + 2 = -14 for g.
4
Suppose -z - 1 = -5. Suppose -8*u = -z*u. Suppose u = -2*s + 4*s - 24. Solve 0*l - s = 3*l for l.
-4
Suppose 4 = 2*p + 2*p. Let i be ((-1)/(-1) + 0)/(-1). Let n = i + p. Solve n = -2*k + k - 3 for k.
-3
Let f be 3 + (4/(-4) - 6). Let x(a) = 1 - 2 - 6*a + 2*a. Let i be x(f). Solve 0 = 5*v - i - 5 for v.
4
Suppose 0 = 3*u - 15, 3*x + 29 = -4*u + 124. Solve -5*n = -0*n - x for n.
5
Let g be (-8)/(-44) - (-108)/11. Solve -5*k = -g*k - 10 for k.
-2
Let m = -9 - -17. Let l = m + -4. Solve h = -l*h for h.
0
Suppose 2*f + 112 = 122. Solve 0 = f*u - 1 - 19 for u.
4
Suppose 2 = 5*f + h, -3*f + 4 = 2*h - 0*h. Suppose f = -5*a - 4*q + 16, -a - 2*q = -3*q + 4. Solve -2*r - 2 + a = 0 for r.
-1
Let v = 14 + -6. Solve -5*w + 3 = v for w.
-1
Suppose t + 0*t = 4. Suppose -4*f = 4, t*q + 4*f - 3 = -f. Suppose 0 = q*k - 8 + 2. Solve -k*v - 2 = 4 for v.
-2
Let p be -2 + (-1)/((-2)/8). Let h be p + -3 + (-3 - -2). Let m be h/(-4)*-4*-1. Solve 0 = -m*t - 12 + 2 for t.
-5
Suppose -t - 3 = 1. Let h(v) = v**2 + 1. Let l(a) = a**3 + 9*a**2 - 3*a. Let j(r) = -5*h(r) + l(r). Let y be j(t). Solve 2*c = -1 - y for c.
-4
Let k(l) = -4*l - 12. Let y be k(-3). Solve w = -y*w for w.
0
Let a be 3*(((-550)/(-15))/5 + -4). Solve 3*l - 8*l = -a for l.
2
Let c = 22 - 18. Let d be (-1)/(-1)*-1 + 3. Solve -c*z + 3*z + d = 0 for z.
2
Let o(w) = -w**2 + 8*w + 10. Let p be o(8). Let a(y) = -y**3 + 9*y**2 + 10*y + 4. Let m be a(p). Solve m*f - 8 = -0 for f.
2
Suppose -10 = -4*y - 2. Suppose 0 = y*m - 4*k - 24, -5*m + 2*k + 55 = -3*k. Solve p + p = m for p.
5
Let l(v) = -13*v - 11. Let t be l(-1). Solve -t*x + 5 = -1 for x.
3
Let n be 1/4*2*2. Let w = -19 + 33. Let y be (-1 + w/10)*10. Solve y*r = 3*r + n for r.
1
Let r be (22/6)/((-3)/(-9)). Solve -4*g - r = 1 for g.
-3
Let k = 4 + 5. Let d = 14 - k. Solve -d*w + 0*w = 25 for w.
-5
Let x = 18 + -12. Suppose 2*g - x = -g. Solve s = -g*s for s.
0
Let f(y) = -y**2 + 4*y - 1. Let l be f(2). Suppose -3*w = l*q - q + 4, -2 = -4*q - w. Let s be 3 - (q - 1) - -17. Solve z + 4*z - s = 0 for z.
4
Let a be (-1)/(2*2/(-20)). Let c be 2/(-2) - 3/(-3). Suppose c*q - a = -q. Solve 6 = -q*m - 19 for m.
-5
Let n(b) = b**3 - 8*b**2 - 8*b - 5. Let o be n(9). Solve 0 = 3*a - o*a for a.
0
Let j(c) = -c**2 + 5*c - 4. Let y be j(4). Suppose -5*i = -y*i. Let m be (1 - 1)/(-1) + 6. Solve i = 2*f + 2 + m for f.
-4
Let j(s) be the second derivative of -s**3/2 + 6*s. Let v be j(-2). Solve u - v*u = 0 for u.
0
Let d be -2 + (0 + -3 - 2). Let f = 9 + d. Solve 0 = -y - f*y for y.
0
Suppose 0 = -x - x + 20. Suppose 0 = -3*s - 2*s + x. Suppose n = -s*f - 0*f + 15, 0 = -f - 2*n. Solve 0 = 5*a - 15 - f for a.
5
Let q = -6 + 30. Suppose 4*b = 2*b + q. Suppose -2*t - 2 = -b. Solve 0 = 4*h - 3 - t for h.
2
Let d(u) = -u - 11. Let y be d(-11). Solve y = 3*c + 2*c - 5 for c.
1
Let w(y) be the first derivative of y**3/3 + 3*y**2/2 - y - 3. Let n be w(-2). Let p be n/6*1*-6. Solve -p*g - 15 = -6*g for g.
5
Suppose -2*a = -4*a + 30. Solve -a = 3*n - 6*n for n.
5
Let h = 44 - 24. Let u = h - 18. Solve u*p = 4*p for p.
0
Suppose 4 = 2*r - r. Let b be r/(-5)*5/(-2). Suppose j - b = -0. Solve -4*x + j = -2 for x.
1
Let o(z) = z - 1. Let y be o(6). Let f = 8 - y. Solve -j + 8 = -f*j for j.
-4
Suppose -120 = -3*f - 0*f. Suppose -o + f = 3*o. Let a = o - 6. Solve 0 = -0*u - u + a for u.
4
Suppose -7*k + 2 = -47. Let y = 1 + -1. Let b(c) = c**3 + c**2 + c + 8. Let r be b(y). Solve k = -5*q - r for q.
-3
Let m(j) = j**3 - 3*j**2. Let i be m(3). Let r(t) = t**2 + 7*t + 8. Let y be r(-6). Suppose x + 62 = y*a + a, -a - x + 18 = 0. Solve i*w = 5*w - a for w.
4
Let v = 74 + -71. Solve -1 = q + v for q.
-4
Let i = 36 + -25. Let x = i + -7. Suppose -5*p + 0*m - 10 = 5*m, x*p + 5*m = -13. Solve -3*t - 12 = -p for t.
-3
Suppose -d + 3*j = -8, 5*j + 0 = -5. Suppose -12 = 3*q - d*q. Solve q = -2*t + 2 for t.
-2
Let i = -4 - 2. Let w(a) = a + 6. Let r be w(i). Solve u - 1 - 2 = r for u.
3
Suppose 3*l = -20 + 146. Let d be 242/14 - 12/l. Solve -3*b - d = -2 for b.
-5
Let u(x) = -3*x**2 + x + 2. Let b be u(-2). Let q = b - -21. Solve 0*k - 3*k = -q for k.
3
Let t(u) = -u**2 - 5*u + 6. Let f be t(-5). Solve 3*s = -3 + f for s.
1
Suppose 0 = k - 6. Solve -6*b + 4*b = -k for b.
3
Let o = 5 + -6. Let u = o - -9. Suppose -3*h + u*h - 5 = 0. Solve h - 7 = -2*n for n.
3
Let