+ (-4)/8. Solve 2 + b = -3*l for l.
-3
Let b = -12 - -9. Let o be b/(-1)*(6 + -5). Solve -2*q = -o*q + 3 for q.
3
Let v = -25 - -29. Solve -l = -9 + v for l.
5
Let m(b) = -2*b - 4. Let h be m(3). Let c = h + 10. Solve -3*i + c*i = -6 for i.
2
Suppose o = h - 10, 3*o - 5*o + 28 = 4*h. Solve 0 = 4*f + h - 0 for f.
-2
Let t(w) = -w**3 + 14*w**2 + w - 10. Let c be t(14). Solve -c*m = -3*m + 5 for m.
-5
Suppose 0*c = 3*p + 5*c + 5, -4*p - 5 = 5*c. Suppose 5*g = p, v - 1 = 2*g + 1. Solve v*h - 3*h = 3 for h.
-3
Let w(u) = 3*u**3 + u**2 + u - 1. Let r be w(1). Let y = -7 - -12. Solve -6 = y*c + r for c.
-2
Let g = 49 + -49. Solve g = p + 2 for p.
-2
Suppose -15 + 27 = 6*i. Solve -i*b = -0 + 2 for b.
-1
Suppose -4*j + 20 = 0, 0 = -4*m + j - 12 + 31. Let y be 12/7 + 4/14. Solve -4*i + y = -m for i.
2
Let g be (-4)/14 + -3 + (-46)/(-14). Solve g*i + 4*i = -8 for i.
-2
Suppose -14 = 2*c - 0*c. Let w be (-2)/c + 16/(-7). Let l be ((12/(-3))/1)/w. Solve -t = l*t for t.
0
Let u be -14 + -1 - (0 + 0). Let k be (-1)/(-5)*-2*u. Solve 2*s + 0 + k = 0 for s.
-3
Let p = 17 + -17. Let k = p + 3. Solve 0 = -k*i - 9 - 6 for i.
-5
Let f be (6 - (-3)/(-1)) + 0. Solve -f*x + 4*x = 1 for x.
1
Suppose d - 2 = 3*f - 0, 3*d - f - 38 = 0. Solve 5*i + d = -6 for i.
-4
Suppose -63 = -9*q - 18. Solve 0 = -0*j - q*j + 5 for j.
1
Suppose c - 38 = 6*c + a, 0 = 4*c + 4*a + 40. Let f be (2 - 2) + (-1 - c). Let j be -3*2/f*-2. Solve -3*x = -j - 1 for x.
1
Let p(l) = -l + 9. Let q be p(4). Solve 0 = 7*a - 2*a - q for a.
1
Let c = -165 - -180. Solve 0 = 6*l - 9*l + c for l.
5
Suppose -100 + 22 = -3*p. Suppose 4*a - 7 - 7 = -2*k, 5*k - p = -a. Solve 0*b = k*b for b.
0
Let z = -4 - -37. Solve 5*n = 8 - z for n.
-5
Let p = 0 - -3. Suppose a - 4 = -2. Suppose 0 = p*y - 5*c, -5*y + 4*y = a*c - 11. Solve 9 - 29 = y*w for w.
-4
Suppose 0 = y + 77 - 77. Solve -v + 4 = -y for v.
4
Let y be -4*(-1 - 3/(-2)). Let f be 1 - y*2/1. Let x(q) = q**2 + 5*q - 5. Let o be x(-6). Solve -4*h = -f*h - o for h.
-1
Let t(a) = 7*a**2 - 7*a + 7. Let u(o) = o**2. Let g(c) = -t(c) + 6*u(c). Let v be g(5). Solve q = -0 + v for q.
3
Let j = 3 + 2. Solve 3*b + j = -4 for b.
-3
Suppose 4 = q - 5*u - 0*u, -3*u - 3 = 0. Let l be 2 + (q + 14 - 0). Let z be 66/15 - 6/l. Solve z*h = 2 + 6 for h.
2
Suppose -41 = 2*o - 49. Solve 6 = -7*h + o*h for h.
-2
Suppose 2*w - a = 2, -3*w + a + a + 2 = 0. Solve -w = -3*l + 2*l for l.
2
Let w = 9 + -6. Let a be w + -2*(-1)/(-2). Suppose -7*j + a*j = 0. Solve -i + 3*i - 8 = j for i.
4
Let b(k) = -k**2 + k + 1. Let s be b(-1). Let d be (1 - s)*(-49)/(-14). Solve a = -2 + d for a.
5
Suppose 2*s - 16 + 2 = 0. Solve -2*b = -s*b - 25 for b.
-5
Let d(x) = x**3 - 4*x**2 - 5*x + 7. Let t be d(5). Solve -t + 3 = -p for p.
4
Let r = 44 + -44. Solve r = 5*h - 4 + 29 for h.
-5
Suppose -4*x = 8 - 0. Let b be 0 + (-3 - (x + -1)). Solve 5*r + 11 + 4 = b for r.
-3
Let g(n) = n - 1. Let w be (-2)/9 - 14/18. Let i be (0 + 2 - w) + -2. Let q be g(i). Solve q = f - 5 for f.
5
Suppose 0 = 4*z - z - 2*z. Solve z = 4*x - x + 6 for x.
-2
Let x(y) = -2*y + 3*y**2 - 4*y**2 + y + 6. Let i be x(0). Solve 25 = c - i*c for c.
-5
Let j(g) = 0*g + 25 + 0*g - g**2 + g - 2*g. Let w be j(0). Solve -s = -6*s - w for s.
-5
Let x be 422/7 - (-12)/(-42). Suppose -2*z + 30 = 4*o, -3*z = -2*o - x - 1. Suppose 5*r - z = 6. Solve i = r*i for i.
0
Let z(q) = 3*q. Let h be ((-27)/6)/3*6. Let a = 10 + h. Let s be z(a). Solve 0 = g + s for g.
-3
Suppose w = -0*m - 3*m - 12, 3*m = -2*w - 12. Suppose w*l = -3*l + 96. Suppose -l = -5*k - t, k = 2*k - t - 4. Solve g - 2 + k = 0 for g.
-4
Let a(x) = -x**3 - 9*x**2 - 8*x + 3. Let i be a(-8). Suppose -m - i = b - 6*m, -m = 3*b - 23. Solve -3 = w - b for w.
4
Suppose 0 = -4*v - v + 15. Solve 3*w + 0 = v for w.
1
Let n be -17 + 1*(-4 + 3). Let l = -13 - n. Let m = -8 - -18. Solve -m = 5*k + l for k.
-3
Suppose -2*o + 3*o = 5. Let j be 30/12*4/2. Suppose j*g + 0*g - 25 = 0. Solve 0 = g*d - o for d.
1
Let h(u) = 5*u**2 + 5*u + 4. Let o be h(-2). Let j = o + -14. Solve j = 6*i - i + 15 for i.
-3
Let i be (-2)/4 - (-6)/4. Suppose 19 = 5*o - i. Let b(q) = -q + 6. Let r be b(3). Solve r*d - o = d for d.
2
Suppose -3*t + 4*t = -t. Let w(y) = -3*y**3 - 3*y**2 - 3*y - 3. Let l be w(-2). Solve -q + 4*q - l = t for q.
5
Let o(a) = 3*a. Let p be o(4). Suppose 2*s - 4 = m, 3*m = -4*s + 6*m + p. Solve d + s - 4 = 0 for d.
4
Let k = 2 + 3. Suppose 9 = 3*i, 0 = k*y - 5*i - 33 - 12. Suppose -t + y = 2*t. Solve -t*b + 0*b = 20 for b.
-5
Let r(i) = -i**3 - 9*i**2 - 2*i - 7. Let v be r(-9). Solve 5*f - 9 = v for f.
4
Let u(t) = t**3 - t**2 + 2*t - 2. Let q be u(2). Let h = q - 23. Let j = -12 - h. Solve j*w - w = -12 for w.
-3
Let d be (-2 - -16) + 6/2. Suppose d = -v + 5*s, 4*s + 0 = -v + 10. Let h = 2 - v. Solve 4*w - h = 4 for w.
2
Suppose 4*n + 16 = 0, 0*u - n + 8 = 4*u. Suppose 0*x + u*k = -4*x + 6, 5*x = -2*k + 4. Solve x = 2*l - 3*l - 4 for l.
-4
Let k = -18 - -16. Let i(v) = -4*v - 5*v + 0 - 3 + 2. Let j be i(k). Solve -5 = -4*c - j for c.
-3
Let t(f) = -f**3 + 11*f**2 + 8*f + 3. Let j be t(12). Let c be j/(-3)*2/6. Solve c*r = 9 + 1 for r.
2
Let f be (-10)/(-4)*(-12)/(-10). Suppose -4 = -f*y + 4*v, -2*y + 21 = 3*v - 2*v. Solve t = -t - y for t.
-4
Let y(a) = a**2 - 3*a + 3. Suppose 5 = t + 2. Let h be y(t). Suppose -h*j = j. Solve j = c + c for c.
0
Suppose -2*i + 4*z + 6 = 2*z, 1 = i + z. Solve 3*o - o + i = 0 for o.
-1
Let v(j) = j**3 + 6*j**2 - 2*j - 9. Let m be v(-6). Solve 5*i - 7 = m for i.
2
Let p(t) = t + 7. Suppose 3 + 18 = -3*a. Let q be p(a). Solve q + 3 = -r for r.
-3
Let z = -3 - -2. Let r be z*4/(-6)*6. Let p = r - 1. Solve 5*v - p*v = -8 for v.
-4
Let i(b) = -b**3 - 6*b**2 - 6*b - 1. Let v be i(-5). Suppose n + v*n - 5 = 0. Suppose 0 = -3*y + 5*q + n, 4*y - 3*q = 2*q + 3. Solve -d = -y*d for d.
0
Let x(d) = 5 + 7 + 0*d - d. Let u be x(0). Solve -q - u = 2*q for q.
-4
Let s(w) = 2*w - 6. Suppose -k + 3 - 1 = 0. Suppose k = g - 2. Let t be s(g). Solve -2*n - t*n = -16 for n.
4
Let b be 0*-2*3/(-18). Solve b = -4*i - 1 + 9 for i.
2
Let d(m) be the second derivative of -3/2*m**2 - 2*m - 1/6*m**3 + 0. Let y be d(-3). Solve y = -2*g - 0*g for g.
0
Let j be (1/(-4))/((-2)/8). Let k = 1 + j. Solve k*o = -3*o - 20 for o.
-4
Let b(u) = -u**2 + 11*u - 4. Let t be b(6). Let g = t + -6. Solve -4*j - g = j for j.
-4
Let o be ((-3)/1)/(0 + -1). Let f be (-16)/20 - 170/(-25). Solve -o*v = -6*v - f for v.
-2
Let b = -43 - -63. Let i = 37 + -33. Suppose -c - i*c = -b. Solve 9*s - c*s - 5 = 0 for s.
1
Let q(i) = -i**2 + i + 2. Let n(z) = -z**3 + 4*z**2 - 2*z - 1. Let y be n(3). Let w be q(y). Solve -b + 1 = -w for b.
1
Let d(c) = -c**2 - 8*c - 1. Suppose o - 9 = 2*p, -2*p = -0*o + o + 19. Let w be d(p). Solve -w*l = -l for l.
0
Let i = -2 - -12. Let m = -5 - -6. Let o be -1 - (-2 + m) - -6. Solve i = -4*p - o for p.
-4
Let m = 3 - -2. Suppose -m - 1 = -t. Let w be t + (0/1)/2. Solve 2*i - 20 = w*i for i.
-5
Let i = 11 + -8. Suppose 4*k = 3*f - 17, -f - k - 2 = 4. Let j(y) = -11*y**3 + y**2 - y - 1. Let w be j(f). Solve -i*m + w = -0*m for m.
4
Let w = -11 + 13. Suppose w*y = -2*y, -8 = -2*v - 4*y. Suppose -20 = -3*f - 5. Solve 0 = 3*h - f*h + v for h.
2
Suppose 7 - 44 = -3*n - 5*d, 5*n + 2*d - 30 = 0. Let m = -4 + n. Let w = 18 - m. Solve 0 = -3*k + 6 - w for k.
-4
Let b = 2 + -1. Suppose 37 - 9 = -2*o. Let y be 0/2 + b - o. Solve 6*d + y = 3*d for d.
-5
Let c = 16 - 10. Let g be (24/(-18))/((-4)/c). Solve -7*p = -g*p + 20 for p.
-4
Let f be (1 - -4)*-4*2/(-20). Solve 0 = -f*z + z for z.
0
Let p(y) = y**2 + y + 1. Let q be p(-2). Let a(t) = t + 4. Let j(g) = -g - 5. Let n(w) = 6*a(w) + 5*j(w). Let f be n(q). Solve -c + f*c + 4 = 0 for c.
-4
Let g = -14 - -37. Solve -3 = -5*i - g for i.
-4
Let j = 1 + -1. Suppose 0 = 2*r + 2*c, 0*c + 3*c + 10 = 2*r. Solve r*n - 7*n = j for n.
0
Let a = -64 + 65. Let u = 3 - 1. Solve i + a = u for i.
1
Let b(h) = -h**2 - 9*h. Let x be b(-9). Solve x*t = 4*t - 20 for t.
5
Suppose 3*o = 4 + 2. Solve o*u = u + 4 for u.
4
Let s(f) = -6*f - 8*f**2 + 1 + 27*f**2 + 0 - 11*f**3. Let g(i) = 5*i**3 - 9*i**2 + 3*i. Let p(q) = -9*g(q) - 4*s(q). Let h be p(3). Solve h*v = 4*v - 2 for v.
-2
Let f be (0/1)/(-2 - -4). Let w = 6 - f. Let y be 1/3 - (-4)/w. Solve 0 = -x + y for x.
1
Le