 8 + y = 5*d for d.
2
Let o = 0 - -5. Let k be 248/5 - (-10)/25. Suppose 5*a - o*n - k = 0, -a + 0*n + 4*n + 22 = 0. Solve 0 = -a*h + h - 25 for h.
-5
Let l be 1*(1 + -1)*-1. Let b = -2 - -6. Suppose -2*w - 2*f = -54, 3*w - 5*f = b*w - 35. Solve w = -5*i - l*i for i.
-5
Suppose k = -2*k. Let t(x) = x - 5. Let h be t(6). Suppose -4*j + h = -11. Solve p - j = -k for p.
3
Suppose 39 = 4*w + 2*m - 3*m, -4*w - m = -33. Suppose 1 - w = -4*o. Solve o*r + 2*r = 0 for r.
0
Suppose 3*b - 7 = 5. Let u(f) = -b*f + 3*f - 1 - 3. Let p be u(-7). Solve -9 = -0*z + p*z for z.
-3
Suppose 0 = 4*d + 20, -2*h + 5*d + 5 + 20 = 0. Suppose 0 = -5*v + 2*v. Suppose 4*g = -v*g + 40. Solve -5*j = g - h for j.
-2
Suppose -v = 3 + 2. Let y be (v/10)/((-1)/62). Let f = -21 + y. Solve 0*u = 5*u + f for u.
-2
Suppose 3*v + 3 = -4*c, -2*c + 6 = -4*v - 20. Let o(h) = 3 - 4 - c + h**2 - 2*h. Let w be o(4). Solve w*i + 3 = -1 for i.
-1
Let j = -13 - -21. Let c = 4 + -1. Suppose 2*b + g - 8 = -c*b, -3*b + 4*g + 14 = 0. Solve 2 = -b*u - j for u.
-5
Suppose 5*y - 34 - 116 = 0. Let a be ((-10)/(-30))/(2/y). Solve -u = -0*u - a for u.
5
Let i(t) = t - 3. Let s be i(5). Let q(r) = -10*r**3 - r**2 - r - 1. Let h be q(-1). Let l = -7 + h. Solve l*j = -s*j for j.
0
Let h(d) = d - 5. Let o be h(7). Solve o*n - 6*n = -12 for n.
3
Let t = 14 - 10. Let l(o) = -o**3 - 6*o**2 + 7*o + 6. Let k be l(-7). Suppose -4*r + k = -r. Solve -r*f = -t*f for f.
0
Let i(l) = l**2 + 3*l + 2. Let t be i(-6). Let n = 48 - 34. Suppose c = -c + n. Solve 2*d + t = c*d for d.
4
Suppose 1 = -3*f + 4. Solve 0 = -l + 2 - f for l.
1
Let u(i) = i**2 - 3*i + 4. Let w be u(4). Solve -j + w = j for j.
4
Suppose 5*l - p + 3*p + 6 = 0, 2*l = p + 3. Solve l = -4*m + m for m.
0
Suppose -8 = -0*j + 2*j. Let d(l) = -5*l - 1. Let q(a) = 4*a + 1. Let s(y) = j*q(y) - 3*d(y). Let g be s(-4). Solve f + g + 1 = 0 for f.
-4
Let v = -2 + 5. Let y be -1*(-4 + v) + -1. Suppose y = -5*q + 4*q + 1. Solve -c + 4 = -q for c.
5
Suppose 0 = -10*p - 20 + 60. Solve -2*z = -0*z + p for z.
-2
Let u be 3 + (-16)/4 - (1 + -4). Suppose 4*j - 5 = -3*s + 7, j - 2*s + 8 = 0. Solve j + 4 = -u*l for l.
-2
Let p(l) = l + 1. Let n(u) = -u - 1. Let w(t) = -n(t) - 2*p(t). Let c be w(-5). Let h be (-10 + 0)/((-2)/c). Solve -g + h = 4*g for g.
4
Let u(p) = -3*p**3 - 3*p**2 + 2. Let l be u(-2). Suppose 0 = -51*d + 57*d - 36. Suppose 0 = -2*v + 4*v - 8. Solve d = v*f - l for f.
5
Let f(z) = -z**2 + 7*z + 6. Let d be f(7). Let p = -9 + d. Let i be -1*(-3 + p/(-3)). Solve 6 + 4 = i*n for n.
5
Let t be 12 + -2 + 0 + -2. Let b = t + -2. Suppose -3*y - 84 = -5*p, 3*p + y - 36 = -2*y. Solve 0 = -b*j + j + p for j.
3
Let s = -42 - -44. Let m be 1/(-5) + 32/10. Solve s*n + m = 3*n for n.
3
Suppose -2*z + 6 = z. Suppose 0*v + z*v = -12. Let u = 10 + v. Solve u*q - 16 = 4 for q.
5
Suppose -5*y + 33 = -2*p, -2*y - 10 = 3*p + 2*p. Solve -1 + 21 = y*c for c.
4
Let k be 8 + 4/(16/(-12)). Solve -k*v + 4*v - 3 = 0 for v.
-3
Let d = -5 - -2. Let o(z) be the third derivative of z**5/60 + z**4/8 - 15*z**2. Let n be o(d). Solve 5*p + 4 - 24 = n for p.
4
Let q(p) = p**2 - 9*p + 4. Let x be q(7). Let z = -6 - x. Solve 0 = -w + z for w.
4
Suppose -g + 5 = -24. Let t = -17 + g. Suppose 2*s - 9 = 2*h + 5*s, 2*h = -2*s - 6. Solve -3*y + t = -h*y for y.
4
Let g be 12/(-8) - 1/(-2). Let k(q) = -q + 1. Let x be k(g). Solve s = -x*s for s.
0
Suppose -4*f + 4 = -2*f. Let s(b) = -15*b + 3. Let d be s(f). Let m = -17 - d. Solve u + u = m for u.
5
Suppose -11 + 3 = -2*g. Let c = g - -1. Solve 2*f + c = 1 for f.
-2
Suppose r - 4 = 3*r. Let u be r/3*3 - -5. Solve u*f + f + 16 = 0 for f.
-4
Let p be (-6)/(-8) + 54/(-8). Let q = -4 - p. Solve -q*w + 6 = -2 for w.
4
Let o = 1 + 0. Let k be (0 - -2) + 0/o. Let v(j) = j + 10. Let x be v(-10). Solve x*u = -k*u - 8 for u.
-4
Let d = -6 - -4. Let r = d + 3. Solve -5 = -2*h + r for h.
3
Let x(k) = -3*k**3 - k**2. Let o be x(-1). Suppose 3*b - o = 2*b. Suppose b*y - 25 = -3*y. Solve 5*t = 25 - y for t.
4
Let w(j) = -3*j + 15. Let k be w(5). Suppose k = -2*n - 4*n + 24. Solve 0 = 4*s + n + 4 for s.
-2
Let b(d) = d**2 - 36. Let s be b(-6). Solve s*p = -p - 5 for p.
-5
Let v be -1 + -3*1/(-1). Suppose -8*b = -4*b. Suppose -3*r + 6 = v*u - b*u, -2*r + 4 = u. Solve u*h + 1 = -h for h.
-1
Let k = 7 - 5. Let v = 4 - k. Let q be (0/(-4))/(v/2). Solve -2 = -x - q for x.
2
Suppose 4*x + 12 + 0 = 0, 5*x = -2*d + 5. Solve 5*u - 3*u = -d for u.
-5
Let v(m) = m**3 - 11*m**2 - 14*m + 27. Let j be v(12). Solve 2*w = 3*w - j for w.
3
Let q(b) = -2*b - 3. Let s be q(-6). Let w be (-4)/(s/12 + -1). Suppose 5*g - 4 = w. Solve -g*z = -0*z + 16 for z.
-4
Let d = 4 - -1. Suppose 2 = -3*u - u - 2*z, -d = -3*u + 5*z. Solve 0 = r - u - 1 for r.
1
Let x(m) = -m + 1. Let d be x(-1). Suppose d*z - 4*z = -16. Suppose -7*s + 3*s + z = 0. Solve 2 = 3*k - s*k for k.
2
Suppose 0 = 3*k + 5*y + 18, -5 = -2*k + 2*y - 17. Let d = k + 11. Solve 2*v + d + 3 = 0 for v.
-4
Let m(b) be the third derivative of b**4/24 - b**3/2 + 3*b**2. Let q be m(6). Suppose -4*i - 3*v - 3 = 2*v, -q*i - 3*v = 0. Solve t - 2 = -i for t.
-1
Suppose i = -0*i. Let s(q) = q**2 + 4*q + 2. Let o be s(-4). Let a = 2 + o. Solve i*d = a*d for d.
0
Suppose -2*q - 3 = 3*o, q - 6*q - 2*o - 35 = 0. Let w(j) = -3*j - 13. Let n be w(q). Solve 0 = 4*g + n + 2 for g.
-4
Let l(u) = u - 5. Let c be l(8). Let b = -15 + 4. Let w be 0/2*b/(-22). Solve -c*f = -w*f for f.
0
Suppose 10*u = 12*u - 6. Solve 0 = -4*h - u - 5 for h.
-2
Let s(c) = c**2 + 6*c + 3. Let f be s(-5). Let t(u) = -u. Let b be t(f). Let v = -2 + 5. Solve -q + b*q = -v for q.
-3
Let m(r) be the first derivative of r**2/2 - 4*r - 6. Suppose 4*k + 6 = -l, -3*l + k + 3 = 6*k. Let d be m(l). Solve 11 = -d*x + 3 for x.
-4
Let h(p) = -p**2 + 4*p + 2. Let f be h(4). Solve -5*v + f + 3 = 0 for v.
1
Suppose 12 = -2*y - 2*y. Let f be y/(-2 - (-1 + 0)). Let m(n) = n**2 - 3*n + 4. Let a be m(3). Solve -a*p = -f*p - 1 for p.
1
Suppose -4 = -4*q + 5*q - 4*a, -q + 5*a - 5 = 0. Solve -2*y = -q*y + 6 for y.
-3
Let n(j) = -j + 4. Let q be n(-5). Suppose -q - 3 = -3*b. Solve 6 = -b*p - 2 for p.
-2
Let v(h) = 5*h**2 - 2*h + 1. Let q be v(1). Let p(i) = -2*i + 3. Let g be p(-6). Suppose -4*z = 5*t - 0*z - g, -3*z = -q*t + 12. Solve 7 = -t*f - 2 for f.
-3
Let a = -8 - -9. Solve 3 - a = -o for o.
-2
Suppose 7*b - 9*b = -5*w + 7, -3*w + 5*b = -8. Let f(u) = -2*u + 1. Let y be f(-1). Suppose -y*s - 3 = 2*a - 4, -3*a = 3*s + 3. Solve s*r + w = -2 for r.
-1
Let p(d) = d + 5. Suppose -3*c = 3, -c + 4*c = -l. Suppose -5*m = l*b + 32, -m - 2 = -2*b - 6. Let z be p(m). Solve 0*a = a - z for a.
1
Suppose 15 = k + 3*g, -3*k - 5*g + 25 = 2*k. Let z be 12/6 + 0 + 2. Let s(v) = -v**3 + v**2 + 2*v. Let x be s(2). Solve x = -z*t - k + 8 for t.
2
Let w(d) = d + 3. Let h be (-5)/10*6/(-1). Let x be w(h). Solve -r = -x*r for r.
0
Suppose 2*t + 23 = -3*v, v = 2*t + 5*v + 28. Let k be 6/(-4)*(2 + t). Solve k*a = a + 10 for a.
5
Suppose 0*z - 2 = 2*z. Let h be (z/(-3))/((-3)/(-18)). Solve -h*x + 0 = 2 for x.
-1
Suppose 3*d = -0*d + 15. Let c = -3 + d. Solve -3*y + c*y = -4 for y.
4
Let n(k) = -k**3 - 6*k**2 + 7*k + 6. Suppose u - 2 = -0*u. Suppose -u*v - 17 = -3*s, 5*v - 5*s + 14 + 26 = 0. Let y be n(v). Solve -y*g = -3*g - 12 for g.
4
Let p(w) be the second derivative of 2*w**3/3 - w**2/2 - 4*w. Let k be p(1). Solve -k*f - f = 20 for f.
-5
Suppose -k = 3*k. Let z = k + 1. Solve 4 = u - z for u.
5
Let k be 35/(-6) - (-5)/(-30). Let m be (k/9)/((-2)/15). Suppose 5*n - 15 = 0, -5 - 1 = -3*l + m*n. Solve 5*b = -l - 8 for b.
-3
Suppose -2*d + 20 = 3*l - 6*l, -4*d = 3*l + 14. Suppose -4*w = -y - 44, -34 = -3*w - 2*w - 4*y. Let u = l + w. Solve -4*i = -16 - u for i.
5
Suppose -5*n - 3*k + 13 + 19 = 0, k - 12 = -2*n. Let v be (-6)/(-4)*(2 + 0). Suppose -v = n*x - 11. Solve 0 = x*g + 8 - 0 for g.
-4
Let y be -1 + (1 - -2) + -2. Solve 3*a + y*a = 15 for a.
5
Suppose -5*c + x + 1 - 3 = 0, -4*x = -5*c - 8. Let y be (-2 - -2)/(3 + -1). Suppose 9*t = 4*t - 4*s + 5, y = -t - 3*s - 10. Solve -20 = -t*b - c*b for b.
4
Let v = 27 + -39. Let z be (1 + -8)*v/14. Solve h = 4*h + z for h.
-2
Let o be 5 + (-15)/3 + 3. Let w = o + -1. Solve 1 = -w*t + 3 for t.
1
Let b = -47 + 47. Solve 4*v - 10 + 2 = b for v.
2
Suppose 0 = 4*t - 16 -