b, -r - 4*f = -8 for r.
0
Let a(b) = 2*b**3 - 2*b**2 - 4*b + 6. Let h be a(3). Suppose -3*k - h = 6. Let x be (-5)/(15/k) + 19. Solve -i - 17 = 5*y, 2*y - 3*i - 2*i = -x for y.
-4
Suppose -21*i + 4*j - 7 = -22*i, -3*j + 15 = 4*i. Solve -4 = 4*m, -i*o - 2*m = 3*m + 11 for o.
-2
Let m = -19 - -64. Suppose -m = 5*b + 10. Let c(o) = -o - 2. Let a be c(b). Solve -9 = s + 2*q + 3*q, 2*s + a = -q for s.
-4
Let w be (1 - 1)/(1/1). Let n be w*2/(-4)*1. Let x be (-535)/(-35) - (-2)/(-7). Solve n = -2*m - 4*r + 16, -2*r + 5*r - x = 0 for m.
-2
Let f(n) = -7*n - 10. Let r be f(-2). Suppose 2*y = -4*y. Solve -r = 3*q + d, 5*q = -5*d - y*d - 10 for q.
-1
Let a(x) = 2*x - 22. Let k be a(10). Let f = 2 - k. Solve 3*q = -f*u - u, 0 = 2*q - 2*u for q.
0
Let d = 326 - 322. Solve -4*l - 4*y = -8*l - 8, 2*y - 4 = -d*l for l.
0
Let i(a) = -a + 26. Let y be i(23). Suppose y*u - u + 10*u = 0. Solve -2*m + 3*b + 21 = 0, u*m + 3*m - 14 = b for m.
3
Let z = 171 + -136. Solve t + 4*t = 4*o + z, -4*t - 8 = 4*o for t.
3
Suppose 2*s - 8 - 26 = 0. Suppose -o - 5*i - 13 = 0, 5*i + 39 = -3*o - 0*o. Let y = o + 16. Solve -7*m + y*m = t + s, 0 = 3*m - t + 11 for m.
-4
Let x be (-12)/(-18) - (-938)/6. Let w = x - 152. Solve 5*s - p = 12, 13 + w = 4*s - 5*p for s.
2
Let h = 13 - 9. Let q = 328 - 320. Solve 4*p - 2 = 2*a - q, 3*a - 3 = h*p for p.
-3
Suppose 3*y - 3 = 9. Let n(s) = s**3 - 4*s**2 + 4. Let x be n(4). Solve 3*i = -l + 3, x*l = -y*i + 2*i + 12 for i.
0
Let h = 95 + -86. Let l = -3 - 3. Let u be ((-6)/l)/((-1)/(-4)). Solve -5*a + 32 = 3*i, 2*i - u*a + h = 1 for i.
4
Let x(l) = -4*l - 19. Let m be x(-9). Suppose m - 7 = 5*v. Solve -4*z + 5*p = 37, 4*p - 4 - 22 = v*z for z.
-3
Let t(m) = -4*m - 4*m + 4*m - 2*m. Let u be t(-5). Let z = 175 + -125. Solve 4*j + j - u = -h, -5*h = 5*j - z for h.
5
Let q = 25 + -23. Suppose 0 = -q*r - 5*x + 53 + 11, 4*r - 3*x - 180 = 0. Let l be 14/r + 22/6. Solve -5 = -2*k + 5, -3*n = -l*k + 5 for n.
5
Let z(b) = -b**3 + 13*b**2 - 16*b + 53. Let o be z(12). Solve -5*d = -o*t - 10, -3*d - 1 = -5*t - 3 for t.
2
Let n(j) = -3*j - 4. Let d be n(-3). Suppose d*h - 12 = -3*m, -h + 4*m = -6 - 1. Solve 12 = t + h*r, -5*t = 2*r + 2*r - 16 for t.
0
Suppose -12 = -3*d - d. Suppose -3*a + 22 = o, d*o = -4*a + a + 12. Suppose -a = -0*n - 3*n. Solve -5*j - 4 = -n*v, -3*j + 4 = -4*v + 2 for v.
-2
Let b(s) = s**3 + 4*s**2 - 7*s - 2. Let c be b(-5). Suppose 3*o + o = -c. Let j be (14 - o)/2 + -3. Solve -5 = -j*q, 2*q = k + 4*k + 12 for k.
-2
Suppose 17*d = 4*d - 234. Let x(f) = f - 25. Let r be x(0). Let y = d - r. Solve -3*m = -o, -2*m + 4 = 3*o - y*m for o.
3
Suppose 0 = -2*c + 8 - 2. Let o be 1 - (-1 + 0) - -6. Suppose 2*f - o = f. Solve -4*k + c*r + 2 = 11, -2*k - 2*r = f for k.
-3
Suppose o - 8 = -2*q, -3*o - 4*q + q + 12 = 0. Suppose o = -5*p + 2*p + 12. Solve 23 = -z - p*k, 5*z = -k - k - 25 for z.
-3
Suppose -232 = 6*z - 244. Solve -z*k - b + 8 = 0, 3*b - 6*b = -4*k - 4 for k.
2
Let r be (16/22)/4 + 80/44. Solve -g = -1 - r, 7 = 4*f + g for f.
1
Let z be 0/(-4 + 3 + 0). Let o be -3 + ((-21)/(-7) - (-2 - z)). Solve -21 = 5*i - 2*c - c, c = o for i.
-3
Let f be (52/91 + (-838)/(-28))*2. Let h = 64 - f. Solve h*t - 5*z - 10 = 5*t, 2*t = z + 2 for t.
0
Let u be (-18)/(-4) - 4/(-8). Let f be -12*(2 - 1 - 10). Suppose 4*q = 7*q - f. Solve -2*m = 3*d + q - 13, d + u = 0 for m.
-4
Let c(t) = -t**3 - 10*t**2 - 23*t + 6. Let g be c(-7). Let p be 38/8 + 3 + (-55)/g. Solve -q + z + p = -2*q, -4*q = 2*z + 10 for q.
0
Suppose -4*b = -2*b + 76. Let x = b - -42. Solve -5 + 6 = g, 2*g - x = 2*p for p.
-1
Suppose -23*w = -j - 27*w - 20, 0 = 2*w + 10. Solve j = 5*d - 5*t + 50, d + 2*t - 5 = -0*d for d.
-5
Let z = 55 - 41. Suppose -16*g = -z*g - 6. Solve -u + 4 = 5*r - 17, -5*u + g*r - 7 = 0 for u.
1
Let z(t) = t**3 - t**2 - t + 5. Let p be z(-3). Let x = 43 + p. Solve 0*g = 3*g + 5*h - 17, 4*g - h - x = 0 for g.
4
Suppose 5*t = z - 8, 3*z - 8 = -t - 0. Solve -6 = 2*y + 3*k, 4*y - 2*k = z*k + 10 for y.
0
Suppose 2*f = 5*m + 4*f - 22, 5*f + 15 = 5*m. Suppose 3*s + 5*l = 61, 0 = m*l + 9 - 29. Solve 0 = 5*i + u - 5*u - 11, -3*u + s = 3*i for i.
3
Let o(s) = -s**2 + 3*s. Let k be o(3). Suppose -5*g = -k*g. Solve g = -u + h - 7, -4*u + 2*u - 23 = -5*h for u.
-4
Suppose 0 = -6*o + 11*o + 15, -3*u = 5*o - 51. Solve -w = -2*r + 1 - 8, -2*r - u = 4*w for r.
-5
Let c(n) = n**2 + 2*n + 11. Let z be c(0). Solve -7*d - 24 = -4*q - 3*d, z = q - 2*d for q.
1
Let n = -70 - -75. Suppose 0 = n*u - u + 2*z - 14, -4*u + 3*z + 29 = 0. Solve -25 = -u*j, s + 0 = j - 4 for s.
1
Suppose 0 = -z - 0*z + 9. Let v = 13 - z. Solve -4*b + v = -3*y, 6*b - 5 = b for y.
0
Let z = -217 - -219. Let l(i) = i**2 + 3*i + 4. Let y be l(-3). Solve -3*m = -y*s + 9, -z*s - 2 = 4*m + 10 for m.
-3
Let t(o) = 2*o + 41. Let q be t(-16). Solve 3*n - 9 = -3*c, -n + 4*c = -2*n + q for n.
1
Let h be 13 + (-3)/(6/(-8)). Solve 2*g - 3*f - f = -26, -4*g - h = -f for g.
-3
Let k(w) = 14*w + 238. Let y be k(-17). Solve y = 2*j + 3*j + 5*c - 25, -c + 5 = 4*j for j.
0
Let p = -164 + 165. Let y(c) be the first derivative of 3*c**2/2 - c - 2. Let q be y(p). Solve 3*z = q*b + 17, -4*z + b = 6 - 27 for z.
5
Let d = 87 - 87. Suppose 34 = 4*k - 2*x, 0*x + x - 16 = -k. Suppose 3*t - k + 2 = 0. Solve d*m + m = -a - 4, m = -t for a.
-1
Suppose 0 = 156*n - 158*n + 10. Solve 0 = -5*x - 15, -n*m + 5*x - 8 = -23 for m.
0
Let z(j) = j**2 + 35*j + 276. Let f be z(-11). Solve 3*x - f = 5*r, -5*x - 2*r + 15 = -5 for x.
4
Suppose -f + a + 5 = -1, -5*a = -3*f + 26. Let z = f + -21. Let y = 19 + z. Solve l - 3*i + 12 = i, y = -5*l - 3*i + 9 for l.
0
Let y(c) = -18*c - 60. Let t be y(-4). Solve -u - t = 3*u, 2*w + 3*u = 1 for w.
5
Let a be (-6)/(-5)*20/3. Let n = a + -8. Solve -4*w = -n*w - 16, -l + 7 = 3*w for l.
-5
Suppose -y - 2*q = -5, 15*y - q = 18*y - 10. Solve -23 = -2*l + y*i, -5*l = -i - i - 30 for l.
4
Let i = -114 - -202. Let u = 112 - i. Solve 0*y + 2*p = -4*y - u, p = -y - 8 for y.
-4
Suppose 4*d = 5*v + 61, 4*d + 3*v - 85 = -0*v. Let g = d + -11. Suppose 1 = b - o, 5*b + 4 + 0 = -4*o. Solve 3*x = -5*f - 19, f - 5*f - g = b for x.
-3
Suppose -21*z + 123 = -24*z. Let a = z - -44. Solve 4*x + 0*x + a = -3*s, 4*s - 12 = 0 for x.
-3
Let q be ((-1)/4)/(3/(-1680)*10). Solve 5*j = -4*c + 45, 3*j = -3*c - q + 44 for c.
5
Let v = 264 - 262. Solve -28 = 5*k + 2*r, 10 - 2 = -v*r for k.
-4
Suppose -4*i + 5*b = 9, 2*i + 4*b = 22 + 6. Solve 1 - 10 = -5*f - 4*m, -i*m + 6 = 2*f for f.
1
Let h = 19 + -15. Suppose 2*r + p + 0*p = 1, h*r - p - 17 = 0. Solve 0 = y + 2*q + r + 4, -y + 3*q = -13 for y.
1
Suppose 16*s + 13 = i + 12*s, 3*i + 4*s - 7 = 0. Solve j - 30 = -i*c, 2*c = j - 3*j + 20 for c.
5
Let a = -10 + 30. Suppose 22 + a = 6*p. Let q = 8 - 6. Solve -p*h + 2*h = 4*d - 25, -10 = -q*h + d for h.
5
Suppose 11*r - 618 = -552. Solve -l - 2*l - r = 0, 0 = 4*w + l + 2 for w.
0
Let h = -618 - -621. Solve -5 = h*v + 5*g, 0 = 4*v + 2*g + 3 - 15 for v.
5
Let j = 36 - 26. Let f be (-25)/(-4) + 9/(-36). Let n = j - f. Solve -4*b - 4*z + 3 = -5, 0 = 2*b - n*z - 16 for b.
4
Let b = -151 - -163. Solve -3*t + 3*y = -b, y + 20 = -4*t - 4*y for t.
0
Let v = -2345 + 2350. Solve -3*g - 5 = w - 4, -3*w = -v*g - 25 for w.
5
Let q = -12 - -97. Suppose 5*y + q = -2*r + 7, -5*y - 4*r - 76 = 0. Let d = 21 + y. Solve -2*n + 13 = -d*j - n, 3*j + 12 = 2*n for j.
-2
Suppose 21*w - 66 - 18 = 0. Solve 5*o + 18 = -c, -o = 4*c - 0 - w for c.
2
Let f be 33/(-126)*-14 - (-4)/(-6). Solve 5*i + f*p + 12 = 0, 0 = -0*p - 4*p + 4 for i.
-3
Suppose 5*i = -y - 61, 4*i - 5*y + 7 = 3*i. Let j be (-3)/6 + i/(-8). Let m be 13 + -1 - (j - 4). Solve 0 = -3*c - m, -s - 5*c = s + 31 for s.
-3
Suppose 6*s = 8*s - 6. Suppose 2*o = 43 + 53. Let v = o - 26. Solve -3*n = -s*h - 5*n - v, -2*h = -n + 3 for h.
-4
Suppose 0 = h + 5*l + 24, 0*h + 5*l + 29 = 4*h. Solve 2*p = -h + 7, v + 11 = 4*p for v.
1
Suppose -9*n = -8*n - 2. Let o = -214 - -216. Solve -4*c - 12 = -o*i, -n*i - 3*c - 6 = -c for i.
0
Let m be (45 + -44)/(1/3). Solve -n = m*c + 2 + 7, -5*n = 5*c + 15 for n.
0
Let v = -6 - -16. Let h = v - 5. Let c be (9 + -10)*-6*(-1)/(-2). Solve -c*z + 5 = -u - u, 3*z + 10 = h*u for z.
5
Suppose -f + 157 = -2*o, o + 4*o + 398 = -3*f. Let p = o - -84. Solve -5*v + 6 = -k - 2*k, -3*v - 6 = -p*k for k.
3
S