s 7 divide (-16 + t)*9/(-2)?
True
Suppose 6 = 5*l + 2*o, 4*l = -o - 3*o. Suppose -5*p - 5*a - 215 = 0, -4*p + l*a - 196 = -2*a. Let x = -33 - p. Does 10 divide x?
False
Suppose -5*b = -2*w + 1090, -532 = -w - 0*b - 4*b. Is w a multiple of 54?
True
Suppose 274*b = 291*b - 6783. Does 19 divide b?
True
Suppose 4*g - 3 - 97 = 0. Suppose -5*d - g = 3*a, 0*a + 35 = -3*a + 5*d. Let o = 17 + a. Is o a multiple of 2?
False
Suppose -h + 5 = -3*u, -5*h + 16 - 2 = -4*u. Suppose -3*y = -12 + 3, 0 = 3*p + h*y + 15. Let v = 29 - p. Does 12 divide v?
True
Suppose -v = -r - 0*r - 2, 9 = -2*r + 3*v. Suppose 0*g + 63 = g - r*x, 3*x = 0. Let l = -45 + g. Does 6 divide l?
True
Let u = 911 - 549. Suppose -4*m - 90 = -u. Is 11 a factor of m?
False
Let d = 64 + -61. Suppose -180 = k - d*k. Is 16 a factor of k?
False
Let w(n) = -61*n**3 + 8*n**2 + 62*n**3 - 16*n - 2 - 2. Is 22 a factor of w(-9)?
False
Suppose -t - o + 18 = 2*o, -5*o + 31 = 2*t. Suppose -2*h + 200 = 2*h - k, t*k = 5*h - 243. Does 12 divide h?
False
Let p = -106 - -160. Is (1161/p)/((-1)/(-6)) a multiple of 16?
False
Suppose -218 - 326 = -5*f + 4*n, -5*n = 5*f - 535. Does 6 divide f?
True
Let q(y) = y**3 + 12*y**2 - 19*y - 10. Let z be q(-9). Suppose 7*b - z - 324 = 0. Is b a multiple of 17?
False
Suppose -5*n = -23 - 27. Let w(t) = -t + 12. Let m be w(n). Is 16 a factor of ((-3)/m)/((-4)/104)?
False
Let v = -6 + 24. Does 7 divide (-24)/v*39/(-2)?
False
Let v(p) = -1 + 5*p - 12*p - 11*p**2 + 12*p**2. Is 12 a factor of v(-3)?
False
Suppose -8*h + 5*h = -6. Let k(b) = 8*b + 7. Let f be k(8). Suppose h*r - f = 57. Does 16 divide r?
True
Let c(w) = -w + 6. Suppose 0 = -7*x + 6*x + 7. Let l be c(x). Let r(a) = -28*a + 2. Is r(l) a multiple of 10?
True
Suppose 40*o = 10*o + 40170. Is 103 a factor of o?
True
Let a be 72/(-45) + 4/(-10). Let w(x) = -27*x**3 + 2*x + 2. Does 41 divide w(a)?
False
Let h(v) = -51*v - 191. Is h(-20) a multiple of 6?
False
Let c = 15 + -12. Suppose f - 107 = q, 0 = -f + 2*f - c*q - 111. Is 11 a factor of f?
False
Is ((-6)/16 + 940/160)*14 a multiple of 2?
False
Let a(t) = t**2 + 5*t + 2. Let y be a(-5). Suppose y*z - 152 = -0*z - 2*k, 2*z - k = 143. Suppose -w - z = -0*s - 2*s, -4*s = -5*w - 131. Is s a multiple of 13?
True
Let p = -123 - -117. Let m(d) be the third derivative of d**5/30 + 3*d**4/8 + 5*d**3/6 - d**2. Does 21 divide m(p)?
False
Is ((-14)/(-4) - 0)/(122/28060) a multiple of 17?
False
Let a be 0/4 - 1*-2. Suppose -4*v + 16 = -4*c, a*v - 56 = -3*v - 4*c. Let r(s) = -s**2 + 12*s - 10. Is 12 a factor of r(v)?
False
Suppose 529*u = 515*u + 1526. Is 2 a factor of u?
False
Suppose w = -2*w + 12. Suppose -n + 8*u - 4*u = -48, -4*u = w*n - 92. Suppose 2*c - 62 = -4*a, 4*a + 4*c - n - 40 = 0. Does 7 divide a?
True
Suppose 0 = -3*m - 32 - 19. Let d = m - -8. Let j(w) = -w**2 - 14*w - 6. Is j(d) a multiple of 13?
True
Suppose 2*f - 1708 = s, -6 = 13*s - 16*s. Is 57 a factor of f?
True
Suppose -l - 5 = k + l, 3*l - 51 = 3*k. Let r = k - -14. Does 7 divide 7 - (2 + -1 - r)?
True
Suppose 0 = 2*k - n + 13, 2*n - 6 = -k - 0*n. Let j(o) = 6*o**2 + 3*o + 3. Is 29 a factor of j(k)?
True
Let h(o) = -2*o**3 - 11*o**2 + 7*o + 66. Does 88 divide h(-11)?
True
Suppose -3*a - 5 = -j - 3*j, 2*j - 7 = -3*a. Suppose -11 = 2*x + 5*o - 0, 0 = -5*x - 3*o + a. Suppose x*w = 5*w - 27. Is 2 a factor of w?
False
Let i be (-208)/(-24) - 2/(-6). Let q(x) be the third derivative of -x**5/60 + 5*x**4/12 - 2*x**3/3 - 9*x**2. Is q(i) a multiple of 4?
False
Let n = -2799 + 4682. Is 24 a factor of n?
False
Suppose -63*v + 61*v + 10 = 0. Suppose v*g + 9*g - 3178 = 0. Does 12 divide g?
False
Suppose 5*s = -2*n + 563 + 822, 2*s + 6 = 0. Does 6 divide n?
False
Suppose 2*h = -h - 6. Let g(s) = -2*s**2 - 3*s - 2. Let y be g(h). Is (-1 + 2)*y/(-1) a multiple of 2?
True
Let i(j) = 8*j**2 - 14*j + 36. Is 9 a factor of i(5)?
False
Let s = 1694 - 506. Is s a multiple of 27?
True
Let j = 23 - 18. Suppose -j*v = 4*x, -5*x = v - 2*v - 29. Suppose 3*g = x*s - 84, 4*g - g = -9. Does 15 divide s?
True
Let x(s) = s**3 - 7*s**2 + s - 10. Let p be x(7). Does 9 divide -1*(-3 + 18 - 3)*p?
True
Let m = 987 + -799. Is 10 a factor of m?
False
Let f(c) = -65*c - 22. Does 16 divide f(-6)?
True
Does 20 divide ((-284)/12 + 2)/(4/(-96))?
True
Let g = -29 - -291. Let z = -142 + g. Does 8 divide z?
True
Suppose 0 = 12*s - 7*s - 55. Suppose s*b + 36 = 15*b. Is 7 a factor of b?
False
Suppose o = -0*o - 3*q - 22, o + 5*q + 32 = 0. Let j = o - -56. Let h = -21 + j. Is h a multiple of 15?
False
Let s = -692 + 775. Is 9 a factor of s?
False
Let q be (-2)/(-2)*(2 - -6). Suppose -4 = -9*j + q*j. Suppose 5*r + 3*d - 120 = 0, -109 = -j*r + 3*d + 14. Is r a multiple of 17?
False
Let t(n) = n**3 - 6*n**2 + 5*n - 1. Let d be t(5). Let l be (d/(-3))/((-1)/15). Is 6 a factor of -2 + 42/(-2 - l)?
True
Let z = 104 - 31. Let f = z - 41. Is f a multiple of 16?
True
Let n = -85 + 88. Is 22 a factor of 0 + n + 1 - -141?
False
Let q(l) = -3*l + 278. Is 4 a factor of q(-34)?
True
Let g be (1 - (0 + 2))*(-1)/(-1). Does 33 divide 132 + g + (-4 - -5)?
True
Let o = -11 - -13. Suppose -o*c - 4 = -3*c. Suppose c*h - 79 - 25 = 0. Is h a multiple of 8?
False
Suppose -2*k - 4*d = 12, 2*d + 9 = 3*k + 51. Let q = k + 40. Is 8 a factor of q?
False
Let k(p) be the third derivative of 3*p**2 + 7/6*p**3 + 0*p + 1/60*p**5 + 0 - 1/3*p**4. Is k(8) a multiple of 7?
True
Let h = -1019 - -1600. Does 22 divide h?
False
Suppose 10*t - 8977 = 6683. Is t a multiple of 54?
True
Let b = -21 - -24. Let m = b + 94. Is m a multiple of 8?
False
Suppose n = 3*j - 9 - 0, 0 = 4*j - 4*n - 20. Suppose -j*b + 0*h = -3*h + 97, 3*b - 2*h + 148 = 0. Is ((-4)/(-8))/((-1)/b) a multiple of 11?
False
Suppose 15704 = 41*u + 206. Is u a multiple of 39?
False
Let u = 3 + 26. Let v(g) = g**3 + 7*g**2 - 8*g + 5. Let y be v(-8). Suppose -y + u = t. Is 12 a factor of t?
True
Suppose 4*n = 2*o - 12, -o + 5*o - 3*n - 24 = 0. Let m(c) = -c**3 + 13*c**2 - 16*c - 14. Let x be m(11). Suppose -x = -g + o. Is 12 a factor of g?
False
Let f(b) = 15*b**2 - 16*b - 31. Let x(u) = 7*u**2 - 8*u - 15. Let h(o) = -6*f(o) + 13*x(o). Is h(11) a multiple of 18?
False
Let t be (6/(-3) + 1)*(29 - -1). Let z = t + 60. Is 10 a factor of z?
True
Suppose -4*f + 1300 = -2240. Does 59 divide f?
True
Let c(i) = 22*i + 2. Let b be c(4). Let n(m) = 36*m**3 - 2*m**2 - 2. Let l be n(2). Suppose -4*y + l - b = 0. Is y a multiple of 13?
False
Let v(o) = -o**3 + 3*o**2 - 2*o + 9. Let l be v(4). Is (55/l)/((-2)/18) a multiple of 11?
True
Let l(m) = -m**3 + 9*m**2 + 5. Let y be l(9). Suppose 0 = y*n + z - 249, -3*n - z + 151 = -2*z. Is 9 a factor of n?
False
Suppose 0 = -4*b - m - 10 - 4, -b = 3*m + 9. Let n(d) = -4*d**3 - 4*d + 6. Does 42 divide n(b)?
True
Suppose 176*d - 179*d = 6, 3*y - 5*d = 2191. Is y a multiple of 129?
False
Let v(m) = -m**3 + 5*m**2 - 3*m + 23. Let n be v(6). Let r = 45 + n. Is r a multiple of 14?
True
Let z be 1 + 9 - (6 - 4). Let s = 4 + z. Is 3 a factor of s?
True
Let k be 0 + 0 + (-4 - -20). Is 15 a factor of 64 + k/(-12)*3?
True
Is 33 a factor of (-11)/((-66)/24) + -6 + 563?
True
Let w = -870 - -1139. Is 27 a factor of w?
False
Let r be (-25987)/(-65) - (-4)/(-5). Let c = -159 + r. Is c a multiple of 15?
True
Let h(f) = f + 49. Let d = -1 - 18. Is 5 a factor of h(d)?
True
Let b = -347 - -801. Suppose -5*o + 64 = 3*u - 0*u, -4*u - 2*o = -76. Is b/u + 6/(-27) a multiple of 17?
False
Suppose -2781*t + 8892 = -2769*t. Is t a multiple of 13?
True
Let y(v) = -4*v + 4. Is y(-13) a multiple of 11?
False
Suppose 0 = -y + 5*l + 92, -4*y + 5*y + 2*l = 64. Is y a multiple of 72?
True
Let o(p) = -2*p - 9. Let b be o(-4). Is b/(-1*(-2)/(-214)) a multiple of 60?
False
Let q = -37 - 89. Let v = q - -90. Is ((-5)/4)/(9/v) a multiple of 3?
False
Suppose 3*a + 86 = 5*a. Let i be 6/(-2) + 6 + a. Suppose -229 = -3*w - i. Does 16 divide w?
False
Let z(u) = -u**2 + 9*u + 17. Let o be (3/2)/((-21)/(-84)). Does 23 divide z(o)?
False
Let x(g) = -23*g**3 + 10*g**2 + 30*g - 12. Is x(-4) a multiple of 27?
False
Let t(l) = l**2 + 25*l. Let m be t(-25). Let o(v) = v**3 - v**2 + v + 91. Is 13 a factor of o(m)?
True
Let y(s) = 2*s**2 + 1 - 5*s**2 - 3 + 0*s**2. Let m be y(-6). Let j = -34 - m. Does 19 divide j?
True
Suppose 4*t + 3*c - 320 = 4*c, 0 = -t 