ppose -1240 = -2*s - p*s. Suppose 3*o + 3*z = -67 + s, 0 = 4*o + 3*z - 320. Is 16 a factor of o?
False
Let o(b) = 9*b**3 - 3*b**2 + 16*b + 20. Is 46 a factor of o(5)?
True
Let g(o) = -14*o**2 - 2 - 3*o + 2 + 2 + 13*o**2 + 11*o**3. Is 20 a factor of g(2)?
True
Let n(w) = -4*w + 5 + 3*w**2 - 2*w - 2*w**2 - 5*w. Let m be n(11). Suppose -m*s + 2*y - 7*y + 160 = 0, -2*y = -5*s + 139. Does 28 divide s?
False
Let q = 3060 - 1936. Is 70 a factor of q?
False
Suppose 2*i = 2 + 4. Suppose 2*g + i = 9. Suppose 13 = g*n - 2. Is n a multiple of 4?
False
Let x(y) = 14*y**2 + 43*y + 3. Is x(-5) a multiple of 3?
True
Let v = 248 - 230. Is v a multiple of 2?
True
Suppose -4*k = -22 + 30, -k = -4*y + 362. Is y a multiple of 5?
True
Let o be 1/((-3)/(-6)) + 14/7. Suppose -o*t = -0*t + 20, -2*t = -4*a + 358. Is 17 a factor of a?
False
Let y(c) be the second derivative of -7*c**3/6 + c**2 - 8*c. Let g be -2 + 1*(0 + 0). Does 13 divide y(g)?
False
Let s(i) = 375*i**2 - 3*i - 3. Does 18 divide s(-1)?
False
Suppose -3090 = -3*c - 282. Is 12 a factor of c?
True
Let v be (-58)/(-10) - 1/(-5). Let o(a) = 2*a. Let z be o(v). Does 13 divide z/(-8) - (-190)/4?
False
Let f(n) = 22*n**2 + 11*n + 11. Does 11 divide f(-4)?
True
Let l(h) = h**2 - 12*h + 3. Let v be l(12). Suppose x - v*y + 60 = 4*x, -5*x = y - 80. Suppose -d = -2*d + x. Does 4 divide d?
False
Let o be -5*(-1)/(10/8). Let x(z) = z**2 + 5*z - o*z + 3*z. Does 19 divide x(-8)?
False
Suppose 2*l - 4*l + 110 = -2*c, 0 = -2*l - 5*c + 110. Let y be (-3 - l)*9/(-6). Suppose -y = 4*i - 359. Is 18 a factor of i?
False
Let z(t) = t. Let s(y) = y**2 + 16*y + 4. Let w(a) = 2*a**3 + 4*a**2 + 2*a + 2. Let q be w(-3). Let h(n) = q*z(n) + 2*s(n). Is 18 a factor of h(-7)?
True
Suppose 5*o - 3899 = -3*r, -844 = 3*r - 2*o - 4715. Does 80 divide r?
False
Suppose 4*s - 818 - 358 = 0. Is s a multiple of 21?
True
Let t(v) = v**3 - 2*v**2 + 2*v + 1. Let q be t(2). Suppose 2*r = q*m + 29, -m - 2*m = 15. Suppose 3*g + 9 = 6*g, -4*g = -r*w + 16. Does 7 divide w?
True
Suppose -2*t - 18 = -3*z + 5*z, 0 = 3*z + t + 23. Let s(d) = -d**3 - 2*d**2 - 4*d + 3. Let b be s(z). Suppose -3*u = u - b. Is u a multiple of 34?
False
Suppose -610 = -48*u + 43*u. Does 2 divide u?
True
Let m = -134 - -101. Let g(s) = s**3 + 32*s**2 - 33*s + 18. Is 4 a factor of g(m)?
False
Suppose 4*p = 41 - 5. Suppose -3*x = 3, -2*t + 54 = 3*x - p. Does 11 divide t?
True
Let s = -333 - -387. Does 6 divide s?
True
Let b be 182 + (-1 - 0)*1*-1. Suppose 4*j - 3*j = -3*m + 61, -b = -3*j - 2*m. Is j a multiple of 6?
False
Suppose -6 = 3*n + 24. Let j(g) = -2*g + 24. Is 7 a factor of j(n)?
False
Let o(f) = f**3 + 6*f**2 - 3*f - 11. Is o(-6) a multiple of 5?
False
Suppose m = 4*o + 3*m - 6, 5*o = -5*m - 5. Suppose 3*h = -2*s - s + 120, 0 = o*s - 3*h - 132. Is 12 a factor of s?
True
Suppose 0 = -22*v + 11*v + 3960. Does 40 divide v?
True
Let y(u) = -u**3 + 4*u**2 + 4*u - 1. Let j be y(4). Suppose -10*o + 7*o = -j. Suppose 0 = 4*l - o*f - 78, -25 = -l + 3*f + f. Is l a multiple of 4?
False
Let n(w) = 34*w**2 + w - 55. Is n(-5) a multiple of 15?
False
Suppose -4*z + 5 = -3. Suppose 2*y - 15 = -3*y, z*y = -3*a + 24. Is a a multiple of 2?
True
Let i(z) be the second derivative of -z**5/20 + 17*z**4/12 + 7*z**3/6 + 11*z**2/2 - 19*z. Is i(17) a multiple of 11?
False
Let t(g) = g**2 - 2*g + 2. Let d be t(2). Suppose -4*c = -d*c - 198. Is 17 a factor of c?
False
Suppose -10*f + 4970 = -7490. Is 14 a factor of f?
True
Let j(v) = -12 + 4 + 0*v + 6*v. Let n be j(-5). Let x = n + 69. Is x a multiple of 17?
False
Let t be (1/(-2))/(2/72). Let k = t + 26. Is 8 a factor of k?
True
Suppose -10*c = -4*c - 408. Let m = -32 + c. Is 32 a factor of m?
False
Let b be 50/12 + 11/(-66). Suppose -l + 5*l = 96. Suppose 5*v = b*v + l. Is 9 a factor of v?
False
Let m(r) = -25*r**2 - r. Let l be m(-4). Let d = -270 - l. Suppose -2*s = -z - 95, -2*s - 51 = -5*z - d. Is s a multiple of 12?
False
Let n(i) = 10*i + 6. Let o be n(4). Suppose -g + 4*w - 15 - 12 = 0, -2*g + 1 = 3*w. Let r = g + o. Is r a multiple of 18?
False
Suppose 2*q - 30 - 78 = 0. Is q a multiple of 54?
True
Let y(h) = 3*h - 2. Let z(p) = p - 1. Let q(j) = j. Let o be q(-4). Let u(w) = o*z(w) - y(w). Is 37 a factor of u(-6)?
False
Let c = 759 - 12. Is c a multiple of 9?
True
Let f be 4/2 - 0 - 8. Let k(c) = 2*c - 4*c + 3 + 1. Does 8 divide k(f)?
True
Let m = -7 - -12. Suppose 0 = -2*b + 2*a, -2*b - m*a + 32 = 11. Suppose 4*q = d + 155, b*d + 60 = 4*q - 85. Is q a multiple of 10?
True
Let g = -153 - -377. Is g a multiple of 10?
False
Let o = 5 + -3. Let g(h) = o*h - 1 + 0*h + h**2 - 2*h**2 - h**2 + 13*h**3. Is g(1) a multiple of 12?
True
Let m(p) = p**2 - 3*p - 8. Let q be m(4). Let d be 2*(9/2 + q). Is 6 a factor of d/(-2) - 13/(-2)?
True
Does 3 divide (15/(-12))/((-7)/(-924)*-3)?
False
Let g(z) = z**2 + 16*z - 9. Let x be g(-15). Let o = x + 58. Does 13 divide o?
False
Is 6 a factor of 1/2*(201 + 35/(-5))?
False
Let a be (-3)/(-6)*-1*6. Let l(x) = x**3 + 3*x**2. Let w be l(a). Is 13 a factor of (-9)/(3 + w) + 54?
False
Let j(t) = t**2 - t + 2. Let k be j(6). Let c(g) = -2*g**3 - 5*g - 5. Let q be c(-2). Let l = k - q. Is l a multiple of 9?
False
Let g = 1832 + 856. Does 16 divide g?
True
Let t = -13 - -16. Let z(x) = x - 3 + 4*x - t*x - 4. Is z(13) a multiple of 17?
False
Let s(u) = 34*u + 2*u**2 - 16 - 50*u + 28*u. Is s(-12) a multiple of 16?
True
Let f(k) = -65*k + 263. Is 2 a factor of f(4)?
False
Suppose 2894 = 3*x - 40792. Let v be (-6)/(-15) + x/45. Suppose -7*s = 135 - v. Is s a multiple of 9?
True
Let z be ((-4)/(-8))/(2/(-508)). Let w = 222 + z. Is 19 a factor of w?
True
Let n be (1/2)/((-155)/(-40) - 4). Let q(d) = 7*d**2 - d + 9. Does 10 divide q(n)?
False
Suppose 0 = -5*r + 9 + 6. Suppose 0 = -h + 4*b - 6, r*b - 6 = -h + 4*b. Suppose 0 = 5*a - h*a + 40. Is a even?
True
Let i be (-13)/(-4) - (-15)/20. Suppose t + 3 = -3*z, 4 = 4*t + i*z - 0. Is (t - -20) + (0 - -1) a multiple of 12?
True
Suppose -v + 4*p = 4*v - 3914, -2*v + 3*p + 1567 = 0. Is 46 a factor of v?
True
Let y(d) = -d**3 - 9*d**2 + 12*d + 23. Let c be y(-10). Is (2 + (-33)/6 + c)*-302 a multiple of 12?
False
Let f(m) = -m - 2. Let t be f(-6). Suppose t*x - 86 = 3*x. Is 13 a factor of x?
False
Suppose -6*q + 12*q - 3234 = 0. Is q a multiple of 32?
False
Suppose -4*p = -337 - 339. Suppose 2*j - 323 = -2*j + 3*t, -2*j = t - p. Is j a multiple of 18?
False
Is 19 a factor of 20*(-5)/((-40)/1804)?
False
Suppose c - 424 = -5*m, -4*c + 748 + 860 = -2*m. Is c a multiple of 4?
True
Let c = 38 + -34. Suppose u = 4*o + c*u - 144, -2*o + 4*u + 72 = 0. Is 6 a factor of o?
True
Suppose 0 = -4*d, -20*f - 4*d + 515 = -15*f. Is 21 a factor of f?
False
Suppose -4*p = g - 9 - 1, -2*p = 4*g + 2. Suppose -5*j - 5*t + 20 = 0, -t - 3 = -4*j - 7. Suppose p*i + c - 3*c - 114 = j, 96 = 3*i + 4*c. Is 6 a factor of i?
True
Suppose -4 = -b - 5*j, -2*b + 6*b + 2*j - 34 = 0. Let s = b - 7. Suppose -s*y - 84 = -2*p, 0*p = -2*p + 4*y + 92. Is p a multiple of 19?
True
Suppose q - n = -20, 5*n + 1 + 4 = -2*q. Does 10 divide (-5)/q - (-358)/6?
True
Is (-9)/((-9)/(-13))*(-1 + 0) a multiple of 2?
False
Let k = -2191 + 4303. Is 12 a factor of k?
True
Suppose -7*g - 56 = -11*g. Let m = -9 + g. Suppose 130 = 5*b + 5*v, -74 = -m*b + 2*b + v. Does 25 divide b?
True
Let f = -242 + 440. Is 18 a factor of f?
True
Suppose z + 4*a - 148 = 0, -3*z + 504 = -0*z - 3*a. Let f = z + -89. Does 25 divide f?
True
Let u(w) be the third derivative of -13*w**6/10 + w**5/20 + w**4/8 + w**3/6 + 14*w**2. Is u(-1) a multiple of 21?
False
Let i(l) = 132*l + 784. Is i(0) a multiple of 56?
True
Suppose -3*v = 0, 535 + 767 = i - 3*v. Is 14 a factor of i?
True
Let u be 3 + 5/((-25)/(-10)). Let p(z) = 65*z - 12. Is 15 a factor of p(u)?
False
Let m = -782 + 983. Is m a multiple of 46?
False
Suppose -5*y + 5*l + 4555 = 0, y - 912 = 4*l - 2*l. Is y a multiple of 40?
False
Let a = 126 + -86. Let v = -22 + a. Is 3 a factor of v?
True
Let w = 1 + 1. Suppose -2*x - 4 = -2*g, -16 = x - 3*x - 2*g. Suppose -w*n + 60 = x*n. Is n a multiple of 4?
True
Let g(n) = n + 5. Let b be g(10). Suppose 0 = -4*x + l - 19, 2*l + b = -3*x + 3*l. Is (16/x)/(-2)*21 a multiple of 31?
False
Let x(g) = 551*g**3 - 1. Is 25 a factor of x(1)?
True
Let x = 18 + -3. Supp