6 = 2*o + 5*z. Let d = -381 + o. Is d a multiple of 17?
False
Suppose -2*i + 3*i + 9963 = 2*i. Is i a multiple of 81?
True
Let h be 0/((-1)/(4/8)). Suppose h = 2*s + 5*o - 360, -4*o + 902 - 36 = 5*s. Does 17 divide s?
True
Let n = -3557 + 9153. Does 14 divide n?
False
Let i = -1041 - -1881. Suppose 25*t - 11*t = i. Is 12 a factor of t?
True
Let m = -249 + 141. Let t = 635 + m. Is 17 a factor of t?
True
Suppose -5*k - m = 2*m - 1, 2*k - 4*m = -10. Let a be k - -2*(-15)/(-10). Suppose 5*z - 3*s - 399 = 0, -a*z + 2*s + 158 = -0*z. Is z a multiple of 11?
False
Let p(n) = 71*n - 342. Let s be p(5). Let m = 73 - 3. Let a = m + s. Is 36 a factor of a?
False
Suppose -4*r - 2*p + 56642 = 0, 120*r + 28356 = 122*r - 4*p. Is r a multiple of 21?
False
Let y(l) = l**3 + 5*l**2 - 6*l + 5. Let x be y(-6). Suppose -a + 8 = -0*a. Suppose 2*u = a, -x*s + 101 = -0*s + 4*u. Is s a multiple of 8?
False
Is 41 a factor of 44/330 + (-24114)/(-45)?
False
Suppose 3*g - w = 25221, 2*g - 11307 = -3*w + 5529. Is 18 a factor of g?
False
Let x(t) = 9*t + 120. Let n be x(0). Suppose -3*h - 4*b = -n, 4*b = -4*h + 5*h - 40. Does 2 divide h?
True
Let d(h) = 482*h - 2616. Is d(12) a multiple of 36?
True
Let y be 3 - 204*(-8)/12. Let f = y - 57. Is 3 a factor of f?
False
Suppose 42 = 2*n + 4*n. Let g be 1/1*0/n + 8. Suppose 5*z - 100 = 5*a, a = -z + 12 + g. Is 2 a factor of z?
True
Let w = 7193 + -4104. Suppose 10879 = 19*r + w. Does 12 divide r?
False
Let z = -31 + 119. Let r = -126 + z. Is 14 a factor of (5 - r/4) + 2/(-4)?
True
Let x(p) = 685*p - 364. Is x(4) a multiple of 11?
True
Suppose -2*k = -3*s + 3*k - 40, -4*s = k + 61. Let o be (2 - 3)/((-362)/90 + -1 + 5). Is 27/o - 3*417/s a multiple of 21?
True
Let j be 4/(-12) - (-20)/6. Let w(r) = j*r**2 + 4*r**2 - 5*r**2 - 3*r + 5*r. Does 10 divide w(-6)?
True
Let t(d) = -4*d + 14. Let r be t(-5). Suppose 3*q - 6 = 0, 5*q = 3*g + r + 105. Let m = g + 53. Does 10 divide m?
True
Suppose 27*w - 132 - 3 = 0. Suppose -1089 = -w*q + 2*d, 5*q + 10*d = 5*d + 1075. Is q a multiple of 7?
True
Let h = 276 + 984. Is h a multiple of 25?
False
Let r(a) = -51*a + 31*a - a**2 - 15 - 24. Let f be r(-18). Is 3 a factor of (-2)/(f - -5)*(-52)/4?
False
Suppose -2*x + 0*x = 4*h - 1728, 5*x = -2*h + 4296. Let f = x + -212. Does 19 divide f?
True
Let j = -7901 + 8204. Is 16 a factor of j?
False
Suppose 1472331 - 353787 = 112*p. Is p a multiple of 17?
False
Suppose l + 14*d - 18*d = 10137, -10129 = -l + 3*d. Is 70 a factor of l?
False
Let z = -9886 + 15668. Is z a multiple of 49?
True
Let t(s) = -118*s + 98. Let u be t(-4). Let p = 1 + -1. Suppose 439 = 3*y - 5*r, p = -4*y - 2*r + r + u. Is y a multiple of 13?
True
Let t = -510 + 521. Let z(y) = -3*y + 77. Does 19 divide z(t)?
False
Let m(b) = 7*b**2 + 6*b - 10. Let y be m(-7). Suppose -k + 70 = -4*d + 264, -2*k + 5*d = 379. Let s = y + k. Is s a multiple of 14?
False
Let n be ((-9)/(-4))/((27/(-684))/3). Let q = -141 - n. Suppose 37*o = q*o + 1470. Is 14 a factor of o?
True
Let c(d) = 146*d**2 + 92*d + 692. Is c(-8) a multiple of 124?
True
Let p(d) = -d**3 - 4*d**2 + 14*d + 9. Let m be p(-6). Let r(j) = -43*j - 2. Let l be r(m). Suppose 5*y - 354 - l = -2*g, 4*g = 4*y - 368. Does 14 divide y?
False
Let j be (1/(-3))/(3 + 50/(-15)). Let f be 11/(-9)*j + 4/18. Does 44 divide 42 + f + (4 + 5)/3?
True
Let x(r) = 5*r**2 + 59*r - 208. Is x(16) a multiple of 32?
True
Let p be (12/8)/((-3)/13)*14. Let m = p - -92. Let r(b) = 230*b - 2. Does 57 divide r(m)?
True
Suppose -37718*y + 37700*y = -7056. Is 196 a factor of y?
True
Let s(c) = 90*c - 1525. Is 20 a factor of s(93)?
False
Suppose -2*k = -5*w - 3834 + 783, -3*k + 2*w + 4571 = 0. Suppose 0 = -12*a + 8*a - x + k, 2*x = 4*a - 1526. Is 65 a factor of a?
False
Suppose -40*n + 336 + 544 = 0. Is 4 a factor of n?
False
Let a = 18 + -15. Suppose 0 = 5*v - 35*x + 32*x - 6729, x + a = 0. Does 48 divide v?
True
Suppose -6738 = -79*j + 2979. Does 12 divide j?
False
Let z = -49013 + 84269. Does 29 divide z?
False
Let w be (15/(-6) - -1)*12/9. Let g be 2/8 + w + 7/4. Suppose g = -0*f + 3*f, -4*z + 4*f = -232. Is 29 a factor of z?
True
Suppose 5*o - o - 4*n - 16340 = 0, 5*n - 4085 = -o. Suppose 5*f - 3*z - o = 0, -4*f = -5*z - 4534 + 1279. Does 10 divide f?
True
Let x(b) = -b**3 + 11*b**2 - 9*b - 6. Let k(t) = 2*t**2 + t. Let p be k(2). Let a be x(p). Suppose -a*l + 98 = 5*r, -r + 3*l + l + 10 = 0. Is 8 a factor of r?
False
Does 22 divide 2553/(-92) + 29 - (-22470)/8?
False
Let h = 20694 + -9598. Does 9 divide h?
False
Let b = -57 + 44. Does 17 divide b/78 + -1021*(-2)/12?
True
Let n = 574 + -387. Let j = -76 + n. Does 2 divide j?
False
Is (25/(-5))/(-15)*(6431 + 4) even?
False
Let a = 31223 + -14233. Does 13 divide a?
False
Suppose 3*j + 2*b - 48100 = 0, 7*j + 4*b = 5*b + 112205. Does 70 divide j?
True
Let m be (-4)/12*-3 + 1. Is 33 a factor of ((-9)/m + 3)/(3/(-858))?
True
Let l(d) = 37*d - 189*d + 0 - 48*d + 4. Let t be l(-2). Suppose h = -4*m + 121, -4*m - t = -h - 3*h. Is 21 a factor of h?
True
Suppose 0 = -3*y - 12*w + 8*w + 11574, 7715 = 2*y + 3*w. Suppose -29910 = -32*u - y. Is u a multiple of 22?
True
Let b(v) = 67*v**2 - 2*v - 9. Let g be b(3). Is 4 a factor of 6/(-9)*(g/8)/(-7)?
False
Let r(w) = w + 11. Let n be r(-8). Suppose 0 = n*u + 5*g - 826, g + 340 = 2*u - 228. Is u a multiple of 52?
False
Let a be 46/(-8) - (8 + 124/(-16)). Is (-868)/a - (-10)/(-15) a multiple of 9?
True
Let l = -125 + 166. Let k = l + 237. Is 11 a factor of k?
False
Suppose -2*g + 2*p = g - 53, -3*g + 4*p = -55. Let s(h) = h**3 - 16*h**2 - 2*h + 10. Does 70 divide s(g)?
False
Let i(y) be the first derivative of 161*y**4/4 + y**3/3 + y**2 - 2*y - 13. Let a be i(1). Suppose -7*d + a = -853. Does 29 divide d?
True
Suppose 15*i - 8*i = 10402. Suppose 2*n + 3*b = 738, -5*n + n - b + i = 0. Does 15 divide n?
False
Suppose 239 = -4*g - y, -4*y + 8 = -g - 39. Let x = g + 635. Suppose 21*t - x = 17*t. Is t a multiple of 12?
True
Let o = -99 - -97. Let s be o + 3/1 + 2 + 16. Let w = 107 + s. Is w a multiple of 18?
True
Let c = 228 - 257. Is 4 a factor of 3/8 + c/(-8)?
True
Let x be (2 - 4)*-1*-10. Let p = -4972 - -3340. Is (p/(-85))/((-3)/x) a multiple of 14?
False
Let g = 24 + -20. Let h be (-1)/(g*(-2)/(-16)). Let x(c) = 16*c**2 + 2*c. Does 15 divide x(h)?
True
Let c = -27 + 16. Let d(a) = a**2 + 10*a + 11. Let y be d(c). Suppose y = 5*j - 323. Does 16 divide j?
False
Let w(r) = r**3 - 30*r**2 - 25*r + 5. Let g be w(31). Let f be 2 - (-1 - -3 - 0). Suppose -y - y = -3*x - 79, f = -5*y + x + g. Does 8 divide y?
False
Let v(a) = -5*a - 2. Let u(q) = 33*q + 55*q**2 + 0 + 10 + 3 - 53*q**2. Let m be u(-16). Is v(m) a multiple of 6?
False
Is (-7 - 5 - 8198)/(-4 - -3) a multiple of 59?
False
Let g be 2070/8 - -1 - 63/(-252). Let k = g + 36. Is k a multiple of 36?
False
Suppose 16806 = -21*x + 23*x - 4*w, -4*w = -x + 8411. Does 73 divide x?
True
Let a(n) = -n**2 + 2*n + 54. Let s be a(-6). Suppose s*d = 551 + 709. Does 21 divide d?
True
Let m be (-24)/16*(3 - 1). Let s be 7/14 + m/6. Suppose 11*w - 7*w - y - 149 = 0, s = -w - 2*y + 44. Is 4 a factor of w?
False
Let x = 9721 + -7580. Is x a multiple of 3?
False
Let l(s) = -2*s**2 + 18*s + 2. Let p be l(-6). Let r = -70 - p. Is 27 a factor of r?
True
Is (-2 - -1)/(193293/12081 + -16) a multiple of 30?
False
Let o(k) = 5*k**3 + 26*k**2 - 18*k - 43. Is 2 a factor of o(-5)?
True
Suppose 84*l + 38*l + 38058 - 943542 = 0. Does 59 divide l?
False
Let k(j) = 11*j**3 - 104*j**2 - 230*j + 45. Does 9 divide k(19)?
False
Let d = 277 + -236. Is 4 a factor of d + 3 + (-4)/2 + 2?
True
Suppose -3412 = -4*s - 4*j, 2*s - 21*j = -18*j + 1691. Suppose 1698 = 4*y + 2*h, 0*h + s = 2*y + 2*h. Does 31 divide y?
False
Let l(w) = 2*w + 1. Let z be l(-3). Let s(t) be the second derivative of t**5/20 + t**4/3 - t**3 + 3*t**2 - 8*t + 2. Is s(z) a multiple of 4?
False
Suppose -730*x + 4*p = -726*x - 94020, -4*p + 12 = 0. Is 6 a factor of x?
True
Let t(m) = m**3 + 60*m**2 + 16*m + 4356. Does 12 divide t(-54)?
True
Let v = 25872 + -17020. Does 9 divide v?
False
Let c(w) = 2103*w**2 + 68*w - 27. Does 12 divide c(-3)?
True
Let r(s) = -4*s**2 + 35*s + 18. Let w be r(9). Suppose -g - 2304 = -w*g. Does 18 divide g?
True
Suppose 16 = 4*m, -30*m + 28*m - 61284 = -7*i. Does 44 divide i?