0) - 1586/o?
False
Let d(g) = -g**2 + 15*g + 4. Suppose u + 4*j + 55 = 6*u, -3*u = -3*j - 30. Let k be d(u). Suppose -2*s + k = -5*w, -2*s - 4 = -s - 4*w. Is s a multiple of 2?
True
Let n(x) = 4*x**2 - 7*x - 3. Let h be n(3). Suppose -k - 13 = 3*m + 19, -h = 2*m + 3*k. Is 12 a factor of 0*(-2)/4 - m?
True
Let k(f) = -18*f - 6. Suppose 3*n + 3*z + 15 = 0, -5*n + z = -z - 10. Suppose n = 2*a - 3*a - 4. Is 19 a factor of k(a)?
False
Suppose -21 = n + 2*n. Let x(p) = -39*p**2 - 30*p - 2. Let w(d) = -14*d**2 - 10*d - 1. Let s(v) = 11*w(v) - 4*x(v). Is 18 a factor of s(n)?
False
Let o = -56 + 57. Suppose -3*c + 22 = o. Is 2 a factor of c?
False
Is 8 a factor of (2988/2)/6 + -9?
True
Does 6 divide (-14)/(-4)*(-1 + 186/42)?
True
Does 17 divide 15*(1102/10 + 32/(-80))?
False
Let f be ((-215)/45)/(-1) + 2/9. Suppose -t = -f, t - 33 = -q - 3*q. Does 4 divide q?
False
Suppose 0 = -j + 4*j - 579. Suppose -j - 101 = -7*x. Is 14 a factor of x?
True
Let o = 78 + -231. Let r = o + 259. Suppose 5*j - 84 = r. Does 5 divide j?
False
Let c(i) = 19*i**3 + 2*i**2 - 3*i + 3. Is 35 a factor of c(3)?
True
Let z be -4*1 + 42/6. Suppose -r - 11 = -2*t, -t + 13 - z = -5*r. Suppose 3*i - t*m = 86, 6*m + 58 = 2*i + 3*m. Is 10 a factor of i?
False
Let k be (-12)/(-144)*(3 + 0)*668. Suppose 2*r = -3*w - 2*r + 102, -4*w + 5*r + k = 0. Is w a multiple of 9?
False
Suppose -17*m + 870 = -3652. Is 7 a factor of m?
True
Let c = 2996 + -1789. Does 50 divide c?
False
Let d be (-3)/(-5) - (-9 - (-10527)/(-55)). Suppose 5*b + 3 = 2*t, -b - 19 = -4*t - t. Suppose t*r = -4*g + 452, -5*g - 2*r - d = -781. Does 15 divide g?
False
Let z = 50 + 76. Does 21 divide z?
True
Let p(o) = -o - 2. Let f(k) = -k**2 + 2*k - 1. Let d be f(3). Let h be p(d). Does 18 divide 94 + (-2)/(h/(-1))?
False
Let a be 2/(-4)*(-1 + 1). Suppose -6*i + a*i + 1068 = 0. Is 16 a factor of i/11 + 32/(-176)?
True
Let q be (-4)/(-18) + 5061/189. Let d = q + -20. Is 4 a factor of d?
False
Let q(w) be the second derivative of 5*w**3/3 - 4*w**2 - 11*w. Let d be q(4). Let p = 123 - d. Does 16 divide p?
False
Suppose 2*g - 4*g = q - 11, 0 = -4*g - q + 23. Let v(r) = -r**3 + 8*r**2 + 3*r - 8. Does 37 divide v(g)?
False
Let z be 114/(-15) + (-8)/20. Does 18 divide (((-4140)/z)/5)/((-1)/(-2))?
False
Suppose 4*g = -o + 514, -3*g - 1072 = 13*o - 15*o. Is o a multiple of 64?
False
Suppose 8*y - 7*y = 0. Suppose y = -2*o - 3*o + 3*c + 111, -5*o = 3*c - 129. Is o a multiple of 12?
True
Suppose 2*m - 17*q = -15*q + 3760, 2*m - q - 3756 = 0. Does 60 divide m?
False
Let w = -47 - -52. Let d(r) = 15*r - 9. Is 6 a factor of d(w)?
True
Let s(q) = 3*q - 10. Let x be s(10). Let z = -128 + 170. Let r = z - x. Does 11 divide r?
True
Suppose 3*q - 694 = 3*g - 2*g, -235 = -q + 4*g. Let k = -3 + 8. Suppose -4*p + k*b = -q, p - 70 = 3*b - 21. Is 14 a factor of p?
False
Let l(v) = v**3 + 11*v**2 - 13*v + 13. Does 5 divide l(-12)?
True
Let i(b) = -b**3 + 8*b**2 + 7*b + 31. Does 13 divide i(9)?
True
Let w(k) = -k + 17. Let x be w(13). Let a(z) = -z**2 + 3*z**3 - x*z**3 - z**3 + 3*z**3 + 2. Is a(3) a multiple of 20?
True
Let y(w) = -9*w**3 + w**2 + 2*w + 3. Let v be y(-3). Suppose x - 219 = -2*t, 0*x - 5*x = -2*t + v. Is t a multiple of 22?
False
Let b(r) = -r**3 - 9*r**2 - 9*r - 4. Let i(q) = -2*q**3 - 8*q**2 - 10*q - 5. Let t(l) = 3*b(l) - 2*i(l). Does 34 divide t(12)?
False
Let t = 237 - 133. Let p = t - 165. Let n = p - -120. Does 16 divide n?
False
Is ((-15)/(-25))/(7/2310) a multiple of 9?
True
Let z(k) = -125*k**3 + 2*k**2 + 2*k - 1. Is z(-1) a multiple of 9?
False
Let v = -556 - -1194. Is v a multiple of 33?
False
Let t = 43 - 26. Let q = -27 + t. Is 8 a factor of ((-48)/(-10))/((-3)/q)?
True
Does 14 divide 3*(100/3 - -4*1)?
True
Suppose 3*s - 6*s + 4*g = -80, -50 = -2*s + g. Let l = 70 - s. Suppose 3*j = 2*j - 2*d + 6, -4*j + 3*d = -l. Is 5 a factor of j?
True
Let n = 12 - 26. Is (-906)/n - (-4)/14 a multiple of 16?
False
Suppose -n = -0*n - 18. Let h be -1 + n + -4 + 2. Let c = 33 - h. Does 9 divide c?
True
Let n(k) = -k**3 + 11*k**2 + 12*k - 36. Does 13 divide n(9)?
True
Let n(f) = -17*f - 7. Let d be n(-2). Let p = d + -6. Does 19 divide p?
False
Suppose -97*y = -41*y - 28504. Is 30 a factor of y?
False
Let l = 982 - 390. Suppose -596 = -4*o - o + 3*s, -5*o + s + l = 0. Suppose 4*u = o + 42. Is 10 a factor of u?
True
Suppose 440 = 5*m - 2*t, 18 = -3*m + 5*t + 282. Does 3 divide m?
False
Suppose 2*i + 8 = 0, -8*b = -6*b + 4*i - 1062. Is b a multiple of 11?
True
Let r(h) = 228*h**2 - h - 4. Is 10 a factor of r(-2)?
True
Suppose 88*w + 15360 = 120*w. Does 10 divide w?
True
Suppose 5 = 5*p, 2*p - 2 = -4*s + 16. Suppose -s*w + 12 = b, -w - 4*b + 12 = 3*w. Suppose 0 = w*j - 438 + 159. Does 28 divide j?
False
Is -5*7/(140/(-128)) a multiple of 11?
False
Let q(y) = -2*y - 25. Let l be q(-14). Suppose 0 = -l*h + 2*v - v + 56, -v + 34 = 2*h. Is h a multiple of 18?
True
Is 9 a factor of -1 - ((-204)/(-4))/(-1)?
False
Suppose 5*w - 17 = 3. Let o(k) = -4*k**2 + 9*k + 1. Let y be o(w). Let p = 60 + y. Is 11 a factor of p?
True
Let o be (-438)/(-11) - (-24)/132. Suppose 0 = -m - 5 + 1. Let p = o - m. Is 22 a factor of p?
True
Let p(m) = 3*m**2 - 32*m - 63. Does 10 divide p(17)?
True
Let q be (-3 + (-14)/(-4))*0. Suppose -5*b + 242 = 3*w, -5*w + 5*b + 0*b + 390 = q. Is w a multiple of 10?
False
Suppose 1061 = o + 4*b, -25*o - b - 1086 = -26*o. Is 11 a factor of o?
False
Let k(j) be the third derivative of -j**5/60 - 5*j**4/12 + 17*j**3/6 - 18*j**2. Does 17 divide k(-9)?
False
Let k(s) = -s**3 - 9*s**2 - 2*s - 11. Let u be k(-9). Let x be u/(-2)*(-12)/14. Is ((-33)/(-2))/x*4 a multiple of 11?
True
Let i(g) = -2*g**2 + 5*g + 2. Let j be i(6). Let w be (j/(-6 + 2))/(-1). Does 28 divide ((-5)/w)/(2/188)?
False
Let b(r) = -6*r - 13. Let o = 26 - 36. Does 9 divide b(o)?
False
Suppose 2*j - 1702 = -c, 15*j - 3*c - 4266 = 10*j. Is 26 a factor of j?
False
Suppose 0 = 3*f - 4*f + 3. Let h be 46/12 - f/(-18). Suppose -3*y = -h*p + 67, 29 = 4*p - 2*y - 37. Is 8 a factor of p?
True
Is 895 + (7 - 15) + -1 a multiple of 54?
False
Is (-7498)/(-25) + (-2)/(-25) a multiple of 20?
True
Does 12 divide (-2)/10 - (-9006)/30?
True
Let y(d) = -3*d - 1. Let v be y(-1). Suppose -3*j = 4*o - 15, 4*o + j = -0 + 5. Suppose o*t - 2*t = -v*g + 48, -5*t = -5. Does 11 divide g?
False
Let r(s) = -2*s + 38. Let w be r(17). Let c(h) = 19*h - 11. Is c(w) a multiple of 41?
False
Let l(a) = a**3 - 12*a**2 + 7*a + 6. Let n(v) = -v**3 + 13*v**2 - 8*v - 7. Let g(d) = -6*l(d) - 5*n(d). Is 5 a factor of g(6)?
False
Suppose 2*y + 1102 = 5*g, 5*g + 656 = 8*g + 4*y. Is g a multiple of 20?
True
Let n = 129 + -125. Does 16 divide 1/((-4)/(-228)) + -1 + n?
False
Suppose 4*b - 25 = -9. Suppose -b*f - 563 = -5*h, -3*h + 452 = h - 4*f. Is 48 a factor of h?
False
Suppose 3*q + 3 = 0, 5*h + 0*q = -3*q - 413. Let m = 217 + h. Is m a multiple of 29?
False
Let j = 3342 - 2071. Is j a multiple of 25?
False
Let i(b) = -b + 260. Let w be i(0). Let u = -397 + 215. Let h = w + u. Is h a multiple of 13?
True
Does 8 divide (-544)/(-6)*(-6 + (-15)/(-2))?
True
Let d(s) = s**3 - 12*s**2 - 8*s + 18. Is d(13) even?
False
Let y be 2/(-6)*(-81 + (-9)/(-3)). Suppose 0 = g - y - 23. Is g a multiple of 7?
True
Does 3 divide (1263 + 4)*2/7?
False
Let w(d) = d**2 + 8*d + 11. Let q be w(-7). Suppose v + 20 = 3*t - 0*t, q*t - 3*v - 25 = 0. Is 134/8 - t/(-28) a multiple of 4?
False
Let i(z) = -z**2 - 8*z - 1. Let c be i(-7). Is c*(-6)/9 + 55 a multiple of 11?
False
Is 14 a factor of 1886 + -2 + -5 + -3?
True
Let n(w) = -w**3 - 21*w**2 + 23*w - 7. Let v be n(-22). Let k = v + 52. Is 3 a factor of k?
False
Suppose -2128 = -10*c + 2*c. Is c a multiple of 38?
True
Let h be (-2 + 1)*(5 + -6)*2. Is 10 a factor of (2 + -4)/(3*h/(-282))?
False
Let z(j) = 8*j + 254. Is 9 a factor of z(-26)?
False
Suppose -2*m - 20 - 14 = 0. Let p(x) = -x**2 - 10*x + 10. Let g(f) = -f**2 - 6*f + 10. Let s(b) = -3*g(b) + 4*p(b). Does 19 divide s(m)?
True
Suppose 14 = -14*z - 70. Let n(u) = u**2 - u - 14. Does 28 divide n(z)?
True
Let r(s) = -4*s + 1. Let x be r(-2). Is 26/(-117) + 56/x even?
True
Let u(l) be the first derivative of -l**4/4 - 14*l**3/3 - 13*l**2/2 - 5*l + 12. Let m be u(-13). Let p(j) = -j**3 - j**2 - 9*j - 11. Does 36 divide p(m)?
False
Is (