e
Let j(g) = -g**2 - 19*g - 25. Let m be j(-17). Suppose p + 4*w - 270 = m*w, -p + 265 = -4*w. Does 20 divide p?
False
Let w be (-4)/3 + (-6 - 16/(-3)). Let v be ((-1)/w)/(4/(-1168)). Let p = -71 - v. Is 18 a factor of p?
False
Suppose -150*z - 13*z - 1171465 + 3624615 = 0. Is 14 a factor of z?
True
Let t(h) = 50 + 143*h + 86*h - 444*h + 121*h. Is t(-2) a multiple of 17?
True
Let z(l) = 2*l**2 + 16*l + 3. Let s be z(-8). Suppose -2*p + 17 = -s*k - 76, 2*p + 5*k - 101 = 0. Let b = p - -18. Is b a multiple of 17?
False
Suppose -22899*c = -22888*c - 197912. Is 26 a factor of c?
True
Let d be -2*7/28 + 262/4. Let w = -3 + d. Is w a multiple of 5?
False
Let g(w) = 34*w - 27. Let n(s) = 11*s - 9. Let r(j) = -6*g(j) + 17*n(j). Is r(-7) a multiple of 8?
True
Let j(q) = -119*q**3 + q**2 - 4*q - 13. Is j(-4) a multiple of 15?
True
Suppose -95*i + 17304 = 4*y - 92*i, -y + 4337 = -2*i. Is y a multiple of 9?
True
Let d(v) = v - 16. Let f be d(19). Suppose 0 = -f*u - 3*u + 30. Is u a multiple of 2?
False
Let m(l) = 10*l + 16*l + 46 + 115 + 35. Does 11 divide m(19)?
False
Let m = -23 + 86. Suppose 0*w + w = m. Is 7 a factor of w?
True
Let x(i) = 29*i - 199. Let f be x(43). Let g = f + -330. Is 22 a factor of g?
False
Let t(d) = 28*d - 47*d + 1 - 14*d. Is t(-3) a multiple of 19?
False
Let p be (-2)/(-1)*6/4. Suppose -44 = p*l - 422. Is l a multiple of 3?
True
Let x(j) = 176*j**2 + 42*j - 101. Does 47 divide x(5)?
False
Suppose -4*v = -k - 34169, 0*k = -2*v + 2*k + 17092. Is 9 a factor of v?
True
Let y(z) = -3*z**3 - 28*z**2 + 27*z + 152. Is y(-10) a multiple of 2?
True
Suppose 0 = 2*z - s - 13, 27 - 34 = -3*z + 4*s. Suppose 2319 = z*w - 1659. Is w a multiple of 9?
False
Let u(x) = -x**3 + 4*x**2 + 5*x + 10. Let m be u(5). Let h be 3/15 - (-318)/m. Suppose -3*g + h = -256. Is g a multiple of 48?
True
Let h = 164 - -348. Suppose -h = -2*z + 498. Does 81 divide z?
False
Let b be -86*(609/(-14))/(-3). Is 29 a factor of b*1/(-5) + 24/(-60)?
False
Suppose 3*h + 4*c - c - 4035 = 0, -3*h + 4040 = 2*c. Is 15 a factor of h?
True
Suppose 0 = 5*v - 28*v - 17618. Is 13 a factor of v/(-10) - (-171)/(-285)?
False
Let m(i) = 4 + 3 + 14*i**3 - 5*i - 15*i**3 - 6*i**2 - 2. Let o be m(-5). Suppose -2*a + o*h = -a - 42, 3*a - 3*h - 78 = 0. Is a a multiple of 12?
False
Let r(z) = -8*z**3 - 3*z**2 - 13*z - 39. Let u be r(-5). Suppose 0 = q + u - 1371. Is 10 a factor of q?
True
Let d(x) = -412*x + 150. Let l be d(8). Let a = l - -4420. Is a a multiple of 49?
True
Suppose 2*n + 4*z - 90 = 0, -n + 2*n - 2*z = 33. Let m(q) = q**3 - 8*q**2 - 27*q + 278. Let k be m(8). Let j = k - n. Is j a multiple of 3?
False
Let v = 1117 + -1081. Suppose -26 = -i + 8. Suppose -i*z = -v*z + 144. Is z a multiple of 8?
True
Suppose -4*g + 31*j + 8404 = 28*j, 3*g + 4*j - 6328 = 0. Suppose -436 = -h + v - 5*v, 0 = -5*h - v + g. Does 42 divide h?
True
Let x = 3852 - 3524. Is x a multiple of 8?
True
Let p(r) = -69*r**3 - 8*r**2 + 23*r - 5. Let s be p(2). Let c = 59 - s. Is 14 a factor of c?
True
Let q be 149 + (-4 - -5) + -6. Suppose 3*y = -g + 62, 6*g = 3*g + 5*y + q. Is 53 a factor of g?
True
Let c(g) = g**3 - 21*g**2 + 11. Let b be c(21). Suppose -6*x - b - 7 = 0. Does 36 divide (12/(-18))/(2/x) - -107?
True
Let u be 1/(-3) + -3 + (-16)/(-3). Suppose 5 = -4*j - 3*p - 5, 0 = -5*j - u*p - 9. Is 17 a factor of j + 0 - (-48)/1?
False
Let f(v) = -v**3 - 5*v**2 + 13*v + 2. Let w be f(-6). Let j = 70 + w. Suppose 94 = 2*u + j. Does 8 divide u?
True
Suppose o - 2*t = 30730, 2*o = -2*t - 14173 + 75603. Is o a multiple of 15?
True
Let t(h) be the second derivative of -h**4/12 + 13*h**3/3 - 9*h**2 - 40*h. Let n(q) = q**2 + 4. Let d be n(-4). Is 17 a factor of t(d)?
True
Suppose 0 = x + x - 2032. Suppose -23*w + x = -27*w. Let g = 380 + w. Is g a multiple of 19?
False
Let v(c) = 8*c**2 - 7*c + 33. Let n(r) = 15*r**2 - 14*r + 65. Let f(l) = 6*n(l) - 11*v(l). Let j = 7 - 1. Does 19 divide f(j)?
True
Suppose 4*b - 3*g = 5900, -4*b + 5904 = 62*g - 66*g. Is b a multiple of 64?
True
Let v(b) = -b**3 - 50*b**2 - 46*b + 38. Is v(-50) a multiple of 86?
False
Suppose -4*o = -8*o + 216. Let r = o + -57. Is 44 a factor of (13*r)/(23/(-138))?
False
Suppose 13618 = -71*f + 82*f. Is 28 a factor of f?
False
Suppose 0 = 3*z - 0*z - 13*z + 78840. Is z a multiple of 36?
True
Suppose -13921 = -2*k + u, -4*u = -64*k + 61*k + 20884. Is 145 a factor of k?
True
Let r = -311 + 281. Is 2*r/(-12) + 41 a multiple of 37?
False
Let t(s) = -30 + 71*s**2 + 12 + 97*s - 38 - 84*s - 26*s**2. Is t(5) a multiple of 51?
False
Let n = -1623 + 1906. Is n a multiple of 6?
False
Let o = 753 + -61. Suppose -186 + o = p. Suppose -s - p = -4*x - 3*s, 3 = -s. Does 32 divide x?
True
Let m(c) = -3*c + 91. Let f be m(18). Let d = -26 + f. Suppose -d*s + 192 = s. Does 6 divide s?
False
Let y(c) = c**3 + 10*c**2 + 11*c + 21. Let s be y(-9). Suppose -66 = -s*p + 4*q + 78, 3*p - 147 = 5*q. Suppose -41*u + p*u - 507 = 0. Is 13 a factor of u?
True
Let s = 7858 - 4664. Is s a multiple of 80?
False
Suppose 54 - 45 = w. Suppose 0 = 12*b - w*b - 522. Does 29 divide b?
True
Let h be 4/(-5)*-251 - 29/(-145). Let b = h + -91. Is 5 a factor of b?
True
Let a(h) = 573*h**2 - 25*h + 108. Is 22 a factor of a(3)?
False
Let l = -1813 - -3524. Does 124 divide l?
False
Let u(n) = -3736*n**3 + 5*n + 6. Is 87 a factor of u(-1)?
False
Let g = 6016 - -12625. Is g a multiple of 174?
False
Suppose 0 = -3*q - 3*t + 15, 5*t - 25 = 5*q - 0*t. Suppose 41*z - 30*z - 4400 = q. Does 25 divide z?
True
Let a(p) = -p + 62. Let n(f) = f + 48. Let k be n(-18). Let t = -12 + k. Is a(t) a multiple of 22?
True
Let u = -247 - -252. Is (-3)/u - (-1526)/35 a multiple of 3?
False
Let g be 20*1/8*2. Suppose 4*d + 11 + 93 = 4*h, d = -g*h + 112. Suppose h*o - 1000 = 15*o. Does 14 divide o?
False
Let v = 213 - 220. Let q(j) = -198*j - 73. Is q(v) a multiple of 40?
False
Does 15 divide -26 + -8 + 15 + 3244?
True
Let c = -298 + 205. Let o = 3 + c. Let d = o - -127. Is d a multiple of 26?
False
Suppose -15*o + o + 58452 + 223620 = 0. Does 138 divide o?
True
Is 11 a factor of 8605 + (-17 - -12) + -11?
False
Let z(n) = n**3 + 23*n**2 + 40*n - 41. Let b be z(-21). Is 15 a factor of 1984/22 + 65/(-55) + b?
True
Let d(w) = w**2 - 7*w + 19. Let t be d(6). Let o be -4 + 0 - (t - 26). Let s(x) = x**3 - 10*x**2 + 10*x + 17. Is 13 a factor of s(o)?
True
Let k(g) = 3*g**2 + 25*g - 32. Suppose -17*r = -62 + 283. Does 6 divide k(r)?
True
Let q be -2 + 2 - -1*4. Suppose -54 = -2*j - 4*m, 2*j + 2*m - 5*m = 75. Suppose -q*i = -175 - j. Is i a multiple of 17?
False
Let g(f) = f + 1. Let k(w) = -w**2 - 3*w - 12. Let t = -65 + 64. Let a(p) = t*k(p) - 3*g(p). Is a(5) a multiple of 34?
True
Let c = 59 - 81. Let d = 24 + c. Suppose d*g - 62 = 4*z, 4*g - 12 - 132 = -2*z. Is g a multiple of 14?
False
Let o(r) = -4*r - 1. Let w be o(-1). Suppose -w*z = 8831 + 1249. Is 32 a factor of z/(-30)*(3 - 1)?
True
Suppose -73832 - 71811 = -105*u + 4297. Does 6 divide u?
True
Suppose -5*b - 30 = 0, -5*s - 40*b + 26332 = -42*b. Is 7 a factor of s?
True
Suppose 0 = -3*b - 2*p + 1590, -659 = -2*b + 3*p + 388. Does 44 divide b?
True
Let z = 8482 - 7409. Is 20 a factor of z?
False
Let g = -945 - -5625. Is g a multiple of 45?
True
Let f = -6579 - -11398. Does 21 divide f?
False
Suppose 107*u - 347316 = 78330. Does 26 divide u?
True
Let z(s) = -2*s**2 + 10*s + 70. Let j = 65 - 52. Let n be z(j). Let v = n - -337. Does 18 divide v?
False
Let k(a) = 3*a - 55. Let u be k(19). Suppose -5*s - p = p - 356, -u*s = 3*p - 149. Does 5 divide s?
True
Does 8 divide 551*17 - 336/28?
False
Suppose 7*w - 22242 = -4*z + 8348, 4*w = 8. Does 147 divide z?
True
Suppose 4*b = -3 - 37. Let a(q) = -8*q**3 - 3*q**2 - 49*q - 12. Let z(d) = 3*d**3 + 2*d**2 + 18*d + 4. Let l(m) = -4*a(m) - 11*z(m). Is 12 a factor of l(b)?
True
Let i be (-401247)/630 + (-1)/10. Let k = 1463 + i. Does 11 divide k?
False
Let j(v) be the third derivative of -11*v**7/5040 + 2*v**6/45 - v**5/20 - 9*v**2. Let y(w) be the third derivative of j(w). Is y(-6) a multiple of 14?
True
Let h(w) = -239*w + 1. Suppose -33 = 4*t - 25. Let o be h(t). Let j = o - 339. Is j a multiple of 10?
True
Let h = -135 + 156. Let x be -1 + 0 + 126/h. Suppose 51 = -l - x*s + 264, 2*l + 5*s - 441 = 0. Is l a multiple of 12?
True
