se
Let p be 52/(-8) - 2/(-4). Let o(j) = -j**3 + 26*j**2 - 27*j + 50. Let y be o(25). Is ((-3)/p + y)/(5/840) a multiple of 12?
True
Let s(i) = 8371*i**2 + 14*i - 15. Is 9 a factor of s(1)?
True
Let n be 28/6 - (-4)/(-6). Let k be (27/(-6) + n)*0. Suppose k*h + 40 = h. Is h a multiple of 10?
True
Suppose 5*v + 112*j = 108*j + 9, v - 2*j = 13. Suppose 0*h = h + 3*b - 21, v*h - 3*b - 69 = 0. Does 6 divide h?
False
Let o(l) = l**2 - 23*l + 22. Let t be o(22). Suppose t*y + 3*y = 84. Suppose -28 - y = -2*a. Is a a multiple of 14?
True
Suppose -8*d + 1883 = -30*d + 54551. Is d a multiple of 24?
False
Suppose 3*b - 1932 = -5*v, -v - 1950 = 9*b - 12*b. Does 19 divide b?
False
Let q = 11097 - 4894. Is 11 a factor of q?
False
Let z = 540 - 534. Is 50 a factor of 135/(-2)*(-80)/z?
True
Suppose -4*t + k = -28156, 0 = 11*t - 10*t + 4*k - 7056. Is t a multiple of 22?
True
Suppose -7*d + 36 = 2*d. Suppose 3*b - 372 = -d*n, 2*n + 2*b - 186 = -0*b. Is 4 a factor of n?
False
Let d(v) = 5*v**3 + 187*v**2 + 50*v - 17. Is 12 a factor of d(-36)?
False
Let g be 1/6 - (0 + 250/60). Is 35 a factor of 1 + 4 + g - (8 - 1337)?
True
Suppose 3*b - b = -3*q + 170, -5*q + 4*b = -320. Let j = q + -23. Suppose -2*t - j + 149 = 0. Does 44 divide t?
False
Suppose 2*n = -8, 28 = 4*v - 6*n + 2*n. Let f be ((-3)/(-6))/(v/(-66)). Let b(j) = j**3 + 13*j**2 + 5*j + 12. Does 24 divide b(f)?
False
Let n be (21/6 - 4)*-18. Suppose 0 = -2*c + n*c - 1176. Suppose 23 = -5*u + c. Does 2 divide u?
False
Suppose 2*x - 11360 = -3*v, -3361 = -2*v + 4*x + 4207. Does 42 divide v?
False
Let g = 155 + 73. Let p = g - -108. Does 42 divide p?
True
Let i(s) = 51*s - 27. Let l(k) = -74*k + 41. Let f(r) = -8*i(r) - 5*l(r). Does 26 divide f(-9)?
False
Let r = -4407 + 5127. Is r a multiple of 10?
True
Let y = 3193 + -1737. Is 8 a factor of y?
True
Suppose 2*s - 3*i - 36801 = 0, 0 = -2*s + 4*i + 3751 + 33043. Does 174 divide s?
False
Suppose 429*d + 6254 = 2*s + 427*d, 2*s - 4*d = 6246. Does 4 divide s?
False
Let z(a) = a**2 - a - 1. Let j(n) = -57*n**2 + 8*n - 14. Let b(p) = -j(p) - 6*z(p). Let w(x) be the first derivative of b(x). Does 25 divide w(1)?
True
Let b(t) be the first derivative of -t**3/3 + 19*t**2 - 27*t + 278. Is 5 a factor of b(16)?
True
Suppose -18*q + 778119 + 115239 = 0. Is q a multiple of 78?
False
Let j(t) = 3*t**3 - 38*t**2 + 31*t - 213. Is j(18) a multiple of 56?
False
Let y(m) = 517*m**2 + 11*m - 6. Is y(-6) a multiple of 18?
True
Suppose 3*q - 2*k = 58, 86 = 12*q - 9*q + 5*k. Let t = -33 + 51. Suppose -2*n = t - q. Does 2 divide n?
True
Let y be (-12)/(-54)*-1 + (-7431)/(-27). Let j = 54 + y. Does 24 divide j?
False
Let t(i) = -2*i**3 - 57*i**2 + 19*i + 192. Does 20 divide t(-30)?
False
Let f(o) = 2*o - 12. Let s be f(8). Suppose s*r + 2 + 179 = 5*t, 3*t - 3*r - 111 = 0. Let p = -13 + t. Is 5 a factor of p?
True
Let u = 12284 - -9769. Is u a multiple of 47?
False
Suppose 319*v - 277367 = 4314892 + 1122945. Is v a multiple of 17?
False
Let f be (42/8 + -5)*8. Does 19 divide (2/f*-1)/(1/(-62))?
False
Let w = -40 + -1. Let h = -39 - w. Suppose 0 = h*s + 2*s - 56. Does 10 divide s?
False
Let y(z) = 7*z + 17. Let o be y(-2). Suppose -o*r = -s - 6*r + 316, r + 1628 = 5*s. Does 25 divide s?
True
Let c(d) = -d**2 - 27*d + 63. Let n be c(-29). Suppose -w + 20 = q, -4*q + 79 - 17 = -n*w. Is q a multiple of 6?
True
Let u = 65 + 0. Let r = -72 + 31. Let h = r + u. Is h a multiple of 3?
True
Suppose 0 = 11*w - 68 + 24. Let y = -4 + w. Suppose y = -5*s + 5*h + 100, 2*s - 2*h = 3*h + 25. Is s a multiple of 7?
False
Is (10 - (-125646)/(-12))/((-5)/30) a multiple of 13?
False
Suppose -1039 + 199 = -8*p. Let a = 105 - p. Does 20 divide a - -2 - (-57)/6*4?
True
Suppose 0 = 16*w - 26*w. Suppose -4*h + 402 = 3*b - 118, w = -4*b - 4*h + 688. Is 42 a factor of b?
True
Suppose 4*g = 4, 4*g - 539 - 1589 = -2*a. Does 3 divide a?
True
Suppose 1727 + 2541 = 22*w. Is 11 a factor of (-4)/(w/259 + (-6)/7)?
False
Let w be (-2)/(-4) - 12425/(-10). Suppose t - 4*f - w = -114, -f - 3365 = -3*t. Suppose -c = -4*k + t, 2*c + 1469 = 5*k + 70. Does 13 divide k?
False
Let q be (-3)/18*2*(-5 + -88). Let n = q + -29. Suppose -w = -n, -w - 2*w - 46 = -2*f. Is f a multiple of 26?
True
Suppose 2*h + 1568 = -2*b - 0*b, 0 = 4*b + 2*h + 3144. Let w = -457 - b. Let s = w - 175. Does 26 divide s?
True
Let w be ((-3140)/(-6))/(13/39). Let g = w + -1085. Is g a multiple of 77?
False
Let l(r) = 15*r**2 + 25*r - 193. Is l(-16) a multiple of 71?
False
Let v = -1911 + 8328. Is 23 a factor of v?
True
Suppose -9*q + 8866 = -20366. Is 16 a factor of q?
True
Let t(a) = -3*a + 7*a - 5 + 2*a**3 - 2*a**2 + 10 - 3. Let c(u) = 5*u**3 - 4*u**2 + 7*u + 4. Let w(m) = -3*c(m) + 5*t(m). Does 24 divide w(-2)?
True
Suppose -4*m + 8 = -6*m. Let w be (276/(-30) - 0)*10/m. Suppose 32 = s - w. Is 33 a factor of s?
False
Suppose 200*z - 219245 - 1751755 = 0. Does 15 divide z?
True
Suppose 54*x = -30*x + 1268315 + 1519393. Is 128 a factor of x?
False
Let t(q) = -1139*q - 9425. Is t(-23) a multiple of 28?
True
Suppose -46*q + 56957 = -17*q - 168199. Is q a multiple of 63?
False
Suppose 0 = 5*n - 438 - 442. Is 59 a factor of ((-1236)/7)/(n/(-616))?
False
Suppose -3*w + 60*i - 63*i = -49245, 0 = 3*w + 4*i - 49251. Is w a multiple of 24?
False
Is 76 a factor of ((-16170)/55)/(1*(-3)/80)?
False
Suppose 131*k = 5*k + 1162476. Is 8 a factor of k?
False
Let l(j) = -6*j - 433. Let x be l(0). Let n = 793 + x. Does 15 divide n?
True
Let n(q) be the third derivative of 5/6*q**3 + 15*q**2 + 1/60*q**5 + 1/3*q**4 + 0*q + 0. Is 2 a factor of n(-9)?
True
Suppose -10 = -5*r, -4*t - r + 13 = -5. Suppose 0 = c - t*a - 48, a - 42 = -c - a. Does 5 divide c?
False
Let j = 56 - 51. Suppose -j*f - 5 = 10. Does 9 divide -1*(f - 0) + 24?
True
Suppose 3*l - 22758 = -3*n, 3*n - 3*l + 5527 = 28285. Does 9 divide n?
False
Suppose 0 = -58*j + 121*j - 3402. Suppose -4*x - 102 - 266 = 0. Let z = j - x. Is 27 a factor of z?
False
Suppose -4*k - 23 = -h, 0 = 2*h - 0*h - 3*k - 21. Suppose h*c + 567 = 5*v, 4*v + c - 308 = 149. Is 19 a factor of v?
True
Does 27 divide 915 + (4 - 7) + 6?
True
Let c be (-194)/(-4) + (-80)/32. Is c*(-6 + 114/12) a multiple of 23?
True
Suppose -6*z = -9*z - 75. Let r(q) = -2*q - 25. Let u be r(z). Let i = 27 + u. Is 30 a factor of i?
False
Let k = -1407 - -2231. Is k a multiple of 8?
True
Suppose 0 = 102*p + 243*p - 17020575. Is p a multiple of 13?
True
Let l(t) be the third derivative of -17*t**4/24 - 16*t**3/3 - 8*t**2 + 141*t. Suppose 0 = -0*j - j - 9. Is 8 a factor of l(j)?
False
Let n = 4 + -14. Let a be (23 + -3)*(-4)/n. Is 23 a factor of ((-4)/6)/(a/(-1044))?
False
Let d(m) = 8*m**3 + 7*m**2 + 3*m - 3. Suppose -2*g + 14 - 22 = 0. Let q(r) = -7*r**3 - 8*r**2 - 3*r + 2. Let i(b) = g*d(b) - 3*q(b). Is i(-2) a multiple of 14?
True
Is 0 + (-83661)/(-9) - 13*(-22)/(-429) a multiple of 21?
False
Let n(q) = 19*q - 8*q + q**2 - 12*q + 8. Let c be n(-5). Suppose 34 = s + 3*y, s + y + c = 2*s. Does 37 divide s?
True
Let r = -148 - -144. Does 9 divide (-10668)/(-108) + r/(-18)?
True
Let q = -208 - -212. Let w(r) be the first derivative of 2*r**3/3 + r**2/2 - 2*r + 4. Does 6 divide w(q)?
False
Suppose -4*v = u - 2956, 0 = -3*u + v + 8817 + 51. Is u a multiple of 15?
False
Let i(p) = p**2 + 2*p - 92. Let a be i(-12). Let o = 842 + -107. Does 9 divide o/a - 2*(-1)/(-8)?
False
Let w be (-10)/(-25) - (-112)/20. Let l(u) = 9*u**2 + 5*u + 41. Let i(v) = 4*v**2 + 2*v + 20. Let d(j) = w*l(j) - 13*i(j). Does 8 divide d(-7)?
True
Let n = -9040 + 19570. Does 135 divide n?
True
Let t(m) = 17*m**2 - 11*m + 5. Suppose -4 = 11*n - 12*n. Is 21 a factor of t(n)?
False
Let d = 58362 + -37401. Does 109 divide d?
False
Let k(a) = a**3 + a**2 - 5*a + 69. Let n be k(0). Let o = 143 + n. Is o a multiple of 35?
False
Suppose 10*k = -8*k + 252. Does 63 divide (-60)/105 - (-6266)/k?
False
Let u(x) = 100*x**2 - 20*x - 48. Is u(-4) a multiple of 16?
True
Let q = -94 - -108. Let g(u) = -2*u**2 + 60*u - 27. Does 12 divide g(q)?
False
Let q = 6923 + -5848. Is q a multiple of 25?
True
Let h(n) = n**2 - 2*n + 27. Let b be h(0). Let m = b + 109. Does 12 divide m?
False
Suppose 6084 = 13*o - 1521. Is o a multiple of 2?
False
Suppose -3*i - 41 + 5 = 0. Let n = i + 14. Suppose -n - 24 = -2*k. Is 4 a fact