es 54 divide 297/(-2)*(-2304)/72?
True
Suppose -3*t = -2*j + 3 - 4, -5*t + 5*j + 5 = 0. Let i(g) = 170*g**2 + 7*g + 6. Does 22 divide i(t)?
False
Let b = 107 - 110. Let f be (4/b)/((-22)/(-33)). Let n(i) = -14*i**3 + 2*i**2 + 5*i + 5. Is n(f) a multiple of 23?
True
Suppose c = 2*c - 3*m + 2, -4*c + 14 = -m. Let v be 2/c - (-4)/(-8) - -2. Suppose 2*a = 4*j - 202, 9*a = v*j + 4*a - 97. Is 17 a factor of j?
True
Let h(w) = -2 + 6 + 0 + 115*w**2 - 4*w - 1. Let a be h(1). Suppose 0 = 15*s - 13*s - a. Is 19 a factor of s?
True
Let n(y) be the second derivative of -y**5/10 - 13*y**4/6 + 5*y**3/2 + 29*y**2/2 - 2*y + 4. Does 3 divide n(-14)?
False
Suppose -4*b = -249 + 241. Suppose -p - 16 = -3*y, -2*y + 0*y + 4*p + 24 = 0. Suppose -5*w - 674 = -y*h, b*h - 336 = 3*w - 0*w. Does 19 divide h?
True
Let z(v) = v**3 + 16*v**2 - 19*v + 22. Let m = -288 + 411. Suppose 0 = 5*t - 38 + m. Is 26 a factor of z(t)?
False
Let c = 21165 - 10657. Is 74 a factor of c?
True
Suppose -v - 831 = 5*o + 754, 3*o + v = -949. Let z = -154 - o. Does 41 divide z?
True
Let p(j) = j**2 - 9*j + 12. Let n be p(4). Let f be -2 + (-27)/(-4) + (-2)/n. Suppose 4*r + 96 = f*r. Is r a multiple of 12?
True
Suppose 240 - 201 = 13*h. Suppose 5*y + 5*m - 1445 = 0, -h*y + m + 0*m + 879 = 0. Is y a multiple of 4?
True
Let i = 22333 - 9412. Is 10 a factor of i?
False
Let b(p) = -p**2 - 26*p + 16. Let f be b(-25). Let m = f + 183. Is m a multiple of 14?
True
Suppose -w - 3 = 0, -4*c - 8*w + 1155 = -13*w. Is c a multiple of 3?
True
Does 4 divide 11 + (-6 - (-11 + -6920)) - (-9 - -1)?
True
Let o be -5 - ((-3)/6 + 3222/(-12)). Suppose -68*s + 80*s = o. Does 12 divide s?
False
Let w(o) = 43*o - 333. Is w(51) a multiple of 62?
True
Let v(w) = 3*w**2 + 5*w + 21. Let p(q) = q + 2. Let i be p(-8). Let h be v(i). Suppose -4*y + h = a - 0*y, -4*a - 4*y = -396. Is 11 a factor of a?
True
Let m(f) = 613*f + 1983. Does 9 divide m(6)?
True
Let q = 1494 - -2539. Is 109 a factor of q?
True
Let u be (8/(-10))/(3 + 51/(-15)). Let d(k) = -7 + 14*k**u + 66*k**3 + 45 - 65*k**3 + 14*k. Does 5 divide d(-13)?
True
Let j(o) = 9*o**3 - 2*o**2 + 4*o - 3. Let d(m) = -m + 4. Let y be d(3). Suppose -h + 2*h = y. Does 8 divide j(h)?
True
Let j(o) = -9*o + 43. Suppose -3*r = 2*r + 4*h + 70, 5*h = -3*r - 42. Is j(r) a multiple of 20?
False
Let k be 6/4*26 - 6. Let w(a) = a**3 - 32*a**2 - 12*a - 85. Is w(k) a multiple of 76?
True
Let y(l) = -163*l + 268. Does 15 divide y(-22)?
False
Suppose -5*f = 5, -4*f = -5*a + 13701 + 20243. Is a a multiple of 95?
False
Let y be (1 - 3)/(-1*2/20). Suppose 87*w - y = 83*w. Let d(a) = 2*a**2 - 6*a + 36. Does 28 divide d(w)?
True
Let q = 347 - 643. Let a = q - -365. Is a a multiple of 9?
False
Let w = 734 + -725. Let f(q) = 3*q**3 - 12*q**2 - 23*q + 112. Is 32 a factor of f(w)?
True
Let y(k) = k**2 + 6*k - 7. Let m = 26 - 24. Suppose 4*l - g = 4*g + 14, -5*l = m*g - 34. Does 13 divide y(l)?
True
Let l = 7785 + -7725. Is 30 a factor of l?
True
Let j(i) = i**3 - 17*i**2 + 18*i - 29. Let m be j(16). Suppose -t - m*y = -2*y - 98, 0 = 4*y - 20. Suppose t*d - 89*d - 704 = 0. Is d a multiple of 22?
True
Let l be ((-2)/8)/((-11)/220). Suppose -g + l*g - 8 = 0. Suppose -g*p = -0*p + f - 332, -3*f = 0. Is 28 a factor of p?
False
Suppose 18 = 5*t - 2. Suppose 3 = t*h - h. Let k(s) = 28*s - 10. Does 14 divide k(h)?
False
Suppose 0 = 6*j - 23262 - 16782. Is j a multiple of 94?
True
Let g(c) = 83 - 39 - 38 + 48*c. Let v be g(-2). Let w = v + 124. Does 17 divide w?
True
Suppose 8*x - 7*x - 1 = 0. Is 8 a factor of ((142/(-1))/x)/((-6)/24)?
True
Is 14 a factor of (-12786)/(-35*7/(-49) - (7 - 0))?
False
Let f(m) = -13387*m - 14246. Does 95 divide f(-5)?
False
Suppose -38*o + 80930 - 43500 = -40736. Suppose p - 13 = -5. Suppose 3*j - o = -p*j. Is 9 a factor of j?
False
Let y(v) = v - 3 - 4 + 6 + 4. Let x be y(6). Suppose -x*b + 489 = 93. Is 5 a factor of b?
False
Let q(t) be the second derivative of t**4/4 + 3*t**3/2 + 9*t**2 + 90*t. Is 2 a factor of q(-6)?
True
Suppose -107 = -21*n - 2. Let g be 1/3 - 538/(-6). Suppose -n*p + 10*p + 4*b = g, 0 = -3*p - 4*b + 54. Is p a multiple of 9?
True
Let r = -81 - -83. Suppose -r*a + 10 = 0, 2*a + 72 = -f + 3*f. Let z = f - -111. Does 13 divide z?
False
Suppose 7*p - 4*p + p = 0. Suppose p = 4*m, 4*q + m - 2 = 22. Let k(y) = 4*y**2 - 6*y - 12. Does 16 divide k(q)?
True
Let s = 372 - 220. Suppose -s = 11*j - 2198. Is j a multiple of 6?
True
Is 20 a factor of (-16 + (-500)/(-35))*4718/(-4)?
False
Does 223 divide 64000/32 + -10 + 17?
True
Suppose -84 + 1816 = 4*a. Let f = 561 - a. Is f a multiple of 8?
True
Suppose 5*k - 442 = 39*k. Let n(h) = h**3 + 15*h**2 + 12*h - 21. Does 23 divide n(k)?
True
Let i(b) = -21*b**3 - 9*b**2 + 29*b + 59. Does 79 divide i(-9)?
True
Is 27 a factor of (-183604)/(-34) + 12/(-1122)*11?
True
Suppose 0 = 5*m - 5, -2*c - c + m - 8419 = 0. Let w = -30 - c. Is ((-10)/(-40))/(-1 + 2778/w) a multiple of 22?
False
Let y be (-128)/(-192) + (-6520)/(-3). Suppose 4*c - 3*n = y + 2782, n - 4940 = -4*c. Is 32 a factor of c?
False
Does 125 divide ((-42)/(-12))/((-2247)/4500 + 2/4)?
True
Suppose -5*d + 6164 = 4*i, -2*i = 178*d - 181*d - 3060. Is i a multiple of 70?
False
Let z = 449 - 452. Does 50 divide (134/z)/(22/(-33))?
False
Let t be 3 + (-5)/(-5) + -1. Is 49 a factor of (-98*t/1)/((-138)/92)?
True
Suppose -4*b = 4*p - 0*p + 52, 2*p + 1 = 3*b. Let w(g) = 12*g + 121. Let h be w(-10). Does 3 divide 36/p*h*-6?
True
Suppose -5*z = u - 21, 7*z - 22 = -2*u + 2*z. Is 15 a factor of u + 138/4*(-442)/(-51)?
True
Suppose 5*a + 3*b - 27 = a, -4*a + 2*b = -2. Suppose -955 = -2*k - a*v + 94, -2*v = 3*k - 1561. Is 11 a factor of k?
True
Suppose -2*x - 11 + 81 = -4*g, 3*x = g + 90. Let v = -37 + x. Is 24/(-1)*42/v a multiple of 18?
True
Suppose -3*z - 18 = -3*h, h = 1 + 3. Is (z - (-172)/(-8))*-6 a multiple of 10?
False
Is 82 a factor of (53*(-5)/20 + 3)/((-18)/13104)?
True
Let z(q) = -25*q**2 + 1871*q + 33. Is 13 a factor of z(71)?
False
Suppose 660 = 13*d - 302. Let n = -66 + d. Is (n/(-10) + 0)/((-46)/3335) a multiple of 6?
False
Suppose -5*f - 16*f + 53387 = -24859. Is f a multiple of 9?
True
Let t(i) = -i**2 + 9*i - 3. Let c be t(4). Suppose g = -4*f + c, 2*g + 2*f - 12 = 4. Suppose 917 = g*j + 4*o, 0 = 3*j - 0*o + 5*o - 545. Does 37 divide j?
True
Let i be (-4)/(-10) - (0 + 6/(-10)). Let y(z) = 71*z**3 + 2*z**2 - 1. Let a be y(i). Let n = a - 22. Does 19 divide n?
False
Let p = -11 - -6. Let k(t) be the first derivative of t**4/4 + 7*t**3/3 - 6*t + 148. Is k(p) a multiple of 11?
True
Let h(m) be the first derivative of m**3 + 41*m**2/2 + 123*m + 55. Does 31 divide h(-26)?
True
Let d = -1 + -43. Suppose 4*q = -4*s + 296, 2*q - 244 = -3*s - 101. Let c = d + q. Is 7 a factor of c?
True
Suppose 5*s = 4*g - 2580, 3*g + 22*s - 27*s - 1940 = 0. Is g a multiple of 5?
True
Suppose 12*k = 18508 + 1652. Is k a multiple of 4?
True
Let l be -159*(-4)/18 + (-2)/(-3). Suppose 2*b - 7 = 7. Suppose 8*k - b*k = l. Is 18 a factor of k?
True
Let t(n) = -n**3 + 11*n**2 - 7*n - 17. Let b be t(10). Suppose b*m - 3753 + 802 = 0. Suppose -3*c + 305 = 5*s, -4*s + 5*c = 4*c - m. Is 9 a factor of s?
False
Let f = 3702 - -1344. Does 17 divide f?
False
Let f(d) be the third derivative of -1/24*d**4 + 0 + 0*d - 35*d**2 + 21*d**3 + 1/120*d**6 + 0*d**5. Does 12 divide f(0)?
False
Let p(y) = y**3 + 28*y**2 + 38*y + 19. Let c be p(-20). Suppose -5*g + c = 4*x + 472, -2*g + 3*x + 781 = 0. Is g a multiple of 15?
False
Suppose -25*c + 80667 + 25803 + 20180 = 0. Does 127 divide c?
False
Suppose 0 = -2*v + 4*n - 12, -6*v - 56 = -v + 3*n. Is (312*(-4)/(-5))/(v/(-50)) a multiple of 12?
True
Suppose 21*g - 23*g + 907 = 3*s, 2*s + 862 = 2*g. Is 22 a factor of g?
True
Suppose -3 + 1 = -2*p. Let f = p + 4. Suppose 0 = -4*z + f*z - 36. Is 6 a factor of z?
True
Let l(x) = x - 1. Let h be l(3). Let g be (-1 - (-3 - 0))/h. Suppose 895 = 8*q - g. Is 28 a factor of q?
True
Let a = -55 + 49. Let k(w) = 6*w + 40. Let j be k(a). Suppose -3*c = 5*v + 13 - 507, 4*v - 664 = -j*c. Is c a multiple of 28?
True
Let q(a) = 7*a**2 - 26*a - 4. Let c = -69 - -75. Does 5 divide q(c)?
False
Let u be -2*1*(-3)/2. Suppose u*v - 5 = 2*y - 0, 3*y + 9 = 5*v. Suppose -v*w + 2*t + 461 - 112 = 0, -462 = -4*w + t. Does 23 divide w?
True
Su