, -4*s + 5*p + 40 = 0 for s.
5
Let l(n) = -6*n**3 - 35*n**2 + n - 30. Let q be l(-6). Solve q = -2*t + 4*u + 6, 0 = -12*t + 9*t - u + 9 for t.
3
Let s(m) = -2*m + 10. Let a be s(3). Suppose -24 = a*x - 4*h, -h - 5 + 0 = 0. Let l be (x - -14) + 3*4. Solve y = -5*q - 0*y - l, -2*q + 1 = -y for q.
-2
Let b = 7504 + -7481. Solve -5*x = -d - b, 1 = 2*x - 7 for d.
-3
Let f be (23 - (66 - 19)) + 191. Solve -f = -2*k + 4*n - 143, -4*k - 2*n = 2 for k.
2
Let j = 184 - 183. Let g be (-2 + -4)*j*28/(-6). Solve -f = -s, -5*f + g + 0 = 2*s for f.
4
Let h(k) = -k**3 + 93*k**2 - 269*k - 86. Let a be h(90). Let c = 13 + -9. Solve 4 = -0*l + 5*l - 4*m, -a*l - c*m - 4 = 0 for l.
0
Let r = 464 - 452. Let m be (-3178)/(-350) - r/150. Solve p - 31 = 5*o - m, -3*p = -5*o - 16 for p.
-3
Let t = -21974 - -21976. Solve t*k + 2 = -2*f, 3*f = -103*k + 98*k - 11 for k.
-4
Let m = 1676 + -1674. Solve 0 = i + x + 2, -m*i = -x + 17 - 7 for i.
-4
Let n(g) = 2*g**2 - 3*g - 11. Let a be n(-2). Solve 0 = a*q + 3*p - 18, -8*p = 2*q - 11*p + 3 for q.
3
Let s be ((-7)/(-8) + (-22)/(-88))/(2/16). Solve -s = -3*a - 15, 3*f - 5 = a for f.
1
Let h be 80/20 - 4*(-1)/(-1). Suppose 2*m + 2*k - 12 + 0 = 0, h = 3*m + 2*k - 16. Solve 4*o = o + 3*f - 12, 0 = -m*o - 2*f - 22 for o.
-5
Let t(d) = -d**3 - 4*d**2 + 5*d. Let v be t(-5). Solve l - 5*n + 15 = v, -2*l = -n + 1 + 11 for l.
-5
Suppose -26 - 58 = -12*c. Solve -2*l - 5 = 5*w + 14, 0 = -3*w + l - c for w.
-3
Let n be (-125)/1*(12 + 348/(-30)). Let l be (4/5)/((-20)/n). Solve -4 = 2*y, -5*j - y + l = -j for j.
1
Let y(j) = -2*j**2 + 176*j + 553. Let a be y(91). Solve g + 1 + a = 3*r, -r - g = 0 for r.
2
Let r = 14 - 14. Let n(t) = -t**3 - 20*t**2 + 15*t - 124. Let d be n(-21). Solve m + r*v - 11 = d*v, -4 = v for m.
3
Let h be (-37120)/(-145) + 1/(2/(-8)). Let t = h + -251. Solve 0 = 2*r + s - 3, s + t = -2*r - 4*s for r.
2
Let b = -428 - -475. Suppose -21*w = -16 - b. Solve w*s - 3*u = 3, -4*s - 5*u = 6 + 8 for s.
-1
Suppose -72 - 6 + 3 = -15*o. Solve 4*d + o*r = -26, 31*d + 6 = 29*d + r for d.
-4
Let z(v) = v + 27. Let x be z(-25). Suppose -x = -2*b + 2. Suppose 5*i + 13 = b*j, -j - j = 4*i - 4. Solve -3*a + 1 + 2 = -j*w, 0 = 4*a - 2*w - 14 for a.
5
Suppose 4*d + 2*z - 18 = 0, 9*z - 25 = -4*d + 14*z. Let q be (4 - d)*1*6/(-2). Solve 5*m = 5*a + 5, q*m - a + 2*a = -1 for m.
0
Let n be (-1 + -1)*5*(-339)/30. Suppose -20*l = -147 - n. Solve 4*g = -o - l, -5*o - 2*g + 1 = 12 for o.
-1
Let j be ((-9)/6 + 1)*-18. Suppose 0 = -12*u + j*u + 105. Suppose -u = -8*o - 3. Solve 3*k - 4*k = -5*w + 23, 0 = o*w + 2*k - 10 for w.
4
Suppose 3*s - 5*x - 60 = -22, -2*s + 23 = -x. Solve 4*h + u = -5, h = 5*u - 6 - s for h.
-2
Let t be 8*((-12)/(-8) - 1). Suppose t*x = 45 - 25. Suppose -3*p - 1 = -x*s, 6*p - 13 = -2*s + 3*p. Solve 5*m - s*b - 18 = 0, 4*m + 0 = 3*b + 13 for m.
4
Suppose 14 = -402*j + 403*j. Solve -4*q = 3*l, -15*q - 2*l = -j*q - 5 for q.
-3
Suppose 2*r - 10*r + 4*r = 5*z, 0 = 5*r + 4*z. Solve r = -2*l - 7*i + 3*i - 26, i - 1 = 2*l for l.
-3
Suppose 4*p - 23 = 37. Suppose -26 = -4*t - 2*i, -5*t + 24*i - 23*i + p = 0. Solve -12 = -4*j - t*m, -j - 2*m + 9 - 3 = 0 for j.
0
Suppose 3*d = -0 + 6. Let y(h) = -h**3 - 36*h**2 + 34*h - 108. Let z be y(-37). Let b be 1/5 - (-56)/20. Solve j - z*c = 4, b*c = -3*j + d*c - 8 for j.
-2
Let l be ((-72)/(-24))/(3/4). Solve 0 = 3*i + 5*q + 4, 2*q + 4 = 2*i - l for i.
2
Let m(t) be the third derivative of -5*t**4/8 + 167*t**3/3 + 7*t**2 - t. Let q be m(22). Solve 0 = q*p - 3*v - 5, -p + 2 = -6*p + v for p.
-1
Let b be -1*2/6 + (-11)/3. Let p be 27 + ((-6)/b)/((-3)/(-6)). Let j = 34 - p. Solve 0 = -y + j*d, -3*d + 0*d = 0 for y.
0
Let l = 68 + -41. Suppose 2*z - 208 = -3*k, l - 203 = -2*z + 5*k. Suppose a - 3*a = -4*g + z, 0 = g + 2*a - 27. Solve 3*b = 2*r + 5, -5*r + 0 + g = 5*b for b.
3
Suppose -5*b = 3*r - 18 + 13, 0 = 3*r + 15. Solve -16 = 4*m + a, -m - 3*m + 2*a = b for m.
-3
Let u = 531 - 543. Let a be 935/330 - 2/u. Solve a*i - z = 7, 7 = i - 2*z - 2 for i.
1
Suppose -23 - 133 = 183*n - 222*n. Solve -c - n*r = 78 - 89, -r + 36 = 5*c for c.
7
Let u(x) = -4*x + 63. Let m be u(16). Let n be -5 + m + 8 + 2. Solve -5*o - 17 = 2*r, -2*o + n*o - 2*r = -4 for o.
-3
Let m = 285 + -277. Let r be (2/(-6))/((m/(-42))/4). Solve 3*j = 4*g + 16, 5*j = r + 13 for g.
-1
Suppose 5 = 5*p - 10. Suppose 3 = 3*u + p*x, -u + 3*x = -2 - 3. Solve -2*g + 6 = 2*b + u*g, 15 = 5*b - 4*g for b.
3
Let c(a) = -a**3 + 6*a**2 + 11*a - 23. Let f be c(7). Solve x + 6 = -3*h, 17*x - 16*x = f*h + 18 for h.
-3
Let w be ((-4)/8)/((-6)/48). Suppose -w = -n, 0 = 5*l + 4*n - 3*n - 44. Solve 2*s + 3*v - 13 = 0, l + 2 = -s + 4*v for s.
2
Let l = 63 + -67. Let q(n) = 5*n + 23. Let p be q(l). Let a be ((-3)/2)/(p/(-14)). Solve 2*w - 3*c - 2 = -7*c, -w + c + a = 0 for w.
5
Let v be 57834/19440 - (-1)/40. Let w(n) = 2*n - 2. Let m be w(6). Solve -v*g = -b + 13, 0 = b + 5*g + m + 1 for b.
4
Suppose -7*t = -3*t - 8. Suppose -400*l + 9748 - 8148 = 0. Solve 0 = l*m - 2*a - 0 - 6, 5*m + 3*a = t for m.
1
Let u be (-4081)/(-371) + 12/(-2). Solve -u*s + 15 = 2*a, 14 = 5*a - 3*s - 8 for a.
5
Let u = -6603 + 6603. Solve u*w + 50 = 5*c - 5*w, 0 = 2*c - w - 15 for c.
5
Let s(v) be the first derivative of 5*v + 1/3*v**3 + 3*v**2 - 23. Let t be s(-5). Solve -2*y + 6 = 2*k, 5*k - 2*y + t*y - 15 = 0 for k.
3
Let d = 53 - 61. Let t = d + 11. Solve 8*l - 3*l - 10 = -g, 4*g = t*l - 6 for g.
0
Let y be 16/8*-2*(-3)/6. Solve 0 = -k - 0*k - y*z + 1, -4*k = -z - 4 for k.
1
Suppose 0 = 2*f + 3*x + 12, 41*f + 3*x = 38*f - 9. Solve -2*j + 9 - f = -4*v, -5*v - 3*j - 13 = 0 for v.
-2
Suppose 5*v = x + 247, 0 = -5*v + 5*x - 5572 + 5787. Solve -j + 25 = 4*l, -l + 61 = 4*j + v for j.
1
Let x(m) = 3*m**2 + 14*m + 6. Suppose 9*s = -4*s - 78. Let z be x(s). Solve 2*v + 7 = u - 4*u, 0 = 5*u - 5*v - z for u.
1
Let x(q) = 111*q - 185. Let a be x(2). Solve 0 = -4*l - 5*y - 9, 3*l - a = 5*y for l.
4
Let f(n) = 390*n + 2. Let y be f(0). Solve -5*b = -y*o + 33, -14 = -2*o - 2*b - 16 for o.
4
Suppose 60*a + 15 = 55*a. Let g be (12/(-16))/((-2)/((-64)/a)). Solve -r = -4*k - 1, r - g = -2*k - k for k.
1
Let l = -14515 - -14526. Solve 5*j - 25 = -4*d, l*d = 7*d + 2*j + 18 for d.
5
Let d = 207 - 347. Let h = -142 - d. Let b be (8/2)/(h/(-4 + 3)). Solve -7 = -4*q - f, q = -0*f - b*f for q.
2
Let t be 104/20 - ((-44)/(-20) - 2). Suppose 3 + t = -2*s + 3*q, -3*s + 3*q = 6. Let x be s + -1 + (-3 - -17). Solve -3*a - x = 0, -j + 2*a + 2*a = -21 for j.
1
Suppose -5*v = 13 - 28. Suppose v*f + 3*p = 18, 4*f - 5*p - 4 - 2 = 0. Suppose 3*x - f*x + 3 = 0. Solve -4*b = 4*i - 20, 3*i - 5 = -x*b + 2*b for i.
0
Let s = 364 + -370. Let o be (17 + -15)*(-3 + (-33)/s). Let l = -17 - -28. Solve -4*j = -0*y + o*y - 23, 3*y + j = l for y.
3
Let j(y) = 2*y**2 - 20*y - 190. Let h be j(-6). Solve h*d - 4 = -2*a, 0 = -4*a + 6*a + 5*d + 2 for a.
4
Let c = -46 + 66. Let n be (-60)/25*c/3. Let a = n + 18. Solve -3*o - a = m, -2*o = -3*m + m - 4 for m.
-2
Let v be 30*(220/24 + -9). Solve -4*n = -2*m + 4, -3*n - v*m = -0*m + 29 for n.
-3
Suppose 0 = 7*w - 39 - 17. Suppose 0 = w*s + 41*s - 147. Solve s*k - 3*i = i, -k - 2*i = 10 for k.
-4
Let h(d) = -d**2 - 3*d + 10. Let u = 46 - 46. Let x be h(u). Solve 2*n = t + x, 19 = 5*n + 3*t - 4*t for n.
3
Let q = 1173 - 751. Let y = -417 + q. Solve -y*t - 3*j - 13 = 9, j - 26 = 5*t for t.
-5
Suppose -77*t = 84*t - t - 960. Solve -2*d + t*k = 10*k - 6, 2*k - 9 = d for d.
-3
Suppose -4*o + 13 = f - 7, -4*o - 4*f = -20. Suppose -42*r = -267 - 3471. Suppose 10 = -87*v + r*v. Solve 3*i + 11 = -b, v*b - 2*b = -o*i - 25 for i.
-2
Suppose 4*z - 172 = -2*d - 178, -2*d + 3*z = -15. Solve -j - 11 = j - c, -5*j = -d*c + 28 for j.
-5
Suppose 23 = -2*f + 3*r, f + 4*r = -0*f - 28. Let o be (4 - (-64)/(-12)) + f/(-3). Solve -5*p - 10 - 5 = 0, -q + o*p = -8 for q.
-4
Let k = -2175 + 2180. Solve 5*t - 10 = 6*u - u, 17 = k*t + 2*u for t.
3
Let z be 22 - (7 - (-8 - 1)). Solve z*t - 16 = 10*t + c, 17*c + 53 = 5*t for t.
-3
Suppose -6*o = -4*o - 8. Let f be (-11)/(-7) - -2 - 884/1547. Solve -f*m - 5*z = 11, -4*m - 31 = -9*m + o*z for m.
3
Let l(o) = -o**2 - 8*o + o**2 + 11*o**2 - 32*o**3 + 18 - 5*o**2 + 31*o**3. Let b be l(5). Solve -6 = b*t + a + 4, -t - 5*a = 22 for t.
-2
Suppose -220*o + 2938 + 1902 