 h = d - 0*d for d.
2
Let j(r) = -r**3 - 6*r**2 - 5*r. Let s be j(-5). Let b be (-3 - 4/(-1))*s. Solve -5 = -b*y - y for y.
5
Let h(r) = -2*r - 2. Let t be h(5). Let u = t + 18. Solve -1 = q - u for q.
5
Suppose -j = -5*a - 27, 0*j - 4*j - 2*a = 2. Solve -3 = -j*w + w for w.
3
Suppose -2*k = k - 18. Solve o - 3*o = -k for o.
3
Let l = -18 + 18. Suppose -2*w = -10, -2*k + 2*w - 10 = -2*w. Let a be (-4)/1*k/(-4). Solve a*z + 0*z + 15 = l for z.
-3
Suppose 4 = q - 1. Let b(u) = -u**2 - 6*u - 3. Let o be b(-5). Let w = q - o. Solve -2 - w = -g for g.
5
Let s(h) = -h**2 + 12*h - 23. Let w be s(9). Solve w*l = 2*l for l.
0
Suppose -2*q = -0*q - g - 11, 0 = -q + 5*g + 19. Solve -q*b + 0*b = -4 for b.
1
Suppose -5*h + 4*u + 136 = 19, h + 3*u - 31 = 0. Suppose 0*l = -2*l + 4*t + 28, t = 5*l - h. Solve -x = -2*x - l for x.
-4
Let d(r) = -3*r - 2 + 4 + 2*r - 9. Let l be d(-12). Solve -27 = -l*t - 7 for t.
4
Let m = 73 + -52. Suppose 3*a - 3 = m. Solve -5*u - a = -33 for u.
5
Let o = -15 - -21. Let d = -2 + o. Solve -2 = -2*j + d for j.
3
Let i be (3 + (-75)/6)*2. Let f = -17 - i. Solve -f*l + 25 = 3*l for l.
5
Let r = -25 - -31. Solve -3*q + r*q = 9 for q.
3
Suppose 0 = 4*f + 4, r = -8*f + 3*f - 20. Let c be ((-18)/15)/(2/r). Solve c*s - 4*s - 25 = 0 for s.
5
Let p be ((-1)/(-3))/(1 + (-5)/6). Solve 0*b - p = 2*b for b.
-1
Suppose -2*t - 10 = -7*t. Suppose -4*f + 4*d - 12 = 0, -t*d + 18 = f + 3*f. Suppose -5*o - 2 = 3*v + f, 0 = 4*v + 4*o. Solve v*s - s = 5 for s.
5
Suppose -x + 3 = -2. Suppose -6 = 3*o - o. Let j(t) = -7*t + 4. Let z be j(o). Solve 5*q + x = z for q.
4
Let j be (-4 - -5)/(2/4). Suppose j = 4*l - 2. Let g be (-63)/(-9) + -2*l. Solve 0*f - g*f = 20 for f.
-4
Suppose -4*b + 4*g + 24 = 0, -g = b - 0 - 2. Let o = b + -2. Solve o*y - 3 = -y for y.
1
Let d be ((-4)/(-5))/((-1)/(-5)). Let q = -1 + d. Let k be 1/(-4) + (-9)/(-4). Solve 0 = q*z + 7 + k for z.
-3
Let f(v) be the second derivative of -v**3/3 - v**2 - 4*v. Let a be f(-5). Solve a = 3*n - 7 for n.
5
Let y(q) = -q**2 - 5*q + 1. Let z be y(-4). Let l(f) = 7*f + 10. Let h(o) = -o - 1. Let s(j) = -6*h(j) - l(j). Let i be s(-7). Solve i*a - z*a = 0 for a.
0
Let y = 15 - 12. Suppose -3*c = -2*o - 7*c + 16, y*o - 16 = 2*c. Solve -o*w = -w for w.
0
Let h(r) = -2*r**3 - 5*r - 4. Let o be h(-1). Solve 3 = o*l + 9 for l.
-2
Let c be 4*3/4*10. Suppose -5*v - 6 = -26, 5*v = -5*x + c. Let k = -9 + 16. Solve -10 = -k*s + x*s for s.
2
Let h(w) = 2*w**3 - w**2 + 1. Let u(v) = -v**3 - v - 2. Let q(z) = -2*h(z) - 3*u(z). Let s = -5 - -8. Let x be q(s). Solve -x*d + 3 = 7 for d.
-1
Let f be -4 - ((-2)/2 - 1). Let w = 19 - 7. Let k be f/(-8) + 57/w. Solve k*m - 2*m + 6 = 0 for m.
-2
Let u be ((-84)/54)/(6/(-54)). Solve u = -4*p - 6 for p.
-5
Suppose 5*b + 1 = 21. Suppose -b*c - 11 = 2*v - 3, -8 = c + 2*v. Solve y + c - 4 = 0 for y.
4
Let y(q) = q - 11. Let p be y(11). Solve p*d - 6 = 2*d for d.
-3
Suppose n = 2*n + j + 4, 0 = -2*n - 4*j - 18. Solve 3 = p - n for p.
4
Let u = 3 + 0. Suppose z = 2*d - 6, 5*d - 13 = -4*z + 7*z. Solve -z*i - u = -i for i.
-1
Let i(g) = 3*g**2 + 9*g + 12. Let q(n) = n**2 + 3*n + 4. Let r(b) = -2*i(b) + 7*q(b). Let m be r(-4). Solve -3*w + m = -w for w.
4
Let o(m) = m**3 - m**2 + 2*m - 1. Let r be o(1). Solve 0 = -u - 5 + r for u.
-4
Suppose -18 = -5*q + 12. Suppose z - 12 = -3*z. Suppose 38 = 3*f + 5*v, 0 = z*f - 3*v - 0*v - 6. Solve q = -3*s - f for s.
-4
Let m(w) = -w - 2. Let t be m(-6). Suppose 0 = -13*g + 158 + 89. Solve 3*i + t = g for i.
5
Let c = -10 - -32. Let l = c - 12. Solve 5 - l = -a for a.
5
Let s = 1 - -1. Suppose s*a + a = 45. Solve 4*v - v = -a for v.
-5
Let u = -63 - -66. Solve 10 = u*p - p for p.
5
Suppose 20 + 52 = 3*n + 4*s, s + 24 = n. Suppose 0*k + 4*k = n. Solve k*b - 2*b = -16 for b.
-4
Suppose -2*u - 4 = -5*m, -2*m - u + 10 = u. Let w be (3 + -2)/(m/4). Solve w*f - 12 = -2*f for f.
3
Suppose 6*t - t = 70. Let c = t - 14. Suppose 2*j + 0*x + 16 = 4*x, 5*x - 20 = 5*j. Solve j = l - c*l + 2 for l.
-2
Let d(q) = -2*q + 20. Let z be d(-9). Let f = z + -23. Solve 3*s + 2*s = -f for s.
-3
Let h(x) = -9*x**3 - x**2 + x - 1. Let u be h(1). Let g be 8/u*(-10)/4. Let c = 5 - g. Solve -5 = -4*q + c*q for q.
5
Let c(l) = -l**2 - 2*l. Let q be c(-2). Suppose -2*s + 5 = t - s, 4*s + 16 = 2*t. Suppose -3*h + 3*k + t = q, 3*h = 4*k + 6 - 0. Solve h*i = -i for i.
0
Let u(o) = 7*o + 1. Suppose 4*l + i + 8 = 0, -2*i - 3 = -5*l - 0*i. Let m be u(l). Let g = -4 - m. Solve -n + g = n for n.
1
Let q(t) = t**2 - 6*t - 11. Let s be q(8). Solve z = s*z for z.
0
Suppose 5 = -p + 2. Let o be -1 + -1 - (-10 - p). Suppose 0 = -2*k - 0*f + o*f + 8, 0 = 5*k + 4*f - 20. Solve -k*i - 10 = i for i.
-2
Let h = -122 + 131. Solve 0 + h = -3*i for i.
-3
Suppose -g = g + 4*y - 14, 2*g = -3*y + 14. Solve 5*s - g = 13 for s.
4
Let y = -1 - -2. Let x = 8 - 6. Let v = x + y. Solve -4*c - 17 - v = 0 for c.
-5
Let j(c) = -16*c**2 + 2*c. Let a be j(2). Let x be (-4)/14 + a/(-14). Solve 5*p = x*p for p.
0
Let s(q) = 7*q - 1. Let h be s(1). Let n be (-4)/30*3*(-80)/8. Solve -5*o - h = n for o.
-2
Let q(t) = -2*t - 6. Let v be q(-4). Let g = v - 0. Solve -6 + 2 = g*s for s.
-2
Let g(n) = n - 3. Let x be g(5). Suppose 6*b - b + 2*d = 4, 5*d = b + 10. Let r be (2 - b/(-1))/1. Solve x*t - r = t for t.
2
Let k be (-1)/(-9)*-3*-9. Solve 4 = -o + k for o.
-1
Suppose 32 = 3*h + 2. Let d = 14 - h. Solve -4*b + 2*b = d for b.
-2
Let z be (10/(-65) + (-1176)/(-39))/2. Solve t - 6*t = -z for t.
3
Let b be 1 - -2 - 2/(-2). Solve -b*w + 5 = -15 for w.
5
Let f(c) be the third derivative of c**5/60 - c**4/12 - c**3/6 - c**2. Let x be f(3). Solve 5*t + x = -3 for t.
-1
Let w be 2/2 - (1 - -8). Let f(m) = m**2 - m - 6. Let c be f(0). Let j = c - w. Solve j = 2*p - 0 for p.
1
Let r = 18 + -13. Let l be (-1)/(r - 3)*-4. Solve 0*q = -l*q - 2 for q.
-1
Let u be (9 - 1)*(-7)/(-14). Suppose b = 5*o - 5, 0 = -u*b + 3*o - 5 + 2. Solve b = -3*n - 3 - 9 for n.
-4
Let a be (-9)/(-4) - 2/8. Suppose 2 = -t - a. Let x be t/(-5)*(-30)/(-4). Solve 0 = x*w - 2*w for w.
0
Suppose 5*y = -0*y - 45. Let j = y + 9. Solve -4*m + 4 + 0 = j for m.
1
Suppose 0 = -b + 5*b - 5*m - 10, -4*b - 4 = 2*m. Suppose 6*j - 82 + 70 = 0. Solve b = 7*l - j*l + 5 for l.
-1
Suppose 4*t + 5 = 4*b - 3, -14 = t - 4*b. Suppose -2*z + 0 = -t. Solve -5*d - 16 = -z for d.
-3
Suppose -4*s - 3 - 9 = 2*u, 4*u = -4*s - 12. Suppose -8 = i - 5*i. Solve u*r - i = r for r.
-2
Suppose -3*m - w + 10 = -39, m - 25 = 4*w. Let o = m + -15. Solve o*u + 4 - 10 = 0 for u.
3
Let b be (-16)/(-6) - -3*(-4)/(-36). Solve -3*f + 18 = b for f.
5
Suppose 3*d = 8*d. Suppose d*y + 6 = 3*y. Solve y = j - 0*j for j.
2
Let h(t) = -t + 15. Let d be h(15). Solve -5*u + 9 + 11 = d for u.
4
Let a(n) = n**2 + 7*n + 9. Let w be (6/(-8))/((-4)/32). Let m be (-28)/5 - w/15. Let u be a(m). Solve u*h + 10 = h for h.
-5
Let j be -3*(1 - 10/(-6)). Let s = 9 + j. Let k be s*((-3 - -3) + 4). Solve 0 = -3*t + k + 5 for t.
3
Suppose -r - 4*k + 14 = -2*k, 0 = r - 4*k + 16. Solve r*v - v = 0 for v.
0
Let y be (9/4)/((-2)/(-8)). Suppose -4*b = -y - 3. Suppose -6*a = -a - 10. Solve b*p = a*p for p.
0
Let p(f) = -f**3 - f**2 + f + 4. Let l be p(0). Let m be (2/l)/((-2)/(-16)). Suppose -4*v + 3*j = -25, 4*v - 4*j - 24 = -0*j. Solve m*n + 9 = -v for n.
-4
Suppose 5*s = -0*s. Let b = 23 - 19. Solve s = h + b*h for h.
0
Let o(l) = -4*l + 0*l + 6*l. Let a be o(2). Let f = -1 + a. Solve 4*t + 11 = f for t.
-2
Suppose -3*r - 4*x = -37, r - 4*x + 11 = 2. Solve 3 - r = 2*q for q.
-2
Let b = 5 - 2. Let x be (-2)/b - 40/(-15). Suppose 5*q = 4*k - 7*k + 52, 8 = x*q - 2*k. Solve -3*r - 15 = -q*r for r.
3
Let t be (-2 + 2)*(-11)/(-22). Solve -3*f - 2*f + 20 = t for f.
4
Suppose 0 = -7*s + 2*s + 20. Solve -s*m = -m for m.
0
Let s = -18 - -22. Let l = 10 - 2. Suppose 2*x + l*q - 4*q - 40 = 0, x = q + 5. Solve s*j = -j + x for j.
2
Let h(j) = -j**3 + 8*j**2 - 1. Let i = -13 - -21. Let q be h(i). Let g be 0/q - (4 + -10). Solve 2*m = g*m for m.
0
Let f = -63 - -65. Solve -3*i = -f*i + 1 for i.
-1
Let s = 13 + -1. Suppose -13 + 1 = -6*f. Solve m + s = -f*m for m.
-4
Let y(p) = -p**2 - 3*p + 8. Let r be y(-4). Solve r = 4*s - 0*s for s.
1
Let i(v) = -v**3 - 15*v**2 - 25*v + 15. Let j be i(-13). Solve 2*x = -0 + j for x.
1
Let w