4*p = -0 + l for p.
-4
Suppose 0 = -p + 6*l - 2*l + 8, 0 = 2*p + 4*l + 32. Let k(f) = f**3 + 6*f**2 - 17*f + 3. Let o be k(p). Solve -2*y - o = -5 for y.
-3
Let t(n) = 5*n + 13. Let p(l) = 3*l + 6. Let x(r) = -7*p(r) + 4*t(r). Let h be x(4). Solve -5*z = -h*z for z.
0
Let n = 3 + -15. Let y(f) = f + 17. Let c be y(n). Suppose -c*h = 3 - 13. Solve 1 + h = 3*x for x.
1
Let l = 1530 - 1518. Solve -7*n - l = -4*n for n.
-4
Suppose -28*a = -25 - 87. Solve -54*y = -52*y - a for y.
2
Let n be (4/(-14))/((-2)/77). Solve -3*p + n + 4 = 0 for p.
5
Suppose h + 3*p = 12, -4*h = -4*p - 18 - 14. Solve 19*g - 22*g = -h for g.
3
Let c(p) be the second derivative of p**4/12 + p**3/3 - 13*p. Let v be c(-3). Solve -10 = 2*o + v*o for o.
-2
Let x be ((-20)/50)/(1/(-45)). Solve 10*v = x*v + 8 for v.
-1
Let g = 63 + -56. Suppose 0 = -5*c + g*c. Let k = 8 + -6. Solve c = -o + k*o for o.
0
Let q = 206 - 190. Solve -q*l + 17*l = -3 for l.
-3
Suppose 0 = 3*q - 88*k + 84*k - 23, -2*q + 5*k + 13 = 0. Solve q*m - 32 = m for m.
4
Suppose -4*g + 68 = -p + 6*p, -5*g = 2*p - 17. Suppose -3*m - 2*m = -10, -5*j + p = 3*m. Suppose w + 6 = 3*w. Solve 0 = -x - j*x - w for x.
-1
Suppose 72 = 5*x - 18. Suppose 0 = -0*v - v - b + 9, 0 = 5*v - 4*b - x. Suppose r + 125 = v*r. Solve r = -0*w + 5*w for w.
5
Let z be 1/(-10)*-25*(-2)/(-5). Solve -4*b + z = 5 for b.
-1
Let f be ((-102)/(-170))/(3/20). Solve 8*i + f = 36 for i.
4
Let l(r) = -19*r - 3. Let k be l(2). Let w = k - -24. Let t = w + 17. Solve t*v = -v for v.
0
Let w be (44/(-110))/(-1 + 4/5). Solve -4*j + w = -6 for j.
2
Let r(m) = -m**3 + 5*m**2 - m - 6. Let q be 7 - (1 - (0 - 2)). Let j be r(q). Suppose -3*a - j + 30 = 0. Solve a*i - 3*i = 0 for i.
0
Let n be (6/(-18))/((-1)/3). Let c = -29 - -20. Let p = -5 - c. Solve 3 + n = -p*t for t.
-1
Let p = 661 - 657. Let h be (8/(-14))/(4/(-14)). Solve -h*g = -2 - p for g.
3
Let s = 12 - 5. Suppose 3 = -2*x + s. Solve -x*d - 3*d + 15 = 0 for d.
3
Suppose -39 = -2*f + 5*m, 6*m = -f + 5*m + 2. Solve f*u = 10*u for u.
0
Let a be -3 + (-2 - 6) + 11. Solve 5*w + a*w = -5 for w.
-1
Let q(d) = -d**2 - 8*d - 1. Suppose -4*w - 18 = 2*p, -3*p - 2 - 24 = 5*w. Let r be q(p). Solve 0 = -2*j - j + r for j.
2
Suppose 6 = -3*o, o + 18 = 4*r - 4*o. Let p be 2/4 + -4*r/16. Solve -j + p*j - 2 = 0 for j.
-2
Suppose 61 + 128 = 9*d. Solve -14*b = -7*b + d for b.
-3
Suppose -5*t = -2*q + 32, -3*t = -3*q + 13 + 26. Solve 0 = q*c - 1 + 1 for c.
0
Suppose -w + 14 = 3*k, -4*w - 4*k = -18 - 54. Solve -3*z - w = -17 for z.
-1
Let l be (42/39)/(4/104). Solve -2*x + 9*x = -l for x.
-4
Let u(p) = -p**3 - 34*p**2 + 113*p + 94. Let x be u(-37). Solve 3*l + l = x for l.
5
Let u be (10/2)/(255/714). Solve 9*a = u*a + 25 for a.
-5
Suppose -16 - 9 = -5*f. Suppose f*b - 7 = -17. Let k = b - -4. Solve -k*a = -a - 3 for a.
3
Let k(t) = -t + 4. Let h be k(0). Let q(z) = 1. Let u(v) = 2*v + 6. Let r(s) = 2*q(s) + u(s). Let a be r(h). Solve -3*n - n = -a for n.
4
Suppose -7*s - 4 = -6*s - 2*h, 0 = -3*h - 12. Let v = -11 - s. Solve -c - v = -2 for c.
1
Let b(i) = -i**3 - 23*i**2 - 24*i - 34. Let x be b(-22). Suppose 0 = x*n - 2*n. Solve 5*p = -n*p - 15 for p.
-3
Let s be -6*((-40)/48 - 3/(-9)). Solve s*o + 0*o = -15 for o.
-5
Let a(w) = -52*w - 343. Let b be a(-7). Solve -27*s = -20*s - b for s.
3
Let i be (-1 - (-134)/6) + (-528)/396. Solve 7*u = i*u + 13 for u.
-1
Suppose -2*z - 202 = -3*q, 4*q = -3*z - z + 296. Let x = -69 + q. Solve 0 = -4*t + 19 + x for t.
5
Let y(h) = -h**2 - 4*h + 1. Let l be y(-3). Let p be (-36)/(-8) - -3 - (-2)/4. Let a = p - l. Solve a*r - 6*r - 4 = 0 for r.
-2
Let y = 8 + 10. Let d = 34 - y. Let p = d + -7. Solve -p = 4*l + 7 for l.
-4
Let r be (6 - 1)*(1 - 12/(-4)). Solve r = -h - 3*h for h.
-5
Let m(p) = -2*p**2 + 30*p + 40. Let t be m(16). Let b be (4 + 4)*(0 - -1). Solve t = 4*u - b for u.
4
Let w be 2/(-12) - ((-21)/18 - 4). Solve 7*j - w*j = 6 for j.
3
Let p be (-5 - (8 - 13)) + 4. Solve -p*q + 0*q = -q for q.
0
Suppose r - 4*k + 13 = 0, r - 2*k = -3*r + 4. Let w(n) = -n + 2*n**2 - r*n + 3 + 7*n. Let p be w(-2). Solve -p*m = 9 + 11 for m.
-4
Let w = -9 - -10. Let a(y) = 12*y + 3. Let o be a(w). Solve b - 4*b - o = 0 for b.
-5
Suppose 88*s - 98*s = -340. Solve 0 = 3*v + s - 40 for v.
2
Suppose 12*y - 12 = 24. Suppose 0 = 3*c - 30. Solve -i = -y*i + c for i.
5
Let d(q) = -3*q**3 - 402*q**2 + q + 137. Let v be d(-134). Let t = 4 + -2. Solve t*k - 20 = -v*k for k.
4
Let w(b) = b + 17. Let u be w(-12). Let i = -8 + 8. Suppose 3*h - 4*h - 5 = 0, i = f + 2*h + u. Solve 0 = -0*p - f*p + 5 for p.
1
Suppose -325 + 37 = -48*p. Solve -p*f = 24 - 6 for f.
-3
Let c be -12 - -21 - (-1 - 0). Solve -c*s + 4*s + 6 = 0 for s.
1
Let l be (-2 + -2)/((-5)/10). Let f = l + -5. Let d be 9*((-14)/(-3) - 4). Solve 0 - d = f*y for y.
-2
Suppose -5*c - 3 = 4*q - 7, 5 = 5*q. Solve c = 5*u - 9*u for u.
0
Let d(p) = -6*p - 6. Let u(b) = 5*b - 16. Let i(f) = 14*f - 48. Let s(z) = 4*i(z) - 11*u(z). Let x be s(12). Let k be d(x). Solve -k = -4*o - 6 for o.
3
Let d = 93 + -65. Solve 0 = 11*r + d - 6 for r.
-2
Let h = 377 + -373. Let p(m) = 3*m**2 - 1. Let x be p(-1). Solve -x*u = -h*u + 8 for u.
4
Let b(t) = 4*t - 8. Suppose q - 5*y - 2 = 0, 4 + 6 = 5*q + 2*y. Let p be b(q). Let m be (0 - p) + 4 - 1. Solve -m*f = 2*f for f.
0
Suppose -5*v + 535 = 4*n + n, 2*v + n - 213 = 0. Solve -v*a - 10 = -101*a for a.
-2
Suppose 1655 = 86*h + 365. Solve -k + h = 13 for k.
2
Let s(f) be the first derivative of 1/3*f**3 - 2*f - 5 - 1/2*f**2. Let x be s(2). Solve x*h - 2 = -2*h for h.
1
Let w(b) = -21*b**3 - 2*b - 1. Let d be w(-1). Let l be 6/14 + 1782/(-42) + -2. Let x = l - -44. Solve -3*s + 7 - d = x for s.
-5
Let b = -6 + 3. Let s(p) = p**3 + 5*p**2 + 3*p - 3. Let k be s(b). Let a = k + -3. Solve -3*h + a = -0 for h.
1
Let g(t) = t**3 + 12*t**2 - 12*t + 19. Let z be g(-13). Suppose -5*u + 2*u + z = 0. Suppose u - 8 = -2*r. Solve 0 = 5*p - r*p - 10 for p.
5
Let h be 1 - 4 - -2 - 15. Let n = h - -18. Suppose 0*z - n*z = 0. Solve b + 3 = -z for b.
-3
Let g = 95 - 83. Solve 12 = 8*w - g for w.
3
Suppose -2*i = -33 + 33. Suppose i = -2*z + 4 - 0. Solve 0 = -2*k - z*k for k.
0
Suppose -5*a - 3*l = -74, 4*l = -4*a - 4 + 60. Suppose -2*x = 5*n - a, -3*x + 2*n + 24 = -n. Solve -x = 3*o + 7 for o.
-5
Let d be (1 - 0)*(0 - 4). Let t be 2 - d - 1*-4. Solve -2*n = 3*n - t for n.
2
Let i be 4*(9/2 + -4). Suppose -3*b - 31 = -7*b + 5*x, -22 = -4*b + i*x. Suppose -b*c = -2*m - 0*c - 4, c = -5*m + 1. Solve 25 = -5*l - m*l for l.
-5
Let w(g) = -g**2 + 8*g - 8. Suppose 5*h - 9 = 3*h - 5*v, 4*v - 4 = 0. Let i be w(h). Solve -t + i*t = 0 for t.
0
Suppose -2*q = -8*q + 210. Solve 39*g = q*g - 20 for g.
-5
Suppose b + 21 = 5*y, -4*b + y + y = -6. Solve b*o - 15 = 1 for o.
4
Let u be 5/(-20) - (-435)/12. Solve -35*y + u*y = -5 for y.
-5
Let t(p) = -8*p**2 + 2*p**2 - 4*p**3 + 3*p**3 - 9*p**2. Let m be t(-15). Solve m = 3*z - 3 + 18 for z.
-5
Let z = 9 - 7. Let h(y) = -12*y**3. Let r be h(-1). Suppose -r = 2*k - 6*k. Solve 0 = k*n - 5*n - z for n.
-1
Let a be 474/42 - (-6)/(-21). Let f be a - 4/(-6)*6. Let v = -11 + f. Solve -k - v*k = 10 for k.
-2
Suppose 8*u = 3*u - 190. Let o = -34 - u. Solve -5*x + 6 + o = 0 for x.
2
Let t(b) = b - 8. Let c be t(4). Let k be (0 + 2)*c/(-2). Suppose k = -s + 3*s. Solve -3*a + a + s = 0 for a.
1
Let o be (-135)/18*(-4)/3. Suppose 0 = -2*n + 4*n - o. Suppose -2 = n*s - 7. Solve s = -5*i - 4 for i.
-1
Let h = -81 - -79. Let m be (h + 3)/(4/20). Solve -m*b - 7 = 8 for b.
-3
Let i be (1 + -3)/(-2) + (-2 - -5). Suppose 0 = i*t - 3*t - 21. Solve 0 = -5*w - t + 1 for w.
-4
Let d be (-36)/(-2) + -1*1/1. Let u = -13 + d. Solve -u*k = 8 + 12 for k.
-5
Suppose 99 = 4*t + x, 5*t - 2*x - 188 + 61 = 0. Solve i + 4*i + t = 0 for i.
-5
Let j(b) = -b**3 - 9*b**2 - 20*b - 8. Let f be j(-6). Solve 5*a - f + 14 = 0 for a.
-2
Let d(r) = -17*r. Let c be d(0). Solve 0*i - 4*i = c for i.
0
Let r(z) = 97*z - 1. Let l be r(1). Let d = 162 - l. Suppose -25 = -3*x + g + d, 112 = 4*x + g. Solve -9 = -4*h - x for h.
-5
Let t(n) = -4*n - 9. Let y be 3/((-6)/8 + 0). Let h be t(y). Solve -4*k + 9 = -h for k.
4
Let l be -7 + -52 - (-2)/1*-1. Let k = -55 - l. Solve -o = -k*o + 15 for o.
3
Suppose -36 = 2095*a - 2098*a. Solve 0 = l + 3*l + a for l.
-3
Let r(n