9. Does 9 divide y(11)?
True
Let z be 11*203 + -2 + 37/37. Suppose -z = -8*q - 152. Does 13 divide q?
True
Let g(u) = -29*u**3 - u**2 + 2*u + 2. Let i be (-47)/(-3) - 10/15. Let j be (-1)/(-5) - (-2)/(-25)*i. Is g(j) a multiple of 28?
True
Let y = 69334 + -30916. Is 114 a factor of y?
True
Suppose 22*u + 7120 = 6*u. Let c = -229 - u. Does 15 divide c?
False
Suppose -u - 75 = 5*m, 4*u + 76 = 2*m - 158. Let q = -24 - u. Suppose 2*y - i - 178 = -q, 5*i + 62 = y. Does 12 divide y?
True
Let k be (-5)/10*-26 - 4. Suppose -36 = -k*m + 7*m. Suppose m*x - 23*x = -700. Is 9 a factor of x?
False
Let d = 9324 + -602. Is 14 a factor of d?
True
Let r(f) = f**3 - 15*f**2 - 18*f - 5. Let n be r(16). Let m = n + 118. Is m a multiple of 31?
False
Let u(m) = 1702*m - 222. Is u(8) a multiple of 16?
False
Let g = -1044 - -2048. Suppose -1 = d + 1, 3*d - g = -5*t. Let o = t + -48. Is o a multiple of 11?
True
Suppose 7 = 2*o - 1. Let l = 276 + 20. Suppose -3*r + 12 = -0*r, 0 = -o*w - 3*r + l. Does 39 divide w?
False
Suppose -3*r + 130 = -5*r. Let p = r + 78. Suppose 0 = 14*f - p*f - 145. Does 29 divide f?
True
Is 92 a factor of 18/36 - (27234/(-4) - -1)?
True
Suppose 2*k + 35 = 3*g - 135, -2*g + k + 114 = 0. Suppose 0 = -0*j - 3*j - 2*h + g, -4 = h. Suppose 5 = r - j. Is r even?
False
Suppose 22 - 12 = 2*z. Let l = 25 - 22. Suppose -5*c + 440 = 5*f, -f - z*c + 86 = -l*c. Is f a multiple of 28?
False
Let o = 857 + 273. Suppose -5*v + 0*d = d - 1122, 5*v - o = -5*d. Is v a multiple of 14?
True
Let y(g) = -2*g**2 + 3*g + 5. Let m be y(5). Let z = -71 - m. Let t = -32 - z. Is 7 a factor of t?
False
Let n = 7030 - 5095. Is n a multiple of 5?
True
Let m = 188 + -183. Suppose -k = 3*l - 491, -m*k + 399 = 3*l - 100. Is l a multiple of 12?
False
Suppose 0 = 207*o - 259790 - 132268. Does 10 divide o?
False
Does 36 divide (-159 + 78)*12/(-1)?
True
Is ((-816)/(-252)*-7)/(1/(-939)*2) a multiple of 13?
False
Suppose 0 = 2*w - 6*w. Suppose 0 = -w*f - 5*f + 400. Suppose f = -2*r + 3*r. Is 10 a factor of r?
True
Let l = 48 - 60. Let s be (-3)/(-6) + l/8*-1. Is 13 a factor of 1/(s + 0) - 476/(-8)?
False
Let c = -2772 - -4923. Is 7 a factor of c?
False
Let d(z) = -4*z + 57. Let o be d(14). Suppose -3*y - 5*u + 41 = 0, -y = 5*u + 4 - o. Is y a multiple of 22?
True
Does 66 divide (46607/11 - 13) + 0/(-2)?
True
Suppose -4*z + 2737 = y, -5*z - 6557 - 4496 = -4*y. Is y a multiple of 114?
False
Suppose -5*n = -6 + 11. Let j be (15/(-5) - 10)*n. Suppose 0 = 10*l - j*l + 321. Is 20 a factor of l?
False
Let l = -1700 + 888. Let s = 1274 + l. Does 14 divide s?
True
Let u = -19185 - -20620. Is u a multiple of 5?
True
Let c(g) = -g - 15. Let j be c(-11). Let k = 68 - j. Does 3 divide k?
True
Suppose -3*k + 24 = 4*s, s - 2*k = -4 + 10. Let f = -25 + s. Is 5 a factor of (-4 - (0 + f)) + 0?
True
Let o be -5 - (6 + 10/(-25))*-20. Suppose 0 = -o*x + 108*x - 1138. Does 7 divide x?
False
Let j = -815 + 979. Let f = -94 + 18. Let i = j + f. Is 44 a factor of i?
True
Let r = 124 - 122. Suppose -5*z = -4*h - 586, -r*z + 2*h + 88 + 148 = 0. Does 8 divide z?
False
Suppose 5*k = -i + 10075, 3*i - 30273 = 3*k - 6*k. Does 131 divide i?
False
Let f(q) = q**3 - 6*q**2 - 15*q - 8. Let t be f(8). Suppose t = -11*j + 8*j - 21. Let h(i) = i**2 - 8*i - 42. Does 9 divide h(j)?
True
Let p(q) = -q**2 + 3*q + 17. Let w be p(4). Suppose 19*h = w*h + 480. Does 40 divide h?
True
Suppose -14*o + 18876 = 12*o. Let f = 1608 - o. Is 14 a factor of f?
True
Let d(z) = z**3 - 26*z**2 + 15*z + 16. Let u be d(10). Let o = 2086 + u. Is 9 a factor of o?
False
Suppose -5*s - 2167 - 1028 = -5*f, s - 4*f = -645. Let y = s - -893. Is y a multiple of 4?
True
Let u(v) = v**2 - 3*v - 10. Let r be u(5). Suppose 7*a + 227 - 738 = r. Suppose 19 - a = -b. Is 27 a factor of b?
True
Let p(h) = -15*h + 114. Let o be p(8). Let s(r) = 13*r**2 - 9*r - 5. Is s(o) a multiple of 10?
False
Suppose 0 = 18*n - 217817 + 16811. Does 18 divide n?
False
Let f = 9434 - 5327. Does 37 divide f?
True
Let f(n) = -n**3 - 9*n**2 - n - 24. Let s be f(-6). Let u = s + 291. Does 24 divide u?
False
Suppose 24*h - 273709 = 564635. Is 159 a factor of h?
False
Suppose -7*x - 3*k - 8 = -11*x, -4*x - 5*k + 8 = 0. Suppose 882 = x*h - 2*i, -5*h - i - 392 = -2615. Does 37 divide h?
True
Let t(w) = w**3 + 29*w**2 + 54*w + 28. Let k be t(-27). Is 14 a factor of ((-2308)/(-32) - 7/56)*k?
True
Suppose 4*p = -5*u - 4971, 3*p + 3645 + 86 = -u. Let x = p - -621. Does 25 divide 16/40 + x/(-5)?
True
Does 83 divide 4742 - ((-1 + 10 - 1) + 3)?
True
Suppose -8*p + 16 = -4*p - 4*f, -4*p + f = -19. Suppose -p*c + 27 = 4*c. Suppose -m + 2 + 35 = -c*h, 5*m = -5*h + 125. Does 8 divide m?
False
Suppose 4*l + 5*x - 8 = 0, 0*x = -3*l + 2*x + 6. Suppose -19*i + 1972 = -l*i. Does 4 divide i?
True
Let p = -73 + 66. Let k(q) = 11*q + 2. Let x be k(p). Let u = x - -120. Is 10 a factor of u?
False
Suppose t - 26 = 6*t - 4*p, p - 6 = t. Let r(k) = 42*k**2 + 11*k + 27. Is 13 a factor of r(t)?
False
Let o(b) = b + 0*b + 0*b - 2*b. Let u be o(-3). Suppose -7*g - u*g = -360. Is 18 a factor of g?
True
Suppose -5*z + 19 = t - 3*t, -4*z + 6 = 3*t. Let u(v) = -2*v**3 - 3*v**2 + v + 4. Let l be u(t). Is 7 a factor of (l/(-12) - 3)/((-1)/2)?
True
Suppose 0 = 2*t + 3*t - 20, -q + t = -14. Let g = 20 + q. Let d = g + -14. Is 4 a factor of d?
True
Suppose 7*h - 24 = -h. Let b be (-10)/(-15) - (h + (-57)/9). Suppose 0*q + b*q - 728 = -3*y, 2*y - 482 = -q. Is 12 a factor of y?
True
Let f(a) = -a**2 + 3*a - 11. Let t be f(8). Let b = -30 - t. Suppose y = -3*x - x + 11, -4*x = -y - b. Is x even?
True
Let c be 0 - (1 + (-1 + 2)/1). Does 29 divide (3501/12 - (-2)/8) + c?
True
Let q = 11 + 2. Let t = 129 - 129. Let v = q + t. Does 13 divide v?
True
Let g(h) = 3*h - 19. Let d be g(7). Suppose r - 7 - 29 = -d*s, 2*s = 0. Does 12 divide r?
True
Suppose 16*y - 14*y + 8 = 0, 3*y = -3*s + 167217. Is s a multiple of 126?
False
Suppose 19679*a - 19740*a + 1184620 = 0. Is a a multiple of 31?
False
Suppose -5*n = -20, 2*c + 78 = -4*n + 196. Is 2 a factor of c?
False
Suppose 0 = -249*a + 206*a + 357717. Does 51 divide a?
False
Suppose -5*v = -2*h + 4 - 0, 5*v = 5*h - 10. Suppose 0 = 2*w, -3*w - h*w = 3*x. Suppose 152 = s - x*s. Does 38 divide s?
True
Let v(p) = p**3 - p + 1419. Let i be v(0). Let t = -987 + i. Does 18 divide t?
True
Let s = 10833 - -9679. Does 14 divide s?
False
Suppose -3*s + 5 = -2*u, 107*u - 7 = -s + 105*u. Suppose -5*b + g = 2*g - 22, 2*b - 2*g - 4 = 0. Suppose b*t - 22 = s*t. Is 3 a factor of t?
False
Let a = 3511 + -936. Does 103 divide a?
True
Let x(b) = 21*b + 86. Let o be x(-3). Suppose o*l = -2*y + 18*l + 33, -3*y - 2*l = -66. Is y a multiple of 12?
True
Is (4712/6)/(21/(18 + 234)) a multiple of 43?
False
Let z = 14075 - 7957. Suppose 0 = -20*x + z + 1162. Does 21 divide x?
False
Let i be 5*12/45 + 44/(-6). Let h(p) = p**3 + 6*p**2 - 7*p - 3. Let r be h(i). Suppose -3*f = -78 - r. Is f a multiple of 22?
False
Let k(o) = -o**3 - 7*o**2 + 8*o + 15. Suppose -4*l - 36 = -4. Is 4 a factor of k(l)?
False
Suppose -65429 = -17*q + 72551 + 7812. Is 16 a factor of q?
True
Let a(v) = -v**2 - 23*v + 25. Let i be a(-17). Suppose 49 = -u - 3*y + 2, -5*y = -3*u - i. Let h = u - -76. Is 23 a factor of h?
False
Let t be 26/4 + 0 + 75/(-50). Suppose 3*r + t*s - 918 = 0, 5*r + 31*s - 1530 = 34*s. Does 43 divide r?
False
Let m = 3557 - 2187. Suppose -190 - 90 = -k + s, s = -5*k + m. Is k a multiple of 15?
False
Let p be 2*(-1 + 20/8 - -1). Let j be p/((-5)/(-8))*(-1)/(-2). Suppose 36 = 4*o - 2*g, j*o + 5 = -2*g + 33. Is o a multiple of 3?
False
Suppose 0 = 8*l - 1102 - 2042. Suppose l = 9*b - 66. Is 17 a factor of b?
True
Let b(r) = 61*r + 16*r**2 + r**3 - 66*r + 15 - 5*r**2. Let y be b(-12). Let k = y + 151. Is k a multiple of 10?
False
Let z = -400 - -163. Let i = -81 - z. Suppose 0 = 6*y - 7*y + i. Is 16 a factor of y?
False
Suppose 10 + 12 = 2*m. Suppose 0 = z - m*z + 430. Let a = z - -5. Is a a multiple of 12?
True
Let h be (36/20 + -2)/((-1)/5). Let v = 33 + -56. Is 21 a factor of (3 - 5)/h - v?
True
Suppose 39*v + 20 = 40*v. Suppose -450 = -v*t + 1350. Does 45 divide t?
True
Suppose 2 = l - 2*z, -13*z = -l - 16*z - 18. Let t(p) = 11*p**2 - 41*p. Is 107 a factor of t(l)?
True
Let j(g) = 3*g**2 - 60*g - 12. Is j(-50) a m