+ 12*n. Let j be v(-5). Solve -g*s = -1 + j for s.
-1
Suppose -3*v - 5*z = -15 - 2, -4*v = 3*z - 41. Suppose -2*f = 22 + v. Let t = 21 + f. Solve j - 1 = -t for j.
-2
Let w(m) = 2*m - 6. Let p be w(-2). Let a = p - -12. Solve u + a = 7 for u.
5
Suppose 2*u = -2*t + 42, t = -u + 6*u + 21. Let z be t/(-35) + 4/(-10). Let g be 0 + z + 8 + 18. Solve r + 4*r = g for r.
5
Suppose r - 6*r = -5. Let p be r - (1 + 0) - -2. Let l be (-2 - (-24)/9)/(52/390). Solve p = -4*j + l*j for j.
2
Let v be (-1186)/(-22) + (-25)/(-275). Solve 15*d = -3*d + v for d.
3
Suppose -4*l + p - 6 = -7*l, 0 = -2*p. Let x(d) = -2*d. Let h(j) = -j**3 + 3*j**2 - 3*j + 4. Let q be h(3). Let f be x(q). Solve 0*t - l*t = f for t.
-5
Let a = 729 + -726. Solve 7*z - 20 = a*z for z.
5
Suppose 2*v = -0*v. Suppose 160 = 42*n - 50. Suppose 3*w = 4*w. Solve w = -u + n - v for u.
5
Suppose 0 = -h + 3*i - 11, -i + 15 = 2*h + 2. Let l = -3 + 13. Solve 0 = h*p + p + l for p.
-2
Let t = -37 + 41. Solve -t = 2*f + 6 for f.
-5
Let v = 275 + -279. Let b(t) = t**2 + 1. Let j(k) = 5*k**2 + k + 7. Let q(r) = -4*b(r) + j(r). Let f be q(v). Solve -d + 4*d = -f for d.
-5
Suppose 133*u = 129*u + 128. Let n = 42 - u. Solve -n = 5*x + 10 for x.
-4
Suppose 25 = 98*u - 93*u. Let l be u - 0 - -2*(-7 - -5). Solve -11 = -2*i - l for i.
5
Let b(x) = 5*x**2 - 3*x. Let s(o) = -16*o**2 + 10*o. Let c(z) = 10*b(z) + 3*s(z). Let k be c(-2). Solve k*h - 3*h - 15 = 0 for h.
3
Let a(b) = -2*b**2 + b**3 + 6*b**2 + 0*b**2 - 2*b - 1 - 6*b**2. Let x be a(-2). Let q be x/(-4) + 2/(-8). Solve q + 2 = -v for v.
-5
Let s = -583 + 591. Solve -7*f + s*f = 3 for f.
3
Suppose -2*n - 1 - 27 = 0. Let u be ((-34)/(-3))/(4/(-6)). Let q = n - u. Solve -4*x - 5 = -q*x for x.
-5
Let t(w) = w**2 + 2*w. Let c be t(-3). Let n(y) = 4*y - 8. Let u be n(c). Solve -i = i - u for i.
2
Let n be (-9)/2 - (-6)/12. Let r be 6/n*(-108)/81. Solve r - 8 = 3*o for o.
-2
Let b be ((-1098)/(-135) - 8)/(4/60). Solve 12 - b = 2*v for v.
5
Suppose 0*k + k + 3*q - 1 = 0, 3*k - 3 = 5*q. Let h be -2 + 22*k/2. Let j(l) = l**2 - 9*l. Let r be j(h). Solve -2*c - c = r for c.
0
Let w = 64 - 56. Suppose 10 + w = 2*t. Solve -u = 2*u + t for u.
-3
Suppose 2*b + 19 = -5*i + 2, 5*b + 26 = 4*i. Let u be (0 - -1)/(12 + -13) - b. Solve 5 = -u*h + 20 for h.
3
Let p = -84 + 110. Solve -p + 21 = -5*d for d.
1
Let i = 58 + -54. Solve -8*k = -7*k + i for k.
-4
Let u be 3 + (1 - 1) + -2. Let a = -1 + 4. Suppose 4*k + 0*k + f = 10, k + a*f = 8. Solve -y - u = k for y.
-3
Let m = -536 + 545. Solve 7 = m*o + 52 for o.
-5
Suppose 32 = -2*o + 6*o. Suppose 3*n - o = 7. Solve 2*q + n = q for q.
-5
Suppose 10 = -2*o, 0 = 2*i + 4*o + 3 + 7. Suppose 2*a = -a + 6, 0 = 3*x + i*a - 10. Let s(m) = -m**2 + 10*m + 1. Let p be s(9). Solve x = 2*b - 2 + p for b.
-4
Let h = -42 - -44. Suppose -3*x + 100 = 2*y + 3*y, -h*y = 3*x - 40. Solve 5*w = -5 - y for w.
-5
Let y(q) = 2*q - 15. Let u(a) = 3*a - 31. Let n(s) = -3*u(s) + 5*y(s). Let m be n(-14). Solve 4*z - 8 = m for z.
3
Let p be (-23)/(-5) - 4/(-10). Let z = 3251 + -3235. Solve -4 = -p*o + z for o.
4
Suppose -17 = -4*d + 11. Suppose d = 3*r + 4*r. Solve -2*q - r = -3 for q.
1
Suppose 10 = 2*y - 4*x, 3*y = y + 3*x + 8. Suppose -y - 1 = -2*n. Suppose 2*p - 11 = n. Solve p*i + 25 = i for i.
-5
Suppose -2*y + 19 = -5*p, -2*y + 0 = -3*p - 13. Let d be (-14)/3*p/2. Let t(u) = u**2 - 16. Let j be t(-6). Solve 3*f - j = d*f for f.
-5
Let t(b) = b**2 + 11*b - 173. Let d be t(-20). Solve -p - d = -10 for p.
3
Let t = 111 - 110. Let i be 0/(-6) - (t + (-1)/1). Solve -6*k + 4*k - 2 = i for k.
-1
Suppose -2*y + 79 = 5*b, 0 = b + 3*b - 3*y - 54. Suppose -4*n = n - b. Suppose -r - 6 = -n*r. Solve -a - r = -5 for a.
2
Suppose 0 = -18*a + 2*a - 1712. Let j = a - -109. Solve 5*n = 6*n - j for n.
2
Suppose 22 = 2*h + 3*t, 4*t - 2 = -h + 14. Solve -h*q + 11*q + 12 = 0 for q.
-4
Let v(x) = 2*x**2 + 29*x + 48. Let q be v(-13). Solve -443*y = -440*y + q for y.
-3
Suppose 54 = 3*z - 3*i, 7*z - 2*z = 4*i + 87. Solve 6*r - 9*r = -z for r.
5
Suppose 0 = -c - 3*s, -2*c + s - 4*s + 12 = 0. Solve 14*q - 11*q - c = 0 for q.
4
Let d(n) = -n - 26. Let i be d(-13). Let s(x) = -x - 10. Let b be s(i). Let o be 3 + (5 - b) + -2. Solve 0 = 5*t - o - 2 for t.
1
Suppose -2 = 2*w - 10. Suppose -w*y + 22 = 10. Solve 2*i = -y*i - 15 for i.
-3
Let k be (-17)/(-4) - ((-51)/(-12) - 5). Solve 2*g + 3*g + k = 0 for g.
-1
Suppose 7*z + 6 = -1. Let l be (10/(-6))/(z/3). Solve 0*f = -l*f - 10 for f.
-2
Let p = 11 + -13. Let u be 106/22 + p/(-11). Suppose -3*g = b - 5, u*b + 2 = 4*g + 8. Solve -b*s = s for s.
0
Let b be (-26)/(-156) - (-10)/12. Suppose 5*g = 11 - b. Solve -g*s - 2*s = 4 for s.
-1
Let s = -5 + 7. Suppose -55 = 3*b + s*b - 5*p, -2*b + 3*p = 21. Let r = -7 - b. Solve -32 + 7 = r*i for i.
-5
Let m = 56 - 51. Suppose -k + 3*k = -u + 9, -5*k + 9 = -2*u. Let v = -9 + 19. Solve -m - v = k*s for s.
-5
Let n = 0 - -26. Let p(y) = -3*y + 48. Let a be p(16). Suppose 0 = 3*t - 4 + 1, a = 3*s + 5*t - n. Solve 2 = u + s for u.
-5
Let c be 3 + -5 - (-6 - 1). Let w(f) = f**2 + 11*f + 14. Let p be w(-10). Suppose 2*z = 2*d + 7 + 5, -3*d - 6 = z. Solve -p - c = -z*b for b.
3
Suppose 4*k - 64 = 4*u, 5*u - 10 = 2*k - 3*k. Let j be (-40)/(-25) + 6/k. Let q be j/(3/90*3). Solve 0 = -0*c + 4*c + q for c.
-5
Let i = 58 - 62. Let f be -1 + 6/(-8)*i. Solve 0 = -7*j + f*j for j.
0
Let o = 1477 - 1476. Solve -o = 4*u + 15 for u.
-4
Let j = -21 - -16. Let t be (-3 + 2)*(j + 5). Suppose -3 + t = -b. Solve 3*y = b - 9 for y.
-2
Let u(f) = -f**2 - 4*f + 14. Let b be u(-6). Suppose 0 = -2*h - 0*h - b*h. Solve 3*l - l = h for l.
0
Let m = -2851 + 2851. Suppose 2*b - 29 = -s, -2 = -5*s - 7. Solve 0 = -5*w - m + b for w.
3
Let w(g) = 4*g + 10. Let y be w(4). Suppose v + 15 = -2*v, 4*p - 2*v - y = 0. Solve 2*n = p*n - 6 for n.
3
Let s(g) = -g**2 - 9*g + 72. Let y be s(-14). Solve -y*j - 3*j + 15 = 0 for j.
3
Suppose -8*z + 96 = -5*z. Suppose -24 + z = 4*b. Solve -a = -0 - b for a.
2
Let v = 1294 + -1280. Let f = 9 - 5. Let q be 52/v + f/14. Solve -n = -q*n for n.
0
Suppose 0 = 50*d + 48*d - 784. Solve 11*o = d*o - 6 for o.
-2
Let r be (-332)/5 + (-16)/(-40). Let u be 2/(128/r + 2). Suppose -m - u = 5*q - 121, -q = 4*m - 29. Solve -q = 5*o - 2 for o.
-3
Let f(z) = -27*z + 3. Let v be f(11). Let d be (-2)/(-5) - v/15. Let s = -18 + d. Solve -s*r = r for r.
0
Let a be ((-4)/(-10))/((-1)/10) + 8. Solve -w - 15 = -a*w for w.
5
Suppose 4*v - 16 - 8 = 0. Suppose -v*j - 80 = -2*j - 2*c, 3*c = -5*j - 78. Let d be ((-6)/j)/((-1)/(-9)). Solve 5*x = -d - 12 for x.
-3
Let y(s) = -s**2 - 17*s + 87. Let z be y(-21). Let n(r) = 7*r**2. Let p be n(-1). Suppose z = -i + p. Solve 0 = -t - i - 0 for t.
-4
Suppose 0*h - 63 = -h - m, -5 = 5*m. Solve 59 = 5*p + h for p.
-1
Let d(c) = 2*c**2. Suppose -2*z = -5*k + 38, 3*z = -2*z - 2*k - 66. Let f = 15 + z. Let h be d(f). Solve -h = 3*r - 8 for r.
2
Suppose 21*c - 65 = 26*c. Let w = c + 13. Solve w*z = -4*z - 12 for z.
-3
Let n(b) = -14*b + 9*b - 5*b**2 - 6 + 4*b**2 + 14*b. Let a be n(8). Let d be (23/3)/((-2)/(-6)). Solve 5*q - a = d for q.
5
Let x(l) = -2*l**2 - 22*l - 1. Let i be x(-10). Suppose i = 3*u + 7. Solve 18 + 2 = u*f for f.
5
Let w = -3338 - -3338. Let u(l) = l**2 - 2*l - 2. Let j be u(4). Suppose j*r = r + 10. Solve w = -r*v - 2 for v.
-1
Let m = -373 + 375. Solve -n + m*n = -n for n.
0
Let p = -44 - -49. Suppose p - 5 = 6*b. Solve -r + 0*r = b for r.
0
Let t(j) = j + 1. Let h be t(4). Suppose 58*v - 54*v - 12 = 0. Solve h*g = v*g - 10 for g.
-5
Let h = 1793 + -1788. Suppose 0 = 5*w - 4*c - 50, -3*c = -6*c. Solve -h = -n - w for n.
-5
Suppose -72 = -754*n + 742*n. Solve 17*b - n*b + 22 = 0 for b.
-2
Let d be 37 + (-1)/(2/6). Suppose 3 = 2*m - 3*k + 2, 3*k = -5*m + d. Solve l - 6*l = m for l.
-1
Let a = 949 - 947. Solve a = 19*l - 18*l for l.
2
Suppose 0 = -19*p - 2*p + 42. Solve p*g - 84 = -82 for g.
1
Suppose 0 = -30*v + 32*v - 2. Let l be (-4)/14 + (-600)/(-42) + v. Solve 2*n = -n + l for n.
5
Let p(n) be the third derivative of n**6/120 + n**5/60 + n**4/24 - n**3/6 + 23*n**2. Let d be p(1). Solve 13 = 3*r - d for r.
5
Suppose 0*p - 30 = -5*p. Let v be (0 - 0)*(-2)/(-4). Suppose i - 3*h - 6 = v, -2 = 3*h - 2*h. Solve 3*y + i*y = p for y.
2
Suppose -32 + 2 = -3*d. Solve