 3*h. Suppose -2*z + 93 = 3*o, 4*z - 6*o + o - d = 0. Is 21 a factor of z?
True
Does 16 divide 24*((-3)/4 + (-990)/(-40))?
True
Let o be 2*3/(-6)*-3. Suppose 2*q = o*q. Suppose -5*d + 259 = v, 3*d - d - 2*v - 106 = q. Is d a multiple of 13?
True
Let f = -871 - -1191. Is 3 a factor of f?
False
Let n = -7 + 10. Suppose -2*x - n = -23. Suppose 3*f = 107 + x. Is f a multiple of 20?
False
Let m(v) = 9*v + 12. Suppose 4*n + 19 = -13. Let j be m(n). Let o = -39 - j. Does 21 divide o?
True
Let g = -11 - 31. Let u be (90/7)/(g/(-392)). Suppose -c = -0*c - u. Does 23 divide c?
False
Let x = -170 - -558. Is 51 a factor of x?
False
Suppose 0 = y - 2*l + 56, -2*l = -y + 2*y + 60. Is (0 - y)/((-7 - 3)/(-5)) a multiple of 7?
False
Suppose -5164 = -13*p + 4924. Does 31 divide p?
False
Let p(i) = 2*i**2 - i - 1. Let y be p(-1). Let x(n) = 5 - 9*n - n**y + 1 + 2*n - 4. Is x(-5) a multiple of 2?
True
Let a be (-184)/(-12)*6*3. Suppose -7*b - a = -913. Does 18 divide b?
False
Let s(p) = -15*p + 114. Is s(-5) a multiple of 4?
False
Let w be 1059/(-27) + (-8)/(-36). Let x = -19 - w. Does 7 divide x?
False
Suppose 3*n = -5 + 14. Let q be -1*(-63 - (-2 + n)). Suppose -23 = -x + q. Is 14 a factor of x?
False
Let r(c) = -c**2 - c - 1. Let g(z) = -z**2 - 8*z - 24. Let y(l) = g(l) - 4*r(l). Is y(-5) a multiple of 4?
False
Suppose -6 = z - 4*z. Suppose -3 = -z*m + 1. Suppose 6*x = m*x + 76. Is x a multiple of 6?
False
Let o(h) = 9*h**3 - 12*h**2 + 3*h + 14. Does 14 divide o(5)?
True
Suppose 2*j - 5*d = 461, -4*d + 3 = -1. Is j a multiple of 65?
False
Suppose -2*x + k + 64 = 0, -2*x + 33 + 31 = -3*k. Let l be 3/(-6)*x/(-4). Suppose -3*g + l = -59. Is 6 a factor of g?
False
Let f(s) = s**2 + s - 1. Let i be f(2). Is 88 + 10/(i/1) a multiple of 18?
True
Let x(w) = 2*w**2 + 16*w - 12. Let j be x(-9). Suppose 2*h - j = 0, -4*h = -4*c - 0*h + 80. Does 23 divide c?
True
Does 6 divide (5 - 89)/(0 - 1)?
True
Suppose 0 = -3*c - 3*p + 8448, 13*p - 10*p + 2824 = c. Is 16 a factor of c?
False
Let o(u) = 132*u**3 + 2*u - 1. Let f be o(1). Suppose -5*c + f = -42. Is 6 a factor of c/2 - (-2)/4?
True
Let o be (-4)/(-14) - (-9)/(-7). Let z = 3 + o. Suppose -12 = j + z*w + 2*w, 3*w - 25 = -5*j. Is 2 a factor of j?
True
Let l(s) = s**2 + 2*s + 4. Let m(k) = k**3 - 11*k**2 + 10*k - 8. Let u be m(10). Does 4 divide l(u)?
True
Suppose 2638 = 4*q + 846. Is q a multiple of 4?
True
Suppose 2*j - 3*j = 0. Does 12 divide (0 + 1)*(j + 41)?
False
Let f(t) = -3*t**2 + 7*t - 2*t + 4*t**2 - 4 + 0*t. Is 3 a factor of f(3)?
False
Suppose 0 = 4*l + 3*q - 540, q = 5*l - 2*q - 675. Let j = -81 + l. Does 18 divide j?
True
Suppose -8*j + 4*j = 0. Let h = 6 + j. Does 4 divide h?
False
Suppose 0 = 4*h - 2*z - 3*z + 6, -4*h - z + 6 = 0. Suppose -6*j + 79 = 97. Let r = h - j. Is 2 a factor of r?
True
Let a(f) = f**3 + 9*f**2 - 10*f - 6. Let m be a(-10). Let g be m/2*12/(-2). Suppose 3*p - 21 = g. Does 11 divide p?
False
Let q be 10/(-2) + 6 + -13. Let v = 18 - q. Does 5 divide v?
True
Suppose -2*k = -22*j + 17*j - 1115, j - 2241 = -4*k. Does 5 divide k?
True
Let r(v) = -8*v + 56. Does 12 divide r(-33)?
False
Let k(i) = -3 - 5 + 5*i + i + 2. Let a be k(2). Is 7 a factor of (a/2 + -2)*8?
False
Let f = 596 - 413. Is 3 a factor of f?
True
Let o(y) = 2*y**3 + 33*y**2 - 6*y - 25. Is o(-15) a multiple of 15?
False
Let i(l) = 80*l + 81. Is 14 a factor of i(5)?
False
Let p = -2 - -2. Suppose -224 = -p*d - 2*d. Is 12 a factor of d?
False
Suppose -2*a - 3*l + 9 = -0, 0 = -2*a + l - 3. Suppose 202 = 5*v - b, 2*v + a*v - 3*b = 86. Is 8 a factor of v?
True
Let t(s) = -47*s - 229. Is 23 a factor of t(-26)?
False
Does 41 divide -115*1/(-10)*2*31?
False
Is (-624)/14*(-84)/24*2 a multiple of 8?
True
Let w = 194 + -106. Let l = w - 40. Is l a multiple of 6?
True
Let o(w) = 1 + 2*w + 0 + 4 + 1. Let h(p) = -3*p - 5. Let k(i) = 3*h(i) + 2*o(i). Is k(-4) a multiple of 14?
False
Let v(p) = p**2 + 10*p + 3. Let m be v(-10). Suppose 127 = m*j - 11. Does 7 divide j?
False
Let i(h) = h**3 + 4*h - 7. Let t be i(5). Suppose -5*q + 217 + t = 0. Let p = q + -37. Is p a multiple of 14?
False
Let a be 47 + 1 + 4 + 3. Let j = 72 + a. Let v = j + -75. Is v a multiple of 9?
False
Let p = 703 - 581. Is p a multiple of 11?
False
Is (9/4)/(56/17472) a multiple of 18?
True
Let f(m) = 315*m - 27. Does 12 divide f(6)?
False
Suppose 11 = 4*k - l, k - l + 3 = 4*k. Let a(v) = v**3 - k*v + 5 - 6*v - 4*v**2 + 3*v. Does 5 divide a(5)?
True
Suppose 5*k = c - 15, 0*k + 5*k + 45 = 2*c. Does 5 divide 16*3/(-9)*c/(-8)?
True
Let p be ((-25)/(-3))/((-3)/(-18)). Let k = -35 + p. Suppose -v + k = 4. Is 10 a factor of v?
False
Let k be (1 - 1)/(-1 + 0). Suppose -g + k*g = -2. Does 3 divide -21*((-12)/9)/g?
False
Suppose 5*d + 70 = -5*g, 3*g = -0*g - d - 46. Let x = 5 - g. Let i = x - 18. Is i a multiple of 3?
True
Suppose -4*d = 465 - 13. Let v = d - -194. Let r = -56 + v. Does 4 divide r?
False
Suppose 0 = 6*z + 3*z - 54. Is 22 a factor of 523/z + (-2)/(13 - 1)?
False
Let n(w) = 78*w - 37*w - 53*w + 28. Is n(-6) a multiple of 50?
True
Suppose 259*t - 1760 = 254*t. Does 10 divide t?
False
Is 37 a factor of ((-419)/2)/((-56)/112)?
False
Suppose 0 = -4*q + 8*q - 12. Suppose -2*d + 3*g - 2*g = -355, 165 = d - 3*g. Suppose 0*h + d = q*h - 4*b, -4*h + 2*b + 240 = 0. Is h a multiple of 15?
True
Let m(r) = -5*r**3 + 3*r**3 - 2*r**2 + 5 - 5*r**2 + 4*r. Let q be m(-6). Let x = -104 + q. Is 16 a factor of x?
False
Let c(b) = 54*b**2. Suppose 14 = -4*d - 66. Let l = 21 + d. Is c(l) a multiple of 12?
False
Let l = -28 + 27. Let w be -160*l/(10/4). Suppose -m + o = -w, 0 = -0*m + 4*m + o - 236. Is m a multiple of 25?
False
Is (-46)/4*(5 - 6)*26 a multiple of 23?
True
Let j = -44 - -46. Suppose j*s + 37 - 179 = 0. Does 2 divide s?
False
Let n(z) = 9*z - 9. Suppose 4*g + r = 28, -18 = -g - 2*r - r. Does 9 divide n(g)?
True
Let u = -38 - -149. Does 3 divide u?
True
Let b(h) = -h**3 + h**2 + 10*h + 5. Let l(a) = a + 1. Let k(g) = -b(g) + 3*l(g). Does 21 divide k(5)?
True
Suppose -8*y + 104 + 488 = 0. Let o = 13 + y. Does 15 divide o?
False
Let v = -991 - -2222. Is v a multiple of 8?
False
Does 14 divide 11/(-3*(0 + 6/(-558)))?
False
Let v be 6/(-4) - 69/(-2). Suppose -v = -2*m - m. Let c = 20 - m. Does 7 divide c?
False
Let b(o) = -o**3 + 16*o**2 - o - 4. Let a be b(16). Does 12 divide (-24)/a*20/1?
True
Let s(q) = -q + 17. Let r be s(11). Suppose -56 = -2*f + r. Suppose -29 = -4*p + f. Is 15 a factor of p?
True
Suppose 5*c - 126 - 23 = y, 0 = 5*c + y - 141. Let o = c + 13. Is 21 a factor of o?
True
Suppose -g + 137 = -106. Let r = g + -172. Does 16 divide r?
False
Let s = -10 - -14. Suppose 4*a = -16, h - 5 = s*h + 5*a. Suppose -o + 0*t = 3*t - 51, -h*o = -5*t - 355. Is o a multiple of 14?
False
Let u(i) = 16*i + 19. Let o be u(5). Is 5 a factor of (-22)/o + (-146)/(-9)?
False
Let i(f) = f**2 - 6*f + 1. Suppose -4*z - 3*z = -119. Let c = z - 8. Is 4 a factor of i(c)?
True
Suppose -11475 - 68013 = -23*j. Does 11 divide j?
False
Let k = 35 + -20. Let y(m) = -2*m**2 + m**2 + 0*m - 2*m + k*m. Is 11 a factor of y(11)?
True
Let a = 41 - 49. Is (-3)/12 + (-754)/a a multiple of 22?
False
Let b(j) = 8*j + 6. Let x be b(3). Suppose z + 4*o - x = -0*o, -129 = -5*z + o. Is z a multiple of 6?
False
Suppose -120 = -5*i + 5*a, 120 = 5*i + 7*a - 11*a. Is 2 a factor of i?
True
Let o = 184 - 171. Let m(i) = 71*i**2. Let t be m(-2). Suppose -17*a + o*a = -t. Is a a multiple of 17?
False
Let r(o) = 20*o**3 + 2*o**2 - 2*o + 2. Let p = 28 + -26. Let w be r(p). Suppose -2*d = 2*s - 0*s - w, -2*s = 3*d - 253. Is d a multiple of 31?
False
Let f be 40/3*(-4)/((-48)/45). Does 7 divide f - (1 + -7 + 3)?
False
Let t(x) = x**3 + x**2 - x. Let u(p) = 3*p**3 + 10*p**2 + p + 12. Let c(z) = -2*t(z) + u(z). Does 12 divide c(-6)?
False
Let u(o) = -3*o**3 - 3*o**2 + 14*o. Is u(-5) a multiple of 5?
True
Let o(z) = 8*z**2 + 14*z + 6. Let s be o(-7). Suppose 2*g + 2*g - s = 0. Does 25 divide g?
True
Suppose -5*z = -108 + 28. Suppose -z*v - 56 = -20*v. Is v a multiple of 9?
False
Is 102 a factor of ((-1248)/(-288))/(1/306)?
True
Suppose 0 = 3*m + 2*m + 25. Let r = 9 + m. Is 12/3*24/r a multiple of 12?
True
Suppose 4*l + l - 30 = 0. Suppose -l*q = -q - 65. Suppose 5*o - 43 = -q. Does 2 divide o?
True
Let g = -771 + 1035. Doe