*w + 29. Let l be y(-12). Let d be (0 + 1)*(-1 + 15/l). Suppose d*n = n + 32. Is n a multiple of 23?
False
Let i(p) = -16 - 19 + 4 + 24*p - 6*p. Is 16 a factor of i(8)?
False
Suppose 72 + 16 = x. Suppose 0 = 5*u + 20, 3*u - x = -4*j - 0*j. Is 4 a factor of (10/j)/(2/80)?
True
Suppose 0 = -34*o + 83*o + 287*o - 105840. Does 19 divide o?
False
Suppose 5*d + c = 11650, -733*d - 2*c + 11650 = -728*d. Does 36 divide d?
False
Does 2 divide 9*(-2)/(-18)*(-3 + 58)*1?
False
Suppose -4*j + 22 = 2*t, -2*t + 0 = -3*j - 1. Suppose -j*a + 486 = 3*a. Suppose -84*d + a*d + 72 = 0. Is 5 a factor of d?
False
Let l be 0 + 1 + -5 + (9 - 3). Suppose 3*o = -2*d + 93, -88 = -l*d - 2*o - 0*o. Does 14 divide d?
False
Suppose 14*g + 15*g = 10469. Suppose 14*k = 8095 + g. Does 42 divide k?
False
Suppose -2793 = 3007*y - 2986*y. Suppose -6*k + 812 = -2*k. Let f = y + k. Is f a multiple of 60?
False
Let z(u) be the third derivative of u**6/120 + u**5/6 + 3*u**4/8 - 5*u**3/3 - 12*u**2. Let f = 94 - 100. Is z(f) a multiple of 40?
True
Let l(f) = -f**3 + 21*f**2 + 5*f. Let a = 65 - 32. Suppose 72 = 5*x - a. Does 15 divide l(x)?
True
Suppose -2*q + 1576 = -7862. Does 135 divide q?
False
Let i(b) = b - 2. Let s be i(-2). Suppose 44168 = -224*y - 25720. Does 18 divide 8 + s + y/(-3)?
True
Does 28 divide (-1968)/(-410)*7770/9?
True
Suppose 0 = -96*i + 91*i - 3150. Let y = -418 - i. Does 8 divide y?
False
Let c = 482 + -477. Is ((-74)/10 - c)/((-5)/150) a multiple of 57?
False
Let u = 137 - 149. Let j(x) = -9*x + 72. Is 18 a factor of j(u)?
True
Let m(c) = c**2 - 8*c + 13. Let o be m(2). Let l be 4 - 2 - (3 + o) - -17. Let p = 91 - l. Does 54 divide p?
False
Let o = 20556 + -9868. Does 167 divide o?
True
Let u be (-100)/275 + (-8)/(-22). Let x be 3*38 - 2*1. Suppose m - 3*t - 124 = u, 3*m + 5*t - 316 = x. Is 45 a factor of m?
False
Let g be 6/(-36) - 694/12. Let x = 15 - g. Suppose -2*n + 8 = 16, 0 = s + 2*n - x. Is s a multiple of 10?
False
Suppose -11*h - 2*h - 4784 = 0. Let o = h - -379. Does 11 divide o?
True
Let a(m) = 7*m - 42. Let q be a(7). Suppose q*y - 6 = -34. Is 39 a factor of (-2)/((-4)/438) - y?
False
Let j(a) = -311*a - 174. Is 103 a factor of j(-7)?
False
Let q(d) = d + 53. Suppose 2*y + 184 = 4*t - y, 0 = -t - 5*y + 46. Let j be (-2)/4*t - -1. Is 10 a factor of q(j)?
False
Is 16 a factor of ((-1744)/(-981))/(1/13914)?
True
Suppose 92 = 8*b + 28. Does 7 divide (-20)/b - 33/(-2)?
True
Let m = 63 - 53. Suppose -m*x + 8 = -8*x. Suppose -x*a + 239 + 585 = 0. Does 23 divide a?
False
Let k(l) = 3342*l + 1666. Is k(5) a multiple of 172?
False
Let x(y) = 4*y**2 - 3*y - 1. Let q(z) = -5*z**2 + 3*z + 1. Let n(p) = 2*q(p) + 3*x(p). Let g be n(5). Suppose -325 = -g*m + 29*m. Does 24 divide m?
False
Let c be 224/(-28) + 0 + 330. Let k = 392 - c. Does 34 divide k?
False
Let g(x) = 1. Let b(p) = 8*p + 25. Let v(y) = -b(y) - 4*g(y). Let d(w) = -w**2 - 9*w - 34. Let u be d(-6). Is 28 a factor of v(u)?
False
Let k(p) = 4*p**2 + 5*p - 3. Let n(q) = 29*q**2 + 2*q + 1. Let t be n(-1). Let g = t - 25. Is 14 a factor of k(g)?
False
Let i(j) = 38*j + 128. Let d be i(19). Let x = d + -371. Is x a multiple of 34?
False
Suppose -2*m - 4 = -8. Let i be (10 - (-3 - -7))/m. Suppose 0 = 8*l - 13*l + 4*f + 90, 0 = i*l - f - 54. Is 3 a factor of l?
True
Is 60 a factor of (21 + (-329383)/(-69))/(2/9)?
False
Let j(n) = n**3 + n**2 - 8*n + 3. Let k(v) = -v + 13. Let f be k(8). Let b be j(f). Let u = b + -50. Does 13 divide u?
False
Suppose 81*d - 84*d = 3*f - 522, 714 = 4*d - 5*f. Is 11 a factor of d?
True
Suppose 182 = 2*n - 1578. Is 96 a factor of n?
False
Suppose k - 599 = -s - k, 5*s = -3*k + 2960. Suppose -j + s = 2*j + 4*d, 4*j = -d + 768. Is j a multiple of 8?
False
Let s = 172 - 216. Is 8 a factor of 14*(-45)/60*s/6?
False
Suppose 6*u - 10*u = -3528. Let h = u - 575. Is h a multiple of 24?
False
Suppose 11*s = 16*s + 5*i, 0 = 5*s + 4*i. Suppose s = -5*v + 1885 + 415. Does 13 divide v?
False
Let h(i) = i**2 + i + 27. Let b(t) = 4*t + 40. Let o be b(-10). Is 9 a factor of h(o)?
True
Let h = 1920 - -3155. Is h a multiple of 29?
True
Let m(z) = z**3 - 16*z**2 + 18*z - 92. Is 13 a factor of m(18)?
False
Let i(k) = -340*k**3 - 5*k**2 - 3*k - 8. Let v be i(-4). Does 12 divide (-4)/7 - v/(-364)?
False
Let r = 6703 - -9256. Is r a multiple of 17?
False
Let a = 4766 + -2984. Is 18 a factor of a?
True
Let x(t) = 6*t**2 + 12*t + 719. Is 26 a factor of x(30)?
False
Let l(q) be the second derivative of -43*q**3/3 - 8*q**2 + 26*q. Is 39 a factor of l(-2)?
True
Let q(i) = -4*i**2 - 16*i - 4. Let y be q(-7). Let a be (y/(-10) - -1) + 1/5. Suppose a*r = 6*r + 672. Is r a multiple of 28?
True
Let h(x) = 16*x**3 + 75*x**2 - 410*x + 17. Does 21 divide h(6)?
False
Suppose 0 = -y - 4*c + 164, 0 = -3*y + c - 4*c + 519. Suppose v - y = 5*z - 21, -v = 3*z - 195. Does 71 divide v?
False
Let g = 6215 + 2679. Is g a multiple of 8?
False
Let n = -245 + 295. Let y = -28 - -51. Suppose 5*i + y = 4*w, -i = 5*w - 3*i - n. Is w a multiple of 4?
True
Suppose 5*g + 35 = 5*j - 45, -3*j + 5*g + 54 = 0. Suppose 5*i = -j + 33. Suppose i*d + s = -3*s + 216, -4*d + 2*s + 204 = 0. Is 26 a factor of d?
True
Let v = -1455 + 168. Let k = v - -2283. Is 8 a factor of k?
False
Suppose 3888*g - 3896*g = -17248. Is 7 a factor of g?
True
Let k(h) = h**3 - 6*h**2 - 9*h + 3. Let g be k(7). Suppose -197*u + 1050 = -204*u. Let x = g - u. Does 49 divide x?
False
Is 4885*(10 - (-440)/(-50)) a multiple of 22?
False
Let c = 89 - 90. Is 10 a factor of (-7 + 24/(-16))*24/c?
False
Let f = -84 - -126. Let a = 42 - f. Suppose a = -3*n + 2*m + 40, -2*n + 5 = 4*m - 27. Is n a multiple of 3?
False
Let j(i) = -i**3 - 11*i**2 - 14*i + 23. Let g be 4/22 - 784/77. Let a be j(g). Let z = -38 + a. Does 5 divide z?
True
Suppose 70*a - 71*a + 82 = 0. Let n = 85 - a. Suppose -n*d - 29 = -80. Is 7 a factor of d?
False
Suppose 26*y = 20*y - 63*y + 9177. Let i = 10 - 6. Does 8 divide (-1 + i)/(-3) + y?
False
Suppose 0 = 4*t + 4*v + 8, 2*t + 6 = -3*t - 4*v. Suppose 2*j = 2*r - 436, -t*r = -6*r + 5*j + 870. Is 20 a factor of r?
True
Let k be (2/(-4))/(17/8976). Let r = -4 - k. Does 13 divide r?
True
Let p(n) = 2*n**2 - 43*n + 48. Suppose 6*z - 16*z = -230. Is 9 a factor of p(z)?
True
Let k(z) = 469*z**2 + 342*z + 2043. Is k(-6) a multiple of 225?
True
Let d(r) = r**3 - 22*r**2 + 25*r - 85. Let a be d(21). Let z(k) = 239*k**2 - 7*k - 6. Does 60 divide z(a)?
True
Let d(n) be the first derivative of n**3/3 - 11*n**2/2 - 20*n - 65. Does 5 divide d(-8)?
False
Suppose k = -6*a + 5*a + 35, 5*k - 184 = 4*a. Let g = k + -11. Suppose x - 3*x - 2*n + 194 = 0, -5*n = -g. Is x a multiple of 46?
True
Let c = -275 + 270. Does 17 divide -1 + c + (-40 - -173)?
False
Let w = 18 - 6. Suppose -k = 75*z - 74*z + 4, -5*z - 20 = -5*k. Let s = z + w. Is 8 a factor of s?
True
Suppose -72791 = -5*r - 2*d, 5*r + d - 77445 = -4652. Is 23 a factor of r?
True
Suppose 0 = d - 5*t - 2520, 31*d - 33*d + 3*t = -5012. Is 111 a factor of d?
False
Let q = 7 - -9. Let h = 124 - q. Does 20 divide h?
False
Let y(b) = -b**2 + 32*b - 213. Let h be y(9). Does 17 divide (h/(-4))/(138/1564)?
True
Let y = 1205 + -592. Let q = -277 + y. Is 42 a factor of q?
True
Let d be ((-6)/(-4))/(3/(-4)) + -72. Let k = d + 77. Suppose 2*v = -2*l + 76, -k*v + 3*l + 118 = -8. Is v a multiple of 4?
True
Let k(q) = -2*q**2 + 2*q - 1. Let b(j) = -15*j**2 - 14*j - 85. Let o(w) = -b(w) + 4*k(w). Is 73 a factor of o(-5)?
True
Let b(s) = -31*s - 138. Let h be b(-5). Is (7 + h)/((-8)/(-36)) a multiple of 8?
False
Let a = -73 + 76. Suppose 8*l - 5*l + a*c = 876, -4*l + c + 1148 = 0. Suppose -5*q + v - 3*v = -l, v + 1 = 0. Does 29 divide q?
True
Let b = -3 + 14. Suppose 4*t - b + 3 = 0. Suppose -2*j - 4*s + 146 = 0, t*s + 420 = 5*j + s. Is j a multiple of 15?
False
Suppose -4*d = 0, -5*b - 2*d + 20 = d. Let g be 28/b + -4 - 312/(-1). Is g/(-6)*(-12)/18 a multiple of 7?
True
Let m = -3858 - -6858. Does 30 divide m?
True
Let k(d) = 14*d + 5. Let i be k(6). Let h(t) = 4*t + 78. Let o be h(-11). Let g = i + o. Is 11 a factor of g?
False
Let y(h) = -7*h**2 + 7*h + 5. Let l be y(-4). Suppose 101*g = 96*g + 3*q - 409, 5*g = 5*q - 405. Let t = g - l. Is 13 a factor of t?
True
Is 48 a factor of (45/(-135) + (-4322)/(-6))*(-156)/(-9)?
True
Suppose 