 = -w**2 + 4*w - 3. Let j be n(2). Let a(z) = -z - 7. Let h be a(-7). Let m be h/1 - (-4 - -1). Solve 0 = 3*r - m, 5*l + r = -10 + j for l.
-2
Suppose 5*k - n - 71 = 0, 4*n - 12 - 4 = 0. Suppose 0 = -2*w + o + 12, 1015*o - 32 = 4*w + 1020*o. Solve 5*f - k = 4*z, 5*z = -w*f - 9 - 18 for z.
-5
Let d(q) = 3*q**2 + 5*q + 5*q - 2*q**2 + 13 + 1. Let f be d(-8). Let w be f + 1 - 15/(-1). Solve -w = -5*i - 4*j, -3*j + 5 = 3*i - 4 for i.
2
Let b be (7/(-2))/(1/(-10)). Let s = b - 32. Solve 4*p - s*h + 28 - 3 = 0, 2 = p + 2*h for p.
-4
Let n = 81 + -61. Suppose 4*a + 4*v = n, v - 3 = -a + 2*v. Solve 2*c + d + 2 = 0, -2*d = -0*d + a for c.
0
Suppose -2*h = -3*z - 9 + 17, -5*h + z = -6. Solve h*w + 4 = -2*k, -2*w = -3*w + 3*k - 14 for w.
-5
Let v = 5 - 1. Suppose v = -4*b, -5*k + 5*b = -7 - 8. Suppose -4*t - 2 = -2*u, -u + k*t = -t. Solve -3*w + 5*a = -9, 4*w + 0*w = u*a + 1 for w.
-2
Let r = -2 - -14. Let h = 20 - 20. Suppose 3*z - r = 0, h = -3*n - 3*z + 4 + 20. Solve 2*y + 12 = n*u, -y - 5*u = -16 + 1 for y.
0
Let c be (-4)/(-3) + (-3)/9 + 9. Solve -2*x - 4*z = -18, z + 2*z = -5*x + c for x.
-1
Suppose -198 + 190 = -4*i. Solve -l - 2*f + 14 = 0, 0 = -l - i*l - 3*f + 27 for l.
4
Let y = -656 - -661. Solve 3*o = -2*o - y*i + 15, -2*o - 22 = -5*i for o.
-1
Let w be -1 + -4*(9/6)/(-1). Solve 3*r + 15 = -2*s, 5*r = -5*s - w - 25 for r.
-3
Let l(h) = 2*h**2 + 3*h + 3. Let z be l(-2). Suppose z*x = 3*x + 3*k + 18, -4*x + k + 16 = 0. Solve 5*s + 18 = 2*d - 4*d, 0 = -5*s - x*d - 22 for s.
-2
Let g(n) = -5*n - 90. Let s be g(-19). Solve 4*x + s = -k - 2, x + 3*k = 1 for x.
-2
Let a = -4 + 6. Let p(n) = -3*n + 29. Let s be p(9). Solve -s*x + 0*x = -4*b - 22, x = -b + a for b.
-3
Suppose 0 = -4*q - 4*w + 36, -5*q - 2*w = 4 - 34. Suppose -2 = -2*k + q. Solve 0 = 3*v - 5*v + k*j + 22, -5*j - 40 = -4*v for v.
5
Suppose 2*u = 3*r + 27, 15 + 8 = 2*u + r. Suppose -u*h = -13*h - 1. Let w be (h - -1)/((-16)/8). Solve 2*j + 3*d - 8 - 2 = 0, 2*d = w for j.
5
Suppose 5*a - 4*u - 35 = -4, -a + 4*u + 3 = 0. Suppose a*f - 9 = 5. Solve -3*k - 2*c + 4 = 0, -c + 2 + f = 2*k for k.
4
Suppose -4*i + 0*i = -j + 20, 4*j = -4*i. Suppose 0 = -12*r + j*r. Solve -l + r = 3*n - 1, -4*n = 4*l - 12 for n.
-1
Let x be -3 - (-2 - 2 - 2). Let o = -163 + 166. Solve -2*w = 2*m + x*m + 9, 5*m - w + o = 0 for m.
-1
Let a = 1090 + -1088. Solve 8 = 2*z - a*w - 0, 5*w - 5 = 0 for z.
5
Let d be 72/30*(-100)/(-6). Suppose m + 7 = 2*y, -5*m = -10*m - 5*y + d. Solve 0*n - 3*n = -j + 14, m = -n for j.
5
Let z be (0/(-5))/((-5)/5). Solve -5 + 2 = -5*v + m, -v + 5*m + 15 = z for v.
0
Suppose -12 = 4*n - 20. Suppose -n*y + 60 = -0*y. Suppose 0 = -4*c + y + 54. Solve -2*f - 10 = 0, -5*x + c = -x - 5*f for x.
-1
Let k be (-2 + 0/2)*-1. Suppose -k*h - 90 = -8*h. Solve -3*y - h = 2*c + 7, -y - 3*c = 19 for y.
-4
Suppose -z = 11 - 17. Suppose 6*j - z - 6 = 0. Solve 16 = 4*x, -2*o + x + j = -x for o.
5
Suppose 5*w - 2*a = 3*a + 55, 0 = -4*w - 3*a + 23. Let k(s) = -s**2 + 11*s. Let r be k(w). Let n be -2 + 7/(28/r). Solve y + y + 3*d = n, -6 = -3*y - 4*d for y.
2
Let z be ((-101)/(-303))/(2/18). Solve 4*b + f - 1 = 0, z*f = 3*b - 2*f - 18 for b.
1
Let s = -2 + 19. Let k be 6*1 + (-34)/s. Solve u + 4 = 4*f - f, -7 = k*u - 3*f for u.
-1
Let l = -22 - 24. Let f = 48 + l. Solve 17 = -5*p - 3*s + 7, 0 = 3*p - f*s + 25 for p.
-5
Suppose -4*d - c = -20, -3*d + 39 = -3*c + 24. Solve 3*q = -3*j + d*q + 11, 4*j - 10 = 5*q for j.
5
Let g be (24/15)/(-8) + 11/5. Let c(w) = 6*w + 56. Let a be c(-7). Solve -2*k - 5*u = 2*k + a, 0 = g*k + u + 4 for k.
-1
Let l be (18/(3 - 1))/((-60)/80). Let i be 4*-1*9/(-4). Let u be (-46)/(-8) + i/l. Solve -2*y - 20 = -3*y - 4*r, -25 = -u*r for y.
0
Let n = 29 + -25. Suppose -6*q = -2*m - 5*q + 31, 0 = -m + n*q + 19. Solve -m = -5*k + 4*r, 3*k + 0*r = -2*r - 13 for k.
-1
Let w(y) = y**2 - 12*y + 15. Let r be w(12). Let a be 6/r + (-52)/(-20). Solve a*c = -k - 7, -c + 2*c = 2*k for c.
-2
Suppose -9*i - 15 = -12*i. Solve -5*n - 5 = -i*a, -6*a = -5*a - 4*n - 1 for a.
1
Suppose 88 = 62*s - 54*s. Solve -8*n + 9*n = 5*u + 23, 3*u + s = 2*n for n.
-2
Let k = -4 - -9. Let t(o) = -o**2 - 9*o + 50. Let x be t(4). Let c be (x - 0)/(10/(-20)). Solve -3*b - 4*p + 20 = b, 22 = k*b + c*p for b.
2
Suppose v = -4*r + 3 - 9, -4*r - 18 = -5*v. Solve 4*u = 3*q + 4, 3*q = v*u - 6*u + 28 for q.
4
Let m be (2/(-4))/((-1)/18). Suppose -30*a + 21*a + 45 = 0. Solve a*y - 4*l = -m, 2*l = -y + l for y.
-1
Let u = -58 + -29. Let b = u - -87. Solve 7*f - 3*f + 4 = 0, b = 4*i + 3*f + 3 for i.
0
Suppose 0*x + 3*x = 0. Suppose x*o - 5*o = -5. Suppose o + 4 = r. Solve -9 = 4*c + l, 3*c = 2*c + r*l + 3 for c.
-2
Suppose -4*w + 125 = r, 3*w - 100 = -0*w - 2*r. Let k = 1 + 2. Solve -5*i = -5*l + w, k*l + 2*i = i + 6 for l.
3
Let l(x) be the third derivative of -x**4/24 + 5*x**3/3 - x**2. Let o be l(6). Solve -3*k - 1 = -3*c - 4, 4*c = 5*k - o for c.
-1
Let k(y) = y + 14*y**2 - 12*y**2 + y - 10 + 1. Let h be k(-4). Solve 2*r + l + 5 = 0, r + 3*l + h = 5*l for r.
-5
Suppose -2*l - 4*s + 8 = -3*l, 4*s = -l + 16. Suppose 0 = -l*h + 19 - 7. Solve -n + 2 = n, -h*d + n = 16 for d.
-5
Let v(n) = -n**3 + 9*n**2 - n + 16. Let g be v(9). Solve -15 = 5*r, -5*r - g = -t - r for t.
-5
Let u be (-159)/(-15) - 2/(-5). Suppose 3*d = 2*d + 18. Let w be d/15*(-50)/(-15). Solve a - 2*q + 9 - 2 = 0, -3*a - w*q = u for a.
-5
Let w = -298 + 316. Solve 0 = 3*o + o - 5*i - 9, -2*o - w = 2*i for o.
-4
Let r(l) = l**3 - 9*l**2 - 10*l - 128. Let b be r(11). Solve -2*j - 2*p = -2, -j - 5*p - 11 = -b for j.
3
Let c(u) = 4*u + 3. Let p be c(4). Solve -i - 4*n = 22, p = -5*i - 2*n - 1 for i.
-2
Let j be 24/6*(-4 + 10). Solve -j = 5*h + 3*r, 2*r = h - 4 + 1 for h.
-3
Let b(y) = y**2 + 13*y - 15. Let f be b(-14). Let x be f + 0 + 5/(-10)*-6. Solve 6 = x*u - g, -10 = 5*g - 0*g for u.
2
Suppose -5 - 25 = -x. Let k = x + -15. Let f = k + -13. Solve -2*n + 13 = 5*z, -f*z - 15 = -3*n - 5*z for n.
4
Let q be (-12)/(-24)*(0 + 8). Solve -4*z + 0 = -l - 7, 4*z = -q*l + 12 for l.
1
Let f(b) = -2*b - 4*b - 4 - 3 + 4*b. Let z be f(-5). Solve 0 = m - h + 5, 4*h - 25 = -z*m - h for m.
0
Let s(k) = k**3 + 29*k**2 - 30*k + 4. Let b be s(-30). Suppose b*a = 9*a - 2*n + 8, 4*a + 5*n = 20. Solve 5*m - 2*h - 15 = a, -11 = 4*m - h + 4*h for m.
1
Let i = 72 + -68. Solve -5*c - 13 = -i*z, 2*c - 4 + 29 = -5*z for c.
-5
Let q = -21 - -31. Suppose q*j - 34 = 6. Solve 0 = s - i - 0*i + 3, 4*i - 28 = -j*s for s.
2
Let y(d) = -d - 5. Let c be y(-9). Let i = -767 - -788. Solve 3*a - x = -11, a - c*x = -1 - i for a.
-2
Let r(c) = c**3 + 7*c**2 + 5*c - 4. Let g be r(-6). Let i(n) = -24*n**2 + 164*n - 108. Let m be i(6). Solve -2*l = -g*j - m, -6 = 2*j + 4 for l.
1
Let x = 114 + -110. Let s be 136/51 + x/(-6). Solve 28 = s*w - 4*h, -6 + 1 = h for w.
4
Let a be 14/105 - (-116)/30. Suppose -5*v - 13 = -4*x, -4*x + a*v = -0 - 12. Solve -x*n + 10 = g, 2 = -5*g - 2*n + 12 for g.
0
Suppose 0 = -0*c + c + 10. Let u(m) = -24*m - 16*m - 9 + 38*m - 6. Let a be u(c). Solve 3*q - 6 = -4*h, 0 = -0*q + a*q + 2*h + 4 for q.
-2
Suppose 2*k - 3 = 7. Let s(n) = n - 12. Let z be s(4). Let i(c) = -c**3 - 8*c**2 - c - 4. Let j be i(z). Solve -j*u + k = -5*x, -x - x + u - 5 = 0 for x.
-5
Suppose -1 = 18*m - 1. Let c = 7 + -3. Solve 5*q - 15 + 5 = m, 0 = 2*u - 4*q + c for u.
2
Let q be (-2)/(-8) + (-76)/(-16). Suppose -q = 2*i - 15. Suppose k = i*k - 8. Solve 0 = k*z - s - 2, -3*z - s + 3 = 0 for z.
1
Let x be (-3 - -7)*18/(-6). Let r be (-1)/(-3)*(-6 - x). Solve 0 = -3*n + r*i - 19, -5*i + 10*i = 10 for n.
-5
Let c = 44 + -42. Suppose c*l = 6*l - 8. Solve 4*o = l*n - 2, 0 = 3*o - 2*n + n + 1 for o.
0
Let o = -540 + 549. Solve -3*k - d + 0*d - o = 0, 3*k - 2*d = -9 for k.
-3
Let k(u) = -u**2 + 16*u + 23. Let z be k(17). Solve 3*b = -5*q + 7, -q - z = -4*q for b.
-1
Let j = 91 + -299. Let r be j/(-40) - 1/5. Solve c + 9 = -4*c - s, -r*s + 5 = 0 for c.
-2
Let l = 466 - 459. Solve -5*z + l = g, 5*g = -z - 2 - 11 for g.
-3
Suppose 0 = 3*f - 2*f. Suppose f = -3*j + j + 4. Solve 4*m - 4 = 0, l + m = -j*l - 14 for l.
-5
Let t(h) = -2*h**2 - 14*h - 1. Let v be t(-7). Let g(y) = -y + 4. Let a be g(v). Solve 3*f - 4 = -3*z + 2, 0 = -a*z + 3*f + 34 for z.
5
Let k be (25/2)/((-12)/(-24)). Let g = k + -23. Solve 2*y - 5*s - 11 