z(3). Let w = -258 - l. Let m = w + -82. Is 9 a factor of m?
True
Let n(b) = 80*b + 38. Suppose 26*d - 45 = 17*d. Is n(d) a multiple of 6?
True
Let i(n) = n**3 + 8*n**2 - 7*n + 4. Suppose -z + 15 = 4*u, 5*u - 15 = 2*z - 7*z. Let y be u/(3/2 - 2). Does 12 divide i(y)?
True
Is 2 a factor of 33164/10 - (1898/(-130) - -15)?
True
Suppose -d + 3*y = 0, d + 0 = 2*y - 2. Let w be (2*-51)/(d/4). Suppose -m = -4*q + 284, -3*m - w - 84 = -2*q. Does 10 divide q?
True
Suppose -8*w - 47 - 625 = 0. Let u = 84 + w. Suppose u = 5*r - 4*q - 870, -3*r + 489 = -q - 40. Is r a multiple of 21?
False
Suppose -679*h - 6 = -682*h. Suppose c - 719 = -8*o + 4*o, -3*o = h*c - 538. Does 12 divide o?
True
Suppose 0 = -4*y + y. Suppose 0 = -4*b - y*b + 36. Is 14 a factor of 1140/27 - 2/b?
True
Does 12 divide -3 - -15169 - (-97 - -107)?
True
Let s(h) = h**3 + 28*h**2 + 114*h - 19. Let j be s(-23). Let n be (-2)/(-12) + 1394/(-12). Does 29 divide n*5/(-4)*j/10?
True
Let d(b) = -172*b - 2672. Does 12 divide d(-138)?
False
Suppose -951 = -12*b + 621. Is b a multiple of 4?
False
Let u(p) = 72*p**2 - 1009*p + 74. Is u(-22) a multiple of 102?
True
Suppose -2*k = -4*v - 396, 3*v - 4*k = 2*v - 113. Let o = -15 - v. Let l = -47 + o. Is 12 a factor of l?
False
Suppose 5*k + 19*k - 144 = 0. Suppose k*q + 46 = 7*q. Does 19 divide q?
False
Let p be 650/(-4)*(-15 + -1). Suppose 336*c + p = 346*c. Is 13 a factor of c?
True
Let y(z) = z**3 + z**2 + z + 114. Suppose -2*v - 40 = -4*t, 4*v + 13 = 3*t - 77. Let u = -24 - v. Is y(u) a multiple of 38?
True
Let f(g) be the second derivative of -4*g**3/3 - 27*g**2/2 + 21*g. Is 9 a factor of f(-9)?
True
Suppose -11 = 5*n - 0*n + 3*x, 2*n + 2*x + 6 = 0. Is 11 a factor of (n + 549 - (-35 - -33)) + 4?
False
Let n = 22 + 14. Suppose f = -n - 10. Let s = f + 94. Is 16 a factor of s?
True
Let i(l) = -7*l**2 + 3*l**3 + 0*l + 14*l**2 - 11*l + 9*l + 1. Let g be i(-4). Is ((-4)/2)/(-1) - (-7 + g) a multiple of 11?
False
Let v = 1222 - 666. Let r = -187 + v. Is r a multiple of 3?
True
Let n(g) = 9*g**2 + g - 3. Let c be n(-3). Suppose 5*d - c + 320 = 0. Let a = d + 62. Does 12 divide a?
False
Let k = 889 + 3290. Is 17 a factor of k?
False
Suppose 106*t = 5169 + 3735. Does 26 divide t?
False
Suppose -3*s = -3*n + 83 - 356, 0 = 4*n + 12. Suppose 202 - s = 6*z. Is 3 a factor of z?
False
Let c be (4 + -5)/((-2)/4). Suppose -2*o + c*g + 19 = -313, -g + 332 = 2*o. Let i = o - 88. Is 13 a factor of i?
True
Let b = -2966 + 3949. Is 117 a factor of b?
False
Let s(i) = -i**2 - 5*i + 1. Let q(m) = 4*m + 9. Let t be q(-3). Let w be s(t). Suppose 6*a + 120 = w*a. Is a a multiple of 8?
True
Let t be 2/5*(-10 + 7 + 8). Suppose t*a - 173 - 162 = -w, 0 = 4*w - 2*a - 1390. Does 23 divide w?
True
Let u be -1 - (-4)/((-16)/12). Let n(f) = -f**2 - 5*f. Let m be n(u). Suppose 5*w + x = -0*w + 219, -173 = -m*w - 3*x. Is w a multiple of 22?
True
Suppose -q + 1085 = -4*l - 375, 4*l - 7372 = -5*q. Let c(r) = r**2 - 10*r. Let o be c(10). Suppose -3*z - 5*z + q = o. Is 15 a factor of z?
False
Suppose r + 5*q = 4*r - 7479, 0 = -4*r + 3*q + 9961. Let z = r + -1744. Is 31 a factor of z?
True
Let p be (-260)/(-55) + 6/22. Suppose 0 = p*t + 3*m - 4661, 2*m - 1858 = -2*t + 4*m. Is 49 a factor of t?
True
Let m be (-13 - -5)/((-2)/(-5)). Let j = 20 + m. Suppose 4*l = -j*l + 460. Does 23 divide l?
True
Suppose -180 = 50*y - 55*y. Suppose -7*t = -t + y. Is 6 a factor of (-108)/(t + 2) + -3?
True
Let q be (265/(-2) - 2)/((-4)/24). Let j = q - 727. Is j a multiple of 20?
True
Let y(g) be the third derivative of 16*g**4/3 - 151*g**3/3 - 139*g**2. Is 10 a factor of y(7)?
False
Suppose -102*x = -165*x + 17892. Is 15 a factor of x?
False
Let s = -96 - -70. Let f = s - -84. Suppose -102 = -8*p + f. Is p even?
True
Suppose 2*i - 6*i = -2*n - 2878, 4*i + n - 2887 = 0. Is i a multiple of 7?
True
Let a = -5417 + 5554. Is 4 a factor of a?
False
Let d be (-3)/5 + 8/(-20). Let b be (8/(-2) + 2)*d. Suppose 92 - 16 = 4*t + 3*l, -5*t - b*l + 88 = 0. Is 8 a factor of t?
True
Suppose -3*c + 4 + 11 = 0. Let i(s) = -3 + s**3 - 6 + 8*s**2 - c*s - 7*s. Does 18 divide i(-9)?
True
Let k be 0/3*1/(-2) - -3. Suppose k*h - 4*o = 2406, -4*h - o = -1849 - 1340. Is h a multiple of 38?
True
Let p be 55 + ((-22)/6 - -4)*3. Suppose 2*b - 51*q + p*q = 2783, 3*b = -5*q + 4162. Is b a multiple of 38?
False
Suppose 51*a + 53*a = 110*a. Does 21 divide ((-1)/(-2 - a))/((-11)/(-1386))?
True
Let s(a) = a**3 + 24*a**2 + 36*a + 4. Suppose 5*b = 5*f + 90, 2*b + 74 = -5*f + 2*f. Is s(f) a multiple of 30?
True
Let i = 2950 + 6750. Is 20 a factor of i?
True
Let j be (-1 + 0)*(-288)/96. Is j/10 + (-97)/(-10) a multiple of 10?
True
Let l(u) = -27*u**3 + 7*u**2 + 6*u + 2. Let m be (100/(-60))/(10/12). Is l(m) a multiple of 20?
False
Let v(q) = -q**3 - 9*q**2 + 11*q + 12. Let g be v(-10). Let k be 11/((-2 - g)/(-4)). Suppose 0 = 8*o - k*o + 78. Does 5 divide o?
False
Suppose 27 = 5*g + 4*b, 3*g - 4*g - 12 = -5*b. Suppose -g*p = -8*p + 1635. Is 45 a factor of p?
False
Let c(w) = -w**3 + 45*w**2 + 8*w - 58. Is 75 a factor of c(43)?
False
Let h be (-1 + -5)/(-11 - 169050/(-15370)). Suppose -h = 9*b - 12288. Is 13 a factor of b?
False
Let f = 10 + 16. Suppose c = -5*t + 88, -t + 9*c = 5*c - f. Is t a multiple of 5?
False
Let q be 34/(-51)*858/(-4). Let h(l) = l + 14. Let v be h(-11). Suppose 0 = 8*j + v*j - q. Does 2 divide j?
False
Let x be (370/(-4) - 2)*(-520)/60. Suppose 0 = -33*n + 26*n + x. Is n a multiple of 21?
False
Suppose 2*m - 4 + 140 = -4*u, -m - 62 = -u. Let j = -56 - m. Suppose -j*y = 15 - 87. Does 9 divide y?
True
Suppose 74*u + 38727 = 78*u - 8933. Is 166 a factor of u?
False
Does 2 divide (3 - -4) + (-16 - -1 - -2809)?
False
Let l = 40915 - 19260. Is l a multiple of 355?
True
Let m = 21072 - 14935. Does 167 divide m?
False
Let g = 187 - 178. Is 3 a factor of (-8)/18 - (2 - 94/g)?
False
Let y(p) = -10 - 3*p - 5*p - 5*p + p. Does 5 divide y(-6)?
False
Let k(y) be the first derivative of y**3/3 + 21*y**2/2 + 122*y - 91. Is k(-16) a multiple of 41?
False
Let j(w) = -w**3 - 7*w + 3*w**3 - 26 - 7*w**3 + 6*w**3 - 9*w**2. Let b be j(10). Suppose -5*x = -b*x - m - 140, -3*m + 260 = 2*x. Does 14 divide x?
False
Suppose 1036754 = 395*h - 899679 - 89127. Is 8 a factor of h?
True
Suppose 0 = -12*x + 8*x - 148. Let r(k) = -k**2 + 3*k. Let u be r(3). Let a = u - x. Is 8 a factor of a?
False
Let r = 3578 + -45. Is 164 a factor of r?
False
Is (-12)/(13/143065*-5) a multiple of 159?
False
Let y(h) = -186*h - 729. Let v be y(-4). Let o(z) = -z**2 + 9*z + 9. Let p be o(7). Let n = p - v. Is n a multiple of 2?
True
Let u = 1452 - 1461. Suppose -3*b = 2*c - 12, 0*c - 3*c + 28 = 2*b. Let n = u + c. Is n a multiple of 3?
True
Suppose 0 = 3*q + 6*q - 25768 - 44612. Does 10 divide q?
True
Suppose t - 5*z = 183, t + 0*z - 193 = 3*z. Let r = 26 + t. Is 9 a factor of r?
True
Suppose -117*g + 72781 + 68382 = -37496. Is g a multiple of 52?
False
Let a(f) = f**2 + 7*f + 3. Suppose 3*j - 33 = 3*u, 3*u + 2 = u - 2*j. Let d be a(u). Is 5 a factor of (3/2 - d/6) + 22?
False
Suppose -73 = -5*m + 7. Let l = 16 - m. Suppose 0 = -5*n + 4*x + 64, l = -n - 3*x + 20 + 8. Is 8 a factor of n?
True
Let u(z) = 6724*z**3 + 15*z - 13. Is 32 a factor of u(1)?
False
Let u = -24299 + 33278. Is u a multiple of 3?
True
Let v = 24 + -14. Suppose -3148 = -v*z + 4252. Is 14 a factor of (-6)/(-21) - z/(-7)?
False
Let g be 10/(-2)*(22 + -27). Is 6 a factor of (-5)/(g/30) + 194?
False
Let k be -15*8/24 - 3*-3. Suppose -h = -o + h + 729, k*h - 747 = -o. Is 49 a factor of o?
True
Let i = 479 - 894. Let n = -243 - i. Does 24 divide n?
False
Let h(s) = 8*s - 25. Let m be h(4). Let y(i) = -4*i - m*i + i**2 + 12 + 0*i + 3*i. Does 4 divide y(9)?
False
Let h(a) = 20 - 2 + 11 - 3 + 5*a**2 - 2*a. Is h(8) a multiple of 33?
True
Suppose -16114*z + 16113*z = -6724. Does 41 divide z?
True
Suppose 30*b - 19*b - 5104 = 0. Does 18 divide b?
False
Suppose 2 = 2*j - 4*y, -2*y = 5*j - 35 + 6. Suppose 3*t = b - t - 457, j*t + 2360 = 5*b. Is b a multiple of 13?
False
Suppose -486 = -4*f - 3*i, 4*f + 484 = 8*f + 4*i. Suppose 3*k = p - 120, -p + 2*k = -f - 1. Is 19 a factor of p?
False
Let z(k) = 482*k + 143. Is 44 a factor of z(17)?
False
Suppose 59*z = -11129 - 6866. Is 14 a factor of 2578/6 + z/183?
False
Let