-6)/(-9) + (1 - (-680)/6). Let w = -12 - n. Let y = 63 - w. Does 19 divide y?
True
Let q(f) be the first derivative of -1/4*f**4 + 14 - 8/3*f**3 - 14*f - 6*f**2. Is 22 a factor of q(-9)?
False
Suppose 5*k - 3398 = 3*w, 5*k - 4191 = 2*w - 794. Suppose 0 = 4*o - k - 249. Does 26 divide o?
False
Let k = 1764 + -1096. Let q = -396 + k. Is 16 a factor of q?
True
Let j(s) = 17*s + 5. Suppose 118 = -a + 13. Let d = -91 - a. Is j(d) a multiple of 9?
True
Let m(q) = -2977*q - 319. Is m(-10) a multiple of 95?
False
Let z be -5*5/(75/(-6)) - -304. Let w = -126 + z. Is 13 a factor of w?
False
Let d = -64 + 65. Let r(v) = 1066*v**2 - 2*v + 2. Let z be r(d). Suppose 17*y - z - 379 = 0. Is 17 a factor of y?
True
Suppose -229*n = -241*n + 127296. Is n a multiple of 24?
True
Let i = 6787 + 3562. Is 16 a factor of i?
False
Let d(a) = -2488*a - 67. Does 83 divide d(-3)?
False
Let n be -22 - (0 - 1) - -2. Suppose 0 = -5*l + 4 + 21. Let z = l - n. Does 6 divide z?
True
Let n(z) = 6*z + 9. Let d be n(-7). Let u(p) = p**3 + 8*p**2 + 16*p - 10. Let w be u(-8). Let s = d - w. Is s a multiple of 35?
True
Let p = 56 - 52. Suppose g = 3*n - p, 8 = -5*g + 3*n - 0. Let z(h) = -94*h**3 + h**2. Is 36 a factor of z(g)?
False
Suppose 2*q + 5*a = 3335, 4*a - 4616 = -4*q + 2060. Suppose 0 = 4*h + 6*h - q. Suppose 3*j + 2*f = 4*f + h, 52 = j + 3*f. Is 17 a factor of j?
False
Suppose 0 = -4*i + 24, 57*h - 4*i = 60*h - 2709. Is h a multiple of 27?
False
Let c = -50 - -104. Let n = 60 - c. Suppose -n*z + 133 = z. Does 3 divide z?
False
Suppose 0 = 28*i - 22*i - 24. Suppose 15*n + 229 = 20*n - i*m, 5*n - 223 = -2*m. Does 5 divide n?
True
Let w = 21392 - 10328. Is w a multiple of 25?
False
Let m(i) = -1568*i**3 - 3*i**2 - 22*i - 41. Is 5 a factor of m(-2)?
True
Let y(p) = 3*p**2 - 30*p + 27. Is y(-15) a multiple of 2?
True
Suppose -55074 = -3*i + 2*c - 3580, 5*i - 85825 = 3*c. Is 122 a factor of i?
False
Suppose 199*r - 920720 = 131*r. Is r a multiple of 20?
True
Let g = 387 + -382. Suppose 14 + 6 = g*f. Does 3 divide f?
False
Suppose 0 = h - 4*c + 16, 3*c = -h + c + 8. Suppose -4*n + 253 = 3*r, 0 = -h*n + 3*n + 5*r - 187. Does 16 divide n?
True
Let c(j) = j**2 - 15*j + 57. Let q = -200 + 212. Is 7 a factor of c(q)?
True
Let p(g) = 25*g - 1. Let w be p(2). Let t = 73 - w. Is 12 a factor of t?
True
Let n be (-270)/24 + 10 + 11649/4. Suppose -7*r + n = -680. Is 26 a factor of r?
False
Let o(u) = -5 - 3 + 2*u + 4 + 0. Let m be o(4). Suppose -m*c + 190 = 54. Is 9 a factor of c?
False
Let b(o) = -6*o + 1. Let m be ((-3)/3 + -3)/(-2). Let f be b(m). Let u = f - -50. Does 4 divide u?
False
Let l = 5 - 5. Let p(h) be the first derivative of -2*h**3/3 + h**2/2 + 201*h + 323. Is p(l) a multiple of 26?
False
Suppose 3*d = -d + 4*f + 24, f + 9 = 4*d. Suppose -40*k + 5*k + 175 = 0. Does 7 divide 256/20 + 1 + d/k?
True
Let s = 33 + -18. Let n(z) = 8*z - 3. Does 9 divide n(s)?
True
Let f = -187 + 193. Is 25 a factor of (-2)/f + 2908/12?
False
Is (-3)/(2 - (-5 - (-266432)/38060)) a multiple of 17?
False
Let p = -460 + 465. Let j(v) = v**3 - 3*v**2 - 10*v + 60. Is j(p) a multiple of 12?
True
Let p be (-102)/(-27) - (8 + (-666)/81). Suppose -25*m + 21*m + 6632 = p*t, -5*t = -2*m + 3316. Is m a multiple of 101?
False
Let p be (-2)/10 - 4/(-20). Suppose p = -10*y + 16*y + 402. Let t = -40 - y. Does 4 divide t?
False
Let z(r) = 49*r**2 + 40*r + 59. Does 3 divide z(-6)?
False
Suppose -66*o - 8472 = -74*o. Is 8 a factor of o/15 + (-30)/(-75)?
False
Suppose 0 = -5*z + 25, -246 - 232 = -3*b + z. Let m = b - 105. Is 5 a factor of m?
False
Suppose 3*o = -114 + 102. Does 19 divide (-2 - o)/(-3 - (-1376)/458)?
False
Let c(a) = -a**2 - 6*a + 5. Let m be c(-6). Suppose -m*s + 3*k = -97, 0*s + 4*k = -s + 24. Suppose p - 4*f - s = 31, 0 = f. Is p a multiple of 11?
False
Let k(h) = -h**3 - 10*h**2 + 11*h + 3. Let z be k(-11). Suppose g = -5*b + 1492, -z*g + 7 = 1. Let w = -184 + b. Is 14 a factor of w?
False
Let z(v) = v**2 - 11*v - 58. Let m(u) = u**2 - 19*u + 19. Let b be m(0). Is 4 a factor of z(b)?
False
Let i(h) = -5089*h + 183. Is 47 a factor of i(-4)?
True
Suppose -671 = -5*m - 3*u, 3*m - 5*u - 165 = 224. Suppose 2*k + 3*a - 7 = 0, 5*a + 13 - 16 = k. Suppose 299 = k*z - m. Is z a multiple of 12?
True
Suppose -134*h - 73*h - 115*h + 22053136 = 0. Does 28 divide h?
True
Let f(p) = p**2 + 28*p + 128. Let y be f(-29). Let m = y - 114. Is 23 a factor of m?
False
Let g(y) = -94*y + 659. Is g(5) a multiple of 3?
True
Suppose -28*b + 75 = -3*b. Suppose -b*w = i - 1520, 0 = -2*i - 2. Does 39 divide w?
True
Suppose -3*z = 12, -39*c - 3*z - 19780 = -41*c. Is 14 a factor of c?
True
Suppose 1362 = 3*u + j, -783 - 1034 = -4*u - j. Does 11 divide u?
False
Suppose -5*u - 2*x = 42, -2*u + x + 0*x = 24. Let q be -4 + 4/(-8)*u. Does 12 divide (q - 0)/((-2)/(-86))?
False
Let m(z) = 20*z**3 + 4*z**2 + 11*z - 4. Let a be m(5). Suppose -5*g + a = 101. Suppose 0 = -12*c + 2*c + g. Does 20 divide c?
False
Is 20 a factor of -4 + (-237919)/(-88) - (-3 + (-42)/(-16))?
True
Let p(r) = -2*r**3 + 19*r**2 - 3*r + 16. Suppose 2 + 61 = 7*s. Does 62 divide p(s)?
False
Suppose 9*o + 13*o + 1034 = 0. Let s = o + 235. Does 11 divide s?
False
Suppose -55*l + 338209 = -60266. Does 8 divide l?
False
Let b(d) = -8*d**2 + 9 - 3 + d**3 - 2*d + 0*d**3 + 5*d. Let r be b(9). Suppose -3*m - r = -4*m + 4*q, -5*q - 570 = -5*m. Does 15 divide m?
False
Let l(p) be the first derivative of 11*p**5/3 - p**4/4 - 5*p**3/6 - p**2 - 10*p - 13. Let t(y) be the second derivative of l(y). Does 12 divide t(-1)?
False
Let p = 17282 + -7424. Is p a multiple of 37?
False
Suppose 497500 + 48211 = 340*f - 757169. Does 4 divide f?
True
Suppose -4*l + 101647 = 9*i - 21037, -2*l + 61342 = -4*i. Is l a multiple of 82?
False
Let d(l) = -l + 158. Suppose 12*x - 2 = 34. Let p = 3 - x. Does 6 divide d(p)?
False
Let q(c) = c**2 + 32*c + 191. Let u be q(-10). Is u + 410 - 2*(-4 + 1) a multiple of 7?
False
Let u = -28 - -54. Suppose -3*f = -u*f + 13340. Is 10 a factor of f?
True
Let o = -189 + 201. Is (0 + 2)/(o*(-10)/(-12900)) a multiple of 10?
False
Let u(m) = 497*m + 3270. Does 134 divide u(22)?
True
Let u = -1751 - -4510. Is 16 a factor of u?
False
Let o be (-115)/15*(-1 - 26). Let c be 2790/27 - (-5)/(-15). Let g = o - c. Is g a multiple of 13?
True
Suppose 795767 = -189*d + 4309655. Is 83 a factor of d?
True
Let z(s) = -5*s**3 - 2*s**2 + s + 2. Suppose -3*g - 19 = -4*q - 3, -5*q + 20 = -3*g. Suppose -3*h - 3*a = 15, -17 = q*h + 2*a - 1. Does 33 divide z(h)?
False
Suppose -n + 621 = -3*w, 1149*w - 1148*w - 633 = -n. Does 9 divide n?
True
Suppose 106*s - 1658 = 113246. Is 18 a factor of s?
False
Let x be 1/(1175/585 - -1 - 3). Let h = x + -39. Does 13 divide h?
True
Suppose 5*w = -w. Let f(z) = 4*z**2 + 4*z + 2. Let m(h) = 5*h**2 + 5*h + 3. Let r(a) = -6*f(a) + 5*m(a). Is r(w) even?
False
Let z = 19219 + -10963. Is z a multiple of 69?
False
Let i = 241 - 239. Suppose 4*v = i*v + 276. Is 7 a factor of v?
False
Let k(s) = s**3 + 6*s**2 + 4*s - 5. Let a be k(-5). Suppose a*q + 2*q = q. Suppose q = 6*b - 494 - 46. Is b a multiple of 30?
True
Suppose -27 = 3*g - 90. Let o = g + 11. Suppose -5*s + o = 3*u, 6*u + 19 = 2*s + u. Is s a multiple of 3?
False
Let w = 115 + -103. Is 10/(-75)*-55*w a multiple of 11?
True
Let p(t) = -17*t - 14. Let k(g) = 12*g + 7. Let q be k(-1). Is p(q) a multiple of 9?
False
Suppose -182*h - 93*h = -2910050. Is h a multiple of 37?
True
Let y(q) be the third derivative of 2*q**5/15 - 5*q**4/24 + 9*q**3/2 - 20*q**2. Is y(-11) a multiple of 42?
True
Suppose 20*o - 75955 - 30965 = 5*o. Does 18 divide o?
True
Let y(d) = d**2 - 2*d + 88. Suppose 6*s - 7*s + 3*p + 12 = 0, -p = 4. Is y(s) a multiple of 12?
False
Let r(k) = 8*k**2 - 2*k - 18. Let q be r(5). Suppose 0 = -170*a + q*a - 550. Is 25 a factor of a?
True
Suppose -315926 = -223*x + 53885 + 152901. Is x a multiple of 4?
True
Let x(s) = 2*s - 4*s - 274*s**2 + 293*s**2 + 24 - 13*s. Does 5 divide x(2)?
True
Let k = 35836 - 5519. Is 71 a factor of k?
True
Let v = 8 - 5. Suppose -3*s = v*z - 216 + 51, 3*s + 2*z - 161 = 0. Is s a multiple of 17?
True
Suppose 0 = 13*l - 64519 + 11479. Does 60 divide l?
True
Let r be 3/6*(-2 - -5)*94. Suppose -r = -5*p + 5*a + 374, 5*p = -3*a + 507. Does 17 divide p?
True
Let x(j) = 