ltiple of 16?
False
Suppose -3*i = m - 5*m - 107, 4*m - 91 = -3*i. Is 11 a factor of i?
True
Is 93/(-2)*130/(-39) a multiple of 43?
False
Let v(f) = -f**2 + 11*f - 4. Suppose -r + 3*r - 18 = -2*n, -4*n = -r - 1. Is v(r) a multiple of 24?
True
Suppose -30 + 78 = z - r, 144 = 3*z + 4*r. Is z a multiple of 12?
True
Let z(n) be the second derivative of n + 2*n**2 + 1/6*n**3 + 0. Is z(3) a multiple of 7?
True
Let u = 110 + 74. Is 8 a factor of u?
True
Let u(f) = f**2 + 6*f - 5. Let i be u(4). Suppose -4*w + i = 7. Is 7 a factor of w?
True
Let m(x) = -x**3 + 4*x**2 - 3*x + 3. Let u be m(4). Let p = u - -11. Is p even?
True
Let w be (-2)/(-3) + (-14)/(-6). Does 10 divide -3 - (-45)/(w/1)?
False
Suppose 3*v + 4*g + 33 = 0, -2*v - 8 = g - 3*g. Let w = v - -11. Suppose w*z = -z + 150. Is 15 a factor of z?
True
Let o(h) be the first derivative of h**3/3 - 2*h**2 - 2*h - 1. Is o(-6) a multiple of 21?
False
Let w(g) = 2*g - 14. Let m be w(9). Does 22 divide m/6 + 196/3?
True
Does 2 divide (-214)/(-4) + 4/(-8)?
False
Let m = -3 - -3. Let w be 2 - (-3 - (m - 2)). Is 12 a factor of -3 - 9*w/(-1)?
True
Suppose c - 82 = -2*z, 3*z - 6*c = -4*c + 130. Does 6 divide z?
True
Let c(r) = -r**2 - 7*r - 6. Suppose 3*m - n + 4*n + 27 = 0, -m = -3*n - 7. Is 4 a factor of c(m)?
True
Suppose 0 = -5*z + 3*z - 3*b + 12, -z = 5*b - 13. Suppose v + z*v = 60. Suppose -5*h - v = 0, p - h - 55 = h. Is p a multiple of 17?
False
Let t = -38 - -57. Is t a multiple of 19?
True
Suppose 3*j = a - 22, -5*a + 118 = -a - 2*j. Does 11 divide a?
False
Let h(s) = -s - 3. Let m be h(-7). Does 26 divide (-440)/(-8) + (1 - m)?
True
Suppose 2*t - 2*z = -3*z, 3*t - 22 = 4*z. Let f = 0 + 4. Is 7 a factor of t/f*68/2?
False
Suppose f - 70 = 79. Does 34 divide f?
False
Suppose 0 = 12*c - 14*c + 88. Does 4 divide c?
True
Suppose 0*g = -6*g + 48. Is 5 a factor of 2/g + (-248)/(-32)?
False
Let g(q) = -5*q - 2 - 5*q + 15*q. Is 4 a factor of g(5)?
False
Let c be 2 - (-2 + 0 + 1). Let j be (-897)/(-6) + 3/6. Suppose 5*s = 4*k + j, 0*k = -3*s - c*k + 117. Does 17 divide s?
True
Let l be 3 + -5 - (-1 - -5). Let o = l + 12. Does 10 divide 10/3*18/o?
True
Let s = 52 + -18. Is s a multiple of 10?
False
Suppose -4*v + 28 = -176. Is 17 a factor of v?
True
Does 15 divide (-12)/4 + 3 + 71?
False
Let x = 18 - 10. Suppose -4*n - 4 - 12 = 0, x = -a - n. Is 17 a factor of 1 + 0 + (-132)/a?
True
Suppose -s - n + 89 = 0, 2*s - 146 = -3*n + 28. Suppose 2*x - s = -5*p, -4*p + 2*p = -5*x + 276. Is x a multiple of 18?
True
Let x = -7 + 12. Suppose 0 = u + 3*b - 16, 0 = -x*u - 4*b - 0*b + 36. Is 4 a factor of u?
True
Suppose 3*z = 407 + 202. Is 23 a factor of z?
False
Let p = -21 + -37. Let y = p + 110. Is 15 a factor of y?
False
Suppose 42 = 5*c - 3*a, 3*c - 5 - 19 = 3*a. Suppose c*w - 4*w = 40. Does 4 divide w?
True
Let t(b) = -1 + 6 - b + 4*b**2 + 0. Is t(4) a multiple of 25?
False
Let t = 120 - 77. Suppose 2*d = t + 43. Suppose 0 = 2*p + 15 - d. Is 12 a factor of p?
False
Let b(o) = -13*o**2 + 6*o - 1. Let u(w) = -27*w**2 + 12*w - 3. Let c(k) = 9*b(k) - 4*u(k). Let p be c(5). Is (3/(-2))/(18/p) a multiple of 6?
False
Let u(r) = 12*r**2 + 2*r - 4. Let o be u(-3). Does 5 divide o/6 - (-8)/(-6)?
True
Let m(k) = 5*k + 11. Does 23 divide m(7)?
True
Suppose 2 = -3*t - 4. Let h(f) = -12*f - 1. Is h(t) a multiple of 10?
False
Suppose 0 = -3*z - 3*v + 348, z = 3*v + 52 + 84. Let q = -73 + z. Does 17 divide q?
False
Suppose 0 = -s + 3*s. Suppose 2*n - 4*y + s - 16 = 0, -1 = -y. Is n a multiple of 4?
False
Let y(z) = 2 + z - z + z + z. Is y(3) a multiple of 3?
False
Let t(u) = -u**2 + 10*u - 5. Let d(g) = 2*g - 3. Let c be d(5). Does 16 divide t(c)?
True
Does 10 divide (-8)/(-12) + (-354)/(-9)?
True
Suppose -2*s + 212 = -0*s. Let l = -57 + s. Does 11 divide l?
False
Let u be 1/2*2/(-1). Let q be u/((-30)/14 + 2). Is 24 a factor of (-2)/q + 1140/21?
False
Let b(a) = a**3 - 6*a**2 - 22*a + 21. Is b(9) a multiple of 4?
False
Let z(s) = 4*s - 3*s**3 - 2 + 4*s**3 - 6*s**2 - 1 - 2*s. Is z(7) a multiple of 20?
True
Let h(w) = 38*w + 1 + 18*w - 16*w. Let g = 8 + -7. Does 17 divide h(g)?
False
Let w(p) = -p**3 - 7*p**2 + 12. Does 12 divide w(-7)?
True
Let f(l) = 3*l**2 - 7*l - 7. Let p be 2/12 - 17/(-6). Suppose n = -p*n + 24. Does 22 divide f(n)?
False
Suppose 5*x - 5*f = 285, -5*x - f = 3*f - 258. Is x a multiple of 22?
False
Suppose -n - 4*n + 25 = 0. Suppose 3*x - 20 = -n. Suppose -2*h + x = -23. Does 14 divide h?
True
Let y(a) = a**2 - 2*a - 3. Let g be y(4). Let l = g - -11. Is 5 a factor of l?
False
Let c(o) = o**2 + 7*o - 4. Let n be c(-8). Suppose 2*a + 2*a - 4*w - 148 = 0, -4*a = n*w - 124. Let u = 50 - a. Does 10 divide u?
False
Suppose -86 + 17 = -y. Is y a multiple of 23?
True
Suppose 0*y + 1381 = -5*z + y, -3*y = 3*z + 825. Does 5 divide z/(-14) + (-4)/(-14)?
True
Suppose 3*d + 0*i = -5*i, -2*d + 3*i = -19. Does 15 divide (-2)/10 - (-151)/d?
True
Let h(p) be the first derivative of 1/4*p**4 + 1 - 1/2*p**2 + 7/3*p**3 + 5*p. Is 12 a factor of h(-7)?
True
Let o(l) = -l**2 - 6*l - 3. Let k be o(-5). Suppose -k*n + 6*n - 4 = 0. Does 15 divide n - -1 - (-31 - 0)?
False
Let s(a) = 2*a + 4. Let f = -2 + -2. Let r be s(f). Let i = 30 + r. Is 10 a factor of i?
False
Suppose -2*r + 4*y = 4, 4*y + 2 = -3*r + 2*r. Let m = 2 + -3. Does 3 divide 10 - (m - 0)*r?
False
Suppose -1 = -2*n + 3. Let p(t) = n*t + t + 3*t. Is 6 a factor of p(2)?
True
Let k(w) = 5*w. Suppose -2*t = 4*b, t + 24 = 6*t - 2*b. Is 12 a factor of k(t)?
False
Let r(h) = h**3 + 5*h**2 - 9*h - 9. Suppose -27 = 4*n + l, -3*n + 4*l - 6*l = 24. Does 9 divide r(n)?
True
Suppose -4 = -2*t - 22. Let c(h) = h**3 + 9*h**2 - 2*h - 12. Is 2 a factor of c(t)?
True
Does 15 divide 2 + (-9822)/(-27) - 4/(-18)?
False
Let w(a) = 3*a**3 + 18*a**2 + 18*a - 5. Let u(p) = p**3 + p**2 + p - 1. Let j(h) = 2*u(h) - w(h). Does 9 divide j(-15)?
True
Let u = 2 + 0. Is 2 + 2*4 + u a multiple of 7?
False
Let f = -2 + 5. Let n(z) = -z**3 + 3*z**2 + 2*z + 1. Is n(f) a multiple of 7?
True
Let c(q) = -6 - 46*q + 4*q + 3. Let l be c(-2). Suppose 4*a + 5*k - 133 = 0, 3*a - 5*k - 10 = l. Is a a multiple of 10?
False
Let o(m) be the second derivative of m**3/6 + m**2/2 - 3*m. Let c be o(3). Suppose 4*a - c*n = 92, 2*n + 39 = 3*a + 5*n. Is a a multiple of 18?
True
Let j = 266 + -67. Is j a multiple of 14?
False
Let g(p) = -p**3 - 15*p**2 + 16*p + 7. Is g(-16) a multiple of 2?
False
Suppose 0 = -6*g - 2*g + 2800. Is g a multiple of 66?
False
Let g be (-1)/(-3) + 515/3. Suppose -4*k + g = 60. Is 13 a factor of k?
False
Suppose 62 = 3*h - 4*p, 4*p - 28 = -4*h + 2*h. Is 6 a factor of h?
True
Is 14 a factor of (-6)/8 + 5401/44?
False
Let z(t) = t - 3. Let j be z(7). Suppose -j*a + 3 = -5. Suppose -4 = -2*s, a*h + 3*s - 86 = -2*h. Does 7 divide h?
False
Let b = 1 - -4. Suppose m + b = 11. Does 3 divide m?
True
Let n be 3/(-9) + 4/12. Suppose 9*v = 4*v + 65. Suppose 3*i - 23 = y, i + n*y = 3*y + v. Is i a multiple of 3?
False
Let y(b) = 3*b. Does 5 divide y(5)?
True
Let l be 1/2*76/2. Suppose -7 = 3*s - l. Suppose 3*r + 13 = -y + 31, 0 = -s*y + 4*r + 72. Does 15 divide y?
False
Suppose -z = 2*v - 2 - 4, -2*z = v + 3. Let p(h) = v*h - 2 - 3 + 6. Does 2 divide p(1)?
True
Let n(w) = -w**3 + 11*w**2 - 3*w - 7. Is 42 a factor of n(7)?
True
Let o be 116/10 + 6/15. Let v = -2 + 4. Suppose v*g - 6*g = -o. Is 2 a factor of g?
False
Let s = 108 - 66. Is 25 a factor of s?
False
Let z(f) = f - 3. Let i be z(6). Suppose i*n + 3 = 2*r, 0*r + 2*r + 4*n = -4. Suppose 2*c - 7*c + 105 = r. Is c a multiple of 15?
False
Let d = 10 + -5. Suppose d*s - 95 = 85. Is s a multiple of 14?
False
Suppose 2 + 3 = -5*q, 3*k + 12 = -3*q. Let l be -50 - ((0 - -1) + k). Let w = -31 - l. Does 17 divide w?
True
Let a = 6 + -15. Let c(d) = d**2 + 10*d + 8. Let f be c(a). Let y(i) = -21*i + 1. Is 11 a factor of y(f)?
True
Let j be ((-6)/(-8))/((-3)/12). Let y(x) = 3*x**3 - x**2 - 3*x - 4 - 3*x**3 - x**3. Is y(j) a multiple of 23?
True
Let j(c) be the first derivative of 5*c**2/2 - c + 2. Let p be j(8). Suppose -129 = -5*m - p. Does 13 divide m?
False
Let n be -2 + 1 + 37 - 2. Suppose -u + n = -35. Is u a multiple of 19?
False
Suppose -3 = -5*t - 3*k, t - k - 2 = 5. Let b be t/4 - (-26)/8. Suppose 24 = b*w - w. Is 4 a factor of w?
True
Let y = 24 + -21