) - 3*y(h). Let x be g(9). Let u(m) = -m. Let j be u(x). Solve -q + 2*q = j for q.
0
Let m(j) be the third derivative of j**6/120 - j**4/12 - j**3/6 - 4*j**2. Let b be m(2). Solve 0*i - i = -b for i.
3
Let y = 5 - 7. Let o = 3 + y. Solve l - o = 3 for l.
4
Let c be -2 + 3 + (-1 - 0). Let j(r) = -r - r**2 + r + 12 + r. Let q be j(0). Solve -3*t - t + q = c for t.
3
Let x be (-1)/(1 - (-8)/(-6)). Solve 0 = -x*n + n for n.
0
Suppose -9*x - 3*x + 12 = 0. Solve x + 4 = 5*c for c.
1
Let j = -136 + 141. Solve 2*d = j*d for d.
0
Let q be (-40)/(-3) - (-2)/3. Suppose -q + 2 = -4*m. Let d = m - 0. Solve -d*b + 2 = -1 for b.
1
Let u be ((-1)/3)/((-1)/9). Let k be -2*-3*u/6. Let o(r) = -r**2 + 8*r - 1. Let y be o(7). Solve -3*d - k = y for d.
-3
Let c = 1 + 3. Suppose -c*a - 5*l = -l, -5*a + 3*l = -8. Solve 0 = 2*b - b - a for b.
1
Suppose 1 = -4*d + 25. Solve 0 = -2*v + d*v + 8 for v.
-2
Suppose -5 = c - 1. Let o be (-3 - c)/((-1)/(-25)). Suppose 4*t - o = 5*r, -2*t + 2*r + 10 = -4*t. Solve 4*m + t = 8 for m.
2
Let o = 15 + -12. Suppose -4 = -o*a + 2*a. Solve a*c = c - 15 for c.
-5
Let c(o) = o**3 + o**2 - o + 2. Let k be c(0). Suppose k*a - 12 = -10. Solve p + 1 = -a for p.
-2
Let x(k) = k**2 - 3*k - 1. Let c be x(4). Suppose 4*s + 37 = 3*m - 0*s, 4*m + 4*s = 68. Let b = 212 + -209. Solve c = b*n + m for n.
-4
Let s(w) = -1. Let h(j) = j + 6. Let g(d) = -h(d) - 6*s(d). Let o be g(-2). Solve -o*y - 2*y = -16 for y.
4
Suppose 4*x - 3*x + 4*x = 0. Solve -4*u - u - 25 = x for u.
-5
Suppose 5*q + 2 = 17. Solve -2*z - 20 = q*z for z.
-4
Let d = -3 + 7. Let h be 1 - -3*3/(-9). Solve 4*f + h = -d for f.
-1
Suppose 0 = 3*k - 0*k - 12. Let v(w) = -7*w + 1. Let z be v(-1). Suppose o = -o + z. Solve -o = k*n - 3*n for n.
-4
Suppose -1 + 4 = j. Let u = 1 + -1. Solve -j*r - r = u for r.
0
Suppose 1 = -4*d + 33. Solve 3*i = -i - d for i.
-2
Suppose 9*y - y = 96. Solve 4*q + y = -0 for q.
-3
Let i be (6/10)/((-8)/(-40)). Solve -y - i - 1 = 0 for y.
-4
Suppose -5*i = 2*q - 6, 2*q - 5*i + 3*i - 6 = 0. Solve -3 = -q*o + 6 for o.
3
Let n be (2 + -3 + -1)/(-2). Let p be 2/(4/(-4)*(-2 - -4)). Let t = p + n. Solve -m + 0*m + 3 = t for m.
3
Suppose -4*w - 2*d - 1 + 13 = 0, 2*w - 2 = -2*d. Let r = w - 3. Suppose 13 - 1 = r*n. Solve -2*c - 4 = n for c.
-5
Let j be -11 - (2/1 + -4). Let l = j + 14. Suppose -h = -2*h - 5, 0 = l*o + 3*h - 85. Solve -o = 3*y + 2*y for y.
-4
Let o be (7 - -1)*(-5)/(-10). Solve 0*q = q - o for q.
4
Suppose 2*c - 4*c = n - 3, -2*c = 0. Solve 0 = -n*j + 9 for j.
3
Let f = 93 + -72. Solve -4 = 5*j + f for j.
-5
Suppose -30 = 4*z + z. Let r be (-10)/(-4) + z/(-4). Suppose -2*k - 3*k = -15. Solve r*l + k = l for l.
-1
Let g = -9 - -14. Suppose -2*k + 3*k + g*f = 6, -k - 2*f = -9. Suppose -4*y = 20, -3*q - 2*y - 2*y - k = 0. Solve -3*j + 0*j - q = 0 for j.
-1
Suppose 0 = 3*k - 8*k. Solve -5*p = -k*p for p.
0
Suppose -3*s = 2*o - 2, -3*s - 3 = 4*o - 1. Let d = 2 - s. Let f = 3 - -1. Solve q = -f - d for q.
-4
Let u = 6 + -5. Solve -3*k + u = -8 for k.
3
Let r = 6 - 4. Let c(u) = u + 8. Let b be c(-3). Solve -b*z + 22 = r for z.
4
Let q = 31 + -6. Solve f = -4*f - q for f.
-5
Let b = 71 + -45. Let d be (-2 - -6)*b/4. Solve 4*y = -d + 10 for y.
-4
Suppose 12 = v + 3. Suppose -9*m + v = -6*m. Solve -m*a = -2*a for a.
0
Suppose 3*q - 11 = 3*w + 4, -4*q = w - 5. Let m(t) = -7 + 2*t**2 - 7*t**2 + 3*t**2 + 3*t**q + 3*t. Let x be m(-5). Solve x*a + 4 = 1 for a.
-1
Let o = 6 + -3. Let j be 1/(-2)*(3 + -3) - -8. Solve q + j = o*q for q.
4
Let z be 30/2 + (2 - 1). Let r(w) = w**2 - 3*w - 1. Let o(n) = -n - 1. Let c be o(-5). Let m be r(c). Solve -m*b - b = -z for b.
4
Let w be 13/((-156)/(-8))*(-6)/(-4). Solve 3*y + w = -8 for y.
-3
Let i be (10/4)/(1/2). Let f(k) = -2*k - 12. Let g be f(-8). Solve -2 = i*s - g*s for s.
-2
Suppose 2 = -0*j + j. Solve 0*g + 10 = j*g for g.
5
Let f = -5 - -6. Let i(p) = p + 4*p**2 + f - p**2 - 2*p. Let c be i(1). Solve 0 = 2*a - c*a for a.
0
Let t(g) = -g**3 + 4*g**2 - 2*g + 3. Let h be t(5). Let m = 3 - h. Let a be ((-14)/m)/((-1)/5). Solve a*z - 8 = -0*z for z.
4
Let o = 13 + -3. Solve o = -4*d - d for d.
-2
Let r be 4/(-6) - 3*4/(-18). Let f = -12 - -18. Solve f = -r*y + 2*y for y.
3
Let y = 5 - 3. Let h = -110 + 112. Suppose -z - y = 0, -2*w + 7 = -w - h*z. Solve w*g + 7 = -2 for g.
-3
Let s be (-52)/(-20) + (-2)/(-5). Let c = 0 - -9. Solve s*f + 0*f + c = 0 for f.
-3
Let s = -31 + 34. Solve -b + 8 = s*b for b.
2
Let a be 1/3*(21 + 3). Let c = -6 + a. Solve -l = -c + 5 for l.
-3
Suppose -l + 6*l - 4*m - 27 = 0, 27 = 4*l - 5*m. Solve -o - 6 = -l for o.
-3
Let o(d) be the second derivative of -d**5/20 - 2*d**4/3 - 4*d**3/3 - 2*d**2 - d. Let u be o(-7). Solve -2*s + u = 1 for s.
1
Let u be (-1)/((-26)/12 - -2). Let l(n) = -16*n**2. Let j be l(1). Let r be j/(-6)*u/4. Solve 3*s = s + r for s.
2
Suppose -y - 4 = -2*d, -2*d + 1 + 3 = 0. Let f be 0*((-3)/6 + y). Solve c + f*c - 3 = 0 for c.
3
Let z(f) = -f + 4. Let w be z(3). Suppose -y + w = -1. Solve -y = s + 3 for s.
-5
Let z = -112 - -116. Solve 25 = z*w + w for w.
5
Let x be 3 + -2 + 3*6. Suppose 3*m + 4 - x = 0. Solve z + m - 4 = 0 for z.
-1
Let z(n) = -n - 2. Let o be z(3). Let s be o*(-1 - 1 - -1). Solve 0*b = -s*b - 25 for b.
-5
Let r(b) = -b**2 + 16*b - 15. Let z be r(15). Solve 5*l + 25 = -z*l for l.
-5
Let n be 1/5 + 272/40 + -7. Solve n = 3*f - 0*f for f.
0
Let b be 2/(-10) - (-1)/5. Let t = 3 + b. Solve t*h - h = -2 for h.
-1
Let l(z) = z**2 - 5*z + 5. Let w be l(-5). Let j be w/20 + (-2)/(-8). Let r = -3 + j. Solve 0*b - 5*b = r for b.
0
Let s(i) = -4*i - 62. Let o be s(-17). Solve 0*y - 3*y = -o for y.
2
Let y be (-6)/3 + (0 - -6). Suppose 3*l = y*l. Solve -5*j = -l - 5 for j.
1
Let p = 102 - 79. Solve 5*b - p = 2 for b.
5
Let k = 0 + -5. Let n = k - -5. Suppose n*d = 5*d. Solve d*f = -5*f - 15 for f.
-3
Let k be (-1)/2 + (-42)/4. Suppose 5*x = -u - 124 - 17, 2*x - 2*u = -54. Let q = k - x. Solve 5*z + q = 2 for z.
-3
Suppose 3*h - 13*h + 30 = 0. Solve -h*i = -7 - 5 for i.
4
Let g(t) = 4*t**2 + t - 1. Let p be g(1). Let q = 40 - 58. Let c be 80/45 + (-4)/q. Solve -p = c*a - 2 for a.
-1
Suppose -25 = -4*t + 5*w, 2*w - 3*w = -2*t + 5. Let j(r) = -r**3 - r**2 + 3. Let v be j(t). Solve -3*k + 3 = -v for k.
2
Let c = 4 + 1. Let q(l) = -l**2 - 4*l + 1. Let t be q(-3). Let w be (-6)/t*(-6)/9. Solve u = -c + w for u.
-4
Suppose -g + 5*m - 7 = 0, 5*g - 3*m - 6 = 3. Suppose 0 = 3*o - 7*o - 56. Let p = o - -18. Solve g*y - 16 = -p for y.
4
Suppose -3*k - 5*i = -8*k, -3*k = 2*i. Solve -r + 4*r - 6 = k for r.
2
Suppose 5*o = -2*n + 40, -3*o - n + 26 = 1. Let i(v) = v**2 + 6 - 3 - 6*v - 1. Let k be i(6). Solve -k*q + o = 2 for q.
4
Let n be (24/16)/((-6)/(-16)). Suppose -2*b = 2 - 0, -2*d - n*b = 0. Solve 10 = -7*x + d*x for x.
-2
Let l = 3 + -1. Let u be 2/l + 6/2. Solve z + u = -3*z for z.
-1
Let b(s) = 3*s**2 - 2*s**2 - 3 - 5*s - 2*s**2. Let k be b(-2). Suppose -m + k + 3 = 0. Solve m*d = d - 25 for d.
-5
Let t = 36 + -34. Solve t*i + 6 = -i for i.
-2
Let r be 0 - (0 - (-12)/(-3)). Suppose -3*h + 4*p + 24 = 0, -r*p = -h - 2*p + 8. Solve h = -i - i for i.
-4
Let b be 46/10 + (-2)/(-5). Let f = 7 - 13. Let a = 9 + f. Solve -a*o + b = 2*o for o.
1
Let f be 21/6*2 + 2. Suppose -3*p - f = 3*n, n - 21 = -4*n + 4*p. Solve 0 = 2*c + n + 1 for c.
-1
Let d = 9 - 4. Suppose d = -m + 2. Let h be ((-8)/2)/(m + 2). Solve -h*i = -2 - 6 for i.
2
Let g = -33 - -12. Let s = g + 26. Solve s*m - 2*m + 12 = 0 for m.
-4
Suppose 0 = -x + 2*x + 16. Let l = -13 - x. Solve -l*s = -14 - 1 for s.
5
Suppose -19*q = -16*q - 15. Solve -q = -5*b - 0 for b.
1
Suppose 5*y - 25 = -2*g, g + 3*g - 3*y = -15. Solve g = -3*s - 1 - 14 for s.
-5
Let w be 144/63 - (-2)/(-7). Suppose -3*g - 23 = -4*g + 4*k, 4*k = -w*g - 14. Suppose 0 = -3*c + 12, -8*c = -3*z - g*c - 8. Solve z - 19 = 3*a for a.
-5
Let x be 3/12 + 2/(-8). Let j = 14 + -9. Suppose 8 = j*z - g, 4*g - 5 = 3. Solve x = -p + z - 0 for p.
2
Suppose 7*z = 2*z + 75. Solve -5*o = -10 - z for o.
5
Let d be 66/14 + -5 - (-2)/7. Solve 2*u = -d*u for u.
0
Let s = -14 + 29. Solve 0 = -2*l - l + s for l.
5
Let r(s) = s**2 + 5*s - 4. Let c = -10 + 4. Let z be r(c). Solve -3*g - z = -14 for g.
4
Suppose -6*r + 88 = 2*r. Solve r*t - 7*t = 0 for t.
0
Suppose 2*o = 24 - 12. So