se
Is (4372/(-7))/((-618)/56 + (-58 - -69)) a multiple of 106?
False
Let a(d) = -4*d + 525. Let g be ((-1 - -1)/6)/(0 + 4). Does 35 divide a(g)?
True
Let q(n) be the second derivative of n**4/12 - n**3/6 + 14*n**2 - 15*n. Suppose -5*y + 4*t - 4 = -y, -1 = -3*y - t. Is q(y) a multiple of 7?
True
Suppose 0 = -5*i - 5*g + 2848 - 173, -2*g - 526 = -i. Suppose -i = -5*u + 608. Suppose 0 = 5*m - m + w - u, -114 = -2*m + w. Does 26 divide m?
False
Let k = -29119 + 31919. Is k a multiple of 35?
True
Is 41 a factor of (-5022 + -413)*(2/2 + -2)?
False
Is 4 a factor of -10 + 1/((-2)/(-21034) - 0)?
False
Suppose 3*u - a = -0*u - 1, -5*u = -5*a - 5. Let m(y) = 399*y**2 + y + 1. Is 41 a factor of m(u)?
False
Let d = -1291 - -3169. Is 2 a factor of d?
True
Suppose 7*q - 30 = 96. Suppose -26*c + q*c = -2112. Is 60 a factor of c?
False
Let q = 530 + -287. Suppose -20 = 5*f, 0*n - f = n - q. Is n a multiple of 19?
True
Is ((-144)/84)/((-10)/14245) a multiple of 22?
True
Let j = -19848 - -39193. Does 59 divide j?
False
Let b(q) = -23*q - 14. Let f be b(-4). Let w = -51 + f. Is 8 a factor of w?
False
Let i(w) = w**2 + 5*w**2 - 4*w**2 - 12*w + 4 + 4*w. Does 91 divide i(16)?
False
Suppose -5*u + 8*q = 9*q - 17525, -4*q - 10538 = -3*u. Suppose 5*i = -x + 425 + 1334, u = 2*x - 2*i. Does 15 divide x?
False
Is (14850/35)/((-57)/(-14) - 4) a multiple of 20?
True
Let f = 17443 + 1988. Is 127 a factor of f?
True
Let o be (94*1)/(8*10/80). Suppose 0 = -o*v + 91*v + 627. Is 31 a factor of v?
False
Let a(l) be the second derivative of -l**5/60 - 5*l**4/12 + 5*l**3/6 - 9*l**2 + 18*l. Let y(f) be the first derivative of a(f). Is y(-10) a multiple of 5?
True
Suppose 18*c + 3*k + 7906 = 22*c, 0 = -4*c + 2*k + 7904. Is c a multiple of 49?
False
Let y = -9767 + 73127. Does 45 divide y?
True
Suppose -20*z + 13*z + 25203 + 27486 = 0. Is 193 a factor of z?
True
Is (-16 - -10 - 6) + 998 a multiple of 17?
True
Let v = 134 + -105. Suppose -48 = -25*y + v*y. Let c = 177 - y. Is c a multiple of 7?
True
Suppose -2*w = 2*n - 86, -4*w - 33 = -2*n + n. Let b = n - -364. Is b a multiple of 45?
True
Let c(s) be the third derivative of s**5/20 - 11*s**4/24 - 29*s**3/3 - 20*s**2 - 2*s. Is 37 a factor of c(-8)?
True
Let z(m) = -15*m - 3. Let v be z(-5). Suppose -5*t = -5*s - 160, 4*t - v - 21 = -3*s. Let l = 95 - t. Does 17 divide l?
True
Suppose -2*u - 744 = -5*w + 222, 4*w = -2*u - 1002. Let n = -348 - u. Is 5 a factor of n?
True
Suppose 26*o - 23*o = 12. Suppose 2*m - 12 = 4*j, 0 = 3*j + 2 + o. Suppose -65 = m*f - 7*f. Is f even?
False
Suppose 56*k - 226043 = -47396 + 175273. Is 20 a factor of k?
True
Suppose -t = -3*a - 385, 2*t - 4*t - 649 = 5*a. Let d = 151 + a. Is d a multiple of 3?
False
Suppose -2*y + w = 33, 4*y = -6*w + 3*w - 71. Let h = y + 88. Suppose -3*p - h = -4*r - 203, 0 = r - 3. Is 12 a factor of p?
True
Let b(p) = -p**3 + 14*p**2 - 13*p + 4. Let w be b(13). Suppose 0 = -w*c + 451 + 393. Let f = c + -41. Is f a multiple of 19?
False
Let a = -4648 + 23462. Is 9 a factor of a?
False
Let v = 260 + -287. Let n = v - -91. Does 16 divide n?
True
Let c(i) = -8*i + 40. Let z(j) = 2*j - 10. Let n(u) = -2*c(u) - 9*z(u). Let o be n(4). Suppose 4*a = 3*l - 164, l + o*a = a + 64. Does 12 divide l?
True
Suppose -24670 = -4*h + 5*l + 2*l, -5*l - 12338 = -2*h. Is 33 a factor of h?
False
Suppose 6*r - 3640 = -2*r. Let f be ((-16)/5)/(13/r). Let a = 163 + f. Is a a multiple of 21?
False
Let o = -6579 - -10761. Is o a multiple of 3?
True
Let b = 218 + -86. Is (b/99)/(2/663) a multiple of 36?
False
Let y(l) = -l**3 + 5*l**2 + 25*l + 18. Suppose -14*u + 26 + 86 = 0. Is 11 a factor of y(u)?
False
Does 3 divide (-21337)/(-4) + (1610/56 - 30)?
False
Let i(h) = 6*h**2 - 14*h + 1. Let w(l) = -5*l**2 + 13*l - 2. Let r(v) = 4*i(v) + 5*w(v). Let z be r(8). Suppose 0 = -z*m, 6 = -0*x + 2*x + 5*m. Is x even?
False
Does 30 divide (-808)/(-3)*((17 - -14) + -19)?
False
Let u = -747 - -751. Suppose 367 + 6029 = u*c - 3*s, 3*s = -12. Is c a multiple of 22?
False
Let z = -3611 + 5409. Is 22 a factor of z?
False
Let i be 2/(-3)*(-24)/8. Suppose u = -5*q + 286, -4*q = i*u + 106 - 666. Is u a multiple of 23?
True
Let q = -14342 - -26643. Is 23 a factor of q?
False
Suppose -5*s = 2*q + 2, 0*q - 3*q - 2*s + 8 = 0. Suppose q*w - 16 = 0, f + 5*w + 22 = 85. Is f even?
False
Let w = -369 + 128. Let r = w + 261. Does 10 divide r?
True
Let z = -143 - -134. Let v(f) = f**3 + 11*f**2 + 3*f - 22. Does 35 divide v(z)?
False
Let l(i) = i**3 - 45*i**2 - 79*i + 92. Suppose 5*s = 3*o - 156, -5*o - 5*s - 29 = -249. Does 26 divide l(o)?
False
Suppose -3*n = -5*n - 204. Let v = 171 + n. Suppose s - v = -21. Does 24 divide s?
True
Let q be (2/1)/(18/495). Let z = 85 - q. Is 7 a factor of z?
False
Let b = 9888 + -5341. Is 17 a factor of b?
False
Suppose d = -4*n + 8, -3*d = 4*n + d + 4. Suppose -739 = -n*g - 2*p, -g + 95 = 2*p - 154. Does 35 divide g?
True
Is (-5)/(3 + (-2881)/960) a multiple of 150?
True
Let b(u) be the second derivative of u**4/3 + 5*u**3/3 - 24*u**2 - 20*u. Is 48 a factor of b(5)?
False
Let v = 56 + -51. Suppose a = 2*u + 25, -6*u + v*a - 65 = -u. Is 4 a factor of (u/(-9) - 1)*48?
True
Suppose -6*t + 2216 + 5944 = 0. Does 4 divide t?
True
Suppose 3*k - 52 = o, 2*o = -o + k - 156. Let m be (1 - o/3)*6. Suppose -3*r = a + r - m, 0 = -2*a + 4*r + 268. Does 18 divide a?
True
Suppose -4*u + 13 = -47. Suppose -q = 2*q + u, -2*q + 95 = 5*v. Is 4 a factor of (3 - 0) + v - 4?
True
Suppose 38*f - 81540 = -52*f. Is 6 a factor of f?
True
Does 106 divide ((-10)/(-4))/(440/352)*1378?
True
Let a(v) = 2*v**3 - 16*v**2 + 3*v - 12. Let w = -8 - -16. Let o be a(w). Suppose -o*y + 266 = -94. Is y a multiple of 6?
True
Suppose -26*r + 37*r = 1144. Let v = r + -39. Is v a multiple of 7?
False
Let h be 1/(-30)*4 + (-8)/(-60). Suppose 0 = 2*m + 5*t - 141, h = 2*t + 3*t + 15. Is 9 a factor of 9/(-6)*(-2)/1 + m?
True
Suppose 0 = -n - 3*n. Let p(r) be the second derivative of -2*r**3/3 + 40*r**2 - 80*r + 3. Is p(n) a multiple of 19?
False
Suppose -5*l = -10, 4*l = 5*r + 9*l - 120. Suppose 0 = -8*m + r + 18. Is m even?
False
Let v(c) = -2270 - 8*c**2 - c**3 - 11*c**2 - 19*c + 2258. Let q be v(-18). Suppose i = -q*i + 14. Is i even?
True
Let h(j) = 2*j**3 + 105*j**2 - 46*j + 385. Is h(-53) even?
True
Suppose -d = 2*d - 6. Let k(m) = 133*m**2 + 4*m + 1. Let y be k(-1). Suppose -6*f + d*f - 35 = -j, -y = -2*j - 4*f. Does 3 divide j?
False
Let s be (71/(-1))/(2 - (-27)/(-14)). Let o be (-6)/8 - s/56. Let g = o + 70. Does 10 divide g?
False
Let k = -3582 - -7009. Is k a multiple of 23?
True
Suppose -8*s + 3*s = -4*p + 50, p - 18 = 4*s. Let w(b) = 3*b**2 - 13*b - 19. Is 16 a factor of w(p)?
False
Let l(d) = -8*d**3 + 44*d**2 + 340*d - 13. Is 173 a factor of l(-21)?
False
Let s(b) = 10*b + 1. Let i be s(2). Suppose 229 - i = 2*j. Is 8 a factor of j?
True
Let o(v) = -8*v + 260. Does 4 divide o(9)?
True
Suppose 2*n + s = -0*n + 27, -3*n + 3*s + 63 = 0. Let u = 182 - n. Is u a multiple of 15?
False
Suppose 687*c = 2*b + 691*c - 6102, 4*c = -4*b + 12216. Is 10 a factor of b?
False
Let h be 9/6 + 0 - (-9)/6. Suppose h*x = 6*x - 249. Let s = -51 + x. Does 8 divide s?
True
Let d(a) be the third derivative of a**5/30 - 7*a**4/24 - 11*a**3/3 - 20*a**2. Let g be d(-12). Let p = g - 163. Is p a multiple of 11?
True
Let f = -459 - -834. Suppose 4*j = 5 + 3. Suppose 7*m = j*m + f. Is m a multiple of 25?
True
Let c(w) = -7*w + 31. Let h be 317/4 - 6/24. Let q be h/(-5) - 2/10. Is c(q) a multiple of 28?
False
Does 77 divide (-2 + -198 + -17)*-22?
True
Let z(a) = 106*a**2 - 323*a - 1286. Is z(-4) a multiple of 7?
False
Let a = -5 + 140. Suppose -a = -9*r + 8*r. Is r a multiple of 9?
True
Let f(t) = 27*t**2 - 4*t + 4. Let m(w) = -1. Let i(y) = f(y) + 3*m(y). Let g be i(1). Suppose -20*h - 80 = -g*h. Does 3 divide h?
False
Let w(h) = -37*h + h + 5 + 1. Let p = 344 + -348. Does 10 divide w(p)?
True
Let q(x) = 28 - 23*x**2 + 210*x**2 + 106*x**2 - 27 - 10*x. Is 18 a factor of q(1)?
False
Let k = 122842 - 53424. Is 11 a factor of k?
False
Let c(r) = 121*r**2 - 64*r + 16. Is 15 a factor of c(-4)?
False
Let j = -564 + 900. Let x = j + -282. Does 9 divide x?
True
Suppose 9*h - 4*h = 3*g - 14, 3*g = h + 10. Suppose -5*r - 2*d = -2915, 3*r - 3*d = 8*r - 2915. Does 4 divide r