
True
Suppose 3*v = -2*t - 2, -5*v = t + 12 - 4. Suppose t*j + 3*j - 103 = -r, -r = -5*j - 93. Does 13 divide r?
False
Suppose 5*l - 483 = 12*l. Suppose -3*x + 2*x = -3*q - 55, 4*q = -5*x + 351. Let n = x - l. Does 8 divide n?
True
Let r be (1 - -27)*(6 - 276/48). Suppose 0 = -r*z + 421 + 510. Does 13 divide z?
False
Does 10 divide 8 - 103/((-5)/(-9 + 99))?
False
Suppose 4*o - 4*m = 35716, 3*m + 98179 = 4*o + 7*o. Is o a multiple of 46?
True
Let c(i) = 62*i + 25. Suppose -v = 2*q - 4*v - 5, 5*q + 2*v = 22. Does 20 divide c(q)?
False
Suppose 0 = -3*h - 64 + 10. Let c be 18/8 + h/(-24) - 186. Let w = c - -256. Is w a multiple of 18?
False
Suppose 0 = 4*g + 20, 27 = -4*a - 2*g + 9. Let c be ((-231)/2)/(a/12) - -3. Suppose 0 = -5*z - m - 4*m + 910, 4*z - 4*m = c. Is z a multiple of 24?
False
Let a(c) = 2*c - 5*c**2 + 0*c**3 + 6*c**3 - 1 - 6*c**3 - 2*c**3. Let o be a(-3). Suppose -z = l - 159, l + o*z - 20 - 140 = 0. Is l a multiple of 20?
False
Is ((-3380)/91)/(6/(-63)) + -4 a multiple of 4?
False
Is (7 - 5)*-3 - -2668 a multiple of 22?
True
Let j(t) = 29*t - 233. Let s be j(8). Is s/7 - 33781/(-581) a multiple of 2?
True
Suppose 3*y = 5*k + 653, 2*y - k - 40 - 407 = 0. Suppose -1549 = -3*n - y. Is 9 a factor of n?
True
Is 13 a factor of -8 + 856 + 11 + (1 - 2)?
True
Suppose 4*h = -5*n + 17, -3*n - 5 = -8*n. Suppose 69 = h*a - 135. Does 34 divide a?
True
Let q = 23315 - 10362. Is 18 a factor of q?
False
Let i(h) be the third derivative of -h**5/120 + h**4/4 + 7*h**3/3 + 13*h**2. Let t(k) be the first derivative of i(k). Does 2 divide t(-6)?
True
Let y be 185 + (-1 - -3)*(-1)/(-1). Suppose -y = 3*g - 1540. Does 45 divide g?
False
Suppose -3*j + 17*b + 35 = 21*b, 3*j = 2*b + 5. Suppose -171 = -g - 3*t - 50, j*t - 247 = -2*g. Is 17 a factor of g?
True
Let p(c) be the first derivative of 10*c**3/3 + 2*c**2 - 5*c - 46. Suppose -4*k = 5*j - 28, k - 4*j = j - 18. Is p(k) a multiple of 11?
False
Let i = 7240 - -7301. Is i a multiple of 36?
False
Is ((-10)/(-45)*3)/((-66980)/(-66972) + -1) a multiple of 10?
False
Suppose k - 3*k - 234 = -p, 4 = -2*k. Suppose -8*i - p = -13*i. Does 9 divide i?
False
Does 23 divide 10857/18 + 13/(9 + -87)?
False
Let d(x) = -35*x**3 - 4*x**2 + 7*x + 21. Let g be d(-3). Let f = -694 + g. Is f a multiple of 6?
False
Suppose 5*d = 3*r + 13337, 22 - 34 = -2*r. Is 84 a factor of d?
False
Let b = 164 + -104. Suppose -6*l + b = -0. Let k = 31 + l. Does 15 divide k?
False
Suppose 0 = 179*p - 178*p - 1782. Suppose -4*j + k = -2376, -3*j + 0*k + p = k. Does 38 divide j?
False
Let h(j) = -8*j + 29. Suppose -5*d - 6 = b + 29, 0 = b - 5. Let t be h(d). Let x = -71 + t. Is 3 a factor of x?
False
Let d = 21967 - 21878. Let x be 4/10*(-90)/(-1). Let i = d - x. Does 4 divide i?
False
Suppose -3314 = -67*c + 65*c. Suppose -2*r + c = 5*h, 3*h = 2*h - 3*r + 321. Is h a multiple of 27?
False
Let u be 0 - (1 - (-5)/(-1)). Let t(z) = -z**3 + 2*z**2 + 3*z - 3. Let p be t(u). Let m(k) = -k**3 - 24*k**2 - 25*k - 29. Is 2 a factor of m(p)?
False
Let p be 1281/(-6)*48/(-14). Suppose -6*v = -10*v + p. Is v a multiple of 8?
False
Let l be -7 + (-63)/28*-12. Suppose 0 = -b + 6*b - l, -4*p = -3*b - 3156. Does 8 divide p?
True
Is 612*(12/(-56) - (-607)/7) a multiple of 18?
True
Let i = -1925 + 1926. Suppose 2*h - 3*v - 21 = -2*h, 3*v + 3 = -2*h. Is 470/5 - (1 - h/i) a multiple of 8?
True
Suppose -170 = 2*z + 2*h, 0 = -2*z - 1028*h + 1030*h - 190. Suppose 3*d - 184 = 2*d. Let u = z + d. Does 5 divide u?
False
Suppose -6*z + 20 = -11*z, 0 = -3*h - 4*z - 7. Let i be h + -54*1/(-1). Is i - (-1 - -2)*2 a multiple of 11?
True
Suppose 10*h - 5*h - 4*k - 71947 = 0, 0 = h - 2*k - 14387. Is h a multiple of 123?
True
Let j = 12 - 7. Suppose -c + 608 = -3*u, 4*c = -j + 1. Let p = 323 + u. Is 15 a factor of p?
True
Suppose -z - 19*l = -16*l + 3351, 5*l = 3*z + 10095. Is 48 a factor of (18/21)/(10*(-3)/z)?
True
Suppose 39805 = 37*o + 2702 - 64462. Does 183 divide o?
True
Let w be (-4)/6 + 428/12. Suppose 5*q + 2*o - w = 0, 0*q - 4*q = -3*o - 5. Suppose -q*t = -i - i - 395, 92 = t - 3*i. Is t a multiple of 11?
True
Let x(c) = c + 6. Let n be x(5). Let q = -1429 - -1432. Suppose n = m - q. Is m a multiple of 11?
False
Let x(n) be the second derivative of 3*n**5/20 - 29*n**4/12 + n**3/3 + 4*n + 11. Is x(10) a multiple of 20?
True
Suppose 3*f = d - 21192, 5*d - 106000 = 534*f - 529*f. Is d a multiple of 93?
True
Does 11 divide (2365/60)/(9/(-27))*-4?
True
Let y = 2802 + -1762. Does 10 divide y?
True
Suppose -f - 571 = -4*h, -3*h - 1202 = 2*f + h. Let a = f - -877. Is 11 a factor of a?
True
Suppose 3*w = 5*b + 110, 4*b = 2*b + w - 45. Let d = 98 + b. Is 2 a factor of d?
False
Suppose 2*o - 17952 = -4*c, -c = o - 868 - 3620. Is c a multiple of 34?
True
Let w(h) = -2681*h - 952. Is 27 a factor of w(-5)?
False
Suppose -2*z = -t + 2, 16*z + t = 20*z. Is 10 a factor of (-66)/22 - (-49)/z?
False
Let c(m) = 222*m - 2242. Is c(49) a multiple of 19?
False
Let g(d) = 20 - d**3 - 15*d + 135*d**2 + 20*d - 141*d**2. Suppose 0 = -3*c + 3*k - 21, 2*k = -0*k. Is 17 a factor of g(c)?
True
Is 20 a factor of (6 + (-112)/24)*(-260532)/(-48)?
False
Suppose 187*q + 208388 - 1981197 = -102525. Does 58 divide q?
True
Suppose -20*r - 38*r - 61170 = -675100. Does 145 divide r?
True
Let c = 5924 + -1064. Is c a multiple of 18?
True
Suppose 4*m - 5*j - 96 = 0, -j + 19 = m - 14. Let g = m + 22. Suppose -3*r = -2*x - 8*r + g, 3*r = -4*x + 95. Does 13 divide x?
False
Suppose -6*d = 33 - 93. Suppose -d*s + 11*s + r = 390, 396 = s - 2*r. Does 7 divide s?
True
Let u(p) = -7*p - 128. Let q be u(-19). Suppose 0 = -q*j + y + 2064, 0 = -4*j + 4*y - 224 + 1888. Is j a multiple of 23?
False
Let c = -42 - -44. Suppose -4*f = -3*y + 267, -f - 3*y - 65 = -c*y. Let w = 18 - f. Is 21 a factor of w?
True
Suppose -3*t + 9 + 0 = 0. Let j = 10 - 10. Suppose 4*k = c - 92, t*c + j*c - 291 = -3*k. Is c a multiple of 24?
True
Let o(q) = 1990 - 4*q**3 - 1997 - 16*q**3 + q. Does 10 divide o(-3)?
True
Let s be 3/(-6) - ((-261)/2)/9. Suppose -s = 4*w + 46. Let f = w + 19. Is f even?
True
Suppose 0 = -23*m + 95 + 89. Let j(l) = 2*l**2 + 13*l - 3. Is 26 a factor of j(m)?
False
Suppose -3*v = 3, -v = -5*o + o - 2783. Is o/(-3) + 5/(10/6) a multiple of 48?
False
Let n(v) be the second derivative of 503*v**3/3 + v**2 + 9*v. Let j be n(1). Suppose -11*b + j = -4*b. Does 36 divide b?
True
Let p(b) = -b**3 + 9*b**2 + 6*b + 616. Does 196 divide p(-21)?
True
Let p(d) = d**2 - 8*d - 26. Let n be p(11). Suppose -4*f + n = -33. Does 7 divide f?
False
Let g = -538 + 241. Let n = g + 314. Does 15 divide n?
False
Suppose q = -4*l + 19658, -103*l - 58870 = -3*q - 102*l. Does 52 divide q?
False
Suppose 85*d + 78*d - 272992 = 125*d. Is d a multiple of 8?
True
Let l = 21734 - 12018. Does 14 divide l?
True
Suppose -16*r + 45 = -3. Suppose 0 = -r*u, -6*x - u = -x - 3780. Does 18 divide x?
True
Let p(t) = -t**3 - 18*t**2 + 40*t - 28. Let r be p(-20). Is 14 a factor of r*(-56)/(-24)*180/(-14)?
True
Suppose 3*d = 3*c + 15, -2*c + 6 - 16 = -5*d. Is 13 a factor of 0 + d - (0 + -282)?
False
Suppose -5*j + 14*j = -51499 + 158491. Is j a multiple of 90?
False
Suppose -9*k = -12*k - u + 3070, -k - 2*u = -1020. Is 18 a factor of k?
False
Suppose 3309 = -o + 327. Is 14 a factor of (9/(-27))/(5966/o + 2)?
False
Let j = -48759 - -70838. Is j a multiple of 7?
False
Suppose 2*c - 8463 = 3*l, 6895 = 3*c + 4*l - 5757. Does 192 divide c?
True
Let p = 41 - 64. Let r = 44 + p. Suppose 10*a = 489 + r. Does 17 divide a?
True
Let k = 5 + 4. Let b be (3/(-27)*-6)/(3/k). Suppose -5*i - 2*r + 345 = 3*r, -b*i + 113 = -3*r. Is 13 a factor of i?
False
Let j(o) = 4*o**3 + 6*o**2 - 4*o + 8. Let y be j(5). Let t = y - 422. Does 9 divide t?
True
Suppose -6*i = 82 - 166. Suppose i*k = -40*k + 432. Does 3 divide k?
False
Let q = -2995 + 3645. Is 92 a factor of q?
False
Let x be 1 - (1 - (-37 + -4)). Let a = -41 - x. Suppose -120 = -4*f - a. Is f a multiple of 30?
True
Suppose -3*p + 521 = q, -21*q + 24*q - 5*p = 1549. Suppose -4*f = -778 - q. Is f a multiple of 27?
True
Let v be 7 - (-825 + (3 - -5)). Suppose v = t + 4*z + 202, -3*t = -4*z - 1898. Is t a multiple of 30?
True
Let p be 336/(-70)*815/(-2). Suppose -p = -5*s + 1554. Is 13 a factor of s?
True
Suppose 0 = 3*d - 79*j + 82*j