5
Let c(b) = 11*b**3 - 12*b**2 - 14*b - 16. Let l(v) = 5*v**3 - 6*v**2 - 7*v - 8. Let n(a) = -6*c(a) + 13*l(a). Let u be n(-5). Solve u = -s - 1 for s.
-3
Let w be 140/21 + (-3)/(-9). Solve 22 = 3*u + w for u.
5
Let f = 183 - 181. Solve 0*g = -g + f for g.
2
Suppose 2*t - 14 = -3*l + 7*t, 3*t = -l. Let r be (-1 - l) + -2 - 0. Let w = 10 + r. Solve 0 = -i + w for i.
4
Suppose -2*w = 3*w. Solve -12 = 3*q - w*q for q.
-4
Let v(i) = i**2 - 2*i - 5. Let p be v(4). Suppose -4*n = -p*f + 12, 3*n - 16 = -7*f + 3*f. Solve -a + f = a for a.
2
Let c = 7 + -2. Suppose 4*x + 12 = -c*k, x - 16 = -x + 3*k. Solve 0 = -0*z + x*z + 4 for z.
-2
Suppose -h + 2 = i + 5, 3*i = 5*h + 31. Solve 1 = -u - i for u.
-3
Let q(u) = u**3 + 4*u**2 - u + 2. Let g(w) = 2*w**3 + 8*w**2 - 3*w + 4. Let n(r) = -3*g(r) + 5*q(r). Let i be n(-5). Solve -c + i*c = 6 for c.
3
Suppose 5*w = 4*i + 115, 0*w + i - 33 = -2*w. Solve -4*y - 1 - w = 0 for y.
-5
Suppose -4*o + 1 = 5*m - 1, 4*m = -o - 5. Solve o*v = 8*v - 10 for v.
2
Suppose 0*v = -5*v - 70. Let u be 120/28 - (-4)/v. Suppose 0*w - u = -w. Solve a = -w*a + 5 for a.
1
Let x(i) = 1 - 2 + 5*i + 0*i - i**2. Let c be x(4). Solve -3*k = -0*k - c for k.
1
Suppose -8 = -2*s - 5*k, -10 - 2 = -3*s + 4*k. Solve 3 = 3*f - s*f for f.
-3
Let d be 3 + (2 + -3 - 0). Suppose 9 = 3*f - d*b, -9 = -0*f - 3*f + 5*b. Solve 0 = f*v + 2*v + 20 for v.
-4
Let l = 12 - 7. Suppose -4*v - 4*n = -48, v + l*n = 5*v - 21. Solve -2*z + v = z for z.
3
Let o(x) = -x**3 + 4*x**2 - x - 2. Let d be o(4). Let c be -2*3*3/d. Suppose 2 = -2*f + c*f. Solve s = -2 - f for s.
-4
Let n be ((-2)/3 + 0)*6. Suppose 5*b - 15 = 0, -14 = -3*c - 4*b + 16. Let j = c + n. Solve -4 + j = 2*g for g.
-1
Let i(k) = k**2 + 2*k - 1. Let v be i(-3). Let g be 0 - (v + -3 + -2). Let l be (-2)/(3 - -1)*-12. Solve l*c - 15 = g*c for c.
5
Suppose r = 5*r - 4. Solve 5*v + r = -19 for v.
-4
Suppose -5*u - 5*q - 95 = 0, -161 + 58 = 5*u - 3*q. Let b be (-8)/u + 16/10. Solve -b*r = 3*r - 25 for r.
5
Let w = -4 + 4. Suppose w = z + 3*z + 4. Let u be z/4 + 3/12. Solve v = -u*v - 1 for v.
-1
Let q be (11 + (-4 - -3))/1. Let k be (1 + 3)*q/8. Solve 1 = k*o - 4 for o.
1
Suppose 2*u - 26 = -5*h, -11 - 8 = -4*h - u. Solve -h*p + 9 = -3 for p.
3
Suppose -5*w + 13 = -17. Solve -w = -2*p - 0 for p.
3
Suppose 0 = -j, 5*l = j + 3*j + 25. Suppose -3*a - 2*d = -16, 0 = -3*d + 2*d + 2. Suppose 3*o = -4*k + 12, -k = -2*k + a*o + 3. Solve 0 = k*c - l*c + 6 for c.
3
Let i(k) = -k**3 - 4*k**2 - 4*k - 1. Suppose -8 = 4*b, -2*c + 2*b + 18 = 4. Suppose -5*s = 0, c*s - 1 = -r - 4. Let w be i(r). Solve -w*v - 20 = 3*v for v.
-4
Suppose 4*t = 4*l - 42 + 14, 4*t - 8 = 0. Suppose l = -f + 4*f. Suppose -3*q = -9 - 9. Solve 0 = f*k + q - 3 for k.
-1
Let a be 3 + 4/2 + 0. Suppose -3*t = -4*b + 11, t + 5 = a*b + 6*t. Solve 0 = j + b*j + 6 for j.
-2
Let q = 1 + 1. Suppose -27 = w + q*w. Let h be 8*(-3)/w*3. Solve 3*o + h = -o for o.
-2
Let w(n) = -n**2 + 11*n - 14. Let k be w(9). Solve -2*u - 6 - k = 0 for u.
-5
Let j(v) = v**3 + 10*v**2 + 9*v + 6. Let r(z) = z**2 + 6*z - 4. Let o be r(-5). Let g be j(o). Solve -3*f + g = -0*f for f.
2
Suppose 8*j = 3*j + 5*z + 70, -3*z + 18 = j. Solve -j = 2*h - 5*h for h.
5
Suppose -3*s + 2*x + 6 + 5 = 0, 0 = 4*x + 4. Solve s*y + 5 = 4*y for y.
5
Let m be ((-52)/39)/(8/(-18)). Solve 0 = -0*d + 3*d - m for d.
1
Let u be (12/(-10))/(10/(-25)). Solve -9 = u*k - 0*k for k.
-3
Suppose -35*h + 31*h + 12 = 0. Solve -b + h = -2*b for b.
-3
Let o be (-1)/(((-30)/(-18))/(-5)). Solve 8*t - 20 = o*t for t.
4
Let o(r) = 3*r**3 + 12*r**2 - 3*r - 7. Let c(x) = -2*x**3 - 6*x**2 + 2*x + 3. Let t(k) = 5*c(k) + 3*o(k). Let g be t(6). Solve g = 3*j + 2*j for j.
0
Suppose 3 = 5*l + 3*r, 8 = 7*l - 3*l + r. Solve l*p + 25 = -2*p for p.
-5
Let p(u) = u**3 - 4*u**2 - 4*u - 4. Let c be p(5). Let h(v) = -v + 7. Let t be h(5). Suppose 0 = -2*g + 6*x - x, g - 9 = -t*x. Solve g*y = -4 - c for y.
-1
Suppose -1 = -5*o + 59. Suppose 4*b = b + 9. Suppose b*n = 6*n - o. Solve n*h + 0*h = 16 for h.
4
Let a = 104 + -54. Let f be (6/(-5))/((-4)/a). Solve 35 = 5*m + f for m.
4
Suppose 3*u = 37 + 29. Let y(o) = -o**3 + 4*o**2 - 2. Let n be y(4). Let i be 5 - -1*(2 + n). Solve -7 + u = -i*q for q.
-3
Suppose -4*p = -8*p. Solve p*x + 2 = -2*x for x.
-1
Let u be (-24)/(-16) - (-3)/2. Suppose a - u*o + 15 = 0, -3*a - 5*o + 25 = a. Solve a = 3*v - 5*v + 10 for v.
5
Suppose 14 = 4*t - 2. Suppose k = 5*b + 26, t*b - 3 = -19. Solve 5*u + 9 = -k for u.
-3
Let y = -5 + 3. Let v(p) = -p**3 - 2*p**2 + p + 2. Let f be v(y). Solve f = -q - q for q.
0
Let n be (-6)/(-42) - (-34)/7. Suppose 2*i + 9 = 2*u - 1, u - 17 = n*i. Solve -u*c = -c for c.
0
Let o be ((-12)/(-9))/2*-3. Let n be 4/o - (-2 + -2). Solve -3*f + n*f = 0 for f.
0
Let k = -8 + 14. Let j(i) = -6 + i**3 - 2 - 6*i**2 + 10. Let c be j(k). Solve -c = -n - 3 for n.
-1
Suppose 4*x - 29 = -5*d, -5*x + 0*d - 5 = -2*d. Solve 2*m = x - 9 for m.
-4
Suppose -4*y = 28 - 36. Solve -1 = b - y for b.
1
Let z(k) = -k**3 - 2*k**2 + 2*k - 3. Let a = 3 + 0. Let l = -6 + a. Let q be z(l). Solve q = 2*v - 5*v + 9 for v.
3
Let f(i) = 8*i - 3. Let t be f(6). Let d be (-4)/6*t/(-5). Let p be (10/d - 0)*3. Solve 0 = p*y - y + 12 for y.
-3
Suppose -3*k + 16 - 4 = 0. Solve -3 = -k*j + j for j.
1
Let s be 3/9 - 16/(-6). Let v(x) = -s - x + 2 - 6. Let k be v(-9). Solve -k*l = 1 - 7 for l.
3
Let b = 102 - 95. Solve -8 = -o - b for o.
1
Let g(u) be the second derivative of -u**5/20 - u**4/2 + u**3/6 + 3*u**2 - 2*u. Suppose 4*o - 3 = -27. Let c be g(o). Solve c*m - m + 4 = 0 for m.
4
Let z be -6*-4*(-5)/40. Let y(i) = i**2 + i - 5. Let u be y(5). Let l = z + u. Solve -5*h = -l - 3 for h.
5
Suppose -2*o + 12 = -18. Let n = o + -12. Solve 3*b - n + 15 = 0 for b.
-4
Suppose 0 = -5*r + 6*r - 20. Let w = 18 - 13. Suppose -w*l = 20, -2*h - 5*l - 11 = h. Solve -h*q + r = q for q.
5
Suppose 4*d - 7*d + 3*q = 0, -d + 4 = q. Solve 0 = -2*b + 2 + d for b.
2
Let m(z) = -z - 6. Let x be m(0). Let h(o) = o**3 + 6*o**2 + 2. Let k be h(x). Suppose -2*t + 3 = -1. Solve t*v = -0*v + k for v.
1
Suppose -2*a = 7 + 7. Let r = a - -7. Solve r = -4*y - 1 - 7 for y.
-2
Let b(n) = -5 - n + 10 + 9. Let f be b(11). Suppose 2*q - f*k = -7*k + 10, 0 = 4*q + 5*k - 17. Solve -q*g = -6*g - 3 for g.
-1
Suppose -3*q + 5*q - 10 = 0. Suppose -5*i - 2*r = -r - 50, q*i + 3*r = 60. Solve -i = -2*h + 1 for h.
5
Let d = 101 + -99. Solve d*v - v = -4 for v.
-4
Suppose 2*f - 7*f = -25. Suppose -58 = -f*n + 2. Solve -2*y - 2*y = -n for y.
3
Suppose 4*w - 35 = -5*u, 0*u - 17 = -4*w + u. Suppose w*z - 16 = z. Solve z = c - 0*c for c.
4
Let m = 0 + 5. Solve 2*a - 5 = m for a.
5
Suppose -5*r + r - 776 = 0. Let k be 2/9 + r/(-18). Suppose 4*m = -4*y - 1 - k, -m = -y - 3. Solve m = 5*a + 19 - 4 for a.
-3
Suppose 9 - 3 = 2*g + 4*i, -5*g + 28 = -3*i. Let c be (12/(-3) - -3) + 3. Solve c*v - 3 = g for v.
4
Let m = 3 + -1. Let f be (-1)/((m/(-4))/1). Let x be f/4 - 14/(-4). Solve 8 - 20 = x*v for v.
-3
Suppose 0 = l - 0*l. Let x = l + -2. Let o be 0/1 + (-30)/x. Solve o + 0 = 3*d for d.
5
Let u = -15 - -10. Let d = u + 5. Solve -12 = -4*a - d for a.
3
Suppose 3*m - 7 - 2 = 0. Solve 0 = m*r - 0*r - 3 for r.
1
Let q(v) = v**2 + 2. Suppose -3*y = j - 12, -40 = -5*j - 5*y - 0. Let c = j - 6. Let d be q(c). Solve -3*r + 11 = d for r.
3
Let b = 11 + -11. Let z = -3 + 7. Suppose -k + 14 = 2*w, 0*w + 36 = z*k + 4*w. Solve -k + b = -q for q.
4
Let u(c) = -2*c - 1. Let h be u(-2). Suppose -15 = -3*l, 2*l + 2*l - 35 = -h*p. Let j be (p*-1)/((-3)/3). Solve 29 = -j*m + 4 for m.
-5
Suppose 12 = -q + 3*q. Let v(d) = -d**2 + 8*d - 6. Let l be v(q). Solve 0 = -g + 4*g - l for g.
2
Suppose 3 = 2*h - 1. Suppose -h*m + 1 = -3. Suppose v = -2*k - m*v + 15, k - 12 = -3*v. Solve -k*s - 1 + 4 = 0 for s.
1
Let a(g) = -g**3 + g. Let y be a(0). Suppose -5*o + 0 = -10. Let j = o - -2. Solve y = j*t + t for t.
0
Suppose 7 + 7 = 2*b. Let m(l) = l - l**3 + 7*l**2 - 7*l + 5*l + b. Let x be m(7). Solve x*q = -5*q + 5 for q.
1
Suppose 0 = -2*z - p + 9, -5*p = -z + 7 + 3. Let v be (27/(-9))/(0 + -1). Solve v*u + z = -2*u for u.
-1
Suppose 0*m - 8 = -4*m. Suppose v + 4*g = m*v, -3*v - 5*g = 0. Let l = v + 2. Solve -l - 1 = -3*z for z.
1
Suppose 0*z - z = 2. Let r be z/(-3) - (-64)/(-6). Let u = -6 - r