ide ((2 + 35489)/(5 + 5 + -9))/1?
False
Suppose g - 36 = -4*p, 5*g - 36 = -4*p - 0*g. Let i = 9 - p. Suppose -2*h + 4*o + 257 + 79 = i, o + 324 = 2*h. Is h a multiple of 10?
True
Does 21 divide (633*(-658)/(-126))/(3/54)?
False
Suppose -8*t + 4 = -6*t + 4*d, -4*d + 4 = 4*t. Suppose z - 4*i + 2*i - 67 = t, 3*i - 246 = -3*z. Does 4 divide z?
False
Let u = 167 + -163. Suppose 5*m - 5997 = -3*h, -3602 = m - u*m + 2*h. Does 24 divide m?
True
Let c be (-1 + 0)/(7/168). Let x(j) = -j**2 + 9*j - 15. Let a be x(9). Let p = a - c. Is p a multiple of 9?
True
Is 27 a factor of 1529262/231 + 19 + 4/(-22)?
False
Let m(h) = h**2 - 6*h - 12. Let n be m(8). Suppose -n*d - 252 = -1012. Is 5 a factor of d?
True
Suppose 4366*c + 315354 = 4405*c. Does 12 divide c?
False
Let i be (1 - (-78)/(-12))*(1 + -3). Let j = i - 11. Suppose 73 = -j*r + r - 2*v, 2*r + 2*v = 116. Is 9 a factor of r?
True
Let i = 179 + 4098. Is i a multiple of 19?
False
Let c(y) be the second derivative of y**5/4 + y**4/4 - 2*y**3/3 + 19*y**2/2 - 15*y - 2. Is c(5) a multiple of 29?
False
Let m(j) = -2*j**3 + 39*j**2 + 10*j - 29. Does 2 divide m(19)?
True
Let q(r) = 508*r**2 - 15*r + 26. Is 3 a factor of q(2)?
True
Let o(a) be the second derivative of -a**5/20 - 2*a**4 + 4*a**2 + 26*a. Let k be o(-24). Is 16 a factor of ((-204)/k)/(-2 + 33/18)?
False
Let h(j) = 10*j**3 + 2*j**2 + 4. Let c(v) = -3*v - 79. Let g be c(-27). Does 4 divide h(g)?
True
Suppose 0 = -4*t - 12 + 32. Suppose -6*z + 8*z + t*c - 1477 = 0, 0 = -2*z - 3*c + 1471. Is z a multiple of 17?
True
Let n(u) = -u**3 + 18*u**2 + 7*u + 810. Does 5 divide n(0)?
True
Let l be 2574/156 - ((-18)/4)/(-3). Suppose l*p = 18*p - 672. Does 14 divide p?
True
Let n = -163 - -325. Let y = 1338 - n. Is y a multiple of 28?
True
Suppose 23*p + 9*p = -118 + 566. Is p a multiple of 14?
True
Suppose 49*u - 78910 - 10270 = 0. Is u a multiple of 147?
False
Let c = 81 - 77. Suppose 4*p + p = -2*i + 17, 4 = c*i. Suppose -b + 3*t + 159 = 0, -124 = -b - 7*t + p*t. Does 22 divide b?
False
Let u(y) = 4*y**2 - 9*y + 109. Let r(c) = 5*c**2 + 85*c + 7. Let o be r(-17). Is u(o) a multiple of 46?
False
Let p(q) = 2*q**2 - 2*q - 25. Let c(n) = -11*n**3 + n**2 + 2*n + 1. Let s be c(-1). Let d be p(s). Suppose 0*a = 5*a - d. Does 33 divide a?
False
Suppose -54*v + 32*v + 23826 = 0. Let b = v - 553. Does 110 divide b?
False
Suppose 8021 = 162*g + 2027. Does 3 divide g?
False
Is -16 - (5 + (-549)/3) a multiple of 18?
True
Suppose 18*j - 267696 = -9*j - 51*j. Is 13 a factor of j?
True
Suppose -6 - 8 = -14*z. Does 2 divide (2 - 3)/(z/(-141))?
False
Let r(s) = -359*s + 4. Suppose -4*y = 4*f - 8 - 8, f + 3*y - 14 = 0. Is r(f) a multiple of 43?
False
Let f = -2961 + 8614. Is f a multiple of 67?
False
Let c = -2459 - -5774. Is c a multiple of 85?
True
Suppose -2*g = 5*b - 46, -280 + 284 = b. Let t(z) = -7*z**2 - 8*z - 25. Let k(w) = 3*w**2 + 4*w + 12. Let i(p) = 5*k(p) + 2*t(p). Does 11 divide i(g)?
True
Suppose -u - u - 246 = 0. Let g be -49 + (7/(-28))/(1/(-32)). Let o = g - u. Is o a multiple of 13?
False
Let a = 408 - 396. Suppose a*s + 2*s = 3542. Is 7 a factor of s?
False
Let u(m) = 2*m - 59. Let s be u(13). Let v = s + 185. Does 6 divide v?
False
Suppose 4*q - 6 = -3*c + 35, -5*q + c + 37 = 0. Suppose -6*h + 6 = -q*h. Is 6 a factor of 29 - (2 + h + 0)?
True
Suppose 0 = -u - 2*u + 3*l - 12, 0 = 2*u + 4*l + 20. Let z(n) = -2*n - 8. Let o be z(u). Suppose -o*w - 2*k + 830 - 210 = 0, -8 = -4*k. Is w a multiple of 14?
True
Let m = 84 + -81. Let t(h) = -21*h + 0 + 2*h**m - 2 - 2*h**2 + 24*h - 7*h**2. Is t(6) a multiple of 31?
True
Suppose 6500 + 9757 = 6*q - 3921. Is 57 a factor of q?
True
Suppose 6 = -17*i + 292 + 343. Suppose 0 = u + 3*u - 8. Suppose u*m - 29 = i. Does 3 divide m?
True
Let x be (1 + 12/(-4))/(2/420). Let k = 685 + x. Let u = -160 + k. Is 29 a factor of u?
False
Suppose 37*g + 3*p + 27019 = 42*g, 15 = -5*p. Is 73 a factor of g?
True
Let i = -27707 + 48099. Is 4 a factor of i?
True
Suppose 3 - 4 = d, -2*d = -4*x - 4534. Let h be x/4 + 7/(-14). Let v = 404 + h. Is 24 a factor of v?
True
Suppose 9 = -3*u, -15079 - 1827 = -5*o - 3*u. Suppose -7*b + o = -2595. Does 14 divide b?
True
Let z(t) = 4*t**2 - 14 + 4 + 7*t**2 - 6*t**2 + 3*t**2 + 12*t. Is 3 a factor of z(5)?
False
Let b(f) = -22*f - 136. Let y be b(-13). Let j = y - 59. Is j a multiple of 7?
True
Suppose -29*l - 5084100 = -479*l. Is l a multiple of 14?
True
Suppose 8*g = 20*g - 240. Let p(s) = s**2 + 8. Let o be p(g). Suppose -4*f - 56 = -o. Is f a multiple of 11?
True
Suppose 211 + 27 = 34*q. Does 15 divide (-17916)/(-84) + (-2)/q?
False
Suppose -16*v = -5*v - 946. Let g = v + -22. Is (g/(-1) + 0)/((-90)/45) a multiple of 16?
True
Let b = -5639 + 5813. Is b a multiple of 87?
True
Suppose 0 = h + 2*g + 109, -8*h + 3*h = 4*g + 533. Is 5 a factor of ((-7)/(h/(-640)))/(-2)*3?
False
Suppose 2472*s = 2450*s + 52624. Does 26 divide s?
True
Let l(h) = 9 + 14 - h**2 - 12 + 22*h. Let z(j) = j**2 + 7*j + 11. Let m be z(-8). Does 25 divide l(m)?
False
Let d be ((-244)/(-16))/(2/40). Suppose 92*q + d = 97*q. Suppose 2*o = q + 137. Is o a multiple of 20?
False
Let w(z) be the second derivative of -4*z**3 + 19*z**2 + 148*z. Does 50 divide w(-13)?
True
Let z be (-2)/(-4)*(-70)/(-21)*3. Suppose 6*d + 195 = z*b + 2*d, b + 5*d = 39. Is 3 a factor of b?
True
Let y(c) = 10*c**3 + 21*c**2 - 122*c + 18. Does 44 divide y(8)?
False
Let k = -10587 + 13225. Is 25 a factor of k?
False
Suppose 12*f = -12968 + 75344. Is f a multiple of 23?
True
Is 9 a factor of (69/(-2))/(108/(-16848))?
True
Suppose -w - 54937 = -49*w + 70103. Does 35 divide w?
False
Suppose 5*r + 5*j - 420 = 0, -2*j + 80 = r - 1. Let l be (0 - (-10)/2)*-9. Let k = r + l. Does 14 divide k?
True
Let u(t) = 15*t + 3*t**2 - 4954*t**3 + 4953*t**3 + 21*t**2 + 11. Is u(24) a multiple of 50?
False
Suppose 0 = -h - 4*z + 4, 2*z + 11 = -3*h + 3. Let w be h - (-252)/66 - (-810)/(-22). Let i = 42 + w. Does 3 divide i?
False
Suppose 3*l - 3 = 9. Suppose -l*w + 84 = -384. Is w a multiple of 13?
True
Let w be (33 - (-1820)/(-56))*3*2. Suppose -v = 3*j - 13, 6 = -2*j + 4*v - v. Suppose 8 = 4*d, j*h + h - 798 = -w*d. Is h a multiple of 12?
False
Let h(r) = 3*r**3 + 8*r**2 + 9*r - 111. Does 7 divide h(8)?
True
Does 32 divide (-6)/(-9)*-2*(-72)/(-32) + 1795?
True
Let d(o) = 384*o - 18. Is 3 a factor of d(18)?
True
Let d(n) = -n**2 + 9*n + 7. Let i be d(7). Suppose 4*o + m - i = 0, -2*m + 0 - 2 = -3*o. Is 27 a factor of o*18*(-15)/(-20)?
True
Let p(l) be the first derivative of -l**4/4 + 2*l**3 + 5*l**2 - 12*l - 10. Let n be p(7). Suppose 7 = m - r - n, -4*r + 72 = 4*m. Is m a multiple of 8?
False
Suppose 0 = 444*r - 3218047 - 973313. Is r a multiple of 160?
True
Suppose 4*r + 0*k + 3*k = 52, 52 = 2*r - 5*k. Let b = 13 + r. Let a = b - -18. Does 19 divide a?
False
Suppose n - 8*v - 4085 = -9*v, -8167 = -2*n - v. Does 15 divide n?
False
Suppose 0 = -6*h + 5415 - 842 - 541. Is h a multiple of 7?
True
Let g be 6/(-3) - (-44)/(-2). Let b = g - -126. Does 7 divide b?
False
Let x(b) = 116*b + 1222. Is x(8) a multiple of 50?
True
Does 4 divide 157 + (12/6 - 15)?
True
Suppose -8*p = -39*p + 589. Suppose -p*m + 1091 = 65. Is m a multiple of 41?
False
Let t = 35 + -64. Let i = 25 + t. Is 2 a factor of -3 + (-48)/i + -1?
True
Let u(j) = j**3 + 6*j**2 + 3*j - 6. Let s be u(-5). Let h be (-418)/11*(-2)/4. Suppose 0 = -s*c - h + 95. Is c a multiple of 11?
False
Let z = 226 - -216. Does 2 divide z?
True
Is 43 a factor of (-1)/(2/6)*10225/(-150)*40?
False
Suppose -5*q = 2*w - 1446, -2155 = -3*w + 26*q - 30*q. Suppose -6*g - w = -3929. Does 8 divide g?
True
Let d = -76 - -179. Let j = 477 - d. Does 22 divide j?
True
Suppose 351 = 17*l + 62. Suppose l*c = 19*c - 364. Does 29 divide c?
False
Let w = -8 + 14. Suppose -5*s - 2*a = -1556, -2*s + w*s - 2*a = 1234. Is 31 a factor of s?
True
Suppose 6*t - 3*t = 4*p + 9, 4*t = p + 12. Suppose -t = -8*m + 5*m. Let c(z) = 44*z + 3. Does 11 divide c(m)?
False
Let c(l) = -l**3 - 8*l**2 - 15*l - 4. Let h be c(-7). Suppose h*j - 30*j = 12584. Is j a multiple of 52?
True
Suppose -1286680 = -160*w + 575720. Is w a multiple of 10?
True
Let x(k) = k**3 - 19*k**2 + 32*k + 27. Let d be x(17). Does 71 divide (7/d)/(1/(-142)*1)?
True
Suppose 0 = 4*t - 42*t - 5*t. Suppose 