- z = 0. Suppose -4*t = 5*y - 9*t - a, -y - t + 1 = 0. Solve -8*n + y*n + 15 = 0 for n.
5
Suppose v + 10 = 3*j - 3, 5*v + 21 = 4*j. Suppose -d - 4*k + 20 = 0, -d - 3*k + 20 = -j*k. Solve -19*x - d = -15*x for x.
-5
Let l = -174 - -180. Let p(g) = -13*g + 79. Let t be p(l). Solve -9 = -5*b + t for b.
2
Let y be (1/(-2))/(2/(-12)). Let b be (((-4)/(-3))/(-2))/((-16)/600). Suppose 20*x - b = 15. Solve 4 = x*i - y*i for i.
-4
Suppose 4*a - 3*c = 18, 2*a - 12 = -2*c + 5*c. Suppose -p + 4*u + 26 = 0, -5*p + 45 = -6*u + a*u. Solve p = -0*i - 3*i for i.
-2
Let h = 19 - -13. Suppose -3*x + 4*f + 20 = -2*x, 5*x - 2*f - 172 = 0. Solve 0 = -x*p + h*p - 16 for p.
-4
Let d be (-206)/(-2) + (0 + 1)*3. Let p = 108 - d. Solve p*l - 4*l = -8 for l.
4
Let b(u) be the third derivative of -13*u**4/24 + 3*u**3 + 37*u**2 + 3*u. Let l be b(1). Solve -2*q + l - 1 = 0 for q.
2
Suppose -3*v - 202*o + 200*o = -87, 9*o - 4 = 2*v. Solve v*n - 69*n = 176 for n.
-4
Let r(q) = -149*q - 149. Let x be r(-1). Solve 254*s - 259*s - 25 = x for s.
-5
Let j = -37876 - -37969. Solve 31 - j = -31*d for d.
2
Suppose 4*w + 24*h - 160 = 20*h, 2*w = h + 74. Solve -w - 22 = -20*g for g.
3
Let j be ((-1)/(-4))/(18/504). Let y(c) = -c + 13. Let n be y(12). Let w be n/((-10)/(-8) - (0 + 1)). Solve -w*u - j - 5 = 0 for u.
-3
Suppose -5*t = -4*z - 24, -4*z + 2*t - 4 = 8. Let d be (-612)/162 - (z + 22/18). Let s be (-1)/(2/((-24)/d)) - -3. Solve s*i + 2 = i for i.
2
Suppose -130*g - 14 = -137*g. Suppose 4*l - 5*b = 3 + 74, -g*l - 4*b = -32. Solve -5*t + 13 = l for t.
-1
Let v = -23 + 103. Let z = 84 - v. Solve -d - 2 = -z for d.
2
Let l(g) = g**3 + 36*g**2 + 34*g - 28. Let s be l(-35). Suppose -s*k + 21 = 7. Solve -k*u - 2 - 8 = 0 for u.
-5
Let q = 24 + -22. Suppose 0 = q*m + m - m. Suppose m = -4*t + 7 + 5. Solve d - t = 2 for d.
5
Suppose 0*l - 45 = -l. Suppose -l*g + 49*g - 12 = 0. Solve 0 = 4*u - u + g for u.
-1
Let h(s) = -s**3 - 20*s**2 - 20*s - 8. Let m be h(-19). Solve 7 = -m*k - 4 for k.
-1
Let h be (4 + (-55)/15)*9. Suppose b + m - h = 1, -b + 4*m = -14. Suppose -24*s + 22*s = -b. Solve s = -3*a - 3 for a.
-2
Let v(f) = -f**3 - 17*f**2 - 29*f + 33. Suppose s = 171 - 186. Let u be v(s). Solve 8*w - u = -2 for w.
2
Suppose 0 = 2*y - 2*g - 14, 9*y - 5*g - 5 = 10*y. Suppose 18*o - y = 17*o. Solve o*i = 3*i for i.
0
Let m be 4/10 - (-534)/(-10). Let a = -400 - -345. Let q = m - a. Solve 3*g = -q*g - 20 for g.
-4
Let l = 1565 + -1193. Solve 200 = l*z - 397*z for z.
-8
Let f(k) = -k**3 + 3*k**2 + 3*k - 4. Let y be f(5). Let l = -904 - -963. Let t = y + l. Solve -t = s - 5*s for s.
5
Let y(z) = z**3 + 2*z**2 - z - 615. Let x be y(0). Let f be x/(-45) - (-2 - 10/(-6)). Solve -f*o + 17*o = 0 for o.
0
Suppose -62*p - 32*p = -5*p - 8010. Solve p = -44*q + 2 for q.
-2
Let i be -1 + 4*1 + 0. Let p(z) = z**3 - 16*z**2 - z + 19. Let g be p(16). Suppose 6 = g*m - 3*c, -3*m - c + 4 = 2*m. Solve -2 - m = -i*f for f.
1
Let k(c) = -c**3 - 6*c**2 + 7*c + 5. Let p be k(-8). Let u = 83 - p. Suppose u*v + 4*v - 10 = 0. Solve 0*h + h = v for h.
1
Let p = -2182 + 3107. Solve -907 = 3*i - p for i.
6
Let o be (-6)/3*(-2)/(-4). Let u be 1085/(-21) - o/(-3). Let b = u - -57. Solve 13 + 2 = -b*l for l.
-3
Let a(w) = -122*w + 35. Let q be a(-2). Let z = 297 - q. Solve 9*y + z = 15*y for y.
3
Let j(k) be the third derivative of -1/12*k**4 + 0 + 0*k - 16*k**2 + 13/3*k**3. Let f be j(13). Solve -n + f = -2 for n.
2
Suppose 271*q = -959*q + 11070. Let v be (-2)/4 + (-6)/(-4). Solve -v - q = 5*o for o.
-2
Let c = 30 + -14. Suppose -16*p + 112 = c. Suppose 2*v = p*v + 4*r - 8, 4 = -4*r. Solve 0 = v*n + 2 + 10 for n.
-4
Let r(f) = 27*f + f - 15*f - 10 + 22*f. Let g be r(5). Let p be (2/(-6))/((-11)/g). Solve -p*z - 9 + 24 = 0 for z.
3
Let i(y) = -2*y**3 - 202*y**2 - 203*y - 269. Let f be i(-100). Solve -8*l - 15*l = -f*l for l.
0
Let x(q) = q**2 + 0*q**2 + 15 + 16*q - 2 + 19. Let l be x(-14). Suppose l*h - 4 = 3*h. Solve 6*v = h*v for v.
0
Let s(n) = n + 1. Let h(t) = t**3 + 18*t**2 + 17*t + 2. Let f be h(-17). Let u be s(f). Solve -u = p - 0 for p.
-3
Let z(l) = l**2 - 2*l + 24. Let k be z(0). Let x be ((-16)/k)/(2/(-3)). Let j be (0/(4/x))/(-3). Solve 2*w = -j*w + 2 for w.
1
Suppose f + 4*k = 20, 3*k + 2 = -4*f + 17. Let h(z) be the first derivative of z**4/4 - 3*z**3 + 9*z**2/2 - 8*z - 2. Let n be h(8). Solve -5*q + n*q = f for q.
0
Let p(s) = -s**2 - 11*s + 16. Let k be p(-11). Let t = 7 + -4. Suppose 10 = -t*u + k. Solve u*f = 7 - 1 for f.
3
Suppose -5*o - 45 = -120. Suppose -77 - 73 = -o*j. Solve j + 6 = -4*z for z.
-4
Let f(t) = t**3 - 12*t**2 - 59*t - 59. Let g be f(16). Solve g = -13*j + 8 for j.
-1
Let d(q) = q**2 - 12*q + 45. Let n be d(5). Solve n*t = 28 - 8 for t.
2
Let g = 9587 + -9502. Solve -64 = -21*k + g*k for k.
-1
Let h = 81 - -45. Let m be (180/h)/(((-8)/14)/(-2)). Suppose -m*b + 10*b = -3*p + 41, 0 = 4*b + 2*p - 34. Solve -b*n = -6*n for n.
0
Suppose 14*n - 41 - 155 = 0. Suppose -9 = -3*j - 0*j. Let s = n + j. Solve 2 = -5*g + s for g.
3
Let k = -5992 - -5933. Let q(c) = -15*c + 3. Let l be q(-4). Let a = k + l. Solve -2 = -2*r - a for r.
-1
Let o = -39625 - -39866. Solve -15*x = 181 - o for x.
4
Let b(k) = -k**3 - 5*k**2 - 3*k + 15. Let z be b(-4). Suppose 13 = u + z. Solve -5*w = -3 - u for w.
1
Let g = -24 + 73. Suppose -5*u + g + 26 = 0. Suppose 0 = 7*q - 12*q + u. Solve 1 = q*z + 10 for z.
-3
Let w be (-9868)/(-18) + (-188)/846. Solve w = -78*t - 76 for t.
-8
Let w(m) = 656*m - 1945. Let l be w(3). Solve l*y = 14*y for y.
0
Let a(l) = -l**3 - 3*l**2 + 4. Let h be a(0). Solve h*i - 35 + 15 = 0 for i.
5
Suppose -5*r + 123 = 3*k, k = r + 25 + 8. Let b(w) = -10*w + 385. Let h be b(38). Suppose -l - h*l + k = 0. Solve l*z = z for z.
0
Suppose f - 63 = p, 2*f = -0*f - 2*p + 114. Suppose -f + 55 = 5*m, 0 = 5*a + m - 14. Let g(l) = 3*l**2 - l - 1. Let y be g(-1). Solve -y*o + a = -6*o for o.
-1
Let z be 6 - 1 - 24/(-4). Let n be 1/2 - (z - (-871)/(-26)). Solve -3*d = n - 8 for d.
-5
Let m be (4 + -28 + 2)/(-2 + 1). Suppose -19*d = -3*h - 17*d + m, 10 = 3*h - 5*d. Solve 3*c - 21 = h*c for c.
-3
Let k(p) = -2*p**3 - 21*p**2 - 49*p + 12. Let y be k(-7). Solve y = -62*c + 59*c for c.
-4
Suppose -116*s + 100*s + 960 = 0. Let t be (s/(-45))/(4/(-6)). Solve -10 = t*v - 18 for v.
4
Let z = -153 + 161. Solve 7*r - 15*r = -z for r.
1
Suppose -4*c = 4*y - 28, 2*y + 0 - 6 = 0. Let l be (-320)/(-6) - ((-10)/(-3) - c). Let n = l + -50. Solve -n*o = 7 + 5 for o.
-3
Let n be 4/18 - (-215)/45. Let l = 1 - -9. Suppose -4*h + 40 = 4*h. Solve -n*d + h = -l for d.
3
Suppose z + 118 = 5*h, -20 - 46 = -3*h - z. Let b = -20 + h. Solve 0 = -3*m - b for m.
-1
Let c = -130 - -132. Suppose c*x - x = 4. Solve 7*n - x*n - 9 = 0 for n.
3
Suppose -2*y - d - 631 = 0, -d + 2 = 5. Let i = -295 - y. Solve 16*s - i*s = -6 for s.
2
Let b be 1*-28*(-2)/(-1). Let i(f) = -9*f + 33. Let r be i(8). Let u = r - b. Solve 0 = 5*k + 3 + u for k.
-4
Suppose -2*r + 26 = 6*z - 4*z, 0 = -2*r - z + 28. Suppose 4*b - 490 = 2*l, 3*l + r = -0*l. Let q = b - 118. Solve -5*p + 18 = -q for p.
4
Suppose 8 - 6 = -h. Let x be (-2 + 0)*(-1)/h*-3. Suppose 5 = 2*j - 3*y, -x = -4*j + y + 12. Solve 0 = -j*z - 6 - 10 for z.
-4
Suppose -2*l - 6*t = -t - 81, -t + 135 = 4*l. Suppose 0 = 4*f + 5 - l. Solve f + 5 = -4*y for y.
-3
Let k(z) = 3*z - 24. Let j be k(10). Let a be 0 - (-9)/(-3 + j). Solve -10*o + 21 = -a*o for o.
3
Let q = 1785 + -1785. Solve q = 5*r + 126 - 121 for r.
-1
Let x(m) = 14*m - 48. Let z be x(4). Suppose 2*y + 2*d - 16 = 6*d, 0 = -y - 2*d - z. Solve -20 = -4*t - y*t for t.
5
Let l = 288 - 292. Let k be l/2*(25/10 + -4). Solve -k + 1 = j for j.
-2
Let l = -208 - -76. Let h = l - -132. Solve h*t - 1 = -t for t.
1
Suppose 10*j - 20 = 313 + 17. Solve 30*l = j*l for l.
0
Let m be (-4 + 65/15)*-147. Let x = m + 59. Solve h + x = -h for h.
-5
Suppose 2*s = -s - 39. Let k = s + 13. Solve -3*o + 3 = -k*o for o.
1
Suppose -137*i - 561 = -1744 - 12517. Solve -12 = -28*o + i for o.
4
Let o(w) = -141*w + 1141. Let h be o(8). Solve 0 = -2*d + 19 - h for d.
3
Let k = -5294 + 5344. Solve -6 - k = -28*h for h.
2
Let m be (1/(-4))/((-235)/(-40) - 6). Let g be (m*98/(-4))/((-14)/(-28)). Let u = 102 + g. Solve u = -3*r + 1 for r.
-1
Let o be 1/(-1) + 10 + 0/53. Let y(h