 3*q - 4 for q.
4
Let f(l) be the second derivative of l**4/6 - 13*l**3/6 + 4*l**2 + l - 4. Let d be f(6). Solve 0*h - 5*h = 3*x - 25, d*x + 4*h = 18 for x.
5
Let h be 2/(-6) - 6192/(-27). Suppose 5*d + 154 - h = 0. Solve -4*a - 5*m + 21 = 0, 0 = 5*m - d - 10 for a.
-1
Suppose -67*b - 353 = -554. Solve 2*h - 4*a = 20, 2*a + b = 6*h - 7 for h.
0
Suppose 42*m + 393 - 1611 = 0. Let l = -4 + 8. Suppose -l*r = 3*h - 109, r + 2*h = -4*r + 138. Solve -2*n + 11 = -2*f + m, 2*f - r = 4*n for f.
4
Suppose 0 = -6*v + 512 - 110. Let g = 72 - v. Let y = 7 - g. Solve 4*m - i = -2*i + 1, 2*m + y*i = 2 for m.
0
Suppose -28 = x + 3*x. Let b = x + 30. Let m = 394 - 389. Solve i - 2 = -3*w - 3, -3*w + b = -m*i for w.
1
Suppose -15104 = -27*k + 43*k. Let n = -929 - k. Let t(f) = -f**2 + 4. Let z be t(0). Solve 5*b + z*g = 3*g - n, 5*g = -2*b - 6 for b.
-3
Let f be (10 + -1)/(17 + 310/(-20)). Solve 5*s + f = 3*r, 18 = -10*s + 5*s - r for s.
-3
Let c = 1 - -3. Let g be (-404 - 8)/(-5 + 3). Suppose -9 = -209*t + g*t. Solve -j + t*s = c, -j + 5 = s - 3 for j.
5
Suppose -8*i = 13*i - 378. Solve 2*v - 4*a = -18, 5*a = 5*v - 7*v + i for v.
-1
Let s = -11147 - -11170. Solve -3*p = -4*d + 39, -s*d + 26*d - 8 = -2*p for p.
-5
Suppose 72 = 7*c - 61. Let f = c + 26. Let j = f - 27. Solve -2*o - j = 3*q + q, -o = -2*q + 1 for q.
-2
Suppose -171 = 11*b - 226. Suppose x + b*q = 22, -5*x + 0*x + 5*q = -80. Solve -4*k - x - 18 = 3*d, 2*k = -5*d - 35 for d.
-5
Let p be (-3255)/(-70)*(-4)/2. Suppose 5*s + 156 = -3*w - 124, -383 = 4*w - 3*s. Let l = p - w. Solve a - 3 = 2*v, -5*v = -l*a - a + 9 for v.
0
Let a = 293 + -286. Let y be a + -13 + 4 - -7. Solve 5*h + 2*k = 3*h + 14, 2*h = y*k - 21 for h.
2
Let a(i) be the first derivative of -2*i**3/3 + 23*i**2/2 - 21*i - 4. Let m be a(10). Solve n - 3*n - m = 5*r, -n = 5*r + 12 for r.
-3
Suppose -5*g - 126 = -11*g. Let i be 58/30 - (-3)/45. Solve -b + g = 3*o + 2*b, b = -i*o + 9 for o.
2
Suppose 8 = -82*c + 84*c. Suppose 2*g - 17*a + 14*a - 67 = 0, -c*g + 84 = 4*a. Solve -4*o + 0*t = -2*t - g, 4*o = 4*t + 32 for o.
5
Let i = -731 - -734. Solve j = 12*f - 10*f - 7, -4*f - 1 = i*j for j.
-3
Suppose 5*k = -4*v + 40, 2*k + 0*k - 5*v - 16 = 0. Let b = k - 4. Suppose -b*r = -6*r + 18. Solve -x - 8 = -3*p, -2*p - r + 37 = 5*x for p.
4
Suppose -14*j + 304 = -6*j. Suppose 3*o - 16 = j. Suppose 3*r - 5*k = -0*k + 31, -5*k = 25. Solve -4*v = -2*d + o, 3*d = v - r + 4 for d.
-1
Let o(k) = 2*k**2 - 21*k - 142. Let f be o(-5). Suppose 3 = -f*j + 10*j + 3*r, -3*j + 2 = -2*r. Solve 0*v - v - 4*m = 25, 2*v + j*m = -30 for v.
-5
Suppose 12 = l + 3*l. Suppose 5*h - 5*m - 80 = 0, h - 5*m = -8*m + 20. Suppose 0 = -i + 2*q + 6, -5*i - 3*q = -h. Solve l*j = i*b + 10, -b + 3 = -2*b + j for b.
-1
Suppose 0 = r - 0*r + 3*t + 10, 5*r + t - 20 = 0. Suppose -r = y - 14. Suppose y*m - 23 - 85 = 0. Solve -h + 2 = 3*l - 9, -4*l + m = 2*h for h.
-4
Let q = -11 + 1. Let u = 51 + q. Suppose -31 = -4*f + u. Solve -3*i - 3*s - s = f, 5*s + 9 = 3*i for i.
-2
Suppose 0 = -3*d + 4*n - 14, -4 = -5*d + n + 1. Let h be ((-24)/36)/((-3)/7290). Let w be h/63 + 6/21. Solve -w = -d*z - 2*i - 3*i, 0 = i - 4 for z.
3
Let k(t) = 6*t**2 + 33*t - 14. Let i = -343 + 337. Let x be k(i). Solve -x*c - 8 = -2*h, c - 5*h + 2*h - 3 = 0 for c.
-3
Let v = 12064 + -12052. Solve -z + v = 5*b + 2, 3*z + 2*b - 4 = 0 for z.
0
Let n(c) = -c + 1. Let t be n(-4). Let b(d) = 25 - 2*d**2 + d**2 - 7 + 25 + 3*d. Let h be b(7). Solve 2*p = -4*f + 4, -h - 1 = 3*p - t*f for p.
-2
Let v be (3 - 1)/(-2) + 5. Let l be ((-12)/(-15) - 0)*3905/22. Let g = l + -138. Solve -4*k + 3*j = 12 - 2, v*j = k - g for k.
-4
Suppose -d - 4*y = -57, 5*d = 7*d - 2*y - 54. Solve 3*r + 3*u + 54 = 27, 5*r = -2*u - d for r.
-5
Let f(k) = -4*k**2 + 2*k**2 - 12*k + 13 + 9 + 3*k**2. Let z be f(2). Solve 2*a + 3 = -2*g - 3, -3*a = -z*g - 11 for g.
-4
Let k = -2986 - -3047. Let s = -40 - 19. Let n = k + s. Solve 4*t + n*i - 2 = 0, 3*i + 4 = -2*t + 7 for t.
0
Let z = 4 - 0. Suppose 0 = -4*m - 580 - 464. Let t = 274 + m. Solve 0 = h + z*d + 9, 2*h - 4*h - t = 3*d for h.
-5
Let u(t) = -t**3 + 5*t**2 + t - 4. Let w be u(4). Let v = -489 + 491. Suppose 2 = d - 7. Solve -a - 2*a - 2*z = -w, -d = -v*a - z for a.
2
Let w(m) = -m**3 + 18*m**2 + 19*m. Let y be (-32)/(-96) - (-56)/3. Let x be w(y). Solve x = q + 4*z + 17, 3*z + 14 = 4*q - 13 for q.
3
Let h be (14*(-9)/(-567)*6)/(2/12). Solve 5*n + 4*q = 34, -h*q + 4*q = -3*n - 18 for n.
2
Let v(w) = -w + 7. Let q be v(5). Suppose -7*t + q*t + 85 = 0. Solve 5*m = 6*d - 2*d - t, -4*m - 10 = -2*d for m.
-1
Let a(p) = -5*p**2 + 80*p + 9. Let g be a(16). Suppose -g*w + 1 - 1 = 0. Solve 3*m + 4*z - 3 = -w*m, -m + 3*z = 12 for m.
-3
Let c(y) = -238*y + 1435. Let k be c(6). Solve -3*i + k + 3 = n, 0 = 5*i + n - 16 for i.
3
Let o(z) = -10*z + 106. Let n be o(10). Suppose -3*t + b = -21, t - 3*b + 2*b = 9. Solve -3*k + n + t = 0, -22 = -2*a - 3*k for a.
5
Let y(f) = -17*f - 4. Let d = 19 + -20. Let x be y(d). Suppose -18 = x*k - 16*k. Solve -4 = 2*u - s, 2*u + k = -2*s + 2 for u.
-2
Suppose 2*u + 32 = 4*u. Let k(x) = -8*x**2 - x**3 + 2*x**3 - u + 0*x**3 + 4*x + 6*x. Let h be k(7). Solve -4*n + 17 = -s, 0 = s - h*s - n - 17 for s.
-5
Let j(k) = -k**3 - 7*k**2 + 10*k + 18. Let b = 3 - -1. Let a be b/(((-35)/(-10))/(-7)). Let m be j(a). Solve -25 = 5*n, 5*w - n = m*n + 40 for w.
5
Let t = 17 + -21. Let g be (-1 - (t + 3))/1. Let s(x) = 7*x + 24. Let p be s(-3). Solve p = z + d, 5*d - 3*d = g for z.
3
Let r be (-139)/(-5) - 372/465. Solve 5*b - 13 = -3*s, -14*s - 3*b + r = -17*s for s.
-4
Suppose 4*x + 10 = -3*d, -x + 4*d + 62 = 36. Solve 0 = x*t - k - 10, -16*t + 11*t - 2*k = -16 for t.
4
Let d(k) = -k**3 - k**2 - 2*k - 12. Let h be d(-3). Suppose -9*w = -h*w + 60. Solve 1 = -j, 5*j - w = -4*n - n for n.
5
Suppose -16 = -7*g + 6*g. Suppose 14*p = 18*p - g. Solve -3*l = -p*v + 16, -3*v = -5*l - 8*v + 20 for l.
0
Let h(k) = 2*k**2 + 6*k + 7. Let l be h(-2). Let d = -78 + 72. Let r be (-8)/d + l/27*6. Solve r*g - 4*g = 2*q + 2, 3*g + 11 = q for q.
2
Let v be (-6 - -3) + (-3 - -3) + 4. Let y be (6*(v - 0))/(54 + -51). Solve -y*r = -5*d - r + 18, 3*d = r + 12 for d.
3
Let u = -91 + 95. Let i be 7*((-88)/(-28) + u). Suppose 6*y = 11*y - i. Solve -y = -0*k + 2*k, 0 = 2*x - 4*k - 20 for x.
0
Let k = 109 - 108. Solve v - k = 5*t - 18, 2*t + 2 = -4*v for t.
3
Let v(d) = d**2 + d + 1. Let s be v(-2). Suppose p = o, s*p + 0*p = -o + 16. Let u be (-12)/(-48) + (-14)/(-8). Solve -4 - 10 = -o*b + u*g, b = g + 4 for b.
3
Suppose 11*p = -27*p. Suppose p = -0*o + 19*o - 57. Solve -3*m = 0, o*v - 2*m = -m for v.
0
Let t = 50 - 40. Suppose -5*j + 5 = -t. Suppose j*d - 12 = d. Solve 0 = g + 3*g - 2*q + d, -9 = -4*g - q for g.
1
Let v = -40 - -7. Let y = -28 - v. Let p be y*5/25 - -1. Solve -4*h + 5 + p = -o, h - 3 = -o for h.
2
Suppose 3*i = 2*u - 3*u + 111, 0 = 2*i - 2*u - 66. Let w be ((-2)/4)/(((-45)/i)/5). Solve -8 = w*f, -f = 2*j + 3*f + 6 for j.
5
Let c be 0 - (0 - (-1 + 6)). Let r be 245/10*(-48)/28. Let g be (-2)/3 - 112/r. Solve v - t + c*t = -13, -v + g = -t for v.
-1
Let v = -1042 - -1047. Solve -16 = 3*m + 2*x, -v*m - x - 25 = 2*x for m.
-2
Let i(o) = 8*o**2 - 177*o**3 + 2*o**2 + 10 + 178*o**3 + 2 + 10*o. Let a be i(-9). Solve 8*f - 3*f - 4*d + 13 = 0, 34 = -5*f - a*d for f.
-5
Suppose 2*k - h = -2*h, 4*h = -k + 7. Let c be k/((-6 + 2)/20). Suppose 0*o + 10 = c*o. Solve -4*s + 4*b + b + 25 = 0, -o*s + 4*b = -14 for s.
5
Suppose p - 6*p = u - 90, -5*u + 369 = -2*p. Let o = u - 75. Solve q + 1 = o, 0*z + 1 = -z + 2*q for z.
-3
Suppose -2*n = -4*n + 8. Let c be 160/(1*2)*7703/30812. Solve 4*y - c = 2*b, n*b + 3 + 17 = 3*y for y.
4
Let u(v) = -2*v**3 + 44*v**2 + v + 3. Let o be u(22). Let g(z) = -z**2 + 24*z + 33. Let t be g(o). Solve -5*b = 2*m - t, 3*m - 3 = 3*b - 12 for m.
-1
Let x(v) = -2*v - 4. Let u be x(-3). Suppose -2*a = -u*i + 50, 3*a - 35 = -0*i - 2*i. Solve 5*l = -4*h + 11, 0*l = 2*l - 5*h + i for l.
-1
Let t be -1 + 6 - 1 - -1. Suppose -30 = -11*h + t*h. Solve h*f = -q + 15, q = 2*q - f + 3 for q.
0
Let f(r) = r**3 + 39*r**2 - 16*r - 167. Let q be f(-39). Suppose -q*s = -475*s + 270. Suppose 0*o - 2*o = -8. Solve -4*i + 0 = -o*m + 4, -s = -i - 3*m for i.
3
Let v(f) = 3*f - 6. Let s be v(5). Let m(d) = -d**3 +