b + 4 = 0 for b.
2
Let y = 4 + -2. Let s be (-28)/4 + (1 - -2). Let d = s + 4. Solve d = -2*m - y for m.
-1
Suppose -4*t + 10 = t. Solve -4*c = t + 6 for c.
-2
Let x(j) = -3*j + 1. Let t be x(-1). Suppose -t*m = -2 - 14. Suppose 0 = a - 3*a. Solve a = -0*s + m*s for s.
0
Suppose 0 = 3*u + i + 18, -i + 0*i = 4*u + 23. Let z be u*(-1)/(15/6). Solve z*x + 11 - 1 = 0 for x.
-5
Let f(g) = g**2 - 5*g - 8. Let l be f(7). Let h(x) = -x**2 + 5*x + 8. Let q be h(l). Let s be (2 + -9 + q)/(-1). Solve s = -0*t + t for t.
5
Let k = 18 + -10. Let w = 7 - k. Let f be (-2 - 7/w) + -3. Solve 2*i - i = -f for i.
-2
Let k(z) = -5*z + 27. Let o be k(5). Solve -5*a + 7 = o for a.
1
Let n be ((-16)/(-4))/(-1 + 2). Solve -2*t + 14 = n for t.
5
Let h = 31 + -30. Solve 0 = 5*m - h - 4 for m.
1
Let n(k) = k**2 - 11*k + 12. Let r be n(10). Solve -2*b = r*b + 4 for b.
-1
Let u be -3*(-4 + (-4)/(-3)) - 3. Solve u*w - 4 = 21 for w.
5
Let l(g) = -3 + 2*g**3 + 6 - g**3 - 4*g**2. Suppose 5*d - b - 18 = 0, 0 = -5*d - 2*b + 32 - 8. Let h be l(d). Solve h*u + 9 = -6 for u.
-5
Suppose -3*g = 2*g. Solve g = 2*s - 0*s + 2 for s.
-1
Let r(m) = m**2 + 3*m + 2. Let n be r(-2). Suppose y = -2*x - n*y + 3, -4*y - 4 = 0. Solve 0*o + o + x = 0 for o.
-2
Suppose -3*x - x = -4. Solve -4 = b - x for b.
-3
Let h(b) = 0 + 2 - b**2 + 0*b**2 - 6*b. Suppose 0*n - 2*n - c = 15, 3*n + 4*c = -30. Let y be h(n). Solve y = -2*l + l for l.
-2
Suppose 5*n - 13 = -4*t, -17 = -0*n - 4*n - t. Let x = -7 - -40. Solve -n*w = -x + 13 for w.
4
Let u = 5 + 1. Suppose 2*y + 8 = 3*d, -7*y + u = 4*d - 5*y. Solve -i - 9 = d*i for i.
-3
Let k be (-10)/((-1 - -2)/(-1)). Suppose 2*z + 2 = k. Let o be (2 - 2)/(-1 + -1). Solve o = z*a - 0*a + 4 for a.
-1
Suppose 6*s - 8*s = 0. Solve s - 2 = 2*h for h.
-1
Let c(z) = -z**3 - 7*z**2 - 2*z - 4. Suppose 4*b + 13 = -5*a, -4*a + 19 = -5*b + 4*b. Let g be c(b). Solve 0*h - g = 2*h for h.
-5
Suppose -w - 2*w - 4*v - 17 = 0, 0 = 5*w + v. Let b(i) = i**3 + 7*i**2 - 10*i - 11. Let h be b(-8). Solve -h*g - 6 = -w for g.
-1
Suppose 2*k - 3*k + 1 = 0. Suppose k - 4 = x. Let w be (12/(-9))/2*x. Solve i - w*i = -2 for i.
2
Let x = -16 + 18. Suppose 0 = 3*g - g. Suppose -3*u + 5 = -7, 2*u - 11 = -j. Solve g = j*i + 1 + x for i.
-1
Let k be (-3)/(-2) + (-20)/(-8). Solve 5 = k*x - 5*x for x.
-5
Let p be 22/33 + ((-8)/(-6) - -1). Solve 0 - p = -k for k.
3
Let u(l) = -2*l + 6. Let j be u(0). Solve x = j - 1 for x.
5
Let u(t) = -t**2 - 1. Let l be u(-1). Let y be (-9 - l/2)/(-2). Solve -9 = y*m + 3 for m.
-3
Let f = 3 + 0. Solve -2*v - f = 3 for v.
-3
Let y(k) = -k**3 - k - 3. Let q be y(0). Let h be (1/q)/((-1)/15). Solve -h*i - 1 = -16 for i.
3
Let x = -40 + 26. Let k(u) = -u**2 - 15*u - 14. Let r be k(x). Solve r*c + 5*c = 0 for c.
0
Let z = -23 + -1. Let l be z/(-14) - 6/(-21). Solve -2 - 6 = l*b for b.
-4
Suppose 6 = t + 2. Solve 3*r - r - t = 0 for r.
2
Let f = -33 + 55. Let y be 33/f - (-2)/4. Suppose -k = 0, -s + 3*s - 32 = -k. Solve y*r - 6*r + s = 0 for r.
4
Let l(s) = -s + 1. Let u be l(0). Solve 4*p + u = -11 for p.
-3
Suppose 0 = -4*y + d - 29, -d = -4*y - y - 35. Let c = y - -7. Suppose c = -v + 4*i - 3*i, -5*v - 3*i = -27. Solve -5*a - v = -2*a for a.
-1
Suppose -2*r - 6 = -5*r. Let q = -2 + r. Let n = q - -3. Solve -c + 1 - n = 0 for c.
-2
Let j(q) = q**2 + 5*q - 7. Let x be j(-5). Let w(n) = -n**3 - 8*n**2 - 9*n - 7. Let l be w(x). Suppose -3 + l = k. Solve -k = -0*y + y for y.
-4
Suppose 0 = 2*l - 2*a - 14, -3*l + 2*a - 4 = -24. Suppose -l*c + c = -15. Let w(g) = g**3 - 6*g**2 + 4. Let j be w(6). Solve -j = -c*i + 5 for i.
3
Suppose -8*i = -3*i. Suppose i = 4*h + h - 20. Solve -h*l = -3*l for l.
0
Suppose -3*k - k = -8. Let r be (18/15)/((-1)/(-5)). Solve k*l + r = -l for l.
-2
Suppose 17 = a + u, 0*a - 2*u = a - 22. Let o = 6 + -3. Solve -f + a = o*f for f.
3
Suppose 0 = 4*g - 5 + 1. Let d be 3 + 1*(g + 0). Solve 0 = -2*j - 2 - d for j.
-3
Suppose 4*h - y - 1 = 0, -3*h - 3*y = h - 13. Solve -2 = w + h for w.
-3
Let g(j) = j**3 + 6*j**2 + j + 6. Let f be g(-6). Suppose -4*d + 3*d + 18 = 0. Suppose 3*h - d = -f*h. Solve i = 5 - h for i.
-1
Suppose -b = 1, 2*b + 0 + 5 = o. Solve 0 = o*q - 6*q + 3 for q.
1
Let f be (-12)/(-7) + (-4)/(-14). Suppose 20*d + 3 = 21*d. Solve -f = n + d for n.
-5
Let j be (75/3)/(2/2). Suppose -w - j = 4*x - 0*w, 2*x + w + 11 = 0. Let k = x + 18. Solve -k + 31 = 5*s for s.
4
Suppose -2*c = -2, -2 = -5*x - 2*c - 0. Solve x*b + 4*b = -8 for b.
-2
Suppose 5*k - 4 = 4*s + 8, -s + 2 = 0. Suppose 2 = -h + 4. Suppose 0 = u + h - 10. Solve 0 = -u*z + k*z - 16 for z.
-4
Suppose -2*s + 11 = -1. Let o(j) = j**2 - 1 - 2 + 7 + s*j. Let d be o(-6). Solve -d*l - 6 = -22 for l.
4
Let w(t) = -t**3 - 4*t**2 + 10*t - 6. Let v be w(-6). Solve -v*z - 9 = -9*z for z.
3
Suppose -4*p = -y - 26, -48 = 4*y - 3*p - 9. Let n be 5/(-5) + (-1 - y). Solve 0 = n*a + 7 - 3 for a.
-1
Let l = -1 + 4. Suppose 9 + 14 = z + 5*g, 4*z - 20 = -2*g. Let h = 3 - z. Solve h = -4*i + i - l for i.
-1
Let s be (-29)/(-9) + 12/(-54). Solve 2*d = 5*d - s for d.
1
Suppose 76 = 5*q + 6. Suppose -4*s = i + q, -4*s = 6 + 10. Solve 2*m = -i*m for m.
0
Suppose 0 = 4*s - 3*s - 2. Suppose 0 = -s*u + 3*u - 2. Solve -u = 2*x - 0*x for x.
-1
Let h = 23 - 18. Suppose r + 2*r + 15 = 0, -5*j - h*r = 0. Solve 25 = -5*g + j for g.
-4
Suppose 0*p = -21*p. Solve p = 2*y - y + 4 for y.
-4
Let k be 2/(((-1)/(-2))/1). Suppose 0 = 5*j - 2*a - 12, -4*j - 2*a + 0 + 24 = 0. Let g be j/6 + 8/(-12). Solve g*d - 4*d = -k for d.
1
Let c(n) = -1. Let b(i) be the second derivative of i**3/6 - 2*i. Let z(w) = -b(w) - c(w). Let j be z(-3). Solve 0 = j*g - 7*g - 15 for g.
-5
Suppose -v = -0 - 2. Suppose s - 18 = v*b, -4*b + 20 = -3*s + 8*s. Solve -3*o + o + s = 0 for o.
4
Let w(r) = 4*r + 6. Let h be w(-1). Solve h*q = -7 + 3 for q.
-2
Suppose 0 = -22*a + 20*a. Solve 3*i + a = -15 for i.
-5
Suppose -2*n = -3*n + 5*q - 23, 12 = n + 2*q. Solve -17 + 7 = n*r for r.
-5
Suppose -2*p = 2*p, 4 = z - 4*p. Let k be (12/z)/(6/(-4)). Let f be 68/24 - k/12. Solve 0 = 4*w - f*w - 2 for w.
2
Let u(j) = j**3 + 13*j**2 + 11*j - 9. Let w be u(-12). Solve g - 8 = -w*g for g.
2
Let o(v) = -v**3 + 4*v**2 - 5*v + 4. Let k be o(3). Let i(g) = -g. Let x be i(k). Solve 2*t + 0 = -x for t.
-1
Let h be (-1 - (3 + -5))*2. Let o be (-2)/((-16)/(-12) - h). Solve -8 = -7*z + o*z for z.
2
Let i = 2 + -1. Suppose 4*a = -2*b - 10, a + 0*a + 3 = -b. Let h = b + i. Solve -2 = -y - h for y.
2
Let j = 6 - 6. Solve j*q = -3*q + 3 for q.
1
Let z = 11 - 10. Solve -1 = -k + z for k.
2
Suppose -4*h = 3*x, -27 = -5*h - x + 4*x. Suppose -n - h*n + 40 = 0. Let v be ((-12)/8)/((-1)/n). Solve 4*q = -q + v for q.
3
Let s(m) be the third derivative of m**5/12 + m**4/8 + m**3/6 + 3*m**2. Let c be s(-2). Solve -4*i = i - c for i.
3
Suppose 4*i - 7 = -3*k + 6*k, 2*i = 5*k - 7. Solve 5*y - k*y + 10 = 0 for y.
-5
Suppose -5*k - 21 = -3*s, -2*k = s + 3*k + 13. Let c be (2 + -20)*1/s. Let j be -1 + -6*6/c. Solve 1 + j = 2*b for b.
2
Let n be (3 + -6)*-1 - 0. Solve -3*q = -0 - n for q.
1
Suppose -28 = -5*w + 9*w. Let l(o) = -o**3 - 8*o**2 - 7*o + 3. Let m be l(w). Solve -3 - m = 2*d for d.
-3
Let y(j) = j**3 + 2*j**2 - 1. Let f be y(1). Solve k + 6 = -f*k for k.
-2
Let p be ((-4)/(-8))/(1/4). Suppose p*r + 2 = 4*r. Suppose -4 + r = -3*q. Solve -5*x + 4 + q = 0 for x.
1
Let v = -2 - -4. Suppose -2 = 2*y - c, 0 = 3*c + c. Let z(t) = -8*t**3 + t**2 + t. Let q be z(y). Solve -v = 5*l + q for l.
-2
Let d(l) = l**3 + 6*l**2 + 2*l - 4. Suppose -2*f + 19 = 3*u + 7, f + 15 = 2*u. Suppose 5*b = -26 + u. Let t be d(b). Solve -3*p = p + t for p.
-5
Let z(y) = 3*y**2 - 5*y - 5. Let v be z(4). Solve -5*j + 2 = -v for j.
5
Let l(o) = o + 8. Let c be l(-8). Solve c*a - 2*a + 8 = 0 for a.
4
Let c = 474 + -474. Suppose -4 - 6 = -2*b. Solve c*u = b*u + 20 for u.
-4
Let x(j) = j**2 + 2*j. Let l be x(-3). Suppose -4*y + 13 = -l. Solve 0 = -y*s + s + 3 for s.
1
Suppose -b = 3*t + 2*t - 2, -t - 2 = -b. Suppose t = -n + 2. Let k be n - 0/2 - 2. Solve k*r = -r + 2 for r.
2
Let j(o) = -3*o - 4. Let f be j(-3). Let q(b) = -b**2 + 7*b - 6. Let g be q(f). Solve -g*n + 0 = -12 for n.
3
Suppose -3*h + 13 = -u, -2*u + 4*u = -8. Suppose -j = -h*j + 50. Solve 6*d = d + j for d.
5
Suppose -2 = -d - 0. Let v = -5 + d.