of (56/3)/(l/6)?
True
Let h(n) = -n**3 - 11*n**2 - 8*n + 29. Let r be h(-10). Suppose r*t - 308 = 5*t. Is t a multiple of 14?
False
Suppose -4*p + 413 + 1366 = 5*k, -5*p + k + 2231 = 0. Let m = p + -238. Is m a multiple of 26?
True
Let h(c) = -6*c - 2. Suppose 2*z + 19 = 3*k + 46, -4*z - 5*k + 43 = 0. Let l be h(z). Let i = l + 134. Does 15 divide i?
True
Suppose 179*y = 160*y + 34200. Does 15 divide y?
True
Let m(j) = 5*j**2 + 3. Let p(s) = 9*s**2 - s + 5. Let z(b) = -11*m(b) + 6*p(b). Let y be z(-2). Suppose 0 = 4*o - y*o + 16. Is o a multiple of 7?
False
Let l(f) be the third derivative of f**5/30 + f**4/12 + f**3/3 - 8*f**2. Is l(4) a multiple of 6?
True
Suppose 0 = 2*c + 213 + 151. Let l = 282 + c. Is l a multiple of 10?
True
Let y = 531 - 298. Suppose 42 = 11*v - y. Does 7 divide v?
False
Let q = -5 + 7. Suppose -q*a - 1 = -13. Is 5 a factor of a/5*(-150)/(-12)?
True
Let d = -3102 + 3609. Is d even?
False
Let m be (-2)/5 + ((-96)/(-20))/2. Suppose -o - 3*o - 204 = -m*g, -4*g + 387 = -o. Does 8 divide g?
True
Let c(f) = f**3 - 7*f**2 - 6*f - 16. Let i be c(8). Suppose i = -4*t - x + 251, 4*t - 313 = 2*x - 59. Does 16 divide t?
False
Let h = 1 - 33. Let c = h - -89. Suppose -5*p + 103 = 5*v - c, -4*v + 96 = 3*p. Is 16 a factor of p?
True
Let i be 0/((-12)/4 - -2). Suppose 5*q - 20 = -i*q. Suppose 80 = 4*w - q*b - 0*b, 0 = 3*w + b - 52. Is 7 a factor of w?
False
Let b(r) be the second derivative of r**5/20 + r**4 - 13*r**3/6 + r**2 + 7*r. Let p be b(-13). Let i(v) = 6*v**3 - 4*v**2 + v + 2. Does 13 divide i(p)?
False
Let k(f) be the second derivative of -f**4/12 + f**3 + 5*f**2/2 - 9*f. Let v be k(7). Is (-87)/(1 + -2 + v) a multiple of 13?
False
Let j be 6/(-21) + 142/7. Let w = -20 + j. Suppose w*u + 6*u = 228. Does 18 divide u?
False
Suppose 3 = 2*h + 9. Is (0 - h)/(6/38) a multiple of 2?
False
Suppose -5*g = -3*g - 96. Let o = 88 - g. Does 10 divide o?
True
Suppose -32*g + 10577 + 18287 = 0. Is g a multiple of 41?
True
Suppose 25*n - 37148 + 12498 = 0. Does 29 divide n?
True
Let x = 56 - -34. Suppose j - 88 = -k, -86 - x = -2*k - 5*j. Is 22 a factor of k?
True
Is 22 a factor of (580/(-29))/(12/(-11) + 1)?
True
Suppose -2*s + 208 = 14*s. Does 4 divide 5*-1 - (-26 - s)?
False
Let n = 5 + -1. Suppose 0 = 3*i - n*i + 42. Does 14 divide i?
True
Let p(t) = t - 1. Let j(u) = -4*u - 20. Let d be 4*3/24*-2. Let c(f) = d*j(f) - 5*p(f). Is c(11) a multiple of 7?
True
Is (5 - (-4923)/27)/((-4)/(-6)) a multiple of 20?
False
Suppose -4*y - 4*n + 40 = 0, -4*y = n - 8 - 32. Suppose 328 + 62 = y*t. Is 3 a factor of t?
True
Suppose 5*p - 5953 = -3*q, -4*p = p - 4*q - 5981. Suppose 0 = -m + 5*k + 234, -5*m + 2*k + p = -0*k. Is m a multiple of 37?
False
Suppose 0 = -2*j - w - 586, 1468 = -5*j - 4*w - 0*w. Does 14 divide (-2)/(-7) + j/(-7)?
True
Let p(w) = -12*w + 102. Is 69 a factor of p(-26)?
True
Let y = 600 + -236. Suppose 0 = 4*w + 3*w - y. Is 9 a factor of w?
False
Suppose -u - 2*g = -6*u + 22, 3*u + 2*g = 26. Let d(f) = -3*f**2. Let b be d(4). Is 108/b*(-32)/u a multiple of 6?
True
Does 20 divide -21*(-259)/(-21)*7*-1?
False
Let d(y) = -31*y**3 - y**2 - 5*y - 42. Is 16 a factor of d(-4)?
False
Let t(k) = -3*k**2 + 3*k - 36. Let u(x) = -4*x**2 + 3*x - 36. Let g(o) = 5*t(o) - 4*u(o). Does 5 divide g(-9)?
False
Let x(j) = 29*j**2 - 26*j - 83. Is 43 a factor of x(-5)?
False
Let h = 50 - 42. Suppose h*j - 152 = 4*j. Does 19 divide j?
True
Let i(o) = -o**3 - 15*o**2 - 16*o - 20. Let v be i(-14). Suppose -9*x + 122 = -v*x. Is x a multiple of 12?
False
Let s be 4/(-6) - 4/(-6). Let k(q) be the third derivative of q**5/60 + 49*q**3/6 + 53*q**2. Is 16 a factor of k(s)?
False
Suppose -4*h - 3*a + 28 = 0, -2 + 6 = 5*h - 4*a. Let k(v) = -4*v**3 + 4*v**2 - 3*v + 6. Let d be k(h). Does 11 divide (-4)/3*d/12?
True
Let v = -21 + 11. Let w = v + 12. Suppose 1 = -4*k - 19, 3*t + w*k - 32 = 0. Does 5 divide t?
False
Is (2 + (-499)/5)/(3/(-30)) a multiple of 75?
False
Suppose -6*o + o + 5 = 0. Let k be (-1 - -2) + (o - -13). Let t = 33 + k. Is 24 a factor of t?
True
Suppose 0 = 4*t - 7*t - 39. Let x = t + 39. Is 13 a factor of x?
True
Let t(l) = l**2 - 12*l. Suppose 40 = -3*v - v. Is t(v) a multiple of 10?
True
Let o be 5 - 0 - (0 + (6 - 3)). Suppose -167 = -3*d - 2*s, -d + o*s = 3*s - 56. Is 11 a factor of d?
True
Let t be (3 + -3)*1 - -174. Suppose 2*m = t - 56. Is m a multiple of 23?
False
Suppose 0 = -2*t - 0*t + 14. Let q(a) = -19*a - 3. Let g be q(-3). Is 9 a factor of (-11)/((-231)/g)*t?
True
Let s(f) = 2*f**2 - 4*f + 1. Let n be s(4). Let v = 50 - n. Is (-16)/6*v/(-4) a multiple of 9?
False
Let p(a) = -a**3 + 8*a**2 - 7*a + 4. Let s be p(7). Let o be s/(-26) - 56/(-26). Is 16 a factor of 4/((-99)/(-48) - o)?
True
Let h = -4 + 6. Let z(x) = 5 + 2*x - h - 7*x. Is z(-5) a multiple of 14?
True
Suppose 3*t + 2*j - 1 = 0, 5*j - 8 = t + 20. Let z(m) = m. Let k(u) = 11. Let v(n) = t*z(n) - k(n). Is 4 a factor of v(-5)?
True
Suppose 6*k - 3*k = 57. Let y(a) = -2*a**2 - 26*a + 30. Let q be y(-14). Suppose 0 = -i + q*f - 4*f + k, -2*f - 35 = -5*i. Is 9 a factor of i?
True
Let h = -13 + 11. Let r(n) = -4*n**3 + 4*n**2 - 2. Is r(h) a multiple of 23?
True
Suppose -3*c = 5*i - 25965, -3*i + 15579 = 9*c - 6*c. Does 33 divide i?
False
Suppose -7*b + 3*b = -1144. Suppose -h + b = 5*z - z, 5*z - 358 = -h. Suppose 6*y = 3*y + z. Does 8 divide y?
True
Is (20280/102)/10 + (-2)/(-17) a multiple of 10?
True
Let h be (1/(-1))/((-2)/6). Suppose -2768 - 4706 = -101*j. Suppose 2*k + 4*z - j = -z, h*z = k - 26. Does 16 divide k?
True
Let j(c) be the second derivative of -121*c**3/6 - c**2/2 - 2*c. Let u be j(-1). Suppose -2*s + u = 3*s. Does 19 divide s?
False
Let y(o) = 2*o**2 - 14*o + 10. Let p be y(10). Is 15 a factor of (-28)/p - (-174)/10?
False
Let h(c) = -c**3 - c**2 - 2*c - 3. Let a be h(-2). Suppose 0 = a*d - 915 - 15. Let x = d - 132. Is 24 a factor of x?
False
Let s(c) = -41*c - 5. Let z(i) = -14*i - 9. Let v(p) = -13*p - 10. Let l(u) = 6*v(u) - 7*z(u). Let h(t) = -7*l(t) - 3*s(t). Is 10 a factor of h(-3)?
False
Suppose 5*m + 34 = 3*n, 0*m = -2*m + n - 13. Let d = 7 + m. Suppose a - d*t = 23, -5*t - 11 + 77 = 4*a. Is a a multiple of 19?
True
Let z(j) = 3*j**2 + 25*j + 56. Let s be z(-7). Let m = 50 + -26. Let r = s - m. Does 4 divide r?
True
Let v(t) = -11*t + 211. Let n be v(0). Let x = 499 - n. Does 16 divide x?
True
Suppose 0 = 3*z + 3*n - 9, 0 = -2*z + n - 6*n - 9. Suppose -14*r = -z*r - 228. Is r a multiple of 19?
True
Let i(v) = 2*v**2 + 3*v. Let j be i(-2). Does 12 divide j/(-8) + ((-1285)/4)/(-5)?
False
Let a(k) = -5*k**2 + 4*k + 1. Let y(z) = z**2 + z. Let x(g) = -a(g) - 4*y(g). Let u(v) be the first derivative of x(v). Is 8 a factor of u(16)?
True
Suppose 3*z - 2*z = 4*f - 4, -3*f + 6 = 0. Let l(d) = 41*d - 16. Is 37 a factor of l(z)?
True
Let u = -208 - -596. Does 35 divide (-2 - -1)/(-3 + 1160/u)?
False
Let t(u) = 5*u**3 + 14*u**2 - 22*u - 2. Let p(h) = 14*h**3 + 42*h**2 - 65*h - 5. Let s(l) = 6*p(l) - 17*t(l). Let o be s(13). Let r = o + 59. Does 8 divide r?
True
Let l = -2268 + 3291. Is 93 a factor of l?
True
Let s(g) = 12*g**2 - 32*g + 94. Does 15 divide s(3)?
False
Suppose 41*h = 16*h + 18550. Is 7 a factor of h?
True
Suppose 2 + 7 = 3*k. Suppose -4*c = 6*q - q - 35, -4 = -k*q + c. Suppose 7*a - 120 = q*a. Does 15 divide a?
True
Suppose 6 = 11*i - 5. Is (-2)/3 - (i - 411/9) a multiple of 11?
True
Suppose -u + 61*r - 60*r + 1552 = 0, -3*r = 5*u - 7776. Is u a multiple of 37?
True
Let f(k) = 4*k**2 + 6*k + 2. Let p be f(-2). Let o(b) = 4 + 0*b**2 - b + 2*b**2 - p - 12. Is o(-6) a multiple of 16?
True
Let y be (32/6)/(20/30). Suppose 36 = 3*p - 4*l, 95 = -3*p + y*p + 5*l. Let v = 21 - p. Does 3 divide v?
False
Suppose 7*r + 152 = 12. Let a = 20 + r. Suppose 3*z = -4*v + 105, a*v + v = -4*z + 36. Is 6 a factor of v?
True
Let k = -19 - -31. Let t be k/(-9)*(-204)/2. Suppose 0 = -4*z - 32 + t. Is 12 a factor of z?
False
Suppose -4*u - 3*i + 19 = 0, 0 = -3*u - i + 12 + 1. Suppose 0 = f + c - 113, -349 = -u*f - 3*c + 101. Does 28 divide f?
False
Let b = -2 - 13. Let k(x) = -x + 11. Is 6 a factor of k(b)?
False
Suppose -3*s + 3*f = -1242, s + 8 - 428 = 4*f. Is 35 a factor of s?
False
Does 43 divide (-263)/(5 + -6)*2?
False
Let y(m) = m**2 - 7*m + 23. Suppose -5*c = -70