30 = 3*p. Solve -p*s = -s for s.
0
Suppose -6 - 6 = -4*o. Let g(y) = y**2 - y - 1. Let d be g(o). Solve 40 = -d*v + 15 for v.
-5
Suppose -5*s - 3 = -8. Suppose 0 = 5*v + 3*o - 1, 9*v = 10*v + o + 1. Solve -v*i - s = 5 for i.
-3
Suppose -5*q = -0*q - 60. Solve 0 = 6*b - 3*b + q for b.
-4
Suppose -3*d + 9 = -t - 2, -t = 3*d - 1. Suppose -27*m - 6 = -29*m. Suppose 2*k = 3*k. Solve -m*c + d*c + 4 = k for c.
4
Let p(i) = i**3 + 8*i**2 + 7*i - 24. Let k be p(-6). Suppose g + 5*n + 0*n - 19 = 0, -4*n = -3*g + 19. Let c = g + -5. Solve c*t = t + k for t.
2
Suppose 0*l + 5 = l. Suppose 5*o + s = 5, l*o - 15 = -6*s + 3*s. Suppose o*y - 12 = -4*y. Solve y*f + 1 = -5 for f.
-2
Let v(z) = -z**2 - 11*z + 2. Let l be v(-11). Solve 0 = -l*d - 2 - 2 for d.
-2
Suppose 4*p + 12 = -4. Let i(c) = -c**3 - 5*c**2 - 5*c - 1. Let v be i(p). Suppose -a - v + 4 = 0. Solve -7 - a = -2*l for l.
4
Let h(p) = -p**2 - 8*p - 2. Let t be h(-7). Suppose t*k = -4*v - 2, -2*k - 9 = k + 5*v. Solve 0 = -0*i + k*i for i.
0
Let m = -101 - -103. Solve -3*r - 5 = m*r for r.
-1
Let x(g) = -g**3 - 5*g**2 - 5*g - 1. Let k be x(-4). Suppose q + 0*q + n = 0, 0 = 3*q - k*n + 18. Let o be 10/6 - q/9. Solve -z + o = 7 for z.
-5
Suppose -5*f + 2 + 3 = 0. Suppose -f = -2*v + v. Let s be (1 - v)*5/(-10). Solve -t + s*t - 4 = 0 for t.
-4
Suppose 36 = 2*w - 3*s, 3*w - 2*s - 68 = -s. Let p = 5 + -3. Suppose -5*z = -5*o + 5, 2*o + z + p = 13. Solve o*b = -w + 8 for b.
-4
Let g be (-1 - -1) + 3 + -3. Suppose g = f + 6 - 18. Suppose -a = 0, 3*p + 0*a - 3*a = f. Solve 2*q + 0*q - p = 0 for q.
2
Let q(z) = -z**3 - 4*z**2 + 5*z - 4. Let l be q(-5). Let o be (2/l*0)/2. Suppose o*s - 3*s = -6. Solve -2*d - s*d = -16 for d.
4
Suppose 2*d - 24 - 44 = 0. Let v be (-245)/(-85) - (-4)/d. Solve m - 6 = v*m for m.
-3
Let d(m) = m**2 + 7*m + 5. Suppose c + 3 + 4 = 0. Let p be d(c). Solve 0*n = p*n + 20 for n.
-4
Suppose 2*j = 5 + 1. Let q be 8 + (0 - j) + -1. Solve -q*o + 5 = -7 for o.
3
Suppose 3*x = -0*h - 4*h + 26, 10 = 5*x. Suppose -5*b = 2*u + 23, 8*u = 4*u + b + 9. Suppose 0 = -11*r + 728 - 607. Solve 0 = h*t + r - u for t.
-2
Let v(o) = 3*o + 10. Let a be v(0). Suppose c + a - 14 = 0. Solve c*l = 3*l - 1 for l.
-1
Suppose -n = 3 - 4. Suppose n + 9 = 2*o. Solve 0*i = o*i for i.
0
Let m(r) = -r - 7. Let z be m(-10). Let u be z - (-1*4)/2. Let c = 0 - 0. Solve u*g = -c*g + 15 for g.
3
Suppose -5*s + 12 = -5*l - 18, -16 = 4*l. Solve -s*j - 1 = -5 for j.
2
Let v(g) = -g**2 - 3*g + 60. Let w be v(0). Suppose -2*t + w = t. Solve 5*a - t = -0*a for a.
4
Let p(i) = i + 2. Let w be p(3). Let h(m) = -m + 9. Let v be h(w). Suppose -c = c - 2. Solve z - c = -v for z.
-3
Let d = 16 - -17. Let v be (d/6 - 3)*2. Suppose -2*t - 2*l - 6 = -38, -t - 3*l = -8. Solve 0*m - t = v*m for m.
-4
Let g(m) = -3*m + 6 + 6*m - 5*m. Let r(y) = y - 7. Let h(k) = 2*g(k) + 3*r(k). Let t be h(-9). Solve -3*j - 12 = -t for j.
-4
Let c = 7 + -6. Let m = 1 - c. Solve -4*a - a = m for a.
0
Let a(b) be the third derivative of 0 - 1/6*b**3 + 0*b + 1/24*b**4 - 2*b**2. Let v be a(6). Solve 0*g + v*g - 5 = 0 for g.
1
Let u be ((-8)/20)/((-1)/10). Solve -3*x + 16 = u for x.
4
Suppose 5*a = -2*t + 29, -4*a = 4*t - 9*a + 17. Suppose 2*o = o + t. Solve -o*p = p + 15 for p.
-5
Let m(l) = l - 7. Let g be m(7). Let h be (1/(-3))/(4/(-24)). Suppose 28 = r + 4*r - 2*z, g = -r - h*z - 4. Solve r*s + 22 - 2 = 0 for s.
-5
Let h = -17 - -19. Solve h*z + 2*z = 0 for z.
0
Let m = -5 + 5. Let s be -3 - m - (1 + -6). Solve 5*q + 12 = s for q.
-2
Let c = -1 + 3. Let t(s) = -s**3 + 20*s**2 + 20*s + 26. Let x be t(21). Solve -7 + c = -x*j for j.
1
Let a = -9 + 16. Suppose 0 = 5*n - 7 + 27. Let b = n + a. Solve 1 - b = -g for g.
2
Let f be -4 + 6 - (2 + -1). Let l be 5 + -3 - (1 + f). Solve 2*d - d = l for d.
0
Let v(x) = -3*x**3 + x**2 - 3*x + 2. Let d be v(2). Let p be (d/(-30))/((-4)/(-10)). Solve p*n + 1 + 1 = 0 for n.
-1
Let i = -682 - -697. Let u = -2 - -8. Solve 0 = u*k - k + i for k.
-3
Suppose 6*d = -5 + 17. Solve 0 = -5*z - 17 + d for z.
-3
Let r(s) = s**2 - 8*s + 5. Let c be r(6). Let k(f) = -2*f - 7. Let y be k(c). Let o = y - 7. Solve 6 = 3*i - o for i.
2
Let l be ((-12)/(-4))/((-2)/(-4)). Solve 3*q + 3 = -l for q.
-3
Let f be 0 + 2 + -3 + 1. Suppose f*s - s = 0. Solve 5 = -s*t - t for t.
-5
Let g(d) = 5*d - 3*d - 3*d - 5. Let a be g(-5). Suppose 0 = -2*s - s. Solve a = -s*r - r for r.
0
Let p(u) = -u**2 + 6*u + 7. Let l be -3 - (-7)/(14/20). Let a be p(l). Solve 3*m + m + 12 = a for m.
-3
Suppose 4*w = 5*o - 4*o + 5, -3*w - 4*o = 20. Let h be 10/(-4) + 2/(-4). Let u = h + 5. Solve u*s + 6 = -w for s.
-3
Suppose -2*n - 2*y = -0*n - 12, -4*y - 6 = -n. Solve 2 = 2*i - n for i.
4
Let r(o) = o**2 + 6*o. Let h be r(-10). Suppose h = 5*q - 0*q. Let l(c) = -c**3 + 8*c**2 + c + 2. Let m be l(q). Solve 0*d - m = 2*d for d.
-5
Let b be 2/(-4)*-2*0. Suppose -3*t + 5*f + 38 = b, -2*t - 5*f = -4*t + 32. Suppose -t*y + 10 = -y. Solve n = -1 - y for n.
-3
Let p be -2 + -1 - (-15)/((-75)/(-140)). Let y = -4 + 8. Solve -y*b - b = p for b.
-5
Suppose 2*p - 3 - 29 = 0. Suppose p = 6*v + 4. Solve 4*l = v + 6 for l.
2
Let d(a) be the third derivative of a**5/60 - a**4/2 + a**3/2 - a**2. Let c be d(12). Suppose -9*k + 3 = b - 4*k, 2*k + 15 = 5*b. Solve 0*u = b*u + c for u.
-1
Let r(a) = 0*a**3 + 3 + a**3 - 4 + 3. Let f be r(0). Solve f*t - 6 = 5*t for t.
-2
Suppose 3*o - 10 = 4*l, -o + 7 = -3*l + 2. Suppose -k + 0*k = -o. Solve -k*z + 2 = -3*z for z.
-2
Let s(g) = 3*g**2 - 11*g - 3. Let w(z) = 4*z**2 - 12*z - 2. Suppose -4*v + 11 = -9. Let o(x) = v*s(x) - 4*w(x). Let r be o(-5). Solve -r*m - 10 = -5*m for m.
5
Let r be -32 - (-1)/1 - 0. Let h be r/(-3) - 4/(-6). Let j(y) = -2*y**3 + 39*y**2 - 16*y - 54. Let k be j(19). Solve 4 = -k*f - h for f.
-5
Let x = -16 + 18. Solve -a = -x*a - 4 for a.
-4
Suppose -2*p = -4*y, 0*y = -y. Solve p = -5*r - 10 - 15 for r.
-5
Suppose 3*p - 5*p = -8. Suppose -v = -p*v. Solve v*z + 6 = -2*z for z.
-3
Let t(k) = -k - 1. Let u(y) = -y - 9. Let f(s) = -3*t(s) + u(s). Let j be f(6). Suppose 0 = 5*g - 3*g - j. Solve -5*q + 4 = -g*q for q.
2
Suppose 0 = t - 4*t - 2*y - 2, 2*y + 2 = t. Solve t = -0*k - 3*k + 3 for k.
1
Let k(j) = 9*j**2 + 2*j + 1. Let h be k(-1). Suppose 3*b - 6 = 5*p, 0 = -2*p + 3*b - h + 2. Solve p = 2*n - 6 - 2 for n.
4
Let q(j) be the second derivative of -j**4/12 + 7*j**3/3 + 3*j**2/2 + 8*j. Let x be q(14). Solve 0 = -m - x - 1 for m.
-4
Suppose 0 = n - 5, -3*n = -4*a - 5 - 10. Solve 3*q - 5*q + 8 = a for q.
4
Suppose -5*h + 10*h = -5*m + 30, 2*h = -4*m + 12. Let j(s) = -s**2 + 7*s - 1. Let v be j(h). Solve w = v*w - 4 for w.
1
Let j = -5 + 5. Solve j = -u + 1 - 5 for u.
-4
Suppose -4*c - 11 = 5. Let s = c - -9. Solve 2*x = -1 - s for x.
-3
Let q be (-18)/6*(-4)/3. Let x be q + (-1 - -2)*1. Let v = 0 + x. Solve -v*o = -o - 20 for o.
5
Let u be (-1)/(-3) - (-28)/6. Suppose u*v = 5*x, x - 1 = 2. Solve -4*m = -v*m + 2 for m.
-2
Let c(x) = x**3 - 2*x**2 - 5*x. Let v(g) = -5*g**3 + 8*g**2 + 21*g - 1. Let y(z) = 9*c(z) + 2*v(z). Let k be y(-2). Let n = 6 - k. Solve 3*w - w + n = 0 for w.
-1
Suppose 3*u - 15 = -4*v + v, 12 = 4*u - 4*v. Solve 0 = -c - 3*c + u for c.
1
Let s(z) be the third derivative of 0 - 4/3*z**3 + 3*z**2 - 1/24*z**4 + 0*z. Let y be s(-10). Solve 0 = 3*r + y - 14 for r.
4
Let g be 3 - 12 - 4/(-2). Let t = 9 - g. Suppose 3*n - t = -n. Solve -n*r + 5 = 17 for r.
-3
Suppose -6*i + 17 - 5 = 0. Solve 6 = 4*s + i for s.
1
Suppose 0 = -5*r + 2*s + 21, -5*r - 3*s - 2*s = 0. Let d be -1*0*r/9. Solve d = 2*x - 4*x + 6 for x.
3
Suppose 4*b - 18 = -6. Let q be (6/(-10))/(b/(-15)). Solve q*t = 4 + 2 for t.
2
Let k = -123 + 126. Solve 1 = -k*p + 13 for p.
4
Suppose -4*w = w. Let c be -3 + w - (0 + -7). Solve -2*n - c + 0 = 0 for n.
-2
Let m(t) = 2*t + 3. Let o = -42 - -61. Let a = o + -13. Let g be m(a). Solve -3*p = -0*p - g for p.
5
Let a = 6 - 1. Solve -2*w = 3 + a for w.
-4
Suppose -4*n = 16, -s + 36 = s - 5*n. Let r(x) = -8*x + 12. Let h(a) = -15*a + 24. Let t(o) = -6*h(o) + 11*r(o). Let c be t(s). Solve 3*f - c = -f for f.
1
Let a = 4 - 3. Suppose 0 = t + 5*v + 17, -2*t + 5*v - a = -27. Suppose 3*i + 48 = 3*n, 4*i + 68 + 15 = 5*n. Solve t*m + n = 4 for m.
-5
Let x(v) = -v**2 + 8*v + 2. Let q be x(6). Let g be 19/(-57) + q/6. 