 y be -10 + u/((-14)/(-4)). Let b = y - -20. Solve 4*w + b = -0*w for w.
-2
Let i = 1384 - 1336. Solve -32*l = -i - 48 for l.
3
Let v(t) be the third derivative of t**4/6 + 11*t**3/6 - 7*t**2. Let h be v(6). Suppose 3*q = h + 1. Solve c + q = -3*c for c.
-3
Let g = -1571 + 1608. Solve -36 = -q - g for q.
-1
Let d = 36 - 30. Let w(s) = -s**2 + 10*s - 14. Let v be w(d). Solve v + 2 = -3*b for b.
-4
Suppose 5*p - 5*y - 75 = 0, -28 + 83 = 4*p - 5*y. Solve 3*i - 7*i - p = 0 for i.
-5
Suppose -3 = -5*z + 5*t + 2, -2*z - 8 = 3*t. Let l be 2 - (-2)/(2 + z). Let n = l + 0. Solve -n*f = f for f.
0
Let f(z) = 15*z**2 - z + 5. Let g(y) = 7*y**2 - y + 2. Let r(t) = 6*f(t) - 13*g(t). Let p be r(7). Solve -k + 10 = p*k for k.
2
Suppose 2*v + 3*i = -47 + 55, 0 = v - 5*i - 17. Solve 5 = -v*b - 2 for b.
-1
Let t(w) = -2*w**2 + 16*w - 26. Let r be t(4). Let m be 0 + 2 + 0 - -23. Solve n = r*n - m for n.
5
Let d = 1369 - 1369. Solve d = 85*g - 91*g for g.
0
Let q(s) = 2*s**2 - 29*s + 8. Let k(p) = -p**2 + 14*p - 4. Let w(a) = -5*k(a) - 2*q(a). Let d be w(12). Suppose 0 = -5*n + 7*n - d. Solve -n*z + 20 = 3*z for z.
4
Let n be 3/(-3 - 27/(-12)). Let o be -1*(-15 - (n - -1)). Solve -6*i + 2*i = -o for i.
3
Let a be ((-9)/6 - -2)*-2. Let x be 12 - -3 - (3 - 1). Let q be x/7 + a/(-7). Solve -q = 5*n - 3*n for n.
-1
Let g(z) = z**3 - 2*z**2 + 2. Suppose 3*u - 2*s = 10, 5 + 1 = -3*s. Let o be g(u). Solve -6*b = -o*b - 20 for b.
5
Let u(s) = -6*s**3 - 2*s**2 - 4*s - 1. Let q be u(-1). Solve q*d - 8*d = 0 for d.
0
Let v(w) = -w - 5. Let x be v(-8). Let u(f) = -f**2 + 8*f - 7. Let z be u(x). Solve -z = -q - q for q.
4
Suppose -5*m - t - 8 = 0, 14 = -m - m - 4*t. Let z = 2 - m. Let a(b) = b**3 - 2*b + 1. Let c be a(1). Solve -x = z - c for x.
-3
Let u = 1724 - 1701. Solve 0 = -3*a - u + 14 for a.
-3
Let k be (-45)/(-25)*(-20)/(-6). Suppose -q - q = -k. Solve 0 = -o - 2*o + q for o.
1
Let g be ((-16)/(-10))/(12/210). Suppose -3*o = v - 57, 0 = -3*o - 2*v + 32 + g. Let l = o + -18. Solve -c + l = 2 for c.
-2
Let o = 62 + -58. Let k be (0 - 3)/3 + 7. Suppose -o*q - 12 = -3*t, 0 = -0*t + t + 2*q + k. Solve -2*c = -t*c - 6 for c.
3
Let r(w) = -w - 7. Let s be r(-10). Suppose 0 = s*b - 18 - 27. Let i(x) = -2*x**3 + x**2 - 2*x - 2. Let a be i(-1). Solve 0 = a*k - 0*k - b for k.
5
Let m be (10/(-3) + 2)*-3. Suppose -5*f + m*j - 2 = 3, 4*j - 11 = 3*f. Solve f*s = 5 + 4 for s.
3
Suppose -5*g + 7*g - 8 = 0. Suppose 60 = -7*b + g*b. Let d = b + 20. Solve d*j + j = 4 for j.
4
Suppose 5*g = -2*s + 793, s - 620 = -4*g + 3*s. Let w = g + -153. Solve w = -j + 6 for j.
2
Let t(v) = -v**3 - 10*v**2 - 4*v - 32. Let j be t(-10). Let b be (j/6)/((-22)/(-297)). Solve 4*g - b = 2 for g.
5
Let s(w) = w + 3. Let x(u) = -2*u - 4. Let n(b) = 6*s(b) + 5*x(b). Let r be n(-2). Solve 3*q = -0*q + r for q.
2
Suppose 5*k - 32 = 3*x, -x + 24 - 8 = 5*k. Let h(z) = -3*z**3 + 59*z**2 - 38*z + 5. Let u be h(19). Suppose -2 = 3*d - 17. Solve k*o - u = d*o for o.
-5
Suppose -17*s + 13*s = -84. Solve -7*i = s + 7 for i.
-4
Let y be 14/(-91) + (-342)/(-26). Solve -h = -15 + y for h.
2
Suppose -2*i = 15*i + 6*i. Let t be (2/(-2) - -1)*1. Let g(d) = -d + 6. Let m be g(t). Solve i = -4*p + 2*p + m for p.
3
Let a be ((-30)/(-33))/(176/968). Solve 0 = a*w - 27 + 2 for w.
5
Let m(s) = -s**2 + 2*s + 123. Let j be m(-10). Solve -j = 9*x - 3 for x.
0
Let m(f) = 8*f**2 + f - 2. Let n be m(1). Let s be 13 + -14 - (-1 - n). Suppose s = 4*i + 4*a - 5, -2*a + 6 = i. Solve 10 = -2*q - i*q for q.
-5
Let v = -1336 + 1339. Solve 0 = -4*c + 5*c - v for c.
3
Suppose 2*u = -3*a + 1, -3*u - a + 5 = -0. Solve 0 = -4*r + u*r + 2 for r.
1
Let k = -581 - -593. Solve -30*n + 34*n = k for n.
3
Let a(s) be the second derivative of -s**5/20 + s**4/12 + s**3/6 + s**2/2 + 4*s. Let x be a(0). Suppose n = 3 + x. Solve 0 = 4*z - n for z.
1
Let s = 8 + -13. Let u(f) = f + 11. Let p be u(s). Suppose 0 = 5*w - 0*w + 3*k + 2, -p = -5*w - k. Solve w*m = -m + 12 for m.
4
Let m(w) = w**2 - 1. Let l(n) = n**3 + 5*n**2 + 6*n + 15. Let x(y) = l(y) + 2*m(y). Let i be x(-6). Solve -2*r + i - 5 = 0 for r.
4
Suppose 3*q + 4*t = -3 - 3, q = -t - 1. Let x be (1 - -1) + 0/q. Solve 0 = x*p - p + 2 for p.
-2
Let v(u) = -u**2 - 5*u + 8. Let j be v(-6). Let i(n) = -n**3 + 3*n**2 + 11*n - 5. Let t be i(5). Solve t = -j*l - 0*l - 6 for l.
-3
Let u = 748 - 740. Suppose -4*z + 5*o - 4 = 0, -z - 2*o + 8 = -o. Solve -u*d + z*d + 4 = 0 for d.
1
Let q = 1183 + -1181. Solve 2*l = -q*l - l for l.
0
Suppose 2 = -2*d, -4*d - 3 = 3*h + 1. Suppose x = -6*q + 2*q + 12, -4*q + 12 = -x. Suppose -q*b = -15 + 6. Solve h = -5*n + 4*n - b for n.
-3
Suppose 52 = 18*y - 14*y. Solve 10*a + 12 = y*a for a.
4
Let u(k) = k**3 + 27*k**2 + 48*k - 50. Let t be u(-25). Solve t = 23*c - 21*c - 4 for c.
2
Let w = 78 + -189. Let c = 126 + w. Solve c = -3*t + 6*t for t.
5
Suppose -913*m + 918*m = 5. Solve 7*z + m = 8*z for z.
1
Let j = -7 + 11. Let h be (2/(-6))/(6/(-54)). Suppose -c + 48 = h*k + 2*c, 3*k + 2*c = 44. Solve k = u - j*u for u.
-4
Suppose -5*d - 5 = 5*h, -4*d + d + 1 = -h. Suppose r = 4*x - d - 9, -2*x = -2*r. Solve -3*w + 0 = x for w.
-1
Let q be (-20)/(-30) - 16/(-3). Suppose 0*k - 2*k - q = 0. Let z be 6 - (k - -10 - 3). Solve 3*l = -z*l for l.
0
Suppose 12*y = -12 + 72. Solve -8*x + y = -13*x for x.
-1
Let s = -50 - -43. Let f be ((-4)/(-7))/(2/s) - -4. Solve f*d + 3 = -1 for d.
-2
Suppose 3*j - 5*g = -19 + 56, 2*j - 5*g = 23. Solve -5*o + j = 2*o for o.
2
Let j be ((-1)/(-3))/(4/24). Let i be (-3*4)/(-2) + -2. Suppose -2*z + i*v = -j, -5*z + v - 4*v + 18 = 0. Solve f + 0 = -z for f.
-3
Let j be -10*((0 - 2) + 0). Let x be 11 - (-1 + 3 + 0). Let l(t) = t**3 - 8*t**2 - 10*t + 9. Let i be l(x). Solve 5*m + i*m + j = 0 for m.
-4
Let h be 5/3*(4 - 1). Suppose -3*j = h*j - 40. Solve j*u - 20 = -0*u for u.
4
Suppose 11*v - 12*v + 11 = 0. Suppose 2*c = -7 + v. Solve 0 = -2*k - c*k for k.
0
Suppose -4*x + 29*l - 27*l = -132, 4*l + 136 = 4*x. Solve 3*p = x*p for p.
0
Let z = -2694 + 2749. Solve 0 = 9*h + 2*h + z for h.
-5
Suppose 2 + 6 = 4*q, 4*v = -q + 42. Solve v + 10 = -5*m for m.
-4
Let j(w) = 3 - 2*w**2 + w**2 + 2 - w. Let p be j(0). Solve -2*b + p = -5 for b.
5
Suppose -2*h - 33 = -5*n, 0 = n + 5*h + 3 + 12. Solve -n*a = -11 - 9 for a.
4
Suppose -7*s + 12*s = 30. Suppose s*x + 0 = -0. Solve -3*b = -x*b - 6 for b.
2
Suppose 3*v = -3*u - 0*u + 6, -4*v + u = 2. Suppose 3*l - 10 = -v*k - 5*k, -k = -2. Solve 2*t + 10 = -l*t for t.
-5
Let v(g) = -g - 1. Let l(z) = z**2 - 12*z + 17. Let y(c) = -l(c) - 3*v(c). Let u be y(14). Solve u*a + 15 = -5*a for a.
-3
Let u = -67 - -74. Suppose 0*a = -u*a + 14. Solve -a*f - 4 = -6 for f.
1
Suppose -2*u + 11 = o + 4, -3*u - 5*o = 0. Let z(x) = x**3 + 4*x**2 + 3*x + 1. Let b be z(-3). Let d be -2 + b/((-2)/(-8)). Solve d = u*g - 13 for g.
3
Let p(q) = -q**3 + 4*q**2 + 7*q - 7. Let s be p(5). Let v be (-13)/((-455)/14) + 2/(-5). Solve 0 = -3*f - v*f + s for f.
1
Let x = -63 + 47. Let s = 16 + x. Solve -5 = 5*r - s for r.
-1
Suppose -x = 4*x - 15. Suppose x = -11*i + 25. Solve 0 = i*d - 6 + 2 for d.
2
Suppose 0 = -4*o + 5*o + 3*v - 7, 4*o - 93 = v. Solve -o = 4*s - 2 for s.
-5
Let z(g) be the second derivative of -5*g - 2*g**3 + g**2 + 0 - 1/12*g**4. Let x be z(-12). Solve x*r = -r - 12 for r.
-4
Suppose -y - 2*y = 24. Let k = -5 - y. Suppose -c = k*c - 12. Solve c*r = 2*r for r.
0
Let z = 354 + -352. Solve z*v + 13 = 3 for v.
-5
Suppose 16*j = -3*j + 19. Suppose -4*b = -17*b. Solve -j = -y - b for y.
1
Suppose -75*b = -64*b - 88. Solve b = s + 3*s for s.
2
Suppose 12*y - 8*y = 12. Suppose -3*m = -t + 2*m + 22, -y*m = -4*t + 54. Solve t = 5*f - 2*f for f.
4
Suppose 5*b = -4*d - d - 10, -2*d + 20 = -4*b. Suppose -2*y - 81 = -9. Let o = 41 + y. Solve -d*f + 1 = -o for f.
3
Let z(q) = -11*q**2 + 4 - 6 - 7 - 5*q + 12*q**2. Let g be z(8). Suppose 4*l + i = 40, -2*i = 5*l - 65 + g. Solve 0 = m + m - l for m.
5
Let w = 232 - 230. Solve 9*u - 8*u - w = 0 for u.
2
Suppose -16 - 2 = -d. Let h = -15 + d. Suppose -s = -3, 0 = 5*t + h*s - 32 + 3. Solve 8 + 8 = t*i for i.
4
Suppose -4*y + 5*x + 22 = 0, -3*y + 13 = 35*x - 37*x. Solve 22*t - y = 19*t for t.
1
Let f(n) = -2*n**2 + 61*n - 424. Let y be f(20). Let g be 3/(-3) - 2*4. Let k = y - g. Solve 6 = k*w + 21 for w.
-3