). Let s = 27 + z. Is ((-24)/18)/(s/108) a multiple of 31?
False
Suppose -33951 + 7137 = -6*x. Is 23 a factor of x?
False
Let p = -83 + 78. Is 53 a factor of (p - 1800)/(-5)*(0 + 1)?
False
Suppose 5*g + 5*f - 10555 = 0, g + 34*f - 2115 = 32*f. Is 47 a factor of g?
False
Suppose 3*w = -18 + 63. Suppose -2*m + 2*x - 3 = -m, -5*m = x + w. Is 10 a factor of 3 + (-114)/m + -1?
True
Is 29 a factor of (-6 - -9 - -11) + 1797?
False
Let t(l) = -35 - 3*l - 11*l - l. Suppose 2 = -m + 3*s - 2*s, -2 = s. Is 11 a factor of t(m)?
False
Is (35 - (-33)/(-3)) + 2286 a multiple of 11?
True
Let n(k) = 7*k - 141. Let r be n(20). Is (-143)/132*-6*(35 + r) a multiple of 13?
True
Let t(m) be the second derivative of -m**5/20 - m**4/4 - 5*m**3/6 - 3*m**2 - 2*m. Suppose -v + 3*h - 13 = 3*v, 3*h + 15 = -3*v. Is t(v) a multiple of 14?
False
Let c(d) = 2*d**2 + 45*d + 27. Let b be c(-22). Suppose 0 = -3*z - 5*u + 1284, b*z - u = 4*u + 2100. Does 9 divide z?
True
Suppose o = -5*q - 280 + 6326, -5*o + q = -30282. Suppose 32*p - 600 = o. Does 63 divide p?
False
Let w be (-3)/12 + ((-53)/(-4) - 1). Suppose -w*k = -13*k + 4*g + 34, 3*g + 84 = 3*k. Is k a multiple of 4?
False
Let p(j) = 105*j**2 + 114*j + 540. Does 15 divide p(-5)?
True
Let b(s) be the third derivative of -5*s**4/12 + 25*s**3/2 + 11*s**2. Is b(-9) a multiple of 11?
True
Suppose -2*c + 2799 = -c + 3*o, -5*c = 5*o - 13925. Is c a multiple of 3?
True
Suppose g - 5*g + 26 = 3*p, -2*g = 3*p - 10. Let o be (g/(-10))/(33/(-55))*-3. Is 5 a factor of (45/o)/(1/(-4))?
True
Let l = -3010 - -4229. Suppose -5*f - 374 + l = 0. Is 7 a factor of f?
False
Let r be ((-39)/(-26))/(6/(-188)). Let c = 96 - 28. Let q = r + c. Is q a multiple of 3?
True
Let i(u) = -22*u**3 + u**2 - 118*u - 33. Is 29 a factor of i(-15)?
True
Suppose -606560 = -122*d - 101*d. Is 90 a factor of d?
False
Suppose 4*n + 3*l - 96135 = 0, 0 = -9*n + 11*n - 5*l - 48087. Is n a multiple of 32?
False
Does 34 divide 10506*(180/(-54))/(-5)?
True
Let r be (10 + 26 - 3)*14/3. Let h = r - 57. Is h a multiple of 4?
False
Let v = -13417 + 29587. Is 97 a factor of v?
False
Let x = 35389 + -35266. Is 3 a factor of x?
True
Let d be (-11)/((-66)/(-4)) + 418/(-3). Let v(u) = -u**2 + u + 208. Let z be v(0). Let t = d + z. Is t a multiple of 9?
False
Suppose 5*n - 87 = -o, -2*n + 21 = -3*o + 8*o. Is 7 a factor of (-3)/n + 85/6?
True
Is 32 a factor of 2/((2/(-4))/((-83)/2))?
False
Let z be (24/(-16))/(3/(-22)). Suppose 25 = -6*r + z*r. Suppose -r*v = -v - 360. Is 15 a factor of v?
True
Suppose 0 = -i - 11*i - 14*i + 705770. Does 193 divide i?
False
Does 7 divide 36/(-45)*-55*(12 + -7)?
False
Let u = -1347 - -739. Let n = u + 930. Is n a multiple of 42?
False
Suppose 78246 - 413094 = -32*u. Is 16 a factor of u?
True
Let v(i) = -i - 5. Let w be v(-8). Let n(y) = -y - 3*y**3 + 8 + 2 - 5*y**2 + 3*y**w + y**3. Is n(6) a multiple of 14?
False
Let i(c) = -c**3 + 11*c**2 + 9*c + 24. Let g be i(12). Let o be 4/g*0/(-3). Suppose -2*b = 4*u - 86, -5*u + 3*b + 91 = -o*u. Does 5 divide u?
True
Is 9 a factor of (-3)/(-9)*(4 + 1427)?
True
Suppose 30*k = 194303 + 58841 + 106886. Is k a multiple of 11?
True
Let t = -5 + 2. Suppose -231 = -8*u + 121. Does 22 divide u/t*18/(-2)?
True
Suppose 0 = 12*a - 743 - 157. Suppose 9*p = 14*p - a. Suppose -j = -3 - p. Is j a multiple of 18?
True
Suppose -213 = -14*f + 235. Suppose 215 = f*n - 265. Is 5 a factor of n?
True
Let d be (-1)/(-2) - (15/(-6))/1. Suppose 0 = d*q - 4*q + 4, 5*q = -3*f - 4. Is 228/16 + 18/f + 2 a multiple of 7?
True
Suppose -10*v + 13*v - 9 = 0. Suppose v*u - 987 + 24 = 0. Suppose u = 31*m - 28*m. Is m a multiple of 9?
False
Suppose -622*v - 557947 = -681*v + 298025. Does 18 divide v?
True
Let h = 10974 + -5217. Is h a multiple of 13?
False
Suppose 859712 = 747*n - 691*n. Is 63 a factor of n?
False
Let i = 368 + 9796. Is 28 a factor of i?
True
Suppose -2*t = 2*c - 12, -3*c + 9 = 2*t - 5. Suppose t*w - 3145 = -777. Suppose -6*b = -3*h - 2*b + 376, -2*b + w = 5*h. Does 20 divide h?
True
Let h(r) = r**2 - r - 7. Let i be h(-4). Suppose 480 = -i*l + 21*l. Does 12 divide l?
True
Let h = -85 + 87. Suppose 10*g + 2952 = -h*g. Let d = g - -346. Does 10 divide d?
True
Let x be (-21)/(-4) + (-12)/48. Suppose c - 2*p + 88 = x*c, 3*p - 69 = -3*c. Suppose -c*j + 22*j = 205. Is 41 a factor of j?
True
Let l(g) = -2*g**3 - 49*g**2 - 83*g - 16. Let o be l(-24). Let y = 2177 - o. Does 34 divide y?
False
Let x(f) = 49*f + 1529. Is 8 a factor of x(15)?
True
Let g = 44 - 54. Let k be (4/g)/(3/(-45)). Let m(x) = x + 30. Does 2 divide m(k)?
True
Suppose 0 = -2*r + 1646 + 668. Is r a multiple of 13?
True
Is 2 a factor of (-224)/32 - (-1 + 607*-1)?
False
Let l(q) = 24*q**3 - 5*q**2 + 12*q - 7. Let p be l(3). Suppose -206*v - p = -214*v. Is 34 a factor of v?
False
Suppose -5*r - 3*u = -44749, -480*u - 8 = -476*u. Does 39 divide r?
False
Let i(u) = -2*u + 44. Let a(r) = -r**2 - 11*r + 7. Let d be (-5)/((-5)/(-12)) - (-4 - -3). Let w be a(d). Is i(w) a multiple of 22?
False
Let j(u) = 3*u**3 + 97*u**2 - 28*u - 16. Is j(-32) a multiple of 28?
True
Let z be 2/7 - (-19)/7. Suppose 5 + 1 = z*o. Suppose 0 = 5*v, 2*i - 3*v = -o*v + 42. Does 6 divide i?
False
Suppose 0 = 2*l + 4*a - 19044, -a + 22217 = 3*l - 6349. Is 46 a factor of l?
True
Let u(r) = -r**3 - 8*r**2 - 2*r - 8. Suppose -64 = -9*g + 17*g. Let d be u(g). Is (40/(-3)*3)/((-2)/d) a multiple of 16?
True
Suppose 16*k + 6524 + 2804 = 0. Let y = -38 - k. Does 14 divide y?
False
Let m be 16/(-6) + 1/(-3) - -153. Let j = 216 - m. Is j a multiple of 22?
True
Let g(m) = m**3 + 5*m**2 - 10*m - 14. Suppose 20 = 2*x - 0*x. Suppose -2*t - 2 = x. Is 10 a factor of g(t)?
True
Suppose -49*w + 573*w - 2788007 = 2418457. Does 12 divide w?
True
Suppose -r + 3*a + 15 - 2 = 0, 39 = 4*r + a. Let c be 1224/r - 6/15. Suppose 17*f = 15*f + c. Does 21 divide f?
False
Is (-1983348)/(-999) + 5*2/6 a multiple of 16?
False
Let y(n) = -5*n**2 + 2*n + 32. Let a(z) = 4*z**2 - 3*z - 34. Let g(x) = 4*a(x) + 3*y(x). Is 10 a factor of g(15)?
False
Suppose -97*o + 30*o + 824703 = 0. Is o even?
False
Suppose 186*d = 220*d - 1265888. Does 179 divide d?
True
Let z(n) = -n**2 + 0*n**2 + 4*n**2 - n**2 + 6 - 4*n. Let g be z(-9). Suppose 537 = 3*c - g. Is 13 a factor of c?
True
Suppose 14*l = 97446 + 31200. Is l a multiple of 45?
False
Let n(y) = 32*y + 96. Let w = 172 - 166. Does 6 divide n(w)?
True
Let k = 164 - 69. Let d = -92 + k. Is d even?
False
Let l = -69 - -65. Let p be (-2 - l - 3)*0. Suppose -3*w + 3*h + 112 + 74 = p, w - 4*h - 62 = 0. Is w a multiple of 16?
False
Let g be 36/(-10) + (-3)/(-5) - 2. Is 14 a factor of ((-4)/16)/(g/2120)?
False
Let v = -8607 - -9928. Is v even?
False
Suppose -185*k - 548*k + 51546249 = -130*k. Does 24 divide k?
False
Suppose -37*x - 18*x - 29*x = -55272. Is x even?
True
Let c = 724 - 454. Let u = -243 + c. Does 2 divide u?
False
Let p(y) = 4*y - 30. Suppose -7*v = 260 + 370. Let t be ((-7)/(-21))/((-2)/v). Is 3 a factor of p(t)?
True
Let z = 8 + 0. Suppose 4*a - z - 16 = 4*t, 2*t = -2*a + 8. Is (1 - 0)/t*-97 a multiple of 21?
False
Let f = -342 - -38. Is 4 a factor of (-2)/16 + (-44726)/f?
False
Let l(i) = i**3 - 19*i**2 - 21*i + 40. Suppose -2*r - 3*o = -31, -r + 0*o + 4*o + 32 = 0. Is l(r) a multiple of 2?
True
Let i(a) = 42*a**2 + 96*a + 514. Is i(-5) a multiple of 4?
True
Let o(s) = 2*s**2 + 2*s - 1. Let c be o(1). Let h(f) = 6*f - 31. Let z be h(5). Does 10 divide c + z + (8 - 0)?
True
Let v(s) = 26*s**2 - 11*s - 66. Does 117 divide v(-6)?
True
Suppose -1599 = -5*u + 3*r, 3*u - 218 = -5*r + 789. Does 18 divide u?
True
Suppose 2*n - 5*k + 15 = 0, 7*n - 2*n + 9 = 3*k. Suppose -4*w - 160 = -0*w. Let d = n - w. Does 5 divide d?
True
Suppose -2*n = -3*r, -r = 2*n + r. Suppose n = 7*j - 85 - 1259. Is 6 a factor of j?
True
Let l(o) = o**3 - 6*o**2 - 8*o + 1. Let c = -20 - -27. Let y be l(c). Is 5 a factor of ((-240)/9 - y)*6/(-4)?
False
Let a(o) = o + 3. Let q be a(-8). Let v(g) be the first derivative of -32*g**2 + 2*g - 1182. Is 14 a factor of v(q)?
True
Suppose 7212 = -17*m + 30*m - 111972. Is 191 a factor of m?
True
Suppose 21 = 2*q + 3. Let s(d) = 4*d - q - 20 - 14*d + 11. Does 14 divide s(-6)?
True
Suppose 2*l - 35 - 258 = -i, 3*l + 3*i = 432. Let m = 216 - l. Is m a multiple of 67?
True
Suppose 0 