9 a factor of h?
True
Let o(d) = -2*d + 16. Let t be o(-8). Suppose -t = -z - k + 5*k, 5*k - 15 = 0. Is 4 a factor of z?
True
Let a(x) = -17*x + 2. Let b(r) = 8 + 1 - 8 - 2*r + 3*r. Let p be b(-3). Does 18 divide a(p)?
True
Let i(m) = -m**2 + 9*m + 26. Is i(8) even?
True
Let h(t) = t**3 - 14*t**2 + 2*t - 7. Let u be (-4)/(-6) + (-120)/(-9). Is 7 a factor of h(u)?
True
Does 6 divide 3 + (-7)/((-28)/2580)?
True
Let i = -511 - -675. Is i a multiple of 33?
False
Suppose 11*c - 2109 = 3974. Is c a multiple of 27?
False
Let r(q) = 43*q**2 - 20*q - 138. Is 91 a factor of r(-11)?
False
Is 87 a factor of (-388 + 17)/((-2)/8)?
False
Let k = 4151 - 2954. Suppose -15*l = -6*l - k. Does 8 divide l?
False
Let l be (-63)/(-14) + (-1)/(-2). Suppose -l*g = -2 - 13. Does 14 divide g/(-3) + (-1 - -23)?
False
Suppose -a = -0*a - 2. Suppose -5*u - a*c + 840 = 0, -5*u - 4*c = -9*c - 805. Does 28 divide u?
False
Suppose -j + 127 = -2*f, f = 5*j - 101 - 570. Is j a multiple of 9?
True
Let o be 61*((-9)/(3/(-1)) + -4). Let l = o + 87. Is 13 a factor of l?
True
Suppose 0 = -4*r + 91 - 131. Is 19 a factor of 93 + 5/(r/(-4))?
True
Let y be 21/2*52/26. Suppose -y + 93 = 6*h. Is 12 a factor of h?
True
Suppose 5*f = u - 1, 3*u + f = 6*f + 33. Let c = 7 - u. Let k(g) = -g**3 - 8*g**2 + 8*g + 1. Is k(c) even?
True
Let g(u) = -u**3 - 8*u**2 - 7*u. Is g(-9) a multiple of 24?
True
Suppose 2*i - 138 = o - 4*o, -3*o = 3*i - 141. Suppose 2*p - 4*p - o = 0. Does 10 divide (-2 - 0) + p/(-1)?
True
Let u be 2/((-8)/(-164)) - 2. Let d = u - 0. Is 10 a factor of d?
False
Let t = -7 - -5. Let l be 5 - (-2 + (t - -6)). Suppose -4*y - 1 = l*c - 9*y, -4*c + 47 = 3*y. Is c a multiple of 8?
True
Let b = -51 - -29. Let l be 4/b - (-140)/44. Suppose l*c - 5*p = 17, -2*c + p + 4 + 12 = 0. Is 3 a factor of c?
True
Suppose 3*b = -3*g - g + 743, g + 3*b = 179. Does 4 divide g?
True
Suppose -4*d = -4*a - 4, 7*a - 2*a = -3*d - 5. Is 10 a factor of (-28)/((-3 - -1) + d)?
False
Let i(z) = 2*z**3 + z. Let j be i(-1). Let y be 3/j*3 + 33. Suppose y = 3*a + 5*s - 31, -a - 5*s = -27. Is a even?
False
Let l(p) = p**3 - 5*p**2 + 5*p. Suppose 16*y = 11*y + 25. Is 11 a factor of l(y)?
False
Let u(s) = -s**2 - 36*s - 53. Is u(-22) a multiple of 15?
True
Let c(a) = 10*a**2 + 6*a + 16. Does 10 divide c(-6)?
True
Let r(m) be the first derivative of -m**3/3 + 8*m**2 + 21*m - 29. Is r(14) a multiple of 6?
False
Is 104 a factor of ((-288)/14)/(50/(-3325))?
False
Let y(k) = 10*k**2 - k - 1. Let j be y(-1). Let q = j + 30. Does 8 divide q?
True
Suppose -4*q - 972 + 4092 = 0. Is 26 a factor of q?
True
Let f = 1 - 9. Let t = f - -12. Suppose 0*v = 2*v - t, -4*v - 160 = -4*z. Is 6 a factor of z?
True
Suppose -2*q = -4*c + 856, 0 = -4*c + 4*q - 8*q + 880. Does 27 divide c?
True
Let z(t) = -t - 9. Let v be z(-14). Suppose v*a - a + 2*w - 88 = 0, -3*w = 0. Is 11 a factor of a?
True
Let p(b) be the second derivative of b**4/12 - 2*b**3/3 + 29*b**2/2 + 8*b. Does 18 divide p(-9)?
False
Let y be -1*(-2)/(-2)*4. Let p = 0 - y. Suppose 0 = b - p. Is b even?
True
Let s(c) = -c**2 + 2*c + 1. Let i be s(-2). Let r be (i/21)/(1/(-12)). Let w = 13 + r. Is 9 a factor of w?
False
Is 10/3*(-486)/(-4) a multiple of 15?
True
Let o be 0 - (3 + -4) - -13. Suppose x = -o - 28. Let q = -22 - x. Is q a multiple of 10?
True
Suppose 0 = 3*j + 4*p + 19, 5*p + 25 = -4*j + 1. Let l be ((-1 - -3) + j)*2. Suppose -o = l*o - 105. Does 6 divide o?
False
Let x(d) = -22*d - 76. Does 26 divide x(-7)?
True
Suppose -5*c + a - 5*a + 218 = 0, 5*a = 3*c - 116. Suppose -34 - c = 4*s. Let z = 67 + s. Does 12 divide z?
True
Let z(g) = g**3 - 24*g**2 - 21*g + 36. Is z(26) a multiple of 64?
False
Let u = -4 + 7. Let q(l) = -11*l**2 + 3*l**3 - 2*l**u + l + 7*l**2 + 10*l**2 - 5. Is 8 a factor of q(-4)?
False
Let k(t) = -t**3 + 16*t**2 - 13*t + 228. Is k(12) a multiple of 8?
True
Suppose 7*x = 535 + 3812. Does 69 divide x?
True
Let n(h) = -h**3 - 21*h**2 - 29*h - 28. Is n(-20) a multiple of 7?
False
Suppose i - 2*z - 96 = -i, -6 = -2*z. Is i a multiple of 26?
False
Suppose -4*u = -3*m + 34, m - 2*m + 14 = -4*u. Is 6/m + 554/10 a multiple of 7?
True
Let n = 44 + -65. Let s be 70/n*(-18)/15. Suppose -4*f - 4*t + 264 = 0, 5*f + s*t - 258 = 74. Does 17 divide f?
True
Let l(z) = 2*z**2 + 6*z - 2. Let i be l(-3). Is (-41 - 9)*1*i a multiple of 20?
True
Let o(n) = -n + 1. Let b(m) = -20*m - 22. Let u(t) = -b(t) - 3*o(t). Does 22 divide u(3)?
True
Let a be ((-34)/1)/(2/(-3)). Let h = a + -13. Suppose 3*b - 204 = -5*k, k + b - h = -b. Is 13 a factor of k?
False
Let a be 1 + 0 + 4 - 44/(-11). Suppose -365 = -14*i + a*i. Is 11 a factor of i?
False
Suppose 10 = 4*f - 954. Is 9 a factor of f?
False
Let w(d) be the first derivative of -d**3/6 - d**2/2 - 6*d - 1. Let h(s) be the first derivative of w(s). Is 5 a factor of h(-6)?
True
Let f = 43 + -19. Is 6 a factor of (f/20)/((-2)/(-50))?
True
Is 25 a factor of 271/2 - (-2)/24*-6?
False
Let j(t) = t**3 - 2*t**2 - 3*t. Let p be j(-1). Suppose -1 = -s - 2, p = 2*k - 2*s - 92. Is 15 a factor of k?
True
Let h(q) be the first derivative of -q**2/2 + 2*q - 4. Does 6 divide h(-4)?
True
Let m(q) = -65*q - 30. Does 32 divide m(-24)?
False
Suppose 26*m - 160 = 22*m. Is 3 a factor of m?
False
Let t = 63 - 183. Let g = 255 + t. Does 37 divide g?
False
Let n be -281 + 4 - (1 + 2). Let g = 525 + n. Does 49 divide g?
True
Let f = 2398 + -1138. Does 39 divide f?
False
Let f(w) = w**2 - 6*w - 16. Let p = -51 - -41. Is f(p) a multiple of 17?
False
Let i(f) = -f**3 + 3*f**2 + 4*f - 1. Let s be i(3). Let c(t) = -t**2 + 11*t + 7. Is c(s) even?
False
Suppose 6*u = 2*u. Let h be 156/((-2)/(-1)) - u. Suppose -k - 2*k = -h. Is k a multiple of 6?
False
Let z = -24 - -32. Is 2/(z/(-2))*2 + 91 a multiple of 10?
True
Let v = 41 + -117. Let k = v - -208. Is 9 a factor of k?
False
Suppose -2*k = -3*z - k + 249, 0 = -z + 4*k + 94. Let g = z - 46. Does 12 divide g?
True
Let z = -635 - -1195. Is 56 a factor of z?
True
Let r(g) = 4*g**2 - 5*g - 4. Let m = 28 + -22. Is r(m) a multiple of 11?
True
Does 7 divide -3 + (-1390)/(-4) + 6/(-12)?
False
Let p be (-6)/((-12)/(-16)*-2). Suppose p*g - 28 = 2*g. Suppose k - g = -3*t, -2*t = -0*t - 3*k - 13. Does 4 divide t?
False
Let h be (-8 + 11)*(-2)/(-6). Let n(s) = 241*s**2 - 3*s + 2. Let m be n(h). Suppose 5*o + 2*z = -29 + 274, -5*o + m = 3*z. Is 17 a factor of o?
True
Suppose i + 4*i = 0. Suppose 7*g - 19 + 5 = i. Suppose -g*u = -31 - 59. Is u a multiple of 15?
True
Let f(j) = j - 10. Let r be f(6). Let s(x) = -2*x**3 - 6*x**2 - 4*x - 6. Let h be s(r). Suppose 3*w + h = k - 2*w, -3*k = -4*w - 148. Does 12 divide k?
False
Suppose 5*n - 18 = 7. Suppose 4*a + 12 = -4*h - 0*h, -4*a - n*h - 16 = 0. Suppose -61 = -4*r - t, -4*t + 5 = a. Is r a multiple of 5?
True
Suppose 5*i = 3*z - 1263, -z + 466 - 45 = -2*i. Is z a multiple of 14?
False
Is 10 a factor of (28 - 18)/((-2)/(-179))?
False
Let g = 470 + -125. Suppose 4*z - g = 267. Does 36 divide z?
False
Let f(c) = 2*c**2 + 29*c + 6. Does 2 divide f(-15)?
False
Let o(d) = 4*d - 1. Let b be o(1). Suppose -j = b*j. Is 16 + (-3 - j) - 0 a multiple of 13?
True
Suppose -r + 0*r + 3042 = 5*l, 3*r = 4*l - 2426. Is l a multiple of 15?
False
Let a(i) = -5*i**2 - 7*i + 2. Let u(f) = 10*f**2 + 13*f - 4. Let y(s) = -9*a(s) - 4*u(s). Let j(w) be the first derivative of y(w). Does 11 divide j(4)?
False
Let n(p) = -p**2 - 21*p + 23. Let c be n(-22). Is 2 a factor of (c - 2)*28/(-1)?
True
Suppose 0 = 4*b + 4*d + 132, -b + 2*d = b + 70. Let w(k) = k**3 - 34*k**2 - 34*k + 11. Let u be w(35). Let o = b + u. Is o a multiple of 4?
True
Suppose -535 = -4*h - 207. Suppose -h = -2*f + 114. Is 33 a factor of f?
False
Let r be 5 - (11 + 2 + -6). Is (-64)/r - (-6 + -1 + 9) a multiple of 17?
False
Let g = -9 - 6. Let h be (8/(-10))/(6/g). Suppose 0 = h*b - 95 - 49. Is b a multiple of 24?
True
Let z(t) = 8*t - 2. Let p be z(1). Is 3336/42 + p/(-14) a multiple of 17?
False
Suppose 2*b + 3*m - 2*m = 19, 0 = -2*b + 4*m + 14. Is 11 a factor of 0*(-3)/b - 231/(-3)?
True
Let i be 0 - ((-4 - -8) + (-18)/2). Let g(a) = 9*a - 2 + 1 - 8. Is 18 a factor of g(i)?
True
Suppose 0 = -7*q + 9*q - 268. Suppose q + 41 = 5*d. Is 35 a factor of d?
True
Let p = 7 + -16. Let i = 11 + p. Suppose i*n + 12 = 44. Does 8 divide n?
Tru