239. Does 3 divide l?
False
Let u be (-70)/4 + (-12)/24. Is 12 a factor of (u/(-39))/3 + (-2488)/(-52)?
True
Let a(b) = b**2 + 7*b + 9. Let z be a(-11). Let i = z + -38. Is i a multiple of 4?
False
Let t(z) = 5*z**3 - 2*z**2 - 3*z - 3. Let d be t(3). Suppose -16*h = -11*h - d. Does 7 divide h?
True
Let f(g) = g**3 - 12*g**2 + 16*g + 10. Let t be f(11). Let s = t + 57. Does 52 divide s?
False
Let k = 30 + -30. Suppose -8*s + 2257 - 481 = k. Does 37 divide s?
True
Let g = 2035 + -899. Does 16 divide g?
True
Let a be (-818)/(-10) + 0 - 6/(-30). Let g = a + -68. Is 7 a factor of g?
True
Let z(p) = p**3 - 2*p**2 + 2*p - 2. Let h be z(2). Suppose -2*m = h*m - 504. Suppose 0*s - 3*s = -m. Is s a multiple of 14?
True
Let y(l) = l + 14. Let w be y(-8). Let j(z) = -6 + 1 - 3*z - w*z. Does 22 divide j(-4)?
False
Let h be 4647*1*((-21)/(-9) + -2). Suppose 7*j = -226 + h. Is 12 a factor of j?
False
Suppose 4*q + 2*k + 52 = 6*q, -5*q - 2*k = -137. Is 17 a factor of 1830/q + 4/18?
True
Let o = 239 + 654. Is 47 a factor of o?
True
Let f(x) be the third derivative of x**6/120 - x**5/20 - 7*x**4/12 + x**3/2 - 103*x**2. Suppose 11 + 7 = 3*y. Does 15 divide f(y)?
False
Let j(u) = 7*u + 57. Is 4 a factor of j(-7)?
True
Is 12 a factor of -4*((-10)/12)/(12/2286)?
False
Let w be (-1)/6 + 225/54. Suppose -5*d = -2*h + 1403, -w*h + 8*h = -d + 2817. Is 8/(-28) - h/(-14) a multiple of 25?
True
Let c(v) = v**2 + 8*v - 6. Let u be c(5). Let p = u - 33. Is 3 a factor of p?
False
Let d(a) = a**2 - a + 2. Let l be d(1). Suppose 4*b + l = 10, 4*x + 2*b - 1692 = 0. Suppose -x = -4*o + 2*m, o + 0*m - 2*m = 110. Does 28 divide o?
False
Let v = -5 + -31. Let d = v - -42. Is 4 a factor of d?
False
Let z(s) = -26*s**2 + 1. Let q be z(1). Let d be 2/(2*1/q). Let r = d - -49. Is 16 a factor of r?
False
Suppose 4*n = 2*n - 208. Let o be 1 + (n - 3) - 2. Does 18 divide 2/(320/o + 3)?
True
Let w(p) = -3*p + 2. Let b be w(5). Let j = 40 + b. Is 9 a factor of j?
True
Suppose -2*a + 0*a - 3 = 5*o, -5 = a - o. Does 17 divide (2/(-4))/(a/8)*141?
False
Let m(q) = 7*q**3 - 4*q**2 - 14*q - 9. Does 32 divide m(4)?
False
Let c(m) = -m**2 + 4*m - 9. Let g be c(7). Let o be (-4)/10 + (-42)/g. Suppose -6 + o = -i. Is 2 a factor of i?
False
Let w(z) = -50*z**3 - 5*z**2 + 6*z - 23. Let h be w(3). Suppose -4 - 12 = -2*m. Is 10 a factor of (6/(-15))/(m/h)?
True
Let c(l) = 127*l**2 - 20*l + 13. Is c(3) a multiple of 8?
True
Let f = -10 + 13. Let v(l) = -6 - f*l**2 + 5*l + 3*l**2 + l**2 + l**2. Does 12 divide v(-6)?
True
Let v(j) = -j - 2. Let m be v(2). Let o be (-15)/(-3) + m*1. Let d(b) = 8*b. Does 8 divide d(o)?
True
Suppose 0 = 6*s - 11 - 1. Suppose -295 = -3*k - 5*n, -3*k + 499 = s*k + n. Does 10 divide k?
True
Let o = -6 - -5. Let f(z) = -60*z - 14. Let a(s) = 12*s + 3. Let t(u) = 28*a(u) + 6*f(u). Does 24 divide t(o)?
True
Let y = -144 + 154. Does 2 divide y?
True
Let d(l) = -12*l + 66. Is 9 a factor of d(-8)?
True
Suppose 4856 = 3*k + 15*s - 16*s, 3*k + s - 4858 = 0. Is 17 a factor of k?
False
Let y = 78 - 94. Let r(a) = a**2 + 14*a + 46. Is 26 a factor of r(y)?
True
Suppose -w = 45 + 15. Let r = 96 + w. Is 9 a factor of r?
True
Let s be (-22)/33 - (-4)/6. Suppose 0 = 5*q - s*q - 195. Let a = q - 21. Is 7 a factor of a?
False
Let w = -583 - -721. Is 35 a factor of w?
False
Let k = 898 - 478. Suppose k = 7*v - 798. Is 29 a factor of v?
True
Let f be (-2)/(-3)*(0 - -6). Suppose -36 = -6*p + f*p. Suppose -38 = -l + p. Does 14 divide l?
True
Suppose 1719 = 3*t + 3*n, -2*t + n - 4*n + 1150 = 0. Suppose 3*m + t = 4*k, 3*m = -k + m + 134. Does 16 divide k?
False
Let y(z) be the third derivative of -z**6/120 + 7*z**5/60 - 5*z**4/24 + 7*z**3/6 + z**2. Let i = 53 - 47. Does 13 divide y(i)?
True
Suppose 3*x - 6*x = l + 49, -2*l = 2. Does 51 divide ((-1)/4)/(x/3264)?
True
Suppose 2*w + 106 = 3*o, -4*w - 3*o + o = 228. Suppose 3*j = 3*p + 35 - 296, 0 = 4*p - 5*j - 346. Let t = w + p. Does 11 divide t?
True
Let j(r) = -r**3 + 11*r**2 + 10*r + 21. Let v be j(12). Let o(s) = -s**3 + 8*s**2 + 5*s - 4. Is 20 a factor of o(v)?
True
Let p = -1896 + 3320. Does 16 divide p?
True
Let i = -673 - -716. Does 4 divide i?
False
Let m(s) = -s**3 + 9*s**2 - 15*s + 10. Let q be m(7). Suppose -20 = -3*u - 2*u, 0 = q*t - 3*u - 48. Is t a multiple of 10?
True
Suppose -10*n - 4*n + 11088 = 0. Is 66 a factor of n?
True
Let u(o) = o**3 - 4*o**2 - 3*o - 1. Let k be u(-2). Let j = -20 - k. Let p(c) = -23*c + 2. Is p(j) a multiple of 14?
False
Let f(k) = k**3 + 2*k**2 + 3*k + 2. Let j be f(-2). Let m be 2/(-11) + j/(-22). Suppose m = -3*u + 174 - 54. Is u a multiple of 10?
True
Suppose 3*s = -2*x - 16, 4*s = -2*x - 5 - 7. Let u = x - -38. Suppose u + 26 = j. Is 10 a factor of j?
True
Let o = 630 + -367. Does 77 divide o?
False
Let w(h) = -h**3 + 11*h**2 + 4*h - 13. Suppose -67*d = -65*d - 22. Is w(d) a multiple of 5?
False
Suppose 109*u + 2212 = 111*u. Is 79 a factor of u?
True
Let f(c) = -2*c**2 - 42*c - 24. Is f(-14) a multiple of 5?
False
Suppose 4*s + 3*p - 893 = 0, 1 + 2 = p. Suppose 0 = 6*k - 1565 + s. Does 56 divide k?
True
Suppose 0 = -5*y + y + 5*p - 503, -p = -3*y - 380. Let q = y - -250. Suppose 6*k + q = 9*k. Is k a multiple of 14?
False
Does 19 divide -17 - -22 - (-147 + 0)?
True
Let l be 8/6*3 + -4. Suppose -5*w + 58 - 13 = l. Suppose -20 = 4*y, -2*s = 3*y - w - 8. Is s a multiple of 16?
True
Let y(j) = -j**2 + j - 4. Let k be y(-2). Is 19 a factor of (84/(-10) + -3)*k*1?
True
Suppose 35*c = 34*c + 342. Is 19 a factor of c?
True
Suppose 37*a = 13009 + 12225. Does 11 divide a?
True
Let x(t) = -178*t + 228. Is 14 a factor of x(-4)?
False
Let w = 73 - -256. Is w a multiple of 24?
False
Let n(m) = 8*m - 54. Let a be (745/7)/5 + 2/(-7). Is n(a) a multiple of 38?
True
Is (4/6)/(1100/(-1104) - -1) a multiple of 5?
False
Let d = -662 - -1103. Is 42 a factor of d?
False
Let k = -1282 + 2635. Is k a multiple of 11?
True
Suppose 2*c + a - 173 = 2*a, 5*c = 4*a + 437. Suppose -9*j + 8*j + 25 = -5*l, 2*j - 3*l - c = 0. Does 5 divide j?
True
Let f = 107 - 59. Let m = f + 124. Suppose -2*i + 166 = 5*x - 0*i, 5*x - i - m = 0. Is x a multiple of 34?
True
Let x(q) = q**2 + 14*q - 7. Is x(19) a multiple of 10?
True
Suppose -816 = -0*t - 6*t. Is 20 a factor of t - 2/6*-3?
False
Suppose -14 = 4*o - 10. Is (32/28 + -2)/(o/84) a multiple of 11?
False
Let k = -387 - -511. Is 31 a factor of k?
True
Suppose 11*p = 13*p - 94. Is 3 a factor of p?
False
Let w(v) = -v**3 + 6*v**2 - v - 11. Let g be w(5). Let q(m) = -m**3 + 10*m**2 - 6*m + 1. Is 28 a factor of q(g)?
True
Let w = 3 + -9. Let q be 2*(-1)/(w/9). Suppose 165 = q*g - 15. Is 12 a factor of g?
True
Let y(i) = -20*i - 3. Let n(x) = -x. Let d(w) = 4*n(w) - y(w). Is d(1) a multiple of 4?
False
Let x = 83 - 23. Suppose z = -2*z + x. Is 1/(((-12)/z)/(-3)) a multiple of 5?
True
Suppose -5*h - 4 = -24. Suppose -3 = -v, h*r = -r - 4*v + 292. Suppose -3*a + r = 5*a. Does 2 divide a?
False
Let p = 48 - 45. Suppose -510 = -5*a - 0*a + 4*i, -a + p*i + 102 = 0. Does 29 divide a?
False
Let q = 1587 + -1260. Is q a multiple of 2?
False
Let i(f) be the first derivative of f**4/4 - f**3/3 + f**2/2 + 34*f + 1. Let n be ((-10)/(-5) - 0) + (-1 - 1). Is 17 a factor of i(n)?
True
Suppose -5*w + 0*w = -15. Suppose w*g + 3*x - 63 = 0, -g + 2*g = -4*x + 12. Is g a multiple of 18?
False
Let v(s) = -s**3 + 20*s**2 + s - 18. Let o be v(20). Suppose -3*p = -o*p. Suppose -5*l + 0*l + 3*w + 375 = p, -l + 5*w = -97. Is l a multiple of 12?
True
Suppose 3*c + 3*f + 37 = -14, 0 = -c + 5*f + 13. Does 6 divide (-873)/(-21) + c/(-28)?
True
Let n(u) = -u**3 + 26*u**2 + 26*u + 25. Let a be n(27). Is 34 a factor of -9 + 265 + a*2 + 2?
False
Let h(n) = 2*n - n + 2 + 4. Let g = -328 - -337. Is 7 a factor of h(g)?
False
Does 6 divide ((-102)/4)/(6 - 222/36)?
False
Suppose 5*z - 2*z = 12. Let i(o) = 16*o**2 + 6*o - 2. Let w be i(-3). Suppose -357 = -z*a - 5*y - w, 325 = 5*a - 5*y. Does 13 divide a?
False
Suppose 5*a = 17207 - 5247. Is 13 a factor of a?
True
Suppose -s + 51 = 28. Let t = 1 - 1. Does 12 divide t/2 + s + 1?
True
Let a(l) = -1196*l + 6. Let f be a(-2). Is (-12)/(-48) + f/8 a multiple of 15?
True
Suppose -4*l = -5*r + 3650, -r - l = -636 - 85. Is 9 a factor of r?
False
Let b(j) = 5*j + 1. Suppose -11 + 26 = w. Is 8 a fact