e of 9?
False
Suppose -2*s + 604 = 2*s + 4*m, s - 157 = 2*m. Is 11 a factor of 11747/s + 2/9?
True
Let h = 7 + -4. Suppose h*x = 147 + 273. Is 13 a factor of x?
False
Let z = -13 + 13. Suppose n + n = z. Suppose n = -4*y + 129 - 13. Is 29 a factor of y?
True
Let g(h) = 164*h - 11. Let c be g(-9). Is c/(-11) - (3 - (-93)/(-33)) a multiple of 27?
True
Does 13 divide 1 + (0 - 2394/(-9))?
False
Let c = -1 - -6. Suppose -5*v + 2*z = -0*z - 45, c*v - 3*z = 45. Does 6 divide v?
False
Let f(v) = -v - 6. Let o be f(-8). Let c(g) = 3*g**3 - g**2 - 8*g. Let b(d) = 3*d**3 - 2*d**2 - 9*d. Let k(t) = -5*b(t) + 6*c(t). Is 9 a factor of k(o)?
False
Suppose 2*i = 2*p - 223 - 267, 3*i = -15. Let n be 5 - (0 - (2 - 0)). Suppose -n*s + p = -2*s. Is s a multiple of 12?
True
Suppose 3681 - 1431 = 45*r. Is 14 a factor of r?
False
Suppose -b - 38 = 104. Let h = -69 - b. Does 10 divide h?
False
Suppose -3*w = 3*w - 12. Suppose -5*g = -w*g - 12. Is g even?
True
Let w(z) = z - 11. Let k be w(7). Let p be (27 - 3)/4 + k. Suppose -2*c = -p*q - 101 - 63, 4*c + 3*q = 342. Is c a multiple of 25?
False
Let i(r) = r**3 - 18*r**2 + 18*r - 13. Let c be i(17). Let y(n) = n**3 - 3*n**2 - n - 3. Is y(c) a multiple of 3?
True
Let w(a) = -2*a**2 - 12*a + 4. Let m be w(-6). Let y = 6 + 7. Suppose m*t - d = 145, 2*t = d + 86 - y. Is t a multiple of 12?
True
Suppose 3*f = -1 + 10. Suppose -5*w = f*h - 181, 4*h + 5*w - 290 = -52. Is 9 a factor of h?
False
Suppose -2*x = -0*x - 2, t = 3*x + 21. Is 4 a factor of t?
True
Let n be ((-54)/4)/((-4)/8). Suppose -n - 28 = -5*k. Is k a multiple of 7?
False
Is (-1)/((-7)/78)*217 a multiple of 26?
True
Suppose -2*q = 2, -4*t + 100 = 5*q - 2707. Is t a multiple of 19?
True
Let j(s) be the second derivative of s**4/6 - s**3/3 + s**2/2 + 3*s. Let d be j(2). Suppose -d*o = -26 - 9. Is o a multiple of 3?
False
Is ((-1075)/3)/((-26)/156) a multiple of 77?
False
Suppose 4*w - 5 = 5*w. Let m be (1 - 2)/(w/290). Let c = 92 - m. Is c a multiple of 17?
True
Is (-512)/(-24)*(98/4 - -1) a multiple of 18?
False
Suppose -i = -4*d + 870, -3*i - 51 = 5*d - 1130. Does 24 divide d?
False
Suppose -13*b + 9*b + 402 = -j, -2*b = -5*j - 210. Is 9 a factor of b?
False
Suppose 186 = -4*d - 162. Let t = -43 - d. Is t a multiple of 11?
True
Let q(m) = 11*m - 1. Let z be q(-2). Let j(a) = -2*a**2 - 2*a + 42. Let x be j(0). Let c = x + z. Is 6 a factor of c?
False
Is 12 a factor of (1 + (-90)/(-8))/(169/8112)?
True
Suppose -26 = -5*g + 3*w, 3*w + 22 = -g + 5*g. Suppose a + 16 = 5*c - a, -g*a = 2*c + 8. Suppose -c*k - 49 = -151. Does 14 divide k?
False
Suppose 5243 + 17413 = 12*l. Is l a multiple of 37?
False
Let a = 1 - -2. Suppose 0 = -4*p + a*v - 12 - 92, 0 = 4*p - 2*v + 108. Does 9 divide 1*(-2)/2*p?
False
Let m be -4 + (-3)/4*-4. Is 5 a factor of (-5 + 4)/(m/22)?
False
Suppose 5*j - 670 = 5*g, 0*j = j - 5. Let p = g + 229. Is p a multiple of 25?
True
Suppose -5*g = 9 + 26. Let t(q) = 8*q - 61. Let c be t(8). Is g/21 + 43/c a multiple of 9?
False
Let l(x) be the first derivative of 5*x**2/2 + 13*x + 38. Is l(8) a multiple of 19?
False
Let j = 938 - 895. Is 3 a factor of j?
False
Let x be -8 - (-8 + 10 + -95). Suppose 2*z + p - 41 = -2*z, -z - p = -11. Suppose -15*b + z*b = -x. Does 17 divide b?
True
Let w = 11 - 11. Suppose -14 = -3*o + o + 4*l, w = 5*o - l - 26. Suppose -6*x = -2*x + 4*b - 8, -20 = o*b. Is x a multiple of 4?
False
Let n be (-224)/(-20) + (-4)/20. Let y = n - -11. Suppose 5*f - 33 - y = 0. Does 11 divide f?
True
Let a be (-2 - -9) + -1 + -2. Let j(y) = 3*y + 3*y**3 + a*y**2 - 3*y**3 + y**3 - y - 4. Is 15 a factor of j(3)?
False
Suppose -13 = -5*m + 2. Suppose m*p - 7 - 2 = 0. Suppose 9 = -p*k, -6*k + 7*k = q - 68. Is 13 a factor of q?
True
Let m = 423 + -271. Is m a multiple of 19?
True
Suppose 2 = -2*q + 2*b, 5*b - 6 + 1 = -5*q. Suppose -3*f + 186 = 3*h, -5*f = -q*f + 3*h - 302. Is f a multiple of 25?
False
Suppose 6*o = 13*o - 371. Is o even?
False
Suppose 0 = -4*x + 7*x - 216. Suppose x = -8*k + 9*k. Is 13 a factor of k?
False
Let x(f) = -f**2 + f - 1. Let r(d) = -34*d**3 - 2*d**2 + 4*d - 5. Let s(l) = -r(l) + 4*x(l). Is 33 a factor of s(1)?
True
Is 6 a factor of ((-10164)/(-56))/(1 + 6/(-8))?
True
Suppose 8*z - 2859 = 781. Does 7 divide z?
True
Suppose -d = -2*d - 5*b + 101, 5*d = 3*b + 421. Let p = 214 - d. Is p a multiple of 28?
False
Let a(z) = z**2 - 4*z + 115. Does 3 divide a(0)?
False
Let n be (-6)/33 + (-202)/(-22). Let m be (n/(-3) - -4)*31. Suppose -y + 2*g = -m, 43 + 17 = 2*y - 3*g. Is 18 a factor of y?
False
Let t(n) = -6*n**2 + 21*n - 9. Let k(o) = -3*o**2 + 11*o - 4. Let b(u) = -5*k(u) + 3*t(u). Let d be b(6). Let p = -34 - d. Does 10 divide p?
False
Let w(x) be the second derivative of -5*x**3/6 + 39*x**2/2 + 25*x. Is w(-21) a multiple of 18?
True
Let i(h) = 6*h**2 - 2*h - 1. Let l be i(-1). Let t be (1 + l/2)*-6. Let o = -9 - t. Does 18 divide o?
True
Let h be ((-615)/9)/(4/(-24)). Suppose 8*j - 3*j - h = 0. Is j a multiple of 12?
False
Suppose -g = -4 - 2. Let y be -6 + (-9)/((-9)/(-4)). Is 3 a factor of g/y*(9 - 24)?
True
Let k be 16/(-12)*-33 + -2. Suppose 0 = 2*j + k + 44. Let m = j + 64. Is m a multiple of 7?
True
Let i(z) = -126*z + 90. Is i(-9) a multiple of 18?
True
Let a = -10 - -59. Suppose a = 3*v - 14. Is v a multiple of 7?
True
Let z(v) = -16*v**3 - 6*v**2 - 9*v + 15*v**3 + 0*v - v + 2. Is z(-6) a multiple of 31?
True
Let g(h) = 8*h + 9. Let y be g(3). Let x = -66 + 113. Let t = x - y. Is 4 a factor of t?
False
Suppose u = -2*u + 15. Suppose -u*d - 2*d = -196. Suppose -5*n = -287 - d. Does 12 divide n?
False
Let g be (-187)/(-44) + 2*(-1)/8. Is 24 a factor of (7 - g)*(75/3 + -1)?
True
Suppose 84*s = 125448 + 160740. Is s a multiple of 17?
False
Let r = -59 - -104. Let s(c) = c**2 - c. Let m be s(3). Suppose o - m*o = -r. Is o a multiple of 8?
False
Let a(q) = 218*q - 248. Is a(6) a multiple of 62?
False
Suppose 0 = -4*a - 237 + 1457. Is 61 a factor of a?
True
Is 10/(-5) - (8 + -1883) a multiple of 12?
False
Suppose k - 3*n = -k - 1, -5*n = 5*k - 60. Suppose -k*r + 11*r - 1960 = 0. Suppose 0 = 5*s - a - 490, 3*a + 2*a = 5*s - r. Is s a multiple of 29?
False
Let g(i) = -i**3 - 9*i**2 + 5*i. Let b be g(6). Is (8/(-20))/((11/b)/11) a multiple of 51?
True
Suppose 12*f = 10*f - 30. Does 54 divide (-5)/1*f*(-180)/(-50)?
True
Suppose 1 = -3*g - 23. Let j be 18/(-24) + 2/g. Does 4 divide 4/(j*2/(-8))?
True
Let j(a) = -53*a - 75. Is j(-15) a multiple of 45?
True
Let m = 991 + -690. Is m a multiple of 4?
False
Let d = 267 - 207. Is 5 a factor of d?
True
Suppose 4*y - 1473 = -5*b, 5*y = 17*b - 14*b - 869. Is b a multiple of 7?
False
Let d = 11 - 8. Let p be d/(-1) + 62 + -1. Suppose 0 = 5*q - p + 3. Is 11 a factor of q?
True
Does 4 divide (-762)/(-9) - (-46)/138?
False
Let d = 200 - 138. Let x = d + -46. Is x a multiple of 3?
False
Let u(r) = r + 4. Suppose 5*y + 25 = 0, -38 = z + 2*z + 4*y. Let s be u(z). Is 14 a factor of s + (-4)/2*-9?
False
Suppose 4*o + u = -u + 18, 5*o - 3*u - 39 = 0. Let w = 2 - o. Let h(c) = -3*c + 5. Is h(w) a multiple of 10?
False
Let j be (1 + 2)*4/(-3). Let f = -1 - j. Suppose -f*b + 11 = -1. Is b even?
True
Let t(p) = -23*p + 41. Let u be t(17). Let s = -210 - u. Is s a multiple of 20?
True
Let w(q) = -43*q**3 + 11*q**2 + 35*q + 4. Does 10 divide w(-3)?
False
Does 21 divide 5896 + -2 - (-259)/37?
True
Let w(l) = -l**3 - 3*l**2 + 4*l + 3. Let m be w(-4). Suppose -m = -2*p - 15. Let o(y) = y**2 + 3*y - 3. Does 5 divide o(p)?
True
Suppose -3*p = 3*j - 2094, 0 = -5*p + 2*j - j + 3502. Does 20 divide p?
True
Suppose 2*u - 7*w = -6*w + 3669, -5*w - 7341 = -4*u. Is 17 a factor of u?
False
Let x(k) = -2*k**2 - 4*k + 1. Let z be x(-7). Let r = z + 117. Does 7 divide r?
False
Let q = 283 - 252. Is 31 a factor of q?
True
Let d = 34 + -57. Let a = 51 + d. Is a a multiple of 3?
False
Does 9 divide (-1698)/(-21) - (-12)/84?
True
Suppose -2*g = 5*y - 199 - 170, 2*y + g - 147 = 0. Is y a multiple of 26?
False
Let f(c) = c - 1. Let j(m) = 7*m. Let s(q) = 6*f(q) - j(q). Let i be 2/6 - 28/3. Is s(i) a multiple of 3?
True
Is (304 + (-2 - -1))*(1 - 0) a multiple of 20?
False
Let d(m) = m**3 + 6*m**2 + 6*m. Let k be d(-4). Suppose -k*a - 59 = -9*a. Is 14 a factor of a?
False
Let k = -120 + 119. Is (k + 3/5)/((-5)/2250) a mul