 = -0*v. Let a = b - v. Solve -3*f - a*f + 25 = 0 for f.
5
Let s(f) = -f**2 + 10*f + 6. Let t be s(10). Solve -2*q + 5*q + t = 0 for q.
-2
Suppose -2*n = -q + 12, 6*n - 2*n = -2*q - 8. Suppose 4*u - o = -0*o - 13, -u - q = -o. Let w be (u/(-9))/((-2)/(-42)). Solve -w = 4*j + 5 for j.
-3
Let t(i) = -2*i - 1. Let x be t(-2). Suppose 0 = -y + x*y + 4. Let f be y - (2 + 4/(-1)). Solve -9 = -f*n - 3*n for n.
3
Let f be -4 + -1 + 8/1. Solve j + f - 1 = 0 for j.
-2
Suppose 2*j - 13 + 1 = 0. Suppose b = j*b - 40. Solve -3*x - x = b for x.
-2
Let c be 8 + -7 + 2 + -1. Suppose -y = -b - 4, c*b - b = -y + 2. Solve -y*w = -0*w - 9 for w.
3
Let g(z) = -z**3 + 5*z**2 + 8*z - 6. Let n be g(6). Let k = -6 + n. Let j be (k + 0)/(3 - 5). Solve r + j*r = 0 for r.
0
Let b be (1/(-2))/(((-52)/(-8))/(-13)). Solve l + b = -0*l for l.
-1
Suppose d = 0, a = -a - 4*d + 6. Solve g + 20 = -a*g for g.
-5
Let x(m) = -m**3 - m**2 + 2. Let c be x(0). Suppose c*t = -4 + 22. Let n be (1/2 + -1)*-12. Solve t = -3*o - n for o.
-5
Let w(k) = -2 + 2*k**3 + k + 15 + 11*k**2 - k**3. Let l be w(-11). Let d = 7 + -4. Solve -7 = l*s + d for s.
-5
Let p be (-1)/(-3) - (-26)/3. Let u be (p/6*2)/1. Let k = u + -1. Solve -2*g = k*g for g.
0
Let q(m) = -m - 2. Suppose -3*n = 2*n + 20. Let h be q(n). Solve 4*o + 2 + h = 0 for o.
-1
Let t(c) be the first derivative of -c - 3/2*c**2 + 2. Let g be t(-1). Solve -6 = -4*j + g for j.
2
Suppose -2*l - 20 = 2*g, -4*l = -0*g + g + 37. Let b = l + 10. Solve -b - 3 = -2*i for i.
2
Let a(x) be the second derivative of x**5/20 + x**4/12 - x**3/3 - x. Let u be a(-2). Suppose 0 = w - 5. Solve u - 15 = w*o for o.
-3
Let f = 32 + -16. Solve 0 = -c + 5*c - f for c.
4
Let s = -106 + 122. Solve 4*x - s = -0*x for x.
4
Let w be -3*9/(-12)*-4. Let u = w + 4. Let c = u - -8. Solve 2*k - 4 = c*k for k.
-4
Let n = -61 + 70. Solve 2*x - 5*x = n for x.
-3
Let r = -12 - -14. Let l be 26/6 + r/(-6). Solve l*c = -c for c.
0
Let n = 7 - 7. Suppose -3*p - 1 = -4*l - 11, n = -3*p - 3*l + 3. Suppose 0 = -3*g + m + 3*m + 22, -4*g = -2*m - 16. Solve 0 - p = g*x for x.
-1
Let o = -120 + 123. Solve o*f - 25 = -2*f for f.
5
Let a(o) = 4*o**2. Let z(n) = -3 + 6 - n + 1. Let h be z(5). Let q be a(h). Solve -q*u + 2*u = 0 for u.
0
Let v = -8 + 10. Let d = v - 2. Solve -p + d = -5 for p.
5
Suppose 2*s - 2*o + 6 = 0, 8 = -8*s + 4*s + 3*o. Let u = -3 + 8. Suppose c = -0*c + 4*c. Solve -l + s - u = c for l.
-4
Suppose -h + 3*h + j = -1, 5*h = -2*j. Suppose h*k = -3*y + 17, -3*k - 17 = -3*y - 5. Solve -a + 2*a - y = 0 for a.
5
Let i(r) = 20*r + 1. Let w be i(1). Suppose 0 = -u - 2 - 0. Let j be (1/2)/(u/(-4)). Solve j - w = -5*m for m.
4
Suppose -6*n = -11*n + 25. Suppose 5*q + 3*i = 3 - 0, 4*q - 3*i = 24. Solve -n = q*l + 10 for l.
-5
Let q(d) = d**3 + 4*d**2 - 8*d - 5. Let j be q(-5). Solve 0*u + j = 2*u for u.
5
Let g be (0 + 2/2)*2. Solve 0 = -3*z - g*z + 25 for z.
5
Let k(u) = -u + 18. Let p be k(7). Solve 0 = 2*y + p - 3 for y.
-4
Suppose 5*p + 5 = 5*b, 0 = 5*b + 3*p - 5*p - 8. Solve 0 = -3*o + b + 10 for o.
4
Suppose l = 6*l - 15. Solve 0 = -2*i - l + 9 for i.
3
Let n be (-6)/(-10) + 9/(-15). Solve n*z = 3*z for z.
0
Let u(p) = 3*p + 9. Let i be u(0). Solve 4*b + i = b for b.
-3
Let g be (-2)/(6/(-81)*3). Solve 16 = 5*d - g for d.
5
Let l = -30 + 51. Solve l = 5*z - 4 for z.
5
Suppose -115 - 21 = -2*u - 2*t, -2*t - 248 = -4*u. Suppose -u = -3*v + v. Suppose 5*c - v = -3*s, s - 8 = -0*s + c. Solve 1 + s = -5*m for m.
-2
Let z = -8 - -12. Solve -3*w = -2*w + z for w.
-4
Let v(p) = -3*p + 6. Let l be v(5). Let s(c) = c + 9. Let a be s(l). Let w be 5 - (a/1 + 2). Solve -x = -w*x for x.
0
Let r = -51 + 7. Let k = 64 + r. Solve 0 = -6*h + h - k for h.
-4
Let z(r) = r - 3. Let d = -2 - -4. Let m be 3/6*(10 + d). Let h be z(m). Solve 0 = -h*n - 0 + 3 for n.
1
Let w be 14 + (-7 - (0 - 3)). Solve 4 = -2*q + w for q.
3
Let j(y) be the first derivative of -y**4/4 - y**3 - 2*y**2 - 2*y - 2. Let a be j(-2). Solve a = 3*z - z for z.
1
Let y = -1 - -3. Let w be 1 + -1 - (-7 + y). Solve -a = -w*a - 12 for a.
-3
Let u(t) = -t + 3. Let l be u(-6). Solve 5*j - l = 11 for j.
4
Suppose -3*v - x = -5*v + 8, -4*x - 24 = -4*v. Let m(u) = -u**3 - 15*u**2 + 2*u + 30. Let w be m(-15). Solve v*g + g = w for g.
0
Let h be (-1)/(-1) - 6/(-2). Suppose -7*w - 97 = -3*w - 5*d, -d - 49 = 3*w. Let l be 1/(w/(-8) + -2). Solve l = h*z + 20 for z.
-4
Let m = -17 + 17. Let v(q) = q**2 + 7*q. Let p be v(-7). Suppose p = f + 3*f. Solve m = -f*a + 2*a for a.
0
Let t be 4 - 1/((-3)/(-12)). Let i(z) = z**3 - 2*z**2 - z + 5. Let p be i(t). Solve 2*b - p + 1 = 0 for b.
2
Suppose -12 = 3*r - 5*r + 4*t, -2*r - 2*t + 6 = 0. Suppose z - 5*z = -4. Solve -9 = -r*j - z for j.
2
Suppose 24*g + 4 = 25*g. Solve g + 4 = -2*q for q.
-4
Suppose 0 = -5*r + 11 + 14. Suppose -3*m - 2*m + 5*t = -95, -49 = -4*m - r*t. Suppose -3*s - 40 = -5*p, -p + s = -3*p + m. Solve 0 = -3*j + 1 + p for j.
3
Suppose 3*c - 4*d = -3, 15 = 3*c - 0*d + 2*d. Solve -c*g - 8 = g for g.
-2
Suppose 0 = 4*d - a - 19, 0 = 4*d + 2*a - 7 - 15. Suppose -3*k = -3*g - 6, 5*g - 9 - 1 = -d*k. Solve -j - 3 = -g*j for j.
-3
Let o = 7 - 7. Suppose 5*j + 1 - 16 = o. Solve -y = 2*y + j for y.
-1
Suppose -2*k = 5*p - 4, -6*k + 2*p + 2 = -5*k. Solve 2 = -k*g + 10 for g.
4
Let l = 13 - 8. Let c = -4 + 4. Suppose -5*f = 5*s + 10, c*s + 5*s = f + 2. Solve s = -6*w + w + l for w.
1
Let t = 15 - 22. Let a be (-120)/(-21) + (-2)/t. Solve a = -4*c + c for c.
-2
Suppose -w + 13 = 2*k + 14, -4*k + 3 = 3*w. Solve -3*a + w + 10 = 0 for a.
5
Suppose -16*d = -9*d - 28. Solve 4*h + 0*h = -d for h.
-1
Let b(s) = -s + 6. Let y be b(3). Let w(h) = h**2 - h - 1. Let r be w(y). Solve -4 = d - r for d.
1
Let a(q) = -q + 17. Let f be a(5). Solve 5*i + 13 = -f for i.
-5
Let c be 14/8 + (-2)/(-8). Suppose 2*k + 28 = 3*h - 43, -c*k = 3*h + 65. Let q = -14 - k. Solve -2*v - 3*v = -q for v.
4
Let i(b) be the first derivative of -b**4/4 - b**3 + 3*b**2/2 - b - 4. Let d be i(-4). Suppose -j = -5*m + d*j, 3*j = -2*m. Solve m = -0*h + 5*h for h.
0
Let a(d) = d**3 + 5*d**2 + 3*d. Let r be a(-4). Let j be (-2)/r*(2 + -2). Let g be (2 - 0) + j + 2. Solve g = -3*o - o for o.
-1
Let y be ((-2)/(-4))/((-3)/(-12)). Let b = -26 - -29. Suppose -10 - 2 = -b*w. Solve -y*a + 6 = -w*a for a.
-3
Suppose 3*f = -2*f. Suppose -x + 4*r - 11 = f, -4*x + 4 - 9 = -3*r. Let y be (-18)/(-4) - x/2. Solve -y*d - 2 = -2*d for d.
-1
Suppose -z + 6 = -0. Let f = -6 + z. Solve f = 4*t - 12 for t.
3
Let h(u) be the second derivative of u**5/120 - u**4/12 - u**3/3 + u. Let m(b) be the second derivative of h(b). Let x be m(4). Solve -g = x*g for g.
0
Let j be (1 - 5)*7/(-28). Let k be -2 + 6 - (-1 + 3). Solve j = -k*u - 9 for u.
-5
Let z(k) = -k**2 + 4*k + 2. Let f(s) = s**3 - 6*s**2 + 7*s - 6. Let t be f(5). Let p be z(t). Solve -1 - 3 = -p*l for l.
2
Let r(c) = 2*c. Let i be r(1). Let w = 0 + i. Solve -w - 1 = q for q.
-3
Let l(y) = y - 8. Let n be l(9). Solve 2*u - 3*u = n for u.
-1
Suppose -4*v + 3*v = 0. Let x be v + 1 + 2 + -1. Let j = x - 1. Solve j = y - 4 for y.
5
Let u be 1/(-2) + (-36)/(-8). Suppose f = -2*f - 3. Let y be 2*10/u + f. Solve 5*p - y = 16 for p.
4
Suppose 2*d - 28 = -2*n - d, -4*d + 8 = -n. Suppose g + 4*h = -14, 2*g - 2*h - n = 4. Suppose -m + 0*i = g*i + 8, 16 = -4*m - 4*i. Solve 0 = -m*t + t - 1 for t.
1
Let v be (8/(-7))/(16/(-56)). Let a be (0 + 2/(-4))*-82. Suppose 0 = -v*u - 16, -2*u - 5 = 2*r - a. Solve 5*g + r + 3 = 0 for g.
-5
Suppose g + 5*l - 2 = 8, 0 = 2*g - 5*l - 50. Let v be 8/(-6)*(-30)/g. Solve -3*a + 5 = v*a for a.
1
Let n be 2/12 - (-83)/6. Let v = n + -20. Let p be (-8)/v - 4/(-6). Solve -4*a - 2 = p for a.
-1
Suppose -2*j = -5*j - 5*b - 19, -5*j + 5*b = -35. Solve 0 = -0*f - j*f for f.
0
Let a(s) = -2*s + 18. Let k be a(7). Solve -k*q - 12 = -q for q.
-4
Let m = -44 - -47. Solve -m*p + 1 - 7 = 0 for p.
-2
Let d be 10*1 - 55/11. Solve -b + 1 = d for b.
-4
Suppose 5*f + 9 - 24 = 0. Suppose 74 + 25 = f*q. Suppose 8 - q = -5*d. Solve -20 = d*s - 5 for s.
-3
Let u be (-4)/(-10) - 16/(-10). Suppose -z = 5*x + 2, 5*x + 0 = z + u. Let n(r) = 3*r**3 - 13*r**2 + 4*r. Let b be n(4). Solve b = -x*a + 5*a + 5 for a.
-1
Let c(h) = 2*h - 1. Let j be c(1). Solve j - 5 = -2*t for t.
2
Let d(c) = -c**2 + 26*c + 