s - 1527 + 527. Suppose 10*w - 250 = s. Is 22 a factor of w?
False
Let m be (9 - 0) + -10 + (352 - -1). Suppose 0*r + r - 347 = -l, m = l + 2*r. Is l a multiple of 12?
False
Suppose 0 = -3*t - 27*p + 25*p + 28002, 0 = t + 2*p - 9330. Is 8 a factor of t?
True
Let u(o) = 3782*o**2 - 125*o + 250. Is 8 a factor of u(2)?
True
Let t = -2460 - -9338. Is t a multiple of 38?
True
Suppose 0 = -26*p + 24*p - 1638. Let c = -526 - p. Suppose c = 3*w + 83. Does 14 divide w?
True
Let x be (4/6)/(-1 + 7585/7575). Suppose -2*l + x = 3*l. Is l even?
False
Let x = -6537 - -19278. Is x a multiple of 52?
False
Suppose 37 + 71 = -z. Let u = z - -81. Let p = u - -76. Does 6 divide p?
False
Let k be (-4)/44 - 2382/132*-2. Let i be (-2)/(-2 + (-528)/(-262)). Let n = k - i. Does 28 divide n?
False
Suppose -2*y = -3*y - 4*x + 23, 5 = -5*y + 4*x. Suppose 4*n - 20 - 27 = -5*t, -3*t = -y*n + 15. Suppose -n*u = -4*u - 276. Does 9 divide u?
False
Suppose 2*l + 2*f = 558, 0 = -3*l + f + 4*f + 845. Suppose 3*z - 5*b = 4*z - l, 1400 = 5*z + 2*b. Does 14 divide z?
True
Suppose -9 = 3*h, h = 3*i - 18158 + 3266. Is 78 a factor of i?
False
Suppose 118*i - 179945 = 163907. Is 12 a factor of i?
False
Is 1 + 1 + (-124460)/(-18) - (-264)/(-594) a multiple of 19?
True
Let o = 128 + -111. Suppose -a - 480 = -o*a. Does 5 divide a?
True
Let m(w) = 1076*w + 1829. Is m(2) a multiple of 3?
True
Is (-74295)/(-15) + -13*(1 + 0) a multiple of 19?
True
Suppose 3*k + 4 = -2. Is 33/(-18) - k - 3415/(-30) a multiple of 24?
False
Suppose -60 = -x + 477. Suppose -3*c - c + 1041 = -5*m, 3*m - x = -2*c. Is 12 a factor of c?
True
Suppose -21 = -22*g + 15*g. Suppose 0 = -2*z + g*d + 143, -5*z + 4*d + 369 = 8*d. Is z a multiple of 14?
False
Suppose 5*v + c - 5 = -3*c, 0 = 2*v + c + 1. Does 16 divide (-7 - v)*(-4 - (42 + 0))?
False
Let a = 185 - -3940. Does 65 divide a?
False
Let l(n) = -7*n**2 - 59*n - 9. Let d be l(-9). Is 4718/9 + ((-80)/d)/(-8) a multiple of 22?
False
Let z = 2 + -7. Let l be (-2 - z) + (12 - 8). Suppose 2*f = l*f - 100. Is f a multiple of 10?
True
Suppose -19199 = -37*o + 8366. Is o a multiple of 10?
False
Suppose -4*t + 2*i = -57250, t - 5342 - 8921 = -5*i. Does 196 divide t?
True
Suppose -4*r + 5542 = -2*q + 954, -5*r = 5*q - 5780. Is 10 a factor of r?
True
Suppose 0 = 291*j - 307*j - 16. Is (-577976)/(-336) - j/(-6) a multiple of 86?
True
Is (119 + -116)*1/((-6)/(-9620)) a multiple of 74?
True
Let f(j) = -1227*j + 226. Does 78 divide f(-20)?
False
Let w = 527 - 472. Suppose w*r = 10*r + 3960. Does 2 divide r?
True
Let b(p) = -p**2 - 103*p + 20. Let d(a) = 2*a**2 + 308*a - 62. Let h(g) = 8*b(g) + 3*d(g). Is h(49) a multiple of 9?
True
Let s(k) = -k**3 + 28*k**2 - 30*k + 43. Let c be s(26). Suppose 5*z = 5*l + 3175, -z - l + c = 2*l. Is 21 a factor of z?
True
Suppose 33*i = 31*i + 50. Suppose i = 5*d + 4*s, 3*s + 3 - 8 = -d. Does 5 divide d?
True
Is 9 a factor of ((-6024)/(-96))/(-1 - 74/(-72))?
True
Let z = -1727 + 4172. Let l = z + -616. Does 106 divide l?
False
Let k(q) be the third derivative of -1127*q**6/120 - q**5/30 - 7*q**4/24 - 2*q**3/3 + 2*q**2 + 22. Does 94 divide k(-1)?
True
Suppose -2*j = -412 - 80. Let y be 252/(-693)*(0 + -11). Suppose v = r - 84, -r - v = -y*r + j. Does 9 divide r?
True
Let i = 4104 - 1666. Does 23 divide i?
True
Suppose 7*q + 211 = 36. Let i be 1084/10 - (-10)/q. Let o = -24 + i. Does 12 divide o?
True
Suppose 3*q + 2*m - 8906 = 0, -2*q = -204*m + 203*m - 5942. Is q a multiple of 30?
True
Let d(p) = 2*p**2 + 113*p + 177. Let r be d(-59). Let l = 510 - 306. Suppose 0 = -2*h + 3*o + l, 5*h + 2*o - r = -0*o. Is h a multiple of 12?
True
Let j = 176 + 4492. Is 3 a factor of j?
True
Let c = -8 + 4. Let x(l) be the first derivative of 10*l**3/3 - 7*l**2/2 + 8*l + 6. Is x(c) a multiple of 49?
True
Let t(l) = l**2 + 5*l - 31. Let v be t(-9). Suppose -2*a - v*a - 140 = 0. Let w(j) = j + 55. Is w(a) a multiple of 7?
True
Let c(t) = 594*t**2 + 31*t - 121. Is c(5) a multiple of 61?
True
Suppose -2*u = -6*u - 5*i + 3, -4*u + 8 = 4*i. Suppose 0 = 13*q - u*q - 12. Suppose q*k = 6*k + h - 374, k - 101 = -4*h. Is 31 a factor of k?
True
Does 50 divide (-16)/56 + (-1828800)/(-175)?
True
Let i(d) = -d**2 + 8*d - 10. Let q(u) = -u**3 + 15*u**2 + u - 9. Let f be q(15). Let v be i(f). Suppose -v*k + 448 = 2*k. Does 16 divide k?
True
Suppose 0 = -5*g + 5, 4*w + 0*w = 3*g + 13. Suppose -6*l + 8*l = -8, w*u - 3236 = -l. Is u a multiple of 31?
False
Suppose -41*i + 4*i = -42772. Is 7 a factor of i?
False
Suppose 3*b + b - 220 = 0. Let s be (64/48)/((-2)/420*-4). Let z = s - b. Is z a multiple of 5?
True
Let j be (-3)/(-5)*70/21. Does 15 divide (-10027)/(-74) - 1/j?
True
Suppose -w - 2*b - 4 = 0, b + 4*b + 16 = -w. Suppose 4*y + 0*u = 4*u + 272, 0 = w*u - 20. Is y a multiple of 2?
False
Does 125 divide (-13 - -21) + (36998 - 6)?
True
Suppose 0 = 736*m - 751*m + 343785. Is 40 a factor of m?
False
Suppose -5617 = -19*u + 1432. Does 13 divide 2 + u + (35 - 34)?
False
Let q be (5031/(-6))/(3/(-12)). Suppose q + 16341 = 15*b. Is b a multiple of 25?
False
Let h(f) = -f**2. Let w(y) = -7*y**2 - 2*y + 7. Let v(m) = 6*h(m) - w(m). Let p be v(-6). Let x = 56 - p. Is 13 a factor of x?
True
Let u(n) = 6*n**2 - 4*n - 76. Let q be u(-13). Let i = -293 + q. Is i a multiple of 17?
True
Suppose 0 = -2*b - 3*b + 25, -4*y + 5*b = 85. Suppose n - 196 = -3*n. Let d = n + y. Is d a multiple of 9?
False
Let r = -404 - -252. Let a = -69 - r. Is 13 a factor of a?
False
Suppose 20071 = 14*c - 15601. Is 98 a factor of c?
True
Let d be ((-1131)/(-6))/(14/28). Let f = d - 163. Is 30 a factor of f?
False
Let w be (1/(-2))/1*1*1120. Does 56 divide (18/15)/((36/w)/(-9))?
True
Let j(r) = r**2 - 24*r + 19. Let g be j(23). Let h be (7/g)/((-1)/44). Suppose -3*i - d = -90, -d - 4*d = -2*i + h. Is i a multiple of 8?
False
Suppose -17*h + 40*h - 477220 = -95535. Is h a multiple of 26?
False
Let m = 0 - 3. Does 10 divide (-18024)/99*m + 20/(-110)?
False
Suppose s + 6*p = 12144, 15*s - 20*s + 5*p = -61000. Does 96 divide s?
True
Suppose -2*w - 3*i = -11501, -27*w + 32*w = -i + 28707. Is w a multiple of 164?
True
Suppose 7*p - 41 + 6 = 0. Suppose -p*n = 0, -2*k - 3*k + 4*n = -25. Is k even?
False
Suppose 4168 = 25*g - 10482. Suppose 61*l + g = 63*l. Is 10 a factor of l?
False
Is ((-2)/(-6))/((-338)/(-156)) + 12398/26 a multiple of 65?
False
Is 5 a factor of (11541/(-1))/(75/(-125))?
True
Let i = 576 + 10610. Is 14 a factor of i?
True
Let s = -2565 - -4173. Does 15 divide s?
False
Let x = -1360 - -1419. Suppose 5*i = 277 + 28. Suppose i = 15*n - x. Is n even?
True
Let f be ((-8)/(-14))/(6/21). Suppose -935 - 165 = -f*h. Is 54 a factor of h?
False
Let x = 147 - 147. Is (-714)/(-56)*(x + (-16)/(-6)) a multiple of 15?
False
Let b be 30/(-8)*60/(-45). Suppose 660 = b*f - 0*f. Is f a multiple of 22?
True
Let h(x) = 2*x**2 - 10*x - 28. Let k(s) = 5*s**2 - 19*s - 57. Let j(c) = 7*h(c) - 3*k(c). Let z(v) = v**3 - v - 2. Let n be z(-2). Is j(n) a multiple of 4?
False
Let x = -93 + 111. Is 5 a factor of 4/x + (-27200)/(-153)?
False
Let v(k) = -2*k**3 + 29*k**2 - 7*k - 20. Let m be v(11). Suppose -498 - m = -4*p. Is 8 a factor of p?
True
Suppose -5*r + 4*m - 13 = 0, 2*m + 3 = -5*r + 2. Does 36 divide 36*(-2 + r + 32)?
True
Let c be (-1 + 1/(-5))*5440/(-24). Let w = 1092 - c. Suppose -5*o - p = -w, 2*o - 7*o + 2*p + 835 = 0. Is o a multiple of 20?
False
Let i = 664 - 437. Suppose -m = 0, -w + 4*m = -i + 18. Is 21 a factor of w?
False
Suppose -6*u = -157 - 419. Suppose 0 = -q - u + 100. Suppose 1106 = 3*s + q*s. Does 11 divide s?
False
Let j = -219 - -218. Let h(q) = -398*q + 9. Does 12 divide h(j)?
False
Let g(u) = -4*u - 30. Let v be g(-12). Let p(z) = 21*z - 59. Does 29 divide p(v)?
True
Is 11 a factor of (-8)/(-96)*6 + 0 + (-86555)/(-10)?
False
Let j(n) = -189*n + n**2 + 89*n + 113*n - 19*n**3 + 42. Does 7 divide j(-3)?
True
Let j be 420/(-50)*-10 + 3. Suppose 0 = -2*r + 6*r + n - 212, -3*n + 96 = 2*r. Let x = j - r. Is x a multiple of 9?
False
Let m be 498 + (0/(-5) - -2). Suppose u - m = 1929. Suppose 10*i + 309 = u. Is 25 a factor of i?
False
Suppose -17*n + 58834 + 59928 - 15351 = 0. Is n a multiple of 75?
False
Let u(z) = -146*z**2 - 5*z - 3. Let v be u(-1). Let b = 420 + v. Suppose -2*s + 0*t + 105 = -t, 5*s = -2*t + 