 = -o, 20 = 4*b - m*o for b.
3
Let s(a) = 3*a**2 + 20*a - 2. Let b be s(-7). Solve 3*y + i - 1 = 0, 3*i + b = -3*y - 2*y for y.
2
Let k(f) = 11 + 2*f**3 + 0*f**3 - f**3 - 10*f - 8*f**2. Let d be k(9). Solve 0 = 4*a - 4*z - 4, -2*a + 3*a - 1 = d*z for a.
1
Suppose 27 = 3*a - 3*j, -5*a - 3*j + 5*j = -42. Suppose a*v - 14*v + 18 = 0. Solve -4*l - 16 = v*s, 5*s + 0*s = -5*l - 25 for l.
-1
Let b be (2 + (-8)/(-6))/(100/150). Solve 0*h = 2*h + 5*f + 10, -4*h - b*f - 20 = 0 for h.
-5
Let v be (-4)/(-2) - 12/(-6). Suppose 41*n + v = 42*n. Solve 0 = 2*t + 2*x - 8 - 2, 0 = 5*t - n*x + 11 for t.
1
Let x be (2 + 2)*3/6. Let u be (0/x)/((-8)/(-4)). Suppose 5*l - 4*a = 6, -5*a + u*a = -l - 3. Solve -l*c - 5*g + 7 = -12, c - 4*g + 10 = 0 for c.
2
Let r(l) be the first derivative of -l**2 - 8*l + 8. Let d be r(-5). Solve -d*q = 2*x - 5*q - 3, -2*x - q = 1 for x.
0
Suppose -2*s + 45 - 41 = 0. Suppose 0 = 3*u - 2 + s. Solve 0 = 4*z - 3*z + 4, 3*v - 3*z = u for v.
-4
Let r = -65 + 107. Let q = -32 + r. Let s be (q/(-30))/(1/(-9)). Solve d + 10 - 2 = 2*k, 0 = 5*k + s*d + 2 for k.
2
Suppose -20 = 5*h, -24 = -3*f - h + 4*h. Suppose f*j - 3*j = 5. Solve -3*t = -2*n - 8, -5*t + j*n = -6*t + 14 for t.
4
Let v be (-70)/(-21)*18/12. Suppose 4 = -j + 6. Suppose y - 9 = -j*y. Solve 0 = v*q - y*l + 12, -4*q + 3*q = 2*l - 8 for q.
0
Let d(r) = r + 1. Let o be d(-1). Suppose -k + 3*k - 6 = 0. Let u be -6*1*k/(-9). Solve -2*c - 2*c = -3*i + 10, -u*i - 4 = o for c.
-4
Let y be ((-1)/(-2))/((-2)/(-4)). Suppose q = -3*n + 3*q + 6, -3*q - 9 = 2*n. Let v = n + y. Solve 3*a + p = v, 0*a - 3*a = -2*p + 11 for a.
-1
Suppose 0 = 385*j - 386*j + 8. Solve -y = 0, -2*y - 6 = -w - j for w.
-2
Suppose 3 = b + 5. Let g be b + (-2 + -6)/(-4). Let d = 3 + g. Solve 0*n - 2*n = 2*k - 2, -5*n + 5 = d*k for k.
0
Let f(c) = c - 2. Let h be f(4). Let j = -2 - h. Let d(w) = w**3 + 4*w**2 - 2*w - 6. Let q be d(j). Solve -3*l - 4*i - 7 = -0*i, -q*l + 3 = -5*i for l.
-1
Let b be 16/6 - (-1)/3. Let q be -2*((-9)/2 - -4). Let c be 18/((-2)/((5 - q)/(-4))). Solve 0 = 5*z + 2*u - 1 - 21, -b*z + 3*u + c = 0 for z.
4
Suppose -27*y - 49 + 75 = -55. Let j(k) = k + 10. Let f be j(-5). Suppose 0*h - 2*h = f*w + 3, 4*h + 5*w = 9. Solve 0 = l - 3*v + h*v - 16, y*l + 8 = 5*v for l.
4
Suppose x = -3*z + 19, -5*x = 2*z - z - 11. Let v(d) = d - 2. Let b be v(z). Let r be 0*(-4 - 21/(-6)). Solve 0*u + 4*s + b = u, r = 5*u + s - 20 for u.
4
Suppose 0 = 3*b - 8 - 40. Let y be (-9)/(-1) - b/8. Solve 5*d = 10, -n + 5*d = y + 8 for n.
-5
Suppose -13 = 2*c + 2*j - 75, -3*c - 5*j = -99. Solve -5*w + 3*t = -0*t + c, 4*w + 22 = 2*t for w.
-5
Let c = 28 + -35. Let t be c*(1/3)/((-6)/18). Solve 3*a = 2*a + 3*x - 13, -2*x = a - t for a.
-1
Suppose 3*j - 5*j + 24 = -4*p, 0 = 3*j - p - 16. Let q(n) = 7 - 3*n + 1 + 2*n. Let u be q(-8). Solve 19 = -4*i + j*t - t, -i = -3*t + u for i.
-1
Suppose 29*u = 34*u. Let p be (18/24)/(1/4). Suppose -4*o + 2 = -p*o. Solve u = -2*m + k + 4, -4*k + o*k + 19 = 5*m for m.
3
Let i(t) = 3*t - 30. Let h be i(11). Let g(r) = -8 - 2*r + 7*r**2 + 0*r - 7*r + r**3. Let y be g(-8). Solve 3*m - 4*k + 25 = y, -h*m + 2*k - 17 = -0*k for m.
-3
Suppose -5*y + 6*y - 2 = -5*s, 11*y + 3*s = 126. Solve -o = o - 4, 5*d + o = y for d.
2
Let b(g) = -g**3 + 7*g**2 - g - 2. Let a be b(4). Let f = a + -17. Suppose -5*t + f = -0*t. Solve 3*c + t*k = -10, -6 = 3*c - 4*k - 41 for c.
5
Suppose -4*m + 12 = -n, -5*n + m - 3*m = -6. Suppose n = -2*c + 6. Let i = 4 - 0. Solve -i*o = -3*q - 11, 2*q - c*q = -3 for o.
5
Let q be 81/9 + 28/(-4). Solve g - q*t - 4 = 0, -2*g + 2*t + 8 = t for g.
4
Suppose 0 = 5*g - 2*g - o - 18, 3*o - 11 = -4*g. Solve 0 = 5*w - g*q, -2*w + q - 6 = -4*q for w.
2
Let i be ((-1)/1 - 1) + 4. Let z(a) = 4*a**2 + a - 4. Let l(y) = y - 1. Let c(j) = -2*l(j) + z(j). Let r be c(i). Solve -3*v = r, -2*f = -v + 2 - 0 for f.
-3
Let n = -3 + 7. Let y(v) = -v**2 - 1 + 5*v**2 + 5*v - 1 - 5*v**2. Let k be y(3). Solve 5*q = c + 16, 0*q - k*q = n*c - 8 for c.
-1
Let d be (1 - 1) + (-10)/(-5) + -6. Let s be ((-4)/(-3))/(d/(-48)). Solve 5*i - 4*t = -29, -4*i - 2*t - 2*t - s = 0 for i.
-5
Let y = 15 + 1. Suppose -3*v + 28 - y = 0. Solve -5*i = -2*h + 9, -v*h + 5*i + 13 = -0*h for h.
2
Let c(k) = k**2 + 8*k - 11. Let a be c(-11). Let l = -18 + a. Solve l*n - 4 = -4*s, -4*n - s - 11 = -2*s for n.
-2
Let q be (-4)/18 + 191/9. Let h = q - 20. Solve 0*c = -s - c, s + 2*c = -h for s.
1
Suppose -4*b + 12 = -0. Solve -4*j = -j + 3*c + 3, -j = -3*c - b for j.
0
Let y be (-2)/(6/9) - -8. Let j(m) = -m**3 + 9*m**2 + 12*m - 15. Let a be j(10). Solve -2*f + a = 3*v, 3*f + 65 - 25 = y*v for v.
5
Let x(w) = -w**2 - 10*w + 13. Let h be 2/(-4)*88/4. Let d be x(h). Suppose 7*k = 5*k + d. Solve j - k = 3*m - m, -2*m + 4*j + 8 = 0 for m.
-2
Suppose -13*t + 60 = 34. Solve -5*i = 3*n + 16, t*i + 6 = -n - 0 for n.
-2
Let q = 3 + -1. Let u(c) = 2*c - 2. Let p be u(q). Suppose -b + 4*w - 5 = 13, b + 8 = p*w. Solve -2*z = b*h + 20, h - 10 = -2*z + 5*z for z.
-5
Let m(h) = 13*h - 5. Let a(t) = -7*t + 3. Let w(k) = -11*a(k) - 6*m(k). Let r be w(-8). Solve -5*d - 4*n = 7 - 33, -r*d + 22 = 3*n for d.
2
Let f = -140 - -143. Let c be f/(-3) + (1 - -2). Solve -2*y + 13 = -5*z, -1 = z + c*y - 8 for z.
-1
Let c = -36 - -38. Solve n + 6 = c*h - n, 4*h + 5*n = -15 for h.
0
Let t(d) = 5*d**2 - 29*d + 14. Let g be t(6). Solve -2*i = -5*f + 16, -f - g = -6*f for i.
2
Let r be 20/9 + -2 - 612/(-162). Solve 4*h + 24 = -5*t - 9, -2*h + r*t = -16 for h.
-2
Let a = 11 - 45. Let t = a + 35. Suppose -5*h + 3 + 77 = 0. Solve 0 = 4*f + 20, -t = 4*v - 3*f - h for v.
0
Let x(d) = d + 3. Let u(m) = 3*m + 9. Let v(n) = 4*u(n) - 14*x(n). Let f be v(3). Let b = f - -14. Solve -4*a = -3*k + 3, b*a - 3 = -k + 8 for k.
5
Suppose 0 = -0*b - b + 4. Suppose -4*f - 5*t + 15 = -f, 0 = -2*f + b*t + 10. Solve 5*a - 4*a + 10 = -f*j, 5 = 4*a + 5*j for a.
5
Suppose 3*s = 11 + 1. Suppose 75 = -7*o + 6*o. Let c = -51 - o. Solve -n + s*y = -0*n - c, -5*y = 3*n + 13 for n.
4
Let l(m) = m + 16. Let x be l(-8). Suppose x - 8 = 2*k. Solve -1 = -p + 4*h, -2*h + k = -p - 1 for p.
-3
Let r(y) = 3*y + 6. Let f be r(-3). Let s be (f/(-12)*0)/2. Solve 0 = -5*t, s = -2*c - 3*t - 8 - 0 for c.
-4
Let p be (-4)/3*9/(-6). Let o(b) = -7 + 4*b + 1 + 7 - 7. Let m be o(7). Solve 12 = -3*k, p*n + 3*k + 0*k = -m for n.
-5
Let q = -886 + 889. Solve 1 = -r, o + 12 = -2*o - q*r for o.
-3
Suppose o - 16 = 2. Let k(f) = -7*f - 3. Let x be k(-2). Suppose -2*s + u = -x, 3*s + 2*s = -3*u. Solve -s*h = 4*t - 17, -3*h = -h + 4*t - o for h.
-1
Suppose -5*u + 2*w - w - 9 = 0, 3*w = 5*u + 17. Let j be 2 + 2 + 0 - u. Solve 3*a = 2*a - j, 3*i + 2*a = -25 for i.
-5
Let n = 61 + -54. Suppose 8*k - n*k - 4 = 0. Solve 5*v = -3*z + 1, -4*z - v - k*v = 2 for z.
-3
Suppose -4*d + 30 = -3*c, d + 4*d + c - 47 = 0. Let n = 16 + d. Solve 5*w = -2*p + n, 0 = 2*p - 4*w + 3*w - 7 for p.
5
Let k = -55 - -65. Suppose 0 = 6*v - k*v. Suppose 4*n = 3*b - 20, -4*n - 4 = 4*b - 3*b. Solve 3 + 1 = -i + b*s, -4*s = v for i.
-4
Suppose 29 - 174 = -5*f. Solve -4*j = 3*k + 11, 0 = -4*j - 9*k + 12*k - f for j.
-5
Suppose -9*n - 7 + 7 = 0. Solve n = -4*t - 4*z - 28, 2*t = t - 2*z - 10 for t.
-4
Suppose 4*t = -0 + 48. Let v(i) = i**2 - t - 9*i - 1 + 3. Let s be v(10). Solve s = 5*h - 25, 3*h = 4*p + p - 10 for p.
5
Let m be (10/6)/(1/3). Let t be (-4)/m*70/(-28). Let x be 19/7 - (-4)/14. Solve a + 2*p = -7, t*a - x*p + 2 = a for a.
-5
Let x(n) = -n**3 - 19*n**2 - 2*n - 18. Let m be x(-19). Suppose -4*d = -3*k + m - 71, -21 = -2*d + 3*k. Solve -3 = b - u, -d = 2*b + 3*b + 2*u for b.
-3
Let c(g) = -g**2 - 30*g + 180. Let n be c(5). Solve 0*p + n*p = -15, -k - 5*p - 15 = 0 for k.
0
Suppose -75 = 27*b - 42*b. Solve 0 = -b*p - 5, -2*p + 16 = 4*z - 2 for z.
5
Suppose 4*l = 79 - 55. Solve 14 = h - 3*j, -l*h + 4*j = -3*h - 27 for h.
5
Let f = -166 - -168. Solve 23 = 4*l - 0*a + 3*a, f*a = l + 8 for l.
2
Let m be 5 - (-3 + 19)/8. Solve -6*l = 4*n - 4*l + 2, 3 = m*n + 3*l for n.
-2
Let f be (-95)/38*12/(-10) + 4. Solve p + 6 = -5*k, 6*p - 3*k - 2 = f*p for p.
4
Suppose 2*p + 2*p - 68 = 0. Let v(w) = 5 + 2*w**2 - 2 + 4*w**2 - 2*w. Let t be v(2). Solve -2*y - 5*r = -t, 0*y - 3*r + p = -2*y for y.
-1
Suppose 16 = g + 19. Let f(p) = 10*p + 5. Let w be f(g). Let v = 