3)?
False
Let k = -16 + 31. Suppose r - 5 = k. Is 6/10 - (-968)/r a multiple of 15?
False
Let j = 52 + -45. Suppose 0 = j*r - 684 - 828. Is r a multiple of 12?
True
Let q = 86 + 596. Is q a multiple of 62?
True
Is (3 - 66/42)/(4/5614) a multiple of 34?
False
Let v(y) = -10*y + 224. Does 6 divide v(6)?
False
Suppose 3771*j - 3776*j = -1080. Is j a multiple of 18?
True
Suppose 2746 - 506 = 8*g. Does 28 divide g?
True
Let s be (-6)/(8/(-12)*3) + -72. Let d = 108 + s. Does 21 divide d?
False
Let m(w) = -w**2 - 29*w - 94. Let c be m(-25). Let b = -158 + 226. Let j = b - c. Does 21 divide j?
False
Suppose 6*n = 4*n - 2. Let m(f) = 3*f**2 + 2*f + 1. Let q be m(n). Suppose q*w - 126 = -w. Does 21 divide w?
True
Let z(d) = 2*d + 30. Let o be z(-14). Suppose -o*y + 57 = 1. Does 28 divide y?
True
Let z(y) = y**3 - 6*y**2 - 2*y + 17. Let i be z(6). Suppose -3*o + 6*o = -2*q + 14, q + 45 = i*o. Is 2 a factor of o?
True
Let n(a) = -8*a - 28. Let x(m) = 25*m + 85. Let t(r) = -8*n(r) - 3*x(r). Does 5 divide t(-6)?
True
Let w(o) = -o**2 + 19*o - 24. Is w(15) even?
True
Suppose -266 = -10*z + 394. Does 11 divide z?
True
Let m(w) = -60*w - 89. Does 9 divide m(-5)?
False
Let p = 2 + 6. Let x(f) = 3*f + 10*f**2 - p*f**2 + 5*f + 2. Is x(-7) a multiple of 11?
True
Let y = 147 - 144. Suppose y*h - 172 = 248. Is h a multiple of 25?
False
Suppose 0 = -0*c + 5*c + 1590. Let o = c + 202. Let z = o - -164. Is 13 a factor of z?
False
Let i = 1474 + -890. Is 8 a factor of i?
True
Let w = -91 + 131. Is 8 a factor of w?
True
Let m(h) = 5*h**2 - 8*h. Suppose x - 12 = 3*x. Let q(s) = 9*s**2 - 15*s. Let t(c) = x*q(c) + 11*m(c). Is t(-7) a multiple of 11?
False
Suppose 34*t = 37*t - 15. Suppose 188 = -w + t*w. Is w a multiple of 9?
False
Let r(b) = -b**3 - 8*b**2 - 7*b + 6. Let y(q) = -q**3 + 2*q**2 - q + 5. Let k be y(3). Let t be r(k). Is 11 a factor of (-1)/(-3) + 262/t?
True
Let l(i) = -i**3 + 9*i**2 - 6*i + 4. Suppose -10*x = -6*x - 12. Let h be (-7 + x)/(-16)*28. Is l(h) a multiple of 20?
True
Does 16 divide (-11)/((-330)/7695) + 1/(-2)?
True
Suppose -k - 4*k + 2075 = 5*o, 2*o = k + 830. Suppose o = 3*m - 4*t, -t + 143 = m - 0. Is m a multiple of 30?
False
Let z(l) be the first derivative of l**6/360 + l**5/12 + 3*l**4/8 - l**3/3 - 5. Let k(y) be the third derivative of z(y). Is 8 a factor of k(-10)?
False
Let j = 6 + -3. Suppose 0 = -10*k + 15*k. Suppose q + 0*q - j = k. Is 3 a factor of q?
True
Let j(k) = 5*k + 10. Let x be j(-5). Does 11 divide ((-176)/(-10))/((-3)/x)?
True
Is ((-72)/(-10))/(14/35) a multiple of 2?
True
Suppose 2*x - 4 = 3*p + 13, 0 = -2*x - 3*p + 47. Suppose x*q = 11*q. Suppose 0 = v - 5*h - 1, h + 21 = v - q*h. Does 11 divide v?
False
Let d(l) = -8*l + 3. Let s be (-20)/6 + 46/(-69). Is 7 a factor of d(s)?
True
Let s = -235 - -261. Is s a multiple of 26?
True
Let i = -11 - -7. Let t(u) = u**2 + u - 2. Let l be t(3). Is 2 a factor of ((-30)/25)/(i/l)?
False
Let h be (5 - (-3 - -9))*(-141 + 0). Suppose 5*o = -2*b + h, 0 = b + 2*o - 60 - 9. Is 21 a factor of b?
True
Let c(m) = 2*m**3 + 20*m**2 - 2*m + 8. Let z(h) = h**3 + 10*h**2 - h + 4. Let x(j) = -6*c(j) + 13*z(j). Does 15 divide x(-6)?
False
Does 18 divide (-4)/18 - 16460/(-36)?
False
Let t be (29/(-3))/((-6)/18). Suppose 4*l - t = 39. Is 5 a factor of l?
False
Does 3 divide ((-5)/20)/((-37)/199652)?
False
Let i be 1 - (1/(-1) - -2). Suppose -5*y + i*y = -430. Is 6/27 + y/18 even?
False
Let k = -1735 - -1122. Let r = k - -906. Suppose 7*p = 1 + r. Is 22 a factor of p?
False
Suppose 4*c + 180 = -4*i, -i + 2*c - 60 = -0*i. Let b = i + 62. Is b even?
True
Suppose -20 = g - 6*g. Let c be (g - 1 - -48)*-1. Let a = 83 + c. Is 12 a factor of a?
False
Let l = 55 + -51. Suppose z - 2*w - 14 = 0, 0 = 4*z - l*w + 41 - 113. Is 3 a factor of z?
False
Let j(n) = -3*n + 2. Let i be j(-8). Suppose -l = l + i. Let z = l - -20. Does 4 divide z?
False
Let w = 397 - 192. Suppose -204*z - 26 = -w*z. Does 13 divide z?
True
Let f(x) = x**3 - 1 - 5*x**2 + 10 - 2*x**2 - 5*x. Let j be f(8). Is 29 a factor of 963/33 + (-6)/j?
True
Suppose 6*s + 8 - 128 = 0. Suppose 1844 = -s*b + 4784. Is b a multiple of 7?
True
Let o be 4 + (1 + -2)*1. Suppose 4*x - 5*x - 2*c = -18, 4*c - 44 = -o*x. Does 2 divide x?
True
Is (28/(-56))/((-51322)/(-17108) + -3) a multiple of 28?
False
Suppose -2*w + 6*w - 32 = 0. Suppose -105 = w*u - 11*u. Does 12 divide u?
False
Suppose 3*o - 6 - 3 = 0. Suppose 6*g - 51 = o*g. Suppose g = i - 10. Is i a multiple of 13?
False
Let b(x) = -2*x - 45. Let m be b(-24). Is 0 + 1/m + 624/18 a multiple of 5?
True
Suppose -3*h = -79 + 244. Let x = h - -86. Let s = x - 15. Is 6 a factor of s?
False
Let q be 44/(-33)*(-3)/(-2). Let x be (-2)/(-2)*(-119 - q). Is 6 a factor of ((-4)/12)/(3/x)?
False
Suppose -3*g = -6*g - 153. Let q = -19 - g. Suppose -c + 12 + 26 = 3*a, -3*a = -2*c - q. Does 12 divide a?
True
Suppose -21040 = -33*h + 13*h. Does 55 divide h?
False
Let s = 12 + -21. Let j = s - -12. Suppose -2*h + 74 = 2*p, 0 = j*p - h - 111 - 16. Does 11 divide p?
False
Let r = -1524 + 1566. Is r a multiple of 42?
True
Let a(f) = -163*f + 1. Let n be a(-1). Suppose -n = -4*t + 260. Does 15 divide t/6*(-6)/(-2)?
False
Suppose -2*n + m = -0*n + 300, 4*m - 445 = 3*n. Let c(f) = 10*f**2 + 4*f - 7. Let t be c(5). Let b = n + t. Does 33 divide b?
False
Let m = -55 + 29. Let d = 0 - m. Does 25 divide d?
False
Suppose -4*j - 2*v + 133 = -977, -3*j + 2*v + 822 = 0. Does 6 divide j?
True
Let y(j) = -2*j**3 + 6*j**2 + 3. Let o be y(3). Let s(h) = h**2 + 5*h + 4. Let n be s(-4). Suppose 5*w - o*w - 138 = n. Is w a multiple of 17?
False
Is (10074/24)/1 - 1/(-4) a multiple of 20?
True
Suppose -3*t + 6 = 2*k - 5*t, -k + 4*t + 18 = 0. Let h be k/(-3)*(-30)/20. Is 48/(-16)*h*11 a multiple of 5?
False
Suppose 32 - 522 = -3*q + 2*x, 810 = 5*q - 2*x. Is q a multiple of 8?
True
Let k(j) = -99*j - 78. Let f(u) = -496*u - 392. Let r(y) = -3*f(y) + 16*k(y). Is 51 a factor of r(-5)?
True
Suppose 0 = -2*g - 4*o + 30, -2*o + 0 = 6. Suppose 4*y + g = 5. Let s(t) = -t**2 - 5*t - 1. Is s(y) a multiple of 3?
True
Let j be -94*(3 + 3 + -5)/1. Let s = 156 + j. Is s a multiple of 10?
False
Let m = -19 - -28. Let y be (4 + (-20)/6)*m. Suppose -v + 0*v = -y. Is v a multiple of 2?
True
Let c(u) = 5*u - 14. Let l(t) = -2*t + 7. Let f(i) = 4*c(i) + 9*l(i). Let r be f(4). Suppose -4*b + 75 - r = 0. Is b a multiple of 12?
False
Let a(i) = i**2 - 12*i - 18. Let b be a(16). Let m = 82 - b. Is 18 a factor of m?
True
Suppose 3*y + 21*r - 584 = 16*r, y = -4*r + 190. Is y a multiple of 6?
True
Suppose -6*l = -9*l + 210. Suppose -23*f + l = -22*f. Let n = 142 - f. Does 18 divide n?
True
Let k(l) = -2*l**2 - 24*l + 44. Is 5 a factor of k(-12)?
False
Let x = -7 - -28. Let g(i) = -i**3 - 11*i**2 - 12*i - 15. Let s be g(-10). Let r = x - s. Is r a multiple of 4?
True
Let n = -120 + 218. Does 7 divide n?
True
Suppose 2*y - 142 = -0*y. Let l = -33 + 143. Let f = l - y. Is 8 a factor of f?
False
Suppose 78*v = 54*v + 5808. Is v a multiple of 7?
False
Let r(n) = -12*n - 1. Let x(q) = -11*q. Let j(m) = -2*r(m) + 3*x(m). Let b(k) = 8*k - 2. Let d(h) = 6*b(h) + 5*j(h). Is 6 a factor of d(9)?
False
Suppose -5*i = -3*p + 2*p + 83, i + 5*p + 1 = 0. Let y be (i/28)/(6/(-21)). Is 16 a factor of 0 + 1 + y + 36?
False
Let f(x) = x**2 + 22*x - 117. Is f(17) a multiple of 14?
True
Let g(x) = -189*x**3 + x + 2. Does 20 divide g(-1)?
False
Let o(h) = -2*h**2 - 8*h - 3. Let r be o(-3). Does 8 divide 5/5 + r + 17?
False
Suppose 0 = u - 4*n - 77, -3*u + 214 = 3*n + 2*n. Suppose -5*o = -6*o + u. Does 25 divide o?
False
Let t = 208 - 85. Suppose 2*j - t - 29 = 0. Does 19 divide j?
True
Let v = 1223 - 1106. Is 8 a factor of v?
False
Does 16 divide 1823 + (-1 - -7) + (-45 - -40)?
True
Let t = 42 - 37. Suppose -t*v - 2*i + 178 = -112, -115 = -2*v - i. Does 5 divide v?
True
Let y be 2/13 + (-2338)/(-13). Does 4 divide 1 + (y/(-3))/(-3)?
False
Suppose v + 15 = 2*z, 3*v + 5*z - 1 - 9 = 0. Let a = v - -7. Suppose 4*g + 0 = -5*w + 8, 4*w - 4 = -a*g. Does 2 divide g?
True
Let y = -441 + 752. Is y a multiple of 18?
False
Let f(z) = -z**3 + 6*z**2 + 4*z - 3. Let w be f(-3). Is 14 a factor of (2 - w/15)*-20?
False
Suppose 48*f - 1663 - 4673 = 0. Is 22 a factor of f?
True
Let y = 48 + -25. Suppose 0*l - 3*r 