ide o?
False
Let d = -15 + 8. Let y be 1*-35*d/7. Suppose -4*n + y + 37 = 0. Is n a multiple of 6?
True
Suppose 4*o = -3*g + 29, -g - o = 4 - 15. Let u = -12 + g. Is 12 a factor of u/((-5)/(130/(-3)))?
False
Suppose l + 5 + 0 = -4*u, 3*u + 5*l + 25 = 0. Suppose 3*z - 3*g - 42 = -9, z + 4*g - 31 = u. Is 15 a factor of z?
True
Suppose 73*z - 72*z = 390. Does 50 divide z?
False
Let k = 5808 + -3885. Is 66 a factor of k?
False
Let w = -95 - -60. Is ((-540)/(-100))/((-1)/w) a multiple of 9?
True
Suppose -4*c + 2*c = -16. Let z(j) = j**2 - 2*j - 5. Let t be z(5). Suppose 5*a = 2*k - 7 - c, -2*a = -t. Is k a multiple of 20?
True
Let k = 62 + -68. Does 6 divide (26 - -1) + 3/k*6?
True
Suppose 3*t - 2*v - 91 = -0*t, -4*t = -v - 113. Let g = 5 - t. Does 2 divide g/(-6) + (-2)/(-6)?
True
Suppose 11*w + 142 = 219. Is w a multiple of 3?
False
Let z be (-2)/(-2)*68/17. Suppose 4*q = -3*u + 64, 0 = z*q + 8 - 0. Is u a multiple of 12?
True
Let v(g) = -g - 7. Let q be v(-7). Suppose 0 = 2*y + 3*l + 13, -3*y - 1 = 4*l + 16. Does 16 divide 20 - y - (q + 3)?
True
Suppose 811 = 5*d + 4*y, 0 = 5*y - 3*y + 2. Let k = d + -91. Is 24 a factor of k?
True
Suppose -6*b - 33 - 21 = 0. Let p = -1 + -8. Is (b/(-6))/(p/(-132)) a multiple of 11?
True
Let y(m) = -2*m**3 + 2*m**2 - m + 2. Let w be y(-3). Suppose 0 = -5*n - 4*b + 532, -n - 2*b + w + 27 = 0. Is 24 a factor of n?
False
Let j = 11 - 9. Suppose -4 = j*q - 3*q. Is q - (-16 + 3) - 3 a multiple of 7?
True
Let s(u) = 66*u**2 + 10*u - 14. Let p be s(5). Suppose -4*v + p = 3*d, -5*d - v + 2821 = 2*v. Does 16 divide d/6 + (-23)/69?
False
Suppose -32 = -3*a + 43. Let c = 61 - a. Let p = -23 + c. Does 5 divide p?
False
Suppose -6*j = -4*j - 6. Suppose -j*g - 6*g + 972 = 0. Does 9 divide g?
True
Let k = -1211 - -1336. Is 19 a factor of k?
False
Let y = -70 + 895. Does 5 divide y?
True
Let i = -95 + 66. Let o = -33 - i. Is 12 a factor of 220/6 + o/6?
True
Suppose -60*u + 56*u + 1288 = 0. Is 23 a factor of u?
True
Let i be 3/(-1 + 14/12). Let g = -608 + 612. Does 15 divide 816/27 - g/i?
True
Let m(a) = -a**3 - 20*a**2 - 8*a + 11. Is m(-20) a multiple of 9?
True
Does 35 divide (-8)/((-448)/149416) + (-2)/14?
False
Let b be 61/(25/10 - 2). Suppose -d + 0*d + b = 4*h, h - 2*d - 26 = 0. Does 10 divide h?
True
Let t = 1233 + -374. Is t a multiple of 35?
False
Suppose 4*o = 1999 + 285. Is o a multiple of 8?
False
Let r be -5*(2 + -1 + -2). Suppose 3*a = r*i + 277, 3*i + 362 = 4*a - 0*a. Is 20 a factor of a?
False
Suppose u + 2*p - p = -23, 4*p - 16 = 0. Let r = u - -116. Does 10 divide r?
False
Let c = -10 - -13. Suppose -c*s = -3*q + 9, -q + 2 = q - s. Is 10 a factor of 1/(q - (-126)/123)?
False
Suppose -p = -0*m + 2*m - 3, -5 = -2*m + p. Suppose 2*d = -q - q + 14, -q = -m*d + 2. Does 10 divide d + 0 + (-17 - -61)?
False
Let a be (7 - 1)*(-5)/(-10). Let h be 2 - (-1)/(a/9). Suppose -3*t + 167 = -h*x, 2*x + 155 = 3*t - 0*x. Is 20 a factor of t?
False
Suppose -217 - 1215 = 8*b. Let w = b - -400. Is 29 a factor of w?
False
Suppose -4*l - 2 = -2*y - 0, -l + y = 1. Suppose l = 2*c + u - 64, -5*u - 38 - 32 = -3*c. Is 10 a factor of c?
True
Suppose -2*n + 6 - 102 = -z, z + 4*n - 114 = 0. Is 6 a factor of z?
True
Suppose -5*i + m + 767 = 0, 0*i + 3*i + 5*m = 477. Is i a multiple of 20?
False
Let o(x) = 3*x**2 - 2*x - 2. Let b be o(-1). Suppose 0 = -b*w + w - 10. Let z = 22 - w. Is 7 a factor of z?
False
Suppose 2*x - 3*z = 4473 - 323, -3*x + 3*z = -6219. Is x a multiple of 15?
False
Let a(h) = -6*h + 27. Let u be a(4). Is ((-2)/4 + 166/12)*u a multiple of 8?
True
Let r be (-94)/14 - 4/14. Let o be 8/(-28) + (-30)/r. Suppose 174 = o*d - 2*d. Does 22 divide d?
False
Suppose 2*h = 4*k - 486, 3*k - 6*h + 10*h = 370. Does 2 divide k?
True
Suppose 4*i - 20 = -i. Let f = i - 4. Is f + 1 + (32 - 4) a multiple of 8?
False
Let m be -3 + 135*1 + 1. Suppose 2*a - m = 93. Is a a multiple of 7?
False
Suppose 6*j = 3*j - 9, -5*j + 963 = 3*n. Is 57 a factor of n?
False
Suppose -3*f - 2*f = -65. Let b be (12 - f) + (-68)/(-2). Is 2 a factor of 6/b + (-64)/(-11)?
True
Suppose 9*k - 636 = 138. Let x = 19 + k. Does 35 divide x?
True
Does 17 divide 70866/30 - (-4)/5?
True
Let p(f) = f**3 + 6*f**2 + 6*f + 7. Let s be p(-5). Suppose 0 = 5*x - r - r - 6, -5*r - 15 = s*x. Suppose -21*q + 24*q - 108 = x. Does 12 divide q?
True
Let i(u) = -u**2 - 5*u + 166. Does 4 divide i(0)?
False
Suppose -3*d = -1668 - 372. Suppose -d = -12*b + 2*b. Does 13 divide b?
False
Suppose 419*l - 6903 = 406*l. Is l a multiple of 19?
False
Let n = 128 - -40. Is n a multiple of 24?
True
Suppose 3*l - l - 324 = -2*s, 2*s = 4*l + 300. Suppose s = 2*y - 2*m, y + 2*m + 389 = 6*y. Is 41 a factor of y?
False
Let w be (-73)/(-3) - (-5)/(-15). Let n = w - 89. Let a = n - -108. Is a a multiple of 16?
False
Let s be 1*14/1 - (-2 - -2). Let g = s - -6. Does 10 divide g?
True
Let t = -209 - -123. Let s = -52 - t. Is 17 a factor of s?
True
Let f(c) = -68*c + 6. Is 47 a factor of f(-5)?
False
Let m = -64 - -61. Let o(p) = -9*p**3 + p**2 + 4*p - 5. Let f(x) = 8*x**3 - 3*x + 4. Let v(d) = -4*f(d) - 3*o(d). Is v(m) a multiple of 24?
False
Suppose 13*c - 1261 - 1378 = 0. Is c a multiple of 20?
False
Let r = 833 + -224. Is 29 a factor of r?
True
Let x(q) = -7*q + 11. Let k be x(-7). Let p = 15 + -49. Let o = k + p. Does 12 divide o?
False
Let v be 10/(-4)*(2 - 4). Suppose -2*m = 4*r - 9 - 5, -13 = -2*r + v*m. Does 25 divide 1221/15 - r/10?
False
Let i(d) = d**3 - 18*d**2 + 5*d - 30. Let o be i(18). Suppose 65*k - 680 = o*k. Does 34 divide k?
True
Does 9 divide 5/(57/18 - 4) - -1506?
False
Suppose -3269 = -10*w + 2511. Is 21 a factor of w?
False
Suppose 2*p - 3*p + 188 = 0. Suppose -132 = -5*x + p. Let r = x - 30. Is r a multiple of 9?
False
Suppose 0 = -3*a + 6 + 6, 0 = -4*r + 2*a. Let b(q) = r*q + 2*q + 18*q**3 - 4 - 4*q**3 + q**2. Is 24 a factor of b(2)?
True
Let a = -526 + 700. Does 59 divide a?
False
Let w(x) = -x**3 + 5*x**2 - 2*x + 2. Does 18 divide w(-4)?
False
Suppose x + 900 = 5*x. Let w = 37 - 33. Suppose -l - w*a = -2*l + 24, 0 = -5*l - a + x. Does 11 divide l?
True
Suppose -5*q + 231 = -34. Suppose -q*j = -57*j + 960. Does 30 divide j?
True
Let y(t) = t**2 + 6*t. Let j be y(-4). Let c(k) = -22*k - 17. Let b(l) = 47*l + 35. Let o(i) = 6*b(i) + 13*c(i). Does 21 divide o(j)?
True
Suppose 0 = -2*s - 3*s - 150. Let a = 44 + s. Is 14 a factor of a?
True
Let i = 134 + -102. Is 3 a factor of ((-520)/i)/((-2)/8)?
False
Suppose 2*s = -4*a + 48, -4*s + 111 = 4*a + 31. Is 14 a factor of (-6)/(-8) + 818*2/s?
False
Let v = 145 - 109. Let l be (-1)/(2/434*1). Is l/(-6) - 6/v a multiple of 25?
False
Suppose 3*d - 5*l = 125 + 721, -2*l - 1142 = -4*d. Suppose 5*r - d = -3*f, -r + 2*r = -4*f + 411. Is f a multiple of 23?
False
Suppose 5*o - 1155 = 2*o. Is o a multiple of 10?
False
Let k be (-2)/8 - 1/(12/(-51)). Suppose -195 - 413 = -k*b. Is b a multiple of 41?
False
Let a(q) = -2*q**3 + q**3 - 28*q**2 - 60*q + 4 - 16 - 21. Does 16 divide a(-26)?
False
Suppose -20 = -4*z, 118 = 5*t + 3*z - 222. Is t a multiple of 5?
True
Suppose 25*h - 3175 = 3050. Is h a multiple of 3?
True
Suppose -69 - 1413 = -2*m. Is 39 a factor of m?
True
Let m be 1/(2 - (-20)/(-12)) - -168. Suppose 130 = 2*i + 2*c, 2*c - m = -3*i + 24. Does 13 divide i?
True
Let g(i) = i**2 + 5*i + 4. Let k be g(-6). Let b be 1 + 33/6*k. Suppose b = 2*a + 4*n, -4*n - 56 = -a - 22. Does 30 divide a?
True
Let g(q) = -21*q + 59. Is 18 a factor of g(-6)?
False
Let j(i) = 978*i**3 + 2*i**2 - 1. Let a be j(1). Suppose 4 = -4*k, -3*u + 3*k = -k - a. Suppose -14*w + 9*w = -u. Is w a multiple of 11?
False
Let u(h) be the first derivative of 10*h**3/3 + h**2/2 + 2*h - 10. Is u(-3) a multiple of 23?
False
Let j be (1/(-2))/(4/128). Let l = j + 44. Is 8 a factor of l?
False
Let o be (0/(-1) + -1)*-4. Let x(j) = -o*j + j + 8*j - 9 - 4*j. Is 5 a factor of x(14)?
True
Suppose -5*l + 15 = 0, 2*l + 0*l - 38 = -4*c. Suppose 7*n = c*n - 10. Suppose 5*f - n = -2*d, d = -f - 2*f + 4. Does 5 divide d?
True
Let a(v) be the second derivative of -7/6*v**3 + 6*v - 3*v**2 + 0 + 1/12*v**4. Is 18 a factor of a(-4)?
False
Suppose -25*v + 6160 = -18*v. Does 16 divide v?
True
Let a = -15 - -19. Suppose 0 = -2*w + y + a*y + 116, 3*y + 60 = w. Does 12 divide w?
True
Let n be (-2)/(-2) - (