f w(14)?
False
Suppose x + 41735 = 3*v, 22*v = 24*v + 2*x - 27826. Does 148 divide v?
True
Let m = 67298 - 46650. Is m a multiple of 14?
False
Let p(c) = c**2 + 2*c + 30. Suppose 0 = 8*j + 6*j + 1414. Let q = j + 93. Is 10 a factor of p(q)?
False
Let r(w) = 2*w**2 - 150*w - 1670. Is r(-11) a multiple of 152?
False
Suppose -14*l = -7708 - 20614. Suppose 11*k - 1244 - l = 0. Does 27 divide k?
True
Let h(i) = -112*i + 4. Let p be h(1). Let c = -97 + p. Let w = c + 324. Does 15 divide w?
False
Let w be (335 + 1)*-5*99/110. Does 21 divide (-1 - 3)*w/32?
True
Let k = 12044 + -5640. Does 18 divide k?
False
Let y(j) = 12*j**2 - 75*j + 12. Let q be y(6). Let m = 28 + q. Does 2 divide m?
True
Suppose 3*b - 3966 = -3*n, 5*n + 2*b = 11439 - 4841. Is 62 a factor of n?
False
Let o be 1/(-4) + (-127)/4. Let j be -8 + 45*13/65. Let s = j - o. Is s a multiple of 33?
True
Let g be (-288)/30 + -1 + (-2)/5. Let y be (-32 - -1) + (-11 - g). Is 2 a factor of (-9)/45 + y/(-5)?
True
Does 152 divide 11*-2 - (-53820 + -618)?
True
Suppose -146 = 8*d - 554. Suppose -38 = -d*s + 53*s. Is 5 a factor of (-958)/(-8) - (s/(-4) + -5)?
True
Suppose 26*s - 54 = 20*s. Let i(z) = -z**3 + 10*z**2 + z + 18. Does 4 divide i(s)?
True
Is 124 a factor of (-20264)/(-102)*((-35)/10 + 2)*-26?
False
Suppose 229 = -n + 2*z, 5*n = -3*z + z - 1121. Let q = -153 - n. Suppose 6*o = 2*o + q. Is 3 a factor of o?
True
Let y(g) = 510*g + 1415. Is 21 a factor of y(4)?
False
Does 40 divide ((-24)/48)/(-1 - (-3338)/3340)?
False
Let r(h) = 3 + 25*h + 1 + 22*h + 6 + h**2 - 48*h. Let q(m) = 2*m**2 - 1. Let u be q(2). Is r(u) a multiple of 26?
True
Let w = -1059 - -1605. Let d = 693 - w. Is d a multiple of 3?
True
Suppose t - 371 = -3*n, -7*n + 5*t = -2*n - 645. Let f = n + 318. Does 12 divide f?
False
Is 40 a factor of (1995/(-28))/((-9224)/3072 + 3)?
True
Let k be (220/99*6)/((-2)/99). Is 2 - 8/(32/k) a multiple of 25?
False
Let n(a) be the first derivative of -a**4/2 + a**3 - a**2 - 4*a - 5. Let u be n(-4). Suppose -u = -4*j - j. Is 8 a factor of j?
False
Let j = 58256 + -33347. Is 23 a factor of j?
True
Let p be 0/((1/(-2))/((-23)/(-184))). Suppose -14*d + p*d = -3752. Does 32 divide d?
False
Is ((-26)/780*-1308)/((-2)/(-600)) a multiple of 213?
False
Suppose -195 = 4*d - 235. Suppose -1834 = -17*x + d*x. Does 12 divide x?
False
Suppose -8 = 20*k - 21*k. Suppose 5*j - 1378 = -4*u + k*u, -830 = -3*j + 4*u. Is j a multiple of 24?
False
Suppose 52*p + 71*p - 512541 = 0. Is p a multiple of 22?
False
Let y(j) = -105*j + 1029. Is 111 a factor of y(-5)?
True
Suppose -3*k + 27273 = 49*u - 44*u, 3*k - 10893 = -2*u. Does 12 divide u?
True
Let d be 2529 - (1 + 5 + -5). Suppose d = 6*u + 896. Is 10 a factor of u?
False
Let v(s) = -73*s**3 - 9*s**2 - 11*s - 48. Does 39 divide v(-4)?
True
Suppose 3*p + 76 = 7*p. Suppose p*y = 16*y + 12. Suppose 4*j - 88 = -b - 0*b, j = y*b - 386. Does 15 divide b?
False
Let f = 4259 + -4229. Does 6 divide f?
True
Suppose 0 = o + 4*b - 24938, 154*o - 5*b - 74729 = 151*o. Is o a multiple of 37?
False
Let l be (75/(-30))/(1/146). Let v = 593 + l. Is 14 a factor of v?
False
Suppose 30 = -d + 3*d. Let m = -13 + d. Suppose -8*j + 3*j = 3*k - 21, 3*k = m*j - 21. Is j even?
True
Suppose 271482 + 12912 = 33*f. Is f a multiple of 10?
False
Suppose 545 + 1750 = -9*h. Let d = h + 581. Does 27 divide d?
False
Suppose -5*u + 231 + 29 = 0. Let q = 54 - u. Suppose 0 = -p - 4*d + 23, q*p + 2*d - 39 = -p. Is 5 a factor of p?
False
Let c(z) = z**3 + 18*z**2 - 35. Let j be c(-18). Does 5 divide 0 - 819/(-15) - (-21)/j?
False
Suppose 4*j = -m + 19988, -99964 = -19*m + 14*m + 4*j. Is m a multiple of 294?
True
Let i(d) = 194*d**2 + 13*d - 134. Is i(5) a multiple of 21?
False
Let y be 3*632/12*(-1)/2. Let z = y + 73. Let u = 19 - z. Does 5 divide u?
True
Let m = -5765 + 6366. Is m a multiple of 2?
False
Suppose 189 = 9*g + 9. Suppose 5*x - 9*x + 4*a + g = 0, -2*x = 2*a - 6. Is 4 a factor of x?
True
Let c(m) = m**3 - 4*m**2 - 9*m - 11. Let f be c(6). Suppose 3*g + 90 = h, -5*g = h - f*g - 95. Is h a multiple of 17?
False
Suppose 3*x + 31 = 6*x + 4*p, 2*p + 7 = 3*x. Let h(k) = -k**2 - 8*k - 11. Let w be h(-3). Suppose -20 = -r - r - w*y, 0 = -x*y - 5. Does 2 divide r?
True
Let h = 799 + -510. Suppose -4*u + u = 0, o - h = 3*u. Let d = -42 + o. Is d a multiple of 13?
True
Is 9 a factor of (0 - 3)/(-30) + 37796/40?
True
Suppose 3159 = 2*r - 3*t, -4*r + t = -2*t - 6309. Suppose 15*x = 8*x + r. Does 15 divide x?
True
Let n(w) be the third derivative of w**6/120 - 13*w**5/60 + 17*w**4/12 - 47*w**3/3 - 204*w**2. Does 5 divide n(11)?
False
Suppose -5*z = 239 - 294. Let c(y) = 6*y**2 - 46*y + 56. Does 46 divide c(z)?
True
Suppose -43*r - 4*r + 235 = 0. Suppose 20*s - 25*s = 2*g - 1860, -r*g = -2*s - 4679. Is g a multiple of 11?
True
Let s(v) = -6*v + 12*v + 16*v - 6. Is 5 a factor of s(3)?
True
Suppose -4*q - 230 = -9*q - p, -4*p - 230 = -5*q. Let f(m) = 2*m**2 + 5*m + 8. Let a be f(-6). Let c = a - q. Does 4 divide c?
True
Let n(k) = 9552*k + 4713. Is n(4) a multiple of 42?
False
Suppose -5*u - 5*j = -37460, -4*j = -877*u + 876*u + 7507. Is 11 a factor of u?
False
Let f(k) = -5*k**2 - 134*k + 29. Let r be f(-27). Does 2 divide (25/r - 2)/((-12)/(-32))?
True
Let z be (5/25)/((-5)/(-975)). Let b(u) = u**2 - u - 95. Does 19 divide b(z)?
True
Suppose -5*q = 3*z - 353, -3*q + 10 = -5*q. Suppose 5*s - 2*l = z, 0 = 4*s + s - 3*l - 129. Does 2 divide s?
True
Is 6/(-2)*(-21161 - 10 - -10) a multiple of 21?
True
Suppose -63*w = -208748 - 751750. Does 22 divide w?
True
Suppose -3*v + 55870 = -4*u, -4598 = -v + 3*u + 14012. Is v a multiple of 34?
False
Let i(h) be the first derivative of h**3 + 2*h**2 - 44*h + 40. Does 21 divide i(-11)?
False
Let d be (318/(-30))/(4 + 42/(-10)). Let z be (0 - 3/(-6))*50. Suppose -z = 48*b - d*b. Is 3 a factor of b?
False
Let r = 397 - 181. Does 9 divide 24/(-9)*r/(-32)?
True
Let h(c) = 5*c**2 + 9*c - 14. Let b = -8 + 4. Let i be b/20 - (-5)/((-75)/(-63)). Is h(i) a multiple of 51?
True
Suppose -294*k = -91*k - 193459. Does 30 divide k?
False
Let o(i) be the third derivative of i**5/60 - i**4/6 + 2*i**3/3 - 22*i**2 + 1. Is 2 a factor of o(5)?
False
Let i(g) = -g**3 - 9*g**2. Let o be i(-9). Suppose -28 = 3*v - o*h + 4*h, 2*v = -h - 22. Does 8 divide (-19 + 1)/(v/18) - -1?
False
Let f(y) = -3*y**2 - 29*y - 1. Let k = 245 + -252. Is f(k) a multiple of 12?
False
Is (-3 - 834/(-6)) + (-6)/1 a multiple of 4?
False
Let u(b) = 2*b + 32. Let t = 142 - 69. Let k = t - 56. Does 16 divide u(k)?
False
Is 1/(-7)*1 + 17/(7021/11830031) a multiple of 10?
False
Let d be 4/(12/27)*(-4)/(-6). Let t(k) = 12*k**2 - k + 30. Let c be t(d). Suppose 0 = -4*h - 4*f + c, h + f = 4*f + 94. Does 11 divide h?
False
Is 42 a factor of 4*37317/(-70)*(-40)/24?
False
Let u be (-3612)/12 + (7 - -1). Let g = u - -821. Does 6 divide g?
True
Suppose 16*w = -50 + 50. Suppose w = -15*l + 2*l + 442. Does 31 divide l?
False
Let j(w) = -w**2. Let v(o) = 5*o**2 - 4*o - 23. Let k(s) = 6*j(s) + v(s). Let d be k(-7). Let u = -41 - d. Does 3 divide u?
True
Suppose 0 = 17*s - 7*s - 90. Suppose -s*x - 288 = -17*x. Is -1 + 30/x - 962/(-12) a multiple of 16?
True
Let w(l) = l**2 + l - 21. Let x be w(-6). Is 27 a factor of 285 + (-28)/126 + (-7)/x?
False
Let t(f) = 3*f**3 + 10*f**2 - 3*f - 7. Let n = 77 + -82. Let v be t(n). Let z = -108 - v. Is 9 a factor of z?
True
Let p be (-61)/3 - ((-6)/(-9) - 1). Let o(r) = r**3 + 21*r**2 + 15*r + 1. Let b be o(p). Let t = b - 70. Is 5 a factor of t?
False
Let q = -1039 + 2471. Does 34 divide q?
False
Suppose 3*s = -14 + 404. Let b be (-4 + 20/8)*30. Let d = s + b. Is 11 a factor of d?
False
Let i be (-4)/26 - (-410505)/195. Suppose 3031 = 3*r - 2*b, 4*r + 4*b = i + 1943. Does 18 divide r?
False
Suppose -185 = 15*q - 2405. Suppose 22 = q*k - 146*k. Is 3 a factor of k?
False
Suppose 10*q - 19*q = -9. Does 2 divide ((-6)/(-4))/(5/50) + q?
True
Let f(g) = -3*g**3 - 4*g**2 - 125*g - 17. Is 48 a factor of f(-10)?
False
Let f = -73 + 77. Suppose -2*d - 3*t + 8*t = -16, -f = t. Is 40 - d - ((-2)/(-2))/(-1) a multiple of 11?
False
Let y = -15 - -23. Let h = 1174 + -1032. Suppose -50 = -y*m + h. Does 10 divide m?
False
Let w = 6235 + -4315. Is w a multiple of 80?
True
Suppose -3*v = 3, 3*c - 30471 = -2*v + 1314