g - 2*l - 1 for g.
-1
Let d(t) be the second derivative of -t**2 + 1/12*t**4 + 0 + t + 5/6*t**3. Let r be d(-6). Solve 0 = -2*u + b - 0*b - 3, -r*u + 4*b = 16 for u.
1
Let v(m) = 3*m + 1. Let o(r) = -r**3 - 13*r**2 - 11*r + 8. Let i be o(-12). Let y = -2 - i. Let p be v(y). Solve -4*z - 5*g = -p, 0*z - 5*z - g = -14 for z.
3
Let x(j) = -2*j**3 + 3*j**3 + 5*j + 5*j**2 + j + 3. Let t be x(-4). Let d = t - -8. Solve o = -v - 3, -d*o + 4*v = o + 12 for o.
-3
Let o be (-2)/3 - 152/(-12). Suppose 2 = 5*v + o. Let z be (0 + 6)*v/(-4). Solve 2*m - 13 = 6*m - h, -12 = 3*m - z*h for m.
-3
Let i be (2/(-4))/((-1)/(-2)). Let r be 0 - (-2 + 1) - i. Solve p + 0 = -3*a - 1, 5*a - r*p - 2 = 0 for a.
0
Suppose 4*c + 5*p - 23 = 0, -5*c + 0*c + 4*p + 80 = 0. Solve 3*q + 3*s = 0, q + 5*s = s + c for q.
-4
Let s be (-72)/(-5) + (-4)/10. Let j(v) = -3*v**2 + 4*v**2 - 7 - v**3 + s. Let u be j(0). Solve 4*i - 3*t = -32, t - u = 3*i + 3*t for i.
-5
Let n(c) = -9 - 2*c**3 - 9*c + 6*c**2 + 5*c**3 + 0*c**3 - 2*c**3. Let m be n(-7). Solve 3*u + 14 = -5*o + u, -m*u - 6 = -2*o for o.
-2
Let r(c) = -c. Let v be r(4). Let b be (-2 - v) + (-1 - -1). Let x(d) = 2*d - 6. Let k be x(4). Solve 5*s = -b*p - k*p - 11, 5*p = -3*s - 4 for s.
-3
Suppose 6*x = 8*x. Solve x = -2*s - 2*s - 4*o - 8, -s = -2*o + 8 for s.
-4
Let f = -5 - -8. Solve -2*q = -3 - 3, -4*l + f*q + 11 = 0 for l.
5
Suppose -40 = -5*q + 5*h, -4*q + 3*h + 23 = -7. Let v be (-12)/(-18) + (-1 - 4/(-3)). Suppose i + v - q = 0. Solve -i = -5*z - 4*l + 6, -l + 6 = -2*z for z.
-1
Suppose -5*p - 5*w = 20, -6*w + 3*w - 12 = 0. Solve 4*s + v - 2 = p, -5*s + 0*s + 4*v = -13 for s.
1
Let w be (3 - 3)/(-3 - -1). Let p be -3*((-2)/(-6) - 2). Let d = p - w. Solve -3*t = d*x - 22, 5*t - 4 = -x + 18 for t.
4
Suppose 5*k = -4*r - 15, -3*k - k + 2*r + 14 = 0. Let u(s) = -s + 8. Let c be u(7). Let f = c + k. Solve f*l + h - 9 = 0, 0*h - 21 = -4*l + h for l.
5
Let b(r) = -9*r. Let q be b(2). Let m be (-8)/36 + (-4)/q. Solve -j + 10 = 5*g, m = 5*g + 4*j + 5 for g.
3
Let l = -4 + 9. Let g = 158 - 102. Suppose l*k = 3*k + g. Solve -31 = -4*v - 5*r, -4*v = -0*r + 4*r - k for v.
4
Suppose 6 = -3*o + 2*o - 4*q, 0 = o + 2*q + 6. Let g be (-32)/o - 1/3. Solve -4*w = w - g*k - 5, -w - 4*k = -6 for w.
2
Suppose -z - 10 = -3*z. Let f = z - 0. Suppose -4*l + f*b = -0*l - 22, -5*b - 13 = -l. Solve -5*x = -q - 4*x - 1, l*q - 11 = -4*x for q.
1
Suppose 0 = -y - y - 0*y. Solve l - 2*t = 3*l - 8, y = 2*t - 10 for l.
-1
Let m be 4/(-6) - 22/(-6). Suppose 3*f = 5*f + v - 10, -m*f = 5*v - 29. Solve 2*k + o - f = 4*k, 21 = k + 4*o for k.
1
Suppose -3*g + 10 = -2. Suppose 4*m + 5 = -t, -g - 11 = m + 3*t. Suppose -2*z + 5*z - 6 = m. Solve 0 = -3*p + 5*q + 1, -2*p = -5*q + z*q for p.
-3
Suppose -t - 1 = f, -3*f - t = t. Solve f = -2*j - 4, 0 = -3*a - j - 6 for a.
-1
Suppose 0 = -5*n + 13 - 43. Let b = -3 - n. Suppose -2*t = -i - 2*i + 10, -t - 2 = 0. Solve -u - i*c = 0, 4*u - b*c - 5 = 3*u for u.
2
Let q(z) = 4*z - 1. Let o be q(1). Suppose 0*i = -o*i + 12. Suppose i*x + 0*x = -4*l + 32, -3*x + 3*l + 6 = 0. Solve 0 = -x*p - 2*y + 12, -5*y = -4 - 1 for p.
2
Suppose -9 = -2*q - q. Let w(g) = 3*g**2 + 3*g - 2. Let l be w(1). Suppose -6 = -l*v + v. Solve -4*n + 2*d + 4 = 12, -v*n + q*d - 12 = 0 for n.
0
Suppose 0 = -j - 3*j + 8, w + 5 = 5*j. Solve -2*z = -z + 5*m + 9, 5*z + 15 = w*m for z.
-4
Let f(h) = -h. Let i be f(-2). Suppose -c + 0 + 3 = 0. Let s be 4/(-2 - (c - 6)). Solve 0 = -2*m + o + i*o - 15, m + s*o = 9 for m.
-3
Let q be -5*(2 + -5 + 2). Let k be (-2)/8 + (-10)/(-8). Solve -4*w + q*s = -9, 0 = 2*w - 2*s - 3 + k for w.
-4
Let k = -2 + 11. Suppose x = 4*x - k. Suppose -5*a + 0*i + 12 = 2*i, 5*i = -x*a + 11. Solve t - 8 = -3*t - a*n, -1 = -3*t + n for t.
1
Let u = -63 + 98. Solve -2*s = -5*p - u, 24 = 3*s - 2*p - 1 for s.
5
Let i(r) = r**2 + 7*r + 5. Let x be i(-5). Let f be x + 9 + -1 + 0. Solve 3*n + 1 = 4*n + 2*l, 4*n + f*l = -1 for n.
-1
Let u be (-3)/(-2) - (-3)/(-2). Suppose u = 2*b - 0*b - 10. Let l be ((-1)/(-2))/(b/130). Solve -2*t - 5*c + l = 0, t - 10 = -t - 4*c for t.
-1
Let m(f) = 4*f - 10. Let d(z) = z**2 - 14*z + 18. Let k be d(13). Let l be m(k). Solve -4*q - 5*g + 8 = -33, 0 = -2*g + l for q.
4
Let g = -28 + 28. Solve g*i + 5*i - 5 = 0, 5*r - 4*i + 29 = 0 for r.
-5
Let l = 75 - 72. Solve w = l*k - 7, -2*w + 11 + 8 = 5*k for w.
2
Suppose -5*v = -12 - 63. Suppose -5*u = -3*w + v, -4*w + 0*w + 20 = 5*u. Let o(k) = -k. Let m be o(u). Solve 4*x = 5*n - 20, 4*n - x + 1 - 6 = m for n.
0
Suppose 0 = 2*t - z - 10 - 10, -3*z = -5*t + 51. Suppose -2*m + t = 5. Solve -10 = m*u - 2*b - 2*b, 10 = 5*u - 3*b for u.
5
Let i(y) = -2*y - 2. Let w be i(-2). Suppose w*v - 42 = -v. Solve 12 = 2*o - 4*c, -5*o + v = 4*c - 6*c for o.
2
Let x be 3 - 2 - (0 - -1). Suppose x*n + 5*n = 0. Let k be 3/((-27)/(-21)) + 8/(-24). Solve n = -5*h - k*s - 2*s - 40, -5*h - 5*s - 45 = 0 for h.
-4
Suppose -4 = 2*u + 2*l, -2*u - 3*u - l = 10. Let y be -1*(1 + 8/u). Solve 4*f + 13 = -k, 0 = -k - y*k + 2*f + 20 for k.
3
Suppose -4*p - p + 3*y + 20 = 0, 4*p - 2*y - 16 = 0. Solve 4*q + 0*r = -4*r + 12, p*q + 5*r - 11 = 0 for q.
4
Let j = 13 + -12. Solve 0 = -4*r + 4*t + 4, -2*r + t + 2 = -j for r.
2
Let u(m) = -m**2 - m. Let d = 7 - 7. Let i be u(d). Let s be (2/(-4))/(2/(-12)). Solve 3*c - s*q + i*q + 24 = 0, 3*q - 15 = 0 for c.
-3
Let u be (-2)/4*-2 + 1. Let g be (-76)/(-6) + 6/18. Let f = 15 - g. Solve 4*c + 2*o = -14, u*c + f*o - 6*o = -2 for c.
-3
Suppose 4*l + 0*l - 12 = 0. Solve f = o - 3, 0*o = 2*f - o + l for f.
0
Let a(f) = -11*f + 7. Let x(v) = 5*v - 4. Let q(z) = -6*a(z) - 13*x(z). Let o be q(-6). Solve -t - 6 + 1 = g, 5*t = o*g + 11 for g.
-4
Let i(f) be the third derivative of -f**3 - 1/12*f**5 - f**2 + 0 + 0*f - 1/120*f**6 - 1/12*f**4. Let g be i(-5). Solve g = -5*l + 2*p, -4*p + p - 11 = l for l.
-2
Suppose d = 6*d. Solve 2*j + 3 - 1 = d, -1 = 3*u + j for u.
0
Let o be -5*(-1 + -2 - 2). Suppose 4*u - 10 = 5*i, -4*u + 9*u = o. Solve -4*a = -4*l - l - 3, -4*l = -i*a + 6 for l.
-3
Suppose 0 = 7*q - 13*q + 30. Solve 3*n = 2*v + q, 2*v + 4 = -n + 3*n for n.
1
Let q be (5 - (2 + 1))*36. Suppose 2*a + a = q. Let h be (a/15)/(4/10). Solve 2*f = -4*j - 0*f - 12, h*j + f = -12 for j.
-3
Let u(k) = -k**3 - 7*k**2 + k + 11. Let y be u(-7). Solve -17 = -y*p - r - 2*r, 2*r = 4*p - 22 for p.
5
Suppose 5*o = 4*c - 8, -2*o + 4 = c + 2. Solve o = 4*b + 8, 0 = 4*k + 4*b - 1 - 7 for k.
4
Suppose 7*m - 3*m = 0. Let v = -4 - -8. Solve 2*t - 4*s - v = m, 0 = -3*s - 5 - 1 for t.
-2
Suppose 0*s - 26 = -4*s + 3*u, -4*s + u = -22. Solve -3*k + s*i = -k + 10, -5*i = -3*k - 10 for k.
0
Suppose -6 = 3*v - 24. Let l(k) = 6*k**3 - v - 8*k + 3*k**2 - 5*k**3 + 3*k**2. Let o be l(-7). Solve u - o = -z, 4*u + 2*z = u for u.
-2
Let b = 19 - 15. Solve 2*f - 5*s = -13, 9*s = b*s + 15 for f.
1
Let m be (-6)/15 - (-135)/25. Solve o - p + 2*p = 6, 3*p = -m*o + 24 for o.
3
Suppose 9*w = 12*w. Solve 3*h + 2*b + 5 + 5 = w, -3*h = b + 5 for h.
0
Let c be 2/17 - ((-100)/17 - 5). Solve 2*j - c = 2*o + 7, -3*o - 11 = j for j.
4
Suppose -4*k - 3*l + 21 = -2*k, 3*k + 2*l = 19. Solve 0 = -k*f + 2*s + 13, 4 = -f - 3*s + 2*s for f.
1
Let q = -17 + 17. Solve -2*f - 2*r = -q*f, -4*r + 3 = 3*f for f.
-3
Suppose 2*d - 4*w = 42, 0 = 2*w - 6 - 2. Solve 0*z - 4*z = 3*b + d, -5*b = 2*z + 25 for b.
-3
Let n = 0 + 5. Let l be 1/((-5)/(-4*5)). Solve 0 = -2*o + 4*k - 6, l*k - 2 - 13 = n*o for o.
-3
Let y be 3/(-18) - (-118)/(-12). Let j = -5 - y. Suppose -2*t - t - 3 = 3*v, -v = -t + 9. Solve -t*s + 1 = s - 4*l, -5 = -j*l for s.
1
Let i(h) = h**3 - h**2 + 2*h + 6. Let v be i(0). Solve -q = -5*g + 15, 0 = 2*g - q + 2*q - v for g.
3
Let d = -29 - -34. Solve 5*l = 3*n + 11, 2*l + 4 = d*n + 16 for l.
1
Let y = -45 + 48. Solve -y*q = 4*f - q + 2, -2*f = -4*q + 6 for f.
-1
Let t be (1/(-4))/((-2)/40). Solve -5*g = m + 16, 0 = -t*m - 0*g + 4*g + 36 for m.
4
Let u = 10 + -5. Solve 0*s + 5*s = u*x - 35, 0 = x + 2*s + 8 for x.
2
Let v = -5 - -5. Solve 4*g - 2*k - 8 = 0, 3*g = 2*k - v*k + 5 for g.
3
Suppose 0 = 3*z - 2*k - 1, 0 = 5*z - 2*k - 4 - 3. Solve -d + 8 = -2*d + 5*c, -z*c + 3 = 0 for d.
-3
Let o be 1*(-1)/1*-3. Let t(k) = -k**2 - k + 7. Let v be t(0). Suppose -o*g - c = v - 2, -4*g - 2*c = 10. Solve w + 2*h + 1 = g, -2*w + 3*w - 2