Solve 0 - b = 3*v for v.
-1
Let u be (-1 + -1)/(5/10). Let n(g) = -2*g - 6. Let b be n(u). Let h = 0 - 0. Solve -2*v + h = -b for v.
1
Let q be -6*6/(-9) + -2. Suppose 32 = 2*c + 4*y, 0 = 2*c - 5*y + y - 48. Solve 7*d + c = q*d for d.
-4
Let j(d) = 2*d**3 - 4*d**2 + 4*d - 2. Let v be j(2). Solve -3*t = -9 - v for t.
5
Let d(j) = -8 + 1 - 5 + j. Let s be d(14). Solve -8 = -2*l - s for l.
3
Let j be (-2 + (-1 - -2))*-1. Suppose 4*s = 5*h + 41, 0*s = s - h - 9. Suppose -j - s = -5*u. Solve 17 = 4*t + u for t.
4
Suppose -5*v + 83 = -2*p + 4*p, -5*p = -20. Suppose 5*g - 3*s + v = 40, 0 = 5*g + 5*s - 25. Solve -g*j + j = 0 for j.
0
Let j be (-3)/(-5) - (6 - 288/20). Solve u - 4*u = j for u.
-3
Suppose 3*t = w, 3*w - 4*w + 8 = 5*t. Let h be t/(-2) + (-1)/(-2). Solve 0 = -2*p - h + 2 for p.
1
Suppose 0 = 3*i - 6. Let k be (6/(-4))/((-3)/6). Suppose -j + 0 = -k*g - 5, -3*g + 25 = 5*j. Solve 0*d - i*d - 8 = g for d.
-4
Let l be 2/2 + 0 - -7. Let w = l - 1. Solve -1 = 3*x - w for x.
2
Suppose 3*s - 17 = -2, -3*s = -f - 13. Suppose -f*x - 3*m = -8*m + 19, -10 = -2*m. Suppose -u - x = -5. Solve 0 = -u*d + 8 + 2 for d.
5
Let m = -2 + 9. Let a = m + -7. Suppose -2*r + 6*r - 16 = a. Solve -r*g - 12 = -g for g.
-4
Let y(x) = -x**2 - 6*x + 2. Let s(i) be the third derivative of 7*i**4/24 + i**3/6 + 3*i**2. Let v be s(-1). Let t be y(v). Solve 0 = a + t for a.
-2
Let v be (-3 - (-10 - -3))*1. Suppose 6*c = v*c + 18. Solve i = 4*i - c for i.
3
Let q be -1*(-4 + -1)/5. Solve -f = -q + 5 for f.
-4
Let w(o) = o + 11. Let b be w(-9). Solve -5*m = -b*m for m.
0
Suppose 25 + 15 = -5*m. Let t = -7 - m. Solve d - t + 0 = 0 for d.
1
Let g(d) = -d**2 + 10*d + 29. Let l be g(12). Solve 6 = l*p - 2*p for p.
2
Let k = -3 + 5. Solve -k = 5*s + 3 for s.
-1
Let h(x) = x**3 + 2*x**2 - 3*x + 5. Let p be h(2). Solve -j = 2*j + p for j.
-5
Let g be ((-3)/(-2))/((-8)/(-16)). Solve -j - g*j = 0 for j.
0
Suppose 3*g = 2*f - 6 - 3, 4*f + 3*g - 9 = 0. Let d(z) = 3 + 1 + 2*z - z. Let a be d(4). Solve -f*c = -5*c - a for c.
-4
Suppose -309 = -90*c + 141. Let j be 1/2*1*0. Solve 2*k + 3 + c = j for k.
-4
Let s(a) = a**3 - 6*a**2 + a. Let c be s(6). Solve -2*z = -c*z - 16 for z.
-4
Suppose -c - 10 = -6*c. Solve 3*s - s = c for s.
1
Let d = -28 + 33. Let h(g) = g**3 + 6*g**2 - 2. Let i be h(-6). Let t(y) = y**3 + y**2 - 3*y - 2. Let o be t(i). Solve o = -d*x - 20 - 5 for x.
-5
Let t(n) = -n**3 + n. Let q(g) = g + 5. Let j be q(-5). Let c be t(j). Suppose d + 4 - 9 = 0. Solve c = 3*o + 2 - d for o.
1
Suppose 10 = 5*d + 2*a, 2*d + 5*a - 2*a = -7. Let c(l) = l**3 + 5*l**2 - 5*l - 5. Let k be c(-5). Solve 0 = v + d*v - k for v.
4
Let j be 3/1 - 12/4. Suppose b + 2*b - 2*k - 21 = 0, j = -4*k - 12. Solve 2*y - b = -3 for y.
1
Let y(u) = 3*u**2 + 13*u + 11. Let s be y(-4). Solve -5*q - 10 = -s*q for q.
5
Let d be 2/4 + 2/4. Suppose o = 3*k + 35 + 5, 5*k + 75 = 2*o. Suppose -43 = -4*w + 5*z, 4*z + o - 6 = w. Solve -d - w = 4*n for n.
-2
Let t(j) = 4*j**3 + 5*j**2 + 2*j - 11. Let x(z) = -3*z**3 - 6*z**2 - z + 10. Let y(l) = 2*t(l) + 3*x(l). Let g be y(-8). Solve g = n + 4*n for n.
0
Suppose 0 = -10*f + 28 - 8. Solve 0 = -f*d + 1 + 5 for d.
3
Let o(z) = z**2 + 3*z - 2. Let p = 25 + -22. Let l be o(p). Solve -4 = 4*c - l for c.
3
Suppose 3*m - 24 = d - 6, 0 = -4*d + 12. Solve -m*j - 20 = -2*j for j.
-4
Let z(s) = s**3 - 11*s**2 + 10*s + 5. Let q be z(10). Let h(k) = k - 2. Let v be h(2). Solve q*g = -v*g for g.
0
Let x be ((-8)/24)/((-1)/6). Suppose -x*c + 6*i - 6 = i, c + i - 4 = 0. Let z be ((-7)/4)/(c/(-8)). Solve -2*g - 3 = z for g.
-5
Suppose 1 + 8 = 2*u + g, -5*u + 2*g = 0. Solve -m + u = -0*m for m.
2
Let k(j) = -j**3 - 8*j**2 - 12*j + 10. Let c be k(-6). Solve -15*b = -c*b + 15 for b.
-3
Let z(q) = q**2 + 7. Let t be z(0). Suppose -2*p + p = -3. Solve 0 = 4*h - t + p for h.
1
Let y = -30 + 53. Suppose -2*h = -5*p - y, 0 = 3*p - p + 4*h + 14. Let j = p - -7. Solve -j*g + g = 0 for g.
0
Let p = -137 - -141. Solve -5 = z - p for z.
-1
Let m(q) = -q**2 - 8*q - 7. Let k be m(-5). Let z = 11 - k. Solve -g = z*g for g.
0
Suppose -2*c - 4*m = -c - 22, 4*m = 20. Let a(n) = n**3 - 2*n**2 + n - 2. Let k be a(c). Solve k = -0*p + p - 1 for p.
1
Let i(y) = -y**3 + 3*y**2 + 2*y - 2. Let j(g) = g - 5. Suppose 16 = 4*d - 2*d. Let k be j(d). Let o be i(k). Solve 0 = f - o*f + 3 for f.
1
Let x = -7 - -13. Solve -x = -2*j + 5*j for j.
-2
Suppose 4*f + 4*s + 4 = 8*s, 4*f = 3*s - 1. Solve 4 + 4 = -f*r for r.
-4
Suppose 0 = -3*b - 5*y + 20, 2*b - 3*b + 8 = 2*y. Solve b = 4*m + m - 25 for m.
5
Let v = -18 + 21. Let m = 0 + 0. Solve m*h + v*h - 15 = 0 for h.
5
Let h be (1/3)/(9/27). Solve 1 = u - h for u.
2
Let l be (4/(-10))/((-9)/90). Suppose 4 = 6*y - l*y. Solve -u - y - 1 = 0 for u.
-3
Suppose 0 = 3*z - 3*c - 6, 3*z - 2*z = -c + 4. Solve 2*v - 3 = z for v.
3
Let v = 5 - 4. Let o(c) = 3 + 5 - c + v - 1. Let w be o(8). Solve w*b + 4 = -b for b.
-4
Suppose 5*s = -10*s + 165. Solve s = -5*q - 9 for q.
-4
Suppose -2*j = -2 - 2. Solve m - 5 + j = 0 for m.
3
Let s = 1 + 5. Let l(w) = -w**3 + 7*w**2 - 5*w - 8. Let u be l(s). Let o be (-1 - (-1 + 1))*u. Solve -2*m + o = -4 for m.
3
Let k be (4/10)/((-3)/(-270)). Let p be (-2)/(-10) - k/(-20). Let j be 0/(-3 + 0 + p). Solve 3*x - 8*x - 25 = j for x.
-5
Let i(d) = d**3 + 4*d**2 + 4*d + 3. Let x be i(-3). Solve x = 3*f + f - 20 for f.
5
Suppose 5*t - 3*l - 5 = -2*l, 0 = -4*t + 5*l + 25. Solve b - 2 = -t*b for b.
2
Suppose 22*m - 20*m = 2. Solve y = 3 + m for y.
4
Let r = -7 + 7. Suppose r = p - 2. Solve m + 0*m = p for m.
2
Suppose x + 2 - 8 = 0. Let t = -5 + x. Suppose 4*s - 8 = 2*s. Solve -3 = -s*b + t for b.
1
Suppose -4*l + 2*w + 0*w + 14 = 0, -4*w = l + 10. Solve 0 = 2*p + l*p - 4 for p.
1
Suppose 5*d = 4*z + 32, -5*d - 10*z = -12*z - 26. Solve d*f = -4 + 20 for f.
4
Let h be 6/15 - 2/5. Suppose 2*f + 8 = 4*c, -5*c = -2*f - h*f - 8. Solve -i - 1 - 3 = c for i.
-4
Let x be (-171)/(-15) + (-18)/(-30). Solve 2*n = -n + x for n.
4
Suppose -4*u + 1 - 4 = -5*h, -u = -5*h + 12. Solve -2*k = u*k for k.
0
Let s be -1 - (-16 - -2)*1. Suppose 2*p + 3*v = -2*v - 19, -2*p - s = 3*v. Let k(h) = -5*h - 3. Let f be k(p). Solve -f = -3*m - 1 for m.
2
Let l(b) = -4*b**3 + b**2 + 2*b + 1. Let w be l(-1). Let x = 0 + 4. Let a be (3/1)/(x/12). Solve -w*j - 7 = a for j.
-4
Suppose -13 = -5*k + 12. Solve -k*g = -0*g - 5 for g.
1
Suppose -4*t - 2*c = -6 - 6, t - 8 = -3*c. Let o = -17 + 17. Solve o = t*m - 0 - 6 for m.
3
Let k(x) = x + 15. Let d be k(-8). Suppose 2*p = -0*p + 24. Let v = p - d. Solve -v*n - 2 = -7 for n.
1
Let s(x) = -2*x**3 + 9*x**2 + 3*x + 13. Let z be s(5). Solve -z = -2*q - q for q.
1
Suppose 3*i = m - 1 + 11, -3*i - m + 8 = 0. Suppose -3*a = 15, 2*h + 27 = 5*h - i*a. Suppose h*k = 2*k. Solve k*u = 4*u + 16 for u.
-4
Suppose 0*i + 3*i - 5 = g, -3*g = -i - 1. Let c be ((-10)/25)/(i/(-30)). Let d = c + -6. Solve 0*q + q - 2 = d for q.
2
Let d(b) be the first derivative of b**3/6 - b**2/2 + b - 2. Let o(s) be the first derivative of d(s). Let k be o(5). Solve -k*a - 5 = a for a.
-1
Let k(p) = p**2 - 6*p + 2. Let c be k(6). Suppose -14*d + 7 + 77 = 0. Solve v + c*v = d for v.
2
Suppose -3*d = -4*d + 9. Solve -5 = -d*o + 4*o for o.
1
Suppose 3*q - 3 = 2*q. Solve 2*w + q*w = -15 for w.
-3
Let j = 30 + -27. Solve j*w = -2*w for w.
0
Let s = -131 - -136. Solve -s*q + 13 = 3 for q.
2
Let y = 5 - -7. Solve -3*n - 3 = y for n.
-5
Let c(r) = 4*r**2 + 1. Let j be c(1). Let u = j - 2. Solve 3*s - u = 3 for s.
2
Let u(p) = -p. Let y(z) = z + 3. Let a be y(0). Let s = -1 - a. Let q be u(s). Solve -r = 1 - q for r.
3
Suppose 3*o - 6 = 0, -5*q + 9 = -o - 4. Solve 4*j - 7*j = q for j.
-1
Let d be ((-4)/(-12))/(-1)*-9. Solve -l + 4*l = d for l.
1
Suppose -3*w + 2*w + 4*y = 14, -5*y = w - 22. Solve w*t = -2*t for t.
0
Let o(q) = -3*q + 9. Let i be o(-2). Solve -3*c = -8*c - i for c.
-3
Let g be -1 + ((-2)/1 - -4). Let o be g*(-3)/6*10. Let t be o*(28/(-10) + 2). Solve 0*u + 20 = -t*u for u.
-5
Let b = -20 + 22. Suppose b*w = 7*w - 10. Solve 3*u - w*u = 3 for u.
3
Let o be 4 + -2 + (-4)/2. Solve 0 = m - o + 5 for m.
-5
Let q = 38 + -26. Solve -m - 2*m = q for m.
-4
Let m(x) = -2*x - 1. Let j be m(-2). Solve -c = -2*c - j for c.
-3
Let y(i) = i**3 - 2*i**2 + 3*i - 3. Let z be y(2). Let h be (0