 for d.
2
Let l(g) = -2*g**2 + 15*g - 16. Let a be l(6). Solve u + a = 3*u, w = -5*u + 8 for w.
3
Let a(n) = 20*n + 32. Let v(i) = 7*i + 11. Let g(l) = -6*a(l) + 17*v(l). Let m be g(-8). Solve 0 = -m*z - 2*o - 10, 0*z - z - 3*o = 1 for z.
-4
Let m = -94 - -97. Let v be (-4)/(-6) + (-14)/(-6). Solve t - v = 4*t - y, -m*y = 5*t + 5 for t.
-1
Suppose 3*f + 3*v = 6, 0 = -f + 3*v - 2*v + 2. Let s be (3 - -5)/(f/5). Solve -c - 2*w + s = -6*w, 5*c - 2*w = 28 for c.
4
Suppose 0*i - 3*i = -6. Solve -n - r = 5 - 1, -1 = i*n - 5*r for n.
-3
Let j(o) = o - 8. Let q be j(6). Let s be (-264)/(-27) + q/(-9). Solve -4*u = -b + 5, 3*u - 2 + s = 5*b for b.
1
Suppose 2*u = 5*u - 2*u. Suppose j - 4*j = 0. Let g = 8 + -5. Solve -y + 2*y = j, g*z + y + 3 = u for z.
-1
Suppose l - 7 = 5*i + 2, -5*l - i = -45. Suppose -4*o - 18 = -6, -3*o = -3*r + l. Let g be (0 - r) + 7 + -1. Solve -4*t + g = -3*v + t, v - t = 0 for v.
3
Let c be 20/9 + 6/(-27). Solve 3*a = y + 16, -c*y + 3*y + 24 = 5*a for y.
-4
Let t be 2/(-5) - 24/(-10). Suppose -2 = z - t*z - 2*s, 0 = -s. Solve 5*a = -2*r + 23, 4*r - 2*r - 2 = z*a for r.
4
Let c = 5 + -3. Let k = c - 2. Let l(b) = 2*b + 31. Let p be l(-14). Solve p*s = k, -x = 4*x - 3*s for x.
0
Let n(v) = v**3 + 8*v**2 - 9*v + 2. Let s be n(-9). Solve s*r + p - 4 = 1, -2*r + 20 = -2*p for r.
5
Let h(b) = 3*b**2 - 16*b + 6. Let l be h(5). Suppose -11 = -3*o + n, -4*o - 2*n + 2 = 4. Solve 5*c = 4 + l, o*k + 5*c - 13 = 0 for k.
4
Suppose -5*j = -2*j - 9. Solve -5 = -j*l - k - 11, -4*l = -4*k + 8 for l.
-2
Let k be ((-5)/(-10))/((-1)/(-2)). Let d = k - -1. Suppose -5*r - 22 = -d*t, -2*t + t + 3*r = -13. Solve 4*a - 3*i - t = 0, 2*i + 7 = -3*a - 5 for a.
-2
Suppose p + 3*p = -4. Let l = p - -3. Let z be (-4)/l*(-87)/6. Solve -3*n + z = 5*k, 2*n = -2*k - 0*k + 14 for k.
4
Suppose -5*g - 3*c + 49 = 0, -2*g + 51 = 3*g + 2*c. Solve 3*p = -3*z + 6 - 3, -3*z + g = 5*p for p.
4
Let y be 70/((-2)/(-6)*2). Suppose -5*p + 0*p = -y. Solve 24 = -3*u + 3*h, 6*u - 3*h + p = 4*u for u.
-3
Suppose -2*c + 7*c = -5*x + 10, -5*x - c = -14. Let f(v) = v**3 - 3*v**2 + v - 1. Let j be f(x). Solve 0 = -3*t - k + 5, t - j*t - 3*k = 9 for t.
3
Suppose -l - 2*i + 7 + 1 = 0, -5*l + 68 = -4*i. Solve 3*n + 5*s - l = 0, 0*n - 5*s = -3*n + 12 for n.
4
Let j(s) = -s**2 - 3*s + 5. Let b be j(-5). Let k be (b/(-2) - 1)*2. Solve -n + 7*l = k*l + 20, -12 = -2*n - 5*l for n.
-4
Let q = -3 - -20. Let n = 6 + -2. Suppose 0 = 4*o - v - 4, 2*o - o - v = n. Solve -4*y = 5*h - 3*y + 13, o = -h - 5*y - q for h.
-2
Let s(j) = j - 9. Let k(t) = -t**2 - t + 10. Let p be k(0). Let i be s(p). Let c = 4 - i. Solve -12 = -o + 3*g, 3*o + 4*g + c = -0 for o.
3
Let q be 5/((-5)/(-2)) - 0. Let u be (-15)/q*(-10)/15. Solve 12 = -2*b - c + 4*c, 0 = -u*c + 10 for b.
-3
Suppose 2*i + 4 = 0, 5*i - 1 = -q - 9. Suppose -q*j - j + 36 = 0. Let f = 853 + -849. Solve 4*d - 2*o = -o - 10, 0 = -2*d + f*o - j for d.
-2
Suppose -v - 3*v + 8 = 0. Let j = -4 + 6. Let l be 0/((0 - j) + 3). Solve p - v*y = -5, l = -2*y + 6 + 4 for p.
5
Let r(d) = d - 2. Let z be r(2). Solve -5*g + 0*g = z, -2 = n + 3*g for n.
-2
Let m(g) be the second derivative of g**5/20 + 3*g**4/4 + g**3/6 + 11*g**2/2 - 2*g. Let v be m(-9). Solve -v*u - 5 = -h + 4, 2*u - 3 = -3*h for h.
3
Let f = -76 - -76. Solve -5*u + 4*q + 0*q + 35 = 0, f = 2*u - 5*q - 31 for u.
3
Suppose 0*i = -3*i + 18. Let u(q) = -q**2 + 6*q + 4. Let k be u(i). Solve 23 = -c + k*v, 3*v - 9 = -c + 3 for c.
-3
Let c = -4 + 10. Suppose 2*k = c*k. Let g = k + 2. Solve -2*f + 0*l + l - 11 = 0, -g*l + 14 = -2*f for f.
-4
Suppose 4*r = -r + r. Let c be -2*47/(-2)*1. Let g = c - 19. Solve -5*h - 4*s + g = r, 6*h - s - 6 = 4*h for h.
4
Suppose 4*k + k = 20. Suppose 4*u + k*v + 4 - 20 = 0, 5*u - 2*v = 27. Solve -3*i - 14 = g, i - u*g = -2*i + 16 for i.
-3
Suppose 0*l - 4*l - 12 = 0. Let x be -6*(l/(-3))/2. Let o be (2/(-6)*0)/x. Solve -3*u = -5*r + 4 - o, 3*u = 2*r - 7 for r.
-1
Let c = 143 + -134. Solve -3*s + 6 = -0*u - u, 2*s - 5*u = -c for s.
3
Let h = -9 - -11. Solve m - 2 = -h*s - 0, -5*s = 5*m + 5 for s.
3
Let h(o) = o**2 + 2*o. Let r be h(-2). Let m be 2 + (r - (0 + 0)). Suppose 4*k - 26 - m = 0. Solve -2*y + p = k, y + p + 11 = -3*y for y.
-3
Let z(f) = f**2 + f + 1. Let o = 5 - 7. Let s be z(o). Let k be ((-8 - -5) + 3)*1. Solve k = -3*n, -t + 5*n - 4 = s*t for t.
-1
Let a = -9 - -11. Solve 13 = 2*z - 3*o, -3*z - a*o - 21 = -8 for z.
-1
Let z(r) = -r**3 - 3*r**2 + 3*r - 1. Let b = 0 - 3. Let l be z(b). Let i be (-8)/l*35/14. Solve -a - i = 0, 6*d - a - 18 = 2*d for d.
4
Let s be (-8)/16 + 39/2. Solve 4*l + 2*o + 4 = 6*l, 0 = -5*l + 2*o + s for l.
5
Let d be 0*(-1 - (-12)/16). Let b = 7 + -3. Solve -5*t = 2*n - d*n, 0 = -b*n + t + 22 for n.
5
Let i = -15 + 17. Solve 5*c - 14 = -k, 0*c = i*k + c - 10 for k.
4
Let w be 1/(-4) - (-27)/12. Suppose 0 = w*o - 6, -3*o + 6 = m - 9. Let u = 6 - m. Solve n - t = -3, u = 2*n - 3*t + 2 + 2 for n.
-5
Let c be (-6)/(-4)*(-28)/(-6). Let v = 38 + -29. Suppose 3*u = 8*u + 5*f - 35, -3*f = 2*u - 19. Solve 5*r + u = c, 0 = -2*d + r - v for d.
-4
Let i be (4/(-14))/(1/(-7)). Let g be (i/4)/(2/12). Suppose -l + 5 = -2*v, -11 = v - 5*l + 14. Solve v = u - g, -4*q - q + u - 28 = 0 for q.
-5
Suppose -32 - 7 = -3*s. Suppose -3*w = -5 - s. Solve 5 = 2*b - p, 3*b + 2*p = -p - w for b.
1
Let x = -17 + 27. Solve 2*l = -4*r - x, -3*r - r + 2*l = 30 for r.
-5
Let a(g) = -g**3 + 5*g**2 - 2*g - 4. Let p be a(4). Suppose 2*d - 4 = p. Solve -f + d*w = f + 10, 5*w - 30 = -f for f.
5
Let s be (-17 - -19)*(-5)/(-2). Solve 26 = -2*u + 3*j + j, -5*j = 3*u - s for u.
-5
Suppose -2*w - w - 1 = -5*q, -4*q + 14 = 2*w. Suppose -6 = -2*s - 2*t, 0 = -4*s + t - 0*t + 22. Solve -s = -y + u - 0, y - w*u - 7 = 0 for y.
4
Let t be 0/((-2)/4*2). Suppose 0 = 4*j - t*j - 12. Solve 3*v = -4*y + 29, 2*y - 9 = -j*v + 10 for y.
5
Let g be ((-10)/(-25))/(4/20). Solve -n = g*k - 5 - 2, -3*k = 5*n for k.
5
Let b(x) = -x**2 + 3*x + 5. Let v be b(4). Let z(t) = t**3. Let l be z(v). Suppose -6 = -q - l. Solve -f + 2*r - q - 2 = 0, 5*r = f + 13 for f.
-3
Suppose -10*x = -7*x - 6. Let m(b) = b**2. Let z be m(2). Suppose 5*p = -4*q + 12, z*p + 9 = 3*q - 0*q. Solve r + 7*y = 3*y - 11, x*r = q*y + 22 for r.
5
Let i = 90 + -90. Solve i = k + 2, -5*k = -5*d - 2*k + 21 for d.
3
Let q = 20 - 4. Solve 2*m + 4*a = -q, 3*a = 3*m + a for m.
-2
Suppose o = 2*o - 4. Let f = o - 4. Solve 5*j - 5*w = 0, 0*w + 2*w + 2 = f for j.
-1
Let i be 7/(-14) + 29/2. Solve -q = -4*u - 19, -2*q = -6*q - 2*u - i for q.
-1
Suppose -4 = -2*a, -4*b = -b - a - 97. Suppose -5*g + b = 4*o, 0 = -0*o - 2*o - 5*g + 29. Solve 2*c + 4 = o*u, 3*u + 5*c - 4 = u for u.
2
Suppose -b - 2*b + 9 = 0. Let q(l) = b - 3*l - 5 + l. Let z be q(-3). Solve -i = z*i, -i = 5*c for c.
0
Suppose -4*p + 38 = -m, -2*p - m + 7 = -p. Solve -4*l + 3*s - p = 0, 3*s - 6 = -l + 3 for l.
0
Suppose 4*i - 6 - 2 = 0, -5*z - 4*i - 7 = 0. Let k = -11 - z. Let u be (-2)/k - 316/(-16). Solve -2*w - 4*b + b + u = 0, -8 = 3*w - 5*b for w.
4
Let j be 40 + -1 + 2/2. Suppose 2*q = -3*q + j. Suppose -2*l + 31 = -3*o - 2*o, -2*l + 11 = -o. Solve -l*w = -t + 14, -5*t = 3*w - q*w - 40 for t.
5
Let w be -49*(-3 - -2 - 0). Suppose 2*t - 33 - 122 = j, 4*t + 4*j - 340 = 0. Let a = t - w. Solve -a + 7 = -4*h - 2*l, -2*h + l + 4 = 0 for h.
4
Let j = -22 - -34. Let n = 0 + 4. Suppose p + 0 = -n*y - 2, -1 = y. Solve 0 = -0*q + p*q + 2*s, -j = -3*s for q.
-4
Let y = 4 - 6. Let w = 18 - 12. Let x = y + w. Solve -2*b + 4*d = -4, 0*d = -2*b - x*d - 4 for b.
0
Let u be 0/(-2)*(1 + 0). Suppose u = c - 10 + 1. Solve 4*b + 23 = i, i - c = 3*b + 3*i for b.
-5
Let g(d) = -5*d**3 - d + 1. Let f be g(1). Let r be f*(8/(-10))/2. Solve -12 = -5*n - r, 7 = -3*u + 2*n for u.
-1
Suppose 0 = -2*i - 0*i - 280. Let z = -95 - i. Let d = z + -31. Solve -5*h + d = -v, -4 + 19 = 5*h for v.
1
Let g be 18/5 - (0 + (-12)/30). Solve 22 = 2*v + g*s, -2*v + 5*s = v for v.
5
Let r = 6 + -4. Suppose 1 = r*j - 5. Solve j*f - 5*a = 7 + 5, -a - 2 = -f for f.
-1
Let p be -2*1 + -1 + 0. Let f be (5/p)/(4/(-12)). Solve -2*u - 7 = f*w, -u = 3*u - 4*w for u.
-1
Let w(c) = c**2 + 4. Suppose 0 = -q + 4*u - u + 3, -2*q - 4 = 4*u. Let b be w(q). Suppose b*l - l = 0. Solve -3*m - 7 = -4*f - l, -5*m - f = 4 for m.
-1
Suppose 