. Suppose n = -4*j + j - 45. Let v = j - -46. Does 15 divide v?
False
Is 44 a factor of ((-91)/4)/(-2*2/16)?
False
Let r = -13 - 51. Let k be (-1 + 6)/(2/(-6)). Let h = k - r. Does 11 divide h?
False
Let c = 25 - 30. Suppose -33 + 5 = 2*y. Is 7 a factor of c/((-20)/y)*-6?
True
Is (-10)/(-20)*-2 + 449 a multiple of 8?
True
Let f(b) = -b + 16. Let l be f(13). Suppose -2*s + 4 = -s, 3*x = -l*s + 18. Suppose x*g + 4*v - v = 20, 0 = 3*g - 5*v - 30. Does 10 divide g?
True
Let w = -3 - -8. Suppose 2 + 7 = k + 4*f, -5*f = -w*k + 70. Is 6 a factor of k?
False
Let x = 27 + -23. Suppose a - x*r - 47 = 0, 2*r + 101 = 2*a - 11. Let d = a + -29. Does 15 divide d?
True
Let b(h) = 230*h**2. Is b(1) a multiple of 64?
False
Let h(l) = -l**2 + 10*l + 4. Let b be h(5). Let s(o) = -3 + o - 7*o**2 + b*o**2 + 4. Is 11 a factor of s(-1)?
True
Let w be 2*-5*(-3 - -1). Suppose 3*r = -3*i - 19 - 26, 0 = 5*r + 25. Let d = w + i. Is d a multiple of 8?
False
Let o(j) = -j**2 + 6*j. Let x be o(5). Suppose x*l = 1 + 19. Let d(z) = 2*z**2 - 3*z + 1. Is 11 a factor of d(l)?
False
Let c be 6/(235/110 - 2). Suppose -5*p - 3*z = c - 154, -2*p = 4*z - 30. Does 5 divide p?
True
Let b be 3*(-4 + 12/4). Let g(m) = 13*m**2 - m + 4. Let k be g(b). Suppose l + l = k. Does 19 divide l?
False
Let c(v) = 1614*v + 20. Does 112 divide c(2)?
True
Let r = -246 - -274. Does 2 divide r?
True
Does 11 divide (-30)/5 - 0 - -28?
True
Let b(s) = 14*s + 13 - 2*s**2 + s**2 - 1. Let a = 160 + -146. Does 3 divide b(a)?
True
Let n = 72 - 30. Suppose -4*x = -3*g - 100, 4*x + g = 19 + 65. Let c = n - x. Is c a multiple of 12?
False
Suppose -3*h - 3*b + 2*b = -50, -h - b = -18. Suppose 5*q - 3*i = 2*i, h = 5*q - i. Does 3 divide q?
False
Suppose 2*l = 858 - 58. Is 25 a factor of l?
True
Let u(a) = 2*a**2 - 7*a - 4. Let x be u(-6). Let t = x + -98. Does 7 divide t?
False
Let a(h) = -66*h**3 - 4*h**2 + 2. Is a(-1) a multiple of 8?
True
Suppose 0 = 5*w - 710 - 345. Suppose 2*s - 3*u + w = 4*s, 0 = 2*s + 4*u - 216. Does 42 divide s?
False
Suppose -1930 = -4*g + 906. Is g a multiple of 27?
False
Suppose 183 = 4*c - 4*f + 43, -5*f - 43 = -c. Let w = c - 28. Let q(t) = t**3 - 3*t**2 + 6*t + 1. Is 27 a factor of q(w)?
True
Suppose 0 = -4*x - 2*z + 224, z + 33 = -5*x + 316. Let c = 94 + 5. Let w = c - x. Is 12 a factor of w?
False
Suppose -k - 3*k - 8 = 0, -4*k - 272 = 2*m. Let g = 381 + m. Is 15 a factor of g?
False
Let b = 1301 - 224. Does 39 divide b?
False
Suppose w + 21 = 119. Let k = -2 + w. Is k a multiple of 16?
True
Let o(z) = -z**2 - 12*z - 6. Let a = -28 + 16. Let q be a - (6/(-3))/2. Does 3 divide o(q)?
False
Does 32 divide (-6)/(-4) - (-28624)/32?
True
Let s(p) = 9*p + 0*p**2 - p**3 - 3*p**2 - 4*p. Suppose 16*i - 5 = 17*i. Does 13 divide s(i)?
False
Suppose 0 = -3*w + w - 4*c - 178, 0 = -3*w + 5*c - 234. Let a = w + 140. Is 5 a factor of a?
False
Suppose 79*g + 565 = 84*g. Is g a multiple of 7?
False
Let p(s) = s**2 - 8*s - 37. Is p(-7) a multiple of 4?
True
Let z(h) = h**2 + 3*h + 14. Is 14 a factor of z(-24)?
True
Let k = -178 + 276. Let i = k - 71. Is i a multiple of 3?
True
Suppose 0 = 5*i, -6*l + l + 10 = -2*i. Let s(j) be the second derivative of 19*j**3/3 + 2*j**2 + 3*j. Is 10 a factor of s(l)?
True
Let r = 6 - 1. Suppose r*h - 150 = 280. Suppose -311 + h = -3*q. Is q a multiple of 25?
True
Suppose 4*d - 11087 = -k, 4*k + 5547 = 2*d + k. Does 9 divide d?
True
Let y(p) = p**3 + 6*p**2 - 3*p - 15. Let x be y(-6). Suppose 400 = x*r + u, u + 2*u + 396 = 3*r. Is 18 a factor of r?
False
Let t(r) = 4*r**2 + r - 26. Is 5 a factor of t(5)?
False
Suppose 7*a + 96 = 2357. Is a a multiple of 17?
True
Let t be ((-2 + 6)*-1)/2 + 6. Suppose -t*y + 816 = 2*y. Is y a multiple of 34?
True
Let s(i) = 2*i**2 - 15*i + 5. Let v(q) = -2*q**3 - 29*q**2 - 14*q + 10. Let y be v(-14). Does 11 divide s(y)?
True
Suppose -3*a - 261 = 3*n - 2757, 0 = -a - 2*n + 836. Suppose 2*q - 10 = -5*d - 3*q, 2*d = 2*q. Is 19 a factor of 3*d - a/(-12)?
False
Let v(a) = -a**3 - a**2 + 3. Let k be v(0). Let s be 1 - k/3*-2. Suppose 2*b - s*q - 22 = 78, -b - 3*q + 68 = 0. Is 15 a factor of b?
False
Let m(n) = -7*n**3 - n**2 + 22*n + 10. Is m(-5) a multiple of 25?
True
Let q = 1323 - 627. Is q a multiple of 38?
False
Let y(n) = n**3 - 13*n**2 + 4*n + 15. Let s be y(12). Is (s - 3)/((-6)/4) a multiple of 5?
False
Let d be ((0 - -259) + 2)*(-3)/(-3). Suppose 0 = -5*m + l + d, 3*m - l - 2*l = 159. Does 26 divide m?
True
Suppose 4*d + 8 = 8*d. Suppose 0 = d*y - 135 - 5. Is y a multiple of 35?
True
Suppose -4 = 5*k - 24. Suppose k*i - 176 + 20 = 0. Does 4 divide i?
False
Let y = 67 + 27. Suppose -5*k + 4*u = -689, k = -5*u + 38 + y. Does 18 divide k?
False
Let u(h) = h**2 - 6*h - 1. Let l be u(6). Let t be l/(1 - (-1)/(-2)). Let i(r) = 3*r**2 + 2. Does 11 divide i(t)?
False
Suppose 0 = -18*g + 3660 + 5826. Is 17 a factor of g?
True
Let h(o) = o**2 + 15*o + 19. Let p be h(-14). Does 31 divide 2/p - 6041/(-35)?
False
Does 49 divide (-14)/(33471/(-3717) - -9)?
True
Let i = 519 + -186. Is i a multiple of 36?
False
Let f(k) be the third derivative of 17/60*k**5 + 0 + 0*k**4 - 1/120*k**6 - 4*k**2 + 0*k + 23/6*k**3. Does 23 divide f(17)?
True
Let o = -988 - -1851. Is 20 a factor of o?
False
Let t(f) = -147*f - 34. Is t(-2) a multiple of 13?
True
Let g(w) = -w**2 - 8*w + 11. Let q be g(-9). Let r be q/4 + 36/8. Suppose 12 = r*m - 33. Is 4 a factor of m?
False
Let b(c) = -c**3 + 12*c**2 - 5*c + 2. Suppose 2*y - 4 = 18. Does 11 divide b(y)?
False
Let c be (-1560)/28 - 2/7. Let g = c + 114. Suppose m + g = 2*m. Is m a multiple of 12?
False
Let a(c) = c**3 + 22*c**2 + 38*c - 65. Is 11 a factor of a(-19)?
False
Let r be 486/14 + (-20)/(-70). Let b = -30 + r. Is b a multiple of 5?
True
Let n(r) = 77*r**2 + 51*r - 2. Does 8 divide n(2)?
True
Let i = -195 + 296. Suppose h - i = -4*t + 54, 4*h = -3*t + 659. Let v = -116 + h. Is 17 a factor of v?
True
Let v(d) = d + 12*d**2 - 5 - 5*d - 6*d**2. Let t be v(4). Let z = t - 38. Does 17 divide z?
False
Let k(w) be the second derivative of w**5/20 - 11*w**4/6 - w**3/6 + 19*w**2 - 33*w. Does 5 divide k(22)?
False
Let u(l) = 2*l**2 + 2*l - 2. Let z be u(1). Suppose 4*v + 7 = s, -z*s + 0*v + 62 = 4*v. Does 4 divide s?
False
Let m be (-1192)/(-20) + (-3)/5. Let b = m - 115. Is 10 a factor of (-16)/b - (-348)/7?
True
Let g be ((-2)/(-5))/(3/75). Suppose 5 = d + 7. Let f = d + g. Is f a multiple of 8?
True
Suppose -15*j = -4*j - 3553. Is 15 a factor of j?
False
Let j(i) = -9*i + 85. Let g be j(10). Suppose 3*d = 3*t - 57, -6*t + 2*t - d + 96 = 0. Let q = g + t. Is 6 a factor of q?
True
Let n(v) = 13*v**2 + 6*v - 30. Does 2 divide n(5)?
False
Let y = -598 + -182. Does 19 divide 4/14 - y/14?
False
Suppose -5*p + 897 + 10 = 3*r, -4*p = -4*r - 732. Does 13 divide p?
True
Suppose 0 = -4*o + 2*c + 322 + 826, 4*o - 1146 = c. Is o a multiple of 22?
True
Suppose -7 = -3*f - 13. Is 19 a factor of (1 - 2)/(f/158)?
False
Suppose 2*z = -3*i + 9, 2*z + 2*i - 8 = 2. Suppose -3*l = -z*l + 66. Is 22 a factor of l?
True
Let x be -1 - -6 - (12 - 10). Suppose 0 = -f + 3*j - 2 + 7, 3*f + 18 = -2*j. Let q = x - f. Is 7 a factor of q?
True
Let y = -111 + 111. Suppose 3*a - 43 - 11 = y. Does 6 divide a?
True
Let o = -2821 + 4003. Is 63 a factor of o?
False
Let t be (1 - (-6)/(-9))*12. Let u be -4*(2/t + -1). Suppose 36 = k - u*q, 4*k + 34 = -q + 142. Is k a multiple of 14?
True
Is (6/(-4))/((155/540)/(-31)) a multiple of 27?
True
Let n be 160/(-15) + (-1)/3. Let t(p) = -p**3 - 12*p**2 - 13*p + 13. Let u be t(n). Suppose 3*h - u = 115. Is h a multiple of 10?
True
Suppose -20795 = -21*h + 10075. Is h a multiple of 49?
True
Let k(h) = h**3 - 9*h**2 + 2*h - 13. Let a be k(9). Suppose a*f + 38 + 7 = 0. Let v = 6 - f. Does 3 divide v?
True
Let m(z) = -z**3 + 25*z**2 + 58*z - 33. Is m(26) a multiple of 47?
True
Does 6 divide (-171672)/(-99) + (-24)/396?
True
Suppose -2*b + 5*b - 201 = 0. Suppose 3*t + 22 = b. Is t a multiple of 9?
False
Let m(t) = t + 6. Let d be m(-6). Suppose 4*p = -d*p + 540. Suppose -3*h + 2*b + 40 = -h, -5*h + p = 2*b. Is h a multiple of 10?
False
Suppose 7*n = 3*n - 16. Let l(m) = -4*m**2 - 10*m - 4. Let o(t) = -3*t**2 - 7*t - 3. Let f(a) = 5*l(a) - 7*o(a). Is 13 a factor of f(n)?
False
Let t(k) = -4*k**2 - 114*k - 67. Let f be t(-