 i?
True
Suppose 2*z + 2*o - 56 = -2*o, 0 = 3*z + 5*o - 80. Is z a multiple of 6?
False
Let y be (-6 - -4)*(-40 + 3). Suppose -p + 18 = 2*d - d, 0 = -5*d - p + y. Does 10 divide d?
False
Let m(s) = -7*s**2 - 19*s - 14. Let p(q) = 4*q**2 + 9*q + 7. Let u(w) = 3*m(w) + 5*p(w). Let z = -15 + 10. Is 12 a factor of u(z)?
False
Suppose y + 66 = 3*y. Let w = y + -18. Does 10 divide w?
False
Let q(z) = 7*z**2 - 12*z - 1. Let p(d) = -2*d**2 + 3*d. Let s(c) = -22*p(c) - 6*q(c). Let o be s(-4). Let n = 9 + o. Is n a multiple of 12?
False
Let u(d) = -d**2 - 12*d - 10. Let k be (-3)/2*4/6. Let c(z) = -z**2 - z. Let y(q) = k*u(q) + 2*c(q). Does 13 divide y(8)?
True
Let k be (107/2)/(2/4). Suppose o + 10 = k. Suppose -5*h - 7 = -o. Is 6 a factor of h?
True
Is ((-164)/6)/1*(4 - 7) a multiple of 22?
False
Let m(a) = a**3 - a**2 + a - 41. Let k be m(0). Let v = 61 + k. Does 10 divide v?
True
Is 20 a factor of 6*7 - 36/(-9)?
False
Let p(h) be the second derivative of 1/6*h**4 - 1/3*h**3 + 0*h**2 + 0 - 2*h. Is 4 a factor of p(-2)?
True
Let r(h) = h**2 - 16 + 9 - 6*h + 2. Is 22 a factor of r(9)?
True
Suppose 2*i - 148 = g, -2*g + 14 = 6. Does 22 divide i?
False
Suppose 5*s = 5*u - u - 267, 204 = 3*u - 3*s. Is 8 a factor of u?
False
Let l = 16 + -7. Is l a multiple of 5?
False
Suppose 0 = 2*q - 3*q + 3. Suppose 0 = f - q*i - i - 32, 10 = -2*i. Does 6 divide 2/(-3)*(-3 - f)?
False
Let w be (-6)/(9/(-3) - -1). Let v(n) = 2*n - 1. Let z be v(w). Suppose 0 = z*t + 15, -5*o + 2*t + 78 = t. Is 15 a factor of o?
True
Is (-1 + 108/16)*8 a multiple of 23?
True
Let m be 1/((-5)/4 - -1). Let r be (-3)/(-6) + (-10)/m. Suppose -25 = r*j - 97. Does 11 divide j?
False
Does 3 divide ((-35)/7)/((-10)/4) - -3?
False
Let c = -1 - 2. Let y(t) = -6*t**2 - 3*t + 3. Let u be y(c). Is 1/((-1)/u) - 0 a multiple of 20?
False
Let o(x) = -x**3 + 3*x**2 + 3*x + 7. Is o(-3) a multiple of 26?
True
Let m(o) = -o**3 - 5*o**2 - 8*o + 10. Is m(-5) a multiple of 19?
False
Let h(q) = 3*q - 1. Let l be h(2). Is 8/20 - (-168)/l a multiple of 17?
True
Suppose -2*r - 174 = -2*b, -324 = -4*b - 5*r + r. Is b a multiple of 12?
True
Suppose 9*h - 522 = 666. Does 6 divide h?
True
Let z = 204 + -128. Is z a multiple of 19?
True
Let g = -3 + 22. Does 19 divide g?
True
Let z be -25*(8/(-4) + 0). Let q = z + -35. Is q a multiple of 11?
False
Let d = 21 + -17. Is 2 a factor of d?
True
Let t(s) = 3*s**3 - 2*s**2 - 4*s - 2. Let j be t(-2). Let a be j + (-3)/(-3) + -1. Let d = -16 - a. Does 4 divide d?
False
Let y be (-18)/4*6/9. Let h(j) = -3*j + 1. Is h(y) a multiple of 7?
False
Let t(k) = k**3 - 4*k**2 + 5*k + 1. Does 5 divide t(5)?
False
Let g = -38 - -23. Let q = g + 68. Is q a multiple of 14?
False
Suppose -4*y + 3*p + 2 = -4, -3*y + 2*p + 4 = 0. Does 12 divide 2 - (y + -21) - -1?
True
Let n(l) = l**3 - 6*l**2 + l - 8. Let y be n(6). Let s = y + 7. Suppose -41 = -s*u - 1. Does 8 divide u?
True
Let n(a) be the second derivative of a**5/20 - a**4/12 - 2*a. Let y be n(2). Suppose q = y*s - 82, q + 22 = 2*s - s. Is 16 a factor of s?
False
Let h = -7 + 12. Suppose k + 4*k = h*u - 95, -4*k = -5*u + 98. Is u a multiple of 12?
False
Let o(s) = s**2 + s + 5. Does 5 divide o(-6)?
True
Suppose -3*v = 4*c - 31, -c + 5*v - 33 = -3*c. Let n be (-20)/(-15)*114/c. Suppose 3*h + z = n, 4*h - 3*z - 29 + 0 = 0. Is 5 a factor of h?
False
Let j be -2 + (-6 - -1) - 0. Let p(i) = i**3 + 7*i**2 - 3*i - 8. Is p(j) a multiple of 5?
False
Let z = 69 - -20. Let b = -39 + z. Suppose 4*m = 54 + b. Is m a multiple of 13?
True
Suppose -4*r + 244 = m, r - 5*m + 2*m - 61 = 0. Is 15 a factor of r?
False
Suppose -2*l + s + 57 + 18 = 0, 95 = 3*l + 2*s. Is 9 a factor of l?
False
Let n = -4 + -2. Let s = 15 + n. Does 9 divide s?
True
Let u(b) = -b + 5*b - 2*b + 10. Let c be u(8). Let p = c - 18. Does 4 divide p?
True
Does 20 divide 6 + -3 - (1 - 70)?
False
Suppose -4*x = -4*i - 60, 0 = -2*x + i + 2*i + 32. Is 3 a factor of x?
False
Is 147/(-45)*-6 + 3/(-5) a multiple of 19?
True
Let h = -81 + 174. Is -1*h/6*-2 a multiple of 15?
False
Let i(q) = -q**3 + 3*q**2 + 3*q. Let c be i(5). Let n = c + 74. Is 13 a factor of n?
True
Let b(t) = 5*t - 5. Suppose -2*s = -9 - 13. Is 25 a factor of b(s)?
True
Let p(r) = -2*r**2 - 21*r - 5. Is p(-9) a multiple of 5?
False
Let j = -49 + 100. Does 16 divide j?
False
Does 15 divide 342/4 + 5/10?
False
Suppose 3*g - 13 = -4. Suppose 0*i + i = 2*p - 2, 3*i + g = 5*p. Suppose -55 = -p*c + 35. Does 15 divide c?
True
Let w = -6 - -26. Is w a multiple of 9?
False
Let l = 49 - 23. Does 26 divide l?
True
Let s(q) = -q**2 + 6*q + 1. Let z(r) = -1 + 4*r**2 + 2*r**3 + r - 3*r**3 + 0*r**3. Let u be z(4). Is 7 a factor of s(u)?
False
Suppose 0 = a - l - 48 + 11, -3*l - 143 = -4*a. Is a a multiple of 5?
False
Let t(h) be the third derivative of -h**4/24 + h**3 + 3*h**2. Let p be t(3). Is 7 a factor of (-4 + p - -15) + 0?
True
Suppose -10*y - 1135 = -15*y. Does 18 divide y?
False
Let n(m) be the third derivative of -m**5/60 - m**4/6 - m**3/3 - m**2. Is n(-2) even?
True
Suppose -152 = -d + 3*l, -2*d + 4*l = -322 + 20. Let m = d + -98. Does 17 divide m?
True
Let n = 4 + 0. Suppose -3*y - 21 = n*c - 54, 5*c + y = 33. Does 6 divide c?
True
Let b = 5 - 5. Suppose -4*v + 32 = -b*v. Is v a multiple of 4?
True
Suppose 0*m = -3*m + 18. Suppose -m*y + 216 = -3*y. Suppose y = h + h. Is h a multiple of 18?
True
Suppose w = 2*p + 3, 1 = -4*w + 3*p + 13. Suppose 2*l = -2*g + 18, 2*g = w*l + g - 31. Is l a multiple of 10?
True
Suppose -3*p + 13 = -17. Is p a multiple of 5?
True
Let q(z) = 3*z - 3. Let b be q(2). Suppose 23 = c - b. Does 12 divide 1 - (2 - c - -1)?
True
Suppose -3*f = 0, -3*p + 21 = f + 2*f. Suppose 0 = -4*b - 63 + p. Is (-16)/(-56) - 94/b a multiple of 3?
False
Let g be (-3)/2*(-10)/(-3). Is 10 a factor of (1 - 0) + (-45)/g?
True
Let i(d) = 0 - 2*d + 1 + d + 2*d. Does 4 divide i(3)?
True
Suppose -4*l = -16 - 52. Let i = -12 + l. Does 2 divide i?
False
Let n(x) = -x - 3. Let d(z) = -7*z. Let a be d(1). Let h be n(a). Suppose h*j - 65 = 39. Is j a multiple of 12?
False
Suppose -7 + 8 = -u. Is 3 a factor of u + -2 - (-7 + -4)?
False
Let x = 79 - 10. Does 19 divide x?
False
Suppose -i = -3*i - 2. Let k = 27 - i. Is k a multiple of 12?
False
Is 2 a factor of 3629/76 - (-5)/4?
False
Let b(k) = -k**2 - 3*k - 2. Let l be b(-3). Let f be l/(-3) + 14/6. Suppose -99 = -5*d - f*t, -5*t - 55 = -4*d + 2. Is 13 a factor of d?
False
Let w = -16 + 13. Does 10 divide (w - -1) + 24 - 4?
False
Suppose 154 = 4*z - 70. Does 7 divide z?
True
Let u = 7 - 4. Suppose -4*l + 0*f + 47 = u*f, -2*f = 4*l - 42. Does 7 divide l?
False
Is 0 + 0 + (36 - 1) a multiple of 10?
False
Let u(y) = -2*y**2 - 3*y**2 - y**2 - 2*y + 1 - y**3. Suppose v - 3 = -9. Is u(v) a multiple of 13?
True
Suppose 2*n + 20 = 7*n. Suppose j - 1 = n. Suppose -f + 20 = -j. Is 11 a factor of f?
False
Let k = 49 + 2. Let a = 29 + k. Suppose -4*v + a = -0*v. Is 10 a factor of v?
True
Let i = 92 + 1. Is i a multiple of 11?
False
Suppose -2*g - 3*g = 40. Let l be (-4)/g*(0 - 2). Does 13 divide 10*3 + l - 1?
False
Let d(c) = c + 2. Let m be d(2). Let w = m - 4. Suppose 4*j - 8 - 104 = w. Is j a multiple of 11?
False
Let i = 5 - 5. Suppose -3*z - 5*r + 37 = i, -3*r + 30 = -5*z + 137. Is z a multiple of 6?
False
Let u(h) = 2*h - 2. Let c be u(3). Suppose 0 = q + c*q. Let i(d) = -d**3 - d**2 - d + 4. Is i(q) even?
True
Let x(f) = f**3 - 13*f**2 - 5*f - 36. Does 32 divide x(14)?
False
Suppose 7*r - 4*r + 92 = 4*d, -4*r + 5*d - 123 = 0. Let w = r - -54. Suppose 14 = 3*s - w. Does 12 divide s?
True
Suppose l = -2*p + 3524, -p + 2*l = l - 1765. Suppose -p = 5*y - 243. Does 17 divide y/(-9) + (-4)/(-18)?
True
Let u(x) = x**3 + x**2. Let t be u(-1). Suppose -z = -t*z - 32. Is 9 a factor of z?
False
Suppose 5*m + 3*o = 4*o + 24, -m + 9 = 4*o. Let z(s) = s**2 - 5*s + 6. Let d be z(4). Suppose d*h + m*l - 130 = -24, 5*h = l + 211. Is 17 a factor of h?
False
Suppose 5*f + 160 = -3*j + 4*f, 0 = -3*f - 12. Let z = -29 - j. Does 7 divide z?
False
Let y be (-16)/(-9) - 6/(-27). Let j(k) = -y*k**2 + k**3 + 3*k**2 - k**2 - 7*k**2 + 9*k. Is j(6) a multiple of 18?
True
Let x = 10 - -58. Is 17 a factor of x?
True
Suppose -t + 1 = -8. Does 9 divide t?
True
Let l = -12 + 16. Is 2 a factor of l?
True
Suppose -17 = -2*m