Let t be 36/234 - i/(-13). Let z(b) = -4*b - 14. Let q be z(-4). Solve c + 8 = y, -q*c = -y + c + t for y.
3
Let g(t) = -t**2 + 12*t + 135. Let x be g(-11). Let w be (1*1*3)/((-177)/x). Solve r + 10 = -w*r + d, -15 = -r + 4*d for r.
-5
Let d = -13161 - -13166. Suppose -2*x - 56 = -6*x. Solve 6 + x = -d*r - 5*n, 0 = n for r.
-4
Suppose -5*x + n = -21, -4*x - 4*n + 46 = 10. Suppose -8*k + 6*k - 5*y = 19, -28 = -k + x*y. Solve 5*a - 16 = c, k*c - 31 = -5*a + 1 for c.
4
Let p be (6 - 0) + 2/2. Let w = 85 + -63. Suppose 0 = w*l - 453 + 101. Solve -2*a = -3*j - p, -a - 2*j - l = 3*j for a.
-1
Suppose 0 = l + 3*m + 5, -3*l - m + 4*m + 21 = 0. Let n = -26 - -47. Let v = -17 + n. Solve -v*q - 2*d = -0*q + 4, 0 = -l*q - d - 8 for q.
-3
Let j be (34/30*9)/((-5)/(-25)). Suppose 9 + j = 6*o. Solve 0 = 2*r - g - 2*g + 15, -o = -5*r - 2*g for r.
0
Let r = -79 + 83. Suppose -3*l - 5 = -r*l. Solve 15 = 4*a + j + 2*j, -a - l*j + 8 = 0 for a.
3
Let v(f) = f**2 - 4*f - 63. Let g be v(-17). Let p be (-126)/g*(-14)/2. Solve -4*h + q - 5 - 1 = 0, 0 = -p*h + q - 4 for h.
-2
Let k be ((-8)/16)/(((-1)/(-38))/(-1)). Suppose -k*z = -23*z - 24. Let g be (8/(-3))/(z/9). Solve -p = b - 2, -5*p - 3 + g = 2*b for b.
3
Let q be 0 - 2*-1 - (0 + -87). Let b = q - 90. Let w = 17 + b. Solve -4*u + w = h, -3*h + 2*h + 8 = 2*u for h.
0
Let y(z) = z**3 + 7*z**2 + 6*z + 2. Let l be y(-6). Suppose 5*q = 2*c + 5, c + 3 = 2*q + l. Solve v - h = -q*v + 12, -28 = -4*v + 5*h for v.
2
Let c = 15255 - 15235. Solve d + 16*j - c = 21*j, 2*d - 8 = 2*j for d.
0
Let a(t) = -2*t - 6. Let q be a(-8). Suppose -5*s = -32 + 7. Solve -15 = s*u, 16 = -5*o - 2*u - q for o.
-4
Suppose a + 9 = 2*a. Let r = 178 + -172. Suppose -3*j + r*p = p - 46, p - 34 = -3*j. Solve -3*q + j = u, a*u - 4*u = 0 for q.
4
Let f = 69 - 166. Suppose -h = 4*b - 507, 0 = -5*b - 2*h + 599 + 34. Let u = f + b. Solve -5*p + 4*c - 2*c = -2, 5*c = -5*p + u for p.
2
Let g = -10 + 14. Suppose -72 = -0*q - 5*q + g*n, 3*n + 26 = 2*q. Let s be (2 + q/(-6))/((-6)/27). Solve 0 = s*x - x + l - 8, -12 = 2*x - 4*l for x.
2
Let t(p) = -p + 2. Let b be t(-3). Let c be (-7 - -1) + (-3 - -13). Let q be (c/16*-2)/(3/(-12)). Solve -5*o + q*n - 10 = -3*n, b*n = -2*o + 17 for o.
1
Let r(t) = -t + 8. Let y be r(17). Let m(d) = d**2 + 13*d + 38. Let c be m(y). Solve -4 = -b - 0*b, -c*l - 3*b = -14 for l.
1
Suppose -32*t + 658 + 885 = 71. Solve 3*z = -6, -52 = 2*l + 5*z - t for l.
2
Let q be 10/6 - 2/(-6). Suppose 5*x = -3*i - 17, i + 9 = -0*i. Solve -x = 2*f, 2*b + q*f = -0 + 2 for b.
2
Let y be 2*(231/55 + -4 + (-9)/(-5)). Solve 457*z + 3 = -y*k + 460*z, 5*k + 30 = -5*z for k.
-3
Let g be ((-14)/(-21))/((-1)/(2 - -1)). Let m be (5/75*18)/(g/(-5)). Solve 3*q = n - 11, 0*q - 21 = -m*n + 3*q for n.
5
Suppose -3*d - 2*d + 2*w - 5 = 0, 3*d - 3*w = -12. Suppose -v + 9 = -4*y + 13, y - d = 0. Solve v = -5*x + 2*m - 13, m + 4 = 5*x + 13 for x.
-1
Let d(t) = -22*t + 42. Let w be d(5). Let v = w + 72. Let f be -8*(v + (-55)/10). Solve -3*m + 3*u = f, m - 2*u - 20 = 6*m for m.
-4
Let f = 10060 + -10055. Solve -23 = 5*q - o, -f*q + q - 30 = 5*o for q.
-5
Suppose 5*o = 6*o. Let g(b) = -b + 97*b**2 - 98*b**2 - 2 + b**3 + o*b. Let l be g(2). Solve -15 = -l*k - 2*k + u, -45 = -4*k + 5*u for k.
5
Suppose -3*n + 2*n + 5*g = -18, -4*n + 122 = 5*g. Suppose 0 = -3*v + v. Suppose 5*b - 22 + 2 = v. Solve -3*d + 11 = z, 0 = z + z - b*d + n for z.
-4
Let r = -1372 + 1374. Suppose v = -4*v - 30. Let k = -1 - v. Solve -3*o + 5*o - c - 5 = 0, k*c + 9 = r*o for o.
2
Suppose b + 868 = -2*b + 874. Solve 5*l - b*k - 7 = 0, -3 = -7*l + 9*l + 5*k for l.
1
Let c(g) = -17*g - 80. Let h be c(9). Let a = 237 + h. Solve 3*o + 18 = a*j, -j - 9 = -4*j for o.
-2
Let m(p) = -119*p - 2722. Let q be m(-23). Let c be -2 + 2 - (-18)/1. Let x be 21/q - c/(-30). Solve -b + 2*b = -x*j - 6, b = 2*j + 10 for j.
-4
Let j be ((-68)/5)/((-90)/(-25) + -4). Let i be -5*1 + (118 - 81). Solve 3*b - 3*s = -2*b - j, 4*b + i = 4*s for b.
-5
Let q be 20/6*(17 - 233). Let k = 727 + q. Solve -3*c = 2*g - 1, g = -2*c - 2*c - k for g.
5
Let p(m) = m**3 - 17*m**2 + 29*m + 22. Let t be p(15). Suppose -t*i + 28 = 14. Solve -4*s + 6 = -i*g, -s + 2*g + 14 = 4*g for s.
4
Suppose 23*k - 27*k = -5*i - 11, 0 = 4*i - 4. Let c(y) = y**2 - 9*y + 22. Let r be c(5). Solve 5*n = 3*d - 25, 4*d - r*d = -3*n + k for d.
5
Let a = 4759 - 4754. Solve 4*l - 11*y = -6*y + 31, 3*l - 27 = a*y for l.
4
Let c(f) = f**3 - 25*f**2 + 114*f + 9. Let p be c(19). Let o be p*7*(-4)/(-84). Solve -w - o*l = 16, -4*w + 2*w - 16 = 2*l for w.
-4
Let y be 26/260*(6 + -7) + (-102)/(-20). Solve 3*k - 2*p + y*p = 6, 0 = -3*k - 4*p + 8 for k.
0
Suppose -260*q + 46*q = 185*q. Solve 0 = -2*p - n - 10, n + 15 + q = -3*p for p.
-5
Let f be 10 + 1 + -3 - (-1 + 7/1). Solve f*j + 3 = 3*s, 3*s + 0*s + 3*j = -12 for s.
-1
Let t = -1917 - -1930. Let n = 18 - 4. Suppose -5*g + t = -r, 5*g - 2*r - n = g. Solve f + 2*f - g = 2*o, -4*f + 18 = 5*o for f.
2
Suppose 136*y - 375 = 1393. Solve 8 = p + 5*a, 0 = 2*p + 15*a - y*a for p.
-2
Let p(a) = -4*a**2 - 53*a - 86. Let c be p(-10). Solve 2*b = c*y - 40*y - 8, -y = -4 for b.
4
Let f = 17 - 10. Suppose -4*t - 1 + 3 = -2*a, -5*t - 2*a = -f. Solve -1 + 17 = 5*z - 2*q, 2*z - t = -q for z.
2
Let q = -48 - -293. Let a = -242 + q. Solve 2*b + 2 = -z, 0 = a*b + 4*z + 1 - 8 for b.
-3
Let l(h) = -h**2 - 53*h - 677. Let m be l(-31). Solve m*k = 5, -10 = 2*i - 15*k + 17*k for i.
-6
Let c be 0 - -3 - ((-371)/(-159))/(7/(-6)). Solve 5*p = -0*h + 4*h - 26, -c*p = h + 6 for p.
-2
Let f = 16975 + -16971. Solve -5*p = -4*g + 25, -2*p + 19 = -p + f*g for p.
-1
Suppose 0 = -4*j + 12*j + 2440. Let f = -264 - j. Solve -5*h = b + 29, -2*b - 2*b - 5*h = f for b.
-4
Let l be (2820/75)/(34/(-30) - -1). Let q = 287 + l. Solve q*b - 21 = -2*f, 3*f = 1 + 8 for b.
3
Let s = 11453 + -11452. Solve 490*y = 5*z + 486*y - 32, -2*z - s = 3*y for z.
4
Suppose -10 = 2*i + 7*j - 4*j, -5*i + j = -26. Let y(u) = 2*u**3 - u + 1. Let c be y(1). Solve 2*o + 5*v - i = 1, c*o - 5*v - 15 = 0 for o.
5
Suppose -224 + 298 = 2*t. Let y be (-553)/49 + 11 - t/(-7). Solve -y*j - 22 = -3*m, 3*j + 5*m + 0*m = -20 for j.
-5
Suppose -5*x = -l - 48, 2*x + 18*l - 28 = 14*l. Solve 2*f + 13*i = 14*i + 7, 2*f = -2*i + x for f.
4
Suppose 0 = -8*w - 2591 + 2631. Solve -8 = 2*j - c, -w*c - 20 = 5*j - 0 for j.
-4
Let p(x) = 148*x - 1180. Let j be p(8). Solve -9 = 4*o + q, 2*o = o + j*q + 19 for o.
-1
Let w(g) = 38*g**3 - g**2 + 2*g - 2. Let b be w(1). Let q = 30 + b. Suppose 77 = 5*k + q. Solve k*a - 2*h - 2 = -h, 5*a - 3*h - 6 = 0 for a.
0
Suppose -272*q = -275*q + 15. Solve q*b = -h + 9, -6*h + 17 = b - 2*h for b.
1
Let t be (-11)/(55/27)*-5. Suppose 83*u - t = 80*u. Solve 2*a + 7 + 1 = 2*j, -3*j + u = -2*a for a.
-3
Let h(g) = 11 + 0*g**2 + 2*g**2 - 7*g + 0*g**2. Let x be h(6). Suppose -5*u = 3*f - x, f + 2*f = -9. Solve -4*o - 15 = -i, 0 = -3*i + i - u for o.
-5
Suppose -6*a = -2*m - 10*a, 0 = -3*m + 5*a + 22. Solve -2*u - 2*u = -3*w + 22, 0 = -m*w + 4*u + 24 for w.
2
Let c(b) = -b**3 + 27*b**2 - 149*b - 20. Let s be c(8). Solve -5*f - 4*k - 31 = 9, s*f - 9 = 5*k for f.
-4
Suppose -25*f + 24 = -17*f. Let s be (-20)/7*(-1 - 6). Let h = s + -15. Solve -h*x - f*m = 19, 0*x - 3*m = -x - 11 for x.
-5
Let g(h) = 22*h + 2. Let j be g(2). Let s(v) = v**3 - 13*v**2 - 7*v - 47. Let y be s(14). Let x = y - j. Solve 0 = p + p + 2*f - 14, x*p - f - 23 = 0 for p.
5
Let h(v) = -10*v - 7. Let j be h(-1). Suppose j*z + 120 - 132 = 0. Solve k - z*a + 28 = 3, -2*a = -2*k - 20 for k.
-5
Let d(s) = s**2 - 10*s + 19. Suppose -2*n + 2*z = 6, -n - 4*z - 7 = -z. Let a be (14 - 18)/(2/n). Let g be d(a). Solve o + 3*w = -12, 7*o = 2*o + 4*w - g for o.
-3
Let m be (-4)/1 - 6063/(-43). Let j = -137 + m. Solve a - 3*a + n + 6 = j, 0 = n + 2 for a.
2
Let k(c) = -1180*c + 5903. Let u be k(5). Solve f - 5*i = -1 + 13, u*f = -2*i + 2 for f.
2
Suppose 4*x = 5 + 7. Let s(l) = -23*l + 460. Suppose -d + 85 - 66 = 0. Let g be s(d). Solve -2*h - g = -4*j - 3, h = -x*j + 15 for j.
5
Suppose -5632*z - 486 = -5794*z. Solve x + 5 = t, 60 = -x + z*t + 51 for x.
-3
Let o(w) = -68 - 81*w - 17 + 98*w. Let p be o(5). Solve 7 = -2*n - j, p = 2*n - 0*j - 3*j + 19 for n.
-5
Suppose 4*u = 3*u + 3. Suppose 10*r = -5*r + 30. Suppose r*a - 