. Is 7 a factor of c(1)?
False
Suppose -5*j + j = -8, 5*y + 5*j - 535 = 0. Is 3 a factor of y?
True
Suppose -3*x + 72 = j, -324 = 5*j - 10*j + 3*x. Let g = j + -34. Does 8 divide g?
True
Suppose -4*z + 11*u - 6*u = -565, -4*z + 3*u = -555. Does 35 divide z?
False
Is 2202*((-90)/(-12))/5 a multiple of 9?
True
Let u = 69 + -40. Let m = 22 - 11. Suppose -m = y - u. Is 9 a factor of y?
True
Let b = 3456 - 2295. Does 9 divide b?
True
Let o(l) = -l**2 + 10*l - 7. Let z be (-1)/(3/(-6)) + 5. Let s be o(z). Is (1 - 21)*s/(-4) a multiple of 18?
False
Suppose 5*i + 90 = -5*y, 5*y - 3*y + 36 = -3*i. Let b(d) = -4*d + 26. Does 36 divide b(y)?
False
Is (3 - 4 - -1707) + (-14)/2 a multiple of 52?
False
Suppose -816 = -2*x - 228. Suppose 0 = -0*o + 4*o + 2*m - x, 69 = o - m. Is 16 a factor of o?
False
Suppose -3*n + 340 = -m + 55, 2*m = 3*n - 288. Is n a multiple of 47?
True
Let t(y) = 164*y**3 + y**2 - 2*y + 2. Let q = 53 - 52. Is 33 a factor of t(q)?
True
Suppose -43120 = 99*v - 143*v. Is 9 a factor of v?
False
Suppose 0 = 2*b + 2*b - 12. Suppose -a = -b - 0. Suppose -2*c + 3*f = -3*c + 12, 5*f = a*c - 106. Is c a multiple of 9?
True
Let z be 40/24 - 2/(-6). Is 13 a factor of 45/(-2)*(2 + -3)*z?
False
Suppose -5*g = -c - 2747, g + g - 1091 = 3*c. Does 22 divide g?
True
Does 15 divide (-394)/788 - (-1 - (-3178)/(-4))?
True
Suppose -o = 2*y - 2*o - 130, 0 = -5*o - 20. Let w = y + 90. Is w a multiple of 13?
False
Let r = -45 + 39. Let q(z) = -z + 14. Is 11 a factor of q(r)?
False
Suppose 0 = -1048*g + 1050*g - 2342. Does 22 divide g?
False
Suppose -2*l + 762 = -8*l. Let y = 407 + l. Does 14 divide y?
True
Suppose 240 = 3*z + z. Let a be (-14)/49 + (-185)/(-35). Suppose 0 = 2*c + o - z, -o = -a*o. Is 15 a factor of c?
True
Let m(f) = 4*f**2 - f - 4. Is m(5) a multiple of 35?
False
Suppose 9 - 19 = -2*s. Suppose s*m + 5*b = 470, 2*m + 2*b + 2*b = 194. Is m a multiple of 13?
True
Suppose 0 = 2*f + f - 9, 4*c = 5*f + 673. Let l = c + -114. Is l a multiple of 7?
False
Let w = 1497 - 909. Does 84 divide w?
True
Suppose 5*a + 111 = -4. Let p = a - -47. Does 6 divide p?
True
Suppose -2*k - 2 = -y, 3*y - y + k - 4 = 0. Suppose -a + 21 = 2*g, y*a - 5*g + 4 = 37. Is a a multiple of 4?
False
Suppose 0 = -y + 3*j + 173, -1367 = -5*y + j - 530. Suppose 0 = -4*g - 35 + y. Is 33 a factor of g?
True
Suppose 5*o + 4*g - 3079 = 0, -2*g - 540 = -o + 73. Is 5 a factor of o?
True
Suppose 14 = 6*f - 7*f. Is (f/3)/(-4 - 154/(-39)) a multiple of 13?
True
Let k be (-1)/(-7) - (-4)/(-28). Let o = -2 - -4. Suppose k = -j + o + 13. Is 9 a factor of j?
False
Does 6 divide (5/((-20)/(-3)))/((-4)/(-384))?
True
Suppose t - 2*l - 422 = 0, 850 = 2*t + 2*l - 4*l. Is 16 a factor of t?
False
Let q(j) = 11*j**2 - 1. Suppose -11*w = -15*w - 48. Let h(x) = -x - 11. Let d be h(w). Is 10 a factor of q(d)?
True
Let u = 599 + -417. Is u a multiple of 26?
True
Let j be (-1 - 60) + 3/(-3). Let r = 100 + j. Is r a multiple of 19?
True
Suppose 0*i + 4*s - 202 = -2*i, -2*s = -6. Let k = 139 - i. Let z = k + -25. Is 19 a factor of z?
True
Is (-9633)/(-65) + (-2)/10 a multiple of 4?
True
Suppose 212*b = 211*b + 1818. Does 101 divide b?
True
Let m(d) = 21*d**2 + 31*d + 4. Let k(x) = -4*x**2 - 6*x - 1. Let c(b) = 11*k(b) + 2*m(b). Let s be c(-3). Is (-2)/s + 1750/63 a multiple of 6?
False
Let v(z) = -z**2 + 2*z + 10. Let u be v(10). Let t be (-1)/(u/69 + 1). Let o = -34 + t. Is o a multiple of 7?
True
Let k = 50 - 218. Let c = k - -276. Does 12 divide c?
True
Does 3 divide 41*2*12/8?
True
Let m = 11 - -5. Let f = m - 4. Does 12 divide f?
True
Let j(o) = 3*o**3 - 7*o**2 + 4*o + 6. Let s(p) = -13*p**3 + 27*p**2 - 15*p - 25. Let q(t) = -9*j(t) - 2*s(t). Suppose -3 + 24 = 3*b. Does 26 divide q(b)?
True
Is 11/44 - 4/((-48)/18645) a multiple of 14?
True
Let h(v) = -2*v + 24. Let x be h(9). Is 62 a factor of (1 - x)/((-1)/26)?
False
Let w = 32 + -2. Does 3 divide w?
True
Let s(f) = -4*f + 31. Let u be s(7). Does 32 divide 4130/42 - (-2)/u?
False
Let n be 11/((-11)/(-80)) - 2. Suppose -2*g - 214 = -5*g + 2*i, 2*i + n = g. Is 15 a factor of g?
False
Let v(y) = 11*y**2 - 6*y. Let h be v(6). Suppose -2*m - h = -6*m. Is m a multiple of 13?
False
Suppose -10*k + 11*k - 356 = 4*x, 5*k + x - 1864 = 0. Does 17 divide k?
False
Let h = 92 - 20. Suppose -56 = -2*d + h. Does 13 divide d?
False
Suppose -125 = -3*i + k + 467, -5*k + 25 = 0. Is i a multiple of 9?
False
Let z(u) be the third derivative of u**6/15 - u**4/24 + 2*u**3/3 - 5*u**2. Let p be z(2). Suppose -g + 4*g - p = 0. Is g a multiple of 7?
False
Let d = -50 - -83. Let x = d + -17. Does 10 divide x/(-72) - 310/(-18)?
False
Let i(b) = -11*b**2 + 1. Let m be i(1). Let u be (m/5)/(-3 + 2). Is 14 - (2/u + 1) a multiple of 7?
False
Let i(t) = -t**3 + 25*t**2 + 10*t + 13. Does 32 divide i(8)?
False
Let f = -316 - -326. Does 7 divide f?
False
Is (-16194)/(-36) - (-4)/24 a multiple of 9?
True
Let y(x) = -3*x - 10. Let a be y(-4). Suppose 0 = -a*j - 4*k - 4, 0 = -2*j - k + 6 - 1. Suppose 37 = -0*i + i - 4*z, j*i + 4*z - 208 = 0. Is i a multiple of 9?
False
Let d(r) = 20*r**2 + 9*r - 36. Let f(t) = 7*t**2 + 3*t - 12. Let h(z) = 6*d(z) - 17*f(z). Let p be h(11). Suppose p = 5*m - 43. Is m a multiple of 22?
False
Let m = 49 - 46. Let j(y) = 5*y - 11. Is j(m) a multiple of 2?
True
Let x = -248 + 349. Let j = x - 69. Does 9 divide j?
False
Suppose -2*p + 2*g - 3820 = -6*p, -g = 4*p - 3820. Suppose -8*q - 187 + p = 0. Is 12 a factor of q?
True
Let q be (-95)/6 + 1/(-6). Let p be (q/(-2))/(4/2). Suppose b - 130 = -p*b. Does 8 divide b?
False
Let y = -852 - -1158. Is y a multiple of 17?
True
Does 29 divide (-1)/(-2) - (-4164)/24?
True
Let g = 69 - -477. Does 6 divide g?
True
Is ((-54)/(-21))/(126/34839) a multiple of 25?
False
Let u be (-1)/(-3) - (-102)/18. Let a(h) = 6*h - 15. Is a(u) a multiple of 4?
False
Let p(w) = -w**2 - 4*w + 5. Let g be p(-5). Suppose y = 5*i + 16, g*i + 20 = -2*i - 3*y. Does 14 divide (-4)/1*45/i?
False
Let y(k) = -26*k + 8. Let l(q) = -1. Let h(s) = 2*l(s) + y(s). Is 22 a factor of h(-3)?
False
Suppose 7*p - 3 = -24. Let j(c) = c**3 + 4*c**2. Is j(p) even?
False
Suppose -14098 - 114152 = -75*o. Does 15 divide o?
True
Let k = -686 - -851. Does 33 divide k?
True
Let y(j) = 16*j**3 + 2*j**2 - 3*j - 2. Let o be y(-2). Let k = 223 + o. Does 11 divide k?
False
Let q(k) = -17*k**3. Let v be q(-1). Let c(u) = 3 + 4 - v*u + 6*u + u**2. Does 29 divide c(16)?
True
Is (2 - (-4)/24*-9)*256 a multiple of 16?
True
Let o(j) = j**2 - 6*j + 38. Is o(-6) a multiple of 22?
True
Is 58 a factor of 30/4*123 - (-6)/12?
False
Suppose -3*w + 4 = -w. Let s be w*-1*(-3 + 2). Is 3/6*2 + s a multiple of 3?
True
Suppose -4*b + 5*n = -0*n - 25, -n - 21 = -4*b. Suppose -s - 100 = -b*s. Is 7 a factor of s?
False
Let f = 73 + -77. Let p = f - -55. Is p a multiple of 9?
False
Is 1474/3 - (-4)/36*6 a multiple of 11?
False
Does 31 divide 2736 + -20 + 12 - 3?
False
Suppose 0 = y + 6*y - 7. Let i be y/2*(-9 + 13). Suppose 5*s = i*s + 105. Does 21 divide s?
False
Suppose -3*m + 4 + 14 = 0. Suppose -7*f + 45 = -m*f. Is f a multiple of 45?
True
Let p(o) be the first derivative of o**3/3 - 9*o**2/2 - 16*o - 16. Is p(13) a multiple of 8?
False
Suppose 0 = -s - 4*s + 25. Suppose 4*r - s = 5*j - 1, -4*j - r + 1 = 0. Suppose j = a - 0*a - 21. Is 7 a factor of a?
True
Let b = -4 - 14. Let u = 34 + -59. Let r = b - u. Does 6 divide r?
False
Let p(j) = j**3 + 2*j**2 - 10*j + 18. Let n be p(4). Suppose -w + 3*h = -28 - n, -w - 2*h = -92. Is w a multiple of 10?
False
Suppose -4 = 5*b - 4*b. Let k be (-1)/4*b*78. Let q = k - 56. Is q a multiple of 11?
True
Suppose -36 = -0*u - 6*u. Suppose -u*t + t + 335 = 0. Does 18 divide t?
False
Let l(q) = 610*q**2 - 276*q**2 + 8*q - 7 - 295*q**2. Is l(3) a multiple of 46?
True
Let m(w) = -3*w - 4. Let j be m(-2). Let b be (1/j)/(7/182). Suppose -o + 36 = -b. Is 13 a factor of o?
False
Let d be 11 + 2 - (-4 + 7). Let h = -14 + d. Is 11 a factor of ((-4)/h)/2*22?
True
Let n = 18 + -12. Suppose 4*x + g - 84 = 0, g - 104 = x - n*x. Is 20 a factor of x?
True
Suppose 6*x - 1 = 17. Suppose 0 = -x*q + 5*q - 162. Suppose q + 43 = 4*d. Does 31 divide d?
True
Suppose 2*g + 52 = 4*i, -i = g - 5 - 5. Is 12 a factor of i?
True
Let c = -41 + 74. Let i = c + -73. Let q = i + 88. Does 2