Does 93 divide c?
False
Suppose 6*o + 62*o = -8*o + 559740. Is 8 a factor of o?
False
Suppose -12*d - 7*d + 33627 = -8*d. Is d a multiple of 5?
False
Let t = -96 + -5. Let d = -44 - t. Let n = d + -39. Is n a multiple of 4?
False
Let q = 100 - 67. Suppose z - q = 32. Is 9 a factor of z?
False
Let g = -20370 + 32638. Is g a multiple of 39?
False
Let w = 79 - -7. Let u = 86 - w. Suppose u = 15*g - 178 - 17. Is 11 a factor of g?
False
Let v(z) = -4*z + 180. Let i be v(44). Suppose 176 = 3*s + 4*d, 3*s - 2*d + 62 = i*s. Is s a multiple of 2?
True
Let b be 19/4 + 1 - 3/(-12). Suppose b*y - 16*y = -5040. Is 56 a factor of y?
True
Suppose 2*c - a = 466, 5*a + 279 = 2*c - 187. Let x = c - 174. Is x a multiple of 10?
False
Let u(a) = 6*a + 1. Let o be u(-1). Let f(c) = -18*c**2 + 23*c - 25. Let d(j) = -11*j**2 + 15*j - 13. Let p(z) = -5*d(z) + 3*f(z). Is p(o) a multiple of 9?
True
Let z(p) = -9*p + 6. Let o be z(-7). Let x = -49 + o. Suppose 2*k + 0*k - 40 = -2*a, 3*a = 2*k - x. Is 8 a factor of k?
True
Let z = -3098 - -15176. Is z a multiple of 18?
True
Let j(i) = -111*i + 183. Is 7 a factor of j(-18)?
False
Let r = -377 - -585. Let p = -125 + r. Does 2 divide p?
False
Let c(r) be the third derivative of -r**6/60 - r**5/12 + r**4/3 + r**3 - r**2. Suppose -492 - 174 = 209*y + 170. Is 19 a factor of c(y)?
False
Suppose 52*v = 56*v - 1352. Let f = -174 + v. Is 19 a factor of f?
False
Is -7*(-75)/105 + 1044 a multiple of 2?
False
Let g(r) = -26*r**3 + 3*r**2 + 6*r + 6. Let y be g(-2). Let i = -138 + y. Is i a multiple of 4?
True
Suppose -2*i = -4*q + 28906, 223*q = 227*q + 2*i - 28910. Is q a multiple of 73?
True
Suppose 0 = -3*s - 9, -5*x = 4*s - 2 + 4. Suppose -2*d + 3*p - 120 = -792, 5*d - 1642 = -x*p. Is d a multiple of 30?
True
Suppose 77*s + 1046147 = 120*s. Does 43 divide s?
False
Suppose -840 - 998 = -2*t - 202. Does 27 divide t?
False
Let y = 11443 + -3041. Is 11 a factor of y?
False
Is 4 a factor of (-2)/2*-5441 + 139/(-139)?
True
Suppose -5*v + 15 = 25. Let m be 11/1 + (v - -2) + 4. Suppose -9*r = -m*r + 204. Is r a multiple of 17?
True
Let f(l) = 2*l + 8. Let z be f(-8). Suppose 173*g - 180*g + 189 = 0. Let x = g - z. Is x a multiple of 7?
True
Let r(j) = 144*j + 18106. Is 10 a factor of r(0)?
False
Let f be ((-20)/8)/((-5)/10). Let d(n) = 2*n**3 - 4*n**2 - 6*n - 20. Does 20 divide d(f)?
True
Let t(h) = -128*h**3 - 20*h**2 - 13*h - 51. Is t(-3) a multiple of 96?
True
Let m = 140 - 3. Let w be (-32)/(79/(-790) - (-42)/20). Is 30 a factor of m*2 + w/(-8)?
False
Let d be 1/(32/(-12) - -3). Suppose 3*k + 78 = u, 0 = u - 2*u - d*k + 96. Let o = u + -14. Is 8 a factor of o?
False
Let v(f) be the third derivative of -61*f**4/24 - f**3/3 - 94*f**2. Let m(a) = -a**3 + 3*a**2 - 3*a + 1. Let p be m(2). Does 17 divide v(p)?
False
Is (-6)/(-3)*(-3863)/(-2) - 84/(-14) a multiple of 16?
False
Suppose -4*n - 2*h - 54 = -5*n, -3*n = h - 127. Suppose 5*x - n = 6. Does 21 divide (12/x)/((40/(-675))/(-4))?
False
Let s(w) = 346*w + 8899. Is 30 a factor of s(-25)?
False
Let i(a) = a**3 - 9*a**2. Let j be i(9). Let d(r) = r**2 - 32*r + 116. Let f be d(28). Suppose j = -f*q + 518 + 314. Is q a multiple of 13?
True
Suppose -13*v = -8*v + 5100. Let w be ((v/(-9))/5)/(3/90). Is (w/28)/(4/28) a multiple of 17?
True
Let c(f) = -46*f - 424. Let i(b) = -9*b - 85. Let o(z) = -3*c(z) + 16*i(z). Let a be o(0). Is 11 a factor of 280/(-16)*a/10?
True
Is 84 a factor of (1*2131*(0 - -2))/(29/29)?
False
Suppose 4126*a - 518196 = 4112*a. Is a a multiple of 93?
True
Suppose 365899 = 115*n - 129*n + 1130663. Does 45 divide n?
False
Let s(d) = 18*d**2 + 21. Let k be s(-4). Let y = k - 157. Is 7 a factor of y?
False
Let l(y) = -7 - 10*y - 65 + 11 + 25 - 75. Is l(-15) a multiple of 3?
True
Suppose 3*j = 3*i + 1092, 0*i - 3*j - 753 = 2*i. Let x = i + 586. Let r = x - 137. Is r a multiple of 10?
True
Suppose -283*q + 30 = -286*q. Let n(b) = b**3 + 13*b**2 + 14*b + 1. Is n(q) a multiple of 7?
True
Let z = -14525 + 9253. Does 67 divide -5 - 13/(52/z)?
False
Suppose 2*r = -36*r - 108*r + 457272. Is r a multiple of 32?
False
Suppose i - 2*l - 94 = 0, 167*i - 162*i - l = 452. Suppose -6*j + 7*j - 3 = 0. Suppose j*h - 87 - 15 = 3*d, -d = 3*h - i. Is 11 a factor of h?
False
Is 39 a factor of (-88)/(-3 + -1)*(305 - 12) - 2?
False
Suppose -5*m + 0*m = -4*j + 194, 0 = 3*j - 2*m - 149. Suppose -3*c = j + 39. Is ((-128)/20)/(3/c) a multiple of 16?
True
Suppose 2*d = 8, -604*d + 9724 = 2*r - 603*d. Does 20 divide r?
True
Suppose -g = 4 + 4. Let p be (0 - (-1)/(-2))*g. Suppose p*k = 118 - 10. Is k a multiple of 10?
False
Suppose 10 = -4*y - 6. Is 2 a factor of (12/24)/(y/(-1248)*2)?
True
Suppose 0 = -4*h + 2*t + 1578, 2*h + h - 1185 = t. Does 12 divide h?
True
Suppose -3*j + 6*j = -12. Let i be ((-3174)/(-24) - (-1)/j) + -1. Suppose 4*d - 2*s = 2*s + 176, -3*d + 2*s + i = 0. Is 4 a factor of d?
False
Let r = -46 + 49. Suppose r*d - y = 3, 0 = 2*d - d - y - 3. Suppose -v + 0*v + 22 = 2*c, v - 3*c - 47 = d. Is v a multiple of 8?
True
Let p(s) = -353*s - 354. Does 28 divide p(-6)?
True
Let c(k) = 23*k**2 - k. Let i be c(-2). Suppose 764 = 13*j - i. Does 11 divide j?
True
Let a(b) = -b**3 - 13*b**2 + b + 36. Let g be a(-13). Let f(j) = 7*j - 68. Does 24 divide f(g)?
False
Let z be 2*(3 + 3/(-6)). Suppose -z*m = -2*m - 96. Is (-1)/(((-28)/m)/7) a multiple of 8?
True
Let c = -105 + 100. Does 26 divide (-12)/20*c*286/3?
True
Suppose 0 = -3*m - 3*x + 11407 + 377, 0 = -2*m + x + 7850. Is m a multiple of 50?
False
Suppose -2*k + 17086 + 3279 = 3*j, 50865 = 5*k - 2*j. Is 118 a factor of k?
False
Suppose -4*i = -2022 - 2114. Does 11 divide i?
True
Suppose -1240 = 3*y - 2146. Let q = y + -248. Is q a multiple of 6?
True
Let k = -3398 + 4165. Does 6 divide k?
False
Let r = 35 - 23. Let f(p) = -1. Let h(o) = -8*o - 38. Let y(w) = r*f(w) + h(w). Does 6 divide y(-12)?
False
Suppose 20219 + 1880 = 128*o - 142765. Does 92 divide o?
True
Let n(t) = 445*t - 7170. Does 190 divide n(86)?
False
Let h(z) be the first derivative of z**3/3 + 3*z**2 - 243*z - 33. Does 8 divide h(-33)?
True
Let b be 281/11 - 6/11. Suppose 6020 = 5*v + 2*o, b*v - 26*v + 1204 = o. Is v a multiple of 52?
False
Suppose -8*q + 141899 = 50691. Does 11 divide q?
False
Is (68/85 + 3/15)/((-4)/(-56588)) a multiple of 18?
False
Let m = -18 - -89. Let a = m - 38. Suppose -5 + a = k. Is 16 a factor of k?
False
Let x(i) = -481*i**3 + 14*i - 31 + 482*i**3 - 3. Is x(3) a multiple of 3?
False
Let m be (-128)/(-9) - 12/54. Let i(q) = -m*q - 8 + 6*q + 11 + 7. Is i(-4) a multiple of 10?
False
Does 10 divide (-30*(6 + -9))/2*42?
True
Suppose -x - 5 = 4*u + 4, -2*x - 4*u - 6 = 0. Suppose -x*d + 4*n + 872 = 0, 582 = 2*d + 2*n - 5*n. Let a = d - 63. Is 25 a factor of a?
True
Suppose -3*s + 15 = m + 5, -4*s = 5*m - 6. Suppose -s*p + 9 = 5*j - 4, -2*p + 3 = -j. Suppose -b + 29 = p*v - 18, 65 = 3*v - 4*b. Is v a multiple of 3?
False
Let c be ((-6)/4)/(6/(-568)). Suppose 14*q + 35*q = -7*q. Suppose -8*x - c + 398 = q. Is 12 a factor of x?
False
Let u(t) = 63*t + 20689. Is u(0) a multiple of 13?
False
Let z(i) = 1587*i - 21. Let r(a) = -2380*a + 32. Let b(l) = 5*r(l) + 8*z(l). Let n be b(3). Does 17 divide 13/(273/n)*12/10?
True
Suppose 34*t - 25*t = 78343 - 6253. Is t a multiple of 69?
False
Suppose 7*w + 3 = 4*w. Let i be (0 + (4 - 0))*w. Does 5 divide ((-2)/i)/(0 + 2/88)?
False
Suppose -2*t = 3*t - 2930 - 10730. Is t a multiple of 6?
False
Let a = 13600 + -6736. Suppose 14*g + a = 25*g. Does 8 divide g?
True
Let u(g) = 163*g - 1293. Is 27 a factor of u(16)?
False
Let k = 75 + -84. Let i be k/(-5)*(-140)/(-42). Is i/(-18) - 79/(-3) a multiple of 2?
True
Let k(s) be the second derivative of s**4/12 + 7*s**3/6 + 9*s**2/2 + 3*s. Let t(i) = -i**2 + 11*i + 47. Let l be t(15). Is 19 a factor of k(l)?
False
Let b(u) = -u**3 - 5*u**2 - 4*u + 4. Let x be b(-4). Let g be ((-8)/6)/1 + 6240/144 + -40. Suppose -315 = -l - 2*l + g*c, l = -x*c + 105. Is 7 a factor of l?
True
Suppose 5*r = -0*r + 750. Let c = r + -80. Let p = -21 + c. Does 9 divide p?
False
Let i = 15002 + -14447. Does 5 divide i?
True
Let k = 29664 - 28608. Does 24 divide k?
True
Let i = 741 - -1348. Suppose -3*f = 4*k - i, 3*f - 2603 = -5*k + 2*f. Does 20 divide k?
True
Is 7 a factor of ((-48)/(-36))/((120/1134)/10)