 1*(-20)/10*-6. Solve 0 = 28*z - i*z + 80 for z.
-5
Let r(q) = 16*q - 27. Let o be r(2). Solve -o*t - 1 = -21 for t.
4
Suppose -13*c - 14*c = -135. Solve 8*z = c*z for z.
0
Let g = -848 - -852. Solve -g*f - 2*f = 0 for f.
0
Suppose -2*z + 5*n - 14 = 0, -22 = 4*z - 3*n - 8. Let s be -3 - -4 - (-9 - z). Solve -2*k + s = -2 for k.
5
Suppose t + 5*t = 54. Let k = t + -5. Suppose k*v - 6*v = 0. Solve 0 = -o - v*o + 1 for o.
1
Let h(i) = -i + 53. Let a be h(-3). Solve a = -2*r + 54 for r.
-1
Suppose 18*m = 62*m - 88. Solve n + m*n - 3 = 0 for n.
1
Suppose 26 = 3*i - w - 3*w, -5*i + 5*w + 40 = 0. Solve -3*t + i = 15 for t.
-3
Suppose m = -3*s - 19, -12 + 2 = 2*s. Let y be -1 + 8 + (-2 - -3). Let j = y + m. Solve -h = -j*h - 6 for h.
-2
Suppose 7*w + 6 = -1. Let o be (-5)/(-2) + w/4*2. Solve -o = 3*p + 1 for p.
-1
Let o = 47 - 41. Suppose 3*v - o*v + 12 = 0. Solve 0 = -v*m + 12 for m.
3
Suppose -4*s + 34 - 18 = 0. Let p(c) = -c + 13. Let t be p(13). Solve -s*q = -t*q - 4 for q.
1
Let a(q) be the second derivative of q**4/6 + q**3/2 + q**2/2 + 14*q. Let m be a(-3). Solve -2*y = -7*y - m for y.
-2
Let h be -2 + 1/(7/49). Solve 5 = h*l + 15 for l.
-2
Let w(l) = -l**3 - 3*l**2 + 7*l + 5. Let r be w(-5). Suppose 110 = -5*i - r. Let m = -23 - i. Solve m*n + 6 + 9 = 0 for n.
-5
Let n(w) = -w**3 + 7*w**2 + 10. Let a be n(7). Solve -a*l - 16 = -18*l for l.
2
Suppose 0 = -3*w - 4*i + 35, 4*i = -5*w + 7*i + 39. Suppose -2*s + 2 = 4*j, 3*j + 0*j - s - w = 0. Solve 3*p - 5 = -j for p.
1
Let b be ((-712)/15)/(-4) - (-6)/45. Suppose -8*u + b*u = 0. Solve 4*j + 0*j - 16 = u for j.
4
Let b be 22/33*2/(-4)*0. Suppose b = 7*s - 66 - 32. Solve 0 = -4*u + s - 10 for u.
1
Suppose -d + 5 = 1. Let b = 12 - d. Let o be (-300)/(-125)*(-5)/(-3). Solve -6*c + b = -o*c for c.
4
Let j(p) be the third derivative of p**5/30 - 5*p**4/24 - 11*p**3/3 - 6*p**2. Let n be j(6). Solve n = -i - 3*i for i.
-5
Suppose -11*g + 16 = -15*g. Let w be 0/(g + 5 + 0). Suppose -5*t + t = w. Solve 2 = -t*a + 2*a for a.
1
Let c = 12 + -12. Let l be 3 + c/4 - -1. Solve 0 = 5*y - y - l for y.
1
Let i = -14 + 26. Let u(y) = -2*y**2 + y + 1. Let g be u(2). Let r be 2 + g + 3 - -3. Solve r*b = 6*b - i for b.
4
Let x be (-2)/6 - (-6)/18. Solve -f + 3*f = x for f.
0
Let m = 13 + 2. Suppose 5 = 4*t - m. Suppose -c = -t*c + 3*a + 97, -a - 124 = -5*c. Solve -r - 4*r + c = 0 for r.
5
Let g(h) = 7*h + 51. Let d be g(-7). Let q be 9/27 + d/(-6). Solve q = 5*c + 21 - 1 for c.
-4
Suppose -25 = 5*j - 35. Solve a + 6 = j for a.
-4
Suppose -5*l = -6*l - 3*l. Solve l = -4*p - 8 - 12 for p.
-5
Suppose -4*q + 5*j = -8, -3*j = -5*q - 0*j + 10. Let k(d) = -d**3 - d. Let o be k(0). Solve o = -q*p + 8 + 2 for p.
5
Let d(q) = 5*q**2 - 4*q**3 + 3*q**3 + 9 - 5*q + 0. Let g be d(4). Suppose -4*k - u + 52 = 0, 0*k - 4*k + g*u = -52. Solve -k - 2 = -3*o for o.
5
Let i be (9 + (0 - -4) + -2)*1. Solve -7*p = 10 + i for p.
-3
Let c = -123 - -126. Suppose -2*k - c*j = -0*j, -5*k + j = 0. Solve 9 = -3*m - k for m.
-3
Suppose 0 = 2*f - 4*f + 20. Suppose -4*k = -f*k + 36. Solve -4*m - k = 2 for m.
-2
Let m = -315 + 320. Solve m = -q + 1 for q.
-4
Let a(y) = y + 10. Let v be a(-6). Suppose -4*q + 2*n + 84 = 0, -3*q - v*n + 72 = q. Solve 4*p + q = -p for p.
-4
Let p = -162 + 166. Solve 0 = -p*y - 3 - 13 for y.
-4
Suppose -4*n + 5*n = 3*s - 11, 2*n + 8 = -s. Solve -s*m - 8 = -4 for m.
-2
Let k(t) = t + 7. Let u be k(-7). Suppose -5 = y + g, u = 2*g - g + 5. Suppose -4*n - 2*n + 30 = y. Solve -3*l = -1 - n for l.
2
Let r = -19 - -9. Let t = -6 - r. Solve 2*i = 6*i - t for i.
1
Let r(s) = 2*s**3 + 13*s**2 + 13*s - 8. Let o be r(-5). Solve 122 - 132 = o*d for d.
-5
Let s(v) = v**2 - 6*v - 8. Let c be s(7). Let f(d) = d**3 + 2*d**2 - d. Let r be f(1). Let n be 1/c - (-6)/r. Solve 0 = -n*q - q for q.
0
Let f be (-4 - -4)/(-2 + 0). Let b(a) = -a**2 - a + 3. Let w be b(f). Solve c + w = 2*c for c.
3
Let n be 6/(-21) + (-58)/(-7) + -2. Solve -f - n*f = -21 for f.
3
Let r(b) = 4*b - 17. Let d be r(5). Solve 0 = -h - d*h - 16 for h.
-4
Let i be (2112/880)/(1 - 6/10). Solve 0 = -6*v - i - 24 for v.
-5
Let r(a) = a**3 + 13*a**2 + 12*a + 9. Let h = -30 - -18. Let v be r(h). Solve 3*c = -v + 3 for c.
-2
Let l(n) = 3*n + 14. Let o be l(-1). Solve 18 = -17*s + o*s for s.
-3
Suppose w + 18 = 5*q, -w + 8 - 2 = q. Solve o = -o - q for o.
-2
Suppose -4 = 2*k + 4*c, -2*c - 10 = -63*k + 60*k. Solve 34 = -k*r + 38 for r.
2
Let y = 333 - 309. Solve -11*j - y = -5*j for j.
-4
Let u(i) = -i**3 - i + 27. Let r be u(0). Let z(y) = -22*y + 88. Let b be z(5). Let a = b + r. Solve a*j = j + 8 for j.
2
Let k = 16 - -6. Let p be 2 + 285/21 - (-56)/(-98). Let f = k - p. Solve -4*s = f + 5 for s.
-3
Let p(l) = 4*l**3 + l**2 + 2*l - 2. Let x be p(1). Suppose 0 = 6*t - t - 25. Solve -10 = -t*j + x for j.
3
Let i = 660 - 655. Solve i*d = -171 + 191 for d.
4
Let m = -12 + 24. Suppose 8*g = m*g - 8. Solve 0 = 3*i + g*i for i.
0
Let k(p) = -8 + p + 0*p + 1. Let l be k(7). Let a be (-13)/65 + 22/10. Solve a + l = q for q.
2
Let w = 22 + -12. Suppose m - 5*v = -3*v + w, -15 = -4*m + 3*v. Solve y - 2 - 2 = m for y.
4
Suppose 4*u + 7 = 3*b, 0*b + 18 = 4*u + 2*b. Suppose 1 = q - u. Solve 0*v = -q*v for v.
0
Suppose 31 = 2*j - k - 0, 0 = -3*k + 3. Let f be (j/(-6))/(20/(-30)). Solve -10 + 30 = f*p for p.
5
Let b be 21*(2 - (-5)/(-3)). Let i = -240 - -242. Solve 5*t + i = b for t.
1
Let v(p) = -p**2 + 8*p. Suppose 2*i + 4 = -5*s, -i + s + 24 = -3*s. Let n be v(i). Solve 3*o - 2*o + 4 = n for o.
-4
Let t(r) = -2*r**2 - 11*r + 81. Let b be t(-9). Solve 4*p - b = -6 for p.
3
Let h be -6 - 138/(-24) - (-1)/4. Suppose -3*c + 3 = p + 2*c, 3*c = h. Solve 0*b = p*b + 15 for b.
-5
Let n be 4 - 2*(-63)/18. Solve n*h - 5*h = -7*h for h.
0
Let v be (1*-3 - (-12)/6)*-1. Let x(q) = 2*q - 2. Let c be x(v). Solve c = a - 6*a for a.
0
Let o be -1*(-21 + 5 + -3). Let y = 43 - o. Let r = 29 - y. Solve 0 = -r*a - 0*a - 25 for a.
-5
Suppose -18*i = -14*i + 24. Let r be ((-65)/(-39))/((-2)/i). Solve s = r*s for s.
0
Suppose 2*j + 3*u - 8 = 0, 0 = -9*j + 4*j + 3*u + 20. Solve r - j = -1 for r.
3
Let u(x) = 3*x**2 + 6*x + 3. Let i be u(-1). Solve i = 4*a - 7*a for a.
0
Let l(m) = 3*m + 70. Let c be l(-22). Solve -f + c - 6 = 0 for f.
-2
Let h = -745 + 769. Solve -h*j + 22*j + 4 = 0 for j.
2
Let x(o) = o**2 + 5*o + 8. Let q be x(-6). Suppose 5*l + 3 + 27 = 5*v, v + q = -4*l. Suppose 5 = m, 3*h + v*m = 6*h + 1. Solve 2*k + h = -5 for k.
-4
Let s(h) = -h**3 + 2*h**2 + h. Let c be s(2). Suppose -c*g = -0*g - 4. Solve y - g = -6 for y.
-4
Let p(u) = u - 4. Let l be p(14). Let s = l + -6. Suppose 0 = -5*v + s*b - 12, -2*v - 3 = -5*v - b. Solve v = j - 4*j - 3 for j.
-1
Let n = -2083 + 2089. Solve -n*c = -38 + 32 for c.
1
Let n = 1581 + -1297. Solve 287*d + 15 = n*d for d.
-5
Let x = -1833 + 1836. Solve -31 = -x*m - 40 for m.
-3
Let v(u) = -5*u**2 + 24*u + 10. Let x be v(5). Solve 5*r - 6*r = x for r.
-5
Let v(b) = -b - 2. Let u be v(-5). Suppose 2*d - q = 6*d - 102, -d + u*q = -19. Let l be (-10)/(-6) - 2/(-6). Solve -3*o - l*o = -d for o.
5
Suppose 6*v = 2*v + 12. Suppose r - v - 1 = 0. Suppose 40 = r*z - 0*z. Solve -c - z = c for c.
-5
Let n(h) be the first derivative of -h**3/3 + 11*h**2/2 + 17*h - 36. Let k be n(12). Solve -3 + k = -2*p for p.
-1
Let j be (-2 - 93/(-15)) + 3/(-15). Solve j = -6*y - 8 for y.
-2
Suppose 3*l - 35 = -4*s, s + 33 - 13 = 5*l. Let q(h) = -h**2 + 5*h + 4. Let o be q(s). Let c(t) = 11*t - 3. Let r be c(1). Solve o*g - r = 2*g for g.
4
Suppose -90 - 6 = -12*a. Solve -4*o = -a - 0 for o.
2
Let w = -55 + 39. Let i be (-8)/(-24) - w/6. Let l = 10 + -10. Solve l = -i*t - 5 + 2 for t.
-1
Let f = -11 + 34. Suppose -2*n + 47 = m, -5*n + 3*m = -113 + f. Solve -5*l + n + 4 = 0 for l.
5
Suppose 3*k + 30 = 5*k. Suppose -99 = -4*s - k. Let q = 25 - s. Solve 0 = -q*l + 6 + 6 for l.
3
Let d be (-3 - -2) + 0 - -3. Solve -i - 1 = -d*i for i.
1
Let j be 3*((-10)/(-12))/(6/36). Suppose -5*d + 23 = 7*c - 4*c, -c = -4*d + j. Let i(a) = a**2 + 9*a + 12. Let m be i(-8). Solve -s - m = c for s.
-5
Suppose -5*n = 35 - 50. Solve n = 2*f - 5*f for f.
-1
Suppose -4*x - 2*b = -22, -x - 30*b + 25*b = -1. Solve -5 = x*j - j for j.
-1
Let t = 343 + -340. Solve t*w + 25 = 8*w for w.
5
Suppose -2*w = -u + 23, -u + 2*u 