-6)?
True
Suppose -12*z + 7*z - 13*o = -2582, 2*z + 5*o = 1034. Is z a multiple of 28?
True
Let b(x) = -x**2 - 25*x + 89. Let w be b(3). Suppose -2*c - w*z + 401 = -47, 672 = 3*c + 5*z. Is 7 a factor of c?
True
Suppose -12 = 5*p + l, 0 = 3*p + l - 4*l. Is 8 a factor of p/(-3)*3 - -350?
True
Let p(s) = s**2 - 7*s - 14. Let m be p(8). Is 19 a factor of ((-1)/(m/(-495)))/(2/(-4))?
False
Does 35 divide 240/50*29810/88?
False
Let n = -50644 - -82303. Does 134 divide n?
False
Suppose -6*w - 852 + 318 = 0. Let l = 256 + w. Is 43 a factor of l?
False
Suppose 32*p - 3014160 = -63*p. Does 6 divide p?
True
Suppose -2*f + 7 = 3, -2*f + 374 = 2*o. Let t = o + -117. Suppose m = 4*a - 46, -2*a + 7*a + 4*m = t. Does 12 divide a?
True
Suppose 0 = -2*u + 9 - 9. Suppose 4*p - 520 + 460 = u. Is 15 a factor of p?
True
Let a(b) = b**3 + 8*b**2 - 6*b + 13. Let m be a(-9). Is 9 a factor of 2 - -112 - (11 + m)?
True
Does 102 divide 2740036/203 - (0 - 8) - 10/(-35)?
False
Suppose -4*t - 69529 = -232021. Let z = -602 + 591. Does 30 divide 4/18 + (t/(-27))/z?
False
Suppose -1314 = 26*w - 29*w + 4*z, -4*w - 4*z + 1780 = 0. Is 26 a factor of w?
True
Suppose 2*q + 43 = -47. Let k = -39 - q. Let h = k + 99. Is h a multiple of 14?
False
Suppose -34*q - 409733 - 531557 = -153*q. Does 136 divide q?
False
Let g be 2/(-10) + 854/(-305). Does 17 divide (-218970)/(-324) + (-1)/(2*g)?
False
Suppose -2*p + 6*o + 11725 = -7857, 4*o = -5*p + 48917. Is p a multiple of 95?
True
Let u = -1298 + 3586. Is u a multiple of 22?
True
Let c be 3621/(-21) + (-6)/(-14). Let u = 643 - 693. Let b = u - c. Is 18 a factor of b?
False
Let l = 2664 + -2007. Is 9 a factor of l?
True
Suppose 4*k - 4*y = -0*y + 104, -y + 124 = 4*k. Let j(r) = 3*r**2 - r - 1. Let x be j(-1). Suppose -5*u + x*p = -k, 4*u = 3*u + 3*p - 6. Is 3 a factor of u?
True
Suppose -3*j - 3*g = -7584, 3*j = 6*j - 3*g - 7584. Is j a multiple of 8?
True
Suppose -150*o + 136*o + 111874 = 0. Is 61 a factor of o?
True
Let g(l) = l - 2. Let x(w) be the first derivative of -w**2 + 7*w - 21. Let r(b) = 7*g(b) + 2*x(b). Is 2 a factor of r(2)?
True
Suppose -384*s = -392*s + 32. Suppose 4*x - 1046 = -f, s*f - 4*x = -0*x + 4204. Is 70 a factor of f?
True
Let q be (-4)/12 - 470/(-6). Suppose 2*i + q = -i. Is i/(-5)*150/10 a multiple of 19?
False
Suppose 5*m - x = 60955, 1691*x = -5*m + 1688*x + 60975. Is 288 a factor of m?
False
Suppose 2*d - 4 = 3*c, 2*c + 8 = 3*d + 2. Suppose c = -36*y + 5*y + 55800. Is y a multiple of 72?
True
Let x(j) = -4*j**2 + 22*j - 3. Let a(r) = -2*r**2 + 10*r + 5. Let d be a(5). Does 2 divide x(d)?
False
Let j(s) = -s**3 + 4*s**2 + 153*s - 19. Let t be j(-11). Let h = -96 - -35. Let l = t + h. Is 4 a factor of l?
True
Let y(c) = 3*c**2 + c - 12. Let n = 357 + -361. Is y(n) a multiple of 4?
True
Let d be (-14)/(-56) - (1 + 173/4). Let v = d - -381. Is 43 a factor of v?
False
Let p = 2679 - -1621. Is p a multiple of 126?
False
Let a(k) = -k**2 - 22*k + 69. Let d be a(-25). Let s = d - -148. Does 13 divide s?
False
Let g(w) = -1 + 0 - 3308*w + 4780*w - 1. Does 70 divide g(1)?
True
Let g(h) = -h**2 + 55*h + 276. Let r be g(44). Let c = r + -268. Does 23 divide c?
False
Suppose -2 = -o, -o = -5*r + 2*o + 44. Suppose r*q - 5*q = 200. Is 16/q - 558/(-5) a multiple of 35?
False
Let f(m) = -2*m**2 + 77*m - 104. Is f(13) a multiple of 55?
False
Is 40 a factor of 8 + -1 + -1 + 5/((-75)/(-17910))?
True
Let z be 1*((-34)/(-6) + (3 - 33/9)). Let w = 1 + -1. Suppose z*u + 4*a = u + 344, 5*u + 3*a - 430 = w. Is 8 a factor of u?
False
Let k be (4 - (-35440)/13) + (-4)/26. Suppose 0 = 8*v - v - k. Is 45 a factor of v?
False
Suppose 5*s + 3*q = -5, q + 8 = 4*s - 5. Suppose 161 + 1085 = s*k. Is k a multiple of 32?
False
Let q(x) = -x + 57. Let s(f) = 35*f + 54. Let y be s(-2). Is 5 a factor of q(y)?
False
Let b(k) = 2*k**3 + 20*k - 25*k - 3 - 5*k**2 - k**3. Let v be b(6). Suppose v*f - 135 = -5*d, 4*d + 10 = -5*f + 105. Does 6 divide d?
True
Suppose -4*j - 5*m - 12 = -9*m, -5*m + 15 = -j. Suppose -v + t - 9 = -2*v, 4*v + 5*t - 37 = j. Does 6 divide v?
False
Let q be (39/52)/((-2)/(16/(-3))). Is 54 a factor of 9/q*4606/47?
False
Suppose -o - 3 = 3*f - 10, 4*f = -20. Suppose 0 = o*c - 324 - 446. Is 4 a factor of c?
False
Suppose 0 = -4*y + 2*n + 2642, 14*y + 4*n = 9*y + 3296. Is y a multiple of 30?
True
Let c(s) = -57*s - 2250. Is c(-46) a multiple of 93?
True
Suppose 0 = 7*r - 13*r + 12. Suppose 3*m = 4*f + 213 + 759, -r*m + 648 = -3*f. Is m a multiple of 56?
False
Is 219417/36 + (-7)/(-84) a multiple of 6?
False
Suppose 0 = 5*z - 3*j - 18610, 4*z + 2*j - 15602 = -714. Is z a multiple of 6?
False
Suppose 2*c - 14 = -5*q, 5*q - 6*c + 3*c - 4 = 0. Suppose x = -q*x + 1428. Does 14 divide x?
True
Suppose 4*j + 100 = -2*c, 3*c + 194 = -4*j + 9*j. Is 30 a factor of (1 - (9 - 2))/(3/c)?
False
Suppose c - 3 = -3*w, -c - w + 0 = -5. Suppose -342 = 3*t - c*t. Let f = t - -56. Is f a multiple of 35?
False
Suppose 0*t - 3*t = 2*r - 23, -3*r + 37 = 5*t. Suppose 0 = 5*l + f + 10 - 34, -r*l + 2*f + 8 = 0. Does 3 divide (l/42*9)/((-1)/(-7))?
True
Does 17 divide 55*(-17)/85 + 1949?
True
Let d be (-4)/(-22) + (-32674)/(-341). Let v = 600 - d. Does 12 divide v?
True
Let m = 802 - 519. Suppose -3*y + 2*n = -882, n = -y - 2*n + m. Does 19 divide y?
False
Suppose 0 = 2106*w - 2113*w + 19320. Is w a multiple of 40?
True
Suppose -11*n - 60 = -6*n. Let u = -24 - n. Let f(l) = -9*l + 6. Is 19 a factor of f(u)?
True
Let f(x) be the first derivative of x**4/4 - 20*x**3/3 + 11*x**2/2 - 23*x - 2. Let r be -4*138/(-24) - 3. Does 38 divide f(r)?
False
Suppose -5*r - 12*a + 66510 - 17634 = 0, 2*a = -2*r + 19570. Is 192 a factor of r?
True
Suppose 5*k - 26089 = 4*z + 47301, -4*k + 58686 = 2*z. Is 29 a factor of k?
True
Suppose -4*t - 5*w = -32, 5*t + 3 - 26 = -2*w. Suppose 3*a - 2263 = 2*x, -a - 2*a + 2262 = -t*x. Is a a multiple of 17?
False
Suppose 0 = 9*n + 410 + 94. Is 1938/(-76)*n/6 a multiple of 16?
False
Let m be -3 + (-4)/(-4) + 4/(-1). Let f(x) = 9*x**2 - 17*x - 59. Is 25 a factor of f(m)?
False
Let p(s) = 3*s**2 + 2 - 195*s + 200*s + 3. Let f be p(-1). Suppose f*c = -6*b + 4*b + 567, -4*c - 1144 = -4*b. Does 25 divide b?
False
Suppose 3*i - 185 = 2*r, 2*r + 108 = 4*i - 140. Let m = i - -5. Is 6 a factor of m?
False
Let i = -223 + 1898. Let j = -1079 + i. Is 19 a factor of j?
False
Let s(p) = 4*p**3 + p**2 - 9*p - 48. Let l be s(-8). Let k = l + 3575. Is k a multiple of 17?
True
Suppose 26*f - 304512 = -22*f. Does 52 divide f?
True
Is 7/7*(2 - -9807) a multiple of 5?
False
Let r(a) = -3*a - 27 + 7*a**2 - 8 - 1. Let s be r(-9). Suppose 3*g = -168 + s. Is 13 a factor of g?
True
Does 34 divide -21 - (919695/7)/(-15)?
True
Let s be (5 + 3 - 1) + -10. Does 20 divide (-6 - -2 - -1611) + s?
False
Let s be ((-2874762)/27)/((-2)/(-3)) - 3. Is 22 a factor of s/(-119) + -1*(-4)/(-34)?
True
Let b be (-70)/(-105)*(-1821)/2. Let d = b - -624. Is d a multiple of 2?
False
Suppose 5*d + 25*g - 29*g = 46700, 3*d - 28022 = 2*g. Is d a multiple of 16?
True
Suppose -4*z - 593 = -p, -5*p + 363*z = 361*z - 2929. Is p a multiple of 39?
True
Suppose -4*m - 24 = 0, 2*g - 2*m + 5*m - 6556 = 0. Is g a multiple of 69?
False
Suppose 0 = 2*j - 5*h + 813, j + 248 = -3*h - 175. Let c = j - -626. Is c a multiple of 66?
False
Suppose -5*i = 5*f - 9810, 0*f + 1920 = f - 5*i. Is f a multiple of 25?
False
Is (9 - 33) + 270 + -38 a multiple of 4?
True
Suppose 5*f + 2241 - 552 = g, 3*g + 2*f = 5084. Suppose -592 - g = -6*m. Is m a multiple of 28?
False
Suppose -4*v - 19*v = -2*v. Suppose v = -7*s + 32*s - 3700. Does 74 divide s?
True
Let n(y) be the first derivative of -3*y**2 - 27*y + 24. Let f be n(-10). Suppose -f - 111 = -4*x. Is x a multiple of 18?
True
Let t = -12 + -21. Let q = t - -41. Let c(w) = -w**3 + 8*w**2 + 11*w - 18. Is c(q) a multiple of 15?
False
Let a be (-8 + 180/24)/((-2)/464). Suppose 0 = 117*p - a*p - 176. Does 16 divide p?
True
Suppose -17*s = 20*s + 333. Let t(y) = -y**3 - 5*y**2 + 12*y + 4. Is 11 a factor of t(s)?
True
Let g(v) = 9*v**2 - 27*v - 24. Let a be g(-13). Suppose 31*z = 35*z - a. Is z a multiple of 16?
False
Suppose 0*o = 2*o + 8. Let d be 1 - (-1)/(3 + o - -2). Suppose 0 = -3*v - d*j + 6 + 14, 0 = 5*v - 5*j. Does 3 divide v?
False
Suppose -6*u - 5475 = -u. Let v = 2