be (-8)/(-3) + (-2)/(-6). Solve 1 = -v*w + 4 for w.
1
Suppose 5 - 2 = h. Suppose 5*j + x = 6*x + 30, 4*x = -h*j + 11. Solve 15 = -4*u - j for u.
-5
Let k = 4 + -1. Let u = 7 - k. Solve -s - u + 5 = 0 for s.
1
Suppose 5*k - 16 = k. Suppose -24*c - 3*a - 9 = -27*c, -3*c + 5 = -a. Solve -l - k = -c for l.
-3
Let a be (-2)/3 + (-2)/(-3). Let m = 0 - a. Suppose p + 34 = 3*l, 2*p + 3 + m = l. Solve l = 4*i - 3 for i.
4
Let r = 19 + -14. Suppose 3*p - r = 13. Solve -w + p*w = -15 for w.
-3
Suppose 3*z - 35 = 25. Solve -2*i + 7*i = z for i.
4
Let o(n) be the first derivative of 3*n**2/2 + n - 1. Let l be o(1). Suppose g = 6*g - 5, -34 = -3*k + 2*g. Solve -l*x + 7*x = k for x.
4
Suppose -g + 8*g = 35. Solve g*p - 3*p = -2 for p.
-1
Let u be 6/(-21) - (-634)/14. Let z = u - 20. Solve -3*x - z = 2*x for x.
-5
Let j = 47 - 38. Solve -j = 2*l - 3 for l.
-3
Suppose -4*r = -r + 6. Let q(d) = -d - 2. Let s be q(r). Suppose 3*n = 4*b + 4, -5*b = n + 3*n + 5. Solve p + s - 1 = n for p.
1
Let v be ((-6)/7)/(4/28). Let k = -3 - v. Suppose o = -k*o. Solve o*d - d + 4 = 0 for d.
4
Let b be ((-1)/(-1))/((-1)/7). Let x(c) = -c - 4. Let o be x(b). Suppose 2*w = -2*k + 3*w + 36, w = -o*k + 44. Solve -3*a - k = a for a.
-4
Let j = 6 - 16. Let d = -4 - j. Solve d = 3*b + 15 for b.
-3
Let t(g) = -g + 10. Let k be t(7). Suppose 3*a - 14 = a. Suppose -25 - a = -4*q - 3*d, -4*d = 2*q - 26. Solve q*m - k = 12 for m.
3
Let t be ((-2)/3)/(2/(-15)). Suppose 5 = -0*c + c. Let p be 0*((-15)/6)/c. Solve 0*v - t*v = p for v.
0
Suppose -3*l - 2*l + 45 = 0. Solve -3 = -3*z - l for z.
-2
Let d(x) = 2*x - 17. Let g be d(12). Let z = g - 6. Suppose -z = 2*q - 5*j - 5, -4*q + 8 = 2*j. Solve 0 = q*s + 6 for s.
-3
Let q = -7 - 39. Let o = -16 - q. Let i = o + -20. Solve -6*s + i = -s for s.
2
Let m(d) = d**2 - 12*d + 2. Let q be m(13). Suppose 3 = 3*s + q. Let v be 1/2*(4 + s). Solve 5*j - 3 - 7 = v for j.
2
Let c = -1 - -3. Suppose 3*d = -14 + 35. Suppose n - d = -c. Solve -b = -n*b - 20 for b.
-5
Let x = 7 + -4. Let m be (-1)/(-3) + 70/6. Suppose m = o + 10. Solve 5*g - x*g + o = 0 for g.
-1
Suppose 0 = -9*o + 7*o + 10. Let w be 21/9 - 2/6. Suppose w*i = -0*i + 12. Solve -16 + i = -o*l for l.
2
Let i be 2/8*-2*-4. Suppose 6*h - o - 43 = h, 0 = -2*h - 5*o + 1. Suppose 0 = -2*r + 6*r - h. Solve r = -i*b - 2 for b.
-2
Suppose 27*v - 29*v + 24 = 0. Solve -f = -4*f - v for f.
-4
Let p be (-10)/4*(-4)/2. Let v be (-1 - -1 - 0) + 4. Suppose 3*k - 6 = k. Solve -p = v*l + k for l.
-2
Suppose 0*h = -3*h + 12. Suppose -h = -4*u + 4. Solve -l = -u*l - 4 for l.
-4
Let q be (-14)/(-35) - 96/(-10). Solve -t + 6*t + q = 0 for t.
-2
Suppose 4*j = -1 + 9. Let x(z) = -z**3 + 10*z**2 - z + 10. Suppose -g + 2*p + 14 = 0, 0 = g - 4*p - p - 20. Let r be x(g). Solve r = j*t - t - 1 for t.
1
Suppose -6*o + o = -100. Suppose -l = 3*n - 1, 5*n + 2*l + 0*l - 2 = 0. Suppose -a - 3*p - 7 = 0, -a + 4*p + p + 25 = n. Solve -a*u + o = -10*u for u.
-4
Let y(r) = 5*r - 1. Let h be y(1). Let a = 0 + -1. Let k be (1 + -5)/(a/2). Solve 0 = -h*m + 20 - k for m.
3
Let p = 4 + -2. Let n(m) = -m**3 - 4*m**2 + 2. Let c be n(-4). Suppose b - c = -2*g, -2*g - 3*g - 8 = -4*b. Solve -p*z - b*z + 12 = 0 for z.
3
Let j(x) = -4*x + 3 + x + 2*x - 6. Let z be j(-8). Suppose -4*n + 3 = w, w = 4*n + 5 - 2. Solve -z*c = -w*c + 10 for c.
-5
Suppose -z = 4*z. Let b be 0/(-3) - 2/(-1). Let y = b - 0. Solve y*l - l = z for l.
0
Let p = 15 - 13. Solve 2*u - 16 = -p*u for u.
4
Suppose -4*n + b - 5 + 15 = 0, 3*n - 5 = 2*b. Suppose 2*s = 3*y + y - 8, -5*y + 25 = 5*s. Let v(x) = -8*x + 1. Let m be v(-1). Solve -y*o - m = n for o.
-4
Let v = -6 - -15. Solve w - 4*w = v for w.
-3
Suppose -5*s + 22 = 3*r - 2*r, -3*r = -4*s + 10. Let g be (-2)/s + (-2)/(-4). Solve 0*a - a - 4 = g for a.
-4
Let t be 1 - -3*(2 - 1). Let u(f) = -9*f**2 - 8*f + 17. Let h(k) = 5*k**2 + 4*k - 9. Let n(s) = 11*h(s) + 6*u(s). Let o be n(t). Solve -o*d + 1 - 7 = 0 for d.
-2
Let b be (0 - 0) + (-21)/(-7). Suppose b*u - 12 = -u. Suppose u*t = -t + 8. Solve -t*f = f for f.
0
Let t(k) = k**3 - k**2 + 5*k - 3. Let l be t(1). Solve 20 = -7*z + l*z for z.
-4
Let i(v) = -v**3 + 3*v**2 + 4*v - 1. Let l be i(4). Let t be (1/l)/((-2)/6). Let d(q) = q**3 - 7*q**2 + 5*q + 6. Let n be d(6). Solve -h + n*h = t for h.
-3
Let k be 24/10 + (-18)/(-30). Suppose -3 - k = -3*z. Solve 2*n + z*n = 20 for n.
5
Let m be 3*6*1 + 0. Suppose -2*i + 5*i = m. Solve g = -3 + i for g.
3
Let r be (-3)/(-6)*(2 - 2). Solve 0 = -r*c - 2*c - 8 for c.
-4
Let s be 1/(-2)*-2*8. Solve -3*c = c - s for c.
2
Let q(j) be the third derivative of -j**4/24 + 4*j**3/3 - 13*j**2. Suppose 5*l + 0 - 40 = 0. Let b be q(l). Solve -3*d - 2*d - 5 = b for d.
-1
Let u(i) be the first derivative of -i**2 - 9*i + 9. Let y be u(-5). Solve o = 2*o + y for o.
-1
Suppose 9*n - 30 = 7*n. Suppose 4*y = -0*y + 16. Solve n = y*s - s for s.
5
Let c = 8 - 6. Suppose 0 = -3*y - c*y + 15. Let f(s) = -2*s**2 + 7*s - 1. Let h be f(3). Solve 1 = -h*d - y for d.
-2
Let w be (7 + -3)*3/2. Let r(a) be the third derivative of a**5/20 - a**4/12 - a**3/6 + a**2. Let u be r(-1). Solve u*f - 6*f = -w for f.
3
Suppose 3*t - t - 4 = 0. Suppose -q - t*q = 3*g, 0 = 5*g + 10. Solve -3*j - 2 = -q*j for j.
-2
Let v be (-8)/(4 - (-12)/(-2)). Solve -1 = -v*h + 11 for h.
3
Suppose -4 = 5*s + n - 14, 0 = n. Solve -s*l = l for l.
0
Let o(u) = u**3 + 9*u + 6. Let c(g) = g**3 + g**2 + 8*g + 5. Let v(j) = -4*c(j) + 3*o(j). Let w be v(-3). Let l be w - 3 - 1*-1. Solve l*k = k for k.
0
Suppose 2*b - q + 4 = 19, 4*q - 30 = -b. Let j = b + -3. Solve -2*o + j = -3 for o.
5
Let d(y) = -y**3 - 20*y**2 + 3. Let s be d(-20). Solve -s*c + 2*c - 1 = 0 for c.
-1
Suppose d - 2 = 1. Suppose -r - d*r = 0. Solve r = -2*n + 7*n + 5 for n.
-1
Suppose 0 = y + 3*z - 16, y - 3*z = -y - 4. Solve 0 = -2*b - y - 4 for b.
-4
Let f = 4 + -5. Let b be (-7)/21*(f + 1). Solve 0 = -z - b*z + 2 for z.
2
Let p(j) = -j**3 - 7*j**2 - 5*j + 6. Let l be p(-6). Let a = 3 - l. Solve -i + 1 = a for i.
-2
Let h = -4 - -5. Let b(m) = m**3 - m. Let r be b(h). Solve 8 = 2*j - r*j for j.
4
Suppose -10 + 4 = -2*i. Suppose 0 = i*t - 6. Solve -v - t*v = -9 for v.
3
Suppose 4*u - 2*a - a + 24 = 0, -a = u + 6. Let b be (0/(-2))/(u/(-2)). Solve b = -y - 4*y - 25 for y.
-5
Suppose -30 = j - 2*r, 2*r - 2 = r. Let w = -24 - j. Solve -w = 2*f + 6 for f.
-4
Let j(g) = g + 3. Let u be j(3). Solve 0 = -d - 2*d + u for d.
2
Suppose 4*z = -l + 19, -5*l = -5*z - 0*l + 5. Solve z*i = 9*i + 20 for i.
-4
Let b(a) = a**2 - a. Let v be b(2). Suppose f - v*f + 3 = 0. Solve f*u + 5 + 10 = 0 for u.
-5
Let y(d) = -d**3 + 7*d**2 + 11*d - 4. Let l be y(8). Let j = l + -17. Solve -5*v = 2 + j for v.
-1
Suppose 0 = 4*c + u - 33, -4*c + 7*u + 48 = 3*u. Solve -4*w = -c + 1 for w.
2
Let y(h) = 5*h - 2. Let q be y(1). Solve -q*o = o for o.
0
Let b(v) be the third derivative of v**6/120 - v**5/15 + v**4/8 + v**3/3 + 2*v**2. Let d be b(3). Suppose a = -d*r + 3, -r = -2*r + a. Solve r = q + 6 for q.
-5
Suppose -4*j + 2 = -2. Let p(d) = 18*d**3 - 2*d**2 + 1. Let k be p(j). Solve -7 = 2*q - k for q.
5
Suppose 0*o + 3*o = 42. Suppose -o = -p - p. Solve 3*y + 2 + p = 0 for y.
-3
Let h = 35 - 28. Solve 0 = h*i - 4*i for i.
0
Let n = -4 + 16. Let s = -4 + 8. Solve -s*o + n = -o for o.
4
Suppose 0 = -2*a + 26 + 102. Suppose 4*o - b = a, -o - 4*b + 16 = -0*o. Suppose -5*d + 3*x = -37, -7 = -5*d - 4*x + 2. Solve -d*l = -o + 6 for l.
2
Let d = -33 - -23. Let x be d/(-4) + (-3)/6. Solve -5*b = -x*b for b.
0
Let m = 1 - 1. Let y be 4/((-1)/(-1)) - -11. Suppose -f + y = 4*f. Solve m*v + f = v for v.
3
Let f be (18/4)/((-3)/(-4)). Suppose 72 = -3*a + f*a. Let v(s) = s + 1. Let q be v(2). Solve q*g - a = -9 for g.
5
Let c(l) = -l - 3. Let m(u) = u. Let h(q) = 6*q + 2. Let w(b) = -h(b) + 5*m(b). Let n(i) = -5*c(i) + 6*w(i). Let r be n(-3). Solve 3*k - 5*k = -r for k.
3
Suppose -7*m = -3*m. Solve -4*z + 2*z + 2 = m for z.
1
Let j = 26 - 24. Suppose -j*s + 0*p = 2*p - 6, -4*s = 2*p - 8. Solve -s = 4*c + 3 for c.
-1
Let m = -29 - -41. Suppose m = 3*f - 9. Solve f = -2*s - 3 for s.
-5
Let j(n) = n + 8. Let l be j(-6). Let f(d) = -3*d**2 + 1. Let g be f(2). Let r be (-48)/(-22) + l/g. Solve -3*x + r*x = 5 for x.
-5
Let y = 24 + -20. Solve -a = 1 + y for a.
-5
Let c = 3 