2 - 4*u + 3. Let z be o(2). Suppose 3*c - 16 + 4 = 0. Suppose -z*k + c + 5 = 0. Solve -k*t - 4 = 5 for t.
-3
Let y be (-10)/(-2)*8/20. Suppose -g + 4 = -2*f, -y + 6 = -f + g. Suppose t - s - 6 = -t, -t = -3*s + 7. Solve t*w = 5 - f for w.
1
Let z(s) = 3*s**3 + 21*s**2 + 7*s. Let i(a) = a**3 + 7*a**2 + 2*a. Let x(m) = -8*i(m) + 3*z(m). Let d be x(-4). Solve 5*k = -d + 3 for k.
-5
Let v(c) = -1 - 2*c + 0 + 2*c**2 + 0. Let a be v(2). Let x be (-4)/(-6)*(0 + a). Solve -b = -x*b + 1 for b.
1
Suppose 0*b + 2*b = 8. Suppose 0*w = 2*w - 2. Solve w = -o + b for o.
3
Let u(n) = 4*n**3 + 2*n**2 - 2*n + 1. Let x be u(1). Suppose -x*l + 4 = -4*l. Solve 27 = -l*k + 7 for k.
-5
Suppose 0 = 4*y - 3 - 1. Suppose -3*f = -7*f + 4. Solve -k - f = y for k.
-2
Let d(i) = i**3 + 4*i**2 - 5*i - 4. Let r be d(-4). Suppose 2*s + o + 0*o = 10, 0 = -4*o + r. Solve -2*f - 15 = s*f for f.
-3
Suppose 0 = -5*u + 2*d - 36, -33 = 4*u - d - 6. Let c be -2*(-3)/u*-2. Let w be (1 - 0 - c) + 17. Solve 3*l - w = -l for l.
4
Suppose -a = -l + 3 - 4, 3 = -4*a - 3*l. Solve a = 5*p + 5 - 25 for p.
4
Suppose 5*l = m + 8, 3*m + 8 = 5*l - 6. Suppose 0 = -2*i + 3 + l. Solve -3 = -v + i*v for v.
-3
Suppose -2*y + 0 = -6. Solve -3*i - y = -0 for i.
-1
Let m = -1 - 8. Let c be m/(-12) + (-4)/(-16). Solve -3 - c = -z for z.
4
Let a(o) = -o**2 - 23*o + 55. Let y be a(-25). Solve -3*w = -1 - y for w.
2
Suppose -3*x + 15 = f, 5*x - 5*f - 9 = -4. Solve -2*c = -c + x for c.
-4
Let r be ((-2)/(-4) - 2)*(-8)/6. Solve r*i - 3 = 5 for i.
4
Let n(x) = -x**2 - x - 13. Let m = 0 + 0. Let b be n(m). Let u = 18 + b. Solve u*d = 5 - 0 for d.
1
Suppose 0*o + 4 = 2*o + 3*d, -d = 0. Solve 0*l = l + o for l.
-2
Let m = -8 + 33. Let t(o) = o**3 - 6*o**2 - 4. Let p be t(6). Let n be 0 - -5 - (p - -5). Solve y = -n*y + m for y.
5
Let f(h) = h**3 + 6*h**2 + 4*h. Let t be f(-5). Suppose 2*w + 9 = t*w. Solve -w*s + 2*s + 2 = 0 for s.
2
Suppose -4*y = -3*r + 22, 0 = -5*r - 2*y - 0 + 2. Suppose 3 + r = 5*v. Let u(h) = -h**2 - 4*h + 2. Let t be u(-4). Solve -v - 1 = t*p for p.
-1
Suppose -5*n - 7 = -o - 3*n, 3*n = -3*o + 21. Solve 3*z = o - 4 for z.
1
Let o be ((-195)/(-9) - 6) + 2/(-3). Solve -3*n = 2*n + o for n.
-3
Let k(o) = -o**2 - 5*o + 7. Let m be k(-6). Let q be (9/6)/(m/2). Solve -q*w - 3 = -6*w for w.
1
Let w = -16 + 21. Solve -u = -w - 0 for u.
5
Let r(f) = -f**3 + f**2 + f + 3. Let x be (-4)/(-14) + 2/(-7). Let m be r(x). Suppose m = -3*s + 15. Solve 0 = 2*l + 2*l + s for l.
-1
Let s = 3 + -1. Suppose -3*q = 14 - 38. Suppose -s*d = -2 - q. Solve -d*b - 10 = -5 for b.
-1
Let d(n) = -n**2 - 5*n - 4. Let y be d(-4). Solve y = -2*x - 2 + 4 for x.
1
Suppose 5*g - 9 = -3*h, -h + 9 = g - 4*h. Solve -g*r = r - 20 for r.
5
Suppose -5*p - 5*g + 30 = -0*p, -4*p + 27 = 5*g. Let d be (1 + (-4)/p)*-39. Suppose -4*h - 3*a + 5*a = -26, 3*h + 5*a = -d. Solve 5*m + h = 6*m for m.
4
Let d = -5 - -6. Suppose -z + 0*z = -5. Suppose z*s - 2*i + d = 11, 4*i = 3*s + 8. Solve 5*r + 3 = s*r for r.
-3
Let u be 18/(-12)*4/(-6). Let i = 5 - u. Solve -f + 20 = i*f for f.
4
Suppose 82*o = 81*o + 2. Solve 5*k - o*k = 3 for k.
1
Let b = -8 - -8. Solve 0 = -5*c + 5 - b for c.
1
Let w(j) = j**3 + 14*j**2 - j - 10. Let m be w(-14). Solve -5 = m*g + g for g.
-1
Let q = -42 - -47. Suppose t = 2*l + 2, 2*t = -3*t + 10. Solve 10 = -q*k - l*k for k.
-2
Let f(m) = 2*m - 7. Let t be f(5). Let w be (-6)/(-2) - (t - 1). Let y be 1 + 2 - (-2 + w). Solve s + 9 = y*s for s.
3
Let j be -1*2 + 60/10. Solve 1 = -5*f - j for f.
-1
Suppose f + 1 = 3*d - 0, 3*f + 4*d = 10. Solve s - f = 3*s for s.
-1
Let r(p) = 2*p. Let i be 4/6*-3 + -6. Let s be r(i). Let d be s/10*(-5)/2. Solve d + 0 = k for k.
4
Suppose 3*o + 2 - 3 = 5*i, 3*i + 18 = -4*o. Let v(p) = p**2 + 1. Let z be v(i). Suppose -18 = -3*w - 3*u, 2*w + z*u + 14 = 38. Solve -4*m + w*m = 0 for m.
0
Suppose -4*o - 2*o + 36 = 0. Solve -5*x + 4 + o = 0 for x.
2
Suppose -4*g = -g - 6. Suppose -4 = -g*c + c - i, 12 = -3*c + 3*i. Solve -2*q - 1 - 1 = c for q.
-1
Let u = -4 + 10. Solve j + u = 3*j for j.
3
Let t(y) = y**3 + 6*y**2 + y + 8. Let c be t(-6). Solve 5*l - 12 = c*l for l.
4
Suppose -c = -j + 4*j - 13, -2*c + 23 = 5*j. Let x = 17 - c. Suppose -x = -2*d - 3. Solve -d*f = 14 - 4 for f.
-2
Let t = 4 - 2. Suppose -4*n + 3*n = 2*j - 13, t*n - 10 = 4*j. Solve -3*a - n - 3 = 0 for a.
-4
Let h(w) = w + 24. Let l be h(-24). Let c(y) = y**2 - 6*y + 4. Let i be c(6). Solve l*t - i*t = 0 for t.
0
Suppose 3*h = 2*h + 5. Let m = 24 - 36. Let q = -8 - m. Solve -1 = -q*b - h for b.
-1
Suppose 13*p = 17*p - 48. Solve 8*h - 12*h - p = 0 for h.
-3
Let j(s) = -4*s - 4. Let m = 14 - 17. Let i be j(m). Solve t + i = 3*t for t.
4
Let z = 8 + -3. Suppose -g - 2 = -z. Suppose -w = -g*w + 6. Solve 0 = -2*h + w*h + 2 for h.
-2
Let a = -1 - -1. Let x = a - -4. Solve 2*t - t + x = 0 for t.
-4
Let v(t) be the first derivative of t**3/3 - 3*t**2 + 4*t - 10. Let g be v(6). Solve 1 = -g*o + 5 for o.
1
Let p(c) = c**2 - 7*c + 6. Let w be p(6). Suppose -4*r = -w*r. Solve r = i - 4 for i.
4
Suppose 3*f + 15 = 3*i + 4*f, -7 = -i - f. Solve 0 = 2*n + i for n.
-2
Let i(c) = -c + 8. Let d be i(6). Suppose 0 = 2*a - d - 2. Solve 7*o = a*o for o.
0
Suppose 0*x = 5*x + 50. Let p = 13 + x. Solve -w = 2*w - p for w.
1
Let l be ((-2)/1)/(3/(-18)). Suppose -3*a = a - l, 4*v + 2*a = 30. Let k = 3 + -2. Solve -v = -5*z - k for z.
1
Suppose 0*o - 3*o = -3*i, 3*i + 8 = 5*o. Suppose 2*g = o*g. Solve 8 = 2*p - g*p for p.
4
Let n(z) = 4*z + 12. Let u be n(0). Solve 0*p + u = 4*p for p.
3
Let q(i) = -2*i + 3. Let b(m) = -m - 1. Let t(l) = -b(l) + q(l). Let y be t(0). Suppose 2*j = y*j. Solve w + j = 2 for w.
2
Let b = -92 - -103. Solve -9 = b*k - 14*k for k.
3
Suppose -2*m - 5*f = -45, -2*m - 5*f = -2*f - 35. Suppose m = 2*x + 3*x. Solve 7 = 3*h - x for h.
3
Let h be ((-6)/(-9))/(4/18). Suppose -i = -0*i - 3*z - 16, -h*z - 24 = -3*i. Let o = 7 + -3. Solve i*l + o = -4 for l.
-2
Suppose -2*v - 2*v = 4*l + 24, -30 = 5*v - 4*l. Let o = 66 + v. Suppose -4*b - b = -o. Solve 13 = 5*k - b for k.
5
Suppose -3*f - 13 = -106. Let c = -15 + f. Solve 1 = 5*r + c for r.
-3
Let y = 10 + -5. Let z be 2/y - (-26)/10. Solve -1 = z*o + 5 for o.
-2
Let n = -1 + 3. Let f be 29/n + 1/2. Solve 0 = 4*g - 1 - f for g.
4
Let r = -7 + 17. Let a be (3 - r/4)*18. Solve a = -3*p + 21 for p.
4
Let d be 6 + -2*(-6)/4. Suppose 3*m + 1 + 2 = 0. Let q = m - -5. Solve -q*o = -d + 1 for o.
2
Suppose 3*m + 7 = 4*m. Let l = m + 3. Solve 0 = -3*o - 2*o + l for o.
2
Let d(t) = t + 4*t - 2 - 6*t. Let y = -22 + 17. Let q be d(y). Solve q + 2 = u for u.
5
Let q(d) = d - 4. Let f be q(6). Let k = -2 + f. Suppose -v = -5*n - 0*n + 64, 2*v + 8 = 0. Solve k*j + n = -4*j for j.
-3
Let t be 2*2/4*5. Suppose 3*s + 0*k + 16 = t*k, -k + 2 = -s. Solve -4*n = -9 - s for n.
3
Suppose 0 = 2*q + 3*q + 35. Let w be (2/1)/((-2)/q). Let x = 2 + w. Solve 8*a - x = 5*a for a.
3
Suppose 0 = 3*s + 3*h + 21, 1 + 1 = -2*h. Let v(a) = a**2 + 7*a - 5. Let q be v(s). Let t = q - -15. Solve -t*n - 5 - 11 = 0 for n.
-4
Let y be (-3)/(-6)*2*(4 - -1). Solve y = -2*d - 5 for d.
-5
Let u be 4*(-1)/(-12) - (-34)/6. Solve -u*p = -p for p.
0
Suppose 3*n = 4*n + 3*q - 2, 3*n = -3*q. Let l(i) be the second derivative of -10*i**3/3 - i. Let f be l(n). Solve -2*h = 2*h - f for h.
5
Let w be (-75)/45*12/(-10). Solve -3*z - 8 = -w for z.
-2
Let i be 4/(-14) + 120/(-21). Let s(u) = -u**2 - 7*u - 5. Let y be s(i). Solve 0 = 2*w - 7 - y for w.
4
Suppose -5*y = -10*y + 10. Solve -y*x - x = -3 for x.
1
Let d be 34/(-10) - 6/(-15). Let s = d - -6. Solve s = 3*z - 0 for z.
1
Let b = -33 - -40. Solve -5*v + b = -3 for v.
2
Let t(m) be the third derivative of m**6/120 + m**5/6 + m**3/2 + 3*m**2. Let z be t(-10). Solve -2*r + z - 1 = 0 for r.
1
Let q be (-1)/(-4)*6*(-252)/(-54). Solve q*l - 3*l = -20 for l.
-5
Suppose -7*v = -6*v - 2. Solve -10 = -v*f - 0*f for f.
5
Suppose u = -4*u + 15. Solve -u*j = -4 - 5 for j.
3
Let k(j) be the third derivative of j**4/24 - j**3/3 + j**2. Let v be k(2). Solve c - 5 + 0 = v for c.
5
Let h = 29 - 29. Solve h = 2*n + 2*n for n.
0
Let r(u) = -u**2 + 5*u - 1. Let s be r(4). Suppose 4*b - s*x + 19 - 60 = 0, 5*b - 5*x - 45 = 0. Solve b = -2*k + 4 for k.
-5
Let m = 231 + 25. Let y be m/10 + 10/25. Suppose 4*i + 10 =