c(4). Solve -4*t + i - 12 = -2, d = -t - i - 5 for t.
-3
Let p(c) = c + 3. Suppose 3*y - 12 = 6*y. Let h = y + 4. Let w be p(h). Solve i = q - 3, w*i - 18 = -2*q - 2 for i.
2
Let n = -4 - -3. Let q(a) = -a - 1. Let h be q(n). Solve 3*b - 2*o - 16 = h, 2 + 5 = b - o for b.
2
Let f be (4 - 3 - 6)*-1. Solve f*x + 3*k - 25 = -2*k, -4*k = -4 for x.
4
Let w = -32 + 36. Solve -3*a - 1 = -x, -4*a - 8 - w = 4*x for a.
-1
Suppose r + r - 100 = 0. Let h be r/15 - (-4)/6. Suppose 10 = h*x + 2*n, -2*x - 4*n + 1 + 1 = 0. Solve -x*w - 11 = -4*d, d - 4*w = -d + 18 for d.
-1
Suppose 0 = -0*a - 2*a + 24. Suppose x + 4 = -3. Let y = x + a. Solve -y*d + 5*b = 0, -3*b = -9 - 0 for d.
3
Let s be 285/10*8/6. Suppose 5*j - s + 6 = 4*l, -3*j = 3*l - 3. Solve c = -5, -j*c - 23 + 1 = 2*x for x.
-1
Let t = -3 - -5. Let z = 13 + 27. Suppose 10 + z = 5*c. Solve 4 = 4*j + 3*d - c, 0 = -4*j + t*d + 24 for j.
5
Let z = -195 + 195. Solve d - 1 = z, 0 = 2*b - 4*d - 5 - 1 for b.
5
Suppose 4*w = -4*x, 2*x + 15 = -4*w + 5. Let f be 3 + -2*(-2)/(-4). Suppose 0 = -0*n + f*n - 34. Solve -4*p = 3*a - x*a + 22, -3*a = 4*p + n for p.
-5
Let l = -76 - -78. Solve l*i = -3*b + 2 + 4, 4*i = 12 for b.
0
Let p be 74/14 + (-12)/42. Let h = 1 + 2. Suppose 0 = -h*v - 3, -4*v - 4 = -2*z. Solve z = 5*a - p*r + 3*r + 16, 5*a - 3*r + 14 = 0 for a.
-4
Suppose -2 = 3*n - 20. Suppose -n = -2*r - 2. Solve 2*j - 14 = 2*p, 3*p + r*p + 4*j - 10 = 0 for p.
-2
Suppose 0 = -p - 4*o + 16, -5*p + 2*o - o + 17 = 0. Suppose 0 = -2*x + p*x - 10. Solve 2*v - v + 4*h + 9 = 0, 2*h + 21 = x*v for v.
3
Let t = -7 - -13. Let b(x) be the first derivative of x**4/4 - 2*x**3 + 3*x + 1. Let w be b(t). Solve -g + 6*g + 2*m - 21 = 0, -w*g - 4*m = -7 for g.
5
Let o be 6*3 - (-11 + 8). Solve 4*w + 0*w - c + 21 = 0, 5*w = -4*c - o for w.
-5
Let z be (-52)/(-14) - 6/(-21). Let a = -34 - -36. Solve 0 = -2*v - a, -z*l - v = v + 10 for l.
-2
Suppose -3*g - 34 = -3*p + 2*g, -5*g = 25. Let l = -2 + 6. Suppose l = -3*w + 4*w. Solve -5*z + 3*k + 17 = 4*k, -1 = -p*z + w*k for z.
3
Suppose 0 = l + 3*l - 12. Solve 0 = -0*d - d + l*v + 7, -2*d - 2*v + 6 = 0 for d.
4
Let k = 2 - -8. Suppose -q - 5 = -k. Solve 2*f = 0, 0*w + f = q*w for w.
0
Let y(p) = 6*p - 49. Let u be y(9). Solve -3*l - 4*f = -26, -f = u*l - 0*f - 15 for l.
2
Let u(k) = -k**3 - 10*k**2 - 10*k - 4. Let b be u(-9). Suppose -5*v + 4*f = -14, 0 = -2*v - f + 2*f + b. Solve 5 = -3*h + 4*w - v, 22 = 2*h + 4*w for h.
3
Let z = 102 - 98. Solve 0*l - 2 = -k + 2*l, 5*l = -z*k + 8 for k.
2
Let v(f) = f**2 - 9*f + 10. Let d be v(9). Let q be (0 - d)*10/(-4). Let s = 0 + 5. Solve -k - 10 = -5*m + 4*k, -s*k + q = 2*m for m.
5
Let l(i) = i**3 + i**2 + 3. Let v be l(0). Suppose 4*k + 5*m = 33, 20 - 10 = 2*m. Solve -v = -k*b + r, -9 = -b - 0*r + 2*r for b.
-1
Let w = -8 - -19. Let k = -8 + w. Solve k*i + 6 = 2*c - 5, 4*c + 5*i + 33 = 0 for c.
-2
Let r = 2 - -5. Suppose -3*w = k - 4 - 18, w + k = 10. Suppose 8 = -2*q + w*q. Solve 2*m - r = -i, 4*m - i - 19 = -q for m.
4
Let j = 2 - 0. Suppose 4*y = -3*f + 8 + 1, j*y - 6 = -2*f. Solve 5 = 5*b + g, -2*b - g + 4*g + 19 = y for b.
2
Let s(c) = -c**2 - 6*c + 3. Let l(b) = -2*b**2 + 4*b. Let q be l(3). Let t be s(q). Let y be (-30)/(-9) - t/9. Solve -y*o = 3*r, 0*o = 2*o - 4*r + 18 for o.
-3
Let s = 16 - 13. Solve 0 = -j - 3*g + 5*g, s*j - 2*g - 8 = 0 for j.
4
Let q = -1 - 14. Let v = q - -18. Solve -v*l = -6*j + 2*j - 8, -5*j = -5 for l.
4
Let l be -1 + (2 - (-20)/1) + -2. Suppose -6*c + 3*c - 21 = 0. Let v be (-23)/c - 2/7. Solve 3*a - l = -7, 0 = v*u - 4*a + 16 for u.
0
Suppose -2*j - 3*l + 36 = -j, 180 = 4*j + 3*l. Let y = 32 - 30. Solve 0 = -2*v - y*g - 2, 5*g = 5*v - j + 13 for v.
3
Let o be 0 + 2 + (5 - 2). Solve -2*d - 10 = 2*q, -o*d + 2*q + 10 = -0*q for d.
0
Suppose -33 = -v - 2*u, -v + 3*u - 4*u = -29. Let i = 29 - v. Solve -p = -2*h - 1, 2*h + p = h + i for h.
1
Suppose -3*c = -5*d, 3*c - 18 = -2*d + d. Suppose b - d + 1 = 0. Let i be 1 - ((-46)/b - -2). Solve i = -n + 5*o, -o - 5 - 2 = -4*n for n.
3
Suppose -19*n - 12 = -23*n. Solve 5*q + 19 = -4*t + t, -15 = n*q for t.
2
Suppose -5*y - 4*x + 32 + 63 = 0, 2*x = -4*y + 70. Solve 2*k = -k + y, 4*k = -2*n + 18 for n.
-1
Suppose -2*u = 2 + 14. Let w = -5 - u. Suppose 5*g - 3*b = -0*b + 57, -g - w*b = -15. Solve 3*j + g = 0, -2*a - 2*j - j - 6 = 0 for a.
3
Let z(l) be the second derivative of l**3/2 + l**2 + l. Let u be z(6). Solve 4*f + u = h, -2*h - 4*f = -0*f + 8 for h.
4
Let k = 15 - 10. Suppose -k*d = -5*l + 10, 2*d = -3*l - 5 + 1. Solve 5*v + 1 = y, 4*y - 4 = v - l for y.
1
Suppose 8 = -3*l + 2. Let u(p) = 2*p**2 + 4*p + 3. Let j be u(l). Suppose -60 = z - 6*z. Solve -3*a = 5*r + 15, -3*a + 3*r - j = -z for a.
0
Let y = 1 + 1. Suppose d + 2*l = -0*l + 1, 4*d = y*l + 24. Suppose -3*z - 5*z = 0. Solve 0 = -d*x - o - 2, z = 3*x + 3*o - 4 - 2 for x.
-1
Let r(y) = -y + 2. Let l be r(-6). Suppose d = 3 + l. Solve -a + c = 4*a + 11, -2*c = a + d for a.
-3
Let f be (-4)/6 - (-17)/3. Suppose f*u - 3 = 7. Suppose -8*c + 213 = 61. Solve 3*g = 2*v + 2*v + 18, c = -5*v + u*g for v.
-3
Suppose 15 = 3*q - 3*r, q - 6*r - 17 = -2*r. Let t be (-1 + 3)/2 - q. Let l be t*-2*3/(-12). Solve -2*o + 3*p + 13 = 0, -o - p + l + 4 = 0 for o.
5
Let m be 68/51*(10 + -1). Suppose 4*s - m + 4 = 0. Solve 0*v = -2*v - s*r + 10, -4*v + r = -10 for v.
3
Let o be -2 + 16 + (-2 - 0). Suppose 4*r = b + o, 4*r + 5*b - 52 = -16. Suppose 21 = r*u - 15. Solve 4*m = 3*h + 16, -m + 4 = -u*h + 4*h for m.
4
Suppose 6 = -0*j + 3*j. Suppose 11 = a - 3*b, -j*a - b = -0*a - 1. Solve -g + 5*c = a*c, c = -g for g.
0
Suppose 0 = -t + 2*t - 1. Let f = t - -4. Solve -5*y = -3*h + 4 + 5, -15 = f*y for h.
-2
Let p = 28 - 20. Suppose 2*n - i + 3*i - 4 = 0, -4*i + p = -n. Solve n = 5*c - 4*y - 1, 4*c + 0*y = -y - 16 for c.
-3
Let r be (5/10*-2)/(-1). Solve v + 5 = 5*n, -4*n = -6*n + v - r for n.
2
Let d(o) = o - 2. Let n be d(6). Suppose 0*p + u = -n*p + 4, -2*p + 8 = -u. Solve 0 = w + p*c, -5*c + 4*c - 2 = 0 for w.
4
Let n = 24 + -21. Solve -2*t + 4*t - 15 = 5*d, 0 = -t + n*d + 9 for t.
0
Let k = -19 - -32. Let o = k + -9. Solve -4*b + o = 4*y, -4*y + 7*y + 5*b = -1 for y.
3
Let b(i) = i**3 - 6*i**2 + 6*i - 3. Let r be -3 + 1 + -2 + 9. Let a be b(r). Solve 0 = s + v, 0*v - 5 = -3*s - a*v for s.
5
Suppose 2*c + 5*d = d + 18, 0 = c + 4*d - 15. Let n = -19 + 13. Let m = -4 - n. Solve -m*u + w - 23 = c*u, 0 = -4*w - 8 for u.
-5
Let u be (2/2)/(1/4). Suppose 5*b - u*z = 4, 5*b - 4 = 3*z + 4. Let t(a) = a**2 - 4*a - 2. Let v be t(5). Solve k - b*d + 13 = 0, k + 7*d - v*d = 11 for k.
-1
Let p be (0 + 1)*(10 - 7). Solve -2*y + p*y + 28 = -5*g, -3*g = -3*y + 6 for g.
-5
Suppose -2*o + 5*o = 4*s, 3*s = -o. Solve 2*z + r + o - 5 = 0, 0 = 4*r - 12 for z.
1
Suppose a - 6 = 3*v, a - 1 = v + 1. Let o be (-1)/(((-12)/10)/6). Solve -h - o*d + 29 = a, -8 = -5*h + d + 7 for h.
4
Let h(b) = b**2 + 7*b + 1. Let s be h(-8). Solve 8 = -n + 3*q, s*q - 4*q - 18 = -3*n for n.
1
Let f be (-2)/8 - 9/(-4). Suppose f*x = -x + 6. Solve -3*i + 4*i - 5*l = 13, 10 = -x*i - 2*l for i.
-2
Let g be (-4 - 0) + (-3 - -3). Let q be -1 + 1 - g/(-4). Let u(y) = -13*y**3 + y**2 - y - 1. Let i be u(q). Solve -4*z + i = -o, 0 = -o - 2*z - 2*z + 18 for o.
2
Suppose -28 = -2*b - 5*l, 6*l = 3*l + 12. Solve 20 = 2*t - 2*w + 6, -b*w = 16 for t.
3
Let r be (-8)/10*15/(-6). Let o(m) = -2 + 3 + 2 + r*m. Let v be o(9). Solve x = s - 5, 5*s = 4*x + v - 1 for s.
0
Let p be 1/(4*1/12). Solve 0*m + p*m - 4 = -l, -m = -2*l + 8 for l.
4
Let q be 46/(-12) - 2/12. Let l(c) = -c**3 - 6*c**2 - c - 8. Let y be l(-6). Let a = y - q. Solve a*k - 5*d = -12, 3*k + 3*d + 1 = 4 for k.
-1
Suppose -2*i - 4*m - 16 = 4, 5*m + 25 = 5*i. Suppose 2*u + 3*u = i. Solve u = -2*r - 2*r - 4*n - 20, -2*r - 7 = -n for r.
-4
Suppose 11 + 41 = 4*n. Suppose -10 = 2*f, -3*i + 4*f + n + 22 = 0. Suppose 0 = -i*l + 164 - 24. Solve -4*b - l = -5*u, -3*u + 2*u = 5*b + 6 for b.
-2
Suppose -2*c = 3*c - 20. Suppose 6*j - 170 + 92 = 0. Solve 0 = -0*m - c*m - 3*z + j, 1 = 4*m - z for m.
1
Suppose 4*y - 35 = 5*o - 2*o, 4*y = -4*o. Let c be 52/(-12) - 2/(-6). Let d = y + c. Solve -d = 2*p - 9, -20 = f - 4*p for f.
-4
Let g = -21 + 18. Let v be g/((-33)/6 - -4). Solve -2*t + 5*i = v, 0 = t + 2*i - 8 for t.
4
Let p(g) = -g + 7. Let b be