*m + 6. Let r be w(3). Does 21 divide 2*(-2833)/(-18) - 22/r?
True
Let f be (3/(9/(-58)))/((-248)/(-372)). Let g(z) = -z**2 - 36*z + 76. Is g(f) a multiple of 9?
True
Let t(m) = -m - 2. Let g be t(-7). Suppose 2*q + 28 = 4*k + 4, g*k - 41 = -3*q. Is 14 a factor of k/((-21)/(-474)) + (-2 - 2)?
True
Let l(t) = -6*t - 33. Let k be l(-14). Let p = 51 - k. Suppose v + 5*v - 156 = p. Does 3 divide v?
False
Let p(j) = -j**2 - 85*j - 16. Let u be p(-34). Let m = u - 1034. Is 75 a factor of m?
False
Is (-13509)/(-5) - 156/195 a multiple of 19?
False
Suppose 3063*g = -a + 3068*g + 55671, 0 = -5*a - 4*g + 278616. Is a a multiple of 48?
False
Let z = 114 + -112. Suppose -h = h, z*j = 2*h + 174. Is j a multiple of 3?
True
Suppose 4*s - 5*o = 180684, 3*s - 43074 - 92428 = o. Is 24 a factor of s?
False
Let o(f) = f + 25. Let z be o(-21). Suppose -5*j + 236 = 4*x, z*x + 3*j - 236 = j. Is x a multiple of 8?
False
Let y(g) = -g**2 + 12*g + 32. Suppose 2*a - 26 = 2. Let p be y(a). Suppose 4*o + 3*n = 468, -6*o + 2*o - p*n + 464 = 0. Is 20 a factor of o?
True
Let c(k) be the first derivative of k**5/20 + 7*k**4/6 + 5*k**3/6 - 3*k**2 + 10*k + 30. Let q(n) be the first derivative of c(n). Is 8 a factor of q(-13)?
False
Let h(b) = -16*b - 54. Let u be h(-4). Suppose 0 = -4*f + 3*f + u. Is f a multiple of 2?
True
Suppose -3*l - 14541 = -3*a, -2*a + 5*l - 2529 = -12244. Is 95 a factor of a?
False
Suppose 3*d - 702 + 102 = 0. Suppose w - 227 = 5*o, 0 = w - 3*o - d - 23. Is w a multiple of 31?
True
Suppose 4*a - 5 = -z + 32, 0 = -3*a + 9. Suppose 480 = z*i - 22*i. Does 20 divide i?
True
Let c(y) = 7121*y**2 - 15*y + 6. Is c(-1) a multiple of 40?
False
Let s be -6 + (1 - (-3 + -2)). Suppose 21*h - 10*h - 2332 = s. Is 20 a factor of h?
False
Suppose 0 = 3*s - 8*s - 2*k + 36, 0 = 4*s + k - 27. Suppose 3*r + 157 = o, -s*r + 167 = o - 7*r. Is o a multiple of 16?
False
Is 41 a factor of (-3)/(-8*(-55)/88)*218055/(-9)?
False
Does 32 divide 25 - -8158 - (1 + (-6 - 5))?
False
Suppose 4166 + 608 = 2*y - d, 11935 = 5*y - 3*d. Is 82 a factor of y?
False
Let j(y) = -26*y + 0 - 8 - 2*y**2 - 13 - 2*y. Is 7 a factor of j(-7)?
True
Suppose -4*d + 5*s = 228, 2*s + 3*s = 20. Let f(n) = 6*n**3 + 83*n**2 - 105*n - 12. Let k be f(-15). Let v = k - d. Is v a multiple of 8?
True
Suppose 7*u + 231 = 4*u. Let o = 77 + u. Suppose o*m - 846 = -6*m. Is m a multiple of 19?
False
Suppose 14*f - 5517 = 11*f. Is f a multiple of 31?
False
Let y(u) = -3*u**2 + 28*u + 1. Let p be y(9). Let h(z) = p + 10*z**2 - 27 - 9 - 9*z**2 - 2*z. Is h(14) a multiple of 14?
False
Let c(v) = -v**3 - 2*v**2 + 5*v. Let s be c(-3). Let d be -1*423 - s/2. Let q = -218 - d. Does 18 divide q?
False
Let b = 1723 + -903. Is 5 a factor of b?
True
Let r = -2 - -7. Suppose -27 = -3*s - r*h + 3, 3*h + 16 = 5*s. Suppose -i - 2*z = -147, -i - s*z + 439 = 2*i. Is i a multiple of 13?
True
Let t(k) = k - 3. Let u be t(10). Let b(x) = -x**2 + 20*x - 89. Let i be b(13). Suppose 0 = -i*m + u*m - 1175. Is 14 a factor of m?
False
Suppose -4*n + x + 20 = -3*x, 3*n + 3*x - 15 = 0. Suppose 27*r = -f + 26*r + 782, -4*f - n*r + 3126 = 0. Is f a multiple of 78?
False
Let i(x) = x**3 + 62*x**2 + 56*x - 2626. Is 7 a factor of i(-52)?
False
Suppose 0 = d + 8*d - 72. Let s(u) = -33*u. Let c be s(d). Let x = -136 - c. Is x a multiple of 32?
True
Let c = 41187 + -29591. Is 46 a factor of c?
False
Let g = -3274 - -5383. Does 9 divide g?
False
Suppose -4*y + 6893 = 5*d, 9*d - 3443 = -2*y + 10*d. Does 17 divide y?
False
Let p(j) = 14*j**2 - 157*j - 2240. Is p(-19) a multiple of 187?
True
Suppose -5*k = 3*w - 87507, 12246 = w - 4*k - 16923. Does 46 divide w?
False
Let l(d) = -132*d + 1. Does 2 divide l(-4)?
False
Let s be ((-6)/(-9))/(1/9). Suppose -5*p - 37 = 3*i, 2*p + i + s = 2*i. Does 23 divide (150 - (-7 - p))/2?
False
Let p(o) = -o**3 + 35*o**2 - 65*o + 102. Is p(18) a multiple of 37?
True
Suppose -9*p + 8 = 17. Is 3 + (p/5 - (-3157)/35) even?
False
Suppose 0 = -25*c + 16*c + 54. Let m(k) = 6*k**2 - 8*k + 9. Is m(c) a multiple of 9?
False
Let z = 4008 - 3675. Is z a multiple of 7?
False
Suppose -2*w - 5*o = -1765, -73*o + 4330 = 5*w - 77*o. Is 5 a factor of w?
True
Suppose -4*z - 2*l = -171262, -80*l = 5*z - 77*l - 214075. Is z a multiple of 79?
True
Is 65 a factor of -101 + 104 - (0 - 3959)?
False
Let o = -137 - -232. Let w be (23 + 2)*19/((-1710)/72). Let h = o + w. Is h a multiple of 21?
False
Is 41 a factor of (-752 + 18)/(7 + (-576)/82)?
True
Let c(u) = -2*u**2 - 7*u - 8. Let z be c(-2). Let s(d) = 18*d**3 - 4*d + 1. Let g(y) = 35*y**3 - 7*y + 2. Let i(h) = -4*g(h) + 7*s(h). Is i(z) a multiple of 28?
False
Does 18 divide ((-1430)/(-52) - 27)/((-3)/(-55164))?
False
Let k = -356 + 501. Suppose 3*n + 110 = -t, -12*n + 11*n = -5. Let j = t + k. Does 20 divide j?
True
Let k = -273 + 738. Is k a multiple of 31?
True
Suppose -8953 - 2847 = -4*j. Does 50 divide j?
True
Does 18 divide ((-794)/(-1) - 2)*(-24)/(-16)?
True
Let v(d) = -2*d**3 - 2*d**2 + 2*d + 2. Let c be v(-2). Suppose -21 = c*o - 13*o. Suppose 0 = 3*n + f + 4*f - 403, -4*n - o*f + 541 = 0. Is 13 a factor of n?
False
Suppose -3*d + 996 = 3*h, -2*h + 0*d = -4*d - 658. Is 73 a factor of h?
False
Let u = -39200 - -166657. Let k be u/44 - (2 - (-10)/(-8)). Is 22 a factor of 0 - (k/(-44) - (-6)/(-33))?
True
Let x(d) = -6*d**2 + 343*d - 26. Does 15 divide x(11)?
False
Let d be (1/(-2))/(-1)*-2. Is 8 a factor of d/(33/(-2052)) - (-6)/(-33)?
False
Suppose -4*v + 83 = -2*n - 71, -4*n - v - 353 = 0. Let f = 133 + n. Is f a multiple of 46?
True
Let b(h) = 16 + 3*h**2 + 10*h - 2*h**2 - h**3 - 15*h. Is b(-4) a multiple of 5?
False
Let j(o) = -2*o**3 - 58*o**2 + 2*o + 306. Is j(-32) a multiple of 14?
False
Suppose -17*b = -144311 - 1311. Does 82 divide b?
False
Let s = -4624 - -5623. Is 3 a factor of s?
True
Suppose -61*z + 63*z = 2. Let n be 1/1*z + (11 - 10). Suppose 5*y + n = -23, 0 = 3*r - 2*y - 163. Is r a multiple of 14?
False
Let x = 178 - -202. Is x a multiple of 2?
True
Let v be 3/(-6)*-3*2. Suppose 217 = v*r - 5*w - 0*w, -2*r + 138 = -2*w. Does 3 divide r?
False
Let n(v) = -205*v - 1. Suppose 3*d - d - u = 1, -3*d + 9 = -4*u. Is n(d) a multiple of 6?
True
Let f(s) = -s**3 + 35*s**2 - 62*s - 22. Is f(31) a multiple of 5?
True
Let c(x) = x**2 + 8*x - 3. Let a be c(-4). Let m = a - -19. Suppose -5*f + h + 316 = m, -4*f + 27 + 245 = 4*h. Is 16 a factor of f?
True
Suppose 3*q + 0*q + 51 = 0. Let a = -19 - q. Is (-90)/(-36)*((-164)/1)/a a multiple of 31?
False
Suppose 0 = 59*q - 56*q - 1968. Let j = q + -296. Is 25 a factor of j?
False
Is 53 a factor of 4975 + (-6 - -3)/(1*(-12)/28)?
True
Let z(c) = 12*c**2 + 3*c + 8. Suppose 4 = -4*b - 4*n, b - 7*n = -2*n + 23. Suppose -7 = b*x + 2. Is z(x) a multiple of 8?
False
Let r = 30227 - 20993. Is r a multiple of 114?
True
Let l(w) = -2*w**2 - 136*w - 435. Is 15 a factor of l(-38)?
True
Suppose 123*y - 2711559 = -147460 + 320251. Is y a multiple of 67?
True
Let y = -11 + -13. Let n = y - -17. Is (n - 7)*(-9)/6 a multiple of 15?
False
Let d = 76533 + -13630. Is d a multiple of 12?
False
Suppose 7*g = 3*g - 320. Let m be (96/g)/((-3)/(-50)). Is (m/1)/(-5) - -59 a multiple of 24?
False
Suppose -118 = -17*a + 52. Suppose -10 = 4*c + a, 4*c - 148 = -4*k. Is k a multiple of 21?
True
Let s = 15160 + -8340. Is 155 a factor of s?
True
Let b(d) = 4*d**2 - 29 + 97 + 24*d - 5*d**2 - 6. Suppose 44 + 56 = 4*m. Does 8 divide b(m)?
False
Let c = 4531 + -2134. Is c a multiple of 47?
True
Let m be -1 + (-14)/(-18) - 268135/(-315). Let d = m - 181. Is 67 a factor of d?
True
Let c = -760 + 379. Let x = c + 545. Is 10 a factor of x?
False
Suppose x + 2*w - 597 = 0, 421 = 2*x + 3*w - 775. Let s = x - 328. Does 21 divide s?
True
Does 17 divide ((183663/(-4))/(-9))/(19/76)?
False
Suppose -18621*s + 18602*s = -121334. Does 128 divide s?
False
Let r = 18 + -18. Suppose 6*a - 36 = -r. Is 7 a factor of 180/8 + a/(-12)?
False
Let p = -3 - -6. Let t be 3209/12*2 - 475/570. Suppose -t = -p*d - 0*d. Is d a multiple of 57?
False
Let c(r) be the third derivative of r**6/120 + 7*r**5/60 - 7*r**4/12 + 4*r**3/3 - 36*r**2. Is 3 a factor of c(-8)?
False
Let i(z) = -2*z**3 - 9*z**2 + 10*z - 1. Let r be i(-7). Suppose -333 = 4*p + 5*x, -5*p = 4*x - r + 579. Is p/(-6) - 1/(-6) a multiple of 12?
Fa