 17 a factor of z(4)?
False
Suppose 5*u + 3*r - 50 = 24, -61 = -4*u - 3*r. Let n(l) = 9*l + 103. Is n(u) a multiple of 22?
True
Let l be ((0 - 8)/2)/(-102 - -103). Does 4 divide (2 - (-16 - 4))/((-2)/l)?
True
Let y(m) = 4*m**2 + 13*m - 3. Let l be y(-4). Let j = 323 + -195. Suppose -j = l*w - 398. Is w a multiple of 28?
False
Let k = 1657 + 853. Suppose 0 = -5*b - 4*r + 2537, -k = -5*b - 2*r + 7*r. Is b a multiple of 17?
False
Let r(g) = 489*g**2 + 10*g + 49. Let i be r(-7). Suppose 8*s = 44*s - i. Is 28 a factor of s?
False
Let p be (-6)/(4 - 5) + -1. Suppose -581 = -2*v - p*v. Let s = v - -151. Does 26 divide s?
True
Suppose 4*z - 9 = z. Let q(b) = -6*b**2 + 8*b - 2. Let f(a) = 17*a**2 - 22*a + 6. Let h(o) = 8*f(o) + 22*q(o). Does 5 divide h(z)?
True
Suppose -1 = -w, 2*n + 4*w - 1091 = -277. Does 7 divide n?
False
Suppose 2*y + 145634 = 4*j, j = 3*y + 54605 - 18204. Is j a multiple of 110?
True
Let i(u) = -u**2 - 10*u + 14. Let c be i(-11). Suppose 5*y + 33 = c. Does 12 divide y*8/(-12)*18?
True
Suppose 0 = -3*y - 2*d + 5*d - 165, -2*y - 5*d = 124. Let w = y - -94. Is 23 a factor of w/(-2)*-1*2?
False
Let m = 2415 - 1120. Is 6 a factor of m?
False
Let o(h) = h**3 + 6*h**2 - 6*h**2 + 3*h**2 - 2 + 2*h. Let k be o(-2). Let j = k - -20. Is 9 a factor of j?
True
Let b be (180/21)/(-2)*(-13 + 6). Let z be (-4)/b - (-506)/(-30). Let a(x) = -8*x + 5. Is a(z) a multiple of 12?
False
Let x = 578 + 10. Let u(k) = -83*k**2 - 4*k - 12. Let t be u(6). Does 32 divide (t/x)/((-57)/56 + 1)?
True
Let i(c) = -2*c**3 - 5*c**2 + 7*c + 8. Let x be i(-5). Suppose -2*l + 736 - x = 0. Suppose 4*a = -w + l, -w + 517 = 5*a + 117. Is 30 a factor of a?
False
Let j(h) = h**2 + h. Let z(v) = v**2 + 9*v + 9. Let m(p) = 5*j(p) - z(p). Let q be m(4). Suppose 4*i = 5*o + 4 - q, 4*i - 53 = -3*o. Is 2 a factor of o?
False
Let u(q) = -3*q**2 - 6*q - 3. Suppose -36 = 11*p - 2*p. Let d be u(p). Is 9 a factor of 2/(-12)*2*d?
True
Let m = -4454 - -13566. Is 16 a factor of m?
False
Let q be (-167 - 1)/(-1) + -1. Let z be ((-224)/(-10))/((-44)/110). Let w = z + q. Is 10 a factor of w?
False
Suppose 5*a = -5*o + 7970, 5*o + 2*a = 10693 - 2717. Does 114 divide o?
True
Let f(d) = d - 21. Let a be f(8). Let i(x) = x**3 + 9*x**2 - 22*x + 21. Let u be i(a). Let p = -131 - u. Does 17 divide p?
True
Let u = -96 + 1092. Is 10 a factor of u/10*((-15)/(-2) + -5)?
False
Let g = 1783 + -1245. Is g a multiple of 5?
False
Let g = 66610 + -39965. Is 73 a factor of g?
True
Let a(n) = 3*n - 1226. Let h be a(0). Let x = h - -1874. Is x a multiple of 54?
True
Suppose 2*v - 56 = -3*p, 3*p - 4*v = -2*v + 76. Suppose p*d - 20*d - 4 = 0. Suppose 5*y + d = 127. Is 7 a factor of y?
False
Does 7 divide (-51)/(-85) - (-17)/(255/22776)?
True
Let n(m) = -31*m + 32. Let r be n(1). Let w(l) = 416*l + 11. Does 5 divide w(r)?
False
Suppose 0 = -2*r + 2*q + 83290, 5*q - 113 = -88. Is 98 a factor of r?
True
Suppose -5*s + 49*y = 50*y + 45, -4*y = -2*s - 40. Let m(z) = 2*z + 9. Let g be m(-7). Does 22 divide (1 - (-27)/g)/(2/s)?
True
Suppose 37*n - 6*n = -17*n + 24864. Is 14 a factor of n?
True
Let t(m) = -320*m - 5456. Is t(-23) a multiple of 4?
True
Suppose -4*n + 744 = 4*c, 0*c = 4*n - 3*c - 737. Is ((-2)/(-8) + (-30)/(-40))*n a multiple of 5?
True
Let c = 1 + 41. Let h = 44 - c. Suppose 698 = 5*g - 4*a + h*a, -144 = -g - 4*a. Is g a multiple of 11?
False
Suppose 5*n = 3*x + 80925 + 14728, -4*n = -x - 76514. Is 31 a factor of n?
True
Let d(h) = -12*h - 114. Let o(f) = -12*f - 118. Let r(n) = 6*d(n) - 5*o(n). Is 15 a factor of r(-36)?
False
Let w = -2841 + 10246. Does 7 divide w?
False
Suppose -9095 = -2*s - 7555. Is 11 a factor of s?
True
Suppose -87*f = -64*f - 564581. Does 16 divide f?
False
Let m = 17855 - 11225. Is m a multiple of 26?
True
Let p = -409 + 21033. Is p a multiple of 16?
True
Let z = -164 + 160. Is (3 + 19)/(z*5/(-160)) a multiple of 16?
True
Let c be 2/(3 + (-1146)/381). Let b = c - -361. Let u = b + -50. Is 14 a factor of u?
False
Does 7 divide 5679 - 0 - (70/30 + 169/(-39))?
False
Let x(h) = h - 74. Let n be x(-17). Let c = n - -97. Suppose -c = -2*r + 42. Does 12 divide r?
True
Let j(h) = h**2 + 160*h + 1944. Is 4 a factor of j(0)?
True
Let r = 85 - 350. Let i = r + 594. Is i a multiple of 22?
False
Let x = 1144 - -527. Does 160 divide x?
False
Suppose -5*w - 112*v + 108*v + 117885 = 0, 3*w - 5*v = 70768. Is w a multiple of 13?
False
Let g(l) = l. Let d(s) = -2*s**2 - 11*s - 18. Let x(z) = -2*z - 4. Let a be x(-4). Let u(y) = a*g(y) - d(y). Is 30 a factor of u(-9)?
False
Suppose -v + 5*v = -352. Let i = v - -230. Let s = i - -36. Is s a multiple of 38?
False
Let a(f) = f**3 + 4*f**2 + f + 5. Let j be a(-3). Suppose j*i = -4452 - 32640. Does 10 divide (-4)/(-10) - i/20?
False
Is 25 a factor of (5 - 10/(-23 - -13)) + 10231?
False
Let p be 3 + 77/(-15) + 10/75. Is (0 - 0)/p + 162 a multiple of 27?
True
Suppose 8 = 4*m - 4. Suppose -m*g = i - 1, 0 = -4*i + g + 4. Suppose i = 2*d - 65. Does 6 divide d?
False
Let u(f) = -f + 3 - 5 - 3*f. Let h be u(-4). Does 2 divide (h/(-49))/(1/(-7))?
True
Suppose 11*w = -3*w. Suppose 2*x - 131 + 81 = w. Is x a multiple of 25?
True
Let t(p) = p - 1. Let c be t(3). Let f(a) be the second derivative of 3*a**5/5 + a**4/6 - a**3/6 - a**2 - 507*a. Is 33 a factor of f(c)?
False
Suppose 29*p + 4*x = 27*p + 13548, 4*p - 27100 = -4*x. Is p a multiple of 14?
True
Let z be 1/(4 + -1 - (-160)/(-55)). Let y = z - -12. Suppose -4*s = -3*g + y, -4 + 0 = -4*s. Does 2 divide g?
False
Is 93 a factor of 310*(4121/52 + (-5 - 75/(-20)))?
True
Let j(o) be the first derivative of -5*o**2 + 27*o - 130. Is 2 a factor of j(-5)?
False
Let k(i) = 36*i. Suppose -1 = 2*j - 4*b + 5, -3*j + 9 = 3*b. Does 12 divide k(j)?
True
Does 8 divide (61/2 - 1)/(((-3861)/2592)/(-143))?
True
Let a(q) = 3*q + 136. Suppose 0 = 3*j - u + 91, 4*j - 68 = 5*u - 193. Is 23 a factor of a(j)?
True
Suppose 0 = -5*q - 48 + 3. Let x be (33/22)/(6/104). Let s = x + q. Does 17 divide s?
True
Suppose 0 = -40*w + 58*w. Let a(b) = b**2 - 6*b + 4. Let q be a(6). Suppose -312 = q*n - 7*n + 2*y, w = -2*y - 6. Is n a multiple of 19?
False
Let t(f) = -21*f + 9*f**2 - f**3 + 15 + 6*f + 0*f**3 + 0*f**3. Let h be t(8). Let c = -22 - h. Does 7 divide c?
False
Suppose -72 = -2*t - 4*u, -5*t - 4*u + 189 = -3*u. Suppose -t = 2*v - 4*l, 6*l = -2*v + l + 7. Let z(i) = i**3 + 9*i**2 - 8*i + 12. Is z(v) a multiple of 7?
True
Let r be -4 + (5 - 4 - -51). Let n = -50 + r. Let x(u) = -158*u - 4. Is 25 a factor of x(n)?
False
Suppose -4*w + 13802 = q, -2*q - 3*w - w + 27620 = 0. Does 12 divide q?
False
Let a be ((-3)/2)/(4/(-664)). Suppose i - a = 76. Is 13 a factor of i?
True
Is 5 a factor of ((-20)/6)/(107/(-963))?
True
Let g(f) = -3*f + 3702. Does 63 divide g(-47)?
True
Is 5547*1066/156*2 a multiple of 321?
False
Does 40 divide (3 + 326*4/(-8))/(90/(-1305))?
True
Let j(r) = -2 + 0*r**2 - 2*r**2 + 4 + 0*r**2 + 45*r. Let n be j(23). Does 13 divide 197 - 1 - n/(-7)?
False
Suppose -x + 18947 = 2*b - 7*b, 2*x - 37790 = -3*b. Is 5 a factor of x?
False
Suppose 2*r = 18, -296*r - 63896 = -g - 298*r. Does 19 divide g?
True
Suppose -5*j - 14*i + 138 = -15*i, i - 58 = -2*j. Let c = 145 + j. Does 4 divide c?
False
Suppose 3*j = 4*n - 86, -4*n = -6*n - 2*j + 36. Suppose -n*s - 2736 = -28*s. Does 34 divide s?
False
Let j = 11843 - 1478. Is j a multiple of 23?
False
Is (225756/81 + (-3)/27)/1 a multiple of 6?
False
Let s(f) = 18*f**2 + 10*f + 105 + f**3 + 12*f - 89. Is 11 a factor of s(-16)?
True
Let k be 0/44*(-2)/(-4). Suppose k = -24*x + 10*x + 4046. Is x a multiple of 32?
False
Suppose 0 = 4*h + 3*i - 14582, -2*i = -h - 3*h + 14612. Is h a multiple of 108?
False
Suppose -i + 2481 = -3*y, -i + 5*y + 1738 + 753 = 0. Suppose -10*t + 16*t = i. Is 10 a factor of t?
False
Suppose -5*u + 0*u + 5 = 0, 231 = 2*h - 3*u. Suppose q = h + 85. Suppose 0 = -3*k - 2*i + q, 2*k + k = -4*i + 212. Does 9 divide k?
False
Let l be 177 + 4/(16/12). Suppose -14*c + 114 = -l. Suppose -5*u + 3*m = -3*u - c, -m + 5 = 0. Is 18 a factor of u?
True
Is (-172178160)/(-16280) + 2*(-2)/74 a multiple of 158?
False
Let z(j) = -10*j**2 - 44*j + 14. Let l be z(13). Let y = l - -3939. Is 19 a factor of y?
True
Let o = 566 - 1207. Let t = -354 - o. Does 4 divide t?
False
Suppose 5*i - 25 =