4 = 5*s. Is 3 a factor of s?
True
Let g(t) = 5*t - 23. Let k be g(5). Suppose -k*z = -347 + 77. Does 15 divide z?
True
Let z(i) = 2*i**2 + 4*i + 7. Let k = 1 - -4. Suppose 4*g = k*x - 37, -2*g + 10 = -7*g - x. Is 8 a factor of z(g)?
False
Suppose -58*z = -16441 - 6643. Is z a multiple of 16?
False
Let f = 89 - 63. Is (-1 + 2)/(1/f) a multiple of 9?
False
Let g(i) = -14*i - 26. Does 15 divide g(-4)?
True
Suppose -19*u + 444 + 696 = 0. Does 5 divide u?
True
Suppose -31260 = -18*r - 6690. Does 39 divide r?
True
Let a(z) = z**3 - 9*z**2 - 8*z - 8. Let u be a(10). Suppose 598 = -u*y + 1462. Is y a multiple of 6?
True
Suppose -26*o + 22*o + 380 = 0. Suppose h = -0*h + o. Does 19 divide h?
True
Let y(z) = -2*z + 2. Let u be y(6). Does 25 divide (-1)/5 + (-1002)/u?
True
Suppose 0*g = -4*g - 84. Let x = 36 + g. Suppose 0 = 16*a - x*a - 18. Is a a multiple of 6?
True
Let y(i) = 965*i**2 + 15*i - 1. Does 49 divide y(-1)?
False
Let d(q) be the third derivative of -q**6/30 - q**5/20 - 7*q**4/24 - 3*q**3 + 25*q**2. Is d(-3) a multiple of 6?
True
Let j(a) = -7*a**3 - a**2 + a - 1. Let c be j(1). Let y(h) = -h**2 - 7*h - 1. Let t be y(c). Is (-39)/t - 4/(-6) even?
False
Let o(h) = 34*h**2 - 12*h + 27. Does 11 divide o(3)?
True
Is 23 a factor of 3512/3 + (-15)/((-585)/91)?
True
Let r(g) = -g + 58 - 12 + 51 - 6. Is r(21) a multiple of 14?
True
Let b be 48/(-72) + (-4)/(-6). Suppose 3*u - 3*q + 44 + 46 = b, 5*u + 4*q + 186 = 0. Let h = u - -78. Is h a multiple of 10?
False
Is 8 a factor of (-16)/88 - (-25026)/66?
False
Let j = 2 + -4. Let l(z) be the third derivative of -z**6/12 + z**5/60 + z**4/24 - z**3/6 - 8*z**2 + 8*z. Is l(j) a multiple of 19?
False
Let s = 47 + -25. Suppose -5*h + 7 = s. Let f(i) = 6*i**2. Is 24 a factor of f(h)?
False
Does 4 divide (-27166)/(-323) + 1 + (-21)/19?
True
Let i(w) = 86 + 11*w - 125 + 60. Is 10 a factor of i(9)?
True
Suppose 5*f + 335 = 5*s, 3*s - 5*f = -9*f + 187. Does 13 divide s?
True
Let a(q) = -q**3 + 19*q**2 + 14*q + 11. Let s be a(19). Let t = -160 + s. Is t a multiple of 39?
True
Suppose 0 = 3*h - a + 141, 0 = h - 4*a + 34 + 24. Suppose -5*c - 75 = -0*c. Let b = c - h. Is 8 a factor of b?
False
Suppose 11*l = 10*l. Let h be l/((-1)/(-4 - -5)). Suppose h = q - 4*q + 27. Is q a multiple of 9?
True
Let j = 2800 + -342. Does 119 divide j?
False
Let r = -5 + 330. Does 39 divide r?
False
Let v be (-2)/12 - 1351/(-42). Is 44 a factor of (v - -4)*(-88)/(-12)?
True
Let r = -1108 - -2137. Suppose 0 = 11*j - 4*j - r. Is j a multiple of 49?
True
Let t(x) = 36*x - 2. Let i(k) = k**3 + 10*k**2 - 7. Let d be i(-10). Let w(y) = -y**2 - 8*y - 6. Let z be w(d). Is t(z) a multiple of 6?
False
Let k(z) be the first derivative of z**4/12 - 7*z**3/3 + 8*z**2 + 8*z + 1. Let o(y) be the first derivative of k(y). Is 7 a factor of o(14)?
False
Let o = -174 + 312. Does 3 divide (o/18 - 5)*39/4?
False
Let m(x) = 3*x + x**3 + 7*x**2 - 11 + 4 + 5. Is m(-5) a multiple of 11?
True
Let o(n) = 27*n**2 - 37*n + 30. Is 85 a factor of o(-9)?
True
Let m = -285 + 287. Suppose 2*l + 0 = 4, -5*l - 375 = -5*t. Suppose -m*c + 3*c = t. Is c a multiple of 20?
False
Let g(z) = z - 3*z - 5 + 32 + z. Is 10 a factor of g(8)?
False
Let u(v) = v**3 + 9*v**2 - 11*v - 13. Suppose 4*o + 19 = -21. Let p be u(o). Let z = p + 15. Is z a multiple of 9?
False
Suppose 0 = -16*d - 3957 + 22149. Does 13 divide d?
False
Suppose 0*w + 9 = 4*s + w, -9 = 3*w. Let b be 0/(0 + -4) + 12. Suppose s*y = 4*y - b. Is y even?
True
Let i(n) be the third derivative of 0*n + 0 + 6*n**2 - 7/24*n**4 - 1/20*n**5 - 1/6*n**3 + 1/120*n**6. Is 8 a factor of i(5)?
False
Let s be -2*5*(-56)/(-70). Let h be (2/6)/(s/(-48)). Does 11 divide (h/4)/(4/88)?
True
Let v = -4206 - -7110. Does 88 divide v?
True
Let u(l) = 7*l + 1. Let n(k) = 6*k + 2. Let o(h) = -5*n(h) + 4*u(h). Let b be o(-5). Suppose 0 = b*y - 89 - 7. Does 10 divide y?
False
Let c(l) = l + 10. Let p be c(-7). Suppose p*x - 11 = 82. Is 3 a factor of x?
False
Suppose 0 = -4*y + 16 - 28. Let d be (-1018)/8 - y/12. Let q = d + 195. Does 24 divide q?
False
Suppose 0 = -43*b + 40*b - 1020. Let o = -226 - b. Is 8 a factor of o?
False
Let r = 2216 - 567. Does 8 divide r?
False
Let t be (20/16)/(-5) + (-1036)/16. Let f = t + 76. Does 7 divide f?
False
Suppose o = -5*j + 2, -4*o + 15 = 3*j - 27. Let l be o/18 + (-694)/6. Let g = l - -172. Does 19 divide g?
True
Let t = 143 - -277. Does 70 divide t?
True
Let f be 1 + 1 - -18 - (2 - 0). Let c(x) = 2*x + 3. Is c(f) a multiple of 13?
True
Let k(l) be the first derivative of l**4/4 + 3*l**3 + 11*l**2/2 + 2*l + 17. Is 11 a factor of k(-6)?
True
Let u(p) = -5*p + 10. Let d(w) = 1. Let f(o) = -2*d(o) - u(o). Let b be f(10). Suppose 0*y = y - b. Does 19 divide y?
True
Let r(x) = -x**2 + 28*x - 27. Is 10 a factor of r(21)?
True
Suppose -3*i - 3*s + 18 = -15, 4*s + 16 = 0. Let d = 81 + i. Is d a multiple of 8?
True
Let x = -44 + 40. Is x + 4 + 1 + 17*5 a multiple of 8?
False
Suppose -4*u - 7*z = -8*z - 78, 3*z + 54 = 3*u. Is u a multiple of 10?
True
Suppose 4*f - 2*f + 5*n = 22, -13 = -f - 3*n. Is 14 a factor of -126*(f/5 - 18/15)?
True
Suppose 4*b + 402 = 1810. Suppose 0 = 2*m - 0*m - b. Does 22 divide m?
True
Let x(d) = 3*d**2 + 2*d - 6. Let n(c) = 1. Let h(w) = -2*n(w) + x(w). Does 6 divide h(4)?
True
Let p(b) = 19*b**2 - 23*b - 51. Does 44 divide p(-7)?
False
Is (-18)/4*(-45920)/246 a multiple of 12?
True
Suppose 3*b - 4*l = 49, 10 = 3*b - 2*b + 5*l. Suppose o - b = 20. Is 5 a factor of o?
True
Let c be 33/(4*5/60). Suppose -2*g + 20 = 4*b + 2*g, -3*g = 2*b - 12. Suppose 243 = b*t + 3*a, t + 2*a - c = 7*a. Is t a multiple of 13?
False
Suppose -10 - 12 = 2*f + 4*r, 3*f + r + 38 = 0. Let a be f/(-65) + (-98)/(-10). Suppose 4*o - a = 42. Does 6 divide o?
False
Is -5*22*(-528)/30 + 1 a multiple of 18?
False
Suppose 5*o = -3*q + 96, -5*q = -8*q - 2*o + 87. Is q a multiple of 27?
True
Suppose 5*n - 5*f = -200, 3*n + 72 = n + 4*f. Let g = 16 - n. Is 15 a factor of g?
True
Let a(h) = h**2 + h - 1. Let n be a(-2). Let d(y) = -14*y - 3. Let v(s) = -72*s - 16. Let p(x) = -16*d(x) + 3*v(x). Is 8 a factor of p(n)?
True
Suppose -15573 = -5*k + 3*n, -4*n + 5*n = -2*k + 6227. Is k a multiple of 13?
False
Suppose 29*a = 9*a + 4760. Does 26 divide a?
False
Let z be ((-1)/((-14)/(-8)))/(4/(-70)). Let o(p) = -5*p + 11 - 4 + p**2 + 0*p. Is 19 a factor of o(z)?
True
Let j = 24 - 19. Suppose o = 2*k + 9, -3*o - 3*k - j = -k. Does 4 divide (1 - o) + 64/4?
True
Suppose -2029 = -4*n - 5*u, n - 2*u = -n + 1028. Does 35 divide n?
False
Let w(u) = 9*u + 6 - 2 - u**2 + 2. Let r be 3 + 50/(-18) - (-140)/18. Is w(r) a multiple of 3?
False
Let w(g) be the third derivative of -1/3*g**4 - 1/60*g**5 + 0 + 0*g + 1/2*g**3 - 5*g**2. Is 9 a factor of w(-7)?
False
Suppose -3*f + 300 = -6*f. Let y = -68 - f. Let u = y - -4. Does 12 divide u?
True
Suppose 38 = 4*b - 4*f - 46, 5*b + 2*f - 91 = 0. Is 6 a factor of 1*-3 + b + (-1 - -3)?
True
Let t be (-38)/(3/(-12)*(-6)/3). Let g = 129 + t. Does 17 divide g?
False
Let u(s) be the second derivative of -s**3/3 + 4*s**2 + 4*s. Let v be u(-10). Suppose 0*t = t - 2*z - 8, 0 = -2*t - 2*z + v. Is 3 a factor of t?
True
Suppose -3*a - a = -12. Let p(d) = 70*d - 1. Let b be p(1). Suppose -b = -a*y - 15. Is y a multiple of 18?
True
Let i(a) = 4*a**2 - a. Let d be i(1). Suppose -57 = 5*f - 2*y - 657, 0 = -d*y. Suppose -q = -6*q + f. Does 9 divide q?
False
Suppose -36 = -5*t + 29. Suppose -5*s - 5*y - 2 - t = 0, 0 = -2*s + 5*y + 15. Suppose s*l - 5*l = -290. Is 29 a factor of l?
True
Let g be -1 + 3/(6/(-88)). Let u be ((-27)/g)/((-1)/(-5)). Suppose -s + 13 = -u. Is 5 a factor of s?
False
Let k(q) = 2*q - 13. Let f be k(6). Let p(c) = -19*c + 1. Is p(f) a multiple of 20?
True
Let f be 117/91 + 4/(-14). Let l(q) = 25*q**2 - 3*q + 3. Is l(f) a multiple of 15?
False
Suppose -5*w + 9435 = -2*z, -17*w + 3*z - 5640 = -20*w. Is w a multiple of 13?
True
Suppose 3*i - 48 = 81. Suppose -4*f = -5 - i. Suppose 0 = -6*y + 7*y - f. Does 4 divide y?
True
Suppose -9 = -3*t - 2*u + 13, 6 = 2*t - 3*u. Let n be ((-15820)/84)/(1/(-3)). Is t/8 + n/20 a multiple of 6?
False
Suppose -39*d = -44*d. Suppose d = 2*u - 71 - 131. Is u a multiple of 17?
False
Is 1959 - (9/(-2))/((-120)/160) a multiple of 21?
True
Suppose -g + 4*g = 27. Suppos