 -5*s + 30 for s.
4
Let o = 21466 - 21462. Solve -o*t + 6*l - 5*l - 3 = 0, -t = -l - 3 for t.
-2
Suppose 7023*l - 10 = 7021*l. Solve y + y = -4*f - 14, -2*f = l*y + 27 for y.
-5
Let r be (-1 - 5)*(120/(-9) - -13). Suppose -j + 126 = 18. Suppose p + 109 = 5*l, -p = 5*l - 3*p - j. Solve 4*o + 35 = -3*a, -l = r*o + a - 7 for o.
-5
Let c(m) = 9*m - 1. Let w be c(2). Suppose -12*f = -w*f + 5. Let y be 270/70 + f/7. Solve -2*d + 4*r - 15 = -1, -y*d - 2*r + 2 = 0 for d.
-1
Let j be 4 + (-3 - -4) + -5. Let i = 14 + j. Solve -4*u + 3*m - i = 0, 4 = -4*m + 12 for u.
-2
Let a = 10792 - 10782. Solve -4*p - a - 2 = 2*w, -16 = 4*p for w.
2
Let f = -3234 + 3239. Solve -o = 2*i - 2, 2*o = f*i - 0*o - 23 for i.
3
Let g be (2/6)/(-18 + 1519/84) + 10. Solve 0 = 4*x + 4*y + 1 - 13, 3*x - 2*y = g for x.
4
Suppose 6*q = 5*q + 30. Suppose 22*b - 28*b + q = 0. Solve -5*x + 5*c = -15, 6*c + 15 = -b*x + c for x.
0
Suppose 0 = 2*r - 5*z - 34 - 84, 0 = -3*r + 5*z + 167. Suppose -7*s - 126 = -r*s. Solve -s*m = -5*o, 9*o = 4*m + 4*o for m.
0
Let s(q) = q**3 + 2*q**2 - 5*q - 1. Let l be s(-2). Solve 0 = -p - 3*r - l, r = -3*p + 5 - 0 for p.
3
Suppose 0 = -2*f - 2*o + 4, 0 = -2*f - 118*o + 114*o + 2. Solve 0 = -d + 5*j - f, -d - 3 = j - 7*j for d.
-3
Suppose 35*s = 54 - 19. Suppose 2*k = 5*u + 14, -s - 11 = -5*k + u. Let v be (2*1)/(6/63). Solve 0 = -4*j - 4*n, k*j - 5*n + 0*n - v = 0 for j.
3
Let n(t) = 11*t + 129. Let v be n(-8). Let g = v - 27. Suppose 0 = 2*k - 0*k - y - 12, -4*y = 16. Solve -g = 2*q + h, 0 = h + k for q.
-5
Suppose 0 = -4*d + 16, -2*y - y = 3*d + 192. Let b = -65 - y. Solve -14 = 2*j - 0*j + 4*p, b*j + 4*p + 11 = 0 for j.
3
Let t be -1*1 + 26/13 + -35. Let k = 38 + t. Solve -k*d - 9 = -h, d - 3 = -6*h + h for h.
1
Let r be (65 - 63) + -3*4/(-6). Solve -4*s + r*v - 8 = 0, -4*s = 37*v - 39*v for s.
2
Let w(n) = 7*n**2 - n - 5. Let g be w(3). Let a = 59 - g. Let f = -1 + a. Solve -4*u = -f*u + 4*o + 9, 2*o + 2 = 0 for u.
-5
Let l = 94 + -83. Suppose 10*g = l*g - 2. Solve 2*a + g*o = -4, 2*o + 0*o + 4 = 0 for a.
0
Let y(k) = -366*k + 9. Let c be y(0). Solve j = a - 6*a - 4, 5*a = 4*j - c for j.
1
Suppose 3*r + r = 5*r. Suppose r = -7*t + 4*t + 12. Suppose c + 18 = -5*k, 3*k + 6 = c - t*c. Solve c*x = -3*b + 3 + 2, 0 = -4*x - 8 for b.
3
Let a be 12*(5/1 - (-14)/(-3)). Suppose -4*c + 4 = -8. Solve c*o + p = 2*p - 4, -a*o = 2*p - 8 for o.
0
Let s(o) be the first derivative of o**3/3 - 5*o**2 - 36*o - 3. Suppose -11*d = 19*d - 390. Let w be s(d). Solve 2*r + 23 = -w*r - j, 3*j + 13 = -r for r.
-4
Let y be 1*(-24)/(-22)*594/81. Solve 32*f + 8 = 33*f - 2*z, 2*z = -y for f.
0
Let n = 88 + -61. Let h = n + -21. Let y(t) = 5*t**2 - 28*t - 8. Let i be y(h). Solve 6*p = i*p - d - 11, p = 5*d for p.
-5
Let j = -15497 - -15502. Solve -5*q + 4*q = -5, j*q = 3*u + 40 for u.
-5
Let c = 547 + -358. Let b = 192 - c. Solve u - 4 = y, b*u = 4*y + u + 6 for y.
1
Let j(t) be the third derivative of t**6/120 - t**5/20 - 11*t**4/24 + 3*t**3/2 - 3*t**2 - 3*t. Let n be j(5). Solve 0 = -s + y, -2 = 3*s - y + n for s.
-3
Suppose -101*h + a = -102*h + 35, -4*a - 75 = -h. Solve -j - h*o + 20 = -47*o, -4*j + 8 = 2*o for j.
4
Let o(z) = -z + 50. Let t(h) = -2*h + 50. Let p(l) = 5*o(l) - 4*t(l). Let q be p(-16). Solve -i + c = -3*c + 5, -1 = i - q*c for i.
3
Let t = 858 - 825. Let r be (21/(-14) + t/18)*6. Solve -3*x + 8*x = 4*z, r*x = -3*z for z.
0
Let i(y) = -y**2 - 32*y + 528. Let p be i(12). Solve 16 = 3*l + 2*s + 3, -4*l - s + 14 = p for l.
3
Let j = -310 - -283. Let u be 5/(10/(-12))*j/162. Solve -4*t - u - 3 = 0, -2*d = 4*t - 2 for d.
3
Suppose -21 = -77*i + 74*i, 4*i = 3*d + 19. Solve -13 = -d*g + 5*u, 4*g - 2*u = -4 - 2 for g.
-4
Let m(h) = -10*h + 26. Let g be m(1). Let t be 30/20 - (-4)/(g/10). Solve t = k + 3, -5*n = -5*k - 15 for n.
4
Let h = -292 + 294. Let c be h*((-156)/(-56) - (-2)/(-7)). Let q = -2 - -4. Solve -4*a + 8 = -4*j, q*j + a = 2*a - c for j.
-3
Let s be 9 - (-9 + 21 - (-2 - -7)). Solve -h = -s*u + 11, 5*u - 41 = 3*h - 11 for h.
-5
Suppose -1 = k, -4 = 19*v - 20*v + 2*k. Solve -14*i + 9*i - 2*p = -15, -5*p = v*i + 15 for i.
5
Let r(d) = -5*d**3 + 2*d**2 + 4*d - 5. Let s be r(-2). Solve -4*k + y + s = 4*y, -2*y = -4*k + 10 for k.
5
Let g be 3/((19/((-1140)/18))/(4/(-10))). Solve 0 = -g*t + 3*d - 5, t + 5*d + 11 = -2*t for t.
-2
Let p = -20628 + 20630. Solve 5*t - 66 = -2*y - 91, 4*t = 2*y - p for t.
-3
Let d = -50 - -53. Suppose -8 = d*q - 7*q. Let o be 4*q/20 + (-252)/(-70). Solve 5*t + 5 = -5*i, -4*i + 1 = -5*i - o*t for i.
-1
Let f = -152 - -305. Let i = f + -151. Solve 5*x + 5 = 5*j - 5, j = i*x for j.
4
Suppose g - 1 = 1. Suppose 0 = -t - 0 + g. Let n = 7682 + -7682. Solve -d - d + t*y = n, -y + 9 = 2*d for d.
3
Let l = 44 - 29. Suppose 2*r = -3*r + l. Suppose -2 = 3*z - 2*g - 12, -12 = -r*z + 3*g. Solve 1 = -z*m - 3, 4*d + 4*m = -4 for d.
1
Let l(g) = 2*g**3 + 4*g**2 + 102*g + 326. Let r be l(-3). Solve y = r*n - 1, -2 = y + y + 3*n for y.
-1
Let s = 123 - 116. Let x(o) = -o**3 + 8*o**2 - 4*o - 18. Let y be x(s). Solve -g - y*m + 9 = -2, 3*g + 4*m - 23 = 0 for g.
5
Let x be (-232)/(-16) + 18/(-12). Suppose -x*i + 184 - 28 = 0. Solve 4*l - i = -b - 5, b + 5 = 0 for l.
3
Suppose 13 = 5*m - 17. Suppose m*d - d = 10. Suppose h = 4 - d. Solve -3*x + x - r = h, 0 = 3*x - 2*r + 10 for x.
-2
Suppose q + 5*f + 65 = 6*q, 0 = -5*q + 3*f + 71. Suppose 5*i + 8 - 23 = 0. Let l(u) = -u + 7. Let c be l(i). Solve -g + 4 = 3*r, c*g - q = 3*r - 5*r for g.
4
Let s = 6947 + -6942. Solve g = 2*l - 11, s*g - 19 = 6*g - 4*l for g.
-3
Suppose -6*i = -2*i - 8. Suppose -i*p + 64 - 56 = 0. Suppose -p*m - 2*c = -110, -c + 103 = 4*m - 6*c. Solve m = -s + 5*o, s + 2*s + 26 = 4*o for s.
-2
Let g be (-9)/(-12)*4 + 18 + 91. Solve -3*k + g = 4*y + 113, k - 3*y = 17 for k.
5
Let a(j) = j**3 + 5*j**2 + j + 11. Let d be a(-7). Let b = d - -103. Solve -3 = -2*k - b, 5*u - 22 = 4*k for u.
2
Let n = -3362 - -3365. Solve -5*w - n*a = -7, 3*w + 3*a + a = 13 for w.
-1
Let f(g) = 2*g**3 - 260*g**2 - 799*g + 135. Let v be f(133). Let u be (-4)/(-6) + (-4)/6. Solve -4*k + 2*x = u, 5*x = v*k - 4*k - 24 for k.
-2
Let l(q) = -8*q + 284. Let o be l(35). Suppose -3*k - 3*n = n - 32, -n + 47 = 4*k. Solve 5*d - o*r + k = 0, 0 + 2 = 2*d - 5*r for d.
-4
Let x(o) = -2*o**3 - 45*o**2 - 8*o - 12. Let w be x(-22). Let j = -317 - w. Solve -5*n = -3*a + 24, -2*a + 3 = 2*a + j*n for a.
3
Let a(n) = -6*n**3 - 60*n**2 - 6*n - 58. Let l be a(-10). Solve -l*d = -5*x + 3 - 18, 0 = x - d + 6 for x.
-1
Suppose 0 = -9*b - 16*b + 50. Suppose 3*o = b*q - 41, -107 = -5*q + 4*o - 15. Solve 3*m - 3*l - 4 = -7, 5*l + q = -2*m for m.
-3
Let m(u) = -2*u**3 - 32*u**2 - 27*u + 48. Let i be m(-15). Solve -10*l + 11 = -5*l - i*t, -4*l + 12 = -4*t for l.
1
Suppose 3*h = 2*p - 20, 5*h - 2 + 30 = 2*p. Let v be (0 + 6/4)*(h - -2). Let s = v + 5. Solve s*n - 2*u + 1 = -1, 13 = -5*n + 3*u for n.
-5
Let z(u) = 2 + 15 + 2*u**2 + 18*u + 12 + 22 - 11. Let g be z(-5). Solve 4*o + 4*v = -g*v + 4, -3*o + 5 = 4*v for o.
-1
Let l = -87944 + 87949. Let m be ((-4)/(-2))/(-2)*-8. Solve -3*o + 5*h = -13, -3*o = -m*o + 3*h - l for o.
-4
Let k(i) = 4*i + 35. Suppose 0 = -3*p + 9*p + 48. Let o be k(p). Solve -3*g + o = -7*l + 4*l, -3*g - 2*l + 13 = 0 for g.
3
Let l be (-33)/(-33)*0/2. Solve 12 = 2*w - 2*k, l = w - 46*k + 41*k - 26 for w.
1
Suppose -79*i = -60*i - 57. Let h(d) = 5*d**2 - 15*d + 4. Let v be h(i). Solve y - x = 1, y + v*x + 9 = -0*y for y.
-1
Let u(h) = -h**3 - 8*h**2 + 29*h - 2. Let b be u(-11). Suppose 0 = -8*v + b - 26. Solve 5*m + i = -0*i + 16, 4*m = v*i + 24 for m.
4
Suppose -65*x = 2*q - 69*x - 68, -q = x - 46. Solve -2*s = 5*n + 5, -37*s + q*s = -n + 22 for n.
-3
Let d(l) = 6*l**2 + 21*l - 16*l**2 + 6*l**2 - 1 + 2*l**2. Let g be d(10). Solve o + 2*o - g = 3*m, -m + 27 = 5*o for o.
5
Suppose 3*s = -v + 3*v - 6, 189*s = 186*s. Solve -5*r - 10 = -2*a + v, 3*r = -2*a + 5 for r.
-1
Let c(b) be the first derivative of 2*b**3/3 + 38*b**2 - 74*b + 239. Let j be c(-39). Solve 0*m - 3*p - 4 = -2*m, -5*p = -j*m + 6 for m.
-1
Suppose -111*o - 16 = -571. Solve q + 15 = o*c, 3*c - 4*c + 5*q = 21 for c.
4
Let v be 81/3 - -2*(4 - 3). Suppose 2*o + 4*h = h + v, -o = -h - 22. Solve -2*l = -j - l + 2, o = 5*j - 2*l for j.
5
Suppose -3*x - 2*u + 19 = 0, 