*f. Is f a multiple of 171?
False
Let y(l) = -20*l**3 - 43*l**2 - 158*l + 13. Is y(-4) a multiple of 3?
False
Let n(x) = -10*x**2 + 190*x - 94. Does 46 divide n(15)?
True
Is (4 - (-67446)/6)/(-2 + 3) a multiple of 5?
True
Let i(v) = v**3 - v**2 - 155*v - 3. Does 134 divide i(25)?
True
Let q(s) = s**2 + 13*s + 48. Let t be 1 + -2 - (-140)/(-8 + 1). Is q(t) a multiple of 27?
True
Does 27 divide 81*(-20)/20*((-10010)/15 + -1)?
True
Suppose -3096 + 13432 = -19*n. Let r = -514 - n. Does 5 divide r?
True
Let b(s) = 6*s**2 + 73*s + 1481. Does 182 divide b(-19)?
False
Let l = 109 - -192. Suppose 0 = 8*m - l + 69. Is m a multiple of 7?
False
Suppose 71*a + 2*i + 12234 = 76*a, -4*i - 28 = 0. Is a a multiple of 26?
True
Suppose -5*o - 31 = 19. Let r be (15/o)/(537/180 - 3). Suppose 0 = 2*k - 0*k - r. Does 28 divide k?
False
Let a(i) = 3*i + 32. Let k be a(-10). Suppose p - 38 = 4*r - 5*r, -3*r = k*p - 112. Is 6 a factor of r?
True
Let c(i) be the first derivative of 5*i**3/3 - 3*i**2/2 + 8*i - 156. Is c(7) a multiple of 88?
False
Let g be ((-394)/14 + -1)/((-20)/350). Suppose -k + 266 = -g. Does 12 divide k?
False
Is 26 a factor of 1009 - -3*(-45)/(-27)?
True
Suppose -3*w + 0*l + 2*l - 3 = 0, -3*l + 9 = 0. Does 13 divide ((w + 36)*1)/(-1)*-1?
False
Let l(u) = -u**3 + 5*u**2 + 8*u - 6. Let m be l(5). Let a = m + 76. Let w = a - 84. Is 25 a factor of w?
False
Let d(h) = -6*h + 148. Let c be d(24). Suppose -23*o - c*o = -4995. Does 11 divide o?
False
Suppose 0 = -5*j - 2*g + 10017, 25*g + 10011 = 5*j + 21*g. Let p = 2938 - j. Does 42 divide p?
False
Suppose -108828 = -124*f + 240976. Is f a multiple of 13?
True
Let o(x) = -x**2 - 13*x + 5. Let s be o(-11). Let k = s + -22. Suppose -4*p + 130 + 154 = 4*u, -k*u = -2*p + 107. Does 22 divide p?
True
Let m = 18211 + -9944. Suppose -558 = -25*c + m. Is c a multiple of 26?
False
Let l be 36/(-10)*20/36*-3. Suppose l*z - 4 = 2*z. Does 3 divide (z - -1)*(0 + 5)?
False
Let o be -3*(-1)/(-2) - (-7)/(-2). Let a = -3 + 4. Is a - 1 - 30/o a multiple of 4?
False
Let m be -10*((-3)/5 - 20/(-200)). Suppose -4*i + i = -4*r - 2480, 0 = i + m*r - 833. Is 11 a factor of i?
False
Suppose -12*b + 50215 = -11*b + 4*b. Is b a multiple of 46?
False
Let g = 4762 - 2024. Is 163 a factor of g?
False
Let q(z) = 34 - 5*z + z + 3*z. Suppose -3*f - 2*f - a - 44 = 0, -8 = 2*a. Does 15 divide q(f)?
False
Suppose 0 = -3*m - 0 + 27. Suppose -5*k - y = -43, 35 - m = 4*k + 5*y. Is 4 a factor of k?
False
Suppose -k = -4*u + 8*u + 53, 2*u + 2 = 0. Let q = -51 - k. Is 16 a factor of (0 - q/(-6))*-183?
False
Is 73 a factor of 2522910/360 - (-1)/(-12)?
True
Let k = -73 - -85. Suppose 2*i + k = 8*i. Suppose -4*f - i*d + 290 = 0, 0 = f - 6*f + 4*d + 343. Is f a multiple of 7?
False
Suppose -15 = -3*z, -3*f - 2*f - 1060 = 3*z. Let d = -85 - f. Does 38 divide d?
False
Let s(m) = -36*m - 12. Let t be 4/(-6) - (-16)/6. Suppose 3*z + 8 = t*d, d = z + 5 - 2. Is 30 a factor of s(z)?
True
Suppose -v + 2*j + 57 = 0, 0 = -v - 0*j - 5*j + 71. Let k = -15 + v. Is 23 a factor of k?
True
Suppose -j = -3*o + 5*o - 2652, 4*j - 10569 = 5*o. Suppose 57*p = 60*p - j. Is p a multiple of 14?
True
Suppose -2*d = 2*u - 1696, -8*u - 4267 = -13*u + 4*d. Let w = u + -816. Is 5 a factor of w?
True
Let a(h) = -h**2 - 29*h + 267. Let v be a(9). Suppose 0 = o + 26 - 131. Let l = v + o. Does 17 divide l?
False
Suppose 0 = 34*o - 61245 + 13815. Does 6 divide o?
False
Suppose 5*n - 2*y - 57 = -0*y, -2*n + 46 = 5*y. Suppose 11*s = n*s + 2. Does 20 divide 22/26 + s + 784/26?
False
Let q(p) be the first derivative of -199*p**2/2 + 17*p + 28. Let y be q(-4). Suppose 4*c = s + 340 + y, 2*s + 2 = 0. Is 36 a factor of c?
True
Suppose 9*p + 14*p - 92 = 0. Suppose -r + 59*x - 64*x + 359 = 0, 4*r - 1484 = -p*x. Is 7 a factor of r?
False
Suppose 5 - 1 = 2*y. Suppose -f = 4*h - h - 20, y*h = -4*f + 30. Suppose 0 = -f*w + c + 273, 6*c = 5*w + 2*c - 267. Is w a multiple of 3?
False
Let a(i) = -468*i + 2274. Does 6 divide a(-23)?
True
Let w = -8750 - -14488. Is 19 a factor of w?
True
Suppose 2*y = 2*z + 30166, -23*z + 25*z + 4 = 0. Is 11 a factor of y?
True
Suppose 16 = -3*l + 4*d, 5*l = -6*d + 2*d + 16. Suppose 14*c + 4*c - 2214 = l. Is 10 a factor of c?
False
Is 5155 - (-13 - 5)*(5/3)/(-5) a multiple of 61?
False
Let w(g) = 5*g - 27. Let k be w(6). Suppose -5*j - 156 = -k*j. Let a = j + 170. Is 23 a factor of a?
True
Suppose -2*g = -14*g + 60. Let m(p) = -g*p + p + p - 7. Is 10 a factor of m(-9)?
True
Let h = 114 - 72. Let v(o) = h + 4*o - 3*o - 3*o + 0*o. Does 8 divide v(17)?
True
Let n(z) = 4017*z + 492. Is n(4) a multiple of 90?
True
Suppose -4134*c = -4063*c - 156768. Does 23 divide c?
True
Let r = 48 + 43. Let z be (-3)/7 + 312/r. Suppose z*c - 210 + 33 = 0. Does 9 divide c?
False
Let d be 6 - 11/((-77)/21). Does 9 divide (0 - d)/(375/95 + -4)?
True
Suppose -344 = 4*h - 60. Is 4 + (-4 + h)*-2 a multiple of 14?
True
Let j be (0 + 2)*3 + (10 - 20). Is 90 a factor of (-4210)/j*(6 + 52/(-10))?
False
Let r(b) = 173*b**2 + 56*b + 179. Is r(-3) a multiple of 32?
True
Suppose 2*x - 656 = -4*x + 6622. Is 4 a factor of x?
False
Suppose -t + 6*t = 470. Let h = -16 - -31. Let s = t + h. Is 25 a factor of s?
False
Suppose -13*c + 1 = 27. Let v(o) = 227*o**2 + 3*o - 1. Is v(c) a multiple of 53?
True
Let t = -15 - -125. Is 6 a factor of t - (12/42 + (-24)/(-14))?
True
Let a be 45132/66 - -6 - 2/(-11). Suppose 3*f + 2 - 50 = -o, 2*o = 2*f - 24. Suppose -5*p - a = -f*p. Does 23 divide p?
True
Suppose -3*m - 29*m + 107837 = -23427. Does 210 divide m?
False
Suppose 6*x + 3*n = 83622, -n - 33919 - 35752 = -5*x. Does 63 divide x?
False
Let h be -9*(-6)/(-9)*14/3. Let v = h + 31. Suppose 28 = v*a - 41. Is 4 a factor of a?
False
Suppose -4*t + 12 = 0, -n = 17*t - 14*t - 5385. Does 18 divide n?
False
Suppose -2*j + 2 = -2. Suppose -2*t - 3*u + 492 = 0, -j*u = -5*t - 3*u + 1256. Is 36 a factor of t?
True
Let d(q) = 2040*q - 210. Is d(1) a multiple of 6?
True
Let m be (-40)/18 - (6 - (-56)/(-9)). Let i be m/(-7) - 180/(-105). Suppose a - 8 = -0*a - n, -i*n - 8 = 0. Is 7 a factor of a?
False
Let a(p) be the first derivative of p**4/4 + 8*p**3/3 - 25*p**2/2 - 7*p + 57. Is a(-10) a multiple of 10?
False
Suppose -15*y = -15 - 60. Suppose -y*q + 1433 = 3*f, -f - 2*f + 1427 = -q. Does 68 divide f?
True
Suppose -78*t = -87*t + 9936. Suppose u - t = -2*u + 3*a, -5*u = 2*a - 1805. Is 4 a factor of u?
False
Let r be ((-46)/(-4))/((-95)/94 + 1). Let a = r - -1637. Is 10 a factor of a?
False
Suppose 0 = 6433*g - 6457*g + 403200. Is g a multiple of 7?
True
Suppose 7*y = 12*y + 5*j - 17340, -j = 5*y - 17320. Does 23 divide y?
False
Let v(q) = 26*q**3 + 12*q**2 + q + 22. Is v(6) a multiple of 62?
True
Suppose -25119*a + 25103*a = -59680. Does 11 divide a?
False
Let i(b) = b**3 + 77*b**2 + 63*b - 441. Does 36 divide i(-33)?
True
Let j(q) = q**3 + 13*q**2 - 3*q + 3. Let r = -13 - -2. Let w be j(r). Suppose -5*l - 8 = -w. Is 14 a factor of l?
False
Suppose -17*s = -8*s - 72. Suppose 15*q - 336 = s*q. Is q a multiple of 16?
True
Let b(k) = 2*k**2 - 27*k + 876. Is b(63) a multiple of 146?
False
Let x(l) = 7*l**2 + 2*l + 4. Let o be x(5). Suppose 16*f - 13*f - o = 0. Is f a multiple of 7?
True
Suppose -10*a = -4*a + 1979 - 7427. Is 2 a factor of a?
True
Suppose 0 = -2*i + m + 33, i + 2*m = -0*i + 4. Suppose 5*f = -i - 136. Is f*(-2 - (-7)/5) a multiple of 11?
False
Let l = -1574 - -14816. Is 173 a factor of l?
False
Let q(s) = -4*s - 134. Let c be q(-35). Suppose -x = -c*x + f + 1665, 2*x = -f + 659. Is x a multiple of 67?
False
Suppose h + 1 = -0*h + d, h = -2*d + 8. Let c = -1108 + 1115. Does 6 divide h*1 - c/(7/(-16))?
True
Let w be ((-80)/56)/(2/(-98)). Let z = w + 26. Is z a multiple of 16?
True
Let p(v) = 9*v + 2237 - 1117 - 1116. Suppose -2 + 0 = 2*b + 2*g, 4*b - 41 = 5*g. Is p(b) a multiple of 10?
True
Let y = 73255 - 33826. Is 13 a factor of y?
True
Let m(y) be the third derivative of -y**8/20160 + y**7/630 - y**6/180 + 17*y**5/60 - 4*y**2. Let k(g) be the third derivative of m(g). Does 3 divide k(6)?
False
Suppose 129 = 6*n - 69. Suppose n = 5*z - 82. Suppose -5*y + 65 = 5*o, o + 5*y - z = -o. Is o a multiple of 4?
False
Is (413/(-84) - -5) + (-389182)/(-24) a multiple of 70?
False
Let p(l) = 2*l**2 + 24*l - 7. Let z(i) = i