 Suppose 3*t + 3*i - 18 = y, 17 = 4*t - 5*i + 2. Solve -t*b + 10 = 25 for b.
-3
Let r(m) be the second derivative of 0 + 1/6*m**3 + 2*m - 5/2*m**2. Let k be r(6). Solve -k - 3 = -4*i for i.
1
Let l = -12 + 14. Solve -6*i - l = -5*i for i.
-2
Let b = 18 - 16. Solve -3*f + b - 14 = 0 for f.
-4
Let w(k) = k - 2. Let i be w(3). Let g be i/(-4) - 9/(-4). Solve g*s = -2*s for s.
0
Let k(y) be the third derivative of -y**4/24 - y**3 - 3*y**2. Let h be k(-13). Solve 3 - h = 4*u for u.
-1
Suppose -z + 1 = -2. Suppose q + n - 1 = 0, -5*n = -q - 3 - 2. Solve z*p + q*p = 15 for p.
5
Let r = 16 - 16. Let i be (r/(2 - 3))/(-1). Solve i*d + 2 = 2*d for d.
1
Let m(v) = -2*v + v**2 + 2*v - 6 - 3*v. Let x be m(5). Let j(w) = -45*w + 95. Let y be j(2). Solve -x*n = -y + 1 for n.
1
Let w = -1 - -7. Let s = w + -1. Suppose -3*j + 6 = 3*j. Solve j = -s*i - 4 for i.
-1
Suppose -5*r + d = -3*r - 5, -5*r = 5*d + 25. Solve w = -r*w + 4 for w.
4
Let o be 0 + (-1 - 1*-21). Solve 2*z = 7*z + o for z.
-4
Let m(r) = -r + 1. Let z be m(1). Suppose 4*u + 3*h - 22 = z, -6 = -2*u - 2*h - 2*h. Solve -u = 2*w + 1 for w.
-4
Let a = 4 + 0. Let s = -174 - -176. Solve 3*o - s*o = a for o.
4
Let w be (-2)/3 - 10/(-6). Suppose -5*j - p + 12 = -3, 2*j + 12 = -4*p. Solve -j*m = 9 - w for m.
-2
Let y = 16 + -11. Let q = y + -3. Solve q*u + u = 15 for u.
5
Let r(n) = n + 12 - 3 + 2. Let x be r(-8). Solve -7*g + x*g = 0 for g.
0
Let d = 18 + -11. Let p = d + -3. Solve h = -p*h + 25 for h.
5
Let a be 22/6 - 12/18. Let q(x) = -x**3 + 4*x**2 - 2*x + 2. Let p be q(a). Suppose -2*o + l = -3, p*o + 5*l + 0 = -15. Solve 4 = -2*b - o*b for b.
-2
Let s(z) = z**3 - 2*z**2 - 5*z + 1. Let c be s(5). Suppose -k + 4*k + c = 0. Let w = k + 33. Solve 3*g - w = -g for g.
4
Let t(k) = 2*k - 12. Let c be t(6). Suppose c*q = -2*q + 12. Solve q = 5*f + 1 for f.
1
Let o be -1*(-1 + 3 - 4). Let t = o - -3. Let n be (1 - 4)*2/(-3). Solve -t*u + n = -4*u for u.
2
Let l(s) = 0*s**3 - s**2 - 4*s**3 + s**3. Let a be l(-1). Suppose -4*k - a = -26. Solve k*d = d for d.
0
Let t be (0 - 0) + 20/(-2). Let h = -10 - t. Solve h*b - 4*b = 20 for b.
-5
Let r = 5 - 9. Let m be 6/r - (-69)/6. Suppose 4*f = -0*f - 4*v + 28, -2*v + m = 0. Solve -3*q = 17 - f for q.
-5
Suppose -2*p = -2 - 2. Solve -b = -0 + p for b.
-2
Let r = 2 + -3. Let b = 21 + r. Solve -4*g + 0*g = -b for g.
5
Suppose -w + 24 = 4*n + w, 0 = -5*n + w + 37. Suppose -5*p + 11 = -6*f + 5*f, 5*p + 3*f - n = 0. Solve 0 = -p*i + 5*i - 6 for i.
2
Let o be 2/(-3)*9/(-6). Let c = 2 + -1. Let l be c*4 + 1 + -4. Solve -m = o + l for m.
-2
Suppose -3*c - 45 = -6*c. Solve 3*l + 0 = -c for l.
-5
Suppose h + 6 = 26. Suppose 0 = -6*k + k + h. Solve -o = k*o + 5 for o.
-1
Suppose -5*l = -0*l + 20. Let b be (24/(-30))/(l/30). Solve 0 = -4*q + b + 6 for q.
3
Let t = -42 - -17. Let x = 26 + t. Solve 2*d - 7 = -x for d.
3
Let j = -6 + 6. Let v be 1 + j + 2 - 3. Solve 2*t + 6 = -v*t for t.
-3
Suppose 2*r = -5 + 21. Let z(h) = h**2 - 9*h + 12. Let c be z(r). Solve -f = c + 1 for f.
-5
Let j = -22 + 19. Let d be (3 + j - 1)*-1. Solve 5*p + 21 = d for p.
-4
Suppose y = -4*y + 15. Solve -y*f + 6*f = 0 for f.
0
Suppose -5*c - u + 20 = 0, 2*u - 3*u = 0. Suppose c*v - 6 = 2. Solve 5*r = v*r for r.
0
Let t be 3/3 + 8 + -1. Let l(x) = -x + 11. Let k be l(t). Let z be (0*k/(-6))/2. Solve z = -2*f + 2 for f.
1
Let p(f) = 8*f**2 - f + 2. Let n be p(1). Solve n*d - 4*d = 15 for d.
3
Let r(g) = g + 1. Let c be r(7). Solve 3*o - c - 4 = 0 for o.
4
Suppose -4*r - 8 = s, -2*s + 0*r - 5*r - 7 = 0. Let i(q) = -q**2 + 6*q - 6. Let t be i(s). Suppose -4*c + 3*c + t = 0. Solve 5*o + c = -3 for o.
-1
Let i(h) = -h**3 + 6*h**2 + 2*h - 2. Let u be i(6). Let o = u + -9. Solve 0 = 5*n - 6 + o for n.
1
Let d be 2/8 + (-19)/(-4). Suppose 3*f - 6 = -d*n + 7*f, n = -4*f - 18. Let i = 1 - n. Solve -i*j = 5 + 7 for j.
-4
Suppose 0*k - 3*k + 9 = 0. Let a be (-18)/(-12)*(-4)/3. Let p be 4/8 - (-1)/a. Solve p = -m + k*m + 2 for m.
-1
Suppose 3*y - 2*a - 17 = 0, 2*a + 11 = y - 0*a. Solve y*o + 2*o = 15 for o.
3
Suppose 2*o = 4*o - 8. Let a be o + (2 - 2) + 1. Solve 6 = a*r - 2*r for r.
2
Suppose -f - 2 = -5*x, f + 4*f - 19 = -4*x. Suppose f*c = l + 23, 0*c + 2*l - 17 = -3*c. Suppose 2*a - 6 = a + 2*o, -4*a = 2*o - 34. Solve -5*z = a + c for z.
-3
Let v(t) = t**3 - 5*t**2 - 5*t - 6. Suppose -2*h - 3*k + 12 = 0, -3*h = -2*h + 4*k - 6. Let m be v(h). Suppose m = 3*c + c - 48. Solve 4*d + 0*d = c for d.
3
Let b = 228 - 228. Let h(n) = n + 1. Let k be h(2). Solve k = -b*p + p for p.
3
Let d be -8*2/(-4) - 2. Suppose 0*h + d*h - 3 = -i, -i = -2*h + 9. Let a be (-2 + (6 - h))/1. Solve 5*b - a = -6 for b.
-1
Let r be (27/12)/(9/6)*6. Solve -r = 3*i - 3 for i.
-2
Suppose 2*w = -2*c + 4 - 16, -14 = 3*c + w. Let f be c/14 - (-60)/14. Suppose z = f*z - 6. Solve 0 = z*j - 2 + 8 for j.
-3
Let p(t) = t**3 + 9*t**2 + 6*t - 4. Let z be p(-8). Suppose -2*o + 11 + 15 = 0. Solve -o = 5*f + z for f.
-5
Let t be -1 + 23 + 12/(-6). Solve -14*k + 9*k + t = 0 for k.
4
Suppose 6 = 5*o - 4. Suppose -1 = -5*g + 2*s + 1, -3*g = -2*s + o. Solve 4*u = g*u for u.
0
Suppose 0 = -11*w - 4 + 4. Solve -2*x - 2 = -w*x for x.
-1
Let x(l) be the third derivative of -1/24*l**4 + 0 + 0*l + 3*l**2 - 1/6*l**3. Let j be x(-3). Solve 0 = -0*v - 2*v + j for v.
1
Let a = 68 - 68. Solve -3*y + a = -9 for y.
3
Let g(d) = d**2 + 2*d - 3. Let s be g(-4). Solve 0*b - 15 = s*b for b.
-3
Let z = -6 - -12. Suppose 0*p - p = r - 3, 2*r - 2*p + z = 0. Solve r = w - 4*w + 12 for w.
4
Let y = 18 + -14. Solve -y*f - 3 = -3*f for f.
-3
Let o be 2/1*(0 + 11). Let k be (-48)/o + (-2)/(-11). Let y(l) = -2*l**3 - 3*l**2 - 2*l - 3. Let r be y(k). Solve -13 = r*g + 12 for g.
-5
Let y(w) = -14*w - 1. Let b be y(-1). Let q = -11 + b. Solve 0 = -0*c - c - q for c.
-2
Let w be 3 + -2 + (1 - -3). Suppose w*n - 10 = -0*n. Let r be 0 + 1 - (0 - n). Solve 2 = -o + r for o.
1
Let t(s) be the first derivative of -s**4/4 - s**3 + 7*s**2/2 - 1. Let b be t(-6). Suppose b = 5*r + 26. Solve -2*c - 2*c = r for c.
-2
Let d be 0*1/4*-2. Suppose -3*o + 35 = -4. Suppose -2*g + 8 = -t, 3*g - o = -d*t + 2*t. Solve -b - 4 = g*b for b.
-1
Suppose 4*y = -q - 2, -5*q - 10 = -3*y + 2*y. Solve -4*o - 11 - 9 = y for o.
-5
Let o(l) = -2*l + 2. Let z be o(-4). Let q be ((-4)/(-6))/(z/15). Let x = 1 + q. Solve -x*u + 5*u - 15 = 0 for u.
5
Let g be (20 - (11 - 5))/2. Solve 11 - g = 2*k for k.
2
Let x(s) = -5*s**3 - 15*s**2 + 9*s + 9. Let v(j) = 4*j**3 + 14*j**2 - 10*j - 9. Let z(p) = 4*v(p) + 3*x(p). Let g be z(-12). Solve 9 = -3*b - g for b.
-4
Suppose 2*j + 8 = -2*j. Let u be j*3/6 + -3. Let z = 4 + u. Solve 2*a + 2 + 0 = z for a.
-1
Suppose -4 = -6*u + 8. Solve -12 = -2*v - u*v for v.
3
Suppose 6 + 0 = 3*i. Let g be 7*i*(-2)/(-4). Solve -5*v + 8 = -g for v.
3
Suppose 2*o - 2*b = -o + 10, 3*b = -15. Let d(v) = v**2 + 3*v - 6. Let a be d(-5). Solve o = -a*z - 23 + 7 for z.
-4
Suppose -2*a + s = -6*a + 76, -4*a - 2*s = -80. Solve -3 = -5*v - a for v.
-3
Let w be 1/(-2*(-5)/30). Solve -w*c = -c - 10 for c.
5
Let r be (0 - 3)/(6/(-4)). Suppose -r*o - o + 16 = c, o = 5*c. Let x = 7 - o. Solve -x*b = 3*b for b.
0
Suppose 3*w - 7*w + 4*c + 24 = 0, -4*c = w + 14. Solve 0 = w*y - 4 + 2 for y.
1
Suppose g = -v + 2*g + 1, 0 = 3*v + g + 13. Let w = v + 8. Solve -w*l + 2*l = 12 for l.
-4
Suppose 0 = -s - s. Let y = 2 + s. Let w be ((-2)/3)/(y/(-12)). Solve 7*a = w*a - 3 for a.
-1
Let m be 2/(5 - (-7)/(-2))*3. Let k(h) = -h**3 - 4*h**2 - 4*h - 1. Let w be k(-3). Suppose 4*u + 67 = 5*l, -w*l + 4*l - 36 = -3*u. Solve -l = j - m*j for j.
5
Suppose -v = v - 24. Suppose -4*y = -2*y - v. Solve 2*m = -m + y for m.
2
Suppose q + 6 - 9 = 0. Solve q*j = -20 + 5 for j.
-5
Let g(p) = p**3 - p + 5. Let b be g(0). Let c be (-4)/b*(-25)/10. Suppose -c*z - 2*z + 48 = 0. Solve z = 4*f - f for f.
4
Suppose -5*z + 25 = -0*z - 5*x, z + 10 = -4*x. Solve u - z*u = 0 for u.
0
Suppose -2*q = -0*q - 6. Suppose q*a = 15, -5*w + 7*a + 35 = 2*a. Solve -w = 3*c + c for c.
-3
Suppose -3*m - 30 = -9*m. Solve 6*i + 1 = m*i for i.
-1
Suppose -5*n - 51 = -b - 20, -2*n - 4 = b. Let j(x) = x + 27. Let d be j(-22). Solve -b = -2*w + d*w for w.
-2
Let i = -8 + -4. Let m be i/(-2) + (-4 - -1). Solve 0 = -m*o - 6 - 3 for o.
-3
Let x(y) = y**3 - 7*y**2 - 7*y - 4. L