s) = 42*s + 240. Let d be n(-24). Is d/72*(-30)/8 a multiple of 5?
True
Let t(g) = g**3 - 18*g**2 + 31*g + 23. Let j be t(16). Let b(m) = 9*m - 18. Does 8 divide b(j)?
False
Let m = -85 + 100. Suppose 5*c = m*c - 240. Is 8 a factor of c?
True
Let d(f) = -10*f - 12. Let m be d(-2). Suppose m*w = -19*w + 2835. Does 2 divide w?
False
Suppose -4*b = 2*i + 275 + 1, 0 = 4*i - 2*b + 542. Let v = -88 - i. Suppose 0 = 15*n - 12*n - v. Is n a multiple of 3?
False
Suppose -2*q + 8796 + 5904 = 0. Is 30 a factor of q?
True
Let t be (-4 + 3 + 1)/(-1). Suppose 11*g - 6*g - 3480 = t. Suppose 2*a - g + 171 = -5*o, 0 = 4*o - 3*a - 420. Is 21 a factor of o?
True
Let q(x) = 321*x - 12 + 8 - 9 - 17. Is 18 a factor of q(2)?
True
Let m(p) = 14*p + 101. Let h be m(-26). Let a = h - -464. Does 2 divide a?
False
Suppose -7*l = -3*l. Suppose 2*u - 6 = -2*z, -5*z - 3 = 2. Suppose 2*i - 2*a = -l*a + 8, -i + u*a - 8 = 0. Is 7 a factor of i?
False
Suppose 0*t = -66*t - 4*t + 757680. Is t a multiple of 22?
True
Let k = 36 - 24. Let d(o) = o - 13. Let c be d(k). Does 27 divide -4 - c - (4 - (-440)/(-5))?
True
Let k = -65 - -246. Suppose 4*a - t - 128 = 0, -3*t + k = 5*a + t. Is 9 a factor of a?
False
Let x(i) be the first derivative of 23*i**2 - 27*i + 98. Does 3 divide x(3)?
True
Suppose 174*x - 178*x = j - 23978, -3*x + 18000 = -2*j. Is x a multiple of 14?
False
Let n(h) = 11*h + 48. Let b be n(-4). Suppose -b*u - 9 = -u. Let p(w) = -3*w**3 + 2*w**2 - 7. Does 8 divide p(u)?
False
Suppose 4*a - 21 + 13 = -2*l, -2*l = 3*a - 6. Suppose -4*p + 7*d + 358 = 2*d, -2*p - a*d + 188 = 0. Is p a multiple of 21?
False
Let v(x) = -2937*x + 141. Is 81 a factor of v(-1)?
True
Is 55 a factor of (-8 - 43)*(-6128)/48?
False
Suppose 4130*l = 4117*l + 5395. Is l a multiple of 2?
False
Let k = -7504 - -12267. Does 10 divide k?
False
Let s = -730 - -634. Is 66 a factor of s*(44/(-8) + 0)?
True
Let q = 16798 + -11983. Is 45 a factor of q?
True
Let o(f) = -3*f - 31. Let u be o(-11). Is 3 a factor of 438*(((-28)/3)/u - -5)?
False
Let m = -4817 + 4837. Does 20 divide m?
True
Is 38 a factor of -1 + 1895 + 1 - (-259 + 263)?
False
Suppose -267 - 286 = -7*v. Suppose -5*u = -2*k - v - 67, u - 232 = 3*k. Is (k/8)/(-4 + 93/24) a multiple of 13?
True
Let a = 67 + -68. Is 3 a factor of (282/(-36))/(a/12)?
False
Let j(n) = -29*n - 11. Suppose 5 = -y - 5. Let c be j(y). Suppose -7*w - 2*w + c = 0. Is 6 a factor of w?
False
Let u = 7 + -4. Suppose 0 = u*p - 2*p - 66. Is 16 a factor of 1/6 - (-1045)/p?
True
Let h be (2*2/4)/((-9)/(-1125)). Let w = -110 + h. Does 5 divide w?
True
Let y(o) = 10*o + 160. Let v be y(-19). Is 108 - (26/v + (-22)/165) a multiple of 9?
False
Let b(d) = d**3 + 3*d**2 - 2*d - 2. Let w be b(-2). Let a be ((-28)/(-12) + -2)*w. Is 69*(3 - (a + (-12)/9)) a multiple of 23?
True
Let u(r) = -r**2 - 27*r - 38. Suppose -5*t + 22 = -z, -3*t + 22 = -z - 5*t. Is 12 a factor of u(z)?
True
Suppose 3*h = -2*j + 2292, -4*h + 4*j = -266 - 2790. Let p = h + -544. Does 11 divide p?
True
Let z be (6/(-2 - -1))/1. Let f be (2/(-6))/(1/z) + 4. Suppose 4*d - f*d = -6. Is d a multiple of 2?
False
Is (-52)/(-624) - (-444093)/36 a multiple of 24?
True
Suppose -1693 = 4*k - 3*k. Let b = 2395 + k. Is (b/(-15))/(14/(-35)) a multiple of 21?
False
Let b(c) = c**2 - 20*c + 10. Suppose 0 = -71*n + 66*n - 25. Let u(d) = d**2 + 4*d + 15. Let a be u(n). Does 10 divide b(a)?
True
Is -3*(-308)/18 - 224/(-336) a multiple of 14?
False
Let a(m) = 1838*m + 292. Does 21 divide a(4)?
True
Suppose 3345 = -73*t + 77*t - 3*b, 0 = 2*t + 5*b - 1705. Is 19 a factor of t?
False
Let h(t) be the second derivative of t**4/12 - 9*t**3/2 - 35*t**2 + 12*t. Is h(31) a multiple of 3?
True
Let k(w) = 1155*w + 5334. Does 9 divide k(0)?
False
Let m be (-4)/(-10) - 3074/(-265). Suppose -5*t + 2 = m, 2*n - 346 = 4*t. Is n a multiple of 17?
False
Let z be (2 + (-25)/15)/((-1)/(-6)). Let m(t) = 5*t**3 - 5*t + 4. Does 29 divide m(z)?
False
Suppose 4*s - 5631 = -2*g - 235, 2*s + 2702 = g. Is g a multiple of 8?
False
Let s(n) = 10*n**2 + 6*n - 12. Suppose 4*q - 3*p + 26 = 0, 3*p - 2 + 1 = -q. Does 52 divide s(q)?
True
Let z(v) = -v**3 - 80*v**2 + 3*v**3 + 3 + 80*v**2 - v. Let t be z(2). Suppose t*g + 845 = 22*g. Is g a multiple of 25?
False
Suppose 2*n = p + 34281, 3*n - 2*p - 31335 - 20082 = 0. Is 3 a factor of n?
True
Let p(a) = -2*a**2 - 15*a - 10. Let i be p(-7). Let x be (-66)/44*(-1 + 1/i). Is 3 a factor of 14 - (4 - 4) - (-2)/x?
True
Suppose 20*b - 16*b = 8. Let q(v) = -v**b + 0*v**2 + 0 - 5 - 13*v. Does 9 divide q(-7)?
False
Let k = -417 + 420. Suppose 0 = 4*b + 4, 31 = -k*y - 2*b + 317. Does 3 divide y?
True
Suppose 188*h - 170*h = 1026. Suppose -7*z = b - 2*z - 105, 315 = 3*b + 4*z. Let v = b - h. Is 16 a factor of v?
True
Let b(i) = i**2 - 3*i - 30. Suppose -h = -4*c + 2, 0*c + 3*c = 4*h - 44. Does 13 divide b(h)?
False
Let k be (9 - -3)*2/(16/(-6)). Let i(o) = -95*o - 49. Is 13 a factor of i(k)?
True
Let v(i) = i**2 - 145*i + 1555. Is v(10) a multiple of 2?
False
Suppose -22*l + 9777 + 5503 = -48960. Does 7 divide l?
False
Suppose 9*b + 45*b = 3*b. Suppose b = -0*z + z + m - 1537, 5*m - 3065 = -2*z. Does 55 divide z?
True
Let l(g) = 10*g + 116. Let c be l(-8). Suppose 0 = -2*o + 3*y + 214, 2*o - y = 242 - c. Does 25 divide o?
False
Suppose -4*o + 49020 = 2*w, 63*o = 3*w + 70*o - 73524. Is 201 a factor of w?
True
Suppose -11*b = 157*b + 89*b - 812377. Does 19 divide b?
False
Suppose 158652 = -81398*q + 81407*q. Does 9 divide q?
False
Let i(o) = 69*o**2 + 4*o - 3. Suppose -5*k = -5*t + 5, 8*t - 3*t - 14 = -4*k. Is 14 a factor of i(k)?
True
Suppose 54 = 7*c - 100. Let q = c - 13. Does 4 divide q?
False
Suppose b - p - 1445 = 0, 2*b + 0*b + 5*p = 2904. Let s = b - 583. Is 12 a factor of s?
True
Suppose -3*i + 56 = -19. Let h = 221 + -133. Suppose -24*q - h = -i*q. Does 22 divide q?
True
Suppose 30*y - 16*y - 147924 = 0. Is 18 a factor of y?
True
Suppose -4*b + 122 = 5*z, z + 6*b - 25 = 5*b. Suppose -8*f + z*f = 8190. Does 15 divide f?
True
Suppose -1286*f + 1284*f + 2*l + 13618 = 0, 0 = -2*f - l + 13603. Does 27 divide f?
True
Suppose 126 = 4*w + 46. Suppose -13*u = w*u - 31581. Is u a multiple of 10?
False
Suppose -3*y - 4*x = -1837, -4*x + 12 = -x. Let h = 1274 - y. Does 6 divide h?
False
Suppose 7*k = 4*k - 1326. Let r be ((-78)/65)/(6/(-3760)). Let h = r + k. Does 33 divide h?
False
Let p = -49 + 422. Let d = p + -249. Is d a multiple of 12?
False
Suppose -330 = 41*g - 44*g. Let m = g - 55. Is 6 a factor of m?
False
Let r = 336 - 335. Is 25 a factor of r/(3 - (-2016)/(-675))?
True
Let h(k) = 111*k - 1101. Is h(28) a multiple of 22?
False
Suppose -4*o + 4*f + 80 = 0, -4*o + 9*f + 45 = 12*f. Suppose 0 = -3*x - o, -3*l + 2*x + 93 = -2*l. Is 6 a factor of l?
False
Let v = -2944 - -4333. Is 59 a factor of v?
False
Suppose 1350205 - 288033 + 184658 = 115*z. Does 13 divide z?
True
Let j(p) = 13*p**3 + 6*p**2 - 6*p - 1. Let o be j(1). Let q(v) = -v**3 - 4*v**2 + 3*v - 10. Let n be q(-7). Let x = n - o. Is 16 a factor of x?
False
Suppose 3 + 25 = 7*t. Let u be ((-5)/4)/(t*4/(-64)). Suppose u*x = -a + 8 + 363, 2*a = 2*x - 146. Does 8 divide x?
False
Let b(s) = 2*s - 24. Let i be b(13). Suppose 0 = -i*h - c + 158, -5*h = 5*c - 9 - 396. Is 7 a factor of h?
True
Let d(q) = -7*q**2 - 10*q + 48. Let y be d(-14). Let t = -722 - y. Does 63 divide t?
False
Let c(a) = 374*a - 137. Is c(1) a multiple of 2?
False
Let g be 8 - (-4 + -2)*-2. Does 8 divide g/(-14) + (-9624)/(-28)?
True
Suppose -2*a - 5*m + 1 - 6 = 0, -16 = -2*a + 2*m. Suppose -a*b = -b. Suppose -6*n + 66 = -b*n. Does 11 divide n?
True
Suppose -724*a + 9095 + 1631 = -722*a. Does 19 divide a?
False
Let f(w) = 7*w + 69. Let b be f(-9). Suppose b*x + 5*t - 955 = 3*x, t = -5*x + 1555. Is 14 a factor of x?
False
Suppose -2*z - 15 = -3*j, -z + 3 = 4*j + 2*z. Suppose -j*h + 2*h + 923 = k, -5*h + 4565 = -5*k. Suppose 369 + h = 11*f. Does 13 divide f?
True
Suppose -3*x + 14066 - 2190 = 5*q, q - x - 2388 = 0. Is q a multiple of 34?
True
Let s(q) = 3*q**2 + 22*q - 17. Let v = 15 + -23. Let i be s(v). Does 20 divide (-2 + (-33)/6)/(i/24)?
True
Let v = 14499 + -8684. Is v a multiple of 38?
False
Let y(x) = -16*x**2 + 6. Let d be y(2). Let j(c) = c**2 - 9*c + 5. Let z be j(6). Let u = z - d. Is u a multiple of