 = -4*t, 4 = 5*t + 2*l. Suppose -3*k = s - 77, -k + 26 - 5 = -t*s. Suppose 2 = 3*x - 4. Solve x*v - k = 7*v for v.
-5
Let n = -32 - -32. Solve 9*s + 2*s - 55 = n for s.
5
Suppose 4*w + 2 = -3*i - 2*i, -3*i - 5*w = 9. Suppose i*g = -g - 4*k + 5, 3*g = 4*k + 13. Let p be (g - (1 - -1))*1. Solve -v + 4 + p = 0 for v.
5
Let m(k) = -k**3 + k + 1. Let x be m(-1). Let c be (20/(-6))/(x/3). Let p be ((-8)/c)/((-1)/(-15)). Solve 0 = 5*o + p - 2 for o.
-2
Suppose 12 - 2 = 2*s. Solve -d - 9 = -s for d.
-4
Suppose 12 = 2*m - 3*m. Let f = -10 - m. Suppose f*c - 5*z + 6 = 0, -2*c + 5 + 1 = z. Solve c*r - 1 - 3 = 0 for r.
2
Suppose -11*x + 78 = 15*x. Suppose -2*n = -o - 0*n, 5 = 4*o - 3*n. Suppose -o*r + 5*t = -53 + 18, -5*t - 45 = -3*r. Solve 2*s + r = -x*s for s.
-2
Let r(i) = 8*i + 4. Let v(h) = -h + 10. Let d be v(8). Let o be r(d). Suppose -5*q + 70 = o. Solve 0 = 5*z - q - 5 for z.
3
Suppose -17 = -5*o + 3*d, -4*o - 3*d = -o - 15. Solve 15 = -v + o*v for v.
5
Let a(y) = -y**3 - y**2 - 3*y - 2. Let z = 7 + -9. Let c be a(z). Solve 0 = 4*k + c + 8 for k.
-4
Let k(n) = n**2 - 1. Let q be k(-1). Suppose 2*g - 6 = 0, 3*l - 21 = -3*g + 15. Let w(h) = -2*h**2 + 16*h + 18. Let i be w(l). Solve q = -2*b - i*b + 10 for b.
5
Let k(m) = -6*m**2 + 16*m + 24. Let s(t) = 7*t**2 - 15*t - 25. Let v(z) = -5*k(z) - 4*s(z). Let c be v(11). Solve 0 = o - c*o for o.
0
Let n = 1598 - 1575. Let j be (-2)/(-2) - -3*1. Solve 3 - n = j*f for f.
-5
Let g(f) be the third derivative of 2*f**5/15 + f**4/6 - f**3/3 - f**2 + 30. Let j be g(-1). Solve -5*m = 3 + j for m.
-1
Let t(q) = -q**2 - 15 + 19 + 6*q - q. Let m be t(6). Let g = 3 - m. Solve g*c - 3*c = 0 for c.
0
Let q = -457 + 466. Solve -q*x - 4*x - 52 = 0 for x.
-4
Suppose -n = 4*y + n, -2*y - 4*n = 12. Let l(t) = -t**y - 9*t + 0 + 1 - 6. Let x be l(-8). Solve -x*h - 2*h + 10 = 0 for h.
2
Let w = 563 + -559. Solve 0 = w*q + 59 - 75 for q.
4
Suppose -2*g - 11 = -3. Let y = 14 - 8. Let r = y + g. Solve -3*a + r = -1 for a.
1
Suppose -5*v - 20 = -5*g, g + 0*g + 8 = 4*v. Let y(s) = -s**2 - 5*s + 6. Let f be y(-7). Let b = g + f. Solve -4*o + 1 + 11 = b for o.
3
Let w = -122 - -114. Let p be 26/4 + w/16. Solve p*i + 6 = 3*i for i.
-2
Let f = 26 + -21. Suppose 3*h = -0*h + 5*n + 45, 0 = -f*n - 15. Let c = -7 + h. Solve c*z - 15 = -3 for z.
4
Let l(x) = -x**2 - 11*x - 13. Let k be (-1)/(-3 - (-56)/18). Let c be l(k). Solve y = c*y for y.
0
Let i(d) = 7*d - 26. Let m be ((-10)/7)/(4/(-14)). Let q be i(m). Solve -l + 4*l - q = 0 for l.
3
Suppose j - 5 = -1. Let k be j/(-4 - -8)*3. Solve k = -4*p - 9 for p.
-3
Suppose 79*i = -9*i + 6336. Solve 68*k = i*k - 4 for k.
1
Let l(i) = -i**3 - i**2 + 2*i. Let p = 23 + -23. Let x be l(p). Solve -4 = -x*q + 2*q for q.
-2
Suppose 0 = -4*h + 3*h + 5. Let p be ((-14)/(-12) - 36/24)*-18. Solve p*i - 5 = h*i for i.
5
Suppose -f = -0*f - 46. Suppose y = 2*i - 13 - 3, 3*i + 4*y - f = 0. Solve -3*z + 5*z = -i for z.
-5
Suppose z = 380 - 380. Let r = 0 + 5. Solve z = -r*g + g - 12 for g.
-3
Let j(d) = -25*d + 377. Let r be j(14). Solve r = 9*s - 18 for s.
5
Let u(t) = t**2 - 22*t - 36. Let j be u(25). Solve 5*c = -j + 14 for c.
-5
Let m = 335 + -321. Solve 0 = -m*h + 9*h - 5 for h.
-1
Let y = -242 - -255. Solve 3 = 2*k + y for k.
-5
Suppose -3*t + 0 + 9 = 0. Suppose -15 = -t*o + 3*w, 2*o + 6*w - w - 17 = 0. Solve 5*i - 2 = o*i for i.
-2
Suppose -4*r + 6 = -u + 4*u, 3*u = -3*r + 6. Let c be (u/(-7))/((-7)/98). Solve t + c = -t for t.
-2
Let d = -173 - -50. Let v = -84 - d. Suppose 9 - v = -3*j. Solve r + r = -j for r.
-5
Let v = 16 + -5. Let b(u) = -u**2 + 13*u + 3. Let r be b(v). Let o = r + -20. Solve 0 = -o*l + 30 - 5 for l.
5
Let d = 69 + -54. Solve s - d = 6*s for s.
-3
Let o(p) = 5*p - 55. Let i be o(12). Solve a + i - 4 = 0 for a.
-1
Let n(z) = z - 111 + 97 - 3*z. Let w be n(-7). Solve w*g = g for g.
0
Let n(r) be the third derivative of -r**6/120 - r**5/10 - r**4/6 + r**3 + r**2. Let p be n(-5). Suppose -2*q + 1 = -3. Solve p + 1 = -q*h for h.
-1
Let k(j) = 3*j**2 + 3*j**2 - 2*j - 7*j**2 - j. Let n be k(-3). Solve -u - 2*u = n for u.
0
Let o(i) be the first derivative of i**4/4 - 5*i**3/3 + 3*i**2 - 4*i + 1. Suppose 2*m - 3 - 9 = -2*r, 10 = 5*m. Let j be o(r). Solve -d = j*d for d.
0
Suppose -4*x + 4*t = 0, -4*x + 5*t - 2*t + 2 = 0. Suppose 5*u + 19 = 4*v - v, 2*v - x*u - 10 = 0. Solve 0 = -r - v*r - 20 for r.
-5
Suppose 3 = -7*h + 24. Suppose 2 = o - 2*i + 5, 5*o + 1 = h*i. Suppose 5*w - 2*g - 8 = 0, 3*w + 3*g - 7 = w. Solve w*j = 5 + o for j.
3
Let w(x) = x**2 + 13*x - 10. Let r be w(-14). Suppose r*q = q + q. Solve q = -4*t + 2 - 22 for t.
-5
Suppose 0 = -122*r + 112*r + 60. Solve y = -2*y + r for y.
2
Suppose 4*o - 6 = 4*j + 10, 2*j - 27 = -5*o. Solve -o*b + 13 + 12 = 0 for b.
5
Let m(j) = j + 18. Let o be m(-11). Suppose -p = -o*p + 18. Solve f = p*f for f.
0
Let x be 12/7 + 8/28. Let m be (-1)/(x/(-8)) + 0. Solve -3*i = -m*i + 4 for i.
4
Suppose -8 = 3047*r - 3048*r. Solve 2*x = -2*x + r for x.
2
Suppose -l - 4*w + 8 = -3*w, 3*w = -5*l + 34. Let a(x) = x**2 - 5*x. Let i be a(l). Suppose -3*k - 6 = 2*d, 2*d - 10 = k - i*k. Solve 0 = 2*h - d*h - 1 for h.
-1
Suppose -7*h + 0 = 7. Let q be 3 + -1 + (h - -2). Suppose -q*o = -2*v + 32, -4*o = 4*v - 0*v - 24. Solve x + v = -x for x.
-5
Let x = -606 + 611. Let p(b) = b - 5. Let k be p(8). Let m = k + 0. Solve -m*h + x = -4 for h.
3
Let v(i) = -i**3 - 4*i**2 + 2*i - 5. Let w be v(-5). Suppose -4*u + w = 3*r, 4*r + 5*u - 10 = 5. Solve 0 = -2*c + r for c.
5
Suppose -3*k - 24 = -5*j + 2*j, 2*j + 4*k + 14 = 0. Suppose 35 = j*y - 4*h - 0, 6 = -3*h. Suppose -4*r + 1 + 7 = 0. Solve -x - r*x = y for x.
-3
Let o = 650 + -649. Solve o = -18*z + 73 for z.
4
Let h be (-1 - (-1 - 1))*3. Suppose -h*g + 32 = -g. Let d = 24 - g. Solve 4*x = d - 0 for x.
2
Let p be 4/3*(246/24 - 2). Suppose 0 = -3*r + 2*t + p - 5, -3*r - 4*t = -24. Solve a + r = 3*a for a.
2
Suppose 4*o - 29 = -5*g, 3*g - 2*o - 15 = -5*o. Solve 4 = g*z - 5*z for z.
1
Let w = 17 + -12. Suppose 4*y + 1 = q + 6*y, -5*q = 5*y - w. Let a be (3/6)/q*2. Solve -5*k - a = 19 for k.
-4
Let a = 676 - 670. Solve 2*m - 2 = -a for m.
-2
Let h = 397 + -397. Solve 0 = -p - 1 - h for p.
-1
Suppose 6*x + 23 = 269. Solve 0 = x*r - 39*r - 10 for r.
5
Suppose 203 = 23*h + 6*h. Solve h*a - 12*a = 0 for a.
0
Suppose 5*w - 6 = 2*w. Suppose 3 = u - 2*u + w*x, 4*x = -5*u + 13. Let g = u - -1. Solve 0 = g*m + 5 + 1 for m.
-3
Let r(y) = y - 4. Let a be r(5). Let i = -75 + 73. Let n be a/((-44)/(-20) + i). Solve 0 = -3*t - 14 + n for t.
-3
Let q be 6/14 + (-1298)/(-826). Solve -5*n = q*n - 35 for n.
5
Let x be (-270)/(-50)*25/15. Solve x*h = 12*h - 15 for h.
5
Suppose 40 = -4*t - 40. Let d = t + 25. Solve 4*a - 7 - d = 0 for a.
3
Let p = 98 + -93. Let c(w) = w**2 - w - 12. Let r be c(p). Solve k - r = -k for k.
4
Let x(k) = -3*k**2 - 3. Let n be x(-2). Let i be ((-4)/(-3))/((-2)/n). Suppose -4*l = -9*l - 3*z + 9, -2*l - 3*z + 9 = 0. Solve 0 = -l*y - 5*y + i for y.
2
Suppose -128*r + 155*r = 0. Solve r = 5*o + 29 - 19 for o.
-2
Let q(i) = -i**3 - 57*i**2 - 59*i - 94. Let g be q(-56). Solve -4*n - g = -58 for n.
-4
Let u(l) = -3*l**2 + 8*l + 1. Let m(w) = -8*w**2 + 23*w + 2. Let t(h) = -4*m(h) + 11*u(h). Let q be t(-4). Solve -2 - q = -5*d for d.
1
Suppose n = 5*k + 6 + 29, -5*n = -5*k - 75. Solve -b = -5 + n for b.
-5
Let j(k) = -3*k - 7. Let r(l) = 7*l + 15. Let a(f) = 5*j(f) + 2*r(f). Let q be a(-9). Solve -2 = q*y + 14 for y.
-4
Let m = 63 + -47. Solve -9*p - m = -5*p for p.
-4
Suppose 0*n - 5*n + 30 = 0. Let o = -1081 + 1096. Solve n*x - o = x for x.
3
Let i(v) = v**3 - 14*v**2 + 13*v + 3. Let m be i(13). Solve m = 13*t - 10 for t.
1
Let q = 4 - 4. Let n be (1 - 2) + (-4 - -20). Let z = 16 - n. Solve q = t - 1 - z for t.
2
Suppose -4*a - 14*c + 15*c + 12 = 0, -3*c - 14 = -a. Solve 24 - 32 = a*r for r.
-4
Let n = -4 - -4. Suppose n = -11*w + 9*w + 4. Solve -w*d = d - 6 for d.
2
Suppose -2 = 14*q - 15*q. Let y be 5/(15/(-6)) + 1*q. Let o = -2 + 4. Solve -o = -g - y*g for g.
2
Let r be (10 - 4 - -9)*(-2)/(-6). Solve -12*f = -r*f - 35 for f.
5
Suppose -2*q - 5*f = -28, -q + 4*q + 8 = 5*f. Suppose q*j = -0*j + 24. Let w = -92 - -112. Solve -j*k = -2*k + w for k.
-5
Let v(x) = -7*x**2 - 47*x - 22. Let q be v(-6). Solve q*t = -t