 = 6*t, -5*q - 25 = 5*t. Let w be x(q). Solve -4*c = w + 2 for c.
-2
Let q(d) = -d**3 + 5*d**2 + 8*d - 7. Let u be q(6). Let o(a) = 9*a - 563. Let n be o(63). Solve n = u*z - 1 for z.
1
Let m = 12 + -55. Let d = 43 + m. Suppose 7 = f + 2. Solve 4*b + 25 - f = d for b.
-5
Let f = 3391 + -3385. Solve -f*m + 23 - 11 = 0 for m.
2
Let k(u) = -u**3 - u**2 - 102*u - 432. Let f be k(-4). Solve -21*d - f + 3 = 0 for d.
-1
Suppose 12*i = 9 + 27. Suppose -6*h = i*h. Suppose -3*x + 7 = -h*x - 4*c, x - 3*c = 4. Solve 0 = -3*w + x + 2 for w.
1
Let o(d) = 7*d**2 + 7*d - 13. Let q(m) = -m**2. Let y(l) = o(l) + 6*q(l). Let x be y(-9). Suppose 0 = -b - x*b. Solve 5*n - 21 + 1 = b for n.
4
Let f = 406 - 262. Suppose 0 = 5*b - 2*r - f, 2*b = 7*b + 2*r - 156. Let l = b + -18. Solve 8 + l = -4*w for w.
-5
Let p(z) = -4*z**2 + 41*z - 10. Suppose -5*x + 27*x - 220 = 0. Let d be p(x). Solve d*t = 5*t - 15 for t.
3
Let w(d) = -7 - 7 - 1 - 9*d - 3*d**2 + 2*d**2. Let k be w(-5). Suppose g + k*f + 19 = -g, -4*f - 20 = 0. Solve -3 = -g*i + 3 for i.
2
Suppose -5*q + 4*o + 161 = 0, o = -3*q + 2*o + 91. Suppose 5*a = -2*g + q, -5*g + a = 4*a - 44. Suppose 22 = 3*f + g. Solve 0 = -f*p + 4*p + 4 for p.
4
Suppose 0 = 31*f - 26*f - 15. Suppose -2*m - f = -3*p, 18 = -9*m + 4*m - 3*p. Let y be m - 1 - (-11 - -5). Solve -5 - 5 = y*h for h.
-5
Suppose 45*f - 84 = 141. Suppose f*b = 3*b. Solve 0 = -b*u + u + 5 for u.
-5
Suppose 0 = -3*r - 2*m + 23, 33*m - 30*m - 7 = -2*r. Solve -j + r*j - 20 = 0 for j.
2
Let j = -51 - -54. Suppose 0 = 3*q - 9 - j. Solve 0 = -4*s - 0 - q for s.
-1
Let m(w) be the first derivative of w**3 - w**2/2 + 5*w + 7. Let c be m(3). Suppose -2*a + 5*o = -a - c, 4*a = -2*o + 6. Solve a*p + p = 5 for p.
1
Suppose 2*i + 3*s - 249 = 5*i, -3*s - 3 = 0. Let r be (-12)/i - 54/(-14). Solve 3 + 1 = r*d for d.
1
Suppose 3*z + 3*o = -0*o - 3, z + 4*o + 16 = 0. Suppose -z*f - 2*y = 282, y - 3*y = -f - 68. Let i = f + 72. Solve 6*v - i*v = 20 for v.
5
Let r = -138 - -138. Let a(f) = f**2 + 7*f + 4. Let o be a(r). Suppose 4*x - 22 = -2*i, 0 = -i + x - 0 - 1. Solve i*p + o - 1 = 0 for p.
-1
Let m(u) = -u**3 + 6*u**2 + 9*u - 4. Let x be m(7). Suppose -2*c = b - 87 + 23, 0 = -4*c - 8. Suppose -15*a - b + 218 = 0. Solve 5*s - a = x for s.
4
Let m(p) = -p**2 - 8*p + 17. Let r(f) = -f**3 + 17*f**2 - 44*f + 19. Let s be r(14). Let t be m(s). Solve 16*i + 32 = t*i for i.
-4
Suppose 32*m - 538 = -282. Solve -25*z - m*z = 165 for z.
-5
Let b be 6*(-8)/(-10)*(-30)/(-9). Solve -b*f + 40 = -6*f for f.
4
Let h be -6*2*(-4)/8. Let d(p) = p - 2. Let l be d(4). Suppose 0*j + h = l*j. Solve j = -3*u + 6*u for u.
1
Let k(y) = 183*y - 973. Let v be k(8). Solve a + v = 490 for a.
-1
Let y be (-526)/(-2) + 9 + 6 + -18. Let c = y - 260. Solve c = 3*l + 1 + 2 for l.
-1
Let z(s) = 5*s**2 + s. Let j be z(-2). Let b = -24 + j. Let n = b + 9. Solve 0 = 4*f + n - 15 for f.
3
Suppose -12*w + 31 = -53. Suppose 45 + w = 13*s. Solve -15 - 1 = s*j for j.
-4
Let r(c) = 4*c - 104. Let f be r(27). Suppose 3*d + 4*v + 16 = 0, 4*v - 5*v = 5*d + f. Solve 4*a + 4 + d = 0 for a.
-1
Suppose 1239*c - 2968 = 1186*c. Solve 44*b + c = 276 for b.
5
Suppose 3*b + i - 4 = 0, -b - 3*i + 7*i = 16. Suppose 4*q - 7*q - 9 = b. Let h be (-4 - q/3) + 13. Solve -3*a = -a - h for a.
5
Suppose -5*y + 417*m - 414*m + 422 = 0, 130 = y + 7*m. Solve -21*q - y = q for q.
-4
Suppose 3*b + 16 - 1 = 0. Let d be (2 - 5/2)*(5 + b). Suppose 3*s + 0*s = -d*s. Solve -5*f + 7 - 27 = s for f.
-4
Let f(g) = -g**3 + 35*g**2 + 120*g - 204. Let o be f(38). Let j = 4 + -1. Let k be (o/(-4))/(j + 9/(-2)). Solve k*a = -a for a.
0
Suppose 3*s + 0*s = 27. Let u = s - 5. Let a be (75/20)/((-20)/(-32)*14/35). Solve -u*g - a = -g for g.
-5
Suppose -2*p + 16 = -12. Let i = -10362 + 10370. Solve p = -g + i*g for g.
2
Let w = -18181 + 18257. Solve -44*k + w*k = -64 for k.
-2
Let i(h) = -2*h**2 - 35*h + 6. Let y be i(-10). Suppose y - 208 = -13*q. Let k be (-100)/(-15) - 2/3. Solve -q*r + r = k for r.
-2
Suppose 2*w - 4*w = 82. Suppose -4*m = -68 - 108. Let r = w + m. Solve -v = -r*v + 4 for v.
2
Suppose -4*h + 5*q = 402, 414 = -4*h + 3*q + 8. Let r = 101 + h. Let u be ((-2 - -3) + (r - -1))/2. Solve 3*p = -u - 6 for p.
-2
Let y(a) = -37 - 41 - 3*a**3 + 21*a**2 - 43 + 123. Let z be y(7). Let k = 12 + -7. Solve k*w + z - 12 = 0 for w.
2
Let m(p) = p**2 + 4*p - 130. Let w be m(-14). Suppose w*k + 52 = 14*k. Solve 0 = -12*t + k*t for t.
0
Let t(q) be the second derivative of -1/6*q**3 + 9*q**2 + 11*q + 0. Let k be t(16). Solve 0 = -k*j + 6*j for j.
0
Let u(z) be the second derivative of -1/6*z**3 + 6*z + 0 + 1/12*z**4 + 5*z**2. Let d be u(0). Solve i + d = 3*i for i.
5
Suppose -178*l = -264*l + 430. Solve t + l = -3 for t.
-8
Suppose 9*l - 9 = -0. Let y be (0*(-2)/(-8))/l. Suppose k + 5*o = -0*k + 10, 5*o = k. Solve -v = -y*v - k for v.
5
Let o be (4/1)/((-576)/(-2160)). Solve o = -51*r + 46*r for r.
-3
Let o(l) = -l**2 - 7*l + 4. Let s be o(-7). Suppose -19 = -5*z + 1. Suppose 0 = 242*m - 154*m - 173*m. Solve -z*y + 8 + s = m for y.
3
Let c be (-7)/(-3) - 2/(-3). Suppose c*m = m. Let u be 21 + (-3)/((-144)/(-768)). Solve m*i - u*i = 10 for i.
-2
Let x(v) = 3*v**2 + 2*v - 20. Let z be x(5). Suppose -3*l + 16*l - z = 0. Let a be 7 - l/(20/12). Solve -a*t + 0 = 20 for t.
-5
Suppose 24*l - 26*l = -4*r + 12, 4*r = l + 12. Solve -233*g + 234*g + 4 = l for g.
-4
Let m be 1656/368*(1 + (-1)/(-3)). Solve -40 = -23*r + m for r.
2
Let n be (-6)/((-30)/25) - 11/(33/(-144)). Solve -40 = -n*c + 63*c for c.
-4
Suppose 248*s - 68889 = -53*s + 125557. Solve 358 - s = 32*w for w.
-9
Let y be -2 + (-1)/(12/234)*8/(-12). Solve y*o - 9*o + 8 = 0 for o.
-4
Let l(m) = 13*m**3 + 2 + 2*m**3 - 3*m - 2*m**3 + 3*m**2. Let o be l(1). Suppose 47*r - 42*r = o. Solve -i = -r*i - 8 for i.
-4
Let k(d) = 24*d - 40. Let g be k(-17). Let p be g/(-35) - 7 - (-1)/5. Suppose -p*y - 4 = -7*y. Solve -y*o = -9*o + 20 for o.
4
Let q(h) = 2*h**2 + 12*h - 40. Let j be q(5). Let x = 74 - j. Solve -x*z = -6 - 10 for z.
4
Let j(f) = -f**3 - 66*f**2 + 92*f + 1675. Let b be j(-67). Solve b = 57*k - 98 - 16 for k.
2
Let t = -29 - -32. Let g = -33 + 35. Let m be 1/(g + 1 + (-34)/12). Solve -b = -t*b - m for b.
-3
Let l(s) be the second derivative of 11*s**3/6 - 9*s**2 - 23*s. Let z be l(-4). Let i = z - -74. Solve -i = 7*r - 3*r for r.
-3
Suppose -3*f + 104 = -2*t, 15*t - 20*t - 170 = -5*f. Solve 0 = -f*x + 21 + 15 for x.
1
Suppose 5*n - 29*n = -120. Suppose -2*s = -21 + 13, n*u + 3*s = 67. Solve -u*l = -9*l + 10 for l.
-5
Suppose w - 4*j = 4 - 0, 11 = w + 3*j. Let m(c) = -c + 14. Let i be m(w). Let g be 35/30 - (1/1)/i. Solve 0 = -b + g + 3 for b.
4
Suppose 59*s - 60*s = -191. Let u = s + -184. Solve -u*x - 12 = -x for x.
-2
Let b = -51 - -96. Suppose 12*v = 21*v - b. Solve 4*q = -11 - v for q.
-4
Suppose 0 = -32*y - 4499 + 22195. Let x = y + -548. Solve -5*i - x = 20 for i.
-5
Suppose 0 = -849*q + 192*q. Solve 4*p + 44*p = q for p.
0
Let y be 195/40 + (-1)/(-8). Suppose n + y = -c + 3, -n = -4*c - 18. Solve x - n = 2*x for x.
-2
Let o = 51 + -48. Let w(f) = 6*f**2 + f + 1. Let m be w(-1). Suppose -2932 = 51*a - 2932. Solve o*k + a = m for k.
2
Let p = 9142 + -9111. Solve 28 + 158 = -p*l for l.
-6
Suppose -63*l + 3940 = -10298. Solve 25*f = 76 - l for f.
-6
Suppose -6*b = -5*b - 5. Suppose 2*a - 5*i + 2*i = 71, 3*a - 5*i - 105 = 0. Suppose -4*q = o + 15, -7*q = -4*o - 3*q + a. Solve -b*l + 5 = -o for l.
2
Suppose 0 = 6*u - 3*d + 160 - 553, -61 = -u - 4*d. Solve 30*r - u = 17*r for r.
5
Suppose 0 = -3*l + 4*r + 27, -3*r - 4 = 5. Suppose 3*k + l*u - 67 = 0, 4*u - 72 - 4 = -4*k. Solve -2*i - 24 + k = 0 for i.
-5
Let j be (-6)/(7 + -4)*(-12)/(-8). Let c be ((-3)/(j/2))/((-54)/(-405)). Solve c = 2*v - 5*v for v.
-5
Let d = -2081 + 2099. Solve -8*k = d - 10 for k.
-1
Let s(k) = k - 1. Let q be s(3). Let u(y) be the second derivative of -y**5/20 + y**4 - 5*y**3/3 - 5*y**2 + 3*y - 13. Let n be u(11). Solve -l + n = -q for l.
3
Let g(q) = 93*q - 6. Let p be g(3). Suppose -99*d = -106*d + p. Solve -13*s + 0 = d for s.
-3
Let s = 87 + -150. Let h = -23 - s. Let u = h - 40. Solve u*g = 3*g for g.
0
Let s = 2793 - 2789. Solve -113 = -s*y - 105 for y.
2
Let z = 7922 - 7921. Let w be -5*(-3)/(-5)*-1. Suppose 0 = d - 4*a + 1, -2*