 - 3*k for d.
1
Let q = -3 + 3. Suppose q*p = -4*p. Solve 16 = -4*s + 3*z, -5*s - z + 3*z - 13 = p for s.
-1
Suppose w = l + 4, 26 = l - w + 6*w. Let t be (3 - 0)/3 - l. Suppose t*b + 4*b = 8. Solve 0 = -3*m + b*m + 3*j - 16, 32 = -5*m + 3*j for m.
-4
Let d be 3/(5/(75/9)). Suppose d*m - 1 = 24. Solve -3*l + 2*u - 3*u = 1, m*l = -2*u for l.
-2
Suppose -4*v = -5*c + 29, -4 + 28 = 4*c - 4*v. Suppose -3*x = -2*m - 58, c*x + m - 109 = -34. Solve -x = 5*l - 4*y, l - 4*y - 8 = 2*l for l.
-4
Let q(r) = -r + 13. Let h be q(-9). Suppose 0 = -4*i - 2*z + 32, -i + 2*z = 6*z - h. Let y be (5/3)/((-1)/(-3)). Solve t = y*m - 9, -i*t + 3*t + 3*m = 15 for t.
-4
Let l(o) = o**2 + 7*o + 7. Let s be l(-6). Suppose 7 = 2*c - s. Solve -5*r - 19 = -c*g + 5*g, -3*r = 9 for g.
-4
Let s(i) = 16*i - 6. Let k(n) = n + 4. Let d be k(0). Let u be s(d). Let g = u - 41. Solve -p + 3 = 4*h + g, 5*h + 21 = -3*p for h.
-3
Let d(u) = 0*u + 2*u - 3 + 2 + 2. Let q be d(1). Solve -q*a = 5*f - 25, 0 = 3*a + 3*f - 10 - 5 for a.
0
Let x = -11 - -11. Solve 0 = 3*m + 3*s, -m + x*m - 4*s + 6 = 0 for m.
-2
Suppose 0*a + 2*a - 28 = 0. Let o be (-2 - a)*6/(-8). Solve -4*h + 0 = o, -2*h - 26 = 4*c for c.
-5
Let p = -13 - -52. Suppose 3*j - 2*j - 4*d + 34 = 0, -j = -5*d + p. Let x be j*((-3)/(-2) + -2). Solve 2*z + 5 = -f + x*z, -2*z - 11 = -3*f for f.
5
Let n(h) = -h + 9. Let k = 13 + -7. Let s be n(k). Suppose 0 = -j + 10 + s. Solve 5*z - 4*w = -19 - 2, 2*w - j = 3*z for z.
-5
Let g = 19 - 15. Solve 6 = -g*v - 3*m - 2*m, 0 = -2*v + 2*m + 6 for v.
1
Let v be 0 - -2 - (-4)/4. Solve 2*x = -v*q + 7, q + 20 = 6*q - 5*x for q.
3
Let l be 8/(-6)*39/(-26). Solve 0 = l*o + 10, 0 - 2 = 4*a - 2*o for a.
-3
Suppose 0*j = -j + 4. Suppose f - j*f = -15. Suppose f = 3*g - 7. Solve -12 = -4*h - g*y, -2*h + 3*y = -3*h + 7 for h.
1
Let g(s) = 9*s - 41. Let c be g(5). Solve d - 1 = b, -b = c*d - 3*b - 12 for d.
5
Let u be 4*((-8)/4 + 28/8). Solve -y - s = -u, 0 = y - s + 3*s - 9 for y.
3
Let o(q) = -q**2 - 7*q - 2. Let j be o(-6). Let b = 6 + 19. Solve -3*k + j = 1, -4*p - b = -5*k for p.
-5
Let n be 12/(-8) - (-29)/2. Solve 3*t + 4*y - n = 0, -t - 4*y + 9 = 2 for t.
3
Suppose q - 22 = 3*i, q - 5*i - 6 = 24. Solve 5*n = -4*m, 5*n - 5*m = 55 - q for n.
4
Let k = 18 + -15. Suppose -k*a + 4 = -2. Solve -2*p + 3*p + 5*l = 0, 0 = -a*p + l + 11 for p.
5
Suppose -74*p = -68*p. Solve p = -g - 3*r + 2*r + 3, 4*g = 2*r - 18 for g.
-2
Suppose -3*m = -5*m - 4. Let v = 0 + m. Let a = 4 + v. Solve 3*r + 15 = -h + 3, -3*r = -a*h + 21 for r.
-5
Let w be 4/18 - 4/18. Suppose -4 + w = -2*f. Suppose 0 = 3*r - f*l - 15, 3*r + 3*l = -0*r. Solve 0 = -r*b - b + 5*m + 45, -2*m - 30 = -4*b for b.
5
Let x(f) = f**3 + 5*f**2 + 3*f - 1. Let p be x(-4). Let z be 19 - (-2 + 0 + 1). Suppose z = 6*j - j. Solve -7 = -p*v + j*k, k + 1 = -v + 4*k for v.
5
Let o = -66 + 123. Let s = o - 34. Solve 5*q - i = s + 1, 4*q + i = 12 for q.
4
Let b(r) = -r**3 + r**2 + 3. Let m be b(0). Suppose m*o = -0*o + 51. Let x = 27 - o. Solve 8 = 5*i - 2, 0 = -4*p + i + x for p.
3
Let i be (-6)/(-5)*35/14. Solve -3*w = 3*p - i, 4*p - 2*p = -4*w for w.
-1
Let l(q) = -q**3 - 5*q**2 + 7*q - 4. Let v be l(-6). Let k be (-4)/v - 126/(-35). Solve -4*a = -3*h - k, -2*h + a = -4*h - 10 for h.
-4
Let o be 6/((-1)/((-4)/6)). Solve 5*y - 5*g = 6*y - o, -2*g = -2 for y.
-1
Let v = -2 + -4. Let p = v - -6. Let i be 0 + p + (0 - -2). Solve 0 = 2*l - 2, i*g + 4*l = -2*g + 16 for g.
3
Let g(v) = v - 4. Let b be g(4). Let h be (-3)/18 - 1925/(-30). Suppose w - 5*w = -h. Solve 5*p = -b*o + 4*o + 40, -4*o - w = p for p.
4
Let y = 24 - 14. Let n = y - 7. Solve d + 3*o + o = -4, 6 = -n*o for d.
4
Suppose -w + 9 = 5*n, -3*n = n + 2*w - 6. Let s be 0/(n + -4) + 2. Solve t + 4 = 3*l, 0 = s*l - 3*l + 4*t + 16 for l.
0
Let t be (4/(-8))/((-1)/2). Suppose -i + t = -3. Solve -i*n = -4, 5*d - 5*n + 0*n = -5 for d.
0
Suppose -3*p - 5*y + 2 = 27, 0 = 3*p + y + 5. Suppose -f + 4 = -q, -3*q + 0*q = p. Solve 2*j - 2 = -5*n + f*n, -3*j - n = -2 for j.
0
Let m(h) = -h - 13. Let s be m(-19). Solve -w = 2*g - 3*g - s, -3*g - 24 = -5*w for w.
3
Suppose 0*t - t = -2. Suppose 0*j = j - t. Solve -2*c = 3*y + 13, 2 = j*c - 0*c for y.
-5
Let z(p) = -p - 7. Let h be z(-7). Suppose 0 = 5*i + 14 + 16. Let w be (-3)/(-2)*(i + 8). Solve -3*d = -4*q + d + 8, h = -w*q - 2*d - 14 for q.
-2
Suppose s - 6 = -s. Let d be (-2 - 3)*-4 + -2. Let n be (-2)/8 + d/8. Solve -u + 4 + n = j, -s*j + 2*u = 7 for j.
1
Suppose -4*n + n + 12 = 0. Suppose -n*d = d. Solve 4*b + 4*k + 28 = 0, b + 2*b + 4*k + 24 = d for b.
-4
Let w(o) = o**2 - o. Let h be w(-1). Suppose h*x - 7 = 3. Solve x*d + 22 = -s, -9 + 3 = d + s for d.
-4
Suppose 4*w = -2*v - 3 + 19, 5*w + 4*v - 20 = 0. Suppose -x + 19 = 2*b - 0, -w*b = 3*x - 37. Let l = 40 - 36. Solve -l*k = -4*t - 20, 33 = -5*t + 4*k + b for t.
-3
Suppose -7 = k + 2*z - 1, 2*k - 3*z = -5. Let i be 18/k*(-8)/12. Solve -3*t - 3 = -2*t + i*b, b = 4*t - 14 for t.
3
Let l be -2 - (-1)/(1/7). Let o = l + 0. Solve -2*y + o*r = y - 15, 15 = -2*y - 5*r for y.
0
Let l(o) = -4*o - 10. Let p be l(-5). Suppose -2 = -3*h + p. Solve -2*s - h = 3*g + 2*g, 3*s - 15 = 3*g for s.
3
Suppose -3*h = 5*m - 26, 0 = -5*m + 3*h + 14. Solve -3*u = u + m*g - 32, 3*u - 19 = -2*g for u.
3
Let o be 2*57/24 + 3/(-4). Solve -3*i = -o*h + 3, i = -0 + 3 for h.
3
Let g = 4 - 0. Suppose -3*w = 5*p - 22, -p + 3*w + g = -4. Suppose 5*u - 2 = 2*d + 6, 3*d + 12 = -5*u. Solve -3*b - 4*x = 18, b = -u*b - x - p for b.
-2
Let i = -23 + 27. Solve -4 = i*z - 2*x, -2*x = -2*z - 0 - 4 for z.
0
Suppose a = 3 - 1. Let q be (-4)/18 + 58/18. Solve -u + q = a*d, 3*u - 6*u = -15 for d.
-1
Let u(c) = -4*c + 5. Let a(w) = -w. Let r(k) = 3*a(k) - u(k). Let h be r(5). Solve h = -2*d - 3*o - 1, -7*d + 2*d - 19 = 2*o for d.
-5
Let g = 23 - 21. Solve -2*m + 7 = -r, -g*r + 0*m + 2*m = 6 for r.
1
Suppose -3*x + 5*x - 12 = 0. Suppose -5*i - 4 = -x*i. Solve 2*h + h - 4*y + i = 0, h + 3*y = -10 for h.
-4
Let k be (-8)/20 + 36/(-10). Let u be -1 + (-7 - k - -9). Solve -u*v - 10 = l, 0 = 5*l - 2*v + 4*v - 19 for l.
5
Let f = 27 + -23. Solve -2*r = -4*n - 6, -n + f*n + 2 = 4*r for r.
-1
Let q be (-1)/((8/4)/(-8)). Solve 2*l - l = -q*u - 11, 4*u - 7 = 5*l for u.
-2
Suppose 3*q - 5*v - 26 = 5, -2*v = 2*q - 42. Suppose 3*f + 12 = -3*k, 3*f + k + q = -3*k. Solve -r + 5 = 5*g - 0*r, -g - r + f = 0 for g.
1
Let g(k) = 4*k**3 + 3*k**2 - 4*k + 3. Let m be g(2). Let z = -25 + m. Solve -w + s = 4*s - z, 0 = 4*w + 5*s - 21 for w.
-1
Suppose -3*t = -2*c - 0*t - 2, 0 = -c + 2*t. Let h be 18/12*c/(-3). Suppose 4*j + 4*a - 5 = -a, 4*a + 7 = -j. Solve -3*x + 11 = -r, -h*x = -5*r - 11 - j for r.
-2
Let i(p) = -p**3 + 11*p**2 - 18*p + 5. Let d be i(9). Solve 2*j - 9 = -3*l, 0 = -0*l - d*l + 5*j + 15 for l.
3
Let n be (20/(-6))/(6/36). Let c = -17 - n. Solve c*w = -a - w - 1, -2*a = -2*w + 2 for a.
-1
Let g(y) = y**2 + 2*y + 5. Let j be g(0). Solve 0 = i + 8*u - 4*u - j, 0 = -4*i - 5*u + 20 for i.
5
Let d = 7 - 4. Suppose 21 = 6*a - 3*a. Suppose 1 - a = -d*c. Solve 2*b = -4*q + 18, -q + 2*b = 3*q + c for q.
2
Let i = 52 + -47. Suppose 4*l = 4*f - 12, 2 = f - 1. Solve 2 = -i*n + m, 4*n + 5*m + l*m = -19 for n.
-1
Suppose 4*z - 10 = 2. Solve -3*b + 3*k = -z, -5*k - 8 + 53 = 5*b for b.
5
Let u(z) be the second derivative of z**3/6 + z**2/2 + z. Let f be u(-1). Solve i + f*i = 3*j, -5*i + 13 = -2*j for j.
1
Let c be (-3 - -2)/(-1) - (1 - 4). Solve 5*v - 2*s = 2*v - 15, 0 = v + c*s + 5 for v.
-5
Suppose -22 = -5*p - 7. Solve 3*o - 6 = -y + 2*o, 0 = p*o - 3 for y.
5
Suppose -16 = -2*s + 3*a, 0 = -s + 2*s + 3*a - 17. Solve 0 = -t - 3*r + s, -2*r + 18 = -5*t + 3*t for t.
-4
Let u be (-1)/(-1 + (-1)/(-2)). Suppose k = -k + u. Let f be (-4)/(4/(-3)) + k. Solve y - 6 = -2*z + 9, 5 = -f*y + 5*z for y.
5
Let i(m) = m - 1. Let j = 14 + -9. Let r be i(j). Solve -4*a = -4*w - 4, a + r*w + 3 - 4 = 0 for a.
1
Let s(p) = -p**2 + 5*p + 7. Let o be s(6). Let l = 2 + o. Suppose -3*m + l = -12. Solve 5*i + 2*d - 1 - m = 0, 5*d = 5*i + 15 for i.
0
Let x = -1 + 5. Suppose 45 = 2*l + l. Solve x = 4*z + 4*v - 0*v, 0 = -3*z + v + l for z.
4
Suppose 3*j = 2*a + 5, -21 = -5*a - 4*j - 91. Let c be (-16)/a + (-8)/(-20). Solve d - 4*d + 2 = z, -d = -z - c for z.
-1
Suppose 2*z = 21 + 3. Suppose -q + z = 2*q