m + 4 = -0*m for b.
0
Let g(t) = -7*t - 2. Let j be g(-2). Let z = 13 - 18. Let v be ((-5)/12*-3)/(z/(-20)). Solve v*b - 3*y + 5 - 11 = 0, -2*b + j = 2*y for b.
3
Let p(i) = -3*i**3 - 64*i**2 - 22*i - 10. Let d be p(-21). Solve -8 = -4*g - d*m + 7*m, -2*m = -3*g - 14 for g.
-2
Let h be 129/(-4) - -2*(-1)/(-8). Let q be (-244)/(-10) + h/80. Let v be (8/6)/((-5)/((-15)/2)). Solve -3*i - 5*k = q, 4*k + 15 = -v*i + k for i.
-3
Suppose -7 = a - c - 13, 33*a = -2*c + 163. Solve -2*i = -2*d - 14, -44*i + 43*i = -a*d - 23 for d.
-4
Suppose 0*d - 4*d + 16 = 4*g, 5*g + 3*d = 18. Suppose 5*o + 99 - 198 = -3*y, -3*o = -4*y + 161. Solve 5*z - 3*l = y - 7, -21 = -3*z + g*l for z.
5
Let k be 122 + (-5)/20*0. Suppose 15*s = 17*s - k. Suppose 14 + s = 3*i + 5*b, -105 = -3*i + 5*b. Solve -2*v + 35 = 3*v + 2*w, i = 3*v + 3*w for v.
5
Suppose -143*w + 109 = -463. Solve -9*r = -8*r + w*k + 10, 0 = 3*r + 2*k for r.
2
Let q(m) = 531*m - 519. Let x be q(1). Solve s + 16 = 5*u, -s - 5*u + 3*u + x = 0 for s.
4
Suppose 47*i - 42*i = -x - 11, 21 = 3*x - 3*i. Let w(u) = -u**2 + 3. Let k be w(4). Let l = -7 - k. Solve -5 = -x*o - 3*r, o - l*r = -3*r - 10 for o.
-1
Suppose 25*l + 80 - 661 = 119. Solve y - 12 = -2*s, -80*y = 4*s - 77*y - l for s.
4
Let k be (-162)/36 - 3*2/12. Let x(j) = -2*j**2 - 12*j - 8. Let g be x(k). Solve 20 = 2*o - 3*a - a, 0 = g*a + 6 for o.
4
Let g = -6 + 8. Suppose -8*k + 10 + 6 = 0. Suppose -13*j + 209 = -k*j. Solve h - 5*o + j - g = 0, 5*o = -5*h + 35 for h.
3
Suppose -74 = -21*a + 94. Suppose -5*f - 2*w = -19, -4*f = -3*w + w - a. Solve 2*t = 5*s + 5, -4*t = s + f*s + 32 for t.
-5
Let w(t) = 9*t + 10. Let q be w(8). Let i = 166 - q. Let a = -80 + i. Solve 18 = 2*g - 0*g + a*j, g = j - 6 for g.
-1
Let a = 1305 + -1303. Let j(m) = -2*m**2 + 21*m - 53. Let y be j(6). Solve c - 2 = -a*s, -2*s - 5 = -c + y for s.
-1
Suppose -3*n + 104 = 5*b, -n - 2*n + 60 = 3*b. Let a(x) = 46 + 3*x - b - 21. Let h be a(6). Solve 2*v - h = 3*m, 3*m = 3*v - 5*v - 9 for m.
-5
Let n be (-120)/(-50)*225/135. Solve -4*u + 111 - 106 = -3*d, n*d = -12 for u.
-1
Let q(h) = 122*h**2 - 24*h + 73. Let s be q(2). Solve s*g - 511*g - 12 = -4*r, 14 = 2*r - 3*g for r.
4
Suppose 3*s + 4*p - 13 = 0, p - 5*p + 16 = 4*s. Suppose 0 = -5*d + x + 15, -x = 2 + s. Solve u = -2*q + 4*q + 1, -3*q = d*u + 12 for u.
-3
Suppose 0 = k + 4*k + 110. Let w be (0 - 0)*11/k. Solve w*y + 4*c = -y + 9, -4*y = -c + 15 for y.
-3
Suppose -176 = -c + 4*h, 5*c - h - 1017 + 194 = 0. Let x = c - 161. Solve -3*i = x*s - s + 2, -5*s - 12 = 4*i for i.
2
Let p(t) = -10*t**3 - 3*t**2 + t + 10. Let w be p(-3). Suppose 0 = 13*j - 8*j + w. Let n = 55 + j. Solve 30 = -4*b - n*r, 2*r = 2*b - 0*r + 6 for b.
-5
Suppose -21*v = 50 - 155. Solve -5*m - 4 = -3*p, v*p + 7 = 7*p + m for p.
3
Let x(w) = 7*w + 52. Let y be (-1)/(4/2 + 13/(-7)). Let a be x(y). Solve 0 = 4*g + a*k + 25, g + k + 5 = -2 for g.
-4
Let a(n) = -471*n - 3765. Let f be a(-8). Solve k - 2*l = -9, 22*k - 27*k - 4*l = f for k.
-3
Let h = -23 + 33. Suppose -z - 21 = p, 2*p + 2 = -5*z - 49. Let a be (-52)/(-9) - (-3 - 50/p). Solve -a*x - 2*f = -2*x - h, -3*f + 1 = -x for x.
2
Let m be (678/9)/((-4)/6). Let w = m + 347. Suppose 11*c - 41 = w. Solve -3*y = -2*i - 0*i - 1, 4*i + 3*y = c for i.
4
Suppose 28 + 0 = 24*v - 68. Solve -27 = d + 5*h, 2*d - v*h + 82 - 98 = 0 for d.
-2
Let i(v) = v**3 + v**2 - 11*v - 18. Let d be i(-2). Solve -3*t = 2*w + 1, -2*w + 5*t + 6 - 31 = d for w.
-5
Let x be ((-74)/4 + 17)*-2. Let s(i) = 3*i - 1. Let v be s(1). Solve -v*c - 35 = 5*y + c, -3 = -x*y + 3*c for y.
-4
Let v be (-2460)/(-276) - 9 - 2/(-23). Suppose v = 4*a + a - 25. Solve 5*s + 17 = 3*l, 0 = 4*s - s - a*l + 7 for s.
-4
Suppose 0 = 15*w - w - 28. Let n(a) = -48*a + 342. Let g be n(7). Solve -g*t + 2*t = 4, -w*t = 2*v + 6 for v.
-2
Suppose 0 = -4*n + 6*n. Solve n = 5*l - 4*w + 41, 2*l + 3*w = 10 - 8 for l.
-5
Let p = 2415 - 2408. Solve o - 2*r + 51 = 49, 3*r + p = 4*o for o.
4
Let m(c) = -c**3 + 3*c**2 + 6*c - 4. Let h be m(4). Suppose -5*w + h*w = -9. Solve 0 = d - 2*j + 3, -2*j - w = -5*d - 0 for d.
3
Let k be 1/(-2 + 0 + -11) - 2112/(-416). Solve 4 = 8*z - 10*z - 3*y, z - k*y + 15 = 0 for z.
-5
Suppose 2*c + 20 = 2*o, -38 + 43 = -2*o - 3*c. Solve 3 = -4*b - o*i, 2*b + 9*i + 6 = 11*i for b.
-2
Suppose 5 = -0*p + p, -193 = -4*r - p. Let v = r - 26. Let b be 2/7 - (-57)/v. Solve 3*i = 4*g - 31, 0 = 5*g + 5*i - b*i - 10 for g.
4
Let v = 159 + -157. Let c be v - (39/26 + 26/(-4)). Solve -5*j = -2*n - 6, -2*j - 9 = 3*n - c*j for n.
-3
Let m be (-65)/((-2080)/448) - (11 + 0). Solve 19 = -61*n + 66*n + m*f, 0 = n + 4*f - 14 for n.
2
Let y = 646 + -644. Suppose 5*l - 76 = -5*i - 21, -3*i = -y*l + 2. Solve 4*n + 0 - l = -m, 3*m + 27 = 4*n for m.
-5
Let i = -193 - -205. Let b be (294/i)/7*4. Suppose -3*r + 19 = 5*y - 9, -2*r - 2*y = -12. Solve 4*u - 15 = r, 3*j = -2*u + b for j.
2
Suppose -5*u = 4*w + 198, 0 = -3*w + 2*u + 2*u - 133. Let c = 92 + w. Let f = c + -41. Solve -5*q = 3*a - 2*a - 30, -f*a = -20 for q.
5
Let z(c) = -8 - 7 - 6 - 5*c - 10. Let g be z(-7). Solve -2*s - 5*q = -10, -s + 3*q - q = g for s.
0
Suppose -3*h - 12 = 4*x, -11*h + 9*h - x - 3 = 0. Suppose -2*l = 2*a - l - 22, h = -4*a - l + 40. Solve 2*z = -2*z - 8, -2*z - a = b for b.
-5
Let y be 183480/16 + (-6)/4. Let h be 2/(-11) - y/(-143). Suppose -h + 50 = -10*z. Solve 0 = -d + 5*c - z, 5*d = -3*c + 19 - 6 for d.
2
Let a be -7 + 6/3 - (-29 + 19). Solve -29*u - a*f = -25*u + 3, -5*u - 5 = 5*f for u.
-2
Suppose -3*a - 5 = 178. Let p = -52 - a. Suppose n - p = -2*n. Solve -3*k + n = -2*k + 3*d, -d = -4*k + 12 for k.
3
Suppose -4*x = 2*a - 190, -3*x - 230 = -3*a + 2*x. Let c = -2677 + 2597. Let i = c + a. Solve -i*n = -5*v - 15, n - 5*n + v = -6 for n.
1
Let z be 3/((2/(-1))/((-160)/8)). Suppose -32*h = -z*h - 6. Solve -2*r - 16 = h*p - 0*p, -2*r - p - 8 = 0 for r.
-2
Let l = -1885 + 1893. Solve g = -4*s - 25, 0 = 5*g + l + 17 for s.
-5
Suppose 10 = -5*j - 9*w + 4*w, 0 = -5*j + w + 2. Suppose 2*b + 5 - 7 = 3*y, j = -5*y - 5*b + 30. Solve 4*p - 5*h = 1, y*h = p + 2*p - 6 for p.
4
Suppose -89*z = -72*z - 51. Solve 2*l + 5*n = l - 5, -z*l - 3*n - 15 = 0 for l.
-5
Let d(m) = 3*m + 16. Let o = -23 - -19. Let c(u) = -3*u - 18. Let j(x) = o*d(x) - 5*c(x). Let g be j(-7). Solve -16 = -4*h, -3*t + g*h = -2*t + 25 for t.
-5
Let o = -25 + 9. Let v = 190 + -188. Let l be 1/((-2)/o*v). Solve -2*x = 3*j - 1, 2*x + 4 = 4*x + l*j for x.
-4
Suppose -3*c + 2*r - 40 - 12 = 0, 66 = -4*c + r. Let d = -14 - c. Let v = -223 - -225. Solve -d*t - v = -2*b - 0*b, 0 = 2*t - b + 2 for t.
-1
Let d = -2527 - -2529. Solve -3*r = 2*a + 17 + 2, 5*a + 19 = d*r for r.
-3
Let r = -53 + 55. Let u be (11 - (-5 - -8)) + -5 + r. Suppose -b = -3*d + u, -b = 2*d - 3*b - 2. Solve x - 8 = -3*h, d*h + 3*h - 5 = 0 for x.
5
Suppose 0 = 5*k + 3*g - 45, 4*k = -5*g - 1 + 50. Let q be (-4)/(-4) + 57/3. Let z = -17 + q. Solve -j + n = 2, z*j + 0*j + k = -n for j.
-2
Suppose 2*l = -4*x - 4, -2*l + 13*x - 8*x = -14. Suppose -58 = 20*p - 49*p. Solve -3*q + 3 - 21 = -t, l*t + p*q = -4 for t.
3
Let c be (6/(-14) - 0)/(1581/(-7378)). Solve -3 = k + 12*l - 8*l, -2*k - c*l - 6 = 0 for k.
-3
Let z(g) = -g**3 + 2*g**2 + 13*g + 12. Let u be z(5). Solve -4*f + 3*t = -1, -90*t = f - 89*t - u for f.
1
Let w be (-2 + 4 - 1)*(52 + -42). Let k = 22 - w. Solve 2*x + g = -k, 4*x + x - g + 16 = 0 for x.
-4
Let n be 109 + (-3 - (-1 - (-3 - -4))). Let l = n + -108. Suppose 6*q - 34 = 4*q. Solve -3*k - 4*s - q = l, k - 5*k - 4*s = 16 for k.
1
Suppose 6*h + 9 = 21. Suppose 2*d = -h*u + 12, -2*d + 3*u + 9 = 2*u. Solve 0 = -3*r - c - 16, 4*r + 48 - 12 = -d*c for r.
-4
Let o(g) = g**2 - 6*g - 30. Let p be o(11). Suppose 23 = -p*k + 148. Solve -5*l - 30 = 4*h, 3*l - k*h = -0*h + 19 for l.
-2
Let f(h) = -5*h**2 + 80*h - 13. Let w be f(11). Let b = -250 + w. Solve 4*l - 12 + 44 = -4*y, -3*y + l = b for y.
-5
Suppose 45*p - 13*p + 249 = -51*p. Let x(z) = -3*z**2 + 0*z**2 + 19 + 2*z**2 + 2*z. Let t be x(p). Solve -t*f + 12 = v, -5*f = -0*v + 3*v - 22 for f.
2
Let u(g) = 920*g - 2760. Let o be u(3). Solve -p + 16 = 4*w + p, p - 4 = o for w.
2
Let r(l) = l**2 - 10*l - 25. Let d be r(13). Let n be (20/d)/(15/((-525)/(-10))). Solve -37 = 3*v + n*c, 0 = -2*c + 4*c + 10 for v.
-4
Suppose -11*l + 