False
Suppose 0 = -u - 8 + 15. Is u a multiple of 4?
False
Suppose -3*t + 2*j + 253 = 3*j, 0 = 4*t + 5*j - 319. Let i be (-2)/(-8) - t/(-8). Suppose -4*o = -9 - i. Is 5 a factor of o?
True
Suppose 2*n = 3*i + 57, -4*n + 32 + 115 = 5*i. Does 3 divide n?
True
Suppose -43 + 164 = 5*s + 4*n, -79 = -3*s - 4*n. Is 12 a factor of s?
False
Suppose 0 = -8*a + 3*a - 20, 0 = -3*z + 3*a + 45. Let g(l) = l**2 - 7*l + 1. Does 15 divide g(z)?
True
Let d = -32 + 43. Is d a multiple of 5?
False
Suppose 5*i = 2*b + 345, -i = i - 5*b - 159. Suppose -i = -4*a + 173. Is 30 a factor of a?
True
Let x(o) = o**3 - 3*o**2 - 6*o + 6. Let n be 8/(-28) - (-30)/7. Let u be x(n). Does 9 divide (-4)/u - (-66)/3?
False
Let k(t) = 2*t**2 + t - 15. Does 5 divide k(-5)?
True
Is 20 a factor of 2 - -157 - ((-4)/(-4))/(-1)?
True
Suppose -280 = -5*t - 65. Let c = 39 + t. Suppose 0 = -4*d + 2*k + c, 0*d + 74 = 3*d - 4*k. Does 10 divide d?
False
Let x be (-18)/(-4) + 1/2. Suppose -3*j = -x - 1. Does 10 divide j*1/(-2) + 21?
True
Suppose 5*j - 86 - 49 = 0. Let r = 39 - j. Is 6 a factor of r?
True
Let f(h) = -3*h**3 - h. Let n = -11 + 10. Let p be f(n). Suppose 2*u - 14 = 4*w - 0*w, p*w = -4. Is u a multiple of 5?
True
Suppose 5*g - 4*g - 126 = -5*f, -3*f = 4*g - 79. Let m = -10 + f. Let p = 25 - m. Is 7 a factor of p?
False
Let f be (-1 - 5)*2/4. Let a be 59/5 + f/(-15). Is a/54 + (-43)/(-9) a multiple of 2?
False
Let n(r) be the third derivative of r**6/120 + 3*r**5/20 - r**4/8 + 7*r**3/6 + 4*r**2. Is 9 a factor of n(-9)?
False
Let z be (-24*1)/((-2)/2). Suppose -g - 4 + z = 0. Does 10 divide g?
True
Suppose 0 = -5*o + w + 407, o - 3*w = -6*w + 91. Does 39 divide o?
False
Let v(t) be the third derivative of t**6/120 + 3*t**5/20 + t**4/4 + t**3/3 + 8*t**2. Is v(-8) a multiple of 9?
True
Let l = 94 + 35. Does 11 divide l?
False
Suppose 0 = -4*n + 5*r + 16, 2*n + 2*r = -3 + 11. Suppose 0*x + n*f = -x + 15, 3*x = f + 19. Is x a multiple of 6?
False
Let m = -4 + 6. Suppose -5*d + m*o = -127, -d = 5*o - 26 + 6. Does 16 divide d?
False
Suppose 45 + 63 = 2*k. Let y = k + -24. Is 14 a factor of y?
False
Let y(n) = n + 11. Let k = -9 + 1. Let d be y(k). Suppose j = -d*j + 116. Does 17 divide j?
False
Let k be -1*-2*(1 - 0). Suppose 5*h - 30 = -4*w, -2 - 3 = k*h + 5*w. Is h a multiple of 5?
True
Suppose -3*t = 5*z - 4, 4*t + 2 - 15 = z. Suppose t*s + 49 = 229. Does 13 divide s?
False
Suppose -5*m + 13 = -2. Suppose -2*w - 27 = -5*w - m*h, -2*h - 10 = 0. Does 11 divide w?
False
Let o(f) = 2*f**2 - f - 1. Let s be o(2). Suppose c + s*b = 67, 2*c - b - b = 146. Does 24 divide c?
True
Let l = 17 - 45. Let t = -7 + -3. Let h = t - l. Is 9 a factor of h?
True
Does 5 divide (-314)/(-8) + 2/(-8)?
False
Let o = -4 + 4. Suppose 5*q - 372 = -2*t - t, 2*q - t - 151 = o. Does 21 divide q?
False
Let u be (-3)/2*50/(-15). Suppose 4*o - r = 3*o + 29, u*o + 5*r = 105. Suppose 2*p - o = 21. Is p a multiple of 15?
False
Suppose 0 = -3*f + f + 82. Let p = 65 - f. Is p a multiple of 12?
True
Let m(c) = 4*c**3 + 2*c**2 - 6. Is m(3) a multiple of 12?
True
Let d(m) = -10*m**3 - 2*m**2 - m - 2. Does 18 divide d(-2)?
True
Let w(d) = 2*d**2 + d + 8. Is 21 a factor of w(5)?
True
Suppose 0 = 4*b - 5*t - 140, -2*b + t + 67 = 3. Is 9 a factor of b?
False
Let a be ((-3)/6)/((-1)/2). Let g(x) = 16*x**3 + 2*x**2 - 1. Is 8 a factor of g(a)?
False
Let j(n) = n**3 - 5*n**2 - 4*n - 4. Let w = 6 + -8. Let g be 1 - 5/w*2. Is 4 a factor of j(g)?
True
Suppose -4*z = -9*z + 15. Suppose -2*i - z = -3*i. Suppose -13 = -i*u + 26. Is u a multiple of 9?
False
Let i = -5 - 1. Let q = i - -3. Let h = q - -42. Does 13 divide h?
True
Let w(z) = 15*z**2 - 3*z + 1. Does 24 divide w(3)?
False
Let l = -18 - -30. Suppose l + 15 = 3*f. Is f a multiple of 3?
True
Let t(g) = -g**3 - 3*g**2 - 2*g. Suppose 0 = -3*q - 0*q - 6. Let y be t(q). Is 5 a factor of -3 - 13/(-1) - y?
True
Suppose -3 = -2*z - r, 5*z + 3*r + 0*r - 5 = 0. Is z/6 + (-46)/(-3) a multiple of 9?
False
Let s = -3 - -5. Suppose -4 = -q - s. Is 6 a factor of 1 - (-2)/q*5?
True
Let f be (-2)/(1 - (-20)/(-18)). Suppose -2*l - 2*o = 18, 0 = 4*l - o + 8 + f. Let n = 26 + l. Is 19 a factor of n?
True
Let q(l) = l**3 + l**2 + l - 2. Let j be q(3). Let f = -21 + j. Is 11 a factor of f?
False
Let y = 0 + 51. Does 17 divide y?
True
Let w(s) = s**3 + 11*s**2 + 9*s + 2. Does 3 divide w(-10)?
True
Let w be 68/(-6) + (-1)/(-3). Let p = -3 - w. Is 3 a factor of p?
False
Let u(r) = -18*r. Let d be u(-1). Let f = d + 9. Is f a multiple of 13?
False
Let i(j) = j**3 - 10*j**2 + 7*j + 6. Let s be i(8). Is 9 a factor of 7/((-21)/s) - -3?
False
Let w = 7 - 13. Let i(s) = s**3 + 5*s**2 - 8*s + 5. Is i(w) a multiple of 6?
False
Suppose f = -f + 6. Suppose -2*p = -f*w + 98, 2*w - 140 = -2*w + 5*p. Does 12 divide w?
False
Suppose 10*t = o + 5*t - 89, -2*o + 4*t + 208 = 0. Suppose 6*v - o = 3*v. Is 12 a factor of v?
False
Let v be 46/(-11) + (-4)/(-22). Let q(t) = 4*t**2 + 4*t. Is q(v) a multiple of 20?
False
Suppose -3*f + 44 = f. Suppose -s - 23 - 18 = -3*d, -d + 3*s + f = 0. Does 10 divide d?
False
Suppose -2*r + 5*p + 83 = -0*r, 5 = p. Suppose -r = -2*q + 2*c, -q + 6*c + 31 = 3*c. Is q a multiple of 17?
False
Let c be (-4)/(-18) + 52/9. Is 10 a factor of (-4)/c - 258/(-9)?
False
Let a = -153 - -209. Is a a multiple of 8?
True
Suppose -5*b + 136 = -b. Is b a multiple of 17?
True
Let x(o) = 7*o - 63. Is x(28) a multiple of 34?
False
Let a be 1/3 + (-88)/12. Let v(r) = -2*r - 7. Does 3 divide v(a)?
False
Suppose -2*w + 3*v + 41 = 0, -6*v + 14 = w - v. Is w a multiple of 9?
False
Let a(f) = 2*f**2 - 4*f - 4. Suppose -v + 8 = v. Is a(v) a multiple of 5?
False
Is ((-158)/(-10))/((-1)/(-5)) a multiple of 4?
False
Let o = 107 + 29. Is o a multiple of 12?
False
Suppose -3*p + 0*i + 128 = -i, p = -i + 36. Is p a multiple of 5?
False
Let h = 60 + -36. Is 10 a factor of h?
False
Let y = 5 + -6. Is 4/(-3*y/27) a multiple of 18?
True
Let z(a) be the first derivative of a**3 + 9. Let x be ((-2)/(-2))/(1 + 0). Is 3 a factor of z(x)?
True
Is 15 a factor of 290 - (-15 + 0)/(-3)?
True
Let m = -27 + 63. Is 14 a factor of m?
False
Suppose -32 = 5*a - a. Let w(j) = 2*j**2 + 9*j + 9. Is w(a) a multiple of 13?
True
Let y = 123 - 189. Let u = y - -96. Does 18 divide u?
False
Suppose 0 = -3*p - 0*p. Suppose -3*z = -5*b + 20, -2*b + 8 = -p*z - z. Is 7 a factor of 55/b + 3/12?
True
Suppose -f + 8 = 5*m, -3*m - 4 = -0*m + 5*f. Let w be 2 + 10*m/4. Suppose -w*t = -2*t - 80. Is t a multiple of 8?
True
Suppose 4*w - 174 = 130. Is w a multiple of 19?
True
Suppose -6*s = -58 + 22. Suppose -3*q - 4*u - 224 = -s*q, 12 = 3*u. Is 20 a factor of q?
True
Let b be (-2)/6 + (-3)/(-9). Suppose r + 4*r = b. Let a = 9 + r. Is 5 a factor of a?
False
Let r be (-2)/11 - 16/(-88). Suppose -2*a + r*a + 12 = 0. Is 16 - -1*a/(-3) a multiple of 9?
False
Suppose -2*z - 8 = 0, -4*z = -4*f - 0*z - 8. Let k = 34 + f. Is k a multiple of 8?
False
Let k = -38 + 78. Is k a multiple of 20?
True
Is ((-22)/3)/(3/(-36)) a multiple of 11?
True
Let y = 7 + -7. Suppose -t + 6 = -y. Let k(l) = l**3 - 4*l**2 - 3*l - 3. Is k(t) a multiple of 21?
False
Let l(u) = u**2 - 4*u + 2. Let o be l(4). Let s be -3 + o - (0 - 1). Suppose -5*v + 4 = -2*a + 3, s = 5*a - 2*v - 50. Is 12 a factor of a?
True
Let x be (-23)/(-2)*(-1 + -1). Let w = x + 91. Suppose 4*c = 2*c + w. Is c a multiple of 13?
False
Suppose -5*z - 25 = 0, 4*a - 3*z = 42 + 85. Is a a multiple of 28?
True
Let x = 42 + 5. Does 11 divide x?
False
Let v be 1308/16 + (-2)/(-8). Suppose 0 = -r - 3*s + 4*s + 53, 2*r - v = -4*s. Does 14 divide r?
False
Let s(k) be the second derivative of 0 + 1/3*k**3 + 1/2*k**4 - 3*k + 1/2*k**2 - 1/20*k**5. Is 11 a factor of s(4)?
False
Let s(m) = -35*m**2 - m + 1. Let r be s(1). Let b = -11 - r. Let p = b + -12. Does 9 divide p?
False
Let t be (12/9)/(2/3). Suppose -5*o = -o + 4*f - 160, 2*f - t = 0. Is 13 a factor of o?
True
Let a(f) = -f**2 - 6*f - 4. Let t be a(-4). Let y be -3 - (t - -2)/(-2). Let o(v) = -v + 48. Is 13 a factor of o(y)?
False
Suppose 30 = 4*d - d. Let m = -5 + d. Does 2 divide m?
False
Suppose j - 4*g = 151, -5*g + g = -2*j + 310. Let p = -109 + j. Is p a multiple of 16?
False
Let k = 302 + -159. Is k a multiple of 40?
False
Suppose 2*a - 20 = l, -a - 3*l = 2*a - 48. Let x 