Is k a multiple of 12?
True
Let v(l) = -5*l + 1. Let k be v(5). Is 12 a factor of 0 - k - (3 + -5)?
False
Let j be (-6)/(-9)*3 - 2. Suppose x + 2 + 0 = j. Is 16 a factor of 30 - (x*1 + 0)?
True
Let y(f) = -5*f**2 + 5*f - 1. Let c = 20 - 12. Let n(w) = 15*w**2 - 14*w + 2. Let a(d) = c*y(d) + 3*n(d). Is 5 a factor of a(2)?
False
Let d be 2*((-150)/(-4) - 1). Let v = -23 + d. Is v a multiple of 16?
False
Let s = -588 + 364. Let u = s + 364. Suppose -3*n + u = 2*n. Does 16 divide n?
False
Suppose 3*w - k - 364 = -0*k, 2*w + 3*k = 228. Is 22 a factor of w?
False
Let s = -1 + 11. Let k = -3 + s. Suppose -k*m - 32 = -4*n - 3*m, -5*n - m + 28 = 0. Is n a multiple of 4?
False
Suppose 91 = 4*z - 73. Suppose 4*t + 8 = r, -t = 5*r - z - 62. Does 10 divide r?
True
Let w(s) = s + 4. Is 4 a factor of w(11)?
False
Suppose 3*a = 12*j - 10*j - 19, 4*a - 26 = -2*j. Is j a multiple of 2?
False
Let c(n) = 7. Let y(d) = -d - 6. Let w(f) = -4*c(f) - 5*y(f). Is 12 a factor of w(3)?
False
Let l = 9 + -18. Let v = -12 + 32. Let r = l + v. Is r a multiple of 7?
False
Let g(o) = 15*o + 6. Is g(2) a multiple of 6?
True
Let s be (0 + 1)*(3 - 6). Let r = s + 9. Is 6 a factor of r?
True
Suppose 27*r - 24*r - 240 = 0. Does 8 divide r?
True
Let i(z) = 14*z**2 + 7. Does 24 divide i(3)?
False
Let r(i) = 6*i**2 - 3*i + 7. Does 5 divide r(3)?
False
Suppose -105 = -5*q + 4*s, 2*q - 29 = s - 2*s. Is 3 a factor of q?
False
Suppose -3*f = -2*y + 327, -5*f - 69 = -y + 84. Is 28 a factor of y?
True
Suppose -4*i + 22 = -74. Let n = -38 + i. Is 12 a factor of ((-48)/28)/(2/n)?
True
Let x(o) be the first derivative of -3*o**2 + o - 2. Is x(-5) a multiple of 16?
False
Let i = -37 - -21. Does 24 divide 2/(-1) - 880/i?
False
Suppose -j = 2*j + 54. Suppose 4*c + 40 + 32 = 0. Does 13 divide 4/c + (-274)/j?
False
Suppose 0 = y + 4*b - 19, 3*y = -0*y + 4*b + 89. Is 9 a factor of y?
True
Let c(s) = 2*s**2 - 8*s - 3. Suppose 4*v - 24 = o - 5*o, -2*o + 12 = -4*v. Is 21 a factor of c(o)?
True
Suppose 0 = o + 2*o + 15. Let b = o - -17. Is b a multiple of 12?
True
Let y(d) = -d + 5. Let o be y(-5). Suppose -q - 4*q = -o. Suppose -g - 6*l - 11 = -l, 0 = -q*g + 3*l + 43. Is 8 a factor of g?
False
Let h = 1 + 0. Suppose 0 = -2*f + 7 + h. Is f even?
True
Does 13 divide 0 - -89 - -1*1?
False
Let l = 4 - -1. Suppose 0 = i - 2*v - 16, 2*v + 28 = l*i - 44. Is 7 a factor of i?
True
Let f(j) = -j + 1. Let m be f(4). Let x(b) = 3*b**2 + 4*b + 2. Let v be x(-2). Is 13 a factor of 74/v - 2/m?
True
Let u = 657 + -411. Does 41 divide u?
True
Suppose -2*t = -2*p - 8, -8 = -3*t + p + 2. Let o = 0 + 4. Suppose t*i = o*i - 4. Does 4 divide i?
True
Suppose -4*w + 3*c = -c, -3*c = 0. Suppose w = -2*a, 2 = 5*b + 5*a - 18. Is b a multiple of 2?
True
Let d(r) = -6*r + 2*r**2 - 6*r**2 + 5*r**2. Is 7 a factor of d(9)?
False
Let b be 2/(-4)*(-5 - 1). Let j = b - -4. Suppose j*y = 2*y + 55. Does 6 divide y?
False
Let u = -1 + -3. Let w = u + 2. Is (10 - w)*(-7)/(-4) a multiple of 10?
False
Suppose 4*u + 3*a + 2*a = -104, 5*u + 5*a = -125. Let q be u/(-9) - 2/(-3). Let g = q - -3. Is g a multiple of 4?
False
Suppose -231 = -4*l - 5*z, -3*z - 8 = 7. Is 15 a factor of l?
False
Let r = 6 + -4. Let u be (1 - r)/(3/(-6)). Let z(o) = -o**3 + 4*o**2 + o. Is z(u) a multiple of 10?
True
Let x(o) = 4*o - 5. Let k(q) = q**3 + 7*q**2 + 4*q - 4. Let a be k(-6). Does 13 divide x(a)?
False
Let s be 2/7*(-7)/(-1). Suppose -3*d = -s*d - 44. Is 12 a factor of d?
False
Suppose -3*h + 4 = -4*h, -3*f + 4*h = -100. Is f a multiple of 11?
False
Let s(l) = -110*l + 14. Does 39 divide s(-1)?
False
Is (-2)/(-1)*(8 + 9) a multiple of 17?
True
Let i be (51/3)/(-1 - -2). Let f = i + -3. Is f a multiple of 10?
False
Suppose -15 = -5*v + 60. Does 9 divide v?
False
Let n = 0 - 0. Suppose n*u = 5*u. Suppose u = 2*s - 24 - 20. Is 11 a factor of s?
True
Suppose -80 = -5*y + 4*x, 10 = 2*x - 0*x. Does 5 divide y?
True
Let j(x) = x**2 + 2*x. Let b be j(8). Does 6 divide 4/14 + b/14?
True
Let c(t) = t**2 - t + 3. Suppose -l = 3*r - 4*r + 10, r + 4*l = 0. Let f = r - 3. Does 8 divide c(f)?
False
Does 5 divide 97/(6/6 + 0)?
False
Suppose -p - 5 = 0, -3*n - 3*p = -p - 458. Suppose 5*v - n = -g - g, -v = 2*g - 28. Is v a multiple of 16?
True
Suppose -y + 3 = 1. Let f(v) = -v**3 + 4*v**2 - 4*v + 3. Let i be f(2). Suppose y*k = -i*k + 60. Is k a multiple of 6?
True
Let s = 11 + -11. Suppose 2*w = -s*l - l + 15, 4*l - 60 = 2*w. Does 15 divide l?
True
Is -5*(9/3)/(-3) even?
False
Let m(p) = 3*p**2 + 9*p + 2. Does 8 divide m(-5)?
True
Let x(j) = j**2 - 4*j - 18. Is 27 a factor of x(11)?
False
Is 3 a factor of 1 - (2 + 2) - 0 - -34?
False
Suppose 0 = -z - 4*z + 270. Is z a multiple of 24?
False
Suppose -3*l + 24 = -l. Does 11 divide l?
False
Let m = -37 + 61. Suppose 0 = -0*x + 4*x - m. Does 2 divide x?
True
Let b = 2 + -7. Let a(w) = 9*w + 17. Let p(n) = -5*n - 9. Let o(i) = b*p(i) - 3*a(i). Is 13 a factor of o(-10)?
False
Let f = -94 - -154. Does 12 divide f?
True
Is 3 a factor of -4 - (-11 + 4 + 0)?
True
Let n(t) = t**3 - 6*t**2 - t. Let h(p) = -p**3 + 5*p**2 + p + 1. Let u(k) = 3*h(k) + 2*n(k). Does 3 divide u(3)?
True
Suppose 0 = 7*t - 0*t - 784. Is t a multiple of 28?
True
Let q be ((-88)/12)/((-2)/9). Suppose 0 = -3*h + 17 + 28. Let u = q - h. Is 18 a factor of u?
True
Suppose -u = -0*u - 132. Does 11 divide u?
True
Let h = 10 - 6. Suppose -j = -4*w - 14, -h*w = -4*j - 1 + 69. Is 9 a factor of j?
True
Let c = -11 + 101. Is 9 a factor of c?
True
Let o(f) = f**2 - 7*f - 10. Let i be o(8). Let h = 24 - i. Is h a multiple of 13?
True
Suppose 0 = 2*n - w - 13, 2 = n - 2*w + 3. Does 3 divide n?
True
Let r = -4 - -26. Does 3 divide r?
False
Suppose 5*j + 14 = -41. Let x = 16 + j. Suppose 4*b + 82 = x*o, 2*o + 4*b = -3*o + 58. Does 13 divide o?
False
Suppose 2*g + 2*g - 112 = 0. Is g a multiple of 14?
True
Let l be 1 + 16 + -3 + -1. Suppose l = -5*m - 2, -m = 4*k - 17. Does 2 divide k?
False
Let q = -141 + 201. Is q a multiple of 13?
False
Let m(j) = 5*j**2 - 16*j - 9. Let z(k) = -k**2 + 3*k + 2. Let l(n) = -2*m(n) - 11*z(n). Let y be 17/3 + (-2)/3. Is 11 a factor of l(y)?
False
Suppose -207 = -5*q - 62. Does 14 divide q?
False
Does 13 divide ((-7)/(-3) - 2)/((-9)/(-1917))?
False
Let r = 41 + -17. Is 7 a factor of r?
False
Let x be ((-1)/(-2))/(3/12). Suppose -13 - x = -5*q. Suppose -5*i - q*u = -28, -6*i + 4*u + 56 = -i. Does 4 divide i?
True
Let n = -8 - -1. Let u = -11 - n. Let c = u - -10. Does 6 divide c?
True
Suppose 2*a + 3*r - 6 = 0, a - 3 = -3*r - 0. Suppose -x - a*i = -28, -5*x + 23 = -i - 181. Is 10 a factor of x?
True
Let r(v) = -56*v**3 - v**2 - v. Does 8 divide r(-1)?
True
Let o = 18 - 25. Let q be (-4)/14 - (-26)/o. Let h(z) = -z**2 - 7*z - 5. Is h(q) a multiple of 7?
True
Let n(q) = 8*q**2 + 1. Let i be n(-1). Is i/(-6)*(-160)/12 a multiple of 10?
True
Suppose 2*j = 5*s - 58, 0*s + 3*s = -4*j + 40. Does 6 divide s?
True
Is (-24)/(-2)*(-110)/(-33) - 1 a multiple of 10?
False
Is ((-2052)/(-6) - 3) + 1 a multiple of 62?
False
Let f = 7 + 23. Is 30 a factor of f?
True
Suppose -5*z + 14 = 2*l, 0 = 3*l - 2*l + 2*z - 8. Let p = l - -3. Is 3 a factor of p?
True
Is 3 + 2504/24 + (-2)/6 a multiple of 19?
False
Suppose 0 = -4*r + 5*w - 4 - 22, 5*r + 49 = -2*w. Let q = 0 - r. Is q a multiple of 3?
True
Is 12/(-8)*(-1 + (-1 - 24)) a multiple of 13?
True
Let a(i) = -i**3 - 4*i**2 - 2*i - 6. Let t be a(-4). Suppose -4*q + 5*s - t*s = -213, -2*s = -10. Is q a multiple of 19?
True
Does 12 divide ((-114)/1)/((-48)/128)?
False
Let n = -272 - -101. Does 14 divide 9/(-12) + n/(-4)?
True
Suppose -4*v + 5*v = 25. Is 11 a factor of v?
False
Let u be 0 - 2*(-3)/2. Let i(o) = -2*o - 3 + 0*o - u. Is 3 a factor of i(-5)?
False
Let w(c) be the third derivative of -7*c**6/30 + c**5/30 - c**4/12 + c**3/6 - 2*c**2. Let k be w(1). Is 3 a factor of (-2)/(-3)*k/(-6)?
True
Let f(s) be the first derivative of s**3/3 - 3*s**2 + 4*s + 1. Let a be f(6). Suppose -3*t + t = a*m - 42, -5*m + 69 = 4*t. Does 11 divide t?
True
Suppose -59 + 299 = 4*l. Does 12 divide l?
True
Suppose -3*r + 3 = -2*r. Is 3 a factor of r?
True
Let y be (-10)/50 - 32/(-10). Suppose -4*f = -4*d - 40, 2*d = -y*f - 0*f + 50. Does 14 divide f?
True
Let y = 7 - 3. Suppose 47 = -y*l + 187. Suppose 4*u - l = 65. Is 11 a factor of u?