ve -4*f - 21 = -5*d - 0*d, -2*f - k*d = -17 for f.
1
Let t(q) = q**2 - 2*q - 8. Let j be t(-2). Solve -4*s + 4*r - 36 = j, 0*r = -3*s - 3*r + 3 for s.
-4
Suppose -10*a + 11*a = 6. Suppose 4*s = -4*k - 4, s + 2*s - 2*k - 17 = 0. Let d be (s - 2)/(a/12). Solve -3*h + 8*h + 32 = 3*f, 3*h = d*f - 20 for f.
4
Let r be (-148)/(-10) - 1/(-5). Suppose -4*h - r = -7*h. Suppose -476 = -91*z - 21. Solve -2*v + 8*o = z*o + 11, h*v + 4*o = 7 for v.
-1
Suppose 4*l = 27 - 19. Let y = -231 - -256. Let k(r) = 6*r - 3. Let d be k(3). Solve y = 5*h - l*n, 2*h = -h - n + d for h.
5
Suppose y - 6 = -5. Let v be (3 - y)*(11 - 9). Solve -3*m - 3*u + 9 = 0, -m + 5*u + 1 = v for m.
2
Suppose 2*k + 36 = 4*r, 0*r = 4*r + 4*k - 36. Solve 0 = -2*z + z + 4*w + 3, -3*z = -w - r for z.
3
Let r(u) = u + 2. Let c be r(1). Suppose -4*t + 40 = 5*s, -7 = s + c*t - 26. Solve 8 = s*i + 3*o, o + 29 = 5*i - 0*i for i.
5
Let u be (3 + -3)*(-1)/(-2). Let x(r) = -4*r**2 + 4*r**2 - 4*r**2 + 2*r**2. Let s be x(u). Solve 0 = j - s*j + 5*m - 7, -5*j + 5 = -5*m for j.
2
Let w = 33 + -66. Let c = 15 + w. Let z = 20 + c. Solve 0 = -z*p + 5*k + 13, -3*p + 2*k = -0*p - 3 for p.
-1
Let m = -2017 - -2019. Solve l + 3 - 1 = 0, m*f + 4*l + 2 = 0 for f.
3
Let c(p) = p**3 + 6*p**2 + 2*p - 5. Let k be c(-4). Let w = k - 18. Let b(h) = 5*h**2 - h + 1. Let r be b(w). Solve 5*m + 0 = -r*l - 5, 0 = -l + m - 3 for l.
-2
Let f = -2 - -5. Let b be (-20)/6*(-261)/58. Solve f*n - b = -3*v, -5*n + v + v = -4 for n.
2
Let l be 5 + (1 - (-1 - -4)). Solve 5 = -3*z - u - 1, -2*z + l*u - 15 = 0 for z.
-3
Let l(u) be the first derivative of 2*u + 8 + 3/2*u**2 + 2*u**3 - 1/4*u**4. Let g be l(6). Solve 4*a - 8 = 5*r + 17, -5*r + 3*a - g = 0 for r.
-1
Suppose -20 = -32*j + 28*j. Solve -a - j*p + 20 = 0, -2 = -3*a - p + 2 for a.
0
Let x(m) = -5*m - 16. Let f be x(-7). Let q = f + -9. Suppose 2*t - 6 = 0, -2*z - t + q = t. Solve -2*h - 5*b - 19 = 0, -z + 24 = -h - 5*b for h.
3
Suppose 2*u = -34 + 40. Solve 2*t - a - 7 = 4*a, 0 = -2*t + a + u for t.
1
Let f be 10/2*(0 - -1). Suppose 2*r - 84 = -4*h, 29 = 3*h - 4*r - 34. Let t = 31 - h. Solve 0*k - k + t = -q, -2*k - 15 = f*q for q.
-5
Let v be 1/2*(-23 - 3). Let h = -9 - v. Solve 5 = -h*k - 2*y + 27, 4*y - 32 = -4*k for k.
3
Let k(r) = -r - 8. Let m be k(-11). Suppose 30 = m*h + 2*h. Suppose h + 3 = 3*w. Solve -6*s + 5 = -5*i - s, -4*i - w*s = 18 for i.
-3
Let f = -61 + 65. Suppose 1 = 3*s + 2*g, -2*s - g - 14 = f*g. Solve s*w = -5*m - 3, -4*m + 0 - 1 = w for w.
-1
Let h be -1 + (-217)/(-35) - (-2)/(-10). Solve h*c - 37 = 4*z - 0*z, -c + 14 = -3*z for z.
-3
Let j be (-164)/(-8) + 2/(-4). Suppose -7*s + j = -3*s. Suppose -2*w = 3*m - 9, 2*w - 15 = 4*w - s*m. Solve w = -4*p + 4*y + 4, -2*y + 1 - 3 = p for p.
0
Suppose s + h - 7 = 0, 0 = 3*h + 17 - 2. Suppose 0 = 2*o + a - 6, 3*a = -2*o + 6. Solve s + 2 = -o*t + 5*r, 5*t = -4*r - 11 for t.
-3
Suppose 2*t + 0*t = 36. Suppose 5*x - 12 - t = 0. Let v = 10 - x. Solve -6*g - 6 = -g - v*p, -g - 4 = 2*p for g.
-2
Let c(z) = 6*z + 45. Let n be c(-7). Solve -n*b - 2*b + 4*k = -15, -2*b + 6 = -5*k for b.
3
Suppose 2*r - 37 = -3*i - 117, -2*i - 56 = 4*r. Let k = -15 - i. Solve -2*q = -4*q + 3*b + 7, k = -5*q - 2*b for q.
-1
Let k = -306 + 308. Solve -11 = -4*q + 3*q - 4*z, 2*q + 18 = k*z for q.
-5
Let o(a) = 53*a - 51. Let i be o(1). Suppose -b - 30 = -6*b. Suppose -i*n - b = -16. Solve 4*t = 3*t, -u - n*t = -3 for u.
3
Suppose -18 = -3*m + 6. Let q(p) = -p + 8. Let i be q(m). Solve i = 3*y + u - 8, 0 = -2*y + u + 2*u + 20 for y.
4
Let k be 21/(-14)*(0 + -2). Let y be 10 - (-4 + 5) - k. Solve m + 1 = 0, -v - y = 2*m + m for v.
-3
Let m(p) = p**3 - 3*p**2 - 5*p + 6. Let o = 70 + -66. Let r be m(o). Solve -5*a = -5*x - 22 - 18, -r*x = -a + 12 for x.
-4
Let l = 27 + -55. Let c = -26 - l. Solve -c*k = -4*p - 14, 2*p + 3 = k + 4*p for k.
5
Let b = -9 - -9. Let n(m) = m**2 + m - 1. Let v be n(2). Suppose b*w = v*w - 50. Solve 2*f + 10 = 4*k, 2*k - w = -f - 3 for f.
1
Let d be 352/10 - (4/(-5) - 0). Suppose a = d - 21. Solve z - 3*f - 6 = 0, -4*f - a + 0 = z for z.
-3
Let r be (-2)/(-3) + 2 + 130/30. Solve 4*p + 16 = f, -5*p = -0*f + 2*f + r for p.
-3
Let v = 2387 - 2383. Let n = 4 - 6. Let o be (6/10)/(n/(-10)). Solve 4*j + 4 = v*d, -o*j + 5*d = d + 6 for j.
2
Suppose 9 = 3*x - 0*x. Suppose 0 = -g, -4*n - 6*g + 4*g = -28. Solve 3*i + n = m, 3*m + 0*m - x = 0 for i.
-2
Suppose 0*z = -4*z - 92. Let f = -5 - z. Let r be (f/15)/((-6)/(-15)). Solve -5*b + 3*d - 2*d - 18 = 0, -r*b = d + 6 for b.
-3
Let p be 0*((-20)/(-15))/(-4). Suppose p = -5*y + 4*y + 31. Solve 3*a - 2*a = x + 2, 2*x - y = -5*a for a.
5
Let z(r) = r**2 - 26*r + 11. Let j be z(26). Solve 3*s = 4*o + 1 - j, 3*o = s + 10 for o.
4
Suppose 0 = 2*a - 7*a - m + 22, -7*m = 3*a + 6. Solve 4*z + u + 2 = -2, a*z - 16 = 4*u for z.
0
Let b be 5453/1107 - (-4)/54. Solve -6 = -b*a - m, -4*a + 25*m = 27*m - 6 for a.
1
Suppose -3*z = 15 - 84. Suppose -z = -10*h - 3. Solve -2*k - 14 = 3*k - 4*v, -2*k - h = 2*v for k.
-2
Let l = -212 + 214. Solve -l*t + 6 = -d - 7*t, 5*t = 2*d - 3 for d.
-1
Let a(q) be the second derivative of -q**3/6 + 16*q**2 - 6*q. Let v be a(12). Let b = 23 - v. Solve b*o = 6*o - 2*p + 10, -2*o - 6 = -2*p for o.
-4
Suppose 0 = -3*c + 6, 2*c + 2*c = 3*z - 1. Solve -b = -0*y + 2*y + z, 0 = -4*y for b.
-3
Suppose -3*g - g + 12 = 0. Let b(l) = -2*l**2 + 13*l - 4. Let i be b(g). Solve 0 = -2*m - o - 5, 4*m + 0 = 5*o - i for m.
-3
Let k(j) = 24*j**2 - 2*j - 1. Let v be k(-1). Suppose 16 = 5*r - 6*r. Let s be 33/22*r/(-6). Solve 0*c = 2*c + 5*i - 23, s*c = -3*i + v for c.
4
Let h be 0/(-3)*((-7)/3)/7. Suppose -3*m - 3 + 18 = h. Solve -5*y + 10 = -m*x, 5*x + 3 = 4*y - 4 for x.
1
Let b be -2 + (-153)/(-17) - (-1)/1. Solve 2*y - 5*i + i + 18 = 0, 0 = -4*i + b for y.
-5
Let z(k) = k**2 + 15*k + 7. Suppose -3*l - 70 = -25. Let m be z(l). Solve -m*b = -2*b + 5*j + 15, 6 = -2*b + j for b.
-3
Suppose 2*n + 4*n = -90. Let q be 6/n*-10 - 0. Solve 0*s - 3*i - 16 = -q*s, 0 = -s - 3*i - 11 for s.
1
Let n be (2/(-4))/(2/4). Suppose 19*w = 42 - 4. Let s be w/(-12) - n/6. Solve 4*a = -5*q + 4, 2*a + 0*q + q + 4 = s for a.
-4
Let i be -20*(-4)/(-96) + 155/6. Solve h = -5*x + 5*h + i, 0 = -5*h - 25 for x.
1
Let d(m) = m**3 + 3*m**2 - 10*m - 21. Let v be d(-4). Solve -3*s - v*o - 13 = s, -5*s + o = 2 for s.
-1
Suppose 2*v - 13 = -k + 3*v, v - 17 = -2*k. Solve -d = -4*j + 7, 0 = -j - 3*d + k + 8 for j.
3
Let k = 13 - 23. Let m be (84/(-70))/(3/k). Let b = -8 + 11. Solve m*j - b*v - 3 = 7, -4*j = 4*v - 24 for j.
4
Suppose -4*p = 3*c + p - 32, -5*c + 8 = -3*p. Solve 0 = -2*o + c*y - 18, -o - 2*y - 6 = o for o.
-5
Let u(o) = o**2 + 3*o - 5. Let l be u(-5). Let v = 3 + 1. Suppose -43*p = -23*p - 80. Solve 4*i - l*m = -m + p, 0 = v*i + 2*m - 16 for i.
3
Let o = 103 - 94. Solve -4*d - i = 2*i + 21, 3*i + o = 0 for d.
-3
Let x be (4 - 5)*-29*1. Let q = 31 - x. Solve 5*b - 5 = 0, 0 = -q*c + b + b - 2 for c.
0
Suppose 0 = -7*q + 5*q - 44. Let y = 22 + q. Let r be (3 - 1)*(y - -1). Solve 3*w + 1 = r*b - 0*w, -3*b + 2*w + 9 = 0 for b.
5
Let b = 420 - 417. Solve 0 = -p + r - b, 5*r - 18 = 2*p for p.
1
Let c = 749 + -735. Solve 2*g - 16 = 4*l + l, -3*l - g - c = 0 for l.
-4
Let d(a) = 8 - 6*a - 15*a**2 + 29*a**3 - 17*a**3 + 4 - 14*a**3. Let w be d(-7). Solve k + 4*k = -z - 4, w*k = -5 for z.
1
Let q = 1 - 8. Let w = 0 - 2. Let u = w - q. Solve -4*o = -2*r + 8, r - 1 = -2*o - u for o.
-2
Let u(t) = 8*t - 53. Let d be u(7). Suppose -d*v + 0*v + 26 = 5*w, 0 = 5*v + 2*w - 56. Solve -k = k - 3*g - 8, g + v = -4*k for k.
-2
Suppose -8*s = -5 - 11. Solve -2*p - 5*f = -5, 7*p - s*p - 4*f = -4 for p.
0
Suppose -57 = -6*z - 33. Solve 2*x + 12 = -2*g, 2*x - x = -z for g.
-2
Let q = 3 - 1. Let d = 13 + -9. Let k be -4 + 0 + (-4 - -10). Solve d*x + k*v - 10 = -x, q*v = x + 10 for x.
0
Let z(u) = -u**2 - 9*u - 16. Let w be z(-6). Suppose w*s - 56 = -5*s. Solve 6*d = p + d + s, -p = -d + 4 for p.
-3
Let y be (32/(-6))/((-43)/129). Solve -y = -4*g - 5*n, 4*n - 15 = -4*g + 3*g for g.
-1
Let u(j) = -j**3 - 3*j**2 + 4*j + 2. Let p be u(-4). Suppose 4*v + 8 = 5*h, 5*v = -p*h + 1 - 11. Solve 2*r - 4*f + f - 8 = h, -2*r + f = 0 for r.
-2
Suppose h = 7 - 1. Solve -2 = -z + p, 3*p + h = -0*p for z.
0
Let m be 2/(-2) + (-4)/(-9 + 5). Sol