ltiple of 13?
False
Is 206/3 - (-4 + (-11)/(-3)) a multiple of 23?
True
Suppose -4*g - 16 = -4*k, -g + 8 + 3 = 4*k. Suppose -k*u = -9 - 0. Is u even?
False
Suppose 5*h - 5*d - 22 = h, 3*d = 3*h - 15. Suppose 0 = n - 4 - h. Is n a multiple of 7?
True
Let v be 0 + (-3 - (-6 + 3)). Is 16 a factor of 93 + (v - 4) + 6?
False
Suppose 5*m - 101 - 49 = 0. Is m a multiple of 6?
True
Let u = -4 + 6. Suppose -5 = -u*h - c, 2 + 1 = -c. Is 3 a factor of h?
False
Suppose -5*i = -4*y + 404, -2*y - 4*i + 82 = -120. Is 12 a factor of y?
False
Let m(v) = v + 1. Let s(w) = 6*w - 2. Let f(i) = -4*m(i) - 2*s(i). Is 12 a factor of f(-3)?
True
Let k = -88 - -160. Is k a multiple of 12?
True
Let k(b) = b**3 + 10*b**2 + 9*b - 10. Let q be k(-10). Does 11 divide q/(-5) + (2 - 0)?
True
Is 14 a factor of 21/((-4)/8 + 1)?
True
Suppose 0 = 2*d - 5*t - 55, 2*d + 3*t - 45 = -2*d. Suppose -2*i + o + 9 = i, d = 5*i + 2*o. Suppose 0 = i*q - 2*q - 21. Is 17 a factor of q?
False
Let v(p) = -p**3 + 4*p**2 + 7*p - 7. Let j be v(5). Suppose -j*t + 7*t = 52. Is 4 a factor of t?
False
Suppose 6*y - 25 = y. Suppose -y*x - 3*p + 100 = 0, -5*x = -3*p - 12 - 88. Is x a multiple of 10?
True
Is 12 a factor of (3/(-6))/(2/(-392))?
False
Is 21 a factor of 1/2*(-924)/(-11)?
True
Suppose 60 = -v - 4*v. Let x = 36 - 20. Does 10 divide (15/v)/((-2)/x)?
True
Let x = 4 - -1. Suppose x*v = 5 + 15. Suppose 4*r + v = -3*l, 2*r + 4 = 2*l + 3*r. Is l a multiple of 4?
True
Let m be 9*(20/6 - 0). Suppose -5*p + m = -20. Is p a multiple of 7?
False
Let k(l) = 3*l - 7. Is 8 a factor of k(21)?
True
Let w(f) = -f**3 - f**2 - f - 1. Let i(j) = -2*j**3 - 12*j**2 - 6*j - 6. Let o(u) = -i(u) + 3*w(u). Is 15 a factor of o(9)?
True
Let i(a) = a**2 - a - 7. Let v be i(12). Suppose 2*m - z - 96 = 0, 115 = 5*m + 4*z - v. Is 12 a factor of m?
True
Let l be (3/4)/(6/24). Suppose 4*j + 55 = -l*a, -3*j + 4*a = -2*j - 10. Is 2 a factor of (-54)/j + 3/5?
True
Suppose -2*t = -0*w - w - 29, -4*w = 4*t - 28. Does 13 divide 3/(-12) - (-315)/t?
True
Suppose 11 = h + 5. Suppose 0 = -h*p + p - 100. Let y = 0 - p. Is 20 a factor of y?
True
Let b be 10/(-14) + (-2)/7. Let v be (-6)/(-4 - 6/(-3)). Is 13 a factor of 73/3 + b/v?
False
Let y = 11 - -10. Is y a multiple of 7?
True
Let d(b) = 3*b**3 + 5*b**2 + b + 1. Let h(r) = -7*r**3 - 10*r**2 - 2*r - 2. Let c(l) = -5*d(l) - 2*h(l). Does 15 divide c(-6)?
False
Suppose -q = q. Let c(m) = -m**3 - 3*m**2 - 4 + q + 3 + 5*m. Is c(-5) a multiple of 12?
True
Is (-2)/((-6)/(-9)) + 48 a multiple of 21?
False
Let d be (0 - 14)/(2/(-2)). Let k = -31 + d. Let a = k + 37. Is 13 a factor of a?
False
Is 155/8 + 123/(-328) a multiple of 5?
False
Suppose -3*d = -0 - 87. Is d/1 - (-6)/(-3) a multiple of 27?
True
Suppose -5*u = -2*c + 464, -5*c + 1160 - 30 = -5*u. Is 40 a factor of c?
False
Suppose 8 = 4*d + 4. Is 6 a factor of d*3 - (-15)/5?
True
Suppose b + 3*g = 40, -2*g + 180 = b + 3*b. Does 8 divide b?
False
Suppose -3*y - 4*m + 265 = 41, y = -m + 74. Does 36 divide y?
True
Let v = -8 + 11. Let m be ((-1)/v)/((-2)/138). Suppose -s + m = -q + 6, 2*s + 5*q - 48 = 0. Does 14 divide s?
False
Suppose n = 5*n - 320. Is 10 a factor of n?
True
Suppose -w + 11 = -25. Suppose 3*q = 4*g - 49, -3*q = -3*g - 0*q + w. Is g a multiple of 4?
False
Let y(v) = v**3 - v + 34. Is 7 a factor of y(0)?
False
Suppose 2*b = -3*s + 19, -16 = -4*b - 3*s + 7. Let w be (-188)/(-12) - b/3. Suppose 0 = 2*h - 61 + w. Does 12 divide h?
False
Let q = -70 + 112. Is 24 a factor of q?
False
Suppose -4*z = -6*z + 126. Does 21 divide z?
True
Let r(z) = -z**3 + 6*z**2 + 6*z + 7. Let u be (-7)/(((-3)/1)/3). Let m be r(u). Suppose 4*q + 14 = d, -d + m*q = -2*q - 10. Is 3 a factor of d?
True
Let z(u) = 0*u**2 + u**3 - 4 + 3*u - u**2 - 2*u**3. Let l be z(-3). Suppose 4 = -l*x + 19. Does 2 divide x?
False
Let p(d) = -d**3 - 5*d**2 - 4*d + 2. Let t be p(-4). Suppose -t*o + 26 = -0*o. Is o a multiple of 13?
True
Let i(a) be the second derivative of -a**5/20 - a**4/4 - a**3/6 - a**2/2 - 2*a. Let o be i(-3). Suppose o*h + 16 = 3*h. Is h a multiple of 10?
False
Let u be (-779)/(-4) + (-9)/(-36). Suppose -5*q + 0*q + u = 0. Is 13 a factor of q?
True
Suppose 2*q + 45 = 1. Suppose -6 = w - 2*w + 3*n, -2*n - 14 = w. Let o = w - q. Is o a multiple of 6?
False
Let b be (4 + 5)*(-2)/3. Let h(j) = j**3 + 5*j**2 - 6*j - 4. Let n be h(b). Let p(g) = g**3 + 7*g**2 + 6*g + 6. Does 15 divide p(n)?
True
Let a(t) = -t**2 - 6*t + 3. Let m(q) = 2*q - 3. Let o be m(7). Let p = 6 - o. Is a(p) a multiple of 3?
False
Let j(l) = 9*l - 2. Does 2 divide j(1)?
False
Let u be (-11 + 2)*(-3)/9. Suppose -162 = -u*x - 18. Does 16 divide x?
True
Let d = -1 + 1. Suppose -3*u + 7 + 2 = d. Suppose -4*s + 1 = -3*j + 55, 0 = 4*j - u*s - 65. Is j a multiple of 14?
True
Suppose -3*q + 177 = -4*l, -59 = l + 5*q + 14. Suppose -2*i - 102 = i. Let w = i - l. Is 11 a factor of w?
False
Let y = 3 - 0. Let z = y + 0. Suppose -9 = 5*g + z*l - 91, g + l - 18 = 0. Is g a multiple of 14?
True
Let v(b) = 3*b**3 - 3*b**2 + 3*b - 2. Let u be v(3). Let h = -31 + u. Does 16 divide h?
False
Suppose 4*x = 2*x + 52. Suppose 0 = y - 4*i + 13, y + i = -2*y - x. Is 12 a factor of 6/(-4)*132/y?
False
Suppose 6 = -4*o + o. Does 21 divide (-2)/(o/(-3))*-7?
True
Let z(n) = -4*n + 5. Is z(-4) a multiple of 7?
True
Suppose -5*v + 15 = -0*v. Suppose 10 = q - 5*l, 2*q - v*l + 0*l - 13 = 0. Is q a multiple of 2?
False
Let u = 7 - 0. Is 6 a factor of u?
False
Let s(x) = 2*x**2 + 9*x - 8. Let l(j) = -j**3 - 7*j**2 + 8*j - 11. Let h be l(-8). Let y = 4 + h. Is s(y) a multiple of 13?
False
Let p = 469 - 811. Does 16 divide (-4)/14 - p/21?
True
Suppose -5*z = 4*t - 108, 3*z - 54 = -2*t - 0*t. Is t a multiple of 15?
False
Let g(l) = -l**3 - 9*l**2 - 12*l. Let k = 10 + -18. Is g(k) a multiple of 16?
True
Suppose -26 = 4*z - 6. Let v = z - -8. Let a(p) = 2*p**2 + p - 1. Does 10 divide a(v)?
True
Let m be 3 + 15 - 1*2. Suppose 3*v = -4*b + m, v - b + 4 = -3*v. Is 9 a factor of (0/2 - v) + 25?
False
Let t = 14 - 3. Suppose 3*g - 7*g + t = -3*n, 2*n + 4 = g. Is 14 a factor of (84 + -2)/(4/g)?
False
Let c be 16/(-56) - 12/7. Let z(t) = t**2 - 3*t - 2. Is 7 a factor of z(c)?
False
Suppose 38 = 5*t - q, 3*q = -2*t + 6*q + 10. Does 4 divide t?
True
Let h(p) = -56*p - 28. Is h(-3) a multiple of 22?
False
Suppose 0 = 4*a, -4*s - 3*a + 28 = -2*s. Suppose 0 = -5*j + 26 + s. Is (-5)/((-20)/6)*j a multiple of 5?
False
Let w be 12*(434/8)/7. Let p = w + -62. Is p a multiple of 14?
False
Suppose r + 31 = -0*r. Let s = r + 53. Is 11 a factor of s?
True
Suppose -c - 3*i = 3*c + 583, 0 = 4*c - 5*i + 607. Let v = c - -70. Is 13 a factor of v/4*2/(-3)?
True
Let n be 4/14 - 710/(-14). Suppose -3*o + n - 18 = 0. Let m = -6 + o. Is 3 a factor of m?
False
Suppose 12 = 5*w - 13. Suppose -t + 25 = w*i, -3*i + 121 + 70 = 5*t. Is t a multiple of 20?
True
Suppose 1 = -4*v + 9. Suppose -72 = -2*g - v*g. Suppose 6 + g = 2*k. Does 6 divide k?
True
Suppose 14 = m - 21. Is 15 a factor of m?
False
Let x(z) = 33*z + 3. Let n be x(-2). Let q be (-3)/15 - n/15. Suppose -5*t + 4*w = -86, 0 = -5*t - q*w + 22 + 72. Does 9 divide t?
True
Let s(v) = -v**3 + 13*v**2 - 10*v - 1. Let p be s(12). Let t = -16 + p. Is 7 a factor of t?
True
Let q(z) = z - 8. Let n be 8 + 1 + 4 + -2. Let i be q(n). Suppose 5*v + 0*v = 20, 27 = j + i*v. Is 5 a factor of j?
True
Let z be -3 + (-3)/6*6. Let h(r) = r**3 + 7*r**2 + 7*r + 6. Let w be h(z). Is 5 + 16 + (w - 2) a multiple of 19?
True
Suppose 0*x - 2*x = -6. Let u = 143 + -55. Suppose -u = -x*i - i. Does 11 divide i?
True
Let d(s) = 27*s + 1. Let u(i) = -26*i. Let j(x) = -4*d(x) - 5*u(x). Let h be j(-3). Let b = -16 - h. Is b a multiple of 20?
False
Let r(n) = 9*n. Does 18 divide r(8)?
True
Suppose -3*u = 2*u + 3*c - 372, -5*u = -3*c - 348. Suppose 0 = 5*v - 118 - u. Is 11 a factor of v?
False
Let c(n) = 23*n - 16. Is 23 a factor of c(10)?
False
Suppose 83 = -t + 2*t. Suppose -3*l - 2*g = -t - 9, 130 = 4*l - g. Is 7 a factor of l?
False
Let m = -8 - -6. Let h = 85 - m. Suppose 2*d + d = h. Is d a multiple of 15?
False
Let g be -6 + 2/(1 - -1). Let n(h) = -9*h + 8. Let z be n(6). Is 4 a factor of z/(-10) - (-3)/g?
True
Let s(c) be the first derivative of -c**5/20 - c**4/12 - 2*c**3/3 - 4. Let z(q) be the third derivative of s(q)