-2 - k - -16 a multiple of 18?
True
Suppose u = -2*l - 22 - 3, 4*u - 40 = 2*l. Let y be 4/14 + (-52)/l. Suppose 0 = -y*k + 42 + 62. Is 10 a factor of k?
False
Suppose 0 = -5*l - 5*s, 2*l + 2*s = -2*s - 4. Suppose l*o - 28 - 10 = 0. Is 7 a factor of o?
False
Let q be (-2 + 3)*3 - 3. Let m = q - -5. Is m even?
False
Let j = -1722 - -970. Is 18 a factor of j/(-14) + 8/28?
True
Suppose 4*p + 14 = 2*d, -3*p - 3 = -2*p. Let o(x) = -x + 30*x**2 - 4*x**2 - 5*x**2. Is 20 a factor of o(d)?
True
Let a be (2 - -4)*(-2)/6. Is (36/(-8))/(a/16) a multiple of 9?
True
Let d be (-925)/20 - (-1)/4. Let p = 43 - -25. Let w = p + d. Is 12 a factor of w?
False
Suppose -2*s + 162 - 54 = 0. Does 27 divide s?
True
Let z(d) = -d**3 - d**2. Let n be z(-2). Suppose n*q - 183 = -43. Is q a multiple of 12?
False
Suppose 3*d = -2*s - 39 + 185, 2*d + 3*s = 99. Does 24 divide d?
True
Let q = -5 - -2. Let m = q + 3. Suppose 2*z - 18 = -m. Does 8 divide z?
False
Let k(q) = -q**2 - 8*q - 6. Let h be (-30)/(-4)*2/(-3). Is 9 a factor of k(h)?
True
Suppose 3*b + 4 + 2 = 0. Let i be b/8 - (-77)/4. Let k = i - 11. Does 3 divide k?
False
Let i be (-18)/(-3)*87/6. Suppose -5*y + 227 - i = 0. Is 28 a factor of y?
True
Let b(c) = 1 - 3 - 5 - 7*c + 2. Is 15 a factor of b(-6)?
False
Suppose -6 = -4*c + 3*z, -c - 3*z + 8*z + 10 = 0. Suppose -2*i + 0 + 10 = c. Suppose i*y - 47 = 43. Is 18 a factor of y?
True
Let d be (-2 + 1 - 0)*0. Suppose -3*h - 10 = 2, d = v + 4*h + 11. Suppose 18 + 17 = v*a. Is 5 a factor of a?
False
Let j(k) = k + 2. Let g be j(-2). Suppose 23 + 115 = 5*z - 4*f, g = 5*f + 10. Does 26 divide z?
True
Suppose i = 3*t - 102, 4*t + 3*i = 150 - 14. Let g = t + -3. Is g a multiple of 12?
False
Suppose 4*d - u = 34, 5*u - 2*u - 15 = -d. Is d a multiple of 9?
True
Suppose -5*v - 21 = 44. Let k be v + 3/(0 + 3). Let z = k + 30. Does 9 divide z?
True
Suppose -5*a + t = -a - 207, -t = -3*a + 155. Let i = -31 + a. Is 7 a factor of i?
True
Suppose 13 = 4*y - 39. Suppose -j + 30 = 3*k - y, -4*j = 2*k - 122. Is j a multiple of 22?
False
Suppose 76*h - 224 = 74*h. Is h a multiple of 12?
False
Let a(y) = -2*y + 10. Let n be a(9). Is 8 a factor of (-1 - -5)/(n/(-48))?
True
Let z(w) = w**3 - 15*w**2 + 14*w + 8. Does 4 divide z(14)?
True
Suppose 3*j = 3*y - 744, 2*y = 4*y + 2*j - 512. Is 10 a factor of y?
False
Suppose 4*q + 3 = -r, -2*q + q = -5*r - 15. Let p = -1 + q. Does 16 divide 2/(p/(-82)*4)?
False
Let h(w) = -18*w + 2. Let m be h(-6). Suppose 0*c + 4 = c, -5*c = -5*v + m. Is 13 a factor of v?
True
Suppose 0 = -g - 5*o + 132, -244 = -2*g - 5*o - 0*o. Is g a multiple of 20?
False
Let a = 360 - 180. Is a a multiple of 12?
True
Suppose 0 = -r + 3. Suppose 171 = r*j - 27. Is j a multiple of 22?
True
Let x(r) = -5*r**2 + 4*r - 23. Let b(m) = -6*m**2 + 5*m - 23. Let j(g) = -4*b(g) + 5*x(g). Let v be j(0). Is 11 a factor of -1 - (0 - 0) - v?
True
Let t = -4 + 4. Suppose 5*z + 11 = 3*c + 3*z, -c + z + 3 = t. Suppose 45 = 5*g - o, g - 18 = o - c. Does 5 divide g?
False
Suppose 0 = s + 8*s - 90. Does 4 divide s?
False
Let y be (63/12)/(6/448). Is 11 a factor of (-8)/(-36) - y/(-18)?
True
Let n(b) = -b + 18. Let m(v) = v**2 - v + 9. Let u be m(0). Does 4 divide n(u)?
False
Let r = 5 + -5. Let d = r + -6. Is 15 a factor of (18 - -2)*d/(-8)?
True
Let w(a) = 2*a**2 + 6*a + 9. Let d be w(-6). Let r = d - -12. Suppose -2*b - r = -5*b. Does 19 divide b?
True
Suppose 7*i = 2*i + 20. Let u(r) = -r + 5. Let v be u(i). Suppose -2*b = -v - 7. Is b a multiple of 4?
True
Is 400/(-30)*9/(-4) a multiple of 7?
False
Let u(i) = i - 2. Let a(z) = -z + 2. Let r(n) = 5*a(n) + 4*u(n). Does 8 divide r(-6)?
True
Let m(f) = 14*f**2 - 11*f - 10. Is 41 a factor of m(-4)?
False
Let f be (-6 - -3)/3*-23. Suppose 3*y + f = 2*v + 4*y, 4*y = -20. Does 10 divide v?
False
Suppose 5*w = 1101 - 241. Suppose -2*m = 4*o - 194, -5*o - 3*m + w + 71 = 0. Is 24 a factor of o?
True
Let p(m) = m - 3. Let y be p(6). Suppose -26 = -5*j - 3*a, y*a + 2*a = 3*j - 2. Is 7 a factor of 10/8*j*3?
False
Suppose 0 = 3*g - 17 - 4. Is 2 a factor of g?
False
Suppose -j - 33 = 8. Is 23 a factor of 3/(-6 - -3)*j?
False
Let a = 85 + -12. Let l = -31 + a. Is 21 a factor of l?
True
Suppose -42 - 63 = -3*z. Does 26 divide z?
False
Let x = 2 - 3. Let y be 1 + (x/(-1) - -1). Suppose -4*p - 80 = -4*w, -w - 4*w - y*p = -84. Does 9 divide w?
True
Let m(z) = 4*z**2 + 5*z - 2. Let f be m(6). Let j = -112 + f. Does 20 divide j?
True
Let i = 125 + -61. Let g = i + -37. Does 6 divide g?
False
Suppose 0 = 3*o + 2*o. Suppose o = 4*u - 11 - 57. Is u a multiple of 17?
True
Suppose -2*t + 3 = t. Let o = -15 - t. Let f = o - -44. Is 14 a factor of f?
True
Let m = -9 + 41. Suppose n - 4 = -y, 3*n = -0*n + y + m. Is n a multiple of 5?
False
Let g = -7 - -12. Does 4 divide g?
False
Let r(v) = -v**3 + 4*v + 1. Suppose 2*l + 1 = -5. Let y be r(l). Suppose 0*p + p - y = 0. Does 8 divide p?
True
Suppose 80 = -3*v + 7*v. Is v a multiple of 6?
False
Is -16 + 15 + (-3)/(6/(-14)) a multiple of 3?
True
Suppose 3*d = 6, -4*h - d + 294 = 4*d. Suppose 5*y = 29 + h. Does 12 divide y?
False
Suppose -f - 3*n + 7 = -0*f, -16 = -2*f - 4*n. Is 3 a factor of f?
False
Let i = -67 + 89. Is i even?
True
Suppose 0 = 10*w - 1245 - 1545. Is 15 a factor of w?
False
Let x = -6 + 2. Let a = 0 + x. Let h(z) = -z**3 + z**2 + 7*z + 5. Is h(a) a multiple of 21?
False
Suppose -p - 33 = -5*w, 0 = 3*w + 2 - 14. Let x = -8 - p. Suppose -x*u + 20 = -u. Is 5 a factor of u?
True
Let f(d) = -d**2 - 13*d - 8. Let j be (3 - (11 - -3)) + 1. Is f(j) a multiple of 10?
False
Let x(j) = -2*j**2 + 2*j + 6. Let m be x(-4). Let i = 68 + m. Let z = 52 - i. Does 9 divide z?
True
Suppose -5*s - 5*m + 610 = 0, 3*m - 54 + 172 = s. Is s a multiple of 20?
False
Suppose -3*t - 2*t + 645 = 0. Suppose -5*a - 26 - t = 0. Let m = 46 + a. Is m a multiple of 7?
False
Suppose -3*d - 35 = -506. Suppose 5*r - 3*r - 58 = 2*v, -d = 5*v - 2*r. Let p = v - -55. Is 22 a factor of p?
True
Let q(v) = 2*v - 9. Let x be q(5). Does 16 divide 162/10 - x/5?
True
Let z = -34 + 58. Is z a multiple of 6?
True
Let i(n) = n**3 + 2*n**2 - 4*n - 5. Let c be i(-4). Let f = c - -30. Suppose -8 = -4*p + g, -p + 3*g = -0*p + f. Does 2 divide p?
False
Let u = -51 - -222. Does 13 divide u?
False
Let x(w) = w**3 + 7*w**2 - 7*w - 8. Let t be (-8)/36 + 122/(-18). Is x(t) a multiple of 13?
False
Let w be 132 - 0/2 - 2. Suppose 3*r - 4*z = w - 20, 2*r - 3*z - 74 = 0. Is 17 a factor of r?
True
Suppose 2*f + 457 = 3*c, -2*f = -20 + 18. Is 12 a factor of c?
False
Let d(q) = -q + 12. Let n(g) = 4*g. Let c be n(2). Is d(c) a multiple of 4?
True
Let n(l) = -19*l. Is n(-3) a multiple of 17?
False
Let v(n) be the third derivative of -n**6/120 + n**5/20 + n**4/24 + 2*n**3/3 + 8*n**2. Does 7 divide v(3)?
True
Suppose 135 = 4*o - 9. Is 6 a factor of o?
True
Let a be -84*(3/(-3) - 0). Suppose 3*b = b + 5*x + 45, 3*x + a = 5*b. Does 8 divide b?
False
Let f(b) = -b**2 - 5*b + 2. Let o be f(-5). Suppose 0*a - 4*z = -o*a + 6, z - 3 = 0. Does 7 divide a?
False
Suppose 0 = -2*p + 4*t + 16, 3*p - 5*p - 2*t - 8 = 0. Suppose -2*z + p*z = -350. Suppose -5*f + z = -0*f. Is f a multiple of 13?
False
Let a = -19 - -74. Suppose -3*w - 5*o = a + 130, 2*w = o - 119. Let u = -28 - w. Is u a multiple of 22?
False
Let x(k) be the first derivative of k**3 + k**2 - k + 1. Let m(d) be the first derivative of x(d). Is 13 a factor of m(4)?
True
Let k = -33 - -52. Does 9 divide k?
False
Let o(i) = 3*i**2 - i - 13. Does 25 divide o(6)?
False
Let k(m) = 27*m + 6. Is 8 a factor of k(2)?
False
Let r(w) = w**3 + 4*w**2 - 6*w + 1. Let j = -16 - -1. Let c be 70/j + (-1)/3. Does 6 divide r(c)?
True
Let s(o) = 2*o**2 + 6*o + 4. Let g be s(-4). Suppose 2*y = t - 23, -5*y = -2*t + 3*t + g. Is t a multiple of 13?
True
Suppose -3*w - 58 = 38. Suppose 2*p - 48 = 3*r + 5*p, 4*r + 58 = -p. Is w/r + 2/(-7) even?
True
Let o = -8 - -11. Suppose 4*u + 0*m = 2*m - 2, 11 = -2*u + o*m. Suppose -4*g + 4 = 0, 5*g - u*g - 27 = -3*k. Is 8 a factor of k?
True
Is 14 a factor of 3/((-9)/(-21))*2?
True
Let v(a) = a**2 - 6*a - 8. Does 2 divide v(8)?
True
Suppose 4*y + 2*j - 6 = 4*j, j = 5*y - 15. Suppose g + 2*m + 2 = 0, m - 2*m = -y*g + 28. Is 3 a factor of g?
True
Let g be 3 + (3 + -547)/4. Does 17 divide g/(-4) + 12/16?
True
Let 