 107 = 86. Solve 2*t - y*t + 25 = 0 for t.
5
Let a(f) = -f**3 + f + 4. Let n be a(3). Let i = -30 - n. Let k be (75/i)/(2/(-4)). Solve 0 = -2*b - b + k for b.
5
Let a be ((-1)/(-3))/(2/12). Let z(r) = -5*r**3 + r. Let f be z(-1). Suppose -8 = -f*k, -9 = 4*t - 9*t + 3*k. Solve -t*n = a + 4 for n.
-2
Suppose -2*b + 4*a = -4 + 2, 0 = -2*b - 5*a - 34. Let z(o) = -3*o**2 + 0 - 5 + 0*o**2 + 2*o**2 - 8*o. Let h be z(b). Solve h = 5*f + 12 for f.
-2
Suppose 5*w = q - 39, 0 = -4*q + 6*q - w - 33. Suppose 4*x - q = 3*x. Solve 5*h = 1 + x for h.
3
Let w = -2 + 3. Let i(p) = p - 1. Let n be i(w). Solve n = q - 1 - 3 for q.
4
Let g = -12 - -11. Suppose 3*f + 0*y - y = 7, -y - 13 = -5*f. Let n = f + g. Solve 12 = 2*c + n*c for c.
3
Suppose -2*w + 0*w - 90 = 0. Let m be ((-2)/5)/(3/w). Suppose -x - m = -4*x. Solve x - 6 = -f for f.
4
Suppose -5*m - 3*g = 9, -4*m - g = -4*g - 9. Solve m*b + b - 1 = 0 for b.
1
Let z(n) = n**3 - n + 2. Let a be z(0). Solve a*t + 2 = -2 for t.
-2
Suppose 2*k - 27 = -3*r + 5*k, 0 = -3*k - 9. Let c(w) = w**3 + 6*w**2 - 5*w + 3. Let q be c(-7). Let z = -7 - q. Solve z*y = r - 18 for y.
-3
Let a = -3 - -9. Let z = 174 - 171. Solve -a*h = -z*h - 15 for h.
5
Suppose 0*m + m - 27 = 5*t, 3*m + 2*t = -4. Suppose w + 20 = m*w. Solve k - w = -3*k for k.
5
Let m(k) be the third derivative of -k**7/105 - k**6/360 + k**3/6 + k**2. Let t(b) be the first derivative of m(b). Let x be t(-1). Solve x*g + 15 = 2*g for g.
-3
Let f(j) = -6*j + 38. Let m be f(6). Solve m*k = -k + 6 for k.
2
Let t be (3 + -1 - 0) + 0. Suppose 3*s = 0, -t*z = -6*z - 3*s. Solve z = -x - 4*x - 15 for x.
-3
Suppose -c - 4*c - 8 = -3*m, 9 = -5*c + 4*m. Let a(o) = 4*o**2 + 2*o + 1. Let j be a(c). Suppose 0 = 5*y - j*q - 2 - 3, -5*y + 15 = -q. Solve t = -y*t for t.
0
Let z(s) = -s + 1. Let k be z(-2). Solve 0 = k*l - l + 2 for l.
-1
Suppose -2*z = 3*z + 50. Let d = z - -11. Solve 2*o + d = -5 for o.
-3
Let y be -9 + (-80)/(-8) - (0 - 1). Solve 5 = y*z - 1 for z.
3
Let v(i) = -14*i**3 - i**2 + 1. Let w be v(-1). Suppose r + 10 = w. Solve 3*z + 5 = r*z for z.
5
Let g be (0 - -1) + 6/6. Let b = -5 + 3. Let a(p) = -p**2 - 4*p - 3. Let s be a(b). Solve -g*f = -3*f - s for f.
-1
Suppose 4*j - 9 - 3 = 0. Let y be (6/27)/(6/54). Solve -j*k - y*k = 0 for k.
0
Suppose 3*l + 2*p - 16 = 0, l + 0*p = -2*p + 8. Let r(x) = -x**3 - 3*x**2 - 3*x + 2. Let g be r(-3). Let f = g + -11. Solve f = -2*c - l for c.
-2
Let o(n) = 3*n - 64. Let v be o(22). Solve -v*g = -0*g + 2 for g.
-1
Let b be -3 + 6 + 1/(-1). Let i be ((-3)/b)/((-5)/10). Solve -i - 2 = -5*u for u.
1
Suppose 4*s + 5 = y + 2*s, y - 4*s = -5. Suppose -y = -4*q + q. Solve q - 21 = 4*d for d.
-4
Suppose 0 = -3*d + 4*c, 6*d - d - c = 0. Solve -3*g + 3 = -d for g.
1
Let l(f) = f**2 - 11*f + 30. Let m be l(6). Let s(j) = j**3 + 7*j**2 - 9*j - 6. Let h be s(-8). Solve m = h*w - 7*w for w.
0
Let y be 2/3*(14 + 1). Suppose y = -3*p + 8*p. Solve -p*g + 5 = -3*g for g.
-5
Let j(s) = s**3 - 2*s**2 + 2*s - 3. Let p be j(2). Solve -5*f = -9 - p for f.
2
Let d(b) = 6*b - 2 - 3 - b**2 + 0*b. Let l be d(4). Solve 4 = k + l*k for k.
1
Let v(w) be the first derivative of w**3/3 - 9*w**2/2 + 2*w + 2. Let p be v(8). Let b(k) = -k - 4. Let n be b(p). Solve -1 = -n*y - 9 for y.
-4
Let w(x) = -x**3 + 11*x**2 + 13*x - 9. Let h be w(12). Solve -18 = -5*d - h for d.
3
Let n = 1 + 0. Let a(f) = f - 4 - n + 1. Let x be a(7). Solve -8 = x*q + 7 for q.
-5
Let k(r) = 7 - r**2 + 5*r + 0*r**2 - 1. Let t be k(6). Let h be (-2 + 2 + -1)*t. Solve -q - 1 + 0 = h for q.
-1
Let r(k) = -20*k**3 + 11*k**2 + 17*k - 20. Let m(q) = -7*q**3 + 4*q**2 + 6*q - 7. Let i(w) = -17*m(w) + 6*r(w). Let s be i(-3). Solve s + 0 = -4*v for v.
-2
Let t(k) = k + 4. Let g be t(-2). Suppose -1 = g*h - 9. Let r = -32 - -46. Solve 6 = h*n - r for n.
5
Let w(z) = -z**3 + 2*z**2 + 4*z - 3. Let j be w(2). Let l = j + -1. Let d = 4 - -4. Solve l*p = -0*p + d for p.
2
Let c(r) = 5*r - 13. Let s be c(6). Solve 1 = 4*x + s for x.
-4
Let o be 24/8 - (-1)/(-1). Solve -d + o = -2 for d.
4
Let t be (10/6)/(9/27). Suppose t = y + 1. Solve y*j = 2*j for j.
0
Suppose 0 = -4*c + c - 5*k + 19, -k + 11 = 3*c. Solve -c*b = b for b.
0
Let a(d) = -d**2 + 13*d - 7. Let q be a(12). Suppose 0 = -q*s + 10 + 25. Let o(h) = -h**3 - 4*h**2 + 2*h - 3. Let g be o(-5). Solve -3*b = -s*b + g for b.
3
Suppose -35 = -26*t + 19*t. Let u be (0 + 4/6)*6. Solve u*d = -d + t for d.
1
Let j = 64 - 39. Let m be 101/5 - 5/j. Let g = -16 + 21. Solve m - 5 = -g*z for z.
-3
Suppose -9 = 4*h + 3. Let l = -2 - h. Solve 4*t - 19 = l for t.
5
Let z be (12/(-21))/(4/(-14)). Suppose -3*t = -z*c + 2, t - 5*t - 5 = -3*c. Solve 0 = 2*o + 1 + c for o.
-4
Suppose -3*u + 14 = 2. Solve -g = g - u for g.
2
Let b(m) = -3*m + 1. Let z be b(-1). Let k(v) = 9*v - 1. Let w be k(1). Let f(q) = -q + 16. Let y be f(w). Solve -4*p - z = -y for p.
1
Let k(z) = z**2 + 5*z + 2. Let l(a) = a**2 + 5*a + 2. Let v be l(-6). Suppose 17 + v = -5*j. Let s be k(j). Solve 0 = -s*g + 3*g for g.
0
Suppose -5*y - 2*f + 7 + 2 = 0, -2*y - 9 = 5*f. Suppose 7 + 2 = 2*c + 5*u, -4*c - y*u = -11. Suppose -4 = c*z - 4*z. Solve z*j + 3*j = -25 for j.
-5
Let i be -4 + (2 - 0) - -3. Let b be -2 + 6 + 0/i. Solve m = -b*m for m.
0
Suppose -5*p + 0*p + 20 = 0. Suppose -k - 2*m + 2 = 1, -3*k = p*m - 7. Let t = 6 + -4. Solve 3*a + t*a = -k for a.
-1
Suppose -2*g = -4*a - 10, 1 + 24 = 5*g. Suppose -2*f - 3*f + 5*q = 10, -3*f - 2*q - 31 = 0. Let h = f - -10. Solve -h*b - b = a for b.
0
Let w be 6/(-21) + (-6)/(-21). Solve w*c - 4*c = 12 for c.
-3
Let z(r) = -r**3 + r + 2. Let j be z(0). Suppose 3*v + 3*p - 29 = -p, -j*v + 31 = 5*p. Solve -v*i - 3 = -4*i for i.
3
Suppose -2*r - 4 + 14 = 0. Solve -r*y = -y - 16 for y.
4
Suppose -5*c + 5 = 8*a - 3*a, 4*c - 4*a - 36 = 0. Let n(g) = -c*g + 6 - 2 + 4*g. Let u be n(0). Solve y = u*y + 9 for y.
-3
Let d be (0 + 0)/(-3 + 1). Suppose 0 = -3*s - d*s. Solve l + 5 + s = 0 for l.
-5
Suppose -3*p = -0*p - 15. Solve -1 = 3*d + p for d.
-2
Let m = 18 - 15. Solve -m - 2 = -a for a.
5
Let t(z) = 9*z - 86. Let c be t(10). Solve -3*p = -2*p - c for p.
4
Let l = 33 - 19. Let r be 4/l - 27/21. Let a = r + 9. Solve -4*u = -a*u for u.
0
Let d(h) = 2*h + 2. Let s be 0 - 3/((-6)/44). Suppose -4*l = -2*q - 0*q, 3*q - s = -5*l. Let r be d(l). Solve 3*u + 3 = -r for u.
-3
Suppose -9 = -2*m + 1. Suppose 5*d + 9 = -5*s - 6, 0 = 2*d - 5*s - 29. Solve -m = l - d for l.
-3
Let l = 19 + -19. Solve -3*q + l*q + 12 = 0 for q.
4
Let w be -2 + (32/48)/((-2)/(-21)). Solve 0 = -2*g + w*g - 15 for g.
5
Suppose -3*m + 26 = -2*n + 2*m, -4*n - 24 = -3*m. Let i = 3 - n. Solve i = f + 2*f for f.
2
Suppose 0 = s + 3*s + l, 3*s = 5*l - 23. Let z(t) = -t**3 + t**2 - 1. Let x be z(s). Let b be (-2)/(x*4/(-10)). Solve b = -q + 4 for q.
-1
Let f = 21 + -13. Solve -f + 23 = 3*l for l.
5
Suppose -3*g = -6*h + 2*h + 36, h = -4*g - 10. Solve -p + 3*p = h for p.
3
Let k(q) = q + 4. Let m be k(-4). Let b(f) = 9*f + 2. Let t(r) = r**3 - 5*r**2 + 4*r + 2. Let j be t(4). Let n be b(j). Solve -5*i = -m*i + n for i.
-4
Let x be (-20)/(-6)*(0 + -3). Let a be 1/(-2) + (-35)/x. Let f(h) = -h**3 - 2*h**2 + 2*h - 1. Let r be f(-3). Solve 3*g = r*g - a for g.
-3
Suppose 6 = -4*u - 10, 3*f + 11 = -5*u. Let q(a) be the first derivative of 2*a**2 - a - 1. Let k be q(4). Solve 0 = -3*j + k - f for j.
4
Let z be (4 - 0)/(10/25). Suppose z + 6 = r. Solve -r = 4*f - 8*f for f.
4
Let c(y) = y - 1. Let i be c(1). Suppose -4*t - 7 + 23 = i. Solve -t*a - 10 = a for a.
-2
Let c be (-2)/5 - (21/15)/(-1). Solve -u + c = -3 for u.
4
Let v = 15 - 35. Let h be v/(-6) - 1/3. Solve -4*n = -7*n - h for n.
-1
Let k(i) be the second derivative of 1/20*i**5 - 1/4*i**4 - 1/2*i**3 + 2*i - 3/2*i**2 + 0. Let r be k(4). Solve -8 = -3*z + r for z.
3
Suppose r - 4*r = -9. Solve r*s = -0*s for s.
0
Let b(k) = 1 + 2*k + 0 - 5*k. Let t be b(-2). Let l = -3 + t. Solve 3*z + l = -5 for z.
-3
Let r(q) = 2*q - 4. Let y = 8 - 4. Let h be r(y). Solve 2*o + 12 = h for o.
-4
Let n(j) = -2*j - 1 + 4*j - 1 + j. Let s be n(3). Suppose 2*x + 3*r - 13 = 0, -5*x + 0*x + r = -s. Solve d = x*d for d.
0
Suppose h + 1 = 6*t - t, 3*t + 2*h = -2. Solve t*s = -3*s for s.
0
Let n = 6 + -6. Solve -4*j - 4 - 4 = n for j.
-2
Let v(z) = -z**3 - z**2 + z + 2. Let h b