7, -5*h + 4*a - 5 = 0. Solve -h*d - d = 8 for d.
-2
Let h(q) be the third derivative of q**5/60 - q**4/12 - q**3/2 + 3*q**2. Let z be h(4). Suppose p - 8 - z = 0. Solve -5*m + p - 3 = 0 for m.
2
Suppose 14 + 2 = -2*k. Let w be (k/28)/((-2)/14). Solve -w*y = -3*y for y.
0
Let l = -90 + 90. Solve -2*s + l = 4 for s.
-2
Suppose 2 + 2 = -3*u + 4*j, -4*j = 5*u + 28. Let g = u - -5. Solve 3*o = g + 2 for o.
1
Suppose -5*y - 4*v + 25 = -0*v, 4*y - 3*v - 20 = 0. Solve -5 = -y*t - 15 for t.
-2
Suppose -12 = -2*n - 0. Suppose l - n*l = -10. Solve 4*h + 10 = -l for h.
-3
Let k(p) = p + 12. Let y be k(5). Solve -3*n - 2 + y = 0 for n.
5
Let p(a) = -a**2 - 1. Let c(r) = 2*r**2 - 9*r + 4. Let m(u) = c(u) + 3*p(u). Let w be m(-9). Let x = w - 0. Solve b + x = 3 for b.
2
Suppose 2*n + 0*z + 1 = z, 5*n - 15 = -z. Let m be 2/8 + 209/44. Suppose -m*s - 3*a = -37, 0*a = 5*s - 3*a - 13. Solve -s = n*f - f for f.
-5
Suppose -3*k = 3*h - 7*k, h = 3*k. Solve -6 = -h*u + 3*u for u.
-2
Let m(o) = -o - 9. Let h be 5/((-15)/6) + 10. Let y be m(h). Let q = 29 + y. Solve -5*b + 3 + q = 0 for b.
3
Suppose s - 45 = -2*s. Let t(v) = -2 - 4 + 0*v + v. Let j be t(12). Solve 0 = -j*z + z - s for z.
-3
Let u be 20*6/30*2. Solve u = p + 3 for p.
5
Suppose 0 = b + 2*p - 8, 0 = 4*b - b - 4*p + 6. Solve -4 = -b*q - 2 for q.
1
Let n be 1/(-3) - (88/(-12) + 1). Solve -3*o - 3 = -n for o.
1
Suppose -2*v = -5*v + 6. Suppose -i + 0 = -v. Solve i*t = -2 + 12 for t.
5
Suppose 9*s = 202 - 31. Solve 4*d + s - 7 = 0 for d.
-3
Let l = -143 + 143. Solve g + 0*g = l for g.
0
Suppose 0 = -4*b - 17 - 11. Let w = b - -20. Suppose -x + 4*n - 13 = 0, -x + n - w = -4*x. Solve 0 + 3 = -x*h for h.
-1
Suppose 4*y = -5*k - 50, 10 = 2*k + 4*y + 42. Let u be -1 + (4*k)/(-3). Suppose u*g = 4*g + 30. Solve -g + 5 = -a for a.
5
Let j be 11/(-44) - (-14)/(-8). Let d = j - -5. Suppose 5*i - 25 = -d*p, 35 = 5*i + 2*p + 3*p. Solve i*u = -0*u + 8 for u.
4
Suppose 2*z + 12 = s, -7*z - 28 = -2*s - 2*z. Solve g = 3*g - s for g.
2
Let q(n) = 6*n + 6. Let g be q(-8). Let b be (-32)/(-14) + 12/g. Solve -3 = -b*j + 5 for j.
4
Let y be 8/6 - (-10)/6. Solve l - y*l = 2 for l.
-1
Let h = -2 + 2. Suppose 5*g - 65 = -h*g. Suppose -4*c = -3*z - 20, -5*z + g - 3 = 2*c. Solve z = -4*x - 8 - 8 for x.
-4
Suppose a + 2*a = -21. Let z(o) = -o**3 - 8*o**2 - 6*o + 9. Let w be z(a). Suppose 2*x = -w*x. Solve 4*c + 12 + 8 = x for c.
-5
Let h(j) = j**2 + 6*j + 5. Let q be h(-5). Suppose -d + 0*d + 4 = q. Solve -3*b = -d*b - 4 for b.
-4
Let o be (-4)/(((-1)/1)/1). Let h(k) = 21 - 4*k**2 - 3*k**3 - 27 + 7*k + 4*k**3 - k**2. Let b be h(o). Solve 3*r + b = -0*r for r.
-2
Suppose -46*t + 44*t + 12 = 0. Let j(d) = 3 - d**3 + d**3 - 5*d**2 + 6*d - d**3. Let x be j(-6). Solve x*m = -0*m + t for m.
2
Let t = 80 - 79. Solve -b - t = -2 for b.
1
Let w(s) = 3*s + 2. Let j be w(0). Solve 0 = 3*g + j + 1 for g.
-1
Let b be ((10/30)/(2/12))/2. Solve b + 15 = 4*j for j.
4
Let d = -2 + 8. Let b(k) = -k**3 + 5*k**2 + 5*k + 8. Let q be b(d). Solve -a + q*a + 1 = 0 for a.
-1
Let t be (-2)/11 + 96/44. Solve t*z - 1 = 9 for z.
5
Let l(k) be the third derivative of k**4/24 + k**3/6 - 2*k**2. Let d be l(-1). Solve 5*i + d*i = -5 for i.
-1
Suppose -2*i + 0*i = -10. Solve -v - 1 + i = 0 for v.
4
Suppose 20 = 4*k + 4*o, 10*o - 17 = -3*k + 5*o. Solve -z - 25 = k*z for z.
-5
Let s(f) = f**3 + 9*f**2 + f + 11. Let q(d) = -d**3 + d**2 - 3*d + 1. Let w be q(2). Let j be s(w). Let v be (-2 - -1*5) + 0. Solve j = -v*t + t for t.
-1
Let w(r) = r**3 - 2*r**2 - 9*r + 5. Let d be w(4). Solve 0 = -0*k - k - d for k.
-1
Let h(l) = l**3 + 7*l**2 + l + 10. Let b be h(-7). Solve b*u = -2*u for u.
0
Let b(x) = x**2 + 8*x - 8. Let c be b(-8). Let f = c - -13. Let j = f + -2. Solve -2*k + j = -5 for k.
4
Suppose -34 = 2*z - 3*z. Suppose 0 = -3*a - 12, -z + 10 = -2*q + 5*a. Suppose 5*w + j - 24 - 30 = 0, -q*w + 8 = -3*j. Solve w = -s - s for s.
-5
Let l = 3 + -3. Suppose w = -l*w. Solve w = -o + 2*o + 3 for o.
-3
Suppose -5 = -0*s - 5*s. Solve -3*w + s = -2*w for w.
1
Let w(p) = p + 3. Let z be w(-6). Let u(i) = -i + 1. Let h(s) = -4. Let k(c) = h(c) + 2*u(c). Let n be k(z). Solve o = -n*o + 15 for o.
3
Let a(c) = c**3 - c**2 - 2*c - 1. Let z be a(2). Let r = z + 6. Solve 0 = -r*s + 26 - 1 for s.
5
Suppose -7*u + 5*u = 10, 13 = -3*d - 5*u. Let r = 8 - d. Solve 0*j + j - r = 0 for j.
4
Suppose i - 4*w - 1 = 9, -2*w - 10 = -3*i. Suppose 20 = i*g + 4*c, 22 = -0*g + 3*g + 4*c. Solve 0*v - 6 = -g*v for v.
3
Suppose 0*g - 2 = -g - 2*l, 4*g = 4*l + 68. Solve 3 + g = 5*n for n.
3
Let t(b) = -b**2 + 10*b + 16. Let a be t(11). Solve -a = -3*f + 10 for f.
5
Suppose -5 = -2*l - 1. Suppose -l*k = -k - 7. Suppose -v + 10 = 5*h, 3*h + 3*v - 8 = -h. Solve -h = x - k for x.
5
Let g = 4 + 0. Solve 0 = 5*w - g*w for w.
0
Let c = -1 - 4. Let w(i) = 5*i + 6. Let q(g) = -g. Let f(m) = -3*q(m) - w(m). Let d be f(c). Solve -d*h - 10 - 6 = 0 for h.
-4
Suppose -3*l = 12, l + 4*l = 5*j - 45. Solve -j*u = 8 + 7 for u.
-3
Let z = 5 - 2. Let i be (3 + 1)*90/40. Solve -z = 2*a - i for a.
3
Suppose 0 = t - 3 + 2. Suppose 0 = -2*d - 2*a - 20 - 12, -2*d = 3*a + 33. Let x be (6/d)/(t/(-5)). Solve j - x*j + 4 = 0 for j.
4
Let r = 109 + -104. Solve t = r*t + 20 for t.
-5
Suppose 4 = -s + 3*s. Solve s*h - 3 = -h for h.
1
Let k be 18/(-8)*(3 + 1). Let y = -5 - k. Suppose 4*i = i + 9. Solve i*m = -m - y for m.
-1
Let q(b) = -6*b - 62. Let g be q(-13). Solve 7*v = 3*v + g for v.
4
Let i be (-5)/(-15) - (-16)/6. Let x be 3/(1*i/(-3)). Let g = -3 - x. Solve 0 = 2*d - g*d - 8 for d.
4
Let q(n) = n**2 + n - 10. Let g be q(3). Solve -6 = b + g*b for b.
-2
Let z(s) = s**2 + 5*s - 9. Let k be z(-7). Solve b - k = -2 for b.
3
Let x(i) = -i + 16. Let v(j) = 10*j**3 + 2*j**2 - 1. Let c be v(1). Let f be x(c). Solve f*q + 15 = 2*q for q.
-5
Let j be ((-1)/(-8)*-34)/(1/(-4)). Solve j = -5*w - 8 for w.
-5
Suppose -2 + 4 = 2*p. Suppose -2*h = -2*u - 8, 5*h + 5*u + p = 11. Solve -k = h*k for k.
0
Let l be 133/28 - 1/(-4). Suppose a = l - 2. Solve -a*i - 6 = -0 for i.
-2
Suppose -7*z + 10 = -2*z. Let s(g) = -g + 17. Let i be s(7). Suppose 2 + i = 3*o. Solve 0*a - o = z*a for a.
-2
Suppose 5*v = -2*r + 3*v - 8, -r + 26 = -5*v. Solve 2*o + r + 7 = 0 for o.
-4
Suppose -3*y + 51 - 18 = 0. Let a = 15 - y. Solve -a*p - p = 0 for p.
0
Let p(j) = -j + 2. Let q be p(3). Let c be 4 - 1/(q/(-3)). Solve 0 = -5*l + c - 21 for l.
-4
Let t(s) = -s + 1. Let r be t(1). Let w be (-1 - -4) + (-3 - r). Solve w*v = 5*v for v.
0
Suppose 2*k + 5*z = -13, 3*k - 2*z + 3*z = -13. Let c(l) = l**3 + 6*l**2 + 6*l + 1. Let u be c(k). Let y = -9 + u. Solve y = -2*s - 6 + 16 for s.
5
Let d(r) = -r**2 + 6*r - 5. Let b be d(5). Let c = -7 - -6. Let g = 3 + c. Solve b = g*z - 4 - 6 for z.
5
Suppose -3*r = 2*r + 2*l + 1, 4*r = 2*l + 10. Solve -n - 2 = r for n.
-3
Suppose -2*x + a + 14 = -3*a, 0 = -4*x + 2*a + 16. Suppose -2*v - x = -41. Let w = v + -13. Solve -w*h = -h - 10 for h.
2
Let d be (1/3)/((-2)/78). Let f = 18 + d. Solve 3*q + 2 = f*q for q.
1
Suppose -2*g = -6*g + 8. Let w = g + 1. Suppose 30 + 38 = 4*n. Solve -n + 2 = -w*q for q.
5
Let r = 58 - 55. Solve 0 = 5*y - r + 8 for y.
-1
Suppose -5*b - 3*f + 50 = -3, 7 = b - 3*f. Solve -6*z + b = -z for z.
2
Let n be (2 + 4)/(9/(-24)*-4). Solve h - 15 = n*h for h.
-5
Let r = -19 - -24. Solve r*h - 4 - 21 = 0 for h.
5
Suppose -4*m + 32 = p, -m - 4*p = -7 + 14. Suppose 0*l + m = 3*l. Let y be (1/3)/((-1)/(-6)). Solve y*z + 15 = -l*z for z.
-3
Suppose 3 = 4*u - 2*y - 3, -5*u + 6 = -y. Suppose 7 = 2*x - u. Solve -x*p - 20 = -0*p for p.
-5
Let k be (-3 + 1 - -3) + 3. Let h = -4 + k. Solve h = 2*l - 5 + 3 for l.
1
Let n be 1*4 + (-72)/(-18). Let w be 2/((-2)/1)*-3. Solve n*c - w*c - 20 = 0 for c.
4
Suppose k + 3*x - 9 = -k, 3*x - 12 = -3*k. Suppose 0 = 3*s - 2*n - k*n + 22, -25 = -5*s - 4*n. Solve 1 + s = 2*p for p.
1
Let g(k) = k**3 + 16*k**2 + 16*k + 18. Let u be g(-15). Solve 5*n = u*n for n.
0
Let l(f) = f**2 + 6*f + 2. Let i be l(-4). Let v be (-6)/(-4)*(-8)/i. Suppose 4 = 2*p - 3*p, -2*p = 2*b - 16. Solve -b = -2*c - v for c.
5
Suppose -5*d - p = 2*p + 63, 2*p = -2. Let y be ((-3)/d)/((-2)/(-16)). Solve f + 1 + y = 0 for f.
-3
Suppose 0 = -3*y + c + 11, -5*y + 0*c = 2*c - 33. Suppose -y*r + 2*w + 0*w + 15 = 0, 0 = -w. 