 u*t + 4*y = 2 for t.
-5
Let b = 161 + -161. Solve -3*s - s = b, 0 = -h + 4*s - 1 for h.
-1
Let n = -2117 + 2121. Solve 0 = -n*r + 5*g - 4, 7 = -5*r - 4*g + 43 for r.
4
Let r be (-3)/(39/24 - 2). Let t = -7 + r. Suppose -4*c = l - 7, 4*c + 2*l - 32 = 6*l. Solve w = p + t, c*w - w - p = 2 for w.
1
Let s = -430 - -471. Solve -5*l - 4*n - s = -0*l, 0 = -2*l - 5*n - 30 for l.
-5
Let v = -8 + 10. Suppose -84 = -2*u - v*u. Let o = 29 - u. Solve 0 = x - 2*x + 2*j + 11, 0 = -2*j - o for x.
3
Let s(l) = 2*l - 4. Let k(n) = -n + 12. Suppose 2*u = -0*u + 18. Let p be k(u). Let q be s(p). Solve -z + 12 = 3*f, -q*f + 6 = -0*f for z.
3
Suppose 0 = 5*v - 15*v + 260. Suppose 12*u - v - 82 = 0. Solve 3*s - u = 5*j - 44, -5*j = -20 for s.
-5
Let j(k) = 57*k - 285. Let n be j(5). Solve n = 3*z + 2*d + 1, z + d = -2*d + 2 for z.
-1
Let l be ((-24)/(-9) - 3)/((-1)/12). Suppose -2*y = -47 + 3. Let p = -18 + y. Solve l = -p*d - 8, -3*z = 2*d + 9 for z.
-1
Let t(u) = -u + 11. Let w be t(6). Let h be 0/((9 + 87)/(-16)). Solve -4*y - w*x + 12 = h, -4*x - x + 20 = 0 for y.
-2
Let v be 0/2*3/6. Suppose w - 12 = -v*w. Let z be 3 + 0*4/w. Solve c = 3*l - z, 4*l = 2*c + 2*c + 4 for c.
0
Let w(f) = -f - 5. Let v = -24 + 17. Let b be w(v). Solve 2*t + b*j + 10 = 0, -4*j = 3*t - 12 + 31 for t.
-1
Let y = 94 + -54. Suppose -9*c + y = -c. Solve c*m + 24 = m - 2*o, 20 = -5*o for m.
-4
Suppose 0 = 4*p - z + 51, -3*z - 27 = 6*p - 3*p. Let m = -9 - p. Solve -m*s - 26 = -4*i, 0*s + 4*i = -3*s + 14 for s.
-2
Let j(u) = -u**3 - 7*u**2 - 5*u + 6. Let p be j(-6). Let l be 39 - (p - -1)*-3. Let z = l + -27. Solve -5*m = -0*m - 2*n - z, m + 2*n = 15 for m.
5
Let n(y) = y**3 - 3*y**2 - 3*y - 10. Let g be n(5). Suppose -4 = 2*k + 4*z - 0, 4*k = 3*z + g. Solve 2*t = -2*m + k*t + 4, -4*t - 4 = 0 for m.
1
Let f be 2/6 - (-102)/18. Suppose 5*n = 7*n - f. Let i be (-2)/4 + 81/18. Solve 4*u - 3*b - b = 8, -n*u = -i*b - 11 for u.
-3
Let l be (-1)/(((-1)/(-3))/(-1)). Let f(w) = -w**3 + 39*w**2 - 193*w - 27. Let x be f(6). Solve -x*u - 1 = 3*n + 2, -12 = -l*n for u.
-5
Let z = 228 + -224. Let f(g) = -g + 17. Let p be f(7). Solve 2*w - p = 4*w + 4*i, -i = z*w + 20 for w.
-5
Suppose -5*a + 45 = 5*u, 3*u + a = 6*u - 39. Let j be (-9)/u + 44/16. Solve 3*y + 7 - 18 = 2*n, -j*y = -2*n - 8 for y.
3
Let k = -35 - -29. Let z(f) = f**3 + 7*f**2 + 2*f - 17. Let m be z(k). Solve 0 = -3*i + x + 11 + m, -3 = x for i.
5
Suppose -2374 + 2364 = -2*l. Solve s - 3*o + 15 = -2*s, -s - 3*o = l for s.
-5
Suppose 3*u = -u + 12. Suppose m - 6 = -4*c + u*m, -c - m = -9. Let f(n) = -n**2 - 10*n - 5. Let j be f(-7). Solve -c*i - 17 = -5*l, 2*i = -i - 2*l + j for i.
2
Let w = 22 - 12. Suppose 3*p = -2*r + r + w, p - 8 = 2*r. Solve -29 = p*d + 5*t, 4*d - 5*d + 3*t = -14 for d.
-1
Suppose j + 4*d = 19, -5*j = 3*d + 12 - 39. Let n be (12 - 16) + 0 + 0. Let m be n/(-16) - (-7)/4. Solve j*u - 6*u = m*k - 3, -k - u = 0 for k.
-3
Suppose 2*y = -5*j - 173 - 25, -2*j + 3*y = 64. Let m = j + 170. Let a be (-2)/(-6) - m/(-36). Solve -4*t + 2*t = -6, a*s + 4*t - 8 = 0 for s.
-1
Let f(u) = -u**2 + 13*u - 28. Let b be f(10). Solve 4*z = -2*y - 16, 3*z + 0*z + 5 = b*y for z.
-3
Let v be ((-50)/(-60))/(((-11)/6)/(-11)). Solve 2*i = 2*c + v + 1, 2*i - c - 3 = 0 for i.
0
Suppose 10*t - 46 = -6. Let c be (-1)/((4/(-6))/(16/12)). Solve 6*a - u = c*a - 19, -t*a - u = 21 for a.
-5
Let k(n) = -2*n - 5. Let u be k(-4). Let q(p) = -p - 7. Let j be q(-11). Suppose -j*s = -11 - 1. Solve 4*x + 12 = -u*c, 0 = -s*x - 2*x + 2*c + 8 for x.
0
Let o be 6 - (-2 - 3 - -8). Solve m = o*m + z - 6, 5*z = -4*m + 18 for m.
2
Let d = -57 - -50. Let t = -3 - d. Solve t*x = -x - 2*w + 25, 5*x - 30 = -3*w for x.
3
Let r(o) = -o**3 + 4*o**2 - 3*o + 1. Suppose 0 = 5*i + 3*z + 2 - 3, 4*z + 16 = 2*i. Let m be r(i). Solve -g = m*j, 3*g + 0*g = 2*j for j.
0
Let d = -39 + 49. Suppose -d*o + 3 = -9*o. Solve 2*i + 6 = -2*y, -2*i + o*i - 1 = y for y.
-2
Let z(g) = -4*g**3 + 4*g**2 + 3*g - 1. Let m(j) = j**3 - 13*j**2 + 22*j - 1. Let v be m(11). Let f be z(v). Solve -f*c + 8 = -2*i + 2, -5*c = -i - 6 for i.
-1
Let m be (-216)/(-9)*2/6. Suppose 0 = -4*n - m, 0 = 3*i - 2*i - 5*n - 19. Solve 3 = 5*d - 4*d + 4*j, -3*d + i = 5*j for d.
3
Suppose 3*u = -0*u. Let i = 605 + -603. Solve 4*c - 3*y = -u*y - 12, -c = -i*y + 8 for c.
0
Let m(y) = y - 4. Let b be m(9). Let c be ((-2)/7 + (-26)/(-42))*33. Let j be c/3 - (-6)/(-9). Solve 4*i + 0*f + 5 = -5*f, 40 = j*i - b*f for i.
5
Suppose 2*t - 2 = -4*i, -5*i - 3*t = t + 2. Suppose 2*q + 2*q + 60 = 4*h, -i*q = -h + 16. Solve -2*n = 4*a + h, -3*a - a - 17 = 5*n for n.
-1
Let q = -117 - -199. Let x = q + -79. Solve d = -x*y - 5, 0 = -4*y - 3*d - 10 - 0 for y.
-1
Suppose 15*b = 14*b - 1. Let u = b + 4. Suppose -2 - 3 = 2*o + 3*q, 5*o + 5*q = 0. Solve -4*j + 4 = -o*k - 2*j, -6 = u*k - 3*j for k.
0
Let t(r) = -2*r + 3. Let i(a) = -a + 11. Let c be i(3). Let z = -19 + c. Let o be t(z). Solve -5*w = 5*b + o, 5*b + w + 0*w = -5 for b.
0
Suppose -3*w + 17 = -m, -3*m + 21 = w + 2*w. Solve 0 = -w*d + 3*d - 3*j - 12, 4*j + 21 = -5*d for d.
-5
Let f(b) = b + 1. Suppose 2*l = 5*s + 15, 2*s - 5*s + 4*l - 23 = 0. Let v be f(s). Solve 2*i - 5*u - 35 = v, -5*i + 6*u - 3*u + 40 = 0 for i.
5
Let p be -1 + 4/16*20. Solve -p*o + 15 = -s, -o = 4*s + 2*o - 35 for s.
5
Let g = 19 + -28. Let q = -4 - g. Suppose -3*l + 6 = -2*t + 2, -5*l = q*t - 15. Solve 2*h = u - t, h + 5 = -0*u + 2*u for u.
3
Suppose 4564*f - 8 = 4560*f. Solve 5*j = -2*m + 1, -4 = -4*j + f*j - 2*m for j.
-1
Let q = 2 + 0. Let p be 1/(q + -1)*5. Let n = 71 - 43. Solve -4*m = 5*w + n, -m = -w - p*m - 12 for w.
-4
Let a(u) = u**2 - 8*u. Let l be a(7). Let z = l + 8. Suppose 2*q - 5 = z. Solve 2*x = 3*p - 8 - 9, 0 = -q*x - 2*p + 7 for x.
-1
Let j = 51 - 42. Suppose -22 = -j*t - 2*t. Solve 8 = -h - 2*a, t*h + 2*a = 4*h - 14 for h.
2
Let t = -130 - -126. Let u be (-2 - 1 - 1)/(t/2). Solve z + u*a + 2 = -6, 2*a = -3*z - 16 for z.
-4
Suppose 3*d + 9 = 3*c - 0, d = 2. Solve -2*k - 30 = -c*z, 7*z + 16 = 11*z for k.
-5
Let b = -6 + 9. Let q(g) = g**3 + 4*g**2 - 5*g + 7. Let f be q(-5). Solve -k = 2*d + b*d + 22, 2*d + f = -k for d.
-5
Let l be 48/(-42) - 72/(-14). Solve f + l*h + 17 = 0, -11 + 3 = f + h for f.
-5
Let d = -973 - -975. Solve f - 21 = -4*x, 4*x + 1 - 7 = d*f for f.
5
Let w(j) = j**3 - 2*j**2 - j + 3. Let k be w(-2). Let x be 0/(-1)*k/(-11). Solve -b - 8 = f + 2*b, x = 5*f + 5*b + 30 for f.
-5
Let v = -6 + 8. Let p(m) = m + 34. Let w be -1*(-20)/(-4 + 2). Let a be p(w). Solve v*i = x + i, x + a = -5*i for x.
-4
Let x = -1464 + 1464. Solve 4*c + 0*c = -f + 7, -4*f + 12 = x for c.
1
Let n be 5/7 - 1 - 1288/(-49). Let q = 29 - n. Solve -q*c + 5*r - 7 = 0, 2*r = 3*c + 7*r + 17 for c.
-4
Let p be 17/15*3 + 8/(-20). Solve i = -5*b + 19, -2*i = -p*b + b - 2 for b.
3
Let t(h) = h + 8. Let i be t(6). Suppose 5*j - i = 11. Let x(v) = -2*v - 2. Let n be x(-2). Solve -2*b = 2*w - n, 3 = -j*b - 3*w + 8 for b.
1
Let f be 597/15 - (-1)/5. Let y = -37 + f. Solve 0 = -5*i + 3*i + n + y, -n = -i + 4 for i.
-1
Let m = -934 + 942. Solve 4*l = 5*i + 36, -l - m = l + 4*i for l.
4
Suppose 4*p + 4*g + 0*g - 8 = 0, 3*g + 18 = 5*p. Let r = 208 + -195. Solve -5*j = -3*x + r, 8*x + 15 = j + p*x for j.
-5
Suppose -z - 5 = -6*z - h, 0 = -2*h - 10. Solve z*g - 2*j = -4, 4*g = -j + 2 - 25 for g.
-5
Suppose -i = -5, -y - 4*y + 2*i + 10 = 0. Let o be (-4)/20 - 78/(-15). Suppose o*d - 2*s + 8 = 23, -5*s = d - 3. Solve 2*a = 3*p, y*p + d*a = -p for p.
0
Let s = -61 + 65. Suppose 8*u = s*u. Solve 3*t + 5*v + 15 = u, -5*t + 3*v - 1 = 24 for t.
-5
Let t(k) = k - 10. Let a be t(7). Let b be a + (2 + 0 - -1). Suppose b = 2*q - 0*q + 2*i - 2, 4*q = 5*i + 4. Solve -3 = -2*s + 2*d - 1, -3*s - q = -5*d for s.
3
Suppose -160 = -53*t + 48*t. Solve t = -2*b + 3*c + 7, -b = c for b.
-5
Suppose -2*z + 5*z = 48. Suppose -3*v + 42 - 30 = 0. Solve -3*u = 5*q - z + 4, -3*u = -v*q + 15 for u.
-1
Let n = 451 + -446. Solve -5*c = 4*x, 0*c = n*c for x.
0
Suppose 0*j - 4*j + 5*a = -72, 0 = -4*a - 16. Suppose 2*p - 2*t + 3*t = j, -2*p - 4*t = -28. Solve p*q - 3*x + 3 = q, 0 = -3*x - 6 for q.
-3
Suppose 216 = -k + 37*k. Solve 3*b + k = 4*d, 4*b = d + 5 - 0 for b.
2
Suppose 27 = -504*j + 513*j. Suppose 4*z = 6*z - 6. Suppose -3*l + 3 = -0*l. Solve 5*u + m -