5*l. Suppose l = i - 303. Does 5 divide i?
True
Let q be (4470/20)/((-9)/(-24)). Suppose 4*s = q + 84. Is s a multiple of 10?
True
Let s(a) be the third derivative of -a**6/120 - a**5/30 + 5*a**4/12 - 5*a**3/3 - 25*a**2. Does 5 divide s(-7)?
True
Let x(o) = 12*o + 58. Let r be x(-6). Let b be r/4*12*36/(-21). Let k = b - 38. Does 23 divide k?
False
Let v(w) = -w**2 + 10*w - 23. Let b be v(7). Is ((1 - -13)*-2)/b a multiple of 4?
False
Let x = 1628 - -18150. Does 52 divide x?
False
Let a(g) = -162 - g - 2*g + 192. Let f be a(10). Is f - (4 + (-892)/4) a multiple of 47?
False
Suppose 2*m = -0*m - 164. Let j(q) = -q**2 - 13*q + 352. Let x be j(-23). Let d = x + m. Does 20 divide d?
True
Let f(n) = -16*n**3 - n**2 + 1. Let l(a) = a**3 + 2*a**2 - 5*a - 7. Let k = 35 - 38. Let z be l(k). Is f(z) a multiple of 3?
False
Suppose 2*i = -c + 6032, -4*i + 9918 = 4*c - 14206. Is c a multiple of 18?
True
Let l(x) = 4*x**2 - 48*x + 11. Let w be l(12). Let t(h) = h**2 - 3*h + 47. Is t(w) a multiple of 48?
False
Let g = -269 - -267. Does 7 divide (-2)/((-1)/g - (-3825)/(-7514))?
False
Suppose 0 = -2*v + 2 + 2. Suppose -a = -3, 13 = -352*p + 353*p - 5*a. Suppose 2*c - p = -v*h, -5*c + 8 = -5*h - 32. Is 2 a factor of c?
False
Suppose 0 = 2*m + 4 - 0. Let v be 4/9 - 392/72. Does 36 divide (-3 - v) + (-68)/m?
True
Let m be (-391)/(-4) + 3/12. Let u = -11 + -35. Let z = u + m. Is 26 a factor of z?
True
Suppose 116419 = 4*r + 3*v, -3*r - 2*v = -98299 + 10984. Does 179 divide r?
False
Suppose -43*k - 45*k = -81*k - 27664. Is 52 a factor of k?
True
Is 46 a factor of (-1120)/(-420)*34074/8?
False
Let y be 5*(-2)/(-10) + 1. Suppose -220 = y*c + 3*w + 130, 5*w + 523 = -3*c. Let z = c + 342. Is 21 a factor of z?
False
Let s be 1*((-2)/(-2) + 13) - -1. Suppose 0 = 4*j + 3*h + s, h + 3 = 5*j - 2. Suppose j = 5*o - 181 + 1. Does 6 divide o?
True
Is 9 a factor of (-4005)/(-12)*(-324)/(-135)?
True
Let m = -8660 - -13124. Does 48 divide m?
True
Is 13/39 + ((-68)/18)/(4/(-6)) a multiple of 2?
True
Let a(c) = 9*c**2 + c + 1. Let p be a(-1). Suppose -3*i - 13 = 4*r, r + p = -3*i - 2*r. Is 21 a factor of 50/i + (-36)/(-9)?
False
Let h = -156 - -171. Suppose 0 = -2*c - 5*b + 59, -h*c + 20*c - 100 = -3*b. Is c a multiple of 3?
False
Let q = 103 + -50. Let t = 50 - q. Is 28 a factor of 16/(-12)*t*14?
True
Suppose -3*k + 2*v + 9715 = 0, 4*k = 206*v - 207*v + 12968. Does 3 divide k?
False
Suppose 0 = -360*n + 355*n + 41910. Is n a multiple of 20?
False
Suppose -18*o + 14*o = -416. Suppose 3*c - c - p = o, p + 266 = 5*c. Let g = -45 + c. Is 2 a factor of g?
False
Let w be 6408/(-7) - 96/168. Let v be 0 - (-5 - w/(-4)). Does 13 divide (v/36)/(2/8)?
True
Suppose 3*f - 3*v = -438, 5*f = -79*v + 81*v - 718. Let s(k) = 74*k**3 - k**2. Let g be s(-1). Let m = g - f. Does 15 divide m?
False
Let i(l) = 237*l + 518. Does 34 divide i(76)?
True
Let j(y) = 42*y**2 - 115*y - 68. Does 6 divide j(-8)?
True
Let q = 1 - -1. Suppose q*c - 91 = -j - 3*c, 4*j + 3*c - 313 = 0. Does 19 divide j?
True
Let j be 3 + (1 + 3 - 3). Let d(q) be the first derivative of q**4/4 - q**3/3 - q**2 - 5*q + 35. Does 5 divide d(j)?
True
Let l(h) = -222*h + 528. Does 16 divide l(-24)?
True
Let n = 13667 + -9539. Is 43 a factor of n?
True
Let t = -3738 - -4726. Does 4 divide t?
True
Let v be 2/20 - (-7773)/(-30). Let r = v - -295. Is 3 a factor of r?
True
Let o(k) = k**2 + 6*k + 9. Let q be o(8). Let v = q - 1. Suppose 5*b + v = 420. Is 30 a factor of b?
True
Suppose -3*w - 15 = w + 5*g, -9 = -3*w + 3*g. Suppose 11*z + 925 - 6799 = w. Is 22 a factor of z/15 + (-10)/(-25)?
False
Let t(p) = 2*p**2 + 18*p + 18. Suppose 63*s = 67*s - 44. Suppose -2*b - s = 13. Is t(b) a multiple of 30?
True
Suppose -3*a = -5*h - 213, 3*h + 377 = 5*a + 2*h. Is 3 a factor of (0 + a)*1/4?
False
Suppose -10*m + 9*m = -4. Suppose 429 = -m*r + 1893. Suppose -5*w + r = 3*l, -3*l - 15 = 2*l. Is w a multiple of 19?
False
Let c = -260 + 487. Suppose -c + 767 = 10*b. Is b a multiple of 22?
False
Let s(t) = t**2 + 4*t - 12. Suppose 4*y - 5*b = -170, -2*y - 34 - 56 = -5*b. Let q be (-2 - -1)/(-2*2/y). Is 7 a factor of s(q)?
False
Let r = -1221 - -1678. Is 91 a factor of r?
False
Suppose 4*i + 9*u - 137213 = -10161, -2*i + 5*u = -63564. Is 40 a factor of i?
False
Let n = -2203 - -3121. Let l = -400 + n. Is 10 a factor of l?
False
Suppose -2*v = 4*v. Suppose 4*l = -4*y + 1348, 5 = -y - v. Suppose -10*x + 68 = -l. Does 9 divide x?
False
Suppose -700 + 1209 = -2*d + 33285. Does 34 divide d?
True
Suppose -167*a + 1440 = -173*a. Is 7 a factor of a/42 - -6 - 516/(-7)?
False
Let j(s) = 5*s**2 + 84*s + 37. Let i be j(-23). Let v = i + -103. Is 10 a factor of v?
False
Let p(w) = -7*w**3 + 38*w**2 - 11*w + 43. Does 9 divide p(-8)?
True
Let r(n) = 14*n + 301. Is 16 a factor of r(-20)?
False
Let f = -3765 - -7514. Suppose 9*o - 10535 = -f. Is o a multiple of 36?
False
Suppose u + 4*r + 12 = -0*u, 3*u - 14 = -2*r. Suppose -g + 4*i = 24, 0*g = 3*g + 2*i + 86. Is 7 a factor of u/g - 2631/(-21)?
False
Let v(p) = -79*p**2 - 2*p. Let y(t) = t**3 - 9*t**2 + 6*t + 15. Let n be y(8). Let q be v(n). Let h = q + 131. Is h a multiple of 18?
True
Let k(n) be the third derivative of -1/12*n**4 + 0 + 0*n + 1/6*n**3 + 2/15*n**5 - 14*n**2. Is k(3) a multiple of 25?
False
Is (-24)/180 - 5/(150/(-24304)) a multiple of 15?
True
Suppose -23*m - 23317 + 270529 = -2*m. Does 17 divide m?
False
Does 28 divide 77/(-11)*(40/70)/(3/(-54))?
False
Let p(l) = 7*l**2 + 23*l + 18. Let w be p(-12). Suppose 0 = o + 4*y - 181, -6*y + w = 4*o - 3*y. Is 21 a factor of o?
True
Let j(o) = -9*o**3 - 37*o**2 + 37*o + 3. Let p(y) = 5*y**3 + 19*y**2 - 18*y - 2. Let d = 15 + -22. Let g(v) = d*p(v) - 4*j(v). Is g(-16) a multiple of 14?
True
Let p = -234 - -265. Suppose -p*n - 150 = -33*n. Is 4 a factor of n?
False
Does 47 divide ((-71872)/1920 - 1/6)/((-7)/1225)?
True
Let g = 34 - -120. Suppose -5*i + 2*w - 770 = 0, 0 = i - w - 3*w + g. Is 8 a factor of -4 + -1 - -3 - i?
True
Is (-35)/(26933/3864 - 7) a multiple of 3?
True
Suppose -2*n = -329 - 59. Suppose x = -r - 62, 3*x = 3*r + 2*x + n. Does 10 divide (-4)/6 + (-40)/(-24) - r?
False
Suppose -3*f - 2*j - 36 = -7*f, -5*j = -4*f + 48. Let x be (-44)/(-33)*84/2. Suppose f = 3*i - x. Does 21 divide i?
True
Let f(v) = 183*v**2 + 161*v - 52. Does 156 divide f(8)?
True
Let w(u) = -71 + 32*u - 100 - 53*u. Is w(-31) a multiple of 29?
False
Let z = 24761 + -8057. Is 232 a factor of z?
True
Let d = -1220 - -8024. Is 11 a factor of d?
False
Is 87 a factor of (7000/10 - 8) + 4?
True
Suppose 4*j = -3*t - 1, 0 = -4*t - 0*j - 4*j + 4. Suppose 0*a = 3*a, 5*a = t*n - 20. Suppose -v = -n*v + 45. Is v a multiple of 3?
True
Let d(j) = j**3 - 6*j**2 - 26*j - 25. Let t be d(9). Is 2/(t/(-24)) + (-1 - -175) even?
False
Let a(k) = -33*k - 19. Let g(r) = -9*r - 111. Let x be g(-12). Is 8 a factor of a(x)?
True
Let v(z) = 135*z**2 + 679*z - 12186. Is v(18) a multiple of 64?
True
Let a be 3/3*(0 + 95). Suppose -560 = -43*y + 730. Suppose -5*k + a = y. Does 4 divide k?
False
Let j = -10346 + 16766. Does 63 divide j?
False
Let m = -216 + 220. Suppose 5*q + 0*x + 2*x - 2629 = 0, -12 = m*x. Does 17 divide q?
True
Suppose 14*h = 16*h + 166. Let y be 38/(-14) + (-2)/7. Does 28 divide h/y + 15/45?
True
Suppose -j - 144*y + 142*y + 4488 = 0, -7*j + 3*y + 31467 = 0. Does 21 divide j?
True
Suppose -2*u - 9*q + 14*q = -4679, -5*q = 3*u - 6981. Is 11 a factor of u?
True
Let h be -6 - -9 - (1 + (-1)/1). Suppose 5*v + h*l = 6*v - 129, 664 = 5*v + 4*l. Does 12 divide v?
True
Suppose p + 1689 = u, -4*u = -2*p - 8*u - 3348. Let h = -1094 - p. Does 11 divide h?
False
Let d = -15 - -10. Let p be (-2)/(-12) - d/(-30). Suppose p = -8*f + 58 + 118. Does 2 divide f?
True
Let f = 5706 - 1834. Is 110 a factor of f?
False
Let d(t) be the first derivative of 3/2*t**2 + 1 + 62*t. Does 3 divide d(-19)?
False
Does 31 divide 2 + 58417/5 + 12224/7640?
True
Suppose 206 = 11*x - 3. Is 16 a factor of 42/399 + 948/x?
False
Let v = 14933 + 1262. Is v a multiple of 44?
False
Let j = 5086 + -811. Does 19 divide j?
True
Suppose c = -5*g + 1991, 4*c - 3540 = 2*g + 4534. Suppose 3*s - 11*s = -c. Is 31 a factor of s?
False
Suppose 0 = -8*k - 110 - 18. Is (-2)/(-3)*(-105)/28*k a multiple of 22?
False
Suppose -5 = -2*x - 13. Let w = 