c for c.
-3
Let r(t) = 6*t. Let p be r(2). Suppose -p = -0*i - 4*i. Solve -14 - 1 = 3*c, -5*k - 40 = i*c for k.
-5
Let q(s) = s**2 + 2. Let d be q(2). Solve -1 = 3*m - y, d*m - 5*y + 17 = 3*m for m.
1
Let i(s) = s**2 - 6*s + 5. Let c be i(6). Let r = 31 - 15. Let k = r + -11. Solve -k*p = m - 4, -9 = -5*m - c*p + 11 for m.
4
Let m(d) = 3*d**2 - d**3 + 4 - 1 - 7*d**2 - 2*d. Suppose -3 = -4*z - 15. Let c be m(z). Solve h - f + 6 = 0, 2*f + 0*f - 10 = c for h.
-1
Let l = 1 - 1. Solve l*d - 3*d = -2*g - 18, 3*d = -2*g + 6 for g.
-3
Suppose 5 - 31 = -b. Solve -5*u = 3*x + b, 0*x - 5*x + 10 = -5*u for u.
-4
Let f = -18 + 31. Suppose 2*i = -0*i + o + f, 25 = 2*i - 5*o. Solve 8 = -2*a - i*d, -3*a = -2*d + 4 + 8 for a.
-4
Suppose 2 = -3*s + 5*u + 28, 15 = 2*s - u. Suppose 0 = -s*f + 2*f + 15. Solve -4*i = f*j + 2 + 14, -7 = 2*j - i for j.
-4
Suppose 4*x + t = 23, x = 3*x + 3*t - 19. Suppose 11 = f + 3*w - 17, x*w = 3*f - 70. Solve 0 = 4*n - 2*g - 3*g + f, 5*n + 15 = 3*g for n.
0
Let d = 23 + -20. Suppose 0 = -d*h - 0*h. Solve h*c + 5*c - 10 = 5*t, -4*t = 5*c + 26 for c.
-2
Suppose 35*m - 15 = 30*m. Solve -4*q = 3*n - 7*q + 3, 0 = n - 3*q - m for n.
-3
Suppose -5*r + 10 = -5. Solve 0 = 2*g + 5*m + r, -3*g = -3*m - m + 16 for g.
-4
Let s be 9/12 - (-13)/4. Suppose -2 = -2*z + 4. Solve 2*x + 26 = -s*m, -z*x = -2*m + 2*x + 5 for m.
-5
Let h(m) = -m**3 + 5*m**2 + 8. Let i = -4 - -10. Let r be h(i). Let s be (r/35)/((-4)/10). Solve 2*o - 5*c - 23 = 0, -3*c = -0*o - s*o + 13 for o.
-1
Suppose 3*k - 67 = -4*r, -4*r + 0*k - 5*k + 69 = 0. Solve -q - r = -2*q + 4*b, 29 = 5*q - 3*b for q.
4
Suppose -3*d + 6*x - x = 14, -30 = -5*d - 5*x. Solve -2*k = -2, d*n = -2*n - 5*k + 17 for n.
3
Let u(y) = 4*y + 0*y + 6 - 5*y - y**2 - 4*y. Suppose 5*f = 3*o + 28, 0 = o - 2*f - 0*f + 10. Let x be u(o). Solve 0 = 4*d - 5*r + 3, 4*d + x*r - 3*r = -5 for d.
-2
Suppose w + 6 = -a + 3*a, -4*a = 4*w - 12. Suppose -4*l + 1 = -11. Let i = 21 + -17. Solve a*h = 2*x - 13, 0 = -i*h + l*h - 3*x + 3 for h.
-3
Suppose -20 = -4*c - 2*o, -3*c - c = -3*o. Let b = -6 + 9. Let w = b - c. Solve -2*l - k = 5 - w, 5*l = 3*k - 18 for l.
-3
Let h(p) = p + 12. Let f be h(0). Suppose -2*n + 6 = 3*n - 2*s, 0 = 2*n - 4*s - f. Solve 3*r = 3*w, n = -w + 6*w - 10 for r.
2
Let b(y) = -3*y - 4. Let r be b(-3). Let t be (r/2)/(1/4). Let v(c) = -c**2 - 6*c - 3. Let f be v(-4). Solve 5*g + t = -z - f, -g - 4*z = 22 for g.
-2
Let o(f) be the third derivative of -f**5/60 - 3*f**4/8 - f**3 - 4*f**2. Let u be o(-5). Let p = -10 + u. Solve 12 = 4*v - p*l - 24, -3*v + 4*l = -32 for v.
4
Let o(s) = -s**3 - 9*s**2 - 8*s - 9. Let n be o(-8). Let b = n + 14. Solve 3*v = -b*i + 19, 4*i + 3*v = 20 - 6 for i.
5
Suppose 0 = -c - 2*y - 9 + 2, 36 = -4*c - 4*y. Let n = 15 + c. Suppose -116 = -n*z - 0*z. Solve -5*i - z = -p, 0*i - 15 = -5*p - i for p.
4
Suppose -5*f = 9 + 91. Let t be (6/10)/((-4)/f). Solve 5*o - t = 3*a, a + 5*o = -2 + 1 for a.
-1
Suppose 0*d + 45 = 3*d. Let c = 23 - d. Solve -h + 9 = u, -3*u = h - c - 9 for u.
4
Let t = -12 + 18. Solve 5*x + 5 = u, 4*u = 4*x + 14 + t for u.
5
Let p(y) = -y**3 + 13*y**2 - 12*y + 4. Let v be p(12). Solve 0*s = 3*q - 3*s - 15, -25 = -5*q + v*s for q.
5
Let v(h) be the second derivative of h**5/20 + h**4/3 + h**2/2 - 2*h. Let q be v(-3). Solve -3*y = c + y - q, 0 = 5*c - 5*y for c.
2
Suppose 4*k - 2 - 6 = 0. Solve -k*p - 3*p + 6 = -z, 0 = -4*p + 3*z - 4 for p.
2
Let t(b) = 2*b**2 - 35*b + 21. Let x be t(17). Solve 3 = -4*f + 3*a, -3*f = -5*a - 2 - x for f.
-3
Suppose 0 = 24*c - 16*c - 24. Solve a + 4 = 2*l + 5, 2*l + 13 = -c*a for l.
-2
Let b = 29 - 21. Let r be 9/(-6)*(-14)/3. Suppose -4*n = -r - 1. Solve 8 = -0*i - 4*i, 4*v - n*i = b for v.
1
Let c(n) = n**2 - 2*n + 1. Suppose 5*b - 8 - 7 = 0. Let f be c(b). Solve 2*h - 6*h + 12 = f*a, -4*h + a + 22 = 0 for h.
5
Let g be 1 + 4*(-2)/(-8). Solve -l + 6*l = 2*r + 10, -22 = -g*r - 3*l for r.
5
Let h be 3/(2/2 - 0). Suppose -3*o = 2*o. Suppose 0 = -o*q + q - 4. Solve 2*m - m - q*b + 1 = 0, -h*m + 4 = -5*b for m.
3
Let y be -1*((1 - 6) + 2). Suppose m + m = -y*f + 10, 0 = 5*f + 2*m - 22. Solve 5*q = -2*s + 24, 4 = f*s - 2*s - q for s.
2
Let w be (-4)/((-3)/2 - -2). Let q = -6 - w. Solve -q*g + 2 = -3*y, 4*g = 2*y - 3 - 1 for y.
-2
Let m(f) = f**2 - 3*f - 18. Let k be m(6). Solve -p + 1 + 15 = 4*a, k = 5*p - a - 17 for p.
4
Suppose 0 = 2*b - 0*b - 18. Let j be 33/b - 1/(-3). Let v(k) = k**2 + k + 2. Let u be v(0). Solve z - 3*r + 20 = 0, 0 = -u*z + j*r + r - 35 for z.
-5
Suppose 0*w = -3*w. Suppose 0 = -u - w*u. Solve -4*f = u, 4*h - 4*f + 0*f = 16 for h.
4
Let l be (2/(-3))/((-6)/27). Solve l*g - 3*t - 12 = 0, -2 = -g + 2*t + 3 for g.
3
Suppose -5*f - 26 = 19. Let u(k) = -10*k + k**2 - 2*k**2 + 0*k**2 - 6. Let p be u(f). Solve -1 = 2*w + p*h + 21, 3*w - 5 = 5*h for w.
-5
Let b(y) = y**3 - 8*y**2 - 7*y - 11. Let v be b(9). Let c = 7 - v. Solve -5*u = 5*f, -f + c*u + u = -4 for f.
2
Let o be 1/(-3) - 52/(-12). Suppose 0 = o*u + 2*h + 10, -3*u = -2*h - 0*h - 10. Let f be 20/6 + (-2)/6. Solve f*v = -0 + 3, 4*a - v + 1 = u for a.
0
Let k(p) = -p**3 - 6*p**2 + p + 8. Let d be 0/5 + (-8 - -2). Let g be k(d). Solve -5*r - 3*q - 11 = 0, -3*r - g*q - q - 9 = 0 for r.
-1
Let p = 23 - 18. Solve p*o = -5*r - 20, 8*o = -r + 3*o - 24 for r.
1
Let n = -35 - -59. Let r = 40 - n. Solve 2*l = -4*k + r, 0*l + 33 = -4*l + 5*k for l.
-2
Suppose 0 = -2*g - 4*g + 6. Suppose 0 = 5*v + 3*c - 14, v + 5*c + 5 = -g. Solve 2*m = -r + 8, -5*m + v = -m - 4*r for m.
3
Let n(b) = -b. Let z be n(-5). Suppose -136 = -4*r - 3*j, z*j - 166 = -5*r - 1. Solve -5*k - r = -3*i - 10*k, -4*i = k - 21 for i.
4
Suppose -m - 27 = -19. Let k = -5 - m. Solve -x = k*a + 5, -3*a + 0*a = -2*x + 8 for a.
-2
Let b = 12 + -2. Solve -l = 3*u - 8*u + 14, 5*l + b = 5*u for l.
1
Let t be -14 + 16 - (-3 - 0). Solve -35 = -2*d + t*k, d + 5 = -3*k - 5 for d.
5
Let b be (-1 + -2)/3*-3. Suppose b*r - 6*r + 6 = 0. Solve -4*d - 22 = r*n, -7*n + 4*n + d - 5 = 0 for n.
-3
Let m(t) = t**3 - 10*t**2 - 9*t + 12. Let h be m(11). Suppose -3*c + 17 + h = 0. Solve 3*k + 26 = x + 3*x, -k = -3*x + c for x.
5
Let q = 14 + -5. Let a be (-3)/q*18/(-2). Let s = -147 - -154. Solve 2*p - 3*n = 8, -a*p - 6*n + n - s = 0 for p.
1
Let i = -8 - -13. Let h(x) = x**2 + 2*x - 2. Let z be h(-4). Solve -3 = 3*n - 3*g, -4*g - 1 = -i*n - z for n.
-1
Let o be 23 - ((-1)/(-1) + 2). Solve o = -q - 4*i - 5, -2*q - 3*i - 25 = 0 for q.
-5
Let h = 38 - 31. Solve 5 = -3*x - 2*x + 5*u, -5*u - h = x for x.
-2
Suppose 0 = 2*v - 2*s - 2 + 6, -v = 3*s - 6. Solve d = -2*m - 2*m, v = 5*d + 4*m for d.
0
Suppose 2*m = -3*m + 15. Let l(c) = c**3 + 8*c**2 + 6*c + 3. Let z be l(-7). Let v = z + -7. Solve v*y = -2*o + 2*y - m, -3*o = -y + 17 for o.
-4
Let v(j) = -5*j. Suppose 5*t = 4*p + 7, p + 4 = -t - 0*p. Let n be v(t). Solve -y + 0 - n = -2*g, 0 = -g - 4*y + 16 for g.
4
Suppose -2*v = -4*z + 2, -z + 4 = -2*v + 5*v. Solve x + v = 2*j, -j + 2*x + 18 = -2*x for j.
-2
Let l(j) = -3 - 4*j + 3*j + 8. Let b be l(5). Solve -3*p + a + 12 = b, -3*p - 3*a + 12 = 2*a for p.
4
Suppose -2*g = -d - 7*g - 15, -5*g - 20 = 0. Suppose -d*t + 7*t = 0. Solve 2 = 2*w - 3*k - 3, -w - 4*k + 8 = t for w.
4
Suppose 39 - 4 = 5*u. Suppose -2*r - 4*d + 24 = 0, 0 = r - 2*r - d + u. Suppose -r*y + 25 = 7. Solve 3*p = -2*o + y, -p + 0*p = -1 for o.
3
Suppose 0 = -5*o - 0*o + 195. Solve 5*q - 4*m = -1, -7 = 4*q + 5*m - o for q.
3
Let n(h) = -2*h**3 - 7*h**2 - 7*h - 6. Let m be n(-5). Suppose -4*l + m - 4 = 0. Let b be -3*3/(-9)*l. Solve -q - 1 = -2*q + p, b = -5*p for q.
-4
Let h(t) = t - 21. Let i be h(25). Solve -3*y + 4*n + 27 = -n, -i*y = -3*n - 25 for y.
4
Let m = 2707 - 2703. Let v(g) = -5*g. Let x be v(-1). Suppose 4*r - x*c - 47 = 5, 4*c = -3*r + 8. Solve 3*q + 7 = -2*k - 3, -3*q = m*k + r for k.
1
Let b(s) be the second derivative of -s**3/2 - 17*s**2/2 + 4*s. Let l be b(-12). Solve 0 = -3*d + 4*z - l, -d - 12 = d - 2*z for d.
-5
Let c = -5 - -9. Suppose 5*m + 3*o = -c, -2*o = -5*m + 3*m + 8. Let n = m + 3. Solve 5*v + 4 = 3*g, g - 3*g + n*v = -4 for g.
-2
Suppose 0 = 6*f - 4*f + 4*o - 32, 52 = 4*f + 5*o. Solve -2*q + w - f = 2*q, 4*w - 16 = 0 for q.
-1
Suppose 6*r - 2*r = 4. Solve -5*y = -m + 28, 3*m + r = -y - y for m.
3
Suppose b = 3*b + 16. Let n be 2/8 + (-1