. Let c be g(k). Solve -8*r = -6*r + c for r.
-1
Suppose -5*u - 5*f - 10 = 0, 3*u + 2*f - 2 = -3. Solve -u*m + m = 2 for m.
-1
Suppose 5*v = 43 + 87. Suppose 0 = -n + 5*g + v, -n - 4*n - 4*g = 15. Solve 0 = -j + n + 1 for j.
2
Let l(m) = m**3 - 2. Let f be l(2). Let z = -13 + 14. Let p(q) = -4*q + 1. Let a be p(-1). Solve a*k - z = f*k for k.
-1
Suppose -33 = -3*j + 5*g - 1, -3*g = 12. Suppose 0 = -2*u + 4*c - 9*c + 25, -j*u + 3*c = -11. Solve -u*z + 33 - 13 = 0 for z.
4
Let t = -272 + 272. Solve t = 6*l - 9 - 9 for l.
3
Suppose -w = w. Let p = -22 - -37. Let k = p - 10. Solve -q + k*q = w for q.
0
Suppose 5*r - 6*r = -4. Suppose -4*p + 10 = -3*q, 12 = 6*p - 2*p - 2*q. Suppose p*g = -0*g. Solve 0 = -g*j + 2*j - r for j.
2
Let z = 29 - 25. Let m(i) be the third derivative of -i**5/60 + i**4/6 + i**2. Let l be m(4). Solve l = d - 3 + z for d.
-1
Let w(j) = -5*j + 3. Let l(o) = 8*o - 4. Let q(t) = 5*l(t) + 7*w(t). Let k(r) = -2*r - 57. Let a be k(-29). Let g be q(a). Solve -2*s + 0*s - g = 0 for s.
-3
Let c = 52 + -45. Suppose 8 + c = 5*k. Solve -s = k*s + 4 for s.
-1
Let d be 3/4 - 20/(-16). Suppose -4*q - 40 = -3*i, 0*q = d*i + 3*q - 21. Suppose 2*p + l = -3, -p + 5*l = 3 - 18. Solve p = -5*o + 2*o + i for o.
4
Let i be 1*0/3*1. Suppose 3*t + 8 = z - 7, i = -2*z + t + 15. Let u = 9 + -5. Solve -18 + z = u*l for l.
-3
Suppose 5*r = z + 13 - 0, 12 = 4*z - 4*r. Let x = -4 + z. Solve -4*m - x - 5 = 0 for m.
-2
Let f = -56 + 58. Solve -f*d + 27 = -11*d for d.
-3
Suppose 11*m + 96 = 15*m. Let r = m - 16. Solve 0 = -4*h - r for h.
-2
Let t(c) = -c**3 - 7*c**2 + c + 9. Let z = 3 + -10. Let r be t(z). Suppose r*y = -y + 27. Solve 0 = -0*f - 3*f + y for f.
3
Let f(k) = k**3 - 7*k**2 + 1. Let s(i) = -i**2 + 4*i + 12. Let a be s(5). Let c be f(a). Let x be 1 + (-1 - -1) + c. Solve 1 = -3*r - x for r.
-1
Let m = 2103 + -1989. Solve 0 = -5*v + m - 134 for v.
-4
Let a(c) = 6*c + 4 + 7 + c - 33*c**3 + 34*c**3 + 7*c**2. Let y be a(-6). Solve -q + y = -0 for q.
5
Let f(o) = o. Suppose -3*i - 2*i = 0. Let q be f(i). Suppose 2*d + 284 = 324. Solve d = 5*a - q*a for a.
4
Let r(s) = -s**2 - 41*s + 193. Let a be r(-45). Solve -17*k = -a*k + 4 for k.
-1
Let o(l) = l**3 - 27*l**2 + l - 25. Let j be o(27). Solve m + j*m = 12 for m.
4
Suppose -1101 = 2*o - 1135. Solve 0 = 8*r - o - 7 for r.
3
Suppose 9 = -52*z + 55*z. Solve z*v + 2 = 2*v for v.
-2
Let h = 76 + -86. Let k be 30/(-42) + 1 - h/14. Solve 0 = 4*p - 21 + k for p.
5
Let s be 4 + (9 - (0 - -1 - 5)). Suppose -t + s = 4*w, -2*t = -w - 35 + 10. Solve t = 5*l - 12 for l.
5
Suppose -3*i = 4*l - 5, 2*l + 9 - 24 = i. Suppose -l*b + 1 = -9. Solve 0 = b*c + 3*c + 25 for c.
-5
Let q be (-4 + (-60)/(-8))*-2. Let d(w) = -w - 2. Let f be d(q). Solve f*n - n + 20 = 0 for n.
-5
Let f be 18 - 1*(-11 - -3). Solve 30*c = f*c for c.
0
Let y(r) = 4*r + 24. Let b = -70 - -64. Let q be y(b). Solve q = -l - l + 2 for l.
1
Let j = 2 - 2. Suppose j = 4*h + 1 + 11. Let l be -3*((-44)/12 - h). Solve -3*f + 10 = l*f for f.
2
Let h(r) = r**3 + 6*r**2 + r + 7. Let y be h(-6). Let f be 1*y/(-1)*5/(-1). Solve -f*x - 4 = -4*x for x.
-4
Suppose 75 = 2*q + 65. Let o be 3/18 + (-11)/(-6). Suppose o*l = 7 + q. Solve -y + l = -3*y for y.
-3
Suppose 4*b + f = -71, -4*b + f = -f + 74. Let c be (-76)/b - (-4)/(-18). Let h be (48/10)/((-16)/40*-1). Solve 0 = c*s - s - h for s.
4
Suppose 0 = 6*c - 53 + 41. Solve c*k - 3*k - 2 = 0 for k.
-2
Let f(z) = -z**2 + 13*z + 92. Let b be f(18). Solve -b*m = 33 - 25 for m.
-4
Suppose 224*c - 250*c + 234 = 0. Solve l = c*l - 32 for l.
4
Let l be ((-2 + 1)*-1)/((-2)/(-6)). Suppose 0 = -m + 3*m - 4*h - 26, 0 = -5*m - l*h + 13. Solve 2*z + m = 1 for z.
-2
Let s(y) = y**3 - 2*y**2 - 4*y + 3. Let l be s(3). Suppose 3*g - 1 - 8 = l. Let i be (-1 + 3)/1 + g. Solve 10 = -i*u + 35 for u.
5
Let f be 10/55 + (-86)/(-11). Solve s = 13 - f for s.
5
Suppose -4*z + 3*z = 0. Let n be 1/((-39)/(-9) - 4). Let l = z + n. Solve 2*c - l = -c for c.
1
Let q be (-5)/2*18/(-45)*-1. Let d be (-2)/(-2) - (2 + q). Solve d*f = 2*f for f.
0
Let r(l) = -2*l + 65. Let v be r(24). Suppose 5*g - 5*d + 5 = 0, -3*g - d = -0*d - v. Solve g*b = -b + 25 for b.
5
Suppose 3*u - 21*u = -72. Solve d - u = -0 for d.
4
Suppose 0 = -q - 8*q - 63. Let d be 18/6 + -5 - q. Solve 4*n - 3*n = -d for n.
-5
Suppose -3*x + 5 = 2. Suppose 2*g = 4*f + 9 + x, 4*g + 5*f - 20 = 0. Solve -g*t + 10 = -0 for t.
2
Let l be (-246)/4*(-18)/27. Solve 2*b + l = 47 for b.
3
Let b be 2/(-1 + (-22)/(-18)). Suppose -4*g + 5*m = -0 - 3, 5*m = -2*g + b. Suppose 0 = 5*o + 25, -22 = g*r + 5*o + 3. Solve r = 2*t - t + 2 for t.
-2
Let c be (-4)/18 - (203/(-63) - 0). Solve -5*z + 16 = c*z for z.
2
Let i(p) = -p + 13. Let a be i(13). Suppose 0 = -n - 3, a = 5*w - 6*w - 3*n - 6. Solve w + 3 = -3*c for c.
-2
Let b = 14 - -3. Suppose z - u + 2*u = 9, -z - 3 = -2*u. Suppose 0*q - q + b = 5*g, g + 11 = -z*q. Solve 0 = g*x - 0*x for x.
0
Suppose 48*s - 244 = 92. Solve 2*z + s - 9 = 0 for z.
1
Let h = -66 + 81. Solve -14*g = -h*g + 1 for g.
1
Let j be (-188)/(-14) + (13 - 1305/105). Solve 10*i = j*i - 16 for i.
4
Let x(j) = -j**3 - 9*j**2 - 5*j + 11. Let b be x(-8). Let t = -11 - b. Let h = -5 - -5. Solve -t = -q - h*q for q.
2
Let m(t) = 2*t**3 - 2*t**2 - 3. Let a be m(2). Suppose 41 - 11 = a*z. Solve -2*b = b - z for b.
2
Let x be (-1 + -1 + 3)*0/1. Solve x = 7*d - 14 - 14 for d.
4
Let h(n) = n**3 + n**2 - 11*n + 16. Let u be h(-4). Solve 0*o = 3*o - u for o.
4
Let o be (-6)/((-6)/(-45)*-5). Solve -o*p = p - 30 for p.
3
Let b(h) = -h**2 + 6*h + 7. Let p = 2 + 3. Suppose p*d + 20 = 0, -l + 5*d = -0*l - 27. Let x be b(l). Solve -2*f + x*f + 2 = 0 for f.
1
Let m = 28 - 20. Let r be 4*1/m*6. Suppose 13*l - 70 - 203 = 0. Solve r*s + l = 9 for s.
-4
Let c be 15/5 - (1 + 2). Let d = -2 - c. Let x(o) = o**3 + 2*o**2 - 2*o - 1. Let i be x(d). Solve i*v - 4*v = 0 for v.
0
Suppose 47 = -3*x - 2*d, -2 = x + 3*d + 23. Let i(r) = r**2 + 11*r - 14. Let n be i(x). Let p = -9 + n. Solve -p*v - 7 = 2 for v.
-3
Let j = 31 + -11. Suppose 2*g = -4, -2*u + 0*u = -5*g - j. Solve 0 = -c + u*c + 12 for c.
-3
Suppose 0 = -7*g + 13*g - 54. Solve -4*i = g + 7 for i.
-4
Let f = -192 + 204. Solve 20 = f*t - 7*t for t.
4
Let u = 4 - 2. Let y(c) = c + c**3 - 2 - 16*c**u - 4 - 7. Let o be y(16). Solve o - 6 = 3*t for t.
-1
Suppose -8*o - 75 = -11*o. Let x = o + -20. Let q be 2 - 1*2/1. Solve q*t = 5*t - x for t.
1
Let r be (-2 - 20/(-6))*-3. Let w(s) be the third derivative of -s**4/24 - s**3/3 + 21*s**2. Let m be w(r). Solve 1 - m = -i for i.
1
Let n be (5/1)/(235/94). Solve n*t = -12 + 10 for t.
-1
Let b(p) = -p**3 + 5*p**2 - 3*p - 2. Let n be b(4). Suppose -308 = -22*y - 0*y. Solve n*t + 4 = y for t.
5
Let y(o) = -o**3 + o**2 + 4*o + 4. Let c be y(-2). Let g = 1 - c. Let q(p) = -p**2 - 7*p + 3. Let h be q(g). Solve h*v - v = 8 for v.
4
Let w(r) = 12 - 4*r + 3*r - 9. Let k be w(3). Suppose 7*i - 3*i - 25 = -u, k = 5*u - 5. Solve i = -6*x + 3*x for x.
-2
Let k be 12/(0 + 5 + -3). Suppose -2*q + k + 0 = 0. Suppose 5 = q*g - 2*g. Solve 0 = -0*n + g*n - 10 for n.
2
Let t = -2063 + 2063. Solve t = -8*g + 16 - 16 for g.
0
Let d(z) = -z**3 - z**2 - 26*z - 91. Let y be d(-3). Let q = 7 + -4. Suppose 3*l + 2*x - 27 - 28 = 0, l = 3*x + 11. Solve -q*u - y + l = 0 for u.
4
Let u(o) be the first derivative of -o**2 - o - 16. Let w be 2/(1/(2 - 3)). Let k be u(w). Solve -2 - 10 = -k*z for z.
4
Suppose -4*f - 31 + 31 = 0. Suppose 2*w = -f*w + 22. Solve 4*y + 3 = w for y.
2
Suppose 70 = -45*k + 50*k. Solve 2 = 3*d + k for d.
-4
Let a be (-4)/(-30) + (0 - 965/(-75)). Solve -8*o + a*o = 15 for o.
3
Suppose 0 - 10 = -5*q - g, -4*q = -5*g - 37. Solve 0 = q*u + 7*u for u.
0
Let k(l) = 22*l**2 - 4*l - 3. Let d be k(-1). Solve 17*n = d*n - 18 for n.
3
Let f be 312/30 + 4/(-10). Suppose f = -4*g + 22. Solve g*x = 4 - 1 for x.
1
Let n be 0/((-3)/(9/(-6))). Solve n = 27*j - 26*j + 1 for j.
-1
Let x(h) = h**2 - 11*h + 5. Suppose 0 = -2*i + 2*l + 86, -3*i - 6*l = -5*l - 117. Let w = i + -29. Let c be x(w). Solve -3*y - 2*y = c for y.
-1
Suppose -3*f + 240 = 168. Solve -5*t - t + f = 0 for t.
4
Let c = -257 - -258. Solve s - 3 = c for s.
4
Let f = -268 - -279. Solve 12*s = f*s - 5 for s.
-5
Let u(d) = 28*d**3 - 7*d**2 + 11*d - 3. Let k be u(1). Solve 