of 17?
True
Let h(n) = 2*n**2 - 24*n + 91. Suppose -330 = 16*x - 49*x. Does 17 divide h(x)?
True
Suppose 5*v + x + 1 = 10, 5*v - 7 = -3*x. Suppose -883 - 10 = -l + 3*k, v*l - 1771 = k. Is l a multiple of 17?
True
Let m(w) = 4*w**3 + 139*w**2 + 44*w - 62. Does 42 divide m(-32)?
False
Let l be 4*(-2)/((-40)/435). Let s = l + -61. Is 22 a factor of (-4)/s - (-1250)/13?
False
Let b(j) be the third derivative of -j**6/120 + 3*j**5/10 + j**4/4 - 29*j**3/3 + j**2 - 14*j. Does 2 divide b(18)?
True
Let q(k) = -k**3 - 85*k**2 + 166*k - 994. Is 14 a factor of q(-88)?
True
Let c(n) = -78*n - 347. Let b be c(-5). Let h = 361 - b. Is h a multiple of 53?
True
Let j(b) = b**3 - 24*b**2 + 6*b - 47. Suppose 85*h = 91*h - 144. Is 8 a factor of j(h)?
False
Let l(n) = -1003*n - 5667. Is 34 a factor of l(-20)?
False
Let x = -89 + 92. Suppose -x = -5*l - 8. Is 12 a factor of (-253)/(-33)*(l + -17)*-2?
True
Is 82 a factor of (385/70)/(4/1592)?
False
Suppose -2*v = -2*l + 2730, 2*v = -3*l + 4566 - 496. Is 4 a factor of l?
True
Let g = 356 - 352. Does 77 divide 0 + g - (-3206)/7?
True
Suppose 1419*t - 1408*t = 30426. Is t a multiple of 97?
False
Let i(n) be the first derivative of 8*n**3/3 + 3*n**2/2 - 14*n - 18. Is 14 a factor of i(-7)?
False
Suppose -11*v + 8*v = -5*s - 32942, v - 5*s = 10974. Does 5 divide v?
False
Suppose 4*q + 3*l - 12 = 0, -3*q - 9*l + 12 = -6*l. Suppose q*z = -10*z + 780. Does 8 divide z?
False
Let j = 90 - 89. Does 30 divide -4 + (157 - 3/j)?
True
Suppose f - 87 = 37. Let o(v) = -6*v**2 - 25*v - 3. Let y be o(-4). Suppose z = -y, -z + 423 - f = 5*p. Is p a multiple of 19?
False
Let b be (756/162)/(0 + 2/3). Suppose b*u + 7*u = 4928. Does 22 divide u?
True
Is 14 + (-87428 - 4)/(-12) a multiple of 10?
True
Let c(y) = -59*y - 29*y - 291 + 1 + 58*y. Does 20 divide c(-17)?
True
Let o = 624 + -602. Suppose 18970 = 13*j + o*j. Is j a multiple of 10?
False
Suppose -24*l = -29*l + 10. Is l - 14/5 - (-88452)/315 a multiple of 14?
True
Let l = 240 - 147. Suppose 3*q - l = -a + 4*q, a - 3*q - 89 = 0. Is 7 a factor of a?
False
Suppose 0 = 30*v - 62004 - 71496. Is v a multiple of 50?
True
Suppose 5*k + 0*k - 10 = 0. Let o(s) = -s**3 - 7*s**2 - 7*s - 11. Let y be o(-6). Is ((-9)/y)/(((-2)/(-5))/k) a multiple of 3?
True
Let c be (2/12 + (-4130)/84)*-1. Suppose -76 - c = -5*s. Does 11 divide s?
False
Suppose -5*h = 5*k + 275, -4*k + 0*h + 5*h = 265. Let c = -33 - k. Is c a multiple of 27?
True
Suppose 169*r + 88163 = 188*r - 295409. Does 80 divide r?
False
Suppose 18*o - 6908 = 7*o. Let n = o - 372. Does 72 divide n?
False
Let h(z) = z**2 + 19*z + 28. Let m be h(-7). Is (m + 57)/((-2)/(-562)) a multiple of 6?
False
Let f(j) = 86*j**2 + 9*j - 19. Is 101 a factor of f(6)?
True
Suppose f + 4456 = 5*s + 15308, 3*f = 6*s + 32601. Is f even?
False
Suppose -3*w + i + 103 = 0, 0*w + 4*w - 132 = -4*i. Suppose h + 4*z = 38, 3*h - z - w = 106. Is h a multiple of 39?
False
Let o be 16/(-6)*(-171)/114. Suppose -t = 3*k - 132, o*t = -k + 384 + 100. Is t a multiple of 60?
True
Let a = -301 + 463. Suppose -3*m + 3*u = -432, -a - 273 = -3*m + 2*u. Is 3 a factor of m?
True
Let j be (-59)/6 + -3 + (-4)/24. Let n = j - -15. Does 8 divide (-3 - 32/(-12))/(n/(-522))?
False
Does 46 divide (5 - (-69)/(-12))/((-15)/32360)?
False
Let x(q) = -4*q**3 + q**2 - 2*q. Suppose 0 = -5*n + 7*n + 8. Is 10 a factor of x(n)?
True
Suppose -426 = -9*f - 48. Let j be 14/10 - f/(-70). Let p(h) = 6*h**3 + 3*h**2 - 6*h + 3. Is p(j) a multiple of 9?
False
Does 6 divide (-1)/(468/78 - (-13)/18022*-8318)?
False
Suppose 4*u - u - 897 = 0. Let c = u + 676. Is c a multiple of 13?
True
Let n = 989 - 1856. Let w = n + 1932. Is w a multiple of 15?
True
Let j(i) = -246*i + 3146. Does 11 divide j(-74)?
False
Let y = -518 + 522. Let q = 2 + 1. Suppose 9*u - 5*d - 665 = y*u, -q*d = 9. Is 13 a factor of u?
True
Let h(m) = -64 + 89*m - 246 - 189 + 148. Is 77 a factor of h(22)?
False
Let f(n) = 8*n - 8*n - 43 + 5*n. Let k be f(23). Is 14 a factor of (28/(-3))/(4/k*-3)?
True
Suppose -42*k = -40*k - 3*j - 7987, 0 = 3*k + 2*j - 11987. Is k a multiple of 30?
False
Suppose -61 = 5*d - 31. Let w be 10/15*d + 4. Suppose -2*g = 5*c - 221, w*c - 166 = -4*c + 2*g. Is c a multiple of 26?
False
Is -22*(-25)/(-10)*6752/(-40) a multiple of 22?
True
Let o be (92/(-12) - -5)*3/(-4). Suppose -k + 4 = r, -o*k - 19 + 25 = 3*r. Is k a multiple of 3?
True
Let s(x) = -x**3 - 9*x**2 - 11*x - 19. Let u be s(-8). Suppose 2*w + u*k - 1321 - 894 = 0, 4*w - 2*k - 4418 = 0. Is 19 a factor of w?
False
Let s = -36731 - -73651. Does 13 divide s?
True
Let t(k) = -7*k - 1. Suppose u + 3*g = -2, -u = 6*g - 5*g. Let q be t(u). Does 3 divide -18*q/(-3)*6/(-8)?
True
Suppose -2*x + 102 - 599 = -3*z, -z = 4*x - 175. Let i = z + -395. Does 24 divide i/9*(0 - 6/4)?
False
Suppose -r - 94987 = -3*b, -b + 31684 = 47*r - 43*r. Is b a multiple of 16?
True
Is 80 a factor of ((-80000)/(-75))/(-40)*(-426)/2?
True
Suppose 3*w = -n - 0*w + 421, -1735 = -4*n + 5*w. Let v = 656 - n. Is v a multiple of 20?
False
Suppose a = -5*g + 20, -4*a = 29*g - 24*g - 20. Suppose -2*j - 2*j - 46 = -l, a = -l + j + 46. Is l a multiple of 45?
False
Let y(c) be the second derivative of 13*c**3/2 - 7*c**2/2 + c - 9. Is 11 a factor of y(4)?
False
Let q = 54 - 50. Suppose -q*v + 4 + 0 = 0. Is (v - -28) + (-28)/7 a multiple of 8?
False
Suppose -1 = y, 3*y - 32841 = 45*x - 47*x. Is x a multiple of 104?
False
Let a(k) = -k**3 - 10*k**2 - 12*k - 18. Let w be a(-7). Let j = 205 + w. Does 10 divide j?
False
Let t(i) = -134 - 166 + 341 - 151*i. Is t(-8) a multiple of 13?
False
Let o be (-4)/((10/(-127))/5). Suppose 2*n - 277 = -j, 5*n - j = 442 + o. Let u = n - 74. Does 17 divide u?
False
Let j = 14921 + -8969. Does 186 divide j?
True
Suppose 58323 = 15*h - 17907. Does 42 divide h?
True
Suppose -38*g + 128 = -252. Suppose -2793 = -g*q + 2127. Is q a multiple of 29?
False
Let u = -4552 - -7642. Does 26 divide u?
False
Suppose -11*b + 185825 - 41395 = 0. Is b a multiple of 13?
True
Let q(a) = -a**3 - 6*a**2 + 11*a - 19. Suppose 8 = 67*z - 68*z. Does 21 divide q(z)?
True
Let y = 7810 + -4716. Is 26 a factor of y?
True
Suppose -12 = -0*i - 2*i - n, -3*i - 5*n + 11 = 0. Let a be (-1)/i + 291/(-21). Does 15 divide (7 + -1)*(1 - a)?
True
Let p = 120 + -116. Suppose -k - 397 = -p*h, 2*h = -k + 188 + 3. Is 15 a factor of h?
False
Does 31 divide ((-364)/(-6))/(-6*2/(-108))?
False
Suppose 24*l - 45407 = 122593. Suppose l + 5390 = 35*k. Is 32 a factor of k?
False
Let u be -43 + 108 - 7/(7/(-6)). Let c = 5 - 2. Suppose -c*j + 229 = -u. Does 25 divide j?
True
Let j be (17 + -5 - 5)/((-2)/44). Does 8 divide 28/j - ((-2512)/22 - -2)?
True
Let b = -64 - -73. Let m(a) = -18*a - 17. Let c be m(b). Let v = 407 + c. Does 38 divide v?
True
Let y(d) = d**2 - 30 + 8 + 6 - 14*d. Is y(17) a multiple of 7?
True
Let d = 92 + -86. Suppose 12 = -r + 4*u + 48, 0 = r + 3*u - 8. Suppose -5*c + d*c - r = 0. Is 3 a factor of c?
False
Let a(v) = v**2 + 2*v + 59. Let o be a(0). Suppose 11*h + o = 15. Is h/(-3 - 1/2*-4) even?
True
Suppose 15*g = 10*g - 6305. Let t = 2801 + g. Suppose -7*x = 3*x - t. Is 32 a factor of x?
False
Let g = 38 - 34. Suppose s = -g*b + 699, 3*b - 702 = -b - 2*s. Let d = b + -102. Does 39 divide d?
False
Let a = -85 + 81. Is 7 a factor of ((-2)/12*a)/(3/378)?
True
Let b = 793 - 782. Suppose b*s = 4866 + 4418. Is s a multiple of 26?
False
Let o(j) = 8*j**2 - 48*j + 24. Let f be o(28). Suppose -f = -5*l + x, -21*l + 19*l - x = -1978. Is 90 a factor of l?
True
Let k(s) = 583*s + 219. Is k(3) a multiple of 4?
True
Let b(w) = 2*w**3 + 5*w**3 - 4*w**2 - 6*w**3 + 5*w - 8 + 13*w**2. Let m be b(-7). Let v = m + 17. Is 15 a factor of v?
False
Suppose -3*g + 13*m + 200130 = 7*m, -2*g + 133455 = 3*m. Is g a multiple of 24?
True
Let m = 5073 + -1529. Is 57 a factor of m?
False
Suppose -3*g = -4*g + 3. Let j = 4015 - 3686. Suppose -2*x = 5*q - 217, -g*x = 5*q - q - j. Is x a multiple of 10?
False
Let q(t) be the second derivative of 5*t**4/3 + t**3/2 - 3*t**2/2 - 11*t + 2. Let y(a) = a**2 - 5*a + 5. Let d be y(4). Is 10 a factor of q(d)?
True
Let b(s) = -s**3 + 15*s**2 + 23*s - 21. Suppose c - 8 = 8. Is 7 a factor of b(c)?
True
Let y(z) = 6*z + 13. Let h(q) = 17*q + 38. Let r be (-112)/35 - (-8)/(-10). Let m(t) = r*h(t) 