 Does 8 divide i?
True
Suppose -5*z = -3*z - 4. Suppose -4*p = z*u - p + 40, -5*u + 5*p - 75 = 0. Let b = u + 22. Is 4 a factor of b?
False
Suppose 2239 = 13*o - 3247. Does 37 divide o?
False
Let r(p) = p**2 + p - 3. Let o be r(6). Suppose -4*a = -o - 25. Suppose n - a = 6. Does 11 divide n?
True
Suppose 5*h - 14 - 101 = 0. Suppose 47 = l - h. Is l a multiple of 8?
False
Suppose 0 = -5*c + 13 + 2. Suppose -c*j + 0*j - 876 = -5*g, 2*g + 4*j - 340 = 0. Does 26 divide g?
False
Let z = 14 + 0. Suppose 3*j = 240 + 210. Does 11 divide j/z + (-4)/(-14)?
True
Let d be -3236*(-1)/(-7) - 10/(-35). Let c = -328 - d. Is 10 a factor of c?
False
Does 31 divide -8*5/10 - -284?
False
Is 188 - -3 - (26 - 23) a multiple of 4?
True
Let c(z) = z + 5 - 12 + 3. Let b be c(-3). Let m(y) = -y**2 - 7*y + 10. Does 4 divide m(b)?
False
Let l(q) = q**3 - 4*q**2 - q + 6. Let r be l(4). Suppose -j + 76 = 2*z, r*z = -2*j - 3*z + 151. Is 13 a factor of j?
True
Is 5 a factor of (-6)/10 - (1203/(-5) + -5)?
True
Let x = 32 - 46. Let l = -59 - x. Does 20 divide l*((-32)/6 + 4)?
True
Let u(q) = 22*q - 8. Let y(v) = -1. Let f(m) = u(m) + 2*y(m). Is 11 a factor of f(5)?
False
Let t be 4/1*(-26)/8. Let n = t + 15. Suppose 0*p = 3*p, n*i - 44 = -4*p. Is 5 a factor of i?
False
Suppose -2574 + 11548 = 7*s. Does 13 divide s?
False
Suppose -32071 - 50521 = -29*v. Does 13 divide v?
False
Suppose u - 4*u - 33 = 0. Let x(z) = 3*z + 27. Let l be x(u). Is 30 a factor of l/3 + 0 - -92?
True
Let h = 40 - 43. Let d(u) = -14*u - 2 + 0 - 4. Does 6 divide d(h)?
True
Let f be ((-22)/(-6))/(2/(-6)). Let v(h) = 2*h + 2. Let o be v(f). Let i = o - -26. Is 2 a factor of i?
True
Let x = -822 + 1159. Is 41 a factor of x?
False
Suppose 5*n - 766 - 354 = 0. Is 28 a factor of n?
True
Let i(n) = 9*n**2 - 13*n**2 + 3*n**2 + n + 16*n**3. Is i(2) a multiple of 6?
True
Let s be 2*(-5)/40 - (-882)/8. Suppose -3*w + 75 = r, 43 = 2*r + 5*w - s. Is r a multiple of 12?
True
Suppose -5*f - 4*n + 1661 = 0, 6*f + 5*n = 3*f + 994. Let q = -202 + f. Does 31 divide q?
False
Suppose -3*n = k - 428, -4*k - k = -4*n - 2235. Is 10 a factor of k?
False
Let o(b) = 139*b**2 + b. Suppose 0 = -7*m + 4 + 3. Let k be o(m). Suppose -2*n = -7*n + k. Is 7 a factor of n?
True
Let c(o) be the third derivative of -29*o**6/40 + o**5/30 + o**4/24 - o**2. Let r be c(-1). Suppose -250 + r = -3*s. Does 18 divide s?
True
Let o = 70 + -62. Let h(a) = a**3 - 7*a**2 - 9*a + 17. Is 2 a factor of h(o)?
False
Let h = -7 - -31. Let i(v) = 25*v - 2. Let f be i(2). Suppose 4*t - 4*p = f, 5*t + 4*p = -0*t + h. Is t a multiple of 2?
True
Let z = 136 - 152. Suppose -33 = -2*c - c. Let w = c - z. Is 14 a factor of w?
False
Let h(m) = -m**2 - 10*m + 11. Let g be h(-8). Suppose -23*q - 20 = -g*q. Is q a multiple of 2?
False
Let q(u) = -u + 17. Let r be q(12). Suppose -r*n = -n. Suppose 33 = 3*f - n. Does 11 divide f?
True
Let l = -64 + -185. Let x = l - -469. Is 44 a factor of x?
True
Suppose 3*g - 4367 = u, 5*g + 10*u - 7279 = 11*u. Is g a multiple of 13?
True
Let z(s) = s**3 - 13*s**2 - 16*s + 16. Let t be z(14). Is -1*t/8*6 a multiple of 3?
True
Let v = 787 - -124. Is v a multiple of 65?
False
Suppose 15 = -2*r - p, -5*p - 12 = -0*r + r. Let n(j) = -j + 4. Is 2 a factor of n(r)?
False
Let w(b) be the first derivative of 35*b**2/2 + 10*b + 15. Is w(3) a multiple of 23?
True
Does 11 divide 295*((-10)/(-14) - (-62)/217)?
False
Let s = 19 - 28. Let w be ((-2 - -1) + -3)*s. Let r = w + -24. Is 6 a factor of r?
True
Let c = 256 - 381. Let k = c + 183. Let w = -14 + k. Is w a multiple of 11?
True
Let m = -42 + 63. Let l = m + -18. Suppose 4*t = 3*f + 62, l*f + 18 + 2 = t. Is 8 a factor of t?
False
Suppose -4*z = -2*n - 8, 2*n - 3*n - 6 = -3*z. Suppose n = 3*l - 2*l - 36. Is 6 a factor of l?
True
Let r be 2/(0 - 1)*(-8)/(-16). Let n(j) = 56*j**2 - 3*j - 2. Does 9 divide n(r)?
False
Suppose 176 = 7*r - 69. Is 2 a factor of r?
False
Let w = -25 + 29. Suppose -2*x - g - 175 = -w*g, 267 = -3*x + 3*g. Let p = 150 + x. Is 7 a factor of p?
False
Let r = -1109 - -1178. Is 23 a factor of r?
True
Suppose -4*w - 2 = -10. Suppose -j + 144 = w*j. Is j a multiple of 10?
False
Let w = -21 + -88. Let a = 115 - w. Suppose 3*v + v - a = 0. Is 28 a factor of v?
True
Let k(y) = -y**2 + y + 2. Let b be k(0). Let h(t) = t + 3. Let z be h(b). Suppose 2*w + 183 = z*a - 0*w, -5*a = 4*w - 189. Does 20 divide a?
False
Suppose 5*u - 4 = m - 1, 4*m + 4*u = 12. Suppose m*c - 3 = -7. Let v = 52 + c. Is 15 a factor of v?
False
Suppose 0 = -20*i + 27142 - 102. Does 52 divide i?
True
Let k = 420 - 255. Let i = 273 - k. Is 27 a factor of i?
True
Let t = 555 - 109. Is t a multiple of 8?
False
Suppose 126 = -10*u + 4*u. Let s be -1*(-7)/(u/(-24)). Suppose -110 = -3*w - 2*t, 4*t + s = -w + 58. Is w a multiple of 7?
False
Suppose -3*m = 0, 0 = 2*i - 3*m + 26 - 8. Let z = 0 - i. Let f = z + 15. Is f a multiple of 24?
True
Suppose 377 + 443 = o - 5*t, 4004 = 5*o - t. Is o a multiple of 32?
True
Let l = -11 + 19. Let j be 8 - 9/((-36)/l). Let h = j + 30. Does 10 divide h?
True
Suppose c - 8*c = -1435. Is c/2 - (-8)/16 a multiple of 12?
False
Let f(m) = -485*m. Let x be f(-1). Suppose 5*k + 5*h = x, -6*h + 2*h + 484 = 5*k. Is 16 a factor of k?
True
Let d(j) = -58*j + 17. Let h be d(3). Let s = h + 268. Is 18 a factor of s?
False
Let z(q) be the second derivative of 2*q**3/3 + 7*q**2 - 79*q. Let j = -3 - -18. Is 37 a factor of z(j)?
True
Let y be 0 - -7 - (16 - 16). Suppose y*j + 295 = 12*j. Does 59 divide j?
True
Let a(y) = -16*y**3 - 2*y - 3. Let s be a(-2). Let o be 2 - (-4)/((-4)/s). Let n = o + 178. Is 13 a factor of n?
False
Let f = -6 + 13. Suppose -4*a + 20 = -d, 0 = 4*d - 9*a + 14*a - 4. Let z = d + f. Does 3 divide z?
True
Let b = -388 - -585. Suppose -3*z = -p - b, -2*p - 138 = -4*z + 2*z. Does 23 divide z?
False
Let x be (-3)/24 - 18/(-16). Let h be 48/12 - 94/x. Is (h/(-10))/((-3)/(-8)) a multiple of 12?
True
Let f(g) = g**2 - 10*g + 8. Let r be f(7). Let i = r - -16. Suppose -i*a - 22 = -m, -2*m + 3*a + 29 = -3. Is 4 a factor of m?
False
Let z = 12 + -14. Let w = -3 - 5. Is 7 a factor of z/w - (-135)/20?
True
Let a(g) = -2*g**3 - 3*g + 7. Let j(y) = 3*y**3 + y**2 + 5*y - 13. Let r(z) = -5*a(z) - 3*j(z). Let d be r(3). Is 12 a factor of (d/10)/((-7)/(-210))?
True
Let l = 70 + -151. Let m = -52 - l. Does 6 divide m?
False
Is 305/2 + (-64)/(-128) a multiple of 2?
False
Suppose 332 = 7*u - 32. Suppose -u = -10*h + 428. Does 16 divide h?
True
Let r(z) = -z**3 - 3*z**2 - z - 10. Is r(-5) a multiple of 17?
False
Suppose 3*f - 6*f - 5*g = 16, -5*f = -5*g - 40. Suppose -17*q + 672 = -f*q. Is 12 a factor of q?
True
Suppose 17*h = 20*h - 141. Let s = 28 - h. Let p = -7 - s. Is p a multiple of 4?
True
Suppose -3*g + 235 = 5*y - 285, -2*g - 5*y + 350 = 0. Let w be 60/105 + -10*2/(-14). Suppose -g = -3*n - 0*j - w*j, -n + 55 = j. Is n a multiple of 20?
True
Is ((-24)/(-7))/(2/308) a multiple of 31?
False
Let f(y) = y**2 - 21*y + 27. Is 13 a factor of f(23)?
False
Suppose 0 = -3*t + 5*k + 25, 3*t = k + 9 + 8. Suppose 144 = -2*h + t*h. Is 16 a factor of h?
True
Let j(l) = l**3 - 6*l**2 - 5*l + 1. Is 2 a factor of j(7)?
False
Let m be ((-1)/(-3))/(3/18). Suppose a - 2*v = 82, 3*a - m*a = -3*v + 97. Is a a multiple of 22?
True
Let d(c) = c. Let j(n) = 22*n + 9. Let m(y) = 6*d(y) - j(y). Is m(-5) a multiple of 19?
False
Is (-22)/275 + 61604/50 a multiple of 69?
False
Suppose w - 5*h = 66, -16*h + 20 = -20*h. Does 2 divide w?
False
Suppose u = -y - 4*u + 439, -4*u + 2153 = 5*y. Is y a multiple of 27?
False
Suppose 5*i - 3*n - 55 = 0, -i - 4 = i + 4*n. Suppose i*v - 5*v = -339. Let w = -9 - v. Is 36 a factor of w?
False
Suppose -3*z + 3965 - 545 = 0. Does 30 divide z?
True
Let b = -27 + 37. Suppose o - b = 25. Is o a multiple of 7?
True
Suppose -7*h = -5*h - 8. Suppose 0 = h*l + 216 + 556. Let m = 282 + l. Does 23 divide m?
False
Let a(w) = w**3 + 22*w**2 + 23*w - 12. Is 2 a factor of a(-20)?
True
Let n(r) = -4*r**2 - 4*r + 7. Let v be n(-6). Let i = 317 + v. Is i a multiple of 17?
True
Let i = 10 + -8. Let r(a) = -i*a - 8*a - 5 + 4*a + 2. Is 3 a factor of r(-2)?
True
Let a(n) = -19*n**3 - 2*n**2 + n - 2. Let w be a(-2). Suppose -q = -3*q + w. Does 10 divide q?
True
Suppose 1035 = 4*m - m - 2*q, m - 345 = -2*q.