u(t) = t**2 + t - 1. Let r(g) = 5*g**2 - 3*g - 4. Let z(j) = -r(j) + 4*u(j). Let b be z(5). Solve -6*l + 4*l = -b for l.
5
Let q(l) = -l**3 + 10*l**2 + 6*l - 8. Let h be q(10). Suppose 0 = -2*y + h - 12. Solve -4*x - 4 + y = 0 for x.
4
Let a be (3/(-6)*0)/(-2). Solve 4*h + 14 + 6 = a for h.
-5
Let m(y) = -y**2 + 7*y - 6. Suppose -3*u + 26 = 2*v, -v - 12 = -4*u + 30. Let o = -4 + u. Let j be m(o). Solve j = 3*x + 4 + 11 for x.
-5
Let k = 7 + -19. Let g be 9/2*k/(-9). Suppose 3*l = o + 17, -g*o = -o + 25. Solve 0 = l*b - 9 + 1 for b.
2
Suppose 3*k = 8 + 4. Suppose -2*q = -k + 8. Let h(g) = -7*g - 3. Let t be h(q). Solve 2*a - 1 = -t for a.
-5
Suppose -20*l = -15*l. Solve l = -5*f + 2 + 18 for f.
4
Suppose -3*h + 21 = 3*c, 0 = h + 3*c + 3 - 12. Let n = -16 - -16. Let d(a) = a + 2. Let r be d(n). Solve 2 = r*t + h for t.
-2
Let x = -8 - -6. Let q be ((0/x)/1)/1. Suppose 5*f = -q*f - 3*v + 10, f - v - 10 = 0. Solve 23 = f*y - 2 for y.
5
Let q = 12 - 10. Solve -3*t - 1 = -q*t for t.
-1
Let h = 22 - 7. Suppose -5*l = 5 + h, 0 = 3*z - 4*l - 16. Solve 3*g + 0*g = z for g.
0
Suppose 3*v + 5*j - 4*j - 18 = 0, -3*v + 3*j = -6. Solve 0 = v*m - 2*m for m.
0
Let g(x) be the third derivative of -x**4/24 - x**2. Let t be g(-3). Suppose -t*q - 5 = -4*q. Solve 0 = -0*d - q*d for d.
0
Let r = -6 + 6. Let j = r - -2. Solve 0*h - h = -j for h.
2
Let r = 19 - 30. Let v = r + 15. Solve -3*c - c - v = 0 for c.
-1
Let x(z) = -z**3 + 3*z**2 + 10*z + 3. Let f be x(5). Solve f*h = -5 - 4 for h.
-3
Let u be (-5)/(-20) - 30/(-8). Solve 0 = -j - u*j for j.
0
Suppose 5*k - 11 - 9 = 0. Solve 0*u = k*u for u.
0
Suppose 3*a - 16 - 29 = 0. Suppose -5*s = t + a, -9 = t - 6*t - 4*s. Solve -3*g + 4*g = -t for g.
-5
Let g be 1/(-2) + 10/(-4). Let u be (-3 - (g + 2)) + 5. Suppose 2*v + 2*n + 2*n = 66, 9 = v - 4*n. Solve -v = -u*x - 2*x for x.
5
Let n = -46 - -22. Let u = n + 25. Solve -2*b + u = -3*b for b.
-1
Let g(h) be the second derivative of -h**3/3 - h**2 + 7*h. Suppose 5*b = 5, 5 = 2*a - 3*a + 2*b. Let x be g(a). Solve x*o - 13 = -1 for o.
3
Suppose 0 = 2*i + 3*i - 15. Let k(a) = -a**2 + 3*a + 3. Let x be k(i). Suppose 6 = -x*b + 5*b. Solve b*t = 4 + 8 for t.
4
Suppose 3*j - 20 + 8 = 0. Suppose 8*b - 20 = j*b. Solve b*l - 8 = 3*l for l.
4
Let d = 3 + -3. Let r(w) = w**3 + 3*w**2 - 2*w + 9. Let c be r(-4). Suppose 2*j - 17 = -3*l, d = -3*j + 5*j - 3*l + c. Solve 3*n + j = -n for n.
-1
Let z = 0 - -6. Let a be 12/(-9)*(-9 - 3). Suppose 0 = -5*n + 84 + a. Solve -z*d = -d + n for d.
-4
Suppose -7*t = -2*t - 10. Let l(k) = -4*k - t + 0*k + k. Let f be l(-4). Solve 4*q = 2*q + f for q.
5
Let a be ((-35)/42)/((-1)/6). Suppose -f + a*u = 11, 4*f - 4*u = -2*u + 10. Solve -2*q + f = -4 for q.
4
Let r be 20/(4 - 1 - 1). Solve 0 = -7*l + 2*l - r for l.
-2
Let x(w) = w + 1. Let c be x(2). Let j be c/4*(-16)/(-2). Solve a = -1 + j for a.
5
Let i(w) = w**2 + 10*w - 6. Let u be i(-9). Let v = u + 19. Solve s = v*s + 12 for s.
-4
Suppose -21 = j + 4*q, -4*q = -2*j - 0*j + 18. Let h be 1 + 5 + -2 + j. Solve h = -y - 1 for y.
-4
Let a be 2/(-8) - (-63)/12. Suppose -a*h + r = -15, 2*r - 9 = -2*h + 3*r. Suppose -2*u = -x - 7, 2*u - x - 1 = h*x. Solve -u + 3 = -m for m.
2
Suppose 0 = -5*y + 3*i + 60, -4*y + 11 = -i - 37. Solve y = -4*k - 8 for k.
-5
Let n = 11 + 4. Solve -4*b + 9*b = -n for b.
-3
Suppose 4*j = 4*o + 6*j - 4, 2*o - 4*j = 22. Solve -1 = -r - o for r.
-2
Let a = 0 + -1. Let l(x) = -4*x - 1. Let h be l(a). Let t = 5 - h. Solve -4*o + 2 = -t for o.
1
Let k(y) = -y**3 + 10*y**2 + 3. Let n be k(10). Suppose 4*c = n*c + 3. Solve 0*i - c = -i for i.
3
Suppose -6*v = -3*v. Let o = 3 - v. Suppose -4*b = -9*b - 5, -c + 23 = -5*b. Solve 3*s - c + o = 0 for s.
5
Let s = -60 - -60. Solve s*q = q - 4 for q.
4
Let c(s) = 2*s + 9. Let y be c(-6). Let d(f) = f + 7. Let r be d(y). Solve 0*j - r*j - 12 = 0 for j.
-3
Suppose -3*d = d - 16. Suppose 3*k + 4*b + 0*b + 16 = 0, -5*b - 20 = 4*k. Solve k = -d*n - 0*n for n.
0
Let n(g) = -g**2 - 6*g + 9. Let f be n(-9). Let z = -27 - f. Let k be (-4)/6 + (-24)/z. Solve q + 3 = -k*q for q.
-1
Suppose -3*y + 6*y = 3. Let l(u) = -u**3 + 2*u**2 + 2*u - 2. Let w be l(2). Let f = w - y. Solve -s + f = -0 for s.
1
Let a be 16 + 0 - (-3)/1. Let u = a + -9. Solve -c - u = c for c.
-5
Let t = 5 - -1. Suppose -d - 25 = -t*d. Solve 0 = -d*s - 1 - 4 for s.
-1
Let z(o) = -7*o - 45. Let l be z(-9). Solve -3 = -5*f - l for f.
-3
Let h(c) = c**2 + 4*c - 3. Let s be h(-5). Suppose 0 = 3*g - 6. Solve s*a + g = -4 for a.
-3
Let v = 1 + 8. Solve -16 = -5*h + v for h.
5
Let n be 0 + 3 - (-3 + 0). Let j be (-1 - -1)*n/6. Let g = 1 + -1. Solve v + g - 5 = j for v.
5
Let l(x) = x**3 + 14*x**2 + 22*x - 24. Let c be l(-12). Solve 2 + c = 2*q for q.
1
Suppose 8*y + y - 18 = 0. Solve u + y*u = -3 for u.
-1
Suppose -2*a = -4*b - 0*b, -16 = -3*a + 2*b. Let r = -8 + a. Solve 2*y - 3*y = r for y.
0
Let j(p) = p**3 + 9*p**2 + p + 12. Let m be j(-9). Solve 10 = s - m*s for s.
-5
Suppose 20*k = 16*k + 8. Solve 0 = -3*b + k*b + 4 for b.
4
Suppose 2*j + 15 = 5*j. Suppose -3*v + 26 = v + 2*c, -2*v = -4*c - 8. Suppose i = -2*i + v. Solve -j = -3*h + i*h for h.
5
Let c(a) = a**3 + 7*a**2 - 7*a + 10. Let l be c(-8). Suppose -5*r + 4 = 3*t + 6, -l*t + 3*r + 5 = 0. Solve -t = 4*z + 11 for z.
-3
Let x be 14/(-21) + (-32)/(-3). Suppose -5*k + x = -0*k. Let i(t) = t + 2. Let b be i(0). Solve 2 = -b*r - k for r.
-2
Let s = 2 - 2. Let r(p) = p**2 + 12*p + 16. Let x be r(-11). Suppose x*z - 10 - 10 = s. Solve 1 = 3*a + z for a.
-1
Let j = -3 - -7. Let b = 34 + -14. Solve -j*m + 0*m = b for m.
-5
Suppose -2*i = -4*w + i + 42, -5*w = i - 62. Solve w = 3*l + 3 for l.
3
Let p = -15 - -28. Suppose -5*b + p = -0*i + 4*i, -3*b + 27 = -4*i. Solve -2*g + b = 3 for g.
1
Let r be (1 - -1 - 4)*-1. Suppose 6*k - 8 = r*k. Solve 0 = -c - k*c + 12 for c.
4
Suppose 2*j + 4 = -10. Let h(d) = d**2 + 6*d - 5. Let l be h(j). Solve 3*f = -l*f for f.
0
Suppose 0 = 3*q - 8*q. Suppose 3*p + 4*g - 80 = q, -5*g = -0*p + 3*p - 85. Solve -5 = -5*r + p for r.
5
Suppose -3*r - 4*f = -f, 0 = 5*r - f - 30. Suppose r*k - 4*k - 3 = 0. Solve -10 = z - k*z for z.
5
Let f be (2/6)/(2/12). Let n(z) = -z**3 - 7*z**2 - 3*z - 3. Let q be n(-7). Solve -q = 4*s + f for s.
-5
Let j = -73 + 77. Solve -j*x - 9 + 1 = 0 for x.
-2
Let f = 10 + -1. Solve f = 2*z + 1 for z.
4
Suppose -5*n + h + 25 = 0, 0 = 4*n + 4*h + h + 9. Suppose -4 = -n*s + 4. Solve -s*j + 3*j + 4 = 0 for j.
-4
Let d(x) = 2*x**3 - 4*x**2 + 3*x - 2. Suppose 10 = 3*h - 2*a, 3 = -a + 1. Let n be d(h). Suppose 4*v = n - 0. Solve -v = -j + 1 for j.
2
Suppose 5*z + 5*l + 1 = -64, -4*z + 5*l - 43 = 0. Let j be (-1 + 4)/(z/(-40)). Let q be j/(-4)*4/(-5). Solve 6*f = q*f + 4 for f.
1
Let l(q) = q**3 - 12*q**2 + 3*q - 24. Let o be l(12). Solve 0*w + o = -3*w for w.
-4
Suppose -3*a + 0 = 5*m + 4, -a - 4*m - 6 = 0. Suppose 0*p - a = p. Let t be 1/2*(-2 - p). Solve -25 = -5*q - t*q for q.
5
Suppose 62 = 5*v - 5*h + 22, -4*h - 4 = 3*v. Suppose q - 5*y = -4, 7*q = 2*q + v*y + 1. Let f be (-1 - 1*-1)/2. Solve l - q = -f*l for l.
1
Suppose 11 = 3*b + 2. Suppose 0 = 9*q - 22 - 23. Solve b = -q*v - 12 for v.
-3
Let i(r) = r + 32. Let b be i(-24). Solve -12 = -4*t + b for t.
5
Let a be -1 - 0 - (-3 + -11). Suppose 5*v + 15 = r, -4*r + 2*v + 82 = 22. Suppose -w = 2*w - r. Solve w*q + 12 = -a for q.
-5
Let m = -11 + 14. Let t be (-42)/(-9) - m/(-9). Solve 0 = f - t + 4 for f.
1
Suppose -3*h = 2*p - 10, -5*p + 34 = -0*p + 3*h. Solve -3*g = -g + p for g.
-4
Let h(c) = 2*c + 10. Let f(s) = s. Let l(p) = -3*f(p) + h(p). Let a be l(6). Solve -8 - 12 = -a*r for r.
5
Let r = -19 + 10. Let f be -2*1*r/6. Suppose -f*h - 6 = -6*h. Solve 5*n - 8 = h for n.
2
Let a = 11 - 18. Let w = 12 + a. Solve -j + w = 1 for j.
4
Let f = 4 - 6. Let q(c) = -3*c - 4. Let p be q(f). Solve 0 = -p*s + s + 4 for s.
4
Suppose 2*y - 30 = 5*j, -4*y = y + j - 21. Suppose -5*z + y*s - 8 = -6*z, s = 1. Solve 5 = z*o + 2*o for o.
1
Let l(t) be the second derivative of -t**5/20 - 3*t**4/4 + t**3/3 + 13*t**2/2 + 3*t. Let v be l(-9). Let q = v - -8. Solve 0 = 4*d + 17 + q for d.
-5
Let m be -2*((-28)/8 - -2). Suppose -h - 10 = -4*h - i, -3*i = m*h - 18. Solve -n + 3 = -h*n for n.
-3
Let s = 5 + -1. Let b = s + -4. Suppose 0 = 3*a + 4*q - 10, -2*q +