le of 5?
False
Let a be (3/(-6))/((-2)/28). Let g = a - 3. Is 19 a factor of 9/6 + 146/g?
True
Let d = 787 - 323. Suppose 0 = -r + 5, 3*r = 4*l + 1367 - d. Is 15/(-20) + l/(-8) a multiple of 9?
True
Suppose 10*v = -0*v + 110. Suppose -v*j - 292 = -13*j. Does 16 divide j?
False
Let q = -60 - -162. Does 17 divide q?
True
Does 66 divide (-3 + -699)/(3 - 4)?
False
Let t = -14 - -246. Let x = t + -141. Is x a multiple of 13?
True
Suppose -5*q - 20 = 0, 196 = 3*l - 0*l - 4*q. Let h = 85 - l. Is 13 a factor of h?
False
Suppose -26*o + 36*o - 4680 = 0. Does 34 divide o?
False
Let b(y) = 10*y**2 + y + 1. Let k(p) = 9*p**2 + p. Let z(r) = 5*b(r) - 6*k(r). Let q(i) be the first derivative of z(i). Is q(-1) a multiple of 2?
False
Let o(s) = -2*s + 2. Let f be o(1). Suppose 2*x - 4 = -f. Does 10 divide -4 - (-26 - (-4)/x)?
True
Suppose -3*o + 2*g + 3407 = 2*o, 2*o = -g + 1361. Suppose 81*u = 78*u + o. Is 21 a factor of u?
False
Let b(t) = 2*t**3 + 5*t**2 - 9*t - 10. Is 33 a factor of b(5)?
False
Suppose -a + 894 + 1536 = 4*u, 5*u - 5*a - 3050 = 0. Is u a multiple of 22?
False
Let t be ((-21)/6)/(3*(-2)/792). Suppose -3*f = -6*f + t. Is 25 a factor of f?
False
Let g be (-5)/20 - (-23)/(-4). Let w(t) = t**3 + 5*t**2 - 7*t - 4. Let b be w(g). Does 14 divide -7 - (b + -6) - -73?
True
Is 28*-4*(-5)/40*12 a multiple of 7?
True
Let g(o) = -o**3 - 17*o**2 - 13*o - 59. Does 18 divide g(-17)?
True
Let b(z) = -23*z - 3. Suppose -3*m = a + 6 + 5, 0 = -3*m - 5*a - 19. Does 19 divide b(m)?
False
Let h(t) be the third derivative of 11*t**4/12 + t**3/6 + 39*t**2 - 1. Is 4 a factor of h(2)?
False
Suppose 18*l + 5*d = 20*l - 2999, -2990 = -2*l - 4*d. Is 44 a factor of l?
False
Let q(b) = 9*b**3 + 2*b + 1. Let p be q(2). Let r = p - -22. Is 33 a factor of r?
True
Is ((-126)/54)/((-2)/138) a multiple of 7?
True
Let m(x) = 2*x**3 - 18*x**2 - 3*x - 27 - x + 15. Does 35 divide m(10)?
False
Let u(p) = p**2 + p - 40. Does 6 divide u(-8)?
False
Let p(v) = -v**2 + 8*v - 10. Let l be p(5). Suppose -4*m + 740 = -4*h, 0*m = -l*m - 5*h + 905. Does 48 divide m?
False
Let d be -4 + 1 - (-4 - 1). Suppose 0 = -5*a + d*y + 10, -5*y + 11 = 5*a + 1. Is -1 - (1 - a) - -7 a multiple of 4?
False
Is 4 a factor of (6 - 7) + 200/2?
False
Does 55 divide (55/4)/((-3955)/440 + 9)?
True
Let k(c) = 4*c + 55. Is 2 a factor of k(15)?
False
Suppose 12 = -4*i + y, 0*y - 3*y = -5*i - 15. Let s = 6 - i. Is 9 a factor of (s*6)/(21/14)?
True
Let f = 239 + 1243. Does 57 divide f?
True
Suppose -6*w = -3*w - 9, 3*w = 5*y - 2491. Does 50 divide y?
True
Let l(b) = 286*b - 2. Let m be l(1). Suppose 5*u - 49 = -4*n + 306, 0 = 4*u - 3*n - m. Is u a multiple of 20?
False
Suppose 2*z - 2*p + 3*p = 126, -3*p + 192 = 3*z. Suppose y = 24 + z. Suppose -126 - y = -4*j. Is 10 a factor of j?
False
Let u(a) = -a + 15. Let b be u(10). Suppose 3*k = -k + 4*v + 124, -b*k = -4*v - 150. Does 13 divide k?
True
Suppose 55 = 4*c - 145. Let i = -41 + c. Is i a multiple of 4?
False
Suppose 8*i + 552 = 11*i - 5*x, -177 = -i + 4*x. Is 16 a factor of i?
False
Does 6 divide 176/(-66)*(-159)/2?
False
Let z(p) = p**3 + 10*p**2 - 2*p - 10. Suppose -6*o + 2*o = 40. Is 10 a factor of z(o)?
True
Suppose 0 = -w - 2*r + 91, 0*w - 3*w + 3*r = -255. Let a = w + -43. Suppose 4*y = 196 - a. Is y a multiple of 28?
False
Let u be (63/35)/(6/40). Suppose -u = -r - 57. Let h = -18 - r. Is h a multiple of 9?
True
Suppose 560*c - 555*c - 10630 = 0. Is 35 a factor of c?
False
Let x(a) = -a**3 + 6*a**2 - 7*a + 6. Let l be x(4). Let h be (-2)/((-12)/(-2)) - (-39)/9. Suppose h*z + 60 = l*z. Is z a multiple of 6?
False
Is 39 a factor of 4 + 544 + (3 - -9)/(-4)?
False
Let q(o) = -o + 21. Let h be q(19). Suppose -j + h = -105. Does 18 divide j?
False
Suppose 15*z = -15*z + 4590. Does 3 divide z?
True
Let x(q) = 2*q**2 + 4*q + 2. Let w(u) = u**2 + u + 1. Let n(i) = 3*w(i) - x(i). Let m be n(2). Suppose -90 = -m*z + 12. Is 12 a factor of z?
False
Suppose -67*a = -66*a - 65. Let g = 128 - a. Is g a multiple of 9?
True
Let n = 563 - 508. Is 14 a factor of n?
False
Let c(n) = 30*n**3 - n. Let i be c(1). Is 0/i + (106 - 0) a multiple of 24?
False
Suppose 0 = 3*x - 107 - 82. Suppose -7*q = -x - 168. Is q a multiple of 8?
False
Let x(n) = -n**2 - 7*n + 8. Let h be x(-6). Let c(y) = 2*y + 7*y**2 + 8*y**2 - h*y**2. Is 2 a factor of c(-3)?
False
Let m(b) be the second derivative of b**4/4 - 4*b**3 + 11*b**2/2 + 12*b. Let g = 27 + -17. Does 27 divide m(g)?
False
Is 29 a factor of 3*58*(126/9 - 8)?
True
Is 12 a factor of (-82810)/(-60) + (-8)/48?
True
Let m be (-3)/21 - 45/(-21). Suppose -m*u + x = -108, 5*x = -4*u + x + 204. Is 13 a factor of u?
False
Let g be 2/(-2)*0 - -14. Suppose -j = -y + 2, g - 2 = 2*y + 2*j. Suppose 0 = y*c + 22 - 98. Is c a multiple of 13?
False
Let b = -55 + 95. Suppose 0 = -2*z + z - 4*w - 8, 0 = -2*z - 4*w - 4. Suppose -4*n + 4*g = -b, z*g - 2*g - 8 = 0. Is n a multiple of 4?
False
Let l = 103 + -103. Let g = 137 - 74. Suppose 0 = -3*y - l*y + g. Does 13 divide y?
False
Is (35/(-15))/(496/(-492) - -1) a multiple of 26?
False
Suppose 229 = j - 4*v - 160, -5*j + 1909 = -2*v. Is 8 a factor of j?
False
Let x(v) = 7 - 2*v - 3*v**2 - 6 + v**3 + v**2. Let m be x(2). Does 7 divide 230/8 - m/(-4)?
True
Does 5 divide (13 - 3)/((2/44)/1)?
True
Suppose 4*a - 830 = 1778. Suppose 4*w - 364 = -5*q + 287, 3*w - a = -5*q. Is q a multiple of 14?
False
Suppose 3*z + 3*p - 6*p = 1809, 4*z = 2*p + 2416. Is 12 a factor of z?
False
Let f = 740 + -380. Is f a multiple of 30?
True
Let n = 88 + -84. Suppose -528 = -0*h - n*h. Is h a multiple of 22?
True
Let p = -27 + 24. Let c be (-2 + 5)/(p/(-2)). Suppose y - c*w - 25 = -2*y, 3*w = 2*y - 25. Is y a multiple of 5?
True
Let d(b) = 43*b**2 + 14*b + 32. Does 33 divide d(-6)?
False
Suppose 24 = -2*t + 6*t. Let p be -2*-1*16/(-2). Is (-9)/t*p/6 a multiple of 4?
True
Suppose -1284 = 3*g - 6*g - 3*v, -5*g = -v - 2110. Does 47 divide g?
True
Is 2 + 1188/4 - 2 a multiple of 8?
False
Suppose 5*d = -3*a + 3424, 908 + 240 = a - 5*d. Is 13 a factor of a?
False
Let a be 278 - (-3 - 3*(-4)/3). Suppose -5*g + 5*b + 340 = 0, -4*g + a + 23 = 3*b. Is 6 a factor of g?
True
Suppose -3*p + 3*m + 626 = -796, -4*p + 3*m + 1898 = 0. Is p a multiple of 7?
True
Let v(g) be the third derivative of g**6/120 - g**5/15 + 5*g**4/24 - 5*g**3/6 + 3*g**2. Let i be v(5). Suppose 4*q + i = 9*q. Is q a multiple of 2?
False
Let p(v) = 9*v - 130. Does 16 divide p(62)?
False
Let b = -111 - -50. Suppose 2*j + 3*j = 95. Let r = j - b. Is 19 a factor of r?
False
Suppose 2*l = -2*n - 82, 3*n + 58 + 63 = -2*l. Let c = 138 - n. Is c a multiple of 15?
False
Is 14 a factor of 3432/7 + (-9)/((-126)/(-4))?
True
Let b(n) = -3*n + 2. Let w(m) = -7*m + 4. Suppose 0 = -4*o + 3*f - f, 12 = 2*o + 2*f. Let u(c) = o*w(c) - 5*b(c). Does 3 divide u(14)?
True
Let y be 2*(1 + (-4)/(-8)). Suppose -4*p + y*p = -7. Is 6 a factor of p?
False
Let x = -42 + 40. Does 3 divide (-1 - x)*(-9 + 16)?
False
Suppose -3*a + 5*q = 2*a, a - 12 = -5*q. Let w = 2 - a. Does 14 divide -1 - ((-129)/3 - w)?
True
Let j = -62 + 55. Let n(l) = -12*l - 14. Does 8 divide n(j)?
False
Suppose -12*u + 2260 = -10*u. Is 113 a factor of u?
True
Suppose -3*f = 4*d + 10, 4*f + 2*d = -0*f. Suppose 10 = -f*o + 4*o. Suppose -2*k - o*i = -38, 2*i = -k + 4*k - 76. Does 5 divide k?
False
Let t be -5 + 7 - 1*(-3 - 0). Suppose -4*c - 3*y + 546 = -15, 0 = -t*y - 25. Is c a multiple of 8?
True
Suppose -b = -11*b - 20. Is 18 a factor of -435*(b/(-3))/(-2)*1?
False
Let b = -8 + 11. Let w be (-5 + b)/(2/(-22)). Suppose -2*d - 2*d = 3*l - w, 0 = l + d - 9. Does 7 divide l?
True
Suppose 0 = 2*q - 3*l - 16, 4*q + 5*l + 15 = 3. Suppose -16 = q*r - 6*r. Suppose -5*m = f - 13, -r*f + 4 = 5*m - 3. Is 3 a factor of m?
True
Let z = 290 - 105. Is 46 a factor of z?
False
Suppose -2*p = -5 - 3. Suppose -p*u = -3*m + 994, -2*u - 344 = -2*m + 322. Suppose y - 2*h = 90, 4*y = -h - 2*h + m. Is y a multiple of 13?
False
Let x(u) = -u**2 + 10*u - 1. Let v(t) = t - 4. Let d be v(13). Is x(d) a multiple of 4?
True
Let j(o) = 593*o**2 - o + 2. Let y be j(-1). Suppose 18*k + y - 3584 = 0. Does 27 divide k?
False
Suppose 5*o = -32*o + 39146. Does 46 divide o?
True
Suppose 84 = 2*r - 168. Is 4 a factor of r/12 - (-6)/4?
True
Suppose -5*h + q = -5, 4*q = h 