n = -93 - -121. Let j = 48 - n. Solve -6*r - j = -r for r.
-4
Let n be (4 + -5)/((-2)/(-32)). Let m(y) be the second derivative of -y**3/6 - 5*y**2 + y. Let t be m(n). Solve -x + 5 = -t*x for x.
-1
Let q(l) = -l**3 + 8*l**2 + 5*l + 38. Let m be q(9). Solve -15 = c + m*c for c.
-5
Let t(o) = 19*o**2 - 1. Suppose 0 = 5*c - 2*w + 7*w - 20, -4*w + 17 = 5*c. Let a be t(c). Let n(z) = -z**2 + 17*z + 20. Let j be n(a). Solve 7 = -j*r - 3 for r.
-5
Let c = 907 - 907. Solve c = -24*y + y - 115 for y.
-5
Let q = -176 + 233. Solve 25 = -8*u + q for u.
4
Suppose 17*d - 2 = 21*d - o, -3*d + 4*o = 8. Solve d = 3*u - 5 + 14 for u.
-3
Suppose -3*k + 23 = 4*d, k + 6 = 5*d + 1. Solve -k*n = 6*n - 44 for n.
4
Suppose 3*b + 15 = 3*h, 5*h - 3*b = 15 + 10. Let l = 9 - h. Suppose -4*g = -1 - 19. Solve -6 - l = g*a for a.
-2
Suppose -7*q - 12*q = -475. Solve -39*k + 44*k = q for k.
5
Suppose -3*x - 10*a + 12*a + 31 = 0, -5*x + 53 = -4*a. Solve 20*l - x*l = -55 for l.
-5
Let r(o) = o**3 - 3*o**2 + o + 3. Let v be r(2). Let t be (10/(4 - 2))/v. Solve -t*q - 11 = 4 for q.
-3
Let s = 1854 - 1825. Solve -s*i = -32*i - 3 for i.
-1
Let b = 164 + -153. Solve 0 = 5*t + b + 9 for t.
-4
Suppose -53*a + 41*a = -36. Solve -j = -2*j - a for j.
-3
Let d = -2591 - -2593. Solve -d*w + 12*w = -10 for w.
-1
Let h(s) = s**3 - 6*s**2 + 4*s - 6. Let o be h(6). Let x be (2 + -1)/(12/24). Suppose t - o = -x*t. Solve -3*k - 9 = t for k.
-5
Suppose r + 3*r = 2*c + 22, 3*c = -4*r + 27. Suppose 0 = -41*v + 36*v. Solve v = -3*l + 3 + r for l.
3
Let b be ((-24)/11)/((-36)/198). Solve 9*y - b*y = -15 for y.
5
Let z be 1 + 6/(90/12 - 6). Solve z = -8*g + 13*g for g.
1
Suppose 223 = 24*n - 161. Solve 21*y = n*y + 5 for y.
1
Let o = 10 - 7. Suppose -5 = -m - o. Solve 1 = j - m for j.
3
Suppose -396*g + 3*o + 270 = -393*g, 4*g + 5*o = 342. Solve 0 = -17*c + g - 20 for c.
4
Let y = 1509 + -1504. Solve -y = 11*k - 60 for k.
5
Suppose -4*o + 5*g + 94 = 0, 7*g - 2 = 8*g. Solve -2*s = -13 + o for s.
-4
Suppose -2*k + 8 = -2*p + p, 0 = -5*k - p + 20. Suppose k*x - 5*v - 18 = 27, 0 = -x - v. Suppose -5*c = 2*q - 20, 0*q = x*q - 25. Solve c*j - 2 = 4 for j.
3
Let z(b) = -b + 3. Suppose -5*q + 2*u = 0, -3*u = 4*q - 0*q. Suppose 5*d = -5, x + q*x - 3*d - 3 = 0. Let g be z(x). Solve -k + g = -2*k for k.
-3
Suppose 0 = -d - 2*p + 2, -4*d + 3*p + 5 = -25. Solve 15 = -d*r - 9 for r.
-4
Let s(n) = 6*n**3 + 2*n**2 - 3*n + 2. Let r be s(1). Suppose -2*g = -4*k - 12, -g + r = -3*k - 0*k. Solve 0 = -l + g*l - 15 for l.
5
Let m be -1*(-1 + 12) - -1. Let c(i) = -262*i + 261*i + 36 - 45. Let g be c(m). Solve -2*k + g = -k for k.
1
Let j be 2/(-10) + 24/(-5). Suppose 0 = 41*l - 27*l. Let x = l - j. Solve 5*k + x = 25 for k.
4
Suppose 211 = 11*u + 123. Solve -5 = -u*g + 9*g for g.
-5
Let w = 62 - 53. Let l be (-3)/w*-11 + 4/12. Solve x = 2*x + l for x.
-4
Let i be 13 + -10 + (0 + -1 - -25). Solve 4*b + i = 23 for b.
-1
Suppose -q = -4*q + 9. Suppose -3*n = -x, x - q*n = -3*x. Let c = 600 - 597. Solve x = -c*f + 2*f for f.
0
Let r(t) = -52 - 11*t + 9*t + 6*t. Let o be r(15). Solve -4*g = -o - 12 for g.
5
Let q(g) = -g**2 - 19*g + 158. Let k be q(6). Solve -16 - k = -6*h for h.
4
Suppose -32*l + 2488 = -616. Solve -l + 101 = z for z.
4
Let s be 9/(-3) - (-15 + 2). Suppose -w = -2*x - s, 0*w - 3*x + 7 = 4*w. Solve -w*t + 0*t + 20 = 0 for t.
5
Suppose -9 + 5 = -2*k. Let o be 4 + -1 + 5/(1 + 4). Solve 10 = -k*i + o*i for i.
5
Suppose -52*w + 370 + 46 = 0. Solve 6 = w*f - 34 for f.
5
Let u be ((-9)/2)/(5/(-10 + 0)). Let o be -2 + u + -3 + (1 - 2). Solve 5*p - o*p = 8 for p.
4
Let s = 18 + -11. Let d = s - -2. Suppose 2*c - 14 = -4*i, -i + 5 = -93*c + 95*c. Solve -i*m = 6 + d for m.
-5
Suppose c + f + 18 = -3*f, 0 = -c - 2*f - 8. Suppose 0 = -h - c*h + 60. Solve -d + h = 3*d for d.
5
Let u = 8 + -3. Suppose 5*t + 15 = 4*i - 7*i, -i - u*t = 15. Suppose i = -4*s - s. Solve s = 4*l - l + 6 for l.
-2
Suppose 0 = -8*g - 3*g - 0*g. Solve -2*k + 2 + 8 = g for k.
5
Let o be (-2)/(-6)*(3 - (-12 - 0)). Suppose -4*x - m = -o*m, -m = x - 4. Solve 3*w = x*w for w.
0
Let i = -11 + 3. Let v = i + 16. Suppose 2*f + t = 1, v*t = -5*f + 3*t + 5. Solve f*x = 4*x for x.
0
Let c be 1/1*1*20. Let q be -16 + -4*(0 - -1). Let o = c + q. Solve 3*t = -o*t for t.
0
Suppose 0 = 23*v - 25*v. Let n = v - -4. Solve 0 = -f - f - n for f.
-2
Let z = 4 - 2. Suppose -z*c - 1 = 3*a - 11, -3*a + 12 = 3*c. Solve 0 = a*g - 0*g + 8 for g.
-4
Let f = 61 + -56. Let c(w) = w**2 - 8*w + 17. Let k be c(f). Solve -u + 6 = k*u for u.
2
Suppose -3*w - 4 + 28 = 0. Suppose 0 = -9*g + w*g + 8. Solve -l + g = -5*l for l.
-2
Let b be 5*(5 + 126/(-35)). Solve b*r = 5*r - 4 for r.
-2
Let u be (-22 + 2)*(-18)/45. Solve u = -5*q - 2 for q.
-2
Let z(a) = 4*a - 100. Let o be z(30). Solve -o*y + 14*y = 6 for y.
-1
Let o be ((-1)/2)/(4/(-96)). Let n(b) = -2*b + 47. Let k be n(16). Let h = 15 - k. Solve 5*u - 2*u - o = h for u.
4
Let x = -72 - -113. Let h = x + -41. Solve 0 = s - h*s for s.
0
Let p(i) = 3*i + 194 - 380 + 171. Suppose 4*q = -3*x + q + 30, x = -3*q + 18. Let g be p(x). Solve 0 = 6*w - g*w - 6 for w.
2
Let m = 31 + -46. Let r = 12 + m. Let v(t) = t + 3. Let d be v(r). Solve -5*p + p = d for p.
0
Suppose 4*f - 4*i = -36, -i = -4*f + 4*i - 39. Let b(g) = g**3 + 5*g**2 - 4*g + 12. Let v be b(f). Solve -2*o + 6*o = v for o.
0
Let q(h) = -h - 3. Suppose -4*o + 10 = -2*w - 6*o, 3*w + 15 = 4*o. Let g be q(w). Suppose g*f - 4 = -3*d - 0*d, 3*d + 6 = 3*f. Solve -f*p - 2*p = 8 for p.
-2
Let i = 689 + -684. Solve -6*y = 17 - i for y.
-2
Let o = 18 - 31. Let g(k) = -2*k - 26. Let u be g(o). Solve u = -i - 1 - 4 for i.
-5
Let s = -173 + 294. Suppose -z + 19 = v, -s = -3*z - z + 5*v. Suppose -x = x - z. Solve -2*d - d = -x for d.
4
Let z be 6*1*1/2. Suppose 0 = 4*b + w, -b - 3*w = -w. Solve -6 = z*j - b*j for j.
-2
Let h be (-10)/((-1)/(-6)*-1). Suppose -g - 2*w = -5*w - 7, 0 = 3*g + 4*w - h. Solve 4 - g = -3*u for u.
4
Suppose 0 = -13*h + 4*h + 36. Suppose 0 = -3*w + 4*d - 19, -h*w + 4*d = -8*w - 16. Let a = 4 - w. Solve 7*i = 4*i + a for i.
3
Let n be 100/(-8)*88/(-550). Let v = 1 - -1. Solve 0 = l + v + n for l.
-4
Suppose -4*z + 33 = 5*h, -2*z + 6 + 3 = h. Solve z*o + o + 15 = 0 for o.
-5
Let k be (6 - (3 - -8)) + 5. Solve k = -5*a - 0*a + 10 for a.
2
Let c(q) = -9*q**3 - 3*q**2 - 3*q - 1. Let s be c(-1). Solve 5*d = -s + 23 for d.
3
Let r be (6/(-4))/((-15)/50). Let f(i) = -i - r + 2 + 2. Let t be f(-4). Solve t - 13 = -5*b for b.
2
Let j = -10 + 58. Let i be 0 + 4 - j/24. Suppose -1 = i*t - 7. Solve t*k = -k - 20 for k.
-5
Let v(l) = -l**2 + l + 23. Let c(j) = 2*j**3 + 13*j**2 + 4*j - 7. Let w be c(-6). Let p be v(w). Solve -p*m + m = 0 for m.
0
Suppose 14 - 28 = -h. Solve 0 = -5*n + 12*n - h for n.
2
Let g(u) = 4*u - 11. Let r be g(4). Suppose -r*y + 4 = -6. Suppose 0 = w + y*m - 5, 5*w = 2*w - 3*m + 27. Solve 3 = 5*o + w for o.
-2
Let g be 1 - 3 - 99/(-9). Suppose 25*h + g = 28*h. Solve -h = 2*c + 1 for c.
-2
Let l(u) = -4*u + 214. Let m be l(51). Solve m*r - 2*r - 40 = 0 for r.
5
Suppose -2*m = -w + 2, -4*w + 8 = -m - 2*m. Suppose m*i = i - 2. Let b(x) = x**2 + x - 3. Let y be b(-3). Solve 1 + i = y*f for f.
1
Let f = -12 - -24. Let d be f/21*105/6. Let k be d/6*(-1 - -4). Solve -k - 3 = -4*u for u.
2
Suppose -4*l - 3*v = -4*v + 37, l = -4*v + 12. Let n be (-3)/l - 21/(-8). Solve -n + 0 = 3*f for f.
-1
Suppose -69*i = -43*i - 52. Solve 3*b - i = 13 for b.
5
Let s(l) = 14*l - 118. Let c be s(9). Solve c*k + 19*k = 0 for k.
0
Let w be -30*-2*3/(-30)*-4. Solve 4*u = 10*u + w for u.
-4
Suppose -j + 1 = -15. Let c(h) = 1 + 2 + 10*h**2 + h**3 + 48*h - 31*h - 28*h. Let t be c(-11). Solve g = -t*g + j for g.
4
Let n(z) = -4*z - 1. Let s be n(4). Let y = s + 20. Solve y*w + 0 = 6 for w.
2
Suppose x + 20 = 6*x. Suppose 3*i = -6*q + 3*q - 6, 0 = q + x. Suppose v + 20 = 4*d + 5*v, -d - 5*v = 7. Solve 0 = 5*a - i - d for a.
2
Let j be 4 + (19 - (9 + -1)). Solve 0*k + 3*k = j for k.
5
Let k = 2273 + -2265. Solve -k*w + 91 = 51 for w.
5
Let c = -6 - -10. Let b(s) = -s**3 - s + 8. Suppose -9*m = -4*m. Let a be b(m). Solve c*d = 12 + a for d.
5
Suppose 0 = 2*o - 3*i + 10, 5*o + 5*i = -50 - 25. Let n(v) = -v**3 - 11*v**2 + 3. Let c be n(o). Solve -8 = -7*p + c*p for p.
2
Suppose 0*h - 5*h = -70. 