 - 0*r for r.
3
Let s(f) = -2*f - 3. Let y be s(15). Let r = y - -38. Solve -r*w = -2*w for w.
0
Suppose 0 = -34*k - 14 + 14. Solve k = i + 112 - 117 for i.
5
Suppose 0 = -x - 5, 2*p = -p - 3*x + 30. Let z = p - -2. Let i = z + -9. Solve i*u + 10 = 3*u for u.
-2
Let d = -106 + 109. Solve -d*z = z + 4 for z.
-1
Let o(u) = -u**3 + 7*u**2 + u + 2. Let i be o(7). Suppose a = s + 6, 9 = -a + 2*s + 18. Solve -a*h = -0*h - i for h.
3
Let u be (-5 + 10 + -8)/((-15)/50). Solve u*a - 33 = -a for a.
3
Let c(g) = -8*g - 3. Let u be c(-3). Let p = u + -5. Solve -4*n + 0 = p for n.
-4
Let h = -81 + 40. Let u = 58 + h. Solve -5 + u = -4*g for g.
-3
Let m(f) = f**3 - f**2 + 25. Let c be m(0). Suppose -n = -2*p - 6 + 17, -2*n + 2 = 0. Solve -q + p*q = -c for q.
-5
Suppose -20*d - 138 = -5*s - 23*d, 5*d + 20 = 0. Solve -c - 28 = -s for c.
2
Let b = -141 - -145. Solve 1 = b*q - 7 for q.
2
Suppose -7*s + 166 + 254 = 0. Solve s = 2*q + 52 for q.
4
Let t be -1*(-3)/(9/60). Let v be (4/(-5))/((-8)/t). Let n be (5/v)/((-6)/(-12)). Solve -9 = -n*d + 2*d for d.
3
Let u(l) = 1 + 33*l**2 - 6*l - 32*l**2 + 3 + 2. Let v be u(1). Solve h + v = -4 for h.
-5
Let k(z) be the first derivative of 7*z**6/180 + z**5/120 + 2*z**3/3 - 8. Let o(c) be the third derivative of k(c). Let g be o(1). Solve -a - g = -4*a for a.
5
Suppose 11*s = 16*s. Suppose s = -22*a + 21*a - 18. Let k be (2*-1)/(a/45). Solve k*r = 8 + 7 for r.
3
Suppose 6 = 3*k, 3*l + 0*k - 2 = -4*k. Let u be 2 + -6*l/(-1). Let m be (-8 - -11)*u/(-6). Solve m*p - 7 + 2 = 0 for p.
1
Let q(t) = 2*t + 41. Let p be q(-16). Solve 7*k + p = 10*k for k.
3
Suppose 11*a - 5 = 479. Solve 8*m + 36 - a = 0 for m.
1
Suppose s + 35 + 1 = 4*j, 0 = -4*j - 3*s + 36. Let p = -17 - -20. Solve p*z + 3 = -j for z.
-4
Let j be 0 - (18/6 - 4). Solve j = 6*l - 5*l for l.
1
Suppose -5*j + 6 + 1 = -4*y, 5*j - 23 = -4*y. Solve -8*u - 5 = -j*u for u.
-1
Let d(i) = -i**3 + 52*i**2 + 58*i - 108. Let h be d(53). Solve 6*f = 181 - h for f.
4
Let b(x) = x**2 + 14*x + 9. Let p be b(-14). Suppose -z - p = -5*h + 12, 4*z - 11 = h. Solve -z*j + 3*j + 4 = 0 for j.
4
Suppose -10*r - 8 = -11*r. Suppose -2*h - 3 = i, -h + 2*i + r + 3 = 0. Solve 4 = -v - h for v.
-5
Suppose 13*g + 5*s = 15*g - 4, -4*g + 26 = -s. Solve g*f - 17 = -3 for f.
2
Suppose -4*q + 4 = -4. Suppose q*z - 2 = z. Suppose 0 = -3*n - z*n + 15. Solve 0 = -n*l + 12 for l.
4
Let n be (-2 - (-36)/10)*(-5)/(-2). Let l(q) = -q**2 - 6*q + 2. Let u be l(-4). Let a = u - 10. Solve -n*f + 0 + 8 = a for f.
2
Suppose -8*z + 2*z + 240 = 0. Let h be ((z/(-12))/2)/(2/(-6)). Solve -h*u + 11 = -4 for u.
3
Suppose 2*l - 2*l = -3*l. Let m be (-2 + 6)/(-1) - -5. Solve l = u - m - 3 for u.
4
Let m be (-21)/(-6) - 5/10. Let t(u) = -u**3 + 8*u**2 - 15*u + 3. Let i be t(m). Solve -j - 1 - i = 0 for j.
-4
Let o be (-334)/(-22) - (-24)/(-132). Let c = o + -13. Solve a + 2 = c*a for a.
2
Let l = 1917 + -1897. Solve -14 = -3*a - l for a.
-2
Suppose 0 = 3*t + 5*s - 51, 0*t + t = 4*s. Let l = t - 7. Solve l*i = i for i.
0
Suppose 2*s - 6*s - 1 = 3*b, -2*b - 2 = 3*s. Solve -4*f + 3 = -b*f for f.
-3
Let s be 3 - 1/(2 - -2 - 3). Let q be 4 - (0 - -1)/(-1). Suppose -q*y + 10 = s*h - 9, 0 = 5*h - 5*y + 5. Solve h*w + 3 = -1 for w.
-2
Let k = 17 - 15. Suppose 4 = k*f - 4. Solve 0 = l - 2 + f for l.
-2
Let g = 9 - 0. Let t(k) = -k**2 + 7*k + 17. Let i be t(g). Let l be (-12)/(-9)*(-3)/i. Solve 2*m - l = 3*m for m.
-4
Suppose -59*v + 60*v - 7 = -r, -2*r - 4 = -4*v. Solve 56 = r*y + 76 for y.
-5
Suppose -184 + 157 = -3*s. Solve q + 11 = s for q.
-2
Suppose -h - 5*i + 131 = 0, 367 = 3*h + 5*i - 3*i. Solve 23*l = 29 - h for l.
-4
Let q = -2 - -2. Let b(c) = -c**3 - 2*c**2 - 3*c + 5. Let r be b(0). Let w = r + q. Solve -5*m + w = -0 for m.
1
Let b = 109 - 94. Solve -46*d - b = -41*d for d.
-3
Let y(r) = 2*r**3 - r**2 - r - 2. Suppose -10 = -8*j + 3*j. Let m be y(j). Suppose 0 = 11*t - 7*t - m. Solve t*z - 3 = 1 for z.
2
Let g(o) = o**3 + 13*o**2 - 23*o - 3. Let x be g(2). Solve 0 = x*n - 3*n - 16 for n.
2
Let y be 16/(-6) + 2 - 12/(-18). Solve j + 2*j + 12 = y for j.
-4
Let t be ((-1)/2)/(3/(-12)). Let q = -16 + -15. Let h = 31 + q. Solve f = t - h for f.
2
Suppose -4*x + 2*n + 3*n = -73, 0 = 5*n + 5. Solve -6*m - 5 + x = 0 for m.
2
Let q be 4/3*6/(-4). Let g be (-4 - -1)*2/q. Suppose 2*m + 5*x + 5 = 0, g*x - 3 = -m - 7. Solve m = -0*v - v for v.
-5
Let k(d) = 3*d**2 - 2*d + 5*d - 5*d - 2 + d**3. Let p be k(-3). Solve 0 = -p*o - 7 + 27 for o.
5
Let u(w) be the third derivative of w**5/60 - 11*w**4/24 - 7*w**3/6 + 13*w**2. Let j be u(12). Solve j*f - 2*f = 15 for f.
5
Let o(k) = -k**3 - 7*k**2 - 8*k - 10. Let u be o(-6). Suppose -l - 10 = -3*l. Solve 6 = -u*m + l*m for m.
2
Suppose 2*v = 0, -3*t + 2*v - 7*v = 0. Suppose 0 = 2*k - w + 23, t*k + 5*k = 2*w - 56. Let c = 14 + k. Solve -c*d + 25 = 9 for d.
4
Let g = -2 + 3. Let y = 736 + -734. Solve g + 3 = -y*w for w.
-2
Suppose -7*x + 59 = 38. Solve 4*u = -13 - x for u.
-4
Let z = -754 - -767. Let u be 2/6 + 206/3. Suppose 2*m = 7 + u. Solve z = 5*j + m for j.
-5
Let q(s) = 14*s**2 + 113*s + 12. Let z be q(-8). Suppose -b + 4 = -1. Suppose 0*f = 2*t + 3*f - 9, 3*t - 8 = f. Solve -t*o + z = -b*o for o.
-2
Let g(a) = a**3 + 5*a**2 + 2*a - 8. Let u = 58 - 62. Let h be g(u). Solve h*v = 4*v - 8 for v.
2
Let j(m) = m**3 - 12*m**2 - 12*m - 4. Let y(g) = -14*g**3 + g. Let u be y(-1). Let d be j(u). Suppose -n = 5 - d. Solve n = -3*c + 1 for c.
-1
Let o(g) = 2*g**2 - 28*g + 3. Let a be o(14). Solve -6*y - 3 = -a*y for y.
-1
Let k(m) = 25*m**2 + 4*m - 1. Let t(s) = -s. Let q be 1 + -3 + (-21)/(-3). Let o(h) = q*t(h) + k(h). Let f be o(-1). Solve f = 3*b - 8*b for b.
-5
Let w = 114 - 98. Suppose 11*t = w*t - 20. Solve -21 = t*j - 9 for j.
-3
Let i(r) be the third derivative of -r**4/24 - r**3/6 - 6*r**2. Let u be i(-7). Solve 11*z = u*z + 5 for z.
1
Suppose z + s + 2 = 0, -2 = -2*s + 2. Let r(y) = -3*y - 9. Let p be r(z). Let m be ((-2)/(2/(-5)))/1. Solve -w = -m + p for w.
2
Suppose -10*n - 3 = -11*n. Suppose -9 = -3*c + n. Solve c = 2*j + 2*j for j.
1
Let n be 1 + 1 + 0/1. Let f(o) = -15*o**2 + o - 1. Let b be f(-1). Let x = b - -20. Solve -x + 1 = -n*g for g.
1
Let b be ((-65)/15 + 5)*6. Solve -3*q + b = -7*q for q.
-1
Suppose 0 = -3*s + 27 - 12. Suppose -s*n - 50 = -60. Solve 5*c + 12 = n for c.
-2
Suppose -5*z - 27 = -2*x - x, -3*x - 3*z + 51 = 0. Let v = x + -5. Solve -5*d + v = 29 for d.
-4
Let b = 6 - 4. Suppose 8 = 2*f + f - 2*u, -f + 2 = -u. Suppose 2*c = 4*i + 3*c - f, 3*c - 12 = -4*i. Solve b*k + i = -4 for k.
-2
Suppose -55 = -17*w + 30. Let v = 10 + w. Solve 5*u + 0 - v = 0 for u.
3
Let k = -2466 + 2551. Solve -k = 3*o - 70 for o.
-5
Suppose 43*h - 14 = 36*h. Solve -3 = -h*i + 5 for i.
4
Suppose -2*h + 5*h - 2*j = 9, -3*h + 6 = -3*j. Suppose 0 = 4*b - b + 15, -b - 25 = 4*m. Let c be (9/(-5))/(3/m). Solve 0 = 2*o - c*o + h for o.
5
Suppose -116 = -10*l + 34. Solve 7*f - l*f = 32 for f.
-4
Let h(l) = -1. Suppose -v + 7 = 5*g - 1, 4*g = -4*v + 16. Let p(m) = -m - 6. Let w(n) = g*p(n) - 3*h(n). Let u be w(-4). Solve -o + u = -2*o for o.
-1
Suppose 22 - 7 = 5*h. Let i be 5/45*-3 + 19/h. Solve 2 - i = -m for m.
4
Let k(l) be the second derivative of l**3/3 + l**2/2 - l. Let c be k(-1). Let u be (c - -1)*(-9)/(-18). Solve u = -3*m + 5*m + 6 for m.
-3
Suppose -1620 = 5*l - 1620. Solve -11*g + 10*g + 3 = l for g.
3
Suppose 41 = -3*n + 44. Solve 3*z = -n - 2 for z.
-1
Let i = 3 + 0. Suppose -5*z + 7 = -i. Let l be -3 - (-2 + 0 - 1). Solve l = m - z for m.
2
Let i = -68 - -79. Solve -4*r + 3 = i for r.
-2
Suppose -81 = -18*f - 9. Solve 0 = 4*v - f for v.
1
Let b(c) be the third derivative of c**5/20 + c**4/3 + 5*c**3/6 + 4*c**2. Let x be b(-3). Solve 3*k + x = -k for k.
-2
Suppose -13*f + 89 = 11. Suppose 21 - f = 3*y. Let l be 1/(-3)*(-9)/1. Solve y*t + 12 = -l for t.
-3
Suppose 51 = 4*k - b, -k = 4*b - 7*b + 1. Solve -4 + k = -2*h for h.
-5
Let u = 29 - 14. Suppose -4*v = -5*j + u, 4*v = -4*j + 3*j - 21. Let k = 6 + v. Solve 0 = 3*i - 2*i - k for i.
1
Let v(f) be the second derivative of 0 - 1/2*f**2 + 1/6*f**3 + 5*f. Let r be v(3). Solve -4 + 6 = r*w for w.
1
Suppose 14*m - 260 = 9*m - 3*w, -5*w = 0. Solve -53*k + m*k - 5 = 0 for k.
-5
Suppose 3*q = 6*q + 15, 0 = -5*t - 4*q. Suppose t*p -