 0. Is 19 a factor of f?
False
Suppose 49*c - 2799709 = -839905. Does 20 divide c?
False
Let d(n) = -1915*n - 171. Is d(-1) a multiple of 149?
False
Suppose 5*m - 4872 = -0*i + 4*i, 2904 = 3*m + 4*i. Is 9 a factor of m?
True
Let k(f) = 5*f**3 + 7*f**2 - 2*f + 10. Let o(s) = -s**3 + s**2. Let y(r) = k(r) + 6*o(r). Is y(11) a multiple of 12?
False
Does 6 divide 1476/(-3936) - ((-391905)/24 + (2 - -1))?
True
Let z = 41693 - 6018. Is z a multiple of 24?
False
Suppose 5*r + b - 7 = 0, 2*b = -r - 0*b + 5. Is 8 a factor of ((-4)/3)/((r - -4)/(-105))?
False
Is 26685*((-92)/(-483) - 2/(-14)) a multiple of 15?
True
Suppose s - 5 = o, 5*s - 190 + 165 = -o. Suppose -2*w - 3*w = -15. Suppose -w*f = -s*a + 120, -5*a + 2*f = -a - 94. Is a even?
False
Let u(z) = z**3 + 6*z**2 + 3*z - 7. Let q be u(0). Let y(p) = -2*p**3 - 2*p**2 - 10*p - 47. Does 12 divide y(q)?
False
Suppose 2*g + 83344 = 4*j, -2*j + 41680 = 17*g - 19*g. Is 124 a factor of j?
True
Let d(v) = -9*v**3 - 6*v**2 + 9*v. Let i be d(-7). Does 15 divide (i/4)/7*4?
True
Suppose -3 = 3*n - 6. Let o be (-1)/n*(-5)/((-20)/424). Let z = o + 186. Is 4 a factor of z?
True
Let t be 0/((-3)/(3/(-2))). Suppose 2 = -t*h - 2*h, 0 = 5*k - h - 11. Suppose -4*z = -k*z - 160. Is 16 a factor of z?
True
Suppose -22*y - 1549 - 167 = 0. Let c = y - -108. Is 4 a factor of c?
False
Let k be 2*2/(-4) - -11. Suppose -4*m + 3*s = -5, -6 + 1 = -2*m - s. Does 5 divide m - k/8 - (-178)/8?
False
Suppose -126 = -7*i + 112. Let f = 22 - i. Let p = 24 + f. Is p a multiple of 7?
False
Let d = -49 - -52. Let u(v) = -2*v**3 + 2*v**2 - 2*v - 1. Let z be u(d). Let o = z + 51. Is o a multiple of 4?
True
Suppose -5*n = -3*t - 3482 - 1159, 3*n + 2*t = 2796. Let g = n + -483. Suppose -4*u = 15 - g. Does 9 divide u?
True
Let q(x) = 92*x**2 + 234*x - 4664. Is q(18) a multiple of 64?
False
Let c = 262 - 259. Is 18 a factor of 859 - (2 - (0 - c))?
False
Suppose 12*h = 8*h + 76. Suppose 12*s + h*s = 279. Is s a multiple of 5?
False
Is ((-4)/(-16)*14204 + 2)*(-1 - -2) a multiple of 17?
True
Suppose -15 = -3*y - m, 0 = -3*y + 5*m - 3. Let b be (y/6)/(6/(-99)). Does 18 divide (-1)/((33/234)/b)?
False
Let m = -27 - -32. Suppose -3*s + 5*r + 137 = 0, -4*s + m*r + 82 = -109. Suppose -4*u = -2*n - s, 4*u + 5*n = -0*u + 61. Is u a multiple of 14?
True
Let b be 8/(-12) + 3/((-9)/(-14)). Is 5 a factor of 3515/(-38)*b/(-5)?
False
Let f be (3 - 0) + (-2 - -2)/1. Let w be (f - 153/12)*-48. Is w/21 + (-12)/42 a multiple of 7?
False
Suppose -d + 3 = 2*y, 2*d + 5*y - 10 = -5. Suppose 4*c + 6*v - d*v = 8, c + 5*v + 17 = 0. Suppose -2*u - l + 165 = 56, -c*u = 5*l - 153. Does 7 divide u?
True
Suppose 3*f + 15786 = 2*u, -13*u + 17*u + 3*f = 31536. Is 107 a factor of u?
False
Suppose 61 = 3*m + 43. Let r(w) = 15 - 15*w + m - 41. Is 23 a factor of r(-4)?
False
Let r = -188 - -395. Let k = 313 + r. Suppose 0*j + k = 5*j. Is j a multiple of 25?
False
Suppose -k - 5*c - 33180 = -4*k, 12*k = 2*c + 132612. Is 34 a factor of k?
True
Let n(l) = -16*l - 634. Let j be n(-40). Suppose -2*z = -z. Suppose z = j*m - m - 875. Is m a multiple of 39?
False
Is (-833)/714 + 17678/12 a multiple of 32?
True
Let l = -5229 + 8789. Does 10 divide l?
True
Does 9 divide (142 - 28)/(-38) + -1 + (30584 - -2)?
True
Let b = -13 - -24. Suppose 5*r - 441 = -4*l, 11*l - 320 = -4*r + 16*l. Suppose c - r = b. Does 14 divide c?
False
Let x be (10 + -8)/((-1)/143). Let y = x - -462. Is y a multiple of 16?
True
Let o(x) = -x**2 + 6*x + 5. Let j be o(6). Suppose 2*t = -0*y - 3*y + 73, -j*t + 3*y = -214. Let s = t - 24. Does 11 divide s?
False
Suppose -2*d - 16 = -2*y, 0 = y - 3*d - 12. Let c(w) = -13*w + 121. Is c(y) a multiple of 5?
False
Let g = 51 - 26. Suppose -r = g + 3. Let j = -14 - r. Is 14 a factor of j?
True
Suppose -16*q + 3*c + 4554 = -14*q, -5*q = 5*c - 11310. Does 46 divide q?
False
Is 59 a factor of (-2)/(-7)*342525/50 + (-4)/14?
False
Let t = 13 + -8. Let a(y) = 2*y**2 + 5. Let h(x) = x**2 + 3*x + 16. Let s(v) = 2*a(v) - h(v). Does 23 divide s(t)?
False
Let m(b) = 133*b**2 - 148*b - 801. Is 75 a factor of m(-6)?
True
Let x(y) = 39*y**2 - 9*y + 12. Let m be 160/76 - 6/57. Is 10 a factor of x(m)?
True
Suppose 4*w + 3 = -4*d - 1, 4 = 4*d + 2*w. Let x be d*34/21*(7 + 0). Suppose 0 = -2*p - 2*j + 30, 3*p - 4*j - 11 = x. Does 5 divide p?
True
Let a(u) = 2*u**3 + 20*u**2 + 5*u - 5. Is 6 a factor of a(6)?
False
Suppose -5*a + 6*a = -5*p - 50, -3*a = -5*p - 30. Does 14 divide p/(-63) + (-3132)/(-28)?
True
Let n = 73688 + -46934. Is 14 a factor of n?
True
Let o(n) be the first derivative of -n**3/3 + 11*n**2 + 3*n - 86. Let m = 15 - -1. Is o(m) a multiple of 25?
False
Let z be (-17)/2*(-7 + 5). Let t(w) = 134 + z*w**2 + 22*w - 4*w**3 + 5*w**3 - 111. Does 13 divide t(-15)?
True
Suppose -4*i + 16 = 0, 14*o - 9*o = -9*i + 22751. Is o a multiple of 11?
True
Suppose k - 630 = -2*k + 3579. Is 61 a factor of k?
True
Suppose -2 + 10 = 8*v. Is 46 a factor of (v + -47)/(4 - (-135)/(-33))?
True
Suppose 35314 = 410*o - 409*o - 3*y, -4*o - y + 141217 = 0. Is o a multiple of 92?
False
Let n(a) be the second derivative of 0 + 1/12*a**4 - 6*a + 1/10*a**5 - 2/3*a**3 + 2*a**2. Does 2 divide n(2)?
True
Suppose 4*k - 3*k + b = 5551, 0 = -k + 2*b + 5557. Does 12 divide k?
False
Let o be (-135 - (-20)/(-5)) + -6. Let r = o + 611. Is r a multiple of 21?
False
Suppose -89*b + 93*b - 44 = 0. Suppose -131 + b = -2*o. Is o a multiple of 3?
True
Let q = 2966 + 8473. Does 135 divide q?
False
Suppose 0 = -3*j - 0*j + 5334. Suppose j = 4*n + 10*n. Does 23 divide n?
False
Let n = 9593 + 14087. Does 10 divide n?
True
Suppose 2*b + 3*c = 15, 1 = 2*b + 2*c - 15. Let f(z) = 10*z**2 - 30*z + 90. Is f(b) a multiple of 42?
True
Let k = -18 - -25. Suppose -s = f - 5, 3*f = s - 0*s + k. Suppose 107 = f*r + 20. Is 29 a factor of r?
True
Suppose -4*v = 3*x - 3894, 86*x - 91*x + 6490 = 2*v. Is x a multiple of 14?
False
Suppose -5*k + 5*d + 6780 = 0, 5*k - 5084 = -4*d + 1741. Let o = 7 - 3. Suppose o*t + 5*s = k, 0*s = 4*t - 3*s - 1385. Is 43 a factor of t?
True
Suppose 4*y = 6*y - 4. Let v be (0 - 2) + y - -21. Suppose 16*t = v*t - 645. Is t a multiple of 17?
False
Let v be 25 + -9 - 25 - (2 - 1). Does 7 divide (22197/35)/7 - 4/v?
True
Suppose -17*g + 36682 = -38169. Suppose 2077 + g = 10*r. Is r a multiple of 36?
True
Suppose 4*a - 1 - 19 = 0. Suppose -9*t + 3*h - 924 = -11*t, -3*h - 2268 = -a*t. Is t a multiple of 19?
True
Suppose -4*k + f + 931 = 0, -5*k - f = -7*k + 467. Suppose -k = -i - 50. Suppose -5*w + i = 8*w. Does 14 divide w?
True
Suppose -4*y + 172 + 8 = -2*d, -d = -y + 42. Does 48 divide y?
True
Let m be ((-4)/16)/(4/(-96)) - 2. Suppose 3*k - 4*h - 3975 = 0, 8422 - 1797 = 5*k - m*h. Does 39 divide k?
False
Is 148 a factor of 126/30 - 5 - 509152/(-40)?
True
Let l(j) = 53*j - 147. Let b(p) = 17*p - 49. Let x(v) = 8*b(v) - 3*l(v). Is 24 a factor of x(-13)?
False
Let g = 880 + -804. Is 8 a factor of g?
False
Let c be (-96)/(-24) + (0 - -1 - 1). Suppose c*m = -5*m + 5832. Does 24 divide m?
True
Let b be 8 + -6 - (-2 + (4 - 3)). Let c be 4*((-10)/(-8) + 0). Suppose 2 = 5*h - 23, -b*k - c*h + 106 = 0. Is 17 a factor of k?
False
Let v = 4885 + -4850. Suppose -6*h - 3*y - 371 = -2*h, -4*y - 109 = h. Let a = v - h. Is a a multiple of 10?
False
Let y(u) = 86 + 22*u + 2*u**2 + 4 - 5*u + 10. Does 81 divide y(-13)?
False
Let v(z) = 15*z + 1921*z**2 - 961*z**2 + 26 - 966*z**2 + 6*z**3. Is 26 a factor of v(6)?
True
Let s(f) = -12 + 0*f + 2 - 10*f + 11*f**2. Let v be 29 + (-23 - 17) - -1*7. Is s(v) a multiple of 23?
False
Let r = 20021 + -7978. Does 8 divide r?
False
Suppose -j + 102 = 2*j + a, -5*j + a = -170. Suppose 95 = 2*c - 1. Let i = c + j. Is i a multiple of 41?
True
Let a(m) = 9*m + 14*m + 8*m + 98 - 42*m. Is 35 a factor of a(-7)?
True
Let x(i) = -61*i - 4. Let w be x(2). Let a = -87 - w. Is 6 a factor of (-2)/13 + 669/a?
False
Let w be (-3)/21 + (-135)/(-63). Suppose w*f - 192 = -2*f + 2*j, -3*f - 3*j + 153 = 0. Is f a multiple of 11?
False
Let u(z) = z**2 - 20*z + 35. Let q be u(12). Let x = q - -78. Suppose -3*n + 451 = 2*y, 3*y + x = 2*n + 713. Does 46 divide y?
True
Let y be ((-177)/6)/(1/4). Let k be (8/10)/(6 + y/20). Suppose -k*r + r = -112. Is 5 a factor of r?
False
Let o = 10236 - 6276. Is o a multiple of 15?
True
Let y