 a multiple of 18?
False
Let s(h) = 2*h**3 - 101*h**2 - 165*h + 21. Is 65 a factor of s(53)?
False
Suppose -4*n - 128 = -12. Let g = n + 35. Does 2 divide 2/g + 174/18?
True
Let q be 348/(-9)*3/4*-2. Let t = q + -56. Suppose 3*h - 672 = 4*s, 0*h + 434 = 2*h + t*s. Does 28 divide h?
False
Let k(x) = -6*x + 76. Let g be k(-7). Suppose g = 4*r - 218. Is 12 a factor of r?
True
Let y(r) = 2*r**3 - 186*r**2 - 72*r - 204. Is 86 a factor of y(94)?
False
Is (-29630)/(-22) + (-236)/(-1298) a multiple of 198?
False
Let h(j) = 16*j - 18. Suppose 16*d - 312 = 3*d. Suppose 4*c - d = 8. Is 6 a factor of h(c)?
False
Let o(u) = u**2 + 25*u + 136. Let z be o(-8). Suppose 4*w - 3*i - 709 - 87 = z, 5*i = -5*w + 960. Is w a multiple of 23?
False
Let i(c) = 374 - 187 - 159 - 97*c. Does 7 divide i(-1)?
False
Let d(r) = 5*r**2 + 20*r. Let o(s) = -s**2 - 5*s. Let a(b) = 6*d(b) + 25*o(b). Let l be a(4). Is (-2 - 16/10)/((-2)/l) a multiple of 18?
True
Let h(c) = -2*c - 3. Let u be h(-3). Suppose -6 = 3*x, -u*d + 2*x = -3*x - 985. Suppose 5*y + 4*q + 0*q - d = 0, 3*y - 4*q = 227. Does 16 divide y?
False
Suppose 1438 + 2874 = 4*z. Suppose 5*g - 2696 = -4*a, -z = -2*g - 2*a - 0*a. Let m = 812 - g. Does 13 divide m?
False
Let k be (-4)/(-1 + 640/(-316) + 3). Let m = k - 80. Is 3 + m + (-4 - -1) a multiple of 13?
True
Let m = -7783 - -14718. Is 95 a factor of m?
True
Suppose 27*d + 20*d = 18*d + 18299. Is d a multiple of 141?
False
Let s = 102 + -161. Let c = s - -211. Does 7 divide c/10*(-15)/(-6)?
False
Is 12 a factor of 2268/294*(-1708)/(-6)?
True
Let d(c) = 84*c**2 - 6*c + 6. Let h = -88 + 90. Is 55 a factor of d(h)?
True
Let g = 34984 + -20494. Does 105 divide g?
True
Suppose 14*w + 1635 = -3027. Let t = w - -508. Is 7 a factor of t?
True
Let r(w) = 10*w + 86. Let x be r(-16). Let o = x - -110. Is 4 a factor of o?
True
Let y = 42 + -39. Suppose -4*d = -8, y*g + 0 = 5*d - 1. Suppose 29 + 67 = g*r. Is r a multiple of 16?
True
Let o be 2 - (-7 + 8 + -4). Let h be (4 - o)*-131*1. Let m = h - 4. Does 34 divide m?
False
Is 58 a factor of 1035880/285*(6 - 3)?
True
Suppose -2394 = 24*m - 33*m. Suppose 2*d = 5*w + 899, -d + 4*w = -182 - m. Is d a multiple of 27?
False
Let u(r) = -2761*r**3 - 3*r**2 + 2*r + 4. Does 28 divide u(-1)?
False
Does 26 divide -1 - 1/(-3)*(-23 - (-815100)/30)?
True
Let l(p) = -51*p - 15. Let d be (0 - -1) + -5*4/5. Is 6 a factor of l(d)?
True
Suppose 7*v = 2*v - 2*o + 381, 2*v - 156 = -2*o. Let m = -43 + v. Is m a multiple of 2?
True
Suppose k + 1 = 7. Suppose m + k*i - 2*i = 7, -6 = -m - 3*i. Suppose m*o + 0*x - 134 = -4*x, -5*o + 216 = 3*x. Does 14 divide o?
True
Let u = 10664 + 1159. Is 65 a factor of u?
False
Let f be (-4)/(-6)*-102 - -4. Let h = f + 87. Suppose -264 = -h*c + 21*c. Is c a multiple of 22?
True
Suppose c + 6903 = -12*c. Let w = -266 - c. Does 53 divide w?
True
Let w(p) = 5*p**3 - p**2 + 6*p + 27. Is 27 a factor of w(9)?
True
Let j be (1*(-8)/(-14))/((-4)/(-14)). Does 45 divide 26*(j - (-17)/2) + 1?
False
Let m(d) = d**3 + 42*d**2 + 113*d - 151. Let i be m(-39). Let v(j) = 4*j**2 + 3*j. Let r be v(6). Suppose r = i*s - 183. Is 9 a factor of s?
False
Suppose -120*f - 5*i - 115869 = -123*f, 6 = -2*i. Is f a multiple of 106?
False
Does 340 divide (-2)/((-25)/293025*1)?
False
Suppose 0 = -4*t - 3*g + 101, 5*t + 76 = 4*g + 210. Is t a multiple of 13?
True
Suppose -4*n - 3*k = -1, -3*n - 2*n + 5*k + 45 = 0. Suppose -20 = -6*t + n*t. Does 5 divide t?
True
Let d be -13 + 20 + -1 + 1*-1. Let w be 1063/d - (-40)/100. Suppose 3*x = -r + 107, w = -0*r + 2*r + 5*x. Is 15 a factor of r?
False
Let r = -488 + 3463. Does 25 divide r?
True
Let u(m) = m**2 + 50*m - 152. Let b be u(-25). Let d = b + 1095. Does 14 divide d?
False
Let i(s) = -2*s - 12. Let a be i(-6). Suppose -2*p + 70 - 52 = a. Suppose p + 12 = q. Does 4 divide q?
False
Suppose 3*x + 1992 = r - 2413, -4*r + 17592 = -5*x. Does 101 divide r?
False
Suppose 8*q + 62 = 9*q. Suppose 282 = -q*k + 65*k. Is k even?
True
Is 66/((169/(-598))/(-13)) a multiple of 23?
True
Let x(k) = -18*k - 12. Let u be x(-4). Suppose -u = -4*j + 7*j. Is j*((-6)/(-8) - 3/2) a multiple of 9?
False
Let y be (-293)/(-1) - (0 - 12/6). Let b = 389 + y. Is b/8 - 3/(-6) a multiple of 10?
False
Let n be 105/(-28) + (-15)/12 + 1. Let q be (-2)/(-4) + 6/n. Is -10 + 54 + (q - 0) - 1 a multiple of 26?
False
Is 15 a factor of 6/14 - (-99096)/56?
True
Let j = 630 + -625. Suppose 0 = -j*z + 1528 + 2687. Does 21 divide z?
False
Let m(s) = s**2 - 6*s + 9. Let c be m(4). Is 13 a factor of (c - (-319 - -3)) + (-5 - -2)?
False
Let h(y) = y**3 - 20*y**2 - 22*y + 47. Let j be h(21). Suppose j*s = 34*s - 5896. Is s a multiple of 46?
False
Let u(q) = 261*q + 19314. Is u(0) a multiple of 58?
True
Suppose -4*u + 10*u = 12. Suppose 3*n = -u*n + 850. Let t = -25 + n. Is 29 a factor of t?
True
Let x = -53 + 73. Let s = -16 + x. Does 4 divide (1 - 0) + (7 - s)?
True
Suppose -12 - 4 = -4*r. Suppose 937 = 2*x - 3*s, -s - 931 = 14*x - 16*x. Suppose -2*j = 4, -j + 3*j = r*u - x. Is 20 a factor of u?
False
Let n(z) = 2*z**3 - 15*z**2 - 6*z - 15. Let r be n(8). Suppose 5*l + 5*m - 20 = 0, 2*l + 4*m - 15 + r = 0. Is 15 a factor of l + 40 + (3 - -1)?
True
Suppose -21304 = 52*w - 15*w - 735922. Is w a multiple of 37?
True
Let d(k) = -923*k - 9125. Is d(-11) a multiple of 146?
False
Suppose -12*z - 23504 - 8176 = -34*z. Does 8 divide z?
True
Suppose 44*j - 42*j + 4*y - 12612 = 0, 4*y = 5*j - 31586. Is 13 a factor of j?
False
Let i(s) = 37*s - 20. Let z be ((-99)/(-12))/(-1*9/(-24)). Suppose -k + 3*k + 34 = 4*u, 4*u - z = -2*k. Does 14 divide i(u)?
False
Suppose 5*r - 735*g = -733*g + 115769, -23147 = -r - 3*g. Does 137 divide r?
True
Let y(w) = -w**3 - 7*w + 1. Let o be y(3). Let s = 23 + o. Is 3/(-4) - 498/s a multiple of 10?
True
Let m = 37 + -37. Suppose m = -4*t + k - 123, 4*t - 2*k + 143 = 25. Let o = 16 - t. Is o a multiple of 23?
False
Suppose -4 = -5*k + 5*t + 11, -2*t - 21 = -5*k. Let y(j) = j**3 - 7*j**2 + 9*j - 8. Let w be y(k). Is 3 a factor of ((-63)/w - 0) + (-2)/(-13)?
False
Suppose -15715 = -2*h - 5*s, 8*h + 39297 = 13*h + 3*s. Does 20 divide h?
True
Suppose 21*d + 24*d - 14*d - 69750 = 0. Is 9 a factor of d?
True
Let c(v) be the first derivative of -14 + 120*v - 1/2*v**2. Does 24 divide c(0)?
True
Let q(w) = w**3 - 20*w**2 - 11*w + 22. Let i be q(21). Let r = -74 + i. Is 12 a factor of r?
False
Let u(o) = -17*o**2 + 865*o - 18. Is 95 a factor of u(44)?
True
Let r(s) = 2*s**2 + 13*s + 9. Let d be r(-6). Let k be 0 - (-48)/64*(-8)/d. Is 56 a factor of -20*(0 - (-12)/k)?
False
Suppose -49*v = 132*v + 18*v - 3607074. Is 171 a factor of v?
True
Suppose -24*t - 18424 + 73072 = 0. Is t a multiple of 99?
True
Let b be -89 + 93 - (1 + 59). Let y = 495 + b. Does 31 divide y?
False
Let v(l) = 224*l**2 - 24*l - 154. Is 53 a factor of v(-5)?
False
Suppose -52417 - 63962 = -8*t - t. Does 38 divide t?
False
Is 14 a factor of (11 - 423)*(-35)/10?
True
Suppose 0 = -2*n + 1 + 5. Suppose -2*f = -2*g + 74, -4*g + 148 = -2*f - n*f. Suppose r - 29 = g. Is r a multiple of 19?
False
Suppose -14424 + 50824 = 20*j. Does 13 divide j?
True
Let l(k) = 4*k + 77. Let i be l(-18). Suppose i*t = 5*r - 2175, -5*r = t + 3*t - 2220. Does 30 divide r?
False
Let a(m) = 4*m**3 - 4*m**2 - 19*m + 298. Does 26 divide a(14)?
False
Let m(l) = 3*l**2 - 19*l - 49. Let q be ((-22)/4)/((-1)/2). Is 39 a factor of m(q)?
False
Let a be ((-12)/(-8))/(5*(-12)/(-160)). Suppose 9*r + 20 = a*r, -4*r = 2*g - 1192. Suppose 5*q + 4*h - 791 = 0, 0*q = -4*q + 4*h + g. Does 23 divide q?
False
Is 6 a factor of -201*(15 + (-300)/15)?
False
Suppose 5*g = 20, -26947 = -3*y + 15*g - 16*g. Is y a multiple of 147?
False
Let t = 14202 - 11784. Does 3 divide t?
True
Let k(p) = -161*p**2 + 2. Let r be k(-1). Let q = -141 - r. Does 9 divide q?
True
Let i = 4711 - 536. Does 5 divide i?
True
Let y(g) = 2*g**2 + 3*g - 2. Let r be y(3). Suppose 0 = 4*j + 17 - r. Suppose -j*c + 21 = -c. Is c a multiple of 6?
False
Let w(u) be the third derivative of 0 + 0*u**3 + 9*u**2 + 1/120*u**6 - 1/8*u**4 - 1/12*u**5 + 0*u. Is w(7) a multiple of 7?
True
Suppose 10*d + 11*d - 21 = 0. Let j = -31 + 27. Is -25*d*j*2/8 a multiple of 9?
False
Suppose -7*v = -217 + 189. Suppose -4*p + 4*u + 824 = 0, -804 = -4*p + 3*u - v*u. Does 3 