 Is (b/(-95))/(2/10) a multiple of 8?
False
Suppose 0 = -3*d - 2*o + 283, -4*d + 493 - 104 = 5*o. Does 3 divide d?
False
Let o(k) = 5*k**2 - k. Let a be o(-1). Is a + (3 - 2)*-1 a multiple of 5?
True
Let x(a) = a**2 + a - 2. Let l be x(0). Let m be (-1)/l*22 - 3. Let r = 23 - m. Is 5 a factor of r?
True
Suppose 0 = -4*i - 4*l + 112, -l + 20 = 3*l. Is i even?
False
Let g(n) = -n**2 + 38. Let q be (-63)/(-147) + (-6)/14. Is 19 a factor of g(q)?
True
Let b(h) be the second derivative of 27*h**5/20 - h**4/12 + h**3/2 - h**2 - 11*h. Let p be b(1). Let c = p - 7. Is c a multiple of 10?
True
Let u(r) = -2*r + 6. Let t be u(3). Suppose 2*n - 7*n + 10 = t. Suppose -24 = -n*f + 22. Is 8 a factor of f?
False
Let h = 267 - -93. Does 20 divide h?
True
Let k = 122 + -231. Let h = -86 - k. Does 18 divide h?
False
Let s(i) = -i + 8. Let q be s(8). Suppose q*h - 5 = -5*h. Suppose 0 = f - 26 + h. Does 25 divide f?
True
Suppose 5*c - 5*g = 20, 0 = g + 4 - 0. Let o be (-68)/(-18) - 6/(-27). Suppose -o*n + c*n = -144. Is 12 a factor of n?
True
Is (417/2)/(5/2 + -2) a multiple of 28?
False
Suppose -40 = -2*p - 46. Is 24 a factor of (-4)/(-6)*-32*p?
False
Let o(c) = -c**2 - 17 + 3*c**2 + 4*c**2 - 4*c**2 - 15*c. Let g be o(13). Let i = -83 + g. Is 10 a factor of i?
False
Suppose 40*s - 966 - 114 = 0. Does 2 divide s?
False
Let n(z) = -z**2 - 5*z - 19. Let r(o) = o**2 + 6*o + 21. Let x(t) = -4*n(t) - 3*r(t). Let g = 1 - 1. Is 13 a factor of x(g)?
True
Suppose 0 = 5*d + 5*a - 1025, -a = -2*d - 3*d + 1049. Is d a multiple of 6?
False
Let v = 707 - 203. Is v a multiple of 21?
True
Suppose 0 = t - 5, -2*k + 3*t + 0 = -1. Suppose -5*y = -k - 2. Suppose 6*w - 4*a = y*w + 212, -5*a = 5. Is w a multiple of 19?
False
Let t = 18 - 13. Let f be (t + -4)*1 + 2. Suppose -135 = -3*u + 5*a, 0 + 129 = f*u - 3*a. Is u a multiple of 29?
False
Let t be 4/(32/10)*12. Let c = 35 + 16. Let q = c - t. Is 12 a factor of q?
True
Suppose -7*b + 68 = -1507. Is b a multiple of 5?
True
Let s(n) = -9*n**3 - n. Let a be s(1). Let c = a + 15. Suppose 0 = h - 3*x - 2, 0*h + 4*h + c*x - 25 = 0. Is 3 a factor of h?
False
Let f be 1*(-2 - -4)*-1. Let d be 402 + f + 0 + 4. Suppose -2*p + 2*y = y - 204, 4*p - 4*y - d = 0. Does 33 divide p?
False
Let x be (2 + -3)/((-2)/6). Suppose -2*y - 17 = -x*j, j - 6 = -5*y + 11. Suppose 11*d = j*d + 112. Is d a multiple of 11?
False
Let l(s) = -s - 3. Let g be l(-7). Let r = g + -8. Let b(t) = t**2 + t - 1. Is 4 a factor of b(r)?
False
Let z(f) = 10 + f - 4 + f**3 + 0 + 10*f**2. Suppose -3*d - 22 = -4. Does 38 divide z(d)?
False
Suppose 0 = 3*y - 2*n - 16, -6 + 29 = -y - 5*n. Suppose 31 = 3*x + y*w, 4*x - 40 = 2*w - 8. Does 6 divide x?
False
Let x be (-2)/(-4) - 350/(-20). Let c be (-1)/(23/(-11) + 2). Suppose z - c = 2*k - k, 2*z - k - x = 0. Does 2 divide z?
False
Let l(s) = s**3 + 6*s**2 + 4. Suppose -4*d + 4 = 2*r, -d - 2 = r - 0*d. Let i be l(r). Suppose 100 = 5*h + i*x, -2*x + 2 = -2*h + 24. Does 8 divide h?
True
Let i(m) = 4*m - 6. Let p be i(10). Suppose -2*t - 2*t + p = w, 3*t - 23 = -2*w. Let n = t - 0. Is 7 a factor of n?
False
Let z(h) = 3*h - 4. Let x be z(5). Let c be (140 - 0) + 22/x. Suppose -2*n - 5*u + 127 = 0, c - 42 = 2*n - 4*u. Is n a multiple of 17?
False
Suppose -4*v - 3 = -7*v, -a - 3*v + 7 = 0. Suppose k + a*c = 1, -4*k + 5*c + 80 + 29 = 0. Does 5 divide ((-6)/(-7))/(1/k)?
False
Is 9 a factor of ((-120)/(-70))/(3/882)?
True
Let o(r) = 2*r**3 - 7*r - 3*r**3 + 10*r + 3*r**2 + 2 - 4*r**3. Is 24 a factor of o(-2)?
True
Suppose 0 = 4*v + 4*z - 8, -5*v + 3*z - 5*z + 10 = 0. Suppose -2*h + 124 = 3*o, 7*o - 175 = v*o + 3*h. Is 19 a factor of o?
True
Let j(g) = 3*g**2 + 4*g - 4. Let f(o) = 2*o - 7. Let p be f(7). Suppose 8*r - 3 = p*r. Does 13 divide j(r)?
False
Let x = 82 - 298. Is 5 a factor of (x + -3 - -1)/((-6)/3)?
False
Let j(y) = y**3 + 9*y**2 + 6*y + 14. Let m(q) = -q**2 + 5*q - 9. Let p be m(4). Does 28 divide j(p)?
True
Suppose 26*a - 5488 = -2*a. Does 7 divide a?
True
Let d be 2 + 1 - (2 - -1). Suppose o - 5*q - 627 = 0, d*o + 5*o + 2*q = 3270. Is 27 a factor of o/6 - (-32)/(-48)?
True
Suppose 3*r - 1508 = -26*r. Is r a multiple of 3?
False
Is (-18516)/(-26) + 140/(-910) a multiple of 8?
True
Suppose 0 = -4781*o + 4792*o - 44726. Does 25 divide o?
False
Let k(x) = 5*x**2 - 3*x + 36. Let u(o) = -o**2 + o. Let r(t) = k(t) + 4*u(t). Is 30 a factor of r(0)?
False
Let j = -4 - 82. Let x = -20 - j. Does 9 divide x?
False
Suppose 83*i = 82*i + 95. Is i a multiple of 2?
False
Let y(j) = -j**3 - 12*j**2 - 10*j + 9. Let w(x) = -x**2 - x + 1. Let m(c) = 3*w(c) - y(c). Let g be m(-8). Suppose 0 = -3*k - g*k + 20. Does 2 divide k?
True
Let m = -60 - -111. Suppose -m = -5*u + 4*j, 6*u - 4*j = 3*u + 37. Suppose -10*p = -u*p - 63. Does 11 divide p?
False
Let c(o) = -3*o + 21. Let s be c(7). Suppose s = z - 0*z - 13. Is z a multiple of 11?
False
Let p be (-784)/20 + 12/(-15). Let x = p - -56. Is x/8 - 45/(-1) a multiple of 11?
False
Suppose 14*x - 10*x = 2*q + 1506, -3*q = 5*x - 1855. Does 4 divide x?
False
Suppose 138 = 2*h - 62. Is 15 a factor of (1/5*74)/(40/h)?
False
Let h(j) be the first derivative of 23*j**3/3 - j**2/2 + j - 9. Does 5 divide h(-1)?
True
Let o be (-357)/42*(0 - 2). Suppose -o = -k - 5. Does 7 divide k?
False
Suppose -3654 = 77*o - 78*o. Does 58 divide o?
True
Let s be 4/(4/1) - 1. Suppose s = 9*v + v - 1680. Is 56 a factor of v?
True
Let n(q) = -28*q + 104. Does 30 divide n(-22)?
True
Suppose f = -22*u + 18*u + 3635, -2724 = -3*u - 3*f. Is u a multiple of 23?
False
Let x(f) = 6*f - 8. Let v be x(3). Let j = 18 - v. Suppose j*s + s - 810 = 0. Is s a multiple of 27?
False
Let z(y) = -2*y**3 - y**2 - 2*y + 4. Let i be z(0). Suppose i*f - 7 = 1, 5*b = 5*f + 65. Is 3 a factor of b?
True
Let z = -35 + 107. Suppose 0 = x - z + 7. Is x a multiple of 5?
True
Let s be (-2)/(-6) - (4529/(-21) + -2). Let r = s + -122. Does 11 divide r?
False
Suppose 5*g + z + 150 = 0, -161 + 41 = 4*g + 5*z. Let q be (693/35)/((-2)/g). Suppose 0 = -12*t + 9*t + q. Is 33 a factor of t?
True
Let v(g) be the third derivative of -23*g**6/24 - g**5/60 - g**4/12 - 10*g**2. Is 29 a factor of v(-1)?
True
Let w be 36/9 + (-799)/1. Let i be ((-8)/(-10))/((-6)/w). Suppose i = 3*k - 83. Does 21 divide k?
True
Let i(t) = -4 + 7*t - 8*t + 0*t. Let x be i(-3). Is 7 a factor of 98/(-2)*x - 0?
True
Suppose -s + 1170 = 12*s. Is 6 a factor of s?
True
Suppose 0*g + 4*g - 119 = -b, 3 = -3*b. Suppose -3*k = -7 - 5. Suppose -h + k*h = g. Does 5 divide h?
True
Suppose -3*g + 4*a + 933 + 2471 = 0, -4*a - 1124 = -g. Is g a multiple of 10?
True
Suppose -4*p = 4*v + 4, -5*v - 29 = -4*p + 3*p. Let d(c) = 0*c - 8 - p*c + 1. Is d(-9) a multiple of 9?
False
Let s = -69 + 63. Is 12 a factor of (-60)/(-2) + (-4 - s)?
False
Let l(r) = -6*r - 126. Is l(-29) a multiple of 8?
True
Suppose 5*z = 5977 - 1727. Is 25 a factor of z?
True
Let i = -578 + 847. Is i a multiple of 8?
False
Suppose 0 = z - 16 + 1. Let j(r) = -r**3 + 15*r**2 + 4*r - 30. Is 6 a factor of j(z)?
True
Let w(b) = -b**2 + 12*b - 8. Let v be w(11). Suppose g = -t + 85, -v*t + 161 = 2*g + 2*t. Is 11 a factor of g?
True
Let k(q) = q + 3. Let c be k(0). Suppose 4*n - 20 = -4*l + 52, -c*l + 3*n + 72 = 0. Does 2 divide l?
False
Suppose 3*d - 4*d = 3*v - 1, -4*d = 3*v - 4. Suppose r = -2*f + 2, -4*f + 1 = r - d. Is 10 a factor of r/8 - (-357)/12?
True
Let v be ((-21)/(-6))/(1/(-2)). Let s(b) = -3 + b + 3 + b**2 + 3 + 6*b. Is 3 a factor of s(v)?
True
Let c(s) = -s**3 + 2*s**2 + 2*s + 1. Let f be c(-1). Let b(r) = 3*r - 10*r**2 - 2*r**3 + 6 + 20*r**f + r**3. Is b(10) a multiple of 6?
True
Let v = 423 - 114. Is 27 a factor of v?
False
Does 44 divide (717 - (9 - -1)) + 1*-3?
True
Let u(b) = b**3 + 7*b**2 - b - 3. Let l be u(-7). Suppose 60 - 204 = -t + n, 0 = 4*t + l*n - 608. Is t a multiple of 16?
False
Let s = 25 + -19. Suppose -s*f = -8*f + 270. Is 34 a factor of f?
False
Let x(y) = 5*y - 10. Let k be x(5). Suppose 17*i - 70 = k*i. Suppose m - 3*c - 57 = 0, 0 = -5*m + c + 208 + i. Is 12 a factor of m?
True
Let t be (1/6 + 1/3)*12. Suppose t*o = 21 + 219. Is 5 a factor of o?
True
Let j = 66 - -39. Let u = 157 - j. Does 9 divide u?
False
Suppose 2*r = 3*r - 18. Suppose i = r - 2. Is i a multiple of 14?
False
Is 27 a factor of (-226560)/(-288