uppose -24*i + 246725 = 47*i. Is 28 a factor of i?
False
Suppose -1021 = 100*d - 101*d - 4*i, -3*i - 5036 = -5*d. Is d a multiple of 7?
False
Suppose -3*d = -2*z + 1, -6 = 2*d - 0*d. Let s be (1 - z)/(1085/180 + -6). Suppose -l - 5*l = -s. Is l a multiple of 10?
True
Let n = 868 + -852. Suppose -n*d + 12575 = -737. Is d a multiple of 19?
False
Suppose -2 = 5*f + 4*r, 4*f + 3*r - 3 + 4 = 0. Let c = f + 46. Suppose w - c = 77. Is 25 a factor of w?
True
Let j = -34740 + 57866. Is 31 a factor of j?
True
Suppose -20*y - 663206 - 207563 = -67*y. Is 97 a factor of y?
True
Suppose -4 = 2*r + 66. Let q = r + 95. Let s = 114 - q. Does 27 divide s?
True
Let c(z) = -5*z**3 - 10*z**2 - 6*z + 3. Suppose 3*t - 1 = -13. Let g be c(t). Suppose 0 = 15*q - 4*q - g. Is q a multiple of 2?
False
Let v = 4360 + -3946. Does 7 divide v?
False
Let y = -26931 + 49811. Does 65 divide y?
True
Let m(n) = -1130*n - 1304. Does 7 divide m(-17)?
True
Let o(i) = 6793*i**3 - i**2 + i + 2. Does 62 divide o(1)?
False
Suppose 177*o = 175*o. Let h(y) = 3*y**2 - 3*y - 27. Let c(i) = -i**2 + i + 9. Let w(d) = -8*c(d) - 3*h(d). Is w(o) a multiple of 3?
True
Let g = -7605 + 1998. Does 26 divide (1*5)/(-8 + g/(-700))?
False
Let n(t) = -8*t + 49. Let b be n(8). Let f = 46 - b. Is 12 a factor of f?
False
Is 51 a factor of (-2)/(78113/703206*3 + 10/(-30))?
False
Let z(t) = 55*t + 80. Let l(y) = 28*y + 40. Let k(n) = 14*l(n) - 6*z(n). Does 5 divide k(5)?
True
Let r = -2105 + 5416. Does 92 divide r?
False
Suppose -2*k = -3*f + 25, 10 = 2*f + 2*f + 2*k. Suppose i + 34 = 3*y + 5*i, -f*y + 45 = -5*i. Is ((-56)/y)/((-6)/165) a multiple of 11?
True
Suppose -50 = -6*q - 2. Let m(s) = s**3 - 8*s**2 - s + 18. Let w be m(q). Suppose w*x - 15*x + 130 = 0. Does 3 divide x?
False
Let g(o) = 8*o**2 - 18*o + 58. Suppose 2*d = -4*z, 8*d + 2*z - 24 = 3*d. Is g(d) a multiple of 17?
True
Let a(m) = -2112*m - 552. Does 84 divide a(-4)?
True
Let f = 5045 + 15035. Is 17 a factor of f?
False
Suppose 12*p = 9*p + 30. Let g be (3/(-6))/((-1)/p). Is g*2 + ((-2)/1)/(-2) a multiple of 2?
False
Let p be (3*(-80)/(-84))/((-4)/(-14)). Suppose 13*y - 9 = p*y. Suppose 5*z = -4*g + 3*z + 160, -g - y*z = -50. Is g even?
True
Let y(m) = -59*m - 2. Let k be y(-1). Let q = k + -54. Suppose c + c - 658 = -q*v, -3*c = -4*v + 849. Is 54 a factor of v?
True
Let m = 13 - 4. Suppose -m*n = -12*n + 42. Suppose -n = -2*f + 42. Does 5 divide f?
False
Let y(o) = -o**2 + 9*o - 1. Let h be y(8). Let x(g) be the second derivative of 15*g**3/2 + 26*g**2 + 13*g + 5. Is x(h) a multiple of 34?
False
Suppose 14*t + 25 = 5*v + 11*t, -2*t - 10 = 0. Suppose 3*u - 6*a - 841 = -v*a, -561 = -2*u + 3*a. Does 29 divide u?
False
Let m be 2023/102 - (-1)/6. Is m - (-90)/(-3)*1/6 even?
False
Let p = -279 + 298. Suppose -p*a + 1016 = -3354. Does 7 divide a?
False
Let s = 15 + -33. Let k = s - 0. Is 25 a factor of 70 + (-10)/(-4)*k/15?
False
Let z(x) = x**3 - x + 8. Let p = 22 + -113. Let v = 95 + p. Is z(v) a multiple of 34?
True
Suppose -5*t - 15 = -4*m, -2*t - 11 = -3*m + 2. Let z(s) = 17*s**2 - 13*s + 4. Let g be z(m). Is 5 a factor of g/3 - ((-12)/(-9) - 1)?
False
Let y(k) = -66*k - 478. Let c be y(-10). Suppose 5*r = 5*n - 720, -6*n + n + 571 = -4*r. Let x = c + r. Does 11 divide x?
True
Suppose -144340 - 32596 = -36*n + 492664. Is n a multiple of 120?
True
Let k = -6040 + 7876. Is k a multiple of 17?
True
Let r be 268 - 10/(-8 - -3). Suppose -5*m + r = -3*b + 764, -3*m = 2*b - 361. Does 17 divide b?
False
Suppose 2 - 18 = 8*b. Let r(a) = 153*a**2 - 12*a - 24. Does 42 divide r(b)?
False
Let w(h) = -3*h - 15. Let v be ((-8)/(-3))/(40/(-180)). Let j be w(v). Is 32/(8/7 - 3/j) a multiple of 2?
True
Is 3320/(-18675)*(-5)/(-2) + 32791/9 a multiple of 143?
False
Let s(y) = -y**2 + 4*y + 1. Let u(h) = 9*h**2 - 12*h - 34. Let o(t) = 4*s(t) + u(t). Is o(-8) a multiple of 43?
True
Let l(y) be the second derivative of -y**5/10 - y**4 + 4*y**3/3 - 5*y**2 - y. Suppose -3*o + 206*r - 208*r = 19, -37 = 5*o - 2*r. Is 8 a factor of l(o)?
True
Suppose -72050 = 14*t - 16*t - 2*r, 2*r + 12 = 0. Is t a multiple of 137?
True
Let x be (-4)/(-10) - 230/(-50) - -4. Suppose -o = -d - 28, x*o - 4*o = -5*d + 170. Does 20 divide o?
False
Let m be (-34)/(-10) - 2*(-2)/(-10). Suppose -4*l - m = 9, l = -2*i + 1997. Is 35 a factor of i?
False
Let f = -494 + 488. Let u(v) = -2*v**2 - 16*v + 24. Is u(f) a multiple of 16?
True
Let b(j) = 2281*j - 332. Is 19 a factor of b(2)?
False
Let o(w) = 351*w**3 + 3*w**2 - 9*w + 8. Let i be o(2). Suppose 4*d - 1757 - 475 = 4*s, i = 5*d + 5*s. Is d a multiple of 80?
True
Let c = -12384 - -17514. Is 187 a factor of c?
False
Let i(n) be the first derivative of 21*n**3 + 7*n**2/2 - 4*n - 85. Is i(2) a multiple of 20?
False
Is 295/95 + -3 - 493*(-2406)/114 a multiple of 14?
False
Let v be (4 - -160) + (9/(-3))/1. Suppose 10*j + v = 1491. Is 19 a factor of j?
True
Let p(c) = c**2 - 9*c - 25. Let x be p(-22). Let k = x + -360. Does 27 divide k?
True
Suppose 48*g - 44*g = 24368. Suppose -6092 = -4*t - 4*v, 5*t + v + g = 9*t. Is 47 a factor of t?
False
Does 145 divide (2082717/36)/7 - 4/(-16)?
True
Let c(t) = 11*t**2 + 4. Let d be c(2). Is 5 a factor of (-440)/d*(-5 - 1) - -5?
True
Is (-36909)/(-7) + (-6)/(-21) a multiple of 28?
False
Let q be 3*(76/95 - (-4)/(-30)). Suppose -5*k = b - 46 - 224, 0 = -q*b - 10. Does 5 divide k?
True
Let u(a) be the second derivative of -299*a**3/6 - 33*a**2/2 - 3*a + 2. Is 48 a factor of u(-3)?
True
Let l(n) = -6*n**3 - 28*n**2 - 125*n - 119. Is l(-13) a multiple of 13?
False
Let m be -2 - 5/((-5)/149). Let j = 110 - m. Let b = j + 65. Does 14 divide b?
True
Suppose -1 = n, 4*x - 142*n + 138*n - 104904 = 0. Is x a multiple of 5?
True
Suppose 0*u = u + 14. Suppose 7*c - 317 - 33 = 0. Let w = u + c. Does 12 divide w?
True
Suppose 6*v + 7437 = 1017. Let x = -586 - v. Does 22 divide x?
True
Let v(l) = -37*l**3 - 24*l**2 - 134*l - 48. Is v(-6) a multiple of 6?
True
Let a = -11101 - -16870. Does 16 divide a?
False
Let a(u) = -u + 12. Let c be a(8). Suppose -x + c + 1 = 0. Let z(n) = -n**3 + 9*n**2 + 2*n - 7. Is z(x) a multiple of 14?
False
Let w = 7593 - 2827. Is 14 a factor of w?
False
Let i(u) = 2*u**2 - 27*u + 13. Let x be i(13). Suppose x = -10*b + 561 + 449. Let v = 169 - b. Is v a multiple of 14?
False
Suppose -29160 = -13*r + 4*r. Is 18 a factor of r?
True
Let u = -649 - -1243. Is (2*(-2)/6)/((-44)/u) a multiple of 9?
True
Let j(i) = -51*i + 103. Let k be j(-5). Let z = k + -279. Does 3 divide z?
False
Let i be (-22)/8 + 3/(-12) + 12. Let x = 3 - i. Is 6 a factor of 35 + (-2)/x + 14/21?
True
Let a(q) = 2*q**3 - 94*q**2 - 43*q + 540. Is a(48) a multiple of 122?
False
Suppose -11*m + 2450880 = 69*m. Is 18 a factor of m?
True
Let x = -48 + 70. Suppose -4137 = x*v - 29*v. Is 38 a factor of v?
False
Let j(a) be the third derivative of -1/2*a**3 + 0 + 1/8*a**4 + 0*a**5 + 7*a**2 + 0*a + 11/60*a**6. Is j(1) a multiple of 7?
False
Let x = 9620 + -4654. Is 26 a factor of x?
True
Let m = 9599 + -8933. Does 37 divide m?
True
Let u(t) = -t**3 + 25*t**2 + 37*t + 192. Is u(21) a multiple of 16?
False
Let c = 71073 - 32958. Does 55 divide c?
True
Let f = 5450 + 5286. Is 98 a factor of f?
False
Suppose 0 = 3*k - 17 - 1. Let p be 1965/9 - k/(-9). Suppose 5*f + p = 3*t, -3*f - 281 = -8*t + 4*t. Is t a multiple of 26?
False
Let q = -1647 + -1848. Is 22 a factor of (q/(-30))/(2/16)?
False
Is (195/(-10))/(-5*(-18)/(-24300)) even?
False
Is 10 a factor of (-310)/(-248)*496*2?
True
Let x(d) = 36*d**2 - 29. Let o be x(4). Let b = o + -423. Is 8 a factor of b?
False
Suppose 5*s - 3*x + 6*x = 21, 5*s = 3*x + 39. Suppose -2*v + 4*j = -s, 9 = 3*v - 5*j - 0*j. Suppose -4*u - t = -v*t - 442, 4*u - 4*t - 436 = 0. Does 7 divide u?
True
Suppose 0 = -4*t - 2*f + 16108 - 4550, 0 = 3*t + 4*f - 8671. Does 9 divide t?
True
Suppose 6062 = 3*f - l + 6*l, -5*f = l - 10074. Does 106 divide f?
True
Let r(l) = -4*l - 8. Let p = 14 + -17. Let k be r(p). Suppose 2*n - k*o - 62 - 6 = 0, 4*n - o = 171. Is 27 a factor of n?
False
Let k = 2598 - -590. Does 6 divide k?
False
Suppose -171 - 306 = -3*u. Let n = u - 151. Is n even?
True
Let m(w) = -w**3 + 7*w**2 + 11*w - 12. Let p be (-4)/14 - 282/42. Let j be (-20)/15*(p - -1). Does 3 divide m(j)?
True
Let k = -671 - -134. L