w for d.
5
Let m(c) = -67*c + 11. Let p be m(5). Let l be p/(-16) - 2/8. Solve 0*s = -3*s + 4*u - l, -2*s - 6 = u for s.
-4
Let m(r) = -2*r. Let j be m(8). Let g = j + 19. Let y(z) = z - 2. Let n be y(2). Solve -5*f + 2*q = -q - 25, n = 4*f + q - g for f.
2
Let z be (-2 - (0 - 0))*-2. Suppose x + 27 = 3*j - 2*x, -2*x - 45 = -5*j. Suppose -5*b + j + 1 = 0. Solve -k - z*d = 1, -k - 2*d - d = b for k.
-5
Let b = 74 - 72. Suppose 0*p - 3*p = 0. Solve j + 5 = 3*m, b*m - 5*j - 9 - 3 = p for m.
1
Let l be (-52)/(-9) - 2/(-9). Suppose l*v = v. Solve v = 2*b - b - w - 9, -3*w + 13 = 5*b for b.
5
Suppose -3*q = -4*j - 5, -j - j - 27 = -5*q. Solve 0 = 4*y + i + 1 - 2, -q = -3*y - 2*i for y.
-1
Let i(j) = -j**3 - 5*j**2 - j - 7. Let s be i(-5). Let f be (s/4)/(2/(-8)). Solve 10 = -5*a - 3*z, -2*a - 11 = f*a + 3*z for a.
1
Let h(i) = i**3 - 5*i**2 - 2*i + 4. Let b be h(5). Let m be (0 - 4/b)*-24. Let a be (m/(-10) - 2)*-10. Solve 0 = 2*k + 5*d - 5, -k = d + a*d for k.
5
Let t = 10 - 6. Let a be (11 - (-6 + 13))/((-8)/(-6)). Solve -3*p + l = -11, a*p - 4*l = t*p + 5 for p.
3
Suppose -6 = -5*i + z, -5*i - 2*z + 2 = -1. Solve 0 = -3*d + 3, 6*d = 3*x + 2*d + i for x.
1
Let d be 44/7 + 2/(-7). Let y(m) = m**2 - 6*m - 3. Let f be y(7). Suppose -f*u = -16 - 8. Solve -o - s = -d*o - u, -3*s = -4*o - 7 for o.
-1
Let q(d) = -7*d**3 + d**2 + d. Let k be q(-1). Suppose 2*s - k*s = 0. Solve s = 4*b + 5*p - 29, 3*b + 2*b - p = 0 for b.
1
Suppose w - 3*t - 2 = 0, -3*w - 3 = -t - 9. Solve 5*u + 4*a = -a + 25, 0 = u + w*a - 9 for u.
1
Suppose 4*i = -4*y + 28, 5*i + 2*y - 15 - 14 = 0. Solve -14 = -i*f - o + 2, 5*f + 3*o = 8 for f.
4
Let m = -27 + 29. Solve q = 4*k + 9 + 9, -m = -q for k.
-4
Suppose u + 2 = v + 1, 0 = 3*v + 5*u - 3. Let g be v*(-4)/8*-10. Solve 4*y - 2*z = -20, g*z - 4*z = -4*y - 8 for y.
-3
Let b = -3 - -3. Solve 5*k - 2 + 11 = i, -2*k - i + 2 = b for k.
-1
Let t(l) = -8*l + 1. Let f be t(-1). Let s = 8 + -3. Let g = -3 + s. Solve g*d + 5*y + f = -0*d, 2*d - 12 = 2*y for d.
3
Let k = 23 - 7. Let s(r) = -1 + 0*r + 0*r + k*r. Let n be s(1). Solve z = -5*c - n, 5*z = 5*c - 14 - 1 for c.
-2
Let t = 8 + -14. Let i = t + 9. Solve p = -p + 4*a - 18, -i*p = -4*a + 17 for p.
1
Suppose -2*u - 10 = -7*u. Let k(s) = 5*s**2 + 4 - u*s**2 - 2*s - 3. Let p be k(1). Solve -p*c = -4*g + 2, 2*g = 3*g + 4*c + 22 for g.
-2
Suppose 0 = 5*x - 25, 2*v - x - x = -2. Suppose 0 = -5*c + 3*b - 10, -b = -v*c - 1 - 0. Let f be c/(-4) - (-2)/8. Solve 5*l - 10 = 0, -5*q + f = -2*l - 1 for q.
1
Let d(n) = n**3 + 4*n**2 - 2*n - 6. Let c be (2 + -2)*(1 - 2). Suppose -3*f = -c*f + 12. Let j be d(f). Solve -36 = 4*x - 4*r, 4 = -r + j*r for x.
-5
Let o be 1 + 4 - (-1)/(-1). Solve -5 = -2*t + 7*t - 5*g, 24 = t + o*g for t.
4
Let c(g) = -2*g + 6. Let m be c(7). Let b = m - -11. Solve 0 = a - s + 4, -2*a + 4*a + b*s = -8 for a.
-4
Suppose -2*j + 3*t + t + 10 = 0, 0 = j - 4*t - 5. Suppose 4 = -x + 9. Solve 8*a = 3*a + 5, -x*a - 20 = -j*s for s.
5
Suppose 5*p + 3 - 18 = 0. Solve -3*r = 3*t, 3*r - p*t = r - 25 for r.
-5
Let d be (-33)/(-4*(-9)/(-12)). Solve 5*n - 4 = 5*u + d, -n + 1 = 0 for u.
-2
Let g = 46 + -14. Solve -11 = -s + 5*x, x = -5*s - 3*x - g for s.
-4
Let l be (-22)/(-99) + 32/18. Let i = -8 - -13. Suppose 0 = -2*f - i*x - 0 + 9, f + x = 3. Solve l*y + 5*k + 5 = 0, -3*y + 28 = f*y - k for y.
5
Let p be 2/4 + (-39)/(-26). Let i be (7 - (2 + 0))*1. Solve 1 = -2*u + u + p*s, 0 = -i*u + s + 13 for u.
3
Let j be (-17)/(-4) - (18/8)/9. Solve 4*v + 6 = 3*l - 9, v + j*l = 1 for v.
-3
Let x(c) = -c**3 + 13*c**2 + 16*c - 18. Let g be x(14). Solve 5*t + 5*u + 5 = -5, -4*u = -5*t - g for t.
-2
Let g(w) = -w**2 + 2*w - 6. Let q be g(5). Let s be (-6)/q - 33/(-7). Solve 17 = t - 4*d, -5*d - 12 = -s*t + 28 for t.
5
Suppose -o + 4 = 2. Let f(y) = 3*y**3 - y**2 - y + 1. Let i be f(1). Let u be 0 + o + (i - 4). Solve 5*l - 2*g = -11, -4*l + g - 12 + 5 = u for l.
-1
Suppose -5*p = -p - 3*d + 1, 3*d = -5*p - 8. Let l be 9*(p/1)/1. Let y be -16*(1 - l/(-6)). Solve 4*m = z - 8, y - 2 = -3*z + 2*m for z.
-4
Let y(t) = t**3 + 5*t**2 - 7*t - 7. Let h be y(-6). Let w = 6 + h. Solve -1 = 3*v - w*x - 6, -4*v - 40 = 5*x for v.
-5
Let d be 7 + -6 + (4 - 1). Let t(o) = o + 3. Let g(u) = u**2 - 4*u + 1. Let a be g(2). Let p be t(a). Solve p = -r - d*n - n + 5, 3*n - 3 = 0 for r.
0
Suppose -5*f + 4*v = -v - 25, -5*f = -v - 5. Solve f = 2*d + 4*p - 0*p, 2*d - 6 = 2*p for d.
2
Suppose 3*l + 3 = o, 2*l + 1 = o - 2. Solve 0 = o*v + 4*i - 7, -5*v = -3*v - 2*i for v.
1
Suppose -4*f = 5*i - 22, 2*f + 4*i - 6*i - 20 = 0. Solve 36 = -4*c - 4*g + f*g, -c = 2*g - 3 for c.
-5
Let r = 12 + -7. Suppose 3*x + 5*p - 19 = 0, p - 25 = -3*x + 2*p. Let v be x - 7 - 3*-1. Solve 0 = -5*m - r*u + 15, 0*m = -m + v*u - 2 for m.
2
Suppose 0 = -3*j + 7*j - 256. Suppose 0 = -y + 5*y - j. Suppose -5*l + 4*x - y = 0, -2*x + 12 - 4 = -2*l. Solve -4*p = -3*n + 2*n, l = -2*n + 5*p for n.
0
Let f = -2 + 6. Suppose 4*h - 22 + 6 = f*s, 60 = 5*h + 3*s. Solve -h = 5*b + 2*v, 4*b + 3*v - 7 + 17 = 0 for b.
-1
Suppose 6*b + 23 - 47 = 0. Solve 8*u + b*v - 16 = 4*u, u - v + 2 = 0 for u.
1
Suppose 5*n + 4*j = 7 + 7, -n - 4*j = -6. Let z be 3 - (6/n)/3. Suppose 0 = 2*q + 6, 5*s + 3*q - 19 = -3. Solve -11 = 3*b + s*m, -6 = z*b + 3*m + 1 for b.
-2
Let f be 27/12 - (-1)/(-4). Let h be (-1)/(-1)*f + -3. Let l be 2 + ((-4)/(-2) - h). Solve -6*i + 2*k + 10 = -i, -k = -l for i.
4
Suppose c + 2 = 0, k + 2*c - 6 = -0*k. Solve k*r - 5*r + 4*w - 4 = 0, -2*r = w - 1 for r.
0
Suppose 2*w + 44 = -2*w. Let g = w - -11. Solve -2*o + 2 = p, 2*o = -g*p + 4*p + 22 for o.
3
Let d be (2/(-3))/(2/(-24)). Suppose p - 5*p = -d. Solve p*y + 8 = -4*m, -3*m - 2*m = -3*y - 12 for m.
0
Let z = -19 + 24. Solve -4 = -s - 4*l - 0, 0 = -s - z*l + 6 for s.
-4
Let n be 171/36 - 2/(-8). Suppose -v = -4*f + 5, -3*f = -n*v + 10 - 1. Solve 0 = -v*y - 4*d + 9, -7 + 1 = -2*y - 5*d for y.
3
Suppose x = -12 + 16. Solve 2*b + g - 4 = 0, -x = 4*b - 2*g + g for b.
0
Let w = 39 - 37. Solve 0*k + w*k = 6, 3*k - 4 = -5*f for f.
-1
Let n be 598/18 - (-6)/(-27). Suppose -3*l + 0 = -n. Let j(s) = -s - 1. Let h be j(-3). Solve k - 2*w + l = -h*k, 0 = 3*k - 5*w + 14 for k.
-3
Suppose 5*n - 27 = -7. Solve n*x = -3*j + 18, 3*x - 6*x - 2*j + 13 = 0 for x.
3
Let t be (-6)/5*(7 + -12). Solve 5*m - 30 = -d + t*d, -d = -2*m + 7 for m.
1
Let d be (20/(-6))/2*-3. Suppose 0 = 3*a - d*a + 6. Suppose 3*z = -a*b + 24, -3*z + b = -3*b + 4. Solve 4*l = 5*l + 5*k + 17, 0 = -4*l - 2*k + z for l.
3
Let d = 133 - 129. Solve d*w = 5*v, 2*v = 2*w + 2 - 4 for w.
5
Let k = 0 + 4. Suppose -j + 75 = -42. Suppose k*n + 9 - j = 0. Solve -5*l = 4*z - n, z + 3*z - 18 = -2*l for z.
3
Let m be (-4)/(-10) + (-36)/15. Let y be -1*(-4 + 1/(-1)). Let o be (8/y)/(m/(-5)). Solve -3*k + 4*b = -31, -k + o = -4*b - 17 for k.
5
Suppose 0 = -2*x - 0 - 4. Let n be x/(-9) - 48/(-27). Let i = 1 + -1. Solve i = -3*j - 6, j - 10 = -n*g + 2*j for g.
4
Suppose -x - 4*r - 12 = 0, -x + 4*r = -0*r - 20. Solve -6*l + 3*l = -5*a - 2, l - x = 0 for a.
2
Suppose -6*q = -q + 25. Let b be (-9)/(-2) + q/(-10). Solve 0*x - 4*x - 2*u = -6, 2*u = -5*x + b for x.
-1
Suppose 0 = 5*o + 9 - 4. Let n(b) = -b**2 - 3*b**3 + 3*b**3 - b - 2*b**3 + 0*b. Let h be n(o). Solve 17 = w - h*q + 5*q, w = -4*q + 22 for w.
2
Suppose 4 = 3*k + k. Let a be 2/(-3)*6/k. Let y be (-10)/(-45) + a/18. Solve 4*m + y*s = -s + 25, -5*s = -2*m - 15 for m.
5
Let y(d) = -4 - 9 + 4 + 2*d + d. Let g be y(8). Solve 3*x + g = -3*f, 7 = x - 5*f - 6 for x.
-2
Let p(q) = q**2 + 7*q + 9. Let j be p(-8). Solve k + 1 = -o, -3*k = -2*o + 6 + j for k.
-5
Let s(f) = -f**3 + 12*f**2 + f + 3. Let o be s(12). Solve 2*m + 5 = -a, 4*a - 3*a = -4*m - o for a.
5
Suppose 3*q - 3*w - 2*w + 4 = 0, -4*w = 3*q - 41. Solve 3*z + 9 = -2*k, 2*z + q = -k - 2*z for k.
-3
Let g be (1 + 0)/(1/5). Suppose g*w + f = 4*f - 5, 4*w - 3*f = -7. Solve -4*n + 12 = 0, -r - w*n - 4 = 4*r for r.
-2
Let s = 4 + -2. Suppose 0 = -s*g + 6 + 4. Solve 0*d = g*d + 2*y + 1, 0 = -5*y - 15 for d.
1
Let q = -28 - -40. Let w = q - 12. Solve -2*n - 6 = -2*p, -5*n + p + p - 15 = w for n.
-3
Let r = -71 + 76. Solve 2*t - 5 = -i, 3*t + r*i = 13 + 12 for t.
0
Let d = 0 - -3. Solve d = 2*x + 5*w + 1, 3*x = -w - 10 for x.
-4
Suppose 2*g - 22 = -h, 0 = g + 5*h - 37 