) = x**3 - 15*x**2 + 15*x + 8. Let u be w(14). Solve 19*h - u*h - 12 = 0 for h.
-4
Let v(d) = -d**3 - 7*d**2 - 9*d - 14. Let t be v(-6). Suppose -5 = t*o - 5*o. Solve 5*p + 0 + o = 0 for p.
-1
Let h(q) = q**2 + 10*q + 3. Suppose 4*u = 8*u + 40. Let j be h(u). Solve -o = -0*o + j for o.
-3
Let i(f) = -f**3 - 9*f**2 - 5*f + 18. Let a be i(-8). Let u be (-32)/a + (-15)/45. Suppose -4*w + 3*w + 16 = u*y, 16 = 2*y - 2*w. Solve -2*x + 2 + y = 0 for x.
3
Let o(g) = -4*g**2 + 5*g + 5. Let k be o(-2). Let w = 27 + k. Solve 9 = 3*b - w for b.
5
Let w be 1*((-2)/1 + 10). Suppose 7*y = w*y - 4. Solve 0*g + y*g - 12 = 0 for g.
3
Suppose -38*g = 18*g - 1064. Solve -g - 9 = -7*h for h.
4
Let i = 243 + -173. Let n = -62 + i. Solve 20 = n*x - 3*x for x.
4
Suppose -13 = -2*h + 5*d, -23*h = -19*h - 4*d - 20. Suppose 0*z + 28 = 2*z. Suppose -z = -h*a + 6. Solve -3*u = a - 14 for u.
3
Let n(x) = x**3 - 7*x**2 + 7*x - 12. Let f(m) = m**2 - m - 1. Let q(z) = 2*f(z) - n(z). Suppose -2*u = 5*u - 56. Let c be q(u). Solve c*o + o = 0 for o.
0
Let a be 11 + -8 + 2 + -2. Solve -2*q = -a + 1 for q.
1
Let z be (25/(-5) - -6)*(1 - -1). Let v(q) = 2*q + 3. Let a be v(z). Solve 13 + a = -4*n for n.
-5
Suppose 11 - 36 = -5*g. Suppose -4*k + 0*k + o = -21, 0 = -2*k - 4*o - 12. Suppose -v = -4*z + 4, -2 - 1 = k*v - 3*z. Solve v = -0*a + g*a + 25 for a.
-5
Let g(y) = y + 2. Let u be g(-2). Suppose -6*k - 3 + 99 = 0. Suppose 16*j = 12*j + k. Solve -12 + u = -j*d for d.
3
Let g be (-1905)/254*1/(6/(-8)). Solve 13*n = 8*n + g for n.
2
Let s = 41 + -37. Suppose 13 = s*h + 3*i, 0 = 2*h + i + i - 6. Let j(l) = l**2 - 6*l + 2. Let f be j(7). Solve h*p + f = -7 for p.
-4
Let v(t) = 2*t**2 - 3*t - 4. Let g be v(3). Suppose 17 + 13 = -g*r. Let f be (-270)/(-12)*(-4)/r. Solve -5*k - 10 = f for k.
-5
Let f = -58 + 61. Suppose -x + 37 = f*x + 5*w, 0 = -3*w + 15. Let u be 2*1 - (-2)/(-1). Solve y + x*y = u for y.
0
Let c = 40 - 8. Suppose c = 7*d + 4. Solve -m + 12 = -d*m for m.
-4
Let k(c) = c**3 - 5*c**2 - 3*c - 3. Let g be k(6). Let b = 3868 - 3863. Solve g = b*f - 0 for f.
3
Let r(c) = 8 - c**2 + 2*c - 2 - 2. Let d be r(0). Solve -d*h + 6 = -h for h.
2
Let g(l) = l - 10. Let m be g(12). Suppose -m*i + 3 = -i. Solve i*r - 6 = 6 for r.
4
Suppose 0 = -3*h + 2*y + 6, 5 = -5*h - 3*y - 4. Suppose -28 = -4*x - 4*p, 0 = -x + p - h*p - 1. Suppose 3*n - x = 3. Solve -o + n = o for o.
1
Suppose 2*k + 2 = 0, g - 5*k = 5 + 2. Suppose -h + g = -3. Suppose 7*f + 5 = -4*y + 2*f, 5*f + h = -y. Solve -3*r + 12 = -y for r.
4
Let n = 1 + 1. Suppose -3*z + 4 = -4*t, 3*t + 20 = 5*z + 6. Suppose i - 30 = -5*k, -k + z*k = i + 18. Solve -k*y + 4 = -n*y for y.
1
Suppose -4*b + 4 = -5*b - 3*c, -12 = -2*b + 4*c. Solve 35*j - 33*j + b = 0 for j.
-1
Suppose 0 = 2*b - 5*b + 15. Let f be (30/(-4))/3*(-4)/b. Solve f*k + 0 = 6 for k.
3
Let v(n) = -n**2 + 6*n - 18. Let k be v(5). Let a(u) = u + 15. Let l be a(k). Solve l = -3*j + 2*j for j.
-2
Let k(o) = o**3 + 12*o**2 - 6*o - 12. Let v be k(-12). Let w be 4/(8/(-14))*v/(-21). Solve 9*f - 5*f - w = 0 for f.
5
Suppose 0 = 89*n - 84*n - 55. Solve 7*y - n + 4 = 0 for y.
1
Let n be ((-8)/6)/2 - (-170)/30. Suppose n*b - f = f + 22, -2*b + 3*f = 0. Solve 2 - b = 4*w for w.
-1
Suppose 2*r + 2*r = -184. Let f = -45 - r. Solve 3 = -y - f for y.
-4
Let o be ((580/5)/4)/(-1). Let d = 34 + o. Solve -d - 4 = -3*f for f.
3
Let b be 0/2 + 4 + 4. Solve -b*l = -3*l for l.
0
Let n be -1*(-2 - 0)*1. Let f be 3 - (n + -2)*-1. Let d(i) = i**2 + 14*i - 35. Let v be d(3). Solve v = -f*a + 4 for a.
-4
Let p be (-2)/(-22) + 8/704*-8. Solve -13*v + 23*v - 40 = p for v.
4
Let f(h) = h. Let z be f(0). Suppose 0 = 4*k + 2*d - 3*d - 28, -4 = -d. Suppose 2*a - 22 = -4*q, 3*q - k*q = -a - 31. Solve 2*g = -z - q for g.
-3
Suppose -5*g + 424 = -3*l, 136*g = 133*g + 2*l + 255. Solve -12*f = -g + 23 for f.
5
Suppose 0 = -2*u + b + 5, -1 = b - 4. Let a = 1026 + -1018. Solve -u*r - a = -0*r for r.
-2
Suppose 0 = 26*v - 25*v - 6. Solve 2*r - v = -4*r for r.
1
Let r(w) = -2*w**2 - 38*w - 16. Let q be r(-18). Solve 23*g - 19*g = -q for g.
-5
Let o be (-2)/(-4)*(10 + -10). Let w = -1 - -14. Let y = -11 + w. Solve o = -y*r + 5*r - 15 for r.
5
Let k be 256/18 + (-8)/36. Let s = k - 9. Solve -u + s = -0 for u.
5
Let c be 18/4*8/54*3. Suppose -r - 5 = 6. Let z = r + 13. Solve 3*p = z*p - c for p.
-2
Let f be (-12)/8*20/6 - -11. Solve -10*m + f*m = 0 for m.
0
Let s(t) = t**2 - 141*t - 730. Let v be s(-5). Solve v = 2*z + 22 - 32 for z.
5
Let i(d) = d**3 - 7*d**2 + d + 12. Let r be i(5). Let u = -29 - r. Solve -3*t = -u + 1 for t.
1
Let j = -1828 - -1858. Solve 117*p + j = 111*p for p.
-5
Let c be -3*(8/6)/(-2). Suppose 7*l = r + 3*l - 119, 0 = -5*r + 2*l + 685. Let p = r - 136. Solve -d - p = c*d for d.
-1
Let c = -105 + 110. Solve 0 = 2*m - c*m - 15 for m.
-5
Let s(p) = -6*p - 18 - 2*p - 3*p + 14*p. Let g be s(7). Solve -g*o = -o for o.
0
Suppose -5*s + 15 = c, -s - 3 = -2*s. Suppose 0 = 3*d + 5 + 10. Let j = -3 - d. Solve j*f + c + 2 = 0 for f.
-1
Suppose -15*l = -31*l + 96. Suppose -2*p - 2*m + 22 = 0, -4*p + 0*m - 2*m + 38 = 0. Solve p*r + 10 = l*r for r.
-5
Let t = -403 - -415. Solve -4*k + t = -k for k.
4
Let c = -211 + 215. Solve p = 5 - c for p.
1
Let q(a) = 5*a**2 - a + 0*a + a**3 + a - 3 + 2*a. Let k be q(-4). Suppose 2*d + 0*y = -2*y + 10, k*y - 25 = 4*d. Solve d = 7*g - 2*g for g.
0
Let y = -439 + 448. Solve 0 = y*o - 5*o + 20 for o.
-5
Let u be (-7 + (-4 - 3))/(1 - 0). Suppose -2*r = -r - 21. Let p = r + u. Solve 2*k = p*k for k.
0
Let n = 147 - 154. Let x = 32 + n. Solve -5*a + 0*a + x = 0 for a.
5
Let m = -44 - -46. Suppose -5*j - m*n + 35 = -5*n, -2*n = 0. Solve 0 = j*b - 2*b - 15 for b.
3
Let l = 81 + -42. Let c be (3 + l/(-3))*6/(-10). Solve -2*z + c*z = -12 for z.
-3
Suppose 8*u - 428 = -404. Solve -6*d + u = 9 for d.
-1
Let p be ((-2)/(-1))/(3/12). Suppose 4*m - 4*g + 2*g = p, 5*m - 5*g = 5. Suppose -4*d = 6*n - n - 10, -6 = 2*d - 3*n. Solve -m*y + d*y + 12 = 0 for y.
4
Let y(v) = -11*v**3 - 25*v**2 - 22*v + 19. Let u(k) = 5*k**3 + 12*k**2 + 11*k - 9. Let s(r) = 9*u(r) + 4*y(r). Let n be s(-6). Solve 2*l + n + 9 = 0 for l.
-5
Suppose 16*c - 20 = 6*c. Suppose -7*q + 20 = -c*q. Solve -q*r - 9 = -7*r for r.
3
Let o(d) = -4*d - 14. Let w be o(-4). Suppose w = r + 1. Solve 5*i - 16 = -r for i.
3
Suppose -277*b - 6 = -279*b. Suppose -3*l - 2*j = -0*j, 3*l + 3 = -3*j. Let v be 2/(3/(3/2)). Solve l + v = -b*n for n.
-1
Let q = 1694 + -1678. Solve -3*g + q = -7*g for g.
-4
Let y be (-8)/6 + (-920)/(-276). Solve -o + y*o = 2 for o.
2
Suppose -2*n = -116 - 4. Let v = -55 + n. Let x(j) = -j**3 + j. Let a be x(1). Solve v = 5*b - a for b.
1
Suppose 19*t + 2311 - 2501 = 0. Solve t*d = 5*d - 25 for d.
-5
Let i = 5 + -3. Let z(g) = 0*g - 1 + 16*g**i + 0*g - 11*g**2. Let y be z(-1). Solve -w = -3*w - y for w.
-2
Let h(x) = x**2 + x - 7. Let c be h(-4). Suppose c*u + 1 = 1. Solve -3 = -u*w - w for w.
3
Let j = 23 - 20. Let o be ((-40)/(-12))/(1/j). Suppose -5*v = -4*b - 5, v - o = -v. Solve 0 = -2*s + s - b for s.
-5
Let a = -391 + 393. Solve -6 = -4*c - a for c.
1
Let l be (8/(-10))/(2/(-5)). Suppose 2*z + 29 - 21 = 0. Let d be ((-12)/8)/(l/z). Solve u + 0*u = -d for u.
-3
Suppose -5*g + 3*w = -31, 5*w = 3*g - 0*g - 9. Let q be (-6)/24 - (-39)/(-4). Let u = -8 - q. Solve 0*t + u*t - g = 0 for t.
4
Let r = 1069 + -1066. Solve -r*p + 39 = 30 for p.
3
Let p be (-3)/(4/14 - 36/28). Suppose 5*n + 25 = 4*t, 2*t + p*n + 3 = -12. Solve 4*a + 12 = -t for a.
-3
Suppose 0*i = -i + 16. Let m = i + -12. Solve m*y + 9 = -3 for y.
-3
Let c(n) = -4*n + 232. Let k be c(46). Solve 0*z = -12*z - k for z.
-4
Let i = 9 + -9. Suppose -154*m = -152*m - 24. Solve -a + 4*a - m = i for a.
4
Let l be 0 + 2 + 0 + 0. Suppose 0 = -5*x + 4*x. Solve a = -x + l for a.
2
Let b(u) = 4*u - 13. Suppose x = 3*p - 2*x - 12, 3*p - 36 = -5*x. Let o be b(p). Solve -o = -4*d + d for d.
5
Suppose 18 = 27*z - 117. Solve -v + 4 = z for v.
-1
Suppose 0 = -4*m + 40 + 256. Let t = 75 - m. Solve -2*d + 3*d - t = 0 for d.
1
Let q(j) = -j**3 + 8*j**2 - 6*j - 7. Let i be q(7). Let n be -3*3/(-9) + -3. Let c be 78/8 - n/8. Solve -4*f - f - c = i for f.
-2
Let f be (3 - -1)*(-9)/(-12). Let p(d) = d - 1. Let m be p(f). Solve m*l + 0 + 4 = 0 for l.
-2
Let j(n) = n**3 +