iple of 2?
False
Let v = 26 + -16. Let m = v + 14. Is 8 a factor of m?
True
Let x(p) = -p**2 - 5*p + 12. Let a be x(-6). Is 18 + -5 - a/2 a multiple of 10?
True
Let d = 163 + -76. Let o = d - 50. Is o a multiple of 24?
False
Suppose 4*l - 5*j - 126 = 0, -3*l + 4*l - 4*j - 37 = 0. Is 2 a factor of l?
False
Suppose 4*h - 18 = h. Suppose o = -l - 8, l - 16 = -2*o + 4*o. Let i = h - o. Is i a multiple of 14?
True
Let z = 61 - 15. Is 15 a factor of z?
False
Let k = 214 + -94. Is 24 a factor of k?
True
Let a be 6/24 + (-29)/4. Let u = 27 + a. Does 20 divide u?
True
Suppose d - 5*d - 88 = -4*m, 3*d = m - 32. Is m a multiple of 2?
False
Let r be ((-30)/9)/(-5)*6. Suppose u = -r*f + 38 + 41, 58 = 3*f + u. Is 7 a factor of f?
True
Suppose -3*r = 2*r - 425. Does 17 divide r?
True
Let a(j) = j**3 + 5*j**2 + j - 1. Suppose -4*d + 15 = -9*d. Is 14 a factor of a(d)?
True
Is (-27)/(-1)*((-3)/(-1) - 2) a multiple of 8?
False
Let n(p) = 3*p**3 - 4*p**2 + 3*p + 4. Does 18 divide n(2)?
True
Suppose 0 = 4*p - 385 - 455. Does 12 divide p?
False
Let d = 87 - 71. Does 3 divide d?
False
Let d = -68 + 131. Does 7 divide d?
True
Let g(n) = n**3 - 4*n**2 - 5*n + 13. Is 25 a factor of g(7)?
True
Suppose 2*l + 90 = 7*l. Is 18 a factor of l?
True
Suppose 0 = -m + 7 - 2. Suppose m*r + 68 - 203 = 0. Is 8 a factor of r?
False
Suppose 3*k = 4*k + 5*t - 58, -3*k = -2*t - 208. Does 17 divide k?
True
Is 0 + 0 + 1/((-8)/(-224)) a multiple of 28?
True
Let m(l) = 8*l**3 - 5*l**2 - 4*l**3 - 3*l**3 - 8*l. Does 16 divide m(7)?
False
Let m be (-15)/5 + (1 - -6). Suppose 0 = -3*u - m - 2. Is 4*u/(-3)*3 a multiple of 4?
True
Let h = -148 - -208. Does 15 divide h?
True
Let t(v) = 1. Let z(a) = a**2 + 3*a - 5. Let h(c) = t(c) + z(c). Let f(u) = -u**2 - 6*u + 9. Let b be f(-8). Is h(b) a multiple of 11?
False
Let h = -13 + 26. Is h even?
False
Let l be (1 - 1) + (5 - 1). Suppose 0*d = 4*d - 280. Suppose 0 = l*b - d + 6. Is b a multiple of 8?
True
Let h be 1/2 - 12/24. Does 4 divide -14*(-3 + 2) + h?
False
Suppose 0 = -2*j - 2*j + 2*c + 742, -4*c - 736 = -4*j. Does 57 divide j?
False
Let u = -4 + 7. Suppose -u*k + 7 = -77. Is k a multiple of 14?
True
Let l(x) = -33 - 4*x + 24 + 0*x. Is l(-6) a multiple of 11?
False
Let d be (-2)/6*0 + 0. Suppose -n - 2*n - w + 4 = d, 0 = -3*w - 6. Is 2 a factor of n?
True
Let p(f) = f**3 + 2*f**2 + 253. Is p(0) a multiple of 56?
False
Let n = -65 + 75. Is 3 a factor of n?
False
Let z be (-2 - (-1)/(-4))*-4. Suppose 6*f = 2*f + 12. Suppose z = -f*u + 123. Is 15 a factor of u?
False
Let u(b) = 2*b + 16*b**2 + 2*b**3 - 6*b**2 - b**3 - 7. Let o be u(-9). Let m = o - 40. Does 8 divide m?
True
Suppose 4*g - 5*p - 783 = 0, 593 = 5*g - 2*g + 2*p. Suppose -3*k - v + 73 = 0, -5*v - g = -4*k - 68. Is k a multiple of 14?
False
Let u = -20 - -1. Let o be -1 + (-5)/(15/18). Let z = o - u. Is 6 a factor of z?
True
Suppose -325 = -w - 4*w. Let g = w - 38. Is g a multiple of 11?
False
Let j(h) = -3*h**2 + 2*h + 1. Let w(y) = -5*y**2 + 3*y + 2. Let n(s) = -7*j(s) + 4*w(s). Is 15 a factor of n(5)?
False
Suppose 50 = 4*d - 26. Does 19 divide d?
True
Let w = 169 + -45. Suppose -1 = 3*r - w. Is r a multiple of 16?
False
Suppose 137 = 5*i - 2*l, -3*i + 5*l + 83 = -3. Let r be 1 + (2 - 1) - -55. Let g = r - i. Is 15 a factor of g?
True
Let x(a) = a**2 - 5*a + 7. Is 8 a factor of x(6)?
False
Let x(l) = -10*l + 2. Suppose 0 = -3*o - 5*w - 26, 3*o + 8 + 12 = w. Does 24 divide x(o)?
True
Let c = 37 - -23. Is 12 a factor of c?
True
Let j(d) = -9 - 3*d + 5*d - 2. Let t(r) = -9*r**3 - 2*r**2 + 1. Let i be t(-1). Does 5 divide j(i)?
True
Let g(d) = 54*d - 2. Let j be g(1). Let l = j - 12. Does 16 divide l?
False
Let r(q) = -q**2 + 7*q + 2. Let i(z) = z**2 - 6*z - 3. Let g(x) = -2*i(x) - 3*r(x). Does 3 divide g(10)?
False
Let b(o) = o**3 + 4*o**2 - 3. Let k be b(-3). Suppose -4*q + k*q - 14 = 0. Is q a multiple of 2?
False
Suppose -6 = -3*w + 3*j - 0, 3*w + j + 6 = 0. Let d(b) = -5*b - 1. Let p be d(w). Suppose -z = -p*a + 2*z + 15, -2*z + 12 = a. Is a a multiple of 6?
True
Let a = -45 + 116. Is 15 a factor of a?
False
Let w(l) = -15*l + 2. Let a be w(-6). Let r = a + -41. Is 11 a factor of r?
False
Suppose -7 = -5*j - o, o - 1 = -j - 2. Suppose f - j = -0*f. Suppose -85 = -f*w - t - 0*t, 0 = 3*w - 4*t - 100. Does 14 divide w?
False
Suppose -3*k - 3*s = -12, -s + 20 = 3*s. Is 12 + -2 + 0 + k a multiple of 4?
False
Let m = -12 - -9. Let g = 27 + m. Is g a multiple of 10?
False
Suppose 4*a - x - 21 = 0, -1 = -2*a - 4*x + 23. Suppose a*r = 3*r - 3. Let v(y) = -14*y. Is 14 a factor of v(r)?
True
Suppose -4*m + 5*n + 29 = 0, -16 = -2*m + n - 3. Does 3 divide (10/15)/(1/m)?
False
Let n = -37 - -56. Is 10 a factor of n?
False
Let i(g) be the first derivative of -9*g**2/2 - 2*g - 2. Suppose 5*c = 2*d + 4 - 26, 3*d + 5 = -2*c. Is 16 a factor of i(c)?
False
Let a = 65 - 39. Is a a multiple of 13?
True
Suppose -216 = -5*m - 3*q + 5*q, -5*q - 183 = -4*m. Is m a multiple of 6?
True
Suppose -11*d = -2*d - 315. Is 31 a factor of d?
False
Suppose 2*d + 5 = -27. Suppose -2 = 2*v + 16. Let s = v - d. Is s a multiple of 7?
True
Suppose 75 = 11*k - 6*k. Is 15 a factor of k?
True
Suppose -16*i - 105 = -21*i. Does 3 divide i?
True
Let y = 3 + 4. Let v(h) = -h**3 + 7*h**2 + h + 3. Let k be v(y). Suppose f - k = 2*l, -4*f - 5*l - 6 + 85 = 0. Does 6 divide f?
False
Let k = -22 + 126. Let s = 273 - k. Suppose s = 5*x + o, -x = -4*x - 3*o + 111. Is x a multiple of 24?
False
Suppose -4*b + 60 = 3*r - 15, 0 = b - 2*r - 27. Is 21 a factor of b?
True
Let j(t) = -t**2 - 11*t - 19. Is j(-6) a multiple of 7?
False
Suppose 27*k + 104 = 31*k. Is 4 a factor of k?
False
Suppose -516 = -4*i + 244. Is 1/4 + i/8 a multiple of 8?
True
Is 11 a factor of (-1 - -17)*16/4?
False
Let h(n) be the third derivative of -n**6/120 - n**5/15 - 5*n**4/24 - n**3/2 + 3*n**2. Does 16 divide h(-5)?
False
Let v(h) = h + 16. Let d be v(-13). Suppose 4*j + 2*k = 64, -2*j - d*k + 33 = 1. Is 16 a factor of j?
True
Is 4 a factor of ((-118)/4)/((-4)/40*5)?
False
Suppose 31 - 50 = -b. Is 19 a factor of b?
True
Let o be (-3)/2*12/(-9). Suppose 0*g - 2*p = -o*g + 24, -g + 10 = p. Is g a multiple of 6?
False
Suppose -w - 95 = -2*w + q, -5*w + 466 = 4*q. Is w a multiple of 19?
False
Let g = -76 - -128. Is 18 a factor of g?
False
Suppose 3*r = 34 + 302. Does 16 divide r?
True
Let f(d) = -4*d**2 - d + 4. Let b(j) = 8*j**2 + j - 7. Let s(i) = 3*b(i) + 5*f(i). Is s(-1) even?
False
Suppose 3*l = 7*l + 5*z - 22, -2*z + 1 = -l. Suppose 0 = 2*n - 1 + l. Is ((-2)/2)/(n/13) a multiple of 13?
True
Let y be ((-4)/(-3))/(-4)*123. Let a = 78 + y. Does 25 divide a?
False
Let r(u) = -2*u - 2. Let j be r(-6). Suppose -3*x + j = -x. Is 4 a factor of x?
False
Suppose -2*h + a + 52 = 3*a, 0 = h + 2*a - 25. Is h a multiple of 9?
True
Let i = 32 - 20. Is 6 a factor of i?
True
Let k be -3*(30/9 - 1). Let h(b) = -b**2 + 10*b - 8. Let w(j) = -4*j**2 + 30*j - 24. Let g(r) = k*h(r) + 2*w(r). Is g(-8) a multiple of 12?
True
Let o = 178 + -16. Is 18 a factor of o?
True
Suppose 0 = 22*u - 20*u - 240. Does 30 divide u?
True
Suppose -i = 2*i + 3*c - 153, 4*i = -5*c + 207. Is 12 a factor of i?
True
Is 10 a factor of -173*((-1)/((-2)/4))/(-2)?
False
Let b be 21/(-14) + (-9)/(-2). Suppose 126 = b*m - 0*m. Is 14 a factor of m?
True
Suppose -2*t + 10 = 2*n + n, 5 = 3*t + 2*n. Let r(u) = -39*u. Is 11 a factor of r(t)?
False
Suppose 7*u - 1338 = 384. Is u a multiple of 50?
False
Let s be (-4)/(-10) - 44/10. Let k(m) = -14*m. Let v be k(s). Let b = v + -30. Does 11 divide b?
False
Let q(w) = -3*w + 4. Let m be -3*(-3 + 2 - -2). Does 4 divide q(m)?
False
Let x(k) be the first derivative of -5/3*k**3 + k**2 + 1/2*k**4 + k + 1. Is x(3) a multiple of 9?
False
Suppose -3*p = 2*p + 80. Suppose 6*i + 180 = i. Let l = p - i. Is 10 a factor of l?
True
Let r(s) = -s**3 - 4*s**2 - 2*s + 5. Suppose -2*v - 20 = 2*v. Is r(v) a multiple of 15?
False
Let i(f) be the second derivative of -5*f**3/2 - 2*f**2 - 2*f. Let h(z) = 29*z + 8. Let p(v) = 6*h(v) + 11*i(v). Is 13 a factor of p(4)?
False
Suppose -20 - 44 = -2*p. Let a = p - 16. Is a a multiple of 16?
True
Let g = -73 - -160. Let f = g - 43. Let x = -23 + f. Is 7 a factor of x?
True
Let x(n) = -n. Let k be x(-6). Suppose k = -0*h + 2*h. Is 36/8*4/h a multiple 