u = 8 for d.
1
Let h = 78 - 56. Suppose -7 + h = 5*q. Solve 1 = -u + 6*u - 4*n, -2*u + 5 = q*n for u.
1
Suppose -31 = -3*a - 22. Solve -x + h + 2*h - 12 = 0, 5*x + a*h - 12 = 0 for x.
0
Let n(f) = -f**3 - f**2 - f + 11. Let v be n(0). Solve -4*b + 0*b + 12 = 4*r, -3*r - b + v = 0 for r.
4
Let j = -27 + 39. Suppose i = s + 3*s - 24, -4*s + 84 = -4*i. Let k be 9/2 + (-10)/i. Solve -3*n + 6 = 3*x, -n = x - k*n - j for x.
4
Let r = 4 + -4. Let n(h) = h**3 - h**2 - 2*h + 2. Let j be n(2). Let w be 2/(-1 - 9/(-6)). Solve -w*t + t - o + 9 = r, j*t = -o + 5 for t.
4
Let o(f) = -f**3 - 6*f**2 - 9*f - 3. Suppose 5*s - 11 + 6 = 0. Let c(y) = -y. Let x(h) = s*o(h) - 3*c(h). Let t be x(-5). Solve -2*w = w, t*q - 2 = -3*w for q.
1
Suppose 4*z - 3*u = z + 81, 4*z + 2*u - 78 = 0. Solve 4*n + 20 = -3*b, 9*b + z = -n + 4*b for n.
-2
Suppose 0 = -3*u - u. Suppose u*w = -w. Suppose w = -5*f - 7 + 22. Solve -5*v + 2*z = -5, 0*v - 3*z + f = -4*v for v.
3
Let m = -7 + 8. Let q be 0*((-3)/6 + m). Solve -r + 8 = 3*x, q*r + 2*x + 13 = 3*r for r.
5
Suppose c - 3*c - 2 = 0. Let f be 30*c*(-2 - -1). Solve 5*r - 37 = 3*l, -5*l - r - f = -3*r for l.
-4
Let y(k) = -3*k + 20. Let r be y(5). Solve p - r*f + 10 - 40 = 0, -5*p + 35 = -2*f for p.
5
Suppose 10*f = 6*f - 68. Let o = f + 20. Solve o*q = 5*b - 2, 6*q + 4 = 4*q + 2*b for q.
-4
Suppose -23 - 37 = -12*w. Solve 6*j = -w*i + j - 5, 3*i = -2*j - 2 for i.
0
Suppose -4*o + 5 = -71. Let k = 28 - o. Solve t - k = 5*y, 0 = t + 4*t + y - 19 for t.
4
Let d be (-26)/(-10) - 54/(-135). Solve -11 = -2*i - d*o, 3*o + 12 = 7*o for i.
1
Suppose 4*z = z + 18. Let w(f) = f - 1. Let j be w(3). Solve -j*h + 3*h + 2*d = z, 0 = -3*d + 15 for h.
-4
Let t = -209 + 209. Let b(h) = -4*h - 1. Let l be b(-5). Solve 0 = -3*u - 4*w + l, -3*u - 5*w + 20 = -t*w for u.
5
Let w be 1/((-2 - 1)/(-12)). Suppose -5*f - 4 = w*c, -c + 3*f - 2*f + 8 = 0. Solve 5*g - 5 = a - 0, 3*g + c*a = 3 for g.
1
Let u = 15 + -13. Solve -u*j - 10 = -t + 2*t, 4*t - 10 = 2*j for j.
-5
Let k(s) = 4*s + 2*s**2 + s - s**2 - 4. Let x be k(-6). Solve -4*y = -2*v + 18, -4*v + x*v = 5*y for y.
-2
Suppose 3*z + 2*z - 16 = -2*l, z - 17 = -5*l. Solve 15 = -3*y - 3*s, -2*y - 3*s - 11 = -l*y for y.
-1
Let z be (-1)/(2/588) + 0. Let g be z/(-24) - (-3)/4. Let s = g + 19. Solve l + 4*l - s = 4*v, 2*v + l + 2 = 0 for v.
-3
Let t(k) = 8*k - 43. Let p be t(6). Solve 0 = 2*o - s + 6, 11 = o + p*s - 2*s for o.
-1
Let c(t) = -2*t**2 + t + 3. Let p be c(0). Suppose 5*z - 13 = 2. Let f = 10 + -6. Solve 4*l - z*q = -29, 6 = -p*l + q - f*q for l.
-5
Let d = -8 - -14. Let a be (42/(-18))/((-2)/d). Solve -a*c = 4*h - 3*c - 12, 5*c - 22 = 2*h for h.
-1
Let z be 6/(-9) - 8/(-3). Solve -z*l - 29 = -2*c + 3*l, 2*l = 5*c - 20 for c.
2
Suppose o = 3*l + 133, -5*l = 2*o - 68 + 308. Let h = -32 - l. Solve -3*x + 2*a - 4*a = h, 0 = 3*a + 3 for x.
-4
Let d be (-5 + 1)/(-4) - -3. Solve 0 = 2*m + 3*m - d*x + 23, 2*x = m + 7 for m.
-3
Let x(v) = 4*v + 4. Let p be x(-2). Let r(i) = -2*i - 4. Let z be r(p). Solve 0 = -z*k + 5*m + 7, 0*k - 2*m - 1 = -k for k.
3
Let t(h) = h**2 - h + 1. Let k be t(4). Let j = -2 - k. Let m be (-6)/j - (-6)/(-15). Solve 0 = -4*w - 4*g + 8, m*w + 12 = 4*w + 5*g for w.
-2
Let b be (8 + 0)*42/(-8). Let s be (b/(-15))/(3/30). Solve -29 = 4*o - 5*i + 7, -3*i = -4*o - s for o.
-4
Suppose 6*t - 8 = 2*t. Let r be ((-1)/1*-2)/(-2). Let i = r - -1. Solve -4*f = -g - 9, -3 = -t*f - i*f - g for f.
2
Let n(w) = w**3 + 6*w**2 - 2*w - 9. Let r be n(-4). Solve 3*f + 2*h - 7*h = -r, 5*h = -4*f + 17 for f.
-2
Let x be 3 - ((2 - -2) + -4). Solve -u = 3*n - x, -2*n = 3*u - 1 - 1 for u.
0
Let x be (6*-1)/(6/(-4)). Solve -3*d = 4*m + 9, 0 = -2*d + x*d + m + 6 for d.
-3
Let x = -7 - -21. Let q = 19 - x. Solve 0 = -q*v - z + 3*z + 35, -v + 2*z = -15 for v.
5
Let h(s) = s**3 + s**2 + 3. Let p be h(0). Suppose 0 = p*u - 0*u. Solve 4*m - k + 6*k - 8 = u, -2*m = -k - 4 for m.
2
Let c(h) = -h**2 - 5*h + 6. Let g be c(-5). Let s = -6 + g. Solve 2*x + j = 3, s*x - 9 = -5*x - j for x.
2
Let b = 0 + 3. Suppose l + 4*a = -b*l, -5*l + 4 = 3*a. Suppose l = 3*z - 10. Solve 2*k - 4*g - 22 = 0, z*k - g - 8 - 1 = 0 for k.
1
Let i = -4 - -8. Suppose 8*c = 3*c + 2*s + 11, 0 = -5*c - i*s + 23. Solve c*h = -5*l - 4 + 8, -3*l + 3 = 2*h for h.
3
Suppose -41 = -5*i - 21. Solve -2*h + 3*x = 5*x - i, 24 = -2*h + 5*x for h.
-2
Suppose 5*y - y + 48 = 0. Let z be -24*(y/8 + 1). Solve -z = -2*c - c, -s + c = 0 for s.
4
Let o = -12 - -14. Let t(f) = -f**2 + 2*f + 1. Let j be t(o). Solve 3*x + 2*y = j - 8, -2 = -x - 5*y for x.
-3
Suppose 5*u - 17 = -4*k + 4*u, -4*u - 12 = 0. Suppose -k - 15 = -5*x - 2*b, 2*b - 2 = 4*x. Solve -x*p = -q - 1, q = -p + 2*p for q.
1
Let q(m) = -m + 4. Suppose 4*s = 5*s - x - 7, 0 = 5*x + 20. Let w be q(s). Let g be 2 + (-2 - -8) + w. Solve -5*v = -2*k + g - 2, 3*k = -4*v - 24 for v.
-3
Let h(p) = -p - 10. Let k be h(-10). Solve x + 2*n = -x + 2, k = 3*x - 3*n + 15 for x.
-2
Suppose 2*q - 2 = -2*s, 5*q + 0*q = -2*s + 17. Solve x + 4*x = d + 2, 0 = -4*d - q*x - 8 for d.
-2
Let t be 80/15*(-9)/(-12). Solve -t*u - 10 = -6*u, -a = u - 10 for a.
5
Let x(n) = 10*n**2. Let q be x(-1). Suppose y = -z - q, y = -0 + 5. Let c be (6/z)/((-1)/5). Solve -4*r - 20 = 0, 0*d + c*d + 2*r = -20 for d.
-5
Let d(h) = -h**2 + 4*h - 3. Let u be d(3). Solve r + v - 3 = -0, u = 2*v - 10 for r.
-2
Let x = -1 - -1. Suppose y + 10 = -5*f, 3*f + 0*y - 17 = 4*y. Let q be f + 4 - 0/(-6). Solve -2*r + q*p + 6 = -0*p, p = x for r.
3
Let x be (-19)/(-3) - (-1)/(-3). Suppose -14 = 4*s + 2*u, -9 = -3*u + x. Let t be ((-10)/s)/(1/3). Solve -4*v - t*r = -v - 25, v + 5*r - 15 = 0 for v.
5
Let d = 3 + 1. Suppose 0*p = -3*p + 2*y + 4, p - d*y = -12. Suppose 4*b - 36 = -3*m - 2*m, -p*m - 27 = -3*b. Solve 14 + 5 = 4*w - 3*g, 0 = -w + 5*g + b for w.
4
Let d = -23 + 28. Suppose -3*z + 4*g = -20, 4*z + 4*g - 3 - d = 0. Solve 0 = -2*x + 4*j, z*j - 2*j - 4 = 0 for x.
4
Suppose -u + y = 3*u - 3, 0 = -3*u + 3*y - 9. Suppose w + 4*w - 25 = 0. Suppose -4 - 6 = -w*k. Solve -t - k*s = -0*t, 0 = u*t + 5*s for t.
0
Let m(d) = d**2 + 11*d + 14. Let b be m(-10). Suppose -b*i + 3*f = -9, -2*i + 5 = -i + 2*f. Let j = 5 - i. Solve 3*s - 7 = -v + 4*s, -4 = -j*v - 3*s for v.
5
Suppose 0 = -m + 4*s + 16 - 6, 3*m = -4*s + 14. Solve -m = 3*r + 3*k, -3*r + 8*r - k + 28 = 0 for r.
-5
Let a = -155 + 159. Solve -4*c + 5*f = 1 - a, c = -2*f - 9 for c.
-3
Let l(c) = -c**3 - 2*c**2 + c - 1. Let t be l(-3). Solve -t*a + 5*o = 30, 6*o - 15 = o for a.
-3
Let m be 0/(-2)*(-1)/(-2) - -4. Solve 5*y + 6 = 3*x + 2*y, 2*x - 14 = m*y for x.
-3
Let d(t) = -t**2 + 7*t - 6. Let b be d(2). Solve -5*o - 4*l - 13 + 4 = 0, 0 = 3*o - b*l - 1 for o.
-1
Let n = 429 - 423. Let r be 0/(2 + 0 - 0). Solve -4*d - j = 2*j + 14, 3*j + n = r for d.
-2
Let n be (-1)/(-7) - 2/14. Solve -5*g + 7 = -3*z - n*z, -3*z = -2*g + 10 for z.
-4
Let k = 44 + -42. Solve -2*s = v - 3*s + k, 3*s = v + 10 for v.
2
Let y = 5 + 5. Let o = y - 9. Solve m = 5*b + 1, 3*b + m = -b + o for b.
0
Suppose a - 5*d = 6*a + 15, 2*a + 3*d = -11. Let t = -104 + 174. Suppose -a*k - 3*k = -t. Solve q - g - 3*g + k = 0, -2*q - 5*g + 11 = 0 for q.
-2
Let a = 7 + -2. Suppose -5*z = a - 30. Let f be 10/(-15) + (-2)/(-3). Solve -z*b = -3*b, f = -3*n + 4*b for n.
0
Let u(i) = i**3 + 9*i**2 + 4*i + 12. Let j be u(-9). Let r = -17 - j. Solve -o + r = -5*w, 0 = -2*w - 2*o - 1 + 3 for w.
-1
Suppose 0 = 3*c + 4 - 10. Solve -5*l - 5*j + 30 = 0, -1 = l - 2*j + c for l.
3
Let m = -10 - -13. Suppose 4*y + m*y = 14. Solve -3*l = -u + y*l - 15, -4*l - 2 = 2*u for u.
-5
Let a be (-1 - 1)/(2/(-3)). Suppose -5*i = -y + 7, -2*y + 8 = -i + a. Suppose -j + y*u = -8, -5*j = 4*u - 19 + 7. Solve 4*c = x - 14, j*x = c - 3*c + 2 for c.
-3
Let d be (-1 - -3)*-2*-4. Suppose -w - w + 5*o = d, 5*o - 28 = -4*w. Let n = -2 + 6. Solve w*v = 4*z - 10, n*z + 1 + 7 = -4*v for z.
1
Suppose 7 = -0*l + 4*l - y, -3*y + 9 = -2*l. Solve l*p - 5*r = -1 - 13, -5*r = p - 2 for p.
-3
Let z = 9 + 7. Solve 0 = 2*c - 0*a - 5*a + 19, z = -5*c + 2*a for c.
-2
Let z(p) = -p**3 + 4*p**2 + p - 1. Suppose -n + 13 = 4*w, 5 + 1 = -2*n. Let a be z(w). Solve x = 5*g + a + 3, 4*g = 2*x for g.
-2
Let r(u) = -u**2 + 2*u + 3. Let b be r(4). Let z = 1 - b. Let x be 3/(-9) - (-26)/z. Solve 3*f + x*n = 7 +