 y a multiple of 7?
True
Suppose -25*n = 2*n - 26568. Is 24 a factor of n?
True
Let c(s) = -11*s**3 + 7*s**2 - 21*s - 8. Is c(-3) a multiple of 15?
False
Suppose 4*d = 4*b - 8792, -35*b + 39*b = 2*d + 8782. Does 109 divide b?
False
Let w be -3*2/2 - (-4750)/2. Suppose 2*k + w = 2*x - 2*k, -4*k + 3578 = 3*x. Suppose -4*j + x = 326. Is 27 a factor of j?
True
Let t = 147 + -54. Is 17 a factor of t*(5 + (60/18)/5)?
True
Suppose -4*f = 45 + 31. Let u = f + 173. Is 22 a factor of u?
True
Let h be (-24)/30*-10*1. Suppose -h = f - 31. Is 10 a factor of f?
False
Suppose 14*h - 20*h = 126. Does 47 divide (-15669)/h - (-20)/(-140)?
False
Let f = -117 + 124. Suppose 0 = -f*t + 3*t + 740. Is 37 a factor of t?
True
Let o(g) = 4*g**2 + 3*g - 1. Let u be o(1). Suppose u*i + 216 = 9*i. Is 8 a factor of i?
True
Let k(d) be the first derivative of -d**2 + 4*d - 15. Let f be k(-7). Suppose f = 5*g - 52. Is g a multiple of 14?
True
Suppose -v - 157*c = -156*c - 2933, 2*c = v - 2942. Is v a multiple of 74?
False
Suppose -37*r - 44*r - 268912 = -728263. Is 14 a factor of r?
False
Let b(a) = -3*a + 172 + 69*a + 17*a - 465 - 10*a. Does 25 divide b(7)?
False
Let m(u) = 144*u**2 - 12*u + 102. Is m(5) a multiple of 66?
False
Let c(n) be the third derivative of -n**6/120 + 11*n**5/30 - 3*n**4/4 - n**3/6 - 4*n**2 - 27. Is c(13) a multiple of 39?
False
Suppose -3170 = -3*u - v, 108*v - 110*v = 4*u - 4228. Does 16 divide u?
True
Suppose -6*y - 231555 = -42531. Does 10 divide y/(-286) - (-2)/(-13)?
True
Let w(k) = k**3 + k + 60. Let u = 4 - 4. Does 12 divide w(u)?
True
Suppose o - 8 = 4*i + 7, -3*i + 3*o = 0. Let d(l) = -64*l + 8. Let b be d(i). Suppose 9*p - 302 = b. Is 23 a factor of p?
False
Suppose 0 = 4*y + 4*r + 876, 0*y - 3*y - 677 = -2*r. Is 86 a factor of -8 - -1 - (y - 3)?
False
Let h(m) = -m**2 + 21*m + 46. Suppose -n = 39 - 17. Let g be (0 + n)*(-2 - -3 - 2). Is 24 a factor of h(g)?
True
Let n = -1027 + 1480. Let p = -224 + n. Does 17 divide p?
False
Suppose 17*k + 52*k + 12*k = 26244. Is 36 a factor of k?
True
Let y(u) = 19*u**2 + 16*u + 5. Let g(h) = -10*h**2 - 8*h - 3. Let z be (-99)/(-27) + 3*4/(-18). Let i(t) = z*y(t) + 5*g(t). Is 8 a factor of i(-4)?
True
Let r(v) = 3*v**2 - 23*v + 91. Let f be r(5). Let a be 22*4*3/24. Suppose 2*s - f + a = 0. Is s a multiple of 4?
True
Let x(m) = -5*m**2 + 8*m + 6. Let h(d) = 4*d**2 - 7*d - 5. Let l(w) = 4*h(w) + 3*x(w). Does 9 divide l(-10)?
False
Let r(c) = c - 28. Let m(v) = -4*v + 75. Let s(b) = 3*m(b) + 8*r(b). Let n = -40 - -29. Is s(n) a multiple of 15?
True
Suppose -4*k + 2324 = -4*a, 5*a + 2*k - 6*k = -2908. Let t = 698 + a. Does 19 divide t?
True
Suppose 0 = 174*u - 343*u + 6273618. Is u a multiple of 234?
False
Suppose 5*d + 4*a - 23493 = 0, d = -4*a + 2927 + 1778. Is 61 a factor of d?
True
Suppose 0 = -4*f + 5*z + 8225, 2*z = 3*f - 2732 - 3442. Suppose 11*r - f + 355 = 0. Is r a multiple of 17?
False
Let h be (-31)/(-1) + (-12)/(168/(-70)). Is (5052/h)/((-4)/(-24)) a multiple of 24?
False
Let a(u) = 9*u**3 - 8*u**2 - 7*u + 1. Let t be a(-1). Is 19 a factor of (-3)/9 - (-3)/t*-58?
True
Let s be (-17776)/(-10) + 5 + (-207)/45. Suppose 105*a - s = 98*a. Does 13 divide a?
False
Suppose 4*x = -m - m + 550, 0 = 4*m + 20. Let j = 445 - 519. Let y = j + x. Is 18 a factor of y?
False
Let j(n) = 2*n + 27. Let q(u) = -8*u**3 - 2*u**2 - u + 2. Let l(y) = -y + 4. Let d be l(3). Let h be q(d). Is j(h) a multiple of 2?
False
Suppose -1986 + 7436 = 10*v. Let d = v - 250. Is 59 a factor of d?
True
Suppose -56 - 22 = -26*y. Suppose 0 = y*b - 1113 + 363. Is 25 a factor of b?
True
Let x(r) = 4*r + 30*r**2 + 26 - 28*r**2 - 2*r + 8*r. Let w be (-14)/4*(6 + -4). Does 13 divide x(w)?
False
Suppose -7*m + 4 = -10. Let s be -12 + 14 + m + -2. Suppose s*c = 5*w + 244, 2*w - 109 = -c - 2*w. Is 12 a factor of c?
False
Suppose -42*l + 42*l - 121*l = -1790800. Is 22 a factor of l?
False
Let y(d) be the second derivative of 5*d**3/3 - 25*d**2/2 - 2*d + 3. Is 44 a factor of y(11)?
False
Suppose -44 + 4 = -8*p. Suppose 756 = -3*g + p*g. Does 21 divide g?
True
Suppose -2*v - 5*a = 3*v - 25, -v - 3*a = -15. Is 21 a factor of (10353/(-34))/(3/(-6)) + v?
True
Let q = 52389 - 32570. Is q a multiple of 110?
False
Let x(l) = -l**3 - l**2 + 18*l + 40. Let q be x(-5). Suppose 4*o = q + 118. Is o a multiple of 9?
False
Suppose -24 = 3*i - 15, 2*i = -a + 117. Does 41 divide a?
True
Let q = -4914 - -20518. Does 94 divide q?
True
Let v(t) = -2*t - 4. Let z be v(-5). Suppose 4*h = -z - 714. Is h/105*(-14)/1 a multiple of 5?
False
Let y(l) = 598*l - 5066. Does 109 divide y(38)?
True
Suppose -c - 3*c = -36. Suppose 2*q + 2*q = -5*o + 7, 0 = 4*q + 3*o - c. Suppose -66 = -q*t - 3*f, 0 = 2*t + 3*t + 3*f - 114. Does 6 divide t?
True
Let n = -425 + 587. Suppose -n = -3*m + 558. Is m a multiple of 40?
True
Suppose -3*d + 3*v + 1239 = 0, -5*d - v - 2*v = -2065. Is d a multiple of 59?
True
Let m(k) be the first derivative of k**4/4 + 2*k**2 + 612*k + 118. Does 53 divide m(0)?
False
Suppose -4*y + 125068 + 171068 = 8316. Does 65 divide y?
True
Let b(p) = 38*p**2 + 10*p + 4. Let y be b(-6). Suppose 0 = y*u - 1322*u + 6960. Does 11 divide u?
False
Suppose r - 4*r + 25 = 2*y, 0 = -4*y + 4*r. Let g = y + 38. Does 32 divide g?
False
Let x(a) = -12*a**2 + 20*a + 13. Let w be x(-13). Let k = w - -3799. Is 31 a factor of k?
False
Let k be 4/(-1) - (4 + (-104)/8). Suppose -538 + 1858 = k*a. Does 11 divide a?
True
Let z(t) = 435*t**2 - 74*t + 431. Does 3 divide z(4)?
True
Suppose 3*d = -2*g - 118, 0 = 5*d + 2*g - 6*g + 226. Let p = -45 - d. Is 928/(-24)*1*(p - 0) a multiple of 19?
False
Let f = -21 + 26. Suppose f*w - 6 = -w. Does 2 divide (-21 + w)*(-2 - (-2 - -1))?
True
Let p(h) = -988*h**2 + 9*h + 498*h**2 + 20 + 499*h**2. Is p(-5) a multiple of 40?
True
Suppose 57*g - 204 = 54*g. Suppose 4*j - 116 = -2*a - 2*a, 0 = 2*j + 4*a - g. Suppose 14*k - j*k + 760 = 0. Is k a multiple of 25?
False
Let n(m) = m + 12 + 18 - 7 - 8. Let h be n(-23). Does 6 divide (-1 - -122) + (h - -5)?
False
Let j(l) = -l**3 - l**2 - 1. Let z(c) = -3*c**3 - 12*c**2 - 17*c - 9. Let x(h) = 2*j(h) - z(h). Let t be x(-7). Is 40 a factor of 2280/t + -1*2/14?
False
Suppose -15*a + 11*a = -3*c + 1202, -2*c + 2*a + 804 = 0. Does 58 divide c?
True
Suppose -2 + 0 = -n, -14 = -5*f + 3*n. Is 186 + (-6 + 4 - f) a multiple of 30?
True
Let c = 81 + -174. Suppose 14 = -0*a - a - 5*l, -4*l + 12 = 0. Let x = a - c. Is 8 a factor of x?
True
Suppose -u + 9 - 6 = 0. Suppose -b + u*i - 5 = 43, 0 = -4*b + 5*i - 157. Does 2 divide (b/(-6))/(-3 + (-7)/(-2))?
False
Suppose 4*w - 3 - 9 = 0. Suppose -w*k + 1 - 4 = 0. Is 5 a factor of 55/1 + (k - -1)?
True
Is 95 a factor of ((-798)/(-8))/(-20 + 106457/5320)?
True
Let i(a) = a**3 + 17*a**2 + 19*a + 18. Let b be i(-16). Is 16 a factor of 4/b - 81902/(-465)?
True
Suppose 70*j - 31481 = 23819. Does 12 divide j?
False
Let f be 0 + 1 - ((-170)/2 + 1). Suppose -f*t + 78*t = -5880. Does 28 divide t?
True
Let u(b) = 13*b + 9 - 2 - 3*b + 2*b**2 + b. Let o be u(-5). Suppose -2*x - x = f - 44, -f + o = 0. Is 4 a factor of x?
False
Let r(k) = 2*k**2 - 5*k - 81. Let u(b) = -4*b**2 + 12*b + 161. Let f(m) = 5*r(m) + 2*u(m). Is f(9) a multiple of 4?
False
Suppose 170325 = 21*d + 39684. Suppose -17472 = -43*o + d. Is 19 a factor of o?
True
Let x(f) = 40*f - 68. Suppose 0 = 3*t + 3*o - 24, 9*o = 2*t + 5*o - 16. Does 7 divide x(t)?
True
Suppose -5 = -12*c + 31. Suppose c*k + 0*a - 4587 = 3*a, -4*a = -2*k + 3056. Is k a multiple of 15?
True
Let s = -216 - 93. Let o = 464 + s. Is 5 a factor of o?
True
Let b be (970/(-6))/(2/(-6)). Suppose -9*j + 2393 = b. Is 18 a factor of j?
False
Let o = -59 - -104. Is -3*(475/o)/(2/(-12)) a multiple of 13?
False
Suppose 42*l + 574 = 44*l. Let n = l + -254. Is 2 a factor of n?
False
Let t = 22164 + -10128. Is 59 a factor of t?
True
Let y = -586 - -591. Suppose -1767 = -3*s - y*k + 8*k, -5*k = 3*s - 1783. Is s a multiple of 6?
False
Suppose 2*n = h + 210, -12*n - 4*h + 105 = -11*n. Suppose n - 336 = -11*b. Is 21 a factor of b?
True
Suppose -8*m - 109 - 51 = 0. Does 25 divide (-2 - 5290/m)/(3/6)?
True
Suppose 6*l + 3 = 3. Suppose -4*p = -8 - l. Is 25 a factor of p/(-5) - (-2262)/30?
True
Let m(z) = -206*z - 2. Let h be m(2). Let u(b) = -b**2 + 78*b + 594. Let v be u