 5*u + 23, 4*x - 3*u = -7 for x.
-4
Let d(k) = k + 22. Let r be d(-17). Solve w - 3 = t + 5, 0 = r*w + 5*t for w.
4
Suppose -2*c = 1 - 3. Suppose -o = -3*k - 2*k + 3, c = o - k. Suppose -2*h - o = -12. Solve 3*p = h*l + 10, p + 4*p = 5*l + 20 for p.
5
Let q = 11 - 0. Solve -3*y - 9 = -6*y, -5*y = -4*b - q for b.
1
Let z(u) = -u**2 - 5*u - 3. Let v be (0/2)/(-3) - 5. Let l be z(v). Let q be (-3 - -6)*(-14)/l. Solve -4*i + q = h, -2*i + 0*h + 4 = 2*h for i.
4
Suppose -s = -5*x - 9, 5*s + 5 - 20 = -5*x. Let t(y) = -y**3 + 5*y**2 + 7*y - 3. Let v be t(6). Solve 3*d = s*l - 10, -8 = -v*l - 5 for d.
-2
Suppose q + 0*q + 1 = 0, 17 = 2*r - 5*q. Let u = r + -4. Suppose -12*v + 1 = -47. Solve m + v*y = -21, 0 = 4*m - u*y - y - 11 for m.
-1
Suppose -4*h - h + 405 = 0. Suppose -4*q - h = -y - 2*y, 0 = -2*y + 3*q + 55. Solve -a + 3*x - 16 = -0, 0 = 2*a + 5*x - y for a.
-1
Let y(s) = -8*s**2 - s**3 - 8*s - 7*s - 11 + 3*s + 3*s. Let t be y(-7). Solve t*j = -7*b + 2*b + 17, -2 = 2*b - j for b.
1
Let l be 1*(-4)/(8/(-14)). Suppose -b = -0*b + 4, 0 = 3*x + 2*b - l. Solve 2*y = 5*k + x, k - 9 = -y - 3 for y.
5
Let r = -148 - -150. Solve -r*n - 13 = 3*x - 3*n, 0 = -3*n + 3 for x.
-4
Let q be 3/(2 + (-4)/8). Suppose -2*r + 3*b + 21 = 0, q*r + 3*b + 4 = b. Solve 2*o = n + 10, r*n - 2*n = o - 7 for n.
-4
Suppose 50 = 3*q - 40. Solve 4*l - 4*j = q - 6, -7 = -2*l - 3*j for l.
5
Let d(l) = -2*l. Let h be d(0). Solve h = b + 2*i, 2*b + i - 3*i = 0 for b.
0
Suppose 11*w - 14*w = -15. Solve -d - 3*a - 14 = 0, w*a + 26 = -3*d - 0*a for d.
-2
Let l = -16 + 32. Solve -16 = 2*v + 2*w, -w - l = v + 2*v for v.
-4
Suppose 5*h + 20 = 5. Let a = 7 + h. Let d = 1 - 1. Solve 2*m = 6, 5*c - 2*m - a = -d for c.
2
Let h be 46/11 + (-4)/22. Suppose h*t + 63 = -0*x + 5*x, -5*x = 3*t - 49. Suppose -x - 9 = -4*o. Solve -p = 5*v + 1, -p + o*p + v - 15 = 0 for p.
4
Let d = -2 - -4. Suppose 2*z + 0*t = -d*t + 74, -40 = -z - 4*t. Suppose -4*h + z = -2*w, 4*h - 40 - 2 = -w. Solve -b + 11 = -5*m, -b - 2*m + 0*m = h for b.
-4
Let u = -14 + 25. Suppose 5*q - 5*w - 29 = u, 2*q = -5*w - 12. Solve -q*j + 0*o = -o + 16, 0 = 5*o for j.
-4
Let z(w) = 2*w - 5. Let g be z(10). Solve 0 = 5*y - 2*v + 3*v + g, 5*v = 25 for y.
-4
Let y be (-3)/(-9) + 16/6. Suppose -6 + 21 = y*a. Let g = 30 - a. Solve -4*r - z = -4 + g, -4*r + 5*z = -9 for r.
-4
Suppose -4*y + 2 = -2. Suppose -i + y + 5 = 0. Let o(p) = 5*p**2 + 4*p - 3. Let r be o(1). Solve -i = l + t + 2*t, -r = -l + 3*t for l.
0
Suppose -3*d = 5 + 4, d - 49 = 4*m. Let v = m + 7. Let q be (6/(-10))/(v/90). Solve 2*l - q = -2*u + u, 0 = 5*u - 3*l - 19 for u.
5
Let f = 87 - 82. Solve 0 = -h + 1, -5*k - 4 = -f*h + 1 for k.
0
Let v(n) = -4*n + 1. Let a be v(-1). Solve -4*f + 2*l - 10 = 0, 5*f - 2*f = 4*l - a for f.
-3
Let i be (1/(-2))/((-8)/64). Suppose q + 4*x - 25 = 0, -2*x + 8 = -0. Solve i*t + 3*z + q = 0, 0 = 5*t + 3*z + 5 + 4 for t.
0
Suppose 5*p + 12 = -33. Let g = 14 + p. Solve 3*k - 3*x + 7*x = -4, -g*k - 4*x - 4 = 0 for k.
0
Let h(v) = v**2 + 5*v - 6. Let w be h(-6). Let p = w + 3. Suppose 2*n - p = n. Solve 2*t + 8 = n*t - f, -3*t = 3*f for t.
4
Suppose 3*i - 9*i = -24. Suppose 0*m + 6 = 2*m. Solve 4*q - 16 = m*w - q, q = -i*w + 17 for w.
3
Let u(h) = -3*h**3 + 5 - 3*h + 5*h**2 + h**3 + h**3. Let v be u(4). Solve -3*d = 5*t - 2*d - v, -4*d + 16 = 0 for t.
1
Suppose -2*j + 0*j + 10 = 0. Suppose 4*u = j*u - 2. Let w(d) = 3*d**2 + 1. Let t be w(1). Solve u*o + 3*n = -t - 4, 10 = o - 2*n for o.
2
Let n = 71 + -44. Suppose n = 4*u + 7. Solve -5*k - u*g - 30 = 0, 10 = -2*k - k + 5*g for k.
-5
Let q = -94 - -95. Let h = -5 - -11. Solve -3*j + h = 4*a, -3*j - q - 20 = -5*a for a.
3
Suppose 5 - 1 = 2*a. Solve -8 = -4*p, 4*g - a*p = 3*p + 10 for g.
5
Let k(v) = v**2 - 11*v + 2. Let s be k(10). Let c(w) = w**2 + 12*w + 10. Let b be c(s). Let p = b + 43. Solve -t + 4*t - 3*r + p = 0, -4*t - 12 = 4*r for t.
-5
Let u be (-64)/(-36) + (-2)/(-9). Suppose -s - 5*m - 7 + 32 = 0, -5*s + 17 = -2*m. Solve u*l + f - 1 = 3*l, s*l - 4*f = -2 for l.
2
Suppose 0 = -5*i + u + 25, -3*i + 5*u + 15 = -0*u. Suppose 9 = i*g - v, -5*g + 5*v = v - 6. Solve 3*x = l - 5, 5 = 3*x + g*x + l for x.
0
Let o = 37 + -35. Solve j = -4*y - 6, 0*j - 2*j + o*y + 8 = 0 for j.
2
Suppose -17*j + 13*j = -16. Solve 0 = -4*l + 5*g - 32, j*l = l + 5*g - 29 for l.
-3
Suppose 6*q - q - 20 = -4*f, 0 = 5*q + f - 20. Solve 5*l + j - q = -1, l - 6 = -2*j for l.
0
Let v be 3/(-2)*(-56)/21. Solve 3*c = 2*c + v, 0 = 5*x - 3*c + 12 for x.
0
Let d = 0 + 0. Let u(c) = 2*c**2 - c - 1. Let n be u(-1). Suppose -q - n*q + 15 = 0. Solve q*v - 3*s + 16 = d, -s = v + 2*s + 14 for v.
-5
Let w = 99 - 95. Solve 4 = 2*k - m + w*m, -m - 7 = -k for k.
5
Suppose 6 = -3*a + 6*a. Solve 0 = -j - a*i - 6, 3*i + 4 = j - 10 for j.
2
Let r = 5 - 13. Let y = 2 - r. Solve -2*f - 2*k = -4, -2*f + k = -3*k - y for f.
3
Let i(b) = b**2 + 4*b - 1. Let t be i(-5). Solve -t*s - 14 = -a, -4*a - 2*s + 0 + 2 = 0 for a.
2
Let g be 6/(-8) - 46/(-8). Let s = g - 5. Solve -2*f - p - 2*p + 14 = 0, f + 4*p - 17 = s for f.
1
Let a be (2 - -7) + 3/(12/(-16)). Solve -2*k = -3*k + 1, q - 10 = -a*k for q.
5
Let t be ((-5)/(-2))/(35/28). Solve 4*a = -q - 10, 21 = -5*a + 2*q + t for a.
-3
Suppose 0 = 2*g + g - 15. Let b = g + -3. Solve -2*p - b = 2*l, 4*p - 4*l - 34 = -6 for p.
3
Let i(o) = 2*o**2 + o - 1. Suppose 5*w = -0 - 10. Let s be i(w). Suppose s*t = -6 + 21. Solve -3*c = 5*f - 2 + 18, 0 = 4*f + t*c + 11 for f.
-5
Let x be ((-4)/(-7))/((-185)/(-35) - 5). Solve t = -x*w - 5, t + 0*w - w + 2 = 0 for t.
-3
Let n(q) = -5*q + 2. Let t be (-2)/3 + 8/(-6). Let j be n(t). Solve 0 = -3*g + 7*g - 4*d - j, 0 = -5*g + 2*d for g.
-2
Let k = -2 - -3. Let w = k - -3. Solve 7 = 5*f - 2*f - 5*h, -w*f - 2 = -h for f.
-1
Suppose -2*q + 4*q = 0. Solve -16 = -j - q*j - 5*s, 3*j + 4 = -2*s for j.
-4
Let q = -13 - -21. Suppose q = b + 3*b. Solve 0 = -3*s + 2*g + 9, -5*s + 2*g + b*g = -15 for s.
3
Let p be (9/(-3))/((-6)/(-8)). Let d = 5 + p. Suppose -d + 7 = 2*h. Solve -h*r + 3*f = 2*f - 6, 13 = r - 4*f for r.
1
Suppose 5*h + 38 = 8. Let j = h - -26. Solve -2*i + 6*i + 29 = 3*w, -i = -5*w + j for w.
3
Let y(h) = h**3 - 3*h**2 + 5*h - 4. Let j be y(3). Suppose 0 = -2*c - 0*c. Let l be c/(-4) - (1 - 3). Solve -5*v + l*s = 5*s - j, 5*v - 13 = -4*s for v.
1
Let f be 2/1*(-20)/8. Let p = f - -7. Suppose 5*y + p + 21 = -2*m, 5*y = -m - 24. Solve b = -l - m, b - 1 = 4*l - 2 for b.
-1
Suppose 3*j - 5*f - 1 = 29, -2*j + 4*f = -18. Solve 5*i + j = 2*x, -x + 1 = i - 3 for x.
5
Let l = 16 + -11. Suppose -7*n - l = -2*n, 3 = -o - 3*n. Let h = o + 0. Solve h*d - 5*w + 12 = 3*d, -8 = -2*d - 3*w for d.
4
Let p = 41 - 17. Suppose 5*v + 29 = -2*l, l + 0*v - 8 = 2*v. Let q be (-1 - l/6)*-3. Solve 4 = 5*z + p, 2*d + q = 2*z for d.
-5
Let w(o) = 2*o**2 + o + 1. Let h be w(-1). Solve h*m - 3*l = -m + 15, 0 = 5*l + 5 for m.
4
Let y(j) = j + 10. Let p be y(-6). Suppose -2*v = -0*l - 2*l + 42, 4*l - v - 75 = 0. Suppose 3*u = -0*u. Solve 0 = -u*i - 2*i - 2*a + 8, -5*a = p*i - l for i.
2
Suppose -5*q = -0*q - 20. Solve -r - 11 = q*w + 7, 3*w = -3*r - 18 for w.
-4
Let p(y) = -y + 13 + 0 + 2*y. Let o = 6 - 15. Let b be p(o). Solve 0*a = 4*a - 4*q - b, 0 = a + 4*q + 24 for a.
-4
Suppose 13 - 3 = 2*b. Let p(n) = 3*n**2 + 6*n. Let z be p(-4). Let i be ((-3)/(-2))/(z/32). Solve 4*s + i*y - 18 = 0, y - b = 6*y for s.
5
Let z = 7 + -10. Let d be (-1)/z + 11/3. Solve -d*p - f + 23 = -4*f, -p = f + 3 for p.
2
Let p = 19 - 5. Let o = 16 - p. Solve w = 3*w - 4*s - 12, 4*w - o*s - 12 = 0 for w.
2
Suppose -24 = 16*d - 19*d. Solve o - 5*b + b = 5, -b - d = 2*o for o.
-3
Suppose -3 = p - 8. Solve 2*u = -4*j + u + 16, -p*j + 20 = -u for j.
4
Let y(d) = d**3 + 9*d**2 - 2*d - 13. Let i be y(-9). Solve a + 4*s + 9 = -6, 12 = a - i*s for a.
-3
Suppose -2*s - 2*s + 3*j - 27 = 0, 5*s = 3*j - 30. Let f be (1/s)/((-5)/45). Let i = 47 + -47. Solve i = -3*c + 9, 1 = -2*d + f*c - 0 for d.
4
Suppose -5*k = 2*b - b - 15, 4*b = -4*k + 28. Solve -5*f - b = n - 2, 15 = -5*n + f for n.
-3
Suppose 6*f - 9 = 21. Suppose 0*b = 2*b - 8. Solve 2*j + z - 1 = f*j, 4*z = b*j - 12 for j.
-2
Let f(b) = -3*b + 8. Let t be f(6). Let s = -5 - t. Solve -z = 3*z + 20, 5*a = -4*z + s for a.
5
Let j = 8 + -2. Suppose -5*x = -4 - j. Let z be 3/(9/