e -4*1/(-2 + 3). Suppose 6 = -24*z + 25*z. Does 16 divide (z + o)*62/4?
False
Let b be (82*(1 - 0))/2. Suppose -3*r - 37 = b. Let v = r - -37. Is v a multiple of 4?
False
Suppose 0 = -b - 4*b + 55. Suppose b - 35 = -3*o. Is 9 a factor of 7/(28/o) - -16?
True
Let x(n) be the third derivative of n**5/60 + 7*n**4/24 - 17*n**3/6 - 6*n**2. Let q be x(-15). Suppose 5*p - 2 = q. Does 7 divide p?
True
Let w = 118 + -69. Let c be -2 + 3/(-6)*-12. Suppose 0 = -c*m + 3*r + w, m = -0*m - 5*r + 18. Is 13 a factor of m?
True
Let y = 254 + -246. Is y a multiple of 8?
True
Let p be 6022/(-36)*3 - 1/6. Let c = -250 - p. Is 42 a factor of c?
True
Let c(f) = f**2 - 5*f - 1. Let i be c(4). Let p = i - -14. Suppose -t + p = 3*w - 0*w, 5*t - 25 = -5*w. Does 2 divide t?
False
Let b(l) = 4*l**3 - 5*l**2 + 10*l - 17. Let v be b(4). Suppose 5*x + v = 659. Is 10 a factor of x?
False
Let q(u) = -u**2 + 10*u - 1. Let v be q(8). Let l(d) = -18*d - 48. Let g be l(-7). Let n = g - v. Is n a multiple of 21?
True
Let q = -24 - -24. Suppose q = 2*m - 7*m + 330. Suppose -l + m = 2*l. Is l a multiple of 19?
False
Let y(k) = -10*k + 7. Let m be y(-5). Suppose -5*n + m = 7. Is 3 a factor of n?
False
Let i(w) = -7*w - 45. Let v be i(-10). Is 47 a factor of -5 + 105/v + (-1518)/(-10)?
False
Let w = 717 + -669. Is 8 a factor of w?
True
Suppose -2*h = -5*k + 33, 5*k + 3*h - 6 - 7 = 0. Suppose k*x - 80 = -l - 0*x, -3*l - 3*x + 204 = 0. Does 13 divide l?
True
Suppose 0 = -4*z + 3*p - 619, 326 = -5*z + 4*p - 448. Suppose -3*y + o + 60 = 26, -5*y + 2*o = -57. Is 12 a factor of ((-60)/14)/(y/z)?
True
Suppose -k + 263 = -2*i, 0 = 3*k + 2*i + 69 - 874. Is 26 a factor of k?
False
Is 42 a factor of 1/((-199)/(-66) + -3)?
False
Let i = 1552 + -787. Is i a multiple of 28?
False
Suppose -17 = 4*p - 441. Suppose 0 = -c + p + 82. Is 21 a factor of c?
False
Let c be (-2)/4 - 112/(-32). Suppose 0*n + 8 = 3*g - 2*n, c*g = -5*n - 20. Suppose 4*m - 157 + 5 = g. Is 13 a factor of m?
False
Let v = 129 - 223. Let s = v + 132. Does 3 divide s?
False
Let g be 0 - 0 - (-17 - -15). Suppose 3*c + g*c = 5. Is 3 a factor of (c/(-2))/(1/(-10))?
False
Let x(o) = -282*o - 128. Is 20 a factor of x(-4)?
True
Suppose -4*h - h + 2*t = -18, 4*t = -16. Suppose -h*d + 3 = d. Let u(w) = 18*w**3 + w**2 - 2*w + 1. Is u(d) a multiple of 3?
True
Let i(g) be the third derivative of -g**4/12 + 6*g**3 - 13*g**2. Is 10 a factor of i(-22)?
True
Let d be -33 + 3*(2 - 1). Let o = 82 - d. Suppose 3*b - o = -b. Does 17 divide b?
False
Let w(h) = 7*h + 896. Is w(0) a multiple of 64?
True
Suppose 5 = -r - 4*m + 4, -3*r = 5*m - 4. Suppose -753 = -6*u + 3*u. Suppose 3*q + 47 - u = 4*b, r*b = -2*q + 119. Does 16 divide q?
True
Let k = 1391 - 758. Suppose 0*a - 4*a = 3*d + k, 2*d + 475 = -3*a. Is a/(-2) - (-6)/4 a multiple of 19?
False
Suppose 0 = 5*f + 16 + 74. Is 9 a factor of 646/10 + f/30?
False
Does 7 divide (-355)/(-4)*6 + 5/(-10)?
True
Suppose -i + 730 = 2*h - 1006, 2*i - 1732 = -2*h. Is h a multiple of 15?
True
Suppose -1 - 4 = -u. Suppose -u*o - 56 = -3*q + 16, -4*o + 7 = q. Is 6 a factor of q?
False
Let q(b) = -3*b**3 + 3*b**2 - b + 2. Let l be q(2). Let o = l - -15. Suppose 2*f - 13 = i, 0 = -i - 4 + o. Is f a multiple of 5?
False
Let v = -10 - -2. Suppose 5*a - 4*h + 5 = 0, 0*h + 5 = -h. Let u = a - v. Is 3 a factor of u?
True
Let v(j) = -182*j + 1146. Does 12 divide v(-21)?
True
Suppose 83 = -2*j + 79. Is 23 a factor of 262 - (-13 + 3)/j?
False
Let k(b) = 4*b + 12. Let d be k(-1). Does 19 divide d/(-10) + 2/(30/1377)?
False
Let f = -2 - 0. Suppose 23*y + 69 = 26*y. Let b = f + y. Is 5 a factor of b?
False
Let u = -34 - -37. Suppose 3*s - 84 = -u*f, -2*f - 84 = -5*s + 21. Is s a multiple of 23?
True
Let u(v) = -v + 3. Let y be u(-5). Suppose 3*b = y*b - 165. Is b a multiple of 7?
False
Is 11 a factor of (-5172)/10*(-240)/72?
False
Let w = -1645 - -2376. Is 42 a factor of w?
False
Let f = -1457 + 1541. Does 25 divide f?
False
Suppose 46*r - 770 = 11*r. Does 7 divide r?
False
Let c = -40 - -42. Suppose 5*i + g = 351, -c*i + 185 = -4*g + 49. Does 10 divide i?
True
Is (200/160)/(3/660 + 0) a multiple of 25?
True
Let k(n) = -73*n + 25. Does 9 divide k(-2)?
True
Let b(t) = t**3 + 8*t**2 + t - 9. Let i be b(-7). Let q be (0 - (0 + 3)) + i. Is 2/(-15) - (-1114)/q a multiple of 24?
False
Suppose -n + 3*q + 172 = 0, 2*n + q - 351 = -0*q. Is n a multiple of 35?
True
Let i be (-2)/9 + 76/18. Suppose -2*j = -5*r - 80, i*j - 3*r - 128 = -r. Is 5 a factor of j?
True
Suppose 3*r - 19 = -4. Let w = 53 - r. Is 12 a factor of w?
True
Let k(q) = -q**2 + 14*q - 13. Let y be k(13). Suppose 3*n - 55 = -5*m, y*m - 3*m + 67 = -5*n. Let s = m - -7. Is 3 a factor of s?
True
Suppose -45 = -5*w + 4*z, -3*w - 2*z + 0*z = -5. Suppose 0 = -w*i - 3*o + 120 + 258, -372 = -5*i + 3*o. Is 12 a factor of i?
False
Suppose u = 6*u + 5*z - 1430, -u - 2*z = -285. Is 5 a factor of u?
False
Let b(t) = -2*t**2 - 33*t - 67. Let c be b(-20). Let x = 66 - c. Is x a multiple of 21?
True
Let o(p) = -4*p - 32. Let i be o(-9). Suppose -5*y - 2*q + 730 = 0, 0*y + 581 = i*y + q. Is 24 a factor of y?
True
Suppose -17*d - 3777 = -15167. Is d a multiple of 10?
True
Let b be 24/32*(-12)/1. Does 14 divide b/(-15) - 469/(-35)?
True
Suppose g - 146 = -0*g. Let c = g - 74. Is 12 a factor of (c/15)/(6/15)?
True
Suppose 0 = -3*l + 15, -2*f - 2*l + 45 = -73. Suppose -3*b - 11 - f = -z, z + 4*b = 30. Is z a multiple of 17?
False
Suppose 8 = i - 0. Let r = i + -2. Does 3 divide r?
True
Let o(b) = b**2 - 6*b + 9. Let z be o(7). Suppose 4*w + 0*w = z. Suppose -w*m - 4*d + 0*d = -340, -3*d = 9. Is 24 a factor of m?
False
Is 42 a factor of ((-172)/(-28) - 7)*-196?
True
Suppose -33*z + 36*z - 675 = 0. Is z a multiple of 25?
True
Suppose -4*z = -r - 2, 2*r + 5*z + 18 = 66. Let l(s) = s**3 - 15*s**2 + 16*s - 24. Is l(r) a multiple of 4?
True
Let o(d) = -d**2 + d + 4. Let j be o(0). Let c be 820/100 - 8/(-10). Let t = c - j. Is t even?
False
Let a = -505 + 963. Is 21 a factor of a?
False
Let f = 52 - -109. Does 10 divide f?
False
Let d = 69 + 3. Suppose -o + 6*p = 2*p - 67, 5*p = 3*o - 194. Suppose -d = -5*g + o. Is 10 a factor of g?
False
Let l(n) = -27*n - 27. Is l(-25) a multiple of 19?
False
Suppose 0*z - 896 = -8*z. Does 14 divide z?
True
Suppose w - 5*a + 3 = 0, -4*w + 5*a - 18 + 6 = 0. Let t(q) = q**3 + 2*q**2 - 4*q - 2. Let b be t(w). Let r = 6 + b. Is 2 a factor of r?
False
Suppose -2*d - 3 = -3*d. Suppose 0 = 2*h + d*s - 16, -s + 2*s = -4*h + 42. Is h a multiple of 11?
True
Suppose -8 = m - 5*m. Suppose -4*b - 3*x - 28 = 0, 0 = 5*b - m*x - 2*x + 4. Let v(j) = -j**3 + 8*j - 2. Is 11 a factor of v(b)?
False
Let r(q) = 5*q**3 - 11*q**2 - 3*q - 9. Let b(w) = 3*w**3 - 5*w**2 - w - 4. Let t(h) = 7*b(h) - 3*r(h). Suppose 0 = -2*x - 0 + 2. Is t(x) even?
False
Let f = 774 + -630. Is 12 a factor of f?
True
Let f(v) = v**3 - 5*v**2 + 2*v - 7. Let y be f(5). Let z = -24 + 28. Suppose -y*r = -z*r + 22. Is r a multiple of 11?
True
Let r(o) = -o**2 - 6*o + 14. Let g be r(-6). Let c = g - 11. Suppose 45 = a + 3*s + s, 70 = c*a - s. Is a a multiple of 11?
False
Let n(i) = i**2 - i + 5. Let t be n(0). Suppose -34 = t*m - 199. Does 7 divide m?
False
Let f(n) = -n**3 - 2*n**2 + 2*n + 357. Let h be f(0). Let r = h + -144. Is 15 a factor of r?
False
Suppose 23*b + 4505 - 26148 = 0. Is 14 a factor of b?
False
Suppose 742*z - 717*z - 95200 = 0. Is 112 a factor of z?
True
Let w(s) = 4*s**2 + 84*s + 24. Is w(-22) a multiple of 14?
True
Suppose 3*i + i = 64. Suppose -4*b - 4 - i = 5*g, 5*b + 25 = 5*g. Suppose l - 27 - 6 = g. Is l a multiple of 15?
False
Suppose -15 = -2*v - 5*s, -2*s + 11 = -4*v + 5. Suppose 0 = -3*q - v*q + 219. Is 20 a factor of q?
False
Is 7 a factor of ((-1596)/112)/(3/(-84))?
True
Suppose 2*f = 5*r + 604, 4*f - 2*r - 1180 = -6*r. Does 9 divide f?
True
Suppose 0 = 26*w - 10*w - 96. Is w a multiple of 3?
True
Let a(j) = j**2 - 11*j + 16. Let x be 4/6 + 164/6. Suppose -2*b = 6 - x. Does 8 divide a(b)?
True
Let c(s) = -s**2 - 2*s + 145. Let w be c(0). Suppose 175 - 36 = 5*d - 3*g, -5*d + w = -5*g. Does 7 divide d?
False
Let o(z) = -z**2 - 26*z - 33. Let i be o(-24). Suppose -i*a + 43 = -272. Is 14 a factor of a?
False
Let b be (207/(-18))/((-2)/20). Suppose -5*o = 3*l - 99, 6*o - o - b = 5*l. Let m 