-6 = -2*a - c*d - 1, -7 = -s*a - d for a.
4
Let y(g) = -3*g**3 - 22*g**2 - 7*g + 9. Let a be y(-7). Solve 15 = 3*u + 2*q, u - 2*u - 2*q = -a for u.
3
Let h be (-105)/9 + (-6)/(-9). Let w be h + 8 - -1*5. Solve 2*b + w*o = -6, b + 3*o - 3 + 10 = 0 for b.
-1
Suppose 20*g = 7*g - 13. Let w be (1 - g)/((-7)/(-3 + -11)). Suppose 0 = -f - 0 + 3. Solve 2*t + t + 1 = w*l, -1 = 5*l - f*t for l.
-2
Let p be (5/4)/((-1)/(-4)). Solve -i - v = -2 - 0, -3*i - p*v + 2 = 0 for i.
4
Let r be 8/(-12) - (-1 + 6/(-9)). Solve d + r = 0, -f = d + 3*d + 3 for f.
1
Let f = 4 - 7. Let u = 5 + f. Suppose 0 = -5*z + 2*n + 94, 0 = -2*z - 0*n + u*n + 40. Solve 3*t = x + 4*x + 16, 0 = 3*x + t + z for x.
-5
Let d(a) = 44*a + 266. Let z be d(-6). Solve 0 = z*w + c - 5, 2 + 0 = 2*c for w.
2
Suppose 10*x - 39 - 171 = 0. Solve 2*t - 5*u = 40 - 15, -2*u - x = -3*t for t.
5
Suppose -3*p - 11 = 5*x - 5, -4*p - 2*x = -6. Solve 2*f - 15 = 7*f, 0 = -4*r + f + p for r.
0
Suppose -2*g + 16 = 6. Let f(p) = 6 + 11 - 1 - 3 + p. Let r be f(-8). Solve -3*h + r*u + g = 4*u, h - u = 3 for h.
1
Suppose 0*q + 5*v = 4*q + 20, -3*v = -3*q - 12. Let w be (-9)/(-4) - (-1)/(-4). Solve 2*u + 2*u = -w*r + 10, q = 3*u - 5*r - 40 for u.
5
Suppose 44 = 2*s - 4*n, -2*n = 3*s - 14 - 12. Solve -16 = 4*b - 3*m, 4*b - 5*m + s = -3*m for b.
-1
Let m be (-7 - -10) + -4 + (-10)/(-2). Solve -m*x + u = -12, -5*u + 11 = -2*x - 1 for x.
4
Let c(z) = 2*z**2 + z + 17. Let d(s) = -3*s**2 - s - 26. Let h(q) = 8*c(q) + 5*d(q). Let t be h(-2). Solve -5*x = 4*k + 2 - 0, 0 = -t*k + 3*x - 18 for k.
-3
Let f(l) = -5*l - 8 + 5 - 1 + l**2. Let t be f(6). Let a be 1 + ((-3)/(-1) - t). Solve -2*v = m - 7, a*v + 2*m - 4 = -2*m for v.
4
Let y(p) = -6*p - 4. Suppose 2*w + w = -3*l - 3, -l - 5 = 5*w. Suppose l*o - 4 = o. Let s be y(o). Solve -g + 40 - 15 = 4*n, -n - 3*g = -s for n.
5
Let l be 0 - 0 - 4/(-1). Let u(i) be the third derivative of -i**6/120 + i**5/15 + i**4/24 - i**2. Let x be u(l). Solve 2*y - 4 = 4*d, 0*d + d + 1 = -x*y for d.
-1
Suppose 87 = 13*l + 61. Solve -2*w = 10, -l*m - 4*w - 31 = -13 for m.
1
Let n = -303 + 307. Solve 2*r + 6 = -w, r + 5*w = -n*r - 25 for r.
-1
Let c(n) = -n**3 - 6*n**2 + 21*n + 16. Let q be c(-8). Let t = 28 + q. Solve w + 19 = -5*b, 0*b + t*b - 4*w - 4 = 0 for b.
-3
Let v = -7 + 9. Suppose v = 2*k - 2*h, -k - h - 1 = -0*h. Solve -3*c = 5*l + 2*c, 3*l - c + 12 = k for l.
-3
Let i = 1001 + -999. Solve 15 = 5*z + 4*a, 5*z = 7*z + i*a - 8 for z.
-1
Suppose 5*y - 1 = 9. Let x = 20 - 20. Let r = x - -3. Solve -4*f = 4*v, 10 = f + r*f + y*v for f.
5
Let n = 1846 + -1843. Solve 4*c - 3*o - 6 - n = 0, -3*c = 4*o + 12 for c.
0
Let a(v) = -v**3 + 10*v**2 + 25*v - 8. Let l be a(12). Solve -3*r - l*h = 24, -2*h + 3*h + 11 = -2*r for r.
-4
Let f be ((-2)/8)/(11/(-220)). Suppose 5*w + 45 = 4*k, k - 4*k - 2*w + f = 0. Solve i - 3 = 4*a - 24, 5*i = k*a - 45 for a.
4
Let j = 175 + -105. Suppose -5*o + 2*o + g = -42, -5*o + 3*g = -j. Solve 5*v - 7 = 3, -4*z + v = o for z.
-3
Suppose -3*n + 8 = -43. Let l = 18 - n. Let q be (35/14)/(l/2). Solve -x - q*s = 8, x + 4*s = 7*s for x.
-3
Suppose -38 + 26 = -3*a. Solve 14 = -q - a*u, -3*q + 0*q - 6 = 3*u for q.
2
Let s = 0 + 9. Let j = s - 3. Let y be (-100)/j*(-12)/8. Solve -5*i = -5*z - y, i + z = 4*i - 13 for i.
4
Suppose 0 = 6*y + 2*y - 40. Solve -23 = y*a + 5*g + 22, a - 3 = 2*g for a.
-5
Suppose -5*i - 60 = -4*q, 12*i - 8*i = -16. Solve t + 2*p - q = -3*t, 5*t + 5*p - 5 = 0 for t.
4
Let z = -8 - -11. Suppose -1 = -2*v - z. Let r be (-4 - -3)/(v/16). Solve 3*f - 7*f = -20, 3*j = -2*f + r for j.
2
Let p = -22 - -24. Let z(v) = 10 - 5*v + 3*v + 3*v. Let s be z(-7). Solve p*j + 0 - 13 = 5*k, 4*j = s*k + 5 for k.
-3
Let s(f) = f**3 + 7*f**2 - 7*f + 13. Let z(x) = x**3 + 14*x**2 + 2*x + 20. Let i be z(-14). Let p be s(i). Solve 5*w - 4*w - p*g = 22, -5*g = -3*w + 26 for w.
2
Suppose 0 = -0*v + 3*v + 6. Let h be 2 + (4 + v - 0). Solve 13 = h*b + 3*u, -6*u + 16 = 4*b - 2*u for b.
1
Let y = -36 + 36. Suppose 4*v + 2*v - 84 = y. Solve -3*b + v = x, 4*b - 20 = -b for x.
2
Suppose 5*f + 3*f = -5*f. Solve f = 5*l + 3*c + 18 - 6, l = c + 4 for l.
0
Let o(y) = 8*y - 1. Let r be o(2). Suppose 6 = r*g - 13*g. Solve -g*v + 2*v = 5*d - 3, -5*d = -v - 7 for d.
1
Suppose 0 = -5*c + 4*s - 13, 4*c - 4 = -3*s - 2. Let o be ((-7)/(-21))/(c/(-15)). Let h = -10 + 19. Solve o*w - h - 14 = m, 0 = -4*w + m + 18 for w.
5
Let d(w) = w**2 - 31*w + 63. Let k be d(2). Solve k*m = t + 24, -2*t - 9 - 4 = -3*m for m.
5
Let j = -163 - -165. Solve -4*o + 3*a + 9 = 4*a, j*a = -5*o + 15 for o.
1
Let d(z) = 4*z**2 - 57*z - 42. Let w be d(15). Solve w = -3*r + m - 0*m, 19 = -2*r - 5*m for r.
-2
Let j be (-4)/(-10) + 4/(-10). Suppose 38 = 4*v + 142. Let g = -24 - v. Solve -g*m + 3*x + 11 = j, 0*x = -5*m - x + 2 for m.
1
Let j = -391 - -408. Solve -7*l + 20 = -2*l - 3*u, j = -3*l - 4*u for l.
1
Let y(d) = d**3 + 11*d**2 + 17*d - 1. Let h be y(-9). Suppose -10 = -2*j - h. Solve -m + 3*u = j, -u - 4 = -3*m + u for m.
2
Let d be 6/(-21) - (-72)/7. Let l = 9 - d. Let f be (l + 0)*(-13 - -6). Solve -y - f = 2*w, 2*y = -2*y + 12 for w.
-5
Let h = 60 - 60. Solve -n - 4 = -3*z + 5, h = n + 3 for z.
2
Let p = 59 + -54. Suppose -29 + 5 = -3*v. Let w = -11 + 13. Solve 2*j + 2 = -w*k, -p*k + j + 3 = v for k.
-1
Suppose 11*l + 3*s - 1 = 9*l, 3*s + 24 = 3*l. Solve -3*b = z + l, 4*z + 8 + 3 = -3*b for z.
-2
Let z(w) = w**2 + 13*w - 45. Let a be ((-1)/((-30)/(-36)))/((-3)/(-40)). Let p be z(a). Solve -2*s = -y, -2*y + 2*s - 7 + p = 0 for y.
-4
Suppose 6*d + 50 = 16*d. Solve d*w + 5*l = 20, 2*w + 4*l - l - 8 = 0 for w.
4
Let u = 0 - -4. Let h(v) = -2*v**3 - v**2 + 4*v + 6. Let j be h(0). Solve -2*x - 8 = 2*z, -j - 4 = u*x + z for x.
-2
Suppose -2*p - 1 = -2*o + 5, 3*p - 15 = -5*o. Solve -g + 3*a + p + 4 = 0, g = 4*a + 4 for g.
4
Let h(m) = -m**3 + 3*m**2 - 7. Let v be h(6). Let t = 115 + v. Solve 3*n + 2*w + 0*w = -10, t = 4*n - 3*w + 19 for n.
-4
Suppose 33 = -334*u + 345*u. Solve u*w + 8 = 2*k, 3*k + 20 = 8*k for w.
0
Let o(m) = m**3 + 9*m**2 + 3*m + 31. Let b be o(-9). Let v be b/12*12 + 13. Solve -2*g - 7 = -3*s, -s + v = 2*g + 4*s for g.
1
Let a be (-16)/(-12)*9/(9/3). Let x be (13/(-4) + 0)*-4. Let h = -170 - -173. Solve -g - a*f = 2*g - x, -5*f = -h*g + 4 for g.
3
Suppose 0 = -4*q, -2*o + q + 5 = -o. Suppose -3*b + 2*b = -s - o, -34 = -5*b - 4*s. Solve 0 = 2*m - 2*w - b, -4*m - 2*w + 1 = -5 for m.
2
Let k(a) = a**2 - 2*a + 2. Let n be k(2). Let b be 1*-4*(-1 + -1). Let j be n/b + (-15)/(-4). Solve 4*g + j*q = 6*q + 6, -5*q - 10 = -5*g for g.
1
Suppose 169*a - 70 = 162*a. Solve -5*u - 5*d - 15 = -a, -4*d = 3*u for u.
-4
Suppose 2*b + 2*l - 32 = 0, 16 = -3*b - 2*l + 59. Let x = -68 + 34. Let f = x + 36. Solve 25 = -3*o - h + b, f*o + 4*h = -6 for o.
-5
Let f(q) = -2*q**2 - 9*q + 8. Let j be f(-7). Let o be 6/j + 10/45. Solve 2*t - 4 = 2*v, -t + o + 2 = v for v.
0
Let c(g) = -g + 13. Let x(i) = -i**3 - 8*i**2 + 8*i - 3. Let d be x(-9). Let z be c(d). Solve -6 - 9 = 5*s, 4*p = -s - z for p.
-1
Suppose -89*n = -87*n. Solve -5*w + 0*w + 45 = -5*q, -4*w + 3*q + 32 = n for w.
5
Suppose -4*z = -4*p + 233 + 87, 5*z = 3*p - 250. Suppose p*l - 36 = 66*l. Suppose 4*w + 124 = 8*w. Solve -5*m = -l*x + w, 8*m - 3*m - 1 = -4*x for m.
-3
Suppose 4*c - 5*p - 31 = 0, -25*c = -29*c + p + 19. Solve -f - 4*g + 10 = 0, -g = -c*f - 5*g + 4 for f.
-2
Suppose 15*v - 55 = 20*v. Let y = 11 + v. Solve -k + 3*q = 2, -3*k = -4*q - y*q - 4 for k.
4
Let c be -24*(-2)/4*4/3. Suppose c*d - 9*d - 14 = 0. Solve 2*n - 5*g + 22 = -d*n, 2*g - 4 = 0 for n.
-3
Suppose -21*s + 19*s + 14 = 3*x, 4*x - s - 4 = 0. Solve 3*k + x*k - 20 = 2*u, -5*u - 2*k = -8 for u.
0
Suppose -8 - 27 = -7*f. Solve 0 = 5*v - f*g, 0*v - v + 2*g - 4 = 0 for v.
4
Let s be 14*(78/(-21) + 4) + 3. Let l(i) = -i - 4. Let w = -13 + 5. Let o be l(w). Solve -s*f + 1 = -o*f - j, 8 = -f + 2*j for f.
2
Suppose 5*s - 6 = 4. Let l be (0 - 2/3) + 1624/348. Solve l*o = 5*n - 7, -3*o - 7 = s for n.
-1
Let i = 15 - 9. Suppose -i - 2 = -4*d. Let f = 396 + -394. Solve 3 = -h - r, -r - f*r = d*h + 7 for h.
-2
Let t = -45 + 47. Let j be (0 - t/1) + 2. Solve -2*o - 6 = 0, j = -a - 2*o - 3*o - 10 for a.
5
Suppose 0 = h - 4*y + 1, 12 - 2 = 3*h + y. Solve 4*j - r + 4 = -5*r, -h = -3*j - r for j.
2
Let d = 