u**3 - 5*u**2 + 2*u - 5. Let a be s(5). Solve a*f + 8 + m = 0 for f.
-3
Let t = 40 + -32. Suppose t = 5*b - b. Solve -b*w - 3 = -3*w for w.
3
Suppose 10*t - 5*t = 25. Suppose 3*r - 2*r + 18 = t*p, -2*r = -p. Let v(i) = i + 9. Let f be v(-9). Solve f*c + c = -p for c.
-4
Suppose 2*d = 4*n - 70, -4*n - 9*d + 13*d + 76 = 0. Let b(f) = f**3 - 2*f - 1. Let c be b(2). Solve -a + n = c*a for a.
4
Suppose -2*o = -5*o + 8*o. Suppose 0 = 5*l - 3*p - 75, o*l + 5*p = 3*l - 61. Solve -y - 2*y = -l for y.
4
Let j(n) = -5*n + 8. Let o be j(1). Solve -10 = -o*g - 4 for g.
2
Let d = 585 - 584. Solve 1 - d = 4*s for s.
0
Let r = -12 - -18. Suppose -2*s = -14 - r. Let b be 12/s - (-4)/(-20). Solve -3*x + 5 = -b for x.
2
Let v = 744 + -744. Solve v = -4*s - 6 + 22 for s.
4
Suppose 15 = 3*i - b - 19, -i - b + 6 = 0. Suppose 0 = 10*o + i - 30. Solve -o*r = 6 - 0 for r.
-3
Let y be (-1092)/63*(-27)/12. Solve -40*m = -y*m - 3 for m.
3
Suppose 0 = 87*z - 81*z. Solve z = -45*c + 47*c + 2 for c.
-1
Let d(t) = 2*t**2 + 2*t - 11. Let r be d(2). Solve -l = -2*l + r for l.
1
Let r be (-5 - -4) + 1 + -104. Let c = r - -110. Solve -2*t + 0 + c = 0 for t.
3
Let c be 406/8 + 0 + 27/(-36). Let g = 53 - c. Solve 0 = -8*j + g*j + 10 for j.
2
Let x = 266 + -262. Solve -3*a + 14 = x*a for a.
2
Let z = 110 - 107. Solve -4*h = z*h for h.
0
Let b(z) = z**3 - 2*z**2 + 3*z - 3. Let x be b(2). Let y = x + 0. Let t = 884 - 884. Solve t*j + 6 = y*j for j.
2
Let x be 19*(5 - 4) - -8. Solve -21 = 6*u - x for u.
1
Suppose 2*o + 9 = 3*z, -4*z - z + 4*o = -15. Let q = 3 - z. Solve 2*h + q*h = -6 for h.
-3
Let f = -385 - -406. Solve 0 = -8*p - f - 19 for p.
-5
Let m be (-220)/(-33) - (10/6 - 0). Solve 8*s + m = 3*s for s.
-1
Let k = -27 + 75. Solve 20*t = 8*t - k for t.
-4
Suppose 2*i - 4 = 2, 0 = -3*t - 2*i + 30. Let z be 14/t - (-2)/24*3. Solve -3*k = 14 - z for k.
-4
Suppose 3*h - 2*a = 11 + 14, -3*h + 4*a + 23 = 0. Suppose -4*n + 9 = -n. Suppose 6*b - n*b = h. Solve -5*q - 2 - b = 0 for q.
-1
Let c(s) = -s**2 + 6*s + 12. Let p be c(7). Suppose -4*u - 25 = -9*u. Solve -p*x - u = -4*x for x.
-5
Let i be (-78)/6 - (1 - 4). Let a = 15 + i. Solve -a = -j - 3 for j.
2
Let t = -117 + 120. Solve t*c + 3*c - 24 = 0 for c.
4
Suppose 6*t + t = 0. Suppose -28 = -4*n + 3*p, -2*n - 3*p = -t + 4. Solve -n*i + 17 = 1 for i.
4
Let m(s) = s**3 - 34*s**2 - 36*s + 40. Let q be m(35). Solve 0 = q*b - 22 + 12 for b.
2
Let y = -9 + -9. Let w = y + 1. Let m = w + 20. Solve -m*l - l = 20 for l.
-5
Suppose 2*w + 11 = 19. Solve -1 = -3*u + w*u for u.
-1
Suppose 9 = 8*v - 5*v. Suppose v*x - 4 = 5*x + 2*z, -2*z = -5*x + 4. Solve -5*c - 4 - 1 = x for c.
-1
Let o = 35 - 35. Suppose o = -4*b + 30 - 10. Solve b*l = 6*l for l.
0
Suppose 3*p - 4*s = -0*p + 26, -20 = -5*p - 5*s. Solve -5*k = p*k + 3*k for k.
0
Let h(b) = -b**3 - 10*b**2 - 6*b - 10. Let d be h(-9). Let a = 41 + d. Let w be 24/(-156) + (-212)/(-26). Solve w*y - 8 = a*y for y.
2
Suppose 0 = 4*c + 2*c - 24. Suppose -4*j + 11 = 3*z, -4*j + 2*j - 2*z = -c. Suppose 0*i = 3*i - t - 11, 0 = i + j*t + 23. Solve -i*n = n for n.
0
Suppose -2*s + 3*s - 2*a = 9, -4*s = a - 18. Let u(x) be the first derivative of -x**2 + x + 6. Let q be u(-3). Solve q = s*v + 2 for v.
1
Let n = 52 - 30. Let l be (-20)/(-3)*33/n. Solve 4*i = 2 - l for i.
-2
Suppose 229 - 73 = 13*s. Let g be 12/s - (-7 - -1). Solve 2*t + g = -3 for t.
-5
Suppose 0 = 9*l - 4*l - u - 185, 2*l - 74 = -5*u. Solve 40*q - l*q - 3 = 0 for q.
1
Let b = 1109 + -1097. Solve -4*g - 4 = b for g.
-4
Let z = -5 + 9. Suppose 2*b = -f - b - 6, 8 = 3*f - z*b. Suppose g = -f*g + 2. Solve 6*h = g*h for h.
0
Let j(c) = c**3 - 6*c + 3. Let y be j(0). Solve y = x - 2 for x.
5
Let s be 5/(-3 - -23)*0. Suppose -5*p + 29 + 36 = s. Let n = p + -13. Solve n = -y + 2*y for y.
0
Let s = -10 - -24. Let j be ((-4)/(-7))/(4/s). Suppose y + j*y = 0. Solve y = k + 3 + 1 for k.
-4
Suppose -2*d + 6 = -4. Suppose 4*t - d*w + 4 - 48 = 0, 2*t - w = 28. Suppose -18*g + 6 = -t*g. Solve -g*f + 1 = -5 for f.
2
Let j = 2637 + -2592. Solve 0 = 8*s + s + j for s.
-5
Let x(p) = p + 2. Let y(v) = 4*v - 12. Let m(c) = 4*x(c) + y(c). Let w be m(1). Solve 0 = -0*t + 2*t - w for t.
2
Let w(i) = -i - 11. Let h be w(-15). Suppose -y = -5*c + 3 + h, y + 4*c - 11 = 0. Solve 3*v - y = -0*v for v.
1
Let r = 174 - 171. Solve -63*j = -66*j + r for j.
1
Let t = 6 - 6. Suppose -4*k + t*m = -m - 26, 2*m = -4. Let o be k/9*(-6)/(-4). Solve 0 = -3*h - o + 10 for h.
3
Let g(y) = y**2 - 4*y - 5. Let v be g(5). Suppose -4*x + 10 = -r - 5, v = -x + 4*r. Suppose -2*u + 2 = 4*l + x, 2*u + 4 = -3*l. Solve 8 = l*h - 6*h for h.
-2
Suppose -3*h = 2*t + 5, -4*t - 3*h - 2*h - 7 = 0. Let n(c) = 4*c + 4. Let i be n(t). Suppose -i = -4*a + 8. Solve -a*g = -0*g for g.
0
Suppose 18*y - 11 = 79. Solve -y*g = -8*g + 12 for g.
4
Suppose 5101 = 134*f + 813. Solve 0 = 8*w - f + 72 for w.
-5
Let q be ((-9)/(-2))/3*2. Let p be (-1 + -6 + q)/(-2). Solve -7*g = -p*g - 20 for g.
4
Let w be 15*(24/9 - 3). Let z be 69/15 - 2/w. Suppose 9*g - 30 = 4*g - 4*c, z*g = -3*c + 30. Solve -10 = -x + g*x for x.
-2
Suppose 5*s + 5*y = 10*s - 605, 5*y + 236 = 2*s. Solve 0 = -l - 125 + s for l.
-2
Suppose 2*r = 6*r - 28. Suppose 0 = -9*c + r*c + 10. Suppose 0*y = c*y. Solve 3*j + y = 6 for j.
2
Let f be (3/(-9))/(3/(-18)). Solve 0 = 6*s - 16 - f for s.
3
Let i be 3 - (-2 + (1 - -4)). Suppose -40*y + 45*y - 75 = i. Suppose -5 = -g - 2. Solve 0*r = g*r + y for r.
-5
Let x = 233 - 210. Solve -x = 5*i - 3 for i.
-4
Let m be 5 - 4/(3 + -1). Suppose -5*x + 5 = -3*i, m*i + 2*x - 2 = -0. Suppose -2*w = -i*w - 12. Solve 0 = -4*v + v + w for v.
2
Let y(q) = 40*q - 1557. Let m be y(39). Suppose -h + 0*h = 0. Solve -l = -m - h for l.
3
Suppose -3*t + 15 = -2*x + 2*t, t - 3 = 4*x. Solve x = 9*n + 3 - 3 for n.
0
Suppose 0 = -0*f + 61*f + 25*f. Solve f = -8*d + 50 - 18 for d.
4
Let k = 233 - 231. Solve a + k*a = 4*a for a.
0
Suppose -f = 82 - 88. Solve 3 = -f*i + 15 for i.
2
Suppose -13*v - 3*w + 22 = -12*v, v - 4*w = 22. Solve 8 = -v*d + 18*d for d.
-2
Let p = -429 - -431. Solve -11*r + p = -13*r for r.
-1
Let q(x) = -5*x - 96. Let w be q(-21). Solve -41 = -10*t + w for t.
5
Let z(a) = -8*a + 269. Let b be z(31). Solve -l = -8*l + b for l.
3
Let q = -15 - -27. Let c(j) = -j**2 + 6*j + 272. Let z be c(-14). Let f = q + z. Solve -f*r = r + 15 for r.
-3
Let t be (10/30*30)/(1*2). Solve t*d - 10 = -0 for d.
2
Let o(j) = -2*j + 4. Let m be o(-4). Let r(b) = m + 3*b - 7 - 8. Let d be r(6). Solve 5 - d = 5*i for i.
-2
Let y(q) = -q + 5. Let i be y(9). Let p = 8 + i. Suppose 0*n = p*n - 32. Solve -n = -2*a + 4*a for a.
-4
Let y(n) = n**3 + 18*n**2 + 32*n. Let x be y(-16). Solve 6*u - 8*u - 10 = x for u.
-5
Let f be (-1)/7*-34 + (-1)/(-7). Suppose 2*r - 18 = 2*s, 24 = 3*s - 4*s + 4*r. Let y(w) = -2*w - 6. Let a be y(s). Solve -f*l + a = 22 for l.
-4
Suppose 10*s + 11*s = 126. Solve -13*q + 10*q = -s for q.
2
Let u(y) be the first derivative of -y**3/3 - y**2/2 + 10*y - 1. Let p be u(0). Let z(m) = m - 2. Let w be z(p). Solve w*k - 16 = 4*k for k.
4
Suppose -n + 14 = d + 4, 3*n - 20 = -d. Suppose y + 3*c = d*y + 3, 2*c = 10. Let t be 1*(y + -4)*-5. Solve 4*m - 3 = t for m.
2
Suppose 8*q = -13 + 61. Solve 0 = -61*b + 58*b + q for b.
2
Suppose -3*w - 19 = -4*u, 3*u - 3*w = w + 23. Solve -3*f - 11 = u for f.
-4
Suppose 357*y - 361*y = -4. Let h = -5 - -9. Suppose h*z - 19 - y = 0. Solve 0 = -4*k + z*k - 1 for k.
1
Let i be (7 + -4)/((-4)/4). Let c be (-3)/(-15) - (-28)/10. Let p = i + c. Solve p*m + 4 = 4*m for m.
1
Suppose 16*q + 12*q = 112. Solve 0*z + q*z + 12 = 0 for z.
-3
Let c be (-3)/12 - (-54)/24. Solve 0 = -3*b - c*b for b.
0
Let u(h) = -3*h**3 + 2*h + 1. Let d(c) be the second derivative of -c**4/12 + c**3/6 - c**2/2 - 4*c. Let x be d(1). Let o be u(x). Solve -5*s = -o*s for s.
0
Let b(w) = w**2 - 14*w + 44. Let t be b(10). Solve t = -o - 3*o for o.
-1
Suppose 2*b - 7 = -t + b, -2*b = 4*t - 38. Suppose 2*k - 5*k + t = 0. Solve -s + 3*s = k for s.
2
Let s(u) = 2*u - 16. Let h be s(4). Let n(r) = r**3 - r**2 + r - 4. Let y be n(0). Let z = y - h. Solve 0 = -2*o + z*o - 10 for o.
5
Let v = 98 - 59. Let f be (-99)/(-4) - v/52. Suppose -8*x = -4*x - f. Solve 0 = -x*m + 2*m for m.
0
Let t(q) = q**2 - 3*q + 24. Let k be t(0). Solve -k