e
Let x(m) = 2*m - m + 72*m**2 - 14 + 6 + 9. Does 24 divide x(-1)?
True
Does 153 divide ((-17)/6)/(7/(-5754))?
False
Suppose -69 = -3*g + 33. Does 2 divide g?
True
Suppose 54 + 278 = 4*q. Suppose 0 = -u - 11 + q. Is u a multiple of 15?
False
Let g be (-394)/5 + (-2 - 28/(-10)). Let h = g - -113. Is 8 a factor of h?
False
Suppose 3*k - a = k + 46, 5*k = 4*a + 121. Let m = -16 + k. Suppose 2 = m*h - 43. Does 3 divide h?
True
Suppose -18*o = -5166 + 630. Does 42 divide o?
True
Let f = 164 - 237. Let h(r) = 2*r**2 - 17*r - 14. Let d be h(11). Let b = d - f. Is 38 a factor of b?
True
Let o(s) = s**3 - s**2 + s - 2. Let x be o(3). Suppose -n + 13 = 3*v, 0 = -3*v - v - n + x. Let j(m) = 4*m**2 - 8*m + 3. Is 33 a factor of j(v)?
True
Let w = 19 + -3. Let p be 0 - (1 + 1) - 8. Let b = w + p. Does 5 divide b?
False
Suppose -5*f = 9*f - 3864. Is f a multiple of 46?
True
Let y = -33 + 39. Suppose 6*i + y = 7*i. Is i a multiple of 3?
True
Let j be 0*((-2)/4)/(-1 - 0). Suppose -4*r - o + 338 = j, 2*r + o = -3*r + 422. Is r a multiple of 12?
True
Suppose -6*c - 229 = 53. Let i = c + 74. Is i a multiple of 27?
True
Let q(f) = 958*f**2 - 34*f + 36. Is 20 a factor of q(1)?
True
Let n = -619 - -1454. Is 20 a factor of n?
False
Let b(l) = 6*l**2 - 4*l + 10. Let y be b(4). Is (-4)/18 - (-1370)/y a multiple of 3?
True
Suppose -4 = w, 9*w = 3*j + 7*w - 188. Suppose 9*u + j - 267 = 0. Does 8 divide u?
False
Let w(r) = -r**2 + 14*r - 13. Let d be w(13). Suppose 0 = -4*l - b + 175, l - 46 = -d*l - b. Is 6 a factor of l?
False
Let y be ((-2)/1 + 3)/((-1)/(-151)). Let f = y - 70. Does 13 divide f?
False
Suppose -3*a - b + 242 = 0, -348 - 56 = -5*a - b. Is a a multiple of 7?
False
Let c = -45 - -80. Does 13 divide (-3660)/(-70) - (-5)/(c/(-2))?
True
Suppose -12393 = 11*d - 49771. Is d a multiple of 41?
False
Suppose 0 = c - 0*c + 18. Is 21 a factor of (-168)/(-9)*c*4/(-32)?
True
Suppose 1664*y - 1661*y - 7695 = 0. Does 95 divide y?
True
Let f = -35 + 19. Let d = 99 + f. Suppose 2*u - 106 = -3*k, 2*k + 5*u = d - 16. Is 9 a factor of k?
True
Let g(j) = -8 - 3 - 8 - 17*j + 21*j. Is g(10) a multiple of 8?
False
Suppose -15*o - 2520 = -19*o. Is o a multiple of 45?
True
Let t be (-42)/1*12/(-7). Let m = 124 - t. Is m a multiple of 16?
False
Suppose -66*f = -62*f - 116. Suppose 2*h + 37 = -5*b + 300, b + 2*h = 59. Let v = b - f. Is 22 a factor of v?
True
Suppose 4*v = 330 - 86. Suppose v = 4*f + 13. Is f a multiple of 4?
True
Suppose -5*n - 5 = 0, 0 = 2*i + 3*n + 2*n - 507. Does 7 divide i?
False
Is -8 - -9 - (-144 + 1) a multiple of 18?
True
Let l(h) = 2*h + 182. Let k(b) = -b**3 + 8*b**2 - 8*b + 7. Let s be k(7). Is 13 a factor of l(s)?
True
Let a(x) = 5*x + 1. Let h be a(-2). Let l = h + 12. Suppose 0 = 4*r - l*r - 17. Is 17 a factor of r?
True
Let g(c) = 38*c**2 + 5*c + 2. Let x be g(-3). Suppose -4*n = -r - 272, -2*n + 4*r + x = 3*n. Is 18 a factor of n?
False
Suppose 2*g = 4*q - 3*q + 1571, -3160 = -4*g - 4*q. Is g a multiple of 28?
False
Suppose 2*v - 4 = 2*p - 5*p, -4*p + 3*v + 11 = 0. Let j(r) = 21*r**2 + 2*r + 1. Is j(p) a multiple of 11?
False
Let t(q) = 2*q**3 + 21*q**2 + 3*q + 4. Is 50 a factor of t(-8)?
True
Is 13 a factor of ((-168)/16)/(3/(-416))?
True
Suppose -1 = h, 3*k + 0*h - 55 = h. Suppose 4*d = 3*d + k. Is d a multiple of 9?
True
Let b(h) = -21*h + 23. Let w be b(-9). Suppose g - w = -66. Does 26 divide g?
False
Let v be (7/(-3))/(2/(-6)). Let d(y) = 3*y**2 - 9*y - v*y**2 + 3*y**2 + 18. Is d(-8) a multiple of 13?
True
Suppose 3*n = 7 - 34. Let t = 19 - -5. Is (60/(-16))/(n/t) a multiple of 7?
False
Let z(t) = 7*t**2 + 7*t - 10. Let s be z(-7). Suppose -153*u + 157*u - s = 0. Does 6 divide u?
False
Let w(s) = -47*s - 35. Does 8 divide w(-3)?
False
Let j(x) = -x + 1. Let z be j(-4). Suppose 3*v + 48 = z*f + v, 0 = -2*f - 3*v + 23. Suppose r - 2 - f = 0. Is r a multiple of 6?
True
Suppose 2*p = 4*q - 722, 3*q - 2*p - 427 = 112. Does 11 divide (-6)/(-14) - -5*q/21?
True
Let x(u) = -u**2 - 10*u + 24. Suppose 0 = 2*d - 7 + 23. Is x(d) a multiple of 8?
True
Let j(p) = 114*p - 36. Is 70 a factor of j(4)?
True
Let o(w) = w**2 + 7*w - 8. Let k be o(-9). Suppose -t + 3*s - 2*s + 8 = 0, -5*t = -s - 28. Does 9 divide t/k*22 - -2?
False
Suppose 38 + 42 = -l. Let p be (l/6)/((-13)/(-39)). Is (-2256)/p + 4/(-10) a multiple of 8?
True
Let m = 1 - -2. Let o(u) = 9*u**2 - u**m + 3*u**3 - 3*u**3 + 20 - 10*u - 8. Is o(7) a multiple of 20?
True
Suppose 8576 = 27*q - 11755. Does 31 divide q?
False
Let f be 4 - (3*-1 - (-6 - -2)). Suppose -4*j = 3*y - 297 - 24, -y = -f. Does 13 divide j?
True
Suppose -2*p = 85 - 93. Suppose 5*g - 2*m = 207, p*g = -3*m + m + 180. Does 17 divide g?
False
Let r = -15 + 13. Let o = 22 - r. Is 4 a factor of o?
True
Let m = -4 - 26. Let v be (-222)/m + 2/(-5). Suppose -115 = -2*j - v. Does 27 divide j?
True
Let q(m) = m**3 + 5*m**2 - 7*m + 4. Let s be q(-6). Let c(g) be the first derivative of g**4/4 - 11*g**3/3 + 6*g**2 - 2*g - 4. Is 6 a factor of c(s)?
True
Is 3 a factor of ((-26)/(-6) - 3)*(55 + -1)?
True
Suppose 5*t - g + 1980 = 0, 0 = -2*g - 3*g + 25. Let b = 740 + t. Is 47 a factor of b?
False
Let u = -15 + 19. Suppose 4*o = 4*y - 272, -350 = -5*y - o - u*o. Suppose -k - 2*x = -6*x - 20, -3*k + 3*x + y = 0. Is k a multiple of 8?
True
Let y(q) = -2*q + 12. Let n be y(6). Suppose -z + 5*z = n. Suppose z = u + d - 56, -u = -3*u + 4*d + 100. Is u a multiple of 16?
False
Is (3 + (-28269)/54)/(3/(-16)) a multiple of 8?
True
Let w = -132 - -42. Let h = -64 - w. Is h a multiple of 26?
True
Let c(f) = 2*f**2 - 6*f - 9. Let u(a) = 5*a**2 - 19*a - 27. Let h(y) = -8*c(y) + 3*u(y). Is 3 a factor of h(-7)?
False
Let d = 834 - 117. Suppose -3*y + 735 = -0*y + 3*o, 0 = -3*y + 3*o + d. Is y a multiple of 22?
True
Is 20 a factor of (-3)/((24/(-4648))/1)?
False
Let n(g) = 2*g**2 - 10*g + 6. Let x(z) = 3*z - 15. Let i be x(7). Does 9 divide n(i)?
True
Let w be 6/30 - 318/(-10). Let t = -30 + w. Is 19 a factor of 3/t + (-350)/(-20)?
True
Is 19360/60 + (-4)/6 a multiple of 68?
False
Suppose -27 = 3*t + c + 14, -4*t = c + 55. Does 18 divide ((-24)/t)/((-6)/(-441))?
True
Let f(k) = -k**3 + 8*k**2 + 12*k - 22. Let g be f(9). Suppose 3*j - 132 = -j + 2*o, 2*o = -g*j + 183. Does 7 divide j?
True
Suppose -38*w = 3*y - 33*w - 913, 5*y - w - 1531 = 0. Is y a multiple of 6?
True
Let b = -59 + 114. Suppose 2*g = 19 + b. Does 28 divide g?
False
Let z be ((-91)/(-14))/(1/2). Suppose 3*r - 11 = 2*v - 2*r, -v - 2*r + 8 = 0. Suppose v*h + z = 91. Is h a multiple of 6?
False
Suppose 24 = -m - 4*y - 46, -3*m + 5*y = 142. Let n = m + 102. Is 12 a factor of n?
True
Suppose 3*q = c - 115, 3*c - q = 205 + 116. Let h be 0*1/(0 - 2). Suppose h = 2*n - 4, -4*y + n + c = -2*n. Does 7 divide y?
True
Let l(n) = -2*n - 6. Let s = -31 + 11. Let g = s + 7. Does 13 divide l(g)?
False
Suppose 3*y - d - 67 = 0, 2*d + 5 - 91 = -4*y. Does 25 divide -1373*(-2)/y + 74/407?
True
Let o be (-4)/(-3) + 2514/18. Suppose 4*k + 5*y = o, 4*y = -9 - 3. Is k a multiple of 6?
False
Let o = 86 - 60. Suppose w = q - o, -10 = -w + 3*w. Is q a multiple of 7?
True
Let x = 16 - 6. Let l be (x + 0)/(6/3). Suppose -3*a + 6 = l*y - 2*y, -5*a + 10 = y. Is a even?
True
Suppose 7*b - 3*b + 3*d = 14459, b + 4*d - 3618 = 0. Is 35 a factor of b?
False
Suppose -7*y = -6*y. Suppose y = 5*o - 52 + 12. Is o even?
True
Let h(o) = o**3 + 3*o**2 + 9*o - 1. Let q(y) = 2*y**3 + 5*y**2 + 17*y - 2. Let i(a) = -11*h(a) + 6*q(a). Let u be i(4). Is 20 a factor of (-1426)/(-18) - 6/u?
False
Suppose -3*l + 306 = 3*v, -l + 2*l = -2*v + 97. Does 3 divide l?
False
Let k = -96 + 164. Suppose k + 4 = 2*v. Is v a multiple of 18?
True
Let t be 204/30*(-1 + 6). Suppose 4*w = 3*n + 1 + 36, -3*w = -n - t. Let a = w + 21. Is a a multiple of 17?
True
Let n(a) be the third derivative of -a**5/60 - 11*a**4/12 - 8*a**3/3 + 32*a**2. Does 17 divide n(-18)?
False
Let h(l) = 545*l + 7. Is h(3) a multiple of 43?
False
Let l be 3 + (2 - 4) + 1. Is (-4 + 5)*(3*20 + l) a multiple of 3?
False
Let f(n) = 3*n**3 + 4*n**2 - 22*n + 87. Is 18 a factor of f(9)?
False
Let u be (-5)/(5/(-4)) - 49*-3. Suppose 4*q - 2*n = u + 149, q - n = 76. Does 52 divide q?
False
Suppose -1031 = 52*a - 6127. Does 8 divide a?
False
Let y(i) = -i**2 - 13*i + 3. Let w be y(-10). Suppose 2*a