se
Let f be 2/(-3) + 57784/(-12). Let g = f + 2385. Is 18 a factor of g/(-44) + 3/4?
False
Let k(p) = p**3 + 5*p**2 + 9*p + 28. Is k(-4) a multiple of 2?
True
Let m(v) = 22*v**2 + 2*v - 4. Let r = 62 - 60. Is m(r) a multiple of 29?
False
Suppose -2*h + 4*h = -5*c, 0 = -2*c + 5*h + 29. Let b be (c/3)/((-11)/(-33)). Suppose 0 = -4*t - 0*n + 3*n + 224, 0 = -2*t - b*n + 112. Is t a multiple of 14?
True
Let b(s) = -s**2 + 9*s - 1. Let w be b(7). Suppose 0 = c - w - 9. Is 9 a factor of c?
False
Suppose -3*c + 4*u = -2265, -3*c + 2247 = 6*u - 4*u. Is 14 a factor of c?
False
Let a be 4 - 3*(-2)/(-6). Let z be a/(-6)*(3 + -3). Suppose -212 = -4*y - z*y. Does 27 divide y?
False
Is 23 a factor of (-1)/(-3) + 283*(-44)/(-12)?
False
Let j be (-2)/(-8) - (-391)/4. Let u = -465 - -469. Is (j/(-21))/(u/(-30)) a multiple of 7?
True
Let k(s) = -s + 11. Let w be k(11). Suppose 2*x - 302 = 4*f, w = -0*x - x + 5*f + 157. Suppose 0 = -9*q + 12*q - x. Does 13 divide q?
False
Let k(z) = -2 - 6 - 5 + 8*z. Is k(8) a multiple of 13?
False
Let f(a) = 2*a**3 - 14*a**2 + 48*a - 26. Is 45 a factor of f(10)?
False
Let y(o) = -16*o - 36. Does 38 divide y(-7)?
True
Suppose -y + 5*d = -28, -3*d - 2 - 7 = 2*y. Let q(v) = 2*v**y - 2 + 9*v - 8*v + 2. Does 13 divide q(2)?
False
Let q be 13 + -7 - (-2 - -3). Suppose 540 = q*g + g. Is 10 a factor of g?
True
Does 12 divide (-132)/(-36) + -4 + 2017/3?
True
Let c(j) = -4*j - 2*j + 68 + 6*j - 2*j. Is 27 a factor of c(11)?
False
Let t = 955 - 643. Does 56 divide t?
False
Suppose i - 2*o - 657 = 0, -3*o + 3 = 9. Is 70 a factor of i?
False
Is (578/(-8))/((-18)/72) + -1 a multiple of 2?
True
Suppose -8 - 4 = -4*z. Suppose z*u + u = 3*w - 135, 3*w = -u + 135. Suppose 0 = 2*q - 45 - w. Is 12 a factor of q?
False
Let d(g) = -10*g**2 - 223*g - 21. Is d(-16) a multiple of 47?
True
Let q(y) = -y**2 - y. Let m(h) = 6*h**2 - 2*h - 10. Let v(b) = m(b) + 4*q(b). Let n(s) = -3*s - 33. Let k be n(-14). Is 29 a factor of v(k)?
False
Let p(u) = -4*u**2 + u. Let s be (-4)/(1*(1 - -1)). Let b be p(s). Is (b/12)/(6/(-104)) a multiple of 10?
False
Suppose f = 2*c - 834, -7*c + 10*c + 5*f = 1264. Is c a multiple of 19?
True
Is 143 a factor of 174304/676 - 4/(-26)*1?
False
Let i = -4 + 2. Is 14 a factor of 153/6 - i/(-4)?
False
Let o = -691 + 1331. Is o a multiple of 8?
True
Let d be (1 - -2)/(8/424) + -3. Let z = -96 + d. Is z a multiple of 6?
True
Does 7 divide 1462/51*189/6?
True
Let h be (-1)/(3 + -4)*4 + 76. Suppose 3*g = -2*b + 207, g + b = 4*b + h. Is g a multiple of 5?
False
Let w be 582/9 - 2/(-6). Suppose -w = 3*s + a + 43, 3*a - 26 = s. Let o = -11 - s. Is o a multiple of 19?
False
Suppose 0 = -5*r + 16 + 4. Let y(h) = 8 - h**2 - r + 4 - 3 - 6*h. Is 10 a factor of y(-5)?
True
Let g be 3*(32/(-6))/(-8). Suppose -5*i = -4*u + 28 + 113, -162 = -4*u - g*i. Does 11 divide u?
False
Let n be -2 - -3 - 14 - -1. Let f(x) = x**3 + 13*x**2 - 24. Is 10 a factor of f(n)?
True
Let x(r) = -16*r - 3. Let a(n) = 17*n + 2. Let u(v) = -3*a(v) - 2*x(v). Does 10 divide u(-1)?
False
Suppose 2*v = -2, -4*q - 9 + 1 = -4*v. Let m(h) = 10*h - 1. Let x be m(-4). Let n = q - x. Is n a multiple of 10?
False
Let d(c) = -17*c**3 - c - 2. Let k be d(-1). Let q(w) = 2*w + 31. Is q(k) a multiple of 30?
False
Does 37 divide (666/12)/(3/10)?
True
Let u be 12/(-27)*45/(-10). Is 13 a factor of 86/u - (25 + -22)?
False
Let s(z) = -3*z - 3. Suppose -7 = -2*p + 4*u + 3, -p - 3*u - 15 = 0. Let o be s(p). Does 5 divide o/(-2)*-1 - -3?
False
Let h(u) = 2*u - 8*u + 5*u - 6. Let a be h(-20). Suppose a = 4*p + 6, 3*p + 141 = 3*v. Does 9 divide v?
False
Let d = 19 - 19. Let r be (-4 + -3)*(-1 - d). Let i = r + -5. Is 2 a factor of i?
True
Suppose 5*k + 3*r - 6*r = 2592, 2*k + r = 1028. Is 12 a factor of k?
True
Let f = -28 - -414. Let l be f/(-4) + (-2)/4. Let c = -47 - l. Does 18 divide c?
False
Let u = 21 + -40. Suppose -5*a + 6*w - w = 235, a - 3*w + 49 = 0. Let y = u - a. Is y a multiple of 7?
False
Let i = -26 - -30. Suppose m - 71 = -i*c, 0*m - 3*m = 4*c - 69. Does 18 divide c?
True
Let a = -242 - -141. Let t = 182 + a. Is 13 a factor of t?
False
Let b be 1 - -6 - (1 + -3). Let f be -3*(-30)/b*2. Is 20 a factor of 24*f/(-16)*-1?
False
Let p = 1438 + -706. Suppose -7*i + 3*i = -p. Is 2 a factor of i/21 + 6/21?
False
Let k = 15 + 8. Let g be k/(-2 - -2 - -1). Suppose -3*z + 123 = -2*l - g, 0 = -l - 1. Is 12 a factor of z?
True
Suppose 5*g - g = -3*f + 426, 6 = 2*g. Let i = -77 + f. Let r = 106 - i. Is r a multiple of 15?
True
Suppose 3057 = 10*c + 107. Does 14 divide c?
False
Is 4 a factor of 58/(4 + -3) - -2?
True
Suppose 19 = 2*n + 7. Suppose -4*o + 12 = 0, -5*o = 3*f + 2*f + 165. Does 4 divide (f/(-10))/n*10?
False
Let m(g) = 548*g + 61. Is 14 a factor of m(2)?
False
Suppose 0 = 27*c - 2613 - 357. Is c a multiple of 11?
True
Suppose -8*u = -u - 1365. Suppose -259 = -x - u. Is 8 a factor of x?
True
Let m = 49 - 394. Let x = m + 555. Is 7 a factor of x?
True
Suppose 5*h + 12 - 2 = -5*i, 4*i = -2*h + 2. Let g be i*(-4)/(-3) - -145. Let c = g + -99. Is 25 a factor of c?
True
Let p = -5 - -6. Suppose x = -2 + p. Is 70*1/(0 - x) a multiple of 21?
False
Suppose 3*u = -f + 4 - 3, 0 = 4*f + u - 15. Suppose 2*k + k + 65 = 5*i, -3*i + f*k = -50. Suppose -v - i = -32. Is v a multiple of 8?
False
Let u be 0*(28/(-12))/7. Suppose 0 = 3*x - 3*a, -2*a + 5 + u = -x. Is 2 a factor of x?
False
Let l = 998 - 109. Is 42 a factor of l?
False
Suppose 2*o - 3*o + 3 = -i, 0 = -o + 3*i + 1. Suppose -4*y = o + 8. Let d(j) = 2*j**2 + j - 1. Is 4 a factor of d(y)?
False
Is (9/((-63)/434))/(-2) a multiple of 31?
True
Let f be (-10 + -2)/(3/(-2)). Let q(s) = -8*s - 20. Let a be q(-8). Let w = a - f. Is w a multiple of 12?
True
Suppose -8*j + 15 = -3*j. Let g be 1/(j - 2)*210. Suppose 175 = 5*t + 5*q, 5*t + q = 3*q + g. Is 12 a factor of t?
False
Let k = 140 - 104. Is 8 a factor of (-6)/k + (-2885)/(-30)?
True
Suppose 368 = 4*v + 64. Does 3 divide v?
False
Let z = -89 - -94. Suppose 4*v - 5*o + 37 - 185 = 0, -4*v = z*o - 108. Is v a multiple of 12?
False
Let u = -21 - -22. Does 10 divide 74 + (-2 - -2)/(u + -2)?
False
Let x(l) = l**3 + 17*l**2 + 8*l + 16. Let b be x(-17). Let v = -72 - b. Does 12 divide v?
True
Is (-432)/(-360)*(172 + -2) a multiple of 5?
False
Suppose b - 2*y = -6*y + 24, 5*y - 37 = -3*b. Suppose 2*x - 149 = -5*l, 0 = 2*x + 4 + 2. Suppose -l = -r + b. Is r a multiple of 12?
False
Is 1*1018 + (-73 + 7)/11 a multiple of 11?
True
Let t = 26 + -24. Suppose -5 + 77 = t*o. Is o a multiple of 12?
True
Let y = 398 - -112. Is y a multiple of 15?
True
Let o(a) = -5 + 7*a - a + 8. Let c be o(9). Suppose 0 = -2*d - d + c. Is 19 a factor of d?
True
Let p be (-1)/(-2*(-4)/(-40)). Suppose 5*h - 18 = 3*g, 2*g = -p*h + 11 + 2. Suppose 3*s - 31 = -5*y, 7*s - 43 = h*s - 5*y. Does 4 divide s?
True
Let h(g) be the second derivative of -g**3/3 + 155*g**2/2 - 26*g. Is 11 a factor of h(0)?
False
Suppose -2*q - n = -780, -8*q - 5*n = -3*q - 1950. Is q a multiple of 6?
True
Let m be (-12 - (-3 - -1))/(-2). Suppose -m*h + 10*h = 140. Let c = 44 - h. Is 4 a factor of c?
True
Is 9 a factor of 28/4 + 122 + -3?
True
Let c be (13 + -10)*2/3. Suppose -c - 4 = -3*z. Suppose 8*j = z*j + 504. Is j a multiple of 21?
True
Let m be -1*(-5 + 2 + 2). Let o be (178/(-3))/(m/3). Is 15 a factor of 2/4 - o/4?
True
Let d = 63 - 52. Let m = d - -10. Does 7 divide m?
True
Suppose 0 = 26*f - f - 9175. Is f a multiple of 18?
False
Let t(o) = 64*o + 25. Is t(9) a multiple of 20?
False
Let q(n) = -n**3 + 12*n**2 + 5*n + 3. Is q(12) a multiple of 7?
True
Let x = 276 - 229. Does 2 divide x?
False
Suppose -1391 = -4*o + 865. Is o a multiple of 94?
True
Let r = 12 - 22. Let x = 38 + r. Does 14 divide x?
True
Suppose 3*k + 3*j = 1419, 0 = -7*k + 3*k - 2*j + 1886. Is k a multiple of 47?
True
Let w be ((-2)/2 - -4) + 73. Suppose -4*o + w = b, -4*b = -2*b - o - 170. Is b a multiple of 21?
True
Let p(o) = -12 + 5*o**2 + 12*o - 13*o**2 - o**3 + 9*o**2 + 8*o**2. Is p(10) a multiple of 8?
True
Suppose -26*y + 420 = -22*y. Is 15 a factor of y?
True
Does 18 divide 5188/18 + (-60)/270?
True
Suppose 2*l = -2*a, -4*l = 3*a - 7*l - 30. Let r(v) = -27*v. Let j be r(-1). Suppose -73 - j = -a*b. Is 4 a factor of b?
True
Suppose -4*d + 9*d = 5. Does 6 divide (-4)/1 + d + 