 + 10, -2 = -2*n for s.
4
Suppose -25*a - 12*a + 511 = -414. Solve 2*p = 8, 6*p = -5*x + p + a for x.
1
Let s be 29 + 6/(-9)*3. Let j = s - 21. Let t(o) = -2*o**2 + 15*o - 13. Let z be t(j). Solve 0 = y + 5*g + 5, y - 3*g + z = g for y.
-5
Let l = -4685 + 4730. Solve -2*p = -2, 4*p = -3*k - l + 58 for k.
3
Let i be 30 + -10 - 17 - 3. Solve 2*v + 91 - 90 = -j, i = -2*j + 10 for v.
-3
Let t(z) = z**3 - 8*z**2 + 3*z + 17. Let v be t(8). Suppose -2*b = -7 - 13. Suppose 0 = b*x - v - 19. Solve 0 = -4*g, 0*y + 3*y + x = -4*g for y.
-2
Let h = -223 + 258. Suppose -22*c = -15*c - h. Solve -3*v - 3*g = -8*g - 12, -20 = -c*v + g for v.
4
Suppose 0 = t + 8*v - 5*v - 91, -3*t - 4*v = -293. Suppose q = -i + 37, 0*q = -3*i - 5*q + t. Solve -5*l = 3*w - 13, 4*w - 5*l = -0*w - i for w.
-4
Let a(y) = -160*y**3 + y**2 - y + 1. Let u be a(1). Let x = u - -160. Solve 4*k - j = -10, 5*j + 6 = k - x for k.
-3
Let j be 7 + (-4)/(-2)*(-18)/12. Let a be (-8)/10*(-3 - 18/4). Suppose -3 = -o, -22 = -f + o - a*o. Solve 4*k - 18 + 6 = -j*i, -5*i + f = 3*k for i.
-1
Let s = 33 - 16. Let a(l) = 10*l + 10*l - s - 14*l. Let v be a(7). Solve 2*x = 3*f - v, 9 = -2*x + f - 6 for x.
-5
Let o be -38 + (0 + -1 - 1). Let s be o/(-60) + (-20)/(-6). Suppose -6 = -5*b + s. Solve 3*a = -y - 10, 4 + 4 = -b*a for y.
2
Suppose -5 = 4*n - 25. Suppose n*k - 12 = -k. Let z be 6/4 - (-3 + 5/k). Solve -5*q + 8 = p - 15, 0 = 3*p + z*q - 4 for p.
-2
Let y be 0/((-1)/1 - -2). Let i be (-2)/(-6)*(15 + y). Let z be 66/11 - (-72 - -74). Solve -i*h - 25 = 5*f, -h + 3 = f - z*h for f.
-3
Let o(t) = -10*t**2 - 2*t - 2. Let x be 2/(1/(-2)*4). Let q be o(x). Let w be (2 - 12)/(5/q). Solve -2*n + 1 = -2*r + r, 4*r = -4*n + w for r.
3
Let l be (-1507)/(-66)*8*(-6)/4. Let q = -267 - l. Solve -2*d - d + 2*o = 23, -3*o = d - q for d.
-5
Let t = 47989 - 47986. Solve -24*o + 25*o = t*k - 13, -2*k = -4*o - 2 for o.
2
Suppose 17666*l - 1586 = 17605*l. Solve 3*o = -2*j + 6, -10*o + 5*o = -2*j - l for o.
4
Let u(i) = 29*i + 121. Let x be u(-4). Solve -2 - 6 = x*h - 2*n, 0 = 3*h + 2*n + 8 for h.
-2
Let h(c) = c**3 - 15*c**2 + 15*c + 2. Let b be h(14). Suppose -b = -7*n + 5. Solve p + n*l - 13 = 0, -2*p = -5*p + l + 9 for p.
4
Suppose 5*c = 17*c - 21 - 27. Let b(v) = 9*v**2 - 2*v - 1. Let r be b(3). Suppose -o + r = o. Solve 0 = 3*h + 4*i + 22, -4*h = c*i - 13 + o for h.
-2
Let n(u) = 2*u**2 - 22*u + 4. Let k be n(11). Suppose k*x = 8*x - 16. Let l be 4/(x/1) + 3. Solve l*f = 4*a + 4, 4*f - 21 = -3*a - 3 for a.
2
Let l(x) = 2*x**2 + 48*x - 104. Suppose -36 = h + 5*i, -4*h + 3*i = -2*h + 46. Let p be l(h). Solve p = 3*f - 2*f + 3*a + 18, 5*a + 28 = -f for f.
-3
Suppose -2*x - p = -17, 12*p - 16*p + 18 = -2*x. Solve x*n - w = 2 + 9, -4*w = -3*n + 10 for n.
2
Suppose 48 = 3*v + 36. Let w be v/(-3)*(-3 + 6/(-8)). Solve -2*h + 4 - 2 = 0, s + 2*h = w for s.
3
Suppose 8*q + 7 = 9*q - 5*h, -h - 1 = 0. Solve 35*f - 30*f + 4 = 4*g, 0 = -2*f + q*g for f.
-4
Let b = 83 + -80. Let m be (-3)/3 - 24*-1. Suppose 18*r + 25 = m*r. Solve 0 = -r*x - b*d + 15, -2*x + 5*x - 5*d - 9 = 0 for x.
3
Let u(p) = -328*p + 3612. Let m be u(11). Solve 30 - 26 = -3*z + 4*j, 8 = -m*z + 4*j for z.
-4
Suppose -3*h + 8 = h. Suppose 6*u + 89 = 101. Let o be -2 + (3 - u)/((-2)/(-4)). Solve 12 = -h*q - r, 3*q + o*q = -2*r - 20 for q.
-4
Let g(y) = -y**3 - 33*y**2 - 44*y - 370. Let d be g(-32). Solve -23*c + 21*c = 2*q + 16, -q - d = 3*c for c.
-3
Let x(v) = v**3 - 9*v**2 + 29*v - 150. Let t be x(8). Suppose -152*w = -146*w - t. Solve -3*n + 2*r + 7 = -0*n, -3*r - 3 = -w*n for n.
5
Suppose -7*f = -18*f + 11. Suppose 0 = 22*o + 147 - 191. Let s = -1 - -1. Solve 3*n = 2*j + 14, s = o*n - 2*j - 9 - f for n.
4
Let w = -2169 - -2196. Let f(x) = -x**3 - 2*x**2 - 3*x + 4. Let l be f(-3). Let t = w - l. Solve 32 = t*z + 4*h, 15 = 3*z - 4*h + 5*h for z.
4
Suppose 3*h + 5*v - 69 = -80, 5*v = -h - 27. Solve i + 3*f = h*f - 8, -i = f + 2 for i.
-3
Suppose -65*i + 45 = -i - 147. Solve -4*c + i*x = 5*x - 6, -2*x - 18 = -4*c for c.
3
Let c(f) = -53*f**3 - f**2 + 1. Let q be c(-1). Suppose 48*u + 100 = q*u. Let w = 22 - u. Solve -g - 4*j + 21 = -w*g, -7 = 3*g + 2*j for g.
-5
Let p = 27464 + -27461. Solve 3*w - v + 5 = 4*v, -5*w - p*v = -3 for w.
0
Let o(l) = -l**3 + 7*l**2 + 57*l - 10. Let z be o(-5). Let s be (-6)/(-2) - 0 - 0. Let d be s/(-6)*-4*4. Solve -3*r + z*w + 22 = 0, -r - w + d = -3*w for r.
4
Let q = 72 + -21. Suppose q = -17*y + 34*y. Solve 0 = y*k + 2*k + 3*a + 10, 2*a = 0 for k.
-2
Let c = -243 - -255. Suppose -c = 40*p - 46*p. Solve -4*l + 2*y = l - 15, 2*l + p*y + 8 = 0 for l.
1
Suppose -7*z = z + 48. Let d be ((-66)/(-12) + 2)*z/(-9). Solve 14 = -v + d*o, v + 4*v - 4*o + 7 = 0 for v.
1
Let a be (-1)/1 + 4 + 1. Suppose -2*s = 3*h + 36 - 342, 596 = 4*s + 2*h. Let i = s + -135. Solve -4*g - 3*y = -14, 2*g + 0*g + a*y - i = 0 for g.
2
Suppose -18*n = 20*n - 114. Solve -n*o + 3*d + 14 = -4*o, -o - 4*d - 18 = 0 for o.
-2
Suppose 8*l + 48 = 136. Suppose l*t - 108 = 7*t. Solve 5*w + 4*n = 37, -7*n + 3*n = 3*w - t for w.
5
Suppose -4*u = -q + 5, 4*q - 10 = -3*u + 10. Let r(g) = -g + 4. Let p be r(u). Solve 5*i - 3*z = -21 - 3, -i + 9 = p*z for i.
-3
Suppose -50 = o + 22. Let t(s) = 43*s - 285. Let k be t(5). Let w = k - o. Solve -6*p + 2*p - f = -w, 6 = -3*p + 3*f for p.
0
Let h(t) = -t**3 - t + 11. Let r be h(0). Suppose r*y = 2*y. Solve 4*o = 3*b + 2*o - 15, 2*b - 2*o - 12 = y for b.
3
Suppose -2*l = -5*b + 13, -l + 2 = -b + 4. Let a(c) = c**3 + 10*c**2 + 11*c + 18. Let h be a(-9). Solve 4*i + s = -h*i - 21, -b*i - 19 = 4*s for i.
-5
Let s be (10/35)/((-2)/(-14)). Suppose n = 4 + s. Let a be 12/8*2 + 0 + -1. Solve -a*w = w + n, -4*c - 4*w - 16 = 0 for c.
-2
Let y(h) be the second derivative of -h**5/20 + h**4/4 + h**3/6 + h**2 - 80*h - 1. Let k be y(3). Solve 0 = -3*z - k*i - 26, 0*z - 20 = 4*z + 3*i for z.
-2
Let c(w) = -w**2 + 16*w + 107. Suppose 48 = 7*k - 99. Let r be c(k). Let m = 17 + 8. Solve -3*n + 7*d + m = r*d, -n + 5*d = -15 for n.
5
Let s be ((-423)/27)/((-2)/(-66)). Let a = s - -518. Solve 2*j = 3*g - a, g = 4*g + 5*j + 34 for g.
-3
Suppose 8*s = 10*s - 14. Let y(m) = -m**3 + 8*m**2 - 8*m + 9. Let d be y(s). Solve 4*z = 5*g + 22, -d*g - 3*g - 19 = -3*z for z.
3
Let q be 4/3 - (-1320)/36. Suppose 5*u = q - 8. Solve -3 = -2*a + m, 0*a + 2*m + u = a for a.
0
Let q(z) = 5*z - 1. Let t be q(0). Let g(o) = 39*o + 43. Let l be g(t). Solve 0 = -l*i - 20, -4*m - 5*i = -6*i + 11 for m.
-4
Let k be 0 + (0 + 0)/2. Let g be -3 - -5 - (-3 + 7 + -7). Suppose k*u + 10 = g*u. Solve u*s - 2*c + 16 = 0, 2*s - s + 24 = 5*c for s.
-4
Let u(n) = 712*n - 2841. Let o be u(4). Solve -5*x + 10 = 0, -f + 0*f + o = 4*x for f.
-1
Suppose 4 = 2*w - 2*a - 14, 3*w - 4*a - 31 = 0. Suppose 3*g + 105 = 5*c, -w*c + 125 = -0*g + g. Solve -4*j + 2*o + c = -2*o, -4*o - 20 = -3*j for j.
4
Let v(t) = -3*t**2 - t + 12. Let w be v(-2). Solve -5*n = -w*b - 32 + 16, -3*b - 4*n = -22 for b.
2
Suppose 61*o = 504 - 138. Let b be ((-56)/o)/(116/(-87)). Solve 0 = 3*a - 5*r - 2, 2*a - 6*a = 3*r + b for a.
-1
Let g = 7287 + -7277. Solve 0 = -2*t + 2, 9*o + g*t = 15*t - 50 for o.
-5
Let y = 95 - 162. Let u = 982 - 1051. Let a = y - u. Solve -3*z + 29 = -0*z - 4*w, -z - a = w for z.
3
Let c = -6955 - -6960. Solve -c*m + 11 = -n - 4, 33 = -5*n + 4*m for n.
-5
Let y be 7/((-42)/4) + 56/3. Suppose y = -z + 4*z. Let o be (15/20)/((-3)/(-12)). Solve -5*k = o*x - 3 + 7, -5*x = 2*k - z for x.
2
Let y = -15 + 20. Suppose -4*b + 4 = 3*w - 6*b, y*w = -4*b + 36. Suppose 0 = 5*v - w - 1. Solve 7 + 15 = 4*q - 5*m, 0 = -q - m + v for q.
3
Suppose -648 - 512 = -145*q. Solve -5*j - m = -q - 8, -j + 2*m + 12 = 0 for j.
4
Suppose 5*t + 7*f - 3*f - 14 = 0, 4*f + 46 = 5*t. Suppose 0 = -3*n + t, 2 = 2*p - 3*n + 8. Solve -g - 3*u - 7 + 3 = p, -12 = 3*g - 2*u for g.
-4
Let l = 8 + -4. Suppose 3 = -5*i - v, l*i - 9 = 2*v + v. Suppose -8*s + 4*s = 2*a - 40, -a - s = -11. Solve -d - a*t = i, 5*d - 1 + 10 = -t for d.
-2
Let n be (1 + -2)/(3/102). Let u = n + 52. Let w = 21 - u. Solve -p - 2*s = w, -5*s + 15 = -5*p - 0*p for p.
-3
Let x(a) = 8*a**3 + 18*a**2 - 5*a - 5. Let p be x(-2). Solve -4*l + p + 10 = g, -2*l - 3*g = -19 for l.
5
Suppose 2*z - 2 = -f, 224*z - 225*z = -f - 10. Solve -x - 2*t + 7 = 0, z = -15*t + 16*t for x