j). Is s(6) a multiple of 24?
True
Let u(t) = 239*t**2 - 237*t**2 + 3 + 4 + 4 - 14*t. Does 3 divide u(7)?
False
Suppose -2*v + 8 - 6 = 0, 5*v - 71 = -3*y. Suppose 3*p = -3*r, r = -4*r - 2*p + 9. Suppose 0 = r*g - 41 - y. Is 6 a factor of g?
False
Suppose -3*b + 2*f - 206 = 113, 5*b - 2*f = -529. Let i be 3*5/b + (-15)/(-7). Suppose i*w + 2*w - 20 = 0. Is w a multiple of 2?
False
Let h = -5236 - -7908. Is h a multiple of 12?
False
Suppose 44360 = 123*n - 121*n. Is 303 a factor of n?
False
Let t(w) = -11*w - 134 - 45*w + 6*w - 14. Is 73 a factor of t(-19)?
False
Let i be (-10 + 11)/((-3)/174). Let n = -86 + 148. Let d = i + n. Does 2 divide d?
True
Suppose -z = -4*g + 4475, 4*g - 9*g = -3*z - 5599. Is g even?
True
Let l(v) be the third derivative of 7*v**5/60 - v**4/6 - 7*v**3/6 + v**2. Let m = -3032 + 3029. Is 11 a factor of l(m)?
False
Let t be (0 + 1 - 0)*(-53 + 66). Suppose t*n = 14*n - 7. Suppose 48 = k + n*k. Is 2 a factor of k?
True
Suppose -5*g = -3*n + 823, -2*n = 40*g - 36*g - 556. Does 5 divide n?
False
Let m be ((-1)/1)/(2*(-1)/10). Is 51 a factor of (3 - m)*(-1695)/6?
False
Let t be 1/5 - ((-58086)/70 + -10). Let h = 892 - t. Does 26 divide h?
True
Let h be (-6)/((-2 - -6) + -6). Let m = 0 + 4. Suppose -m*c + k - 10 = -110, 0 = h*c - 5*k - 58. Is 26 a factor of c?
True
Let x(j) = -j**3 - 4*j**2 + 26*j + 38. Let r be (-3)/((-9)/(-63) - (-4)/21). Is x(r) a multiple of 19?
True
Let h(n) = -249*n + 8335. Does 5 divide h(0)?
True
Suppose -7*k = -2*k + 100. Let o be 52/k - 2/5. Let c(q) = -41*q - 1. Does 14 divide c(o)?
False
Let h(g) = 1823*g - 527. Is 12 a factor of h(1)?
True
Let o(i) be the second derivative of -i**5/20 - i**4/3 + 2*i**3/3 - 25*i**2/2 + 30*i. Does 19 divide o(-8)?
False
Let p(w) = w**3 + 6*w**2 - 15*w + 12. Let a be p(-8). Suppose -a*y - 799 = -f, f - 1618 = -f + 3*y. Suppose 6*d - d - f = 0. Is 13 a factor of d?
False
Suppose -72*s + 6534486 = 105*s. Is 18 a factor of s?
True
Suppose -r + 74 = 202. Let j = -18 - r. Is j a multiple of 9?
False
Let u(p) = 2*p**3 - 8*p**2 + 3*p - 5. Let b be u(4). Let t be 6*b/(-21) - (0 - -26). Let q = t + 143. Is 11 a factor of q?
False
Suppose 5*y + 765 = -2*n, -5*n - 1549 = -2*y + 378. Let x = n + 762. Is x a multiple of 10?
False
Suppose -5*m = 3*q - 85406, 55184 = 5*q - 4*m - 87147. Is 27 a factor of q?
False
Let p be 2750/3 + 45/(-27). Let i = -193 + p. Does 17 divide i?
False
Let k = 14 - 11. Suppose 20 = 5*h + o, 4*h + k*o - 17 = 2*o. Suppose 3*u - h*g = 99, u = -2*u - g + 103. Does 17 divide u?
True
Let d(l) = 17*l - 3. Let v = -13 + 12. Let r(n) = -n**3 - n**2 - 4*n - 2. Let c be r(v). Is d(c) a multiple of 5?
False
Let j = -13 - -16. Suppose 6*a - 15 = j*a. Suppose c - a*c + 540 = 3*f, -3*c = 5*f - 416. Is 33 a factor of c?
True
Suppose -4*l - 3*n + 823 = 0, 5*n + 6 = 3*n. Let v = l + -139. Is v a multiple of 19?
False
Is 21 a factor of 8*144252/96 - (-10)/1?
False
Suppose -14152 - 5934 = 22*o. Let z = -638 - o. Does 11 divide z?
True
Let q = -151 + 156. Suppose 275 = -0*l + q*l + 5*t, -3*t = 4*l - 222. Is l a multiple of 19?
True
Suppose 0 = 2*m + 2793 - 405. Is 26 a factor of (8/6)/((-8)/m)?
False
Suppose 0 = -4*h, 5*n + 3*h - 22 - 213 = 0. Let k = 52 - n. Suppose k*o = 217 - 2. Is 16 a factor of o?
False
Let b be (165/25 - 3)/(8/(-1800)). Let d = -191 - b. Is d a multiple of 20?
False
Let m(w) = -7*w**3 - 19*w**2 + 3*w - 5. Let c(a) = 4*a**3 + 9*a**2 - 2*a + 2. Let u(y) = -7*c(y) - 3*m(y). Does 19 divide u(-4)?
False
Is 25 a factor of 1/(-16*(-12)/7763712)?
False
Let z(w) = 20*w**3 - 8*w**2 + 64*w - 360. Is 39 a factor of z(6)?
True
Let x = -5758 - -7559. Is 11 a factor of x?
False
Suppose 250 = -10*v + 12*v. Suppose -13*a - v = 31. Is 2 - (a/(-4 - 0) - 56) a multiple of 24?
False
Let a(q) = -47*q**3 + q**2 + q + 1. Let c be a(-1). Let y(m) = -10*m - 16. Let g be y(-2). Suppose g*z = -2*o + 36, -z = -6*z - 4*o + c. Does 6 divide z?
False
Suppose -26*v = -49*v + 184. Suppose 28*q - 4680 = v*q. Is 15 a factor of q?
False
Let k(d) = 2341*d**2 - 32*d - 22. Does 18 divide k(2)?
False
Let h(a) = a**3 - 80*a**2 - 19*a + 1315. Is h(82) a multiple of 20?
False
Let s(b) = b**3 - 9*b**2 - 22*b. Let u be s(11). Suppose -273 = -5*f + 2*x, u = -2*f - 4*x + 5*x + 110. Is 12 a factor of f?
False
Let b = 15402 + -8827. Does 135 divide b?
False
Suppose -21*n + 35106 = 3*y - 19*n, -12*y - 5*n = -140415. Does 25 divide y?
True
Let i(q) = q**2 + 4*q + 4. Let w = 40 + -30. Suppose -2*c - 15 = 2*c - 3*t, -w = -5*c - 2*t. Is i(c) a multiple of 2?
True
Let m = -47 - -50. Suppose 5*a - 297 + 772 = -o, -m*o = -2*a + 1442. Let j = 687 + o. Is 13 a factor of j?
False
Suppose -3*u - 24326 = -o, -5*o + 21*u = 23*u - 121545. Is 19 a factor of o?
False
Suppose 3*z = c - 1046, -5*c + 6*c - 1396 = 4*z. Let h = z - -357. Is 7 a factor of h?
True
Is (-5)/280*-14 - (-31614)/8 a multiple of 52?
True
Let j = 1711 + -477. Does 9 divide j?
False
Let z be (-12)/(-5)*(13 + 2). Let f = 200 + -162. Let j = f - z. Does 2 divide j?
True
Let u(d) = -55*d**2 + 238*d + 5. Let v be u(6). Let i = v + 915. Does 16 divide i?
True
Suppose -2*t - 10 = 0, -49 - 21 = 5*a + 5*t. Let b(o) = o**3 + 17*o**2 - 27*o - 1. Is b(a) a multiple of 17?
False
Let w be (-4)/18 - ((-492)/27 - -3). Let s(j) = j**2 + 4*j + 25. Let x be s(w). Suppose x = 4*b - 4*a - 402, b = 3*a + 186. Does 56 divide b?
False
Does 10 divide 2*1*(-25)/(-30) + 94395/9?
True
Let n = 1170 + -567. Does 18 divide n?
False
Suppose -7*j - 20 = -3*j, -4*j = -5*z + 80. Is 18 a factor of 720*z/(-9)*(-3)/10?
True
Suppose -2*h - p - 726 - 86 = 0, -5*h = 2*p + 2031. Let j = h + 1031. Does 16 divide j?
True
Suppose 2951 = 20*n - 2809. Is 16 a factor of (n/45)/(2 - (-8)/(-5))?
True
Suppose 34 = -2*d - 14. Suppose -2*z = -5*w + 335, -3*w = -4*z + 99 - 286. Let h = w + d. Is 17 a factor of h?
False
Suppose -9*p + 13*p - 5*r = 18404, 6*p = -5*r + 27556. Is p a multiple of 185?
False
Let w(v) = v**3 + 17*v**2 + 2*v - 66. Is 26 a factor of w(18)?
True
Let p = 36 + -32. Suppose 4*d + 92 = -4*x + 4, p*x + 92 = -2*d. Does 10 divide 18/x + (-203)/(-4)?
True
Is 32 a factor of 106/34 + -3 + 1883442/187?
False
Let s(i) = 206*i - 790. Does 2 divide s(5)?
True
Is 6/(-72) + 11/((-264)/(-174146)) a multiple of 8?
True
Suppose -2*h - 142041 = -5*m - 14105, 2*m - 13*h = 51089. Is m a multiple of 10?
True
Suppose -31*d - 160279 + 457321 = 31*d. Is d a multiple of 29?
False
Suppose -4*k = 134 - 18. Let m = k - -314. Suppose -867 = -8*q + m. Is q a multiple of 16?
True
Let n(w) = 15*w + 51. Let g be n(14). Suppose -56 = 3*c - 2*t - 257, -4*c + g = -5*t. Is 4 a factor of c?
False
Let p(f) be the third derivative of 3*f**4/8 + 19*f**3/2 + 67*f**2. Is p(31) a multiple of 42?
True
Let a = -30 - 1. Let v = a - -37. Suppose -5*t - 80 = -v*t. Is t a multiple of 8?
True
Suppose -3*b - b - 4*j + 1088 = 0, 4*b - 3*j - 1074 = 0. Let u be 3/(45/2) + (-36)/b. Suppose u = -3*d + 80 + 70. Is 5 a factor of d?
True
Let n = 25 + -23. Suppose 4*r - 642 = n*r - 2*i, 3*r - 967 = -i. Suppose -r = -2*z - 83. Does 20 divide z?
True
Does 65 divide (-300)/(-20) - (-9278)/1?
False
Suppose 5*h - 2*t + 1 = -39, -h - 3*t = -9. Is ((-108)/(-30))/(1/((-255)/h)) a multiple of 48?
False
Suppose 0 = 10393*o - 10377*o - 96000. Is o a multiple of 9?
False
Let r(m) = 2*m**2 - 20*m + 68. Suppose 5*u - 67 = -22. Is r(u) a multiple of 2?
True
Let i = 20623 + -10848. Is 11 a factor of i?
False
Let a(m) = -m**3 - 8*m**2 - 4*m - 10. Let w be a(-4). Let b = -34 - w. Is 3 a factor of b?
True
Let w(q) be the first derivative of -15*q**4/4 - 5. Let n be w(1). Does 14 divide (4/8 - 89/10)*n?
True
Suppose -70 = -10*b + 24*b. Does 10 divide ((-7220)/18)/b + (-20)/90?
True
Suppose 2*i = 3*z + i - 11, -5*z + 2*i + 17 = 0. Suppose z*a = -m + 240 + 134, a - 90 = -4*m. Is 11 a factor of a?
False
Let n = 2 - -4. Suppose -4*g = -g - 972. Suppose -n*l + g + 636 = 0. Is 40 a factor of l?
True
Suppose 19*j - 15*j = 16. Does 51 divide j/4*(-655)/(-5)?
False
Let x = 209 - 768. Let n = x + 596. Does 2 divide n?
False
Let p(c) = 3*c**2 + 28*c + 11. Let k be p(-9). Suppose 2*s - 46 = -2*d, -k*d - 75 = -5*d - s. Suppose 24*l + 118 = d*l. Does 5 divide l?
False
Let d = 5981 + -4987. Does 8 divide d?
False
Let l be (-9)/(-7) + 1 - (-38)/(-133). Let w be (-1 + -14