 1. Is 6 a factor of a?
True
Let p = 7 + 0. Suppose 3*v = -5*q - 26, -4*q = 23 - p. Is 9 a factor of (9/(-12))/(v/24)?
True
Suppose 5*k - 4*m + 5*m = 44, 3*m = 5*k - 28. Is k a multiple of 4?
True
Let n = 38 - 3. Suppose 0 = h - 2*h + n. Is 7 a factor of h?
True
Let a = -328 - -463. Is 27 a factor of a?
True
Let z(g) = -11*g**2 + 1 + 0*g + 2*g + 0. Let r be z(-1). Let n = r - -20. Does 6 divide n?
False
Suppose 2*o - 70 = -4*n, 5*n = o + 40 + 30. Is n a multiple of 8?
False
Let x = 72 - -23. Does 19 divide x?
True
Let s(w) = -w**2 + w + 4. Let n(y) = 2*y**2 - y - 8. Let z(k) = -4*n(k) - 9*s(k). Suppose -4*b = 12, 12 = -o - o - 2*b. Does 10 divide z(o)?
True
Suppose 11*w + 95 = 6*w. Let r = -2 - w. Is r a multiple of 4?
False
Let y(h) = -3*h - 8. Let r be (-9)/3 + 3 + -5. Let v = r - 1. Is y(v) a multiple of 3?
False
Suppose 0 = -3*p + 3*l + 6, 0*p + 2*l = -5*p + 24. Suppose 10 = 4*f - 30. Let s = p + f. Is s a multiple of 14?
True
Let k be (-1 + 1)/(14/(-7)). Let r(l) = -l**2 + 6. Does 3 divide r(k)?
True
Let u(w) = 11*w**2 + w + 2. Does 12 divide u(-1)?
True
Let b(o) = -4*o**2 - 10*o + 1. Let j(p) = 9*p**2 + 21*p - 3. Let t(r) = -5*b(r) - 2*j(r). Let w be (-4 - -2) + (-7 - -2). Is t(w) a multiple of 14?
False
Suppose 0 = l - 0*l, -6 = 2*r - 5*l. Is 8 a factor of r/9 - (-50)/6?
True
Let c(h) = 6*h + 12. Let m be c(-8). Let p = m - -71. Is p a multiple of 7?
True
Let h(j) = 4*j**3 - j**2 - 2*j + 2. Suppose w = 3*p - 3*w - 2, p - 2*w = 0. Is 22 a factor of h(p)?
False
Let n(s) = -2*s + 1. Let d be n(-4). Suppose -33 - d = -3*f. Suppose u = f + 2. Is 8 a factor of u?
True
Let s be (-1)/((-6)/(-4))*6. Let q be (s/(-3))/(4/6). Suppose q*d = -2 + 66. Does 15 divide d?
False
Suppose x + 2*t + 72 = 3*x, -x = 4*t - 26. Suppose o = -o + x. Is 17 a factor of o?
True
Suppose 2*h + 687 = -265. Is 4 a factor of 6/33 - h/44?
False
Suppose 0 = u - 6*u + 120. Suppose -u = 2*j - 0. Let a = 24 + j. Does 10 divide a?
False
Let j = 7 + -5. Suppose -2*y + 7*y + t - 2898 = 0, 2904 = 5*y - j*t. Is 13 a factor of y/44 - 2/11?
True
Let c = 7 - -14. Does 7 divide c?
True
Is 23 a factor of (-14)/(-2)*(4 + 1)?
False
Let w(l) = 31*l**2 + 2*l + 1. Is w(-1) a multiple of 15?
True
Let u be 4/(-6)*(-675)/30. Is 20 a factor of (-5 - 3)/((-6)/u)?
True
Suppose -3*v = -9*v + 612. Does 34 divide v?
True
Let w = -12 + 17. Suppose -2 = -2*i - 3*h + 4*h, -w = -3*i + h. Is i even?
False
Suppose -4*x + 5*x - 5 = 0. Does 20 divide -10*2*(3 - x)?
True
Let w = 92 + -52. Is 10 a factor of w?
True
Suppose -5*m - 8 = -5*o + 2, -3*o - 4*m = 8. Suppose x - 5 - 14 = o. Does 13 divide x?
False
Suppose -25 = -f + 11. Does 9 divide f?
True
Suppose k + 9 = 2*k. Is 8/6*k/6 a multiple of 2?
True
Let f(z) = 8*z**2 - 3*z - 4. Does 4 divide f(-2)?
False
Suppose r = -v - r + 4, -5*r + 10 = -4*v. Suppose v = 3*y - 5*p - 26 + 119, 0 = -2*y - 4*p - 84. Let m = y + 65. Does 10 divide m?
False
Let n = 21 + -46. Let q = -16 - n. Does 4 divide q?
False
Let l(a) = a**2 + 7*a - 17. Let h = 9 - 21. Does 34 divide l(h)?
False
Let n = 12 + -7. Suppose b + 2*w = 17, 4*b - 20 - 45 = -n*w. Suppose 0*d = d - b. Is 7 a factor of d?
False
Does 21 divide (-18)/(116/(-56) - -2)?
True
Let h(k) = -k + 6. Suppose 0 = 3*u - 5*w + 73, -4*u - 2*w - 76 = 2*w. Let y = u - -15. Is h(y) a multiple of 12?
True
Let t(m) = -m - 22. Let d(r) = -2*r - 23. Let c(x) = 2*d(x) - 3*t(x). Is c(0) a multiple of 4?
True
Let v be 12*((-459)/(-12))/1. Let s = v - 324. Let h = s + -89. Does 17 divide h?
False
Suppose 2*a + 2*y = 14, 3*a - 4*y + 2*y = 1. Suppose a*c - 54 - 60 = 0. Is c a multiple of 18?
False
Let j(x) = 11*x**2 + 3*x + 1. Is j(-2) a multiple of 14?
False
Suppose 5*g - 4 = 4*g. Suppose -g*s + 44 = -16. Is 6 a factor of s?
False
Suppose 4*g - g + 15 = 0. Let w(j) = j - 3 - j + 3*j + j**2. Is 7 a factor of w(g)?
True
Let z(h) = 2*h**3 - 3*h**2 + 10. Does 30 divide z(4)?
True
Suppose 2*c + 54 = 4*d, -6*d + 45 = -3*d - 3*c. Suppose 2*m + d = 3*m. Is m a multiple of 5?
False
Let j be (2 + -5 + 40)*1. Suppose 243 = 5*x - j. Does 19 divide x?
False
Let s be 38/12 - (-2)/(-12). Is 1 - s - (-8 - 16) a multiple of 22?
True
Let l be -10*1/2*-7. Suppose 2*k - 41 - l = 0. Is k a multiple of 16?
False
Let r = 24 - -24. Is 16 a factor of r?
True
Let d(n) = n**3 - 12*n**2 + 8*n + 12. Is d(12) a multiple of 27?
True
Let m = 12 + 7. Let t = 26 - m. Is 4 a factor of t?
False
Let x = -27 + 69. Does 42 divide x?
True
Suppose -4*j = -0 + 20. Let d(p) = -p**3 - 4*p**2 + 3*p - 6. Is 2 a factor of d(j)?
True
Let j be 2/(39/45 + -1). Is -1 + 3 + (-12 - j) even?
False
Let m(k) = k**3 - 5*k**2 + 6*k - 6. Let r be m(4). Suppose 26 = r*w - 0*w. Does 13 divide w?
True
Let y(v) = 9*v**3 + 5*v**2 - 2*v - 4. Let p(i) = -i**3 - i**2 + 1. Let d(a) = -3*p(a) - y(a). Let g be d(-2). Suppose 5*r - g - 43 = 0. Does 6 divide r?
False
Suppose 259 = 2*m - 5*t, m + 2*t - 92 = -3*t. Is 21 a factor of m?
False
Let z be (-1196)/(-28) - 2/(-7). Suppose -3*s = -z - 29. Is 12 a factor of s?
True
Suppose 0 = q - 35 - 88. Let u = q + -77. Is 18 a factor of u?
False
Suppose 2*n - 252 = x, 0 = -3*n - 5*x + 258 + 107. Is n a multiple of 11?
False
Let y be 4/(-18) - (-76)/18. Suppose 0*x - y*x + 77 = u, 3*x = -4*u + 74. Is x a multiple of 7?
False
Suppose -3*d + 4*r + 145 = 0, -d + 55 = -0*r - 3*r. Let i = 67 - d. Is i a multiple of 6?
True
Suppose -4*x - 6 = 6. Does 20 divide -2 - (x + -3*13)?
True
Let s(i) = i**2 + 2*i + 2. Let p be s(-2). Suppose -5*z + 27 = p. Does 13 divide (z - 2)/(6/28)?
False
Let t(w) = w**3 - 7*w**2 - 8. Let d be t(7). Let c be (-1)/(-3 - 26/d). Let h(s) = 2*s**2 + 6*s + 1. Is h(c) a multiple of 9?
True
Suppose -l = l. Suppose -3*g + g = l. Suppose -4*z + q + 80 = -128, -5*q - 20 = g. Is z a multiple of 21?
False
Suppose 0 = 5*y + 5*r - 5, -2*y - 2 - 1 = -3*r. Suppose y = -4*o + 2*b + 18, 5*b = -3*o + 2*o - 23. Is 2 a factor of o?
True
Let h be (-56)/(-24) - 2/(-3). Suppose 5*u + 247 = 4*x, h*x + u - 3*u - 187 = 0. Is x a multiple of 21?
True
Suppose 0 = 4*f + 11 + 5. Let l be (f - -1) + 8 + -1. Suppose -37 = -l*n - 4*d + 55, -5*n + 91 = -d. Is n a multiple of 10?
False
Let i = 69 - -1. Let f = i - 48. Does 11 divide f?
True
Let s(w) = 9*w**3 - w**2 + 7*w + 5. Let m be s(-4). Let l be m/(-12) - (-1)/(-4). Let j = -31 + l. Is j a multiple of 10?
True
Let d(z) = -z**2 + 3*z + 4. Let t be d(3). Suppose 4*n + 57 + 51 = t*j, -90 = -5*j - 4*n. Does 6 divide j?
False
Suppose -33 = 5*v - 138. Is v a multiple of 3?
True
Let s be -2 + (-1)/1 + 9. Suppose 5*j + 1 - s = 5*o, -5*j + 20 = 0. Is 3 a factor of o*-5*(-3)/9?
False
Let s(o) = 2*o**3 + o**2 + o. Let d be s(-1). Is 10 a factor of 141/4 - d/(-8)?
False
Suppose -2*d = -5*r - 56, 4*d + 2*r = 84 + 28. Does 7 divide d?
True
Let o be ((-2)/4)/(1/(-12)). Let b be (-9)/o + (-1)/(-2). Is 11 a factor of b/(-2) - (-234)/12?
False
Let g(a) be the third derivative of -a**6/120 + a**5/30 + a**4/8 + a**3/3 - 2*a**2. Let u be g(-3). Does 11 divide u/2 + (-6)/(-2)?
True
Let g = -25 - 113. Let t = g + 218. Does 4 divide t/(-24)*3/(-2)?
False
Does 30 divide 0 + (-196)/(16/(-4))?
False
Let a(b) = -4*b - 3. Let l be a(-2). Suppose -l*w = -69 - 6. Is 5 a factor of w?
True
Suppose 0*f - 3 = -f. Suppose 3*s + 118 = 2*c - 0*c, 0 = -4*s - 4*c - 144. Does 4 divide f/(-6) - s/4?
False
Let s(d) = -d - 8. Let y be s(-5). Let v(p) = p**3 + 3*p**2 - 3*p + 3. Is 6 a factor of v(y)?
True
Suppose -29 = -3*f - 3*w - 2*w, 4*f - 24 = -3*w. Suppose 5*n - 171 = -0*n + f*h, -4*n = h - 147. Does 15 divide n?
False
Let n(m) = m**2 - 7*m. Let d be n(6). Is d/21 - (-820)/28 a multiple of 6?
False
Let l = 137 - 66. Suppose 0 = 5*j - 29 - l. Suppose -7*c = -2*c - j. Is 2 a factor of c?
True
Suppose -63 = 5*a + 1237. Let x = a + 385. Suppose -m + 51 + 48 = 3*t, m + x = 4*t. Is t a multiple of 21?
False
Let s = 1 + -1. Let p = 0 - s. Suppose -y - 11 = -d - p*y, y = -d + 9. Is d a multiple of 5?
True
Let y(p) = -21*p**3 + 4*p**2 - 8. Does 4 divide y(-2)?
True
Suppose -12*p = -8*p - 56. Is 6 a factor of p?
False
Suppose -11*m + 8*m = -144. Is m a multiple of 12?
True
Suppose 144 = 4*f - f. Is 14 a factor of f?
False
Suppose 0 = -2*n + 48 + 276. Is n a multiple of 18?
True
Let a be 2/7 + (-30)/7. Let y = a + 38. Is 9 a factor of y?
False
Let n(g) = -12*g - 15. Is 9