Is 2 a factor of w?
True
Suppose 0 = 3*q - 3*y - 85098, -4*q + 662 + 112802 = 5*y. Is q a multiple of 10?
False
Let x = 15178 - 9692. Is 173 a factor of x?
False
Let f = 52 - -2963. Is f a multiple of 2?
False
Suppose -2*n = 5*t - 33, 5*t + 3 = 28. Suppose -n*u + 5*c + 0*c = -600, -5*c + 795 = 5*u. Is u a multiple of 3?
False
Let o be 6/(0 + 2) - (-12)/2. Let h be o/(-45) + 8/(-10). Is 9 a factor of (h + -4)*(-342)/15?
False
Let u(r) = -8*r**2 + 5*r - 31. Let v be u(9). Let c = v + 906. Is 16 a factor of c?
True
Let x(t) = 7*t + 73. Let f be 0 - (609/(-116))/(2/8). Is x(f) a multiple of 7?
False
Is ((-84)/1*(0 - -1))/((-2)/450) a multiple of 105?
True
Suppose 7*g + 38 = 5*g. Suppose -2*f + 122 = -6. Let c = f + g. Does 28 divide c?
False
Let r be 3 - (-2 + 6/15*5). Suppose -r*o - 57 = 5*n, 6*n - 3*n + 23 = o. Is 23 a factor of (14 - n)/(2/4)?
True
Let a(k) = -2*k**3 + k**2 - 4*k + 7. Let m be a(-3). Suppose j - 174 = m. Is j a multiple of 32?
True
Let y = 16246 + -14221. Is 135 a factor of y?
True
Is (-72)/27 + (-129166)/(-6) a multiple of 205?
True
Suppose k - 34448 = 2*c, 13*k - 8*k = 11*c + 172244. Is 123 a factor of k?
True
Let c = 17604 + -17442. Does 91 divide c?
False
Let r = -10 - -27. Let q = 1596 - 1595. Is (r - -167)*((-3)/(-2))/q a multiple of 46?
True
Suppose -452 = -33*y + 43. Let u(p) = -p**3 + 20*p**2 - 60*p - 21. Is u(y) a multiple of 17?
True
Is (63798/(-15))/((-34)/85) a multiple of 7?
True
Let c be ((-6)/(-4) + -2)*-18. Let q = c + 37. Suppose q = u - 0. Is 8 a factor of u?
False
Suppose 6*v + 47 - 30383 = -5*z, -5*v = -z + 6092. Does 46 divide z?
True
Let v = -1797 + 2607. Does 59 divide v?
False
Let u = 236 - 818. Is 20 a factor of u/(-4) - (4 - 88/16)?
False
Let g(a) = 1596*a - 460. Does 16 divide g(1)?
True
Let q(p) = -p**3 + 10*p**2 - p + 4. Let v be q(4). Suppose -53 = -f + v. Does 17 divide f?
False
Suppose 4*w + 4*l = 2*w - 1478, -5*l + 725 = -w. Let d = -228 - w. Does 39 divide d?
True
Suppose 0*h + 1464 = 4*h. Let o = 604 - h. Does 7 divide o?
True
Let d(l) = l**2 - 3*l**2 - 539*l**3 - 749*l**3 + 4*l**2 + 3*l + 354*l**3 + 2. Is 17 a factor of d(-1)?
True
Let r(j) = 23*j**2 - 33*j - 725. Is 155 a factor of r(-18)?
False
Let r be (44/5)/((-244)/(-120) + -2). Suppose -r = -13*j + 282. Is j a multiple of 21?
True
Let n(w) = w**2 + 16*w - 5. Suppose -64 = -0*u + 4*u. Let r be n(u). Does 13 divide (4/r*-1)/((-12)/(-390))?
True
Suppose -5*l - 2*b + 1160 = 0, 6*l - 2*b + 930 = 10*l. Let r = l + 85. Is r a multiple of 35?
True
Let y be 1 + 0 + (-13)/13. Suppose -3*v - 158 + 1844 = 3*t, y = -v - 2*t + 563. Is v a multiple of 7?
False
Let z(h) = 2*h**3 + 2*h**2. Let l be z(-1). Suppose l = 2*k + 3 - 13. Suppose -k*v + 13 = -37. Does 5 divide v?
True
Let u(y) = 2*y**2 + 25*y + 8. Let w be u(-10). Is 51 a factor of (2002/5)/(w/(-105))?
False
Suppose -7*g + 154 = 4*g. Suppose -c + 5*c = -3*m + g, 3*c - 38 = -5*m. Is 10 a factor of m?
True
Let r = -5292 - -17886. Is r a multiple of 39?
False
Suppose -18 = g - 14, -18270 = -5*z + 5*g. Is z a multiple of 25?
True
Let m = -327 - -398. Let x = m - -19. Does 7 divide x?
False
Let p(g) = g**3 + 4*g**2 + 5*g + 5. Let l = -3 - -1. Let n be p(l). Suppose 0 = -n*w + 108 + 63. Is w a multiple of 8?
False
Let r(p) = -4*p + 2. Let j = 103 - 102. Let l be r(j). Is 39 a factor of (-3)/5 - (l - 1419/15)?
False
Let o be 3/(12/950) + (-21)/42. Let z = 309 - o. Does 6 divide z?
True
Suppose -25189 = -14*a + 44587. Does 28 divide a?
True
Let t = -1362 + 1950. Suppose 2*c = 122 + t. Is c a multiple of 14?
False
Let s = 36140 + -20663. Does 67 divide s?
True
Let c be 529*(5/(30/36) - 5). Let j(f) = f**3 - 3*f**2 + 4. Let k be j(3). Suppose -2*b + c = -s + 114, -k*b - 4*s + 800 = 0. Is b a multiple of 43?
False
Suppose 3*f - 3*x - 6471 = 0, 2*f + 12*x - 4314 = 15*x. Is f a multiple of 12?
False
Let b = -35 - -40. Suppose 0 = -b*f + 2*o + 1104, 5*o - 15 = -0*o. Let x = f + -149. Is 14 a factor of x?
False
Let z(k) = k - 14. Let j be z(16). Suppose 3*i - 12 = 0, r - j*r + 12 = 3*i. Suppose r = d - 0*d - 3*u - 114, 0 = 5*d - 2*u - 583. Does 40 divide d?
False
Is 23717 + (11 - (-1110)/(-66) - (-6)/(-33)) a multiple of 18?
False
Suppose 22 + 56 = -13*s. Is 37/(-6) - s - 1459/(-6) a multiple of 12?
False
Let l(u) = -188*u - 1. Let h(v) = v**2 - 5*v - 15. Let z be h(-2). Is l(z) a multiple of 17?
True
Suppose 0 = -3349*u + 3345*u + 36192. Does 104 divide u?
True
Is (-1*(2 + -1))/(5*(-3)/51705) a multiple of 8?
False
Let j = 1023 - 387. Let d = j - -101. Does 67 divide d?
True
Suppose 34560 = 12*u + 20*u - 12*u. Is u a multiple of 8?
True
Suppose 4*u + 5*v = 11272, 3*u + 318*v - 319*v - 8416 = 0. Is u a multiple of 108?
True
Let v be (-2)/(5 - (-1963)/(-393)). Let l be (v/12)/((-11)/(-88)). Let s = 369 + l. Is s a multiple of 13?
False
Suppose 4*g = 2*r + 1168, 4*r + g - 3*g = -2330. Let u = -342 - r. Is u a multiple of 10?
True
Let q(l) = l**3 + 8*l**2 - 2*l + 8. Let z be q(-6). Suppose 36*m = 35*m + z. Is 23 a factor of m?
True
Let k(y) = 7*y - 145. Let n be k(20). Let a(j) = -7*j**3 - 8*j**2 + 5*j - 4. Does 17 divide a(n)?
True
Let t = 62 - 48. Suppose t*z - 357 - 819 = 0. Is 4/(-14) + 108/z - -42 a multiple of 2?
False
Let q(y) = -69*y**3 - 31*y**2 - 11*y + 20. Let c(n) = -14*n**3 - 6*n**2 - 2*n + 4. Let u(m) = -11*c(m) + 2*q(m). Is 20 a factor of u(2)?
True
Suppose 157 = 3*u - a + 5*a, -3*u + 2*a = -151. Suppose k - 5*d = 189, 446 + u = 3*k - d. Is k a multiple of 7?
False
Let i = 62 + -57. Suppose -5*d = -11 - 4. Suppose -d*h + 124 = 4*b, 130 = i*h + b - 54. Does 4 divide h?
True
Let s = 33 - 27. Suppose s*k - 4*k = 26. Suppose -24*i + 770 = -k*i. Is i a multiple of 31?
False
Let c(w) = w**3 + 8*w**2 + 23*w - 78. Is c(14) a multiple of 12?
False
Let v(q) = -2*q**3 + 18*q**2 - 54*q + 168. Is 151 a factor of v(-15)?
True
Suppose 8 - 2 = 2*c, -5*c - 23713 = -4*b. Is 69 a factor of b?
False
Let q be (-7 - -10 - (0 - -235))*-1. Does 14 divide -4 - 3/((-6)/q)?
True
Suppose 12*m = -5*b + 11*m - 31, -5*b - 27 = -3*m. Is (-48)/10*(806/b + 1) a multiple of 32?
True
Let c = -26 - -54. Suppose -c*y - 512 = -32*y. Is y a multiple of 18?
False
Suppose -4*j - 689 - 1155 = -3*t, 4*t - 2446 = -j. Does 7 divide 2/(-2 - 24/(-15)) + t?
False
Suppose -p + 28597 = 12*a - 6*a, 0 = 3*p - 5*a - 85791. Is p a multiple of 116?
False
Suppose -2*n - 9 = -u - 2*u, -4*u - 3*n = -29. Suppose 0 = -u*q + 4*q - 3. Is (q - -11) + 1 + -2 a multiple of 2?
False
Let n be (-2)/(-1)*((-18)/4 - -6). Suppose -n*l - 3176 = -7*l. Does 12 divide l?
False
Let q(f) = f**3 - 8*f**2 - 4*f + 26. Let b be q(8). Let k(r) = 19*r**2 - 18. Does 9 divide k(b)?
True
Let j = -29 - -41. Let c(f) be the third derivative of 13*f**4/24 + 9*f**3/2 + 7*f**2 - 2. Is c(j) a multiple of 20?
False
Is 15 a factor of (-1934011)/(-1097) + -9 + 1 + 0?
True
Suppose i = 21 + 3. Let v = 8388 + -8370. Let q = i - v. Does 2 divide q?
True
Suppose 14 = -3*p + 4*p. Suppose -p*b + 12*b = -16. Suppose b*v - 5*v = 36. Does 6 divide v?
True
Let n(j) = 159*j**2 + 19. Is 175 a factor of n(-5)?
False
Suppose 4*w + 1102 = l + 5, 4*l - 263 = w. Let g = 482 + w. Does 9 divide g?
True
Suppose 0 = -51*h + 40*h + 159511. Does 17 divide h?
True
Let w = 2 + -21. Let p(n) = 4*n**2 + 25*n - 15. Let m be p(-8). Let d = m + w. Is 11 a factor of d?
True
Suppose 670 = 18*u - 23*u. Let l = u - -281. Let x = l - -102. Does 10 divide x?
False
Suppose 133*c + 148138 - 200076 = 288409. Is c a multiple of 13?
False
Let d(x) = -37*x**3 - 5*x**2 + 3*x + 6. Let i be d(-2). Let v = i - -63. Is v a multiple of 37?
False
Suppose 0 = 22*c - 34*c + 2124. Suppose -3*r + 318 = c. Is r even?
False
Let r(g) = -76*g + 2346. Is r(-117) a multiple of 57?
False
Let m = 1838 - 420. Is 2 a factor of m?
True
Let i(p) be the second derivative of 7/4*p**4 - 19/2*p**2 + 36*p + 0 + 2/3*p**3. Does 12 divide i(3)?
False
Suppose 1384*u = 1481*u - 1043817. Is 77 a factor of u?
False
Let w(m) = m + 2. Suppose 6*u - 1 - 5 = 0. Let n be w(u). Suppose -n*o = -190 + 64. Is o a multiple of 6?
True
Let q(a) = 37*a - 62. Let f be q(8). Let d = f - 61. Does 26 divide d?
False
Suppose -w + 4*b = 2*b - 3115, 4*w = 3*b + 12460. Suppose 405 = 8*i - w. Does 55 divide i?
True
Let s(t) = 9*t**2 - 8*t - 17. Let h be s(-7). Let n be ((-26)/39)/((-