 - 3797. Is k a multiple of 36?
False
Let z(h) = -h**2 - 2*h - 6. Let b be z(-2). Is (-384)/(-10) + b/(-10) a multiple of 7?
False
Let s = 52 - 33. Let o(p) = p**3 - 6*p**2 + 5*p + 4. Let u be o(5). Does 8 divide s/1 - (u - 1)?
True
Suppose -87 = -q - 2*t - t, -5*q + t = -355. Is 418/18 + 4*(-4)/q even?
False
Does 12 divide (60/35)/(3*3/12411)?
True
Let m = -4 - -8. Suppose -5*o = -5*g, -m*g - o - o = 18. Is 3 a factor of g - (-42)/3 - -1?
True
Let r(i) = -433*i - 1. Does 16 divide r(-1)?
True
Is 10 a factor of (-1437 + 1)*(-11)/44?
False
Suppose -5*a - 3 = -23, 4*z - 256 = -4*a. Let u = z - 143. Let r = u - -125. Does 14 divide r?
True
Suppose -1267*m - 2638 = -1269*m. Does 68 divide m?
False
Let y(t) = -t**2 - 14*t - 3. Let g be y(-13). Let v = g + -10. Is (-6)/(3/(-52) - v) a multiple of 13?
True
Let x(a) = 89*a**2 - 5*a - 1. Does 42 divide x(-2)?
False
Let b = 59 - 37. Suppose 0 = -y - v + 6*v + b, y - 22 = -v. Is y a multiple of 4?
False
Let h = 27 + -22. Suppose -h*f = -3*f - 12. Does 3 divide f?
True
Suppose 594 = 13*q - 342. Does 16 divide q?
False
Suppose 5*m - 325 - 250 = 0. Let k = 197 - m. Suppose -14 + k = 4*p. Does 13 divide p?
False
Let b = 100 - 93. Suppose b*o - 8*o = -83. Does 18 divide o?
False
Suppose -508*q = -506*q - 2484. Is q a multiple of 24?
False
Suppose 0*b - b = -10. Suppose 0 = 12*z - 7*z + b. Does 17 divide 19 + 4 + -4 + z?
True
Suppose -429 = -7*q + 4*q. Is q a multiple of 13?
True
Let j be (15/(-4))/(7 - 189/28). Suppose 0 = 2*i + 2*i - 8. Does 14 divide (j + 1)*-1*i?
True
Suppose -24*w + 23*w + 5 = 0. Suppose 2*l = w*l - 63. Does 21 divide l?
True
Let u = -503 - -1089. Does 15 divide u?
False
Let y be (8/(-6))/((-133)/21 + 6). Does 17 divide 5 - (-174)/4*y?
False
Suppose -c - 935 = -3*b - 3*c, 0 = 2*b - 3*c - 619. Is 24 a factor of b?
False
Let v(q) = q - 73. Let p be v(0). Let d = p + 22. Let y = d + 88. Is y a multiple of 14?
False
Suppose -2*k + 7*n + 1843 = 8*n, 0 = -4*n - 20. Is k a multiple of 84?
True
Suppose 4*d = z - 23, -4*z - z - 3*d + 207 = 0. Let v(t) = t - 15. Let q be v(-1). Let x = z - q. Is 11 a factor of x?
True
Is 4 a factor of 330/14 + 93/217?
True
Let l = -9 - -2. Let o = -26 - l. Is 13 a factor of 2 - (o - (-2 + 1))?
False
Let m be 2/4 + (-18)/(-4). Let x(h) = -h**3 + 5*h**2 - h + 7. Let t be x(m). Is (-10)/(-1)*5/t a multiple of 9?
False
Let f(r) = -r**2 + 7*r - 12. Let y be f(6). Is 21 a factor of (-1005)/y - 3/(-6)?
True
Let n(o) = -o**2 - 4*o + 69. Is n(-10) a multiple of 2?
False
Let u(y) = -9*y**3 - 6*y - 5. Is 15 a factor of u(-4)?
False
Suppose j + 0*j = 12. Let s = -11 - -11. Suppose s = -5*i + j + 48. Does 9 divide i?
False
Let w(f) = f**2 - 2*f - 4. Let o be w(3). Let u = -78 - -88. Is -1 - u/(-3 - o) a multiple of 4?
True
Let f(b) be the third derivative of 7*b**4/12 + 7*b**3/6 - 3*b**2. Does 37 divide f(6)?
False
Let a(p) = -23*p + 201. Is 86 a factor of a(-34)?
False
Suppose 6*n - 4*n - 3*d - 306 = 0, -5*d = n - 166. Does 26 divide n?
True
Suppose -3*f - c + 2 = 0, 2*c - 20 = -2*f + 6*c. Suppose -5*l - 10 = 0, g + f*l - 10 = l. Is g a multiple of 6?
True
Let c(v) = v + 26. Let p(m) = -2*m + 27. Let j be p(11). Suppose -2*b - 1 = g + 27, -j*g - 35 = 3*b. Is c(b) a multiple of 7?
False
Suppose 2*y + t - 100 = 0, -2*t - 125 + 31 = -2*y. Let k = -6 + y. Is 23 a factor of k?
False
Let f(x) = -1082*x - 36. Is f(-2) a multiple of 28?
True
Suppose -147 = -8*t - 35. Is 7*4 + (t - 12) a multiple of 6?
True
Let f = -1351 - -1364. Is 13 a factor of f?
True
Let k(t) = -50*t - 48. Let v be k(-6). Let i = v + -111. Does 23 divide i?
False
Suppose 2*q - g = 36, q - 5*q + g + 68 = 0. Suppose 0 = 3*p + p - q. Is p a multiple of 4?
True
Is 684 - (15/(-9) - 4/(-6)) a multiple of 29?
False
Let h be ((-75)/(-9))/((-2)/6). Let y = h - -33. Is 8 a factor of 8*((-190)/y)/(-5)?
False
Let y = 17 + -14. Let z = 19 - y. Let g = -7 + z. Does 9 divide g?
True
Let y(z) = -2*z + 2. Let w be y(-1). Let x(g) = 5*g - 2. Is x(w) a multiple of 18?
True
Let c(x) = -x**3 - 17*x**2 - 35*x - 4. Is 25 a factor of c(-16)?
True
Suppose 46604 - 12725 = 69*a. Is a a multiple of 7?
False
Let x(o) = -o**3 + 11*o**2 - 11*o + 19. Let w be x(10). Suppose 0 = w*b - 45 - 567. Is 34 a factor of b?
True
Suppose 1408 = 7*o - 3*o. Does 11 divide ((-9)/(-12))/(4/o)?
True
Let d be 8/(-2) + -72 + 1. Let y be 3*(-10)/d*5. Suppose y*q = -2 + 20. Does 8 divide q?
False
Let x(a) = -2*a + 252. Let p(g) = g**2 + 9*g + 8. Let h be p(-8). Let c be x(h). Suppose 2*d - c + 36 = 0. Is 18 a factor of d?
True
Let p(t) = t**2 + t - 3. Let b be p(0). Let h = b + 5. Suppose 6*v = v + 5*r + 195, v - 34 = h*r. Does 14 divide v?
False
Let w(l) = 16*l**3 - l**2 + 2*l - 1. Let o be w(1). Let j = o - -44. Does 15 divide j?
True
Let x be (-3)/2*(-3 - -5)*-1. Suppose -2*r - j = -107, -2*r - x*j + 153 = r. Is 28 a factor of r?
True
Let q = -619 - -655. Is 18 a factor of q?
True
Let j be (-221)/7 + 12/(-28). Let x = -36 - j. Let p = 66 + x. Is 12 a factor of p?
False
Suppose -3*l + 5*u + 707 = -1047, u - 1766 = -3*l. Is l a multiple of 49?
True
Let h(i) = i**2 - 14*i - 22. Let y be (64/(-6))/((-20)/30). Is h(y) a multiple of 4?
False
Suppose 0 = 5*l - 2*g - g - 24, -3*l + 4*g = -21. Suppose -q = -3*f + 6*f - 26, 6 = l*f - 3*q. Let r(w) = 2*w**2 - 8*w + 6. Is r(f) a multiple of 12?
True
Suppose -4*n + 5 = v, 0*v = 2*v - 10. Suppose n*y - 5*y + 85 = 0. Does 8 divide y?
False
Let k(y) = y**3 - 8*y**2 + y - 4. Let x be k(8). Suppose 0 = 2*a + 5*f - 14, 8*f + 35 = 5*a + x*f. Suppose -1 + a = 2*l. Does 3 divide l?
True
Let b(q) = -2*q - 39. Let p be b(-22). Suppose 0 = -a + 4, -2*w - p*a + 116 = -w. Is w a multiple of 12?
True
Let k(b) = -10*b**2 - 11. Let c be k(-3). Let v = -16 - c. Does 14 divide v?
False
Suppose 2*u = 2*a + 50 + 38, a - 128 = -3*u. Let q = u + 89. Does 22 divide q?
True
Let g(c) = -2*c**2 + 10*c - 6. Let m be g(6). Let y(j) = -j**2 - 30*j - 78. Let w be y(-26). Let k = m + w. Does 8 divide k?
True
Let l = 21 + -21. Suppose r + 0 - 40 = l. Is 10 a factor of r?
True
Is 17 a factor of (25/(-4))/(-9 + 2481/276)?
False
Let c = 4929 - 3204. Does 25 divide c?
True
Let r be (2082/(-4))/(5/(-20)). Suppose 5*i = -2*t - t + 1253, -2*i = 5*t - r. Suppose -4*a = 4*k - 336, 6*k - k = -4*a + t. Does 23 divide k?
False
Let z = -9 + 6. Let a be 1 - z/((-9)/(-48)). Let s = 44 - a. Is 9 a factor of s?
True
Let o(l) = 3*l - 3. Let z be o(10). Suppose 7*j - 2*j + z = 4*r, -12 = 4*j. Suppose r*c = 85 - 19. Is c a multiple of 11?
True
Let c be (-9)/(-6) - (-50)/4. Suppose c = -3*b + 2. Is b + -2 + 3 + 33 a multiple of 17?
False
Let i = 44 + -41. Suppose -4*y + 138 = 5*m, 0*m - 2*m = -2*y - 66. Suppose -4*n = -l + m + 27, l + i*n = 64. Does 23 divide l?
False
Suppose 4*p = -10*p + 40684. Does 13 divide p?
False
Suppose -4*h - 4*b = -67 - 393, -4*h = -3*b - 488. Is h a multiple of 17?
True
Let d be (-4)/(-12) + 1/(-3). Suppose d = -3*u + 95 - 11. Is 3 a factor of u?
False
Suppose 2*o - 3*y + 9 = 0, -4*y + 9*y - 10 = 5*o. Let z(s) = -s + 2. Let x be z(o). Is -2 + x/2*-18 a multiple of 6?
False
Suppose p + 5 = 11. Suppose 0*u + p*u - 156 = 0. Is 11 a factor of u?
False
Suppose -21*g + 24737 = 4871. Does 22 divide g?
True
Let q = 437 + -217. Suppose 3*h - k - q = 0, 5*h - 6*k + 3*k - 364 = 0. Is h a multiple of 10?
False
Suppose 0 = -5*k - 10, 3*i + 2*k - 36 = 95. Suppose 9*f - 4*f = i. Does 9 divide f?
True
Let r = 1768 - -1180. Does 16 divide r?
False
Let t be 9/6*52/2. Suppose 2*m + m = 3*w - t, 0 = 3*m + w + 39. Let o = m - -22. Is 9 a factor of o?
True
Suppose 4*a - 3*h + 0*h - 524 = 0, 5*h + 148 = a. Suppose 2*f - a = f. Suppose -3*r - f = -k + 2*r, 5*k - 3*r = 552. Is 27 a factor of k?
True
Suppose 4*c = 699 + 1401. Is c a multiple of 75?
True
Is (0 + 17 - 3)/((-5)/(-60)) a multiple of 56?
True
Suppose 6 = 3*p - p. Suppose -5*a + 5 = -p*t, t = -t + 10. Suppose -a*s - 58 = -4*h + 86, 186 = 5*h - 3*s. Is 13 a factor of h?
True
Let r(d) = -d**2 + d. Let z(c) = -5*c**2 + 4*c + 1. Let m(a) = 4*r(a) - z(a). Let l be m(1). Suppose l = -4*q + 17 + 63. Does 5 divide q?
True
Suppose -25*n + 24*n = -3. Suppose 4*l - n*l = 82. Suppose -5*v = -2*b + 33, 0*b = -3*b + v + l. Is b a multiple of 6?
False
Let a(v) = 0 - 3*v + 2 + 0. Let c(y) = -y + 3. Let r be c(5). Does 4 divid