-l*s = -33 - 22 for s.
5
Let c(m) be the third derivative of m**6/120 + 2*m**5/15 + m**4/24 + 17*m**3/6 + 73*m**2. Let w be c(-8). Solve -10 = -w*t - t for t.
1
Let t be -22 + (5 + -17)/(-3). Let f be 5/3 + 12/t. Solve f = -2*z - 9 for z.
-5
Let c = -60 + 78. Suppose -5*p + 12 + c = 0. Suppose 4*r + 3 - 1 = -5*j, 0 = 3*j + p. Solve 3*f = r + 4 for f.
2
Let u be 26/325 - (-98)/25. Let d be 3*(-3 - 21/(-9)). Let f be 0*d/(-12)*3. Solve -u = -f*t + t for t.
-4
Let w = 217 + -111. Let a = 108 - w. Solve 5*h - 18 = a for h.
4
Let o = 913 + -1284. Let t = o + 373. Solve 0 = -6*j + t*j + 20 for j.
5
Let a(f) = -84*f - 2931. Let v be a(-35). Solve -v = -0*y - 3*y for y.
3
Let l be (-243)/(-108)*32/6. Suppose l = -3*b - 5*t, 10*b - 5*b = 4*t + 17. Solve 3*a = 13 - b for a.
4
Let f(a) = a + 26. Let z be f(-21). Suppose 0 = -b - 2, 4*i - 3*b - 12 = -z*b. Solve -5*x - 6 - i = 0 for x.
-2
Let m(d) = 2*d**2 - 9*d - 8. Let q be m(-1). Suppose -q*y + 233 + 4 = 0. Let u = -74 + y. Solve j + 4*j + u = 0 for j.
-1
Let f(w) = 2*w**2 + 15*w + 3. Let b be f(-7). Let z be ((-18)/b)/((-3)/(-6)). Let i(y) = y**2 - 8*y + 12. Let r be i(7). Solve r*s = 2*s - z for s.
-3
Let t(f) = -2*f - 8. Let p(b) = -1. Let j(i) = -6*p(i) + t(i). Let x be j(-2). Suppose -3*s - 4*c = -5*c - 4, -x*s + 16 = 2*c. Solve -s*q - 4 = 8 for q.
-4
Let p = -11 + 18. Let s(v) be the third derivative of -v**4/12 + 7*v**3/3 + 26*v**2 + 6*v. Let n be s(p). Solve -3*x + n = 3 for x.
-1
Let j(q) = -19*q + 3. Let y be j(-7). Suppose 0 + 2 = h, -2*z - 4*h + y = 0. Let c be 4/(-6)*(-96)/z. Solve -d = -c - 1 for d.
2
Let p(u) = u**2 - 22*u + 43. Let x be 6 + 6 + (-20)/2. Let q be p(x). Solve q = -22*o + 25*o for o.
1
Let n(v) be the first derivative of -22*v**2 + 313*v + 19. Let x be n(7). Solve 0 = x*i - 160 + 160 for i.
0
Let r(u) = 15*u**3 - 10*u**2 - 9*u + 4. Let l be r(-2). Let h = l - -142. Solve 4*b + h = -12 for b.
-4
Let f(h) = h**2 + 9*h - 23. Let z be f(-11). Let s be (z - -4) + ((-28)/(-4) - 4). Suppose 150*r - s = 144*r. Solve -8 = 3*i + r for i.
-3
Let j be 12/9 - (-1)/((-6)/(-496)). Suppose -12*m + j = -0*m. Solve -9 = 4*x + m for x.
-4
Suppose 21*v - 38080 = 31825 + 7627. Solve -v = 6*t - 3734 for t.
7
Suppose 5*x = -3*h + 31, 4*x - 28 = -h - 6. Suppose -3*v = -h*z - 8, 5*v - 5*z - 20 = -0. Solve v = c - 1 + 5 for c.
-4
Let o be -9*3/(-9) + -168. Let y = o + 168. Suppose 0 = 12*f - 17*f. Solve -2*h + y*h + 1 = f for h.
-1
Suppose g + 3*g = -3*z + 94, 5*g = 20. Solve 13*b + 91 = z for b.
-5
Let d(x) = -4*x**3 + 115*x**2 - 84*x + 115. Let k be d(28). Solve 235*u - 258*u = k for u.
-5
Let f be 129 - (1 - -14)*-1*1/3. Solve -4 = 65*h - f for h.
2
Let h(c) = c**3 - 6*c**2 - 14*c + 133. Let d be h(6). Solve -15*i - 34*i + d = 0 for i.
1
Suppose -471 = -37*y + 124 + 145. Solve 65 + y = 17*c for c.
5
Let i(y) = -9*y - 56. Let o be i(-7). Let f be -4 + -1 + 2/(-1) + o. Solve 3*v = -f + 12 for v.
4
Let i be (42/(-49) - (-3 + 2958/(-21))) + 5. Solve 0 = -10*z + 98 - i for z.
-5
Let b be (0 + 2)*5/(-2) + 188. Suppose -b + 139 = -11*o. Solve -c - c = -o for c.
2
Suppose -234 = -13*r - 104. Solve 0 = -r*z - 6*z for z.
0
Let k be (-2)/(2 - 107/54). Let p = -2571 - -2463. Let a = k - p. Solve -u = -a + 2 for u.
-2
Suppose 5*a = -3*n + n, -a = -4*n + 22. Let j(l) = l - 9. Let q be j(8). Let u be -3*(q + a + 2). Solve -u*o + o = -10 for o.
5
Suppose 2*x = 4*d + 22, -x + 24 - 11 = -4*d. Solve x*o + 73 = 55 for o.
-2
Let z = 44 + -6. Suppose -1354*h + 677*h + 684*h - 28 = 0. Solve -z + 42 = -h*s for s.
-1
Let f(p) be the third derivative of -3/2*p**3 - 4/3*p**4 + 30*p**2 + 0*p + 0. Let y be f(-1). Solve 4*m - 3 = -y for m.
-5
Suppose 0 = 3*y - 4*h - 17, 2*y + 4*h + 80 = 78. Suppose 2*z - 5*g - 15 = 0, 0*z = 4*z + 3*g + 9. Solve z = x - y + 5 for x.
-2
Let w be (-15 - 93/(-6))/((-1)/908). Let v be (-8)/60 - w/30. Solve -11*f - v = -37 for f.
2
Let y(b) = -4*b**3 - 4*b**2 + 20*b + 62. Let o be y(-3). Suppose -o*h = -69*h - 40. Solve 11*f - 15 = h*f for f.
5
Let i be (5*12/(-9) - -4)*-3. Suppose 0 = i*a - 5*a - 5*q - 14, -3*a = 2*q - 7. Solve -71 = a*g - 77 for g.
2
Suppose -458 = -13*j - 146. Let x = -9 - -13. Solve -4*q - x + j = 0 for q.
5
Suppose -2*g + 12 = 0, 3129 + 1585 = 5*j + 4*g. Solve -j = -8*b - 898 for b.
5
Let l(a) = a**2 - 2*a. Suppose 3 + 0 = 5*r + 4*p, 8 = -4*r + 2*p. Let n be l(r). Suppose 0 = n*y - 12, t + 7 = 6*t - 2*y. Solve -t*s + 5 = -10 for s.
5
Let y(n) = 50*n - 3026. Let k be y(65). Solve 12 = -k*l + 228*l for l.
3
Let x be (30/25)/((-1)/20*3). Let k be x - -12 - (-3)/(-3). Solve k*g + 7 - 10 = 0 for g.
1
Suppose -173 = 16*r - 448 - 237. Solve -r*m + 0*m - m = 0 for m.
0
Suppose 0*y - 9 = -3*y - 2*o, 4*o = 4*y - 32. Suppose -y*c = -8*c. Suppose -a = 2*w - 6, 3*a = 3*w + 75 - 30. Solve -3*u = -c*u + a for u.
-4
Let z = 1130 + -1127. Let t be -2 + 6*4/6. Suppose -4 = -3*f + t*f. Solve f*r = z*r for r.
0
Suppose -69*r = -58*r - 88. Suppose -10 = 6*y - r*y. Solve f + 8*f = y*f for f.
0
Let o(l) = -7*l + 68. Let u be o(8). Let q(h) = 2*h**3 - 26*h**2 + 22*h + 25. Let g be q(u). Solve -6*t - 5 = g for t.
-1
Let h(f) = -f**3 - 2*f**2 - f. Let c be h(-2). Let k(u) = 4 + 0*u - 19*u**2 - c*u + 22*u**2. Let x be k(0). Solve -x*j = -j for j.
0
Suppose 0 = -w + 3*y - 387, -4*y = -19 - 1. Let z = 415 + w. Solve 48 = -5*o + z for o.
-1
Let t(x) = -3*x - 56. Let a(n) = -7*n**2 - n - 4. Let k be a(-2). Let h be t(k). Suppose 5*f - 5*w - 55 = 0, -4*f + 6*w + h = 4*w. Solve f = -d - d for d.
-3
Suppose 77*b - 82*b + 40 = 0. Let o be 1 + (2 - 0) - 528/(-88). Solve -o = g - b for g.
-1
Let x = -142 - -147. Let k = 9 - x. Solve -3*t = -k*t - 3 for t.
-3
Let b be (-20)/(-4) + (-5 + 0 - -5). Suppose b*j - 88 = -4*i - 25, 0 = -5*j - 3*i + 61. Solve 4*t - 7 = -j for t.
-1
Suppose 2*h = -4*h + 864. Let d = -141 + h. Solve b + 2 = d for b.
1
Let m(r) = r**2 - 5*r - 30. Let p be m(7). Suppose -3*v + 56 = 8. Let s = p + v. Solve s = 2*l - 0*l for l.
0
Let i be ((-24)/12 - -1) + 6. Let j = 13 + -8. Suppose 22 = 4*o + 2*g - 5*g, -j*g = 5*o - 10. Solve 0 = -o*x + i*x + 1 for x.
-1
Suppose -19*p + 24*p = 40. Suppose b + p = 11. Solve 2*r - 10 = -b*r for r.
2
Let x = -575 + 584. Suppose -132 = -x*i - 78. Solve i + 2 = 8*f for f.
1
Suppose -7*p + 6 = -22. Suppose -k = -4*o - 8, 5*k + 4*o + 2 = 3*o. Solve p*f + 15 + 1 = k for f.
-4
Suppose 4*y = 3*q - 0 - 29, 2*q + 5*y = -19. Suppose a + a = -2, 4 = q*m - 4*a. Solve 2*o = -m*o for o.
0
Let i = 41 + 7. Let q(h) = -2*h**2 - 10*h. Let k be q(-8). Let d = i + k. Solve 3*b + 15 = -d*b for b.
-5
Let q(j) = j**3 - 2*j - 3. Let l be q(3). Suppose -17*s = -l*s - 4. Let x(g) = -g**2 - 4*g + 3. Let a be x(s). Solve a = 4*o - 9 for o.
3
Suppose -77 + 77 = 4*p. Suppose 2*b + 1 + 3 = 0, p = 3*w - 2*b - 31. Let q be (12/w)/((1/(-3))/(-1)). Solve q = -2*s - 6 for s.
-5
Suppose -128*q - 17850 = -41*q - 55869. Solve 51*c + q - 29 = 0 for c.
-8
Let i(x) = -x**2 - 7*x - 2. Let g be i(-6). Suppose -3837 - 5419 = 13*p. Let a = p + 720. Solve 2*z = g*z + a for z.
-4
Let j be (-76)/95 - 72/(-15). Suppose -j*m + 4*m = -5*m. Suppose -21 - 14 = -5*h. Solve -h*z + 3*z + 12 = m for z.
3
Let s(f) = -f + 40. Let t(r) = -4*r + 120. Let u(i) = 8*s(i) - 3*t(i). Let a be u(15). Suppose -4*g + 5*y + 13 = -7, 3*y + a = 4*g. Solve x = g*x + 16 for x.
-4
Suppose -3*p + 3*n - n = 895, -5*p - 3*n = 1460. Let y = p + 300. Let j(c) = -c**2 - 4*c + 4. Let k be j(-4). Solve -l = k*l + y for l.
-1
Let g = -81 - -47. Let d be 6 + g/10 + 2/5. Suppose -c - 4*b = -b + 3, d*b + 9 = c. Solve c = f + 5 for f.
-2
Suppose -m - 7 = 2*d, 2*d + 0*d + 3 = 3*m. Let n be d/(-2 + 1) + -1. Suppose 5*x + 2*c - 31 = 5*c, 3*c = -3*x + 9. Solve -x*r - 18 = n for r.
-4
Suppose -7*z + 8 = -3*z. Suppose 0 = 106*s - 111*s + 145. Let v = s + -29. Solve 3*y + z*y = v for y.
0
Let h(y) = 37*y + 4035. Let s be h(-103). Solve 21*o + 350 = s for o.
-6
Let t(g) = 8*g + 56. Let x be t(-7). Solve x = -251*y + 252*y for y.
0
Suppose -g + j + 2 = 0, 4*j = g - 0*g + 10. Suppose 83*b = 2*t + 78*b - 10, -3*t + 5*b + 10 = 0. Solve t = -g*l - 0 - 30 for l.
-5
Let c(m) = m**2 - 6*m + 12. Let t be c(4). Suppose 3*y - 5 = -o + 2, -t*y = -4*o - 36. Solve 9 - 29 = y*l for l.
-5
Let z = -32 + 45. Suppose -41*n + 40*n + 241 = 0. Let p = n - 238. Solve -p*i + z