se
Let h = -3 + 2. Is 10 a factor of 2 - (-4 - h - 29)?
False
Let p(i) = 2*i**3 + i**2 + 2*i - 1. Let q be p(3). Suppose o = -o + q. Is 7 a factor of o?
False
Let h(k) = 8*k**3 - 4*k**2 + 2*k + 4. Is 28 a factor of h(2)?
True
Suppose 0 = -4*y + 2*y + 6. Suppose 0 = y*l - 19 - 29. Does 16 divide l?
True
Let n(p) = -p**2 - 7*p + 2. Let i be n(6). Let l = 125 + i. Suppose 0 = 4*u - 2*c - 102, 5*u - 3*c = 3*u + l. Does 13 divide u?
True
Suppose 2*h - 4 = -2. Let d(v) = 41*v + 1. Is d(h) a multiple of 16?
False
Let a(o) = -7*o - 11. Does 13 divide a(-5)?
False
Suppose -1267 - 1253 = -14*o. Is 12 a factor of o?
True
Let d be (-1)/((-3)/123) - 2. Let r be d/(-6) - (-1)/2. Is 16 a factor of r/(-15) - (-203)/5?
False
Let f(n) be the first derivative of -n**3/3 - 11*n**2/2 - 5*n - 1. Is 17 a factor of f(-7)?
False
Let h(k) = 34*k - 1. Let q be h(2). Suppose 0 = -3*d - 4*z + 73, -3*z + 4*z + q = 2*d. Does 14 divide d?
False
Let m(y) = -y**2 - 10*y + 18. Is m(-10) a multiple of 18?
True
Suppose a - 5 + 3 = 0. Let y(f) = 2*f**3 - 2*f**2 + 2*f + 2. Let z be y(a). Suppose x - z = 18. Is x a multiple of 16?
True
Let d(h) = 4*h**2 + h - 2. Let k be d(2). Suppose 3*t + 10 = f - k, -29 = -f + 4*t. Does 17 divide f?
True
Does 6 divide 1180/36 - 5/(180/(-8))?
False
Let k(p) = -p**3 + 13*p**2 + 5*p + 7. Does 13 divide k(13)?
False
Let k = 13 + -8. Suppose 0 = k*h - 59 - 66. Does 9 divide h?
False
Let f = 23 + -18. Suppose 0 = 3*n - b + f*b - 47, n + b - 14 = 0. Is 9 a factor of n?
True
Let w = -7 + 10. Suppose -w*i = i - 84. Is 11 a factor of i?
False
Let h(j) = j**2 - 3*j + 33. Is h(-6) a multiple of 29?
True
Suppose 4*c + 244 = 3*b - 170, -b + 4*c + 146 = 0. Is 21 a factor of b?
False
Let w = 76 + -51. Let j = w + -18. Is 3 a factor of j?
False
Let o(t) = 3*t**2 - 25*t - 17. Let x(j) = -5*j**2 + 38*j + 25. Let a(s) = 8*o(s) + 5*x(s). Does 3 divide a(-8)?
False
Let v(i) = -i**2 - i + 24. Let w be v(0). Suppose -k - 5 = -w. Is k a multiple of 15?
False
Let s = -101 + 233. Does 11 divide s?
True
Let v(r) = 0*r**2 + 5 - r**2 + 0*r**2 - 10*r. Does 4 divide v(-9)?
False
Let c = 0 - -15. Suppose 2*u - 33 = c. Does 12 divide u?
True
Let a(j) = -3 + 34*j**2 - 8*j + 0 - 35*j**2. Let u = -4 - 1. Is a(u) a multiple of 8?
False
Suppose 4*j + 30 + 23 = v, 3*v = -2*j + 89. Is 11 a factor of v?
True
Let u = -59 - -124. Suppose -4*c + 2*v = -c - 35, -5*c = -2*v - u. Is c a multiple of 15?
True
Does 26 divide 1404/60*10/3?
True
Let j = -13 + 19. Is ((-18)/(-8))/(j/32) a multiple of 6?
True
Suppose -2 = -4*i + 2*b, 2*i + 0 = -5*b + 31. Is 1/i - 46/(-6) a multiple of 4?
True
Let q(p) = 5*p - 3. Let s be q(-3). Let g = -13 - s. Does 5 divide g?
True
Suppose -3*a + 0*a - v = -117, -5*a = 2*v - 195. Is a a multiple of 13?
True
Let y = 57 - 33. Does 6 divide y?
True
Is 8 a factor of (-1 + 237/9)*3?
False
Let y(c) = c**3 + 3*c**2 - c - 2. Let b be (-2)/6 - 40/15. Let t be y(b). Let s = 4 + t. Is s a multiple of 5?
True
Let w = 148 + -59. Is w a multiple of 15?
False
Let c(z) = z + 2. Let x be (-14)/63 + (-2)/(-9). Let s be c(x). Let q(a) = 7*a - 3. Does 6 divide q(s)?
False
Suppose k = 3*k + 434. Is (k/14)/((-1)/2) a multiple of 13?
False
Suppose 19 = u + z + 4*z, -5*z = -4*u + 1. Suppose -4*r + 8*r + 23 = 3*t, 0 = -u*t - 2*r + 38. Is t a multiple of 9?
True
Suppose -5*r - 8 = -3*c, -2*r - 2 = -0. Is 1*(-1 - c)*-10 a multiple of 20?
True
Suppose -2*j + 16 + 14 = 0. Is j a multiple of 15?
True
Suppose k + 0*k - 52 = 0. Is k a multiple of 26?
True
Suppose -7*k + 480 + 584 = 0. Does 38 divide k?
True
Let y(s) = -s**2 + 11*s + 22. Does 8 divide y(11)?
False
Does 6 divide ((-18)/7*3)/(6/(-28))?
True
Suppose 3*f - 6*f + 474 = 0. Let j = f - 103. Is j a multiple of 12?
False
Let k(x) = x**3 - 8*x**2 - x + 9. Let b be k(8). Let m(y) = 2*y. Let j be m(3). Let q = j + b. Is q a multiple of 7?
True
Suppose 10*q - 15 = 5*q. Suppose 83 = q*r - 4. Is 8 a factor of r?
False
Let c(y) = y + 9. Let i(t) = t + 4. Let u(s) = 4*c(s) - 9*i(s). Is u(-1) a multiple of 5?
True
Let d = 11 + -11. Suppose d = -3*q + 6*j - 2*j + 13, 3*q = -4*j + 5. Does 2 divide q?
False
Let g(t) = t**3 - 9*t**2 - 21*t + 4. Does 5 divide g(11)?
True
Suppose -83 = -4*w - 5*f, -3 = f - 2. Is w a multiple of 11?
True
Suppose -13*w = -w - 120. Is w a multiple of 10?
True
Let x(m) = 35*m - 5. Let r(z) = z. Let w(l) = -6*r(l) + x(l). Does 19 divide w(2)?
False
Let n(o) = -3*o**2 + 6*o - 6. Let q(b) = 6*b**2 - 11*b + 11. Let x(g) = 11*n(g) + 6*q(g). Does 2 divide x(1)?
False
Suppose 5*b - 691 + 56 = 0. Is b a multiple of 29?
False
Let d(m) = 2*m**2 - 4*m - 4. Let u(z) = -z + 2. Let s be u(-3). Is 13 a factor of d(s)?
True
Let p be (1 + 17)*6/4. Let w(v) = 2*v - 7. Let x be w(5). Does 11 divide p - (x + -2) - -1?
False
Let c(s) = -s. Let w be c(4). Does 15 divide 1/w - (-61)/4?
True
Suppose -4*t + 128 = -0*c + 4*c, 8 = 4*c. Let d = t + -21. Is 3 a factor of d?
True
Let l(k) = 2*k - 26. Let j(a) = -3*a + 26. Suppose 0 = -0*v - v - 4. Let o(n) = v*l(n) - 3*j(n). Is o(0) a multiple of 13?
True
Let y be (0 - 2/(-4))*24. Let s = 23 - y. Is s a multiple of 3?
False
Let r(q) = q**2 + 14 - 6*q - 10 - 3*q. Does 12 divide r(12)?
False
Let c = 0 - -5. Suppose 5*d - 5*y = 125, 0 = -2*d - c*y + y + 44. Is d a multiple of 10?
False
Let o(w) = w**2 - 6*w - 4*w + 4*w + 2 + 4*w. Is 2 a factor of o(3)?
False
Suppose -18 = -b - 6. Does 3 divide b?
True
Let z(o) = -5*o + o**2 + 0*o**2 + 4*o**2 + 2 - 3*o**2. Let l be z(3). Suppose -4*d - l*f = -66, 4*d + 4*f - 45 = 19. Is 14 a factor of d?
True
Let q = -33 + 23. Let m = q - -13. Suppose -m*r = -8*r + 85. Is 8 a factor of r?
False
Let j be (-1)/(-2) + (-18)/12. Let p = j - -5. Is 2 a factor of p?
True
Let r = 8 + -6. Suppose -2*v - 4*z - 22 = -4*v, r*z - 54 = -4*v. Does 6 divide v?
False
Let c = 77 + -26. Is 8 a factor of c?
False
Is 17 a factor of -2 + (0/(-1) - -34)?
False
Let m = -18 - -22. Suppose m = u - 8. Is u a multiple of 12?
True
Suppose 6 = l - 2*l. Is 1 - (-3)/3 - l a multiple of 3?
False
Let t = -39 - -65. Does 20 divide t?
False
Let m(i) = -i**3 + i**2 + 2*i + 71. Is 17 a factor of m(0)?
False
Let t be 6/(-12) + 14/4. Suppose 0 = t*h + 6, 5*u = -2*h - 4 + 30. Is u a multiple of 6?
True
Suppose 15 = j + 10. Let g be ((-6)/(-9))/(2/(-6)). Let y = j + g. Does 3 divide y?
True
Let w(z) = 3*z**2 - 14*z + 13. Does 26 divide w(9)?
True
Let v(y) = -8 + 5*y**2 + 0*y**2 + 4*y - 4*y**2. Suppose -5 = -0*z - 5*z, 3*r - 13 = 5*z. Is 21 a factor of v(r)?
False
Let i(m) = m + 2*m**2 + m**2 - 3 + m**2 - 3*m**2. Is 29 a factor of i(-10)?
True
Let k(n) = -n**2 + 7 + n - 3*n - 3. Let i be k(-4). Does 14 divide 55/2 + (-2)/i?
True
Let q(a) = 24*a + 1. Let i be q(1). Let b = i - 12. Is 9 a factor of b?
False
Suppose 0 = 18*p - 25*p + 1176. Does 42 divide p?
True
Let y be 138/7 + 10/35. Suppose -q + 4*o - 65 = -4*q, -y = -q - o. Is ((-26)/5)/((-3)/q) a multiple of 10?
False
Is (-642)/(-7) - (-8)/28 a multiple of 23?
True
Let v(t) = -t**3 - 6*t**2 - 5*t + 6. Let o be v(-5). Suppose o*l - 115 = l. Does 6 divide l?
False
Let c = -7 - -57. Does 10 divide c?
True
Let y = -4 - 0. Is (-56)/12*6/y a multiple of 7?
True
Let q = 196 + -81. Suppose -2*y + q = -41. Suppose -3*v + y = 24. Is v a multiple of 5?
False
Is 4 a factor of -20*((-42)/10 + 3)?
True
Suppose -4*u - 22 = -n, 3*u - 17 = 4*n + 8*u. Suppose -2*y - 2*y + 3*m = -740, n*y + m = 370. Suppose 4*j - y = -j. Does 24 divide j?
False
Does 20 divide 9117/63 - (2 - 32/14)?
False
Let q be 3 + 55 + 0/2. Suppose -4*k + q = -14. Does 9 divide k?
True
Let t be (0 + -1)/((-1)/5). Suppose t*l - 16 = -1. Suppose 2*k - k = 5*m - 28, -26 = -l*m - 4*k. Is m a multiple of 3?
True
Let a(z) = -z**3 - 4*z**2 + 5*z + 5. Suppose 3*i + 7 = 2*f, -4*i - 8 = -2*f - f. Does 4 divide a(i)?
False
Let y be 16/3*(-6)/(-4). Let v(b) = 4*b**2 - 7*b + 4. Let i be v(3). Let q = i - y. Does 3 divide q?
False
Suppose 4*i + 2*p = 344, 4*i + 0*p - 360 = 2*p. Is i a multiple of 11?
True
Let p(q) = q - 2. Let s be p(2). Is -1 - (-2 + s) - -35 a multiple of 12?
True
Is 23 a factor of (17 - 86)/(6/(-8))?
True
Let g(b) = -b**3 + 7*b**2 + b. Suppose 2*q + o - 6 = 0, 0*o + 4*o = 0. Is 20 a factor of g(q)?
False
Let i be 46/14 - (-6)/(-21). Suppose -z - i*z = -68. Does 4 divide z?
False
Let v(w) = -5*w + 3. Doe