et q be s(o). Solve -4*k + q = -9*k for k.
-4
Suppose 0 = -3*r - j + 11, -58*r - 5*j = -59*r + 9. Solve r = -7*l + 25 for l.
3
Suppose -364 = 24571*l - 24623*l. Solve 63 - l = -7*q for q.
-8
Let r = 511 - 508. Suppose 5*u = -r*z + 9*u + 42, -5*z = 4*u - 70. Solve z*c - 6*c = 16 for c.
2
Let n(i) = 7*i + 9. Let m be n(-1). Let v = 12 + -10. Solve v*l - 8 = -m for l.
3
Suppose 0 = -3*v + 370 - 73. Suppose 15 = -3*d, -11 = -3*s + 4*d + v. Let y be ((-18)/12)/((-9)/s). Solve 0 = -y*w + w - 16 for w.
-4
Suppose 2*m = 7*m - 15. Let v be 4/3 - (-6)/(-18). Solve -m*c + 4 = v for c.
1
Let g(b) = b**3 + 25*b**2 + 114*b + 10. Suppose 31*t = 37*t + 114. Let z be g(t). Solve z = y + 8 for y.
2
Suppose 9*c + 3 - 48 = 0. Let o = 12 - 6. Solve c*y - o - 14 = 0 for y.
4
Let n(y) = -y**2 - 39*y + 142. Let l be n(3). Solve 60 = -l*a - 4*a for a.
-3
Let h(f) = -6*f + 31. Suppose 5*x - 12*x = -28. Let k be h(x). Suppose -10 + k = -r. Solve 2*q - 1 = r for q.
2
Suppose 19*k = 12*k + 2527. Solve -k + 349 = 4*q for q.
-3
Suppose 14 = 5*u - 2*j, 2 + 4 = -3*j. Suppose 3 = c + 4, 277 = -5*a - 2*c. Let z = -49 - a. Solve u*l = z*l for l.
0
Suppose 0 = -12*b + 116 + 3532. Let h = b - 300. Solve -5 - h = 3*l for l.
-3
Let d(p) = -5*p**3 - 29*p**2 + 16*p + 71. Let a be d(-6). Solve -258 + 302 = a*u for u.
4
Let c(k) = -k**3 + 8*k**2 + 11*k + 1. Let j be c(9). Suppose -20 = s - 6*s, -3*a = -3*s. Let z be a + (4 - 2 - 2). Solve 5*v - z = -j for v.
-3
Let v(a) = a**3 - 21*a**2 + 21*a - 3. Suppose -4*t + t + 3*k + 66 = 0, t = 2*k + 24. Let i be v(t). Solve -13*o + i*o = 16 for o.
4
Suppose 8662 = 7*p - 3*z, -19*p + 5*z + 3690 = -16*p. Solve -2*n - p + 1234 = 0 for n.
-3
Suppose 0 = -0*t + t. Let a(b) = 5*b**2 + 351*b + 6087. Let y be a(-39). Solve -5*i + y*i + 4 = t for i.
2
Let s be 2/(-6) - (-1168)/(-24). Let u = s - -84. Let t = u - 35. Solve -c = -t - 4 for c.
4
Let i = 42 + -30. Suppose -11401 = -21*n + 1283. Let u = n - 602. Solve -z = u*z - i for z.
4
Suppose 21*q - 75 = 97 + 80. Solve 2*p = 14*p + q for p.
-1
Let u(m) = -244*m - 976. Let o be u(-4). Solve 9*i - 11*i - 2 = o for i.
-1
Let j(f) = -60*f + 4722. Let s be j(78). Solve 23*b = 44*b - s for b.
2
Suppose 16 = 9*j + 7. Let b be ((-4 - -8)/2)/j. Solve -b*l - 12 = -2 for l.
-5
Suppose -2*y + 16 = 5*x, -y - 2*x = -0*y - 7. Let p(r) = 4*r + 17*r**3 + 0*r**2 - 16*r**y - 7 + 7*r**2. Let i be p(-6). Solve i*o = -2 - 13 for o.
-3
Let t = 378 + -369. Let h(x) = 3*x**2 - 23*x - 1. Let j be h(t). Solve -30 = 5*b - j for b.
1
Suppose -2*t = -14*t. Let g(q) = q + 1. Let h be g(-2). Let m be (h/(-1))/((-2)/(-6)). Solve -m*a + a = t for a.
0
Let h be 1208/9 + 3 + (-390)/54 + 4. Solve -139*b + 5 = -h*b for b.
1
Let y be (6/14)/(23/((-24150)/(-90))). Solve -y*f - 419 = -459 for f.
8
Suppose 0*x + 3*u = -3*x + 30, -16 = -x - 3*u. Let r be 5 - 7/(x/3). Let c(l) = l**3 - l**2 - 2*l + 2. Let o be c(r). Solve 0 = -o*k - 6 for k.
-3
Let d(h) = 3*h - 9. Let q(i) be the third derivative of -i**4/24 + 2*i**3/3 - 19*i**2. Let x(w) = 6*d(w) + 11*q(w). Let s be x(5). Solve -3*z - 2*z = s for z.
-5
Let r be 256/32*1/4. Suppose 0 = 3*c - r*w - 26, -c - 4*w = -2*w + 2. Solve 9 = c*l + 27 for l.
-3
Suppose 5*v - 4*p = 6, -3*v + 3 + 0 = -3*p. Let s be (-12536)/4701 - 52/(-6). Solve -v*i = -i - s*i for i.
0
Let w = -21 - -19. Let b be 4 - (-2 + 2 + -3 + 23). Let s be w - ((-4)/(-6) + b/6). Solve -5*v + 0 + 25 = s for v.
5
Suppose 0 = c - 6 + 2. Suppose -6*m + 6 = -c*m. Suppose 3*j = l + 8, 3*l + 4 = m*j + j. Solve -8*o + 12 = -j*o for o.
3
Suppose 0 = 5*q - 20, -959*n - 16 = -961*n - 4*q. Solve n = -2*p - 29*p for p.
0
Let n(i) = -i**3 + 23*i**2 + 23*i + 27. Suppose 2*q - 16*q + 336 = 0. Let p be n(q). Solve -14 - 1 = -p*l for l.
5
Let l(p) = p - 7*p - 6*p + 9*p - 6. Let b be l(-1). Let f be (-1*(-4 + 4))/(b + 2). Solve -2*z + f*z + 4 = 0 for z.
2
Suppose 5 = 3*p - 4. Suppose -3*k - 2*x - 126 - 28 = 0, -124 = 2*k - 4*x. Let h be ((-1)/p)/(3/k). Solve 4*t = 2*t - h for t.
-3
Suppose -88 + 80 = 4*f, -4*c - f = -58. Solve -11*d = c - 59 for d.
4
Let r(n) = 2*n**2 - 4*n - 2. Let s be (2 - (-8)/(-10))/(18/45). Let t be r(s). Solve -t*x - x = 5 for x.
-1
Let h(k) = -k**3 + 6*k**2 + 6*k - 18. Let s be h(5). Solve 54 = s*v - 19*v for v.
3
Suppose -257*y + 266*y - 558 = 0. Solve 4*w + y - 70 = 0 for w.
2
Suppose 122 - 1226 = -92*h. Solve -4*d - 12 = h for d.
-6
Suppose 11*w - 122 = 483. Solve 1 - w = -27*u for u.
2
Suppose -z = 13*p + 14, 4*p - 22 + 90 = 5*z. Solve -21*v + 9 = -z for v.
1
Suppose -m + 31 = -6*r + 7*r, 85 = 3*m + r. Solve 11*d - 29*d = m*d for d.
0
Let a be (28/3)/((1/(-4))/(15/(-20))). Solve -20*c = -a*c - 8 for c.
-1
Let x(g) be the third derivative of g**4/24 + g**3/3 + 5*g**2. Let k = 32 - 34. Let m be x(k). Solve 2*p + m = -2 for p.
-1
Suppose -3*d - 4 = -y, 2*d - 93 + 97 = y. Suppose -f - 37 = -2*c, 2*c - 9*f - 41 = -y*f. Solve 0 = r - 19 + c for r.
1
Suppose 6941 = 331*g - 1334. Solve -g*w + 3 = -22 for w.
1
Suppose -53*r + 77 = -42*r. Let j = -59 + 89. Solve -j = -r*f - 9 for f.
3
Let a(f) = 74*f + 1809. Let d be a(-24). Solve 0 = d*b - 20*b - 78 for b.
6
Let h be 4/10 - 8/(-5). Let u(k) = -22*k - 74. Let x(w) = 41*w + 149. Let t(q) = -5*u(q) - 3*x(q). Let z be t(-6). Solve 0 = h*r + 1 + z for r.
-1
Let b(f) = -7*f - 70. Let h(g) = g**2 + 8*g + 4. Let d be h(-6). Let t be b(d). Let c = t - -22. Solve 6*s - 2*s - c = 0 for s.
2
Suppose -c - 3*c + 8 = 0. Suppose 4*v = 5*a + 65, c*a + 10 = -2*v + 2. Let l be (-3)/a - 1/3. Solve -2*s + 6 = -l for s.
3
Suppose 18*j + 27 = -9. Let o be (1/j)/(16/(-96)). Solve -2*h + o*h = 5 for h.
5
Let q = -32 + 34. Let u = 53 + -79. Let h = -24 - u. Solve 0 = h*y + q*y - 20 for y.
5
Let v be 20/80 - 87/(-4) - -3. Solve -v*g - 17*g + 168 = 0 for g.
4
Let z = 775 - 769. Suppose 37*k - 105 = z. Solve k*s - 4*s = 3 for s.
-3
Let q = -46 - -49. Suppose -2*h + j = -21, q*h - 4*j = -11 + 45. Solve h*a = 6*a for a.
0
Suppose -5*g + 311 - 357 = -h, 3*h = 2*g + 73. Solve -120 = -3*b - h*b for b.
5
Suppose 4*z + 36 = -0*f + 2*f, 2*f = -2*z + 30. Let i = f + -7. Suppose 0 = 8*g - 18 - 30. Solve -3 = g*q - i*q for q.
1
Let k = 22 + -18. Let z(t) = -69*t + 552. Let n be z(8). Solve n = s + s - k*s for s.
0
Let r(j) = -3*j - 15. Let w be (31 - 4)*1/1. Suppose 5*i - 3*z = -w, 3*i - 7*i = -5*z + 19. Let l be r(i). Solve -13 = -l*c - 1 for c.
4
Suppose 4*t + 5*v - 258 = 21, -4*t - v + 251 = 0. Solve 44*f - t*f = -17 for f.
1
Let v = 281 - 261. Solve 34 = v*o - 3*o for o.
2
Let p = -100 + 131. Suppose p = 5*j + 11. Let x be (-2)/11 + j/22. Solve x = 3*h - 2*h for h.
0
Suppose -y = 13*y + 630. Let n be (50/3)/((-30)/y). Solve 0 = -3*f - 2*f - n for f.
-5
Let p = -206 + 221. Let n be ((-24)/p)/((-9)/((-180)/(-8))). Solve 8*j - n = 9*j for j.
-4
Suppose -130*i + 158*i - 523 - 317 = 0. Solve -7*t + 13*t - i = 0 for t.
5
Let h = 936 - 355. Let b = 585 - h. Solve -3 + b = q for q.
1
Let b(k) = -2*k**2 + 3*k + 25. Let q(u) = -u**2 + u + 13. Let l(s) = -2*b(s) + 5*q(s). Let i be l(-4). Solve -i*t = -t for t.
0
Suppose -19*w = 1825 + 2108. Let m = w - -221. Solve 4*a - m = 6 for a.
5
Let j(u) = -9*u**2 - 29*u + 27. Let s(b) = -14*b**2 - 44*b + 40. Let k(v) = 8*j(v) - 5*s(v). Let o be k(-7). Let q = 0 + o. Solve -q = -5*n + 13 for n.
3
Let t = 4175 - 4170. Solve -37 = 8*v - t for v.
-4
Let k(h) = -h + 20. Let g be k(14). Suppose 860 = 256*o + 17*o + 314. Solve o*f + g*f = -8 for f.
-1
Suppose 72*j + j = 1679. Solve j = -11*y + 23 for y.
0
Suppose 0 = -14*p + 11*p. Let s = -20 + 26. Let a be s/((-3 - -5) + 0). Solve p = -2*q + a*q for q.
0
Let v(m) = 26*m + 9 - 16 - 6*m + 6. Let x be v(1). Let f(s) = -s**3 + 18*s**2 + 20*s - 16. Let j be f(x). Solve j*g = 5*g + 4 for g.
-2
Let x be ((-3)/(6/(-10)))/((-8)/(1856/(-145))). Solve -23*p + 30 = -x*p for p.
2
Let y be (-5)/15*(-8 - -485). Let v = 163 + y. Solve v*u = 3*u + 4 for u.
4
Let h = -1 + 6. Suppose d = -4*l - 1, 2*d + 10 + 5 = h*l. Let w(b) = b**3 - 3*b**2 - 5*b + 5. Let p be w(4). Solve 0 = -s + l + p for s.
2
Suppose 27*j + j = -4*j. Suppose 3*q + 5*z + 8 = -j*q, q = -z. Let d be 14/((2 - 1)/1). Solve 5*r - d + q = 0 for r.
2
Let f be ((-4)/38 - ((-17)/(-19))/1)*0. Solve f = -3642*u + 3635*u - 49 for u.
-7
Suppose m - 2*k = 7, 4*k = -7 - 1. Let q(s) be the third derivative 