 0, 0*v + t*v = 4*p - 6 for p.
4
Let w(q) = -5*q - 6. Let x be w(-6). Let c be 2/(x/105)*4. Solve a - 15 = -4*i, -4*a - c = -4*i - a for i.
5
Let t = -5 - 5. Let j = -6 - t. Suppose -5*f + 9 = 4*a - j*f, 3*a = 4*f + 21. Solve a*v + z = 0, -4*v - 2*z + 16 = -6*z for v.
1
Suppose 0 = u + m - 5, -6*u - 4 = -5*u + 4*m. Solve -5*r = 5*t, t - 3*r = -4*t + u for t.
1
Let h(x) = x**3 - 6*x**2 - x + 8. Let n be h(6). Suppose 4*l - n = 6. Let k be -1*-1*(-1 - -4). Solve 0 = -4*d + 2*r + 26, k*r - l = -4*d - 1 for d.
4
Suppose 0 = 5*w - 25 + 5. Let f = 8 - w. Let p(v) = v**3 - 3*v**2 - 4*v + 3. Let c be p(f). Solve -j + 5*h + 5 = 0, -10 = 8*h - c*h for j.
-5
Let y = -46 + 48. Solve -h - 4*l = 5 + 6, y*l + 16 = -4*h for h.
-3
Suppose -5*j + 3*v - 1 = 5, -4*j - 10 = -5*v. Let i = 1 - -4. Suppose 2*r = r - i, -2*r = -2*u + 20. Solve -z - d + 5 = 4*z, 4*z - d + u = j for z.
0
Let d be 69/15 + 2/5. Let n(v) = -v + 8. Let h be n(d). Solve 4*m + 3*c = 5, -m - h*c = m - 1 for m.
2
Suppose -2*t + 6 = -10. Suppose w + 5*u = 20, w - 17 = -2*u - 6. Let z be (-3)/((-9)/(-12)) - (-6 - 1). Solve -4*r = -w*c + 2, -r + 0 = z*c - t for c.
2
Suppose -2 - 1 = -j. Suppose -35 = -j*q - 2*q. Suppose q*i - 8 = 3*i. Solve -i*y = -4*o - 2, 2 = -2*o + y + y for o.
0
Let u(b) = b**3 + 7*b**2 + 10*b + 1. Let i be u(-7). Let t be i/(-12) + 1/4. Suppose -j + 2*j = 10. Solve -31 = -5*n - 3*o, -t*o = -o - j for n.
5
Let i be -2 - 9*-1*3. Let g be 90/i - (-2)/5. Suppose -2*r - u + 25 = -31, 3*u = -4*r + 112. Solve 4*b + 5*c + 30 = 2*b, -2*c = g*b + r for b.
-5
Let h = 26 - 20. Solve 2*y = g + g + h, g - 6 = -2*y for y.
3
Suppose 0 = -5*m + 3*t - 22, 0 = 5*m - t - t + 23. Let h be (m - -3)/(4/(-32)). Solve 5*d - 3*f + 6 = f, -4*d - 2*f + h = 0 for d.
2
Let d = 16 + -11. Suppose 2*b = 0, i - 2*b + 81 = 4*i. Suppose 2*a - i = -a. Solve 0 = d*n + k - 5, -3 = 4*n + 4*k + a for n.
2
Let v be 4/14 + 99/21. Let c be (-5 - 0)/(v - 6). Let z = c - 1. Solve -3*x = w + 6, -z - 7 = 2*x + 3*w for x.
-1
Suppose -5*r + 35 = -25. Solve 5*l + 3*w = -2*w + 15, 2*l = -4*w + r for l.
0
Let t = -2 - -3. Solve -5*o + 4*r = t - 13, -2*o - r = 3 for o.
0
Let q(b) = 4*b + 1. Let w(h) = 13*h + 3. Let i(s) = 7*q(s) - 2*w(s). Let v be i(1). Solve v*x + 1 + 1 = m, 4*m + 3*x + 22 = 0 for m.
-4
Let p be (-136)/(-22) - (-4)/(-22). Suppose -p*n = n. Solve n*j - j = 0, 3*f + 12 = j for f.
-4
Suppose t = -0*t + 2. Let h be t/((1 - 1) + -2). Let z be (6/(-12))/(h/4). Solve j + 10 = -z*n, 5*n + 11 = 2*j + 4 for j.
-4
Let n = 12 - 9. Suppose 3*d = -d + 2*k + 20, 0 = n*d - 5*k - 15. Solve -4*o = d*b - 19, 2*o + 2 = 5*b - 11 for b.
3
Let c = -4 + 4. Suppose 2*m - 8 = -c*m. Suppose 0*b - 24 = -m*b. Solve 3*a + t - 5 = b*t, 11 = 3*a - 2*t for a.
5
Suppose -s = -5*s + 144. Let u = 348 + -634. Let r be u/(-12) + 6/s. Solve -2*p + 5*a + 9 - r = 0, 0 = -3*p + a - 3 for p.
0
Let s(l) be the second derivative of l**5/2 - l**4/12 + l**2/2 + 2*l. Let y be s(1). Let c = y - 7. Solve -c*x + 0*x - 19 = -p, -4*x - 28 = -2*p for x.
-5
Let z be ((-26)/(-8))/((-3)/(-12)). Let d(c) = 2*c - 3. Let a be d(4). Solve 3*l = 3*j - 2*l + z, -3*j + a = 4*l for j.
-1
Let a be 8/24*(-2 + 2). Solve a*x = -x - 1, 19 = -4*m + x for m.
-5
Let g(u) = -15 + 3 - 3*u - u + 3*u. Let x be g(-12). Solve 3*p - 3*s - s - 4 = x, 5*s = -p + 14 for p.
4
Suppose -12 = -3*s - 3*c, 3*s - 3*c = -0*s - 6. Solve -5 = -3*t + s, -r + 7 = 3*t for r.
1
Let a be -3*1/(-1 - 0). Let c = 5 - a. Suppose -28 = -c*r - 2*r. Solve 2*p = -2*o + 1 + r, 12 = 3*p - 3*o for p.
4
Let q = -2 - -4. Suppose 2*u - 8 = -q*u. Let i(h) = h + 6. Let t be i(-4). Solve 0 = -t*y + u*d - 14, 0*d = -2*d + 8 for y.
-3
Let v = -116 - -119. Solve -5*u - 4*g - 25 = 0, 2*u + g + 4 = -v for u.
-1
Let r = -1 - -5. Suppose -7*q + 54 = -r*q. Solve n - 5*u - q = 0, 0 = -5*u - 20 + 5 for n.
3
Let y be 1 - (2 + -2) - -2. Suppose 0 = -4*g - 21 + 5, 2 = -k + g. Let p be -1 - (k + (0 - -1)). Solve -y*i = t + 4, 0*i = 2*i - t - p for i.
0
Let j(x) = -x**2 - 8*x - 8. Suppose -3*m - 15 = 3. Let h be j(m). Solve h*i - 2*o - 7 = -3, -i + 2*o + 1 = 0 for i.
1
Let o(v) = 5*v - 4. Let r be o(4). Suppose 0*d = -d + 4*m - r, 5*m - 29 = -d. Solve 1 = -g + 3*p, 5*p - d = p for g.
2
Suppose -10*d = -15*d + 20. Suppose 0 = d*r - 4. Solve 5*h = 4*k + 24, -r = 2*h - k - 10 for h.
4
Let q be ((-6)/(-5))/((-2)/(-15)). Solve 11 = -j - 4*y, 2*y = -j + 4*j - q for j.
1
Let p(n) = -n**3 + 4*n**2 + n - 4. Let a be p(3). Suppose -v = -2*v - 8. Let g be 7/4 - 2/v. Solve 4*u - 17 = 3*d + 2*d, -2*d = -g*u + a for u.
3
Let l be (-5)/2*(-36)/18. Solve l*x + 2*b = -22, -b + 0*b - 1 = 0 for x.
-4
Let j(d) = -d**3 - 8*d**2 - 8*d - 8. Let b be j(-7). Let a be b/(18/(-8) - -2). Solve a*y - 3*q + 0*q - 21 = 0, -5*y - 5*q = 0 for y.
3
Suppose -6*r - 27 = -9*r. Suppose -r = -2*q - q. Solve 3*m + 4 = -4*g - m, 0 = q*g - m + 7 for g.
-2
Let l be (-2 - (0 + (-12)/8))*-4. Solve 5*d - 4*i + 29 = 0, -2*d - 5 = -l*i + 7*i for d.
-5
Suppose -2*g = 10 - 0, 37 = 4*r + 3*g. Solve 4*i - 3*u = 10, u + 4*u + r = 3*i for i.
1
Let h(n) = -3*n + 1. Let r be h(4). Suppose -2 - 4 = 2*p, -4*u - p = 27. Let b = u - r. Solve 1 = 2*l + 4*o + b, -l - 3 = o for l.
-4
Let p(y) = -16*y - 3. Let k(q) = -2*q - 1. Let h be k(2). Let r = h - -3. Let u be p(r). Solve 11 = -0*f + 3*f - d, 0 = -5*f - d + u for f.
5
Suppose -21 + 9 = -6*r. Solve -m = 5*b - 1 + 3, -4 = 3*b + r*m for b.
0
Let h(i) be the third derivative of -7*i**4/12 - i**3/6 - 4*i**2. Let u be h(-1). Solve -k + 3*d + 2*d = -u, 4*d = 2*k - 14 for k.
3
Let z(k) = 3*k - 7. Let u be z(-6). Let a be 38/10 - 5/u. Solve 2*h + a*d - 2*d = 0, -d = -5 for h.
-5
Let c = 2 - 2. Suppose c = -i + 2*i - 5. Let a = -19 - -24. Solve 2*s - a*z = s - 21, -2*s - i*z + 33 = 0 for s.
4
Suppose 2*b = -59 - 19. Let n = -28 - b. Solve 0 = -y - 0*i - 3*i + n, i - 4 = 0 for y.
-1
Let n(r) = -r**3 - 5*r**2 - 4*r - 1. Let z be n(-4). Let w = z + 3. Solve -3*i - 4*j = -3*j, w*i - j = 0 for i.
0
Suppose 0*n = 2*n + 2. Suppose 2*y - 5*s - 11 = 1, 0 = 5*y - 5*s - 30. Let x be n/(-6)*3*y. Solve -3*o - 8 = -p, -x*o - 2*p + 5 + 2 = 0 for o.
-1
Let m = -5 + 7. Let k be 21/6 - m/(-4). Solve 0 = 4*j - 5*j - 5*x + 28, -k*x = -20 for j.
3
Suppose -g = 15 - 15. Solve 4*t + g*t - 12 = 0, -16 = -z - 4*t for z.
4
Suppose -g + 9 = -3*f, 5*g + 3*f - 27 = -0. Let p = 9 - g. Solve 3*r - 15 = 0, -4*w - 2*r + 12 = -p*w for w.
2
Suppose 3*b - b = 0. Let a be (-4 + 3/(-6))*-6. Solve z + b*j - 5*j - a = 0, 4*j = -4*z - 12 for z.
2
Let o = -61 + 69. Solve 2*p = 2*q - o, -q + 4*p = 2*q - 16 for q.
0
Let m be (35/(-49))/((-3)/21). Solve 0 = m*u - 5*a - 5, 4*u - 2*a - 7 = -1 for u.
2
Suppose -5*i - 2*z + 4 = -0*i, z + 1 = -i. Suppose -4*w = -i*w - 6. Solve -5*a = -3*g + 17, g + 13 = -5*a + w*g for a.
-1
Let j(d) = -d**3 + d + 1. Let m be j(-1). Let w be 5 - ((-4)/(-2) + m). Solve -4*r - 13 = -3*q + r, -w*r + 2 = -3*q for q.
-4
Suppose -5*n + 5*v - 41 = -156, 4 = v. Let z be 129/n - 4/(-18). Suppose 0 = -z*j + 5*k + 20, 3*k + 4 = j - 2*j. Solve -b + 11 = -5*g, -5*g - 8 = j for b.
1
Suppose -a - 4*b = 6, 4 = 5*a + 2*b - 2. Solve 0 = -j - a*z - 2, z - 2 = -3 for j.
0
Let s(x) be the third derivative of -x**4/24 + 4*x**3/3 + 3*x**2. Let g be s(6). Let p = 2 - -1. Solve 0 = 4*c + 4*f + 8, p = -f - g for c.
3
Let c(p) = -p - 1. Let u be 6/(-12) + 14/(-4). Let n be c(u). Solve -3*y - 9 = -3*m, 0 = 3*m - 7*m + n*y + 7 for m.
-2
Let q = 0 - 0. Suppose r - 4*t - 21 = 0, 2*r - 6 = -3*t + 2*t. Let y = -68 + 68. Solve q = -r*f + h + 2, 2*f - h + y = 2 for f.
0
Let s be ((1 - -4) + -1)*1. Suppose 12 - 32 = -s*x. Solve 5 = x*a - 5*f, -5*f = -a - 2*a + 13 for a.
-4
Suppose -5*y + 4*z = -z - 160, 0 = 4*y - 2*z - 134. Solve 0*t + y = 3*t + 4*o, -4*t = -4*o for t.
5
Suppose 0 - 12 = -3*r. Suppose -2*b - r*g = 26, -3*b + 47 = -8*b - g. Let u be (6/(-4))/(b/12). Solve n + 3*d - 14 = -0*d, 0 = 3*n + d - u for n.
-1
Let s be (1 - 0)/(3/39). Let j = s - 8. Let n be 1 + 8/20*25. Solve -3*z = 4*g + n, -2*g - 2*z + j = 13 for g.
1
Let b = -8 - -10. Suppose -2*x - 4*f = 14, -b*f + 1 = 3*x + 2. Solve 3*o - 5*j + 14 = 0, j = x*o - 1 - 1 for o.
2
Let v(t) = -17*t**3 - 5*t**2 - 5*t + 6. Let l(g) = -g**3 - g**2 - g + 1. Let h(n) = 5*l(n) - v(n). Let b be h(1). Solve 5*q = z + 4, -4*z = 2*q + b + 5 for z.
-4
Sup