 (-2)/(((-12)/27)/f). Solve -3 - a = -4*l for l.
3
Let o(c) = -c**3 + 7*c**2 - 11*c + 24. Let r be o(5). Solve -4 + r = 5*i for i.
3
Let g(d) = d**3 + d**2 + 4*d + 4. Let h be g(-1). Solve 3*i = -h*i - 12 for i.
-4
Suppose -x - 8 = 3*x. Let g be (2/1 - -23) + x. Suppose 8 = 2*s, 6*j - j + 2*s = g. Solve -j*f = f - 4 for f.
1
Suppose -4*o = -0*o + 3*a - 24, 3*a - 9 = o. Solve -7 = -o*j - 1 for j.
2
Let m = -8 - -10. Solve -3*b + 1 = -m*b for b.
1
Let s(t) = -2*t + 5 - 2 + 6 + t. Let u be s(7). Solve 0 = u*w + w for w.
0
Suppose -45 = -4*b - b. Suppose f - 11 = b. Suppose -f = -4*n - 0*n. Solve -9 = n*z - 8*z for z.
3
Let b be 2/3 + 110/33. Solve -4*p = 12 + b for p.
-4
Suppose -2*d = -3*f + 62, -2*f + 45 = -2*d - 3*d. Solve f = 4*n - 0*n for n.
5
Suppose 0 = -4*a + 2*a. Suppose -4*o + o + 45 = a. Solve -6*q + q = o for q.
-3
Suppose -3*w + 110 = 8*w. Solve 4*o - 6*o + w = 0 for o.
5
Let z be (-12 + 0)*(-3)/9. Suppose z*d - 28 + 0 = 0. Suppose -k - 4*m = -13, -k - 6*m + 4*m + d = 0. Solve -3*p + k - 4 = 0 for p.
-1
Suppose -4*j - 50 = -2*h - 0*h, -9 = -3*h. Suppose 0*r - 48 = -3*r. Let w = r + j. Solve -5*i + 0*i = -w for i.
1
Suppose -5*u = 4*b - 3*u + 64, 0 = 5*b + 5*u + 80. Let r = -4 - 4. Let f = r - b. Solve z + f = -z for z.
-4
Let n(z) = -z**3 - z + 6. Let l(j) = -j**3 - 2*j + 7. Let k(i) = -5*l(i) + 6*n(i). Let r be k(-3). Solve 6*w - 2*w - r = 0 for w.
4
Let c = -20 - -25. Let f(o) = o**2 + o - 8. Let b be f(-6). Suppose -t + 3*k - 14 = -2, b = 4*t + 2*k. Solve t*z - 2 = c*z for z.
-1
Suppose 3*i = 13 + 41. Let g = 23 - 20. Solve g*k - i = -6 for k.
4
Suppose -5*v = 2 - 12. Suppose -4 = -2*x - 3*u, v*x + 5*u = -0 + 4. Solve -3 = -3*m + x*m for m.
3
Let d = -28 + 16. Let h = -7 - d. Suppose -7 = -b + 5*m, 4*m = -5*b + 2*b + 2. Solve -b*w = h - 1 for w.
-2
Let i be 2*5 + -8 + 9. Solve -i = -4*w + 9 for w.
5
Let x = -16 - -28. Let t = x + -10. Let h = -9 - -15. Solve -5*w + h = -t*w for w.
2
Let t(a) = -3*a - 3. Let m be t(-1). Solve m = -0*n + 5*n for n.
0
Suppose -5*l = -2 - 13. Suppose r = 4*v, -6*v = -2*v - l*r. Let p(u) = -u**2. Let t be p(v). Solve t*h + 5 = -h for h.
-5
Let u = 6 - 3. Suppose z + 1 = -5*r - 2, -9 = 5*r + u*z. Suppose -2*d - 5*g + 4*g + 23 = 0, r = d - g - 13. Solve -m = -4*m + d for m.
4
Suppose 5*d = d + 36. Suppose -2*a - d = -3*s, -3*a + 32 = 3*s + 8. Solve -r = -s*r + 20 for r.
5
Let f = -9 + 19. Let x be (f/(-25))/(1/(-5)). Solve d - 4 + x = 0 for d.
2
Suppose 0 = -3*a - a + 16. Let r be 22/a - (-2)/(-4). Solve 0*v + r = 5*v for v.
1
Let y be 6 - (-2 - (1 - 3)). Solve y - 2 = -a for a.
-4
Let n(z) = z**3 - 6*z**2 - 4*z + 4. Let d be n(6). Let y be ((-30)/25)/(6/d). Solve y*h = -h + 5 for h.
1
Suppose 0 = -8*d + 5*d + 6. Solve d*f = 4*f for f.
0
Suppose 0 = -3*i - 0 + 9. Solve 0 = -i*n + 13 + 2 for n.
5
Suppose t - 2 - 3 = -2*w, -2*w + 2 = 4*t. Solve -w*p - 10 - 5 = 0 for p.
-5
Let n be 3 - (-1 + 2)/(7/(-49)). Solve 25 = n*h - 15*h for h.
-5
Let i(k) = k**2 - 2*k + 9. Let x be i(6). Let n be 3/9 + x/9. Let w = n + -4. Solve w*h - h = -4 for h.
4
Let g(n) = -2*n**3 + 12 + n**3 - 7*n + 7*n**2 - 3. Let u be g(6). Let f be (-3)/u + 2 - 1. Solve f = -k - 4*k for k.
0
Suppose -15 = -5*t - 2*j, 5*j - 23 = -4*t + 6. Solve 2*q + t = 5 for q.
2
Let y be (-12)/18*(-1 - (-25)/(-2)). Solve 0 = 5*j + y + 11 for j.
-4
Let z = 28 - 21. Solve 2*c - 1 = z for c.
4
Let t be (-6)/(-21) - 156/(-91). Suppose -4*v - 5 + 13 = 0. Suppose 0 = 3*a + a. Solve -4*n + t + v = a for n.
1
Suppose 0 = -r - 4*m + 44, -4*r = -2*m - 24 - 62. Suppose 4*s = -0*s + r. Let n = -1 + s. Solve -35 + 15 = n*h for h.
-4
Let u be (-2)/(1 + -3)*1. Suppose -5*f - u = v, -13 = -4*v - 3*f - 0. Suppose -v*l + 3*l + 2 = 0. Solve 0 = -l*m - 1 + 11 for m.
5
Let b(w) = 3*w**2 - 4*w - 2. Let r be b(2). Solve 8 = 2*s + r*s for s.
2
Let y be (6/(-4)*4)/(-2). Let w be y/(-12) - 9/(-4). Let i be 1/(-2) - (-3)/w. Solve -2*h = 1 + i for h.
-1
Suppose 3*l = h - 2 + 3, l + 5 = -5*h. Let c(r) = 4*r**2. Let a be c(h). Suppose s - 3*s = 5*z - 21, 3*s - a = -2*z. Solve z*d + 6 = -4 for d.
-2
Let t = -15 - -15. Solve 4*m - m + 3 = t for m.
-1
Suppose 0 = 4*k + 12, 19 = 3*g - 5*k - 2. Suppose -g*z + 60 = 3*z. Suppose -5*u + 15 = 0, -5*y + 5 = -y - 5*u. Solve -2*w + y*w = -z for w.
-4
Let m(n) = 6 + 1 + 9*n - 8*n. Let p be m(-6). Let h = p - -9. Solve -2*c + 4 = h for c.
-3
Suppose -22 = -4*v - 5*t, v = -0*t - 4*t. Let a = v + -3. Solve -a*d + 10 = -3*d for d.
5
Let c be 23/3 - (-11)/33. Solve -4*g = -0*g + c for g.
-2
Let c(t) = -3 + t**3 + t**2 + 4*t - 5*t + 28. Let s be 6/24*(-1 + 1). Let g be c(s). Solve z + g = -4*z for z.
-5
Let u(g) = -5*g - 18. Let d(k) = 2*k + 9. Let x(j) = 7*d(j) + 3*u(j). Let y be x(9). Solve y = 3*z - 2*z + 2 for z.
-2
Let j(m) = -m**3 - 3*m**2 + m - 5. Let c be -2*(0 + (-4)/(-2)). Let s be j(c). Solve -3*r + 2 = -s for r.
3
Let o = -178 + 183. Solve 1 - o = -i for i.
4
Let b = -30 + 32. Solve 0 = b*l - 0 - 4 for l.
2
Let d(l) = -2*l**3 - l**3 + 5 + 6*l**2 + 2*l**3 - l + 3. Let z be d(6). Solve 5 = -3*p + z*p for p.
-5
Let q(h) = 2*h - 12. Let l be q(6). Suppose v + 3*v - 8 = l. Solve -3*z + 25 = v*z for z.
5
Suppose 3*x + 1 = 7. Suppose 3*k + 2*h = k - 6, 0 = 4*k + x*h + 10. Let n = k + 6. Solve -n = -p - 1 for p.
3
Let d be (-1)/(1/3*1). Let v be (2/(-4))/(d/24). Let h be 6 - 1 - (-1 + v). Solve -h*w - w = 0 for w.
0
Let x = 12 + -7. Suppose 5*u - 20 = x*r, 5*r = -u + 3*u - 8. Solve b + b = u for b.
2
Let m be 4 - (9/3 + -4). Solve m*p + 25 = 10*p for p.
5
Suppose 0*x - 15 = -5*x. Let y be (x - (-24)/(-10))*5. Suppose -3*r = -p + y, 0 = -5*p + r + r + 2. Solve p = 4*n - 0*n + 4 for n.
-1
Let b = -9 - -16. Let m be 3 - 1 - (-10 - 0). Suppose 2*r - m = -5*s, 5*s + 2*r = 2*s + 4. Solve s*t - b = 13 for t.
5
Suppose -2*j + 3 + 1 = 0. Suppose -j*x - 2*i - 16 = -40, -41 = -3*x - 4*i. Solve -4*c + x*c - 9 = 0 for c.
3
Suppose -n = -10*n + 18. Solve n*o - 5 = -3*o for o.
1
Suppose 0*p + p = 0. Solve p = -4*y + y - 12 for y.
-4
Let g = -53 - -55. Solve u = g*u for u.
0
Let w = 13 + -11. Solve r + 2 = -w for r.
-4
Let z = 3 + 4. Suppose z*c - 4*c = 12. Solve -g - 15 = c*g for g.
-3
Let m(b) = -2*b - 11. Let p be m(-8). Let j(y) = -y + 6. Let l be j(p). Solve -k = -l - 3 for k.
4
Let j(q) = q**2 - 16*q + 5. Let d be j(16). Solve 0 = d*g + 19 + 6 for g.
-5
Suppose -10 = -3*z - 5*m, 0*m = -4*z + 5*m + 25. Let g(s) = 2*s + 2. Let j(v) = -2*v - 8. Let n be j(-6). Let q be g(n). Solve -3*f + z + q = 0 for f.
5
Let y = -21 + 23. Let x = 0 - -2. Suppose -2 = -o - x*t - 1, -1 = o + 4*t. Solve -y*n - 1 + o = 0 for n.
1
Suppose 9*i = 6*i. Let m(f) = 2*f - 9. Let h be m(6). Let n = 4 - h. Solve c - n = -i for c.
1
Let l be -1 - -5 - (28 - 3). Let t = 21 + l. Solve -2*p - p = t for p.
0
Let u = -86 + 146. Let n be u/28 + (-2)/14. Let t(x) = x - 3. Let p be t(6). Solve n*j = p*j for j.
0
Suppose -t = 4*v, t - 5*v = 3*t - 6. Suppose t*z - 10*z = -14. Let l = 7 - z. Solve 4*d + 14 - 2 = l for d.
-3
Suppose 4*r - 2*r - 6 = j, -2*r = -8. Solve j*o = -o for o.
0
Let w(i) = i**3 - 2*i + 1. Let b be w(1). Suppose j = -b*j. Solve j = 5*c - 1 + 26 for c.
-5
Suppose 10 = 4*j - 5*q, 0 = 2*j + 4*q + 4 + 4. Solve 5*g = 5 - j for g.
1
Suppose -3*y + 2*y + 12 = 0. Let n = -56 - -58. Solve -n*d = d + y for d.
-4
Let u be 0 - -15 - (3 + -2). Let t be (u/(-4))/(2/4). Let y = t + 8. Solve 0 = -m - y - 1 for m.
-2
Let j = -1 - 7. Let m be ((-4)/j)/((-2)/(-8)). Let h(q) = q**3 + 3*q**2 - 6*q - 3. Let d be h(-4). Solve d*y + m = -3 for y.
-1
Let m be 7 - (-3 + 2 + -1). Let t be 6/(4/(24/m)). Solve -12 = -t*h + h for h.
4
Suppose -4*t + 8*t = 0. Suppose 2*k + 5*b + 10 = t, 4*b + 8 = k - 4*k. Solve 0 = -3*x - k + 9 for x.
3
Suppose 3*n + 0*n = -12. Let l be 3/n + 22/8. Suppose -6*v + v = -5*x + 15, l = -2*v + x. Solve 11 = -2*i + v for i.
-5
Let w(g) be the second derivative of g**4/12 + 11*g**3/6 + 3*g**2/2 + 2*g. Let z be w(-11). Solve z*i + 1 + 5 = 0 for i.
-2
Suppose 3*b + d = 4*d, b + 12 = 5*d. Solve -i = 2*i - b for i.
1
Let c be 1 + 16/6 - 3/(-9). Suppose 3*l + 12 = -l. Let a = l + 9. Solve -c*y = 2 - a for y.
1
Let v be 6/8*(6 - 2). Suppose v = c - 2. Suppose c*d - 5*a = -2*a + 15, -5*a + 49 = 4*d. Solve -2 - d = 2*s for s.
-4
Let w = -7 - -7. Suppose 2*j - 5*d - 10 = -w, -4*j + 4*d + 