. Let o = d + -3. Solve 2*i = o*i - 3 for i.
1
Let u(a) = a**3 - a. Let t(k) = -7*k**3 + 5*k**2 + 7*k - 2. Let b(x) = -t(x) - 6*u(x). Let h be b(5). Let z = h - -7. Solve z*q = 6*q for q.
0
Let j be ((-6)/(-5))/((-4)/(-10)). Solve j*b + 0 - 12 = 0 for b.
4
Let v = -1 + 6. Let c = -3 + v. Suppose 35 = 2*d - 3*m, 3*d + 2*d - c*m = 60. Solve -5*o + 0 = d for o.
-2
Let p(u) = -u**2 - 9*u + 12. Let g be p(-9). Let d = 12 - g. Solve -4 = 4*n - d*n for n.
-1
Let v be (-30)/(-9)*-3 + -3. Let r = 3 - v. Solve 1 - r = -5*m for m.
3
Suppose -2*a - 22 = -4*a + n, -4*a + 46 = -n. Solve a = 6*y - 3*y for y.
4
Suppose 5 - 1 = 4*p. Let s be -2 + p + -2 - -7. Solve s*l = -0 - 12 for l.
-3
Let w(j) = j**3 - 7*j**2 + 14*j - 4. Let x be w(4). Solve x*y = 8*y + 12 for y.
-3
Suppose 3*v - 22 = 5*q, q + 0 = -3*v - 8. Let b = q + 5. Suppose -3*j + 6 = 0, 2*j + b = t - 3. Solve 0 = -3*f - 1 + t for f.
2
Let p(h) = -h**2 + 8*h - 7. Let q be -1 - (0 + -3 + -4). Let y be p(q). Solve 0 = -y*b + 3*b for b.
0
Suppose 0 = 5*x - 3 - 7. Let r = x - -3. Suppose 0*j + 5*g = -j - 20, 3*j + 4*g = -r. Solve 4*l - j = -l for l.
1
Let n(u) be the first derivative of -u**4/4 + 2*u**3 + u**2 - 7*u + 2. Let f be (4/5 - 2)*-5. Let x be n(f). Solve 0*a - 25 = x*a for a.
-5
Let j = 13 - 10. Suppose 3*y = 6*y - j. Solve 3*c - y = 2 for c.
1
Suppose 13 = 2*k - 11. Solve -k = 5*a - 2 for a.
-2
Let i be (-5 + 1 - 0) + 4. Solve -o = -i - 5 for o.
5
Let s(o) = 2 - 4*o + 19*o**3 + 11*o**3 - o**2 + o. Let i be s(2). Let d be 2/5 - i/(-20). Solve 5*r = r + d for r.
3
Suppose -3 - 1 = g. Let c = -1 - -2. Let i be 0/c + g/(-2). Solve 3 = -p - i for p.
-5
Let y(c) = -3*c - 2. Let x(i) = -1. Let u(w) = -3*x(w) - y(w). Let b be u(-4). Let q = b - -12. Solve q*o + 1 + 9 = 0 for o.
-2
Suppose 3 = x, 0 = -3*y - 0*x - x + 15. Solve 3 = u + y for u.
-1
Suppose -1 = -t - t - v, 2*v + 7 = -t. Solve -s = -t*s for s.
0
Let n be (1 - -9)*(-3)/(-5). Solve 0 = -4*o + 6*o + n for o.
-3
Let b = 21 + -5. Suppose 5*m - 2*s = -4*s + 18, -4*s = -b. Solve 0 = -g + 3 + m for g.
5
Suppose 5 = 3*l + 2. Solve c + l = -0*c for c.
-1
Let v = -4 + 7. Suppose 0 = -5*p - 4*i + 6 - 3, 0 = -v*p - 2*i + 3. Suppose 0*q = -p*q + 3. Solve 0 = 2*h + 9 + q for h.
-5
Let p be (350/(-3))/(-7)*(-6)/(-5). Let k(b) = -b**2 + 6*b - 2. Let i be k(5). Solve i*g + 2*g - p = 0 for g.
4
Let h be (-1 + -1 + 1)*0. Suppose -4*r + 40 = 4*n, 4*n = -5*r - 0*r + 52. Suppose 3*a - 7*a + r = h. Solve 1 = a*z - 2 for z.
1
Let q be 4/(3/(-15)*-4). Solve -2*i = q - 1 for i.
-2
Let h(d) = 23*d - 2. Let v be h(1). Let i = -6 + v. Solve -2*l + i = l for l.
5
Let z = 56 - 53. Let d be 3/(-1 + 15/6). Solve z*l - 8 = -d for l.
2
Let k(z) = z**3 + 7*z**2 + z + 10. Let o be k(-7). Suppose -o*g + 2*g + 3 = 0. Solve g*p + p = 12 for p.
3
Suppose 3*l + l + 3*j - 29 = 0, -4*j = 5*l - 37. Solve 3*p - l = 4 for p.
3
Let o be (6/(-4))/(2/(-4)). Solve o*x - 2 + 8 = 0 for x.
-2
Suppose -2*y = -2*g - 4, 3 = 4*y - 5*g - 7. Let j = -130 + 131. Solve y = -3*i - j - 5 for i.
-2
Suppose -4*o + 8*o - 5*p = 0, 4*p = 16. Suppose 0 = 3*y - 5*w - o, 12 + 4 = 4*y - 2*w. Suppose 3*u + 13 = 2*z + 1, -z = y*u - 19. Solve 1 = 4*f + z for f.
-2
Let m(t) = t - 2. Let k be m(0). Let d be ((-3)/k)/(1/2). Solve o + 1 = d for o.
2
Suppose 4*m + 3*s = 2*m + 14, 0 = 4*m - 3*s - 28. Solve -4*x - m = -27 for x.
5
Suppose -5*b = -r - 4 - 9, 4*r = -b + 11. Solve t = b*t + 6 for t.
-3
Suppose -5*o + 2*o = -3*w - 3, -2*o + 5*w = 4. Solve o*v + 16 = -v for v.
-4
Let m(j) = j**3 - 2*j**2 - 5*j - 2. Let r(s) = -s**3 + 3*s**2 + 4. Let z be r(3). Let c be m(z). Solve -c + 0 = -5*f for f.
2
Let i be (-1)/((-1)/30) + 0. Suppose k + i = 2*k + 5*m, -12 = 4*m. Let s be (-4)/3*k/(-6). Solve -3*x - s = -1 for x.
-3
Suppose 2*s + k = -2, -5*s + 0*s + 6 = -3*k. Let w(a) = a**2 - 5*a - 1. Let p be w(6). Solve p = -s*x + x for x.
5
Let p(t) = 2*t**2 - 12*t + 12. Let v be p(5). Solve 3 - 1 = v*s for s.
1
Let i = -45 - -67. Suppose 4*n = -4*f + 36, f = 3*n + 3*f - i. Solve 0 = -n*u - u + 10 for u.
2
Let r(c) = 3*c - 8. Let u be r(5). Solve -w - 2 = -u for w.
5
Let s(a) = 3*a - 17. Let k be s(7). Suppose 0*d + 28 = k*d - 3*t, -t - 4 = 0. Solve -c - d*c = -5 for c.
1
Let n(b) = 4*b - 4. Let k be n(6). Let a = k - 14. Solve -a*t = -t for t.
0
Let a(y) = -10*y + 21 + 3*y - y**2 + 0. Let o be a(-9). Let q be (-6)/(-4)*(-4)/(-6). Solve -o*w = -2 - q for w.
1
Let h = -23 + 26. Suppose h*z - 5*z = 0. Solve z = -4*d - 9 + 1 for d.
-2
Suppose -2*l - 3*j = -8*j + 5, 3*l + 3*j - 45 = 0. Let d be (12/10)/(2/l). Suppose -80 = -d*x + x. Solve 5*u + x = u for u.
-4
Suppose 9 - 2 = -4*a + 5*t, 4*a + t = 11. Let c(p) = 11*p - 2. Let g be c(a). Solve 3*u = -2*u + g for u.
4
Suppose 0 = -2*p - 19 + 3. Let o = p - -10. Suppose -o = -2*h + r, -h - r + 2 = -5. Solve 0 = -u + h - 1 for u.
2
Let m(k) = -3 + 10 + 7 - k - 3. Let z be m(9). Solve 8 = 5*a - z for a.
2
Let g be -1 + 4/6 - 10/(-30). Solve g = 4*b - 3 - 1 for b.
1
Suppose 3*o = 4*r, -2*o + 5*r = -3*o + 19. Suppose -8*t - 17*t + 75 = 0. Solve o = -b - t*b for b.
-1
Let c(l) = l - 7. Let t be c(9). Solve -t*i = i - 12 for i.
4
Let i be 7/(-14) - (-7)/2. Solve h + 12 = -i*h for h.
-3
Let u(y) be the third derivative of y**6/120 + y**5/10 - y**4/3 - 5*y**3/6 + y**2. Let t be u(-7). Solve 3*x - 4*x - t = 0 for x.
-2
Suppose 3*w - 2*w - 4 = 0. Let t be ((6/3 - 2)/1)/1. Solve 0 = w*o - t*o for o.
0
Let a = -4 - -5. Let s be 2/(-4)*(-4)/a. Let l be (-24)/30 + (-19)/(-5). Solve l*k - 4 = s for k.
2
Let s be 273/(-9) + 3/9. Let w = s - -45. Solve -2*p - 3*p + w = 0 for p.
3
Let o(u) = u**2 - 5*u - 8. Let m be o(7). Let s be (3/(-9))/((-1)/m). Solve 1 + 5 = s*l for l.
3
Suppose 0 = 3*w + w, 4*g - 5*w = 0. Suppose 0 = -18*x + 22*x - 16. Suppose g*y + 8 = x*y. Solve -2*c - 10 = -y for c.
-4
Suppose 2 + 3 = -h. Let j be (-1 - h)*(-1)/(-2). Solve -j*u = -u + 1 for u.
-1
Let a be 1/1 - (1 - 5). Suppose -2*x - 6 = -0. Let y = a + x. Solve -2*j = y*j for j.
0
Suppose -w = 2*w - 12. Solve w = 4*v - 2*v for v.
2
Let x be 27 + (1 + 1 - 4). Let h = x + -21. Solve -3*f + h = 1 for f.
1
Let c = 8 + -5. Suppose 0 = -4*r + 2 + 6. Suppose -c - 1 = -r*z. Solve 7*f = z*f for f.
0
Let m be 4*1*-3*(-4)/8. Solve -s = -3 + m for s.
-3
Let y(t) be the first derivative of t**3/3 - 5*t**2/2 - 2*t + 2. Let o be y(4). Let n be 3*(-1)/o*4. Solve 0 = 4*w - n + 18 for w.
-4
Let y(v) = v**3 + 8*v**2 - 11*v. Let q be y(-9). Let d be q/(-12)*20/(-6). Solve 3 - 18 = -d*s for s.
3
Suppose 5*s + 4*x = 45, -9 = -3*s + x + 35. Suppose -3*q - 15 = -j, 2*j = -4*q + 3 - s. Solve 4*y - 4 = j*y for y.
4
Suppose -3*v + 1 + 1 = d, -5*d = -3*v + 8. Solve -3*y = v + 5 for y.
-2
Suppose -5*l + 26 = 4*d, -2 = l - 5*d + 16. Solve 5*b + l = 12 for b.
2
Suppose 0*x - 15 = -3*x. Suppose -3*j + 15 = 5*c, 8*j - 3*c - 49 = 4*j. Let p = 15 - j. Solve 5 = p*g - x for g.
2
Let q = -22 - -22. Solve q = -0*h - h + 1 for h.
1
Let r = 0 + -2. Let q be r*(2 - 2 - 1). Suppose 4*f - 17 = f + 4*u, 0 = -q*u - 4. Solve -f*a = -a for a.
0
Let c(a) = -a**2 + a. Let f be c(5). Let o = -17 - f. Solve -o*d = -4*d for d.
0
Suppose -4*r - 11 - 1 = 0. Let s be 8/3 - (-2)/r. Let m(b) = b**2 + 4*b - 4. Let v be m(-5). Solve -s = -l - v for l.
1
Let p(a) = a**2 - 2. Let t be p(-2). Solve -15 + 9 = -t*v for v.
3
Suppose 0 = 2*r + 3*r - 30. Let q be ((-4)/r)/((-5)/45). Suppose 5*l - 5*o = 50, 4*o = q*l - l - 48. Solve a + l = -a for a.
-4
Suppose 0 = -2*o - 9 + 1, 0 = q + 2*o + 5. Solve -q*f + 4*f = 0 for f.
0
Let m(f) = f + 4. Suppose -5*i - 2*x = -9, 0*x = -3*i - 4*x - 3. Let s be m(i). Solve 0 = 5*b + s + 8 for b.
-3
Suppose -z = -5*m - 24, 3*z - 4*m - 6 = 33. Solve -16 = 5*s + z for s.
-5
Let c(t) = t**2 - 1. Let d = -2 + 4. Let i(h) = h - 1. Let p be i(d). Let x be c(p). Solve x = -3*n - 3 + 6 for n.
1
Let c = -21 + 27. Solve -2*n + c = -0*n for n.
3
Let k be (-17)/(-5) - 4/10. Suppose -16 = -4*g - 3*j - j, 2*g - k*j + 7 = 0. Solve 5*u - g + 11 = 0 for u.
-2
Let h(d) = -5*d + 3. Let c be h(2). Let n = -12 - c. Let i be (-48)/(-10) + (-1)/n. Solve 6*o + i = o for o.
-1
Let r = -8 - -4. Let m = r + 6. Solve 0 = -m*y + y + 3 for y.
3
Suppose -2*l = -3*l. Suppose m - 4*m + 15 = l. Let q = m - 2. Solve q*u - 15 + 0 = 0 for u.
5
Let w be 5/4 - 3/(-4). Suppose w*z - z = 3. Solv