-2)/(-6) even?
True
Let w be (-5)/((-5)/(-2)) + 6. Let k(i) = -i**2 - 4*i + 2. Let b be k(-3). Suppose -b*g + 156 = o, -123 = -5*g - w*o + 21. Is g a multiple of 16?
True
Let k = 4192 + -2575. Is 33 a factor of k?
True
Let j(g) be the second derivative of g**5/30 + g**4/8 + g**3 - 9*g**2/2 - 4*g. Let f(i) be the first derivative of j(i). Is f(-6) a multiple of 15?
True
Suppose -33*i = -18*i - 7125. Does 19 divide i?
True
Is -15 - 139/(-9) - 3011/(-9) a multiple of 10?
False
Let v(l) = l**3 + 9*l**2 + 10. Let a be v(-9). Suppose 5*k = a*k - 355. Is k a multiple of 18?
False
Suppose -x + a = -85, 2*x - 14*a - 176 = -15*a. Is x a multiple of 10?
False
Let v = 26 - 18. Let f = -4 + v. Suppose -c - c = f*n - 20, 46 = 4*c + 5*n. Is c a multiple of 5?
False
Suppose -4*u - 724 = -8*u. Does 9 divide u?
False
Let w(k) = -k**3 + k - 1. Let j(n) = 12*n**3 - n**2 + 5*n - 5. Let z(o) = j(o) - 3*w(o). Does 7 divide z(1)?
True
Suppose 6 + 26 = -4*g. Let q(a) = -a - 4. Let o be q(g). Suppose -o*b + 46 = -18. Does 16 divide b?
True
Let w = 771 - 203. Is 71 a factor of w?
True
Suppose -b = 4*m - 15 - 10, 3*b = 5*m + 24. Let q(i) be the third derivative of i**5/60 - 3*i**4/8 + 17*i**3/6 + 2*i**2 - 29*i. Is q(b) a multiple of 16?
False
Let s(o) = 1625*o**3 - 14*o**2 + 10*o + 3. Is 8 a factor of s(1)?
True
Let v = -118 - -180. Suppose -5*w = -2*b - b - 31, -41 = 3*b + 5*w. Let d = v + b. Does 10 divide d?
True
Let k = 31 + -14. Let m(o) = -k*o + 56 - 56. Does 10 divide m(-2)?
False
Let d(h) = h**3 - 6*h**2 - 4*h - 1. Let n be (-264)/(-40) - 2/(-5). Is 4 a factor of d(n)?
True
Let n = -366 - -249. Let m = 170 + n. Is 22 a factor of m?
False
Let j(r) = 11*r. Let f be (-2)/(-6) - (-2)/3. Let y be j(f). Let k = y - -17. Is k a multiple of 14?
True
Suppose b + b = -4*h + 4, -5 = 5*h. Is 35 a factor of (-2)/(8/b) + 79?
False
Let a(u) = 3*u - 2. Let k be a(-2). Let f be (k/(-4))/(1/4). Let s = 30 - f. Does 11 divide s?
True
Let o(v) = -v**3 - 6*v**2 + 5 + 2*v**3 + 0. Let t be o(6). Suppose -5*j = -2*j + p - 117, -2*p + 195 = t*j. Is 13 a factor of j?
True
Let w(f) = -2*f - 2. Let y be w(-2). Suppose 106 = 4*k + y*z, -3*z + 4*z = -3*k + 80. Is 18 a factor of k?
False
Suppose 5*b + 13 = -q, 0 = b + 1 + 2. Let j be 8/(-2)*-4 - q. Let y = -5 + j. Is y a multiple of 7?
False
Is (-14)/294*-7*2319 a multiple of 39?
False
Let b = 242 - 224. Is b a multiple of 2?
True
Let p(d) = d**3 + 16*d**2 + 15*d + 3. Let z be p(-15). Suppose o = 3, 3*o - 325 = -z*a + 347. Is a a multiple of 36?
False
Let l(y) = -y + 10. Let h be l(5). Suppose 144 = h*o - 2*o. Is 24 a factor of o?
True
Let n(d) = -d + 24. Let f be -2*(0 + 55/(-10)). Is n(f) even?
False
Suppose -4*z - 2*w = -298, -z - 4*w + 308 = 3*z. Is z a multiple of 6?
True
Suppose -3*s + 4 = -5. Suppose 4 = 2*v, s*p - 24 = -v + 23. Is p a multiple of 15?
True
Let g(h) = -2*h**2 + 5*h - 4. Let p be g(5). Suppose -28 - 17 = -s. Let q = p + s. Does 14 divide q?
False
Let i = -79 + 106. Suppose -i = -o + 3. Does 29 divide o?
False
Let i be (-2 - -2) + 1 + -1. Suppose -v - 14 - 96 = i. Let p = -66 - v. Is 22 a factor of p?
True
Let q be -3*(2 + -1) - 30. Let f = q - -46. Suppose -6*o - 98 = -f*o. Is o a multiple of 10?
False
Let l(u) be the first derivative of u**2/2 - 3. Let s(b) = -4*b - 17. Let o(v) = -5*l(v) - s(v). Is o(-13) a multiple of 30?
True
Suppose -2*a - 97 + 667 = 0. Is 17 a factor of a?
False
Let u = -5 + -16. Is ((-36)/7)/(3/u) a multiple of 10?
False
Is 38 a factor of (336/(-36) + 3)/((-2)/168)?
True
Suppose -13*j - 6581 = -30436. Does 9 divide j?
False
Let f be ((-220)/(-77))/(2 + 24/(-14)). Let r(g) = g**3 - 10*g**2 + 4*g + 33. Is r(f) a multiple of 7?
False
Suppose 175 + 230 = 5*n. Suppose -k = -21 - n. Is 17 a factor of k?
True
Suppose 0 = 3*l + p - 11, 2*p - p = -1. Suppose 0 = -l*c - 4, -y + 20 = 2*c + 2. Does 13 divide 4/y - 387/(-15)?
True
Let h = 6 + -6. Suppose h = -3*f + 8*f - 830. Does 23 divide f?
False
Suppose -b = -i + 198, 7*b + 20 = 2*b. Does 33 divide i?
False
Suppose 15 = 5*s + 25. Let x be 0/(3 + s) + 3. Suppose -2*i = -x*i + 25. Is i a multiple of 8?
False
Suppose 5*l - 3 - 12 = 0. Suppose -3*q = -0*q - 6. Is 12 a factor of ((-387)/l)/(-3) - q?
False
Suppose 0 = -0*w + 2*w - 24. Suppose -2*o = -3*c - 12, -4*o - 8 - w = 5*c. Suppose 2*j - 4*y - 72 = o, 6*j - 4*j + 4*y - 80 = 0. Is 15 a factor of j?
False
Let r(j) = j**3 + 16*j**2 + 9*j - 18. Let y(m) = -m**3 - 14*m**2 + 17*m + 15. Let w be y(-15). Does 12 divide r(w)?
True
Let k be 3/((-3)/(-45)*3). Let l = -15 + k. Suppose -2*q + 3*f + 39 = -l*f, 5*q = -5*f + 85. Does 9 divide q?
True
Let g be 0 + 14 + (0 - -2). Let p = -13 + g. Is p even?
False
Let o(i) = 11*i + 196. Does 7 divide o(0)?
True
Let l = -410 + 454. Is l a multiple of 22?
True
Let b = -38 - -12. Let d = b + 34. Does 7 divide d?
False
Let r(d) = -d**3 - 4*d**2 + 2*d. Let i(t) = t**2 - 7*t + 11. Let m be i(6). Suppose o = 4*p - 13, 4 = -3*o - m*p - 1. Is 10 a factor of r(o)?
False
Suppose -2*g + 60 = -8*g. Is -11*4*(g + 8) a multiple of 22?
True
Suppose 25*p = 18*p + 1477. Does 11 divide p?
False
Suppose 0 = 7*p - 5*p - 862. Let x = 606 - p. Suppose -7*j + x = -0*j. Is j a multiple of 25?
True
Let k(r) be the first derivative of 1/2*r**2 + 30*r - 7. Is 15 a factor of k(0)?
True
Let l(c) = -2*c + 13. Let p be l(10). Let d be (p - -11) + (-6)/2. Does 12 divide (4 - 8) + 100*d?
True
Let o be 836/12 + (-8)/3 + 2. Suppose -2*y = 3*y + 2*v - 380, y = v + o. Does 5 divide y?
False
Let r(s) = -5 + 14*s - 1 + 6*s**3 + 4 - 7*s**2 + 1. Is 35 a factor of r(3)?
True
Let y(d) = 4*d**2 - 229*d + 54. Is y(58) a multiple of 6?
True
Suppose 0 = -5*c, -4*f + 2*c + 6180 = 6*c. Is 16 a factor of f?
False
Let w be 12 - (-17)/((-34)/(-12)). Suppose 0 = -4*o - 3*l + 180, l - 206 - 19 = -5*o. Does 3 divide (-10)/o + 76/w?
False
Let d = 100 - 47. Suppose d = -4*z + 5*z. Is z a multiple of 11?
False
Let k(h) = 6*h + 12. Let j be k(-6). Let b = 25 - j. Suppose -b = -v - 19. Does 15 divide v?
True
Let h(q) = -q**2 + 7. Let y be h(0). Is (-1 - (-117)/y) + (-14)/(-49) a multiple of 4?
True
Let w(v) = v**3 - 5*v**2 - 8*v - 8. Let b be w(7). Let z = 104 - b. Is 13 a factor of z?
False
Let m be -1*1/(-2)*18. Suppose 4 = -5*o + 2*z + 1, -3*z + m = -3*o. Suppose -3*h - o = -52. Is 7 a factor of h?
False
Let h be (2 - 1) + -169 - 0/(-17). Let j = 322 + h. Does 22 divide j?
True
Let y(z) = 36*z**2 - 13*z + 20. Is y(2) a multiple of 13?
False
Let h(d) = d**3 - d**2 + 1. Let t(j) = -5*j**3 + 17*j**2 + 8*j - 18. Let l(g) = 6*h(g) + t(g). Does 10 divide l(-9)?
False
Let m(o) = 6*o**2 - 3*o + 9. Is m(3) a multiple of 9?
True
Let s(a) = -a**3 + 2*a**2 + 5*a - 4. Let i be s(3). Suppose -3*m = i*b - 0*b - 32, 2*b - 3*m = 44. Suppose -20 = -j + b. Is 13 a factor of j?
True
Suppose 118*i = 129*i - 1232. Does 19 divide i?
False
Suppose -4*s + 8759 = 15*s. Does 6 divide s?
False
Let y(q) = -198*q - 515. Is y(-5) a multiple of 29?
False
Let i = 25 + -22. Suppose 4*c + 16 = n - 2*n, -3 = 3*n + i*c. Suppose n*p = -75 + 183. Is 9 a factor of p?
True
Suppose s + 3*s = 12. Suppose -s*h + 3*c + 9 = 0, -3*h + 9 = 4*c - 7. Suppose 0 = h*v - 68 - 20. Is v a multiple of 11?
True
Suppose 12*y + 4880 = 7*y. Let g = 1382 + y. Is 29 a factor of g?
True
Suppose -549 = -8*t - t. Suppose t*m = 55*m + 540. Is m a multiple of 45?
True
Suppose -5*h + 5 = -4*z, 0 = 5*h - 2*z + 7*z - 50. Suppose 2*n + h*y - 9 = 5*n, 3*n - 3 = y. Suppose n*i - 63 = 21. Does 14 divide i?
True
Let n(z) = 84*z - 6. Let k be n(3). Is 7 a factor of k/9 - (-2)/(-6)?
False
Let l = 15 - 14. Is 62 - (l - 3/(-3)) a multiple of 11?
False
Suppose -1138 = 5*o - 4*n - 10398, 0 = o - 3*n - 1863. Is 24 a factor of o?
True
Let q(g) = -4*g - g - 6 - 9*g. Let z be q(-7). Suppose z = 4*x - 180. Does 17 divide x?
True
Let x(o) = -4*o**2 + 28 - 89*o + 88*o + 2*o**2 + o**3. Is 8 a factor of x(0)?
False
Does 11 divide (224/(-7))/(4/(-34)) - -3?
True
Let a(i) = 84*i + 4. Let o be a(-1). Let b be 6*(-1)/((-6)/123). Let j = o + b. Is 13 a factor of j?
False
Suppose -633 - 150 = -3*b. Is 6 a factor of b?
False
Let x = 48 + -136. Let p = x + 179. Does 17 divide p?
False
Suppose 0 = 5*a + 5*a - 14720. Does 46 divide a?
True
Is 41 a factor of (-197594)/(-155) - 8/10 - -2?
False
Let f(d) = -35*d - 53. Does 17 di