-3). Let j = -23 + p. Solve -5*h + 0 = -j for h.
4
Suppose 2*f = 2*p + 6, f + 4*f = -p + 15. Let z = 1 - p. Solve -5 - z = 2*b for b.
-3
Let n be 4/10 + (-18)/(-5). Suppose -4*g - g = 0. Solve g = -3*z + n*z for z.
0
Let x(t) = -t**3 + 5*t**2 - t + 2. Let z be x(5). Let p = 1 - z. Suppose 0*l + l = 5*n + 20, 5*l + n = -p. Solve 7*v - 3*v - 16 = l for v.
4
Suppose 2*x + 3*u = 18, 3*u + 0*u = -x + 15. Suppose 2 = x*z - 1. Solve -4 = -y - z for y.
3
Let m be 6 + -4 + 0 + 3. Let y be 1/4 - (-69)/12. Solve -y = -m*v + 9 for v.
3
Let u = 9 + -6. Suppose -u*b + b = -4, -16 = -2*g - 5*b. Solve 0 = -3*n + 2*n + g for n.
3
Let q = 26 + -24. Solve q*g + 2 + 6 = 0 for g.
-4
Let u(y) = 3 + 0*y**3 - 7*y**2 - y + 2*y**2 + y**3. Let w be u(5). Let x be ((-2)/(-4))/(w/(-12)). Solve x*n = -2*n for n.
0
Suppose -q - 27 = -5*c, -4*q - 31 = q + c. Let n = 7 + q. Solve 6 = -2*v - n for v.
-3
Let p be 2/12 - (-115)/30. Solve p*t + 0*t = 0 for t.
0
Suppose -x - 3*x = -24. Solve x*k = k + 15 for k.
3
Suppose 2*m - m = 2*j + 8, 2*m + j - 1 = 0. Let c be m/(-4) + (-65)/(-26). Solve 0*w = -c*w - 2 for w.
-1
Suppose -3*h + 2*h - 1 = 2*y, -h = y + 3. Suppose 0 = 4*m - 2*m + 4. Let o be ((-5)/m)/(4/8). Solve 5 + o = y*v for v.
5
Suppose -2*o - 2 = -4*o. Let z be -2 + 0 + 1 + o. Solve z = 2*y + 2*y - 12 for y.
3
Let a be (-10)/(-4)*16/60*3. Solve 0 = 5*t - a - 18 for t.
4
Let d(a) = -a - 5. Let w be d(-10). Let l be (6/(-4))/((-2)/16). Solve -2*s = -w*s - l for s.
-4
Let n(a) = -a**2 + 3*a + 3. Let z = -17 - -20. Let q be n(z). Solve 2*h + q*h = 20 for h.
4
Suppose -11*v = 14 - 36. Suppose -4*t - t + 150 = 0. Suppose 0 = -7*a + 4*a + t. Solve -a = 2*c - v for c.
-4
Let i be (3 + -4)*(-5 + 4). Solve 3*g = 2 + i for g.
1
Let x be ((-9)/6)/(9/(-42)). Suppose 5*g = 5*r + 15, -x = -2*g + r - 1. Suppose -g = -2*n + 7. Solve -n*f - 1 = -6 for f.
1
Let g(p) = p**3 - 5*p**2 - 9*p + 10. Let z be g(7). Suppose 5*u - 65 = 3*j, 3*u = 5*u - 5*j - z. Solve 10*w + u = 5*w for w.
-2
Let n = 10 - 14. Let z be (-172)/(-22) - n/22. Solve 3*r = -4 - z for r.
-4
Let f(k) = 2*k**3 + 4*k**2 + 4*k + 3. Let r be f(-2). Let o(g) = -g**3 - 4*g**2 + 4*g - 2. Let v be o(r). Suppose p + v*p = 48. Solve 0*x + p = 3*x for x.
4
Suppose 22 = -5*o + 3*l, -5*o + 17 = -5*l + 47. Let q(j) be the first derivative of 2*j**3/3 + j**2/2 - j + 6. Let u be q(o). Solve 0*r = u*r for r.
0
Let x(l) = -l**3 - 3*l**2 + 5*l + 5. Let b be x(-4). Let v = 10 - 7. Solve b = d - v for d.
4
Let t(j) be the first derivative of j**2/2 - 5*j + 5. Let k be t(8). Solve d + 12 = -k*d for d.
-3
Let c be -6*((-165)/(-18))/(-11). Solve 3*j = c*j + 8 for j.
-4
Suppose 0 = 4*j + g - 19, j + 3*g + g - 1 = 0. Suppose -3*s = -4*s. Let c be (30 - s)*(-2 + 3). Solve -c = -5*r - j for r.
5
Suppose 4*g = -g - 50. Let n = g + 18. Suppose -d - n = -2*d. Solve 3*y + 7 = -d for y.
-5
Let h be (-86)/(-6) + 20/30. Let j(u) = -u**2 + 6*u - 5. Let y be j(4). Suppose -3*t = -3*b + 12, 2*t = 2*b - y*t - 5. Solve -b*g = -0*g - h for g.
3
Let z be (21/(-28))/(1/(-4)). Solve -x + z*x = 4 for x.
2
Let c(p) = p + 6. Let l be c(-7). Let o be 2 + (-2)/(l - 1). Let m = -10 + 10. Solve o*q + 6 = -m*q for q.
-2
Let y = 1 + 25. Suppose -2*w + 2*l + 2 = 0, 0 = -5*w - 4*l + y + 6. Solve c - 10 = -w*c for c.
2
Let c = -24 + 31. Solve 0 = 2*z + c + 1 for z.
-4
Suppose -3*x = -0*x - 21. Let k(j) = -j**3 - 7*j**2 - j - 6. Let b be k(-7). Solve 2*n - x = b for n.
4
Let n = 8 - 5. Suppose -2 - 7 = -n*j. Let s be ((-3)/(-9))/(j/18). Solve 0*x - 8 = -s*x for x.
4
Suppose 3*h - 42 = -3*y - 9, -3*y = -5*h - 33. Solve -1 = 2*w - y for w.
5
Suppose 2*f + 0*n + 37 = 5*n, n = 3*f + 23. Let p(j) = j**2 + 7*j + 8. Let m be p(f). Let i(u) = u + 2. Let y be i(m). Solve 10 = y*g + g for g.
2
Let h be 21/(-12) + (-1)/4. Suppose -17 = -2*s + 3*t, -2*s + s - 5*t = 11. Let i = h + s. Solve 0 = -i*b - 6 - 2 for b.
-4
Let z be (-32)/(-6)*3/2. Let o(n) = n**3 + 4*n**2 - n - 5. Let d be o(-4). Let c(g) = g**2 - 1. Let h be c(d). Solve h = -0*a + 4*a + z for a.
-2
Suppose -3*q + 15 = 3. Solve 0 = q*u - 18 + 6 for u.
3
Let i = 0 - -1. Let j(q) = q**3 + 7*q**2 + 7*q + 6. Let n be j(-6). Let r be i - 2/(2 - n). Solve -4*g + g = r for g.
0
Let i be ((-12)/(-21))/((-20)/(-70)). Solve 0 = 3*h + 1 + i for h.
-1
Suppose 0*q = q. Solve -3*k - 15 = -q for k.
-5
Let u = 88 + -70. Solve -u = -3*a - 6 for a.
4
Suppose -b = -3*b. Suppose 0 = -3*a + w - 3*w, a - 3*w = 11. Solve b = -2*s - 0 + a for s.
1
Let p = -150 - -154. Solve p*y - 2 = 3*y for y.
2
Let i(z) = -z + 1. Let l(p) = 4*p - 5. Let f(n) = 5*i(n) + l(n). Let v be f(-2). Suppose -2 = c, 2*u = -0*u + v*c + 10. Solve -u*y + 15 = -8*y for y.
-3
Suppose 20 = 4*y, 0 = 5*c + y - 26 + 1. Let b = -3 - -3. Suppose b*i = 4*i - 5*o - 12, 5*i - 15 = 5*o. Solve -c*h = -i + 11 for h.
-2
Suppose 2*q + 4 - 8 = 0. Solve -q*k + 5 = -3*k for k.
-5
Suppose -4*k = -k. Solve 0*f + 4*f = k for f.
0
Suppose 3*g - 1 = 2. Let n be (1 - 2)/(-1) + g. Solve -3*u + 5 = n for u.
1
Let b = -9 + 9. Suppose -f = -b*f. Solve f = -4*c + 11 - 31 for c.
-5
Let k = 4 - 5. Let i = 2 + k. Let x = 3 + i. Solve 0 = -x*d - 16 - 4 for d.
-5
Suppose 0 = -2*n - 2*n + 12. Let l = n - 1. Solve 6*k - 8 = l*k for k.
2
Suppose 4 = -6*n + 34. Solve -20 = n*x - x for x.
-5
Let k(p) = -2*p + 13. Let j be k(3). Solve 4*r + j = -5 for r.
-3
Suppose 2*c + 2*a = c + 2, 0 = 3*c + 2*a + 2. Let p be 0/8*c/4. Suppose p = -5*w + 4*w. Solve w*t = -5*t - 25 for t.
-5
Suppose 4*n = q + 24 - 3, -q - 1 = 0. Solve 1 - n = -4*d for d.
1
Suppose 5*i - 8*i = -15. Solve -3*g + i = -4 for g.
3
Let c(b) be the third derivative of b**4/24 + 5*b**3/3 - 2*b**2. Let i be c(-6). Solve -i = 3*n + 2 for n.
-2
Let x = -29 - -32. Solve 0 = -x*a - a + 8 for a.
2
Suppose -17 = -5*l + f, 26 = 5*l + f + f. Suppose 0 = y - 3*t - 15, l*y - 5*t = -3*t + 20. Solve y*n - 4*n - 3 = 0 for n.
-3
Let c = 44 + -41. Solve c*n = n + 8 for n.
4
Let v(l) = 2*l - 10. Let b be v(6). Let f be 4/b - (-45)/15. Solve -f*s + 3 = -4*s for s.
3
Suppose 4*d = -8 + 36. Solve 3*t + d = -8 for t.
-5
Let j(d) = -3*d - 20. Let z be j(-8). Solve -z = 5*l + 1 for l.
-1
Let m(a) = -a**2 + 12*a - 10. Let x be m(7). Let v = 4 - 4. Suppose v = 4*c - 9 - 3. Solve -2*y + x = c*y for y.
5
Let m(a) = 7*a + 56. Let z be m(-8). Solve z = 3*j - 6*j for j.
0
Let p be ((-3)/2)/(3/(-22)). Let n = p + -6. Solve n*o - 12 = 2*o for o.
4
Let a be 6/(-12) - 15/(-2). Suppose -a*t + 3*t = -f + 20, 5 = -t. Suppose 20 = -f*z + 2*z. Solve 2*u - z + 2 = 0 for u.
4
Suppose 5*k - 3*a = 13, 5 = -2*k + 4*k - a. Solve -k*l + 1 = 5 for l.
-2
Let i = 17 + -8. Suppose -8*o + 3*o = 205. Let u = -17 - o. Solve -u = 3*a - i for a.
-5
Let g(n) = n**2 - 7*n + 8. Let t be g(6). Let p(b) = -2*b - 7 + t*b**2 + 2*b**2 + 1 + 2 + b**3. Let h be p(-4). Solve 0 = -3*z + h + 5 for z.
3
Let f = -2 - -2. Suppose u = 5*t - f*u - 29, -4*t + 3*u = -21. Suppose -z = -5*v + 5, -2*v - 2*z - 10 = -4*v. Solve -2*s + v - t = 0 for s.
-3
Suppose -3*w = -2*w - 2*k - 12, -k - 42 = -5*w. Solve -2 = 2*m + w for m.
-5
Suppose -5*n = 5*f + 40, 3*n + 17 = 4*n - 4*f. Let h be (0 + 1)/(n/(-9)). Suppose 0 = 3*u + 4*v - 20, -u - 4*u + v + 41 = 0. Solve u*w = h*w for w.
0
Let q(v) = v + 22. Let w be q(-10). Suppose 0 = 5*i - 3 - w. Solve -i = 3*s + 3 for s.
-2
Let q = -124 + 124. Solve 7*h - 2*h - 25 = q for h.
5
Let r(a) = a**2 + a + 2. Let t(h) = -h**3 + 6*h**2 + 6*h + 5. Let c be t(7). Let u be r(c). Suppose 0*y = -u*y. Solve -1 = -y*g - g for g.
1
Suppose 3*y = s, 2*y = -y - 2*s. Suppose -5*a + 5*j - 10 = 0, -5*a - 2*j - 42 = j. Let r be (y + -3)*32/a. Solve -r = 2*z - 6*z for z.
4
Suppose 3*y = 5 + 10. Suppose -w = -y*w - s + 32, -3*s = w - 8. Suppose -20 = -2*n - 2*n. Solve -n*u - w = -u for u.
-2
Suppose 0*s + 5 = s. Suppose s*f = 15 - 5. Solve 0*b = f*b for b.
0
Suppose -4*j + 36 = 12. Solve 2*p - j*p + 4 = 0 for p.
1
Let c = 230 - 210. Solve -2*w - 3*w = -c for w.
4
Suppose 5*a - 1 = j - 2, 3*a - 30 = 4*j. Let h be j/(-5) - (-1)/5. Solve -4*o + h*o = 0 for o.
0
Let k be (-4)/12*-3 - -2. Suppose 0 = -s + 2*f - 7*f - 22, 0 = 3*s + k*f + 6. Solve 0 = -s*d + 5*d for d.
0
Let l be ((-88)/(-24))/(2/6). Solve l*f - 7*f - 8 = 0 for f.
2
Suppose -20*u - 11*u + 155 = 0. Let l(r) = r - 3. Let v be l(3). Solve u*b + 1 + 9 = v for b.
-2
S