3 - 3*f**2/2 + 2*f + 8. Let z be l(1). Solve 3*a - z + 18 = 0 for a.
-4
Let x = 28 - 77. Let r = x + 29. Let y be (-16)/r - (-2)/10. Solve 11 - y = -2*v for v.
-5
Let v = -35 - -37. Solve -v*n + 6 = 4 for n.
1
Suppose 2*j = -5*s + 26, -17 = -2*j - j - 2*s. Suppose t = -j*t. Solve -v + 3*v = t for v.
0
Suppose 5*z + f = -5, -z + 5*f + 25 = -4*z. Suppose -5*p = -4*t - 10*p + 33, -3*t - 14 = -4*p. Solve z = s - t - 0 for s.
2
Let v = 16 - 13. Let w(o) = 10*o + 12 - o**2 - v*o + o. Let h be w(9). Solve h*u + 2*u = -5 for u.
-1
Let o be (-261)/4*96/36. Let m = o - -179. Solve c = m*c - 16 for c.
4
Let d = -87 + 111. Solve -11*x = -17*x + d for x.
4
Suppose -644 = -109*u + 63*u. Solve 30 = -b - u*b for b.
-2
Let u be 1298/242 - (-4)/(-11). Let j = -91 + 142. Suppose 0*t - 51 = -4*n - t, -3*n + j = 5*t. Solve -u*s + n = -2*s for s.
4
Suppose 97 = -13*a + 54*a - 26. Suppose 0 = 5*v - 18 - 22. Let k = -1 + v. Solve k*g + a = 4*g for g.
-1
Let x be (-2)/(-10) - 58/(-10). Suppose m - 5 = u, -18*m + 3*u + 19 = -14*m. Solve -m*l + 14 = -x for l.
5
Let p = 7 + -5. Let q be (204/4)/(9/54). Suppose 301*f + 10 = q*f. Solve f*y - p + 8 = 0 for y.
-3
Let q = 1414 + -1380. Solve -q = -12*z - 10 for z.
2
Let i be (2 + 0 + -2)/1. Let u = 6163 + -6163. Solve b + u*b - 1 = i for b.
1
Let d = 21 - 62. Let q = 43 + d. Solve 7*c - q*c = 25 for c.
5
Suppose -20 = -2*g - 2*g, -g + 30 = j. Let f(c) = c**3 + 21*c**2 - 4*c - 80. Let r be f(-21). Solve j = -r*d + 9 for d.
-4
Suppose 3*a = -4*k + 431, -2*a = -2*k - 0*a + 198. Let o = k + -102. Solve 2 + o = -4*s for s.
-1
Let v(m) = -m**3 - 35*m**2 - 5*m - 171. Let i be v(-35). Solve i*k - 34 = -38 for k.
-1
Let r be 110/20 + (-2)/4. Suppose -5 = r*j + 5. Let h be j*(3/2 - 3). Solve 2*g - 1 = h for g.
2
Let x(m) = m**2 + 9*m + 20. Let w be x(-11). Suppose -2*i = w - 50. Solve i*d = 3*d - 2 for d.
-2
Let x(u) = u**3 - 2*u**2 - 7*u + 4. Let t be x(4). Solve 6*b - 8 = t*b for b.
-4
Suppose -2*v = 3*r - r - 44, -3*r + 4*v = -38. Suppose 2*l - r = -l. Solve 4*h = -2 + l for h.
1
Suppose 37 + 173 = 21*k. Solve k = 4*z + 14 for z.
-1
Suppose 31 + 39 = 14*y. Let a be (y*(-1)/2)/(7/(-14)). Solve -a*w = -24 - 1 for w.
5
Suppose 3*f + m + 36 = 0, 5*m - 5 = 2*f + 2. Let y be (-26)/4*2/1. Let q = f - y. Solve 0*w - 10 = q*w for w.
-5
Let f = 532 - 524. Solve -f*a = -3*a - 25 for a.
5
Suppose -36*s - 110 + 146 = 0. Solve -j + 1 = -s for j.
2
Suppose -2*t - 2*f = 0, -t - 4*f + 19 = 4. Let r = t - -35. Let w = r + -27. Solve n - 1 = w for n.
4
Let w(i) = 8*i - 12. Let x be w(4). Solve -21 = -q - x for q.
1
Let a(s) = 3*s**2 + s - 1. Suppose -17 = -2*m - m - 4*h, 4*m + 4*h = 28. Let b = 9 - m. Let l be a(b). Solve v = 4*v + l for v.
-3
Suppose 0 = 4*h - 3*j + 7, -4*h + 3*h + 2*j - 8 = 0. Let b = h + -2. Suppose -p + 37 - 12 = 4*z, -3*z + p + 24 = b. Solve 5*s - 3 - z = 0 for s.
2
Suppose -156 = -o - o. Let r = o + -72. Solve k - r = -k for k.
3
Suppose z + 0*z - 2*w - 8 = 0, 5*w + 20 = 2*z. Let i be -3 + (-2 + 2 - z). Let g(v) = -v**3 - 2*v**2 + v - 1. Let x be g(i). Solve n = -x + 4 for n.
-1
Let p = 56 - 18. Suppose 33*n = p*n - 30. Solve -3*c + c = n for c.
-3
Let z(w) = w**3 - w + 3. Suppose 0*o = -4*o. Let q be z(o). Suppose -8*k + q*k + 70 = 0. Solve 4*g = 2 + k for g.
4
Let c(x) = -2*x**2 + 6 - x**3 + 10*x + 0*x**3 + 2*x - 5*x. Let p be c(-4). Suppose -5*m - 13 + 28 = 0. Solve -q - p = -m*q for q.
5
Let u = -18 - -22. Suppose -u*c - c = -4*f - 46, 27 = 3*c - 3*f. Suppose -z + 6*z - c = 0. Solve z*m + 9 = 1 for m.
-4
Let c be 109 - (9 - 13 - -2). Solve -c*d + 108*d - 9 = 0 for d.
-3
Let d be (-14 - -9)/(15/(-9)). Solve 2*k + d + 3 = 0 for k.
-3
Let k(z) = z**2 - 10*z - 2. Let p be k(10). Let j = p + 10. Let f = j + -7. Solve o = f - 0 for o.
1
Let o be 2/6 - 62/6. Let u = 8 - 24. Let q = o - u. Solve q = -4*k - 6 for k.
-3
Let t be (-5 - -23)/(3/(-45)*-3). Let q be ((-4)/5)/((-12)/t). Solve f - q = -2 for f.
4
Let i(f) = f**3 + 28*f**2 + 54*f + 71. Let q be i(-26). Solve 4*s - 7 = -q for s.
-3
Let g be -3 + 10 + -3 + 4. Suppose 3 = 2*w - a, -4*a = -2*w + 20 - 8. Solve g*c - 3*c = w for c.
0
Let x(d) = -11 + 12*d - 28*d + 15*d. Let k be x(-16). Suppose v - k = -y - 0*v, 3*y = 3*v + 15. Solve -y*z - 2 = -7 for z.
1
Let d = -991 - -999. Solve -2 = 2*j + d for j.
-5
Let u = 140 - 65. Let t be ((-8)/(-12))/(5/u). Solve 0 = 5*s - t for s.
2
Let p(l) = l**2 + 4*l - 4. Let a = 1 - 5. Let g be p(a). Let u = g - -4. Solve r + 2 + 2 = u for r.
-4
Let w be (-133)/(-45) - 94/(-2115). Let a be 0 + 0 + (5 - 0). Solve -w = -a*z + 7 for z.
2
Suppose 4*x - 360 = -336. Solve 0 = x*g + 4*g for g.
0
Let q(o) = -o**3 + 6*o**2 - 2*o - 9. Let f be (-60)/36*3/(-1). Let d be q(f). Solve -2*l = d - 14 for l.
4
Suppose 56*d = 68*d. Solve d = 21*u - 29 - 34 for u.
3
Let a be 2 - 1 - 2*-2. Let j = 7577 + -7577. Solve 5*v - a = -j for v.
1
Let p(v) = v**3 + 3*v**2 - 20*v - 9. Let i be p(-6). Solve i*y + 3*y = -18 for y.
-3
Let o be 62 + -5 - (-10 - -17). Solve 0 = -14*v + 4*v + o for v.
5
Let p(u) = u**3 + 31*u**2 + 27*u + 17. Let i(b) = -2*b**3 - 32*b**2 - 26*b - 18. Let k(v) = -2*i(v) - 3*p(v). Let n be k(30). Solve -7*c + 2*c = -n for c.
3
Let s(i) = -2*i**2 + 5*i + 5. Let n be s(0). Solve -r + n = 4 for r.
1
Let i = -25 - -33. Suppose 5*g - 9 - 6 = q, -3*g + 27 = 3*q. Let u be (0/g)/(1 + -2). Solve 0 = -2*y - i - u for y.
-4
Let s(q) = -q**3 + 8*q**2 + 9*q + 3. Let n be s(9). Suppose -3*b - 9 = n*g - 0*g, 3*g - 3*b = 21. Solve 0 - 4 = -g*o for o.
2
Let f(z) = -5*z + 3*z - 15 + 6. Let s be (-31 + 25)*-1*1*-1. Let h be f(s). Solve h*r - 4 = -19 for r.
-5
Suppose -5 = -9*r + 8*r. Suppose 0 = r*p - 4*p - 8. Suppose 28*g - 144 = -8*g. Solve g*s - 8 = p*s for s.
-2
Let t = 175 + -175. Solve t = -0*v - 2*v - 4 for v.
-2
Let k be 88/14 + (-65)/(-91). Solve -13*w = -6 - k for w.
1
Let l(f) = -f**2 - 7*f + 3. Let q be l(-6). Suppose 2*h - 2*y = -y + 3, 4*h - q = 5*y. Suppose 10*c = 5*c + 10. Solve -h = -j + c for j.
3
Let f(k) = k**3 - 6*k**2 + 5*k + 3. Suppose 3*a - 90 = a. Let m be a/(-6)*(-6)/9. Let z be f(m). Solve h - 16 = -z*h for h.
4
Let w = -7 + 23. Suppose -3*p + f - 5*f = -38, w = 2*p - 2*f. Suppose -4*h + p = -2. Solve 4*b - h*b = 2 for b.
2
Let m be (-6)/(-12)*((-4)/(-2) - -4). Let a be (m + 2)/1 - 5. Let g(x) = -x**3 - 4*x**2 - 6*x - 4. Let c be g(-4). Solve -5*t + c = -a*t for t.
4
Let j = 5 + -2. Suppose -4*f - 28 = -8*f - 2*q, -3*q = -4*f + 18. Solve j*o + f = -9 for o.
-5
Let s(g) = -g**3 - 2*g**2 + g - 3. Let d = -12 - -6. Let u = -10 - d. Let r be s(u). Solve -r = 4*y + y for y.
-5
Suppose -65 = -5*w - 5*n, n = 4*w + 2*n - 49. Suppose -y = 4*l + 17, 2*y - 5*y = -l + w. Let m = 6 + y. Solve -2 - m = -b for b.
3
Let l be ((-70)/42)/((-2)/12). Suppose c + 2*c + 5*k - 26 = 0, -k + l = 3*c. Solve 6*n - 16 = c*n for n.
4
Let o(l) = -l**3 - 8*l**2 + 7*l + 2. Let v be o(-8). Let s be ((-1)/(3/2))/(12/v). Solve s*j + 6 = -3 for j.
-3
Suppose -14*z + 13 = -43. Solve z*j = -7 + 11 for j.
1
Let f = -291 - -303. Solve f*b - 19*b = -35 for b.
5
Suppose -47*c + 58 + 412 = 0. Solve -11*n - c = -13*n for n.
5
Suppose 4*x + 0*x = -12. Let o(k) = -4*k - 2. Let r be o(x). Solve 5*z - r*z = 0 for z.
0
Let s(p) = -6*p - 24 + 2*p**2 - 3*p**2 - 2*p - 7*p. Let y be s(-13). Solve -y*z - 3*z = -25 for z.
5
Suppose 0 = 2*l - 3*l, 0 = y + 4*l - 3. Suppose -y*g - 3 = -z, -4*z = -2*g + 7*g - 12. Let w be ((-8)/(-6))/(z/18). Solve 3*t - 25 = w*t for t.
-5
Let i(v) = 2*v**2 - 17*v + 40. Let n be i(6). Solve 9*l - 7*l - n = 0 for l.
5
Let a = 1699 - 1694. Solve 9 = a*p + 24 for p.
-3
Suppose 3*m + r = 47, -m - 53 = -4*m + 5*r. Let b = -16 + m. Suppose b*k = -4*k + 3*i + 37, 0 = -2*k - 4*i + 24. Solve -5*d = 15 + k for d.
-5
Suppose -28 = -5*y - 9*y. Solve 0 = -y*a + 14 - 6 for a.
4
Let d be (-22)/(-2) + -115 + 107. Let f(g) = g**3 + 4*g**2 - 4*g + 5. Let w be f(-5). Suppose w = b + b. Solve b = -2*c - d*c for c.
0
Suppose 60 = 15*g - 30. Solve -g*p - 55 + 25 = 0 for p.
-5
Suppose 0 = -5*f + 3*b + 33, -56 = -4*f + 2*b - 7*b. Solve -5 = -f*l + 14*l for l.
-1
Suppose -38 = -5*l + 7. Suppose 0 = -3*c + c + 4*y + 22, -2*c = 2*y - 16. Let m = l - c. Solve -4*g - 20 = -m*g for g.
-5
Let n = -376 - -379. Let d(f) = f + 4. Let j be d(-4). Suppose n*g = j, 5*g - 4 = -2*o + 4. Solve 4*b - 12 +