 28. Let z = p - 7. Is (z/(9/48))/1 a multiple of 8?
True
Let j be ((-9)/(-3) - 2) + 4. Suppose 0 = -4*w - j*b + 3*b + 34, 4*w + 4*b - 24 = 0. Is 5 a factor of w?
False
Let h(q) = -q**3 + 6*q**2 + 4. Let o be 0 - -7 - (3 - 2). Let a be h(o). Suppose 3*f - a*p - 82 = -2*f, -20 = -f + 2*p. Does 7 divide f?
True
Let q(g) = 2*g - 2. Let p(l) = -l**2 + l - 1. Let c be p(2). Let y be 45/6*(-2)/c. Is 5 a factor of q(y)?
False
Suppose -4*v = -3*g - 2 - 10, -12 = 3*g. Let q = v + 0. Suppose 2*d - 17 - 25 = q. Is 7 a factor of d?
True
Let u = 14 + -12. Suppose -u = 4*r - 130. Is r a multiple of 16?
True
Let u(l) = l**3 - 5*l**2 + 5*l - 1. Let h be u(4). Let c(i) = -i**3 + 6*i**2 - 3*i + 2. Does 6 divide c(h)?
False
Suppose s - 314 = -j, -4*j - 1534 = -5*s - 0*j. Suppose -5*b + 2*g = -0*g - s, -2*b + g = -123. Is b a multiple of 18?
False
Suppose -5*c + 1 = -14. Let a(k) = k**3 + 2*k - 3. Is 15 a factor of a(c)?
True
Is (63/(-18))/(1/(-10)) a multiple of 14?
False
Let q(z) = -11*z**2 + 2. Let a = -3 - -5. Let k(f) = 6*f**2 - 1. Let t(o) = a*q(o) + 5*k(o). Does 3 divide t(-1)?
False
Let t(x) = 9 + x - 3*x - 3. Is t(-11) a multiple of 10?
False
Suppose 5*s - s = -8, 5*p - 568 = 4*s. Is 16 a factor of p?
True
Suppose 0 = -11*f + 6*f + 660. Is 24 a factor of f?
False
Let v(f) = -3*f + 5. Let m(d) = 5*d - 10. Let z(a) = -3*m(a) - 7*v(a). Does 16 divide z(8)?
False
Let b(d) = 3*d + 6*d**3 - d**3 - d**3 + d - 2*d**2 - 3. Is b(2) a multiple of 12?
False
Suppose -18 = -3*b - 42. Let c = 13 + b. Does 2 divide c?
False
Let a(b) = b**3 - 12*b**2 + 7. Let t be a(12). Let o = 44 + t. Is o a multiple of 16?
False
Let i be (-4)/6 + (-28)/(-6). Suppose 0*n + i*n = 0. Suppose 0 = 3*b - n*b - 81. Is 15 a factor of b?
False
Let y = 51 - 7. Is 12 a factor of y?
False
Suppose 0 = -5*c + c - 16. Let h = c + 6. Does 2 divide h?
True
Let r(c) = 0*c**2 + 9*c**2 - 2*c - 4 - 3*c**2 - c**2. Is 10 a factor of r(-3)?
False
Suppose -2*l + 4*y - 6 = 0, 2*l + 0*y = 2*y. Suppose 6 = -2*v + v - 3*w, 3*w = -l*v - 6. Suppose c = -c - 10, 5*o + 5*c - 45 = v. Does 10 divide o?
False
Let v be (-3)/(9/(-3) + 2). Let y(z) = -4 - 2*z**3 - z + 2*z**v + 3*z**3 - 12*z**2 - 4*z**3. Is 5 a factor of y(-12)?
False
Let v(q) = q + 17. Let m be (-12)/42 + (-47)/7. Does 3 divide v(m)?
False
Let i be (22 - 2)/(6/9). Suppose -a = -i + 7. Does 18 divide a?
False
Let c be 2/3*(2 - -1). Does 11 divide (c + -1 - 3)*-26?
False
Suppose -6*x = -3 - 105. Does 6 divide x?
True
Let v = -19 + 28. Is 15/2*(-7 + v) a multiple of 5?
True
Let c be 4*(2/4)/1. Suppose -2*f + 34 = 3*j, c*j = 4*f - 90 + 6. Is 10 a factor of f?
True
Let s(p) = p**3 - 2*p**2 - 8*p + 3. Does 19 divide s(5)?
True
Let r(j) = -j**3 + j + 12. Is 4 a factor of r(0)?
True
Suppose 2*d - 1 - 11 = 0. Suppose y + d*z - z = 16, y - 3*z = 0. Is 6 a factor of y?
True
Suppose 0*f + 620 = 10*f. Is f a multiple of 16?
False
Let y(r) = r + 1. Let q be y(0). Is 17 a factor of (q + -87)*3/(-6)?
False
Suppose 2*o = -5*z + 44, 3*o - 36 = z + 47. Suppose 0 = -h + o + 103. Let f = 188 - h. Is f a multiple of 22?
False
Let j be ((-3)/3)/((-1)/5). Suppose -j*h = -6*h + 23. Suppose -s - y + h = 0, 2*y = -2*y + 12. Is s a multiple of 13?
False
Let n = -6 - -94. Is 11 a factor of n?
True
Is ((-6)/8)/((-13)/2080) a multiple of 4?
True
Is ((-8)/(-12))/((-10)/(-5385)) a multiple of 17?
False
Let w = 6 - 4. Let g be (3 - 5)/((-2)/(-8)). Is (4 - w) + g/(-2) a multiple of 5?
False
Let b(u) = -20*u - 3. Is 3 a factor of b(-3)?
True
Let d(c) = c**2 - 3*c + 3. Let m be d(3). Suppose 0 = m*n + n. Suppose n = 4*a - 5*q - 53, -q + 4*q = -5*a + 94. Is 17 a factor of a?
True
Suppose -4*z - 20 = -4, -5*z - 15 = -n. Let v = 2 - n. Is v a multiple of 4?
False
Suppose 0 = y - 2*y + 4. Suppose -5*m - 2 = y*u, -8 = 2*u - 2. Suppose 21 = m*c + 3*c + l, -2*l - 3 = c. Does 5 divide c?
True
Suppose 2*r + 4 = -2*r. Let d be -5 + (r/(-1))/1. Is 4/(-6)*126/d a multiple of 7?
True
Let d(y) = 7*y + 4*y + 2 + 8*y - 1. Is d(1) a multiple of 12?
False
Is (-2 - -5) + -1 - -28 a multiple of 15?
True
Let t(n) = n. Let h(y) = -8*y - 3. Let v(b) = h(b) + 4*t(b). Let q(g) = -g**3 + 8*g**2 + g - 11. Let o be q(8). Is 9 a factor of v(o)?
True
Suppose 3*p = 5*p - 22. Suppose 4*f = -2 + 6. Suppose 3*d - p = f. Is d a multiple of 2?
True
Suppose 6*r = 4*v + 2*r - 628, -2*v = -5*r - 329. Does 18 divide v?
False
Suppose m - 3 = 1. Let a = m + -3. Is 13 a factor of 38 + 1 + a + -1?
True
Suppose 5*x + 6*f - 4*f = -753, -5*x + 3*f - 733 = 0. Let i be (209/2)/(3/6). Let n = x + i. Does 19 divide n?
False
Is 1*(-4 - -2) + 17 a multiple of 3?
True
Suppose 0 = 4*x + 16, 240 = 4*a - 0*a - 2*x. Is 15 a factor of a?
False
Does 6 divide (0 - 1)*(-5 + -1)?
True
Is 29 a factor of ((-16)/10)/(-4) - (-308)/5?
False
Suppose 1 = u - m, -2*u - 2*u + 2*m = -12. Suppose -u = -2*c + 25. Is 21 a factor of 10/c + (-124)/(-3)?
True
Let l be ((-4)/(-10))/((-2)/(-10)). Suppose 2*b + 5*q + 19 = 0, q = l*b + 3*b - 20. Suppose 5*d + w - 53 = -2, -5*d = -b*w - 67. Does 5 divide d?
False
Let l(y) = -18*y - 7. Does 25 divide l(-5)?
False
Let h(u) = -43*u**3 + u**2 - 1. Suppose f + 2 = -4*l, -2*l + 2*f = -0 + 6. Does 22 divide h(l)?
False
Let h(a) = -a**3 + 4*a**2 - 3*a. Let k = 2 + 1. Let o be h(k). Suppose 35 = 5*f - o*f. Is 7 a factor of f?
True
Let c(t) = -t**2 + 18*t - 6. Is 8 a factor of c(14)?
False
Suppose -7*h = -3*h - 4. Suppose -6 = 32*a - 38*a. Does 3 divide h - -1*(a - -1)?
True
Let x(q) = 7*q - 8. Does 27 divide x(8)?
False
Is 2 a factor of -1 + 5 + 4 + 1?
False
Suppose 0 = b - 1. Is 12 a factor of 355/15 + b/3?
True
Let b = -6 - -19. Does 10 divide b?
False
Let k = -20 + 64. Does 7 divide k?
False
Let u = 105 + 107. Is 26 a factor of u?
False
Let b(o) = -14*o**3 + o**2 + 2*o - 6. Does 15 divide b(-3)?
True
Let i(a) = -a**3 - 11*a**2 - 13*a - 22. Is i(-10) a multiple of 3?
False
Let b(r) = 10*r + 5. Does 25 divide b(2)?
True
Suppose -3*j + 36 = -l, 0*l = 3*l - 9. Suppose -3*h = 2*t - j, -4*t - 5 = -5*t - h. Suppose -t*n + 9 = -n. Does 9 divide n?
True
Suppose 4*v = -3*o + 40 - 11, -2*o = -v + 10. Is 20 + (-2)/v*0 a multiple of 20?
True
Let r = -10 + 12. Is 13 a factor of (-75)/(-5) + r/(-1)?
True
Let c = -135 - -231. Does 14 divide c?
False
Let f(t) = -5 - 1 + t - 3*t. Does 4 divide f(-5)?
True
Let m = -9 - -35. Is m a multiple of 3?
False
Suppose 94 = -4*s + 226. Let z = -20 + s. Does 13 divide z?
True
Let b(y) = y**3 - y**2 - y. Let v be b(3). Let n = 28 + v. Is n a multiple of 14?
False
Suppose -3*w - 2*j = -7, -w + 2 = 2*j - 3. Let k(b) = -33*b**3 + b - 1. Let h be k(w). Let g = h + 55. Does 11 divide g?
True
Let z(y) = -12*y**2 + 8*y**2 + 4*y**3 + y - 3*y**3 + 1 - 7. Let b be (-1 + 0 - -1) + 5. Is z(b) a multiple of 16?
False
Suppose -s + 4*i = -20 - 36, -4*i = -3*s + 208. Is 15 a factor of s?
False
Let x(a) be the first derivative of -a**3 - 7*a**2/2 + a - 2. Let o(w) be the first derivative of x(w). Is o(-6) a multiple of 22?
False
Let r = 19 - 2. Suppose -5*p + 55 = -4*z - z, 4*z - 3*p + 41 = 0. Let s = z + r. Is 3 a factor of s?
True
Let o(u) = -14*u - 7. Does 13 divide o(-7)?
True
Suppose 3*y = 3*c - 0*y + 18, 2*c = -2*y + 8. Suppose 5*d + 31 = 3*k, -2*k - 2*d = 3*k. Is 5 a factor of c + 30/k + 1?
True
Let t(a) be the first derivative of -5*a**2/2 + 9*a - 2. Let m be t(7). Let u = m + 46. Is u a multiple of 10?
True
Is 2 a factor of (-5)/(-30) + (-23)/(-6)?
True
Suppose o = 2*o - 3. Suppose 4*c - 3*b - 221 = 0, -c - b + 60 = o*b. Is c/(-12)*(-9)/6 a multiple of 7?
True
Let w = -68 - -146. Is w a multiple of 26?
True
Suppose x + 106 = 3*y, 4*y = -2*x + 66 + 92. Let s = y - 25. Let o = 36 - s. Is o a multiple of 12?
True
Suppose 0*g + 334 = 2*g. Suppose 0 = -4*x + 3*h + 116 + g, -x + 74 = -4*h. Is x a multiple of 25?
False
Does 18 divide 106/6 + 2/6?
True
Suppose -y + 2 = -2*y. Does 24 divide y - 1/((-1)/26)?
True
Suppose 5*m = 2*m. Suppose -2*c + m = -12. Is c a multiple of 4?
False
Let t be 0/6 - (57 - -1). Let s = t - -98. Is s a multiple of 15?
False
Suppose 0 = z - 4*j + 5*j - 3, -5*j = 3*z - 9. Let v(g) = g**3 - 3*g**2 + 3*g - 1. Is v(z) a multiple of 8?
True
Suppose -r - 38 + 45 = 0. Does 3 divide r?
False
Suppose -5*w = 3*a + 6 + 9, 2*a = -4*w - 10. Let x be -2 + w + -1 - -3. Suppose x = -3*h + b + 34, 5*h - 3*b - b 