 + d - 82. Does 4 divide m?
True
Let a(k) = 22*k**2 + 4*k - 2. Let f be a(4). Suppose 0 = -2*b + 3*g - 8*g + 249, 0 = -3*b - 5*g + f. Is b a multiple of 30?
False
Let j(c) = 10*c - 5. Let b be j(2). Let w be 3/(b/8)*-10. Let a = w + 25. Is a a multiple of 3?
True
Is (-3)/(-5) + (-132)/(-5) a multiple of 3?
True
Let d be (-2312)/30 - 152/(-2280). Let h be 2/(4 - 2) + -171. Does 8 divide h/(-7) - (-22)/d?
True
Let x(o) = -o**2 - 8*o + 2. Suppose -34 = 3*i - 13. Is 3 a factor of x(i)?
True
Suppose -85*m + 88*m - 18 = 0. Suppose 0 = -m*z + 3*z - 3*w + 87, z - 2*w = 29. Is 3 a factor of z?
False
Let u(m) = 11*m**2 - 6*m - 3. Let n be u(-2). Let d = n + -27. Does 4 divide d?
False
Let q(v) = 24*v. Suppose 3 = 3*d - 21. Let g = d + -7. Does 12 divide q(g)?
True
Suppose -7202 = -5*x + 2*f, -5*f - 5759 = -4*x - 6*f. Is x a multiple of 16?
True
Is 11245/39 - (-2)/(-6) a multiple of 16?
True
Let z(s) = -9*s - 18. Does 2 divide z(-40)?
True
Does 29 divide ((-54)/(-162))/(1/2682)?
False
Let i(w) = w**3 + 7*w**2 - w - 2. Let j be i(-7). Let f(a) = 6*a + j + 12*a + 0*a + 13*a. Is f(3) a multiple of 14?
True
Suppose 2*z = -5*u - 0*z + 982, 4*u + 2*z - 784 = 0. Suppose -u = -9*n + 252. Is 14 a factor of n?
False
Suppose 430*w + 287 = 431*w. Does 15 divide w?
False
Let d be (6/(-4))/(9/(-3516)). Suppose 378 = k + k + 5*n, 2*n + d = 3*k. Does 38 divide k?
False
Let u(c) = c**3 - 14*c**2 + 14*c - 2. Suppose -10 - 4 = v. Let s be (-6)/v - 792/(-63). Is u(s) a multiple of 3?
False
Let n(r) = r**2 + 3*r + 11. Let s be n(-7). Suppose -2*c = -647 + s. Suppose 0*g + c = 4*g. Is 19 a factor of g?
True
Let b(h) = -h**3 - 4*h**2 - 16*h - 21. Is b(-5) a multiple of 6?
True
Let m be (-1)/(2 - (-45)/(-21)). Let y = 14 - m. Suppose -7*l - y + 70 = 0. Is l even?
False
Suppose 2 + 1 = y. Suppose 246 = y*d + 5*p, 3*p = -3*d - d + 328. Suppose -2*m = -4*i + d + 28, 4*m = -3*i + 88. Does 4 divide i?
True
Let h(w) = 14*w + 7. Suppose -3*n + 23 = 11. Is 9 a factor of h(n)?
True
Let r be 6 + -4 - (1 - 14). Suppose 0 = -r*i + 19*i. Is 5 a factor of -2 - (i + (-46)/1)?
False
Let a be 12*(37 - -1) + -3 + 2. Suppose 0 = -3*b + 2*b + g + 91, -5*b = -2*g - a. Does 7 divide b?
True
Suppose -2*g = -6, -2*o - 3*o - 5*g + 10 = 0. Does 14 divide 161 - (-1 + o)*(3 - 1)?
False
Let q = 288 - 278. Is q a multiple of 6?
False
Suppose -8 = 4*j + 16. Let t(b) = b**3 + 5*b**2 - 7*b - 4. Let q be t(j). Suppose 3*d - 146 = q*z + 60, 0 = -3*d - 2*z + 214. Is d a multiple of 14?
True
Let l = 18 - 4. Let h = 0 + l. Is h a multiple of 7?
True
Let r(z) = -4*z + 12. Let h be r(7). Does 3 divide 9*(6/(-4))/(24/h)?
True
Suppose 2*q + 0*q + 2*c - 100 = 0, -5 = -c. Is q a multiple of 2?
False
Let l(c) = -312*c**3 - c**2 + 1. Is 6 a factor of l(-1)?
True
Suppose 5*h = -4*f - 12, -h = -4*f + 5 + 7. Suppose -3*b + 7*b - 200 = f*a, 5*a = -4*b + 172. Let q = b - 11. Is q a multiple of 18?
False
Let l = -4 + 4. Suppose 2*c - 359 + 25 = l. Does 12 divide c?
False
Suppose k - 2*q = 665, 2*k - 224 - 1146 = -4*q. Is 25 a factor of k?
True
Let l(f) = -4 - 4 - 3 - 2*f - 3. Is 6 a factor of l(-12)?
False
Let f = -410 + 198. Let b = 304 + f. Is b a multiple of 13?
False
Let h(f) = 76*f**2 + 44*f + 13. Is 79 a factor of h(7)?
False
Suppose i - 2 = -0*i. Let t be (6/(-18))/(i/(-12)). Suppose -5*p = -f + 41, p = t*f - 3*p - 52. Is 7 a factor of f?
False
Let p(u) = 404*u**2 + 30*u + 64. Does 30 divide p(-2)?
True
Let c(t) = -3*t - 6. Let y(j) = -j - 2. Let z(o) = 2*c(o) - 7*y(o). Let x(p) = -p**3 + 11*p**2 - 25*p + 13. Let w be x(8). Does 6 divide z(w)?
False
Let i = -13 + 15. Suppose -103 = 2*s + 5*f, 47 = -i*s + 5*f - 46. Is 14 a factor of 1 - (3 + 0) - s?
False
Let q = -176 - -5195. Does 44 divide q?
False
Let l(t) = 117 + 7 + 118 - 2*t. Is 11 a factor of l(0)?
True
Let a(p) = -3*p**2 + 5*p + 8. Let h be a(-2). Does 10 divide (-436)/(-6)*(-21)/h?
False
Let g = 1801 - 970. Is 49 a factor of g?
False
Let z = 483 - -105. Suppose 2*a = -6 - 2. Is 10 a factor of (-1)/a + z/16?
False
Suppose 2181 = 16*t - 283. Does 22 divide t?
True
Let n be ((-12)/(-10))/((-9)/(-30)). Let d be (205/2)/(2/n). Suppose -h = 4*h - d. Does 19 divide h?
False
Suppose 0 = 3*a - 2*p - 3*p - 158, 0 = 5*a + p - 226. Suppose 7*d = 6*d + a. Is d a multiple of 14?
False
Let s(k) = k**3 - 8*k**2 - 9*k - 1. Let n be s(9). Is (-8)/8 - (-143 - n) a multiple of 28?
False
Let n = -151 + 46. Let z = n + 112. Is 6 a factor of z?
False
Suppose -4*o + 2*o - 2*a = -16, 4*a = 4*o. Suppose 3*s = -0*x + 4*x + 257, 2*s - 170 = o*x. Suppose -4*g - 3*j = -g - s, 5*j - 61 = -2*g. Is 14 a factor of g?
True
Let d(n) = 263*n**2 + 5 - 264*n**2 - 2 - 4. Let b be d(1). Is 5/b - (-2625)/50 a multiple of 10?
True
Suppose 4*b - c - 35 = -0*b, 4*b + 4*c = 40. Suppose 4*u + 10 = b*u. Is 10 a factor of ((-16)/40)/(u/(-160))?
False
Suppose -2*p + 4*g + 10 = 0, -8*g = p - 3*g - 12. Let k(b) = -b**2 + 17*b + 2. Does 18 divide k(p)?
True
Suppose v + b + 50 = 0, 200 = -5*v - 2*b + 7*b. Is (-105)/v*(0 - -6) even?
True
Suppose -10*n + 2119 = -2381. Is n a multiple of 8?
False
Suppose 0 = -2*o - 4*d - 64, -3*o = -0*d + 5*d + 95. Let u = -21 - o. Does 9 divide u?
True
Suppose -39 = -3*s + 30. Let f = -26 + s. Is (-2)/3*3*f a multiple of 4?
False
Let j = -76 - 47. Suppose -3*w = 3*s - 8*s + 184, 0 = -w + 4*s - 66. Let k = w - j. Does 18 divide k?
False
Suppose -g = g + 2. Let i be (-303)/(-6) - g/(-2). Suppose -3*b + i = -5*m + 396, 0 = 2*m + 5*b - 157. Does 24 divide m?
False
Let s(x) be the first derivative of -x**4/4 + 4*x**3/3 + 9*x**2/2 - 12*x + 24. Is s(-5) a multiple of 21?
True
Let p be 64 + (-4*2)/(-2). Let s = p + -23. Is s a multiple of 15?
True
Let s(y) = -28*y**3 + 3*y**2 + y - 8. Does 13 divide s(-2)?
False
Suppose -12*q + 9*q + 7778 = b, -3*q = 3*b - 7782. Does 12 divide q?
True
Suppose 5*h = -11 + 41. Let m be 20*(h - 3/1). Suppose t + 2*x = -3*t + m, -3*x = 0. Is 12 a factor of t?
False
Let v = 3 - -1. Suppose 0*i + i + v = 0. Is 21 a factor of 3/3 + (-104)/i?
False
Suppose -8*z + 45 = -3*z. Let b(s) = 8*s**3 + 2*s**2 + 2*s - 1. Let w be b(2). Let p = z + w. Is 26 a factor of p?
False
Suppose 4*d + 26 = 5*s + 2*d, 0 = 2*s + d - 5. Suppose -s*b - 4*o + 0*o + 1204 = 0, -4*b + 5*o + 1240 = 0. Is b a multiple of 61?
True
Suppose -4*t + 15 = -5. Suppose -t*v - 19 = -4*v. Let x = -15 - v. Does 4 divide x?
True
Let u(w) = -87*w + 363. Is u(-6) a multiple of 3?
True
Suppose -4*r + 10*r - 1098 = 0. Suppose -2*f = -101 - r. Is 18 a factor of f?
False
Let d = -8 - -13. Suppose k + 3*k + 2*w - 10 = 0, -3*k + d*w - 12 = 0. Is 9/k*(-2)/(-6) a multiple of 2?
False
Suppose 0 = -6*a + 7*a - 17. Suppose 6*d - 7 - a = 0. Suppose -2*g - d*o = -32, -2*g + o = -g - 7. Does 6 divide g?
False
Let q = 646 - -1317. Is 13 a factor of q?
True
Suppose 7*w - 19602 = -11*w. Is 9 a factor of w?
True
Let l = 56 + -56. Suppose -2*m + 122 - 34 = l. Is 44 a factor of m?
True
Let j = -184 + 103. Is 15/(3*(-3)/j) a multiple of 15?
True
Is 4/14 + 540/21 + -8 a multiple of 2?
True
Does 40 divide 4794/42 - 8/56?
False
Let s(y) = 3*y - 31. Let x be s(8). Does 8 divide 65/7 - x/(343/(-14))?
False
Suppose 7 = -2*x + 1. Let h(c) = -15*c - 1. Let g be h(x). Let j = g + -21. Does 6 divide j?
False
Is (-224)/560*-15*1 a multiple of 3?
True
Suppose -4*h = -5*o - 26, -2*h + o + 6 = -4. Suppose -5*z + 21 = -4*t, -h*z + 5*t + 15 = -0*z. Is z a multiple of 5?
True
Let s(q) = q**2 + 14*q - 36. Let v be s(-16). Is 15 a factor of ((-554)/(-8))/((-1)/v)?
False
Is 7 a factor of (297/45)/(-11) + 2593/5?
True
Let u(x) = -x**3 + 7*x**2 + 67*x - 48. Is 28 a factor of u(-9)?
False
Suppose -3*f = -4*z + 2217, 5*f - 1115 = -0*z - 2*z. Does 83 divide z?
False
Let o(b) = -b**3 + 7*b**2 + 3*b + 7. Let n be 12 - 3 - (0 - -3). Does 15 divide o(n)?
False
Let b(h) = -8*h - 18. Is b(-6) a multiple of 15?
True
Suppose 0*q - 148 = -2*x - q, -3*q + 372 = 5*x. Does 19 divide x?
False
Let c be (-2 + 11)/(18/(-192)). Is 57*(c/(-9))/8 a multiple of 28?
False
Suppose 499 = 4*g - 7*f + 8*f, 254 = 2*g + 2*f. Is 22 a factor of g?
False
Let o be (-594)/(-24) - (-3)/12. Let g = o - 22. Suppose -g*j + 16 = b - 36, -4*j - 38 = -b. Does 25 divide b?
False
Let b = 5694 + -3039. Is b a multiple of 121?
False
Let q(a) = 3 - 15 + 126*a**3 + 11. Is 25 a factor of q(1)?
Tru