271 - 73 = 0. Suppose c*q + 5472 - 14022 = 0. Is 19 a factor of q?
True
Let q = -67 + 30. Let s = q + 27. Let u = s - -78. Is u a multiple of 10?
False
Let g be (-1 - 3 - -76) + 4*1. Suppose -4*i - 8 = -g. Is 17 a factor of i?
True
Let t be 1/4 + 131/4. Suppose 11 - t = -2*a. Suppose 10*s = a*s - 268. Is s a multiple of 15?
False
Let m be -5*(3 - 112/20)*1. Let t be (2/(1 - -3))/(m/3874). Suppose 64 = -0*f + 2*f + 4*h, 4*f - t = -h. Does 19 divide f?
True
Let c(w) = w**2 - w + 2. Let d be c(1). Suppose d*a - 382 = -l, -4*a = -l + 370 + 36. Suppose -4*x + 166 = -l. Is 7 a factor of x?
False
Let z(s) = 3*s**3 + 2*s - 2. Let t be z(1). Suppose -3*c + t*w + 15 = 0, -3*c + 3*w - w + 14 = 0. Does 12 divide 0 - c/1*-12?
True
Let m = -23 - -44. Suppose m*q + 126 = 24*q. Suppose d + 5*d = q. Is d a multiple of 7?
True
Let v = -31 - -30. Does 13 divide (-2)/((-390)/388 - v)?
False
Let k(a) = 1190*a**2 + 170*a + 1164. Is k(-7) a multiple of 207?
False
Let a = 873 + 5855. Does 29 divide a?
True
Suppose -d + 2*s = 15066 - 44799, 0 = -3*d + s + 89159. Does 89 divide d?
False
Let r(x) = 4*x**2 + 2*x - 20. Suppose 0 = 62*m - 65*m + 15. Is 18 a factor of r(m)?
True
Suppose 13*r + 2*z = 16*r - 362, 5*r + z - 599 = 0. Is r a multiple of 60?
True
Is (0 + (-13)/2 + 2)*111000/(-37) a multiple of 108?
True
Suppose 3*p - 2*f + 1719 - 6751 = 0, 1679 = p - f. Is 15 a factor of p?
False
Suppose -5*p + 3*j = -76 - 0, 3*j = -4*p + 50. Suppose 394 = -p*m + 1556. Is m a multiple of 36?
False
Let u be -2*(-3 + (-3)/(-2)) + 0. Suppose -40 = -u*t + 110. Suppose 0*v - 25 = -v - 3*o, -o - t = -2*v. Is 11 a factor of v?
False
Suppose -161 = -6*c + 49. Suppose j + z = c + 308, j + 3*z = 345. Is 9 a factor of j?
True
Let f(n) = 59 + 14 - 197 - 58*n. Is f(-6) a multiple of 4?
True
Let t be 0 - (-6 - (42 + 5)). Suppose t = -3*d + 77. Is d a multiple of 3?
False
Let t(g) be the first derivative of 7*g**2/2 + 5*g - 16. Let v = 60 + -51. Does 17 divide t(v)?
True
Let r = -335 + 375. Is (176/r)/(((-2)/2)/(-50)) a multiple of 11?
True
Suppose 0 = -0*y - 7*y + 35. Let n(a) = 19*a + 10. Let v be n(y). Suppose 2*l + 0*l = -h + 42, 0 = -3*h + l + v. Does 8 divide h?
False
Let q(w) = 11*w**2 + 13*w + 85. Let r be q(-9). Let p = r - 493. Is p a multiple of 64?
False
Let w(v) = 3*v + 10. Let l be w(0). Is ((-7)/((-210)/216))/(1/l) a multiple of 2?
True
Let w = 258 - 18. Let i = 407 - w. Suppose -3*k + i = -121. Is k a multiple of 32?
True
Suppose 2*b - 16410 = 8*a, -2*a - 3028 - 38141 = -5*b. Does 74 divide b?
False
Let o be (-5778)/(-6) + ((-4)/1 - 1). Let i = 21 + o. Does 77 divide i?
False
Suppose -6 = y + 3*a, 2*y - 5*a = -0*y - 12. Let i(r) = -51*r + 45. Does 39 divide i(y)?
True
Let v(b) = 95*b - 3946. Is v(62) a multiple of 36?
True
Suppose 1561 = -15*m + 7366. Let d = m - -12. Is 21 a factor of d?
True
Suppose 3*y + y - 11380 = -2*k, -5*k = -y + 2878. Does 16 divide y?
True
Suppose -5*u + 35 = 5*s, -s - 3*u + 2 + 11 = 0. Suppose -s*k = -377 + 69. Let c = k + 55. Is c a multiple of 11?
True
Let z = -218 - -221. Let h(u) = 28*u**2 + u + 8. Is 8 a factor of h(z)?
False
Suppose -5*g - 29 = -2*y, 2*y + 0*g - 14 = 2*g. Suppose t - 77 - 237 = d, -y*t = 4*d - 634. Is t a multiple of 9?
True
Let f = 2193 + 167. Is f a multiple of 28?
False
Suppose -2*w = 5*u - 14, 2*u + 3 = -u - 5*w. Suppose -2*d + 2*o = 4*o + 82, -5*d - u*o = 202. Let j = d - -128. Does 15 divide j?
True
Suppose -3*h + 2*h = -w + 196, -401 = -2*w + 5*h. Let r = w + 39. Is r a multiple of 8?
True
Let i(k) = -3*k**3 - 30. Let z(y) = y**3 + y**2. Let h(m) = -i(m) - z(m). Let r be ((-2)/1 - -2)/2. Does 6 divide h(r)?
True
Let i(f) = 19489*f**2 + 296*f - 596. Is 56 a factor of i(2)?
True
Does 4 divide 14/112 + 11614/16?
False
Suppose 43 - 46 = -q. Suppose 5*v + 6 = -2*j - 85, 45 = -q*v + 2*j. Let n = 102 + v. Does 17 divide n?
True
Let b = -15271 + 32451. Does 20 divide b?
True
Let t = 5064 + -1368. Does 84 divide t?
True
Let l(j) = -13*j + 12. Let u be l(-3). Let s = 442 + u. Is 28 a factor of s?
False
Let u be (-2 + 18/4)/(4/24). Does 2 divide (-120)/u*(-54)/4?
True
Suppose -3*f - 3*w - 690 = 0, -19 = -3*w - 4. Let n = f - -516. Suppose 4*o - 71 = n. Does 11 divide o?
True
Let o(b) = -152*b + 6. Let v(m) = m**3 + 20*m**2 + 40*m + 69. Let q be v(-18). Is 7 a factor of o(q)?
True
Suppose 4*p - 258 = 2*c, 18*p - 20*p - 276 = 2*c. Let q = c + 351. Is 18 a factor of q?
True
Let p(r) = 169*r**2 - 39*r - 338. Is 26 a factor of p(-7)?
True
Suppose 6*l + 666 = 10602. Let n = l + -945. Is 25 a factor of n?
False
Let k(z) = -z**3 - 18*z**2 - 19*z - 4. Let p be k(-17). Let b = 35 - p. Suppose r - 5*u = 47, 107 = 7*r - b*r + 3*u. Is r a multiple of 13?
True
Is (-23 - (13 + -27)) + 1057 a multiple of 5?
False
Does 19 divide 7/((-21)/30) - 981465/(-59)?
True
Let a(b) = 37*b**2 - 331*b - 75. Is a(19) a multiple of 10?
False
Let q be 7/14 - 35/(-10). Suppose 2*x = -q*n + 274 + 760, -3*x + n + 1586 = 0. Is 31 a factor of x?
True
Let s(h) = -h**2 + 15*h - 26. Let o be s(13). Suppose 0 = 2*d - 3*y - 125, -4*d + 3*y + 2*y + 249 = o. Let i = d + 14. Does 12 divide i?
False
Is (-10214760)/(-644) + 12/(-28) a multiple of 17?
True
Suppose -19*s = 55*s - 347134. Is 4 a factor of s?
False
Does 43 divide (((-99434)/747)/((-3)/387))/((-2)/(-3))?
True
Suppose -3*n = 5*p - 7, -2*n + 5*n - 14 = 2*p. Does 24 divide -5 + n/((-28)/(-707))?
True
Suppose 3*n - 4 = -5*m, 3*n + 3 = -m - 1. Suppose 2*l - 69 = -3*q + 116, -m*q + 90 = l. Suppose s - 25 = -4*y, -s - 2*y = -3*s + l. Is s a multiple of 6?
False
Suppose -76*l + 3549299 = 178547. Is l a multiple of 126?
True
Let s = 14 - 17. Let w be s + 2 - (25 + (-3 - -1)). Is 10 a factor of (160/(-24))/(2/w*2)?
True
Let x = 412 + -291. Let o = 282 - x. Does 4 divide o?
False
Does 27 divide (18444/(-84) + -11)/(127/(-63) - -2)?
True
Let h(d) = -2*d**3 - 7*d**2 - 7*d - 8. Let b be (606/101)/(0 - (1 - 0)). Is h(b) a multiple of 12?
False
Suppose 88 - 24 = -2*j. Let l = 37 + j. Suppose -l*n = q + 3*q - 158, 2*n - 5*q - 83 = 0. Is n a multiple of 12?
False
Let w(m) = -96*m**3 + m**2 - 2. Let s(n) = -n**3 - 14*n**2 + 33*n + 15. Let i = -35 + 19. Let f be s(i). Does 20 divide w(f)?
False
Let u(i) = 94*i**2 - 38*i + 1086. Is u(17) a multiple of 20?
False
Let b = -752 + 796. Let c = -3 - -147. Let u = c - b. Is u a multiple of 20?
True
Let o(c) = -3*c**2 + 9*c - 3. Let b(n) = -10*n**2 + 27*n - 9. Let f(q) = -2*b(q) + 7*o(q). Let z be f(7). Let m(d) = d**2 - 6*d + 14. Is m(z) a multiple of 9?
False
Suppose 5*k - 27 = -b, 0 = -b - b + 4. Suppose 2*v - k*y + 435 = 4*v, 0 = -3*v - y + 659. Does 22 divide v?
True
Let r(l) = -2*l**3 - 34*l**2 - 42*l - 604. Is 8 a factor of r(-22)?
True
Let b = -2014 + 2030. Let j be 0/((-3 + -1)/(-2)). Suppose j = s - 24 - b. Is 10 a factor of s?
True
Suppose w + 77 - 72 = 0, -3*s = w - 1. Suppose f + s*k = 486, -19*k + 22*k - 481 = -f. Is f a multiple of 13?
False
Let u be (8 - 3)*(-60)/100. Does 5 divide ((-3 - u) + -111)*-1?
False
Let g(q) = q**3 - 15*q**2 + 13*q - 11. Suppose 7*d - 8 = -d. Let j be (d - 25/35) + (-206)/(-14). Does 22 divide g(j)?
False
Let x be ((-785)/(-10) + 1)*(2 + 2). Suppose -x = -17*i + 1399. Is i a multiple of 8?
False
Suppose 4*v - 1246 = 2*b - 4*b, -v - 1241 = -2*b. Let f be 2/8 + b/12. Suppose -4*n + f = -5*u, -n - 4*u - 4 = -u. Is n a multiple of 4?
True
Let j be (-4)/(-8) + (-1540)/(-8) + 4. Let v = j + -129. Does 2 divide v?
True
Let z = -335 - -337. Suppose z*r = 1085 - 141. Does 8 divide r?
True
Suppose 10*j - 13*j = 894. Let k = j - -643. Does 15 divide k?
True
Let g = -13 - -60. Suppose g - 75 = -k. Is k a multiple of 2?
True
Let s(d) = -6825*d - 775. Does 5 divide s(-2)?
True
Suppose 3*d = -2*u + 35, u + 4*d = 7 + 13. Let a be 358/18 + (140/(-36) - -4). Suppose -a*n = -u*n - 264. Is 22 a factor of n?
True
Suppose -4*y = -3*f - 16, 3*f - 2 = -y + 2. Suppose 3*r = -5*k - 0*r + 34, -y*r - 3 = -3*k. Suppose k*z + z - 564 = 0. Does 29 divide z?
False
Let w be -5*(-3)/(-3) + 165. Is (-2)/16 - (-66900)/w a multiple of 19?
True
Let u(t) = -2*t**2 - 74*t - 68. Let o be u(-36). Suppose -4*l - 3*g + 1143 = 0, o*g + 876 = 5*l - 2*l. Is 36 a factor of l?
True
Let n(t) = 2*t - 23. Let i be n(12). Let y = -3 + i. Let m(a) = -18*a - 4. Is 24 a factor of m(y)?
False
Let d be ((-8