3*f**2 - 7*f - 26. Let c be j(5). Suppose 4*z + c*z = 9396. Is z a multiple of 18?
True
Let k = 2728 + -451. Does 72 divide k?
False
Let p(x) = -x**3 + 5*x**2 + 9*x + 18. Does 18 divide p(-8)?
False
Let p(z) = -119*z + 34. Let y(g) = -g. Let a(h) = -p(h) + 102*y(h). Let i be a(-9). Let o = i - -328. Does 29 divide o?
False
Does 35 divide 187/22*(-13)/((-13)/314)?
False
Does 164 divide (-392 - -387)*(-4649)/1?
False
Let q(a) = 20*a**2 - 17*a - 15. Let s be q(-5). Suppose -3*w + 342 = 3*i, -4*w = 5*i - 2*w - s. Is i even?
True
Suppose -5*x - 4*i + 3*i + 7 = 0, -2*x - i + 1 = 0. Suppose -5*b = -a - 3*a + 362, x = b. Suppose w + 3*w - a = -5*y, 99 = 4*y - 5*w. Is 13 a factor of y?
False
Suppose 0*o - o + 5*r = 3, -5*r = 4*o - 13. Suppose -o*j + 30 = 26. Suppose 0 = -3*a - 0*y + j*y + 217, 2*y = -4*a + 294. Does 12 divide a?
False
Let t(m) be the third derivative of -m**5/60 + 11*m**4/24 - 19*m**3/6 + 26*m**2. Let c be t(9). Is 10 a factor of 0/((-1)/1) - (-97 + c)?
False
Let x(u) be the third derivative of -u**5/60 - 3*u**4/4 + 17*u**3/6 - 5*u**2. Let b = -46 - -32. Is x(b) a multiple of 31?
False
Does 230 divide 13/(156/218661) - 15/20?
False
Let i(l) = -13*l**3 - l**2 + 2*l + 4. Let s be 3*(-2 - -1) - (14 - 14). Is i(s) a multiple of 20?
True
Is 16 a factor of (-2120)/(231/242 + -1)?
True
Suppose -26*m - 621 = 2343. Is 15 a factor of (-44536)/m + (-2)/3?
True
Let g = 223 - -1147. Suppose -865*f + g = -863*f. Does 60 divide f?
False
Is (-3570)/(-35) - (-1)/2*(3 - 5) a multiple of 24?
False
Let d(t) be the first derivative of -25*t**2/2 + 13*t - 253. Does 34 divide d(-37)?
False
Let h = -5757 - -6051. Is h a multiple of 21?
True
Let m(j) = 15*j + j**3 + 0*j**2 - 3*j**2 - 3 + 4. Let i = -3246 + 3251. Is m(i) a multiple of 18?
True
Let d = -438 + 436. Is 15 a factor of (180 - 1)*-4*1/d?
False
Suppose 9 + 16 = 5*g. Let j(l) = 58 - 53 - g*l - 14*l. Is 10 a factor of j(-5)?
True
Let i(b) = 1852*b**2 - 183*b - 947. Does 19 divide i(-5)?
False
Suppose 3*o - 28 = -2*o + 4*a, 30 = 5*o - 5*a. Suppose -5*d + o*f = -624, -d + 617 = 4*d + 3*f. Is d a multiple of 4?
True
Suppose 10*x = 16*x + 6. Let d(t) = -264*t**3 - t**2 - t + 1. Is 23 a factor of d(x)?
False
Let x(m) = m**3 + 5*m**2 - 11*m + 16. Let h be x(-7). Does 8 divide 2/h*(-43350)/51?
False
Suppose 2*k = 3*k - 3, -3*m + 3*k + 24 = 0. Suppose -3*z = 2 - m. Is 1267/28 + z/(-12) a multiple of 9?
True
Let t(p) = 10*p - 13. Let w be t(2). Is -2 + w - (212/(-4) + 2) a multiple of 8?
True
Does 3 divide (17 - -1)/((-113)/452*6/(-119))?
True
Let r = 8745 + -7523. Is 5 a factor of r?
False
Is 84 a factor of (-21 + 18)*(11 - 11239)?
True
Let i(t) = t**3 + 47*t**2 + 44*t - 44. Is i(-44) a multiple of 6?
True
Let x = -5966 - -10374. Is x a multiple of 8?
True
Let h(r) = r**2 - 19*r - 87. Suppose 5*b + 4*y = -y + 125, 2*b - y = 59. Is h(b) a multiple of 20?
False
Let u be 0 + ((-3144)/(-20))/(57/10 + -6). Let f = -216 - 53. Let y = f - u. Is 37 a factor of y?
False
Suppose 0 = 6*z - 361 + 133. Let r = 167 - z. Let h = r - 47. Does 14 divide h?
False
Let k(t) = 4*t**3 - t**2 + 7*t + 16. Let p be (((-24)/6)/12)/(2/(-30)). Let u(f) = -f**3 + 2*f**2 + f. Let x(b) = p*u(b) + k(b). Does 16 divide x(10)?
False
Let g(p) = p**2 - 111*p + 140. Is 14 a factor of g(-43)?
True
Let h(z) = -44*z - 84. Let i(s) = -15*s - 28. Let g(y) = 4*h(y) - 11*i(y). Let l = -76 + 61. Is g(l) a multiple of 21?
False
Let c be (-14)/42*(-24)/2. Suppose 12 = c*x - 4. Does 11 divide (x + -7 + 4)*67?
False
Suppose -6*b + 3*o = -5736, 5*b + 3*o = -2348 + 7161. Is b a multiple of 7?
True
Let j = 55 + -53. Suppose 0 = 4*m - 3*n - 1569, -4*m = 2*n + j*n - 1548. Is m a multiple of 78?
True
Let t be (1 + 0 - 3)*-24. Suppose -8*j = -6*j + t. Is (-948)/(j/4) - (-1 + 1) a multiple of 25?
False
Let o(w) = -12*w**3 - 7*w**2 + 4*w + 12. Let n(v) = -11*v**3 - 6*v**2 + 4*v + 11. Let p(a) = 7*n(a) - 6*o(a). Let z be p(3). Let u = z + 213. Does 10 divide u?
False
Let x = -5028 - -7718. Does 30 divide x?
False
Suppose 4*n - 4*z - 120 = 0, 0 = 4*n + 4*z + 3 - 91. Let y be (-8*n)/(-4)*12. Suppose y = 5*x - x. Does 14 divide x?
False
Suppose -2*m + 5*l + 2791 = -33159, -2*m = 5*l - 35990. Is 24 a factor of m?
False
Let t(v) = 584*v**2 - 73*v - 291. Is t(-5) a multiple of 29?
True
Does 14 divide 15*(-19644)/(-120) + (-1)/2 - -3?
False
Let b(q) = 8*q - 68. Let j = 108 - 95. Does 4 divide b(j)?
True
Let h(r) be the third derivative of -r**6/120 - r**5/6 - 19*r**4/24 - r**3 - 2*r**2. Suppose 3*f - 5*f + t - 19 = 0, -f + 4*t = 13. Is h(f) a multiple of 12?
True
Suppose -2*n - 5*a - 783 = -3*n, -3987 = -5*n + a. Suppose -65*k + 59*k = -n. Does 19 divide k?
True
Let m be (-4 + 1 + 3)/3. Let n be (-4 - 0) + 10 + m + 3. Suppose -16*r = -n*r - 434. Is r a multiple of 10?
False
Suppose -5*y - 4*s + 2798 = -6*s, 5*s + 1115 = 2*y. Is y a multiple of 16?
True
Let i be (-8)/10 + 1 - 414/(-230). Suppose 2*s + s + 5*v = 470, -i*v = 4. Is 14 a factor of s?
False
Let j = 4 - -1. Suppose -j*x = -8*x + 12. Suppose -x*u = 5*u - 234. Is 13 a factor of u?
True
Let x = -5885 + 12493. Does 28 divide x?
True
Let z(v) = -v**3 - 5*v**2 - v + 7. Let m be z(-5). Suppose 3*x = 6*x - m. Suppose -7*g + 201 = -x*g. Does 11 divide g?
False
Suppose 10*w - 6996 = 23224. Is w a multiple of 117?
False
Suppose -6*t + 2*t = -768. Let d = t + -142. Is 14 a factor of d?
False
Let u(p) = -3*p**3 + 31*p**2 - 31*p - 62. Let c(i) = -i**3 - i**2 + 2*i + 1. Let g(s) = 2*c(s) - u(s). Is g(32) a multiple of 20?
True
Let f(t) = 16*t + 13. Let n be f(-1). Is 11 a factor of (-1)/n + 5570/30?
False
Let s(j) be the third derivative of j**6/120 - j**5/10 + 3*j**4/8 + j**3/2 - 13*j**2. Let p be s(4). Suppose 0*z - p*z + 560 = 0. Is z a multiple of 20?
True
Let h = -326 - -206. Let w be ((-2)/10 + (-64)/h)*6. Is w - -58 - (-1 - -1) a multiple of 10?
True
Let c(z) = 16*z**2 + 5*z + 3. Let q(g) = g + 1. Let x be q(14). Suppose 6*o - o + x = 0. Does 11 divide c(o)?
True
Let c = 197 + -300. Let g = 267 + c. Suppose 2*a = 136 + g. Is a a multiple of 25?
True
Let v = -340 - -933. Let u = v + -562. Is u a multiple of 6?
False
Let k(d) be the first derivative of -d**4/4 + 2*d**3 + 3*d**2/2 + 5*d + 200. Does 7 divide k(6)?
False
Let u = 329 + -286. Is 12 a factor of -15*(-1)/10*u*8?
True
Suppose -13 - 63 = -4*g. Let l = g - 18. Suppose 5*s = -3*j - 4, 2*s + 11 = l. Is 3 a factor of j?
False
Suppose h + 7070 = 4*l, -22 = -4*h + 2. Is l a multiple of 9?
False
Let d(c) = -114*c + 18. Let j be d(-6). Suppose 10*r - 4*r = j. Is r a multiple of 13?
True
Let z be (-1)/(-8) - (8 + (-605)/88). Is 11 a factor of 317 + -2 + 4 + z?
False
Let f(l) = 272*l + 1348. Is f(116) a multiple of 175?
True
Suppose 0 = 5*k - 3*z - 130483, -73*k + 61*k - 2*z + 313150 = 0. Is 211 a factor of k?
False
Suppose 0 = -437*o + 419*o. Let q = 141 + -27. Suppose 3*l - 42 - q = o. Does 26 divide l?
True
Let n(o) = 2*o**2 + 4*o + 2. Let l be n(-2). Suppose 4 = -2*z - l. Let m = z - -43. Is m a multiple of 20?
True
Suppose 0 = 4*g - 5*q - 1631, -1226 = -6*g + 3*g + q. Suppose -8*y + g = -263. Is y a multiple of 11?
False
Let a be 18/4 + (-10)/20. Suppose 4*k = -a*d + 49 + 187, 0 = -4*k - 20. Suppose d = 4*u - 88. Does 8 divide u?
False
Is 48 a factor of ((8/(-6))/2)/((-196)/779982)?
False
Let d = 95 - 41. Suppose 4*i - d = 98. Is 38 a factor of i?
True
Suppose -4*l + 183 = 3*o - 15594, -l = -5*o + 26249. Is 117 a factor of o?
False
Suppose 2*z = 2*l + 1016, 55*z - 59*z + 2023 = -l. Let m = -358 + z. Is 53 a factor of m?
False
Let j(s) = 3910*s**2 + 14*s + 4. Is 100 a factor of j(-1)?
True
Is 8 a factor of 2457 - (1 - 6)/(10/4)?
False
Let a(q) = -q**3 + 17*q + 35. Let t(i) = -i**3 + 2*i**2 + 18*i + 32. Let w(k) = 5*a(k) - 6*t(k). Let r(g) = -6*g + 2. Let j be r(-2). Is 13 a factor of w(j)?
False
Suppose 249134 = 32*c - 1257970. Is c a multiple of 322?
False
Suppose -10*n + 2*x = -6*n - 2802, -1405 = -2*n + 5*x. Does 14 divide n?
True
Is ((-12932)/12)/(8/(-18)*12/16) a multiple of 49?
False
Let x = 123 + -120. Suppose 2*t - 68 = -3*r, -x*t - 3*r = -5*t + 92. Is t a multiple of 21?
False
Let f = 81 + -78. Suppose 971 + 1045 = 8*m. Suppose f*n = m + 72. Is n a multiple of 27?
True
Let i(o) = -17*o - 16. Suppose 12 = 3*w - 18. Suppose 2*k - 8 = 2*c, -c - 4*k = 9 + w. Does 