0, 2007 = 3*w + 2*h - 4*h. Is 61 a factor of w?
True
Suppose 2*j = -5*n + 24280, 5*n + 22*j - 24305 = 25*j. Is 10 a factor of n?
False
Suppose -1746*n + 1741*n + 139424 = -3*r, -83600 = -3*n - 5*r. Is 17 a factor of n?
True
Let n(d) = -3*d - 27. Let v be n(11). Is 31 a factor of (-4968)/v + (-1)/(-5)?
False
Let c(q) = -6*q**2 + 9*q + 29. Let y(x) = 5*x**2 - 7*x - 30. Let d(l) = 4*c(l) + 5*y(l). Is d(11) a multiple of 7?
True
Let v(i) = -i**2 - 12*i + 44. Let n be v(-16). Let b be 8 + 5/(n/16). Does 5 divide (-8)/(-3)*6/b*10?
True
Let h(g) = g**2 - 5*g - 10. Let q be h(-2). Suppose 44 = q*t + 5*b - 205, 2*t - 127 = -3*b. Does 8 divide t?
True
Let d(v) = 5*v**2 - 2 + 0*v**2 - 3*v**2 + 6*v + 2*v**2. Let y be d(-2). Suppose -2*k + x = -183, -y*k + 452 = 3*k + 3*x. Is 13 a factor of k?
True
Let p(b) = 0*b**3 + 13 - 28 - b**3 + 16 + b**2. Is 30 a factor of p(-7)?
False
Suppose 4*h - 2*a - 8980 = 0, 135 = -h - 3*a + 2373. Suppose -h = -3*t + 4*q - 0*q, -t + 2*q + 746 = 0. Is t a multiple of 16?
True
Suppose -13*f = -12*f + 8. Let p(m) = -m**3 - 7*m**2 - 7*m + 25. Is 20 a factor of p(f)?
False
Suppose -99*a - 3976 = -113*a. Is 2 a factor of a?
True
Let w = -883 - -522. Let a = w - -635. Does 32 divide a?
False
Is 18 a factor of -7 + 2 + 11135 + -11?
False
Let x be 22/7 - 1*5/35. Suppose 8*a = -4*q + 4*a + 584, -x*a - 714 = -5*q. Is q a multiple of 8?
True
Let h be (12/(-10))/((-3)/(-45)*-3). Let j be (-3*h/36)/(2/268). Let m = j - -198. Does 21 divide m?
False
Let y(q) = -30*q - 6. Let a(k) = k**3 - 13*k**2 + 13*k - 13. Let u be a(12). Let w be y(u). Let r = w - -69. Does 31 divide r?
True
Suppose -4*x + 38 + 82 = 0. Is 66 a factor of x*(-90)/(-12)*3/1?
False
Let i(u) = -u**3 + 9*u**2 - 6*u - 17. Let w be i(8). Let h be 1*(1 - -217) - (w + 5). Suppose 3*n = -s - 3*s + 160, -4*n = 5*s - h. Is n a multiple of 4?
True
Suppose -4*w - 8 = 0, -5*u - 8*w + 18640 = -13*w. Does 46 divide u?
True
Let t(y) = 610*y**2 - 14*y + 40. Is 120 a factor of t(-5)?
True
Let d(r) = -1292*r - 117. Let l be d(-8). Suppose -27*i = 1957 - l. Is 7 a factor of i?
False
Suppose 0 = -8*r - 50*r + 175151 + 136715. Is r a multiple of 54?
False
Suppose 0 = 4*a + 5*o - 13985, 2*o - 7563 + 569 = -2*a. Let b = -2326 + a. Is b a multiple of 36?
False
Suppose -s + 2*j - 350 = 0, j + 1 = 2. Let d = s + 553. Let o = -3 + d. Is o a multiple of 18?
False
Let h = -8652 + 11109. Does 9 divide h?
True
Let l be 10/105*7 - 7459/(-3). Suppose 0 = 5*a + 737 - l. Is 14 a factor of a?
True
Let t = 2702 + -1006. Is t a multiple of 32?
True
Let a be -4*(-6 - 63/4). Is 44 a factor of (a/(-6))/(7/(-126))?
False
Let s(p) = -p**3 - 9*p**2 - 15*p + 4. Let z be s(-7). Suppose 0 = z*v - 4*v - 140. Suppose v - 116 = -2*q. Is 24 a factor of q?
True
Suppose -2*k + 32 = 2*k + 5*a, 5*a - 14 = 2*k. Suppose 45 = 3*u - 3*z, 2*z + k*z - 5 = 0. Does 3 divide u?
False
Suppose -d + 6*d + 2*g = 18110, -d + 4*g + 3644 = 0. Does 12 divide d?
True
Let t = -3070 - -6742. Suppose 4*d - 4*v - t = 0, 8*v = -2*d + 6*v + 1848. Is d a multiple of 20?
False
Let p(z) = -z**3 + 3*z**2 + 8*z - 1. Let a be p(7). Let l = a - -369. Suppose -4*s = n + 2*n - l, -158 = -3*s + n. Is s a multiple of 9?
True
Let w = -10197 + 25271. Is 18 a factor of w?
False
Let a = -52 - -54. Suppose -3*w + 407 = -4*g, 6*w = 3*w - a*g + 395. Suppose 4*m + 159 + w = 4*p, -p + 65 = -3*m. Does 16 divide p?
False
Suppose -3*p + p - 10 = 0, 5*n - 5*p - 12805 = 0. Suppose -15*k + 14*k + 1912 = 3*d, -4*d - 3*k = -n. Is 18 a factor of d?
False
Let q be (-7)/28 + (-207)/(-12). Let j(v) = 38*v - 85. Is 33 a factor of j(q)?
True
Suppose -7*l + 1024 = -2*l + 2*s, 4*l - 839 = 5*s. Suppose -211*x + 525 = -l*x. Is x a multiple of 3?
True
Let t(u) = 4*u**2 - 7*u - 54. Let o be t(-7). Let p = o - 119. Is p a multiple of 14?
False
Let p(j) be the third derivative of -j**7/180 - j**6/90 - 4*j**5/15 - 9*j**2. Let t(i) be the third derivative of p(i). Is t(-4) a multiple of 13?
True
Is (-30821)/(-56) - (-75)/(-200) a multiple of 6?
False
Let o(z) = -185*z**3 + 11*z**2 + 12*z. Let h be o(-1). Suppose -2*n = -4*m + 998 + h, -m = 3*n - 292. Is m a multiple of 4?
False
Suppose 11*w = 44, 852*p + 3*w = 854*p - 464. Does 119 divide p?
True
Suppose -30 = -3*p - s, -4*p + 3*s = 5*s - 40. Suppose 0 = -p*o - 1442 + 4762. Is 4 a factor of o?
True
Let z(b) = -338*b - 993. Is z(-20) a multiple of 192?
False
Suppose 5*w - 2*c - 157920 = 0, -55*w + 3*c + 126336 = -51*w. Does 24 divide w?
True
Let x = -11 + 46. Let g be (-6 + 1)*(-84)/x + -2. Suppose 3*a = g*a - 350. Is 10 a factor of a?
True
Suppose 0 = -8*x - 83 + 291. Suppose -40 = -2*c + x. Let h = c - -37. Is h a multiple of 14?
True
Suppose p - 39 = f + 296, -679 = -2*p - f. Is p a multiple of 13?
True
Let z = -409 + 483. Let y = 266 - z. Does 3 divide y?
True
Suppose 3*q - 5397 = 3*z, z - 2950 = -3*q + 2467. Is q a multiple of 181?
False
Suppose -59*s = -50*s - 18990. Does 10 divide s?
True
Let v = -764 - -1652. Suppose -7*t = -t - v. Let g = -58 + t. Is g a multiple of 10?
True
Suppose -3*r - 4*g = -38198, -5*g + 46962 = 5*r - 16688. Is r a multiple of 40?
False
Let y = -99 + 97. Does 59 divide (35/(-21))/((-58362)/(-29196) + y)?
False
Let g(b) = 8*b**3 + 2. Suppose 5*q = -a - 0*a - 8, -3*a + q = -8. Let w be g(a). Suppose z - 3*r = w, 4*z - r - 341 + 77 = 0. Is 11 a factor of z?
True
Let u = 957 + 1743. Does 25 divide u?
True
Let u(q) = -q**3 - 129*q**2 + 131*q + 1306. Is u(-131) a multiple of 51?
False
Let y(o) = -108*o - 22. Let d be y(-6). Suppose -g = 5*u - 170, 4*g - 9*u - d = -11*u. Does 63 divide g?
False
Let h(a) be the third derivative of a**5/30 - a**4/4 + 29*a**3/6 - 11*a**2 - a. Is h(-11) a multiple of 11?
False
Suppose 5*j - 12 = 2*j. Let t = j - -16. Suppose z = t + 96. Is z a multiple of 24?
False
Let w(n) be the first derivative of -47*n**2 + 21*n - 69. Does 17 divide w(-4)?
False
Suppose 5*n + 5 = 4*d + 66, 2*d = -8. Let b = 114 - n. Does 21 divide b?
True
Let d(j) = 8*j**2 + 25*j - 431. Is 14 a factor of d(25)?
True
Let u = -2237 - -7787. Is u a multiple of 111?
True
Suppose -45*n + 52*n = -98. Is 19/(-7) + 3 + (-514)/n a multiple of 3?
False
Let x = 192 + -188. Suppose 0 = -x*k - 562 + 698. Is k a multiple of 34?
True
Let m(z) = z**3 + 13*z**2 + 9*z + 132. Let w be m(-13). Is 87 a factor of (20 - w)*(3 + 84)?
True
Let z(x) = 2*x**3 - 3*x**2 + 7*x - 229. Is 60 a factor of z(11)?
False
Let w be 6351/9 - -2*1/6. Let k = w - 302. Is 24 a factor of k?
False
Suppose 0*y + 5*y = -5*z + 20, 2*y = -5*z + 17. Suppose -3*l + 982 = 2*l + 2*a, -3*a + z = 0. Is 56 a factor of l?
False
Suppose -340226 = 85*o - 990476. Does 50 divide o?
True
Suppose -3 = -17*z + 16*z. Suppose -h = z*h - 328. Suppose 46*l - 48*l + h = 0. Is l a multiple of 2?
False
Let a = -409 - -907. Let i = a - 208. Is i a multiple of 20?
False
Suppose 3*a + 4995 = 5*j - a, -4*j + 3990 = -2*a. Let q = -577 + j. Is q a multiple of 19?
True
Let z = -230 - -207. Let p = 118 + z. Is 4 a factor of p?
False
Let q be (-5113)/(-3) + 9/(-27). Does 10 divide -4 - q/(0 + -6)?
True
Let u(c) = -29*c**3 + 2*c**2 + 6*c + 9. Let f be u(-2). Let j = -83 - 69. Let i = f + j. Is 4 a factor of i?
False
Let l be (-2)/(-5)*(13 + -3). Suppose -5*j + 2*d = -18, 0 = -j + 2*j + l*d - 8. Suppose 3*p - 90 = -3*z, 0*p = 3*z + j*p - 86. Is 17 a factor of z?
True
Let p = -116 - -110. Let q be (0 + p)*1*2/(-6). Suppose 0 = -4*v + q*f + 990, 3*v - 969 = -v - 5*f. Does 15 divide v?
False
Suppose -125085 + 56603 = -313*p + 372222. Is 11 a factor of p?
True
Let p(u) = -u**2 - 13*u - 22. Let n(j) = -2*j**2 - 26*j - 45. Let s(g) = -3*n(g) + 5*p(g). Is s(-12) a multiple of 2?
False
Let v = 39 + -45. Let p(f) = -164*f - 88. Does 36 divide p(v)?
False
Let p(m) = -269*m + 1616. Is 12 a factor of p(-8)?
True
Let v = -31 + 24. Let b(p) = -3*p - 17. Let z be b(v). Suppose 0 = z*i - 6*i + 126. Does 18 divide i?
False
Let t = 1666 - 1540. Is t a multiple of 2?
True
Let i be 5 + -4 + 6 + -8. Does 15 divide ((-1200)/144)/(i/45)?
True
Suppose -161040 = -43*o - o. Is 15 a factor of o?
True
Does 28 divide (-6)/5 + (3 - 54276/(-30))?
False
Let p = -226 + 303. Is p + -74 - 2*-1*121 a multiple of 35?
True
Suppose 2 - 52 = -10*z. Suppose -20*q + z*q + 5145 = 0. Is 20 a factor of q?
False
Suppose 4*v = 3*x - 364, 4*v 