= 41. Let r(n) = -n**2 - 1. Let v(u) = -7*u**2 + 15*u + 2. Let i(m) = t*r(m) - v(m). Is i(17) a multiple of 4?
False
Let v be (-1)/5 - (-140)/(-50). Let a be ((-1)/v)/((-4)/(-72)). Suppose 3*b + 2*x - 46 = 6*x, -b - 4*x = a. Is b even?
True
Let p = -4579 - -6693. Is 151 a factor of p?
True
Suppose -4*v - 5 = -9, k + 33 = 5*v. Is (272/k)/(1/(-7)) a multiple of 4?
True
Let g be 2 + (7 - 8920/(-8)). Let r = g - 350. Does 43 divide r?
True
Suppose 60*t - 57*t - k - 283 = 0, 0 = -5*k - 5. Is t a multiple of 4?
False
Let n(h) = 1125*h - 1610. Is 10 a factor of n(20)?
True
Let y(g) = -6*g**2 - 4*g - 1. Let z be y(4). Let j(i) = i**2 - 13*i - 19. Let u be j(20). Let f = z + u. Does 3 divide f?
False
Let x = 3939 - -8111. Is x a multiple of 65?
False
Suppose 4*b = -2*l + 145 + 53, 0 = -3*l - 3*b + 297. Does 15 divide (l + -4 + 1)*2?
False
Let h = -562 + 550. Is ((-63)/12)/(h/32) a multiple of 8?
False
Let d = 4090 - 3824. Does 14 divide d?
True
Suppose 115*k + 3*k - 185850 = 0. Is k a multiple of 21?
True
Let m = -49 + 50. Does 6 divide m/(13/401) + 2/13?
False
Let f be 882/(-162) - 16/(-36). Is -2*(-63 + 1 + f) a multiple of 7?
False
Let q be (-116)/(-1) - (1 + 1). Suppose -1365 + q = -9*r. Suppose -6*f - 55 = -r. Is f a multiple of 6?
False
Let t(y) = y**3 + 3*y**2 - 2 + 0*y**3 - 6 + 8*y**2 - 2*y. Let x(u) = -u**3 - 10*u**2 + u + 9. Let l(n) = -3*t(n) - 4*x(n). Does 20 divide l(-5)?
False
Suppose -2*b + 8 = 0, 0 = 4*q + 5*b - 30 - 6. Let k = 408 + -284. Suppose -3*d + k = 2*i - 0*d, 0 = -q*i - 2*d + 264. Is 14 a factor of i?
False
Let f = 37359 - 12761. Is 14 a factor of f?
True
Let h(t) be the third derivative of -1/120*t**6 + 0*t + 13/60*t**5 + 1/8*t**4 + 0 - 25/6*t**3 - 41*t**2. Does 40 divide h(12)?
False
Suppose -j + 4*i = -25, 0*j - 2*i = -j + 15. Suppose -j*s + 4*h + 3972 = 0, -5*s - 32*h + 29*h + 3951 = 0. Is 12 a factor of s?
True
Let x(c) = -c**3 - 2*c - 2. Let p = 36 + -38. Let f be x(p). Is 155/f*(-2 - -4) a multiple of 4?
False
Let f be (1 + -4)*(-2 - 7384/24). Let r = f + -538. Does 44 divide r?
False
Suppose -447847 - 293761 = -41*a. Does 136 divide a?
True
Let u be 266/(-1 - 3/((-36)/16)). Suppose -142 + u = 4*j. Let z = -80 + j. Is 14 a factor of z?
True
Let v = -441 - -617. Suppose v = -11*m + 12*m. Is 11 a factor of m?
True
Let l = 38 + -29. Let u be ((-15)/l - -1)*(-12)/1. Suppose u*n - 10*n = -30. Does 6 divide n?
False
Suppose -31*x + 41269 = -154465. Does 105 divide x?
False
Suppose -2*g = -g, 2*n - 39134 = -g + 3*g. Does 17 divide n?
True
Let m(u) = u**2 + 6*u + 10. Let g be m(-4). Suppose -2*t + 5*h = g*h - 7, -t = 3*h + 1. Does 11 divide ((-93)/(-3))/(t/(-2 - -4))?
False
Let v = 50 + -387. Let x = v + 437. Is 10 a factor of x?
True
Let w = 79639 + -52727. Does 232 divide w?
True
Suppose -8*n = 3*n - 176. Suppose -2300 = -n*l - 844. Is l a multiple of 13?
True
Does 91 divide (7026/4)/(291/776)?
False
Suppose -21130 = -3*v - 2*d + 1999, 2*v + 3*d - 15416 = 0. Is v a multiple of 11?
True
Suppose -4*o + 18*n - 19*n = -3343, 2*n + 4169 = 5*o. Is o a multiple of 14?
False
Let p = -98 + 100. Suppose -67 = -p*v + c, -4*v + 130 = 2*c - 0*c. Is 4 a factor of v?
False
Suppose 8*d + 5*x = 3*d + 315, -4*d + 2*x + 270 = 0. Suppose 0 = -q + 3*o - 46, -9*q - 28 = -8*q + 3*o. Let n = q + d. Does 6 divide n?
False
Suppose 0 = k + 4, -5*a - k + 132 = -4*k. Suppose -5*s + 0*s = 5*g - 20, -g = 5*s - a. Does 16 divide (-2)/5 + (-214)/(-10) + g?
False
Let u(k) = 2*k**3 - 42*k**2 + 252*k - 13. Is u(16) a multiple of 15?
False
Let p be (1 - -8)*(-2)/(-9). Let z(u) = 4*u**2 - 3*u + 0*u**p + 11*u - 3*u + 18. Is 20 a factor of z(-5)?
False
Let k = -298 - -809. Let y = -3 + k. Is y a multiple of 6?
False
Suppose 5*s + 64 = 4. Let b be 4*1 - (-252 + s). Suppose 0 = -4*d + b + 96. Is d a multiple of 39?
False
Let i = -126 - -179. Suppose -k + 3*z = -i, 265 = 9*k - 4*k - 2*z. Is k even?
False
Let q(m) = -m**3 - 25*m**2 + 828*m + 51. Is q(17) a multiple of 9?
True
Suppose -5*j - 14455 = -5*c, -13*j - 5 = -8*j. Does 17 divide c?
True
Let m be (-6)/(462/(-245)) - 4/22. Suppose 32*w - 29*w = m*n - 1521, 0 = -5*n - 3*w + 2575. Is n a multiple of 32?
True
Let c(d) = 2*d**2 - 39*d + 36. Let p(x) = -x**3 + 6*x + 10. Let n be p(-3). Does 2 divide c(n)?
False
Let n(d) = -d**3 - 10*d**2 + 29*d + 4. Let s be n(30). Is (-10)/55 + s/(-77) a multiple of 19?
True
Let k be (-10925)/(-161) + (-8)/(-7). Suppose 20 = -3*b + 290. Suppose -4*y - 5*m = -b, 3*m = -y - 2*y + k. Is 4 a factor of y?
False
Let m = -54 - 81. Let q = 254 + m. Does 12 divide q?
False
Suppose -33672 = -13*v - 11*v. Is 23 a factor of v?
True
Suppose 0 = 24*s - 64833 - 97117 + 51550. Is s a multiple of 3?
False
Let z be (42/(-105))/(2/10). Let f be ((-63)/105)/(z/10). Suppose 4*b = f*w - 2*w + 231, -3*w - 171 = -3*b. Is 8 a factor of b?
False
Suppose 22*q - 40 = 14*q. Let a = q - -71. Is 114/a - (470/(-4) - 1) a multiple of 32?
False
Suppose 0 = 3*d - 5*r - 17, 0*d - r - 5 = -d. Suppose 4*u + 756 = 4*x, 0*x = -5*x + d*u + 943. Does 5 divide x?
False
Suppose -3*h - 26 - 66 = -2*k, 2*k = -3*h - 112. Let v = h + 38. Suppose -2*a + 3*z = -161, -v*z = 5*a - 159 - 255. Is 10 a factor of a?
False
Let r be (-6 + 132/18)*30/4. Suppose 4*a = 5*a + 2*k - r, 2*a + 10 = 2*k. Suppose -4*x - 5*w + 1300 = -w, a = -x + 2*w + 340. Is 55 a factor of x?
True
Let u(i) = -9*i - 12. Let o be u(-6). Suppose -6*m = -3*m - o. Let c(b) = -b**2 + 20*b - 2. Is 45 a factor of c(m)?
False
Suppose 3*k = 9*k - 492. Let r(u) = 1 + 2 - 4 - k*u. Is 20 a factor of r(-1)?
False
Let q be ((-4)/(-6) + -2)*9/(-6). Suppose -q*y - y = 54. Let d = y - -34. Is d a multiple of 7?
False
Let n be (-4)/(-4*4/(-16)). Let u be -3*(-1)/(6/n). Is 50 - (0 + 1) - (1 - u) a multiple of 12?
False
Suppose -10 + 38 = 7*z. Is 9 a factor of (5 - 76/8)/(z/(-472))?
True
Let d(k) = k**3 + 6*k**2 - 8*k - 1. Let r be d(-7). Let j be -3 - 0 - 10/(r/(-3)). Suppose 0 = 5*m, j*s + 3*m - 567 = -s. Is 21 a factor of s?
True
Let w be (24/(-6 - -4))/(27/18). Let m(y) be the first derivative of -5*y**2 + 13*y - 2. Is 11 a factor of m(w)?
False
Is (-108)/96*-8 + 2026 a multiple of 16?
False
Suppose 4*j - 521 = 6*r - 7*r, 2*j = -3*r + 1573. Suppose r = -14*w + 1995. Does 21 divide w?
True
Suppose -41347 = -17*i + 19734. Is 35 a factor of i?
False
Suppose -3*m = -p + 53, 253 = 5*p - 3*m - 0*m. Let y be (-84476)/(-10) - ((-1)/(-21) + (-282)/630). Is 14 a factor of (-5)/(p/(-4)) + y/55?
True
Is 12 a factor of (29/(1305/137268) - 4/10) + -2?
True
Let u be ((-96)/((-6)/2))/(1/3). Suppose u*l + 202 = 95*l. Let g = l + 323. Is g a multiple of 18?
False
Let x(p) = -2*p - 23. Let u be x(0). Let q = 2 + u. Let c = q + 117. Does 12 divide c?
True
Let c(l) = 7*l + 8. Let z(v) = -19*v - 24. Let i(d) = -8*c(d) - 3*z(d). Let s be i(-9). Let y(g) = 59*g**2 - 7*g - 6. Is 30 a factor of y(s)?
True
Let q be (-3)/2*14584/(-12). Does 32 divide (-31)/4 + 7 - q/(-4)?
False
Let b(l) = l**3 - 14*l**2 + 6*l - 148. Is 29 a factor of b(18)?
False
Suppose -322*f = -327*f - 55. Let i = -4 + 3. Does 4 divide f/(-9) + i + (-6282)/(-162)?
False
Let o(x) = x**3 - 4*x**2 + x - 4. Let m be o(4). Let y(b) = 19 + 20 + 0*b - 7 - 2*b. Is 8 a factor of y(m)?
True
Let i(n) = -2*n**2 + 23 + 25 - 4*n**3 + 5*n**3. Let d(h) = 10*h - 50. Let g be d(5). Does 16 divide i(g)?
True
Let r(m) = 2*m**2 + 4*m - 3. Let n be r(1). Let j = 10 - 7. Suppose -j*l = -5*x + n*x + 338, -5*l = -20. Is 36 a factor of x?
False
Suppose -2*d = d - 2073. Suppose 3*c = -5*z + d, 228 = -4*c + 5*c + 4*z. Does 29 divide c?
True
Suppose 5*h = 5*s + 70, h + 0*h + 4*s = -6. Let n be ((-4)/(-10))/(2/h) - -171. Suppose n - 37 = 4*z. Is 34 a factor of z?
True
Suppose 3*a - 94 = -5*s, 9*a + 87 = 13*a - s. Suppose a*d - 1992 - 607 = 0. Is 5 a factor of d?
False
Suppose 5*f + 5*m - 17 - 3 = 0, 0 = f + 5*m - 8. Suppose 0 = -f*a - a. Does 5 divide 7 - -1 - 3 - a?
True
Suppose -2 = 4*f + 5*s, -6*f + 2*s - 16 = -2*f. Let q be (-154)/f - (-4)/(-3). Suppose 0 = -14*r + 12*r + q. Is 5 a factor of r?
True
Let q(u) = 146*u + 546. Is 4 a factor of q(5)?
True
Let w(f) = 4*f**2 + 54*f - 3736. Is 12 a factor of w(71)?
False
Suppose 70*o - 7*o - 193325 = 8*o. Is o a multiple of 37?
True
Let j(y) = -7*y + 9*y**2 - y**3 + 5*y - 6*y + 2. Let s be j(8). Suppose 2 = 2*v - 2, s