10 + 174 = 0. Let m(j) = -j**2 + 10*j + 22. Let d be m(12). Is 6 a factor of (u/(-56))/(d/(-21))?
True
Is 8*(2 - (-3)/(72/3318)) a multiple of 33?
True
Let i = -2810 + 4214. Does 18 divide i?
True
Suppose -3*v = -7*v + 148. Suppose 4*l = -2*w - 49 - 67, -2*w = -3*l - 94. Let a = l + v. Is a a multiple of 4?
False
Suppose 0*j = 4*q - j - 7187, -4*q - 2*j = -7202. Suppose 9*a - 650 = q. Does 17 divide a?
True
Suppose 1259 = d + 17*i - 16*i, 3*i + 3807 = 3*d. Is d a multiple of 24?
False
Let t be 12/((-7)/15 - (-2)/12). Does 14 divide (-24)/t + (-67)/(-5)?
True
Suppose -y - 6*y = -7. Is 11 a factor of (-6 - y)*30/(-7)?
False
Suppose -8917 = -4*c + 10639. Is c a multiple of 31?
False
Let y be (-392)/(-5) - 7/((-105)/(-6)). Let o = 90 - y. Does 12 divide o?
True
Suppose 0 = 5*u + s - 27, -u - s + 1 + 6 = 0. Suppose -5*h + f = u*f - 95, 2*h + 3*f - 38 = 0. Does 2 divide h?
False
Let l(d) = -44*d + 8. Let p(b) = -b - 1. Let y(w) = -l(w) - 2*p(w). Is 43 a factor of y(2)?
True
Let d(m) = -6*m**2 + 49*m - 8. Let j be d(8). Let p = 39 + 37. Suppose -4*n + a + p + 28 = j, -n + 2*a = -19. Is 12 a factor of n?
False
Suppose -2*d - 12 = -t, 4*t + 0*t + 4*d = -12. Let p = 3 + t. Suppose p*c - 228 = -4*h - 38, 5*c = -3*h + 195. Is 12 a factor of c?
False
Let u = 31 + -26. Suppose -3 = -2*x + u. Suppose 3*w - 124 = -x. Is w a multiple of 10?
True
Let s be 26/(-14) - (18/(-21))/(-6). Is 195 + s/1 + 3 a multiple of 49?
True
Let w(h) = 2*h**3 - 9*h**2 + 13*h - 4. Let s be w(6). Does 19 divide s/(-49) + 4 - 1060/(-14)?
True
Suppose 0 = -17*r + 12*r + 2145. Is 11 a factor of r?
True
Let u(i) = -i**3 + i**2. Let h(w) = -8*w**3 + 18*w**2 - 3*w - 7. Let l(t) = h(t) - 6*u(t). Does 17 divide l(5)?
False
Suppose 3*w = -3 - 6, 3 = 3*s + 3*w. Does 15 divide (321/(-4))/((-3)/s)?
False
Does 8 divide (-55)/11 + 155 - 1?
False
Let y(r) = 18*r - 126. Is 21 a factor of y(21)?
True
Suppose -h + 0*h + 16 = 0. Let s = 14 - h. Does 7 divide (-191)/(-9) - s/(-9)?
True
Let k(h) = h**3 - 12*h**2 + 4*h + 7. Is k(22) a multiple of 141?
True
Let g = 126 + 69. Suppose -o - g = -5*d + 3*o, -4*d + o = -145. Let c = d - 8. Is c a multiple of 8?
False
Suppose -2*t - 386 - 94 = -a, 3*a = 5*t + 1438. Is 45 a factor of a?
False
Is -10 + 10 - 1*-94 a multiple of 13?
False
Suppose 0 = -h + 3*k + 361, 5*h - 4*k = -6*k + 1873. Is 13 a factor of h?
False
Let s = 119 + -86. Is 6 a factor of s?
False
Does 35 divide 93*3 + 48 + -47?
True
Let g be 57 + 4 + -1 + 1. Suppose 2*i = 3*k - g - 60, 5*i + 66 = 2*k. Is k a multiple of 10?
False
Let w(c) = -c + 382. Let o be w(0). Suppose -2*h + o = 3*v, 0 = -5*h + 3 - 23. Suppose 4*x - v = -x. Does 14 divide x?
False
Suppose 6*r - 782 - 148 = 0. Suppose 6*l - l = -5*o + r, 3*o = 4*l - 152. Is l a multiple of 7?
True
Suppose 0 = 4*c - v - 943, -3*c = -7*c - 4*v + 968. Is c a multiple of 25?
False
Let k = 59 + -19. Suppose 5*t - 740 = -k. Is 35 a factor of t?
True
Let w = 2098 + -1258. Does 15 divide w?
True
Suppose -395 = -4*d - k + 106, -d + 4*k = -138. Does 14 divide d?
True
Let s be (-2)/(-2 - (-1348)/672). Is (-1 - -2)/(-3 - s/111) a multiple of 37?
True
Suppose 3*m = 3*o - 51, 2*o + 1 = 3*o - 5*m. Let w = o - 1. Does 5 divide w?
True
Suppose -2*a = -4*a + 44. Suppose 3*v = 2*d - 15 - a, -d + 18 = -2*v. Let t = d + -16. Is t a multiple of 4?
True
Let o(w) = -8 + 12 - 24*w - 3*w**3 - w**2 + 24*w. Let p(a) = 2*a**3 + a**2 + 2*a + 1. Let q be p(-1). Is o(q) a multiple of 4?
True
Let s(i) = 2*i**3 - 49*i**2 + i - 15. Is s(25) a multiple of 20?
False
Let s = 2 + -8. Let o(q) = q**3 + 9*q**2 + 3*q + 6. Is o(s) a multiple of 24?
True
Is 150/1*(-1470)/(-175) a multiple of 5?
True
Let l be 0/1 + (-3 - 3). Let k be 552/16*4/l. Let a = 59 + k. Is 19 a factor of a?
False
Let v(m) = 28*m - 1. Let k be v(3). Suppose 2*r = -31 + k. Let d = r + -16. Is d a multiple of 5?
True
Let b(x) = 320*x**3 + x**2 - 2*x. Does 7 divide b(1)?
False
Let u = -4 + 8. Suppose 3*h = -7 + u. Let d(a) = -59*a**3 - a. Is 20 a factor of d(h)?
True
Suppose -12486 = 13*k - 47118. Is k a multiple of 36?
True
Suppose 660 - 2676 = -4*s. Is 28 a factor of s?
True
Let r(a) = -a**2 + 88*a + 52. Does 6 divide r(78)?
False
Let g(f) = 1327*f**2 - 8*f + 9. Is 83 a factor of g(1)?
True
Suppose 51 = 2*c - 69. Let d(f) = -f**2 + 8*f - 10. Let y be d(6). Suppose 2*r - c = -y*r. Is r a multiple of 5?
True
Let w = -2712 - -3979. Is w a multiple of 7?
True
Let k = -5938 - -8389. Is k a multiple of 25?
False
Let a be ((-1000)/(-6))/(29/174). Suppose -11*t + 3*t = -a. Is t a multiple of 13?
False
Let p(s) = 5 + 0*s + 4*s - 2*s. Let v = -28 + 38. Does 5 divide p(v)?
True
Suppose 4*c = -2*k + 1064, 4*k = 3*k + 2*c + 548. Is k a multiple of 25?
False
Let l(y) = -y**3 - 2*y**2 - 7*y - 1. Let g be l(-2). Let w be 1 + -3 + 2 + 0. Let o = g - w. Is 13 a factor of o?
True
Let k = 58 + 80. Is k a multiple of 23?
True
Let w(r) = -4*r + 21. Let u be w(0). Suppose 16*j + 115 = u*j. Suppose 0 = -d + j - 8. Is 15 a factor of d?
True
Let u(a) = 3*a**2. Let s be u(-1). Let h(p) = 4*p**3 + 3*p**2 + 4*p. Does 22 divide h(s)?
False
Let n = -525 + 817. Does 20 divide n?
False
Is (-25 + 85)*(-84)/(-10) a multiple of 56?
True
Suppose y + 0 - 3 = 0. Suppose 5*n + 0*n = y*p + 92, 52 = 3*n - p. Is n a multiple of 4?
True
Suppose g + 2*d = -9, 5*d + 14 = g - 3*g. Let r = -5 - g. Suppose 0 = 8*a - r*a + 200. Is 11 a factor of a?
False
Suppose 5*v - 1786 = -3*s, 338 = -5*s - 5*v + 3328. Is 25 a factor of s?
False
Let w be (9 + -1)/((-10)/(-5)). Suppose -w*g = -0*g - 16. Suppose 0 = -g*l - i + 83, -2*l = -l - 5*i - 5. Is 20 a factor of l?
True
Suppose 4*p + 4*s = -72, 3*p + 2*p = -2*s - 75. Let z(t) = t**3 + 13*t**2 - 8*t + 11. Does 23 divide z(p)?
True
Suppose -o + 2 = 2*t, o - t = 3*t + 8. Suppose -m + 4*m - o*n = 67, 5*n + 20 = 0. Is m a multiple of 17?
True
Let x(y) = -62*y**2 + 2*y. Let i be x(-1). Let v = -14 - i. Suppose 3*k = 3*u + 54, 5*u + v = 4*k - k. Does 7 divide k?
False
Let d(r) = r**3 + 6*r**2 + 3*r - 5. Let s be d(-5). Suppose 0 = u - 12 + s. Is u a multiple of 4?
False
Let l(g) = -g**3 + 6*g**2 + 5*g + 1. Let r be l(4). Suppose -r + 38 = 3*z. Is (17*2)/(7 + z) a multiple of 10?
False
Let s(p) be the second derivative of p**5/20 - 7*p**4/12 + p**3/6 - p**2 + 2*p. Let q be 6 + 5 + 0 - (6 + -2). Is s(q) a multiple of 3?
False
Let y(p) = 29*p. Let h(d) = d - 1. Let k(l) = 4*h(l) + y(l). Is k(4) a multiple of 18?
False
Suppose -3*y - 2*y = -85. Suppose 0 = 4*t - y - 19. Is 13 a factor of 78/t*3/2?
True
Suppose -4*j = -4*t + 476, -19 = -t - 5*j + 118. Is t a multiple of 10?
False
Let m be (-4)/(3 + (-5)/((-15375)/(-9219))). Does 8 divide ((-14)/10 - 1)/(123/m)?
True
Suppose -5*f + 3*u + 678 = -0*u, f + 2*u - 146 = 0. Suppose -f = -5*y - 13. Is 5 a factor of y?
True
Suppose -8*t + 3*t + 2*q = -71, 4*t - 3*q = 61. Suppose -3*f + 185 + t = 0. Is f a multiple of 6?
True
Let s = 883 + -631. Is 42 a factor of s?
True
Let z(b) = 26*b**2 + 3*b - 3. Let k be z(1). Let a be -1 - -3*5/(-1). Let x = k + a. Is 7 a factor of x?
False
Suppose -15*f = -63194 + 22094. Does 35 divide f?
False
Let z = -1861 + 2639. Is z a multiple of 11?
False
Is 8/(-80) - 911/(-10) a multiple of 2?
False
Suppose 4*g - 2*c = 2*c - 160, -4*c - 99 = 3*g. Let w = 42 + g. Suppose 3*x = -4*p + 135, 0 = w*p + 3*x + x - 170. Is 4 a factor of p?
False
Is 34 a factor of (-12)/(-3) + 3204/4?
False
Let c = 103 + -101. Suppose -5*q - i = -2093, q + c*i = -i + 413. Does 63 divide q?
False
Let o be 1 - (-2 + (0 - -3)). Suppose o = -4*z - 52 - 84. Let k = 11 - z. Does 20 divide k?
False
Suppose 20 = -2*f - 10. Let z = 9 + f. Let i = z + 10. Is i a multiple of 4?
True
Let a = -66 + 70. Suppose -7*c + 12*c - r - 948 = 0, c = -a*r + 198. Does 38 divide c?
True
Suppose 4*a - 15 = 4*k - a, 2*k = 2*a - 6. Suppose 10*m - 12*m + 58 = k. Suppose 121 = 2*d - m. Is d a multiple of 13?
False
Let m(y) = y**3 - 10*y**2 + 15*y + 14. Let t be m(8). Suppose 0 = -t*z - 5*z + 231. Is 2 a factor of z?
False
Let h(c) = -c**3 - 10*c**2 - 9*c + 1. Let r be h(-4). Is (-4)/12*3*r a multiple of 16?
False
Suppose -34*c + 40*c - 16020 = 0. Is 89 a factor of c?
True
Let s = -743 + 1148. Is 27 a factor of s?
True
Let j = 4507 + -3109. Does 68 divide j?
False
Let u be 848/6 + (-2 + 0)/6. Suppose 8*g - 869 = -u. D