3?
True
Suppose 8*o - 5*x = 11*o - 130549, -2*o + 2*x = -86990. Is 22 a factor of o?
False
Let v(k) = -2*k**2 + 57*k - 25. Let s be v(33). Let c = s + 685. Is c a multiple of 33?
True
Let l(b) = 9*b**2 - 4*b - 30. Let n be l(17). Suppose -n = -26*c + 2177. Does 3 divide c?
True
Let c(o) = -7303*o**3 - 9*o**2 - 16*o - 6. Is 78 a factor of c(-1)?
False
Suppose 4*q = -5*r + 1194, -21*q + 26*q = 4*r - 947. Suppose 5*z + r - 2933 = -5*f, 0 = 2*f - z - 1087. Is 13 a factor of f?
False
Let t be (44680/(-24) - -13)*-1*3. Let z = t + -3521. Is 15 a factor of z?
True
Let d(m) be the first derivative of -m**4/4 - 16*m**3/3 - 10*m**2 + m - 85. Is d(-17) a multiple of 53?
False
Let z = 126 + -48. Let j = z + -58. Suppose 7*s + 2*w = 2*s + 65, -4*w - j = 0. Does 9 divide s?
False
Let y be (-66)/(-231) - (-327)/7. Let f = 112 - y. Is 2 a factor of f?
False
Let i(w) = -977*w - 395. Is i(-1) a multiple of 3?
True
Let g(j) = j - 15. Let q be g(10). Let p(h) = -h**3 - 3*h**2 + 13*h + 11. Let r be p(q). Is 10 a factor of 22/(r*(-3)/6)?
False
Let q be 214/8 - (-102)/(-136). Let y(r) = 2*r - 49. Let d be y(q). Suppose 380 = d*k - 4*b, 2*k + 5*b - 575 = -3*k. Is k a multiple of 40?
True
Let w(l) = l**2 + 4*l - 10. Let b be w(12). Let s(p) = p**3 - p**2 - 8*p + 26. Let t be s(-5). Let d = t + b. Is d a multiple of 9?
False
Let m = 41 + 135. Suppose 18*o - m = 40. Is 6 a factor of o?
True
Let f(i) = -69 - i - 20*i - i**2 + 25 - 8*i. Is f(-18) a multiple of 11?
True
Suppose 12*z = 7*z - 11475. Let f = z - -3816. Is f a multiple of 72?
False
Is 5 a factor of 30/(-9) + (-28818)/(-27)?
False
Suppose 3*a + 4*h - 6883 = 0, -4*a + 9209 = -1696*h + 1695*h. Does 10 divide a?
False
Suppose -5*o + 366*p + 6236 = 367*p, 4 = -p. Is o a multiple of 48?
True
Let t(w) = 5*w + 49. Let p be t(-10). Does 7 divide (4 - (-32)/p - -1)*-1?
False
Suppose -b - 5*k + 533 = 0, -24*k + 27*k + 1581 = 3*b. Is b a multiple of 48?
True
Suppose 53 = 5*z - 37. Let h(w) = 11 + 13 + 5*w + 3*w**2 - z. Does 16 divide h(3)?
True
Suppose 13*l + 51 = -4*l. Let x be l/(-6)*(8 - (2 - -2)). Suppose 0*p - 3*p - 317 = -5*f, x*f = p + 127. Does 5 divide f?
False
Suppose 62127 = 240*v - 104913. Is 4 a factor of v?
True
Let s be (-9)/6*16/(-6). Let v be 10/s*(-24)/(-20). Suppose i - v = -3*h + 5, -2*h + 12 = 4*i. Is 2 a factor of i?
True
Suppose -3*h - 6456 = -11*h. Let m = h - 327. Does 10 divide m?
True
Let z be (-530)/15*3 + 0 + 3. Let h = z + 107. Suppose h*f - 24 = -a, f - 156 = -4*a - 3*f. Does 3 divide a?
False
Let o(c) = -2*c**2 - 9*c + 4. Suppose 0*w + 4*u + 2 = w, 0 = 4*u + 8. Let f be o(w). Is 18 a factor of (0 + 7)*(-288)/f?
True
Let w(q) be the first derivative of -81*q**2/2 - 19*q - 33. Does 13 divide w(-2)?
True
Suppose -5*q = 3*l - 1449 - 222, -l + 4*q = -540. Does 12 divide l?
True
Let t be 4/96*6*2*38. Let n = t - -25. Does 28 divide n?
False
Is ((-9804)/16)/((-381)/5080) a multiple of 19?
True
Let f(j) = -4*j**3 - 27*j**2 + 4*j - 189. Is f(-15) a multiple of 46?
True
Suppose 0 = 108*i - 104*i - 928. Let o be (3 - i/24)*(-12)/10. Is (-5)/((-220)/o) + (-476)/(-44) a multiple of 10?
False
Let o be (-11280)/(-24) + (-5 - 1). Suppose -16*b = -14*b - 2*d - o, -d = -2*b + 460. Is b a multiple of 15?
False
Let v = -2398 + 3004. Is v a multiple of 8?
False
Does 56 divide (185/3)/((-95)/(-342))?
False
Suppose -x - 2*x - 126 = 0. Let u be 6/x + (-90)/7. Is 9 a factor of ((-2 - -1) + 0)/(u/247)?
False
Let y(u) = 23*u**2 - 6*u + 25. Let g be y(-8). Suppose -10*c - g = -15*c. Is c a multiple of 12?
False
Is 12 a factor of (1341/27 + 1)*(-324)/(-3)?
True
Let d be 0/(-3) - (-12 + 7). Suppose -p = -o - 8, -d*o = -3*o + 6. Suppose s - b - 53 = 3*b, p*b + 118 = 2*s. Does 8 divide s?
False
Suppose -2893 + 169 = 6*x. Let r = x + 523. Is 59 a factor of r?
False
Let y be 10584/112*28/(-6). Let k = 546 + y. Is 15 a factor of k?
True
Let l(a) = 13*a**2 + 31*a + 116. Does 5 divide l(-4)?
True
Let j = -9440 + 9880. Is j a multiple of 4?
True
Suppose -216 = 11*p - 1503. Let t(y) = -y**3 + 5*y**2 + 2*y + 4. Let u be t(5). Is 36 a factor of 1*p - 56/u?
False
Let f(x) = 14*x - 31. Let d = 38 - 10. Let k = 36 - d. Does 14 divide f(k)?
False
Suppose -43*k = -525070 - 1360394. Is k a multiple of 232?
True
Let t(f) = 2*f**3 - 3*f - 4. Let n be t(-4). Suppose -3*i - 97 = 2*y + 77, -y = 3*i + 171. Let w = i - n. Is w a multiple of 16?
True
Let b(g) = 21*g + 9. Let y be b(2). Suppose y*q - 52*q + 180 = 0. Is q a multiple of 36?
True
Let v(k) = 3*k**3 - 19*k**2 - 102*k + 58. Is 10 a factor of v(12)?
False
Let k be (-47)/4 - (44/(-16) - -2). Let m(d) = 3*d + 37. Let z be m(k). Suppose 2*j - 40 = -b - 2*j, 2*b - z*j - 116 = 0. Is 14 a factor of b?
False
Let t(c) = 2*c**2 + 25*c - 12. Let z be t(-28). Let v = -808 + z. Is v a multiple of 8?
True
Let h(u) = 4*u**2 - 33*u + 8. Let p be h(8). Is 1*369 - p/(-2) a multiple of 51?
False
Suppose -7*p + 8*p = 3*p - 6324. Is 6 a factor of p?
True
Let h = -1996 - -3096. Is 24 a factor of h?
False
Let k be (-11091)/12 - (14/8 - 1). Let b = k + 1420. Is b a multiple of 45?
True
Let p = 4 - 10. Let l(w) be the third derivative of w**5/60 + w**4/6 + w**3/6 + 1100*w**2 + 1. Is 13 a factor of l(p)?
True
Suppose 3 = -18*p - 33. Does 22 divide (19/p - -4)*-16?
True
Suppose 3*r - 45 = -4*m, -r + 90 = 5*m - 4*r. Let i = m + -13. Does 5 divide -2*(-4)/i + 38?
False
Suppose -5*x - 357 = -f + 1025, 0 = -5*f + 5*x + 6990. Does 61 divide f?
False
Let z(d) = d**2 + 8*d + 30. Suppose 6*u - 1 - 11 = 0. Suppose -2*p + 44 = -5*v, u*p - 2 = 3*v + 26. Is 10 a factor of z(v)?
True
Let f(p) = -2*p**3 - 12*p**2 - p + 4. Let c be f(-6). Let y be (-112)/(-20) - (-4)/c. Let g(b) = -b**3 + 9*b**2 - b - 6. Is 32 a factor of g(y)?
True
Suppose 241 = -2*j - 2*v + 1649, -2*v - 1428 = -2*j. Let n = j - 362. Does 9 divide n?
False
Let y = 3911 + 5079. Is 109 a factor of y?
False
Suppose -4*l = 5*o - 21255, -3*l = 3*o - 6*l - 12726. Does 109 divide o?
False
Suppose -5 + 95 = 3*d. Suppose -9*u + 24 = -d. Suppose 0 = 32*s - 34*s + u. Is 2 a factor of s?
False
Let r = 54 - 77. Let k = 32 + r. Let z(f) = -f**3 + 9*f**2 + 7*f + 7. Is z(k) a multiple of 10?
True
Suppose 4*g - 4 = 8. Suppose -q - 2*r = 2*r - 5, -25 = -5*q - g*r. Suppose -3*j - 8 = -j, -p = -q*j - 158. Is 23 a factor of p?
True
Let l = 55334 - 33460. Suppose -5702 = -36*r + l. Is r a multiple of 19?
False
Suppose 0 = s - 5*s + 4*q + 1008, -4*s = -2*q - 1002. Suppose m - 389 - 26 = -5*c, 3*c + m = s. Is 26 a factor of c?
False
Let o(j) = 215*j + 208. Suppose -5*w = -312 + 282. Is o(w) a multiple of 14?
True
Let b = 90 + -86. Suppose -3*p + 1030 + 1093 = 5*f, 4*f + 2852 = b*p. Is 9 a factor of p?
True
Let k = 62 - -332. Suppose k = c - 7*i + 2*i, -4*i + 412 = c. Suppose -28*y + 24*y + c = 0. Is 17 a factor of y?
False
Is -30*((-436)/12 - -6 - -8) a multiple of 10?
True
Let g = -1542 + 3297. Does 45 divide g?
True
Let r(a) = 319 - 10*a - 314 + 25*a. Let h be r(-6). Let g = 195 + h. Is 22 a factor of g?
True
Is 15 a factor of (7 - 17/((-85)/10)) + 12112?
False
Suppose 0 = 16*t + 34 + 46. Is 4 a factor of (-2)/(t - (-716)/144)?
True
Suppose 0 = 8*g + 152 - 208. Suppose -2*f + 1980 = g*f. Is 60 a factor of f?
False
Is 25 a factor of ((-20)/(-15))/((-35)/315) - -1601?
False
Suppose p - 3*v + 2*v + 46 = 0, 0 = 3*p + 2*v + 118. Let f(z) = 31*z. Let n be f(2). Let b = p + n. Is 2 a factor of b?
True
Let x(f) = -148*f - 1285. Is x(-50) a multiple of 32?
False
Let d = 48811 - 25683. Is d a multiple of 5?
False
Does 3 divide (64/(-16))/((-4)/(-9) - (-1951)/(-4383))?
True
Suppose 2*c + 100412 = 3*x, -4*x + 39*c = 37*c - 133882. Does 46 divide x?
False
Let l(k) = k**3 - 57*k**2 - 25*k + 1456. Is 10 a factor of l(58)?
True
Suppose s + 2*i - 4760 = 15962, -15*s = -5*i - 310795. Is 35 a factor of s?
True
Let f(q) = 55*q - 53. Let u be f(26). Let y = 2384 - u. Is y a multiple of 14?
False
Let h = 302 - 302. Suppose h = -17*d - 2838 + 13395. Is 27 a factor of d?
True
Suppose 20*b - 4*d = 23*b - 25096, -4*b - 3*d = -33452. Is 8 a factor of b?
True
Let k be (-4 + 4)/((-2)/4*-2). Let r be k + (-2)/3 + 1/(-3). Does 14 divide (-141)/r*24/36?
False
Let w(t) = -43*t**2 - 3*t - 19. Let q(p) = 43*p**2 + 3*p + 22. Let v(g) = -7*q(g) - 8*w(g). Suppose 3*o - o = -5*m - 3, 2*m = -o - 1. Does 2 divide v