s v(17) a multiple of 7?
False
Let c be -2 + (-1)/((-2)/12). Suppose -3*y = -2*o + 56, 2*o + 0*o - 52 = c*y. Is 17 a factor of o?
True
Suppose 0*k + 12 = -4*m + 4*k, 5*k = 10. Is 8 a factor of (m/(-1) + 3)*2?
True
Let z be (-2)/((-4)/(-5))*2. Let u(k) = -k**3 - 5*k**2 - k + 1. Is u(z) a multiple of 3?
True
Let o(g) = -g**2 - 6*g + 1. Let r(b) = b**3 + 7*b**2 + 7*b + 1. Let c be r(-6). Let i be o(c). Suppose i*s - 10 = s. Is 2 a factor of s?
True
Let w be (9/(-12))/(1/(-4)). Let x(l) = 7 + 0*l**2 + 2*l - w + l**2. Is 6 a factor of x(-4)?
True
Is (-3)/6 - (-33)/6 a multiple of 2?
False
Suppose 3*o = -0*o - 15. Let y be 27/5 - (-2)/o. Suppose -3*g + 156 = 3*r - 2*g, g - 258 = -y*r. Is r a multiple of 14?
False
Let l = -7 - 8. Let p be (-2)/(1*(-2)/l). Is (2 - 0)/((-2)/p) a multiple of 15?
True
Suppose 11*u - 18*u + 1785 = 0. Is 34 a factor of u?
False
Let a(j) = -10*j - 1. Let t(m) = 11*m. Let p be (-21)/(-4) - 1/4. Let d(l) = p*t(l) + 6*a(l). Does 8 divide d(-4)?
False
Suppose 455 + 406 = 3*i. Suppose -4*w - 25 - i = 0. Let x = 124 + w. Is x a multiple of 12?
False
Let b = 25 + -5. Is b a multiple of 10?
True
Suppose 3*c - 463 = -5*u, c - 3 = -3*u + 274. Is u a multiple of 26?
False
Let b(r) = -r. Let q be b(-8). Let i(g) = -g**3 + 9*g**2 - 5*g - 8. Does 10 divide i(q)?
False
Suppose 0 = -2*b + 111 - 21. Is b a multiple of 3?
True
Suppose -3*j + 254 = o, j + 0*o - 89 = 4*o. Is j a multiple of 17?
True
Let t(m) = m**2 + 5*m + 2. Let y be t(-5). Is -2 - (-4 + -4 + y) a multiple of 4?
True
Let d = 9 + -58. Let z = d - -77. Is z a multiple of 12?
False
Let s be -3*(-3)/(9/19). Suppose 0 = -z + v + 20, 0 = -8*z + 3*z + 2*v + 91. Suppose -z - s = -4*a. Does 7 divide a?
False
Suppose -96 = -2*h - 2*h. Let d(w) = 2*w**3 + 7. Let l be d(0). Let b = h - l. Does 10 divide b?
False
Suppose 0*h - h = 0. Suppose -2*o = -2*p - 2, -2 + h = 2*p. Let v = o - -13. Is v a multiple of 13?
True
Let x(h) = h**2 - 12*h - 44. Is x(18) a multiple of 18?
False
Let c(y) = 10*y**2 + 6*y + 2. Is c(-2) a multiple of 6?
True
Let h = 33 - 20. Is 13 a factor of h?
True
Suppose -3*r - 2*z = 10, 0 = -5*r - z - 1 - 4. Suppose r = -2*t + 2*u - 0*u + 22, -5*t = 5*u - 15. Is 2 a factor of t?
False
Suppose 2*m - 4 = -0. Suppose 45 = 4*r - 3*p, -3*r + p = m*r - 70. Is r a multiple of 13?
False
Let g(k) = -k**3 + 6*k**2 - 4 + 2*k**2 + 0*k**2 - 6*k + 11. Is g(7) a multiple of 5?
False
Suppose s = -4*o + 817, 2*o - 412 = -6*s + 2*s. Does 12 divide o?
True
Let y = -5 + 4. Is 4 a factor of (-2 + 5)*2 - y?
False
Suppose -2*u + 182 = -r + 67, 2*u + 5*r - 97 = 0. Is u a multiple of 14?
True
Let q(y) be the second derivative of y**3/2 + 3*y**2/2 + 2*y. Does 21 divide q(6)?
True
Let s be ((-2)/(-3))/(5/(-390)). Let b = s - -75. Does 8 divide b?
False
Let l(v) = -4*v**3 - 8*v**2 - 8*v - 3. Let i(x) = 5*x**3 + 8*x**2 + 7*x + 2. Let z(b) = 3*i(b) + 4*l(b). Let c be -2 - (2*5)/2. Is z(c) a multiple of 11?
True
Suppose 0 = -5*z - 3 + 18. Let v = 143 - 85. Suppose z*t = t + v. Is t a multiple of 11?
False
Let f = -17 - -10. Let v(l) = -2*l - 10. Is 2 a factor of v(f)?
True
Let t be 6*-13*(-2)/(-6). Let b = t - -37. Is 11 a factor of b?
True
Is 26 a factor of 13/(7/(-20) - (-72)/120)?
True
Suppose 0*y + 12 = -4*y. Is 12 + (1 + y)/2 a multiple of 11?
True
Let b = 123 + -103. Does 20 divide b?
True
Let s = 20 - -2. Is 11 a factor of s?
True
Let o(f) = 6*f**3 + 2*f**2 - 2*f + 3. Let z be o(2). Suppose 5*b + 10 = z. Does 9 divide b?
True
Let u(p) = -p**3 - p**2 - 2*p - 3. Suppose a = -a + 10, 0 = 5*b + 4*a - 5. Let z be u(b). Let t = -13 + z. Does 8 divide t?
True
Let u be 12/(-3)*(-9 + -1). Let j be (45/(-4))/((-15)/u). Suppose 8*o = 3*o + j. Is 3 a factor of o?
True
Suppose 2*m + 3*m + r = -17, -2 = -2*m + 4*r. Let v be 0 + m + 28/1. Suppose -5*a + v = -45. Is 8 a factor of a?
False
Let d = -2 - -10. Let t = d - -7. Does 3 divide t?
True
Let u be 6/(-6) + 16 + 0. Suppose z = b - u, -4*b + 65 = 2*z - z. Does 6 divide b?
False
Let k be 1*(-2*3)/(-3). Let w(m) = m**3 + m**2 - 4*m + 3. Is w(k) even?
False
Suppose 5*x - 23 = -3*i + 74, -3*i - x = -89. Does 10 divide i?
False
Let i(c) = -c**3 - 6*c**2 + 3*c + 7. Does 7 divide i(-7)?
True
Suppose 0*b - 6 = -2*b, 2*m - b - 33 = 0. Let n = m + 11. Is n a multiple of 21?
False
Let j = 12 - 10. Does 12 divide (j - 3)*(1 - 13)?
True
Let j = 61 - 1. Does 10 divide j?
True
Let h be 1/(-4) - (-4456)/32. Let i = -64 + h. Is i a multiple of 16?
False
Suppose 12*o = 764 - 224. Does 5 divide o?
True
Let h(q) = -8*q - 10. Is h(-7) a multiple of 11?
False
Let d(y) be the first derivative of y**4/4 + 2*y**3 - 3*y**2/2 + 2*y + 2. Let x be d(-6). Suppose -x = -5*a + 5*n, -5*n = -5*a - 3*n + 26. Is a a multiple of 5?
False
Let j = -7 + 5. Let g be 0*(10/(-4) - j). Suppose 4*v + 132 = 4*k, g = -3*k + 4*v + 73 + 25. Is 13 a factor of k?
False
Does 53 divide (2 - 6) + 428 + -4?
False
Let o(y) = 6*y - 24. Is o(7) a multiple of 5?
False
Let m(k) = -k**3 - 4*k**2 - 2*k - 4. Suppose -2*x = -5*t + 3*x - 65, 0 = -5*x - 5. Let p be t/3 - (-4)/6. Is m(p) a multiple of 3?
False
Let s be 12/(-4) + 2*-2. Does 7 divide (-6)/18*s*3?
True
Let v = 6 - 3. Suppose -2*h - 44 = -v*h. Is 22 a factor of h?
True
Let b(n) = 3*n. Let g be b(1). Suppose 3*j - 4*f - 63 = 0, 2*f - 36 = -g*j - 3*f. Let d = j + 0. Is 8 a factor of d?
False
Let n be (-128)/(-10) + 1/5. Let v = n - 6. Is 6 a factor of v?
False
Let j = -37 + 75. Is j a multiple of 19?
True
Suppose 5*y + b + 5 = 16, 3*y - 2*b - 4 = 0. Let l be 5 - (-1 - -2)/(-1). Suppose 3*w - 3*h - 54 = 0, y*w - 4*h = l*w - 88. Does 7 divide w?
False
Suppose 1131 = 4*a + 235. Is a/40 - 4/(-10) even?
True
Let d = 43 + -73. Is 6 a factor of ((-10)/(-25))/((-1)/d)?
True
Let u = -3 - -5. Suppose 11 = u*f - 5. Is 8 a factor of f?
True
Suppose 0 = 5*x + 135 - 1900. Suppose -5*d = 3*p - x, 2*d = -5*p + 87 + 58. Does 21 divide d?
False
Let z = -1 - -3. Let p be (-2)/4 - 255/(-6). Is 4 a factor of p/9 - z/(-6)?
False
Suppose -3*r + 158 = -85. Is r a multiple of 13?
False
Suppose -g = -8 - 19. Is g a multiple of 12?
False
Let z = -2 + 10. Let o(v) = -v**3 + 7*v**2 + 6*v. Let q be o(z). Let a = q + 30. Is a a multiple of 7?
True
Is 83*(5 - (2 - -2)) a multiple of 21?
False
Let o = 0 + 2. Suppose f - 2 = o. Does 3 divide f?
False
Let d = 1 + 3. Let s(c) = -c**2 + 5*c - 2. Let z be s(d). Suppose -2*u - z*v + 22 = 0, -3*v - 2 = 7. Is 14 a factor of u?
True
Let y = -6 - 6. Let g = y + 18. Does 2 divide g?
True
Suppose u - 2 - 2 = 0. Suppose 1 = v + u. Let k(n) = -3*n + 4. Is k(v) a multiple of 7?
False
Let z(q) = -q**2 - 5*q + 4. Let u be z(-5). Let x = u + 0. Suppose x*a - a = 57. Is a a multiple of 12?
False
Suppose -3*i = -1 - 2. Is 5 a factor of (i + -2)/((-10)/130)?
False
Suppose 120 = -90*x + 93*x. Does 8 divide x?
True
Let t(s) = 27*s - 12. Does 12 divide t(4)?
True
Let q = 35 - 75. Let t = q - -80. Is 11 a factor of t?
False
Does 11 divide ((-16)/10)/((-32)/1520)?
False
Is (-5 + 330/42)/((-4)/(-70)) a multiple of 5?
True
Let d = 0 + 1. Suppose -2*n + d = -71. Does 18 divide n?
True
Let t = 49 - 9. Does 10 divide t?
True
Let w(l) be the second derivative of l**4/24 + l**3/3 - l**2 - 3*l. Let x(j) be the first derivative of w(j). Is 3 a factor of x(3)?
False
Suppose 5*y = 29 + 11. Let c(r) = 2*r - 22. Let i(p) = -5*p + 65. Let w(s) = y*c(s) + 3*i(s). Does 7 divide w(0)?
False
Suppose -356 = x - 4*l, -3*x + 0*l - 1096 = -5*l. Is 34 a factor of (x/(-24))/((-1)/(-6))?
False
Let s(h) = 3*h**2 - 5*h - 36. Is s(-7) a multiple of 21?
False
Suppose -5*b + 10*b + 3*m = 58, 0 = 4*m + 16. Does 14 divide b?
True
Let i(h) = h**3 + 5*h**2 - 6*h + 8. Let o be i(-6). Suppose -6*k = -2*k - o. Is 2 a factor of k?
True
Suppose -91 + 26 = -5*o. Is 5 a factor of o?
False
Suppose -38 = -2*u - 2*i - 2*i, -5*u + 3*i + 121 = 0. Let q = u - 9. Is 7 a factor of q?
True
Let x(y) be the second derivative of -y**3/6 + y**2 - y. Does 2 divide x(-2)?
True
Let m be (-76)/(-16) - 2/(-8). Is 13 a factor of (-1836)/(-45) - (-1)/m?
False
Let y = -6 - -6. Let u = y + 3. Suppose p - l - 11 = 0, 2*l + 10 = -u*p + 23. Is p even?
False
Let g be 4*((-10)/(-4) + -1). Let i be (-14)/(-3)*g/4. Let w = i - -36. Is w a multiple of 21?
False
Suppose -3*a - s = -104, -3*a = 4*s + s - 124. Is 11 a factor of a?
True
Le