t be (2/(-6))/(5/(-150)). Suppose y + y = t. Is 6 a factor of z(y)?
False
Let c = 104 + -64. Let d be -3*6*4/(-36). Is 32 a factor of ((-128)/c)/(d/(-20))?
True
Let m(u) = -2*u + 159. Let v be 51/9 + -6 - 2/(-6). Is m(v) a multiple of 13?
False
Suppose 9*s = -5*u + 7*s + 1987, -3*u + 2*s = -1205. Is 21 a factor of u?
True
Suppose 2*o - 19 = -5*m + 3*o, 2*m + 4*o + 10 = 0. Suppose m*l + 24 = 2*i - 282, 3*l = -4*i + 576. Is i a multiple of 49?
True
Suppose -2*w + 2*z = 53 + 21, -w = 3*z + 37. Let c = 54 + w. Is 14 a factor of c?
False
Let r(z) = 69*z - 19*z + 4 - 3 + 127*z. Let p be r(1). Does 12 divide (-4)/(-10) - p/(-5)?
True
Let o = -1775 - -2567. Is 44 a factor of o?
True
Let a(m) = 3*m**3 - 6*m + 26. Does 12 divide a(4)?
False
Let j = 191 - 87. Let a be 64/28 + -2 - (-12)/7. Suppose 0 = -3*t - h + j, 2*t + a*h - 72 = -0*t. Is t a multiple of 17?
True
Let r = -3982 - -6292. Does 10 divide r?
True
Suppose 0 = 8*q - 445 - 195. Is 20 a factor of q?
True
Suppose -227*g = -235*g + 6920. Is 15 a factor of g?
False
Let g(b) = b**2 - 6*b - 4. Let l be g(7). Is 3 a factor of (1/2)/(l/186)?
False
Suppose 1322*q + 11160 = 1328*q. Does 36 divide q?
False
Let y = 15 + 138. Is 4/18 + 2873/y a multiple of 4?
False
Let f = -51 - -105. Let r = f - 22. Is r a multiple of 14?
False
Let f = -8 - -9. Let p = 1 + f. Let t(z) = z**3 + z**2 - z + 1. Does 9 divide t(p)?
False
Suppose -6*x = 951 - 2295. Is 7 a factor of x?
True
Is 278 + (-1 - 6/2) + -3 a multiple of 3?
False
Let h = -3142 + 5134. Is 24 a factor of h?
True
Suppose -270 = -8*w + 154. Does 23 divide w?
False
Let u(v) = -v**3 - 9*v**2 - 10*v - 13. Let h be u(-8). Suppose 2*s - 4*s + 255 = h*i, 0 = -2*i - 2. Does 43 divide s?
True
Suppose d - 2*n + 3 = -3*n, d - 3*n = 17. Suppose d*i + 44 = 262. Is 39 a factor of i?
False
Let f(u) = u**2 + 4*u - 10. Let h be f(-7). Let n = h + -7. Suppose n*b = -0*b + 108. Does 7 divide b?
False
Let d be (-2 + -2)/8*-4. Suppose -2*a = d*a + 5*k + 29, -18 = 3*a + 3*k. Is (a - 2 - -7)*4 a multiple of 7?
False
Let r(z) = 13*z**2 - 44*z + 7. Is 28 a factor of r(-7)?
True
Suppose -4*i - 7 = -15. Suppose -2*n = -2*h - 96, 5*n + i*h - 5*h - 244 = 0. Is n a multiple of 10?
True
Let k be 10/8 - (-24)/32. Suppose i + 735 = 3*n + 4*i, -k*n = -5*i - 490. Does 41 divide n?
False
Let u = -553 - -1016. Is 12 a factor of u?
False
Suppose -9*u - 399 + 2928 = 0. Let d = u - 80. Does 11 divide d?
False
Does 36 divide -2 - (-4 + 5 + -435)?
True
Suppose -5*w - 17 = 18. Let y(n) = -n - 12. Let i be y(w). Is 8 a factor of (i - 3)*-2*1?
True
Let r(s) = 3*s**2 - 49*s + 30. Is 11 a factor of r(16)?
False
Suppose 50 = k + 4*k. Suppose -k*v + 8*v + 6 = 0. Suppose -3*b = -8*y + 3*y - 19, y + 23 = v*b. Does 8 divide b?
True
Suppose 0 = 217*n - 215*n - 520. Is 20 a factor of n?
True
Let d(k) = k**3 + 18*k**2 + k + 24. Let m be d(-18). Let j(l) = 3*l**2 - 12*l + 2. Does 9 divide j(m)?
False
Suppose -4774 = 51*i - 62*i. Is i a multiple of 21?
False
Suppose 15*k + 10 = 40. Suppose -3*h + 112 = 3*d - 17, -k*d + 38 = h. Is 48 a factor of h?
True
Suppose 4*z = -y + 13, 4*z + 0*z - 28 = -4*y. Let l(j) = 8*j + 10*j + 4 - y - 5*j. Is l(7) a multiple of 30?
True
Let v(r) = r + 20. Let w be v(-9). Let h = 20 - w. Let l = 4 + h. Is l a multiple of 13?
True
Suppose l - 3*z - 2*z - 551 = 0, 4*l - 3*z - 2170 = 0. Suppose -4*t = 117 - l. Is 7 a factor of t?
False
Let c be (1 + (-3522)/(-24))*1*4. Suppose 3*y + y = 8, 0 = -5*j - 3*y + c. Does 37 divide j?
False
Let f = -128 + 282. Is 56 a factor of f?
False
Let j(m) = -3*m + 10. Let r(n) = -n + 3. Let h(s) = 4*j(s) - 14*r(s). Let g be h(1). Suppose 5*l - 324 = -2*t, -2*l - 3*l + 3*t + 314 = g. Is 14 a factor of l?
False
Let b(z) = z**3 + 8*z**2 + 6*z - 5. Suppose -3*a - 17 = 4. Let s be b(a). Let l(q) = -q**3 + 4*q**2 - q + 2. Is 6 a factor of l(s)?
False
Let f(m) = 0 + 6 - 9 - 23*m - 16*m. Is f(-1) a multiple of 18?
True
Let g(o) = -o**2 - o + 4. Let m be g(0). Suppose -i + m = -0*i. Suppose v - 120 = -i*v. Does 6 divide v?
True
Is (-4 - (-56)/21)/(3/(-522)) a multiple of 10?
False
Let w(a) = -6*a - 12. Let y(z) = -z - 1. Let t(k) = -w(k) + 5*y(k). Let l be t(-11). Is 43 a factor of 138 + (1 - (7 + l))?
False
Let q(v) = -v**3 + 6*v**2 + 9*v - 1. Let b = 24 - 17. Let a be q(b). Suppose -3*c + 2 = -k, -3*k + a = 4*c - 20. Does 3 divide k?
False
Suppose -14467 = -8*r - 29*r. Is 17 a factor of r?
True
Suppose 17*j - 4822 + 1133 = 0. Is 7 a factor of j?
True
Suppose 3*x - 9 = -3*l, 4*x + l = 3*l + 30. Suppose -19*a + x*a + 533 = 0. Is 10 a factor of a?
False
Suppose -11*v = 18*v - 2668. Is 10 a factor of v?
False
Let s be -3 + (8 - 2/1). Suppose -3*c = -s*y + 4*y + 10, -2*y = -c - 15. Suppose -3*u = -y*g + 306, -3*u = 3*g + 13 - 187. Is g a multiple of 12?
True
Suppose 10930 = 3*m - 0*m - n, -2*m = 3*n - 7294. Does 26 divide (-4)/(-38) + m/38?
False
Suppose -31*n + 25228 = 22*n. Is 34 a factor of n?
True
Let x be 2/(-9) + 12446/(-126). Let s = -48 - x. Is 20 a factor of s?
False
Suppose -112 = 4*h + k - 656, 5*h - 669 = -4*k. Is 32 a factor of h?
False
Suppose 11*s - 27 = 6. Suppose 0 = 2*a - 4*h - 175 + 63, -5*a + s*h = -252. Is 7 a factor of a?
False
Suppose 4*w = -3*h + 6165, -37*w + 6150 = -33*w - 2*h. Is w a multiple of 27?
True
Let c = 806 + -68. Does 18 divide c?
True
Let o be 6/(-21) + (-111)/(-21). Suppose 4*b + 1 = 13, -5*b - 50 = -o*i. Suppose -3*k = -i - 53. Does 8 divide k?
False
Let b(y) = -61*y + 1029. Is b(-6) a multiple of 31?
True
Let d = 23 + -19. Suppose -5*s + 325 = j, -51 - 35 = -s + d*j. Does 36 divide s?
False
Suppose 0 = 5*h + 41 + 4. Let m(z) = -5*z + 8. Is 18 a factor of m(h)?
False
Let q = -20 + 41. Let x = q - 25. Does 14 divide -4 + x/2 + 48?
True
Suppose 259 = 4*f + u, 5*f - 2*u = 2*f + 197. Does 3 divide f?
False
Let r = 2 + 7. Let i = -33 + 37. Suppose -2*n = 4*h - 40, -2*n - r = -5*h - i. Does 4 divide n?
False
Let m(a) = -15*a + 6. Let l be m(-2). Is l/90 + 136/10 a multiple of 14?
True
Let d = -24 - -26. Suppose 4*g - d - 22 = 0. Is g even?
True
Let g(h) = 47*h**2 - 14 + 15 - 7*h**2. Does 16 divide g(-1)?
False
Let c = 75 - 74. Does 3 divide (c + 1)/(19/133)?
False
Does 3 divide (-2)/(2 - 352/165)?
True
Suppose 12*z - 25038 = -6*z. Is 13 a factor of z?
True
Let r(f) = f**3 + 7*f**2 - 9*f - 2. Let w be r(-8). Is 10 a factor of 32/w*(-135)/(-18)?
True
Let g(b) = 2*b**3 + 2*b + 1. Let i be g(2). Suppose -3*r + 0*r = 4*a - i, -2*a = -2*r. Suppose 0*l + 2*l - a*w = 39, -3*w - 93 = -5*l. Is 15 a factor of l?
False
Let c = 19 + 354. Does 18 divide c?
False
Suppose -5*u + 1781 = -i, -7*u - 3*i - 345 = -8*u. Does 26 divide u?
False
Let z be 2/4*(-60)/(-6). Is 17 a factor of (-1512)/(-40) - 4/z?
False
Let y = -31 - -33. Suppose -4*b + 4*f = -108, -5*b + y*f + 144 = -0*f. Is 4 a factor of b?
False
Is 20 a factor of (-23529)/(-24) - 81/216?
True
Let m = 2476 - 2186. Is m a multiple of 10?
True
Is 8036/35 + ((-36)/(-15))/6 a multiple of 5?
True
Suppose -5*m - 493 = 87. Let y be m/(-8) + 3/(-6). Is (-6)/21 - (-102)/y a multiple of 2?
False
Let d = -1393 + 2383. Is 45 a factor of d?
True
Let g(f) = 32*f**3 - 9*f**2 - 15*f + 108. Does 16 divide g(4)?
True
Let l = 844 + -483. Does 19 divide l?
True
Let u(s) = -s**3 + s + 132. Suppose 5 = 5*y + 4*f - 15, -5*y = -2*f + 10. Is u(y) a multiple of 25?
False
Let b = -33 + 52. Let w = 16 + b. Does 7 divide w?
True
Let i(m) be the third derivative of m**6/120 - m**5/60 - 5*m**4/24 + 2*m**3/3 + 4*m**2. Let f be i(3). Is 8/28 - (-187)/f a multiple of 11?
False
Suppose 0 = 7*p - 6*p - 20. Is 4 a factor of -5*(p/(-4) - 0)?
False
Suppose 0 = 38*y - 42*y - 3*p + 209, -2*y + 2*p + 94 = 0. Is y a multiple of 2?
True
Suppose -1094 = -6*b + 310. Is b a multiple of 13?
True
Let t(c) be the third derivative of c**6/120 + c**5/15 - c**4/12 + 7*c**3/6 - 7*c**2. Let l be t(-5). Is 10 a factor of 54 + l + (1 - -3)?
True
Let x = 15 - 11. Is (1 - 6/x)*-56 a multiple of 20?
False
Let m = -9 + 5. Let j be 219/6*m/(-2). Suppose 0 = -5*p + 12 + j. Is p a multiple of 10?
False
Let w be 22/165 + (-626)/(-30). Let u = w + -16. Suppose -u*r = r - 120. Is r a multiple of 4?
True
Is 11 a factor of 19/(190/164)*110?
True
Let a be (0 + 3)/((-27)/(-36)). Suppose a*u - 52 - 200 = 0. Does 20 divide (-18)/u + 380/7?
False
Let b(g) = g**2 +