+ (-3)/(12/8 - 0). Solve m - 8 = i for i.
4
Let u(a) = a**2 + 8*a + 3. Suppose -5*j + 5 = -0. Suppose 4*r = j - 37. Let q be u(r). Solve -o = 2*o - q for o.
4
Let s be -4 + 1 + 3 - (-4 - -1). Suppose -12 = -s*p - 6. Solve 6*l - p = 5*l for l.
2
Suppose 2*u - 5 = -0*u + f, -4*u = 5*f - 17. Let m = -11757 - -11759. Let x(k) = 9*k**2. Let t be x(1). Solve m*g = t - u for g.
3
Let v(o) be the third derivative of 0*o + 0 - 1/24*o**4 + 6*o**2 - o**3. Let j be v(-8). Solve 7*g = j*g - 10 for g.
-2
Let u = -1 + -11. Let w = u + 12. Let g be w/(-1) - 0 - -2. Solve l + g*l - 12 = 0 for l.
4
Suppose -2*h + 8 = 3*u, 3*u + 3*h - 5*h = 4. Solve 0 = 3*f + u + 1 for f.
-1
Let q be (-252)/(-135) - 6/(-45). Suppose -3*p = p. Suppose 8*h - 4*h = 0. Solve h*i + q*i + 10 = p for i.
-5
Suppose 5 + 7 = 4*l. Let y be 5*2*(-5 + 7). Suppose -3*t + 4*t = -4*n + 12, -3*t + y = 4*n. Solve -l*j - 20 = n*j for j.
-4
Suppose -5*u + 10*u - 42 = 2*n, -4*u - 2*n + 48 = 0. Solve 0*i = -5*i - u for i.
-2
Let n(c) = -c**3 - c**2 + 13*c + 1. Let t be n(3). Solve 8*y - 16 = t*y for y.
4
Suppose 11*g - 12*g + 2*u + 6 = 0, -3*g - 3*u = 0. Let f(c) be the third derivative of c**4/24 - c**3/2 - 2*c**2. Let r be f(5). Solve -d - r = g for d.
-4
Let g(n) = n + 31. Let d be g(-16). Let t be 9 + 2/(-2) - 2. Solve -t*z + z = d for z.
-3
Suppose 2*u = 4*d - 30, -5*d + 4*d = -4*u - 18. Let f = -235 - -242. Solve -4*s = -f*s - d for s.
-2
Suppose 6*b - 23 - 31 = 0. Solve -2*f - 7*f - b = 0 for f.
-1
Let u = -14 + 23. Suppose 2*l - u = f, 3*f = -l + f + 12. Suppose -7*d = -l*d - 1. Solve -x = d - 4 for x.
3
Let b = 212 + -212. Solve -8 = 4*z - b for z.
-2
Let b = -60 - -88. Solve 24*h - b*h + 8 = 0 for h.
2
Let c be 2 - -1 - (-66)/11. Solve 7*o + 2 = c*o for o.
1
Suppose -2*b + 0*b = 4*m - 40, -b + 3*m - 5 = 0. Let x be ((-300)/40)/((-3)/b). Solve 4*f = -f + x for f.
5
Suppose 2*t + 26 = 4*c, -5*c - 6 + 1 = 5*t. Solve -c*v = 1 - 5 for v.
1
Let k = 2793 - 2793. Let h = 0 + 2. Solve k = -s + h*s for s.
0
Let c = -2314 + 2379. Solve -s + 60 = c for s.
-5
Let k(i) = -8*i**2 - 5*i + 96. Let p(s) = -7*s**2 - 5*s + 95. Let g(q) = -6*k(q) + 7*p(q). Let u be g(-12). Solve 3 = u*r - 2*r for r.
1
Let b = -47 - -137. Suppose -k + 6*k + 5*g = b, 4*k - 69 = -3*g. Suppose x - 5*x + 20 = 0. Solve 0*i = x*i - k for i.
3
Let q be 876/(-60) + 14 - (-3)/5. Solve q = -112*r + 113*r + 1 for r.
-1
Let t(k) = -5*k**3 + k**2 - 1. Let l be t(-1). Suppose -v - 99 = -l*z - 0*v, 3*z = -3*v + 45. Let w = 19 - z. Solve -u + 3 = -w*u for u.
3
Let x = 169 - 65. Suppose -5*s + s = -x. Let k = s - 22. Solve k*p - 7*p = 3 for p.
-1
Let l = -1223 + 1228. Solve 9 = -l*x + 24 for x.
3
Suppose 0 = -c - c - 78. Let v be -45*(4 + c/9). Solve u + v = -4*u for u.
-3
Let b = 34 + -61. Let i = b - -31. Solve u - 3 = i*u for u.
-1
Let g = -25 - -43. Solve 18 = 7*o + g for o.
0
Suppose 4*r - 84 = -2*p, -72*p - 2*r = -70*p - 80. Solve p = 5*x + 18 for x.
4
Suppose m + 3*n = 4*n + 90, 446 = 5*m - n. Let x = m - 13. Let g be (-12)/15 + x/20. Solve -4*a + 15 - g = 0 for a.
3
Let o = -894 + 899. Suppose -q + 1 + 1 = 0. Suppose -12 + q = -5*y. Solve 12 = -y*u + o*u for u.
4
Suppose 5*j + 140 = 560. Let x = -82 + j. Solve 5*w - x = 3 for w.
1
Suppose -55*g = -48*g - 98. Solve -g*o = -16*o + 8 for o.
4
Let j = -670 + 686. Solve -j*q + 105 = 25 for q.
5
Suppose -2*d + 2*o = -o - 45, 0 = -2*d - 2*o + 30. Suppose d*z = 19*z - 3. Solve -16 = -z*m - 1 for m.
5
Suppose -1 = -c + 1. Let v = c - 0. Solve -v*n = -1 + 7 for n.
-3
Suppose -34*q + 36*q = 20. Solve -4*y = y - q for y.
2
Suppose 3*d = -4 - 8, 0 = r + d + 1. Solve -13 = r*p - 25 for p.
4
Let p(l) = -3*l + 25. Let y(f) = f - 8. Let a(o) = -4*p(o) - 11*y(o). Suppose -73 = -4*h - 21. Let u be a(h). Solve -5*s = -u + 11 for s.
-2
Let z(u) = -11*u - 52. Let y be z(-5). Solve -s = -y*s for s.
0
Let l = -20 + 22. Suppose 5*k = -j - l*j + 1, 42 = -4*j + 2*k. Let h be 3*3*j/(-36). Solve h*z - 5*z = 0 for z.
0
Suppose -2*q + q - 110 = -4*o, -4*o + 114 = -3*q. Suppose -4*c + 6*r = 3*r - o, -3 = c - 4*r. Solve -5*m + 2*m = c for m.
-3
Suppose -161*c + 168*c - 63 = 0. Solve -c*b + 35 = -2*b for b.
5
Let n be 3 + (29/(-9) - (-10)/45). Suppose n = -6*q + 40 + 14. Solve 7*v + q = 4*v for v.
-3
Let c = -20 - -20. Suppose -3*r - 2*t + 8 + 4 = c, 0 = 4*r + 4*t - 20. Solve r = -2*i + 8 for i.
3
Let h be (-1)/(-3)*(7 - 1). Suppose 2*z + 2 = 3*z. Solve h*l + z*l = 0 for l.
0
Let l = -1859 + 1880. Solve 0 = -14*r + 7 + l for r.
2
Suppose 7*q - 64 = 5*q. Let g = 52 - q. Solve -3*m + g = 2*m for m.
4
Let n(a) = -14*a**3 - 4 + a + 4*a**3 + 6 - a**2. Let l be n(-1). Suppose 4*y - 24 = -4*s, -5*y - 3*s + s + 27 = 0. Solve 0*t - l = y*t for t.
-2
Suppose 3*i - 10 = 8. Let r(u) = -35*u + 2. Let h be r(1). Let w = h - -43. Solve -4*j + w = -i for j.
4
Suppose 0 = 6*k - 17*k + 231. Solve 0 = 7*d + 7 + k for d.
-4
Let w = 59 + -22. Let t = w + -35. Solve -t*o = 10 - 0 for o.
-5
Suppose 3*o = 9, 2 = 3*p - p - 2*o. Solve 0 = 2*c - p + 2 for c.
1
Let y(b) = -b - 4. Let v be y(-5). Let a be v/6 + 22/12. Solve -z = a + 2 for z.
-4
Let u(l) = -l + 50. Let x be u(32). Solve 13*z + 5*z = -x for z.
-1
Let y(k) be the third derivative of -k**4/8 + k**3 + 25*k**2. Let a be y(-2). Solve 0*x = 3*x - a for x.
4
Let v(f) = -f**2 - 27*f - 164. Let g be v(-17). Solve 2*j + g = 16 for j.
5
Let q = 418 - 418. Solve q*w = 3*w for w.
0
Suppose 18 = 4*v - 3*v. Let c = v - 15. Solve c*l - 1 = -7 for l.
-2
Let c(w) = -w**2 + 7*w + 3. Let p be c(7). Suppose p*u - 8*u = 0. Suppose -a - 2 = 2*j - u, 1 = 2*a - j. Solve a = 3*r - r for r.
0
Let w(p) be the second derivative of p**3/6 + 9*p**2/2 + 6*p. Let u be w(-5). Solve u + 8 = -3*a for a.
-4
Let i(l) = -l**2 - 11*l - 5. Suppose 2*m = -13 - 3. Let k be i(m). Let c = -15 + k. Solve -f + c = -2*f for f.
-4
Let q(w) = -w + 4. Let h be q(0). Suppose -4*x + 173 + 27 = 0. Suppose 4*i = x - 10. Solve i = h*t - 2*t for t.
5
Let q be ((-70)/6 + 4)/(4/(-24)). Solve 0 = -3*g + 37 - q for g.
-3
Suppose 6*d - d = 3*s + 3, 8*d = -s - 1. Solve d = 233*i - 238*i - 10 for i.
-2
Let g(j) = j**2 - 16*j + 4. Let x be g(16). Suppose -k + 5*y - x = -3*k, -3*k + 6 = -4*y. Solve -k*i = 3*i + 10 for i.
-2
Suppose -9*u = -4*u. Suppose 2*l + 28 - 4 = u. Let q be 3*2*l/(-9). Solve w = -3*w + q for w.
2
Let o be (-4)/6*(-15)/2. Let s be 3/(-15) + (-93)/(-15). Let l be 6/((-15)/s - -4). Solve -o*f = -6*f - l for f.
-4
Suppose -3*g + 5*m - 8*m + 30 = 0, 20 = 4*m. Solve -11 - 4 = -g*l for l.
3
Suppose -25*a = -26*a - 5. Let z = a + 7. Solve -f - 9 = z*f for f.
-3
Suppose n - 11 = 5*a, a = 4*n - a - 8. Let u be n + 2/((-4)/(-6)). Solve u*i - 1 + 5 = 0 for i.
-1
Let g = -42 - -47. Suppose 0 = -g*d + 4*s + 42, -6*s - 21 = -d - s. Solve -d*q + 5*q = -2 for q.
2
Let v(n) = -10*n - 140. Let l be v(-14). Solve 3*q - 7*q - 8 = l for q.
-2
Let r(n) = -31*n - 708. Let s be r(-23). Let g(b) = 28*b - 2. Let p be g(2). Suppose 0 = -s*f + p - 19. Solve -f*i + 3*i - 20 = 0 for i.
-5
Let a(z) = z**2 + 9*z - 5. Suppose -u + 2*s = -3*s + 4, 4*s + 40 = -4*u. Let y be a(u). Let l be (-2)/y - 4/10. Solve l = -2*v + 6*v + 20 for v.
-5
Suppose 5*o - 10 = 30. Suppose -2*z - o = -4*z. Suppose 43 = 4*p - z*c - 13, -5*c - 20 = 0. Solve 3*q = q + p for q.
5
Let q be (-2 + 0)*(20 + -21). Solve -5*c + 9 = -q*c for c.
3
Let t(r) = 3*r + 1. Let n be t(3). Let k(o) = o**3 + o**2. Let v be k(-1). Suppose 5*p - n + v = 0. Solve 9 = -p*i + 1 for i.
-4
Let h be (258/(-9))/(2/(-3)). Solve -h*f + 48*f - 10 = 0 for f.
2
Let g(n) = 3*n**2 + 4*n + 2. Let h(b) = -b**3 + b**2 - 1. Let f be h(1). Let k be g(f). Solve -c = -2*c + k for c.
1
Suppose k = 3*g + 11, 3 - 21 = -3*k + 4*g. Suppose -25 = -7*s + k*s. Let c = s + -3. Solve -2 = -c*p + 8 for p.
5
Let x(y) be the third derivative of -y**4/8 - 5*y**3/2 + 6*y**2. Let c be x(-5). Solve -20 = -c*m + 4*m for m.
-5
Suppose -r + 24 + 1 = 0. Let b = 20 + -40. Let t = r + b. Solve -3 + t = y for y.
2
Let i(m) = 5*m**2 + 4*m - 7. Let j(t) = 6. Let s(c) = -c**2 - c. Let k(f) = -j(f) - 4*s(f). Let z(u) = 3*i(u) - 4*k(u). Let l be z(-4). Solve -6*y = -l*y for y.
0
Suppose 4 = -2*l - 2. Let j = -3 - l. Suppose g = -c - 0*g + 6, 4*g = 0. Solve 2*h - 2 + c = j for h.
-2
Suppose 0 = -z + 4*g + 41, -2*z - 4*g = -4*z + 78. Suppose 39*v = z*v