-3*x + 18. Let k be ((-18)/54)/((-1)/c). Suppose 0*h - 2*h = -10, -5*n = k*h - 275. Is 17 a factor of n?
True
Suppose p = 136*s - 134*s + 1932, s - 5838 = -3*p. Is p a multiple of 3?
True
Let h(d) = 62*d**2 - 505*d - 3048. Is h(-6) a multiple of 18?
True
Let r = 688 + -1487. Let p = r + 1144. Is 10 a factor of p?
False
Is 57 a factor of (-2244 + -1)*(-23500)/1250?
False
Let k(m) = -m**3 + 22*m**2 + 7*m + 4. Let r = -27 - -93. Let a be (r/9)/(1 - (-2)/(-3)). Is 26 a factor of k(a)?
False
Let i = -415 + 154. Let c = 412 + i. Is 5 a factor of c?
False
Suppose -40838 = -21*g + 35583 - 4895. Is 13 a factor of g?
True
Suppose -2715 = -4*x + q, 5*q + 61 = 86. Is x a multiple of 85?
True
Suppose -2*a + 3130 = -59*j + 63*j, -j = 6*a - 9313. Is a a multiple of 41?
False
Is 7 a factor of (-2)/(-6 - (-489)/84*202/196)?
True
Suppose 4*w - 2*s = 21958, 3*w + 481*s - 480*s = 16456. Is w a multiple of 18?
False
Let a be (-207)/(-15) + ((-6)/(-5) - 1). Let q(d) = -d**2 + 13*d + 19. Let m be q(a). Suppose s - 2*x = 15, 15 = s - m*x + 3. Is 14 a factor of s?
False
Suppose 6*m - 14*m = m. Suppose 3*z + 14*z - 3740 = m. Is z a multiple of 3?
False
Let h(w) = -2*w - 32. Let g be h(-18). Let v(i) = i**2 - 2*i - 4. Let n be v(g). Suppose -n = 6*s - 118. Is 19 a factor of s?
True
Suppose 9*n - 6450 = 93. Let k = -247 + n. Does 17 divide k?
False
Let o = 102 - 74. Suppose 0 = r - 0*r - o. Is (-3 + r)*(18/(-5) - -4) a multiple of 10?
True
Let v be ((-38)/57)/((-1)/(-66)*-2). Suppose -17*w + v*w = -4*t + 153, -4*t - 3*w = -159. Is t a multiple of 6?
True
Suppose -27111 + 1191 = -9*j. Suppose 0 = 6*m + 9*m - j. Is m a multiple of 12?
True
Suppose 3*b = -4*c + 8380, -7*c + 20 = -11*c. Does 28 divide b?
True
Let l = -42 - -49. Suppose -l*k + 1695 + 384 = 0. Is 23 a factor of k?
False
Let o = 2261 + 624. Let g = o - 1412. Is g a multiple of 32?
False
Let d(w) = 5*w**2 - 53*w - 6. Let r be d(29). Is 7 a factor of r/10 + (-5)/25?
True
Let f(l) = -149*l - 173. Let s be f(9). Is 8 a factor of (-9 + (-8 - s))/(1 - -2)?
False
Let c be (-4 - -1) + 3*-15. Suppose -10*t = 6*t - 1424. Let v = t + c. Is v a multiple of 21?
False
Suppose -5*a - 31 = -81. Let w be 7 + (-3 - a/(-5)). Let v(s) = 20*s - 9. Does 36 divide v(w)?
False
Let u be 4 - (8/6)/((-9)/108). Is 46 a factor of (16/u)/(3 - (-2756)/(-920))?
True
Let s(n) = -n**3 - 10*n**2 - 13*n - 12. Let z be s(-11). Suppose 12*r = 9*r + z. Suppose j - r = -19. Is j a multiple of 4?
False
Let z(g) be the second derivative of g**4/12 - 4*g**3/3 + 6*g**2 + 41*g. Let f be z(5). Is 32 a factor of -3 + 2 + 1 - (-227 - f)?
True
Let k be -62*(-4 + (-9)/(-2)). Let g = k - -37. Does 13 divide g/5*2210/51?
True
Suppose 0 = -29*i - 24*i + 103325 - 20592. Does 223 divide i?
True
Let r = 85 + -96. Let p be -5 - r - (0 + 1). Suppose -7*g = -v - p*g + 209, -v + 209 = -5*g. Is 19 a factor of v?
True
Let u be (-3)/(18/(-4)) + 24/72. Suppose -5*k - 2 = -4*a + 15, 0 = -3*a - 2*k - 16. Does 2 divide u - a - (-3)/(-3)?
True
Suppose 134*h - 130*h - 46240 = -5*x, 4*h - 9264 = -x. Is 184 a factor of x?
False
Suppose -4*j + 144 - 116 = 0. Suppose -3*s = j*s - 2880. Does 48 divide s?
True
Let j(m) = m**2 - 4*m - 27. Let u be j(7). Let v(k) = -2*k**3 + k + 10. Does 14 divide v(u)?
False
Let m(i) = -28*i**2 - 3*i - 5. Let q(t) = -54*t**2 - 6*t - 9. Let g(u) = 5*m(u) - 3*q(u). Is g(-1) a multiple of 8?
False
Let u(k) = k**2 + 11*k + 38. Let s be u(-5). Suppose -972 = -s*q - q. Is q a multiple of 18?
True
Let d(a) be the third derivative of -1/3*a**3 + 1/8*a**4 + 1/30*a**5 + 0*a + 15*a**2 + 0. Is d(4) a multiple of 4?
False
Suppose 0 = w - 27 - 41. Let b(x) = 2*x**2 - 377*x - 1528. Let u be b(-4). Let t = w - u. Does 14 divide t?
True
Let r(c) = -c + 3. Let o be r(-6). Let q be (4 + 143/(-26))*8/(-2). Suppose -3*d + q = -o. Does 2 divide d?
False
Suppose -45 = 2*q + 2*n + 27, 4*n - 225 = 5*q. Let r = 21 - q. Let x = 100 - r. Is x a multiple of 25?
False
Let t be -1 + (2/8 - (-15)/4). Suppose 0 = -3*p + 15 + 21. Suppose -p = -4*l, -3*l - 45 = -t*n + 2*l. Is 5 a factor of n?
True
Suppose -39*c + 6499 = u - 38*c, -16 = -2*c. Does 32 divide u?
False
Is 120354/10 + (-342)/(-95) + -4 a multiple of 49?
False
Let w = 9440 - 7187. Is 10 a factor of w?
False
Let h = 35 - 10. Let c = 185 + h. Is c a multiple of 6?
True
Let k(n) = -n - 7. Let s be k(-12). Suppose -s*u + 4*v = -100, 2*u + 3*v = -2*v + 7. Is 6 a factor of 2/4*-1 - (-1160)/u?
True
Let b = 54726 - 38074. Does 65 divide b?
False
Let g(m) = -6*m + 257. Let i be g(44). Does 27 divide 460 + (-7 - (i + 1))?
True
Let g(d) = -84*d + 186. Does 8 divide g(-18)?
False
Let o = -5744 - -6614. Is o a multiple of 2?
True
Let j(o) be the second derivative of o**5/12 - 29*o**3/6 + 3*o**2/2 - 5*o. Let i(z) be the first derivative of j(z). Is 18 a factor of i(7)?
True
Suppose 0 = 4*o + t - 2516, -o = -12*t + 15*t - 618. Is o a multiple of 9?
True
Let u be -5*12/(-40)*2. Suppose 0 = -5*m + 3*z - 249, 202 = -7*m + u*m + z. Let g = 85 + m. Is 10 a factor of g?
False
Let i = -1011 - -583. Let b = 600 + i. Is 43 a factor of b?
True
Let d = 2672 + -459. Is d a multiple of 78?
False
Suppose -9 = 3*i, 0*n - 3*n - 2*i + 3 = 0. Suppose -2*p + 2*w = -3*w - 164, n*p - 5*w - 236 = 0. Is p a multiple of 12?
True
Let j(u) = -u**2 - 20*u - 10. Let n be j(-13). Let v = -79 + n. Suppose 0 = -3*s - v*s + 715. Does 13 divide s?
True
Suppose 203*y - 542*y + 5585171 - 846968 = 0. Is 16 a factor of y?
False
Is 23 a factor of (-12)/(-26) + 473088/1144?
True
Let j(v) be the second derivative of 43*v**3/3 + 43*v**2/2 - 67*v. Is j(5) a multiple of 43?
True
Suppose -26135 = -5*c + 5*p, 9*c - 4*c - 26155 = -5*p. Is c a multiple of 83?
True
Let f(n) = n - 1. Let s = 63 + -62. Let h(a) = a**2 + 7*a - 20. Let q(t) = s*h(t) + 4*f(t). Is q(-20) a multiple of 25?
False
Suppose 80*z + 779 = 99*z. Is 3 a factor of (-2)/3*(-46 - z)?
False
Let k(u) = 8*u**3 + 5*u**2 - 42*u - 38. Let i(l) = -4*l**3 - 2*l**2 + 22*l + 19. Let t(y) = 11*i(y) + 6*k(y). Does 39 divide t(6)?
False
Let d(k) = -k**2 - 10*k - 22. Let r be d(-5). Suppose -r*i = -p + 1176, -2*i + 5*p = 2*i + 1568. Let n = -237 - i. Is n a multiple of 24?
False
Suppose -2*m - f = -4*m + 13859, -f + 34651 = 5*m. Is m a multiple of 30?
True
Let a = 397 + -198. Suppose 0 = 5*m - 3*v + 33 - a, -m + 44 = 3*v. Is m a multiple of 35?
True
Let p(l) be the first derivative of 17/2*l**2 - 22*l + 3. Does 27 divide p(7)?
False
Let s = -16552 - -27888. Does 52 divide s?
True
Does 10 divide (-3183818)/(-440) + 1/20?
False
Suppose -4*k = 125 + 159. Suppose -a - 4 = -2*a. Does 7 divide (k/(-33) - a/(-22))*9?
True
Let v = -8 + 8. Suppose 2*k - 8 - 30 = v. Does 4 divide k + 2/(-8)*-4?
True
Suppose 40*q = 30*q + 56620. Does 12 divide q?
False
Let k = 390 + -401. Does 6 divide (-3060)/(-27) - (k/3 + 3)?
True
Suppose 0 = -5*u + 2*u + 9. Suppose -2*h + 5*y = -27, -2*h = 8*y - u*y - 17. Is 8 a factor of h?
False
Let x(s) = -195*s - 691. Is x(-17) a multiple of 33?
False
Let o(u) = 100*u - 14. Let j = -11 - -15. Is o(j) a multiple of 16?
False
Suppose p + 14*p = -8160. Let n = p - -376. Is (-1136)/(-14) + 2 - (-24)/n a multiple of 5?
False
Let h be (-30)/(-50) + (-2217)/(-5). Suppose 6*m = 2*m + h. Let l = m - 76. Is 5 a factor of l?
True
Let h = 187 + -176. Suppose 4*o - 10*x = -h*x + 39, o + 6 = 5*x. Does 2 divide o?
False
Let g(h) = 2*h + h**3 + 12 - 20*h**2 - 2 - 9 + 0*h. Let b be g(20). Let s = b - -12. Is s a multiple of 3?
False
Let r = -1174 - -1709. Is r a multiple of 42?
False
Let j be (-2)/12 - 1349/114. Does 12 divide (-29170)/(-30) + (-2 - 20/j)?
True
Let h(l) = 166*l + 8. Let f(j) = 1. Let m(x) = 3*f(x) - h(x). Let i be m(-1). Suppose -i = -4*b - 5*z, 2*b - z - 94 = z. Is 44 a factor of b?
True
Suppose 5*y - 3*i + 812 = y, -216 = y - 4*i. Let f = y - -290. Is 45 a factor of f?
True
Suppose -6228 = 166*v - 262441 - 112639. Does 14 divide v?
False
Let b(p) = p**3 + 108*p**2 + 210*p - 1092. Is b(-105) a multiple of 40?
False
Suppose -2*s - a + 1375 = 0, -a + 2756 = 4*s + 3*a. Let t = -446 + s. Is t a multiple of 24?
True
Let y(c) = -3*c**2 - 651*c - 119. Is 17 a factor of y(-85)?
True
Suppose 6*j + 15 = j. Let d be (j/(-27)*6)/(2/(-12)). Does 27 divide d + ((-198)/(-4))/((-3)/(-6))?
False
Let v(s) = 3*s**2 - 72*s + 37. Suppos