*z = -2*l - 16 for l.
-4
Let b = 16 - 41. Let g = 25 + b. Suppose 5*o = 4*u - 36, u - o - 1 - 7 = g. Solve u*l = k, 0*k + 3*k = 5*l - 7 for k.
-4
Let c be 24/(-20) + 1 + 3096/(-20). Let v = c + 157. Solve -2*k - v = 0, -5*k - 2 - 3 = 5*s for s.
0
Suppose -15*k + 160 - 231 = -146. Solve -k*v + 7 = -9*a + 11*a, -5*a + 5*v = 0 for a.
1
Let k = -7 + 10. Let c be ((-11)/(66/4))/(3/(-9)). Suppose z + c = 2*z. Solve 5*o = z*d + 23, -k*o + 0*d + 16 = d for o.
5
Let l = -10041 - -10042. Solve 3*p - f - l = 2*p, -5*p - 35 = 3*f for p.
-4
Let a = -137 - -173. Suppose -212 = -44*n - a. Solve -4*g = -4*y, -2*y - y + 7 = n*g for y.
1
Suppose 0 = -35*k - 47*k + 51 - 51. Solve k = 4*n + 5*u + 10, 4*n - 3*n + 3*u - 1 = 0 for n.
-5
Suppose -3*n - n + 16 = 0. Suppose -110 - 238 = 3*h. Let q = h - -118. Solve -1 = -n*p - 5*v, -9 = -p + q*v + 1 for p.
4
Let k be -6 + ((-15)/(-3) - (41 + -48)). Solve -k = -3*f + u, 5*u + 8 + 22 = 3*f for f.
0
Let f = -12 - -16. Suppose 19 = 4*u + 11. Let j be u/10 + (-144)/(-30). Solve 4*p + 20 = 4*k, -f*p + 9 = j*k + 29 for p.
-5
Suppose 0 = 2*a + i - 1, 5*a + i = -9 + 19. Solve -3*u - 43 = 3*h - 34, -u = -h + a for u.
-3
Suppose -201*w + 65 = -188*w. Solve 4*m - 2*l = -m + 4, -5*m = -w*l + 5 for m.
2
Suppose -3*f + 33 - 6 = 2*s, -20 = -f + 3*s. Solve f = 3*n + 2*h, -n - 3*n + 14 = 3*h for n.
5
Let c(d) be the first derivative of d**4/2 - 2*d**3 + 6*d**2 + 2*d - 16. Let m be c(2). Solve 2*o - 5*u = -m - 3, 5*o = 2*u for o.
2
Suppose 155*z - 2648 = -176*z. Solve -2*f - 3*n + 6 = -z*n, 2*n + 3 = f for f.
3
Let n = 55 - -16. Let g(f) = f**3 - f + 74. Let t be g(0). Let r = t - n. Solve 2*v = m - 5, -r*m - 3*v - 5 = v for m.
1
Suppose 3*h + 5*z + 10 = 0, -2*h + 2*z + 35 = 3*h. Let j = 619178 - 619176. Solve -16 = 2*l - h*a, 3*l - 4*a = -j*l - 6 for l.
2
Let p = 247 - 245. Suppose m + 5*g + 3 = 0, -p*g + 11 = 17. Solve m = -5*c - 3*b, b - 6*b - 20 = 3*c for c.
0
Let t(m) = -m**2 + m - 1. Let y(n) = -n**2 - 17*n + 9. Let s(p) = 4*t(p) - y(p). Let w be s(6). Solve -3*i = -v + 2 - 0, -5*i = w*v - 30 for i.
1
Suppose -2*o - 3*z = 0, 4*o - 14 = 2*o + 4*z. Solve -r = -g - o, -3*g = 14*r - 19*r + 9 for r.
0
Let x = -45 - -54. Let t(w) = w**3 - 7*w**2 - 16*w + 13. Let c be t(x). Let k be 2 + c - (-5 - -2)/1. Solve 5*l + k = -4*r, 8 = -3*l - 0*l + r for l.
-4
Let w = -4459 + 4466. Solve d - 6 = -2*m, -6*m + w*m = -3*d - 7 for d.
-4
Let u = 17 + -127. Let s = u + 113. Suppose 3*m - 5*a - 20 = 0, 5*m + 8 = s*m - 2*a. Solve -5*i + m*i - 6 = b, 5*b = 3*i + 26 for b.
4
Let f(v) = -v + 5. Let y be f(5). Let p be (17 + -11)/((-84)/(-28)). Solve -5*w = 0, 4*w = -p*s - y*w + 4 for s.
2
Suppose 29*p = 25*p + 12*p - 16. Solve 4*t + 4 = p*t, 0 = w - t for w.
-2
Suppose -28*k + 20*k = 0. Suppose k = 12*x - 5*x. Solve x = -f - 5*r - 16, r = -2*f + 6*f - 20 for f.
4
Let f = -4923 + 4944. Solve r - f = 5*n, -18*r - 11 = -21*r + 2*n for r.
1
Let h = 139 - 132. Let l be ((-4)/(-1))/(h/(-21)*-12). Solve -4 = -4*v, 0 = 5*y + v - 0 - l for y.
0
Suppose -3*h + 4 = -o, 0*o = 4*h - 2*o - 2. Suppose h*b - 4*b = -1. Let m(v) = v**3 - 8*v**2 + 14*v + 7. Let u be m(3). Solve 14 = u*a - 2*y, 0*y + b = y for a.
4
Let i(w) = -20*w + 940. Let p be i(47). Solve p = -4*r + 2*n, -4*r - 3*n + 8*n - 6 = 0 for r.
1
Suppose 24*j - 27*j = -2*x - 25, 2*x = -j - 5. Solve 3*a - 15 = -y, j*y - 3*y = -4*a + 22 for a.
4
Let f(g) = 10*g + 122. Let m be ((-18)/15)/(10/100). Let z be f(m). Solve z*q - 2*v + 6 = 0, -v + 0 + 5 = q for q.
1
Let n(b) = 15*b + 43. Let q be n(19). Let p be (-6)/8*q/(-123). Solve 4*h + 6 = p*l - 4, 26 = -2*l - 5*h for l.
-3
Let p be (18/4)/((-9)/(-12)). Let r be (48/4)/(93 + -90). Solve -3*t + y - p = 4*y, y + r = t for t.
1
Let o be -5 + 7/((-1)/(-1)). Suppose o*z = -37 + 43. Solve -f + 0*f + n = z, -5*n + 27 = f for f.
2
Suppose 12*n + 588 = 16*n. Let c = 151 - n. Solve -5*j - c*s = -9*s + 20, 2*j - 4*s + 14 = 0 for j.
-1
Suppose 54*d + 512 - 674 = 0. Solve -3*u + 27 = -5*i, d*u - 4*i - 41 = -17 for u.
4
Let t(v) = 2*v**2 - 151*v + 1529. Let s be t(12). Suppose -3*q = 2*q. Solve q = 2*k + 4*y - 10, 0 = -s*k - 0*y - y + 25 for k.
5
Suppose -11*n + 24 = -17*n. Let d be 62/15 + n*(-10)/(-300). Solve -4*i = -d*m - 12, 0 = m - 0*i - 4*i - 3 for m.
-5
Let o(t) = 38*t + 648. Let p be o(-17). Solve -p*j + 3*f - 28 + 11 = 0, -4*j - 2*f + 6 = 0 for j.
-1
Suppose -16*f = -9*f + 7. Let c be 1/(f - (-51)/48). Solve -k - c = 5*a, 0 = -4*k - 2*a - 2 - 8 for k.
-1
Let p = -28 + 27. Let v be p/6 + (-4)/((-216)/171). Solve 5 = 3*c - 2*z + 1, -4*c + z = v for c.
-2
Let x = -4798 + 4802. Solve x*m - 3 = -3*j, 5*m = 4*j + 3 - 38 for j.
5
Let m = -5 - -14. Let j(c) = -c**2 + 12*c - 8. Let z be j(m). Let n = 24 - z. Solve -4*f + 0*f = -5*d + 31, 0 = n*d + 5*f + 5 for d.
3
Let t be (-2001)/(-12) + (-14)/(-56). Let x = t - 165. Solve x*d + 3*d - 5 = 5*l, 4*d + 3 = -3*l for d.
0
Suppose 8 = -4*r, 3*o - 4*r + 8 = 7*o. Suppose c + o = -4*b + 2, 0 = -c - 2*b. Suppose -85*f - 241*f = 0. Solve -c*i - 3*i = 2*t, -i + 3*t - 17 = f for i.
-2
Let y(s) = s**2 - 21*s - 485. Let v be y(35). Solve w + 3 = 3*u - 4, -3*w - v = -5*u for w.
5
Let a = -967 - -971. Solve 14 = a*q + 26, -4*j = 4*q - 4 for j.
4
Let r = 215 - -64. Let x = -270 + r. Solve 2*u = 4*m - 14, x = 2*m - 0*m + u for m.
4
Let s = -9333 - -9337. Solve -4*g - 2*a = 57 - 47, 3*a = s*g + 35 for g.
-5
Let g(j) = 5*j - 11. Let f be g(0). Let i = f - -16. Suppose -4*c = w - 4*w, i*c = -3*w. Solve -2*b + 8 = -3*o, 0 = 4*b + 4*o - w*o + 4 for b.
1
Let v = -466 - -468. Let s = -93 + 95. Solve -5*o + 2*k = -s - v, -4*k = 5*o + 8 for o.
0
Let v(u) = -22*u**2 - 135*u - 13. Let s be v(-6). Solve -3*z + 7*o = 5*o + 3, -s*z = -4*o + 5 for z.
-1
Suppose -2*x = -6*x + 56. Suppose 2*c + 4*d - 28 = 0, -d + 14 = 8. Solve c*n + 5*m + 0*m + x = 0, 0 = -n - 5*m - 12 for n.
-2
Let p be (-4)/(-18) + ((-86)/63 - 40/(-35)). Solve 4*c + y + p*y = 7, -3*y - 7 = -2*c for c.
2
Let r(f) = f**3 + 2*f**2 - 2*f - 1. Let z be r(-2). Let b = 14975 - 14971. Solve -b*j - 3*y + 3 = -0, -3*j - 4*y - z = 0 for j.
3
Suppose f = 5*m - 0 - 10, 4*f + 64 = -4*m. Let v(j) = 7*j + 115. Let g be v(f). Solve k - 4*y = -2*y - g, 3*y = -5*k + 2 for k.
-2
Suppose 62*t - 41*t - 40*t = 0. Solve 15 = -3*l - 3*b - 2*b, t = -4*l - 4*b - 4 for l.
5
Let s = -1 - -4. Let y = 231242 - 231240. Solve -4*f = 4*l - 4, s*f = -y*f + 4*l + 5 for f.
1
Let f = 23811 - 23806. Solve 3*j + 5*a = 28, -29*j - f*a = -25*j - 29 for j.
1
Let y(g) = 7*g - 32*g**2 + 36 - 3*g**3 + 4*g**3 + g + 22*g. Let b be y(31). Solve -2*j + 7 = -b*u, 0 = j + 2*u + 3*u + 19 for j.
-4
Let a be ((-2800)/(-308) - 9)*55. Solve -a*i = 3*o - 5, 0 = -308*o + 306*o - 4*i + 4 for o.
0
Let f = -89 + 93. Let j be 11/(33/30) + f. Suppose 4*c - 27 = -3*b, 5*c - 11 = -2*b + j. Solve 8 = 2*l, 0 = b*m - 4*m - 2*l + 8 for m.
0
Suppose 5*v = s - 44, -25*v = -3*s - 23*v + 28. Solve -2*p = -10, 2*p + 22 = 4*k + s*p for k.
3
Let m(y) = y**2 - y. Let w be m(1). Let p = -2030 + 2042. Solve w*n - n - p = -4*f, -n - 6 = -f for n.
-4
Let q be -7 + (-6 - 208/(-14)) + (-2)/(-14). Solve 15 = 3*a, q*a - 76 + 78 = -2*f for f.
-6
Let f(d) = -d**3 + d**2 + 8*d - 2. Let t be f(4). Let i be 2/3*1/(-4)*t. Solve i*q - q = x + 9, -q = 2*x + 3 for q.
3
Let d = 12019 + -12016. Solve 2*y + d*c + 16 = 0, -3*y - 68*c + 14 = -73*c for y.
-2
Let v(x) = -x**2 - 6*x + 2. Let j be v(-5). Suppose 0 = 4*b - 2*g + 244, -b + 0*g = -3*g + 71. Let l = -57 - b. Solve 16 = 2*z + l*q, j*z - 3*z + 3 = 3*q for z.
3
Let l = 441 + -446. Let d be 36/(-495)*-11 + 4/l. Solve y - 4*y - 5*t + 25 = d, 5*t - 25 = y for y.
0
Let r = -382 - -417. Suppose 2*x = r*x - 132. Suppose -6*n = -n - 15, -4*f + 4*n = 4. Solve x*k = -f*g + 26, g + 3 = 8 for k.
4
Let l be (2/3)/((49/63)/7). Suppose l*p = 11 + 1. Solve -b = -2*i + 4*i - 3, 0 = -p*b + 3*i - 1 for b.
1
Let h(j) = -j**2 + 19*j + 131. Let w be h(24). Suppose -p + 20 = l, -4*l - 85 + w = -3*p. Solve m = -2*k - 6, 7*k + p = 2*k + m for k.
-4
Let y(n) = n**3 + 13*n**2 + 20. Let b = 178 + -191. Let l be y(b). Solve -2*o + 5*a = -l, 4*o - 6*a = -2*a + 16 for o.
0
Let q(c) = -c**2 + 6*c - 5. Let b be q(5). Suppose b = -x + 24 - 63. Let z = -36 - x. Solve -a = -3*j - 8, -z*a - j = -2*j - 16 for a.
5
Let t(m) = 7*m - 449. Let k be t(34). Let w = 212 + k.