t i be z(1). Let j(c) = 233*c**3 - 2*c**2 + 2*c - 1. Let h be j(1). Suppose -i + h = 4*n. Does 12 divide n?
False
Let a = 31 - 26. Let y(g) = g**2 + 4*g + 4. Let n be y(a). Suppose -n = -2*s - 9. Is 10 a factor of s?
True
Suppose 0 = x + 2*s + 6 + 9, 66 = -4*x - 2*s. Is (x - -2)*-9 + -3 a multiple of 11?
True
Suppose -3424 = -7*h - 14862. Let i = h + 2432. Is 19 a factor of i?
True
Suppose g - 26617 = -5*u, -2*g - 2*g - 12 = 0. Is 1/(-2)*5/(-10)*u a multiple of 15?
False
Let l = 2342 - -2673. Suppose -22*p + l = -5*p. Does 5 divide p?
True
Let z(h) be the third derivative of h**5/30 - h**4/4 - 2*h**3 - 18*h**2. Does 18 divide z(13)?
False
Suppose -42*i - 912660 = -24*i - 123*i. Does 41 divide i?
True
Let g(c) = c**2 - 3*c - 5. Let f(u) = -2*u**2 + 5*u + 10. Let j(s) = -4*f(s) - 7*g(s). Let d be j(6). Let n = d + -25. Is n a multiple of 3?
True
Let c be (-142)/12 - 5/30. Does 12 divide c*((-35)/28)/(-1 - -2)?
False
Suppose 0 = 97*z + 328630 - 3991544. Is z a multiple of 239?
True
Is 30 a factor of (-4)/(-16) + 4271365/1260 + 2/(-9)?
True
Suppose 0 = -25*c + 41*c - 6528. Does 8 divide c?
True
Suppose -4*f = -2*q - 274, q - 2*q - 2*f = 149. Let r = 93 + q. Let w = 81 + r. Is w a multiple of 24?
False
Let s be (2/(-6))/(13/(-117)). Suppose 71 + 131 = 3*w + 4*x, 0 = -s*x + 3. Is 8 a factor of w?
False
Does 149 divide 3 - (2/12 + (-18 - 619775/30))?
False
Suppose 3*m + 2*m - 85 = 0. Suppose -2*y + 42 = 5*l, 3*l + m = 5*y - 57. Suppose -20*h = -y*h - 312. Does 40 divide h?
False
Suppose 47*b - 62*b = -315. Suppose 17*p - 6384 = -b*p. Is p a multiple of 11?
False
Let y = 2718 - 927. Is y a multiple of 28?
False
Let r(v) = v**2 - 68*v + 3187. Is 13 a factor of r(0)?
False
Let i = 65 + -70. Is 40 a factor of (12/i)/((-21)/700*1)?
True
Suppose -88*v + 58*v = -245070. Is 59 a factor of v?
False
Suppose -56 = -55*j + 48*j. Let w be 111/(-39) + j/(-52). Let n(b) = 28*b**2 + b - 1. Is n(w) a multiple of 31?
True
Suppose 0*q = -4*q - 36. Let f(x) = x**3 + 9*x**2 - 8*x - 6. Let r be f(q). Is 17 a factor of 1 - (r/3)/(-1)?
False
Suppose -6*u = 7*u - 1274. Let o = -118 + u. Is 17 a factor of (-3176)/o + (-3)/(-15)?
False
Suppose -f + 291 = -3*w, -3*f + 2*w + 2*w + 873 = 0. Is 12 a factor of f?
False
Let p(v) = -169*v**3 + 9*v**2 + 86*v - 5. Is 252 a factor of p(-6)?
False
Suppose y + 18892 = 3*u, -3*u + 18886 = -7*y + 3*y. Is u a multiple of 94?
True
Suppose 5*x - 23 = -193. Let o = x + 19. Let y(f) = f**3 + 16*f**2 - 2*f + 32. Is 41 a factor of y(o)?
True
Let w = 255 - 251. Suppose -o + 3*d = -172 - 226, 5*d - 1166 = -3*o. Suppose -w*k = 5*n - o, -2*n - 2*k + 4*k = -164. Is n a multiple of 10?
True
Suppose 109*c = 145*c - 352512. Does 18 divide c?
True
Suppose -52829 - 1607541 = -115*g. Is 46 a factor of g?
False
Let x(k) = 80*k**2 + 8 + 2*k - 81*k**2 + 6 - 6 - 38*k**3. Is x(-2) a multiple of 16?
True
Let j(x) = -2*x**2 + 1. Let y(v) = 109*v**3 - 15*v**2 - 7*v - 3. Let n(w) = 6*j(w) - y(w). Does 45 divide n(-2)?
False
Let k be ((-123)/328)/((-27)/24 + 1). Suppose k*i - 533 = 40. Is 12 a factor of i?
False
Let u(f) = -f**3 - 2*f**2 + 7*f - 2. Let l be u(-4). Suppose 4*t = -5*g + 306, 140 = l*t + g - 5*g. Is 9 a factor of t?
False
Let r(y) = -y**3 - 7*y**2 - 3*y - 16. Let o be r(-7). Suppose 0 = 2*g - 4*n + 26, -2*g - 54 = o*n + 17. Let l = -20 - g. Is l even?
False
Suppose 4*u + 88 = -2*h, -3*u - u = 3*h + 126. Let v = h + 24. Let w = v - -82. Is w a multiple of 20?
False
Let s be (-12)/(-8)*(-4384)/(-24). Let q = s + -113. Is 24 a factor of q?
False
Let r be ((-228)/(-24))/(3/90). Suppose 2*o - r = -3*h - 2*h, -4*h - 12 = 0. Suppose 0 = 4*f - 5*f - 4*m + 36, 2*m + o = 3*f. Does 48 divide f?
True
Suppose -10*n = -57 - 3153. Does 18 divide (-2 - n/(-2))/((-6)/(-12))?
False
Let s(p) = 94*p**2 - 866*p + 3. Is s(12) a multiple of 2?
False
Let p be 16302/(-38)*8/(-6). Suppose -t = -5*l - 164, -3*t + 6*l - 7*l = -p. Is t a multiple of 33?
False
Suppose 0*a + 3*a - 9 = 0. Let c(p) = -p**3 - 2*p + 1. Let z(b) = -3*b**3 - b**2 - 12*b + 9. Let s(y) = -4*c(y) + z(y). Is s(a) a multiple of 2?
False
Let r(j) = -j**3 - 2*j - 100. Let v = -41 - -41. Let b be r(v). Does 14 divide (-10)/(104/b + 1) - -2?
True
Suppose 4*y = -4*i + 37 - 13, -i + 12 = 4*y. Suppose 10*u - i*u = 12. Suppose 252 = 5*p - 3*q + 5*q, u*q = -8. Does 26 divide p?
True
Suppose 66*o - 41*o = -68*o + 1734264. Does 63 divide o?
True
Suppose -2*r + 11630 = 5*g, -4*g + r + 3053 = -6238. Does 17 divide (-20)/30 + g/3?
False
Suppose -101717 = -357*s + 237433. Is s a multiple of 48?
False
Suppose 241*d + w = 243*d - 36428, 2*d = 4*w + 36434. Is 9 a factor of d?
False
Let a(i) = 13*i**2 - 8 + 2*i**3 + 10 + 2*i**3 + 15*i - 3*i**3. Let g be a(-12). Let s = 39 - g. Does 12 divide s?
False
Let a = -4580 + 5260. Is 8 a factor of a?
True
Suppose 0 = 4*s + 2*c, -c - 6 = -0*s - s. Suppose -l + 424 = -s*f, -5*l = -l - 5*f - 1693. Is l a multiple of 69?
False
Suppose 3*h + 5*j = 191, -4*h - j = -124 - 159. Let f = -69 + h. Suppose 164 = f*r - 13. Is r a multiple of 9?
False
Suppose -2*q - 9 + 13 = 0. Suppose q*o + 20 + 26 = 0. Let d(y) = y**3 + 23*y**2 - y - 13. Is d(o) a multiple of 5?
True
Let y(r) = -r**3 - 33*r**2 + 60. Suppose -2*k = -0*k, -132 = 4*j - 4*k. Is y(j) a multiple of 23?
False
Is 2/23*735674/4 - (-2008)/23092 a multiple of 206?
False
Let q(k) = -174 + 361*k + 447*k - 703*k. Is q(10) a multiple of 12?
True
Suppose 2*w = 3*d - 746, 0 = 2*d - 3*w - 694 + 195. Let q = 478 - d. Does 46 divide q?
True
Let r(l) = 138*l - 42. Let s(p) = -143*p + 43. Let c(g) = -4*r(g) - 3*s(g). Is 12 a factor of c(-3)?
True
Is 130 a factor of 538/(-36)*-166 - ((-15356)/(-396) + -39)?
False
Suppose -3*t + 21 = 12, 4*t = -f + 17897. Is f a multiple of 73?
True
Suppose -2*f - 40 = -44. Is 39 a factor of ((-85)/7 + 1)/(f/(-14))?
True
Suppose 4*d - 254 - 1700 = -2*t, 0 = -3*t - 9. Suppose 3*o - 5*j = 5*o, 5*o = -5*j. Suppose -2*h = -o*p - p + 115, 2*h = 4*p - d. Does 25 divide p?
True
Let f be (-65)/25 + 6/(-15) - -316. Let s = f - 171. Is s a multiple of 11?
False
Suppose -2180 = -6*g - 80. Let p = -172 + g. Is 7 a factor of p?
False
Let g be -9*(-6)/(-621) - 26952/46. Let a = 683 + g. Does 6 divide a?
False
Suppose 5*m + 5*a = a + 1197, 2*a = 5*m - 1179. Suppose g + 53 = m. Is 8 a factor of g?
True
Let j(f) = f**3 + 6*f**2 + 15*f + 5. Let q be j(5). Suppose -6*l - 139 + q = 0. Does 9 divide l?
True
Let g(h) = h**3 - h + 1. Let d(s) = 3*s**3 - s**2 + 179. Let o(k) = d(k) - 2*g(k). Let z be o(0). Suppose 3*u + z - 654 = 0. Does 13 divide u?
False
Suppose -114*u = -123*u + 207. Suppose -13*y + 396 = u*y. Does 8 divide y?
False
Suppose l - 27 = -5*k, 0 - 29 = -5*k - 2*l. Suppose y + 2*a + 3*a = 902, -k*a - 1729 = -2*y. Is 50 a factor of y?
False
Let y(u) = 28*u - 22. Let m be y(-3). Let q = m + 183. Suppose 0 = 2*v - 43 - q. Is 12 a factor of v?
True
Suppose -14*y + 2960 = -24*y. Let w = -269 - y. Is 3 a factor of w?
True
Let z(u) = -3 + u**2 + 4 + 3 + 5 - 11*u. Is z(-12) a multiple of 11?
False
Let d = 441 + -430. Suppose -3*t = 4*v - 352, -2*t + 265 = -d*v + 14*v. Is v a multiple of 11?
False
Let q(a) = -3*a + 10*a - 16*a**2 + 101 + 33*a**2. Let k(p) = -12*p**2 - 5*p - 67. Let o(t) = 7*k(t) + 5*q(t). Is 3 a factor of o(0)?
True
Let k(n) = -12*n + 61. Let y be k(-27). Suppose 4*s + s = y. Does 27 divide s?
False
Let a(u) = -2*u + 1. Let z be a(-2). Suppose z = f, c + 0*c - 3*f + 13 = 0. Suppose 2 + 4 = 3*s, -4*s = c*x - 234. Does 10 divide x?
False
Let l(z) = -2*z**2 + 21*z - 23. Let m be l(9). Let v(d) = 55*d - 11. Is 11 a factor of v(m)?
True
Suppose -2*d - j = -7, -2*d + 6 = d - 3*j. Suppose 3*p = -15, -q = q - d*p - 231. Let i = q - 54. Is 19 a factor of i?
False
Let w(d) = -14*d - 5. Let b be w(-4). Suppose 0 = 5*p - 8*o + 9*o - 336, -8 = 2*o. Is 10 a factor of (p/(-51))/((-2)/b)?
False
Let x = 38817 - 14233. Is x a multiple of 56?
True
Suppose 5*i - i + 23 = p, -5*p + 4*i = -51. Is 9 a factor of 4/38 + (p - (-33740)/38)?
False
Let z = 35 - 35. Does 3 divide 732/8 - (z + (-6)/(-4))?
True
Let w = -83 - -95. Suppose 15*t = 13*t + w. Suppose 0 = -t*r - 4*r + 870. Is r a multiple of 23?
False
Let h(v) = 524*v**2 - 2*v. Let a be h(1). Suppose 2*f - 352 = -4*z, z = -5*f + 1438 - a. Is f a multiple of 5?
False
Let y(d) be the first deri