Does 8 divide i?
True
Let a be (-12)/30 - 132/(-5). Suppose 45 = 2*b - 3*j, b + a = 2*b - 5*j. Is b a multiple of 4?
False
Let k(s) = -s**3 - 8*s**2 - 6*s + 7. Let t be k(-7). Let p(b) = 23*b + t - 3 - 2 + b**2 - 24*b. Is 21 a factor of p(7)?
False
Suppose 14*y = 18*y + 20. Let n(g) = -g**3 - 2*g**2 - 6*g + 1. Does 40 divide n(y)?
False
Suppose -2 + 0 = -k - 3*u, -k + 1 = 4*u. Let z = -1 + k. Does 3 divide z?
False
Let g(c) = 17*c**2 + c. Let i be g(-1). Suppose -12*z + i*z = 32. Is 2 a factor of z?
True
Suppose -263 = -s + 2*q, s = -0*s - 4*q + 293. Is s a multiple of 58?
False
Does 43 divide 99 - (-11)/((-55)/10)?
False
Suppose 19096 = 8*h + 23*h. Is 22 a factor of h?
True
Let a = 148 - -127. Is 50 a factor of a?
False
Let m(w) = -77*w + 137. Is 11 a factor of m(-9)?
False
Let z(o) = -o**3 - 5*o**2 - 5*o + 2. Is z(-10) a multiple of 23?
True
Let c(p) = -p**2 - p - 22. Suppose -12 = -j + 4*u, -5*u - 12 = -2*j - u. Let n be c(j). Is 11 a factor of n/(2/(-3)*1)?
True
Let k(a) = 65*a + 1. Let u be k(3). Let m be (-4)/(-10) - u/(-35). Is ((-164)/m)/((-6)/9) a multiple of 9?
False
Let d be (-12)/66 + 35/11. Let j be 2 - (-70 - 12/d). Suppose z - w = j, w + 2*w - 222 = -3*z. Does 17 divide z?
False
Suppose -28028 = -48*v + 20*v. Does 91 divide v?
True
Let d(t) = t**2 + 5*t + 2. Let s(k) = -k**3 + 8*k**2 + 7*k + 13. Let a be s(9). Let z be d(a). Suppose 4*o - 22 = o - n, 4*o + z*n - 28 = 0. Is 5 a factor of o?
False
Is 18 a factor of 308/(((-120)/54)/(-10))?
True
Suppose -3*k - 1 = 5. Does 19 divide k/15 - 2288/(-60)?
True
Suppose -4*c - 18 = -3*v, -v = 3*v - c - 24. Let x = 1 + v. Does 14 divide (12/x)/((-4)/(-98))?
True
Let y(d) be the first derivative of 2*d**3/3 - 11*d**2/2 - 11*d - 9. Is 11 a factor of y(11)?
True
Suppose 2*b = 2, -3*n - 4 = 3*b + 2. Does 17 divide (4869/(-12))/n + 27/36?
True
Let o(i) = i**2 - 7*i - 12. Let q be o(9). Suppose -59 = -u - q. Is 21 a factor of u?
False
Suppose -4*f - 25 + 137 = 0. Suppose -9*b + 8 = 2*z - 7*b, -5*b = 2*z - 8. Suppose 6*x - z*x = f. Does 14 divide x?
True
Is 816 + 1 + (-31 - -37) a multiple of 27?
False
Let d be 22/(3 + -1) + 25/25. Suppose 0 = -x + d + 41. Does 4 divide x?
False
Let y be 27/2*(-6)/(-9). Suppose 4*i - 47 = y. Is 7 a factor of i?
True
Let s be 7/2 - (-1)/(-2). Suppose 0 = -s*a + 36 + 51. Suppose v - 2*v + 33 = -5*o, v - o - a = 0. Does 3 divide v?
False
Suppose 6*u = 2*u + 4*l - 84, -3*l = 4*u + 63. Let z = 20 + u. Let x = z - -12. Does 4 divide x?
False
Suppose 0 = 3*c - 1 - 8. Let t(l) = -8*l**2 - 1 + 0*l**2 + 4 - 14*l + 3*l**c - 4*l**3. Is t(-6) a multiple of 2?
False
Suppose 0 = -4*x + 111 + 189. Let j = 125 - x. Is 10 a factor of j?
True
Suppose -2706 = -4*f - 466. Is f a multiple of 56?
True
Suppose -5114 = -44*p + 2322. Is p a multiple of 3?
False
Let r(k) = 8*k**2 - 4*k - 4. Let b be r(-5). Suppose 0 = 5*d + d - b. Is d a multiple of 9?
True
Let j be (-21)/(-5) - -8*(-7)/(-70). Suppose -4*q + 500 = j*h, 4*q = 6*h - h + 540. Does 13 divide q?
True
Let t be (-2 + 0)*-1*10. Suppose -o + 0 - t = 0. Let j = o - -50. Is j a multiple of 20?
False
Let o(k) = 19*k - 36. Let q be o(10). Suppose -y + 15*y - q = 0. Is 2 a factor of y?
False
Let b be (379 - (1 - 3)) + 3. Suppose -3*o = o - b. Is 16 a factor of o?
True
Let c be 12/(-9)*(-12)/8. Suppose -127 = -c*l - x, x - 113 = 5*l - 427. Is 21 a factor of l?
True
Suppose 0 = -6*a + a. Suppose -p - p + 4*n - 2 = a, 2*n = 4. Suppose p*f - 4*f + 20 = 0. Is 9 a factor of f?
False
Let u(r) = 10*r**2 + 15*r - 239. Does 71 divide u(11)?
True
Let r(u) = u**3 - 7*u**2 + 7*u - 4. Let q be r(6). Is 127/q - 18/12 a multiple of 15?
False
Suppose 4*t + 5*q - 13 = 0, 2*q + 9 = 5*t + 1. Suppose 3*v - g = 162, 0*v + t*g + 104 = 2*v. Is v a multiple of 21?
False
Let u be (-22)/(-6) - 15/(-45). Is (38 - (u - 0))*1 a multiple of 5?
False
Let z = 10 - 6. Let m = 58 + -59. Let h = z + m. Is h a multiple of 3?
True
Let t = 531 + 207. Does 20 divide t?
False
Does 13 divide 1974/((-9)/(-3)) + -8?
True
Is 802*1 - (12 + -17) a multiple of 29?
False
Let v(b) be the third derivative of -b**4/24 - 5*b**3/6 + 4*b**2. Let c be v(-7). Suppose 2*d = -c*r + 4, -2*d - d = 4*r - 10. Is 4 a factor of r?
True
Suppose -m + 5 = 8. Let i be (-2)/((-33)/(-9) + m). Does 2 divide 8/((i + 1)*-1)?
True
Let v(n) = n**2 - 4*n - 14. Let d be v(6). Let f be 6*(d + 1 + 4). Is 644/f - 12/(-54) a multiple of 12?
True
Suppose 423*z - 416*z = 1750. Is 50 a factor of z?
True
Let u = 531 - -334. Suppose -8*o - 15 = -3*o, 4*d + 5*o - u = 0. Does 14 divide d?
False
Let o(y) = 26 + 53 + y + 62 + y**2 - 29. Let p be o(0). Suppose p = w + w. Is w a multiple of 16?
False
Suppose -24*z + 3*d + 3853 = -19*z, 2*d = 3*z - 2311. Does 6 divide z?
False
Let o(u) = u - 2. Let p be o(4). Let b be (8 + -18)*(-13)/p. Let x = 110 - b. Does 15 divide x?
True
Let p(q) = 15*q - 10. Let t(l) = 8*l**3 + l**2 - 3*l + 1. Let b be t(1). Does 19 divide p(b)?
True
Let f(a) = 7*a**3 - 3*a**2 + a + 1. Suppose -3*p - 11 = -2*r - 0*p, -2*r + p + 5 = 0. Is f(r) a multiple of 4?
False
Suppose -2*w = -2*a + 6, -a + 4*w = -1 - 2. Suppose -a*m + 229 = -2*b, -m = -3*b - 80 + 13. Is 8 a factor of m?
False
Suppose 6*f - 52 = 19*f. Is (5 + (-4)/f)*20/3 a multiple of 8?
True
Let w be -1*22/2*1. Let q = 10 - w. Does 7 divide q?
True
Let o = 5 - 1. Let x = 8 + o. Is 12 a factor of x?
True
Let i be -2*1/6*-21. Suppose d + i - 11 = 0. Suppose -12 = -d*u + 2*b, -18 + 4 = -4*u + b. Is u a multiple of 3?
False
Suppose 17941 = 9*p - 5459. Does 39 divide p?
False
Let u(x) = -x. Let k be 1 + 1 + 1 + -1. Suppose 0 = 2*j + o + 9, 0 = -k*j - 2*o - 0*o - 6. Is u(j) a multiple of 6?
True
Let n(d) = 1 - 5*d**2 + d**3 + 5*d**2 - 10*d + 8*d**2. Let b be (-2)/(6/(-10)*40/(-108)). Is n(b) a multiple of 10?
True
Suppose 14*l = 1029 + 2821. Does 5 divide l?
True
Let n(k) = -88*k - 308. Is n(-25) a multiple of 86?
True
Let u be 72 - (1 + (0 - 8/4)). Let p = 113 - u. Is p a multiple of 11?
False
Suppose -2*a - 10 = 3*a - 4*n, 0 = -5*n + 25. Suppose 4*x = 8, t + 160 = 2*t + a*x. Is 26 a factor of t?
True
Suppose -2*x + 5*i = i, -8 = -2*x + 2*i. Is 2 a factor of x?
True
Let b = -1997 - -3852. Does 55 divide b?
False
Suppose 8*s - 45 = 323. Let d = -30 + s. Is 13 a factor of d?
False
Suppose 15*r - 48 - 297 = 0. Does 23 divide r?
True
Let c = 258 + 960. Is c a multiple of 7?
True
Suppose 0 = -47*a + 52*a + 75. Is (-5)/a + 33*(-20)/(-18) a multiple of 8?
False
Let t be (-2 - 10/(-3))*3. Let r be (-3 - 2/(-2))*-62. Suppose -k + 5*j = -46, -4*j + r = t*k - 156. Is 20 a factor of k?
False
Let h(r) = 4*r + 12. Let f be h(-2). Suppose -2*l + 94 + 20 = -2*v, 3*v = -f*l + 207. Is 9 a factor of l?
True
Let v(x) = 8*x**2 - 15*x - 71. Is 38 a factor of v(12)?
False
Suppose -5*c - 13*c = -19836. Is 29 a factor of c?
True
Suppose 386*u + 204 = 390*u. Is 11 a factor of u?
False
Let m(a) = 3*a**3 - 5*a**2 - 5*a - 10. Is 43 a factor of m(5)?
True
Suppose 56 = f + 4*h, -f + 6*f - 4*h - 160 = 0. Suppose 0 = -3*u + 58 + 8. Suppose -u = -2*z + f. Is z a multiple of 16?
False
Let p(k) = k**3 + 17*k**2 - 9*k + 4. Let o = 42 - 59. Is 16 a factor of p(o)?
False
Let b(z) = 5*z**2 - z + 18. Does 64 divide b(-6)?
False
Let f = 167 - 168. Suppose 2*h - 3*i = 23, 5*h - 6*i - 40 = -2*i. Does 13 divide h - (3 + f) - -14?
False
Let b(g) = -g**3 - 5*g**2 + 5*g - 3. Let o be b(-6). Suppose -o*k = 2*k + 55. Does 6 divide (-8 - k)/(1/6)?
True
Let k = -6 + 7. Let y be k*(-963)/(-3 - 0). Suppose 0 = 4*d + 3*l - y, 2*d + 3*l - 34 - 125 = 0. Is 24 a factor of d?
False
Suppose 2*m - 3174 = -4*h, -m = 3*m - 3*h - 6326. Does 53 divide m?
False
Let y(x) = 2*x**3 - 20*x**2 + 28*x - 41. Is y(12) a multiple of 52?
False
Suppose -2*o - 2*o = 0. Suppose -6*q + 809 - 119 = o. Is 8 a factor of q?
False
Suppose -2*u + 7*u - 15 = 0. Let r = -12 + 21. Suppose -j - u + r = 0. Is 5 a factor of j?
False
Suppose x = 3*s - 6548, -4*x + 8752 = 3*s + s. Is s a multiple of 104?
True
Suppose -l = -3*q + 11, 0*l + l - 5 = -q. Suppose 20 = q*i, -3*i + 5*i - 25 = -3*n. Suppose -3*m - 5*t = -6*m + 12, 2*m - 8 = n*t. Is m a multiple of 3?
False
Suppose 3*q - 169 + 16 = 0. Does 9 divide q?
False
Let l(n) = n**2 + 7*n. Suppose -5*k = 39 - 4. Let u be l(k). Suppose u = b + 4*h, 4*b + 7*h - 2*h = 11. Does 2 divide b?
True
Let