- (-2)/(-4))*-88?
True
Let k be (-3)/30*-13295 - (-1)/2. Suppose 8*o + k = 11*o + 4*g, o = g + 455. Is 14 a factor of o?
False
Suppose 2095 = d - 3575. Suppose -21*v - 1701 = -d. Is 19 a factor of v?
False
Let q(k) = -108*k + 48. Let n(p) = 8*p + 23. Let r be n(-4). Is 20 a factor of q(r)?
True
Is (-10 - (-1580)/(-3))*-12 a multiple of 18?
False
Suppose -8889 = -3*y + 3*s, -31*y = -29*y - s - 5927. Is 137 a factor of y?
False
Suppose -4*h - 4705 = -2*u + 7*u, 4*h + 4*u + 4700 = 0. Let f = h + 1758. Is f a multiple of 14?
True
Suppose 8*o - 10*o + 6 = 0. Suppose -m = -3*j - 4*m - 57, 0 = o*j - 4*m + 50. Is 12 a factor of ((-18)/(-2))/((j/(-20))/9)?
False
Suppose 2*z - 18519 = -2*y + 8195, -5*z = 45. Does 82 divide y?
True
Let d = 10660 - 8582. Is 89 a factor of d?
False
Let t(z) be the first derivative of z**6/120 - z**5/10 - z**4/2 - 5*z**3/6 + 3*z**2 - 19. Let h(x) be the second derivative of t(x). Is h(8) a multiple of 5?
False
Let b = -31 - 508. Let k = -174 - b. Does 48 divide k?
False
Suppose 0 = -4*v - 5 + 13. Let a be v/(-3) - 300/(-45). Suppose -459 = -a*p + 363. Is p a multiple of 25?
False
Let z(r) = 3*r**2 - 39*r + 404. Is z(43) a multiple of 11?
False
Let g(n) = -36*n - 38. Let x be g(-8). Suppose -r + x = -0*r + 4*j, 493 = 2*r + j. Is r a multiple of 41?
True
Let x be (-1)/(-4) - 267/12. Does 11 divide x*(-4 - 124/8)?
True
Suppose 0 = 21*m - 7640 + 773. Suppose -4*z + u + 649 = 0, 4*z - 2*u = 319 + m. Does 9 divide z?
False
Suppose 2*l - 12*t - 73 = -9*t, t - 39 = -l. Is -13*(2/4 + (-247)/l) a multiple of 13?
True
Let b = -19142 - -20883. Is 31 a factor of b?
False
Let f = 13890 + -9322. Is 4 a factor of f?
True
Suppose -11 = -h + 5*n - 0*n, 0 = -5*h + 3*n + 77. Suppose 0 = -6*y + 104 + h. Is y a multiple of 4?
True
Is 8/14 + 42 + 79608/42 a multiple of 19?
True
Suppose -12*d - 2*b = -11*d - 11, d - 3 = -4*b. Suppose 3*o = 0, -d*o = -3*k - 15*o + 546. Does 26 divide k?
True
Let x(u) = u**2 + u. Let t(y) = -2*y**2 - 8*y - 32. Let v(k) = t(k) + 3*x(k). Is 8 a factor of v(16)?
True
Let u = 114 + -410. Let r = u + 513. Is 40 a factor of r?
False
Let w(z) = -z**2 + 22*z - 110. Let m be w(13). Is 10 a factor of (-21386)/(-119) + 2/m?
True
Suppose -225*d + 23377 = -26573. Is 74 a factor of d?
True
Let y(q) be the third derivative of 38*q**2 + 0 - 7/6*q**3 + 1/60*q**6 + 2/3*q**4 + 0*q - 3/20*q**5. Is y(6) a multiple of 13?
False
Let t(n) = 3*n**2 - 61*n - 9943. Is t(-72) a multiple of 8?
False
Suppose 17*u - 2610 = 15*u. Suppose -4*f + u = 11*f. Is 17 a factor of f?
False
Suppose 2*n - 2*k - 253 = 143, -3*n = 5*k - 586. Suppose 7*d - 1483 - n = 0. Does 20 divide d?
True
Let o(f) be the third derivative of f**5/30 - 5*f**4/6 - f**3/6 + 10*f**2. Let j be o(7). Let q = j - -55. Is 3 a factor of q?
True
Let o(f) be the third derivative of 43*f**4/24 + 31*f**3/6 - 15*f**2. Let w(c) = -22*c - 15. Let d(k) = -6*o(k) - 13*w(k). Is d(4) a multiple of 11?
True
Suppose -8 = -2*t, -3*j + 0*j = 5*t - 26. Suppose -3*a = -8*h + 3*h + 266, 4 = -j*a. Suppose h = 5*b - 58. Does 11 divide b?
True
Let b(z) = 270*z**2 + 684*z + 2. Is b(-4) a multiple of 14?
False
Let o(n) = n**3 + 9*n**2 - 4*n + 6. Let u(x) be the second derivative of -x**4/12 - x**3/6 - 5*x**2/2 + 17*x. Let l be u(0). Does 18 divide o(l)?
True
Suppose 0 = 4*t + 4, -9 = -d + 5*t + 4. Suppose d*r = -4*r + 4032. Is 14 a factor of r?
True
Let g(j) = -5*j**3 + 19*j**2 + 6*j + 18. Let x(a) = 6*a**3 - 19*a**2 - 6*a - 17. Let l(y) = 7*g(y) + 6*x(y). Is l(-18) a multiple of 25?
False
Let l be (-10)/50 + (-18)/10. Let d(v) = -10*v - 9. Let s be d(l). Suppose 320 = -7*k + s*k. Does 20 divide k?
True
Let q(h) = 4078*h + 316. Is 2 a factor of q(1)?
True
Let j be (3 - 1) + 318 - -6. Suppose -12*k + 334 = -j. Is k a multiple of 11?
True
Let p(a) = 7*a**3 + a**2 - a - 4. Let l(t) = -8*t - 22. Let g be l(-3). Is p(g) a multiple of 27?
True
Let w be 60/(-360) - 1502/(-12). Suppose -3*x = h - 509, -x + 5*h + w = -66. Is x a multiple of 21?
False
Let w(d) = -d**3 - 38*d**2 + 82*d + 675. Does 4 divide w(-42)?
False
Suppose -4*n - 5*n + 27 = 0. Suppose 15 = -0*p + n*p. Suppose p*o + 10 = 125. Is 9 a factor of o?
False
Let m(v) = 3*v**3 - 15*v**2 - 2*v + 14. Let j = -69 - -75. Let c be m(j). Let d = -67 + c. Is 16 a factor of d?
False
Suppose 925 = 5*v - d + 4*d, 0 = -3*d. Suppose 4*x = 571 + 693. Let u = x - v. Does 15 divide u?
False
Let r = 1937 - 1721. Is 4 a factor of r?
True
Suppose -6*p + 441 = -3*p. Suppose 4*v - 544 = -3*c, -2*c + 5*v + p + 231 = 0. Is c a multiple of 46?
True
Let m = 3723 + -1526. Does 22 divide m?
False
Is 28 a factor of ((-9)/81*-96)/((-3)/(-693))?
True
Suppose -8*f - 696 = -11*f. Suppose 401 = 3*a - f. Is 26 a factor of a?
False
Suppose -d + 1158 = 2*c, -d + 0*d = -5*c + 2916. Is 2 a factor of c?
True
Let a(t) = 875*t + 6715. Does 2 divide a(-6)?
False
Let y(r) = -10*r**3 + 3*r**2 - 25*r - 127. Is y(-7) a multiple of 30?
False
Suppose 5*h - 649 = -i, -128 = 5*h - 4*i - 782. Is 21 a factor of h?
False
Let o be (9 + (-192)/10)/(((-63)/60)/7). Suppose 11 = g - 231. Suppose 0 = -4*w - 2*n + g, -w + 0*n = -n - o. Is 5 a factor of w?
False
Let x be (-15)/3 + -1 + 6. Suppose x = 2*g + 4*m - 16, 2 + 0 = 2*m. Suppose g*p = 3*p - d + 771, 3 = -d. Does 43 divide p?
True
Let s(b) = 4*b + 6. Let o be s(-3). Let z be (o/(-8))/(1/3328). Is 12/21 - z/(-42) a multiple of 15?
True
Suppose -2*t - 7 - 7 = 0. Is (64/56)/((-2)/t) + 20 a multiple of 19?
False
Let t = -282 - -569. Suppose 0 = -4*m + 2593 + t. Does 18 divide m?
True
Let u(p) = 350*p**2 - 11*p - 33. Let g be u(-4). Suppose -959 - g = -9*k. Is 5 a factor of k?
True
Suppose 5*u + 2034120 = 123*u - 8*u. Is u a multiple of 8?
False
Suppose 0 = -4*p + 12, -3*d = -237*p + 236*p - 147651. Does 13 divide d?
True
Suppose 8408 + 11015 = 16*g - 23185. Is 53 a factor of g?
False
Let f be (66/(-55))/(6/(-15)). Let o(z) = 9*z + 73. Does 3 divide o(f)?
False
Suppose 8 = 4*n, -4*u - 2*n - 5812 = -6*u. Let q = u + 124. Is (-20)/(-110) - q/(-22) a multiple of 23?
True
Let a(m) = -m**3 + 19*m**2 - 15*m - 3. Let d be (-14)/(-2) - 18/9. Suppose -27 = -3*t + 2*j + 27, 18 = t - d*j. Is a(t) a multiple of 17?
True
Suppose 2*f = 5*b - 154, 58 = -2*f - b - 120. Let i = 11 - f. Is 14 a factor of i?
True
Let p(q) = 2*q**2 - 17*q + 27. Let l be p(12). Let j = 25 - l. Let w = j - -252. Is w a multiple of 34?
False
Suppose -5*b + 2547 = 3*m, 2*b - 647 = -3*m + 379. Does 176 divide b?
False
Suppose -3*w = -w - 6*w. Does 9 divide (w + 12)/(26/78)?
True
Let i(l) = -l**3 - 23*l**2 + 23*l - 17. Let f be i(-24). Suppose f*j - 24 = -10. Does 17 divide ((-1)/j)/((-4)/992)?
False
Let t be (6/(-4))/(186/(-5332)). Suppose t*c + 775 = 48*c. Is c a multiple of 35?
False
Let b be 1180/30 - 12/9. Let j(h) = -h**3 + 39*h**2 - 28*h + 20. Does 19 divide j(b)?
False
Let k(p) be the third derivative of -40*p**2 - 1/6*p**3 + 0*p**4 + 0*p + 0 + 319/60*p**5. Is k(1) a multiple of 57?
False
Let h(c) = 2*c**2 - 31*c + 18. Let w be (-892)/(-60) + ((-64)/(-30) - 2). Let i be h(w). Suppose -4*n = p - 41, 0 = -n - i*n - 8. Does 6 divide p?
False
Suppose 5*q - 27890 = 38*r - 39*r, -5*q = 3*r - 27890. Is 44 a factor of q?
False
Suppose 4*n - 3*q + 172 = 0, 0 = n + q + 4*q + 66. Does 11 divide (-4)/8*1*4 - n?
True
Let k be (6/15)/(6/(-30)). Is 30 a factor of (k - 6)/(4/(-76))?
False
Suppose -13167*n = -13176*n + 26217. Is n a multiple of 2?
False
Let g(w) = -w - 12. Suppose 13 = -2*a - 3*v, -2*v = 2*a - 4*a - 38. Let s be g(a). Let t = s - -19. Does 3 divide t?
True
Suppose -5*y + 4*z = -25257, -4*y + 965 + 19241 = -3*z. Is 31 a factor of y?
True
Let i = -4184 - -7749. Does 23 divide i?
True
Does 305 divide (10 - 6) + (-7309)/(-1) - (-8 + 1)?
True
Let c be (0 - (0 + -1))/(4/4). Let x be ((9/(-3) - -3)*c)/(-1). Suppose -4*p = -5*s - x*s + 495, 2*s = 4*p + 198. Is s a multiple of 28?
False
Suppose 0 = 3*b + 19 - 91. Let i(p) be the second derivative of p**4/12 - 19*p**3/6 + 9*p**2 - 4*p. Does 32 divide i(b)?
False
Suppose 9*j - 41*j + 385 + 2175 = 0. Is 61 a factor of j?
False
Let q be (174/9)/(1*7/(-210)). Let h = -475 - q. Is 9 a factor of h?
False
Let b = 10638 + -5767. Does 100 divide b?
False
Suppose -5*g = -23*g + 4194. Suppose 16*i - 15*i = g. Is 16 a factor of i?
False
Let s = 56 - 46. Suppose 