 4, -8 = -2*p + c*t for p.
4
Let s(f) = -f - 7. Let y be s(-12). Let w = y + 24. Suppose 10 - w = -u. Solve 9*r + 3*g = 4*r + 16, 2*r - 3*g - u = 0 for r.
5
Suppose -4*y = -i + 9 + 9, 2*i - y - 15 = 0. Suppose -3*n - 5*u + 11 = -5*n, 0 = -3*n + 4*u - i. Solve -4*v = -3*r + 3, -4*v + r - 1 = -n*v for v.
0
Suppose -23*y = -98 - 17. Let c = -8 - -34. Solve -y*h - k + 11 - c = 0, 5*k = -4*h - 33 for h.
-2
Suppose -3204*f + 3188*f + 96 = 0. Solve -3*d + 3*k + f = 0, -5*k + 17 = 2*d - 8 for d.
5
Let x = 12 + -11. Suppose -h = f + x - 4, -4*f + 2*h = 6. Suppose 2*q - 1 - 3 = f. Solve -2*l - 13 = -l - 5*z, -2*l = -2*z + q for l.
2
Suppose -1 + 13 = 3*o. Suppose -10 = 2*m - o*m. Solve -4*d + 16 = 2*g + 44, 0 = -m*d - 5*g - 45 for d.
-5
Let v = 47 - 47. Suppose 2*x + 4 = 0, -3*k = -v*k - x - 17. Solve 10 + 0 = -2*j - k*m, 3*j + 2 = -m for j.
0
Let f(w) = w**2 - 7*w - 14. Let p be f(-2). Let s be ((-5)/p)/(19/4 + -5). Solve 5*l + 15 = -4*q, s*q + l + 18 + 6 = 0 for q.
-5
Let q(c) = -c**3 - 4*c**2 + 13*c + 50. Let k be q(-3). Solve -4*s = 4*d + 4, -9 + 1 = k*d for s.
3
Let u = 41 - 21. Suppose 3*g - u = -g. Solve 6 = -2*l + 4*q, 3*l - q + g = 4*q for l.
5
Let c be 12 + (30/12 - 168/16). Solve 0 = -t + c*i - 7*i - 14, -5*t - 3*i = 22 for t.
-2
Let p = -967 - -970. Solve -p*t - 3*f - f - 17 = 0, 22 = -3*t - 5*f for t.
1
Suppose -5*u = -5, 3*w - 7*u + 4 = -3*u. Solve 3*h = 2*c - 1, w = -2*h - 3*c + 2 + 6 for h.
1
Let n = -295 + 297. Solve -3*m = f + 7 + n, -5*m = 15 for f.
0
Let o = -16 - -18. Suppose 6*f + 4 = -4*q + 4*f, 9 = -3*q - 3*f. Let z = o + q. Solve 0 = -0*w + z*w - 12, 0 = -4*k - 3*w + 4 for k.
-2
Let t(v) be the third derivative of -v**6/120 - v**5/20 + v**3/3 + 18*v**2. Let w be t(-3). Solve 3*q = -d + w*d - 15, -4*d + 15 = -3*q for d.
0
Let u(v) = -v + 1. Let t be u(8). Let g = t + 11. Suppose 5*b + 0*b = 4*n + 62, -48 = -4*b + 4*n. Solve -2*i - b = -g*k, -3*i = 2*k + 10 - 29 for k.
5
Let n(d) = d**3 - 12*d**2 + 27*d + 2. Let c be n(9). Solve 2*k + 4*g = c*g - 10, k + 4*g = -20 for k.
0
Suppose -2*i + 0*i = 0. Suppose 2*p + 0*p - 14 = i. Let c = 36 - 32. Solve -c*x = 4*z - 20, p*z - 4 = 3*z for x.
4
Suppose -5*w = -3*o - 10, 0 = -2*w + 12 - 2. Let j(t) = -t**3 + 10*t**2 - 13*t - 3. Let s be j(8). Solve n + v - 14 = 3*n, o*n + s = -v for n.
-5
Suppose 16 - 52 = -4*q. Suppose 3*x - 7 = 4*w, x - q = -4*w + 2*w. Solve 0 = m - 3*j - 5, j - 4*j = -4*m + w for m.
-1
Suppose -1063*a - 22 = -1065*a. Solve -2*d - 3*d - 20 = 0, 3*i - d = -a for i.
-5
Let t = 3950 + -3947. Suppose 0 = b + 3*r - 18, -r + 25 = 4*r. Solve b*d = -2*o - 22, 4*d - 2 = t*o - 3 for d.
-4
Let h = -3 + 3. Let j(n) = -n**2 + 35*n - 232. Let x be j(9). Solve x*b = -h*p - p, -5*p + 22 = -b for p.
4
Let l(v) = -v**3 - 5*v**2 - 5*v - 19. Let h be l(-5). Solve h = -3*s - 4*z - z, 2*z = -3*s - 6 for s.
-2
Let u(o) be the second derivative of 1/3*o**3 + 0 + 7*o + 17/2*o**2. Let q be u(-6). Solve m + 5 = -q*z, -4*m + 10 = 5*z - 0*z for z.
-2
Suppose 4*n + 38 = 5*t, 5*n + 35 = -4*t + 49. Solve 0 = -t*c + 3*c, -3*c + 10 = 5*p for p.
2
Let b(s) = -s**2 - 2*s + 3. Let w be b(-3). Suppose u = 2 - w. Solve -u*a = -c - 3*c + 10, 0 = -4*c + a + 13 for c.
4
Let t(a) = -2*a**2 - 15 - 7*a**2 + 9*a + 8*a**2. Let x be t(6). Solve d + 8 = -2*r - x*r, r - 6 = -4*d for d.
2
Let j be 8/5 + 8/20. Suppose 0*l - 24 = -j*l. Suppose 4*w - l - 8 = 0. Solve -w = b, 2 = 2*i - b - 1 for i.
-1
Let g = -14 + 18. Let a = g - -11. Suppose a = -3*n + 54. Solve -5*y = 5*b, -4*b + 27 = -4*y - n for b.
5
Let c(t) be the first derivative of t**2 + 28*t + 6. Let z be c(-13). Solve -2*v - n = z + 9, 3*n = -5*v - 28 for v.
-5
Let l(a) = -4*a + 25. Let z be l(10). Let n = -12 - z. Suppose 2*k - 12 = -2*v + 6*v, -2*k + 3*v = -11. Solve 1 = -3*s + p, 2*s + k = -n*s + 4*p for s.
0
Suppose 0 = -4*q + 2*q. Let k(u) = -2*u + 4. Let d be k(q). Let g(h) = 2*h**2 + h. Let f be g(-2). Solve 5*l = 4*i + 3, -d*i + l + l + f = 0 for i.
3
Let o(z) = 2*z**2 + 46*z + 255. Let n be o(-9). Solve n*w - 32 = -w - 5*y, 26 = 2*w + 5*y for w.
3
Suppose 5*i + 2*l - 46 = 0, 8*i - 4*l - 28 = 3*i. Solve 4*c + i = -j - 0*c, 4*j + 2*c + 4 = 0 for j.
0
Let t(f) = -2*f - 10. Let a(c) = -c - 9. Let o(h) = 3*a(h) - 2*t(h). Let s be o(12). Let l = -1 - -3. Solve -l*u - 4*z - 10 = 0, 0 = 2*u - s*z + z + 10 for u.
-5
Suppose -4*u + 28 = -4*v, -u - 3*v + 5 = 14. Solve -26 = h + 4*h + t, -u*t = h + 8 for h.
-5
Let s be 605/66 - (-2)/(-12). Let t = 14 - s. Suppose -3 = -4*u + t. Solve 0 = 5*h - 5*r + 1 + 19, u*r = 6 for h.
-1
Let b be (2/1 - -3)*-1. Let v be 5*b/(50/(-4)). Solve k + v = 0, -i + 2 = -k - 4 for i.
4
Let g = -57 - -57. Let t be (-32)/(-12)*6 + g/2. Solve -2*r + 5*a + 4 = -r, 5*a + t = 4*r for r.
4
Suppose d - 36 = 4*h, 2*d + 3*h - 4*h - 51 = 0. Solve 4*b + 2*v = -18, -b + d = -6*b - v for b.
-5
Let l = -100 - -104. Solve 5*k = -10, -6 = 3*q - k + l*k for q.
0
Let y = 24 - 22. Suppose -2*b = -5*m + y*m + 17, 5*m = -4*b - 1. Suppose 0 = -2*h + 4 - 2. Solve 3*s - m = -2*i - 2, 0 = s + h for i.
2
Suppose 420 = 12*p - 24. Solve 5*i = 3*v - p, 6*v + 3*i = 2*v + 1 for v.
4
Suppose -67 = 8*a - 91. Solve -5*h + 1 + 10 = 4*k, a*h - 12 = 3*k for h.
3
Let y be 20/(-6)*(-42)/35. Suppose -t - 5*a + 66 = 2*t, -y*t + a = -65. Let r = -12 + t. Solve 5*l = -r*n + 5, -3*l + n - 21 = -4*n for l.
-2
Let f = 117 - 98. Solve -20 = -0*t - 4*t, -3*t = -z - f for z.
-4
Let i(f) = 4*f + 1. Let m(r) = r + 1. Let c(x) = i(x) - 3*m(x). Let j be c(2). Let h = 305 - 302. Solve j = p - h*v + 5, -5*p + 4 = -5*v + 19 for p.
-2
Suppose i = -0*i - j + 20, 5*j - 20 = 0. Solve -2*p + n = 4*n + 2, 4*n = -i for p.
5
Let g be (-2)/7 - (11 - (-837)/(-63)). Solve -11 = o + g*y - 4*y, 6 = -3*o - 3*y for o.
-5
Suppose -9*g + 6 + 21 = 0. Solve 5*w - 25 = -0, 3*y + g*w - 9 = 0 for y.
-2
Let g(b) = -5*b**2 - 13. Let a(z) = -z**2 + z - 1. Let r(p) = 6*a(p) - g(p). Let t be r(7). Solve 4*n - l + 4 = t, 0 = -l + 1 + 3 for n.
0
Suppose -51*z + 53*z = -2. Let o be 2/((z + -3)/(-28)). Solve -3 = 4*s + 3*b - 10, 2*s + o = 2*b for s.
-2
Suppose 0 = -23*t + 36*t - 312. Solve v + 21 = -3*r - r, 4*r + 4*v + t = 0 for r.
-5
Let w be (-1090)/(-25) + 3/(-5). Let i(q) = -2*q - 43 + w - q. Let p be i(-1). Solve -m - 4*g + 11 = 28, 0 = 3*m + p*g + 15 for m.
-1
Let g = 311 - 310. Solve -g = o, 7 = -4*h - 3*o - 8 for h.
-3
Let l be 13 - 6 - 2/(2 + -1). Suppose 2*j = -4*h + l*j, 0 = 5*j - 20. Solve 2*u = 8, h*w - 3*u + 13 = u for w.
1
Let q = -15 - -23. Suppose -5*n + 4*k = -136, 0 = -4*n + 5*k + 115 - q. Let w = 33 - n. Solve -w*t - 8 + 28 = 0, 0 = -3*v + 2*t - 2 for v.
2
Let v = 24 - 37. Let b = v - -19. Solve n - 5 = 3*y - 0, -2*y = -2*n + b for y.
-1
Let j = 1 + -1. Let d(r) be the third derivative of -r**5/60 + r**4/2 + 8*r**3/3 + 5*r**2. Let c be d(13). Solve j*p - c*p = -4*b - 8, -6 = 3*b for p.
0
Let t(m) = -m**2 + 7*m - 3. Let b be t(6). Let h = -1630 - -1635. Solve h*q = b*v + v + 3, 0 = -4*q + 4*v for q.
3
Suppose 129*o = 162*o - 165. Solve 2*b = 3*l + 18, -b + o*b - 20 = 2*l for l.
-4
Let h be (44/3 + -3)*(-36)/(-30). Solve 0 = -2*n - 5*p - 1 + h, 2*n - 3*p = -11 for n.
-1
Let k(q) = q**2 + 15*q - 5. Let l be k(-16). Suppose -3*f - 2 + l = 0. Solve -5*a - v = -22, -f = -a - 4*v + 9 for a.
4
Let c(d) = -d**3 - 7*d**2 - 14*d - 2. Let t be c(-3). Solve 3*m = -3*a - 12, 2*a + 20 = -3*a + t*m for a.
-4
Let x = -8 - -14. Suppose -5*y - 3*y + 16 = 0. Solve -5*q + y*h = 7, 4*q - 4*h = 2*q - x for q.
-1
Suppose 455 = 5*r - 5*t, -5*t - 67 - 4 = -r. Suppose -r = -4*m + m. Solve 4*w - 7 = 4*v + 29, 4*w - 3*v = m for w.
5
Let h = -10 + 10. Suppose 2*g + 13 + 3 = h. Let a = -5 - g. Solve 5*b + 2*z - 13 = 0, -z = a*b + z - 7 for b.
3
Suppose -4 = -3*u + 8. Suppose 2 = 2*p - 10. Let h be p/((-11)/(-2) + -4). Solve -v + u*v = -3, k + h*v = -3 for k.
1
Let j(c) be the first derivative of -c**4/4 - 3*c**3 + 5*c**2 + 5*c + 8. Let k be j(-10). Solve -5*l - k = 0, -4 + 2 = 5*i - 3*l for i.
-1
Let y = 12 - 8. Suppose y*b = -3*w - 48 + 128, -b + 4*w = -20. Solve 0 = m - 4*n - b, 2*n + 25 = m - 3*n for m.
0
Let c(g) be the first derivative of g**3 - 1/4*g**4 - 10 + 3*g + 0*g**2. Let i be c(3). Solve -3*q - 27 = -5*u, -4*q - i*u + 2*u - 13 = 0 for q.
-4
Let a be (-3 - 9)*1/(-2). Suppose -a - 4 = -5*s. Solve s*p - 5*p - 13 = 2*b, 5