r = -17 - 83. Let z = r + 148. Is z a multiple of 24?
True
Let s be 1 - (-3 + 3/3). Suppose -3*l = -4*o + o - 267, -2*l - s*o = -178. Is l a multiple of 41?
False
Let n = -60 + 50. Let o(a) = -3*a - 8. Is o(n) a multiple of 6?
False
Does 42 divide 1409 - 2*(-5 - -1)?
False
Let d = 7 - 2. Suppose 0 = 2*v + 4*w - 98, -d*v + 2*w + 287 - 6 = 0. Does 5 divide v?
True
Suppose -3*a - 5*f + 5486 = -799, 5*f + 8380 = 4*a. Is 14 a factor of a?
False
Is 42 a factor of (53 + -43)*(304/10 + 1)?
False
Let c(l) = -l**3 - 15*l**2 - 14*l + 3. Suppose -5*j + j + 175 = 3*m, 165 = 4*j + m. Suppose 5*d + 30 = -j. Does 2 divide c(d)?
False
Let a(k) = -2*k**2 + 50 + 30*k + 62 - 95. Does 2 divide a(15)?
False
Let k(t) = t**3 - 2*t**2 - t + 1. Let c be k(2). Let v = 120 - 125. Is 16 a factor of (-230)/v - (0 - c)?
False
Let v = 1845 + -171. Is 31 a factor of v?
True
Suppose -80 = 12*m - 8*m + 2*s, -3*m + 4*s - 60 = 0. Does 10 divide 144*(5 + 85/m)?
False
Let k = 801 + -351. Does 50 divide k?
True
Suppose 4*d - d + 2*x = 466, 5*x - 626 = -4*d. Is 14 a factor of d?
True
Let g(u) be the third derivative of u**6/120 + u**5/15 + u**4/8 + u**3/6 + 5*u**2. Let d be g(-2). Suppose -d*z - 13 = -4*z. Is z a multiple of 3?
False
Let h = -9 + 13. Suppose 3*y + h - 16 = 0. Suppose n = -4*n + 3*p + 261, -y*n = p - 202. Is 17 a factor of n?
True
Let h be (-2)/(-17) + (-245)/(-85). Suppose -4*y - 16 = 2*k, -4 - 21 = -5*k + h*y. Suppose 6*m - k*m - 160 = 0. Is 40 a factor of m?
True
Let m(i) = -2*i + 16. Let l be m(-7). Let y = 122 - l. Does 23 divide y?
True
Suppose -15*t + 24*t = 36. Suppose t*j - 60 = 88. Is 5 a factor of j?
False
Let k(s) be the first derivative of -1 + 11*s + s**2 - 10 + 3*s**2 - 6*s**2. Does 10 divide k(-6)?
False
Suppose -2*m - 19 = -l, 2*l = -4*m + l - 29. Let r be (20/(-6))/(m/(-12)). Let a(f) = -f**3 - 3*f**2 + 5*f - 4. Is 7 a factor of a(r)?
True
Let l(k) = k - 17. Let v be l(14). Let p(d) = -2*d**3 + d**2 - 6*d - 8. Does 14 divide p(v)?
False
Let k = 18 + -8. Let p = 26 - k. Is p a multiple of 3?
False
Suppose 41*s + 7508 = 5*x + 37*s, 0 = -x + 5*s + 1489. Is 72 a factor of x?
False
Let f(t) = t**3 - 4*t**2 - 7*t. Suppose 0 = -5*s - 5*b + 55, 0 = -5*s - 0*b - b + 59. Suppose 5*j - s = 3*j. Is f(j) a multiple of 15?
True
Let b(l) = 2*l**2 + 3. Let i be b(5). Let n(a) = -53 + i - 32*a. Is 7 a factor of n(-1)?
False
Suppose 5*t = 2 + 8, 2*t - 1074 = -5*b. Suppose 5*p = 3*y - b, -p - 2*p = 3*y - 174. Is (y/(-6))/(6/(-8)) a multiple of 7?
True
Suppose 0 = -5*q - f + 20, 3*q - 2 = 5*f + 10. Suppose -y + 20 = 2*p, -3*p + 2*p - q = -3*y. Let n(d) = 2*d**2 - 8*d - 4. Is 20 a factor of n(p)?
True
Let s = 16 - 16. Let w be (s/(-4))/(-2) - 31. Let c = 45 + w. Does 7 divide c?
True
Suppose c - 72 = -4*i, 232 = -c + 4*c - 4*i. Does 2 divide c?
True
Let a = 160 - 74. Suppose -2 = -4*d + a. Is d a multiple of 5?
False
Suppose -u - 3*u + 28 = 0. Let v(n) = -n**3 + 8*n**2 - 6*n - 4. Let p be v(u). Suppose -p*j + 181 = 37. Is 21 a factor of j?
False
Suppose 2*q - 176 + 60 = -z, -4*q = -2*z + 272. Is z a multiple of 10?
False
Suppose -i + 5*i = -12, -4*x - 4*i = 4. Let p(v) = -21*v**2 + 35*v + 35. Let f(d) = 4*d**2 - 7*d - 7. Let o(w) = x*p(w) + 11*f(w). Does 16 divide o(6)?
False
Suppose t = 2*t - 2. Suppose 0 = 2*c - 34 - 6. Suppose -t*a - 2*j + 9 = -125, -5*j = -c. Is 22 a factor of a?
False
Suppose 0 = 3*r + 215 - 182. Let t(m) = -m**3 - 9*m**2 + 20*m - 15. Does 4 divide t(r)?
False
Let q = -885 - -1675. Does 56 divide q?
False
Let v(n) be the second derivative of -n**4/2 + n**3 - 2*n**2 + 3*n. Let o be v(4). Let c = -40 - o. Is 12 a factor of c?
True
Suppose -44 = r + a, 4*r + 67 = -2*a - 115. Let b = 76 + r. Does 12 divide b?
False
Suppose -12 = -3*l + 3*n, -l + 0*n - 2*n = 2. Suppose -4*w = 0, 3*r = 6*w - l*w + 447. Let k = -79 + r. Is k a multiple of 14?
True
Let q(o) = -2*o**2 + 40*o - 9. Does 8 divide q(18)?
False
Let r be 1/(((-27)/(-330))/9). Let q = r - -36. Is 14 a factor of q?
False
Suppose -25 = -5*m, 4 - 7 = -2*o - m. Is 12 a factor of o/(((-3)/1)/396)?
True
Suppose 3 + 3 = 3*s. Does 9 divide 68*s/(16/6)?
False
Let n = 61 - 45. Let o = 23 - n. Is o a multiple of 7?
True
Suppose 0*d - 5*d = -4*w + 33, -5*d + 3*w = 31. Let c(p) be the second derivative of -11*p**3/6 - 5*p**2/2 + 3*p. Does 17 divide c(d)?
False
Suppose 7*x = 2*x + 10. Suppose x*q - 226 = -4*s, -265 = -5*s + q - 0*q. Does 4 divide s?
False
Suppose 28 = 3*o + 7. Suppose -o*c = -11*c + 8. Suppose 70 = c*k - 0*k. Is k a multiple of 7?
True
Suppose 3*h + 310 = 8*h + 2*a, h - 4*a - 40 = 0. Is h a multiple of 3?
True
Suppose 49 + 63 = 4*v. Let h be 4 + 2 + (-24)/(-3). Let t = v + h. Does 21 divide t?
True
Let x be (4/16)/(1/4). Suppose -q - x + 10 = 0. Does 9 divide q?
True
Suppose 19 = 5*q - 61. Suppose -5*h - 5*o + 60 = 0, -h - 8*o = -3*o - q. Does 10 divide h?
False
Let k(m) = m**3 - 10*m**2 - 4*m - 10. Let j(q) = -q. Let u be j(-11). Does 17 divide k(u)?
False
Let d be 43/5 - 6*5/50. Let i(o) = 4*o**2 - 20*o + 10. Is i(d) a multiple of 35?
False
Let u(d) be the third derivative of d**8/2520 + d**7/5040 + d**6/360 + d**5/30 - 3*d**2. Let a(r) be the third derivative of u(r). Does 6 divide a(2)?
True
Let t(r) = 4*r**3 + 24*r**2 - 2*r - 9. Let b(d) = -5*d**3 - 25*d**2 + 2*d + 10. Let j(s) = 3*b(s) + 4*t(s). Is 12 a factor of j(-21)?
True
Suppose 0 = q - 2*b - 67, 5*b - 281 = -6*q + 2*q. Suppose -5*s = -309 + q. Is 12 a factor of s?
True
Let a = -1309 + 1649. Is 20 a factor of a?
True
Let a(n) = n - 10. Let d be a(9). Let q be (-1 - d)/((-6)/(-6)). Suppose -z + 5*z - 120 = q. Is 10 a factor of z?
True
Let d = -32 + 58. Suppose 0 = -4*m + d + 102. Is 8 a factor of m?
True
Suppose 5*s - b - 2605 = 0, 6*s + 2*b - 1550 = 3*s. Does 20 divide s?
True
Let m be (-30)/(-20) - (-18)/4. Suppose -s + m = -34. Is 8 a factor of s?
True
Suppose 0*f + f = 5*r + 1, 49 = -5*f - 2*r. Is ((-12)/f - 2) + (-170)/(-3) a multiple of 28?
True
Suppose 0 = -4*b, -4*s + 2*b - 56 = 16. Suppose -a = 4*d - 128, -5*a + 135 = 4*d + 23. Let l = s + d. Is 5 a factor of l?
True
Suppose 0*a + 2*a - 5*b - 543 = 0, -5*b + 249 = a. Let q = a - 40. Does 32 divide q?
True
Let d(a) = 19*a**2 + 2*a - 12. Suppose -59 + 44 = -5*w. Is d(w) a multiple of 33?
True
Suppose 20 = -5*c, -174 = -5*j + 4*c - 3*c. Suppose j = -25*y + 26*y. Is 3 a factor of y?
False
Suppose -21 = -4*y + l, 0 = -y + 3*l + l - 6. Let h = y - -59. Does 18 divide h?
False
Let l(y) = 18*y - 1. Let v be l(3). Let t = 141 - v. Is t a multiple of 24?
False
Suppose 10 = 3*d - 41. Let g = 14 - d. Is 10 a factor of 42 - (g - -5 - 0)?
True
Suppose 2*v + 5*n = 352, 0 = -16*v + 21*v - n - 853. Is 13 a factor of v?
False
Let o(c) = c**2 + 24*c + 118. Does 8 divide o(-33)?
False
Suppose 4*t - 6*t + 4 = 0. Suppose -q = 3*c - 4, 5*c - t*c - 4*q = 29. Suppose -21 = -0*z - c*z. Is 3 a factor of z?
False
Let h(s) = -s**3 + 1. Let c(f) = -9*f**3 + 3*f**2 + 2*f - 2. Let t(x) = c(x) + 5*h(x). Is 41 a factor of t(-2)?
True
Suppose -3*y - 6 = -5*m, 3 = 3*y - y - m. Suppose -5*x + 16 = y*z, -x = -2*x - 1. Is z a multiple of 7?
True
Let w(o) = 1 + 134*o - 262*o + 130*o. Let n be 1/(-2)*24/(-1). Is w(n) a multiple of 12?
False
Is 13 a factor of 283/(-8*(-2)/32)?
False
Let q(l) = 37*l - 13. Let v be -9 - -8 - (2 + -9). Is 19 a factor of q(v)?
True
Let t(u) = 39*u + 255. Is 22 a factor of t(4)?
False
Let n be ((-94)/(-2))/((-1)/(-5)). Suppose 11*d = -3*d - 2324. Let i = n + d. Does 21 divide i?
False
Suppose -o + 3*j = 2*o - 228, j - 380 = -5*o. Suppose 7*p = 561 + o. Does 13 divide p?
True
Suppose 0*h + 18 = 2*h. Suppose 0 - h = -3*j. Suppose 0 = j*s - 38 - 79. Is 13 a factor of s?
True
Suppose 3164 = 5*y - 2*i, -y + 2*y + i = 630. Does 44 divide y?
False
Let c(v) = 24*v + 19. Is 14 a factor of c(40)?
False
Let f = 16 + -22. Let x(r) = -12*r + 5. Let v be x(f). Suppose 3*u - 2*b = 61, 2*b - v = -3*u - 0*b. Does 15 divide u?
False
Let s(g) be the third derivative of -g**6/120 + 2*g**5/15 + 4*g**3/3 - 3*g**2. Let a be s(8). Let z = 34 - a. Does 13 divide z?
True
Let w = -243 + 173. Let f(s) = -s**3 - 10*s**2 + 9*s - 26. Let p be f(-11). Is 25 a factor of p/(-4)*(1 - w)?
False
Let i(x) = x**3 - 33*x**2 - 56*x - 60. Is 10 a factor of i(35)?
True
Suppose -2*a = -s + 8, -s + a = -0*a - 8. Let g be (4 - s)