e c(3). Let i(z) = 8*z**2 + z - 2. Let f be i(o). Suppose 0 = f*l - 9*l + 178. Is l a multiple of 16?
False
Let n(a) = 5*a**2. Let c be n(1). Suppose -c*z = 4*b - 85, 2*z = 4*b - z - 77. Does 16 divide (216/b)/((-6)/(-20))?
False
Let z(l) = l**3 + 30*l**2 + 23*l - 50. Does 3 divide z(-29)?
False
Let x(w) = w - 4. Let s be x(8). Suppose 16 = s*n - 4*z, 5*n - 3*z = -0*z + 22. Is n a multiple of 2?
False
Suppose -3*k - 2*k = -30. Let h(a) = 12*a + 18. Does 18 divide h(k)?
True
Suppose 0 = -3*r + 29 - 2. Let o = -10 + r. Is (-38 - 1)*o/3 a multiple of 10?
False
Is 1237830/2475 + 2 + (-32)/15 a multiple of 50?
True
Suppose 0 = -0*i + 65*i - 183040. Is i a multiple of 40?
False
Let c(g) = 52*g - 276. Is 16 a factor of c(9)?
True
Suppose 4 = 3*a + 10, 0 = -3*o + 5*a + 1792. Does 29 divide o?
False
Let j(x) = -x. Let l(a) = a**2 + 4*a + 1. Let d(q) = 4*j(q) - l(q). Suppose -5*s + 4*m - 13 = 0, -s - 2 = -4*m + 3*m. Is d(s) a multiple of 5?
False
Let u be 243 - (-9)/((-9)/(-3)). Suppose -u - 204 = -2*d. Suppose 7*w - 2*w = d. Is w a multiple of 13?
False
Let i = -29 - -32. Is (i - -16 - 4)/1 a multiple of 13?
False
Let r(q) = 46*q**3 - 2*q**2 + 10*q - 6. Is 16 a factor of r(2)?
False
Suppose -116 = -5*q + 2*a, 4*q + 4*a - 9 - 67 = 0. Is 10/(-5) + -1 + q a multiple of 2?
False
Let a(q) = q**2 - 8*q - 4. Let b be a(11). Let d = b - 42. Let c(g) = g**3 + 13*g**2 - g + 1. Is 5 a factor of c(d)?
False
Let h = -16 - -16. Suppose -w + 44 - 7 = h. Suppose 0 = -3*m - 4*l + 34, -4*l + l - w = -4*m. Does 4 divide m?
False
Suppose 3*f + 161 = 4*f. Suppose -2*q - d + 169 = q, -3*q + d + f = 0. Is 11 a factor of q?
True
Let w be ((-2)/(-6) - 1)/((-2)/6). Let b(r) = 10*r**3 - 2*r**2 + 4*r - 2. Is b(w) a multiple of 11?
False
Let x(b) be the first derivative of -b**3/3 + 3*b**2 + 2. Let u be x(5). Suppose -u = f + 4*l, 3*f + 3*l - 20 = 1. Is 3 a factor of f?
False
Let d = -92 + 1339. Does 29 divide d?
True
Suppose -1838 = -5*r + 2*x + 2020, -2*r = -x - 1543. Does 20 divide r?
False
Let q(i) be the third derivative of -i**5/60 - 7*i**4/24 - 7*i**2. Let k be q(-7). Suppose 4*b - 2*b - 56 = k. Is 9 a factor of b?
False
Let z be 2 + 4 + 1/(-1). Suppose 0 = z*r - 3*r - 120. Is 15 a factor of r?
True
Let g(j) = -37*j + 7. Let i be g(-3). Suppose -2*t + 143 = n, 2*n + 2*n + i = 2*t. Suppose 5*v + 5*l - t - 46 = 0, -142 = -5*v + 4*l. Is v a multiple of 7?
False
Let s(l) be the second derivative of -4/3*l**4 + 2*l + 0 + 17/2*l**2 + 1/20*l**5 + 10/3*l**3. Is s(15) a multiple of 23?
True
Is (4 - 30/5)/((-6)/1284) a multiple of 24?
False
Suppose -5*t = 2*r - 40, 8*t - 3*t - 40 = 4*r. Is t/60 + (-8090)/(-75) a multiple of 12?
True
Let r(y) = 106*y**2 - 7*y - 14. Does 20 divide r(4)?
False
Let a(l) = -458*l - 1. Let w be a(1). Does 27 divide w/(-9) + (1 - -2)?
True
Let d be -13 - 3035 - 0/2. Is ((-2)/3)/(16/d) a multiple of 35?
False
Suppose -2*l + 4*h - 15 + 241 = 0, 4*h = -2*l + 234. Let n = -49 + l. Does 6 divide n?
True
Suppose -2*b + 1131 = k, 0 = 2*k + 5*b - 1505 - 758. Is k a multiple of 6?
False
Let l(g) = -58*g - 373. Is 11 a factor of l(-33)?
False
Let t be 34 + -38 - (-6)/4*6. Suppose 4 + 16 = t*y. Is y a multiple of 4?
True
Suppose -5*r = -3*t - 118, -2*t - 90 + 24 = 3*r. Is 16 a factor of (24/(-12))/(37/t - -1)?
False
Suppose -6*w + 19 - 1 = 0. Suppose 17 = 2*f - 37. Suppose -117 + f = -w*a. Is a a multiple of 30?
True
Suppose 17*t - 18259 = 13*t + 5*u, 2*u - 22799 = -5*t. Does 10 divide t?
False
Let a = -58 + 27. Let s = 53 + a. Does 19 divide s?
False
Let j = 133 - 131. Is j even?
True
Is -3*1186/6*-1 a multiple of 8?
False
Let v = 43 + -28. Suppose 0 = a + 3*l - 57, -4*a - 5*l - v = -236. Is a a multiple of 18?
True
Does 22 divide 1 + (2512/(-56))/(2/(-14))?
False
Let f = -5 + 7. Suppose -f*z + 2*j = 24, -2*j - 24 = 3*z + j. Is 11 a factor of 21 + 1 - (6 + z)?
False
Suppose 2*h - i + 32 = 0, -h - 3*i = 2*h + 30. Does 11 divide 132/h*7/(-4 - -3)?
True
Let h(o) = 839*o - 99. Is 8 a factor of h(1)?
False
Let y be (-28)/(-5) + 26/65. Suppose y*a - 8 = 172. Is a a multiple of 8?
False
Let s = -570 + 1178. Does 16 divide s?
True
Let a(v) = v**3 + 7*v**2 - 10*v - 9. Let p be a(-8). Let r be (1 + -97)/(p - 8). Suppose 2*i + 2*z - 120 = -3*i, 4*i + 5*z = r. Is i a multiple of 8?
True
Let i = -737 - -2544. Is i a multiple of 41?
False
Let t be (-2 - -8)/((-15)/(-9))*30. Suppose -t = -6*x + 36. Does 6 divide x?
True
Suppose -785 = -2*r + w, 3*r - 60*w + 62*w = 1160. Is 15 a factor of r?
True
Let z = -477 - -917. Is z a multiple of 20?
True
Suppose i + 15 = 4*u - 8, 5*i + 132 = 3*u. Let p = i - -43. Suppose 0 = 6*z - 4*z - p. Is z a multiple of 2?
True
Let w(d) = 7*d**2 - d**2 + 6 - 4*d - 5*d**2 + 3*d. Does 8 divide w(-6)?
True
Let s = 119 - 71. Let p be ((-2)/6)/((-8)/s). Suppose -5*y - 75 + 240 = p*x, -2*y = -x - 75. Is 21 a factor of y?
False
Let j = 16 + -8. Let m be (12/(-10))/(j/40). Let w = 8 - m. Is 7 a factor of w?
True
Let o(v) = v**2 + 6*v + 10. Let j be o(-4). Is 108/(0 - -3) + j a multiple of 17?
False
Let x(f) = f - 2. Let h(u) = u + 4. Let w be h(2). Let g be x(w). Let s(y) = 15*y - 2. Is 29 a factor of s(g)?
True
Let g be 3 + 42/((-8)/(-4)). Does 2 divide g/14 - 2/(-7)?
True
Let k = 2 - -51. Let q = -16 + k. Is 6 a factor of q?
False
Is 6 a factor of -52*(-5)/20 - (7 + 0)?
True
Suppose 0 = 5*n + 5*g - 6*g - 11, 3 = -n - 5*g. Suppose n*u - 2*q - 92 = -2*u, -3*u - 5*q + 95 = 0. Is 3 a factor of u?
False
Let s = 19 + -3. Suppose -5*f = -s - 9. Suppose u - i = 13, i - 47 = -f*u + u. Is 6 a factor of u?
True
Let a = 22 - 19. Let i(l) = 33*l - 3. Is 16 a factor of i(a)?
True
Let x(r) = r**3 + 8*r**2 - 7. Let f be x(-6). Let y = f - 39. Let s = 38 - y. Is 4 a factor of s?
True
Let t(y) = 13*y**2 + 3*y - 12. Does 3 divide t(2)?
False
Let n(l) = 3*l + 4. Let a(q) = 1. Let j(w) = 5*a(w) - n(w). Let t be j(2). Let z = t - -15. Does 5 divide z?
True
Let x(f) = -f**2 - 27*f + 3. Let p be x(-21). Suppose 3*j - 159 = 486. Let r = j - p. Does 23 divide r?
False
Suppose -3*y - o = o - 19, 8 = y + o. Suppose -4*d = y*s - 586, 2*s + 4*d = -d + 400. Does 12 divide s?
False
Let r be (4 - 3)/(2/(-6)). Let p be r*(-2)/12*0. Suppose -5*x + 6 + 39 = p. Is x a multiple of 9?
True
Suppose 0 - 1 = o, 4*z + o = -125. Let g = z + 51. Let w = g - 14. Is w a multiple of 6?
True
Suppose -18*p = -30*p + 5832. Is 18 a factor of p?
True
Let h = -11 + 11. Suppose 2*a = -h*a + 178. Let w = -8 + a. Is 27 a factor of w?
True
Suppose -5*w + c + 3*c + 8 = 0, 2*c = 6. Suppose -w*k - 2 = 2. Is 10 a factor of -2 - -32*(-1)/k?
True
Let l(g) = -g**3 + g**2 - 6*g + 343. Does 6 divide l(0)?
False
Let p = 29 + -25. Suppose z - 136 = -z + p*n, 8 = -4*n. Is 18 a factor of z?
False
Let y be -5*(-5)/100 - (-1569)/12. Suppose -10*i + y = -499. Is 6 a factor of i?
False
Let v = -134 + 206. Does 15 divide v?
False
Let w = -209 + 1755. Is 15 a factor of w?
False
Let p = -4 - -18. Suppose d - 4*w = -3 + 2, -5*w + p = 3*d. Suppose -d*c = 5*i + 2*c - 110, 3*i + 2*c - 70 = 0. Does 6 divide i?
False
Suppose 5*p + 0 = -25, 3*z = 4*p + 1076. Is z a multiple of 11?
True
Let v(z) = 28*z**2 - z + 9. Is v(2) a multiple of 15?
False
Does 32 divide ((-1215)/(-6))/(5/10)?
False
Let r = 39 + -16. Suppose -r = -5*k - 13. Suppose k*i = -i + 30. Is i a multiple of 4?
False
Suppose 6*p - 366 = 4266. Is p a multiple of 13?
False
Suppose 5*w = -5*v - 378 + 1353, 2*w - v = 405. Is 53 a factor of w?
False
Suppose -4*s = -r + 98, 2*s + 2 = 10. Is r a multiple of 19?
True
Let f be (-546)/(-35)*(-10)/(-3). Suppose 17*z + f = 21*z. Does 13 divide z?
True
Let p(c) = -6*c + 14. Let r be -11 - (3 + -9 - -2). Let u be p(r). Is 8 a factor of 3*(4 + u/6)?
True
Suppose 0*w - 5 = w, -5*i = -w - 2015. Suppose 7*p - 662 = i. Is p a multiple of 18?
False
Let r(f) = -120*f - 40. Does 10 divide r(-5)?
True
Let l be (-4 + -1)*(-8)/(-10). Does 10 divide -1 + l/(-8)*102?
True
Suppose 0 = 3*m - 6 - 0. Suppose 0 = 4*r - 0*i + i + 47, 4*r - m*i = -62. Let q(l) = -l**3 - 13*l**2 - 4*l - 10. Is 14 a factor of q(r)?
True
Let f be ((-136)/(-20))/(2/480). Is 34 a factor of (1/(-2))/(6/f*-4)?
True
Suppose 2*b - 8*r + 7*r - 205 = 0, -98 = -b + 2*r. Does 26 divide b?
True
Let a(z) = -11*z + 29. Let i be a(-12). Let x = 197 - 103. Let r = i - x. Is 28 a factor of r?
Fa