 = m*b + 2*t, 4*b - 4 = -2*t. Solve -2*i + 12 = b*i for i.
3
Let o be 2/1 - (-8 - -8). Solve -3*a - o + 5 = 0 for a.
1
Let y be 4 + (4 + -3)*-1. Solve -3*d = -9 - y for d.
4
Suppose k + 2*k = 3. Let x be k/(1 - (-1)/(-2)). Solve x + 2 = -4*i for i.
-1
Let u be 6/15 + (-16)/(-10). Suppose 6*w = w - t + 12, 0 = 4*w - 4*t - 24. Solve -u*c + 5 = -w*c for c.
-5
Let y(g) = -g**3 - 6*g**2 + 9*g + 15. Let z be (-4 + -2)/(-3) - 9. Let r be y(z). Suppose 3*l + 2*l - 2*v - 12 = 0, 3*l - 4 = 2*v. Solve -u - l - r = 0 for u.
-5
Suppose 0 = -m - 3*m + 8. Let w = -1 + m. Let p be -5 + 10 + w + 0. Solve -2*c + 16 - p = 0 for c.
5
Let r(j) be the third derivative of -j**5/60 + j**4/6 + j**3/2 - j**2. Let c be r(6). Let u be (-2 - 10/(-6))*c. Solve -u*d + 2 - 8 = 0 for d.
-2
Let w(z) = -z - 1. Let k be w(-6). Suppose -4 = -i + 2*v, -5*v - 21 + 56 = k*i. Solve 3*c + i = -6 for c.
-4
Let w(y) = -y**2 + 4*y + 1. Let j be w(3). Suppose j*z - 15 = 33. Solve 0 = -2*v + 2 - z for v.
-5
Let u(o) = -o**3 - 6*o**2 + 8*o + 9. Let i(v) = 6*v - 1. Suppose -4*b = -3*b + 1. Let c be i(b). Let r be u(c). Solve r = 5*k - 3 for k.
1
Let s be (6/4)/(9/12). Solve -s*m + 5*m = -6 for m.
-2
Suppose -10 = -2*o, 21 = 2*t - 3*t + 5*o. Suppose m - t*b = -6, m + 2*b - 6 = -0*b. Solve -4 + 0 = -m*x for x.
2
Let r = -31 - -36. Solve 8 = r*t - t for t.
2
Let m be ((-6)/9)/(2/198). Let h be m/(-4) - 1/2. Solve -3*r - r = h for r.
-4
Let y(d) = d**3 + 5*d**2 + 3*d + 3. Let t be y(-3). Solve 0 = 2*m + 4 - t for m.
4
Let i(j) be the first derivative of j**6/360 - j**5/20 + j**4/24 + 4*j**3/3 - 3. Let p(g) be the third derivative of i(g). Let c be p(6). Solve q = c + 2 for q.
3
Let z(c) = c. Let y be z(2). Let h = 3 - 1. Suppose 0*g = h*g - 2. Solve a - y = -g for a.
1
Suppose -3*t + 11 + 1 = 0. Suppose t*i - 8 = -4*c, 0 = 5*c + i + 1 - 23. Solve 0 = -f + c*f for f.
0
Suppose -25 = 5*b + 215. Let t = 73 + b. Solve -2*i + 7*i - t = 0 for i.
5
Let t be 5/15 - 178/(-6). Let a be 45/(-6)*t/(-25). Solve 0*d = -3*d - a for d.
-3
Let o be (-608)/(-40) - (-2)/(-10). Solve 4*w - o = w for w.
5
Suppose 0 = -4*s + 9*s - 20. Solve 0*x = -s*x - 12 for x.
-3
Suppose -8 = -2*r + 4*g - 0, -3*r + 12 = g. Suppose -r*x + 16 = -0. Let t be (-5 + 8)*(-50)/(-6). Solve -t = -x*f - f for f.
5
Suppose 0*y = 3*y. Solve y = -2*z + 4 + 4 for z.
4
Suppose 0 = -0*r + 4*r + 3*p - 22, -4*r = p - 18. Suppose -w + 0*n = -4*n + 20, -4*w - r*n + 20 = 0. Solve -5*t - 4 - 1 = w for t.
-1
Let a be 114/27 - (-2)/(-9). Suppose p - 1 = -a, 3*x + 2*p = -3. Solve 3 = 2*q - x for q.
2
Let u = 11 - 5. Solve -4*n + u*n = 6 for n.
3
Let r be 18/8 + 2/(-8). Suppose -s = -2*s. Suppose -2*f = -3*x + 13, -3*f + 4*f + r = s. Solve x*b + 16 = -b for b.
-4
Let m be 2/(-2) + 6 - -16. Solve 4*g - 1 = -m for g.
-5
Suppose -2*z - 4 = z + 5*m, -m = z. Let n(t) = t**2 - 5*t + 3. Let g be n(5). Let o(b) = b**3 - 2*b**2 - 2*b - 3. Let h be o(g). Solve -z = k - h for k.
-2
Suppose -24 = 4*d - 5*d. Suppose 5*q + d - 69 = 0. Solve q = g - 4*g for g.
-3
Suppose 7*c = c. Solve c = g - 2*g + 2 for g.
2
Let u = 12 + -11. Solve 4 = 5*i - u for i.
1
Let k be 0/(1/((-1)/(-2))). Solve -3*b + 4*b - 2 = k for b.
2
Let d be -15*(0 + 1 + -2). Let k be (-32)/(-12) + 2/(-3). Solve -d = -q - k*q for q.
5
Let q(y) = -y - 2. Let h be q(-2). Let t(p) = p + 13. Suppose -s - s - 12 = 0. Let x be t(s). Solve -3*m - 5 - x = h for m.
-4
Let c be (-1 - 0)/(-1)*-1. Let w = c + 1. Suppose -2*r - 3 = 5*s, w*s - 2*s - 32 = -2*r. Solve -4*j + r - 27 = 0 for j.
-4
Let k be (9 - 5) + 1 + -1. Solve -j = -k*j for j.
0
Let w(p) = p**2 + p + 2. Let j be w(-2). Let r be (1 - (-7)/3)/(2/3). Suppose r*s - j = 11. Solve s*g = -9 - 6 for g.
-5
Let w(q) be the first derivative of -q**4/4 - 5*q**3/3 + 2*q - 1. Let f be w(-5). Suppose 4*y + 4*m + 8 = 0, -y + 3*m + 18 = 2*y. Solve -f*k - 6 = y for k.
-4
Suppose -4*h = z - 4*z + 2, -5*z = -h - 9. Suppose 12 = -3*k + 5*y + 2, -y = -z. Solve k = -5*t + 5 for t.
1
Let k(o) = -o**2 + o + 2 + 3*o - 2*o + 4*o**2. Let v be k(-1). Solve v*a = 5*a for a.
0
Let m(n) = n**3 + 8*n**2 - 11*n + 5. Let a be m(-9). Let x = a - 16. Solve -5*r + 8 = -x*r for r.
-4
Let m(r) be the third derivative of -r**4/6 + r**3/6 + 4*r**2. Let q be m(-1). Suppose 4*l - x = -0 + 6, 14 = 2*l + q*x. Solve -l*c + 0*c + 8 = 0 for c.
4
Suppose -2*l = -0*l - 16. Let b be (-12)/l*2*-2. Suppose 3*h - 4*u + 7 = 0, -3*u + b*u - 27 = -5*h. Solve 0 = -h*g - g for g.
0
Let r = -6 - -12. Solve 2*y + r = 4*y for y.
3
Let d(x) = x - 7. Let i be d(6). Let m be i - 3/(-1) - -1. Solve 16 - 4 = -m*b for b.
-4
Let j be 4 - 1 - (0 + 1). Solve 0 = j*g + 2*g - 8 for g.
2
Let z be 1/(-1) - (-1)/1. Suppose -2*b = x - 4*x + 13, -2*x - b = -4. Let o be (z/1)/(-2) + x. Solve o = 5*s + 8 for s.
-1
Suppose f + p - 5 = 0, 4*f - 3*p - 21 - 13 = 0. Let k(b) = b + 2*b - b - 1. Let r be k(2). Solve r*z + 16 = f*z for z.
4
Suppose 0 = -5*r - 4*p + 4, -4*p - 29 = -r - 9. Suppose -r*h - 1 = n, -5*h + n - 4*n = 3. Let g = -47 + 48. Solve l = -h*l + g for l.
1
Let t be (2 - 1)/(2/10). Let d = -1 + t. Suppose -1 + 0 = -p, d*u + 4*p - 16 = 0. Solve u = -b - 2 for b.
-5
Let y(u) = u**2 - 4*u + 1. Let k be y(7). Let h = k - 22. Solve -s - 2 - 2 = h for s.
-4
Let x(v) = -v**3 + v**2 + v. Let s be (2 + -2)*(-2)/(-4). Let n be x(s). Solve n = -2*j - 6 - 4 for j.
-5
Let j = -10 - -12. Solve u - j = -u for u.
1
Let l be (2 - 1) + 0 + 1. Let i(a) = a - 9. Let f be i(10). Solve -f = l*p - p for p.
-1
Suppose 0 = -0*y + 2*y - 14. Let b(z) = -z**3 + 7*z**2. Let i be b(y). Solve i = 5*v - 2*v for v.
0
Suppose -264*y + 269*y = 125. Solve 3*r + y = -2*r for r.
-5
Suppose 2*u - 10 = -v - 4, -3*u + 5*v + 22 = 0. Suppose t + t - u = 0. Let b be ((-24)/t + 2)/(-2). Solve 0 = -b*h + 1 - 16 for h.
-3
Let k(q) = q**2 + 5*q - 6. Let m be k(-6). Suppose -27 = -m*r - 3*r. Let b = r + 16. Solve 0*s + b = 5*s for s.
5
Let v(p) be the first derivative of -p**4/4 + 8*p**3/3 - 7*p**2/2 + 6*p - 2. Let w be v(7). Solve 1 = -5*b + w for b.
1
Let b(m) = m - 6. Let h be b(7). Suppose f + c = h, -4*c - 13 - 3 = -f. Suppose f*o = -o. Solve -3*l - 2*l = o for l.
0
Suppose -v + 2 = 7, -v + 1 = 3*n. Solve -n*j = -6*j for j.
0
Suppose 5*g - 3*x + 4*x - 17 = 0, -3*g = 2*x - 13. Solve -g*r + r = 2 for r.
-1
Let m = 2 + -5. Let r = 0 - m. Suppose -q + 3*b = 8, q + 4*b - 10 = 3*q. Solve 2*z + q + r = 0 for z.
-2
Suppose 36 = 4*l + 140. Let n = -26 - l. Solve n = 6*v - 3*v - 12 for v.
4
Let x(v) = -5*v**2 + 12*v - 9. Let z(n) = -n**2. Let g(h) = x(h) - 4*z(h). Suppose -3*p + 29 = -4. Let s be g(p). Solve 3*u - 2 = s*u for u.
2
Let m be ((-12)/7)/((-10)/35). Let h = 8 - m. Solve -h*i = -0*i for i.
0
Suppose 0 = -4*j + t + 60, 0*t + 75 = 5*j - 5*t. Solve j = -4*h - 1 for h.
-4
Let s be 12/(-30) + 94/10. Suppose s = 2*u + u. Solve 5 = 4*z - u for z.
2
Let k(q) = -q**3 + 7*q**2 - q + 8. Let g be k(7). Suppose 0 = -5*t - z + 15, t - z = -3*z + 3. Suppose -2*h - 3*h = -35. Solve g = -t*y + h for y.
2
Suppose 14 = 2*d + 6. Solve 0*x = 2*x - d for x.
2
Suppose 0 = 4*r - 2*r - 4. Let b(w) = w + 2. Let q be b(r). Suppose 2*z - 20 = -2*o, -q*o + 9*o - 20 = z. Solve 2*l = l + z for l.
5
Let h be -3*(-6 + 3/3). Suppose 5*r - 2*r - h = 0. Suppose 76 = 2*p + 4*b, 2*p - 4*b + 6*b = 70. Solve -p = -r*t - 7 for t.
5
Let g = -18 - -19. Let i be 15/(-9)*-3 + g. Solve -3*j + 0*j = i for j.
-2
Suppose 5*g - u + 3 = 0, 3*g = -0*u + u - 3. Let n(j) = 2*j**3 - 3*j**2 - j + 4. Let d be n(2). Solve z - d*z = g for z.
0
Suppose -2*h = r - 14, 6*r = r + 5*h - 5. Let v(j) = j**2 - 4*j + 3. Let d(c) = -c**3 + 2*c**2 + 2*c. Let l be d(2). Let f be v(l). Solve -f*s + 2 = -r*s for s.
-2
Let m(s) = 4*s**2 - 2*s + 3. Let c(t) = 8*t**2 - 3*t + 5. Let k(w) = 3*c(w) - 5*m(w). Let l be k(-1). Solve l*n - 5 = 4*n for n.
-5
Let o = 52 - 52. Solve 0*p - p + 2 = o for p.
2
Suppose 4*p = 4*j - 8 + 52, -6 = -3*p. Let v = j - -9. Solve v = -8*f + 3*f + 25 for f.
5
Let w be 2/(-8) + (-16)/(-64). Solve w = 3*s - 2*s + 4 for s.
-4
Let t = 35 + -32. Solve -2*a + 20 = t*a for a.
4
Suppose -h + 27 = 5*z, z + z - 4*h = 2. Suppose -z*n = g - 9, 4*n = -2*g - 6 + 18. Solve n = 4*m - 15 for m.
4
Let f(h) = -h + 1. Let c be f(1). Suppose 6 = 2*k - c. Suppose 11 = 4*s - k*r, -3*s = 4*r - 0 - 2. Solve 0 = -s*i + i + 2 for i.
2
