+ 1. Let j be u(-2). Let b(x) = x - 10. Let h(i) = -i**3 - 5*i**2 + 9*i + 32. Let o be h(-6). Let g be b(o). Solve -j = -g*k - 3 for k.
3
Let f be (-72)/(-39) + 4/26. Suppose b = -5*h - 54, 7*h + 57 = f*h + 2*b. Let m = h - -31. Solve m = -2*o - 2*o for o.
-5
Let f = 8 - -5. Let v = f - 13. Solve v = 4*z + 6 + 6 for z.
-3
Let t(g) = 3*g**3 - 11*g**2 + 3*g + 11. Let q be t(3). Solve -18 + q = -4*j for j.
4
Suppose -3*u + 55 = 5*y, 2*u - 7*y = -10*y + 37. Suppose -m + 4 = -2*m + b, 3*b - 12 = m. Solve m = -s + 5*s - u for s.
5
Let l = 511 + -507. Suppose s - 2 = 2*r, r + 4*s - 9 = 2*s. Solve r = -q - l for q.
-5
Suppose -19 = -3*y + 5*u - 4, 2*u = 0. Let o(n) = -53*n**3 - n**2. Let t be o(1). Let g = -34 - t. Solve y*k - k = -g for k.
-5
Let f be (3/6)/((-1)/2). Let s(o) = o**2 - 2*o - 1. Let z be s(f). Solve z*n = 3*n + 1 for n.
-1
Suppose -32*c - 544 = -40*c. Solve -66*l = -c*l - 8 for l.
-4
Suppose -n - 5*c = -20, 0 = 2*n - c - 20 - 31. Solve n*q = 28*q for q.
0
Suppose 34*w = 35*w. Solve w = 7*d - 6*d for d.
0
Suppose m - 3*m + 4 = 0. Let x(k) = -4*k - 9. Let p be 30/(-8) - (-12)/16. Let h be x(p). Solve -m*w = w - h for w.
1
Suppose -212*a + 219*a - 49 = 0. Solve -3*i - a + 16 = 0 for i.
3
Let v(l) = 3*l**3 - 24*l**2 + l + 19. Let z be v(8). Solve -z*k + 14 = -13*k for k.
1
Suppose 5*w - 4*n - 32 = w, -5*w = 4*n - 22. Suppose f - 3*s = 9, 0 = -0*f + 4*f - 4*s - 12. Suppose f = 2*b - w*b. Solve -h - 2*h = b for h.
0
Let g = -17 + 21. Suppose 0 = -g*x - 4*m + 16, -x + 6 = -0*x + 2*m. Solve 0*t = -x*t + 4 for t.
2
Let f be 39 - (-2 + 10 - -2). Solve 5*z - 44 = -f for z.
3
Suppose -110 = -4*n + 5*o, -o - 85 = -3*n + 4*o. Suppose -37 + n = -3*u. Solve 0 = u*f - 0*f - 12 for f.
3
Let b(o) = -2*o**2 - 13*o + 2. Let u(t) = -t**3 - 7*t**2 + 11*t + 18. Let q be u(-8). Let n be b(q). Suppose 0*z = 4*z - n. Solve v + z = 2*v for v.
2
Let z(l) = -2*l**2 - 16*l - 10. Suppose 0*n = 2*n - 16. Suppose n*f - 9*f = 7. Let t be z(f). Solve x - t = -x for x.
2
Let u(k) = 2*k**2 + 27*k - 40. Let p be u(-15). Solve 0*i - p = -i for i.
5
Let s be (-352)/(-36) + (-10)/(-45). Suppose -2*x + 4*c = -0*c, -5*x = -c - 9. Suppose -x*p = -4*p. Solve 2*i + p = -s for i.
-5
Suppose -3*p - 7 = -p - 5*a, -p = 2*a - 10. Let z be 9*(-3 + 10 + -2). Let n be ((-4)/(-6))/(5/z). Solve -p*x + n = -2*x for x.
3
Let b be -3*(-2)/(-6)*-14. Solve -3*h = 5 - b for h.
3
Let g = 251 - 250. Solve -3*a - 16 + g = 0 for a.
-5
Suppose i + 14 = 5*q, -2*q + 31 = 3*i + 22. Solve -5 = -q*c + 7 for c.
4
Let r be 9/12*(-20)/(-3). Solve r = 2*s - 1 for s.
3
Let i(c) = c**3 - 6*c - 25 + 5*c**2 + 27 + 0*c**3. Let a be i(-6). Solve -a*s - 1 = 1 for s.
-1
Let b = -29 - -65. Suppose 3*x - 90 = -5*h, h + h = -4*x + b. Let o = 8 + h. Solve 5*a + o = 1 for a.
-5
Let o(b) = b - 2. Let d(k) = k - 3. Let q(s) = -4*d(s) + 5*o(s). Let l be q(2). Solve 0 + l = f for f.
4
Let i(u) = u**3 - u**2 - 33*u - 7. Let j be i(-5). Solve 0 = j*h - 14*h + 30 for h.
5
Suppose -39 = -5*r + 211. Solve 12*h + r = 2*h for h.
-5
Let x(g) = g**2 - 13*g + 15. Let m be x(0). Solve 9 = 12*j - m for j.
2
Let n(v) = 5*v - 279. Let y be n(56). Suppose 2*j = 7*j. Suppose 1 - 3 = -h. Solve j = -k + h + y for k.
3
Let x = -32 + 36. Let f = 2 + x. Solve -f*r = -r for r.
0
Let z(c) be the third derivative of c**4/24 + c**3/6 - 7*c**2. Let k be z(5). Solve -r + k*r = -20 for r.
-4
Let c = -579 - -582. Solve -c*s + 7 + 5 = 0 for s.
4
Suppose -2*f - 40 = -13*r + 8*r, -3*r = f - 24. Solve 6 = 2*l + r for l.
-1
Let s be (-1)/(6/4) - (-40)/60. Solve 3*b + s*b = 15 for b.
5
Suppose z - x + 4*x = 14, 5*z = -2*x + 31. Suppose -6*f + 110 = -5*f. Let n = 112 - f. Solve n*w = 1 + z for w.
3
Let t(l) = -34*l**2 + 4*l - 5. Let g be t(1). Let m be (-2)/5 - (329/g + 2). Solve -10*r = -m*r for r.
0
Let i(n) = -23*n + 138. Let l be i(6). Solve l = 5*d - 12 + 2 for d.
2
Let j(o) = 2*o**3 + 1 + o**3 - o**2 + 0. Suppose 0 = 5*i + 3*f - 4, 4 = 3*f - 5*f. Let x be j(i). Solve 3*z = -x + 6 for z.
-5
Suppose 16*t - 203 = -59. Solve -5*r = -2*r + t for r.
-3
Suppose -g + 2 + 1 = -3*x, 0 = 5*g + x + 1. Suppose g = -5*t + 5*n - 30, 0 = -5*t - 2*n - 27 - 10. Let y be 8/2 + t + 3. Solve 2*h + 0 + 4 = y for h.
-2
Let z(b) = -b**2 + 7*b + 11. Let y be z(8). Let n be -2*6/12 - -3. Solve -1 - y = n*d for d.
-2
Let r = -24 - -24. Solve 5*l = -r*l - 20 for l.
-4
Let i(m) = m**2 + 7*m - 6. Let g be i(1). Let x be 1/3*-2*-3. Let l(p) = -p + 22. Let c be l(18). Solve g*v = c*v + x for v.
-1
Suppose -50*w = -26*w - 912. Solve 11*b + 6 = -w for b.
-4
Suppose -8*z + 12 = h - 7*z, 0 = 5*h + 6*z - 59. Solve 14 - h = w for w.
1
Suppose 9 = -27*g + 30*g. Let b(n) = n + 5. Let p be b(-5). Solve p = -3*f + 2*f + g for f.
3
Suppose 1300*m = 1303*m - 9. Suppose 2 + 3 = -4*r - 3*p, -3 = p. Solve -m*w + 2 = -r for w.
1
Let b be 12/(-108) + 1/9 - -8. Solve 0 = -4*y + b*y - 4 for y.
1
Let p(z) = z**3 + 4*z**2 - 7*z - 5. Let j be p(-5). Suppose j*v + 45 = -5*q, 5*v = q + 4*v - 1. Let y be 6/45 - q/(-30). Solve y*u = -u for u.
0
Let h be (1/2)/(2/(-16)). Let s(f) = -f + 10. Let t be s(5). Let y = h + t. Solve 5 = z + y for z.
4
Let w be (240/(-144))/((-10)/24). Let i = 16 - 11. Solve -4*z = -i*z + w for z.
4
Let l = 303 - 303. Solve -3*s + 0 - 3 = l for s.
-1
Suppose -51 = -2*z - 3. Let u = 18 - z. Let t be (-20)/u + (-21)/63. Solve t*i + 11 = -1 for i.
-4
Let r be (6 + (-14)/3)*3/(-1). Let j be -1 + (-3)/(1 + r). Let n be (-4)/((8/3)/(-4)). Solve j = 3*v - n*v for v.
0
Suppose -108 = -2*i - i + 4*s, 4*i - s - 144 = 0. Suppose -i*d + 37*d = 3. Solve -g + d = -2 for g.
5
Suppose 137 = 12*d + 29. Let b be 3/(d/(-12)) + 10. Solve 3*r - b = -0 for r.
2
Let k be (13/3)/((-2)/(-6)). Solve 16*t - k*t = 6 for t.
2
Let b be ((-28)/14)/((-1)/2). Suppose 5*i + 5 = -3*f - 2, -5*f - b*i - 3 = 0. Solve -c = -f - 0 for c.
1
Let b = -1447 + 1450. Let l = -3 + 5. Suppose 6*r + 22 = b*t + l*r, 2*r + 16 = 4*t. Solve -t*c - 4 = -3*c for c.
4
Let u be (-51)/(-1)*2 - -5. Let r = 107 - u. Solve s - 6*s + 10 = r for s.
2
Suppose 5 = -m, 5*u + m - 70 = 5*m. Solve -38 = -7*t - u for t.
4
Let q(x) = 3 + x**2 + 0*x**2 + 61*x - 62*x. Let b be q(3). Solve f - b = 4*f for f.
-3
Let t be ((-6)/(-5))/((-6)/(-100)). Let s = 41 - 24. Let h = t - s. Solve 0 = -h*k - k for k.
0
Let w(f) = f**3 - 9*f**2 + 9*f - 4. Let t be w(8). Let v be 165/22*t/5. Suppose -2 = -p - 4*n + 1, 0 = 2*p + 4*n - v. Solve p = -2*s - 1 for s.
-2
Suppose 2*x - 5*u + 30 = 6*x, 0 = x + 4*u - 2. Let j = -12 + x. Let a be 0/(-2) + (j - -2). Solve -i - 2*i + 15 = a for i.
5
Suppose 4*q = 5*d - 43, 2*d - d - 11 = 2*q. Solve -8 = 5*l + d for l.
-3
Let u(b) = 3 + b - 2 + 0 - 2. Let o be u(6). Suppose -o - 4 = -3*h. Solve h - 19 = -4*m for m.
4
Let g(c) = 4*c. Let k(m) = -m**3 + 2*m**2 - 2*m + 2. Let h be k(0). Let y be g(h). Suppose -3*n - 2*a - y = -6*a, n + a = 9. Solve n*f = 2 - 10 for f.
-2
Let t = -7 + 9. Let d(h) = -h**2 + 4*h. Let v be d(6). Let g be (2/(-4))/(t/v). Solve x = g*x + 10 for x.
-5
Let o be 105/45 + (-2)/(-3). Suppose -44 + 32 = -o*a. Solve a = 2*w - 0 for w.
2
Let q = -13 - -13. Suppose q*m = -m + 6. Suppose 0 = -2*s + m*s - 8. Solve 0*x = -x + s for x.
2
Suppose w = -5*t - 14, -4*t + 0*t - 13 = -w. Let o be (-25)/(-10) - w/2. Suppose 5*j = 2*r - r + 17, -r = -o*j + 8. Solve 2*i = -i - j for i.
-1
Let i(j) = -133*j - 1055. Let h be i(-8). Solve 0 = -4*c + 11 + h for c.
5
Let l be (-1)/(7/420*-2). Solve 5*d + d - l = 0 for d.
5
Let a = -21 + 29. Suppose -9 = i - 0*g - 5*g, 0 = 4*g - a. Suppose b = 5*t + i, -2*b + 3 = 1. Solve t = 6*y - 2*y for y.
0
Let s = 18 - 16. Suppose s*q + 1 - 9 = 0. Let t = 5 - 5. Solve t*d = -q*d + 16 for d.
4
Suppose 3*i = 3*a - i - 24, 12 = 4*i. Suppose -2*p - 10 = 3*p + 3*t, a = 2*p - 2*t. Solve p = r - 0 for r.
1
Let h(t) = -3*t**3 + 4*t. Let g be h(-2). Let v be (-2)/(-6) + g/6 - -3. Solve 2*l = v*l + 16 for l.
-4
Let s(g) = -g**2 - 8*g - 3. Let b be s(-5). Suppose x = -14*l + 9*l, -2*l = 5*x - 92. Let u = x + -20. Solve u = 3*n - 6*n - b for n.
-4
Suppose -434 = -0*f - 14*f. Solve 25*q = f*q for q.
0
Suppose 8 = -9*l + 11*l. Suppose l*w = 5*w + 2*d - 6, 0 = -w - d + 3. Solve -2*v - 3*v - 20 = w for v.
-4
Let j = -524 - -534. Solve j*q - 2*q = -24 for q.
-3
Let l(v) = -v**3 - 8*v**2 + 3*v + 26. Let i be l(-8). So