3 divide z?
True
Let a = 744 + -565. Is 5 a factor of a?
False
Let j(a) = 4*a**2 + 1. Let v be j(-1). Suppose v*q = 3*c - 69, -4*c + 4*q = -17 - 83. Is 20 a factor of c?
False
Let f be (2 - (-10)/(-6))/(1/9). Suppose 80 = -f*d + 11*d. Is 10 a factor of d?
True
Suppose 0 = -3*a + 5*s + 198, 5*a - 2*s = 4*a + 66. Does 22 divide a?
True
Let p = 16 - -194. Does 35 divide p?
True
Suppose 0 = 49*c - 65*c + 160. Let j(o) = 2*o**2 + 3*o - 2. Let s be j(-4). Let r = s + c. Does 19 divide r?
False
Does 14 divide 4*(2/(-6) - (-253)/66)?
True
Let i = 134 - -62. Suppose 0 = -4*u + 6*u - i. Is 10 a factor of u?
False
Suppose 0 = -0*k + 4*k - 5*i - 1, -4*i = -3*k. Suppose 0 = -u - 5*q - 6, -q = -k*u - 3*q + 12. Is 2 a factor of u?
True
Let p(y) = -147*y - 87. Is 17 a factor of p(-12)?
False
Let v(f) = -f - 3. Let o be 46/10 + (-24)/40. Suppose -o*t - 45 = -t. Does 6 divide v(t)?
True
Suppose 0 = 4*i + 5*j + 86, 3*i + j = 3*j - 53. Let r = i - -103. Is r a multiple of 28?
True
Let j = 10 + -4. Suppose h + 20 + j = -5*w, 38 = -3*h - 5*w. Is 17 a factor of h/15 + 816/15?
False
Suppose p - 470 = -5*d, -237 = -2*d - 3*p - 36. Is d a multiple of 27?
False
Suppose -5*t + 3*m + 1581 = 0, -4*t - 4*m - 141 = -1393. Is t a multiple of 105?
True
Suppose -5*q = -5*o - 35, -4*o - 73 + 81 = -q. Is 12 a factor of q?
True
Let f(r) be the third derivative of -r**6/12 - r**5/30 - r**4/24 - r**3/6 - 8*r**2. Let v be f(-2). Let z = v + -16. Is z a multiple of 15?
False
Let c(q) = q**3 - 22*q**2 + 40*q + 28. Does 12 divide c(22)?
False
Let z = 1899 + -1791. Is z a multiple of 6?
True
Suppose -4*r + 174 = -r. Suppose -29 = 3*b - 44. Suppose b*w - 178 = -r. Is w a multiple of 6?
True
Let j(n) = 8*n**3 + 2*n**2 + n - 1. Let s be j(2). Let h = s - 28. Suppose -c + h = 5*y, 2*c - 123 = -c - 3*y. Is 8 a factor of c?
True
Let a(h) = 5*h + 11. Let u be a(-11). Let s = u - -144. Does 27 divide s?
False
Let i(p) = 6*p**3 - p**2 - 2*p. Let u be i(2). Let r = u - -4. Suppose -r = -k - k. Does 11 divide k?
True
Let u = -7 + -3. Let o = u + 11. Is -1*o - (-15 - 16) a multiple of 10?
True
Let a be -1 - 2*31/(-2). Suppose -5*p + 12 = -3*o, 2*p = -0*p - 3*o - 12. Suppose -6*s + s + a = p. Is s a multiple of 6?
True
Let c be 1/(-6) + (-41)/6. Let m(g) = -2*g**2 - 6*g - 10. Let u be m(c). Let k = 110 + u. Does 22 divide k?
True
Let q = 16 - 13. Let d be 2/((-4)/(q + 5)). Is d - (-19 + (-2 - -2)) a multiple of 9?
False
Let l(n) = -n**3 - 4*n**2 - 2*n - 3. Let i be l(-4). Suppose -4*x + i*x + 5*v = -4, -5*x - 5*v + 60 = 0. Is 12 a factor of x?
False
Let y = 8 + 2. Suppose 8*h = y*h - 90. Is h a multiple of 9?
True
Let l(y) = 2*y**2 + 7*y. Let r(o) = -o**2 - 3*o. Let i(q) = -2*l(q) - 5*r(q). Let g be i(0). Suppose -4*a - 20 + 76 = g. Is a a multiple of 7?
True
Let i be (1 + (-4 - -3))/(-2) + 3. Suppose q - 28 = -i*q. Does 7 divide q?
True
Suppose 0*h + 2076 = 3*h. Suppose -2*p = -4*x + h, 356 - 2086 = 5*p + 5*x. Does 33 divide 4/(-6) - p/6?
False
Let j(s) = 14*s**3 + 6*s**2 - 5*s - 5. Let g be j(-5). Let l be (-20)/(-8)*g/(-25). Suppose 0 = -o - 3*v + 48, 5*o - 2*v - l = 116. Is o a multiple of 9?
True
Is 21 a factor of (2 - (-80091)/63) + 4/(-14)?
False
Let y = -562 + 3517. Is 25 a factor of y?
False
Suppose -4*w + 226 + 286 = 3*f, -4*f + 680 = 4*w. Is 28 a factor of f?
True
Suppose 0 = 2*p - 0*p - 8. Let l(k) = 6*k**2 - 3 + 0*k**3 + p*k - 4*k**2 - k**3. Does 4 divide l(2)?
False
Suppose -5*v = -3*q - q - 401, v = -4*q + 85. Let u = v - 78. Does 3 divide u?
True
Is (2105 + 0)/5 - (-3 - -8) a multiple of 61?
False
Let a(u) = u**2 - 38*u + 68. Does 35 divide a(0)?
False
Is 21 a factor of 91766/136 + 1/4?
False
Suppose 0 = 5*g + 3*u - 3479 + 1109, -20 = 4*u. Is 53 a factor of g?
True
Suppose 0 = 2*x - 5*x - 4*h + 445, h = 1. Is 3 a factor of x?
True
Suppose 6*y = 6652 - 580. Is y a multiple of 23?
True
Let d be (4/14)/(2/14). Let k(v) = -3*v + 0*v**2 - 3 - v**2 - 7*v - d*v. Does 8 divide k(-9)?
True
Suppose -21*o = -25771 - 3818. Is o a multiple of 25?
False
Suppose -5*z - 2*z = 0. Suppose 3*a - 2*a - 246 = z. Does 14 divide a?
False
Let g = -686 + 1045. Is g a multiple of 27?
False
Let i = -23 + 25. Suppose -5*p - 510 = -i*h, 0 = -h + 2*h - 4*p - 261. Does 35 divide h?
True
Suppose 0 = -279*g + 285*g - 72. Does 10 divide g?
False
Let s = -297 + 528. Is 11 a factor of s?
True
Let w(o) = 135*o**2 + 16*o + 51. Is 48 a factor of w(-3)?
False
Let f = -354 + 1094. Does 36 divide f?
False
Suppose -4*r = 13 + 27. Suppose -1362 = i - 4*i. Is (-2)/5 - i/r a multiple of 15?
True
Let k = 296 - 103. Is k a multiple of 79?
False
Let v = -62 + 101. Is (-62)/(-3) + (-26)/v a multiple of 20?
True
Let d be (-2 + 1)*(-7 - -369). Let f = -89 - d. Does 21 divide f?
True
Let c be (43*-1)/((-6)/(-18)). Let p = -74 - c. Does 10 divide p?
False
Suppose 12 = -2*f - 0*f. Let v be ((-9)/f)/(3/10). Suppose v*x = 3*z - 37, 0*x - 4*x = 4*z - 60. Does 10 divide z?
False
Let y(r) = -9*r**3 - 5*r**2 - 20*r + 16. Does 2 divide y(-3)?
True
Suppose b + 4*b = 475. Suppose 5*n + b = 6*n. Is n a multiple of 14?
False
Suppose 38 = 4*n - 46. Let x be (18/n)/((-4)/(-14)). Suppose 2*p - 34 = -m + 37, -176 = -5*p - x*m. Does 10 divide p?
False
Let u(r) = 10*r + 81. Is 34 a factor of u(29)?
False
Let y(x) = -16*x - 17. Let b(s) = 32*s + 33. Let q(o) = -3*b(o) - 5*y(o). Let m be q(-4). Let i = -18 + m. Is 32 a factor of i?
True
Let p be ((-30)/(-35))/(1/(-7)). Let a(v) = -v**2 - 4*v + 14. Let m be a(p). Suppose 3*l - 335 = -m*l. Does 19 divide l?
False
Let h be 4/(-6) + (-34)/(-6). Suppose -h*n - 45 = -0*n. Let u = -1 - n. Is u a multiple of 8?
True
Suppose -11*o + 2896 = -1856. Is 18 a factor of o?
True
Let v be 34 + 0/(0 - 2). Let k = 42 - v. Is k a multiple of 6?
False
Let h(t) = 6*t**3 - 11*t**2 - 21*t + 20. Let p(a) = -5*a**3 + 11*a**2 + 21*a - 19. Let d(o) = -6*h(o) - 7*p(o). Is 8 a factor of d(-9)?
True
Suppose -4*j = -j - 6. Is (-1)/2 + 107/j a multiple of 9?
False
Suppose -3*k = -4*x - 45 + 359, -2*k + 164 = 2*x. Suppose 0 = 4*c, 2*w - x = -2*c - 0*c. Is 10 a factor of w?
True
Let q(p) = p**3 + 3*p**2 + 3. Let t be q(-3). Let s = 26 - t. Suppose 2*u = o - s, 63 = -5*o + 4*u + 160. Is 11 a factor of o?
False
Let b = -945 + 1406. Suppose -3*r + 1351 = -2*o, -4*o + 1307 + b = 4*r. Suppose 78 = 5*l - r. Is 27 a factor of l?
False
Suppose -11394 = -6*j - 3*j. Is 28 a factor of j?
False
Suppose 10 + 8 = -3*y. Is (24 - 2)/((-4)/y) a multiple of 12?
False
Let p(d) = d**3 - 6*d**2 - d + 9. Let b be p(6). Suppose n + b*n - 16 = -4*f, -f - 4*n + 4 = 0. Let t = 44 + f. Is t a multiple of 7?
False
Let m = 9 + -4. Suppose -6*l + 5*l = -m. Is 27 a factor of 2 + l*(-25)/(-5)?
True
Let c(d) = 2*d**2 + 26*d + 32. Suppose f = -6*f - 112. Does 26 divide c(f)?
False
Let m be 2/(-2*4/(-236)). Let a = m + -23. Is 9 a factor of (-62)/3*a/(-24)?
False
Let o be 4 - 0 - 636/(-12). Let z = o + 130. Does 17 divide z?
True
Let s(m) = m**3 + 8*m**2 - 12*m + 9. Let a be -12*(2 + (0 - 3)). Let l = a + -21. Is 12 a factor of s(l)?
True
Suppose 3*t = -2*i + 447, -i = -3*i + t + 427. Does 24 divide i?
True
Suppose -32*n - 1 + 161 = 0. Does 3 divide n?
False
Suppose -2*v - 7472 = -5*l, -13*v = -l - 18*v + 1516. Is 8 a factor of l?
True
Let w be ((-70)/(-4))/(2/4). Let p(f) = 10*f**2 - 16*f + 31. Let m be p(11). Does 5 divide m/w - 4/(-7)?
False
Let u be 1*(12 + -2 + 1). Suppose -59 = -o - u. Does 16 divide o?
True
Let u(f) = -f**2 - 3*f. Let m(i) = -6*i**2 - 16*i + 1. Let a(t) = -2*m(t) + 11*u(t). Let v be a(-2). Is 11 a factor of 8/(v/1)*20?
False
Suppose -2*u + 59 = -493. Does 22 divide u?
False
Let t be (298/(-8))/(1/(-4)). Let y = t + -69. Suppose -4*i = i - y. Is i a multiple of 16?
True
Let j(x) = x**3 + 10*x**2 - 12*x - 9. Let g be j(-9). Suppose 0 = -2*h - 3*b + 90, -h - 3*b - g = -5*h. Does 9 divide h?
True
Let r(p) = 23*p - 20. Is 11 a factor of r(9)?
True
Let f(g) = -g**3 + 7*g**2 + 10*g - 6. Let p be f(8). Suppose 3*q + 0 = -4*l + 20, -5*l = -p. Suppose 44 = 2*i - q. Does 10 divide i?
False
Suppose -10*t + 8*t = 0. Suppose -2*s + 2 = t, 5*j - 6 = j + 2*s. Suppose x - j*x + 45 = 0. Is 25 a factor of x?
False
Let x = 197 + -121. Is x a multiple of 2?
True
Let p be 11 - (-1)/((-1)/(-2)). Suppose 331 = v - 2*f, -p*f = 4*v - 8*f - 1298. Is 14 a factor of v?
False
