+ 73. Is 8 a factor of y?
True
Is 12 a factor of (-5 + -53)/(2/(-5))?
False
Let z(i) = 8*i**2 - 8*i - 30. Does 57 divide z(-7)?
False
Let x = 6 - 5. Is 91/5 - x/5 a multiple of 9?
True
Suppose 0 = -0*a - 3*a - 147. Let f(p) = p**2 - 2*p - 3. Let z be f(-3). Is a/(-3) + (-4)/z a multiple of 16?
True
Suppose -14*v = -15*v + 4. Suppose -v*n - 7 = -y, y + 2*n + 11 = 2*y. Is y a multiple of 5?
True
Does 30 divide (4 + 232 + 9)*(-1)/(-1)?
False
Suppose 3*l = -s + 26, -2*s - 2 = -0. Suppose -4*t + 2*h - 2 = 10, -t + 2*h - l = 0. Does 4 divide (-3)/(t*(-2)/(-8))?
True
Let a be (67/(-4))/(1/(-4)). Suppose 0 = -3*l + 4*l - a. Is 24 a factor of l?
False
Let y(c) = c. Let b be y(2). Suppose q - 5*q + 8 = 0. Suppose -q*v - b*d + 3*d = -92, 5*v + 2*d - 212 = 0. Does 13 divide v?
False
Let g = -8 + 11. Suppose 0 = 3*p - o - 241, -5*p + 395 = -0*p - 3*o. Suppose 10 = -g*k + p. Is k a multiple of 17?
False
Suppose -5*k - 29 = 2*c - 113, -2 = -c. Does 4 divide k?
True
Suppose -5*d + 78 + 7 = 0. Is d a multiple of 17?
True
Let x = -5 + 7. Suppose -3*z - x*z + 30 = 0. Does 3 divide z?
True
Suppose -4 = 3*n + 2. Let f = 90 + n. Is 22 a factor of f?
True
Is 16 a factor of (117 - 9/(-3)) + -1?
False
Let m be 1/4 - (-55)/20. Suppose -s + m*x - 11 = 0, -6*s + 11 = -2*s - x. Is 4 a factor of s?
True
Suppose 5*g - 253 = -3*f, 5*f + g + 76 - 505 = 0. Does 19 divide f?
False
Let f = -7 + 14. Is 7 a factor of f?
True
Let s = -15 + 8. Let m(k) = k - 6. Let i be m(0). Is i/21 + (-170)/s a multiple of 12?
True
Suppose -5*p + 57 + 293 = 0. Does 16 divide p?
False
Let q(f) = 5*f**2 - f + 1. Let s be q(1). Suppose -t + 4*d + 27 = 0, d = s*t + 6*d - 35. Is 3 a factor of t?
False
Let v = -86 - -126. Does 21 divide (-30)/(-4)*224/v?
True
Suppose c + 30 = -g + 3*g, 0 = 5*c - g + 132. Suppose 0 = -3*t - 2*t + 10. Let z = t - c. Does 14 divide z?
True
Let f(t) = 2*t**2 - 17*t + 6. Is 8 a factor of f(14)?
True
Is 15 a factor of (-15840)/(-231)*1*7?
True
Let c(m) = 2*m + 5. Is c(8) a multiple of 16?
False
Suppose -7*w + 660 = -2*w. Is 33 a factor of w?
True
Suppose 0 = -5*w - 0*q + 5*q + 150, -5*w - 4*q + 150 = 0. Is 8 a factor of w?
False
Let o = 0 - -4. Let a = 114 - o. Is a a multiple of 25?
False
Let d(n) = 6*n**2 - n + 1. Let r be d(1). Let m(w) = w - 4. Let q be m(r). Suppose q*y - 18 = 10. Is y a multiple of 14?
True
Let n = 8 + -5. Suppose -5*y + 8 = -2*v, 4*y = v + n*y - 2. Is (1 + (-2)/v)*6 even?
True
Let m(y) be the first derivative of 14*y**3/3 - y**2 - y + 1. Let c be m(2). Does 14 divide c - (2 - (3 + -3))?
False
Let k be (-3)/(-9) + (-3)/9. Suppose 0 = -5*d - k*d + 60. Does 12 divide d?
True
Suppose -20*h = -14*h - 120. Is h a multiple of 7?
False
Is 2088/15 + 8/10 a multiple of 40?
False
Suppose 4*l - 4*j = 2*l - 4, 5*j - 23 = -2*l. Suppose s - 5*s = 20, -3*s - 15 = -l*v. Suppose -f = 4*o - v*f - 56, -2*o + 2*f + 18 = 0. Is 6 a factor of o?
False
Let g(t) = t - 8. Is g(13) a multiple of 3?
False
Suppose -5*x + 95 = 5*v, 2*v = -2*x - v + 42. Does 15 divide x?
True
Let f(s) = 2*s**2 - 8*s - 4. Let m be f(6). Suppose 0 = -p + 3*g + m, -4*p - g = -0*g - 80. Is 10 a factor of p?
True
Let g(u) = 2*u**2 - 8*u + 5. Suppose -5*p - 12 = 8, -v + 5*p + 22 = 0. Let h = v - -3. Does 13 divide g(h)?
False
Let c be 5 - 5 - (-8)/2. Suppose -c*o + 55 = o. Let d = o - 7. Does 4 divide d?
True
Let k(v) = -v**2 - 6*v + 3. Suppose -18 = 3*l - 0*l. Is 3 a factor of k(l)?
True
Suppose 8*s = 3*s + 15. Suppose -4*c - 34 = 3*y, -3*c - c - 40 = 4*y. Is 13 a factor of 106/4 + s/y?
True
Suppose o = 5*o + 16, -5*o - 18 = j. Suppose 6*z - 2*y = z + 63, j*y = 2. Is z a multiple of 6?
False
Let a(k) = k**3 + 5*k**2 - k + 1. Let t be a(-5). Let f be (t - 7) + (-14)/2. Let c = f + 14. Is c a multiple of 6?
True
Does 14 divide (0 - 5) + (2 - -160)?
False
Let o(w) = -5*w + 1. Let j(c) = -6*c + 1. Let t(d) = 4*j(d) - 5*o(d). Let h be t(5). Suppose 0*b + h*b = 36. Is b a multiple of 9?
True
Let m(r) = -5*r**2 - 2*r + 2. Let a be m(-2). Let o be (-66)/(-14) - 4/a. Suppose -4*h + 4*s = -36, -3*h + 6 = o*s - 37. Is 11 a factor of h?
True
Let h = 30 - 21. Suppose -5 = -4*w - t + 8, 3*t = -h. Is 2 a factor of w?
True
Let d(o) = -o**2 + 8*o - 9. Let z be d(6). Suppose -33 + z = -3*j. Suppose 0 = 3*h - j - 50. Does 10 divide h?
True
Let d be (2 + 0)/((-14)/273). Let u be ((-2)/(-4))/(1/(-134)). Let v = d - u. Is v a multiple of 14?
True
Let u(c) = c**2 + 6 + 11*c - 4 - 4*c. Let n be u(-7). Suppose -179 = -4*p - z + n*z, 0 = -5*p + 4*z + 232. Does 16 divide p?
False
Let v(p) = 3*p**2 + 16*p - 3. Is v(-7) a multiple of 8?
True
Let y(x) = -x**3 - 5*x**2 - 7*x - 3. Let j be y(-4). Suppose j*r = 8*r + 16. Is r a multiple of 4?
True
Is 8 a factor of 1 + 99/3 + -2?
True
Let k = 2 - 5. Let v = k + 3. Suppose 2*y = 2*o + 16, 4 = o - v. Does 12 divide y?
True
Suppose 3*k + 0*k - 51 = 0. Does 17 divide k?
True
Suppose d + 2*r - r = 81, -4*r - 292 = -4*d. Does 19 divide d?
False
Suppose 5*s + 12 = 27. Let g(h) be the second derivative of h**5/20 - h**4/6 - h**3/3 + 2*h**2 + 20*h. Is 7 a factor of g(s)?
True
Suppose 3 = y - u, -y - 13 = 3*u - 8*u. Suppose -3*a + 10 = -3*f - a, -5*f - 16 = -4*a. Let j = f + y. Does 2 divide j?
False
Let i be (-4)/6*(-3 - 0). Suppose -i*m - 2 + 4 = 0. Let b(n) = 29*n + 1. Is 15 a factor of b(m)?
True
Suppose 0 = 4*f + 4*y - 240, -y = -4*f + 4*y + 267. Does 21 divide f?
True
Let o = 21 + -3. Suppose 0 = 4*s - 2*k - o, s + k - 4 + 1 = 0. Is 11 a factor of (5 - 1)/(s/22)?
True
Let z(k) = -k**2 + 5*k + 9. Let f(g) = -g**2 + 5*g + 8. Let h(y) = 3*f(y) - 2*z(y). Is h(5) a multiple of 6?
True
Let r(m) = m**3 + 2*m**2 - 6. Let t = -18 - -21. Does 13 divide r(t)?
True
Let t(s) = s**2 - 4*s - 4. Does 6 divide t(-3)?
False
Let u(n) = n. Let v(r) = -r + 1. Let h(q) = 2*u(q) + v(q). Let y(g) = 7*g + 8. Let c(k) = -6*h(k) + y(k). Does 7 divide c(5)?
True
Suppose -2*z + 4 - 2 = 0. Is 10 a factor of 8/z + (-2)/(-1)?
True
Let w = -10 + 13. Let l be ((-39)/(-6))/(w/6). Suppose 4*a - l - 51 = 0. Is 16 a factor of a?
True
Let y = 3 + 1. Let k = 19 - 11. Suppose -j - k*q + 3*q = -50, -5*j - y*q + 166 = 0. Does 23 divide j?
False
Suppose 5*f - g - 148 = 0, g + 114 = 4*f - 2*g. Suppose -3*w - 2*w + f = 0. Does 4 divide w?
False
Let r = -89 - -215. Is 22 a factor of r?
False
Let c be (-68)/(-8) + 6/(-4). Suppose 67 = -4*q - 3*o + 184, -5*o + 15 = 0. Suppose 0 = -5*v + 4*w + c + 35, 0 = -5*v - w + q. Is 3 a factor of v?
True
Let b(c) = -c**3 - 2*c**2 - 4*c - 3. Let i be b(-2). Suppose -20 = 4*t, i*z - 190 = t + t. Is z a multiple of 25?
False
Let i be (5/4)/((-4)/(-16)). Suppose -4*g = -i*u - 127, -2*g + 3*u = 2*u - 59. Is 8 a factor of g?
False
Let y(j) = -j**3 + 6*j**2 - 4*j - 5. Let r be y(5). Suppose u + r*u - 2 = 0. Suppose -u = v - 32. Is v a multiple of 15?
True
Let q be (-1)/(2*(-1)/42). Let a = -7 + q. Is 7 a factor of a?
True
Suppose -3*a = -9 - 357. Does 23 divide a?
False
Suppose 7*a - 179 = 45. Is a a multiple of 28?
False
Suppose -3*b + 6 = -b. Suppose -61 = -b*k + i, -2*k - 3*i = -6*k + 88. Is 11 a factor of k?
False
Suppose 7*s - 2*s - 435 = -5*t, -2*s = 4*t - 168. Does 15 divide s?
True
Let h = -50 + 74. Does 8 divide h?
True
Let v(z) = 2*z**3 - 2*z**2 - 4*z + 2. Is v(3) a multiple of 13?
True
Let p be (-3 + -26)/(1 - 2). Let f = -20 + p. Is 6 a factor of f?
False
Let s(y) = y**3 - 16*y**2 + 17*y - 6. Let k be s(15). Let p(v) = v**2 + 5*v + 4. Let h be p(-5). Suppose h = -3*w - 4*l, 5*w = w + 2*l + k. Does 4 divide w?
True
Let t(x) = -x**3 + 12*x**2 - 2*x - 15. Is t(11) a multiple of 21?
True
Let c(h) = 2*h**2 - 14*h - 7. Let j(k) = k**2 - 7*k - 3. Let g be -8 - 2/(2 - 0). Let m(d) = g*j(d) + 4*c(d). Is m(5) a multiple of 6?
False
Let r(w) = -2*w - 1. Does 9 divide r(-14)?
True
Let v = 19 + -32. Suppose -8 = -s + 16. Let n = s + v. Does 11 divide n?
True
Is 6 a factor of (-2420)/(-198) - 4/18?
True
Let u(j) = -11*j - 2. Let i be u(-4). Suppose -4*w + 4*b + 60 = 0, -b - 27 - i = -4*w. Is w a multiple of 6?
True
Let g(a) = -2*a - 18. Is g(-15) a multiple of 4?
True
Let g = -11 + 11. Suppose 2*v - 6 = g, 3*v - 79 + 20 = -5*m. Is m a multiple of 10?
True
Let c(w) = -w**2 + 8*w + 7. Is 13 a factor of c(5)?
False
Suppose 0 = -5*u + 269 + 76. Is u a multiple of 8?
False
Suppose 2*q + 5*t + 10 = -3*q, -t - 3 