= -2*i + 5*s + 5, 4*i - d*i = -4*s + 8 for i.
-5
Suppose 12 = 4*r - 0. Suppose 2*q = -4*v - 0*q + 116, -r*q = v - 24. Let d be 21/4 + 1/(-4). Solve -2 = 3*i - 2*h + 17, -v = 4*i - d*h for i.
-5
Let q = 1150 + -1146. Solve -5*z + 2 = w - 6, 0 = -z - q*w - 6 for z.
2
Let d = -6 - -8. Suppose 0 = 2*k - 2*h - 74, -4*k + d*h + 176 = k. Suppose -10 + k = 4*i. Solve -s = 2*w + 6, -2*s = -5*s - i for w.
-2
Suppose -83 = -17*l - 49. Solve 0 = -h - l*t + 10, 15 = -2*t + 5*t for h.
0
Suppose 2*v - 5*v + 2*b + 130 = 0, 2*b = v - 46. Let l = -38 + v. Let k = -3 - -6. Solve u + k*z - 16 = -z, -3*u - 32 = -l*z for u.
-4
Let o = 84 - 80. Solve g - 4*g - 5*t + 19 = 0, o*g = t + 10 for g.
3
Let i = -51 - -77. Let r = 3 + 1. Let s(c) = c + 26. Let u be s(-15). Solve -v - u = r*j + j, 5*v = 2*j + i for v.
4
Let s = 1 - 1. Let h be (12/8 + 0)*88/44. Let l = 4 - 1. Solve 4*d = -5*x - h, s*x = -2*d + l*x - 7 for d.
-2
Suppose -2*z - 5*q + 50 = 0, 0*q - 4*q - 158 = -5*z. Suppose 6 = 3*h - z. Solve 4*k - 2*o - 22 = 0, -3*k + o + h = -3 for k.
4
Suppose j + 1 = -2*o, -o = o - 5*j - 29. Suppose p = x - 6, 2*x - 4 = -o*p - 0. Suppose -x*a + 3 = -17. Solve -3*u + a*f - 18 = 0, -u + 6*u = -f - 2 for u.
-1
Suppose 27 = -28*d + 139. Solve 0 = d*v + b + 7, -7 = 3*v - v - 3*b for v.
-2
Let t(s) = 24*s - 36. Let o be t(2). Solve 2*f + 0*f + 6 = -2*v, 2*f = -4*v - o for v.
-3
Let h be -6*10/(-6)*(-21)/(-105). Solve 3*n = -h*n - 3*z - 17, 2*n + 5*z + 3 = 0 for n.
-4
Let z = 10 - 5. Let u be 232/12 + 5/(-15). Solve -s + 5*i = z - u, 2*s + 2 = -5*i for s.
4
Let c = -1925 - -1928. Solve -t - 25 = 5*s - 4, -c*t - s = -7 for t.
4
Let f(v) = v**2 - 6*v + 4. Let u be f(7). Let n = u + -11. Solve n = -5*r - 3*q + 5*q - 20, -3*r - 2*q - 12 = 0 for r.
-4
Let o(t) = 4*t**2 - 8*t + 4. Let q be o(3). Solve -5*n + n = -2*a - q, -5*n + 13 = a for n.
3
Let t be (-4002)/(-493) - (-2)/(-17). Solve 15*x - 11*x = 2*y + t, -4 = -4*y - 2*x for y.
0
Suppose -4*n - 52 = 8. Let a = -7 - n. Solve -f + 4*f = r + a, 0 = 3*r - 2*f + 10 for r.
-2
Suppose 359*j = 354*j + 80. Solve 4*k + j = 0, -4*d = -0*d + 4*k + 24 for d.
-2
Let s = -63 + 68. Let i(f) = -2*f**2 + 10*f + 2. Let u be i(s). Solve -u*b - 5 = -0*b + 5*o, 0 = -2*b - 4*o - 2 for b.
5
Let k(w) = -40*w - 117. Let g be k(-3). Solve 2*h - 4 = -4*o + 3*h, -g*o + 14 = 2*h for o.
2
Let u = -57 + 105. Let z = u - -3. Let n = -31 + z. Solve -r + 20 = 4*j, 4*j = r + 4*r + n for r.
0
Let p(r) = r**2 - 6*r - 21. Let f be p(8). Let m(g) = -g**2 - 8*g - 12. Let b be m(f). Solve 2*x - 3*u = 2*u + b, 0 = -4*x + 5*u + 11 for x.
4
Let t = 112 + -109. Suppose x - 19 = -3*k - 0*x, -4*x = -k - 11. Solve -4*h = -t*d + 18 + k, -4*h - 13 = -d for h.
-2
Let d(z) = 5*z**2 - 173*z + 104. Let i be d(34). Solve -x - 1 = 6*a - 7*a, -4*x - 4 = -i*a for x.
-1
Let q(n) = n**3 - 25*n**2 + 21*n + 78. Let x be q(24). Solve -x = -3*z, -5*a + a = z + 18 for a.
-5
Let n = 138 + -121. Solve 5*y + 0*r - 11 = 4*r, 0 = 5*y + 2*r - n for y.
3
Let f(p) = p**3 + 23*p**2 - 22*p + 42. Let u be f(-24). Let r = u + 8. Solve -r*a + i + 12 = 0, 0 = -a + 3*a + 3*i - 4 for a.
5
Suppose -3*k - 74 - 16 = 0. Let z = 58 + k. Suppose 5*n - g + 2*g = 82, 2*n + 2*g - z = 0. Solve 5*p + 5*a + 2 = n, a - 2 = -2*p for p.
-1
Let x(z) = z**2 + 3*z + 3. Let m be x(-3). Suppose -m*c + 0 = -3. Let h = c + 2. Solve -4*q = -4*w + 8, -h*q - 1 = 2*w - 0 for w.
1
Let f = -198 + 458. Let a be f/40 + (-5)/2. Solve -2*n - 19 = 5*r + 1, 16 = -a*r + n for r.
-4
Suppose 0 = -3*q + 4*q - 5. Let g(y) = -y**2 - 9*y + 6. Let a be g(-6). Solve -16 = -3*b + 3*w + w, -4*w = -q*b + a for b.
4
Let h = 438 - 434. Solve 28 = -5*w - 2*n + h*n, 3*n = 12 for w.
-4
Let k be 23/(1265/(-70))*-11. Solve -18 = 5*l + 3*d - 2*d, 3*l - d + k = 0 for l.
-4
Let a(f) = f - 15. Let l be a(19). Let u be 0 + 2 + (-19 - 2). Let x = -15 - u. Solve l*j + x*k = -20, k = j + 3*k + 9 for j.
-1
Suppose 3*g + 75 = 483. Let k = 138 - g. Solve 0*l - 4 = -2*m + k*l, 5*m - 16 = 3*l for m.
5
Let t be (-64)/(-4)*9/6. Let x = t + -14. Suppose -x = -2*a + 2. Solve d - 5 = b - 2*d, -2*d + a = 0 for b.
4
Let f be (-1 - 148/(-8))*-2. Let y = 40 + f. Solve -n - y = -0*n, 29 = c - 5*n for c.
4
Let v(q) = 3*q - 4. Let o be v(3). Let d(c) = -29 + 4 - 14*c + 19*c. Let s be d(6). Solve -b - o*l + 20 = 0, -s*l + l = -20 for b.
-5
Suppose 0 = -j + 1 + 3. Suppose j*t + b + 56 = -b, 3*t = -3*b - 48. Let k be (12/(-10))/(t/40). Solve -m + 7 = 5*z, k*z + 0*m + 3*m = 10 for z.
1
Suppose 5*l - 5*t - 50 = 0, -10*l - 2*t = -5*l - 29. Solve -l = -3*w - 5*i, -5*w - 3*i = -0*i - 17 for w.
4
Let i(n) = -11*n + 1. Suppose 5*b = -4*r - 4 - 3, 2*b - 14 = 4*r. Let c be i(b). Let z = c - -12. Solve -y + s = -3*s - 6, 3*y - 4 = -z*s for y.
2
Let g(h) = h**3 + 4*h**2 + 4*h + 3. Let p be g(-2). Suppose 11*z + 495 = 22*z. Solve 25 = 5*k + m, z = 5*k + p*m + 2*m for k.
4
Let y(k) = -k**3 - k**2 - k. Let a be (-3)/18 + (-22)/12. Let q be y(a). Solve -g + 7 = -q*f + 3*f, -4*g = -f - 17 for f.
-1
Let n(d) = -d - 25. Let p be n(-22). Let o(k) = -k**3 - 2 - 2*k + 3 - 3 - 3*k**2. Let q be o(p). Solve b + 4 = q*a, 2*a = -3*b - 4 - 8 for b.
-4
Let v be 396/39 + 2/(-13). Suppose 6*u - u = v. Suppose 0 = 5*n - u*n - 9. Solve o - n*a + 10 = 0, o - 2*a + 0*a = -5 for o.
5
Let u(a) = -7*a**3 + a**2 + a + 1. Let z be u(-1). Suppose 2*f = -4 + z. Let s = 88 + -84. Solve f = c - 2*c, -c + 2 = s*x for x.
1
Suppose -2*g - 136 = 2*g. Let l = -26 - g. Solve -m = -5*w - 2, -m - l = -5*m + w for m.
2
Let b(y) = 12*y - 68. Let k be b(6). Solve -5*o - 2*h - 24 = -3*h, 4*h = -k for o.
-5
Suppose 4*s = -n - 2 - 5, 0 = 2*s + 4*n - 14. Let x be s/2 + (-209)/(-22). Suppose -4*t = -x*t + 20. Solve -5*c = 4*b + 1, 0 = -3*c + 3*b - 1 - t for c.
-1
Suppose -7 = -x + 7. Let w be -4*(x/(-4))/7. Solve 0 = -3*v + l, 4 = 3*v + l - w for v.
1
Let p(h) = 2*h**2 - 31*h - 9. Let z(o) = o**2 - 15*o - 5. Let a(x) = -6*p(x) + 13*z(x). Let j be a(11). Solve -2*i - q = j, -4*i - 6 - 25 = 5*q for i.
-4
Suppose 0 = -5*o + 25*p - 21*p + 75, 3*o - 4*p = 37. Solve 4*v = m + 2*m - 6, 2*m + 5*v + o = 0 for m.
-2
Let i be 4/30 + 85/(-75). Let g(d) be the first derivative of -2*d**2 - 2*d - 2. Let x be g(i). Solve -5*p = -4*o + 36, 2*o - 16 = -x*p + 4*p for p.
-4
Let d be (15/(-6) - -1)*2. Let s(t) = -2*t - 1. Let r be s(d). Suppose -2*n + 56 = 3*y - 3*n, -n = 2*y - 44. Solve -5*g - y = z - r, -2*z = -5*g - 30 for g.
-4
Let k be (0 - 1)/(1/(-5)). Suppose k*h - 281 = 49. Suppose -p - h = -4*p. Solve -2*l = 4*a + 8, 5*l - 4*a - 14 = p for l.
4
Let x = 78 + -76. Let z be (-6 + 8)*x/4*3. Solve -5*o = -i + 17, -z*o - 5*i = -0*o + 27 for o.
-4
Let q be 52/13*(3 - -1). Suppose 3*f - 14 = o, 3*o = 3*f + o - q. Solve v + 2*b + 1 = -0*v, -f*v + b = 13 for v.
-3
Let p be ((-5)/10)/(4/(-96)). Let r(o) = o**3 - 11*o**2 - 15*o + 45. Let l be r(p). Solve -1 = 3*j - 5*h, 0*j + l = -4*j - h for j.
-2
Let p be (38/(-5))/(3/(-15)). Let n be -3 + (-2)/(-4)*p. Solve -2*u + 1 = 2*k + 11, -4*u - n = 2*k for u.
-3
Let b be (6 + 1)/(812/232). Solve 2*o + b - 8 = -q, -o + 2*q = 7 for o.
1
Let t be 26 + (4 - (-1 + 2)*2). Let c = t + -25. Let p be 1/((5/(-4))/(-5)). Solve -2*w - 4*i - 10 = 4, p*w + c*i = -8 for w.
1
Let k be (3 - 2)/((-7)/77). Let l be (-2 - -1)/(-12 - k). Solve -2*p + 4 + 6 = 4*n, 0 = p - l for n.
2
Let m = 360 + -355. Solve 5*b = -4*s + 22, m*b - 23 = -5*s + b for s.
3
Let l(f) = f**3 - 8*f**2 + 6*f + 25. Let u be l(7). Solve 5*i - 9 = -x + 12, -2*x = -2*i + u for i.
5
Let g = 11 + -5. Let s be (-40)/g*(-3 - 0). Solve -2*n = 3*n + 5*r + s, -5*r - 24 = n for n.
1
Let j be 0*(-7 + (-65)/(-10)). Solve 4*r - 4*z = -4, -2*r - 6 = -z - j*z for r.
-5
Let x be 55/10 - (-1)/6*-3. Solve 0 = -3*s + w + 13, -x*w + 0*w = 5 for s.
4
Let i(r) = 2 - 46*r**3 - 6 + 45*r**3 - 7*r**2 - 7*r. Let h be i(-6). Solve 5 = 5*j, x + h*j + 6 = 5*x for x.
2
Let i = 48 + -45. Solve c + i*c = -20, 5*c = -5*p for p.
5
Let q = -30 - -33. Suppose 2*u = 5*o + q, -3*u + 4*o + 12 = u. Let g(h) = 2*h + 1. Let p be g(2). Solve -2*x + y = u, -3*x - p*y + 16 = -4 for x.
0
Let h(l) = -l**3 + 10*l**2 + 10*l + 22. Let d = -90 - -101. Let q be h(d). Solve 4*o - 5*m + 3 = 20, -5*m - q = -2*o for o.
3
Suppose -5*t - 6 = -31. Suppose -b - 10 = -15. Solve b*d - 19 = -0*l - l, -t*l - 3*d = -7 for l.
-1
Let x(j) 