)/(15/(-20)). Solve -2*d - 6 = 0, 0 = -2*y + x*y - d + l for y.
-3
Suppose -2*u = 3*u. Suppose 4 = 4*q - 2*m, 2*q = -m + 1 - 3. Suppose 0 = -q*s - 2*s + 8. Solve 4*b - 8*c + 3*c + 9 = u, -s*b = -2*c - 6 for b.
4
Suppose 0*g + 2*g = 6. Let f be (52/(-8))/(g/(-6)). Solve 0 = n + 3*w - f, n - 9 = -2*w - 0 for n.
1
Suppose 4 = 4*z, -3*x + 2*x = -2*z. Suppose 22*v = 227 - 7. Solve -3*r + 3 = -x*i - v, 5 = 2*r - 5*i for r.
5
Suppose 2*k - 87 = 5*k. Let c = k - -45. Solve -1 = -4*d + 15, -d + c = -3*v for v.
-4
Let p(g) = -g**3 - 6*g**2 - 2*g - 9. Let d be p(-6). Let q = -1 + -1. Let z be q + 1 + d - 0. Solve 4*i - z*b = 14, 16 = -4*b - 4 for i.
1
Let p = -39 + 40. Solve 5*j + 15 = -0*j, -p = 2*n - j for n.
-2
Suppose 4*n = 4 + 8. Suppose -11 = -t - n. Suppose -f = 0, u - 5*u + t = 3*f. Solve -5*l - 32 = 3*v, -u*v - 3*v - 24 = l for l.
-4
Let o(h) = -h - 5. Let c be o(-10). Suppose -s = n - 29, -68 - 84 = -c*s + 2*n. Solve 4*l - 2*g - 5 = g, 2*l = -4*g + s for l.
5
Let m = 37 - 35. Solve -3*c - 2*n = -4 + 6, 2*n - m = -5*c for c.
2
Let x(i) = -2*i - 10. Let f be x(-6). Let r = -1 - 0. Let l(p) = -3*p + 1. Let n be l(r). Solve n*w = 3*z - 11, -f*w = 2*z + 3*z - 1 for z.
1
Let i be 2/(-7) + 69/21. Suppose -i*l = -7*l + 4. Let t = l + -1. Solve t = 3*g - 5*o + 5, 4*o - 17 = -2*g + 7*g for g.
-5
Suppose -29 = -5*j + 16. Let b(w) = -w + 13. Let m be b(j). Solve 4*i = -5*c + 2*c - 4, 4*i + m = 0 for c.
0
Suppose -2*d + 12 = -2. Let p be ((-5)/3)/(d/(-21)). Solve 4*n + 30 = -n - 5*a, p*a + 6 = 3*n for n.
-3
Let p be 20/(-5) + 0 - (-10 - -1). Solve 0 = -2*s + 3*s - p*r - 10, 3*r = s - 4 for s.
-5
Suppose -17 = -r - 4*t + 1, -22 = -5*r - 3*t. Let q = 15 - 8. Solve r*c + q + 2 = 5*f, 4*c + 9 = f for f.
1
Let l(i) = -2*i + 39. Let p be l(18). Solve 0 = k + p, 5*k + 19 = -3*r - r for r.
-1
Let s be (-2 + 12/4)*-1. Let f be s - -1 - 0/2. Solve -h = -4*c - 18, 5*h = 5*c - f*c + 30 for c.
-4
Let a be 175/2 + (-4)/8. Suppose 4*s - 52 = 3*c, -22 = 5*s + 2*c - a. Solve -3*v = q - s, -2*v - 2*v - 5*q = -32 for v.
3
Suppose 0 + 16 = 8*q. Let t(a) = 3*a**2 + a - 2. Let v be t(2). Suppose 3*l = -l + v. Solve -q*p = -l*w + 1 + 5, 0 = 2*w for p.
-3
Let x(s) = s**2 - s + 1. Let m be x(2). Suppose -m*a = a. Solve g + 4*g + 2*f - 3 = a, -16 = -4*g - 5*f for g.
-1
Let x = -12 - -18. Let p(a) = a**2 - 4*a - 6. Let d be p(x). Solve -23 = -2*y + 5*m, 3*y - d = -y + 2*m for y.
-1
Suppose 7 = 5*r + c - 11, r = 4*c + 12. Suppose -r*w + 5*a - 46 = 0, 0*a - 18 = 2*w - 5*a. Let d = -2 - w. Solve -4*y - l = -2*l + 16, 3*y + d = 5*l for y.
-4
Suppose h - 2*u - 1 = 7, -3*h + 22 = -5*u. Solve -h*b - 8 = -3*o - o, -10 = 5*b - 3*o for b.
-2
Let i(o) = -o + 12. Let h be i(11). Let f = -1 + h. Suppose f = m - 0*m. Solve m*w - 11 = 2*w - 3*g, -2*w + 5*g - 13 = 0 for w.
-4
Suppose 4*g - 71 = 25. Suppose 0 = 4*s - 1 - 71. Suppose v - 4*x = -6*x + s, 2*v - 5*x = -9. Solve 3*t - 3*k + g = 0, 2*k - v - 11 = 3*t for t.
-3
Let y be 0*2/4*2. Suppose 3*j = -y*j + 9. Solve -j*n - m - 9 = 0, -6*n + 4*n + 8 = -4*m for n.
-2
Suppose 0 = -6*h + 139 - 43. Solve 0*o - 5*y + 7 = 3*o, -5*o + h = 4*y for o.
4
Let z(d) = -d**2 - 9*d - 2. Let k be z(-8). Solve -a - 4*l - k = 0, -a + 2*l = -0*l for a.
-2
Let y(b) = b**2 + b + 1. Let g be y(-2). Suppose 0 = 6*m + 10*m - 13*m. Solve -4*x = z + 12, 3*z - 9 = g*x - m*x for x.
-3
Let q(p) = -p - 13. Let l be q(0). Let u = -8 - l. Let d = -4 + 7. Solve -2*f - u = -4*v + 1, d*v + 3 = -f for v.
0
Let m = -94 - -94. Solve 2*b + 6*x = 3*x + 7, m = 4*b + 2*x + 6 for b.
-4
Let z(d) = d**3 - d**2 - 2. Let k be z(2). Let p = -4 + 7. Suppose h - 5*s - 5 = 0, -h + 5 = -s + p*s. Solve -3*i - h - 5 = q, 2*i - 4 = k*q for q.
-4
Suppose -20 - 4 = -4*a. Solve -4*m - 2*p = a, 4*p = 3*p + 5 for m.
-4
Let c = 9 - 5. Let p(h) = h**2 - 4*h + 3. Let f be p(3). Suppose f = -4*m + 3*a + 3, 1 = -4*m - a - 0*a. Solve 0 = -3*l - 4*t, m*l = -5*l - c*t - 8 for l.
-4
Let l(y) = -y**3 - 5*y**2 + 5*y - 4. Let m be l(-6). Let z = 2 - -1. Let s be (8/(-6))/((-1)/z). Solve m*u = s*v - 2, -7*v + 2*v + 5*u + 5 = 0 for v.
0
Suppose 5*t - 23 = 7. Solve y + 4 = -5*n + 18, -n = y - t for y.
4
Let r = 45 + -40. Solve 4*n - 2*c - 6 = -0*c, -r*c = -5*n + 15 for n.
0
Let m(s) = -10*s**3 - 2*s**2 - 2*s - 1. Let n be m(-1). Let g = -7 + n. Solve -4*i - 8 = 4*r, g*i + 3*r + 12 = -r for i.
2
Let q(y) = y**2 + 8*y - 9. Let n be q(-8). Let w = n + 12. Solve 4*m - 35 = -w*r, 2*r - 15 = -5*m + 4*r for m.
5
Let k = 1 + 1. Suppose 0 = -k*g + f - 4, -g + 2*f - 12 = -f. Solve g = 5*n - n + 3*l - 5, l = -5 for n.
5
Suppose 2*s = m + 7, -12 = 5*s - 2*m - 30. Let f = 22 + s. Solve -2*b + 6*b = 3*g + 14, -4*b = 3*g - f for b.
5
Let c be -5*(24/(-10))/1. Suppose 2*z - c = 8. Let x be 2/6 - (-8)/3. Solve m = -x*p + 12, -5*p + 0*m = 5*m - z for p.
5
Let f be (-1 - 4/(-3))*-6. Let w be (2/f)/(4/(-8)). Solve 0 = -2*z + w, 3*z - 23 = 3*x + x for x.
-5
Suppose -3*w - 4*f = -16, -f + 28 = 4*w + 3*f. Suppose 5*s = 2*q - 2 + 10, 5*s = -2*q + w. Solve -4*p - 17 = 3*a, -5*a - 14 = q for p.
-2
Let w be (1 - -3)/(1/2). Suppose w*s = 3*s + 15. Solve -2*k - k + 1 = -2*f, -5*k = s*f + 30 for k.
-3
Let u = -1 + -1. Let c = -2 - u. Suppose 0*z + 4*z - 20 = 0. Solve c*k - k - 3*q + 3 = 0, 0 = -3*k + z*q - 5 for k.
0
Suppose 4*t - 3*t = 2. Suppose t*z = z. Suppose z = a + a - 2, a + 11 = 4*p. Solve w - 2 = -f, 14 = p*w - 2*f + f for w.
4
Suppose 5*n - 29 = l, 6*l - 13 = -5*n + 3*l. Suppose 0 = -v + 6*v - 20. Solve j - n*t = -v*t - 10, -j - 5*t = -20 for j.
-5
Let t be ((-4)/24*2)/(1/(-15)). Solve -4*q - 2*v + 20 = 0, -t*q - 3*v + 25 = -0 for q.
5
Let r(i) be the first derivative of 6*i**2 - 3*i + 2. Let l = 1 - -1. Let p be r(l). Solve -2*b - 13 + 1 = z, -5*b + 2*z = p for b.
-5
Let i = -14 + 26. Let u = -11 + 20. Let y = i - u. Solve y*n - 12 = -3*c - 2*n, -3 = -n for c.
-1
Let h(u) = -6*u + 4. Let x(m) = -5*m + 4. Let q(t) = 6*h(t) - 7*x(t). Let s be q(-6). Let w = -2 + 6. Solve -i - 20 = w*i - s*v, -v = 5*i + 20 for i.
-4
Let d be (-8)/36 - 40/(-18). Let a be d/(-4) + (-46)/(-4). Solve 0 = -2*u + 4*l - 0*l + 14, 3*u = -2*l - a for u.
-1
Let n(h) = h**3 - h**2 - h + 5. Let q be n(0). Let i = q - 2. Solve -14 = -y + 4*g, y = -i*y - 4*g - 24 for y.
-2
Suppose -9 = -x + r, 0 = x + r + r + 3. Let q = x - 5. Solve q = 3*c + 5*a + 9, -12 = 4*c - 5*a + a for c.
-3
Let t(g) = 6*g**2 + g + 1. Let f be t(-1). Suppose z = -z - f. Let c(r) = -r**3 - 2*r**2 + r - 1. Let n be c(z). Solve 2*k - 8 = 0, -n*a + a - 8 = -4*k for a.
2
Let y(k) = k**2 - 16*k + 20. Let o be y(15). Solve x - 4 = 0, 0 = o*b - 4*b - x - 1 for b.
5
Let j be 3 - 1/2*4. Let k = 6 + 2. Suppose 2*l + 0 = k. Solve 4 = -3*t + j, -l*z - 4*t = -16 for z.
5
Let c be (-220)/(-18) + (-8)/36. Solve -q - 2*n = n + 4, 3*q + n = c for q.
5
Let c be (3 - (3 - 1)) + -3. Let m be (-2)/(c/3 - 0). Solve -5*o + 3*o - 4*w = 2, m = -w for o.
5
Suppose -i - 33 = -14. Let o = i - -22. Solve 3*k - 14 = -4*f, 6*f - 5*k + 4 = o*f for f.
2
Suppose -5*h + h = 16. Suppose -4*x - 1 - 31 = 0. Let k = h - x. Solve 3*p = k*d + d - 24, 4*p = -4*d for d.
3
Let k = 19 + 10. Solve 4*q = -v - 7, -9*v = -3*q - 5*v - k for q.
-3
Let w be 2 + 2 + 0 + 1. Suppose q - w + 1 = 0. Suppose a + 2*p = -a + 10, 5*a - 24 = -q*p. Solve 4*d = 4*i + a, 5*i - 2*i + 15 = -d for i.
-4
Suppose -4*l = 0, 7*c - 11*c = -3*l - 12. Let z(k) = -k**3 + 2*k - 1. Let v be z(1). Solve v = -y - c*y + 5*f - 2, -10 = -5*f for y.
2
Let v be 3 + ((-9)/(-1))/3. Let o be 3/v*2*5. Suppose -o*h - 3*l = -4*l - 11, h = -2*l. Solve -15 = -3*t, 14 = -2*m - h*t + 4*t for m.
-2
Suppose -7*c = -9*c. Solve c*b - 3*b = -4*n + 12, 0 = -5*n - b - 4 for n.
0
Let o(m) = -5*m**3 + 5*m**2 - 5*m. Let i(y) = y**2 - y. Let z(k) = 6*i(k) - o(k). Let v be z(1). Solve v*h - 4*b + 24 = 0, 5*b + 2 = h + 11 for h.
-4
Let u = -8 - -8. Suppose 5*v - 3 - 47 = u. Let j = -7 + v. Solve 0 = 2*p + j*t + 5, 4*p - p + 5*t = -10 for p.
5
Let r(w) = -w**2 + 8*w + 2. Let i be 15/(-10)*48/(-9). Let p be r(i). Solve 2 = -2*l - p*t, 5*l - l = 4*t + 20 for l.
2
Suppose 0 = 7*j - j - 18. Solve -2*y + y - 18 = -j*i, -3*i = y - 12 for y.
-3
Let o = 3 - 6. Suppose 2*m + 15 = -5*q + 3*m, -m = -q + 1. Let g = o - q. Solve 2*f - 16 = 5*v, -5*v + f = -g + 19 for v.
-4
Suppose -z - 6 = z - 2*k, -2*z + 9 = k. Let 