 = 0. Solve -2*x - 8 = -g*x for x.
2
Let x be (-2)/(-5) - 10/25. Solve x = -0*g + 4*g + 12 for g.
-3
Suppose -2*q + 6 - 2 = 0. Solve -q = 3*y - 4*y for y.
2
Let d(l) = -l**3 - 19*l**2 + l + 21. Let m be d(-19). Solve -3*q + 4 = -m for q.
2
Suppose 0 = 12*j + 1 - 25. Let b = 9 + -4. Solve p + b = j*p for p.
5
Let v = -8 - -10. Let u be 30/9 - v/6. Solve -u*n = -0 - 3 for n.
1
Suppose -2*g + 5*x + 27 = 0, 5*x + 12 = x. Suppose -1 = -c + 5*n + 1, -n - g = -3*c. Solve c*u = 2 - 0 for u.
1
Suppose -3*t = 3 + 21. Let v = t + 10. Let q be 2/((-4)/(-14)) - -2. Solve -x - v*x = q for x.
-3
Suppose 5*z - 25 = -g, 0 = -z - 0*g + g - 1. Solve 3*p = 5*p - z for p.
2
Let d = 10 - 7. Let b = 0 + d. Solve r + b*r = 16 for r.
4
Let x(c) = -2*c**3 + 2*c**2 - c - 2. Let r be x(-1). Solve -r*a - 25 = -10 for a.
-5
Suppose 0 = -3*g + 4*g - 22. Solve 5*j + 7 - g = 0 for j.
3
Let d be 0*(2 + 9/(-6)). Suppose 4*g - 20 = d, g - 5*g = 2*v - 20. Suppose -2*b + 4 + 21 = -5*a, 2*b - a - 5 = v. Solve b*u + 1 = u for u.
1
Let f(z) = -2*z**3 - 4*z**2 - 3*z - 2. Let y be f(-2). Solve y = -3*w - w for w.
-1
Suppose -7*h + 2*h = -100. Let n = h - 17. Solve -o + n = 2 for o.
1
Let f be 33/3 + 5 + -7. Solve f*q - 4*q = 10 for q.
2
Let n = 3 + 0. Let b = -1 + n. Solve 0 = 3*v + b*v for v.
0
Let u(q) = 2*q + 1 + q**2 - 10 - 3. Let i be u(-5). Solve 5*m - i*m = 0 for m.
0
Let r be (36/30)/((-4)/10). Let o be (0 + 2)/((-2)/r). Solve o*p + 0 = 3 for p.
1
Let s be (-1 + 4 + -2)*5. Suppose u + 0*u = s. Suppose -4*a + y - 2 = 0, 2*a + u*y = 4*a + 10. Solve a = 4*g - 6*g + 10 for g.
5
Suppose 0 = a + 3 - 1. Let h be 26/6 + a/6. Let s be (-2)/3 + (-4)/(-6). Solve b + h = -s for b.
-4
Suppose -y + 9*y = 0. Solve y*w - 3 = -w for w.
3
Let p = 2 - 9. Let k(n) = n + 7. Let d be k(p). Solve -4*s + 0*s - 16 = d for s.
-4
Let v be 2 + (40 - 0 - 0). Let i be v/4 - (-1)/(-2). Suppose 4*s + 8 = -2*k, 4*s = k - s - i. Solve -3*f + f = k for f.
0
Suppose 0 = -2*r - 3*r - 130. Let s be (-4)/r - (-423)/39. Solve 9 + s = 4*o for o.
5
Let g = -43 - -83. Let c = g - 25. Let t(x) = 2*x**2 + 16*x - 13. Let o be t(-9). Solve -o*a + c = -5 for a.
4
Let k(l) = l**3 - 5*l**2 + 5*l - 6. Let d be k(4). Let h(i) = i**2 + 8*i + 3. Let r be h(-8). Let q = r + d. Solve -3 = 4*u + q for u.
-1
Suppose 0*w + 2*w - 4 = 0. Suppose w*q + 0 - 20 = 0. Solve l - q = -l for l.
5
Suppose 3*m - 9 = -0. Solve -m*p - 8 = -p for p.
-4
Suppose 2*j - 5*c + 4 = 0, 2 - 15 = -j - 5*c. Let a(s) = s**2 + 2*s - 3. Let g be a(2). Suppose -5 - g = -4*l - 5*k, -5*k = -l - 10. Solve l*i = -j*i for i.
0
Suppose -2*p + p - 37 = -2*i, 79 = 5*i + 2*p. Suppose -3*t + 2*d - 7*d = 37, 4*t = 4*d + 4. Let u be t - -4 - 4/(-2). Solve 5*k = u - i for k.
-3
Let i be (-9)/1*15/9. Let l be ((-18)/i)/((-3)/(-15)). Solve l*m - 2*m = -8 for m.
-2
Let s = 39 + -35. Solve s*f = -10 + 26 for f.
4
Let z be 3 + -2 + 1 + 1. Let v be (-38)/(-10) + z/15. Solve -3*t = -t - v for t.
2
Let k(m) = -m**3 + 5*m**2 + 3*m - 1. Let g(z) = -z**2 + z - 1. Let w(x) = -2*g(x) - k(x). Let c be w(3). Let l = c + 35. Solve 5*y + 2 + l = 0 for y.
-5
Let i(z) = z**2 + 4*z + 4. Let y be i(-5). Let d be (12/y)/(1/3). Solve 0*t + d = -4*t for t.
-1
Let j be (-54)/(-12) + 6/4. Solve 0 = -i + j*i for i.
0
Suppose 2*f = -3*f + 20. Suppose 0*g = -2*p - f*g + 28, 22 = 2*p + 2*g. Suppose -20 = -p*w + 3*w. Solve -w*z = -3*z - 1 for z.
1
Suppose -2*v - 3*v = 0. Let k be (-1)/(1 + -2 + v). Let h be 1/(-2) + 30/4. Solve 2*t - h = -k for t.
3
Let g(a) = a**3 + 4*a**2 - 8*a + 4. Let q be g(-6). Suppose 1 - 25 = -4*v. Let x be (q/v)/((-6)/9). Solve -l - 1 = -x for l.
4
Let a = 13 + -8. Let x = a - 5. Solve x = 4*w - 3 - 5 for w.
2
Let h = -15 - -18. Suppose t + h*y = -1 - 2, t - 2*y - 7 = 0. Solve 0 + t = 3*a for a.
1
Let z(i) = i**2 + 3*i + 1. Let o be z(-4). Let w = o - 0. Solve 0*t = w*t for t.
0
Let a(v) be the second derivative of v**3/6 + v**2/2 - 2*v. Let j be a(-1). Let f = j - -2. Solve -f*c + 5 + 1 = 0 for c.
3
Suppose -2*q + 4*p = 10, -p + 3 = -0*p. Solve -2*d - q = -3 for d.
1
Let i = -37 + 37. Solve i = 3*t - 5 - 1 for t.
2
Let f be -10*2*(-1)/4. Suppose 4*g - 7 = 5*b + 53, -3*b = -g + 8. Solve -f*z = g + 5 for z.
-5
Let o(s) = 2*s - 22. Let v be o(14). Solve -v*n + 2*n = -4 for n.
1
Let i = -2 - -6. Suppose r + 0 = i. Let d = -1 + r. Solve -4*w + 3*w - d = 0 for w.
-3
Let u = -8 + 11. Solve -4*i - 9 = u for i.
-3
Let q = 6 + -8. Let a = 3 - q. Solve 3*t = a*t - 4 for t.
2
Let a be (-13 + 12)/((-1)/2). Solve 0 = 3*o - a*o - 5 for o.
5
Suppose -2*l - 3*v - 2 = 0, -5*l + 0*v + 13 = 3*v. Solve -l*a - 2 = -3*a for a.
-1
Let x = -9 + 3. Suppose 4*z - 5*k = 37, -4*k + 3*k - 1 = 0. Let o = z + x. Solve -2 = 2*t + o for t.
-2
Let n(k) = k**3 + 7*k**2 - 6*k + 8. Let j be n(-9). Let w be (-4)/18 + j/(-45). Let l be 0 - -3 - 1 - w. Solve l = -2*c - 3*c for c.
0
Suppose -4*n - 8 = 2*d - 0*n, -4*d = -3*n + 16. Let c be (-2 - d/3)*-3. Solve 3*i = -11 + c for i.
-3
Let u(p) = 3*p - 16. Let d be u(8). Solve 0 - d = -2*m for m.
4
Let b = -6 - -9. Suppose 0*j - 20 = -2*j + 2*o, 0 = 4*o + 20. Suppose -j*s + 5*i + 18 = -2, -3*s - 5*i = -20. Solve -b*z = -s*z for z.
0
Let f(g) be the second derivative of g**5/20 + g**4/3 - g**3/6 - g**2/2 - 2*g. Let h be f(-4). Let y(n) = 6*n - 3. Let r be y(h). Solve 0 = 2*p + p + r for p.
-5
Suppose 0 = 3*v + 1 - 25. Let s be (v/2)/(0 - -1). Suppose -2*j = -z - 6 - 0, -z + 24 = s*j. Solve z*c = c for c.
0
Suppose 0 = 5*d - 3*d + 3*b + 2, 2*d - 4*b = -16. Let m = 4 + d. Let w(z) = z + 1. Let r be w(m). Solve -5*x - r = 24 for x.
-5
Suppose q = -2*q + j + 17, -2*q = j - 3. Solve -q = -3*n - n for n.
1
Let l = 0 - 0. Let z = 32 - 11. Let c be 44/7 + (-6)/z. Solve c*t - t + 5 = l for t.
-1
Let l be (-39)/(-4) + 9/36. Let q(i) = -4 - 4*i**2 + i**3 + 6*i**2 - i - 4*i**2. Let a be q(3). Solve -7*v + l = -a*v for v.
2
Let a(w) = -w - 1. Let f be a(-5). Suppose -5*v + 13 = -3*g - f, 0 = 5*v - g - 9. Solve m = 2 + v for m.
3
Let w(c) be the third derivative of c**6/120 + c**5/20 - c**4/6 - c**3/3 - 3*c**2. Let p be w(-3). Solve 0 = r + r + p for r.
-5
Let c(g) = -3*g - 6. Let v be c(-5). Let y(h) = -1. Let i(f) = -3*f + 6. Let k(r) = i(r) + 6*y(r). Let t be k(-1). Solve 0*d = t*d - v for d.
3
Let o(d) = 8*d - 6. Let a be o(4). Let m be a/7 + (-10)/(-35). Solve 0*q = m*q + 20 for q.
-5
Suppose -p = 2*p - 24. Solve 0 = -4*h + p*h for h.
0
Let s = -4 + 7. Solve -s*g = -8*g for g.
0
Let l = 8 - 6. Let i(w) = 3*w - 1. Let q be i(l). Solve 8 = -q*b - 2 for b.
-2
Suppose -p - 3*p + 2*v = -8, -5*v + 16 = -p. Let l be 0 + 0 - (1 - 2). Let i = p - l. Solve -i*x = -8*x - 25 for x.
-5
Suppose 8*l - 16 = 10*l. Let t = l + 10. Solve -f + t*f - 4 = 0 for f.
4
Let y be 16/(-4) + 54*(-1)/(-2). Solve 5*q - 2 = y for q.
5
Suppose o - 2*o = 5*t - 24, -3*t + 4*o + 19 = 0. Suppose 2*z + 6 = t*z. Let d be 1 + (-3 - (-6 + z)). Solve 4*b + 6 = d for b.
-1
Suppose -2*d + a = -3, 0 = 2*a + a - 3. Suppose -9 = 4*p - q, 4*p - d*q + 6*q + 4 = 0. Let b = 0 - p. Solve -b*z = -z - 5 for z.
5
Let r = -13 + 28. Suppose 11*y - 15*y + 36 = -4*o, y = 2*o + 13. Solve -r = -2*w + y*w for w.
-5
Suppose -13*w - 18 = -16*w. Solve w + 19 = -5*o for o.
-5
Let u = 12 + -3. Suppose -3*y + 4*v = -8*y - 12, -y - 3*v - u = 0. Solve y = l + 4*l - 20 for l.
4
Suppose 12*v - 25 = 7*v. Let f be (-1)/(-2)*0/(-2). Suppose v*i + 0*i = f. Solve 5*z - 8 + 3 = i for z.
1
Let h be (-6)/(-9)*(-18)/(-4). Solve i = h*i - 2 for i.
1
Let q be (-41)/(-13) + -1 + 40/(-260). Solve 4*h = 6 - q for h.
1
Suppose 0*v - v - 3*s = -13, 0 = -5*v + 4*s + 27. Let h be 2/5 + 92/20. Solve 3*p + h = -v for p.
-4
Let h(b) = b + 16. Let j be h(-11). Solve j*u + 20 = u for u.
-5
Let l = 17 + -7. Suppose 2*h - 10 = -5*j, -2*h - 3*j = 4 - l. Suppose -34 = -3*o - 3*y - 4, 3*y = -5*o + 40. Solve h = 5*v + o - 15 for v.
2
Let r(l) = -l**2 - 14*l - 1. Let d be r(-14). Let m be (1 + 0)*(2 - d). Solve -2*x - m + 9 = 0 for x.
3
Let h(r) = -r**3 - 9*r**2 - 9*r - 8. Let m be h(-8). Let o be -1 + m - 1 - -12. Solve -b + o = b for b.
5
Let s(u) = u**3 + 4*u**2 + 2*u + 1. Let t be s(-2). Solve 5 = t*z + 20 for z.
-3
Let j(v) = v**3 + 4*v**2 - 4*v - 4. Let w be j(-4). Let f = w + -7. Suppose -4*i = i + 4*o, 2*o = -5*i. Solve -15 = f*x - i*x for x.
-3
Suppose 3*x + 1 - 7 = 0. L