ose -72 = 3*q - 6*q. Let u = q - 12. Is u a multiple of 6?
True
Let d(c) = -c**2 - 5*c + 12. Let s be d(-7). Let u(p) = 16*p**2 + 5*p + 2. Is 8 a factor of u(s)?
True
Let z(x) = x**3 + 6*x**2 + 7*x - 2. Let k be z(-4). Suppose 0*y = k*y - 204. Does 14 divide y?
False
Is 51 a factor of ((-720)/(-5))/(6/4)?
False
Let j be -4*4/(-8) + 38. Is 22 a factor of (48/j)/((-3)/(-110))?
True
Let i(o) = 25*o**2 + 16*o + 19. Let q(d) = -8*d**2 - 5*d - 6. Let w(j) = -2*i(j) - 7*q(j). Let p be w(-2). Suppose -v + p = -14. Does 9 divide v?
True
Suppose -5*b - m - 103 = -870, -2*m = 6. Is b a multiple of 14?
True
Suppose 2*u + 48 = 912. Is u a multiple of 18?
True
Let y be (1 - (-4 + 1)) + 4 + -2. Suppose -3*j = -4*t + 60 - y, 4*t - 5*j - 58 = 0. Is 2 a factor of t?
True
Suppose 3*l - 5*o + 37 = 0, -4 = l - 2*o + 10. Let w(u) = u**2 - 8*u - 10. Does 6 divide w(l)?
False
Suppose 5*w - 215 = -5*a + 5, -132 = -3*a - 2*w. Suppose -6*s = -4*s - a. Does 17 divide s?
False
Suppose 0 = 2255*g - 2246*g - 18396. Is g a multiple of 73?
True
Let n = -453 - -882. Suppose -29*u = -26*u - n. Is u a multiple of 11?
True
Let d = -9 - -10. Let k = 6 - d. Let j(f) = 2*f**2 + f - 11. Is 22 a factor of j(k)?
True
Let q(l) = 4*l - 2. Let x be 1/(1 - 2/3). Let m be q(x). Suppose -3*g + m = -5. Is g a multiple of 5?
True
Suppose 9*z = 2*z - 119. Let f = -15 - z. Suppose -f*n - 3 = -41. Is 4 a factor of n?
False
Let u = 6 + 14. Let o be (u/8 + -2)*0. Suppose 5*i + 94 - 494 = o. Is i a multiple of 17?
False
Suppose 5 = -5*p + 15. Suppose -125 = -p*d - 3*d. Does 12 divide 8 + (-12)/3 + d?
False
Let c be 8/10*(-25)/(-10). Let n be (5 + -3)/(c + -1). Suppose n*q + 2*l - 106 = 0, -2*l - 210 = -4*q - 5*l. Is 11 a factor of q?
False
Suppose -2*m + 4*v = -6*m - 624, 609 = -4*m - v. Let r = -90 - m. Is 7 a factor of r?
False
Let b be ((-32)/40)/((-2)/95). Suppose 2*j - 8 = r + 19, r = -3*j + b. Suppose j = -4*a + 121. Is a a multiple of 9?
True
Suppose 2*h + 0*c = 4*c - 82, -h - 3*c - 31 = 0. Let r = -9 - h. Suppose -5*f + 87 = -r. Is f a multiple of 6?
False
Let q = -8 - -8. Let a = 2 - q. Suppose a*x = 3*u - 79, 4*x = u + 3*x - 28. Does 9 divide u?
False
Let z(m) = -153*m - 22. Is 9 a factor of z(-5)?
False
Let y = -27 + 33. Does 10 divide 10*2/y*3?
True
Suppose 0*m + 7 = m - 2*x, 4*x = -m + 1. Let h be 4 - (2 + (-1 - -2)). Let c = h + m. Is c a multiple of 2?
True
Suppose 2*p + 8 = 14. Suppose y + 10 = 4*m - p*m, 4*y + 20 = -m. Is 110/(0 + y/(-3)) a multiple of 12?
False
Let q be 17 + 2 + -3 + 0. Let w = -243 - -139. Is 706/26 + q/w a multiple of 8?
False
Let b(d) = d**3 - 6*d - 6. Let i be b(9). Suppose -r = 2*r - i. Suppose r = 5*a + 3*k, 2*a - 2*k - 84 = 2*k. Is a a multiple of 22?
True
Let j = -5 - -9. Suppose -j*h + 103 = -113. Is h a multiple of 15?
False
Suppose -5*p - 24 - 41 = 0. Let q = p + 17. Suppose -89 = -5*t + 5*n - q*n, 2*n + 8 = 0. Is 17 a factor of t?
True
Let b = -18 + 6. Let p be ((-8)/b)/(1/(-486)). Is 2/(9/(p/(-8))) a multiple of 9?
True
Is 11 a factor of -3 + (5 - (-247 - -6))?
False
Suppose 9*m - 4*m + 15 = 0. Let h be 8*((-20)/(-8) + m). Is (-42)/(-28) - 6/h a multiple of 3?
True
Let k(c) = 2*c**2 - 5*c + 8. Let n be k(3). Let i = 18 - n. Suppose z + 2 = -b + 3*z, b = 3*z - i. Is b a multiple of 8?
True
Let r(w) = -28*w + 579. Is 3 a factor of r(17)?
False
Let h = -2 + 6. Does 15 divide (31/h)/(9/72)?
False
Suppose -18*d - 1091 = -3017. Is d a multiple of 4?
False
Let i(a) = 137*a**2 + 3. Does 19 divide i(-2)?
True
Suppose 2*r - 4*d - d + 129 = 0, -3*d = 3. Let b = -22 - r. Does 21 divide b?
False
Suppose -4*x + g + 31 = 0, 5*x = x + 4*g + 40. Suppose 3*h + 208 = x*h. Is h a multiple of 26?
True
Let y = 16 - 20. Does 37 divide 1*(-526)/8*y?
False
Let t be 3/1*(10 - 9). Let s(c) = 5*c + 10. Let j be s(7). Suppose -t*r = -2*r + 5*p - j, 245 = 5*r + 5*p. Is 25 a factor of r?
True
Let k(p) = 0*p**3 + 15*p**2 + 10 - p**3 - 4*p**2 + 8*p. Let r = 1 - -10. Does 26 divide k(r)?
False
Suppose -22 - 1 = -5*p + 2*c, 8 = -2*c. Suppose -p*u + 70 - 6 = 4*v, 3*v + 3*u = 51. Does 2 divide v?
False
Suppose 12 = 4*n - 8. Let p be (56/21)/((-2)/(-111)). Suppose -28 = n*v - p. Is 12 a factor of v?
True
Let n be 1848/20 - (-6)/(-15). Suppose 952 = 9*p - n. Is p a multiple of 25?
False
Suppose -2*u - 3*u = 0. Let b(g) = -g**3 - g**2 + g + 40. Let f be b(u). Let a = 71 - f. Does 11 divide a?
False
Let o = -595 + 710. Is o a multiple of 2?
False
Does 9 divide 43 - ((-2 - -7) + -7)?
True
Suppose 3*d - 1470 = -4*k, 0 = -5*d + k - 0*k + 2450. Is 25 a factor of d?
False
Let j(y) = y**2 - 2*y + 20. Let t be j(19). Suppose u + 2*v - 159 = 0, -t = -4*u - v + 293. Is u a multiple of 8?
False
Let q(o) = -7*o**3 - 17*o**2 - 12*o + 12. Does 13 divide q(-7)?
True
Let m(o) be the first derivative of 11*o**4 - o**3/3 - 1. Let k be m(1). Let b = 94 - k. Is b a multiple of 17?
True
Suppose 0 = 24*n - 2584 - 12224. Does 32 divide n?
False
Does 13 divide ((-26)/(4/148 - 0))/(-2)?
True
Suppose -2*p + 536 = 2*s + 172, -4*p = 16. Suppose 2*v + 2*y = -2*v + s, 0 = -4*v + 2*y + 182. Suppose 6*c = 5*c + v. Is 22 a factor of c?
False
Suppose 11665 = 10*l - 2345. Is 68 a factor of l?
False
Let w be (-12)/(-30) - (-7916)/10. Let b = w - 526. Is 19 a factor of b?
True
Let v be (-18)/(-5)*(-10)/(-3). Let p(y) = 2*y**2 - 14*y - 9. Let d be p(v). Suppose -6*h = -3*h - d. Is h a multiple of 16?
False
Let l(z) = -24*z**3 - 4*z**2 + 11*z + 57. Is l(-3) a multiple of 18?
False
Let m = 13 + -13. Suppose 25 = 5*j - m. Suppose 0 + j = l. Is l a multiple of 5?
True
Let l be (10/(-15))/((-2)/(-12)). Let t(q) = -5*q - 4. Let p be t(l). Is 13 a factor of -1*52/p*-12?
True
Let f(n) = -n**2 - n - 2. Let v be f(5). Is 14 a factor of 2*2 - (-6 + v)?
True
Let b(g) = -g**3 + g**2 - 2*g + 18. Let h(c) = c**2 - 13*c - 14. Let a be h(14). Does 9 divide b(a)?
True
Let c = -1835 + 1855. Does 10 divide c?
True
Let d(l) be the third derivative of -l**4/4 + 5*l**3/2 + 5*l**2. Let g be d(-8). Let h = g + 21. Does 28 divide h?
True
Suppose f = 259 - 55. Suppose -o = o - f. Does 19 divide o?
False
Suppose -4*z = 5*r - 2123, 4*r + 533 = z + 6*r. Is z a multiple of 17?
True
Let p(a) be the first derivative of -1/2*a**2 + 13 + 2*a**3 - 3*a. Is p(-3) a multiple of 9?
True
Let s be 2 - (-1)/(-2)*-8. Let h be (2/s)/((-2)/(-54)). Suppose -8*k + h*k = 68. Is 27 a factor of k?
False
Let o(z) = -2*z**3 + 3*z**2 + 4. Let h be o(3). Let n = h + 17. Is 7 a factor of (-3)/n*2*7?
True
Let g(z) = z**2 + 12*z - 35. Let d be g(-15). Let x(b) = -2*b + 7*b + 9*b - 23. Is x(d) a multiple of 27?
False
Let r = 17 - 12. Suppose r*u - u = -316. Let b = 113 + u. Does 8 divide b?
False
Does 25 divide (6 + 365 - -4)/1?
True
Is 24 a factor of 135/(-54) + 549/(-12)*-2?
False
Let q be 36/(-15)*(-10)/(-3)*-66. Suppose 9*k - q = 12. Does 6 divide k?
True
Suppose 0 = 2*y + u - 38, -3*y - 2*y = -5*u - 110. Is 5 a factor of y?
True
Suppose 5*a + 2448 = -4*r, 2*r = 4*a - 796 - 454. Let t = -419 - r. Does 21 divide t?
False
Is (646/10)/((-83)/(-2075)) a multiple of 34?
False
Suppose 0 = v - 5948 + 2300. Does 14 divide v?
False
Let f = -894 + 1718. Is 59 a factor of f?
False
Suppose -4*d = -170 - 982. Is d a multiple of 7?
False
Suppose -2*q - 28 = -10. Let m = q - -29. Is m a multiple of 5?
True
Let x(b) = b**2 - 4*b + 5. Suppose 2*k + 5*m - 2 = 0, -2*m + 20 = k + 3*k. Let p be x(k). Suppose p = 3*n - 49. Is 7 a factor of n?
False
Let t(l) = 3*l**3 - 7*l**2 - 7*l - 10. Let j(w) = -4*w**3 + 10*w**2 + 10*w + 14. Let r(a) = 5*j(a) + 7*t(a). Let k = 8 - 5. Is 13 a factor of r(k)?
True
Is 40 a factor of (721 - (1 - 1)) + (-7)/7?
True
Let p be 0/(1 + 6/(-3)). Suppose p = -5*o + 59 - 19. Suppose -o*h = -3*h - 160. Is 21 a factor of h?
False
Let h be (24/36)/((-4)/(-54)). Suppose p = -0*p + h. Suppose 4*l + p = 137. Is l a multiple of 6?
False
Let t = -4 + 2. Is (-5)/t - 1 - (-681)/6 a multiple of 33?
False
Suppose -n + 5*r - 11 = 0, -5*n + n + 19 = r. Is 14 a factor of 35 - 0*2/n?
False
Let y = 4041 - 1296. Suppose -5*x - 4*x + y = 0. Is 61 a factor of x?
True
Let c be 2/8 + (-406)/(-8). Let h = c + -31. Is h a multiple of 20?
True
Let c = -2219 + 4299. Does 32 divide c?
True
Suppose 0*y - 10 = -2*y. Let p(w) = w - 11. Let u be p(y). Let o = -3 - u. Is o even?
False
Let f(z) = 6*z + z**2 