= g + 3. Is 3 a factor of k?
False
Let x(j) = 5*j + 4. Let w(k) = -6*k - 4. Let y(q) = -2*w(q) - 3*x(q). Let f be 16/(-60)*3 - (-16)/(-5). Is y(f) a multiple of 3?
False
Suppose -3*v + 4 = -3*d + 2*d, -5*v - 3*d = 12. Suppose 4*o + 2*j - 3*j + 45 = 0, v = -4*j - 12. Is (-3 - (-2 - 0))*o a multiple of 5?
False
Let v = 239 - 172. Is v a multiple of 21?
False
Let d(v) = v**2 - 20*v + 242. Is d(23) a multiple of 17?
False
Suppose -16 = -4*f, 0 = -2*k - 7*f + 3*f + 146. Let i = k + 117. Does 31 divide i?
False
Let d = -63 + 66. Is 7 a factor of d*(-2)/15 + (-264)/(-10)?
False
Let h be -6 - -3 - (-1 - 3). Suppose 2*v - 5*c - 34 = -h, -3*v + c = -69. Is 12 a factor of v?
True
Let r be (-6)/4 - 22/(-4). Suppose 2*m + c + 2*c = 30, 24 = r*m - 3*c. Let o(k) = -k**3 + 11*k**2 - 12*k - 12. Is 14 a factor of o(m)?
True
Let h = -62 - -115. Is h a multiple of 9?
False
Let g(w) = 37*w - 58. Is g(6) a multiple of 5?
False
Suppose 0 = -f + 2*m - 0 - 12, 4*m + 8 = -2*f. Let t = f + 33. Suppose -5*z + 55 = -t. Is z a multiple of 10?
False
Let l(w) = -2 - 9 + 13 + 20 + 4*w. Is l(5) a multiple of 14?
True
Suppose 0*t - 2*t = -56. Let a be 9/(t/(-12) - -2). Let r = 16 - a. Is 20 a factor of r?
False
Let d be -3*(-9)/3*-1. Let h = d + -1. Does 3 divide 18/h*(-13 - -8)?
True
Let v(b) = 4*b - 6. Let u be v(2). Let m(j) = 43*j + 4. Is m(u) a multiple of 12?
False
Suppose 48 = y + 3*y. Suppose f = 4*f - y. Suppose -2 = 3*n + 5*w - 67, f*n + 2*w - 82 = 0. Is n a multiple of 5?
True
Let g(t) = 13*t - 1. Let k be g(1). Suppose x - 2*v + k = 4*x, 0 = -x + 3*v - 7. Suppose l = 5*d - 225, 0*d - x*d + 90 = l. Does 15 divide d?
True
Suppose 0 = -4*n + 2*n + 76. Suppose 16 = 3*g - n. Is g a multiple of 10?
False
Let b(i) = 13*i**2 - 17*i - 72. Does 11 divide b(-5)?
False
Suppose n = 5*z + 26, -n + 2*z + 6 = z. Let a(q) = -q + 2*q**2 + 1 + 13*q**3 - 4*q**2 + 3*q**2. Is 6 a factor of a(n)?
False
Suppose 0 = -4*y + j + 8097, 3*j = -y + 5*j + 2026. Is y a multiple of 44?
True
Let i(s) = 2*s**2 + 11*s + 17. Let x(r) = -r - 18. Let z be x(-11). Does 19 divide i(z)?
True
Let m be (192/(-30) + 6)*-100*1. Suppose 1960 = 15*l + m. Is 26 a factor of l?
False
Suppose 0*f = -f. Suppose f = 4*q - 3 - 5. Suppose 0 = -q*i + 31 + 7. Is 8 a factor of i?
False
Let f = 175 - 110. Let s = 299 - f. Does 13 divide s?
True
Let p = 48 - 8. Suppose k = -k + p. Is k a multiple of 20?
True
Let l be ((-208)/65)/((-2)/5). Let w(p) = l + 6*p + 5*p - 4 - 4*p. Is w(2) a multiple of 4?
False
Let x = -2067 + 2995. Is x a multiple of 8?
True
Suppose 0 = 5*u + 4*t - 38, 4*u = t + t + 20. Let z(y) = u - 2*y - y - 2 + 0. Does 17 divide z(-10)?
True
Let x = 456 - 277. Let n = 271 - x. Is 5 a factor of n?
False
Let g(l) = 160*l - 172. Does 83 divide g(15)?
False
Suppose -3*y - 5*j + 15 = y, 6 = -5*y + 2*j. Suppose y = -c + 40 + 28. Does 17 divide c?
True
Does 19 divide (-3 - 20/(-5))/(1/86)?
False
Let t(o) be the first derivative of -o**3/3 - 5*o**2/2 + 2*o + 5. Let u be t(-5). Is -3 - (-2 + u + -26) a multiple of 11?
False
Suppose 2*b - 496 - 2272 = -2*o, -3*o = b - 1378. Is 13 a factor of b?
False
Let z(r) = -r**2 - 15*r - 15. Let m be z(-13). Suppose 4*a - 63 = -m. Is a a multiple of 4?
False
Let y(v) = v**2 - 16*v + 109. Is 3 a factor of y(32)?
True
Let n(a) = a**3 + 17*a**2 - 17*a + 13. Let j be n(-18). Is 3 a factor of (-448)/j + (-6)/(-15)?
True
Let c be -2 - (-11)/6 - (-355)/(-30). Is (72/(1 + -7))/(2/c) a multiple of 36?
True
Suppose -5*o - 2241 = 4*z - 8*z, 4*o = 5*z - 2790. Does 9 divide z?
False
Let o(d) = d**3 - 4*d**2 - 14*d + 8. Let r be o(6). Does 4 divide -8 + (-16)/r - -16?
True
Let w = 553 + 543. Does 16 divide w?
False
Let k = -4 - -6. Let x(p) = -p**2 - 3*p + 1. Let u be x(k). Let g(f) = f**2 + 4*f + 1. Is 10 a factor of g(u)?
False
Let m = 412 + -91. Does 9 divide m?
False
Suppose 4*a = 3*a - 1. Does 7 divide 3 - -15 - (a + -2)?
True
Let n be 2*2*((-60)/(-3))/2. Suppose 0 = 4*k + 13 + 3, 2*a - 4*k = 160. Is (a/10)/(6/n) a multiple of 11?
False
Let a(d) = 55*d - 15 - 27*d - 32*d. Is 2 a factor of a(-6)?
False
Let r = -552 + 585. Is 3 a factor of r?
True
Suppose 2*o + 752 = 4*b, 33*b = 35*b + 5*o - 400. Does 24 divide b?
False
Let d(c) = -c**3 - 12*c**2 + 12*c - 18. Let i be d(-13). Let b = i - -344. Suppose -p + b = 4*y, -6*y = -2*y + 3*p - 345. Is y a multiple of 18?
False
Let z(u) = 3*u**3 - u**2 + 9*u + 6. Is 8 a factor of z(6)?
True
Suppose -2*c = 4, 0 = 3*v - c + 6*c - 221. Does 7 divide v?
True
Suppose -8 = -3*s - 2, -l - 4*s = -2780. Is 77 a factor of l?
True
Let z(l) = l**2 + 4*l - 2. Let h be z(-6). Does 6 divide (403/65)/(2/h)?
False
Suppose 6*s = 4*s + 2*g + 4, 3*s = -g - 6. Suppose -22*x + 1818 = 520. Is s*(-8 + 4) + x a multiple of 15?
False
Suppose 5*p = -t + 20, -t + 4 + 0 = p. Suppose 8 = -4*b + 3*b. Is 6 a factor of (-1)/b*p*34?
False
Suppose 3*j + q = 13, -j = -2*j - 5*q + 23. Suppose -3 = -3*u, j - 2 = f + u. Is (f + 1)/((-4)/(-108)) a multiple of 27?
True
Suppose -10 = -d + 3*r - 4, 10 = -5*d - 5*r. Suppose d = -5*q - 3*h + 140, h = -3*q + 3*h + 65. Does 14 divide q?
False
Let k(o) = -o**2 + 13*o + 16. Let p be k(14). Let z be (-4)/(1 + (-1)/p). Let i(f) = -f**2 - 10*f + 2. Does 5 divide i(z)?
False
Suppose 0 = 6*x - 5*x + 2. Let h(v) = -2*v**3 - v**2 - 2*v. Is 3 a factor of h(x)?
False
Suppose 3*n - 6 - 12 = 0. Suppose -1 = 5*t - n. Does 8 divide 19 + -17 + (8 - t)?
False
Suppose -4*i + 5*s = -6145, 5*i = -133*s + 129*s + 7712. Does 110 divide i?
True
Let z = 158 - -73. Let n = -68 + z. Does 13 divide n?
False
Suppose -3385 = -2*t + 3*d, -3*t + 5*d + 88 = -4987. Is t a multiple of 34?
True
Let q = -99 - -103. Suppose 0*t - 2*w + 8 = 5*t, 4*w = 4*t - 12. Suppose 122 = q*y - t*y. Is 17 a factor of y?
False
Let x = 12 + -9. Suppose -d - u + 53 = d, x = -3*u. Does 9 divide d?
True
Let d = 1411 - 804. Is d a multiple of 24?
False
Suppose -34*m + 30*m + 1008 = 0. Does 5 divide m?
False
Let r = 19 + -18. Let t be ((-5)/(-10))/(r/(-12)). Let q(d) = -d**3 - 5*d**2 - 2*d. Is 17 a factor of q(t)?
False
Suppose 5*w - 1226 = -4*t + 13345, -3*t - 5*w + 10927 = 0. Does 12 divide t?
False
Let y = 5 + 0. Suppose -y*m = -176 - 109. Suppose -3 = -4*c + m. Does 15 divide c?
True
Let a = 5786 + -1966. Is (-7)/((-308)/a) - 4/(-22) a multiple of 8?
False
Suppose -10*q + 93 = 273. Let z = -94 + 39. Let f = q - z. Does 10 divide f?
False
Suppose -4*j + 1614 = 3*w, 11*j - 2*w = 16*j - 2021. Is 45 a factor of j?
True
Let z = 65 - -8. Let h = 86 - z. Is h a multiple of 6?
False
Suppose -z - 2*z + 96 = 0. Let y = -25 + z. Is y a multiple of 3?
False
Let r be (-1 - -4)/(1/1). Suppose -8*k = -r*k - 5. Let i = k + 3. Does 4 divide i?
True
Let w(g) = g**3 - 22*g**2 + 18*g + 52. Does 56 divide w(22)?
True
Let c be (-15)/5 - 0/2. Let o be (c - -9)/((-3)/2). Is 13 a factor of (-1192)/(-26) - o/26?
False
Let n = 785 - 739. Is n a multiple of 30?
False
Let h(d) = -8*d**3 + 8*d**2 + 8*d + 7. Let w(f) = -7*f**3 + 7*f**2 + 7*f + 6. Let c(x) = -5*h(x) + 6*w(x). Is c(-1) a multiple of 2?
False
Let j be (-6)/15 + 84/35. Suppose a + 3 = n, j*n - a + 3*a - 22 = 0. Is 7 a factor of n?
True
Let k(i) be the first derivative of -i**3/3 + 9*i**2 - 2*i + 5. Is 8 a factor of k(15)?
False
Suppose -200 + 848 = 3*g. Is 9 a factor of g?
True
Let h = 15 + -17. Let p be (-1)/(-1 + h/(-3)). Suppose p*c + 3*c = 162. Does 11 divide c?
False
Let g(z) = -z**3 + z**2 - 2*z + 2. Let j be g(2). Is 15 + (j/2)/(-3) a multiple of 5?
False
Suppose -2*k = k - 78. Suppose -6 + 22 = 4*q, -5*q + k = j. Let i(p) = 7*p - 11. Is 15 a factor of i(j)?
False
Suppose -5*p = 4*q + 12, 0*p = -p + q + 3. Suppose -2*l - 21 = -c + 36, p = 3*l - 12. Does 33 divide c?
False
Let z be 164/12*3 + 4. Let h = -29 + z. Does 16 divide h?
True
Let f = 332 - 52. Is 7 a factor of f?
True
Let a(o) = 214*o - 32. Is a(2) a multiple of 33?
True
Suppose -o - 10 = -2*n, 4*n + 6 = 2*n - 3*o. Let q(x) = x**2 - 2*x - 6. Let b be q(5). Suppose -n*h = -6 - b. Is h even?
False
Is (-2 - -1 - 35)*(-252)/72 a multiple of 9?
True
Let m(i) = 21 - 19*i**2 + 38*i**2 - 18*i**2 - 11*i + 38. Is 37 a factor of m(18)?
True
Suppose 318 = 2*w - 0*w. Suppose 4*o + n = 10, -o + 2*o = -n + 1. Suppose -o*l = -0*l - w. Is l a multiple of 21?
False
Let z(j) = -19*j + 231. Is 31 a factor of z(-11)?
Fals