 - 0. Solve 9 = -l*u - s*u for u.
-3
Let p be -2 + 2 + 2 + 1. Let l be (-3)/2*8/(-6). Suppose -4*u + l + 18 = p*f, -5*u + 25 = 2*f. Solve z = u*z for z.
0
Suppose -4*f + 0*f = 0. Suppose 5*o - 5 = 5*n, f*o + n = -5*o + 11. Solve -h = o*h for h.
0
Let o(n) = 2*n - 3. Let m(r) be the first derivative of -r**3/3 + 9*r**2/2 - 10*r - 2. Let a be m(7). Let v be o(a). Solve -5*q = -0 + v for q.
-1
Let b(f) = -f**2 - 13*f - 2. Let z be (-74)/6 + 4/12. Let m be b(z). Solve 0 = 3*q - q - m for q.
5
Let q be 0*2/(-6)*-1. Suppose -2*b - 8 = q, 6 = 4*d - 2*b - 6. Let r = -1 + d. Solve 4*o + 0*o + 12 = r for o.
-3
Let y(j) = -j + 1. Let m be y(-2). Suppose -12 = -3*x - m. Solve x = z - 0*z for z.
3
Let k be (-123)/(-5) - 14/(-35). Suppose 3*g = -2*g + k. Solve z - 1 = -g for z.
-4
Suppose 3*m - 2*g - 24 = 5, -m = -3*g - 19. Let o(h) = h. Let v be o(m). Solve -4*i = -5 - v for i.
3
Let u(h) = -h**3 - 12*h**2 + 13*h + 4. Let d be u(-13). Solve -j - d = 3*j for j.
-1
Let y(s) = -19*s**3 + s**2 + s + 1. Let v be y(-1). Let o = v + -14. Solve 4*j - j = -o for j.
-2
Let u(l) = l**3 + 7*l**2 + 6*l + 9. Let t be u(-6). Suppose v - 3 = 0, -4*v = -4*j - v - 1. Solve -j*y = y + t for y.
-3
Let y(i) = -i**2 + i - 1. Let t(p) = 4*p**3 - 3*p**3 - 4*p + 9*p + p**2. Let w(x) = -t(x) + 4*y(x). Let l be w(-5). Solve o + 2 = l for o.
-1
Let b = 4 + -24. Let i = 30 + b. Solve w + w - i = 0 for w.
5
Suppose 0*j = -2*j. Suppose -h + 4*h - 9 = j. Solve 0 = -l + h*l for l.
0
Let j(c) = c**2 + 7*c + 1. Let y be j(-6). Let i(v) = -v**2 - 8*v - 3. Let h be i(y). Suppose l - 4*l = -h. Solve -10 = 2*x - l for x.
-3
Let w = 116 - 116. Solve -n + 2*n - 4 = w for n.
4
Let h(y) = -y**2 - 4*y + 1. Let n be (1 + -2)*(3 + -1). Let b be h(n). Solve 5*j = -0*j + b for j.
1
Let k be ((-8)/(-36))/(2/18). Suppose 0*a = -2*a - 6, b = -5*a - 15. Solve b = g + g + k for g.
-1
Let d = -15 - -17. Solve d*g = 2 + 8 for g.
5
Let a(s) be the third derivative of -s**5/60 + s**4/3 + s**3/2 + 3*s**2. Let b be a(8). Solve 4*t = b*t for t.
0
Suppose -5*o - 2 = -3*o - j, -o - 3 = -j. Let t(q) = q - 7. Let p be t(5). Let m = o - p. Solve -2*s - 7 - m = 0 for s.
-5
Suppose 7*l - 6*l - 20 = 0. Suppose -6*d + 5*d = 3*g + 3, -10 = -2*d + 2*g. Suppose -d*u - 2*m + 5 + 10 = 0, -4*u + l = 2*m. Solve u = 4*k - 3 for k.
2
Suppose 2*y + 20 = -q + 4*q, 4*q - y = 35. Let p = q + -6. Solve 0*h = h - p for h.
4
Let x = 5 + -2. Suppose 0 = x*n - r, 0*n + 5*n = 3*r. Solve n = -0*b - 4*b + 16 for b.
4
Let l = -216 - -320. Suppose -3*y = 20 - l. Suppose -10 = -s - 0*f - f, -3*s + y = 2*f. Solve -s = 3*i + i for i.
-2
Let a be 6*2*(-5)/(-20). Suppose -2*h - 6 = -5*h. Solve -15 = h*z + a*z for z.
-3
Suppose -3*j = -4*v - v + 15, 5*j = 5*v - 15. Suppose -v = -3*p + 12. Suppose -f = 5*a + 20 + p, f + 2*a = -10. Solve f = 4*l - 3 - 13 for l.
4
Let u(w) = 2*w + 17. Let m be u(-7). Solve 1 = -m*q - 8 for q.
-3
Let w(b) be the first derivative of -b**3/3 + 3*b**2/2 - 2. Let m be w(2). Let f = -2 + m. Solve g + 4*g - 25 = f for g.
5
Let j be ((-6)/4)/(12/(-32)). Suppose 0*a + j*a = 0. Solve -3*k - 2 + 8 = a for k.
2
Let o be 16/24 + (-2)/3. Solve 4*l + 8 = -o*l for l.
-2
Suppose 0 = -7*z - 0*z + 14. Solve -z*x = x - 9 for x.
3
Let f(p) be the second derivative of p**4/12 - 7*p**3/6 - 7*p**2/2 + p. Let j be f(8). Solve x + j = -2 for x.
-3
Let z = 7 - 7. Solve i + 0 - 2 = z for i.
2
Let j be 20/6 - (-12)/(-9). Solve -j*x + 20 = 3*x for x.
4
Suppose -4 = -2*d - 2*d. Let g = 3 - d. Solve -1 + 7 = g*y for y.
3
Let d = -12 - -17. Let i = d - 1. Suppose 15 = i*v + 3. Solve -2*k = -v*k for k.
0
Let r(f) = 15*f**2 - 16*f**2 + 7*f + f - 8. Let l be r(6). Suppose -5*u + 15 = p - 8, 4*u = l*p - 20. Solve -v + p = -3*v for v.
-4
Suppose -2*u = u + 2*u. Solve 2*j + 3 + 1 = u for j.
-2
Let h(d) = -d**3 - d. Let y be h(-2). Suppose y = 2*p + 3*p. Suppose -p*l + 8 = -2. Solve 0 = -l*a + 2*a - 9 for a.
-3
Let m = -14 + 20. Let w = -8 - -14. Let k = -3 + w. Solve -6*d + m = -k*d for d.
2
Let l(w) = w**2 - 20*w + 15. Let t be l(19). Let n be 3 + (7 + t)*4. Suppose -5*m = -13 + 3. Solve x + n = -m*x for x.
-5
Let n = 18 + -13. Solve q = -0*q + n for q.
5
Let i be ((-6)/9)/(6/(-9)). Suppose -4*a + i = -11. Solve 9 + 3 = a*g for g.
4
Suppose 5*s = s. Solve -o - 3*o - 4 = s for o.
-1
Let y(c) = c**2 - 2*c. Let s = -1 - -4. Let x be y(s). Solve 0 = -0*h - x*h - 12 for h.
-4
Let o = -8 - -12. Let k(g) = g + 8. Let h be k(-6). Solve -o*a = -h*a for a.
0
Let j = 1 - -2. Let q(p) = p + 2. Let z be q(j). Suppose 3*i + 12 = z*x + 5*i, 3*i + 12 = 0. Solve -x*y - 4 + 0 = 0 for y.
-1
Let d(p) = -p**2 - 4*p + 7. Let u be d(-5). Suppose -u*f + 7 = -f. Let a be ((-4)/(-3))/((-4)/(-6)). Solve a*j - f = -3 for j.
2
Let r = 4 - 4. Suppose 2*c = -4*u - r - 6, -4*c - 4*u = -4. Solve -5*f + 0*f + c = 0 for f.
1
Suppose -4*b = 5*s - 2*b - 2, 4*b = 4. Let v = 62 - -197. Let m be 4/(-14) + v/49. Solve -20 + s = -m*h for h.
4
Let i(g) = -g**3 + 4*g**2 + 3. Let h be i(4). Solve -h = -2*d - 5 for d.
-1
Suppose 11 - 3 = 2*o. Suppose z + n - 20 = 0, -2*z = z - o*n - 25. Solve 3*g - z = -2*g for g.
3
Let l(d) be the third derivative of -d**6/120 + d**5/12 + 7*d**4/24 - 2*d**3/3 - 5*d**2. Let i be l(6). Solve i*w - 8 = -2*w for w.
2
Let z(b) = -4*b + 12. Let o be z(0). Solve -w - 2*w + o = 0 for w.
4
Let y be 3*1 - (0 - 17). Let p = y + -14. Solve p*g - g = 0 for g.
0
Suppose -4*u - 5 = 31. Let v = -5 - u. Solve -v*y = y for y.
0
Let w(o) = -o**3 - 4*o**2 + 8*o + 4. Let p be w(-5). Let f = -9 - p. Solve f*d + 7 = 1 for d.
-3
Let d = -13 + 26. Let k = d - 10. Solve -k*b = -b for b.
0
Suppose 2*l + 15 = -l. Let g = 0 - l. Solve 0 = -5*f - g - 15 for f.
-4
Suppose -5*f - 7*g + 30 = -2*g, 0 = -2*f - 3*g + 9. Let w = 4 + 0. Solve w - f = -h for h.
5
Let u be (204/(-14))/((-2)/(-28)). Let h be 18/45 - u/(-10). Let b be 5/h + 25/4. Solve b*r = 3*r + 3 for r.
1
Suppose -3*x = -j + 4, 0 = -x + 3*x + 5*j - 20. Suppose 5*h + 3*s = x, -5*h + 0*s = -s. Solve 2*k - 4 = -h for k.
2
Let n(z) = -3*z**3 - z**2 - 2*z - 1. Let f be n(-1). Suppose 3*g - 10 - f = -5*y, 4*y - 10 = -2*g. Solve y*l + 1 = 7 for l.
3
Let j(v) = v - 1. Let a be j(1). Solve 4*i + 0*i - 16 = a for i.
4
Let n be 4/6*6/4. Suppose -r - n = -y, -2*y - 7 = -5*r - 3. Solve -r*p = 2*p - 20 for p.
5
Let i(m) = -5*m**3 + m**2 - 1. Let g be i(1). Let n = g + 19. Suppose 0 = -j - 5*b + 20, -4*b + n = -2*j - 2. Solve j*o = o + 5 for o.
-5
Let l be (-2)/(-10) - (-28)/10. Suppose -5*a = l*h - 61, 3*a + 5*h = -0*h + 27. Solve 3*b = a - 5 for b.
3
Suppose -5*i = -5*t + 9 + 11, 4*t = -4*i. Suppose -q = t*a, 2*q = -0*q. Suppose 2*g + 2 + 0 = -4*b, -2*b - 4 = a. Solve 6*d - g*d + 9 = 0 for d.
-3
Let k be 2*(5/2 - 1). Let l = 1 + 2. Let o be (l - 15/6)*0. Solve h + k*h - 4 = o for h.
1
Let i = 0 - -8. Suppose -2*s = -12 + i. Solve x = -s*x for x.
0
Suppose -2*s = 4 - 8. Solve 0 = s*y - 16 + 6 for y.
5
Suppose 3*v = 5 + 1. Suppose -3*l + 75 = v*l. Solve 4*j = -j - l for j.
-3
Suppose 10 + 8 = 9*c. Let b(f) = -f + 8. Let r be b(5). Solve -13 = -c*i - r for i.
5
Let t(f) = f**2 - 2*f + 3. Let z be t(2). Let c(r) = r**2 - r + 19. Let j be (-3 - -2) + (-6)/(-6). Let i be c(j). Solve -4*n - i + z = 0 for n.
-4
Let v = 8 - 5. Suppose 8 + 13 = v*d. Solve -5*h - d = 8 for h.
-3
Let a be ((-8)/6)/((-16)/240). Solve -3*h - a = h for h.
-5
Let n(s) be the first derivative of -s**4/4 - 2*s**3/3 + 3*s**2/2 + 3. Let j(f) = -f + 4. Let d be j(7). Let u be n(d). Solve u = 2*x - 6 - 0 for x.
3
Let f(s) = s**2 - 7*s - 12. Let p(t) = 3*t**2 - 13*t - 25. Let d(r) = 5*f(r) - 2*p(r). Let o be d(-7). Solve -25 = o*u + u for u.
-5
Let u be -4 - -1 - (-1 - 10). Let m(f) = -f**3 + 5*f**2 + 8*f - 2. Let s be m(6). Solve u*v - s = 3*v for v.
2
Let h be (-14)/(-4) - (-4)/8. Suppose 6*u = -c + 2*u, h*u - 40 = 4*c. Let a be -2 - (c/(-2))/(-2). Solve t + a*t - 2 = 0 for t.
2
Let f = 118 + -98. Solve -f = 11*r - 15*r for r.
5
Let l be -1 + -1 + (2 - 0). Let u be 6/24 + 81/(-4). Let y be 12/(-54) - u/9. Solve l = -y*w + w - 2 for w.
-2
Let a(y) = -y**3 - 7*y**2 + 1. Let o be a(-7). Let d be o*(14/2 - 2). Solve 0*w - d*w = 0 for w.
0
Let l(h) = -7*h**2 - 2*h - 1. Let u be l(-1). Let f be (-1 - 2)*4/u. Solve 6 = -f*i + 2 for i.
-2
Let i = 2 + -4. Let k be (-2 + 1 + 1)/i. Suppose 2*d + 2