= 2 - 2. Solve b = 5*a - u*a for a.
0
Suppose 0 = v - 5 + 2. Solve -2*w = v*w + 5 for w.
-1
Let x(n) = -3*n**2 + 2*n + 1. Let p(y) = y**2 + y. Let w(m) = 2*p(m) + x(m). Let d be w(4). Solve -5*z - 4 = d for z.
-1
Let b(x) be the third derivative of -x**5/60 + x**4/8 + 2*x**3 - 6*x**2. Let j be b(5). Solve j*t + 4 = 2 for t.
-1
Let q = 14 + 1. Solve 2*a = 7*a - q for a.
3
Let a be (3/(-2))/(6/16). Let w be -6*2/a + 0. Solve 5*g = w + 2 for g.
1
Let q = -1 + 4. Let c = 44 + -40. Suppose 2*s - 12 + 2 = 0. Solve q + s = c*p for p.
2
Let w = 10 + -8. Suppose -w = -h + 3. Solve n - 2*n = h for n.
-5
Let n = -9 + -2. Let t(x) = x**3 + 10*x**2 - 12*x - 5. Let r be t(n). Solve 0 = -5*k + r*k + 1 for k.
-1
Let u(s) = s**2 + 12*s - 13. Let q be u(-13). Solve -2*w + w + 4 = q for w.
4
Let s be (-1)/3 - (-7)/3. Suppose -15 = -s*i + 19. Suppose -4*u + 20 = -0*u. Solve 7 = -u*d + i for d.
2
Suppose 0 = -5*b - a + 12, -2*b + 2*a - 9 = 7*a. Solve 0 = -4*y + b*y for y.
0
Let p = 7 + -7. Suppose p = c - 3 - 1. Let x(g) = 3*g + 1. Let o be x(1). Solve c = -o*s + 2*s for s.
-2
Let x be (-5)/((-10)/(-6))*3. Let r = -5 - -1. Let h = r - x. Solve h = -l - 0*l for l.
-5
Let u(f) = -f**3 - 6*f**2 - 4*f + 7. Let b be u(-5). Let x be 0/(0 + 1*-2). Suppose -j + 4 - 3 = x. Solve t = b - j for t.
1
Suppose 3*m + 11 = -2*x, 0 = 2*m - 0*x - 4*x - 14. Let f = -1 - m. Let d(u) = u + 3. Let p be d(f). Solve 0 = -p*j + j + 10 for j.
5
Let c = -13 + 16. Suppose c*p - 10 = 8*p + 5*b, 0 = -b - 4. Solve 2 = -2*h - p for h.
-2
Suppose -u + 5*q - 6 = 0, -3*u = -2*q + 31 - 13. Let k be 0 - (-7 + u/(-2)). Solve 2*p = p - k for p.
-4
Suppose -8*i + 10 = -3*i. Let s(b) = b - 2. Let f be s(i). Solve f = -h + 6*h - 10 for h.
2
Let b(o) = o**3 - 6*o**2 - 6*o - 3. Let q be b(7). Let i = 6 - q. Suppose -i*d = d. Solve d = -l - 0*l for l.
0
Let u = 8 - -26. Suppose -5*z = -3*n + 1 - u, 3*n + 9 = z. Solve -l - 1 = -z for l.
5
Suppose -3*s + 38 = 4*n, 2*n = n - 4*s + 16. Solve 4 = -4*b - n for b.
-3
Let f be 6/(-3) + (2 - 3). Let l be -1*(f + 3 + -3). Solve x = l - 1 for x.
2
Let p = 42 + -41. Solve m = -0*m + p for m.
1
Let v = 72 - 67. Solve -3 = v*y + 17 for y.
-4
Let l(x) = x**3 - 6*x**2 + 5*x + 3. Let s be l(5). Let p be (10/(-3))/((-2)/s). Suppose 2*k - o = 11, -5*o + 2*o - 15 = 0. Solve k = -p*u - 17 for u.
-4
Suppose 2*b = 5 + 9. Suppose 0 = 5*r + 3*g - 32, -5*r - 2*g = -b*g. Solve -l + 1 - r = 0 for l.
-3
Suppose 0 = 3*l + 2*l + 30. Let j = l + 10. Solve 0*w = -j*w - 12 for w.
-3
Let d = -10 - -14. Let g be (-16)/(-10) + (-2)/(-5). Solve -3*w = -g*w + d for w.
-4
Let m be (11/2)/((-1)/(-2)). Suppose 0 = -4*g - 2*y + 10, g - 3*y + m = 5*g. Solve g*d - 3*d = 0 for d.
0
Let t be (-6)/9*(-3)/2. Let v be 32/(-12) + t/(-3). Let a be 6/(-3) - (1 + v). Solve -2*r + a*r + 8 = 0 for r.
4
Let x = 33 - 21. Solve -3*v + 3 = x for v.
-3
Suppose 0 = -j + 5*q - 18, -22 = -5*j - 9*q + 6*q. Solve 8 = 3*d + j for d.
2
Let r = -82 - -84. Solve 4*a + r + 6 = 0 for a.
-2
Let o(t) be the third derivative of -19*t**4/24 + t**3/6 - 2*t**2. Let v be o(-1). Solve -4*q - v = -0 for q.
-5
Let z = -25 + 27. Solve q + z = -2 for q.
-4
Let v be 24/9 + (-4)/6. Suppose 3*k = v*q + 17, -3*k + q = 6*q - 10. Solve 0 = -4*y + k + 11 for y.
4
Let n be 4/6*30/4. Let a = 6 - n. Solve 2 + a = y for y.
3
Let d(l) = l**2 - 6*l + 1. Let b be d(7). Let q be 190/b + (-5)/(-20). Suppose -2*c = 5*n - 25, 3*n - 3 - q = -2*c. Solve 9*a - 4*a = -c for a.
-3
Suppose 5 = 4*w + 5*h + 27, -2*w = -5*h + 26. Suppose 4*m = 1 - 65. Let s = w - m. Solve 4*c - 2*c = s for c.
4
Suppose 2*y = 4*y. Solve 0*v - 4*v = y for v.
0
Let l(w) = 2*w**3 + w**2 - 2*w + 1. Let d be l(1). Solve d*g = -2*g - 16 for g.
-4
Let k(p) = p**2 + 4*p + 4. Let o be k(-4). Solve -o*w - 3 = -7*w for w.
1
Let k(w) = w**3 - 12*w**2 + 19*w + 14. Let h be k(10). Solve 0 = t - 3 + h for t.
-1
Let t be (-1 - (-1 + 2)) + 7. Let d(i) = -1 + 2*i - t + 0. Let k be d(8). Solve -w - k = w for w.
-5
Let g(x) = 2*x + 31. Let w be g(-13). Let r = -2 - -2. Suppose 3*o + 15 = -4*u, 3*u + 25 = -r*u - 5*o. Solve u = w*p - 0*p for p.
0
Let b(n) = -n**2 - 8*n + 6. Suppose -2*r - 10 = 6. Let i be b(r). Let t = -6 + i. Solve l + 2*l - 15 = t for l.
5
Suppose k + n - 60 = -3*k, 0 = k - 3*n - 15. Let f = k - 13. Let u be (1 - 0/1) + 1. Solve u*b = 3*b - f for b.
2
Let d(p) = p**2 - 6*p. Let o be d(6). Solve y + 4*y - 15 = o for y.
3
Let u(v) = -v**3 - 4*v**2 - 4*v - 2. Let r be u(-3). Let w be ((-4)/4*r)/(-1). Solve -n = -w - 3 for n.
4
Suppose -4*g + 7 = 3*c + g, -c + 2 = 2*g. Suppose 0 = v + y + c - 12, 2 = -2*y. Let t be (8/6)/(3/v). Solve t*a - 5*a - 1 = 0 for a.
-1
Suppose k - 5 = -4*k. Let b be -2 - k/(-1) - -1. Let h(w) = -w + 9. Let d be h(b). Solve 0 = y - 4*y + d for y.
3
Let g(f) = -2*f - 2. Let z be g(-2). Let o(y) = y + 5. Let w be o(-3). Let q(k) = -k**3 + 5*k**2 + 5*k + 6. Let i be q(6). Solve z = -w*c - i for c.
-1
Let q(x) = x + 8. Let n be q(-8). Let s be n/1*(-1)/(-3). Solve s = 5*a - 5 - 0 for a.
1
Let x be 4 - (-3 - (-1 - 1)). Let l(k) = -k**2 + 5*k + 5. Let g be l(x). Solve -g = u - 4 for u.
-1
Suppose 2*r - 10 = -0*r. Suppose -5*c + 23 = -h, 2*h + 2*c = r*h + 4. Suppose 32 = h*o + 2*o. Solve -o = -4*z + 8 for z.
4
Let o(p) be the second derivative of 0 - 1/6*p**3 - 1/2*p**2 - 2*p. Let q be o(-5). Solve -4*h + 5*h = -q for h.
-4
Let c be 4 + -2 + -1 + -1. Let q = 2 - c. Suppose 33 = q*d + 3. Solve 0 = 4*t + d + 1 for t.
-4
Let y(x) = -2*x**2 + 22*x + 26. Let w be y(12). Solve z = 3*z - w for z.
1
Let r = 6 + -4. Suppose r*u + 28 = 4*h, -h + 4*u = 2*h - 31. Solve 0 = -a - 0*a - h for a.
-5
Let v be 0 - -4*(0 - -1). Suppose 0*i = -v*i. Solve o + i*o = 2 for o.
2
Let g(b) be the first derivative of 2*b**3/3 + b**2 + b - 1. Let j be g(-2). Solve j*p - p + 4 = 0 for p.
-1
Let n(o) = -4*o + 3. Let p be n(-3). Solve 3*k = -0 - p for k.
-5
Let h be (-1)/(-2*3/(-18)). Let c(m) = -m**3 - 2*m**2 + m - 1. Let p be c(h). Let z = p - 3. Solve z*t = -2*t - 8 for t.
-2
Let r be (-20)/4*4/10. Let c be (-5)/2*1*r. Solve -c*a = 13 + 2 for a.
-3
Suppose 6*l = 2*l + 12, 2*r - 3*l = -9. Suppose r = -z - 2*z + 12. Solve -z*k - 3 = -k for k.
-1
Suppose 5*u + 24 = -3*z, 4*z - 2*u + 37 = 5. Let p = -4 - z. Suppose 5*d - 10 = -5*w, 3*w - 4 - p = -5*d. Solve -4*s + 5 = d for s.
1
Let y be (-30)/(-4)*(-22)/(-55). Solve -7*d + y*d + 12 = 0 for d.
3
Suppose -20*p = -16*p. Solve -5*z + 25 = -p*z for z.
5
Let b = 61 - 53. Solve b = v + v for v.
4
Let q(i) = i**3 + 11*i**2. Let j be q(-11). Suppose j*g - 3*g = 3. Let k = 2 - g. Solve 21 - 6 = -k*l for l.
-5
Suppose 9 = x - c, 5*x - 3*c + 5*c - 10 = 0. Suppose 0 = 5*p - 3*j + 5, -4*p = -j - x + 1. Solve -1 = h - p for h.
1
Let m = 61 + -125. Let y = 89 + m. Solve -2*v + 7*v = y for v.
5
Suppose 4 = 4*t - 4*p, -4*p + 3 - 11 = -5*t. Solve k + 15 = -t*k for k.
-3
Let z be ((-3)/2)/(6/(-20)). Suppose 0 = -4*t - a + 19 - 4, a - 20 = -z*t. Solve -t = 4*u + 15 for u.
-5
Let j(m) = 3*m - 1. Let f be j(2). Let u(h) be the first derivative of h**2/2 + h + 3. Let k be u(9). Solve k*b + f = 5*b for b.
-1
Let i = 4 - 0. Suppose -5*h + 3*p = -18, p + 10 = i*h + 3*p. Suppose -2*g + 64 = 5*d, -4*d - d + 52 = -4*g. Solve h*x + d + 0 = 0 for x.
-4
Let v be 11/((-11)/(-6)) + -4. Solve 0 = -7*g + v*g for g.
0
Let o(p) be the second derivative of p**4/6 + p**3/3 - p**2/2 + 4*p. Let t be o(-2). Solve -2*r = t*r - 10 for r.
2
Suppose -4*q - 126 = -2*r, -q + 12 = -5*q. Let g = r + 17. Let t be g/8 + (-3)/(-4). Solve 3*o = -2*o - t for o.
-2
Let z be 56 + -3*2/3. Suppose -3*c + z = 3*f, 4*f = -6*c + c + 70. Let k(b) = b**3 + 3*b**2 - 6*b - 6. Let w be k(-4). Solve -w*n + f = 2*n for n.
5
Let s(i) = i**2 + i - 4. Let j be s(-3). Let g be 5 + -5 - (j + -5). Solve -g*l = l + 8 for l.
-2
Let f be -5*(1 - 6/3). Solve 34 = f*c + 9 for c.
5
Let c(v) = -v + 22. Let b be c(13). Let h be (-15)/(-3 - b/(-4)). Solve -t + h = 3*t for t.
5
Suppose -3 = -k - 0*k, -5*p - k = -103. Suppose 10*n = 7*n. Solve 4*b + p = -n*b for b.
-5
Let o be (2/2*0)/3. Let k be 1/(-2)*o/1. Suppose -4*d + 5*d = 9. Solve -5*r - 1 - d = k for r.
-2
Let y(a) = -a**3 - 9*a**2 - a - 7. Let t be y(-9). Suppose 0 = 2*f - 8 - t. Solve -4 - 1 = f*k for k.
-1
Suppose -5*h + 25 = 5. Suppose 32 = h*s - 2*o, -3*o + 0 = 6. Suppose 