 - a, 0 = u*k + 2*a + 3 for k.
1
Let z(i) = i**3 - 5*i**2 + 3*i + 4. Let o be z(4). Let c(f) = f**2 - 8*f - 45. Let x be c(12). Solve o = x*n + 6, 14 = 4*g - n - 0*n for g.
3
Let t = 425 - 420. Solve 0 = -2*f + t*p - 15, 0*f + 25 = -4*f + 5*p for f.
-5
Let g(t) = t**3 - 14*t**2 + 88*t - 220. Let v be g(6). Suppose 4*r - 8 = 3*b - b, -3*r = -3*b - 6. Solve 12 = 3*k, w - 4*k + b*k = -v for w.
-4
Suppose -7*f - 26 = 16. Let c = 6 + f. Suppose 2*d - w - 5 - 1 = c, 5*d = w + 21. Solve 2*a - i = i - 6, 2*a - 3*i + d = 0 for a.
-4
Suppose 5*u + 26 = -2*g + 3*g, 3*g + 2 = -5*u. Suppose -g*v + v = -30. Solve -l - 2*x - x = -6, -3*x = -v for l.
0
Let a = -41 - -38. Let s be ((-9)/a + -3)/2. Let m(u) = u**3 + 5*u**2 + 3*u - 2. Let w be m(-4). Solve -w*j - 10 = 4*b, s*j = -3*b + j for b.
-1
Let i = -2 + 2. Suppose 0 = -y - i - 1. Let a be 1 + 1 + y + 1. Solve 3*u = 6, 4*k - a = 5*u - 0 for k.
3
Let b be (2 - 4) + 39 - 0. Let s = -35 + b. Solve 4*h = -0*h - s*d - 6, 3*h = -d - 4 for h.
-1
Suppose 27 = 2*p + p. Suppose 5*v = 1 + p. Suppose -q = 4*i - 9, v*i + 0*q = -4*q - 6. Solve s - w + 3 = 2*w, -i*s - 5*w = 9 for s.
-3
Let n = 21 - 18. Suppose 0 = -3*t + n, -6*z + 2*t = -2*z - 18. Solve 3*g + w + 19 = z*w, -5*g + 3*w - 17 = 0 for g.
-1
Let b(a) = 21*a - 19*a + 0 - 4 + 6*a**2 - a**3 - 1. Let d be b(6). Suppose -1 = 2*i - d. Solve 0 = m + i*v - 4, -v + 8 = -4*m + 24 for m.
4
Let c be (-8 + 3)*-1*3. Let r = c + -4. Solve -i - 26 = 5*k, r = -5*k + 5*i - 9 for k.
-5
Let p(h) = -2*h**2 + 39*h - 20. Let z be p(19). Let k(r) = -6*r**3 - r**2 - 3*r - 2. Let u be k(z). Solve 4*m = 5*q - 7, 4*m - u*m + 16 = 4*q for q.
3
Let w be (11/3 + -3)*-18. Let y be 166/w + (-2)/12. Let g(b) = b**3 + 15*b**2 + 15*b + 14. Let m be g(y). Solve -p - 17 = 4*d, m*d = -5*p - 3*d - 17 for p.
-1
Suppose 0 = -3*g - c + 12, -5*g + 2*c + 5 + 4 = 0. Solve -5*q = -3*t - 23, -4*t - g*q + 12 = q for t.
-1
Let y = -212 - -214. Solve -x - b = 3 - y, 0 = -4*b + 8 for x.
-3
Let p(h) = h + 14. Let s be p(-12). Solve -9 = s*o - o + 2*l, -2*o = -2*l for o.
-3
Suppose 148 = 4*r + 5*x + 12, 4*r - 2*x = 108. Let c(q) = q**2 - 14*q + 13. Let v be c(13). Solve 4*i - 3*m = -v*m + r, -5*m = 2*i + 5 for i.
5
Suppose 3*u - 12 = u + z, 5*u - 27 = z. Solve -4*q - 2*w = 3*w + 21, -2*q + u*w = 3 for q.
-4
Suppose 2*h + h = 2*j - 21, 3*j - 69 = -3*h. Solve q + 2 = d - 0, 5*q + j = d for q.
-4
Suppose 0 = 4*j - 0*j + 3*s - 34, 4*j = 5*s + 50. Suppose 2*w = 5*u + 5*w - 29, -w + 15 = 3*u. Solve -3*z = t - 16, z + j = -5*t + u*z for t.
1
Let f(c) = 36*c - 54. Let m(w) = -7*w + 11. Let p(q) = -4*f(q) - 21*m(q). Let x be p(6). Solve -x*h = -2*g, 3 = g + 3*h - 6 for g.
3
Suppose -5*h + 25 = 4*t, 27*t - 25*t + 2*h - 12 = 0. Solve l = v - 4, -10 - 10 = 3*l + t*v for l.
-5
Let g(s) = s**2 - 13*s + 27. Let y be g(11). Solve -5*d + 2*d = 3*n, -y*d = -2*n - 28 for n.
-4
Suppose -9*z = 5*z - 266. Solve -2*r - 2*r + 1 = o, -4*r + z = -5*o for r.
1
Suppose -6*m + 2*y = -2*m - 14, 3*m + 4*y = -6. Let n be ((-2)/m)/((-5)/20). Suppose 0 = -2*g + g, p = 3*g + n. Solve p = 5*f + o - 17, -o + 6 = 2*f for f.
5
Let m(a) = 35*a + 106. Let o be m(-3). Solve 0 = p - s - 0 + 1, 3*p + o = 2*s for p.
1
Let y = -1237 - -1241. Solve -3*d - 10 = y*q, -3*q + 3 = -4*q - d for q.
-1
Let c be (234/12)/((-6)/(-8)). Let v = c - 15. Solve -2*a - k + 4 = 0, -4*k + v = a + k for a.
1
Suppose 2*f - 5*m = 50, 4*f = -2*m - 0*m + 124. Solve -4*a = 5*p + f, -a - 7 = 4*p - 3*p for a.
-5
Suppose 3*i - 5 = i + b, -2*i - 2*b + 8 = 0. Suppose -1 - 5 = -i*g. Suppose 27*l - 256 = 11*l. Solve g*m + l = a + 3*a, a = -5*m + 15 for m.
2
Let m be (-12)/(-30) + 2987/145. Solve 0 = -4*l - 16, -2*x - 3*x + l = m for x.
-5
Let a(q) be the second derivative of q**4/12 - 5*q**3/3 + 13*q**2 - 11*q. Let m be a(6). Solve -11 = t + m*y, -7 = 5*t - 3*y + y for t.
-3
Suppose 7*y - 6*y = -1. Let h be (-2)/(y - 33/(-35)). Solve 4*g = v - 8, 5*v - 2*g = -7*g - h for v.
-4
Suppose -4*c = -2*r - 12, 0 = 2*r + 3*c - 6*c + 7. Solve -16 = -3*f - 5*m, -3*m = r*f - 0*m - 14 for f.
2
Let s(h) = -h**3 - 9*h + 5*h**2 + h**2 - 17*h**2 + 14. Let m be s(-10). Solve -20 = -m*f, -c - 4*c - 4*f = 0 for c.
-4
Let x(r) = -3*r - 18. Suppose -15*w + 11*w = 48. Let g be x(w). Suppose -6 = -2*u + g. Solve 5*d = 2*d + 3*m - u, -3*m - 12 = 5*d for d.
-3
Let n(c) be the first derivative of -c**4/4 + 3*c**3 - 7*c**2 + 4*c - 12. Let o be n(7). Solve -3*y - 3*z = -3, 0 = o*z - 13 + 1 for y.
-2
Let z = -166 - -166. Solve 15 = -2*g - z*c - 3*c, -4*g + 15 = -3*c for g.
0
Suppose -4*m = 5*m - 3*m. Solve d + 24 = -5*p, p + 3*d - d + 12 = m for p.
-4
Suppose -9*d + 40 = -5*d - 5*c, -c = -d + 11. Solve 0 = 3*k + 3*l + d, -2*k = -5*l - 11 for k.
-2
Suppose 3*b - b - 4 = 0, -3*b + 90 = 3*u. Let k = -44 + u. Let s(h) = -2*h - 28. Let f be s(k). Solve 3*j - l - 9 = 0, j + 8 = -j - f*l for j.
2
Suppose -9 = 4*t + 3*v, 15 = 2*t - 3*t - 5*v. Solve 35 = 5*d - r - r, t = 5*d + r - 20 for d.
5
Let q(t) be the third derivative of t**4/12 + 4*t**3 - t**2 + 18. Suppose -5*d - 49 + 9 = 0. Let c be q(d). Solve 3*n + x = 2*n - 3, -5*x - c = -2*n for n.
-1
Suppose 0 = 5*k + 2*g - 115, -4*g = 3*k - 5*k + 22. Let p = k + -19. Solve -8 = 2*c, h = -p*c - 3 - 3 for h.
2
Suppose -8 = 2*c - 14. Suppose 0 = -3*q - 12, -4*w + c*q = -28. Let g be (2 + -2 - w)*-1. Solve -2*f - 2 = -2*j, -22 - g = 5*f + 2*j for f.
-4
Suppose 984 - 1024 = -8*r. Solve 1 = 2*i + 3, r*n + 12 = 3*i for n.
-3
Suppose 895*u = 893*u + 4. Solve -13 = -5*g + 4*b + 2, u*g - 3*b = 6 for g.
3
Let l(g) = -g**2 + 6*g + 9. Let t be l(7). Suppose 2*h + 5*i = -21, 5*i + 30 - 1 = t*h. Let j = -49 + 57. Solve -m - h*p + 11 = -2*m, m - p = -j for m.
-5
Let q be (-95)/190*(-3 - 1). Solve -q*n = -2*z - 7*n + 7, 2*z - 4 = -2*n for z.
1
Suppose v - 4*v = -6. Suppose -v*a + 3*b = -39, 0 = 4*b - 2 + 14. Solve 0 = 5*o + a, 3*o + 2 = u - 5 for u.
-2
Let a(z) be the first derivative of 0*z + 1/3*z**3 + 3/2*z**2 + 6. Let u be a(-3). Solve 2*y - k = -u*y, -y + 10 = -3*k for y.
-2
Let o(y) = -y**3 + 4*y**2 - 5*y + 8. Let v be o(3). Solve -2*q = 5*x - 1 - 10, -v*x = -2*q - 10 for x.
3
Let t be 15*10/150*(-1 + 3). Solve -t = x - q, 4*q - 3 = 2*x + x for x.
-5
Let z be (-120)/(-36) - (-4)/6. Suppose 3*q + z - 10 = 0. Suppose -2*c + 0*c = -6. Solve 5*l = -q*n + 2, -c*l + 2 = -2*l for n.
-4
Let w = 570 - 563. Solve 5*l = -5, -2*h - w = 5*l + 6 for h.
-4
Let l(a) = 5*a + 1. Let d be l(3). Suppose 4*o = 13 - 45. Let y be 3/(-12)*2*o. Solve 0 = -5*r - y*p + 29, 4*r - 3*p = p + d for r.
5
Let h(x) = -x**3 - 3*x**2 + 4*x - 1. Let g be h(-4). Let i be (-1*(-1 - -2))/g. Let y be (-5 - i)*(-2)/4. Solve 3*m = -3*j - 3, -2*j = -y*m - 2*m - 33 for m.
-5
Let o = -25 - -38. Let r = -11 + o. Let c be (108/8)/3*r. Solve 4*f - 12 = 2*u - 6*u, 2*f = u + c for u.
-1
Let q = 171 - 169. Suppose -2*l + 7 = y, -y + 0*y + 2*l - 1 = 0. Solve 5*j = -a - 2, q*j = y*j + 4*a + 8 for j.
0
Let m(g) = 2*g**2. Let s be m(1). Suppose 0 = f + 4 - 14. Let c be 3*(4/f - (-220)/75). Solve -h - 20 = -s*x + 3*h, 0 = 5*x + 5*h + c for x.
2
Suppose -3*t = 4*h - 8, 9*h - 1 = 10*h. Solve 4*n + t*p + 4 = 6*n, 0 = -3*n - 3*p + 15 for n.
4
Let z = -308 - -313. Solve 3*d + 10 = 4*o, 2*d = o - z*o for o.
1
Let k(v) = v - 15. Let r be k(6). Let c = 13 + r. Solve c*f + 16 = 5*x, x + 0*x = -f + 5 for f.
1
Let x be 1*2/(-6)*6. Let m be (x + -1)*(-2 - 10/15). Solve 4*v = m, 0 = -3*z + v - 7 - 7 for z.
-4
Let p = -6 - -12. Let f(s) = -p*s + 0*s + 41*s. Let x be f(1). Solve 10 = -j + g, 3*g - x = 4*j - 0*g for j.
-5
Suppose 10*b = 559 - 19. Let k = b + -50. Solve -2*z + 13 = k*v + 3, -4*z - 13 = -3*v for z.
-1
Suppose -30 = -2*y + 4*l, y = 5*y - l - 60. Solve 2*j = -2*g + 10, 2*g - y = -3*j - 2*g for j.
5
Let c = 191 - 188. Suppose -6*y + y = -20. Suppose -c*s - 24 = -7*n + 2*n, 0 = -5*n - y*s + 3. Solve -29 = 4*z - n*u, -27 = 3*z - u - 3*u for z.
-5
Let g = -11 + 12. Let j(k) = 7*k**2 - k + 1. Let d be j(g). Let t be 0/(-3 + d) - -16. Solve -2*o = -4*q + t, 5*q - 3*o = -9 + 28 for q.
5
Let s(j) = -j**2 + 7*j - 7. Let h be s(4). Suppose x + 4*a + 5 = 0, -h*x + 3 = 5*a - 2. Solve 0 = f - 3*i + 6, 3*i - 6 = -5*f + x*f for f.
0
Let b(t) = 6*t - 3*t**2 - 3*t**3 + 4*t**3 - 3*t. Let r be b(2). Solve 3*v - 2*p = -5 + 8, -r*p + 1 = v for v.
1
Let z(g) = -7*g