es 16 divide s?
True
Suppose -3*w - 15 = -4*s + 4, 4*s = -w - 1. Let p(y) = -3*y**3 + 9*y + 8. Let j be p(w). Suppose -2*a = 5*f - j, -2*f - 3*a - 71 = -3*f. Is f a multiple of 5?
False
Let g(d) = 7*d - 58. Let x be g(9). Suppose -x*l + 452 = -4*l. Is 28 a factor of l?
False
Let h(x) = 20*x - 4. Let z be h(5). Suppose 158 = 5*v + 4*q - z, 0 = -4*v - 3*q + 204. Is 18 a factor of v?
True
Let k(b) = -4*b**2 - b - 4. Let f(t) = -3*t**2 - t - 3. Let g(w) = -3*f(w) + 2*k(w). Let m be g(3). Let h(c) = -c**2 + 15*c - 5. Is 4 a factor of h(m)?
False
Suppose -5*c - 1717 + 10462 = 0. Let z = c + -689. Is z a multiple of 40?
False
Let g = 6724 - 3165. Suppose 9*u + i + 2850 = 13*u, -5*u + 3*i = -g. Is 31 a factor of u?
True
Let g(t) = -78*t - 31. Suppose -5*i - a + 45 - 52 = 0, -4*i - 5*a = -7. Is 3 a factor of g(i)?
False
Let h(a) be the third derivative of -47*a**7/5040 + a**6/360 - 5*a**5/12 + 12*a**2. Let t(c) be the third derivative of h(c). Is 16 a factor of t(-1)?
False
Let h(y) = 2*y**3 - y**2 - 5*y + 926. Let c be h(0). Let p = c - 585. Does 13 divide p?
False
Let n(z) = -z**3 - 11*z**2 + z + 14. Let s be n(-9). Let j = -133 - s. Does 4 divide j?
True
Suppose 0 = -3*l + 2*z + 35, -4*l - 4*z + 18 = -22. Let n(w) = -w**2 + 10*w + 5. Let s be n(l). Is 41 a factor of (1 - (-14)/s)*(-39 - 84)?
True
Suppose -432*c = -234*c - 3877632. Is c a multiple of 136?
True
Let u = -206 - -210. Suppose 2140 + 125 = 3*n - 4*t, -u*t + 1490 = 2*n. Is 24 a factor of n?
False
Let x = 27286 - 27406. Suppose 20 = -l + 3*l. Is (x/(-9))/(l/165) a multiple of 10?
True
Suppose -456 = j + 3*a, 5*j - 2*a - 150 + 2515 = 0. Let h = 777 + j. Suppose -76*v = -79*v + h. Is v a multiple of 15?
False
Suppose 5*x - 3*o - 6741 = 0, 8 + 7 = 5*o. Is x a multiple of 4?
False
Let d(v) = -2*v + 24. Suppose -x + 4*j + 0 = -2, j - 2 = 0. Let w be d(x). Suppose -2*k + 78 = w*u, -5*k = -0*k + 2*u - 235. Is k a multiple of 49?
True
Suppose -11*f + 275 = -649. Suppose 6*m + 8 = 10*m. Suppose v - h = f, -5*v = -0*h + m*h - 399. Is 27 a factor of v?
True
Let y(j) = -2*j**2 + 17*j - 17. Suppose -26*q = -21*q - 100. Suppose 6*z = -q + 56. Is 13 a factor of y(z)?
True
Suppose 55 = -4*q + 151. Suppose -7*t = -t - q. Suppose 0*j + n - 101 = -2*j, -t*n = -12. Is j a multiple of 7?
True
Suppose 129544 = 34*i + 31216. Is 11 a factor of i?
False
Is 19 a factor of (-118 + (1 - 1)/(-8))*-5?
False
Let c(w) = -w + 2. Let s be c(2). Suppose -4*m + m - 2*m = s. Suppose m = 16*p - 219 - 1077. Is 27 a factor of p?
True
Let q(o) = 3*o**2 + 7*o + 5. Let f = -5 + 0. Let h be q(f). Let b = h - 32. Is 9 a factor of b?
False
Suppose 8*p = -5*d + 70003, 0 = -p - 3*d + 5600 + 3167. Is 77 a factor of p?
False
Is (-3576118)/(-819) + 28/18 a multiple of 6?
True
Let t(x) = x**3 - 20*x**2 - 11*x + 46. Let p be t(22). Suppose -m - 3*m - 1060 = i, 3*m - 5*i + p = 0. Let f = m + 390. Does 18 divide f?
True
Let m(q) = -19*q**2 - 41*q - 11. Let y be m(-6). Let k = y - -607. Does 22 divide k?
False
Let h(o) = 3*o**2 + o. Let i be h(-1). Is 3906/155*5/i a multiple of 3?
True
Suppose -175072 = 8794*g - 8810*g. Is g a multiple of 10?
False
Let u be ((-47)/(-5) - -5)/(3/(-620)). Is (6/(-8))/(-6 - 17848/u) a multiple of 31?
True
Let r(p) = p**3 - 2*p**2 + 100*p - 984. Does 16 divide r(26)?
True
Suppose 0 = -4*a - 2*m + 11080, 120*a + 11104 = 124*a - 4*m. Is 132 a factor of a?
True
Suppose 0 = -7*d + 6751 + 53369 + 13940. Is 20 a factor of d?
True
Let k be (4 + 27/(-9))*3. Suppose k*i = 206 + 178. Is i a multiple of 64?
True
Suppose 0*x = -3*x. Let y(h) = -44*h - 494. Let u be y(-16). Suppose -10*n + u = -x*n. Is n a multiple of 21?
True
Let x(z) = -1 - 23*z**3 + 7*z**3 - 3*z + 0*z. Suppose -5*n - 2*q + 4 = -4*n, -4*n - 14 = -2*q. Is 20 a factor of x(n)?
False
Let i(k) = -2*k**2 + 8*k + 5. Let j be i(4). Suppose j*u - 832 = 2*t, -2*t = -3*u + 3*t + 484. Let l = -64 + u. Is 15 a factor of l?
False
Suppose -27*i = 1185 + 570. Does 14 divide (-416)/(-10) - 26/i?
True
Suppose -d - 2*h + 729 = -3*h, 4 = 4*h. Let z = 435 - d. Let o = -159 - z. Is o a multiple of 23?
False
Let c be (-2*1)/((11/(-94))/11). Suppose 4*x - 4*n - c = 0, -5*n + 15 = -10. Is 4 a factor of x?
True
Does 59 divide 1/(-11) + 277146/11?
False
Let h be (618/(-6)*2)/(-1). Suppose 14 - h = -12*w. Is w a multiple of 4?
True
Suppose -3*s = y - 20, 5*s = 3*s - 5*y + 35. Let j be -12 - s/10*2. Does 13 divide 6/(-10)*585/j?
False
Let t(f) be the first derivative of -f**2 + 2*f + 2. Let x be t(1). Let r = x + 13. Is r a multiple of 13?
True
Suppose -5*s + 153 = 3*q, -q + s - 153 = -4*q. Let g = q + -93. Let a = -17 - g. Does 4 divide a?
False
Suppose -4*l + 10*l = -6. Let v be (-9)/(-3)*l/(-1). Suppose 0*q + 33 = v*q. Does 11 divide q?
True
Suppose -2115 = -67*a + 22*a. Is 18 a factor of a?
False
Let k(s) = -2*s**3 + 75*s**2 - 322*s + 4. Is k(30) a multiple of 30?
False
Let a = 23 - 24. Let m(q) be the third derivative of q**5/10 - q**4/24 - q**3/3 - 7*q**2. Is 2 a factor of m(a)?
False
Suppose 6*p + 376 = -122. Let w = -244 + 426. Let g = p + w. Is 9 a factor of g?
True
Let b = 19028 + -12415. Does 94 divide b?
False
Let j(t) = t**3 - 20*t**2 + 18*t + 19. Let d be j(19). Does 12 divide (-2 - 0)*(d + (-620 - 4))?
True
Suppose -1141 = -5*r - 266. Suppose -29 = 3*k + 5*b - 207, 3*b - 54 = -k. Let h = r - k. Does 29 divide h?
False
Let p(u) = -2 + 0*u - 7*u + 4 - 7*u. Let b be p(2). Let j = b - -52. Is j a multiple of 13?
True
Suppose 3*n = 1172 + 1348. Let w = 3232 - 3225. Suppose 3*x + w*x = n. Is 12 a factor of x?
True
Let o = -1 - -1. Let s(y) be the second derivative of -y**5/20 - y**4/12 + y**3/3 + 63*y**2/2 + 1134*y. Is s(o) a multiple of 9?
True
Suppose -1816 = 5*o - s + 932, o - s + 552 = 0. Let p = 926 + o. Is p a multiple of 63?
False
Let q = -41 + -162. Is 14 a factor of 66*(q/(-21) - 5)?
True
Let k = 855 + -180. Is 9 a factor of (8/6)/((-10)/k*-5)?
True
Let d(v) = 43*v**2 + 41*v - 848. Is 148 a factor of d(19)?
False
Is 109*((77 - -30) + (0 + 8 - 2)) a multiple of 103?
False
Suppose -4*j + 2*d = -17880, -26*j = -27*j - 2*d + 4460. Is 4 a factor of j?
True
Let h(n) = 268*n - 1368. Is h(23) a multiple of 10?
False
Let h = 7586 + -7518. Is h a multiple of 17?
True
Let c(g) = 224*g**2 + 34*g + 161. Is 3 a factor of c(-7)?
True
Let p(l) = -l**3 + 120*l**2 - 1011*l + 70. Does 5 divide p(110)?
True
Let s = 31877 - -1352. Does 15 divide s?
False
Suppose 4*q + 3*r - 2539 = 0, r + 2123 = 4*q - 428. Let j = -415 + q. Is j a multiple of 17?
False
Let f(m) = 3*m + 66. Let d be f(-21). Suppose -d*w + 3 = 0, -6*c - 5*w = -4*c - 15. Is 5 a factor of c?
True
Let l = 15 - -42. Let b = 12 + 18. Let v = l - b. Is v a multiple of 27?
True
Suppose -2*l + 54 = -5*l. Let y(v) = v**2 + 6*v. Is y(l) a multiple of 31?
False
Let o = 320 + -181. Suppose 3*j - 4*j + 69 = -2*p, -3*p = -2*j + o. Is 4 a factor of j?
False
Suppose 3*n + 4*t = 38604, -75*n + 4*t = -71*n - 51444. Is n a multiple of 10?
False
Suppose -93 = -4*r - 77. Suppose -4*h - r*c + 764 = 0, 85 = h + 4*c - 97. Is 8 a factor of h?
False
Suppose -308 = 4*m - 332. Suppose 4*k - 3*v + 166 = m*k, 2*v + 316 = 4*k. Is k a multiple of 8?
True
Let c = -1928 - -1105. Let m = c + 1374. Is 25 a factor of m?
False
Suppose 2*q + 63*u = 64*u + 51718, 4*u = 6*q - 155148. Is 15 a factor of q?
False
Suppose -1645 - 67864 = -11*v. Is v a multiple of 8?
False
Let u(m) = m + 26. Let k be u(-20). Let y(l) be the first derivative of 2*l**2 + 24*l + 3. Is y(k) a multiple of 16?
True
Let p(q) = -30*q + 181. Let x(j) = 58*j - 362. Let y(z) = 7*p(z) + 4*x(z). Is 3 a factor of y(9)?
False
Suppose 0 = 2*o - z - 5, 10*z - 6*z - 24 = -3*o. Suppose -5*v - b = -2*v - 348, o*v - 3*b = 464. Does 7 divide v?
False
Let u be 6 - ((-20)/(-4) + -3). Let y = -206 - -318. Suppose -4*k + t = -3*t - y, u*k - 132 = -t. Does 16 divide k?
True
Suppose -54*h = -221175 - 270225. Is 163 a factor of h?
False
Let w = -252 - -254. Does 31 divide 18*(5 + (w - 20/(-6)))?
True
Suppose 3*d - 4*d + 3 = 0. Suppose -5*w = -r + 105, -d*w + 5*r - 78 = 7. Let s(j) = -j**2 - 22*j - 18. Is 11 a factor of s(w)?
True
Let c(r) = 1801*r + 2828. Is c(4) a multiple of 76?
True
Let r = 78 + -74. Suppose 4*s = -r*a + 272, -5*a = -5*s - 99 - 211. Is 13 a factor of a?
True
Let m(r) = -753*r - 1477. Is 61 a 