uppose -5*y - 25 = -3*s - 7, -3*y - 2*s = 26. Let m(v) = -5*v - 2. Does 14 divide m(y)?
True
Let a(o) = o**2 - 5*o + 4. Let x be a(7). Suppose 22 = 5*g - q, 2*g - 6*q = -q + x. Suppose r = g*r - 72. Does 12 divide r?
True
Let b(g) = 2*g**2 - g - 8. Let n be (-3*1)/((-15)/(-50)). Let f be 8/(-4) - (2 + n). Is b(f) a multiple of 22?
False
Suppose 17*t = 6*t + 17226. Is 87 a factor of t?
True
Suppose 140 = -j - 4*q, -j + 2*q + 304 = -3*j. Let k = 25 - j. Is 13 a factor of k?
False
Let t(p) be the third derivative of p**4/12 - p**3/3 + 3*p**2. Let y = -67 - -71. Is 5 a factor of t(y)?
False
Let h(w) = w**3 - 6*w**2 - 7*w + 3. Let j be h(7). Suppose n + 4*z = -8, -4*z = j*n + 4 + 4. Suppose -2*i + 5*o = -32, n*o - 5*o + 20 = 0. Is 7 a factor of i?
False
Suppose 3*l - 15 = 6*l. Let u be (-15)/(l/1) - 3. Suppose 0 = -3*i - 9, 5*j - 3*j - 3*i - 67 = u. Is 17 a factor of j?
False
Let z = -189 + 381. Suppose 0 = 6*p - 156 - z. Let k = p - -5. Is 21 a factor of k?
True
Let c = 6 + -4. Suppose 0*f = c*f - 4. Suppose 5*s + 40 = 2*t - 0*s, 0 = s + f. Does 11 divide t?
False
Let z(j) = -2*j**3 - 32*j**2 - 19*j + 43. Is z(-17) a multiple of 16?
True
Suppose -5*k - 2*u - 3 = -161, -12 = -3*u. Let r be 45/k + (-313)/(-2). Suppose -178 = -3*i + 2*v, 3*i = -3*v + v + r. Is 14 a factor of i?
True
Suppose 4*v + 20 = 240. Let l = -13 + v. Does 7 divide l?
True
Let t(i) = 26*i - 29. Suppose -24*m = -20*m - 16. Does 25 divide t(m)?
True
Let h be 714/15 - (-16)/40. Let s = h - 24. Is 24 a factor of s?
True
Suppose 2*x + 36 = 5*f, 4*f - 44 - 4 = 4*x. Let t = -6 - x. Suppose -2*v = t*k - 80, -3*k + 4*v = -56 - 57. Is k a multiple of 13?
True
Suppose -5*s + 3*d = -4*s, d = 4*s. Let x = s - -2. Suppose 4*n = -y + 4*y - 31, -5*y - x*n = -17. Is 4 a factor of y?
False
Suppose 0 = -4*p - 12, 5*o = 5*p - 141 - 89. Let r = 181 - 81. Let c = r + o. Is c a multiple of 20?
False
Does 8 divide (13 - (7 - -1))/((-20)/(-4748))?
False
Let z(w) = 2*w - 1 - 2*w**3 - 4*w**2 + w + 4*w**3 + 0. Let r be z(2). Suppose -110 = -r*q - 3*l - l, -26 = -2*q + 2*l. Is q a multiple of 15?
False
Suppose 0 = 136*o - 129*o - 2016. Is o a multiple of 8?
True
Let l be (-4)/(-1)*(2 - (-12)/(-8)). Is 11 a factor of 109/2 + 1/l?
True
Suppose -z + 13 = -44. Suppose -y - 15 = -z. Is 3 a factor of y?
True
Let g = -63 - -60. Is 2 a factor of 1 + 1 + 3 + 1 + g?
False
Suppose 3*o = -o. Suppose 0 = h - o*h - 4, -2*x - 2*h = -324. Let w = -98 + x. Is w a multiple of 9?
False
Suppose -4*d = n - 184, 4*n + d - 775 = -2*d. Does 28 divide n?
True
Let l(t) = -2 - 4472*t**2 - 18*t - t**3 - 2 + 4464*t**2. Is l(-7) a multiple of 17?
False
Let f be 3 + -1 + (-2)/(-2). Let w be ((-10)/f)/(22/(-33)). Suppose p = 2*p - w. Is p a multiple of 3?
False
Let l(s) be the first derivative of -7*s**2/2 - 21*s + 26. Is l(-7) a multiple of 5?
False
Let y(h) = -h + 13. Let q be y(5). Is (175/(-20))/((-1)/q) a multiple of 10?
True
Let i(y) be the first derivative of 2*y**2 - 8*y - 23. Is i(6) a multiple of 3?
False
Does 3 divide 12/(-9)*(1 + 2065/(-28))?
False
Let x = -15 - -18. Suppose -l - 2*r - 19 - 2 = 0, r = -x. Does 21 divide 4/20 - 852/l?
False
Let s(d) = d + 8. Let j be s(-4). Suppose 2*y - 84 = -3*k, -j*k = 4*y - 7*y + 92. Does 12 divide y?
True
Suppose 4*i - 3 - 1 = 0. Let l be (-22)/(-8) + i/4. Suppose -2*n - 2*n + 46 = -2*m, -l*n - 3*m + 30 = 0. Is 2 a factor of n?
False
Suppose 5*c + 25 = 0, -3*z - 16*c + 1762 = -12*c. Is z a multiple of 20?
False
Suppose 404 = 2*j + 2*j - 4*c, 2*c - 10 = 0. Is j a multiple of 4?
False
Is 402 + (-14)/105 + (-146)/30 a multiple of 15?
False
Suppose 3*k - 112 = -d, -3*k + 119 - 491 = -3*d. Suppose 307 = 3*c + d. Does 6 divide c?
False
Suppose -3*j + 639 = -3*x, -3*j + 133 + 505 = -2*x. Is 65 a factor of j?
False
Let s = 27 - 25. Suppose 408 - 140 = s*y. Is y a multiple of 37?
False
Let q be (-20 - 0)*(-4)/16. Suppose -q*w = -7 - 28. Is 7 a factor of w?
True
Suppose -5*g - 12 = -3*x, -30 = -5*x - 2*g - 10. Suppose 541 = 2*a + 3*a - z, 5*a = -x*z + 536. Is 36 a factor of a?
True
Let k = 20 + 61. Is 8 a factor of k?
False
Let w(m) = 23*m + 34. Is w(22) a multiple of 45?
True
Suppose -2*l = -4*y - 90 + 10, -2*l + 5*y + 84 = 0. Suppose -99*x = -103*x + 232. Suppose -l = -3*t + x. Is 15 a factor of t?
True
Suppose -11*w + 813 = -8*w. Suppose 28 - w = -3*c. Is 45 a factor of c?
False
Suppose -q - a + 106 = 0, 3*a = 2*q + 8*a - 221. Let w = q - 55. Is w a multiple of 24?
True
Let b = -109 - -483. Let n = -178 + b. Is n a multiple of 49?
True
Let q(j) = -8*j**3 + 15*j**2 + 65*j + 12. Does 107 divide q(-6)?
False
Let f be 3084/(-36)*6/(-2). Let y = f + -177. Is y a multiple of 5?
True
Does 14 divide (2037/(-6))/(16/(-128))?
True
Let g be 2/(-11) + (-112)/(-11). Suppose -3*m + g - 1 = 0. Suppose 5*y + 5 = 0, 4*y - 194 = -6*x + m*x. Is x a multiple of 22?
True
Let n be 13 + (-1)/(2/2). Let c(p) = -p**2 + p. Let l(g) = g**3 - 5*g**2 - 14*g - 16. Let m(y) = 6*c(y) + l(y). Is 32 a factor of m(n)?
True
Let g = 58 - 45. Is 9 a factor of (-2 - -3*g) + -1?
True
Let n = -103 + 148. Suppose -n + 165 = 5*t. Does 6 divide t?
True
Suppose d = 2*d - 3*z - 561, 2268 = 4*d - 4*z. Let p = -369 + d. Is p a multiple of 16?
False
Let w(l) = l**2 + 2. Let z be w(0). Is 33 a factor of 65 - (2 - (z - -1))?
True
Let f = 0 + 26. Suppose -f*n + 530 = -21*n. Is n a multiple of 9?
False
Suppose -3*i + l + 3*l = 14, -2*i = -4*l + 16. Suppose -c + 268 = 3*t - 0*c, c + i = 0. Does 29 divide t?
False
Suppose 4*x - 2143 - 1171 = k, -x + 2*k = -832. Is 9 a factor of x?
True
Let i(c) = 4*c**3 + c**2 + c - 2. Let q be i(3). Suppose 0 = -b + q - 23. Does 17 divide b?
False
Let p be (6 - 468/16)*(-16)/6. Suppose 3*k - 2*w - p = 0, -w - 51 = -5*k + 43. Is k a multiple of 18?
True
Let m be ((-15)/6 - -1)*2. Let u be (-1)/(-2) - m/6. Does 11 divide u*(11/1)/1?
True
Suppose -555 - 309 = -6*w. Is w a multiple of 24?
True
Suppose -14 = -f - f - 2*p, -4*p + 8 = 2*f. Suppose -q + f = -18. Is 3 a factor of q?
False
Suppose a - 148 = -b, -151 = -a - 2*b - 0*b. Let v = a + -35. Is v a multiple of 9?
False
Let s(b) = 30*b**3 + b - 1. Let o be s(1). Suppose -2*v + 3*r - o + 117 = 0, -r = 2*v - 99. Does 12 divide v?
True
Suppose -1851 = -7*j - 549. Is j a multiple of 6?
True
Let o(q) = -15*q - 13. Let w be o(-2). Suppose 0 = w*i + 53 - 342. Is 8 a factor of i?
False
Suppose 2*w - 2929 + 409 = 0. Is w a multiple of 10?
True
Suppose 5*f - 4*j - 1390 - 585 = 0, 3*f - 2*j - 1183 = 0. Is 13 a factor of f?
False
Let u(y) = 16*y**2 - 10*y - 132. Does 14 divide u(-6)?
True
Let l = 239 + -191. Is l a multiple of 9?
False
Is 2/24 - 68108/(-48) a multiple of 20?
False
Suppose 0*s = -5*l + s, 2*s = -5*l. Suppose l*j - 9 = -3*j. Is j a multiple of 2?
False
Let j = 1436 - 716. Is j a multiple of 80?
True
Suppose 4*q = -q + a - 54, -10 = 3*q + 5*a. Is 14 a factor of ((-4)/q*-7)/(1/(-5))?
True
Let i be ((-8)/(-6))/((-7)/(-42)) + -4. Let q be 76/6 + 4/(-6). Let r = i + q. Is r a multiple of 8?
True
Let o = 5 - 3. Suppose o*k + 2*k + 12 = 0. Is 5 a factor of 1/(k + 62/20)?
True
Let a(n) = -n + 3. Let p be a(-5). Let d be -3 + -1 + p + 8. Suppose -50 + d = -m. Is m a multiple of 24?
False
Let o(r) = 2*r**2 + 3*r**2 - 4*r - r**3 + 5 + 4*r**2 - 5*r. Let q be o(8). Let i = q + 15. Does 4 divide i?
True
Let i(n) = -19 + 10*n**2 + 2*n + 7*n**2 - n**3 - 8*n**2. Does 25 divide i(8)?
False
Let m(o) = o + 39. Let y(v) = -2*v - 76. Let j(t) = 15*m(t) + 6*y(t). Is j(0) a multiple of 8?
False
Let l = 28 + -28. Suppose -y - y + 144 = l. Suppose 0 = -8*p + 6*p + y. Is 12 a factor of p?
True
Let y = 18 - 22. Let x be ((-428)/(-4))/(y + 5). Suppose -4*h + 192 = 4*k, 5*h = -2*k + 4 + x. Is 22 a factor of k?
False
Suppose 12*d - 3*d - 6804 = 0. Is 12 a factor of d?
True
Suppose -3*k + 4*x = 389, 150 - 20 = -k + x. Let o = k - -218. Does 29 divide o?
True
Does 40 divide 4/(9/(-7263)*-6)?
False
Let o = 357 + -258. Is o a multiple of 7?
False
Let i(f) = 8*f**2 + 5*f + 3. Suppose -44 = 3*d + d. Let y = d - -8. Is 20 a factor of i(y)?
True
Suppose -2*i - 103 = -3*m + 13, -m + 20 = 4*i. Is 18 a factor of m?
True
Let s(d) = -11*d**2 + 29*d + 10. Let r(i) = 5*i**2 - 14*i - 5. Let p(k) = -9*r(k) - 4*s(k). Let q be p(6). Let j = 7 + q. Is 18 a factor of j?
True
Suppose 5*u = 0, -6188 = -18*o + 16*