se
Suppose 0 = -15*d - 0*d + 32985. Let w = d + -1527. Is 8 a factor of w?
True
Let q be (-3)/5 + 14/(-10). Let j be q/(-4)*(9 - -7). Is (j + 3)/((-1)/(-11)) a multiple of 15?
False
Let o be (-120)/(-25) + ((-70)/25 - -2). Suppose r - 7*p = -8*p + 30, 5*p - 119 = -o*r. Is r a multiple of 8?
False
Let g = 5721 - 3180. Is g a multiple of 21?
True
Let f(i) = 4*i**2 + 87*i + 1813. Is 4 a factor of f(-31)?
True
Suppose -16 = -5*s - 2*j, 0 = 3*s - 3*j + 3. Let l be 0/15 - (-3 - s/2). Let g = l + 44. Does 5 divide g?
False
Suppose -i + 2*i + 3*g - 1300 = 0, 5*i = 5*g + 6440. Does 76 divide (27/(-15) - 32/(-40)) + i?
False
Let j(d) = -6 - 2 + 91*d - 197*d. Suppose 115*h = 125*h + 10. Does 7 divide j(h)?
True
Let j = -87 - -115. Is (-3 - 232)*j/(-20) a multiple of 7?
True
Let d = 24 + 42. Is 12 a factor of d*(-4 + 8 + 12)?
True
Is 3426/(-4)*4250/(-75) + (-4 - 3) a multiple of 16?
True
Suppose -43*r = 469*r - 761344. Does 4 divide r?
False
Suppose 6 = 2*q, 2*d + 4*q = 9*q + 243. Let b = -64 + d. Is b a multiple of 23?
False
Let a(g) = g**3 + 2*g**2 + 2*g + 44. Let v(f) = -f**3 - 3*f**2 - f - 45. Let q(z) = 3*a(z) + 4*v(z). Is 27 a factor of q(-12)?
False
Let g be (-10)/20*-4 - -160. Suppose 41 = 5*v + 16. Suppose m = -v*m + g. Does 2 divide m?
False
Does 6 divide (1 - (-2 + 3)*-522) + 6?
False
Suppose -3*u = -5*m + 2*m + 543, 0 = 2*u. Let d = -47 + m. Suppose 0 = -12*z + d + 238. Is 2 a factor of z?
False
Suppose 0 = k + 3, -d = 4*d + 2*k + 1036. Let z = d - -506. Is 25 a factor of z?
True
Let a(r) = -137*r**3 - 5*r**2 - 184*r - 534. Does 18 divide a(-3)?
True
Let d = -2190 - -4423. Let g = d - 1161. Is g a multiple of 20?
False
Let y be ((-4)/5)/1*(-46 + 41). Suppose -c = -y*u + 3387, -2*c + 3*c + 4233 = 5*u. Does 47 divide u?
True
Suppose -60*d + 87210 = -50*d. Is 12 a factor of d?
False
Let t(j) = 1176*j**3 - 1. Let x(l) = l**3 + 6*l**2 - 16*l + 1. Let y be x(2). Does 26 divide t(y)?
False
Suppose 5*a - 27345 = 5*m, 0*a + 21883 = 4*a - 5*m. Is a a multiple of 52?
False
Let z(q) = -2*q**3 + 19*q**2 - 5*q + 9. Let j be z(9). Suppose -15*f + j*f - 25800 = 0. Is 43 a factor of f?
True
Let t(z) be the third derivative of 0 + 11/3*z**3 + 8*z**2 + 0*z + 17/60*z**5 + 3/8*z**4 + 1/120*z**6. Does 9 divide t(-16)?
False
Suppose 841*z + 5*t + 8797 = 844*z, 5*t = 4*z - 11726. Is z a multiple of 13?
False
Let b = 4841 + -2714. Suppose b = 5*h - 5*g + 772, -4*g - 4 = 0. Does 6 divide h?
True
Suppose 8319 = 21*s + 1284. Is 23 a factor of s - 0 - (-2 + 6 + -1)?
False
Let r = 203 + -123. Suppose -r = -4*w - 448. Let a = -45 - w. Is 17 a factor of a?
False
Let u(g) = 200*g**2 - 195*g**2 + 15*g + 5 - 10 - g**3. Let p be u(7). Suppose 6*d - 991 = 2*d + 3*n, -5*d = -p*n - 1230. Does 16 divide d?
False
Let y = -21 - -23. Suppose -y*b + 3 = 4*p + b, 0 = -3*b + 15. Let r(s) = 10*s**2 - 6*s - 6. Is r(p) a multiple of 34?
True
Let k = 255 + -466. Let r = k - -415. Does 34 divide r?
True
Let q = -14 - -38. Suppose 2*k = 5*g - q, 9 = g - 0*k + k. Let m = g + 9. Is 15 a factor of m?
True
Let w(t) = 17*t**2 + 191*t + 3355. Does 65 divide w(-18)?
False
Suppose -4*k + 596 = 4*x - 416, -5*x - 10 = 0. Suppose f = -2*a + k, a = 2*a. Is f a multiple of 13?
False
Let n be (28/12)/7 - 266/6. Let a = n - -89. Let u = 88 - a. Is u a multiple of 9?
False
Suppose 5*k = -4*a + 209 + 152, -2*k = -5*a + 476. Suppose -19*c = -666 - a. Is c a multiple of 10?
True
Let l be (2 - 20)*184/12. Let f = 188 + l. Let d = f - -176. Does 11 divide d?
True
Let t(r) = 89 - 2*r**2 - 51*r + 23*r**2 + r**3 - 15 - 26. Does 28 divide t(-22)?
False
Let u = 55 + -53. Let r be (-133)/(-6) - u/12. Let p = r + 50. Does 33 divide p?
False
Let k = 310 + -80. Let q = 261 + -413. Let p = k + q. Does 26 divide p?
True
Suppose 80*d - 17*d = 179046. Is d even?
True
Let d(o) = 5*o - 5. Let b be d(10). Suppose 2625 = b*j - 38*j. Does 9 divide j?
False
Suppose -23*r + 42*r + 53360 = 48*r. Is 92 a factor of r?
True
Suppose 113*v - 29811 = 549879. Is 13 a factor of v?
False
Is (-6)/21 + (-8639744)/(-1792) a multiple of 3?
True
Let k(f) be the first derivative of 15*f**2 - 2*f + 54. Is 8 a factor of k(6)?
False
Let q = -305 - -293. Does 2 divide -44*((-3)/(-2))/(q/28)?
True
Suppose 4*b + 4 = 4*k, -2*k - 2*b + 19 = -3. Suppose 22 = -5*o + 3*h, -2*o + k*o + 22 = -2*h. Let z = 21 + o. Is z a multiple of 4?
True
Suppose 0 = -274*w + 284*w - 58580. Is w a multiple of 36?
False
Suppose -9*j + 2*t = -4*j - 14, 0 = 13*j + 3*t - 20. Suppose -10*i + 6197 = s, -j*s = -i + 3*s + 635. Is 10 a factor of i?
True
Let i = 30216 + 20310. Does 115 divide i?
False
Let o = 8901 - 6014. Is 21 a factor of o?
False
Suppose 2*q + 6884 = 427*g - 425*g, -4*q = -3*g + 10331. Is 43 a factor of g?
False
Let o = 346 - -2163. Is 41 a factor of o?
False
Suppose -81 = 5*j + 2*k, 2*k = -j + k - 18. Let s(y) = 19 + 11*y + 16*y**2 + 6*y**2 - 30*y**2 + 9*y**2. Does 8 divide s(j)?
False
Let t(q) = -q - 7. Let a be t(-15). Suppose 3*o + 8 = -4*j, a = 2*o - 4*o - 4*j. Suppose 0 = -4*k - o*k + 168. Is k a multiple of 10?
False
Suppose -178*t - 2178 = -184*t. Does 41 divide t - -3*((-30)/(-6) - 3)?
True
Is 13903 - ((-81)/(-9) + 6) a multiple of 56?
True
Let g = -5879 + 2917. Let w = -2019 - g. Is w a multiple of 81?
False
Let p(m) = -m - 2. Let i be p(-4). Let w(z) = -8 + 80*z**2 + 0 - 76*z**i - 3. Is 27 a factor of w(5)?
False
Suppose 5*b - 4*d - 40 = -9, -b + 3*d + 15 = 0. Suppose 3 = 12*p + b. Suppose p = 5*r - 3*l - 483 - 118, -365 = -3*r + 4*l. Is 17 a factor of r?
True
Is (-2)/(-31) + 13159836/6324 a multiple of 3?
False
Suppose 255*n + 628069 - 8406983 = -206*n. Does 143 divide n?
True
Let l be 5*(-1)/10*-4. Suppose l*r = 8*r - 186. Suppose 187 - r = 4*o. Does 6 divide o?
False
Is 183 a factor of (13509/(-2133))/((-2948)/2946 + 1)?
False
Suppose 15*o + 31124 = 3*q + 13*o, q = -3*o + 10371. Does 14 divide q?
True
Let t be 4*(-3)/(-60) + (-534)/(-5). Let l = -77 + t. Suppose -c = 3*j - l - 83, -j = c - 115. Does 8 divide c?
False
Suppose 5*t = 25, 2*b + t + 10 = 1. Let o(a) be the third derivative of -a**6/120 - a**5/15 - a**4/24 + a**3/3 - 14*a**2 + a. Is 13 a factor of o(b)?
True
Suppose -4*f = 3*p + 38, 8 = -3*p + f + f. Let a(y) = -y - 1. Let x be a(p). Suppose -4*j = -5*h - 156, 0*j + x*j - 4*h = 204. Is 11 a factor of j?
True
Suppose 14*f = -8183 + 66395. Is f a multiple of 42?
True
Let p(k) = 2*k**2 + 66*k + 368. Let c be p(-7). Let j(a) = a + 15. Let x be j(-7). Let n = c + x. Is n a multiple of 3?
True
Suppose -53*v = -392382 - 227930. Suppose 72*g = 86*g - v. Does 21 divide g?
False
Let c = -100 + 102. Suppose 0 = -c*z - 6, 0*z + 31 = m - 5*z. Suppose m*f = 13*f + 156. Does 8 divide f?
False
Suppose 0 = 3*l - 17142 - 6222. Is l a multiple of 22?
True
Suppose 3*r - 10 = -0*r - 4*x, 12 = r - 3*x. Suppose 30 + r = 12*u. Suppose 0 = u*z + 4*c + 4 - 148, -2*z + c + 85 = 0. Is z a multiple of 11?
True
Let l(g) = -3*g**3 - g**2 + 8*g + 9. Let k be l(-2). Suppose 0 = k*p - 5017 - 8360. Is p a multiple of 21?
True
Let o be (0/(-3))/(-5) + -26. Let q = 187 - o. Suppose 2*r = -2*y + 424, 3*y = 3*r - q - 447. Is r a multiple of 23?
False
Suppose -111*o = 372 + 72. Let k(l) = -l**2 + 7*l + 11. Let c(u) = 2*u**2 - 8*u - 12. Let z(d) = 3*c(d) + 4*k(d). Is z(o) a multiple of 8?
True
Let y(s) = 3*s**2 + 17*s + 30. Let c be y(-11). Suppose -i = -5*d - 30, d - c = -5*i - 2*d. Suppose -4*f - m = -4*m - 60, 4*f + 2*m - i = 0. Does 9 divide f?
False
Let g = -509 + 509. Suppose -8*t - 41*t + 1176 = g. Does 24 divide t?
True
Suppose 20 = -0*p + 2*p. Suppose i + 2*d + 3*d + 16 = 0, p = -4*i - 2*d. Does 5 divide (9 + -4)*(i - -2)?
True
Suppose 16*j - 84 + 4 = 0. Suppose -166 = -3*s - q + 189, 0 = -s + j*q + 97. Does 4 divide s?
False
Let o(z) = 25*z + 504. Let u be o(-20). Let g = -7 - -11. Suppose u*t = 5*j - 625, 3*j + g*t - 368 = 5*t. Is 11 a factor of j?
True
Let p(n) = n**2 + 2*n - 2. Let a be p(-4). Suppose -a = -d - 3*s + 11, 2*d - 34 = -s. Suppose f - 23 = -h, f - 2*f + 5*h + d = 0. Does 11 divide f?
True
Let w = 58 - 54. Suppose 0 = 14*n + w*n - 810. Is 5 a factor of n?
True
Suppose 17*t = 12*t + 20. Suppose -3*b = l + 24, 3*b - 60 = t*l + 6*b. Does 6 divide (-8)/(-20)*(l/(-1) - -3)?
True
Let d(y) = -y**3 - 4*y**2 + 8*y + 8. Let x be d(-6). Let w = x + -41. Does 3 divide