oes 4 divide i?
False
Suppose 13*x - 7*x = 6. Is (x/1)/3*753 a multiple of 33?
False
Let b = -663 - -502. Let g = b - -231. Does 5 divide g?
True
Suppose -12 = 5*q - 2*n, -3*n - 18 = -2*q - 14. Is 25 a factor of (-1)/(q/1060) - (-7 + 5)?
False
Let c be (3 + 2)*(-8)/20. Let g be (-44)/c*(-234)/(-36). Let m = 245 - g. Is 34 a factor of m?
True
Suppose -17*d - 4752 = -127118. Is 16 a factor of d?
False
Let h = -3138 + 5837. Is 9 a factor of h?
False
Suppose 0*t = 2*t + 5*y - 3, 0 = t - y - 5. Let w be 5/(((-2)/6)/((-6)/18)). Suppose 147 = w*j - 4*c, t*j - 3*c = 31 + 86. Is j a multiple of 3?
True
Let z(l) = -l**3 - 6*l**2 - 4*l - 9. Let n be z(-6). Suppose 8*y + n = -217. Let u(k) = k**3 + 29*k**2 - 2*k - 12. Is 3 a factor of u(y)?
False
Suppose 350 - 150 = 5*t. Let a = t - -44. Is a a multiple of 14?
True
Is 3*2 + (3 + -3511)*(-1 + -9) a multiple of 53?
True
Does 5 divide (-132)/(-55) - 1219950/(-125)?
False
Let a(u) be the second derivative of -18*u**2 - 24*u + 1/3*u**3 + 0. Does 2 divide a(19)?
True
Is 12 a factor of (-1 - 5309)/((-4)/2 + 0)?
False
Does 13 divide 30/(-390) + (-1071137)/(-26) + 5/(-10)?
True
Let o(g) be the second derivative of g**4/12 - g**3/3 + g**2 - g. Suppose -10 - 8 = -2*m. Does 13 divide o(m)?
True
Suppose -4*x = -2*v + 358 + 2210, 1287 = v - 5*x. Is 11 a factor of v?
False
Suppose 2*r - 31406 = t, -4*r + 5*t = r - 78500. Is 11 a factor of r?
False
Let f(p) = p**3 - p**2 + 36. Suppose 0 = 6*q - 4*q. Let v be f(q). Suppose -d - 3*d - 5*o = -144, d = -3*o + v. Does 18 divide d?
True
Let l = -2719 + 7309. Does 45 divide l?
True
Suppose -5*l - 10*l + 10854 = -6*l. Does 18 divide l?
True
Let t = -41 - -48. Suppose -y - 18 = -t*y. Suppose 5*w = -a + 39, -w + y*w + 156 = 4*a. Does 13 divide a?
True
Suppose -2*u = -6*u + 16, -5*u = 5*t - 445. Suppose -s + 215 = 2*m, -4*s = m + s - t. Suppose 3*l + 2*l = m. Does 2 divide l?
True
Suppose 11*w - 16*w - 35 = 0, 0 = 3*f + 5*w - 58237. Does 12 divide f?
False
Is 30 a factor of (-14)/4*(-790776)/294?
False
Let a(q) = -25*q + 3. Let l be a(1). Let i = l + 7. Does 21 divide ((-10)/i)/((-2)/(-201))?
False
Let q be ((16/(-6))/2)/(48/(-72)). Is 9 a factor of -186*(-1)/(q/3)?
True
Let t(q) = 2*q + 14. Let g be t(-13). Let v be 3*4/g + -16. Let w = 3 - v. Does 20 divide w?
True
Let b(y) = y - 1. Let o(h) = h + 12. Let j(n) = 6*b(n) + o(n). Let f be j(-10). Let k = 112 + f. Does 11 divide k?
False
Let x(f) be the second derivative of f**4/4 - 5*f**3/6 + 4*f**2 + 7*f - 7. Is x(7) a multiple of 30?
True
Suppose k - 79750 = 5*s, 2*k + 612*s - 159591 = 609*s. Is k a multiple of 27?
True
Let q = -116 + 115. Let f be 2 + q*(-5 - -4). Suppose -3*n + 4*m = -338, 339 = f*n + 2*m - 5*m. Is 38 a factor of n?
True
Suppose -3*w = -3*j + 5529, -17*j + 3*w - 9159 = -22*j. Does 3 divide j?
True
Let s = 70 - -995. Let k = s + -460. Suppose l = 2*c - k, 3*c - 587 = c - 5*l. Does 18 divide c?
False
Suppose 0 = -3*s - 2*s, -x - 1952 = 2*s. Does 20 divide (x/10)/(-8) - 2/5?
False
Suppose 2*a - a - 3*x = 1815, -4*a = -4*x - 7268. Suppose -5*t + a = -2*b, 4*t + b - 192 - 1265 = 0. Is t a multiple of 14?
True
Suppose -4*f + 5*c - 49 = 732, 3*f + 5*c = -542. Let t = -86 - f. Let y = -52 + t. Is 3 a factor of y?
True
Is (-84)/10*-670 + -2 + 4 a multiple of 39?
False
Let v(r) = 6*r**3 + 37*r**2 + 5*r - 43. Let i(p) = -2*p**3 - 13*p**2 - 2*p + 14. Let n(a) = -11*i(a) - 4*v(a). Is 6 a factor of n(-6)?
True
Let d(y) = 903*y - 8040. Is 67 a factor of d(13)?
False
Is 21 a factor of (716/(-5))/(((-507)/4225)/(126/20))?
True
Let k(n) = -4*n**2 - 11. Let f(g) be the first derivative of -4*g**3/3 - 11*g + 36. Let x(t) = -4*f(t) + 3*k(t). Is x(-3) a multiple of 9?
False
Suppose 3 = n + 3*k - 4, 13 = 2*n + 5*k. Let c(d) = -3*d - 50 + 10*d**2 + 27 - n*d**2 - 3*d. Does 54 divide c(8)?
False
Let p = -11151 - -11748. Is 3 a factor of p?
True
Let b(n) be the first derivative of -3*n**2 + 45*n + 19. Is 54 a factor of b(-21)?
False
Suppose 4 = -347*o + 349*o, 0 = 2*a + 4*o - 137408. Is a a multiple of 15?
True
Let d(f) = -17*f**2 + 4*f - 7. Let n be d(3). Let c = -72 - n. Let q = 120 - c. Does 11 divide q?
True
Suppose -21*v = -23724 - 19662. Suppose 12 = -3*z, -9*b + 12*b - 5*z = v. Is b a multiple of 22?
True
Let u = -16412 + 20172. Is 8 a factor of u?
True
Let l be (136 + -136)*(-1)/1. Let i(q) be the third derivative of -q**5/30 - q**4/24 + 61*q**3/6 - 2*q**2. Does 6 divide i(l)?
False
Is 6*22/1320 + 2 + 300897/30 a multiple of 76?
True
Let p(d) = d**2 - 4*d + 12. Let l be p(7). Is 60 a factor of 19971/l + 18/(-99)?
False
Is 18 a factor of (-6)/15 + (-342782)/(-55)?
False
Let l(o) = -5*o + 34. Let x be l(2). Is (11 - 2)/(x/352) a multiple of 12?
True
Suppose 175 = -4*l + 3. Let k = l + 45. Is 9 a factor of 18/24*k*6/1?
True
Suppose 0 = -5*m + 3*f + 9, 2*m - 1 = -4*f - 13. Suppose 5*i = 3*b - 247, m*b + 257 = 3*b + 5*i. Does 4 divide b?
True
Let w = 3 - -1. Suppose -o - w*o + 50 = -5*f, 4*f + 25 = o. Suppose o*y = -1 + 136. Is 9 a factor of y?
True
Let h = 140 - -120. Suppose 16*g - h = 15*g. Is g a multiple of 9?
False
Let l(y) = y**3 + 4*y**2 - 7*y - 2. Let q be l(-5). Suppose -q = -6*f + 2*f. Suppose 3*n - 2*m = -f*n + 305, -4*n = 5*m - 211. Is n a multiple of 11?
False
Suppose 7*n - 10*n = 75. Does 73 divide (6/(-10) - (-60)/n) + 145?
False
Let r(t) = -8*t**2 + 105*t + 10. Is r(11) a multiple of 10?
False
Let i = 3713 - 1722. Does 90 divide i?
False
Let n = -36 - 4. Suppose -4*y = -3*x - 336, y + 543 - 192 = -3*x. Let l = n - x. Is 13 a factor of l?
False
Does 9 divide ((-5)/30 - 115365/90)*(-5)/2?
False
Suppose 428 = 24*f - 20*f. Let m = f - -346. Is 11 a factor of m?
False
Suppose 803 + 408 = 3*q - 5*w, 2*q - w - 826 = 0. Is 17 a factor of q?
False
Suppose 0*l = -7*l - l. Suppose -3*k + l*k = -9. Suppose -71 = -k*w + 259. Does 11 divide w?
True
Suppose -5*v = -4*o + 9110, -o + 4*v - 1025 = -3308. Is 3 a factor of o?
False
Suppose -5*k + 2*z + 13662 = 0, 29*k - 10926 = 25*k + z. Does 131 divide k?
False
Let c(q) = 4*q**3 - 6*q**2 - 4*q - 2. Let f be c(6). Suppose 0 = -3*n + f - 55. Is 63 a factor of n?
True
Let a(q) = 8*q + 7. Let r be 5/(15/(-6)) + 3. Let c(j) = j - 1. Let d(f) = r*a(f) - 4*c(f). Is d(5) a multiple of 10?
False
Suppose -1852*k - 746 + 90 = -1856*k. Does 4 divide k?
True
Let x = 39 + -73. Let q(k) = -10*k - 82. Let n be q(-14). Let w = x + n. Does 7 divide w?
False
Let j be (-2)/(-4)*(-12)/1. Let u be ((-3)/((-9)/50))/(j/36). Is 7 a factor of (2 - -2)/((-5)/u)?
False
Let f(n) = 2*n**2 + 3*n - 3. Let i be (6/7)/(1 - 16/14). Let o be f(i). Suppose 0 = -3*x + 132 - o. Does 27 divide x?
True
Let v be (-15)/30 + (-5094)/(-4). Suppose -12*j - 7*j = -v. Does 10 divide j?
False
Let s(a) = 74*a**2 - a. Let y be s(1). Suppose -4*d + 92 = -4*i, -i = -2*d + 5*d - y. Does 24 divide d?
True
Let y(o) = 37*o + 8. Let k be y(-11). Let z = -277 - k. Let l = z + -57. Does 9 divide l?
False
Let r be 567/(-126)*(-2)/6*2. Suppose -3*o + o - 2*q = -768, -r*o = 2*q - 1152. Suppose -3*j + o = -201. Is 15 a factor of j?
True
Is 13 a factor of -1167*(-2)/(-4)*(92/(-3) + 16)?
False
Suppose -16*w + 94785 + 26801 = -29758. Is 36 a factor of w?
False
Let t be (-46 + -2678)*1/(-2). Is 68 a factor of t/10 - (-56)/(-280)?
True
Suppose -f + 11543 = 2*p, 5803 = -83*p + 84*p - 4*f. Is 5 a factor of p?
True
Let f(z) = 102*z + 101. Let a be f(-8). Let x = -419 - a. Does 4 divide x?
True
Let l(b) = 16 - 9*b + 14 - 29*b - 82*b. Is l(-4) a multiple of 30?
True
Let l(b) = -b**3 + 21*b**2 - 18*b - 175. Let f be l(19). Does 69 divide -6*(678/(-20) - 123/f)?
True
Suppose -12*n = -4*n - 48. Suppose -5*s + 114 = -2*s. Suppose -l + s = n. Does 8 divide l?
True
Suppose 0 = y - 4*n - 28506, -2*y - y + 85478 = -2*n. Suppose 0 = -22*f - 15*f + y. Does 22 divide f?
True
Suppose 5*d = 2*d + 5*x - 243, -81 = d + 3*x. Let j = 77 + d. Does 36 divide -226*((-6)/28 + j/14)?
False
Suppose -4*m + 5*h + 438 + 489 = 0, -4*h + 216 = m. Does 3 divide m?
True
Suppose 12845 = -12*p + 16*p - 5*v, 25 = -5*v. Does 9 divide p?
False
Suppose 239 + 91 = 4*z - 2*n, z + 4*n = 60. Suppose 12*g - 496 = z. Does 25 divide g?
False
Suppose v - 4*s + 13976 = 5*v, 0 = -3*v - 4*s + 10476. Does 4 divide v?
True
Let p(k) = -2*k**2 + 44*k - 30. Let w be p(21). Is ((-90)/w)/(5/(-70)) a multiple