ultiple of 24?
False
Let h be (1*692/(-8) - -4)*-2. Let g = -121 + h. Is 28 a factor of g?
False
Is 18/(180/(-50)) - -6350 a multiple of 15?
True
Let f = 1452 + 983. Is 12 a factor of f?
False
Let s be 41/13 + (10 - 528/52). Suppose -255 = 2*t - 4*t + 3*h, -15 = s*h. Does 20 divide t?
True
Let x(t) = -56*t - 399. Let b(c) = 19*c + 133. Let m(a) = -7*b(a) - 2*x(a). Does 28 divide m(-13)?
True
Does 27 divide 886/28*(-9 - -215) - 36/(-63)?
False
Suppose 22127 = 6*t + 2243. Is 6 a factor of t?
False
Suppose 28*p + 25 = 33*p. Suppose t = -p - 5. Is 3 a factor of t*(-8)/28 + 1/7?
True
Let l = -15 - -49. Is 48/(-408) - (-27918)/l a multiple of 28?
False
Let l be 31 + -11 - 4*1. Is 11 a factor of l/8*-1*857/(-2)?
False
Let x(r) = r**3 + 49*r**2 + 33*r - 68. Let o be x(-48). Suppose 2*g - 5*p - 230 = o, 2263 = 5*g + 2*p. Is g a multiple of 41?
True
Let a(t) = -2*t**3 - 7*t**2 + 4*t + 24. Suppose 2*u = -2*z - 16, 2*u = 7*z - 2*z - 2. Does 20 divide a(u)?
True
Suppose -3*h - 65 + 77 = 0. Suppose 4*y - h = 9*u - 7*u, -4*u = 5*y - 31. Is y a multiple of 2?
False
Let o(i) be the first derivative of -i**4/4 - 17*i**3/3 + 27*i**2/2 + 100*i + 82. Is o(-20) a multiple of 20?
True
Suppose -2*x + 127 = a - 130, -4*x - 16 = 0. Let j = a + -212. Is 2 a factor of j?
False
Suppose 5*q - 5*x = -25, 0 = -2*q - 2*x - 1 - 1. Let h be 10/(-10)*((q - -1) + 1). Let f = 24 - h. Is 7 a factor of f?
False
Suppose 0 = 3*j - 4*j + 5*i + 21, 5*i + 5 = 0. Suppose -n = -j - 84. Does 4 divide (1 - 12/20)*n/4?
False
Let r(m) = -9*m**2 - m**3 - 5*m**3 + 9253*m - 9272*m + 2*m**3 - 4. Is r(-6) a multiple of 65?
True
Let y(q) = -3*q**3 - 12*q**2 + 13*q + 33. Is 66 a factor of y(-17)?
False
Let b = -13012 + 14068. Is 22 a factor of b?
True
Let h(c) = 23*c - 45. Let d be h(19). Suppose -5*z = -2*j - 3*z + d, -3*z = -4*j + 789. Let i = j + -14. Is 17 a factor of i?
True
Suppose 0 = 11*g - 36 - 41. Let h be (1 - 3) + g/((-7)/(-726)). Is 38 a factor of 16/56 - 3/((-42)/h)?
False
Suppose -3230 = -5*d + 7270. Is 7 a factor of d?
True
Let y be ((-44)/(-77))/(2 - (-36)/(-21)). Let j(w) = 65*w + 77. Is j(y) a multiple of 4?
False
Let c(r) = 167*r + 79. Let p be c(3). Let d = -430 + p. Is 6 a factor of d?
True
Let s(q) = q**2 + 6*q + 12. Let y be 48/14 + (-12)/(-21). Does 5 divide s(y)?
False
Let h = 36975 - 12168. Is h a multiple of 218?
False
Let f(x) be the second derivative of x**7/2520 - x**6/120 + 3*x**5/40 - 31*x**4/12 - 20*x. Let k(l) be the third derivative of f(l). Does 2 divide k(9)?
True
Suppose -5*u = 22 - 37. Suppose 3*h + 2*j = 2*h + 126, 0 = u*h - 2*j - 402. Suppose 0 = 5*p - 9*p + h. Is 10 a factor of p?
False
Let d = 41 + -34. Suppose -3*f - d = -4*p, 0*p = 3*f + p + 2. Is f - (-2)/3 - (-219)/9 a multiple of 6?
True
Suppose -5*z + t = -0*t - 120, -3*t + 65 = 2*z. Suppose -4*u = 0, -n - u + 113 = z. Is 16 a factor of n?
False
Suppose m - 1997 = 3*o, -2*m + 0*m + 4002 = -2*o. Let s = m + -1020. Is 59 a factor of s?
False
Suppose 0 = -3*m + 3*t + 27 + 144, 0 = 2*m - 3*t - 114. Suppose -4*n = -n - 372. Suppose -m*y + 59*y = n. Is 20 a factor of y?
False
Is 3 a factor of ((-8)/16)/(9 + 29054/(-3228))?
True
Let w be (0/2 - 282) + (-21)/(-21). Let r = w - -509. Does 26 divide r?
False
Let n(w) = -6*w + 10. Let j(m) = -m**3 - 11*m**2 + m + 14. Let z be j(-11). Let q be n(z). Is 16 a factor of (-8)/20 - q*(-102)/(-15)?
False
Let k(i) = 417*i - 27. Let w(m) = -m + 2. Let t(g) = -k(g) - 12*w(g). Does 17 divide t(-1)?
True
Suppose 83*u = 79*u + 8. Suppose -4*n + 4*g = -1100, -u*n + 4*g + 0*g = -554. Is n/6 - (-4)/(-8) a multiple of 9?
True
Let c(v) = 350*v**2 - 10*v - 43. Does 17 divide c(-2)?
True
Let o = 21000 - 17524. Is 44 a factor of o?
True
Let x(l) = -175*l + 1. Let n be x(2). Suppose 72*s + 2543 = -12577. Let y = s - n. Is 38 a factor of y?
False
Suppose -425 = -2*x + 5*c, -2*x - 3*c - 1034 = -7*x. Let s = x + 191. Suppose -115*j + 118*j = s. Is 44 a factor of j?
True
Let m(n) be the third derivative of 17*n**5/60 - n**4/6 + n**3 - 4*n**2. Let w(b) = 1. Let i(q) = m(q) - 5*w(q). Is 14 a factor of i(1)?
True
Let j(t) = t**3 - 4*t + 0*t**3 - 5*t**3 - 3 - 3*t**2. Let v be j(-3). Let r = v + -33. Does 19 divide r?
True
Let v = 190 - 190. Suppose v = -99*a + 100*a - 289. Does 31 divide a?
False
Suppose -3*o - 55*o + 5608677 = 65*o. Is 38 a factor of o?
False
Let x = 899 - 569. Suppose 2*w = -5*s - 2*w + 330, 5*s + 2*w = x. Let y = 127 - s. Is y a multiple of 7?
False
Is 22 a factor of 8/(-4)*(-2888 + 2)?
False
Let l be 0 - -15 - (-18 - -14). Suppose l*s - 90 = 24*s. Is 17 a factor of s/24 - (-291)/(-8)*-2?
False
Let a(m) = -m**3 + 4*m**2 - 4*m + 2. Let p be a(4). Let i be 8/28 + (-24)/p. Suppose -r = 4*t - 60, -22 = -i*t + t - 2*r. Is t a multiple of 9?
False
Suppose -7865*b + 7868*b = 4*p + 11328, -5*b = -4*p - 18888. Is b a multiple of 12?
True
Suppose 1897*l = 1895*l + 17808. Is 116 a factor of l?
False
Let h(x) be the second derivative of -x**4/12 + 5*x**3 - 5*x**2 - x - 100. Is 12 a factor of h(27)?
False
Suppose -3*t + 113157 = -4*p + 7*p, -p - 4*t + 37725 = 0. Does 26 divide p?
False
Does 120 divide (-19267938)/(-795) + -1 + 6/10?
False
Let s be ((-5)/(-2) - 3)*(-2)/(-1). Let q be 1*(s + 7) + -4. Is q - 1426/(-18) - (-10)/(-45) a multiple of 37?
False
Let h(b) = 4*b**2 - 11*b - 9. Let p(x) = -5*x - 2. Let i be p(-3). Let t be h(i). Suppose 5*k - 2*k = 12, k = 3*m - t. Is 44 a factor of m?
True
Let i = -217 - -220. Does 78 divide i - (8050/(-8) + (-21)/(-84))?
False
Suppose v = -2*q + 1509 - 287, -3*q + 3*v = -1842. Let x = q - 150. Is 33 a factor of x?
True
Let x(k) = -2*k - 17. Let o be x(-14). Let z(l) = -o*l + 4*l + 8*l + 24. Does 3 divide z(-12)?
True
Let n be (-4 - (-4191)/3) + -3. Suppose 0 = 10*m + 240 - n. Suppose 9*v - m = 38. Does 2 divide v?
False
Is 9 a factor of -12*((-6)/(-8) + (5 - 4))*-2?
False
Let i(h) = h**3 + 46*h**2 + 40*h + 22. Does 3 divide i(-45)?
False
Suppose -z - 4*b = -1276, -3*z + 5*b = z - 5083. Suppose -z = -3*o - 552. Does 24 divide o?
True
Suppose 2*k - 5*a - 8383 = 0, 5*a = -617*k + 621*k - 16741. Does 13 divide k?
False
Let o be ((1 - 0) + 0)/(105/(-315)). Does 33 divide (2/o)/(4170/(-594) + 7)?
True
Let a(v) = v**2 + 2*v - 3. Let t be a(-5). Suppose 30*f - t*f - 12168 = 0. Does 11 divide f?
False
Suppose -5*k = -5*h - 2105, 2*k - h - 367 = 479. Does 2 divide k?
False
Suppose m + 4*t - 17 = 0, -2*t = 3*t - 10. Suppose 3*c - 41 = -4*x, -c + 1 = 4*x - m*x. Suppose 4*p = 3*p + c. Is p a multiple of 4?
False
Let a(v) = 16 + v - 3*v**2 - 18 + 2*v**2. Let o be a(3). Is 25 a factor of (o/4)/(4 - 2)*-123?
False
Suppose 24*r - 22*r - 8 = 0. Suppose -d + r*o = 12, -5 + 9 = -3*d + 4*o. Suppose 4*l = d*m + 144, m + 108 = 3*l - m. Is 12 a factor of l?
True
Let t = 228 + -158. Suppose 6*c + 4 = t. Let g(q) = q**3 - 11*q**2 + 6*q - 19. Is 22 a factor of g(c)?
False
Let w = -20161 - -45274. Does 84 divide w?
False
Let t(l) = -l**2 + 2*l + 11. Let h be t(4). Suppose -5*d = h*s - s, d = 0. Suppose -5*v - 2*z + 712 = -v, -3*v + z + 544 = s. Is 10 a factor of v?
True
Suppose 0 = 15*o + 282 + 123. Does 10 divide (-54)/243 - 6810/o?
False
Let z(c) = 11*c**3 + c**2 + 9 - 10*c**3 + 0*c**3 - 14*c. Let i be z(6). Let o = i - 122. Does 6 divide o?
False
Let c be (-18)/24 + 1749/12. Let r = c + -118. Is r a multiple of 4?
False
Let l(h) = 180*h**2 - 42*h - 148. Is l(-4) a multiple of 50?
True
Let m(y) = y**2 + 8*y + 18. Let j be m(-6). Let l be ((-4)/j)/((-254)/(-36) - 7). Is (10/3)/((-37)/l + -3) a multiple of 5?
True
Let l = 60 - 55. Suppose l*d = -t + 2135, 3*d - 1045 = 4*t + 236. Is 23 a factor of d?
False
Suppose -5*o = b - 1584, 0 = -4*b + b + 12. Suppose k = -k + g + 164, o = 4*k + g. Is 4 a factor of k?
True
Let n(v) = 53*v**2 + 103*v - 307. Is n(-16) a multiple of 11?
False
Suppose -17*a + 72 + 13 = 0. Suppose 14*c + 2*t = 13*c + 362, 0 = -a*c + 4*t + 1852. Is c a multiple of 36?
False
Let u = 11844 + -5817. Is 7 a factor of u?
True
Let r(x) = -x**2 - 589*x + 15. Does 5 divide r(-45)?
True
Let j be (-1)/3 - 1/(-3). Suppose 5*w - 1284 = o - 399, 4*w + 5*o - 708 = j. Is 15 a factor of w?
False
Suppose o = 7*n - 5*n - 363, 2*n - 359 = 5*o. Suppose -28 = 7*d - n. Is 15 a factor of d?
False
Suppose -32*c - 7*c - 67041 = 0. Let m = -970 - c. Is m a multiple of 41?
Fals