 -17. Is f(y) a multiple of 12?
True
Suppose -3*n - 3 + 9 = 0. Suppose 84 = 3*k - 2*f - n*f, k - 30 = 2*f. Is k a multiple of 5?
False
Let c = 15 - 11. Suppose 2*i - 5*h - 100 = 7*i, 0 = c*h + 12. Is 6 a factor of ((-3 - -5) + -3)*i?
False
Let r be (6/5)/((-4)/(-10)). Let c be (1 + -4)*(-5)/r. Suppose -q - 12 = c*a - 59, -5*a = 2*q - 44. Is a a multiple of 10?
True
Suppose 0 = 5*i + 10, 3*f - i + 4*i + 12 = 0. Let a = f - 0. Does 15 divide (-1)/a*62 - -1?
False
Let c(n) be the first derivative of 2*n**3/3 + 7*n**2/2 + 5*n - 1. Let b be c(-4). Let j = 11 + b. Is 10 a factor of j?
True
Is (10/(-30))/((2/(-579))/2) a multiple of 59?
False
Is 18 a factor of (152/(-6))/((-12)/18)?
False
Suppose 0 = -u + 5*s - 66 + 18, 0 = -4*u - s - 87. Suppose 162 = -3*n - 3*r, -5*r = -0*n - 4*n - 207. Let c = u - n. Does 14 divide c?
False
Suppose -64 = -4*d + 56. Is d a multiple of 10?
True
Let u = 109 + -69. Does 9 divide u?
False
Suppose -5*k + 153 = -7. Does 8 divide k?
True
Let m(q) = -2*q**2 + 26*q - 11. Is m(10) a multiple of 34?
False
Suppose 3*s - 7 = -4*h, -h = 1 + 1. Suppose 4 = 2*c + 2, -131 = -s*o - c. Suppose -o = -j + 3*z, j + 0*j + 5*z - 18 = 0. Is 9 a factor of j?
False
Suppose 0 = 3*t - 139 - 137. Suppose 3*f + 3*y = y + 114, -2*f = -4*y - t. Is f a multiple of 14?
False
Suppose 0 = 2*s - 15 - 11. Does 12 divide s?
False
Let a = 0 + 43. Is 4 a factor of a?
False
Let x(k) = -55*k + 1. Is 11 a factor of x(-1)?
False
Suppose -r = -m + 63, 2*m + 6*r - 4*r = 126. Does 9 divide m?
True
Let r be 24/6*(-1)/(-2). Let v(w) = 5*w**3 - 2*w**2 + 2*w - 3. Is v(r) a multiple of 13?
False
Let k be (-42)/(-1)*4/6. Let h = k + -6. Is 13 a factor of h?
False
Suppose -n + 5*n = 4*b - 4, -5*n + 35 = 3*b. Suppose m + 5*v - 5 = n*v, 3*m + v - 5 = 0. Suppose m*q + 33 = q. Is 13 a factor of q?
False
Suppose -5*s - u + 10 = -4, 0 = -3*s - 2*u + 7. Is (2 - -1)/(s/36) a multiple of 7?
False
Let r(w) = -w - 9. Suppose -4*k - 29 = -3*s + 1, 3*k = s - 25. Let v be r(k). Let i = 5 + v. Is i a multiple of 5?
True
Suppose 2*o + 0 - 10 = 0. Is o a multiple of 5?
True
Let a(f) = 33*f**2 - 1. Is 5 a factor of a(1)?
False
Let m = 221 + -77. Is m a multiple of 48?
True
Let p(x) be the second derivative of -7*x**3/2 - x**2/2 - 2*x. Does 13 divide p(-2)?
False
Let m = 179 + -105. Let u = m - 43. Is u a multiple of 14?
False
Let d(u) = 22*u - 5. Is d(6) a multiple of 26?
False
Let y(g) = 6*g**2 + 2*g. Let r = 3 - 5. Does 8 divide y(r)?
False
Let x be (4/(-6))/((-8)/132). Is 15 a factor of 2/x + (-2958)/(-66)?
True
Let p = 47 + -73. Suppose -4*r + 3*q - 147 = 0, -2*r + r - 34 = 2*q. Let u = p - r. Is u a multiple of 7?
False
Suppose 0 = 2*h - o + 14, 0 = -h + 2*o - 6 - 7. Let d = 29 - h. Does 9 divide d?
False
Suppose -4*c + 4*q + 1351 = 5*q, 5*q = 15. Is c a multiple of 42?
False
Suppose 4 - 86 = -t. Suppose -18 = -4*b + t. Suppose b = w + 5. Is 20 a factor of w?
True
Let m(p) = -p**2 + 3*p + 3. Is m(0) a multiple of 2?
False
Suppose t - 3*v - 51 = 0, -4*v - 57 = -t - 4. Is t a multiple of 8?
False
Is 5 a factor of (0 + 4/4)*85?
True
Suppose -n + 15 = -2*g, 3*n - 22 = 2*g + 31. Is n a multiple of 13?
False
Suppose 3*r + 987 = 5*t, 991 = 6*t - t - 4*r. Suppose 5*z + 3*s + 2*s - t = 0, 157 = 4*z + 3*s. Does 20 divide z?
True
Suppose -5*i = 267 - 27. Suppose 146 + 30 = 2*u. Let x = i + u. Does 20 divide x?
True
Let o = 3 + 3. Suppose 6 = 3*t - o. Is 2 a factor of t?
True
Let x = 10 - -18. Is x a multiple of 15?
False
Let u(l) = l**2 - 5*l - 2. Let a be u(6). Suppose 3*p - 5*i - 2 - 1 = 0, -a*i + 12 = 0. Suppose 0*z + p = 3*z. Is z even?
True
Suppose 4*y - 1 = t - 12, y - 5*t = 2. Let o = 13 - y. Is o a multiple of 15?
False
Let r be (310/(-15))/((-8)/(-12)). Let l = r - -62. Is 14 a factor of l?
False
Let i(u) = -u**2 - 4*u + 2. Let z be i(-4). Suppose 0 = -0*a + z*a - 8. Suppose -2*q = -10, -2*q = 5*l - a*l - 23. Is l a multiple of 9?
False
Let x(y) = -12*y - 2. Let n = 7 + -10. Does 17 divide x(n)?
True
Suppose 2*b - 12 = -b. Suppose -4*p = i - 75, b*p = 4*i - 3 + 63. Let m = p + -13. Is 2 a factor of m?
False
Let m = 10 - 16. Let z(i) = 2*i - 1. Let p(w) = 4*w - 1. Let d(a) = 2*p(a) - 5*z(a). Is 9 a factor of d(m)?
False
Let x be -5*(-42)/15*3. Suppose -5*d - x = -v, -v = 3*v + 2*d - 80. Is 11 a factor of v?
True
Let r = -5 - -10. Suppose w + 11 = 4*b, -1 = b + w - r. Suppose -g + 6*g - b*q = 40, -g + 5*q = -8. Is g a multiple of 4?
True
Suppose z + 3*p - 3 = 4*p, -z = 2*p - 6. Suppose -3*a + z = -5. Suppose -a*x + 19 + 35 = 0. Is x a multiple of 8?
False
Suppose -h = k - 10, -2*h + 2*k - k = -5. Suppose b - 2*x + h = 2*b, -3*b + 15 = 3*x. Is b a multiple of 5?
True
Suppose 3*k + 4 = 4*a - 16, -5*a = -3*k - 22. Let m(i) = -i + 4. Does 2 divide m(a)?
True
Let f(m) = -m**2 + 18*m - 1. Let p be f(18). Let y = 6 + -8. Does 8 divide (y + 10)/(p + 2)?
True
Suppose 32 = 4*t - 3*s, 4*t + 5*s - 37 = -5. Let j = -5 + t. Suppose -j*b + 5*b - 80 = 0. Is b a multiple of 20?
True
Suppose 509 = 3*i - 679. Let a be i/10 - 2/(-5). Suppose a = 2*n - 0*n. Is n a multiple of 20?
True
Suppose 0 = -v - 10 + 18. Let b(r) = -r**3 + r**2 - r + 1. Let a(f) = -8*f**2 + 7*f + 8. Let o(w) = a(w) - b(w). Is 5 a factor of o(v)?
False
Suppose 14 = 4*f + 2. Let p = 118 - 40. Suppose -f*n = -n - p. Does 14 divide n?
False
Let q be -1 - (0 + -2) - -3. Suppose -44 = -6*t + q*t. Is 11 a factor of t?
True
Suppose -2 = -4*k + 2. Suppose 4*v = s + 2, 7*s = -v + 2*s + 11. Is k*v/(-1) - -23 a multiple of 11?
True
Is 526/18 + (-10)/45 a multiple of 16?
False
Let l = -131 + 213. Is l a multiple of 41?
True
Let b(u) = -8*u + 2. Does 25 divide b(-6)?
True
Suppose -4*p + 208 = -k, -2*p - 4*k + k = -90. Is p a multiple of 17?
True
Let h(k) = -k**3 + k**2 - k. Let u be h(1). Let i(m) = 3*m**2. Let n be i(u). Does 2 divide (n - -1)*1/2?
True
Let z(q) = -13*q + 2. Let d(s) = -129*s + 21. Let a(x) = 2*d(x) - 21*z(x). Is 13 a factor of a(3)?
False
Suppose 5*l = -f - 3*f - 43, -3*f - 3*l - 33 = 0. Is (-140)/6*f/10 a multiple of 11?
False
Let a(x) = -x**3 - 11*x**2 - 10*x + 5. Let f be a(-10). Suppose -f*w + 5*v = -0*w - 45, 2*w = 5*v + 21. Is 8 a factor of w?
True
Let z(r) = -2*r**3 - 3*r**2 + 3*r - 5. Let v be z(-4). Suppose 173 + v = 4*g. Suppose -g = -2*b + 13. Is 13 a factor of b?
False
Suppose 6*z - 4*z - 6 = 0. Suppose v + 0*v - 27 = 0. Let k = v - z. Does 11 divide k?
False
Suppose 15 = -5*c, -3*c - c = y - 4. Is 10 a factor of y?
False
Let d(n) be the third derivative of -n**6/120 - n**5/60 + n**4/24 + n**3/6 + n**2. Let i be d(-1). Is (i - -3) + 12 + 0 a multiple of 6?
False
Let u be (-2 - 21/(-9))*15. Suppose -4*q + 7 + u = 0. Is q a multiple of 3?
True
Does 19 divide 3 + ((-668)/(-6) - 5/15)?
True
Let t = 30 + 9. Is 5 a factor of t?
False
Let n be 1/((-134)/(-44) + -3). Let c(b) = 3*b**2 + b + 1. Let f be c(-1). Suppose -14 - n = -f*w. Is 6 a factor of w?
True
Let l be -1 - -1 - 1 - -2. Let q be (6/(-4) + l)*0. Suppose 0 = -4*b + 2*f + 4, -5*b + q*b - 2*f = -14. Is 2 a factor of b?
True
Let q = -1 - 12. Let c(b) = -10*b + 7. Let h be c(5). Let t = q - h. Is t a multiple of 15?
True
Let u(h) = 2*h + 24. Is 24 a factor of u(0)?
True
Let f = -93 - -210. Suppose -5*r + f = -178. Suppose -3*c - 5 + r = 0. Is c a multiple of 9?
True
Suppose 5*b - 1 + 6 = 0. Let c = 10 + b. Is c a multiple of 9?
True
Suppose 6*f + 75 = 11*f. Is 4 a factor of f?
False
Suppose 8 = 2*y - 2*m, -5*y + 2*y - 2 = 4*m. Suppose 0 = 5*c - 17 + y. Suppose 5 = -5*r, c*x + 3*r = -r + 41. Is x a multiple of 15?
True
Let r = -133 + 207. Let u = 104 - r. Suppose 4*b + 6 = u. Is 6 a factor of b?
True
Let y = 9 + -8. Is 3 a factor of y/(-4) + (-25)/(-4)?
True
Suppose 5*a = 15, 0*a - 3*a + 89 = -2*b. Let o be (b/15)/(4/(-54)). Suppose 3*j - o = -0*j. Does 6 divide j?
True
Let h(k) = 10*k**3 - 1 - 12*k**3 + k**2 + k - 4*k. Suppose -14 = 5*g - 4. Does 11 divide h(g)?
False
Suppose 0 = -5*n - 20, 10*n - 5*n = -5*d + 30. Is 4 a factor of d?
False
Suppose 398 = 3*j - 2*x, -20 = -6*x + 2*x. Is j a multiple of 17?
True
Let n = -1 - -1. Suppose -2*g + 100 = -n*g. Let z = -20 + g. Is z a multiple of 18?
False
Suppose 0 = -4*n + 195 + 61. Is 25 a factor of n?
False
Let x(v) = v + 4. Let b(u) = -u - 1. Let h be b(-1). Let i be x(h). Suppose 4*l = r + 45, 2*l - 5*r + i - 13 = 0