*2 + 35*x - 191. Let n be p(-43). Suppose -9*y + n = -738. Is 99 a factor of y?
True
Let l be 371/9 - (3 + (-175)/63). Let i = 122 + l. Is i a multiple of 23?
False
Let b = 12034 + -7187. Does 55 divide b?
False
Let k = 12679 - 10479. Is k a multiple of 22?
True
Suppose 10*u - 5*u - 60 = 0. Suppose u*v - 904 = -172. Is v a multiple of 17?
False
Let t(r) = -7*r + 9 - 2*r - 7 - 12 + 97*r**2. Is 6 a factor of t(-1)?
True
Let y be -2*(-2 + (-5)/(-10)). Suppose y*k - 10*k = -1771. Is 49 a factor of k?
False
Suppose -3*q + 6*q - 17 = -l, 0 = 2*q + l - 12. Suppose 0 = 6*o + 7 + q. Let n(d) = -12*d - 1. Does 14 divide n(o)?
False
Let z(f) = 7*f - 11. Let c(b) = -7*b + 11. Let i(s) = 6*c(s) + 5*z(s). Let l(w) = 14*w - 21. Let r(d) = -11*i(d) - 6*l(d). Is r(-9) a multiple of 17?
True
Suppose -3*q + 173 = 4*h - 344, 2*q - 2*h = 326. Does 167 divide q?
True
Let w(j) = -j**3 + 21*j**2 + 51*j - 67. Suppose 0 = -10*g - 57 + 287. Is w(g) a multiple of 8?
True
Let k(f) = -f**3 + 7*f**2 - 7*f - 22. Let l be k(5). Let i(d) = -25*d + 83. Is 6 a factor of i(l)?
True
Is -8 + -1 + (4310 - 58) a multiple of 46?
False
Let t(z) = -714*z + 3747. Is 9 a factor of t(-41)?
True
Suppose -4*u + l = -6087, 769*u + 7615 = 774*u + 5*l. Does 9 divide u?
False
Let p = 3327 - 1181. Is 64 a factor of p?
False
Suppose -39 + 51 = 2*k. Let g be -20426*(-1)/k + (-6)/(-9). Suppose 11*z = g - 1425. Is z a multiple of 30?
True
Let d = -141 + 10. Let a = d - -185. Does 27 divide a?
True
Let i be ((-249)/4)/(135/(-2880)). Is 8 a factor of (-1)/((-2660)/i + 2)?
False
Let j = 263 + -263. Suppose j = -5*v - 2*c + 5639, 0 = -3*v + 7*v - c - 4519. Does 73 divide v?
False
Let q(k) = 182*k**3 + 9*k**2 + 21*k + 6. Is 16 a factor of q(6)?
False
Let q(u) = -4*u**3 - 11*u**2 - 7*u - 11. Let r = -234 + 229. Does 15 divide q(r)?
False
Suppose -4*p = 2 - 10. Suppose 7*v = p*h + 6*v - 220, -544 = -5*h + 4*v. Does 4 divide h?
True
Suppose p - 3*k + 1 = 0, 6*p - p - 5 = 5*k. Let f = -1036 + 1038. Suppose -2*q + f + 40 = p*g, g - 5*q = 3. Does 18 divide g?
True
Let l(d) = 11*d**2 - 59*d + 26. Let a be l(9). Suppose n = -5*t + 1199, -4*t = -4*n - 578 - a. Does 6 divide t?
True
Suppose 8928 = 3*r + 3*v, 4*r - 39*v + 34*v - 11931 = 0. Does 4 divide r?
False
Is (-2340)/((0 + 1)/(-3 - 2)) a multiple of 52?
True
Suppose -4*s = -4*k + 3*k + 175, -2*k + s + 315 = 0. Let w = 53 + k. Is 26 a factor of w?
True
Suppose x + 46 = -5*t, 5*t + 143 = -5*x + 9*t. Let f = x - -255. Does 21 divide f?
False
Let l be (3586/(-44))/(2/(-8)). Let k = l + -96. Is k a multiple of 23?
True
Let o be 18/5*430/3. Let v(s) = -s**2 - 9*s + 49. Let m be v(-12). Suppose -o = m*z - 1556. Is z a multiple of 6?
False
Let b = 189 + -184. Suppose -v = b*u - 563, 0*u + 2*u - 236 = 5*v. Does 6 divide u?
False
Suppose 33836 = 13*h + 24*h - 103804. Is h a multiple of 24?
True
Suppose -476229 + 3913509 = 124*a. Does 30 divide a?
True
Suppose 31*w - 403500 = 6*w. Does 60 divide w?
True
Is 73/657 + (-3616)/(-18) a multiple of 2?
False
Suppose -51*n = -71*n - 1140. Is 27 a factor of 36/(-8)*(-3 + n)?
True
Suppose 42 - 146 = 2*h - 3*s, -5*s - 118 = 3*h. Does 30 divide (-24321)/(-27) + -1 - h/207?
True
Suppose 0 = -4*g - 3*b + 44691, g + 395*b = 397*b + 11170. Does 28 divide g?
True
Let o = 18 + -41. Let g = o + 25. Suppose g*d - 112 = 154. Is 28 a factor of d?
False
Let b = 11927 - 9215. Is b a multiple of 24?
True
Let f(c) = 57*c + 69. Let y be f(11). Suppose 8*m - y = 528. Does 51 divide m?
True
Let n(c) = 12*c**3 - 5*c**2 - 10*c + 21. Is n(7) a multiple of 13?
True
Suppose -2350070 - 2029354 = -147*f. Does 14 divide f?
True
Let t(s) = 3*s**3 - 51*s**2 - 122*s - 32. Is t(23) a multiple of 128?
False
Let k(g) = -11*g - 13. Suppose 0 = -2*w - 5*f - 115, -w - 8 = -f + 32. Let o = 37 + w. Is k(o) a multiple of 25?
True
Let c be 30/25 - (-36)/(-30). Suppose c = -f - 5*y + 212 + 168, 5*f = -y + 1948. Does 6 divide f?
True
Let p = 176 - 171. Suppose 2*g = -z + 113, 5*z = p*g - 374 + 129. Is g a multiple of 3?
True
Let u = -147367 - -210214. Does 20 divide u?
False
Suppose 5*h = -3*p + 7*p - 65, -3*p + 45 = -3*h. Suppose -p*m = -452 + 12. Is 5 a factor of m?
False
Suppose 4*d = 2*o + 20768, -166*d = -169*d - o + 15591. Is 59 a factor of d?
False
Let a = 474 + 5756. Is a a multiple of 89?
True
Let j(h) = 127*h + 102. Let o be j(8). Suppose -6457 - o = -25*m. Is 71 a factor of m?
False
Suppose -59454*o - 117046 = -59456*o. Is 19 a factor of o?
False
Let g(y) = -y**3 + 21*y**2 + 24*y - 42. Let o be g(22). Let q(h) = 88*h**2 + 3*h + 46*h**o - 2 - 80*h**2 + 59*h**2. Is q(1) a multiple of 38?
True
Let u(a) = 10*a**2 - 26*a + 31. Let m be u(12). Suppose -4*j + m - 3583 = -5*b, 485 = b - j. Is 44 a factor of b?
True
Is 120 a factor of ((-594076)/(-5) + 7/(-35))*(-28)/(-84)?
False
Let w = 72596 - 46290. Is 14 a factor of w?
True
Let i(k) be the second derivative of k**5/20 - 5*k**4/2 - k**3/3 + 62*k**2 + 22*k. Is 32 a factor of i(30)?
True
Suppose -1650*s = -1654*s - 3*b + 80372, s - 4*b = 20074. Is s a multiple of 10?
True
Suppose 0 = 3*o - 5*v + 1, -3*o - 13 = -5*v + 3*v. Let a = o - -11. Suppose 0 = 6*n - 2*n - 5*m - 228, -a*m = 4*n - 264. Does 31 divide n?
True
Let b(u) = 50 + 0*u - 2*u - 52. Let i be b(-7). Does 14 divide ((-21)/i)/(1/(-72))?
True
Let g = 14889 - -2501. Does 154 divide g?
False
Let t(v) = 3*v**3 + 2*v**2 + 7. Let f be t(-3). Let k = -64 - f. Is k/6*3*-2*1 a multiple of 2?
True
Suppose 49*q + 20856 = 21*q + 30*q. Is q a multiple of 33?
True
Suppose 55*w + 2132 = 32162. Is w a multiple of 13?
True
Let i = -190 + 193. Let q(b) = 6*b**3 + b**2 - 6. Does 11 divide q(i)?
True
Suppose t - 7 + 5 = 0. Suppose -2273 + 179 = -t*v. Is 6 a factor of 2 + (v/12 - 3/(-4))?
True
Suppose -12*b + 8*b = -12. Let d(j) = j**b - 9 + 8 + j + 3*j**2 + 6*j**2. Is 11 a factor of d(-8)?
True
Suppose -4*r = -34*y + 41*y - 70158, 4*y - 87669 = -5*r. Does 199 divide r?
False
Let m be (-9)/(162/(-4)) + 569/(-9). Let g = m + 75. Suppose 432 = 16*x - g*x. Does 18 divide x?
True
Let l be 6 + (64/(-34) - (-2)/(-17)). Let k = 26 + l. Suppose -23 = -4*j - 5*u + 1, 5*j - 2*u - k = 0. Is j a multiple of 2?
True
Suppose 3*t = -t - 12, 2*t = 5*a - 266. Let o be 28 - ((-41)/(-13) + (-8)/a). Suppose 0 = 4*k - 9*k + o. Is 3 a factor of k?
False
Let v = -37 + 39. Suppose -2 = -v*y + 2. Let z = 86 - y. Does 14 divide z?
True
Let w(g) = 517*g**2 + 71*g + 216. Is w(-3) a multiple of 16?
True
Let z = 56 - 51. Is (-5 + 21/z)/((-2)/1295) a multiple of 16?
False
Let x(p) = -33*p + 16. Suppose -2*f - 3 - 5 = 0. Let m be x(f). Is 20 a factor of (m/(-3) + 1)*(-30 + 27)?
False
Suppose -4*w - 2*w = -642. Let x = w + -71. Is x a multiple of 9?
True
Is 97940/10 + (3/1 - 12) a multiple of 100?
False
Suppose 3*t - 28 = -0*s - 2*s, -10 = -2*t + 3*s. Suppose 3*v + 323 = 4*v. Suppose -t*w = -835 + v. Is w a multiple of 8?
True
Let b(s) = -s**2 - 5*s - 2. Let n be b(-6). Let d be ((-183)/2)/(n/(-32)). Is 6/24 + d/(-8) a multiple of 23?
True
Let u(r) = 56*r**3 + 3*r**2 - 2*r + 7. Let w be u(-5). Let y = -11665 + 11671. Is w/(-33) + 4/y a multiple of 20?
False
Suppose 0 = 16*q - 6698 - 12982. Does 15 divide q?
True
Suppose -2*h + 0*h + 2 = 0, -5*u + 3*h + 12092 = 0. Let f be 6/24 + u/4. Is 10 a factor of f/20 - 1/4?
True
Suppose -6*r + 29252 + 22270 = 0. Is 18 a factor of r?
False
Let o = -3389 + 3738. Is 2 a factor of o?
False
Suppose 5*z - 7 - 13 = 0, 0 = h + 2*z - 13. Suppose 5*c = h*w - 295, -5*w + 3*c = -243 - 54. Is w a multiple of 10?
True
Let a(j) = -3*j - 78. Let n be 12/(10/6 + -4 + 2). Is a(n) a multiple of 3?
True
Let q = -1883 + 9449. Is q a multiple of 78?
True
Let v = -330 - -230. Let x = 130 + v. Is (-7000)/16*3/(x/(-8)) a multiple of 14?
True
Let j(l) = -27*l - 11*l - 4*l + 9. Let x be j(4). Let h = 255 + x. Is 16 a factor of h?
True
Suppose -5*d = 2*k + k + 7, 4*d = -k. Does 6 divide (-4)/(-4)*k + 193 + 2?
False
Suppose 26 = -3*w - m, -m = 5*w + m + 42. Let g be (0/2 + w)/((-3)/18). Let v = g + -8. Is v a multiple of 5?
False
Let o be (4 + 0)*23835/84. Suppose -10*s - 155 = -o. Is 14 a factor of s?
True
Let l be 2205 - (-4 + (-3 - (-6 - -2))). Suppose 0 = 3*u - 3*j - l, 5*j = -3*u + 1635 + 613. Suppose u = 2*s + 53. Does 41 divide s?
False
Suppose 0*f = f + 26. Let i = 30 + f. Suppose i*q - 32