ctor of i?
True
Let h(f) = -f**2 - 12*f - 14. Let q be h(0). Let c(j) = -3*j - 25. Is c(q) a multiple of 4?
False
Let r(o) = -o**3 - 2*o**2 - 4*o + 594. Let q = -328 - -328. Does 33 divide r(q)?
True
Let b = -4644 - -13200. Is b a multiple of 12?
True
Suppose 0 = -2*d + 4*o - 602 + 1888, 5*o = 20. Is 123 a factor of d?
False
Suppose -25*k - 28 = -39*k. Suppose -k*q + 1135 = 343. Is 15 a factor of q?
False
Suppose 2*l - 4*k - 8220 = -l, l = -5*k + 2759. Is 49 a factor of l?
True
Let i(w) = w + 13. Let v be i(7). Let k be ((-4)/(-6) - (-16)/12)*v. Suppose -2*l + 2*y = -50, -l + y = 3*y - k. Is 11 a factor of l?
False
Is (-292)/219*(-41502)/8 a multiple of 10?
False
Let c = -69 + 73. Suppose 4*j - 29 = -l + 1, 0 = c*j - l - 34. Suppose 96 = j*k - 400. Is 13 a factor of k?
False
Suppose 5*f - 6*f = 31. Let k = -28 - f. Suppose 2*y = -k*y + 425. Is 17 a factor of y?
True
Suppose 4*d - 1854 = 2*a, 4*d + 1838 = 6*a - 8*a. Let q = -602 - a. Does 62 divide q?
False
Suppose 0 = -289*a + 659068 + 308290 + 267250. Does 12 divide a?
True
Let v(l) = -l**2 - 36*l + 117. Suppose -p - 194 = -164. Is 27 a factor of v(p)?
True
Let a be (3 + 36/10)*5. Let m = a + 27. Does 10 divide m?
True
Let j = -196 - -82. Let v = -2980 + 3250. Let w = j + v. Does 39 divide w?
True
Suppose 3*k = -2*l + 144, 0 = -5*k - 15 - 5. Suppose -15*h = -18*h - l. Is 26 a factor of ((-5)/(5/h))/((-3)/(-6))?
True
Let y(i) = 5*i + 72. Let r be y(-8). Is 88 a factor of 8160/r + (-8)/(-2)?
False
Suppose 10*u + 355 = 105. Let w(j) = -j**3 - 23*j**2 + 34*j - 55. Does 23 divide w(u)?
True
Let s = -8355 + 11192. Is 9 a factor of s?
False
Suppose -160*c + 354260 = -23*c - 226209. Is 8 a factor of c?
False
Let d(w) = 4*w - 42. Let u be d(11). Let j be ((u - -5) + -6)/((-2)/(-10)). Suppose -j*r - 3*n + 55 = -0*n, 0 = 3*r - 4*n - 33. Is 4 a factor of r?
False
Let x = 41630 - 22991. Does 57 divide x?
True
Let h be 1 - -1 - (-116 + 2). Let z be (4 + 0)/((-26)/208). Let k = h + z. Is 21 a factor of k?
True
Let y = 6011 + 3436. Is y a multiple of 201?
True
Suppose -5*y - 13495 = -5*c, c = -5*y + 2638 + 91. Is 9 a factor of c?
False
Let d(q) = -57*q**3 - q**2 + 2*q - 8. Let y be d(2). Let b = 678 + y. Does 5 divide b?
False
Suppose -2*y = -13*z + 17*z - 55746, -111513 = -4*y - z. Is 71 a factor of y?
False
Suppose 10*s = 9*s + 52. Let f = -102 + s. Let d = f - -75. Does 13 divide d?
False
Let f be 2/5 - (-3 + (-193)/5). Suppose -f = 4*u - 654. Is u a multiple of 16?
False
Let w be -2 - (-24)/(4/4). Suppose 0 = -w*q + 29*q - 2247. Is 9 a factor of q?
False
Let z be (-400)/60*(-1 - 119). Suppose -5*m - 2*h = -m - z, -m = -3*h - 200. Suppose -10*l + m = -0*l. Does 20 divide l?
True
Suppose 3*w - 4*g = -2*g + 4277, 5*w - 5*g - 7130 = 0. Suppose -q = 4*q - w. Suppose -9*p + q + 327 = 0. Is p a multiple of 12?
False
Let y be (-9)/72 - 325/(-40). Does 2 divide (-8)/(-12) - y/36*-15?
True
Let u = -16 + 19. Suppose h - 25 = -n + u, 0 = -h. Does 7 divide n?
True
Suppose -137*r - 797750 = -3938749. Is r a multiple of 160?
False
Suppose -4*v + 6*i = i - 1659, 0 = -5*v + i + 2079. Suppose -v = -2*k - 86. Is 3 a factor of k?
True
Let i(l) = 70*l**3 + 25*l**2 + 15*l - 81. Let h(n) = 14*n**3 + 5*n**2 + 3*n - 16. Let d(q) = 11*h(q) - 2*i(q). Does 41 divide d(5)?
False
Suppose 1086 = -11*g - 1961. Let d = 451 + g. Does 35 divide d?
False
Let p(k) = -k**3 + k**2 + k + 1. Let r(j) = 20*j**3 - 9*j**2 - 3. Let o(h) = 4*p(h) + r(h). Let c be o(2). Let g = c + 38. Is 13 a factor of g?
False
Suppose -273*z + 1168635 = -1129479. Is 114 a factor of z?
False
Suppose -54551 = -65*w + 319849. Is 158 a factor of w?
False
Suppose 0 = -16*p + 1018 + 86. Suppose 3*h - 4*y - p - 834 = 0, -3*y - 9 = 0. Does 9 divide h?
True
Let p(k) = 18*k + 2. Let s be (-128)/48*(0 + -24). Let w = s + -63. Does 4 divide p(w)?
True
Let i = 78 - 78. Suppose i = 2*y + 10, -3*y - 2*y - 157 = -3*k. Suppose -2*l + k = -4*r, 3*l - 33 - 58 = r. Is 8 a factor of l?
True
Suppose -4*u + 3*c + 38782 = 0, 5*c = 4*c - 6. Does 12 divide u?
False
Let a be (-6)/8 - 46*119/(-56). Let g(j) = -25*j - 8. Let p be g(-3). Let k = a - p. Is 15 a factor of k?
True
Let f = -1416 - -2098. Does 4 divide f?
False
Let v be 35/(-22 + 15) - (-1 - 3). Let j(m) = -240*m**3 - 3*m**2 + 0*m + 2*m**2 - 4*m - 3. Is 40 a factor of j(v)?
True
Let r = -50 + 192. Let w = 20060 + -20055. Suppose 3*p - w*p = -r. Is 13 a factor of p?
False
Let y(g) = g**3 - 14*g**2 - 2*g + 29. Let o be y(14). Let v be -3 + 408 - (-3)/o. Suppose 0 = 5*h - v + 98. Is h a multiple of 19?
False
Let x = -3187 - -3814. Is x a multiple of 57?
True
Suppose 8 = 197*q - 193*q. Suppose 342 = q*m - 678. Is m a multiple of 30?
True
Let k(o) = o**3 - 5*o**2 - 35*o - 9. Is 193 a factor of k(21)?
False
Let u(s) = -6*s - 12. Let i(k) = -k - 2. Let m(d) = 10*i(d) - u(d). Let o = 9 + -17. Is m(o) a multiple of 3?
True
Suppose c = 5*c - 4*m - 3840, 0 = 4*m. Does 70 divide c?
False
Let p = 311 + -195. Suppose -i + p = -103. Is 13 a factor of i?
False
Let z(u) = 9*u - 1. Let i(l) = l**2 - 7. Let a be i(3). Let b be z(a). Suppose -b*y + 13*y + 128 = 0. Is 8 a factor of y?
True
Does 3 divide 126/(-1071) + (-312)/(-51) - 1262/(-1)?
False
Suppose -28 = 3*i + 4*k, 4*i + 74 = -0*i + 2*k. Let r = -7960 + 14827. Is 33 a factor of r/72 - (-6)/i?
False
Suppose -3*v = -5*f + 38077, 6959 + 23501 = 4*f - 2*v. Does 68 divide f?
False
Let l = 56 - 55. Let v be 5 + (-3 - l) + 1. Suppose v*x = 58 + 30. Is x a multiple of 6?
False
Suppose 2*q - 6*q + 12 = 0. Suppose -q*w + v + 27 = -113, 5*w = v + 236. Suppose 7*a = w + 624. Is a a multiple of 16?
True
Suppose -y + 5*y = 3*o - 109, -y + 5 = 0. Let s = o - -82. Is s a multiple of 5?
True
Let o(q) = -q - 2. Let a be (80/15)/1*-3. Let c be o(a). Is 4 a factor of (1 - c)/((-5)/4)*5?
True
Suppose 0 = -7*a - 252 - 154. Let l be ((-29)/a)/((-2)/48). Let n(o) = -14*o + 17. Does 37 divide n(l)?
True
Suppose 1 = 21*b - 104. Suppose 0 = -5*s - 2*g + b*g + 2640, -2*g - 535 = -s. Does 15 divide s?
True
Suppose 0 = 12*b - 35 - 25. Suppose 2*q = -b*j + 1200, -12*q + 4*j + 2400 = -8*q. Does 50 divide q?
True
Let t be (-40)/(-16)*(2 + 0). Let p(n) = -6 + 1 - t*n + 0. Does 5 divide p(-2)?
True
Let k(s) = 401*s - 136. Let u be k(6). Suppose 4*p = 3*y - 1334, -8*y + 5*p = -13*y + u. Is 15 a factor of y?
True
Suppose -365*u + 8 = -363*u, 0 = 2*h - 4*u - 17846. Does 119 divide h?
False
Let w(o) = -108*o + 1380. Does 113 divide w(-50)?
True
Let a = 51 + -46. Suppose 3*o - 2*s - 22 = 0, a*o - s + 4*s - 43 = 0. Let t = o + 9. Does 4 divide t?
False
Is 7 a factor of (-1660 - -1)*((-7040)/726 + (-12)/(-33))?
True
Suppose -4*p - 3*v = -32537, 5*v + 16454 = 4*p - 16123. Does 103 divide p?
False
Suppose 38*f = -100105 + 333121. Is 100 a factor of f?
False
Suppose -3*j = -2*j - 6. Suppose 9*c - j*c - 285 = 0. Is c a multiple of 5?
True
Suppose 3*h = 176 + 130. Suppose h = 12*v - 2226. Is v a multiple of 10?
False
Suppose 0 = 4*d - 272 + 288, -5*z + d + 147114 = 0. Is z a multiple of 47?
True
Let c(p) = -3*p**2 + 31*p + 6. Let u(h) = -h**2 + 15*h + 4. Let d(a) = -3*c(a) + 7*u(a). Is 36 a factor of d(13)?
True
Let u(v) = 79*v**2 - 26*v + 72. Is 13 a factor of u(11)?
False
Let c(w) = 26*w + 67*w**2 + 12 - 52*w**2 - 41*w - w**3. Is c(8) a multiple of 10?
True
Suppose 0 = -4*j + 43 + 33. Let z = 67 + j. Suppose -5*h = t - z, -5*t = 5*h - 328 - 142. Is t a multiple of 16?
True
Suppose 13 = -4*q + 5*j + 470, -5*q + 575 = -5*j. Let x(n) = -63 - 2*n - 39 + q. Is 16 a factor of x(-15)?
False
Let a = 216 - 388. Let c = a - -216. Is c a multiple of 7?
False
Suppose -4*q + 44002 = j, -5*q + 23340 = -j - 31649. Is 7 a factor of q?
False
Suppose 3*y - 22 = 5*a, -11 = -4*y + 5*y + 2*a. Is 10 a factor of 29 - (-6)/(-4 + y + 3)?
False
Let d(y) = -5*y**2 + 259*y - 432. Does 3 divide d(50)?
True
Let m = -11892 - -4329. Is (-4)/(60/m) + (-2)/10 a multiple of 13?
False
Let y be ((-26)/4)/((-14)/(-672)). Let f(m) = -3*m**2 + m - 2. Let h be f(0). Is (y/14)/((-4)/(-56)*h) a multiple of 20?
False
Let u(n) = n**3 - 9*n**2 + 2*n - 15. Let z be u(9). Let y be 1 - z/4 - (-3006)/72. Suppose 2*x = -3*s + x + y, 5*s = 5*x + 50. Is s a multiple of 13?
True
Let z(r) be the third derivative of r**4/6 + 35*r**3/6 + 28*r**2. Is z(10) a multiple of 7?
False
Let a = -569