(0 - (41 + -1)) a multiple of 4?
True
Suppose -8947 - 2434 = -19*m. Is m a multiple of 13?
False
Let w be -66 + 3 - -1*(-2 - -3). Let g be ((-89)/2)/(1/(-2)). Let q = w + g. Does 9 divide q?
True
Let z(q) be the first derivative of 61*q**2/2 - 5*q + 1. Does 48 divide z(4)?
False
Let z(f) = -f**3 - 5*f**2 - f + 4. Let a be z(-5). Let w(j) = 0*j - 4*j + 411 + 5*j - 398. Is 6 a factor of w(a)?
False
Suppose -q = -0*q + 3, 2*q = r - 261. Suppose 3*f - 2*a - 816 = -0*a, f - r = -5*a. Is 13 a factor of f?
False
Let k(c) = -c**3 - 6*c**2 - c - 2. Does 50 divide k(-9)?
True
Suppose -2*u + 5*p - 1071 = 0, 2*p - p + 546 = -u. Let s be 2/14 - u/21. Does 8 divide s/((-3)/9*-2)?
False
Suppose 3*y - 5*w = 565, -26*y - 4*w = -30*y + 740. Is y a multiple of 18?
True
Let x(y) = y. Let t be x(4). Suppose -b - i = 2*b + 31, 0 = t*b - i + 32. Does 17 divide ((-24)/b)/(-4)*-129?
False
Let u(a) = 26*a**2 - 11*a - 20. Is u(5) a multiple of 25?
True
Suppose 0 = -4*p - 3*b + 5972, b - 9452 = -5*p - 1976. Is 17 a factor of p?
True
Let f = 153 + 7. Let b = -105 + f. Is 21 a factor of b?
False
Suppose -17*u = -16*u - 4*g - 94, -3*g + 94 = u. Let o = -38 + u. Is o a multiple of 6?
False
Let a = 11 - 5. Let u(k) = k**3 - 5*k**2 - 8*k + 14. Let z be u(a). Let c(g) = 14*g**2 + 3*g - 4. Does 14 divide c(z)?
False
Let c be 2/(-14) + 9/63. Is (1 - c)*(-6)/((-6)/61) a multiple of 37?
False
Let k(i) be the first derivative of 21*i**2 + 3*i - 4. Is 29 a factor of k(2)?
True
Let s = 536 - 531. Let x = 6 + -4. Suppose s*m + 3*b = 164, x*m = -b - b + 68. Does 8 divide m?
False
Let j(c) = 3*c**2 + 19*c - 67. Is 11 a factor of j(8)?
False
Let m(p) = 7*p**2 - 9*p - 3. Let v be 6 + 1 - (-6)/(-2). Is 22 a factor of m(v)?
False
Is 7 a factor of -9*21*(-2)/18?
True
Let r(q) = q**3 + 32*q**2 + 8*q - 61. Does 48 divide r(-31)?
False
Is (-3)/(-5) - (6 - 794/10) a multiple of 38?
False
Let u = 25 + -26. Let w = u + 5. Suppose w = 5*o + 4*x, -1 = -2*o + x + 11. Is o a multiple of 3?
False
Let v = 128 + -68. Suppose 7*i - 640 - v = 0. Is i a multiple of 25?
True
Let z(f) be the third derivative of f**4/12 + 5*f**3/3 + 2*f**2. Let b be z(-5). Suppose b = 5*i + 3*s - 391, 2*i + 92 = 3*i - 4*s. Does 19 divide i?
False
Let i be 1539/12 + 6/8. Does 34 divide i*(-2 + (-8)/(-3))?
False
Suppose 2*r - 2*t = -0*r + 42, r + 3*t - 21 = 0. Does 2 divide r?
False
Let h = 401 - 174. Let k = h + -98. Does 6 divide k?
False
Let q(i) = -i - 1. Let m be q(-4). Let j(c) = 6*c**2 - m*c**2 - 2*c**3 + 2*c + 0*c**2 + 2. Is 21 a factor of j(-2)?
False
Let b(z) = 3*z**2 - z + 3. Let n be (-1*3)/(5/(-5)). Let m be b(n). Suppose -3*l - m + 81 = 0. Is l a multiple of 9?
True
Suppose 3*p - 7*p = -4. Let n(c) = -2 + p - 3 + 3 + 8*c. Does 3 divide n(1)?
False
Suppose 3*a - 77 = 43. Let s = a + 44. Is s a multiple of 7?
True
Let s = -1439 + 981. Is (18/8)/(s/(-152) + -3) a multiple of 21?
False
Suppose 4*t = 10*t - 4080. Is 17 a factor of t?
True
Suppose z + 5*n = -5, z + 4*n = -0*z - 4. Let p = z - -24. Does 5 divide p?
False
Let v be 15/(-5) + 2 - 77. Let o = v + 127. Is o a multiple of 12?
False
Let v = -19 + 13. Let x(d) = -d + 12. Let i be x(v). Suppose 0*o = s - 5*o - 4, 0 = 2*s - 5*o - i. Is 6 a factor of s?
False
Let k(j) = 8*j**2 + j + 38. Is k(-6) a multiple of 20?
True
Suppose -2*i = 6*i - 144. Suppose 0 = -8*q + 9*q - i. Is q a multiple of 3?
True
Let c = -10 + 15. Suppose 5*l - 19 = -s, 2*l + c*s - 3 = -0. Is l a multiple of 4?
True
Let a be (-24)/(-18) + (-4)/(-6). Suppose a*n = -0*n + 124. Suppose 5*s = 25, -s - s + n = q. Is q a multiple of 11?
False
Let o(f) = -f**2 - f - 9. Let k(h) = -h**2 + 1. Let p be k(-1). Let g be o(p). Does 15 divide -10*g*(-2)/(-4)?
True
Let x(d) = 63*d - 9. Does 27 divide x(4)?
True
Suppose 0 = -27*y + 100519 - 35179. Is y a multiple of 10?
True
Let i be (-7)/28 + 18/8. Suppose 4*o - 182 = -5*u, -109 = -i*o + 2*u - 9. Is 16 a factor of o?
True
Suppose 57*d = 3*a + 58*d - 10223, 0 = -4*a - 2*d + 13630. Does 71 divide a?
True
Suppose -139*y + 800 = -137*y. Does 10 divide y?
True
Let a(p) = -44*p**3 - 4*p - 10. Is a(-2) a multiple of 50?
True
Suppose 2*z = 5*s - 26, 4*s + 2*z + 0 = 10. Does 5 divide 9*s*5/20?
False
Suppose 0*y - 4*x = y + 6, y = -5*x - 5. Let g = 10 + y. Let h(c) = -c**3 - c**2 + 2*c + 95. Is 18 a factor of h(g)?
False
Let u be ((-6)/4)/(6/(-16)). Suppose -3*z - 57 = -u*z + 4*q, 5*z = 5*q + 345. Suppose 1 - z = -4*l. Does 7 divide l?
False
Let g(v) = 3*v - 6. Let y be g(-3). Let o = y - -110. Suppose -25*d = -20*d - o. Is 3 a factor of d?
False
Let q(x) = -78*x**3 + 2*x**2 - 4*x - 8. Does 8 divide q(-2)?
True
Let q = -45 + 48. Suppose 535 = q*c + 115. Is 28 a factor of c?
True
Suppose -2*r - 5 = 3. Let z = r - -9. Suppose -12 = -w - z*j + 2, 0 = 4*w - 5*j - 6. Does 3 divide w?
False
Is ((-2)/4)/(-4*(-1)/(-3424)) a multiple of 24?
False
Let k(t) = t - 7. Let b be k(7). Suppose -123 = -2*d - i, b = 2*i - 6*i - 4. Is d a multiple of 12?
False
Let l be (-2)/((-100)/24 + 4). Suppose -13*a = -9*a - l. Suppose -3*w + 96 = 3*j, a*j = 4*w - w - 90. Is w a multiple of 5?
False
Let y(b) = -6*b - 6. Suppose -5*n = -16 + 6. Let c(w) = 5*w + 7. Let o(i) = n*y(i) + 3*c(i). Is o(5) a multiple of 8?
True
Suppose 3*d = -2*d + s + 1281, -s - 1024 = -4*d. Let w = d - 65. Is 28 a factor of w?
False
Let l(k) = -k**3 + 10*k**2 + 4*k + 2. Let r be l(9). Let x = -28 + r. Is x a multiple of 13?
True
Let x = -5 + 17. Suppose 0 = -v - x - 4. Let w = 30 + v. Does 4 divide w?
False
Let v be ((-32)/(-5))/((-9)/(-45)). Suppose -2*h + 32 + v = 0. Is 20 a factor of h?
False
Let o = -1 - -3. Let n = -580 - -583. Is 4 a factor of n/o + (-45)/(-18)?
True
Let h(q) = -q**2 + 15*q - 18. Suppose 2*x - 240 = -3*x. Let l be 0 + x/(0 - -4). Does 18 divide h(l)?
True
Suppose -32832 = 65*h - 71*h. Does 171 divide h?
True
Let b(s) = s**3 + 9*s**2 + s + 13. Let f be b(-9). Suppose -f*u + 2*o + 50 = 0, 5*u + 2*o - 68 + 10 = 0. Does 4 divide 3/12 - (-285)/u?
True
Suppose 5*k - 7*p - 1125 = -2*p, 0 = -2*k - 4*p + 450. Suppose 0 = 6*r - r - 5*m - k, 4*r - 180 = 2*m. Is r a multiple of 15?
True
Let s = 8 - 8. Suppose 3*u - 2*d - 240 = s, 6*u - 4*u = -5*d + 179. Is u/5 + 4/(-10) a multiple of 5?
False
Let f(t) = 52 + 15*t - 27 + 10*t - 26. Is f(2) a multiple of 7?
True
Suppose -3*z + 15 - 9 = 0. Suppose 0 = z*u - 27 - 15. Is 7 a factor of u?
True
Does 39 divide ((-78)/((-10)/(-5)))/(1/(-17))?
True
Let l = 13 + -8. Suppose 0 = -2*s + 4*j + 92, 5*s - l*j + 3*j = 190. Does 36 divide s?
True
Suppose -4*t = 2*f - 2721 + 569, 5*t = -3*f + 2689. Is t a multiple of 49?
True
Suppose 3*b + 2*b = -4*w + 13, -b + 9 = 4*w. Let t = 279 - 173. Let u = t - b. Is u a multiple of 30?
False
Let d = -24 - -77. Is d a multiple of 40?
False
Suppose 5*s = -12 - 3. Let p(a) = 4*a**3 + a**2 - 2*a + 4. Let i(c) = -5*c**3 - 2*c**2 + 2*c - 5. Let t(g) = -5*i(g) - 6*p(g). Does 2 divide t(s)?
True
Suppose -p + 1 = 4*n - 6, -n - 2 = 4*p. Suppose t + r = 89, t + 4*r - 168 = -t. Suppose -n*h - 5*w + 94 = 0, -t = -0*h - 2*h + w. Is h a multiple of 11?
False
Let j(b) = -b**2 - 6*b - 27. Let q be j(-8). Let i = 106 + q. Is 9 a factor of i?
True
Suppose -17*u = -20*u + 24. Is 3/(-4) - (-1222)/u a multiple of 8?
True
Let y = -50 + 54. Suppose 2*d - y*x = 186, -x = -5*x - 8. Is 15 a factor of d?
False
Suppose 3*u - 217 = -p + 2, -2*p + 5*u = -482. Is p a multiple of 15?
False
Does 11 divide 26/(2/(-12) - 105/(-350))?
False
Let c = 11 + -7. Suppose -c*a = -2 - 38. Is 10 a factor of a?
True
Suppose -27457 + 204905 = 82*p. Is 10 a factor of p?
False
Does 16 divide 2 + (-6 - -9) - -683?
True
Does 21 divide 1440/20 + -2 + -4?
False
Let r(a) = a**3 - 8*a**2 - 13*a + 9. Let z be (1*10 + -2)*(-20)/(-16). Is 17 a factor of r(z)?
False
Suppose 27*l + 19250 = 38*l. Is 13 a factor of l?
False
Suppose -4*r - 157 = -1281. Is r a multiple of 5?
False
Let b be 3/3 + 1 + (-4)/(-1). Suppose 3*t - b*t = -2*m - 317, 0 = -4*t + 5*m + 432. Is t a multiple of 17?
False
Let u(y) = -25*y**3 + 2*y + 1. Let c be u(-1). Suppose 2*w + 13 = 5. Does 3 divide ((-30)/w)/(c/32)?
False
Let b(o) be the first derivative of -o**4/4 + 5*o**3/3 - o**2/2 + 8*o - 47. Suppose -2*f - 26 = -5*a, -3*a + 2*f = -8*a + 14. Does 20 divide b(a)?
True
Let z(j) = 16*j - 1. Let b be z(3). Suppose -2*r + b = 11.