) = 8 + 0*g + g + 0 + 1. Let s be i(-6). Solve 4*m + 5 = s*m for m.
-5
Let s(r) = r + 13. Let i(o) = 3*o**2 + 3 - 13*o**3 - 2 + 3*o**3 - 4*o**2. Let a be i(1). Let n be s(a). Solve -c + 2*c = n for c.
3
Let d(j) = -2 + 0*j**2 + 5*j - 2 - j**2 + j. Let g be d(5). Solve 0 = -r - g for r.
-1
Let n = -31 + 74. Suppose -4*c = 3*b - 38 - n, -4*c - b = -91. Let u(f) = -f**3 + 4*f**2. Let y be u(3). Solve -c = -3*a - y for a.
5
Let p(q) = -q**3 - 21*q**2 - 19*q + 23. Let y be p(-20). Solve -y*s = 2*s - 25 for s.
5
Suppose d = -47 + 49. Solve d*m - 5*m = 0 for m.
0
Let l(p) = 2*p - 16. Let c be l(9). Let u(d) = d**2 + 2*d - 7. Let n be u(-5). Suppose 6*r = 2*r + n. Solve -c*v = r*v for v.
0
Let k(v) = v**3 + 7*v**2 + 5*v + 2. Let n be k(-6). Let t be (16/(-6))/(-4)*-12. Let y = -5 - t. Solve -y*q - n = 1 for q.
-3
Let u(i) = i**2 + i - 2. Let k be u(2). Suppose 0 = 5*p - k*p. Solve p = -2*q - q for q.
0
Suppose -5*t + 0*p + 9 = 2*p, -6 = -3*p. Solve -2 = d - t for d.
-1
Let n(z) = z. Let a be n(0). Suppose 0 = -5*x - 8 + 23. Suppose 0 = x*h + u, 0*u = -h + 4*u. Solve q - 2 + h = a for q.
2
Let d(t) = t**3 + 4*t**2 - 7*t - 5. Suppose 0 = -0*z - 3*z - 12. Let u be d(z). Suppose 3*b - 2*b + 5 = 2*m, 5*m = -b + u. Solve 2*k = -b - 3 for k.
-3
Suppose -5*r - 5*b = -45, -3*r - 3 = -4*r + 2*b. Suppose -h + 2 = 2*y, -h - 3*y - 4 = -2. Suppose 4*k + h - 18 = 0. Solve 0 = -5*v + k - r for v.
-1
Let d be (-2 - -5)/(1/(-1)). Let u be 6/2 - (-2 - d). Suppose u*o - 10 = -4*a, 0*o - 3*o + 15 = 5*a. Solve o*i = -11 - 4 for i.
-3
Suppose -4*p - 8 = 2*s, -5*s + 0 = -2*p + 20. Solve p*n - 4 = -2*n for n.
2
Let q(k) = k**3 + 4*k**2 - 1. Let m be q(-4). Let a = 4 + m. Let c be -4 + (-98 + 2)/(-4). Solve -a*j = 2*j - c for j.
4
Suppose -4*d + h = -4, 5*d - 4*h - 5 = -0. Let f be (-6)/15 + (-104)/(-10). Let v = -6 + f. Solve v*o + d = 17 for o.
4
Suppose -d - 5*a + 12 = 0, 7 = -d + 4*a + 1. Solve -d*m = -0*m for m.
0
Let m be (2/(-2))/(5/(-30)). Solve 0 = -8*h + m*h + 8 for h.
4
Let r = 39 - 32. Solve -2*c = -r*c + 25 for c.
5
Suppose -8*u = -9 - 15. Solve 2*c = -u - 7 for c.
-5
Let l be 0 + 0 - (0 - 0). Suppose 5*d - 29 = -m, -2*m + 6*m - 41 = -5*d. Solve -d = -a - l for a.
5
Let h(f) = 0*f - 7 + 4 - 1 + 2*f**2 - 5*f. Let p be h(4). Solve -5*k = -17 - p for k.
5
Suppose 0 = -c - 1 + 4. Suppose 2*x = -3*l - c, -4*x - 3 = 5*l - 2. Solve 0 = -u + x*u + 5 for u.
-1
Let d be (14 + 2)*5/(-5). Let i be d/6*(3 + -9). Solve -4*f + 8*f - i = 0 for f.
4
Let j(l) = 2*l - 4. Let f be j(5). Suppose -s + f = s. Let g = 14 + -8. Solve -s*p + g = -6 for p.
4
Suppose -2*s - 3*w = s, -5*w = 3*s - 10. Let g(q) = -q**3 - 4*q**2 + 5*q + 2. Let y be g(s). Solve -3*k + y = 5 for k.
-1
Suppose -2*s - 3*z = 26, 0*z = s - z + 13. Let r = s - -19. Solve -5*g = -14 - r for g.
4
Suppose 0 = -4*k - k. Let i = -89 - -95. Solve k = -o - 2*o - i for o.
-2
Let a(s) = -s**2 + 3*s + 56. Let v be a(9). Solve -v = 5*x + 13 for x.
-3
Suppose 0 = -2*h - 3 + 7. Let n be 4 - (-2 + 2/h). Solve n*d + 19 = -1 for d.
-4
Let k(u) = -5*u - 5. Let c be k(-2). Solve q = c - 3 for q.
2
Let i = -17 + 37. Let k be i/(-10) - (-2 + -1). Suppose 5*s + 24 = -x + 2*x, -3*x + 3*s = -24. Solve 0 = x*b + 7 + k for b.
-2
Let a be (0/((-2)/2))/(-1). Let i(n) = -n**3 + 4*n**2 - n. Let w be i(2). Suppose -3*q + 5*q + 3*m = w, -6 = -2*q + m. Solve h + q*h = a for h.
0
Let v(n) be the first derivative of n**4/4 + 7*n**3/3 - n**2/2 - 2*n + 6. Let z be v(-7). Solve -z*u + u - 4 = 0 for u.
-1
Let w(c) = -c**2 - 3*c + 6. Let z be w(-5). Let r = z - -7. Suppose -6*o + 5*g = -o - 10, -r*o + 38 = 5*g. Solve 6 = -3*t + o*t for t.
2
Let v be 0/(1 - 2) - -1. Suppose 5 = q + v. Let t = q - -2. Solve t*a = a - 5 for a.
-1
Let g = -34 - -43. Solve -4*o - g = -o for o.
-3
Let v be (0 - -3)*(-10)/3. Let t = -3 + 5. Let k be 2 - 4 - v/t. Solve 0*z + z + k = 0 for z.
-3
Let y(w) = -w**2 - 9*w - 8. Let u be y(-6). Let m = u + -3. Let q(x) = x - 2. Let a be q(m). Solve -a*s = -6 - 14 for s.
4
Let x be ((-2)/4 - -1)*-6. Let y = x - -9. Let c = -7 - -17. Solve -u + y*u = c for u.
2
Suppose -72 = -6*s + 2*s. Suppose -3*x + s = -42. Solve 3*k + 2*k = -x for k.
-4
Let w be (1/2)/(2/(-8)). Let v(h) = h**2 + 2*h + 2. Let o be v(w). Solve 6 = -u - o*u for u.
-2
Let a be -2 + 3 + (9 - -4). Solve -a = -3*q + 1 for q.
5
Suppose 2*c + 5 = 3. Let t = 5 + c. Solve v + v - t = 0 for v.
2
Let u(q) be the first derivative of q**3/3 + 4*q**2 - 5*q - 1. Let w be u(-9). Solve -w*g + 13 = -7 for g.
5
Let m = 4 - 1. Let f be 1/((-3)/(-4))*m. Suppose -3*q = -0*q - 5*q. Solve f*w - 4 = -q for w.
1
Suppose -4 + 0 = -2*k. Solve 3 + 3 = k*c for c.
3
Let c(f) = -7*f - 4. Let i be c(2). Let a be (-6)/(-27) + (-32)/i. Solve a*w + 8 = -2 for w.
-5
Suppose 4*m = 3*s - 15, s = -3*m + 2*s - 10. Let o(i) = i**2 + i + 1. Let c be o(m). Solve 12 = -3*d + c*d for d.
3
Let v be (-32)/2*(1 + -3). Suppose -2*c = -7*c. Suppose c = y + y - v. Solve -y = 7*r - 3*r for r.
-4
Suppose -3*s = -n + 4, 3*s + 0*s + 12 = 3*n. Solve -n - 1 = -5*q for q.
1
Let w = -1 - -1. Solve 3*v = -w - 12 for v.
-4
Let o be ((-54)/(-24))/((-6)/16). Let r = -4 - o. Suppose -r*b + 11 = 1. Solve 8 = b*c - c for c.
2
Let r(u) = 2*u + 2. Let a be r(3). Solve a = -0*d - 2*d for d.
-4
Let c(w) = -w**2 + 3*w + 2. Let l be c(3). Solve -o + l*o = 5 for o.
5
Let g = -4 - -7. Suppose 3*c - 3*w - 4 = 2*c, -2*c = g*w + 1. Solve -3 = 2*k - c for k.
-1
Let h(i) = i**2 - 6*i - 5. Let s be h(9). Let j = -10 + s. Suppose d = 3*r - 11, 5*d + 0*d + 11 = 4*r. Solve r*u = u + j for u.
4
Let h be ((-16)/10)/(10/(-25)). Suppose 3*n + n = 0. Let w be -1 + -1 + (h - n). Solve 0 - 2 = w*b for b.
-1
Let q = -112 + 119. Solve 0 = -3*t + q*t + 4 for t.
-1
Let s be (-1)/(-16)*4 - (-2)/(-8). Solve -2*l = -s*l for l.
0
Suppose 9 = x + 2*x. Solve 0 = x*w - 2*w - 3 for w.
3
Suppose -7 = -3*m - k, 13 = 4*m + 3*k + 2*k. Solve 3 = m*i + 1 for i.
1
Let u = 24 + -20. Suppose 0 = -0*o - 2*o. Solve d + 0 - u = o for d.
4
Let d(k) = k**2 + 6*k + 5. Let z be d(-4). Let a(l) = l**3 + 2*l**2 - 4*l - 4. Let x be a(z). Let i be x/(-6) - 23/(-6). Solve -1 = i*c + 7 for c.
-2
Let r = -63 - -63. Solve 3*l = -r + 3 for l.
1
Let r(y) = -3*y - 3 - 2*y + 4*y + 1. Let l be r(-4). Solve u + l*u = -6 for u.
-2
Let t(w) = 2*w + 15. Let z be t(-6). Solve 0 = z*j - j for j.
0
Suppose -b + m = -2, -b - 7 = -5*m + m. Solve 5*x = -0*x - b for x.
-1
Let x = -12 + 4. Let a be 0*4/x*2. Solve 5*g + a = 10 for g.
2
Let l = -6 + 8. Suppose x + l*x = -12. Let f be x/(-6) + (-8)/(-6). Solve 6 = f*i - 2 for i.
4
Let c be (-1)/(-4) + 30/8. Suppose -3*s + 42 - 7 = c*i, 0 = -2*i - 3*s + 19. Solve -i = 5*a - a for a.
-2
Let c be (-10)/40 - (-21)/4. Solve 3*s + 8 = c for s.
-1
Suppose 2*a = -4*r + 10, -a + 12 = -5*a. Solve r = 5*s - 6 for s.
2
Let k = -3 + 7. Suppose -y = -0*y - k. Solve y*t + 10 = 2*t for t.
-5
Let v(n) = -n**2 - 3. Let l(z) = z**2 + 4. Let c(t) = 4*l(t) + 5*v(t). Let q be c(1). Solve q = 4*j - j + 9 for j.
-3
Let n(g) = -g + 6. Let z be n(2). Let v = 2 + -1. Let x = z - v. Solve 0 = -m - x*m - 4 for m.
-1
Suppose -2*l - 8 = -6*l. Solve 4*f = l*f - 6 for f.
-3
Let i(n) = 4*n**2 - 2*n + 1. Let v be i(1). Let z(y) = y + 2. Let q be z(v). Suppose q*t + j + 6 = -3*j, 2*t + j = 0. Solve 0 = b - t for b.
2
Suppose 0*i + 20 = 4*i. Suppose -2*d + 45 = i*s + d, -5*d + 35 = 5*s. Solve 3*c - s = -c for c.
3
Let p(v) = 3*v + 24. Let h be p(-7). Solve -9 + 0 = -h*g for g.
3
Let q = -6 + 6. Suppose q*t + t + c = 25, -2*c - 30 = -2*t. Solve 0 = -7*s + 2*s - t for s.
-4
Suppose 0 = -r - 4, 2*q - q + 2 = -2*r. Let h be 51/(-15) - 2/(-5). Let y = q + h. Solve -y = -2*g - 1 for g.
1
Let u be (-2)/(-4) - 5/(-2). Let w = 4 - 4. Suppose u = y - w. Solve -y = -5*r + 12 for r.
3
Suppose 0 = -4*f + 2*u + 58, -3*u = 3 + 6. Suppose -z = -3 - f. Solve z - 1 = -5*a for a.
-3
Let a(l) = 6*l - 21. Let h be a(4). Solve 0*v - h*v - 12 = 0 for v.
-4
Let j be ((-4 + 4)/(-2))/1. Solve j = b - 7 + 2 for b.
5
Let r(f) = 4*f - 16. Let y be r(4). Solve y = -9*g + 4*g for g.
0
Let p be 6 + -2 - (-58)/(-29). Let l(k) = 4*k**2 - 2*k - 1. Let f be l(-1). Solve -3 = -p*b + f for b.
4
Let v be (0 + 2)*(-4)/(-2). Suppose -z - 4*l = v*z, 5*l = -z. Suppose 3*f - 7*f + 12 = 0. Solve 6*u - f*u + 9 = z for u.
-3
Suppose 2*o - 5*o 