rue
Is 9 a factor of (6/(-4))/(-2 + 726/372)?
False
Suppose -2*v + 10*m + 384 = 7*m, -587 = -3*v - m. Is v a multiple of 13?
True
Is 267/((-4)/(-2 - 2)) a multiple of 9?
False
Let m = 480 - 449. Suppose -4 = -v + 5*b, -5*b + 23 = -4*v + 69. Let i = v + m. Is 30 a factor of i?
False
Suppose 2*b = -7 - 25. Let l be (-144)/14 - b/56. Is 5*((-56)/l - -2) a multiple of 19?
True
Let b be 134/(2 + 0) - -2. Let y(k) = -k**3 - 15*k**2 - 13*k + 18. Let m be y(-14). Suppose m*f - b = 63. Is f a multiple of 11?
True
Let c(b) = 64*b**2 - 12*b - 2. Let z be c(-2). Suppose 996 = 14*a - z. Is 30 a factor of a?
False
Suppose -12 = -t - t. Suppose -f = 2*f - t. Suppose -k - a = f*k - 104, -k = 3*a - 48. Is 16 a factor of k?
False
Let q = -465 + 885. Suppose -q = -4*y - 5*f, 2*y - 4*f = -132 + 368. Is 22 a factor of y?
True
Is (-2)/8*-388 - -1 a multiple of 23?
False
Let g = 147 - 77. Let i = -14 + g. Is i a multiple of 14?
True
Let w = 784 + 971. Is w a multiple of 27?
True
Let a = 69 - 41. Does 3 divide a?
False
Is 32 a factor of 390 + 1/(-12) + (-568)/96?
True
Suppose -9*y + 6*y = 0. Suppose -90 = -y*z - 5*z. Is 9 a factor of z?
True
Suppose -5*y - 187 = w - 5*w, y + 47 = w. Suppose 138 = 3*m - w. Does 15 divide m?
False
Let h(i) = -83*i + 69. Is h(-4) a multiple of 20?
False
Suppose 5*f + 6*b - 8*b = 2813, -2*f + 1129 = 3*b. Is 16 a factor of f?
False
Let u be (12/(-8))/(3/(-8)). Let m = -15 + 42. Suppose 0*n - 5*n + 3*w = -m, -u*n = w - 8. Is n a multiple of 3?
True
Let f be ((4 + -4)*3/(-3))/(-2). Does 3 divide f + 57 + (-9)/3?
True
Let z be 96/44 + -2 + (-1846)/(-11). Suppose 0*k - z = -6*k. Is k a multiple of 28?
True
Is 6 a factor of 9300/54 + -4 - (-4)/(-18)?
True
Suppose 0 = 3*i - 715 - 539. Does 22 divide i?
True
Let n = -115 + 115. Suppose -15*f + 7*f + 1728 = n. Is 24 a factor of f?
True
Let v(p) = -204*p**3 + 3*p**2 + p - 1. Is v(-1) a multiple of 5?
True
Suppose -2*t + 4*w = -0*t - 10, 2*w = -3*t - 9. Does 9 divide 4/(-3)*(-24 - (-1 - t))?
False
Let o = 367 - -405. Does 26 divide o?
False
Let g(k) be the third derivative of -k**6/120 - 2*k**5/15 - 5*k**4/12 + 7*k**2. Does 4 divide g(-7)?
False
Suppose -24*s + 84011 = 27083. Does 22 divide s?
False
Let t(x) = x**3 + x**2 + 10*x - 17. Does 15 divide t(7)?
False
Let b = -1096 - -3505. Does 73 divide b?
True
Suppose 916*q - 922*q + 6816 = 0. Is q a multiple of 16?
True
Let q = 75 + 328. Is q a multiple of 13?
True
Let n(z) = 7*z**2 - 45*z + 5. Is 25 a factor of n(8)?
False
Let v be 2 - -1 - (-21 + 53). Let m = v + 65. Does 12 divide m?
True
Suppose -6*v + 6 = -24. Suppose -4*m - 13 = -5*x + 316, -20 = -v*m. Is x a multiple of 11?
False
Suppose 5*v = -2*n - 22 + 2, 2*v - 16 = 4*n. Let q = -4 - v. Does 7 divide 23 - 7/((-7)/q)?
True
Let z = 32 - 0. Let o = 40 - z. Is o a multiple of 4?
True
Let a = -30 - -34. Suppose -4*x - 3*q + 72 = 0, -36 = -0*x - 2*x - a*q. Is 4 a factor of x?
False
Let j(t) = -1 - t - 5 + 7 - 4*t**2. Let u be j(1). Does 12 divide (2/u)/((-2)/48)?
True
Suppose -5*z - 3*n + n = 170, 0 = 2*z + 2*n + 74. Let b = z + -5. Let w = 61 + b. Is 8 a factor of w?
True
Let c(d) = -1 - 1 - d**2 + 3 + 13*d. Is 7 a factor of c(11)?
False
Suppose 2*d + 73 = 4*x - 91, -2*x + 3*d + 82 = 0. Let k = x + -24. Is 10 a factor of k?
False
Suppose 0 = 4*v - 2*z - 1130, 0*z + 5*z = -3*v + 880. Is 9 a factor of v?
False
Is (-17)/((-170)/8004) + (-4)/10 a multiple of 30?
False
Suppose -1703*j + 1706*j = 1590. Is j a multiple of 10?
True
Suppose 3*c - 4*b - 114 = -5*b, 5*b = 3*c - 132. Is 7 a factor of c?
False
Let r = -84 + 216. Does 16 divide 26730/r + ((-2)/(-4) - 0)?
False
Let s be 0 - 0*(-2)/6. Let i(u) = s*u + 8 + 4 - 3*u + 2*u. Does 2 divide i(5)?
False
Let x(b) = 4*b**2 - 4*b + 52. Let n(q) = -9*q**2 + 9*q - 104. Let d(z) = 2*n(z) + 5*x(z). Is 25 a factor of d(11)?
False
Suppose -2*t + 13905 = 5*o + 159, -2*o + 5505 = 3*t. Does 115 divide o?
False
Suppose 4*t - g = 71, -3*g + 75 = 4*t - 0*g. Suppose 5*a + 135 = 5*q, t = -3*q + 4*q - 4*a. Is 13 a factor of q?
False
Suppose 4*t + 5*p - 4149 = 0, -4*t + 2*p - 648 = -4790. Is t a multiple of 18?
False
Let f be -123*(-3 + (-30)/(-9)). Let x = f + 154. Is x a multiple of 7?
False
Suppose o - 60 = 5*o. Does 14 divide (-1 + 265/o)/((-2)/6)?
True
Suppose 22 + 18 = -4*l. Is l/15 + (-158)/(-3) a multiple of 12?
False
Suppose -2194 = -4*j + y, 10 = 4*y + 2. Is 35 a factor of j?
False
Suppose 28 = -4*t - c - 12, 0 = 3*t + c + 30. Let d = t - -26. Is d - (-9)/(-1 + 4) a multiple of 11?
False
Let f = 80 + -46. Let k(c) = -c**2 + 33*c + 18. Let b be k(32). Let q = b - f. Is q a multiple of 8?
True
Let z be 14/3*(1 - -2). Let c be (-1 + 4)/((-27)/(-99)). Suppose c*y - z*y + 108 = 0. Is y a multiple of 9?
True
Is 11 a factor of (-6)/(3 + -1)*-89?
False
Suppose -3*k + 900 = -4*d + k, -4*d = k + 915. Is (d/(-8))/((-3)/(-4)) a multiple of 38?
True
Let s(t) be the third derivative of -t**4/24 + 11*t**3/6 - 7*t**2. Suppose -2*r = -5*y + 2 - 45, 3*r = -3*y + 12. Does 2 divide s(r)?
True
Let x(y) = y**3 + y**2 - y + 18. Suppose 11*d = 10*d - 1. Let m be (0/d)/(10/5). Does 3 divide x(m)?
True
Let d be 450/162 - 2/(-9). Let y(k) = 4*k**2 - 4*k + 24. Is 12 a factor of y(d)?
True
Suppose -3*q - 44 = -38. Is (1530/50)/(q/(-10)) a multiple of 13?
False
Let p = 23 + -23. Suppose p*y + 15 = 3*y. Suppose 0 = y*q - 3*i - 85, -3*q = -2*i + i - 55. Does 10 divide q?
True
Suppose -3*z + 46 = 34. Is 2/(-4) + 558/z a multiple of 15?
False
Let x be (-1 + 10)*2/6. Let i = x - -2. Suppose 3*r = i*r - 56. Does 7 divide r?
True
Let o(j) = j**2 - 15*j - 12. Let m be o(15). Let h(u) = -2*u + 13. Does 6 divide h(m)?
False
Suppose 34 - 10 = 4*u. Let c be (-150 + -2)*3/u. Let q = 109 + c. Is q a multiple of 20?
False
Let m(j) = -2*j**3 + 2*j**2 + 2*j - 2. Let v be m(-2). Let a = v + -14. Suppose -a*h + 84 = -24. Is 9 a factor of h?
True
Let w = -10 - -11. Let h(b) = 17*b. Let x be h(w). Let f = 1 + x. Is f a multiple of 6?
True
Let d = 328 - 192. Let s = d + -32. Does 29 divide s?
False
Is 32 a factor of 1/10 - 24681/(-190)?
False
Let s be (-1 + (-1 - -1))*(56 - -22). Let r = 175 - s. Does 23 divide r?
True
Let y = -84 - -94. Suppose -y*t + 605 = -75. Is t a multiple of 34?
True
Let p = 88 - 48. Let a = 64 - p. Is a a multiple of 3?
True
Suppose 0 = 5*k + 3*s - 4 - 129, -5*k = -5*s - 125. Let z = k - -74. Does 4 divide z?
True
Suppose 584 + 316 = 9*p. Does 50 divide p?
True
Let u = -259 - -330. Is 2 a factor of u?
False
Suppose z = 2*c - 7, 5*c + 31 + 34 = -3*z. Let w = 69 - z. Is 18 a factor of w?
False
Let f(d) = -d**2 + 9*d + 22. Let k be f(11). Suppose k = 5*o - 11 - 9. Suppose -40 = -8*l + o*l. Is l a multiple of 10?
True
Let r = 764 - 369. Does 9 divide r?
False
Let d(l) = 19*l - 81. Is d(9) a multiple of 5?
True
Suppose 0 = 2*b + 27*w - 24*w - 1833, 4*w = -4*b + 3676. Is 77 a factor of b?
True
Suppose -4*c + 5*c - 4 = -4*y, 0 = y. Suppose -3*k = -5*k - 10, -c*k = 5*g - 1240. Suppose 3*s - g - 87 = 0. Does 25 divide s?
False
Let o(g) = 4*g**2 + 12*g. Let z be o(-10). Suppose 5*i + 5*m - z = 920, -4*m - 1155 = -5*i. Is 35 a factor of i?
False
Let g be 418/(-3)*6/(-4). Suppose 3*x + 39 = i, -5*i + 4*x = 3*x - g. Suppose 3*r - 2*r = i. Is 12 a factor of r?
False
Let z = -1016 - -2155. Does 17 divide z?
True
Let t be (-312)/(-54) + (-2)/(-9). Let u(z) = -t*z**2 - z**2 - 2*z + 0*z + 3 - z**3. Does 8 divide u(-7)?
False
Let g be 3/(-6) - 165/(-6). Let b be 0/4 + 1 + g. Suppose x - k - b = 0, -5*x + 139 = -3*k - k. Does 8 divide x?
False
Let x = -2275 - -4945. Is 14 a factor of x?
False
Suppose 6*q - 8*q = 0. Let z = q + 12. Is 7 a factor of (-110)/(-8) + 3/z?
True
Suppose -v = -6 - 47. Let d = v - 31. Is 11 a factor of d?
True
Let y be ((-174)/(-18))/(2/36). Let g = -3 - -49. Suppose -y + g = -2*l. Is 22 a factor of l?
False
Let x = -1306 + 2056. Does 25 divide x?
True
Let b(f) = f**2 - 22. Let h be b(0). Let q = 3 - h. Is q a multiple of 4?
False
Suppose -6 = 3*j, 5*j + 97 = x + 10*j. Is x a multiple of 25?
False
Let j(p) = 9*p**3 + 4*p**2 + 9*p + 36. Does 32 divide j(6)?
False
Let b(v) = -v**3 - 12*v**2 + 2*v + 19. Let n(r) = -r**3 - 12*r**2 + 3*r + 18. Let q(h) = 4*b(h) - 5*n(h). Is q(-11) a multiple of 40?
False
Let z be 4/6*(-27)/(-6). Let j be (1/z)/((-5)/(-90)). Let o(g) = 7*g + 7. Is 16 a