 a multiple of 2?
True
Suppose -5*j - 2*n + 243 = 0, 226 = 4*j + 5*n + 18. Is 12 a factor of j?
False
Let k(f) = f**3 + 8*f**2 + 6*f - 3. Let j be k(-7). Suppose j*m = m + z + 29, -2*z = -2*m + 26. Does 6 divide m?
False
Let j(z) = z**2 + 5*z - 2. Let v be j(-7). Let o be (v/10)/(6/20). Suppose -2*w + 3*m + 4 = 0, -o*w + 2*w + 6 = -2*m. Is w a multiple of 5?
True
Let c(r) be the third derivative of 89*r**5/60 + r**4/24 - 4*r**2. Let s be c(-1). Suppose -2*w + 110 = 5*u - s, 0 = -u - w + 39. Is u a multiple of 19?
False
Is 15 a factor of ((-497)/21 - 5)/((-2)/6)?
False
Let a(j) = -3*j + 4 - j**2 - 1 - 3*j. Let m be a(-6). Is (2/m + -2)*-24 a multiple of 16?
True
Does 15 divide 117/2 + (-3)/12*-6?
True
Let g(h) = -h**2 + 1. Let a(r) = -r**2 - 3*r - 1. Let b(l) = a(l) - 2*g(l). Let u be b(4). Suppose 0 = -f + 5 - u. Is 2 a factor of f?
True
Let q = 72 - 180. Suppose 0 = 7*h - 11*h + 636. Let w = h + q. Does 17 divide w?
True
Is 6 a factor of (17 + -13)/(4/14)?
False
Is 10 a factor of 4 + (-150)/(-22) + 6/33?
False
Let o = -12 + -49. Suppose 0 = 4*x + 268 + 104. Let m = o - x. Is m a multiple of 10?
False
Let q(a) be the second derivative of 1/3*a**3 + 0 + a + 5/2*a**2. Does 10 divide q(5)?
False
Is 29 a factor of (-4529)/112*-4 - 2/(-8)?
False
Let r = 46 - 15. Suppose 0 = v - 0*v - r. Suppose 4*k - v = 33. Is k a multiple of 16?
True
Is -4 + (-20)/(-6) + 11/3 even?
False
Suppose -149 = -3*u - 17. Does 11 divide u?
True
Suppose 0*k + 4 = -u - 2*k, 4*k - 24 = 2*u. Let s be (44/u)/(2/(-16)). Suppose -n + s = n. Is n a multiple of 11?
True
Let z(q) = 101*q - 1. Let j be z(1). Let l = j + -59. Is l a multiple of 12?
False
Let i = -40 - -15. Let k = i - -53. Is k a multiple of 9?
False
Let j = 154 + -58. Is j a multiple of 24?
True
Suppose -3*w = 3*v + 2*v + 5, 5*v = w + 15. Suppose -t - v*t = -129. Suppose -5*j + h = -j - t, -h - 7 = -j. Is 6 a factor of j?
True
Suppose x - 124 = -3*q, -x - 4*q - 320 = -4*x. Does 28 divide x?
True
Let u = -52 + 32. Is 3 a factor of (1 - -1)*(-90)/u?
True
Let x = -12 - -18. Suppose -m + 12 = -2*a, 4*a + 10 = x*a. Does 16 divide m?
False
Let v be 6/4 + (-273)/6. Let d = -23 - v. Is d a multiple of 7?
True
Let g = 82 - 37. Does 10 divide g?
False
Suppose 4*t - 4*f = 188, -2*t - 5*f - 88 = -4*t. Let z = t - 28. Let b = -10 + z. Is 6 a factor of b?
False
Suppose a + 5 = i, -3*a - a = -3*i + 20. Suppose m + 4 = i, 4*y + 28 = -0*m - m. Let k = y + 15. Is 4 a factor of k?
False
Let q(o) = o - 1. Let a be q(6). Let d = a + 13. Is 6 a factor of d?
True
Let g(k) = -4*k - 2. Let f be g(-2). Does 25 divide -30*15/f*-1?
True
Suppose 5*d + 5 = 4*h - 5*h, 4*h - d - 22 = 0. Suppose 0 = h*m - 5*t - 10, -4*m + 2 = t - 1. Does 12 divide -1 + 24 - (m + 1)?
False
Suppose 0*w = 4*w - 16, 2*r = w - 6. Let y(o) = -7*o. Let m be y(r). Does 12 divide (2 - 0) + 2*m?
False
Let w = -153 + 254. Is w a multiple of 42?
False
Let a be (-2)/8*2*-70. Suppose 2*j - 31 = d, 16 = 2*j + 3*d - a. Is j a multiple of 9?
True
Suppose 3*n - 33 = 6*n. Is 2 a factor of (-8 - n)*(-20)/(-6)?
True
Let f = 2 + 0. Let u(p) = 6*p**2 - 2*p + 1. Is u(f) a multiple of 7?
True
Let c(v) = -41*v**2 + 1. Let i be c(1). Let f = -3 - i. Does 10 divide f?
False
Let n = 0 + -5. Is 18 a factor of 55*(2 + 6/n)?
False
Let k = 8 + 0. Let a = 23 - k. Suppose 5*o + a = 0, -3*n - 4*o + 32 = n. Does 5 divide n?
False
Suppose 2*o + 0*o = 28. Does 13 divide o?
False
Suppose 4*k = -4*s - 103 - 69, 0 = 3*s + 3. Does 21 divide ((-1)/(-1))/((-1)/k)?
True
Let t(u) = -u**3 + 11*u**2 - 6*u. Does 10 divide t(10)?
True
Suppose 3*o - 6*o = -3. Suppose 39 = 2*y - y + 3*v, v = o. Does 22 divide y?
False
Let r(o) = -3*o**3 + 3*o**2 - 1. Let y be r(2). Let g = 25 - y. Is 14 a factor of g?
False
Let y be (-9)/9*1*-2. Suppose h = -y + 6. Does 3 divide h?
False
Suppose 108 = -0*i - i. Is 18 a factor of i/(-14)*(-21)/(-3)?
True
Suppose 6*a - 106 = 92. Is 4 a factor of a?
False
Let s be (1/3)/(3/36). Let v = 9 - s. Is v a multiple of 3?
False
Let b = -2 - -5. Suppose -b*t - 2*t + 20 = 0. Is t a multiple of 3?
False
Suppose i = -4*i + 515. Is 32 a factor of i?
False
Let m(n) = 2*n**3 - 2*n**2 + 2*n - 2. Is m(3) a multiple of 20?
True
Let w = -2 + 10. Suppose k + w = -0*k. Let s = k + 16. Is s a multiple of 8?
True
Let m = 78 + -8. Does 34 divide m?
False
Let u = 105 + -4. Is u a multiple of 14?
False
Let b = -4 - -10. Suppose b*s - 125 = s. Suppose -4*p - p = -s. Is p a multiple of 2?
False
Let r(l) = -35*l**3 + 2*l**2 - l - 2. Is 12 a factor of r(-1)?
True
Let z = -38 + 80. Does 21 divide z?
True
Suppose 0*d - 128 = 4*d - 3*a, 0 = 2*d - a + 64. Does 11 divide (-1)/(-2 - 62/d)?
False
Let u be 4 + (-1)/(-2)*4. Let v(p) = 0 + 1 - 4*p + u. Is 16 a factor of v(-5)?
False
Suppose 4*m + 2*u = 94, 0 = 6*u - u + 5. Is m a multiple of 6?
True
Let o be (-29)/(((-3)/(-4))/3). Let s = 180 + o. Suppose 0 = 2*m + 2*m - s. Is 8 a factor of m?
True
Is 3 a factor of 9/((-4 - -1)/(-3))?
True
Suppose 0 = -r - 2*j + 52, j + 227 = 2*r + 3*r. Is 12 a factor of r?
False
Is 1/1*0 + -2 + 10 a multiple of 2?
True
Let p(l) = -l**2 + 5*l - 2. Let a(u) = -u. Let v(w) = -6*a(w) - p(w). Suppose -f + 6*f + 25 = 0. Is v(f) a multiple of 11?
True
Let g(c) = 7*c**2 - 5*c - 23. Let x(b) = 4*b**2 - 3*b - 11. Let w(u) = -3*g(u) + 5*x(u). Is 14 a factor of w(0)?
True
Let v be (0 + 2/(-6))*-12. Suppose -3*f + 4*q + 69 = 0, -f + q = v*f - 132. Does 4 divide f?
False
Let d = -13 + -1. Let l be (-1648)/d - (-6)/21. Let o = l - 82. Is o a multiple of 17?
False
Suppose -5*v = -20 - 5. Does 5 divide v?
True
Suppose 3 - 11 = -4*s. Suppose s*o = -0*o - 5*t - 8, -o - 1 = t. Does 9 divide (28 - o)*4/4?
True
Let c(m) = -2*m**2 - 8*m + 1. Let f(o) = o**2 + 4*o - 1. Let n(s) = -4*c(s) - 7*f(s). Let q be n(-3). Suppose -26 = -2*w - q*w. Is w a multiple of 13?
True
Is (-12)/2*420/(-40) a multiple of 7?
True
Suppose 0 = 4*z + 113 + 67. Let a be 2/((-6)/z - 0). Suppose -3*v - a = -51. Does 6 divide v?
True
Is 318/8 - 4/(-16) a multiple of 10?
True
Suppose 0 = -5*d + n + 37 + 39, 0 = -3*d + 2*n + 40. Is d + 6/2 + -3 a multiple of 8?
True
Suppose 0 = 24*c - 25*c + 119. Is 24 a factor of c?
False
Let a = 7 - 5. Suppose 2*v + 13 = 5*y - 254, -210 = -4*y - a*v. Is y a multiple of 14?
False
Suppose 110*b - 109*b = 80. Is b a multiple of 10?
True
Let c(g) = g**2 + g + 2. Let a be c(2). Suppose a*z = 3*z + 40. Is (z/(-3))/(2/(-18)) a multiple of 9?
False
Let o be (-2)/(-11) + (-568)/(-22). Suppose -16*w + o = -14*w. Does 3 divide w?
False
Let q(l) be the first derivative of l**4/6 + l**3/6 - l**2/2 - 1. Let i(y) be the second derivative of q(y). Does 17 divide i(8)?
False
Let r = 165 + -103. Does 8 divide r?
False
Let l = 5 + -3. Suppose -7*k = -l*k. Suppose 0*j + 3*j - 54 = k. Is j a multiple of 11?
False
Suppose -2*c + 4 = 4*h + 12, 20 = -5*h. Is (-69)/(-9) + c/(-6) a multiple of 7?
True
Suppose -5*r = -31 - 99. Is 4 a factor of r?
False
Suppose -5*h + 0*h + 10 = 0, 46 = 3*i - 4*h. Is i a multiple of 4?
False
Let k = -133 + 49. Is k/7*3/(-2) a multiple of 5?
False
Let o(i) be the third derivative of i**4/24 + 7*i**3/6 + i**2. Does 8 divide o(9)?
True
Suppose 8 = -2*o + o. Let z(d) = -d**3 - 9*d**2 - 9*d + 14. Is 22 a factor of z(o)?
True
Suppose -t - 3*t = 20, 2*t + 18 = 2*v. Suppose -v*h - 8 = -8*h. Suppose -32 = -h*w - 3*d, -21 = -w - 5*d + 2. Does 13 divide w?
True
Suppose -5*p - 32 = -4*h, -3 = 2*h - 9. Let m = -9 - p. Let w = m + 31. Is 13 a factor of w?
True
Let t(w) = 31*w**2 + w + 5. Does 21 divide t(2)?
False
Suppose 0 = 2*o - 3*d - 16, -13 + 3 = -3*o + d. Suppose 72 = o*g - g. Is g a multiple of 24?
True
Let d(m) = m**3 - 2*m**2 + 1. Let a be ((-7)/(-6))/7*6. Let c be d(a). Suppose -40 = -l - c*l. Is l a multiple of 15?
False
Let b(j) = 5*j**2 + j. Let k(u) = -u**2 - u - 1. Let g(z) = -b(z) - 4*k(z). Does 2 divide g(3)?
True
Let k = 31 - 19. Let p = k + -5. Is 7 a factor of p?
True
Suppose 2*q + 3*q = -20, 5*r - q - 109 = 0. Let p = r + -13. Does 4 divide p?
True
Let m be 1/(-2)*-14*1. Let n = m + 10. Suppose -4*x - 1 = -n. Is x a multiple of 3?
False
Suppose 4*g - 9 = 3. Is g a multiple of 3?
True
Let f(q) = 5*q**2 - q + 1. Let o be f(1). Suppose -3*u + o = -76. Is u a multiple of 13?
False
Let u(r) = 6 - 2*r**3 + 11*r**2 + r**3 + 2*r**3. Does 3 divide u(-