ide z?
True
Does 5 divide (120270/(-51))/(-19) - 2/17?
False
Suppose 0 = 5*o - 4*m - 21, 2*o + 4*m - 19 = -5. Suppose -z + 3 = -o. Suppose 0 = -z*d + 4*d + 80. Does 20 divide d?
True
Suppose 19*v + 2 - 154 = 0. Let d(r) be the second derivative of -r**4/12 + 3*r**3/2 + 5*r**2 + r. Does 10 divide d(v)?
False
Let r = 85 + -42. Let b = r - 36. Does 7 divide b?
True
Let f(r) = -r. Let b(z) = 2*z**2 - 13*z. Let n(s) = b(s) - 3*f(s). Is 22 a factor of n(-6)?
True
Is 8746/18 - (-51)/459 a multiple of 76?
False
Let r = -21 + 24. Suppose 2*g - 55 = -r. Is g a multiple of 4?
False
Suppose -84 = -12*b + 15*b. Let z = 30 + b. Does 17 divide z*(-1)/(4/(-54))?
False
Let h(t) = -23*t + 23 - t**2 + t + 9. Is h(-18) a multiple of 14?
False
Let j(u) = 1181*u**2 + 8*u - 4. Is j(-2) a multiple of 96?
True
Let m(r) = 4*r + 26*r**2 - 4*r - 25*r**2 - 2*r + 4. Is 15 a factor of m(-3)?
False
Let l(i) = -i**3 + 42. Let h(x) = -x**2 - 5*x. Let p be h(-5). Is l(p) a multiple of 14?
True
Does 54 divide ((-22362)/9)/(-2) + (-2)/6?
True
Let f = -567 - -738. Does 17 divide f?
False
Let k(m) = m**2 + 6*m + 6. Let i be k(-5). Suppose i = -2*f + 101. Is f a multiple of 25?
True
Let l(t) = 23*t**2 - 6*t - 5. Is 3 a factor of l(-1)?
True
Let d = -1239 - -1716. Does 9 divide d?
True
Let u(m) = 100*m + 29. Let h be u(-23). Does 27 divide h/(-12) + (-12)/48?
True
Suppose 0 = 3*x + 2*x + 5*p - 285, 79 = 2*x - 5*p. Let v = 71 - x. Is v a multiple of 17?
False
Suppose -4*j + 3 + 3 = -h, 100 = -4*h - 3*j. Let x(o) = -o**2 - 26*o + 2. Does 20 divide x(h)?
False
Is 7 a factor of ((-63)/14 - 3)/(3/(-140))?
True
Suppose 0 = d - p - 219, 2*d - 438 = 26*p - 27*p. Does 11 divide d?
False
Suppose -5*a = -3*q - 5, -q - 6*a + 3 = -3*a. Let g be 2 + 27*(q - 1). Let f = 67 + g. Is f a multiple of 22?
False
Suppose 0 = -4*r + r - 3*b - 48, -5*r - b = 60. Let j be (-11 - r)/(0 - 3). Suppose 4*k + 1 - 25 = j. Is 3 a factor of k?
True
Suppose -15 = -2*k + 201. Let y be (0 - (3 - 3) - -1) + 4. Suppose j + 44 = 2*j - y*b, -5*j = 3*b - k. Is j a multiple of 7?
False
Suppose 0 = x - 4*q + 2 + 3, -5*q = 3*x - 19. Suppose 12 = x*a - 36. Is 7 a factor of a?
False
Let h(u) = -3*u + 54. Let w be (10/3)/(16/(-12) - -1). Is h(w) a multiple of 21?
True
Is 32/(2688/19215) + 5/4 a multiple of 10?
True
Let b(f) = 6*f**2 + 2*f + 2. Let u be b(-1). Is (-76)/(-12) + 4/u a multiple of 3?
False
Does 24 divide (-11304)/(-10) - 2 - (-18)/(-45)?
True
Let t = -155 - -220. Let m = -6 - t. Let o = m + 152. Is o a multiple of 27?
True
Let z(d) = -12*d**2 + 15*d - 9. Let c be z(6). Is (-5)/(105/c) - (-2)/7 a multiple of 17?
True
Let n(u) = 52*u**2 - 4*u + 2. Let x be n(3). Suppose w + 685 = 4*w - 5*i, -2*w = -2*i - x. Suppose 11*b = 6*b + w. Does 20 divide b?
False
Let z be (-4)/14 + (-12610)/(-35). Suppose -j + z = 2*j. Does 12 divide j?
True
Suppose -29*n = -6147 - 21548. Is 21 a factor of n?
False
Let k = -518 - -764. Does 15 divide k?
False
Suppose -13*f = -11*f - 64. Is 14 a factor of f?
False
Let h = -294 - -332. Is 3 a factor of h?
False
Let t(g) = -g**3 - 2*g**2 + 3*g. Let l be t(0). Suppose 2*q = 5*d - 50, l = -3*d - 5*q - 23 + 84. Does 10 divide d?
False
Let n = 369 - 241. Does 8 divide n?
True
Let a be (-18)/(-9) + 1 + -1. Let v be (-2 - -4) + a + 25. Let f = v - -6. Is 12 a factor of f?
False
Is (-9 - 1)/(-60)*(-1 - -3955) a multiple of 37?
False
Let b(i) = -3*i - 2*i - 10 + 2*i + 0. Let p be b(-6). Let m(h) = -h**2 + 13*h. Is m(p) a multiple of 20?
True
Suppose -6*p + 186 = -558. Is p a multiple of 28?
False
Let i = -2185 - -7135. Is 66 a factor of i?
True
Suppose -6*x + 48 = -2*x. Let d = -12 + x. Suppose k - 24 = -3*k + 3*i, d = -5*i + 20. Is k a multiple of 9?
True
Let r = -285 + 477. Does 8 divide r?
True
Suppose 0 = -t + h + 5, 2*t - 5*h = -4*h + 6. Let v(p) = 5*p**2. Let d be v(t). Suppose 183 = d*b - 3*a, 3*b = -a - 4*a + 103. Is b a multiple of 18?
True
Let x(j) be the third derivative of -j**5/60 - j**4/6 + 2*j**3/3 - 4*j**2. Let m be x(-6). Is (28/m)/((-3)/18) a multiple of 14?
False
Let u be 334/(-7) + (-6)/21. Let x = 87 + u. Does 11 divide x?
False
Let b(o) = o**3 - 24*o**2 + 13*o - 51. Is b(24) a multiple of 15?
False
Suppose 3 = l + 2*l. Does 25 divide (1 + l)/(-2) + 76?
True
Suppose y + 4*b = -0*b - 94, 436 = -5*y - 3*b. Let h = -64 - y. Does 7 divide h?
False
Suppose 3*h = -d, 3*h - 4*d - 16 = -h. Let a be h*(22 + (-12)/4). Let y = 10 + a. Does 14 divide y?
False
Let u(d) = -d**2 + 5*d - 1. Let f be u(4). Suppose m = -f + 5. Suppose -m*w = -5*r - 20 - 20, 0 = -5*w - 3*r + 69. Does 5 divide w?
True
Let j be 105/(-6) + (-1)/2. Let q be (-1 + 4)*j/(-6). Is 7 a factor of (-34)/(-2) - (q + -10)?
False
Suppose 0 = -8*x + 20*x - 1932. Is x a multiple of 23?
True
Let o = 628 - 347. Suppose -o = 12*h - 953. Is 8 a factor of h?
True
Let j = -43 + 49. Let s = 13 - j. Is s even?
False
Let q be (-722)/(-5) + 4/(-10). Suppose 5*j - q = -2*c, -j = -0 - 4. Suppose 5*k - 2*u - 166 = u, -u = 2*k - c. Does 16 divide k?
True
Let b = 13 - 8. Suppose b*n - 411 = 334. Suppose 0 = 5*p + 29 - n. Is 21 a factor of p?
False
Let d(t) = 9*t**2 - 8*t - 40. Is d(-4) a multiple of 8?
True
Let h(i) be the second derivative of i**3 + 17*i**2/2 - 5*i. Let d be h(7). Is (-3)/(-4)*(d - -9) a multiple of 17?
True
Let q(n) = 6*n + 610. Does 10 divide q(0)?
True
Suppose -3*p - 136 = -0*p + 2*z, 5*p = -4*z - 230. Is 7 a factor of (-2)/((-80)/p + -2)?
True
Let s = 8 + -5. Suppose -8 = -4*f + 3*n + n, -8 = -4*f - n. Suppose s*q - 75 = f*q. Is q a multiple of 20?
False
Suppose -r - 21*r + 14960 = 0. Does 17 divide r?
True
Suppose 1238 = 4*j + 5*h, 3*j - 923 = -3*h + 2*h. Is j a multiple of 9?
False
Let g(q) be the third derivative of 0*q + 1/120*q**6 + 2/15*q**5 + 5/24*q**4 - q**3 + 0 - q**2. Is 16 a factor of g(-5)?
False
Suppose 2*t + l = 7, 3*t - t + 5*l - 19 = 0. Suppose h - 4 = -t*u - 1, -4*h = u - 12. Suppose 5*p - 7 = 3*p + r, -r = -h. Does 3 divide p?
False
Suppose -4*m + 8 = 0, -2*c + 6*c + 3*m = 14622. Is 21 a factor of c?
True
Suppose 5*n + 3521 = 4*u, 0 + 3 = -3*n. Is 29 a factor of u?
False
Suppose 0 = -3*x - 5*c + 15, -3*x - x - 4*c + 12 = 0. Suppose x*a = -4*a. Suppose p - 28 = -4*u, -3*p = -a*p + u - 51. Does 16 divide p?
True
Let y be 208/28 + 9/(-21). Let m(n) = -n**3 + 6*n**2 + 8*n - 3. Let g be m(y). Suppose -3*q + 8 = -4*t, -q - q = -5*t + g. Does 4 divide q?
True
Suppose 17 - 97 = -2*s - t, 5*s - 4*t - 226 = 0. Is 14 a factor of s?
True
Let i be (-2)/6*(52 - 13). Let o(h) = 1 - 19 - 3*h**2 - 15*h + 2*h**2. Does 8 divide o(i)?
True
Suppose 7*m = 6*m + 7. Suppose 0 = 10*o - m*o - 9. Suppose 190 - 70 = o*v. Is v a multiple of 10?
True
Let c be (-17)/((-102)/36) - 1/1. Does 15 divide (-452)/(-10) - ((-7)/c)/(-7)?
True
Does 15 divide 10/(-4) - (2403/(-6) + 3)?
False
Let r be (4/(-6))/((-2)/363). Suppose 10*l = -l + r. Does 11 divide l?
True
Is 42/(-12)*2720/(-14) a multiple of 34?
True
Suppose -172 = -x + 2*a, 362 = -4*x + 6*x + 5*a. Is x*2*(-4)/(-16) a multiple of 22?
True
Let t(o) = -o**3 - 12*o**2 + 11*o + 25. Let i be t(-13). Let g = -17 + i. Is 5 a factor of g?
False
Suppose 3*n + 4*b - 60 = 0, 5*b = 3*n - 5*n + 47. Suppose -15*v - 69 = -n*v. Does 17 divide v?
False
Is (695/(-2) + -3)*(1 - 3) a multiple of 14?
False
Let j(y) = 0*y - 4*y - 2*y - 11*y - 4. Is 8 a factor of j(-2)?
False
Is 5/25*5*1627 a multiple of 57?
False
Let m(z) = 7*z**3 - 4*z**2 - 11*z - 9. Let h(o) = 3*o**3 - 2*o**2 - 5*o - 4. Let p(u) = -9*h(u) + 4*m(u). Let j be p(-4). Let k = 3 - j. Does 13 divide k?
True
Let s(z) = 4*z - 14. Let q be s(7). Suppose 4*c + 0*d - q = 2*d, -4*c = -3*d - 11. Suppose -c*v + 376 = -v. Does 24 divide v?
False
Let d = -24 - -24. Suppose d = -3*v + 22 + 83. Is 5 a factor of v?
True
Let h(c) = c**3 + 10*c**2 - 10*c + 20. Does 9 divide h(-11)?
True
Suppose 5*t = 4 + 21. Suppose t*x + 0*f = -f + 270, -x + 3*f = -54. Does 9 divide x?
True
Let r = 5 + -8. Is 4/(4/69) - r a multiple of 9?
True
Suppose 0 = -4*h + 5*d - 21 + 6, -4*h - d - 21 = 0. Suppose -6*f = -f - 285. Let g = f + h. Is g a multiple of 13?
True
Let x be -3*8/(-18) - (-1102)/114. Suppose -r + j - 11 = -0*r, -r + 3*j - 17 = 0. Let o = x - r. Is o a multiple of 15?
False
Let r(n) be the third derivative of n**6/120 - 7*n**5/20 + 9*n**3/2 - 19*n**2. Is 4 a factor