e
Let g be (4 - -356 - 5)/1. Suppose 0 = 5*a + 2*o - 460, o = 2*a + 2*a - g. Does 9 divide a?
True
Let q = 123 - 65. Suppose -4*s + q + 6 = 0. Suppose s = -4*m, 2*t - 38 = -0*t + 2*m. Is 5 a factor of t?
True
Suppose y = -4*o + 1543, 20*o = 5*y + 21*o - 7772. Does 14 divide y?
False
Let s(w) = -w**2 + 4*w - 30. Let t be s(12). Let a = t + 184. Does 6 divide a?
False
Let s(w) = w + 8. Let a be s(-6). Suppose z = -2*y + 96, -3*y + 38 = -a*z - 120. Does 25 divide y?
True
Let o = 283 - 274. Is o a multiple of 4?
False
Let q(v) = v**3 - 4*v**2 - 3*v + 4. Let c be q(4). Let x = c + 12. Let z = x + 6. Does 10 divide z?
True
Suppose -4*f = 39 + 45. Does 4 divide (-246)/f - ((-10)/(-14) - 1)?
True
Is 11 a factor of (-3 - 11)*-12 + -3?
True
Let k(s) be the first derivative of 3*s**2 - 28*s - 6. Let c(o) = 5*o - 27. Let q(u) = -7*c(u) + 6*k(u). Does 7 divide q(-14)?
True
Let v = 15 + -15. Suppose 3*u + u + 3*c - 114 = 0, v = 3*u + c - 83. Is 9 a factor of u?
True
Suppose 7*o = 2*o + 230. Suppose -2*u - 5*m + 25 = 0, o + 64 = 5*u + 3*m. Is 16 a factor of 280*10/u*1?
True
Let c be ((-14)/21)/(4/(-6)). Let i = c + 4. Is 16 a factor of 3*3*(0 + i)?
False
Suppose -d + 9 = 2*d. Suppose -d*f - 8 + 23 = 0, -f = -c + 57. Suppose o - c = -x - 0*x, 4*o - 3*x = 255. Is 9 a factor of o?
True
Let c(p) = p**3 + 33*p**2 + 41*p + 23. Does 67 divide c(-31)?
False
Let m be 3 - 31 - (2 + -4). Let r = 26 + m. Suppose r = -0*v - v + 20. Does 7 divide v?
False
Let l(z) = -3*z**2 - 11*z - 4. Let q be l(10). Let k = 855 + q. Is k a multiple of 14?
False
Suppose -9*n = -10*n. Does 6 divide (n - 6/(-3))/(1/18)?
True
Let l(z) be the first derivative of 49*z**2/2 + 3*z + 27. Is l(4) a multiple of 19?
False
Let b(w) be the third derivative of -7*w**6/15 - w**4/24 + 37*w**2. Does 14 divide b(-1)?
False
Suppose 55 = 5*r - 105. Suppose 29*q + 33 = r*q. Is q a multiple of 11?
True
Suppose 0*z = -4*z + 16. Suppose 4*g - z*h - 132 = 0, 2*g = -3*g + 4*h + 168. Is 8 a factor of g?
False
Let t be (-5684)/(-63) - (-4)/(-18). Let s = t - 54. Does 12 divide s?
True
Let o(h) = -8*h**2 + 25*h + 7. Let b(i) = -2*i**2 + 6*i + 2. Let l(j) = -26*b(j) + 6*o(j). Is l(-3) a multiple of 11?
True
Let k(j) = 7*j**2 + 2*j + 2. Suppose -18 = 3*a - 5*l, l - 12 + 4 = 5*a. Let y be k(a). Suppose -6*h - 27 = -y*h. Does 8 divide h?
False
Let l(n) = 5*n**2 + 27*n - 204. Is l(17) a multiple of 16?
False
Suppose 0 = t - 4*t - 2*o + 7, -2*t - 10 = 5*o. Let z(w) = -2*w**2 + 10*w + 2. Let p be z(t). Suppose 98 = p*x + 3*h - h, 5*h = x - 49. Does 29 divide x?
False
Suppose 5*v + v - 7056 = 0. Is 42 a factor of v?
True
Suppose -5*j - 25 = 0, 0 = h - 6*h - 4*j - 10. Suppose -h*t + 6*t = 0. Is 17 - t*(-1)/(-3) a multiple of 10?
False
Let v(f) = f**2 + 8*f + 12. Suppose 0 = 4*d - 2*d + 12. Let b be v(d). Suppose 3*a + b*a - 27 = 0. Is a a multiple of 3?
True
Let h = -182 - -343. Is h a multiple of 23?
True
Let c(g) = -3*g + 5. Suppose -3*m - 1 + 22 = 0. Let r be c(m). Let o = r + 22. Does 6 divide o?
True
Let j(a) = a**3 - 7*a**2 + 12*a + 2. Let v be j(5). Suppose v*z - 324 = 384. Is z a multiple of 3?
False
Suppose 7*g - 2*g = 10. Suppose 2*k + 44 = -4*z, -3*k + g*k = -3*z - 28. Is (-9 - -2)/(5/z) a multiple of 3?
False
Suppose -3134 = -5*b - a, 3*a + 3138 = 5*b - 0*b. Is 19 a factor of b?
True
Suppose -l - 15 = 5*n, 2*l = -3*n - 0*l - 2. Let u be (-3 - n - 1) + 3. Let x = u + 9. Is 4 a factor of x?
True
Does 2 divide 3/(9/(-150))*8/(-10)?
True
Let f = -137 + 420. Is f a multiple of 14?
False
Let p(d) be the second derivative of d**4/12 - d**3/3 + 3*d**2/2 + 32*d - 2. Let c = -3 + 6. Does 3 divide p(c)?
True
Suppose 0*y - y + 10 = 2*g, -2*y = -5*g + 16. Suppose 0 = l - 2*l + y. Suppose -3*q = 4*w + w - 110, -44 = -l*q + 4*w. Does 5 divide q?
True
Let l(d) = 27*d - 352. Does 6 divide l(19)?
False
Let d be -8 + 8 + -1 + 6. Suppose 0 = d*g - 24 - 21. Is 5 a factor of 60/g*9/6?
True
Suppose -300 = 15*f - 2025. Does 6 divide f?
False
Suppose 2*a - 2*w = 16, -w + 12 = 2*a - 2*w. Let y(l) = 7*l**2 - l - 3. Let f be y(a). Let u = f + -53. Is 15 a factor of u?
False
Let s(b) = -b**2 - b. Let p(v) be the third derivative of v**5/15 + 5*v**4/12 - v**3/3 - 3*v**2. Let y(k) = p(k) + 5*s(k). Is y(3) a multiple of 4?
True
Let d(j) = 33*j - 30*j + 182*j**3 + 50*j**3 - 2*j**2 - 2. Does 33 divide d(1)?
True
Suppose -4*k + 2*k = 72. Let d be (-1)/(-4) - 495/k. Let o = d - -9. Is o a multiple of 23?
True
Let f = 52 + -52. Suppose f = o - 43 - 13. Is 19 a factor of o?
False
Does 12 divide 1 + -1 - 84/(-4)?
False
Let w(a) = -a**3 - 4*a**2 + 9*a - 21. Is w(-8) a multiple of 44?
False
Suppose 0 = -10*f + 8 + 12. Suppose 0 = 2*q - 3*i - 16, -6*q + 21 = -q + 2*i. Is (0 - f)/(q/(-20)) a multiple of 8?
True
Let d be 20*(-1 + (-6)/(-4)). Let l be (-2)/(3*d/(-1335)). Let g = 141 - l. Is 13 a factor of g?
True
Suppose 0 = -2*l - 5*w - 28, 4*l + 93 = w + 15. Suppose a + 2*b + 14 = -0*a, -69 = 4*a - 5*b. Let s = a - l. Is 2 a factor of s?
False
Let o be 1 - 50/(3 + 2). Let x be 30 - o/3 - -1. Let w = x - -31. Is 20 a factor of w?
False
Let p(y) be the second derivative of -y**4/12 - y**3/6 + 6*y**2 - 36*y. Let k be (-2)/6 - 1/(-3). Is p(k) a multiple of 12?
True
Suppose -2*x + 4 = -0. Let p = -20 + 22. Suppose 3*y - x*c - 97 = 0, -2*c + 121 = 3*y + p*c. Is 9 a factor of y?
False
Let t = -22 - -55. Suppose -x + t = -47. Does 16 divide x?
True
Let q(r) = -3 - 18*r - 3*r - 6*r. Suppose 38*b - 2 = 39*b. Is q(b) a multiple of 17?
True
Let u(n) = 7*n - 3. Let k = -20 - -6. Let z = k + 16. Does 11 divide u(z)?
True
Let v(x) = 94*x - 1. Let u be ((-4)/(-6))/(8/12). Let z be v(u). Suppose r - k - z = 0, -2*r - 5*k = r - 279. Does 31 divide r?
True
Suppose -3*z - 54 = 3*u, 3*u - z + 16 + 50 = 0. Is 92 - 3/(-2)*(-14)/u a multiple of 6?
False
Let x(w) = 90*w**3 + 3*w**2 + 5*w - 6. Is x(1) a multiple of 46?
True
Let r(m) = -5*m - 2. Let u(v) = v - 1. Let p(f) = -r(f) - 6*u(f). Let o be p(6). Suppose 7*d - 25 = o*d. Does 2 divide d?
False
Let j(s) = -9*s - 12. Let u = 84 + -99. Does 45 divide j(u)?
False
Suppose 0*j - 3 = -j. Let q be 197 + 3/(2 - (-1 - -2)). Suppose 13 + q = j*t. Is 16 a factor of t?
False
Let c(o) be the third derivative of -o**5/60 + 5*o**4/12 + 73*o**3/2 - 39*o**2. Is 34 a factor of c(0)?
False
Suppose 3*w + 0 = -6. Let m be 162/30 + w/5. Suppose -85 = -5*o + o + p, 2*p = -m*o + 90. Is 9 a factor of o?
False
Let h(q) = -3*q + 2*q + 7 + 2 - 2. Let z be h(4). Suppose 3*v = -3*g + 12, -11 = -2*v - g - z. Is 4 a factor of v?
True
Suppose -v - 4 = 0, -5*w = -3*v - 937 - 140. Suppose -4*i + 67 = -w. Does 8 divide i?
False
Suppose 396 = 2*q + q. Suppose q = g - 33. Does 15 divide g?
True
Suppose -25 = -w - 20. Suppose v = 0, -b - v + 42 = -w*v. Is 7 a factor of b?
True
Is 10 a factor of (4 - (-98)/(-21))*162/(-4)?
False
Suppose 329 = 2*g - 5*k, -k - k = -2*g + 344. Suppose 0 = -c + 3*n + g, 4*n + 336 = -4*c + 1092. Is 39 a factor of c?
False
Suppose -4*i - i + 4*g - 1 = 0, 2*i = -g - 3. Is 30 a factor of -8 + 53 - (-1 - i)/1?
False
Let j = -62 + 56. Suppose -4*r = 3*k - 76 + 4, 3*r = 5*k + 83. Is 17 a factor of 900/14 + j/r?
False
Let r(n) = 2*n. Let c(v) = -v - 19. Let o be c(-9). Let f be (-35)/(-14)*(-12)/o. Does 4 divide r(f)?
False
Suppose -3*o - 2*w = -7, 0 = -11*o + 7*o + 3*w - 2. Is 2*o + (191 - 11) a multiple of 26?
True
Suppose -2*l + 5*p = -295, 4*l = -2*p + 3*p + 563. Does 28 divide l?
True
Let w be (3 - 3/2)*2. Suppose 0*u - 72 = -w*u. Suppose -u = -5*z + 126. Is z a multiple of 21?
False
Suppose 2*h + 3*b = 1281, h + 0*h = -4*b + 653. Suppose -5*p = 153 - h. Is 32 a factor of p?
True
Suppose -5*r - 41 = -126. Does 2 divide r?
False
Let j(u) = -4*u**2 - 31*u. Let p be j(-7). Let w = p - -71. Is w a multiple of 23?
True
Suppose p - 220 = -5*t, -734 = -3*p + t + 6. Is p a multiple of 49?
True
Suppose l + 2 = -0*l - g, -3*l - 8 = g. Let m(f) = -14*f - 2. Let s be m(l). Let t = s - -44. Is 14 a factor of t?
True
Let z = -2 + 4. Suppose -3*l + 12 = 2*x, 0 = x - 2*x + z*l + 6. Is x a multiple of 4?
False
Let x be 10/(-35) + 30/7. Suppose 0 = 5*t + x*j - 453, 0 = t - 3*j - 75 - 8. Is 17 a factor of t?
False
Let q = -13 + 16. Let l be (3/2)/q*-58. Let v = -9 - l. Is 10 a factor of v?
True
Let k(v) = 15*v**2 - 13*v - 11. Let b(g) = -23*g**2 + 20*g