divide d?
True
Let x = 844 - 676. Does 9 divide x?
False
Let u = -614 + 916. Is u a multiple of 27?
False
Suppose 2*v + 6 = -60. Let w = v + 54. Is 5 a factor of w?
False
Suppose n + 4*h = 88, -3*h - 6 = 3. Is 12 a factor of 120*(n/56 - 2/7)?
True
Suppose -6*l - 60 = -2*l. Let z(n) be the third derivative of -n**5/60 - 19*n**4/24 - 8*n**3/3 + 20*n**2. Is 11 a factor of z(l)?
True
Let g = 4 + -6. Let r(k) = -k**3 + k**2 + 2*k - 1. Let o be r(g). Suppose -4*p = -o*p + 78. Is p a multiple of 13?
True
Suppose 9*n - 10*n = -35. Let o = n - 31. Is o a multiple of 4?
True
Let x(b) = b**3 + 8*b**2 - 53*b - 4. Is x(-8) a multiple of 5?
True
Is 5 a factor of (-1)/4 + (-14958)/(-216)?
False
Let z(r) = r**2 + r - 5. Let j(w) = -2*w**2 - 3*w + 9. Let x(o) = 4*j(o) + 7*z(o). Let b be x(-5). Does 15 divide ((-2)/(-4))/(b/94)?
False
Let d(y) = -y + 65. Let c(p) = -2*p + 98. Let r(z) = -5*c(z) + 8*d(z). Let q be r(-16). Does 11 divide (-4 - 8)/(q/8)?
False
Let o(j) = -104*j - 176. Does 56 divide o(-13)?
True
Suppose -6*q + 2*q = 120. Let d = q - -57. Suppose -d - 63 = -2*c. Does 15 divide c?
True
Suppose -152 = -l - 3*r, -2*l = -5*r - 103 - 234. Does 16 divide l?
False
Let l(o) = -4*o + 20. Let v(j) = -j**3 + 9*j**2 - 15*j - 3. Let h be v(7). Is 30 a factor of l(h)?
True
Suppose 136 = z + 4*y, -5*y - 422 = -3*z - 10*y. Suppose -s = -0*v - 2*v - 33, 4*s = 5*v + z. Let n = s + -19. Is 13 a factor of n?
False
Let y(f) = 2*f**2 - 9*f. Let n be y(-9). Let l = -119 - n. Does 24 divide 33/(-22) - l/4?
False
Let q be 48/(-112)*(-8 - -1). Let l be (5 - q)/((-1)/(-2)). Suppose -2*f = -l*c - 46 - 12, -4*f = 4*c - 68. Is 21 a factor of f?
True
Let x = -64 - -76. Does 6 divide 144/3*6/x?
True
Does 8 divide 4/(24/282)*8?
True
Let y be 2*2*(2 - 3). Let g be (y/6)/(6/63). Let j = g - -35. Is j a multiple of 14?
True
Let n(h) = h**3 - 5*h**2 - 7*h + 9. Let k be n(6). Suppose 18 = k*u - 0*u. Suppose 5*q + 0*z - 47 = -z, -3*z + u = 0. Is q a multiple of 7?
False
Let c(a) = -a + 6. Let o be c(4). Suppose r = 4*b - 13, -o*b + 4*r - 5 + 1 = 0. Is (-19)/(-2) + (-2)/b a multiple of 3?
True
Let r(d) = -d**3 + 8*d**2 + 8*d + 14. Let v be r(9). Suppose 0 = -v*o + 187 + 388. Is o a multiple of 16?
False
Suppose -f = f + 4. Let l be f + 0 + 5 - -2. Suppose 3*b = l*b - 6. Is b a multiple of 3?
True
Suppose 5*h - 47 = -3*c + 63, -2*h + 196 = 5*c. Does 40 divide c?
True
Let y be 25 + 4/(4/(-3)). Let x be y - 19 - 40/(-2). Suppose x*r - 52 = 19*r. Is r a multiple of 13?
True
Let v = -138 - -182. Is 2 a factor of v?
True
Suppose 4621 + 5804 = 25*y. Is y a multiple of 12?
False
Let l(w) = -17*w**3 - w. Let n(z) = z + 9. Let k be n(-14). Let q = k + 4. Is 9 a factor of l(q)?
True
Let l = -47 + 60. Let o(t) = t**3 - 12*t**2 - 8*t + 13. Is 13 a factor of o(l)?
True
Let w = -17 + 8. Is 29 a factor of 351/36 + w - (-113)/4?
True
Let a = 1279 - 517. Is 10 a factor of a?
False
Let n(z) = -20*z + 20. Let f be n(-7). Let k = f + -96. Does 32 divide k?
True
Suppose 3*r + 4*f = 2176, 2*r = -0*r - 4*f + 1456. Is 8 a factor of r?
True
Let a(g) = -g**3 + 18*g**2 + 32*g - 36. Is 18 a factor of a(18)?
True
Let m(z) be the first derivative of 31*z**4/4 - 2*z**3/3 + z**2/2 - 3. Let y be m(1). Does 12 divide (-12)/y*(-28 - 2)?
True
Let a = 125 - -174. Suppose 875 = -4*r + a. Is r/(-9) - (-1)/(-1) a multiple of 15?
True
Suppose 5*q + 53 = -7. Let x = q - -8. Is -20*(x + 8 - 7) a multiple of 12?
True
Suppose 2*d - 4*b = 4, 4*d - 2*b - 28 = -4*b. Suppose g - d*g + 260 = 0. Suppose 2*i + 0*i - g = 0. Is 13 a factor of i?
True
Does 12 divide -5 + 1268*2/8?
True
Suppose 6*y - 9 - 69 = 0. Suppose -5*i + 1 - y = -3*g, -3*i - 12 = 3*g. Does 16 divide 48*(-1 + (-2)/g)?
True
Is 11 a factor of 2157 - ((-2)/(-6))/(7/21)?
True
Is (53 + 3)/((-5)/(-70)*7) a multiple of 14?
True
Let l be -25*((-3)/30 - 2/4). Suppose -2*g - l = g, -1175 = -5*f + g. Is f a multiple of 26?
True
Let d be (64/(-10))/((-2)/25). Let b = 170 - d. Is b a multiple of 9?
True
Let k(w) = 2*w**3 - 10*w**2 + 8*w + 12. Is 73 a factor of k(7)?
False
Let p(y) = -5 + 5 - 2*y - 6. Let j be ((-3)/(-6))/(4/(-48)). Is p(j) a multiple of 6?
True
Let z = 165 + -33. Does 22 divide z?
True
Let n(c) be the first derivative of 7*c**2/2 - 15*c - 8. Suppose 0 = -2*w - 4 + 30. Does 16 divide n(w)?
False
Let y = -2269 + 2465. Does 8 divide y?
False
Suppose -4*h + 388 = 4*k, 5*k = -3*h + 234 + 247. Suppose 0 = b - 4*b + c + k, 3*c + 165 = 5*b. Does 7 divide b?
False
Let g = 4 - 7. Let a be 120/50*10/g. Let b = a - -14. Is b a multiple of 3?
True
Suppose -5*t + t = -228. Let y = t + -37. Is 10 a factor of y?
True
Suppose 4*n - 58 = -2. Suppose 1044 = -n*x + 20*x. Is 22 a factor of x?
False
Let l(k) = -13*k**3 + 3*k**2 + 2*k + 8. Is l(-3) a multiple of 20?
True
Suppose -4*m - 237 = 3*x - m, 5*x + 2*m = -389. Let l = x + 131. Is 9 a factor of l?
True
Let k be 2/2 + -3 + 1. Let m(g) = -19*g**3 + 6*g**2 - 4*g. Let b(i) = i**2 - i. Let p(j) = -5*b(j) + m(j). Does 7 divide p(k)?
False
Let y = 97 - 95. Suppose y*m - 5*s = 279, 0 = 3*m + 4*s - 139 - 268. Does 7 divide m?
False
Suppose 8*w - 11*w = -12. Suppose w*k = 2*k + 198. Does 33 divide k?
True
Let f be 1 - (-4)/(-6) - (-42)/9. Suppose -f*w - m + 348 = 0, -3*w + 4*m + 106 = -89. Does 35 divide w?
False
Let c(h) = 5*h**2 + h - 4. Let n(w) = w**3 - 4*w**2 - 4*w - 2. Let m = 22 - 17. Let y be n(m). Is c(y) a multiple of 17?
False
Suppose l = -3*r + 141, -3*r = -2*r - 5*l - 63. Suppose 3*h = -u - r, -3*h - u - 33 = -h. Let g = 59 - h. Is g a multiple of 22?
False
Let f = 127 + -119. Suppose -f*a - 1144 = -12*a. Does 49 divide a?
False
Let s = 90 - 88. Suppose -s*y + 146 = -138. Does 11 divide y?
False
Let c = 206 + 364. Is 20 a factor of c?
False
Suppose -292 = -5*y + 163. Is y a multiple of 22?
False
Let z(j) = j**3 + 12*j**2 - 26*j - 40. Is z(-13) a multiple of 43?
True
Let z be -2 + 3 + (-6)/2. Let u be (z/5)/((-1)/60). Suppose -21 = -3*c + u. Is 8 a factor of c?
False
Let j(c) = 27*c**2 - 23*c - 114. Is 9 a factor of j(-4)?
False
Suppose 419 + 269 = 4*s. Suppose -s = 5*n - 7*n. Is n a multiple of 10?
False
Let p be 4/12*1*9. Suppose 4*n = n - p*u - 3, 0 = -5*n + 4*u - 32. Is n + 41 + 0/2 a multiple of 13?
False
Let u(j) = -j**3 + 14*j**2 - 11*j - 11. Let a be 0 + 3/(-27) + 708/54. Does 5 divide u(a)?
True
Suppose -3*u + 52 = 64. Let d(w) = -w**3 - 2*w**2 - 6. Is 6 a factor of d(u)?
False
Let i be 2/2 + (-13 - -18). Let y(t) = -2*t**2 - t - 6. Let s(c) = c**2 + c + 6. Let b(n) = -3*s(n) - 2*y(n). Is 12 a factor of b(i)?
True
Is 3/18 + 4029/18 a multiple of 14?
True
Does 8 divide 1884 + -2 + -11 - (-1 - -8)?
True
Let q(b) = b**2 + 2*b. Let y be q(0). Suppose 5*t + d - 172 = y, -2*t + 166 = 3*t - 2*d. Is t a multiple of 34?
True
Let p(y) = 3*y + 3. Let d be p(12). Suppose 0 = z - 2*z - 5*j + d, -2*j = -4*z + 112. Is 2 a factor of z?
False
Let c(t) = t**3 + 34*t**2 - 38*t - 21. Is c(-35) a multiple of 7?
True
Suppose -2*f = -5*p + f + 2776, 4*f = -8. Does 31 divide p?
False
Suppose b - 4*b = 4*z + 89, 4*b - 2*z + 126 = 0. Let o = b - -148. Does 13 divide o?
True
Let q be (4/6)/((-14)/(-21)). Let f(i) = 0 + 26*i + 20*i - 2. Is f(q) a multiple of 8?
False
Let q = 8 - 0. Suppose q = -b + 43. Suppose 2*o - 3 = 4*u + b, -o + 3*u = -17. Is o a multiple of 6?
False
Suppose -16*n + 15*n + 24 = 0. Let y(b) = -3*b**3. Let c be y(-1). Suppose 0 = r + c*r - n. Is r a multiple of 3?
True
Suppose 5*m - 3*f = 3*m + 85, m - 60 = -2*f. Let p = m - 26. Suppose -n + p = -26. Is 20 a factor of n?
False
Let h(g) = g + 4*g - g + 0*g. Let w be h(1). Suppose w*s - 5*s + 15 = 0. Is s a multiple of 13?
False
Let j(z) = z**2 - 10*z + 21. Let p be j(7). Is (p + 118 + 2)/(-2 + 3) a multiple of 30?
True
Let f = -18 + 16. Let m = 3 + -2. Does 16 divide f + 16 + 2/m?
True
Suppose 0 = 4*r + 108 + 24. Does 4 divide r/44*((-16)/(-3))/(-1)?
True
Let i be 2/(-4) - (-2)/(8/(-6)). Let q = 45 + i. Is q a multiple of 8?
False
Is (-42)/(-14)*-43*62/(-3) a multiple of 47?
False
Is 15 a factor of (1 - 2)/(3/(-255))?
False
Let b(r) be the second derivative of r**3 - 4*r**2 + 24*r. Is b(21) a multiple of 9?
False
Suppose 30*z - 27*z = 9. Suppose 3*i + z*y - 186 = 0, -5*i + 0*i - y = -326. Is i a multiple of 26?
False
Suppose -4*z - 2*o = 6, -3*o = -z - 5*o. Let s be z/(-7) - 6