ppose -s = 5*d - c, -3*s = 3*d - 7 - 14. Solve s*g - 8 = 4 for g.
4
Suppose 5*o + 7 = 4*y - 2, 2*y = 2*o + 2. Let m = o + 8. Solve h = -m*h + 16 for h.
4
Suppose l = 2*l + 3*v + 12, 0 = 3*v + 15. Let c = -5 + 9. Let f be ((-2)/4)/(c/(-16)). Solve 0 = l*r - 4*r + f for r.
2
Let d(k) be the first derivative of -k**2/2 - 2*k + 5. Let t be d(-2). Solve -5 + t = q for q.
-5
Suppose 3*b + 8 = -5*n, -2*b - 3*n = -b + 4. Let p be 1*-2*b*8. Let j = p + -10. Solve 4*a + j = a for a.
-2
Let b be ((-3)/4)/((-3)/12). Suppose 0 = -b*o + o + 6. Solve o*u - 2 = u for u.
1
Suppose -23*l = -60 - 55. Solve l*a = -0*a - 25 for a.
-5
Let i(z) = -z**3 - 6*z**2 - 6*z - 32. Let k be i(-6). Solve k = -6*f + 4*f for f.
-2
Suppose 2*o - 2*j - 6 = 0, -3*o - 3*j = -5*j - 9. Let d(f) = 4*f - 4. Let q be d(4). Let l = 16 - q. Solve -l*m + 17 = -o for m.
5
Suppose 2*r - 34 = -4*l, 3*r + 0*l = 4*l + 51. Solve -r + 5 = -4*j for j.
3
Let v be 5 - 3/((-3)/(-2)). Suppose 0 = 5*q - 3*a + 475, 377 = -v*q - q + 3*a. Let k be 1/(-4) - q/8. Solve -k = 2*w + 2*w for w.
-3
Let m be (-2 - (-3 - -3)) + 7. Solve i + 0*i = m for i.
5
Let j(x) = x - 5. Let g be j(5). Solve 0*z + 2*z = g for z.
0
Suppose -5*v - 18 = -2*w - 0*w, -30 = 5*v - 5*w. Let o be 0/3*v/4. Solve o = -j - 3 - 0 for j.
-3
Let i(q) = -q**3 + 6*q**2 - 4. Let r be i(6). Let h(w) = -w - 4. Let u be h(r). Suppose u = -3*b - 6, -k + 5*k - 14 = -b. Solve 5*t = k*t for t.
0
Let t(m) = -6*m**2 - 3*m. Let c be t(-2). Let v(g) = g**3 - 8*g**2 + 6*g + 4. Let d be v(7). Let o be 0*3/c*d. Solve 4*y - 11 - 5 = o for y.
4
Suppose c - 1 = -0. Let r = 2 - 1. Let j = c - r. Solve j*g = -3*g for g.
0
Let d = -1 - -9. Suppose d*l - 24 = 4*l. Suppose -4*f = c - l, -c - 2*f = -0*f - 4. Solve 0 = 3*r - c*r for r.
0
Suppose u - 19 = -2*g, -3*g - 2*u - 17 = -47. Solve -4*y = -g*y for y.
0
Suppose -3*g = g. Suppose -3*j - 16 = 4*n, j + 3*n + 12 = -g*n. Solve j = 6*t - t - 25 for t.
5
Let x(w) = 2*w**2 + w. Let a be x(1). Let f = -12 + 7. Let h = f + 5. Solve 2*z - 1 - a = h for z.
2
Suppose -14 = 7*v - 35. Suppose -v*u - b - 2*b = -9, 2*u + b = 8. Solve k - u*k + 8 = 0 for k.
2
Suppose 0 = 4*z - 3 - 5. Let a(x) be the third derivative of x**5/60 - x**4/8 + x**3/3 - 9*x**2. Let c be a(z). Solve c = -0*u - u for u.
0
Let k = -1 - -6. Let r = 11 + k. Solve j + 3*j = -r for j.
-4
Suppose q - 3 - 1 = 0. Suppose -l + q = l. Solve 0*u = -l*u - 4 for u.
-2
Let q(l) = l**2 - 6*l. Let m be q(6). Suppose m*u = 5*u + a + 1, u - 5*a - 5 = 0. Suppose 3*s + 8 = 5*f, 3*f = -u*f - 3*s + 24. Solve -3*c + f*c = -3 for c.
-3
Let n = -187 + 190. Solve -8*y = -n*y for y.
0
Let a = 14 + 1. Let y be (-5)/a - (-19)/3. Solve y*c = c for c.
0
Let s(r) = -2*r + 18. Let d be s(6). Solve -m - d = 2*m for m.
-2
Let m(c) = c**3 + 2*c**2 - c + 1. Let l be m(-2). Suppose -l*t + 0*t + 9 = 3*y, -4*y = -2*t + 6. Suppose -i + y = -2. Solve -i*p = -6*p for p.
0
Suppose 18*n = 14*n + 20. Solve -n*p + 18 = 43 for p.
-5
Suppose 0 = 4*f + 3*n - 12, 3 + 0 = f - n. Solve -q + 10 = -f*q for q.
-5
Suppose -2*c + 16 = 2*v, 2*v = c + c + 4. Suppose 4*z = -5*h + 37, -18 = c*z - 5*z - 2*h. Let x be z + (3 - 3) + 2. Solve -4*u - 2 = x for u.
-3
Suppose -18 = -4*b + 4*a - 2, 3*b - 2*a = 10. Solve 4*l - 4 = b*l for l.
2
Let y = 3 - 2. Let g = 5 - y. Suppose 5*q = 16 + g. Solve 3*t + 7 - q = 0 for t.
-1
Suppose -62 = -5*f + 13. Let r = -12 - -17. Suppose -5*c + 4*w + 66 = 0, 4 = 3*c - w - 30. Solve f = r*t - c for t.
5
Let f(s) = s**2 - 3*s - 4. Let n be f(4). Suppose -i - 4*y - 7 = n, -5*i - 4*y = -0*y + 3. Let a be -5*(1 + i - 3). Solve 5 = a*o - 5 for o.
2
Suppose 3*l = 2*f - 21, -f - 4*l + 6 = -l. Solve 6 = -5*o - f for o.
-3
Let z = 9 - 6. Suppose 4*d = -2*l - 14 + 4, z*l = 3*d + 30. Let w = l - 0. Solve -15 = -w*u - 5 for u.
2
Let i(m) = 4*m - 4. Let o be i(6). Suppose 0 = j + 4*s - o, 5*s - 2*s - 15 = -2*j. Let w = -9 + 23. Solve -5*h - w - 6 = j for h.
-4
Let g = -3 + 6. Let r be (-2)/(4/(-6)) - g. Let c = -2 + 8. Solve 3*s = -r*s + c for s.
2
Let f(d) = d**3 + 2*d**2 - 2*d - 1. Let b be f(2). Let v = -8 + b. Solve -v = p + 2 for p.
-5
Let n(f) = -f + 14. Let s = 29 - 21. Let y be n(s). Solve y*a = a for a.
0
Suppose j = -v + 10, -3*v - 4*j = -0*j - 35. Solve -3*k = v + 10 for k.
-5
Let c be 1/(-4) + 9/(-12). Let f = 3 + c. Solve 1 + f = r for r.
3
Let p(u) = 4*u - 1. Let i be p(1). Suppose 4*o - 4 = i*o. Let a be o/10 + 36/10. Solve a = 5*t - t for t.
1
Let u be (-69)/(-21) + (-10)/35. Solve -d - u = -0*d for d.
-3
Let j = -2 - -2. Let q be j/((-3)/(3/2)). Solve -b = -q*b for b.
0
Let n = 103 + -100. Solve -n*f = 8 + 1 for f.
-3
Let j(m) = -m**2 - 2*m + 1. Let f be j(-2). Let w = 4 + -9. Let g be (-17)/w - 2/5. Solve 4 = g*s + f for s.
1
Let h = -37 - -40. Solve -h*i + 6 = -0*i for i.
2
Suppose 0 = 5*t - x - 16, 0 = -0*t + 2*t - 5*x + 12. Solve -t*s + 5 = 1 for s.
1
Let z(g) = g**3 - 6*g**2 + 6*g - 5. Let w be z(5). Solve 2*s + w + 4 = 0 for s.
-2
Suppose 7 - 14 = -7*m. Solve m - 6 = f for f.
-5
Let m be 1/(2/(-6)) - -5. Solve 0 = m*i + 7 + 1 for i.
-4
Suppose 0 = -5*r - 7 + 27. Suppose -l + r*m - 5 = 0, -m = -3*l + 2*l + 1. Solve l*n = -n for n.
0
Suppose -3*j + 2*h + 70 = 4*h, 4*h - 40 = -j. Suppose -5*w + 22 = -3*o, 0*w + 2*w - 4*o - j = 0. Let l = w - 0. Solve -u - l*u = 15 for u.
-5
Let q be 2*4 - (3 + -3). Let l(m) = -m**2 + 9*m - 4. Let i be l(q). Solve i*y - y = -6 for y.
-2
Let c be (-12)/(-8) - 27/(-2). Suppose p - 4*p = -c. Solve p*q + 0*q = 15 for q.
3
Let f = -56 - -59. Solve f*k - 4 = -k for k.
1
Suppose 6*x = 3*x + 27. Suppose 25 = -s + 5*f + 8, 0 = -3*f + x. Let g be s/(-6) - (-141)/9. Solve -4*d - 4 = g for d.
-5
Let g = -6 - -14. Suppose 4*r - y + g = y, -12 = r - 3*y. Solve 4*k - k - 15 = r for k.
5
Let h be (-1)/(-2) - 27/(-6). Suppose 0 = -v - 0*v - 5*i + 19, -3*v + 17 = -h*i. Solve -25 = -v*f + 4*f for f.
5
Let l(g) = 2*g**3 - 6*g**2 - 5*g + 5. Let r be l(5). Suppose 0 = 3*z - r + 23. Suppose 0 = -3*u - 2*y - 16 + 15, -5*u - 3*y = 0. Solve u*c - z = -4 for c.
5
Suppose 0*w = w + 2. Let d = w + 4. Solve 5*f - 12 = d*f for f.
4
Let f = -21 - -24. Solve -3*v + 0*v = -f for v.
1
Suppose -o - 4*i = 8, 3*i = -5*o - i + 8. Solve 0 = -3*x + o*x for x.
0
Let d be 6/(-9)*(-5 - (-1 + 2)). Solve 0 = 3*z - d + 19 for z.
-5
Suppose -2*f + 1 = -9. Solve -7 = -4*z + f for z.
3
Let a(z) = -5*z - 6. Let o(u) = -6*u - 6. Let x be 0 - (3 + (-2 - -3)). Let s(i) = x*o(i) + 5*a(i). Let c be s(-6). Solve -2*b + 6 = -c*b for b.
3
Let l be 0 - (1 + -2) - -9. Let x(m) = -m**3 + 5*m**2 + 7*m - 1. Let s be x(6). Suppose 3*f - 6 = -4*q - 21, f + s = 0. Solve 0*w - 2*w + l = q for w.
5
Suppose 4 + 5 = -t. Let s = -9 - t. Suppose -3*j + 2*j + 7 = s. Solve 5*o + 3 = -j for o.
-2
Suppose -18*r = -22*r + 48. Solve -4 = -2*b - r for b.
-4
Suppose 0 = -2*z + 12 - 2. Solve i - 1 = -z for i.
-4
Suppose -4*d = -3*d + 2*m + 5, 5*d + 4*m = 5. Solve d*z = 16 + 4 for z.
4
Suppose h + 6 = 2*s, -5*h + s - 13 = -7*h. Solve -5*w = -4*w + h for w.
-4
Let u = -6 - -12. Let g = -3 + u. Solve 0 = x - g*x - 10 for x.
-5
Suppose 5*b + 4 - 19 = 0. Let d = -157 + 157. Solve d = b*x + 2 + 7 for x.
-3
Let q be 4/12*0 - -1. Solve -q = j - 0 for j.
-1
Suppose 0*x + 4*g = x - 5, -2*g + 20 = 4*x. Suppose -a = -x*a + 16. Suppose 5*q + 15 = 0, -4*u + 7*u + 3 = -a*q. Solve -1 = o - u for o.
2
Let c = -3 + 3. Let w be (-46)/(-10) + 2/5. Suppose -3*m + c*z = -2*z, w*m + 2*z = 0. Solve m = -h + 2 + 1 for h.
3
Let n(m) = 3*m**2 + 11*m - 7. Let r(v) = 4*v**2 + 12*v - 7. Let d(t) = 5*n(t) - 4*r(t). Let q be d(5). Solve -q*a = -5*a - 4 for a.
-2
Let l = 1 - -11. Let i be 5/2*l/15. Solve i*f - 2 = 8 for f.
5
Let i = -96 + 106. Solve -7*k + 9 = -i*k for k.
-3
Suppose -4*b + 3*b = -3. Solve -b*n = -n + 10 for n.
-5
Let v = 9 - 14. Let a be v/((-4)/(7 + -3)). Solve -a*z + 3*z - 6 = 0 for z.
-3
Let j = 1 + 9. Let h(i) = -i**3 - i**2 - 3. Let n be h(-3). Let c be 6/n + (-2)/5. Solve -5*y + c*y = j for y.
-2
Suppose -5*f = -3*o - 22, -3*f + f - 16 = 5*o. Solve -12 = -f*y - 10 for y.
1
Suppose -3*k = -4 - 5. Solve 0*o = -3*o + k for o.
1
Suppose 0 = -3*v + 2*c + 27 + 14, -2*v - 5*c + 40 = 0. Solve -5*k = -v - 0 for k.
3
Let a(t) = t**3 - 4*t**2 + 5. Let k be a(4). Solve -k*n = -0*n for n.
0
Suppose -11 - 4 = -5*t. Solve t - 6 = r for r.
-3
Let f