) = q**3 - 17*q**2 + 16*q - 9. Let z be n(16). Let a be y(z). Solve 1 = -a*u + 9 for u.
4
Let y be 2/(54/(-12) + 5). Solve 15 = -t - y*t for t.
-3
Let k = -58 - -62. Solve k*n = 1 - 13 for n.
-3
Suppose 0 = -3*h - 2*s - 0 + 28, 0 = 2*s + 8. Solve 0 = -4*a + 8*a - h for a.
3
Suppose 0*y - 21 = -7*y. Solve 5 = y*b + 2 for b.
1
Let c(h) = -h**3 - 11*h**2 + 10*h - 12. Let q(g) = -g**2 + 11*g. Let o be q(12). Let m be c(o). Let x be (-1 + -1)*(-18)/m. Solve 2 = -x*j - 1 for j.
-1
Let u(k) = -k**3 - 12*k**2 + 5. Let o be u(-12). Suppose -5*s + 9*s = o*f + 23, 0 = 5*s - 2*f - 16. Let p = 13 + -7. Solve -p*n = -s*n + 4 for n.
-1
Let m = 62 + -68. Let h be (8/24)/((-1)/m). Solve -h*g - 3*g = 20 for g.
-4
Suppose 0*q = 6*q - 36. Let f be 2/(-2*(-3)/(-6)). Let v = q + f. Solve -3*l + v = -l for l.
2
Let k = -146 - -98. Let v be (k/36)/(1/(-3)). Solve v + 6 = -5*p for p.
-2
Let y be (1/2)/(12*(-1)/(-72)). Solve -y*s + 7 = 10 for s.
-1
Let h(v) = 35*v + 140. Let r be h(-4). Solve 2*f - 9*f + 14 = r for f.
2
Let c(l) = -3*l + 22. Let x(s) = -2*s + 23. Let u be x(9). Let t be c(u). Solve 5*p - 2 + t = 0 for p.
-1
Suppose -50 = -5*m - 0. Suppose -217 = -2*j - 197. Let c = m - j. Solve c*r + 15 = -3*r for r.
-5
Let f = 276 - 271. Solve 0 = 6*i + f - 23 for i.
3
Let f be 0 - 1 - (-36)/4. Solve 2 + f = 5*p for p.
2
Suppose -2*b = -5*h - 7*b + 20, 0 = -4*h - b + 10. Suppose 11 = -h*q - r, 3*q + 1 = 2*q + r. Let g = 11 - q. Solve 6*f = f + g for f.
3
Let y = -4 + 36. Suppose 3*l = -l + y. Let u(a) = a**2 - 6*a - 7. Let g be u(l). Solve j + 4 = g for j.
5
Let t be 2 - (-16)/10 - (-4)/10. Suppose d = -t*p - 16, 2*d + 3*p = 3*d - 19. Solve -d + 0 = -c for c.
4
Let f(c) = -c**3 - c**2 + c - 8. Let i be f(0). Let h be i/(-20)*(-120)/(-2). Suppose -h = -5*t - 9. Solve 0*d = t*d + 12 for d.
-4
Let a be (-1)/((-3)/(168/7)). Solve -3 + a = 5*z for z.
1
Let l(g) = -g**3 + 3*g**2 + g - 1. Let u be l(3). Let s(j) = -4*j - 11. Let f(w) = w + 3. Let a(z) = u*s(z) + 9*f(z). Let i be a(3). Solve -2*n + i = -0 for n.
4
Suppose 3*d = 3*m - 54, -2*m - 3*d + 53 = 32. Solve 4*a = 3 - m for a.
-3
Let t = 115 - 88. Solve -3*r + t = 42 for r.
-5
Suppose -150 = 20*k - 25*k. Solve -d - k = -31 for d.
1
Let m be (-6)/(-15) - 54/(-15). Suppose 2*a + 0 + m = 0. Let k be ((-9)/(-3))/(3 + a). Solve -4*i + k = -i for i.
1
Let q(d) = -2*d - 6. Let g be q(3). Let w = 8 + g. Let x(f) = f**2 + 2*f - 1. Let y be x(w). Solve -o = 2 - y for o.
5
Let i = 82 + -82. Let k be 9/6*16/6. Solve 5*v + 14 - k = i for v.
-2
Suppose 95 = 3*w + 11. Let g be (-70)/(-4) + (-42)/w. Suppose 0*s - 4 = -s, 5*p + g = 4*s. Solve -2*o - 1 - 3 = p for o.
-2
Let z(l) = 3*l - 2. Let k be z(2). Let a = -40 - -50. Suppose -a*g = -2*g - 88. Solve -5*h + k = -g for h.
3
Suppose 0 = 3*b - 8*b + 15. Suppose 0*v - b*v + 6 = 0. Solve v*f = -0*f for f.
0
Let i be -15*((-3)/5 - 30/(-75)). Solve i*t = -6*t for t.
0
Let s = 84 + 21. Let a be s/30 - 1/2. Solve 5*t + a = 18 for t.
3
Let l = -74 + 82. Suppose l*b = -2*b. Suppose -5*u + m + 14 = 0, -5*u + m + 20 = 6*m. Solve b = -h - u*h - 4 for h.
-1
Let j(d) = -d + 15. Let v be j(13). Suppose 3*i - 32 = v*q + 3*q, q + 4 = 0. Let z be -2 - (-5 + 3 + 0). Solve -b + 5*b + i = z for b.
-1
Let s be 20/(-4)*(2 - 9/3). Suppose 0 = -3*q - 2*p + 12, s*p = 3*q + 2*p + 3. Solve 6*x - 16 = q*x for x.
4
Suppose -4*h + 68 = 4*t, 3*h - 199 + 149 = -4*t. Solve -h = r - 15 for r.
-3
Let a(f) = 11*f + 31. Let l be a(-1). Solve 12*t = 7*t - l for t.
-4
Suppose 13*l + 4 = 15*l. Let q = -15 + 5. Let o(g) = g**2 + 11*g + 12. Let x be o(q). Solve -n + l*n = x for n.
2
Let r(b) = -b**3 + 3*b**2 + 4*b. Let t be r(4). Suppose -297*q + 279*q = -54. Solve -s - q*s + 16 = t for s.
4
Suppose -1 = j - 5*s - 20, -1 = s. Let k be (-1018)/(-26) + (-10)/65. Solve -j = -5*d - k for d.
-5
Suppose -3*g - 8 = -7*g. Suppose 0 = 3*d + g*d. Suppose d = -9*v + 10*v - 3. Solve -v*z = 2*z - 20 for z.
4
Let u(c) = c**2 + 11*c + 10. Let o be u(-10). Suppose o*l + 3*l = -4*q - 12, 0 = -q - 4*l - 16. Solve q*t = -5*t + 10 for t.
2
Suppose 25 = 3*m + 2*m. Let f = -6627 - -6627. Solve f*o + m = -5*o for o.
-1
Suppose 0 = -4*d + 2*m + 10, 3*m + 3 - 4 = 2*d. Let b be 4*1/d*2. Solve 20 = 6*t - b*t for t.
5
Let m(c) = c**3 + 7*c**2 - 31*c - 7. Let h be m(-10). Solve 0 = h*g + g - 16 for g.
4
Suppose -37*i = -36*i + 5. Let b = i - -10. Solve -b*a - 9 = 1 for a.
-2
Let i = 1158 - 1141. Solve -54 = i*x + 31 for x.
-5
Let n = 89 + -85. Let z be (0/(n + -6))/2. Solve z = -4*a - 15 - 1 for a.
-4
Suppose -7*o + 56 = -0*o. Solve t = o*t for t.
0
Let f(p) = p + 2. Let v be f(8). Suppose -b + v = 4*b. Let m be b + (-2 + 4 - 4). Solve m = -i - i - 2 for i.
-1
Let s be 5 - (-1 - 2/(-2)). Let c(r) = 2*r - 18. Let u be c(6). Let x be 2/u + (-16)/(-48). Solve -s*z + 20 = -x*z for z.
4
Let l(k) = k**3 + 9*k**2 - k - 5. Let t be l(-9). Suppose 0 = -4*n + 2*u + t, -5*n + u = -u - 4. Solve n = -5*p + 4*p - 3 for p.
-3
Suppose -5*v = p - 3*p - 10, 3*p + 5*v = 35. Solve 33 - 23 = p*m for m.
2
Let c = 63 + -51. Solve -15*d + c*d - 15 = 0 for d.
-5
Suppose -2*x - 10 = 0, -5*x = 34*w - 36*w + 33. Solve -8 = -3*r + w for r.
4
Let r(p) = p + 7. Suppose 5*d + 12 = 2*z + 5, -3*z + 5*d = -3. Let g be r(z). Solve -2*l + 1 = -g*l for l.
-1
Let a be 80/8 + 1 - 11. Solve a = 4*w + 148 - 128 for w.
-5
Let q be -2*(-14)/8 + 37/74. Let c(j) = 3*j - 4. Let k be c(3). Solve 1 + q = -k*s for s.
-1
Let w(x) = 3*x**2 - x + 2. Let k be w(1). Solve -k*u + 4 - 16 = 0 for u.
-3
Suppose -10*w + 30 = -4*w. Suppose 9 = w*l + 9. Solve -k + 4 + l = 0 for k.
4
Let j be (-30)/12*(-12)/10. Let b(c) = -c**3 + 11*c**2 + 13*c - 6. Let y(v) = v + 5. Let h be y(7). Let o be b(h). Solve j*r - r + o = 0 for r.
-3
Let w = -751 + 918. Solve 0 = b + w - 166 for b.
-1
Let d be (-203)/609 - -1*38/6. Let m = 4 + 2. Solve -d*v + m = -3*v for v.
2
Let k = -6 - -3. Suppose 8*o + 4*q + 21 = 3*o, 2*q - 2 = 0. Let s = k - o. Solve 16 = -2*x - s*x for x.
-4
Let n(a) = -a**2 + 8*a - 5. Let t be n(5). Suppose -2*s + t - 2 = 0. Solve s + 6 = 2*y for y.
5
Suppose -5*x + 8 = -f, -7*x - 3*f = -2*x + 4. Solve 5 = -4*k + x for k.
-1
Suppose -2*n + 4 = 4*w, 1 = 3*n + 3*w - 2. Suppose 2*h = -0*k + 5*k - 14, 3*k + 2*h - 18 = n. Solve k*g - 5*g + 2 = 0 for g.
2
Suppose -3*t = -7*t - s + 51, 3*s = -3*t + 27. Solve 29 - t = -3*n for n.
-5
Let b = -1033 + 1043. Solve 6*c + 64 = -b*c for c.
-4
Suppose 3*r - 5*i = -18, -r - 17 = 3*i + 3. Let q = r - -16. Solve 6*s = q*s - 3 for s.
-3
Let p = -2 + 8. Suppose -7 = -4*b - 3*l + 26, b - 4*l = 32. Suppose -2*c = -5*c + b. Solve -c + p = 2*w for w.
1
Let p be (4/4*3)/1. Suppose 2 + 18 = 2*s + p*t, -40 = -4*s - t. Solve 2*k = -3*k - s for k.
-2
Let c = -148 + 160. Solve c = 3*g + g for g.
3
Suppose j - 3*w = 3, -8 - 1 = -3*j - w. Suppose 0 = j*v + 5 + 1. Let k(u) = -u - 2. Let p be k(v). Solve p = -4*s + 12 + 8 for s.
5
Suppose -39*t + 84 = -32*t. Solve t = 5*x + 17 for x.
-1
Let x be (48/30)/(1/(-30)). Let q be (5/3)/((-40)/x). Solve q*z - 6*z = -4 for z.
1
Suppose 4*g = -4*d + 12, -d + 7 = 10*g - 7*g. Let s(q) = q**2 - 6*q + 2. Let p be s(6). Solve -n + p = -g*n for n.
-2
Let a(l) = 3*l**3 - 4*l**2 - l - 5. Let m(g) = -16*g**3 + 21*g**2 + 4*g + 26. Let r(c) = -11*a(c) - 2*m(c). Let n be r(3). Solve f - n = 1 for f.
4
Let q(j) = -3*j + 47. Let b be q(11). Solve 1 + b = 3*o for o.
5
Suppose 5*m + 2 = 7. Let t = -54 + 89. Let x = t + -35. Solve -2*h + 9 - m = x for h.
4
Let k = 18 - 18. Suppose -2 = -b - k*b. Let d = 0 + b. Solve -p = -0 - d for p.
2
Suppose 4*j - 2*p - 5 = j, 0 = -5*j + 3*p + 9. Let l = 6 - j. Solve l*x - 8*x = -25 for x.
5
Suppose 5*d = d + 40. Solve d = 5*x + 20 for x.
-2
Suppose 4*l + 5*n = 7*n + 22, n = 3*l - 14. Suppose 60 = 2*w + 2*w. Let u be 3/w - 39/(-5). Solve 0 = l*f - u*f - 10 for f.
-2
Suppose 0 = -4*w + 5*w - 2. Suppose 3*j - p + 4*p = 12, -28 = -4*j + w*p. Solve -j = -2*m + 4 for m.
5
Let i be ((19 - 8)/(-1))/(-1). Solve -11*f - i = 22 for f.
-3
Suppose -2*w + 3 = -1. Suppose -w = 22*n - 21*n. Let m(p) = p**3 + 4*p**2 + p - 2. Let t be m(n). Solve -8 = -t*k + 8 for k.
4
Suppose 7*w = -w. Suppose 3*v - 8 = v. Solve 0 = -t - w*t + v for t.
4
Let t be (0/2)/(1 - 0). Suppose 6*n = 13 + 5. Suppose -20 = -8*d + n*d. Solve d*b + b = t for b.
0
Let q = 28 + -2