f 25?
True
Suppose -6*n + n = 2*a - 68, n = -2*a + 60. Let t(f) = f**2 - 14*f + 89. Is 50 a factor of t(a)?
False
Let v(r) = -3*r**3 - 10*r - 7. Let o(a) = 14*a**3 + a**2 + 39*a + 28. Let i(k) = 2*o(k) + 9*v(k). Is i(5) a multiple of 4?
True
Let p(r) = 10*r**2 + 3*r - 44. Let u be p(-5). Let n = 14 - 10. Suppose -n*k + 89 + u = 0. Does 11 divide k?
False
Let w = -9 - -14. Is w/((-10)/14)*(-52)/4 a multiple of 6?
False
Let c be ((-1)/3)/(4/(-120)*-1). Let z(u) be the third derivative of -u**5/60 - 5*u**4/12 + u**3/3 + 3*u**2. Is z(c) even?
True
Suppose -16*d + 5538 = -4062. Is 15 a factor of d?
True
Let p(t) be the second derivative of -39*t**5/20 - t**4/12 + t**3/2 - 2*t**2 + 5*t. Let f be p(2). Let u = f - -462. Is 30 a factor of u?
False
Suppose 66*x = -3*y + 61*x + 10, 8 = 4*y + 4*x. Is 35 a factor of y + 4*(1530/12 + -5)?
True
Let a = -75 - -9. Let x = a + 41. Let g = x - -76. Does 7 divide g?
False
Let i(q) = 255*q + 11. Let a be i(7). Suppose 4*t - 4*k - 1456 = 0, 5*t + 4*k - a = 3*k. Suppose 23*y = 26*y - t. Is 30 a factor of y?
True
Is 13 a factor of 20100 + (-1 - -2) - (-13 + 64 + -58)?
False
Let p = -51 - -9. Let v = p + 28. Does 15 divide (792/(-27))/(v/12 + 1)?
False
Suppose -3*z + 10804 = -h, 3*z + 0*h = 3*h + 10812. Suppose z = -4*j + 10*j. Is 84 a factor of j?
False
Let y(h) be the third derivative of -h**7/2520 - 7*h**6/360 - h**5/15 - h**4/8 + 3*h**2. Let r(j) be the second derivative of y(j). Is 2 a factor of r(-12)?
True
Suppose -j + 5*g - 9113 = -27540, 4*j - g = 73841. Does 14 divide j?
False
Let r = 44 - 43. Suppose 2*w + u + 10 = 0, 0 = -w + u + r. Let o(i) = 4*i**2 + 2*i + 10. Does 4 divide o(w)?
True
Suppose -120 = -58*t + 18*t. Suppose 0 = -0*j - 5*j + t*h + 120, 0 = -j - h + 24. Is 24 a factor of j?
True
Is 27 a factor of 192/(-56) - -4 - (-75344)/56?
False
Suppose -27 + 51 = 4*u. Let c(o) = 7*o**2 - 15*o - 2. Is c(u) a multiple of 26?
False
Let c(x) = -697*x**2 - 4*x - 4. Let a be c(-1). Let s = -333 - a. Is 14 a factor of s?
True
Is 154*(-8)/(-12)*1152/16 a multiple of 224?
True
Let x = -360 + 375. Let a(p) = -p**3 + 15*p**2 + 12*p - 37. Is a(x) a multiple of 4?
False
Let r = 2839 + -1290. Let x = r + -697. Is 46 a factor of x?
False
Let k be 4/18*(-495)/(-11). Let h(g) = 9*g**2 + 9*g + 38. Is 46 a factor of h(k)?
False
Suppose 5095*r - 5092*r - 4890 = 0. Is r a multiple of 10?
True
Let i(c) = c**2 + c. Let a(t) = -t**2 - 16*t - 5. Let w(b) = a(b) + 2*i(b). Let m be w(-15). Suppose -d - 2*d = -5*x - m, d + 5*x - 170 = 0. Does 25 divide d?
True
Let x(a) = -11 - 24 + 23*a - 5*a**2 + 2*a**2 - a**2 + 6*a**2. Does 23 divide x(15)?
False
Let h = -52091 + 74340. Is 19 a factor of h?
True
Let q(l) = -2*l - 16. Suppose 0 = -4*w - 24 - 12. Let p be q(w). Suppose p*d + 1 = 69. Is 6 a factor of d?
False
Suppose 3*s - 21297 = -3*w - w, -2*w + 10645 = s. Is w a multiple of 228?
False
Let v(r) = 7*r + 87. Let t be v(11). Does 8 divide (-39 + 3 + 1)*t/(-10)?
False
Let t be -46*(-1)/4*-4. Let o = t - -53. Is 6 a factor of 14/o + 14 + 0?
False
Let r be (-4)/14*(-84)/24. Let v(w) = 43*w - 5. Let y(a) = 43*a - 6. Let q(f) = 5*v(f) - 4*y(f). Does 14 divide q(r)?
True
Suppose 155*x - 145249 = 721201. Is 43 a factor of x?
True
Let l(a) be the second derivative of -a**4/12 + 23*a**3/6 - a**2 - 2*a - 41. Is l(5) a multiple of 11?
True
Suppose -4*c - 196 = 4*b, 2*b = c - 2*c - 50. Let p = -49 - c. Does 8 divide (280/(-6 + 2))/p?
False
Suppose 8*o - 11*o = 4*l - 22120, o = -5*l + 7377. Is 12 a factor of o?
False
Is (-2)/7 - (-187272)/714 a multiple of 131?
True
Let k(f) = 10*f + 41. Let m be (5/((-15)/9))/(6/(-44)). Does 9 divide k(m)?
True
Let l be (-6)/4*12/(-9). Suppose -4*y - y + 5*z = -685, -2*z = l*y - 286. Is 14 a factor of y?
True
Let j be 62 - 28/16*-4. Suppose j*q = 78*q - 1935. Does 21 divide q?
False
Suppose 29*s - 34*s = -5*k - 29615, -2*s + 11852 = -4*k. Does 3 divide s?
False
Suppose n + i = 56097, -4*n - 5*i + 211748 = -12634. Is n a multiple of 24?
False
Suppose -5*r + 3*r = -10. Let k(s) = -s**2 - 10*s - 10. Let x be k(-9). Does 4 divide 1*(34 - x)/r?
False
Let x(c) = -c**3 + 34*c - 10*c + 25*c**2 - 2 + 2*c**3 - 11. Let q be x(-24). Let o = 28 + q. Does 7 divide o?
False
Suppose 840796 = 112*k - 141*k + 73*k. Is k a multiple of 24?
False
Suppose 13*w + 1668 = 17*w. Let x be (-4)/((-12)/w)*-6. Does 6 divide 4/((-60)/(-9)) + x/(-10)?
True
Let g = 8891 - 3854. Is 25 a factor of g?
False
Let t(l) = -11*l + 5. Let a be t(0). Suppose 0 = -g + a*w + 243, -8*w + 3*w = -3*g + 759. Is 11 a factor of g?
False
Suppose 0 = -72*c + 402261 - 78261. Is 6 a factor of c?
True
Suppose 0 = 144*b - 133*b - 12837. Suppose -8*y + 11*y - b = 0. Is 31 a factor of y?
False
Suppose 11 = 5*p - 4*y - 16, 3*y = -2*p - 3. Suppose 0 = 2*a + x - 994, -x = a - p*x - 487. Is 33 a factor of a?
True
Let o(k) = -166*k - 42. Let m be o(13). Let n = -1507 - m. Is 21 a factor of n?
True
Let p(s) = 826*s**2 + 15*s - 4. Is 110 a factor of p(-2)?
False
Let j = 272 - 241. Suppose -2*d = j - 119. Is 15 a factor of d?
False
Let h = 14 - 6. Let f be (90/(-35))/(27/(-504)). Is 13 a factor of (h/f + 12/9)*162?
False
Let o be (-21)/(-4) + 0 + 11/(-44). Let f(l) = 62*l + 108. Does 11 divide f(o)?
True
Let o be (2 - (-37 + 1)) + 4. Let d be (24/o)/(-2) - 214/(-14). Is d/(-3) + 36 - -5 a multiple of 4?
True
Suppose 0*y + 3*y + 4*q = 224, -2*y - q = -156. Suppose -4*h + 536 = y. Suppose h = 4*v - 3*f, 2*v - 5*f - 19 = 45. Does 6 divide v?
False
Let g(m) = 49*m - 194. Let u be g(4). Suppose 7*d - 6*d = -2*z + 700, -u*d = 2*z - 1394. Is 54 a factor of d?
False
Suppose -13*z = 5*z + 10872. Let x = z + 988. Does 24 divide x?
True
Let m = 2067 - 1096. Let z = m + -579. Is 28 a factor of z?
True
Let a(q) = -q**2 - 16*q + 110. Let r be a(-21). Suppose 3*w - 5*w = -2, r*z = 5*w + 470. Does 2 divide z?
False
Let z be ((-6)/(-5))/(9/45). Let y be (z/5)/(-1*(-2)/5). Suppose l + 3*u = y*l - 50, u = 2*l - 58. Is 16 a factor of l?
False
Let h = -5908 + 11038. Does 27 divide h?
True
Let r be 7 + -2 - (0/(-3) - -115). Let q = r + 206. Does 3 divide q?
True
Suppose 30 = 4*t + 6. Let j(u) = 2*u**3 - 3*u**2 + 8*u - 27. Let a be j(4). Suppose -5*p - a = -t*p. Does 17 divide p?
True
Let v = -6796 + 10904. Is v a multiple of 13?
True
Let a(g) = -g**3 - 22*g**2 - 41*g - 19. Let w = 24 + -44. Let x be a(w). Is 4 a factor of 2*(-15)/(-10) + x?
True
Let z(x) = -81*x - 54. Let o be z(-4). Is o/(-54) + 1*45 + 0 a multiple of 6?
False
Let l(j) = -j**3 - 38*j**2 - 252*j - 68. Does 51 divide l(-34)?
True
Let y be (0 - (2 + -4))/(-1). Let o be y/(-9) + 490/63. Is (-67)/(-4) + 1/o*-6 a multiple of 8?
True
Let w(u) = -u**2 + 15*u + 15. Let c be w(15). Is 37 a factor of (-2 - (-36)/c) + 4851/35?
False
Suppose -40*n + 3*t - 248 = -44*n, 3*n = t + 173. Suppose -2*k - 110 = i, 0*i + 4*i = 4*k + 196. Let d = k + n. Is d a multiple of 6?
True
Let l be 5/((-1)/(12/(-30))). Is l + -1 + 152 + -44 + 40 a multiple of 18?
False
Let r = 16 + -55. Suppose -q + 212 = 5*u - 239, 4*u = -3*q + 352. Let z = r + u. Is 26 a factor of z?
True
Suppose 5*n + 39 = -21. Is 17 a factor of 3162/n*(-5 + 3)?
True
Suppose 5647*t + 5994 = 5656*t. Is 74 a factor of t?
True
Suppose 3*d = 5*g - 4*g - 10, 3*d = -6. Suppose 63 = 3*p - g*p. Let v = p - -112. Is v a multiple of 4?
False
Let b be ((-243)/(-12))/(((-198)/624)/(-11)). Suppose 66*k - 69*k = -b. Is 39 a factor of k?
True
Let f(n) = 14*n - 37. Let v = 385 - 374. Does 7 divide f(v)?
False
Let o(m) = 3*m - 7. Let x = -52 + 66. Does 4 divide o(x)?
False
Let f = 155 + -68. Suppose -51*k + 52*k = f. Is k a multiple of 29?
True
Suppose 101 = 8*n + 85. Suppose 0*i - 12 = 4*i, -3*b - n*i + 1674 = 0. Does 28 divide b?
True
Let y(b) = 125*b**2 - 2*b + 3. Suppose 4*f = 5*f. Suppose 4*j = -f + 4. Is 14 a factor of y(j)?
True
Suppose -2*x - 2*l + 5 + 3 = 0, 4 = 3*x + l. Let w be (-6)/15 - (-6)/15. Suppose w*p - p + 91 = x. Is p a multiple of 13?
True
Suppose n + 5*v = 4, 2*n = n - 2*v + 19. Let q(i) = 11*i - 30. Is 5 a factor of q(n)?
False
Let b be (24/9)/((-12)/54). Let k(u) be the first derivative of 2*u**3/3 + 17*u**2/2 + 24*u + 45. Is k(b) a multiple of 17?
False
Suppose -2 = -7*c + 6*c. Does 6 divide c/(-5) + 15664/110?
False
Let c(x) = -9*x + 13 + 4*x + 30. Let j be c(17). Is 6 a factor of