)/(3/(-10)) + l. Is (-8)/(-6)*(-1 + w) a multiple of 17?
True
Let u be (2 - (-18)/(-6)) + (2 - -823). Suppose 13*j - u = 9*j. Is 6 a factor of j?
False
Let m = -666 - -13686. Does 20 divide m?
True
Suppose l - 1 = 2. Suppose -s - 3 = 0, -o + 6 = -3*s - l. Suppose f - 3*k - 37 = -f, 4*k + 4 = o. Is 10 a factor of f?
False
Let l(z) = -182*z - 41. Let f be (-26)/9 - 63/567. Is l(f) a multiple of 5?
True
Suppose -22368 = -28*r + 70176 - 19072. Is 12 a factor of r?
False
Let a(o) = o**3 + 5*o - 14. Let y be a(3). Does 9 divide y*24/15 + 4/20?
True
Let g(q) = -1614*q - 931. Does 50 divide g(-5)?
False
Let m = -34992 + 35410. Does 19 divide m?
True
Let l(n) be the second derivative of n**4/12 + 15*n**3/2 + 143*n**2/2 + 3*n - 3. Is 2 a factor of l(-42)?
False
Suppose l - 2*j - 1 = -9, 4*l - 5*j + 41 = 0. Is 17 a factor of (-1900)/l - 2/(-7)?
True
Suppose 5*s = -25, 31 = 3*p - 5*p - 3*s. Let b be (-120)/p*2/(-6). Is 9 a factor of (-7 + (-3)/1)*(1 + b)?
False
Let j(x) = -x**3 - x**2 - 7*x + 4. Let q be j(-9). Let y = q + -415. Is 20 a factor of y?
True
Let a = -10 + 13. Suppose -2*v + a*u + 60 = 0, -5*v + 192 = 7*u - 4*u. Is v a multiple of 10?
False
Suppose 107989 = 8*t + 35397. Is 133 a factor of t?
False
Let p(b) = b**3 - 12*b**2 - 11*b - 19. Let n(o) = -o**3 + 18*o**2 + 16*o + 28. Let l(z) = -5*n(z) - 7*p(z). Let c be l(-4). Let a = 106 + c. Does 34 divide a?
False
Suppose 0 = d + 1, -2*d + 60 = -4*z + 14. Is z/24 - 2404/(-8) a multiple of 75?
True
Let a(y) = -4905*y + 382. Is 10 a factor of a(-2)?
False
Let q(j) = j**3 - 3*j**2 - 19*j + 58. Let n be q(5). Suppose -12512 + 3737 = -n*l. Is 17 a factor of l?
False
Let f = 14164 - 13477. Is 3 a factor of f?
True
Let g = 374 + -309. Let x = g + 155. Does 40 divide x?
False
Let u = 34 - 32. Suppose 5*h - 157 = -u*v, v - 5*h = -2*v + 273. Is v a multiple of 13?
False
Let n(t) = 12*t**2 - 20*t - 3. Suppose 0 = 7*a + 1451 - 1486. Does 2 divide n(a)?
False
Suppose 5 = 2*j - 1. Let h be (-357)/(-12) - j/4. Does 6 divide (-8 + 9)/(1/h)?
False
Suppose 4*y - 4*w - 8 = 2*y, -y - 8 = 4*w. Let d = 8 - 5. Suppose d*h + y*j = -5*j + 387, -3*j = -h + 115. Is 7 a factor of h?
False
Is 4 a factor of (11 - 276/28)/((-1)/(-28))?
True
Let f = 5672 - -44. Is 142 a factor of f?
False
Let b(w) = 2*w**2 - 13*w - 22. Let x be b(-9). Suppose 5*h - 218 = 3*a + x, -h + a + 95 = 0. Is 19 a factor of h?
True
Let o = 87 - 76. Suppose -1 - o = -3*r. Suppose -58 = r*a - 150. Does 13 divide a?
False
Let z = -152 - -305. Is 6 a factor of (-74)/111*z/(-2)?
False
Suppose -147 = -3*x + 10*u - 5*u, -5*x + 207 = -2*u. Suppose 5*o + 91 - 6 = 0. Let y = x - o. Does 28 divide y?
True
Suppose -3*c + 3*z = -24, z - 1 = -2*c - 0*z. Let f be (-1 + 1/3)*c/(-2). Is 26 a factor of (-2920)/(-28) - ((-10)/14 + f)?
True
Let w = 143 - 141. Suppose 0*h + 4*q + 460 = w*h, 2*q = 0. Suppose -578 + h = -4*n + 2*z, -3*n + z + 261 = 0. Does 29 divide n?
True
Let b = -33 - -54. Let r be 1/(-11) + 529/253. Suppose -2*d + 51 = n - b, -r*d + 228 = 3*n. Does 26 divide n?
True
Let o = 38722 + 9718. Is 56 a factor of o?
True
Let d(t) = -5*t + 38. Let u be d(7). Let s be -6 + u - ((-42)/3 - 0). Let x(k) = k**2 - 10*k + 8. Is x(s) a multiple of 5?
False
Let w(x) = 7*x**3 - 3*x**2 - 3*x - 3. Let z(h) = 2*h**3 - h**2. Let c(y) = w(y) - 3*z(y). Is c(6) a multiple of 39?
True
Suppose -3*h + m = 16, 2*m - 4 - 4 = 0. Is 6 a factor of (214 - -4 - h) + -5?
False
Let k(v) = v**2 - 21*v - 20. Let j be k(22). Is 766/j - (4 - 5) a multiple of 43?
False
Let m(v) = 4*v + 34. Let u be m(-11). Is 842/5 + 4/u a multiple of 6?
True
Suppose 3*w + 299 = 4*w. Let q = -1015 + 881. Let t = w + q. Is 13 a factor of t?
False
Let x(v) = -63*v - 1104. Is x(-58) a multiple of 34?
True
Suppose -8*h + 5*h - b = -9762, -4*b = 5*h - 16256. Is h a multiple of 22?
True
Let m(w) = w - 1. Let p be m(6). Suppose -7 = -4*n + p. Suppose 2*u = u + n, -d - 5*u + 129 = 0. Is d a multiple of 19?
True
Let l = -237 + 240. Suppose 0 = l*j + t - 570, 2*t = -4*j + j + 567. Is 23 a factor of j?
False
Suppose 0 = 2*q - 4*c - 6, -6*c + c = -4*q + 12. Suppose 6*x - 2*j + 175 = 11*x, 3*x - 6*j - 141 = 0. Let i = q + x. Does 8 divide i?
True
Let i(b) = -105*b**2 + 4. Let m be i(2). Let d = m + 906. Let g = -294 + d. Is g a multiple of 28?
True
Let o = 185 - 93. Suppose 2*l = -2*z + 8, -2*l - 5 = -7*l. Suppose -w - o = -z*w. Does 32 divide w?
False
Let u = -13886 + 27146. Does 39 divide u?
True
Suppose -3*m + 4*y = 29, -2*m + 3*y = 2*y + 21. Let d = 8 - m. Suppose -v = d - 137. Does 10 divide v?
False
Suppose 0 = -100*j + 112*j + 8532. Let r = j - -759. Does 12 divide r?
True
Suppose -11421 = 72*b - 293661. Does 80 divide b?
True
Let t(h) = -h**3 - h**2 - 4*h - 6. Let a be t(-6). Suppose -38*c = -44*c + a. Is c a multiple of 5?
False
Suppose -2*s - 347 = 4*r + r, -172 = s + 2*r. Suppose -5*o - 385 = y + 870, -4*o - 2*y = 1004. Let h = s - o. Is 7 a factor of h?
False
Suppose 0 = -235*j + 231*j - 3*r + 134649, -j + 5*r + 33668 = 0. Is 229 a factor of j?
True
Let d(f) = 247*f**2 + 99*f - 539. Does 39 divide d(5)?
False
Suppose -3*w + j = -2, 0*w - 3*j + 6 = -3*w. Let s be ((-1394)/(-85) - 17)*-5. Suppose -s*v + 24 = 4*c, v + 4*c - w*c = 10. Does 4 divide v?
True
Let t(d) = 158*d + 12. Let z = -72 + 78. Let i be t(z). Does 20 divide 10/(-3)*i/(-100)?
False
Suppose 0 = -7*o - 176 + 197. Suppose 2*a - 4*l - 51 = -o*l, 0 = -2*a + 4*l + 48. Is 11 a factor of a?
False
Is 52 a factor of -3562*(-2)/((-6)/108*-9)?
True
Does 56 divide (-2297)/((6/8)/((-240)/160))?
False
Let r = 224 + -222. Is 1*r*(-5)/(-5)*116 a multiple of 8?
True
Let h = -43 + 51. Suppose 4*l = 20, -h*a + 4*a = 4*l - 36. Suppose -4*c + 105 = -3*f - 63, a*f - 179 = -5*c. Does 10 divide c?
False
Let v(w) = -10*w - 20. Let f be v(-4). Let s be (1/2)/(10/f). Let h(r) = 170*r**2 + r - 1. Does 17 divide h(s)?
True
Let h(f) = f**3 - 10*f**2 - 9*f - 18. Let u be h(11). Suppose 0 = -3*b + 5*x + 51, -u*b - b = -x - 63. Let n(l) = 7*l + 5. Is 16 a factor of n(b)?
False
Suppose -2475 = -29*o + 16665. Does 26 divide ((-88)/220)/((-1)/o)?
False
Is 18 a factor of (3140/8)/(80/11712)?
False
Let i = 239 + -224. Suppose 5 = -i*p + 950. Is 18 a factor of p?
False
Let r(p) = -2*p**2 - 21*p + 41. Let g be r(-12). Suppose 54 = u + g*z, 4*u - 6*u = -2*z - 72. Is 5 a factor of u?
False
Suppose -t + 4*t + 3*q = 18, q - 1 = 0. Suppose b + 416 = 3*n, -t*n = -b - 110 - 580. Does 49 divide n?
False
Let o(l) = l**2 - 4*l - 7. Let v be o(6). Suppose -376 = -v*x + 714. Is x a multiple of 72?
False
Let d = 2269 - 1961. Is d a multiple of 14?
True
Suppose 191584 = 5*f - p, 2*f = 3*f + 4*p - 38342. Is f a multiple of 98?
True
Suppose -3*a = -h - 0*h - 125, 4*a - h = 165. Let f = 42 - a. Is 14 - 81/18*f/(-3) a multiple of 4?
False
Suppose 4*r + r - 70 = 0. Let d(v) = -v**3 + 14*v**2 + v - 11. Let h be d(r). Suppose -h*u + 6*u = 2*l + 58, 4*u - 82 = 5*l. Is u even?
True
Suppose -3*n - 28 = 4*a, a + 1 = 3*n - 6. Let y(u) = -2*u**3 - 5*u**2 + 12*u + 56. Is y(a) a multiple of 20?
False
Suppose -7*q + 4 = -5*q. Suppose a - 4*n - 76 = 0, -98 = -4*a + q*n + 164. Does 2 divide a?
True
Let m = -2014 + 3322. Does 32 divide m?
False
Let n = 117 + -116. Does 40 divide (-2*n)/((-2)/200)?
True
Let r(u) = -u**2 - 14*u + 3. Let s be r(-14). Suppose -2*t + 6*t + 15 = 3*l, 0 = -s*t + 3*l - 12. Does 17 divide 1/t*(-204)/(-8)*-2?
True
Let i = -1337 + 2819. Let h = i + -496. Suppose 148 + h = 6*z. Is 9 a factor of z?
True
Let o(t) = 100*t + 22. Let f be o(10). Suppose -2*y = -3*y + f. Suppose 2*g + 2*g + 217 = l, -5*l - g = -y. Is l a multiple of 41?
True
Let o be 30/14 - 72/(-84). Does 3 divide (-2)/o + (-1444)/(-114)?
True
Let u(q) = -561*q**3 + 3*q**2 + q - 10. Does 102 divide u(-2)?
True
Suppose 4 = 2*y - 4*g + 6*g, -g - 10 = -5*y. Is (-1160 + (2 - y))/(-2) a multiple of 29?
True
Let m(a) = -a**2 - 3*a + 10. Let y be m(-5). Suppose 5*q - 110 - 45 = y. Does 10 divide (-4 + q)/((-4)/(-12))?
False
Suppose 5*u = t + 309, t - 2*u - 1572 = 6*t. Let z = -203 - t. Is 37 a factor of z?
True
Let x be (-444)/(-54) - (-8)/(-36). Suppose 6*d + 414 = x*d. Suppose 0*w + 81 = w - 4*p, 3*w = 3*p + d. Is w a multiple of 5?
True
Suppose -318*k = -314*k - 12. Suppose 0 = m + 2*w - 228, -k*w - w = -m + 246. Is 18 a factor of m?
True
Sup