 Let h be t(4). Solve -12 = -h*c + 4*c - z, 32 = -3*c - 5*z for c.
-4
Let b(u) = u**3 + 12*u**2 - 26*u + 38. Let j be b(-14). Let c be 40/16*16/j. Solve c*m - 2*d = -18, 3*m - 4*d + 8 = -3 for m.
-5
Let l = -42759 + 42816. Solve 2*u - 2 = 3*j, -j + 59 = -2*u + l for u.
-2
Let k(z) = 564*z - 569*z - 49 + 0. Let y be k(-13). Solve -4*h + 2*g - y = 0, 0*g = g for h.
-4
Let w(f) = -5*f**3 + 46*f**2 - 71*f + 561. Let y be w(9). Suppose -1 = -3*m + 2*m, -3*p = -2*m - 7. Solve 14 = z - p*l, 0*z = -4*z + y*l + 11 for z.
-1
Let g(x) = x**2 - 38. Let b be g(-6). Let y be (-28)/(-6) + b*(-5)/(-15). Solve t = -5*c - y, -2*t + 4*t + 2*c + 8 = 0 for t.
-4
Suppose 4*z - 7*z = -4*r - 77, 4*r = z - 23. Solve x = a - 4*x + z, -3*a = -5*x + 31 for a.
-2
Let c be (-3 - -4)/(1 - (-7)/(-8)). Let z be -6*((30/4)/(-3) + 2). Suppose 2*a - 7 + z = 0. Solve 4*k + i = c, 4*k - a*k - i - 10 = 0 for k.
3
Let y = 16812 - 16807. Solve -1 + 11 = -5*c, -4*x - 10 = y*c for x.
0
Let v = 411 + -401. Let m be 24/v*(-120)/(-72). Solve 10 = 5*p - 3*u, -m + 0 = -2*p - 2*u for p.
2
Let f = 2512 + -2496. Solve 3*o - 12 = 0, o = 4*a + 4*o - f for a.
1
Suppose 1161 = 6*n + 1101. Solve 0 = k - 2*x + n, -5*x - 1 = -26 for k.
0
Let p = -24 + 36. Suppose 146 - 13619 = -526*k + 729. Solve -5*l + 4*c - k = 0, 2*l = l - 5*c + p for l.
-3
Let l = -3031 - -3046. Solve 2*j + 5*c + l = 0, -6*j - 6 = -8*j + 2*c for j.
0
Let g = -60 + 65. Suppose o - 2*z - g = 0, -2*o + 7*o + 3*z - 38 = 0. Suppose 24 = o*t - t. Solve -5*y = -5*k + 20, -t*k + 12 = 3*y + k for y.
-1
Suppose -5*i - 3 = -2*x, 14 = i + 13. Solve 4*d - 2*f - 10 = 0, -3*d + x*d - 3*f = 10 for d.
1
Let h = 87 + -79. Suppose 5*x - 3*q - 40 = -0*q, 0 = -3*x + 5*q + h. Suppose -x*i + 18 = -5*i. Solve -2*f - 1 = -f + 2*o, -i*f - 3*o + 3 = 0 for f.
3
Let n be 14*-4*5/(-20). Let s = 21 - n. Suppose -a - 24 = -s*a. Solve k = -a*p + 14, 5*k = -2*p + 3*p - 14 for k.
-2
Suppose -3*m = 5 - 29. Suppose 4*u = m*u - 260. Let l = u - 60. Solve -2*i - 2*i + 5 = -l*d, d - 3 = 0 for i.
5
Let f be 3 - (2*10/32 + (-57)/(-152)). Solve 5*k + 19 = -4*s - 11, -f*s = 10 for k.
-2
Suppose 0 = -0*c - c + 4*y + 12, 5*c + y + 3 = 0. Let p = -180533 + 180539. Solve -5*l - p + 19 = 2*s, 4*s - l - 15 = c for s.
4
Let z(l) = -l**3 - 45*l**2 + 89*l - 231. Let d be z(-47). Solve -d*w + 5 = p, -10 - 15 = 5*p - 5*w for p.
-3
Let f(b) = -62*b - 428. Let k be f(-7). Solve -4 = 3*a - q + k*q, 0 = -4*a + 4*q - 16 for a.
-3
Let i(z) = z**3 + 11*z**2 + 58*z + 394. Let a be i(-9). Solve -31*t = -a*t + 3, -3*t + 27 = 4*o for o.
6
Let q(m) = -m**3 - 49*m**2 - 37*m + 531. Let k be q(-48). Solve 5*w - 5*l = -3 + 18, -k*l = 2*w - 11 for w.
4
Suppose 0 = -4*i + 100 + 140. Let a = 132 + -74. Let d = i - a. Solve 5*r = -5*o - 15, 0 = 4*r + 2*o - d + 4 for r.
2
Suppose -18*b - 223 = 821. Let j = b + 58. Solve j = -5*u + 4*z + 32, -5*u + 11 = -0*u + 3*z for u.
4
Let j(g) = 4*g**2 + 9*g + 6 + 1 - g**3 - 2 - 6. Let t be j(-2). Solve -2*m + u + 2 = 0, t*m + 4*u + 8 = 3*m for m.
0
Let d = 20479 - 20479. Solve -z - p = 3, -16*z + 17*z - p - 3 = d for z.
0
Let r = 299 + -297. Let t be (10*(3 + -1))/r. Solve -j + 3 = 0, -3*n - 2*j = -28 + t for n.
4
Let c(a) = -a**3 + 41*a**2 + 133*a - 14. Let r be c(44). Suppose 24*w = r*w - 108. Solve -2*n + 0*m = -4*m + w, 20 = -4*n + 4*m for n.
-1
Let h = 914 - 1100. Let t = h + 190. Solve 12 = -t*k, -7*s + 4*k - 13 = -2*s for s.
-5
Let k = 406 + -384. Suppose x = -2*m + 7 + 3, x = -4*m + 8. Suppose 5*l = -0*l - z + x, 3*l + z - 6 = 0. Solve 10 = l*q - w + k, 5*q + 34 = -3*w for q.
-5
Suppose u + 8 = 2*u. Let k be 6/(-10) - (1296/(-45))/8. Solve -k*i = 4*p + p - u, -2*p = -2 for i.
1
Let i(w) = -w**2 + 2*w + 20. Let u be i(-3). Solve u*f = -25, -21 = 5*s - 8*s + 3*f for s.
2
Let m be 4*(-15)/60 - 8. Let u(p) be the first derivative of 2*p**2 + 41*p - 1. Let t be u(m). Solve -4*f + 0*f + t*a = 2, 3*f = -2*a - 13 for f.
-3
Let d = 277 + -272. Suppose -z + 2 = j, 3*j - 5*j - d*z = -10. Solve j = -5*s + 5*h + 5, -h - 1 = 4*s + 5 for s.
-1
Let z = 1015 + -610. Let n = z - 402. Suppose 2*a + 3*u = 29, -40 = -2*a - 4*u - 6. Solve -v - a = -n*i + 3, 0 = -i + 2 for v.
-4
Let w(j) = -25*j - 57. Suppose 8*v - 36 = 20*v. Let n be w(v). Solve -4*l + 4*s = -4, 2*l = -4*s - n - 4 for l.
-3
Suppose -31*h = -34*h + 3, -4*h = 3*i - 352. Solve -4*t - 2*g = 8, -i*t + 5*g = -113*t - 7 for t.
-1
Let y = -296 + 226. Let a = y - -95. Solve 2*n = -5*o + a, -2*n - 22 = -4*o - 4*n for o.
3
Let s = -58 + 138. Suppose 6*x - 11*x = -s. Suppose v = -3*v + x. Solve -v*d = -5*d + 4*p - 21, 0 = 4*d - 4*p + 36 for d.
-5
Let h = 76 + -78. Let r be 3*h/((3 - 2) + -4). Suppose 46 = 4*j - 46. Solve -r*g - 4*u + j - 9 = 0, 2*g - 6 = -2*u for g.
-1
Suppose -a - 4*t = -2, -5*a - 2*t = -14*a + 56. Solve a*n - 5*n + i - 2 = 0, -n + 12 = 3*i for n.
-3
Let x be -3 + (-2)/(-6)*0. Let d be (-25)/20*3/(x/4). Suppose -5*u - 14 = 11, 0 = d*j - 3*u - 50. Solve 4*r + 5*i = -8, -5*r - 3 = 3*i + j for r.
-2
Suppose 3*z + 5*v = 4*v + 224, -4*v = 2*z - 146. Suppose 26*w = 11*w + z. Solve -4*h - 21 = -4*s + 7, w*s + 3*h - 11 = 0 for s.
4
Let f(y) = 6*y - 22. Let n(w) = w**2 - 2*w - 1. Let z be n(-2). Let r be f(z). Suppose 4*d = 9*d - r. Solve 3*v - d*x - 13 = x, 0 = 4*v - 4*x - 4 for v.
-4
Suppose 5*f - 2*f + 21 = 4*p, 5*p = 5*f + 30. Let b = 1103 + -1614. Let v = b - -520. Solve -p*x - 10 - 5 = 3*q, -x - v = 2*q for x.
-1
Let t = 405 + -320. Let a be 34/t + (-6)/(-10). Solve 2*i + 2*i - 3*k = a, k + 5 = -i for i.
-2
Suppose 0 = 19*x - 21*x + 6. Suppose 0*c + 3*c = 9, -4*c + 20 = 2*d. Solve -3*v - 6 = x*w, 3*w - 6 = 5*v + d for v.
-2
Let t = -4856 + 4858. Solve -4*x + t*k - 14 = 0, 577*k - 18 = 5*x + 575*k for x.
-4
Suppose -13*m - 518 + 544 = 0. Solve 2*u = 4*c + 5 - 3, -m*u + 3*c = -4 for u.
5
Let z be (96/18 + -6)/(2/(-240)). Suppose -52 - z = -33*c. Solve -c*i + 1 = -0*i + p, -5*i = 2*p - 5 for i.
-1
Let t be -4 + 9 + (-2)/2. Suppose -5*d = -l - 17, -4*l + 3*l = d + 35. Let h be l/(-12)*6/4. Solve -h*v - 20 = t*j, -7 - 8 = 5*v for j.
-2
Let i = 45 + -39. Let v be -2 + 4 + 3/(9 - i). Solve 4*g = 5*t + g - 2, 2*t - 5 = -v*g for t.
1
Suppose -3132*q + 3069*q = -126. Solve 3*i + 7 = -18*h + 13*h, -q*i = -h - 4 for i.
1
Let j = 268 + -268. Suppose -3*v + 0*v = 5*t - 15, -3*t + 9 = 4*v. Let b = t + 0. Solve 3*u + b*y = -24, 2*u + 3*u - 5*y = j for u.
-4
Suppose -14*q - 196 = -113*q + 200. Solve 6 = 2*r - 2, 0 = 2*y + q*r - 8 for y.
-4
Suppose -70 - 13 = 19*v - 140. Solve 2*u - 10 = v*n, -5*n + 25 + 0 = 5*u for u.
5
Suppose -5*f - 4 = 16. Let g be 2 + (f - -4) + 43. Suppose n - 4 = 3*q, 3*n = -5*q + 3*q + g. Solve -3*u + 4*p + n = 0, 0 = -4*u - 4*p + 6*p + 4 for u.
-1
Let a be -3 + 581/(-14) + (-1)/2. Let h be (-10)/(-3) + 15/a. Solve -4*u = 0, 0 = 3*f + h*u - 0*u + 12 for f.
-4
Suppose 43 = 3*o - l + 15, 0 = 5*o + 5*l - 20. Solve -t + o = 4*w + 4, 5*w = -2*t + 2 for w.
2
Suppose -3*b - 60*d + 65*d = 25, 25 = -5*b + 5*d. Solve j + 1 = -2*g, -4*j + 8*j - 2*g + 24 = b for j.
-5
Let g be -12 + 36/(-36) + 45/3. Let w be (2 - (1 + -1)) + 14. Solve g*c - w = 5*b, 0 = -4*b + 3*c + 3 - 20 for b.
-2
Let c be (0 - (-36)/(-7))*((-702)/36 + 16). Solve -5*j = 3*x - 29, -j = 2*j + 2*x - c for j.
4
Let n be (-82)/(-615) + (-26)/(-30). Suppose -5*f + 4*o + 2 + 29 = 0, 0 = f + o + n. Suppose -h + 21 = 2*h. Solve j - h = c, 2*c + c - 3 = -f*j for j.
4
Let d = -148 - -156. Suppose d*s = 21*s. Solve 4*j + s*j = -k - 9, -2*k = 4*j + 14 for k.
-5
Suppose 11*q = 6*q + 9*q. Let g be 0*(-7)/(-14) + (2 - q). Solve -g*o = i - 9, -3*o + 3*i + 21 = 7*i for o.
3
Let q = 14157 + -14142. Solve -d + 6 = -3*d, -3*g = -5*d - q for g.
0
Suppose 4*b - 9*b - 400 = 0. Let g = -77 - b. Suppose 2*i + i - 6 = -d, -3*i = -g*d - 6. Solve 4*y - 6*p + 4*p - i = 0, -2*y = -2*p - 6 for y.
-2
Let v(m) = -3*m**2 + 24*m - 7. Suppose 14*d = 95 + 3. Let t be v(d). Solve -2*b = -4*g + t + 4, -2 = -g + 3*b for g.
5
Let w(n) = 5*n**3 - 25*n**2 - 3*n + 19. Let c be w(5). Solve -d - 10 + 13 = -s, 0 = 3*d + c*s - 2 for d.
2
Suppose -641 = -5*s - 621, -s + 4 = 5*i. Solve 0 = 5*m + 15, i = -2*h - 6*m + 4*m - 20 for h.
-7
Suppose -j + 60 = j - p, -3*j + p = -88. Suppose 0 = -4*x + d + j, d - 18 = -5*x - 2*d. Solve -3*n = 2*c + 13, 4*c - x = 4*n + c for n.
-3
Let r = 272 + -266. 