 of 3?
False
Suppose 2*h - 94 = 56. Suppose h*t + 378 = 68*t. Let v = -19 - t. Does 17 divide v?
False
Let y be 4*(3 - 4) + (101 - -1). Let b = -90 + y. Let d(w) = 2*w**2 - 10*w + 22. Is 14 a factor of d(b)?
True
Suppose -v = -3*y + 3 + 1, -4*y = -v - 8. Suppose 4*j = -3*w + 630, j - v*w - 154 = -7*w. Does 52 divide j?
True
Let h(o) = -o**3 + 14*o**2 - 26*o + 34. Let r be h(12). Suppose r*l - 17*l = -2002. Is l a multiple of 22?
True
Let z be -6 + 3510/6 + 3. Let t = z + 290. Is t a multiple of 16?
False
Does 33 divide ((-136)/17)/((2/400)/(-1))?
False
Let r(j) = -21*j**2 - j + 19. Let v be r(6). Let b = v - -1088. Does 70 divide b?
False
Suppose 309*j - 1910369 - 1425033 = -349*j. Is 6 a factor of j?
False
Suppose -3*r - 1115 = 5*v, -7*v - 4*r - 240 = -6*v. Is v/6*-2*(-7 - -10) a multiple of 22?
True
Let p = -47584 + 70046. Is p a multiple of 83?
False
Let z(h) = h + 1074. Is 6 a factor of z(24)?
True
Let w(o) be the second derivative of -o**5/20 + 2*o**4/3 - o**3/2 + 5*o**2/2 - o. Let v be (10 - ((-36)/6 + 13))*2. Is 13 a factor of w(v)?
False
Let t = 1 + 1. Let a(p) = 38*p**3 - p**2 + 3*p + 11. Let z(h) = -75*h**3 + 2*h**2 - 5*h - 19. Let l(j) = -7*a(j) - 4*z(j). Is l(t) a multiple of 21?
False
Let o(v) = 27*v**2 - 38*v**2 + 25*v + 61 + 23*v**2. Is 3 a factor of o(-3)?
False
Is 7 a factor of (-6 - -2) + (1311 - -4) + 6?
False
Does 3 divide (-15270)/(-4) + 70/28 - (-4 + -1)?
True
Suppose 0 = 84*x - 1212790 - 610468 - 90682. Does 21 divide x?
True
Suppose 2259*y = 2273*y - 77742. Is 35 a factor of y?
False
Let j(s) = s**2 + 4*s - 37. Let r be j(-9). Is r/48 + 1645/30 a multiple of 3?
False
Let j = -39017 + 55737. Does 20 divide j?
True
Suppose -10*c + 13*c = 3*t - 49242, -4*c = 3*t - 49214. Is 65 a factor of t?
False
Let y(q) = -3 + 2 + q + 7 + 3. Let l be y(-10). Let i(v) = -v**3 + v**2 - v - 1. Is 2 a factor of i(l)?
True
Let g(a) be the third derivative of 29*a**4/24 - 29*a**3/6 + 41*a**2. Is 8 a factor of g(9)?
True
Suppose p + 3 = 0, -4411 = -5*t - 3*p + 6635. Is t a multiple of 12?
False
Suppose 0 = y - 5*y - 20, -4*l + 2*y + 774 = 0. Is l a multiple of 7?
False
Let g(t) = -101*t - 1441. Is g(-47) a multiple of 12?
False
Let i(o) = 1135*o + 14632. Is i(-12) a multiple of 44?
True
Let s(w) = -343*w + 3479. Is s(-14) a multiple of 91?
True
Let x(r) = -r**2 - 34*r + 180. Let i be x(-33). Let c = 283 - i. Is c a multiple of 5?
True
Suppose 0 = -27*p - 519954 + 1374423. Does 231 divide p?
True
Let k(c) = -c**2 + 5*c - 8. Let a be k(4). Let t be (-4)/1 + 5 + a. Is 11 a factor of (-294)/(-12) + t/(-6)?
False
Let j(t) = -6*t**2 + 7*t - 25. Let b(m) = 3*m**2 - 4*m + 13. Let p(f) = -11*b(f) - 6*j(f). Let d be p(5). Let g = d - 9. Does 20 divide g?
False
Suppose 5*f = -3*y + 90, 7*f - 3*f - 79 = -y. Suppose 0*s = -3*s - f. Is (-2 + 3)/(s/(-777)) a multiple of 13?
False
Suppose -91 = -h - 22*s + 26*s, -5*s - 20 = 0. Suppose -h*f - 4862 = -92*f. Is 26 a factor of f?
True
Let d(g) = 0 + 2 - 3*g + g**2 - 2. Let v be d(0). Does 7 divide (0/1)/(1 + v) - -45?
False
Suppose 81090 = 1661*o - 1655*o. Is o a multiple of 51?
True
Let z(y) = -50*y + 7150. Is 9 a factor of z(-118)?
True
Suppose 49*o + 11393 = 28004. Is 4 a factor of o?
False
Let p = 257 + 1970. Is 4 a factor of p?
False
Suppose -5*q = 2*j + 6, -2*j - q - 6 = -4*j. Suppose -4*v = -j*c + 1824, -3*c + 1258 + 1511 = 5*v. Is c a multiple of 16?
False
Let v be (-112)/3*3*4/8. Suppose 4*g = -3*n - 0*g - 108, -n + 5*g - 17 = 0. Let r = n - v. Is r a multiple of 24?
True
Let l(z) = 5472*z**2 + 35*z - 16. Does 138 divide l(2)?
True
Suppose -44154 - 1946 = -20*k. Is 8 a factor of k?
False
Let f(u) = -2*u - 2. Suppose -3*h - 8 + 2 = 0. Let w be f(h). Suppose w*x + c - 50 = -3*c, -5*c = 5. Is 3 a factor of x?
True
Suppose 22*m - 38 + 16 = 0. Let a(d) = 890*d - 18. Is 8 a factor of a(m)?
True
Let x(u) = -u**3 + 16*u**2 - 15*u - 6. Suppose 11*b - 12*b = -11. Is x(b) a multiple of 14?
True
Suppose -2*v + v = -17. Let z(o) be the third derivative of o**4/24 - 13*o**2 - 5*o. Does 7 divide z(v)?
False
Suppose -4*i - g + 2340 = -4245, -5*i + g + 8220 = 0. Is i a multiple of 58?
False
Suppose -13*m + 166858 + 212366 = 11*m. Does 69 divide m?
True
Let w(s) = -7*s**3 + 15*s**2 - 8. Let l(b) = -4*b**3 + 8*b**2 - 4. Let z(h) = 5*l(h) - 3*w(h). Does 17 divide z(7)?
True
Let i(g) = 17*g**3 - 3*g**2 + 4*g - 2. Let f be i(2). Let n = -132 + f. Is 15 a factor of ((-3)/2*n)/((-1)/(-25))?
True
Let f = 43570 - 19404. Is f a multiple of 13?
False
Let l = 5081 - 2919. Is 47 a factor of l?
True
Let t = 1303 - -1077. Does 14 divide t?
True
Let t be (-3)/((-3)/(-5)) - 1. Let w(m) = -2*m**3 - 4*m**2 + 27*m + 1. Is w(t) a multiple of 3?
False
Suppose -3*s + 2*l - 86 + 315 = 0, 3*s + 4*l = 217. Suppose -s = 13*h - 8*h. Is 15 a factor of 2/5 - h/(600/1184)?
True
Suppose 2*b + 3*j - 595 = 0, 8*j - 13*j + 1195 = 4*b. Is 7 a factor of b?
False
Let j = 3 + -5. Let i = j - -20. Suppose 23*x - 270 = i*x. Does 9 divide x?
True
Let c(n) = -3*n**2 - 30*n + 12. Let r be c(-13). Let q = r - -447. Does 38 divide q?
True
Suppose 0 = -2*c + 4*f + 1056, -15*c + 13*c + 1086 = f. Is c a multiple of 12?
True
Let z(d) = -d**3 + d**2 + 13*d - 1. Let n be z(-3). Does 14 divide 343 - (-5 - n)*1*0?
False
Let u(s) = -s**3 + 9*s**2 - 8*s + 8. Let f be u(9). Let h = -51 - f. Is 9 a factor of ((-40)/(-10))/(1/h)?
False
Let g = 8875 - 8810. Is 13 a factor of g?
True
Suppose 2*t = -4*t + 60. Let n be 476/t + (4 - 72/20). Suppose -46*q + n*q = 576. Does 24 divide q?
True
Let x be (12/(-21))/(2/(-826)). Suppose -d + x = 3*f, 5*f = 12*d - 8*d + 382. Does 6 divide f?
True
Suppose 133*z = -24*z + 595501. Is 10 a factor of z?
False
Let a(q) = -2*q - 27. Let c(j) = j - 2*j**2 - j**3 + 2 + 12*j**2 - 15*j + 3*j. Let w be c(9). Is a(w) a multiple of 2?
False
Let l(y) = 11*y**3 + y**2 + 2*y + 5. Let w be l(3). Suppose -w + 1100 = 3*k. Is k a multiple of 24?
False
Let m(n) = n**2 + 17*n - 21. Let l be m(-18). Let p = -8 - l. Does 3 divide (-200)/(-6) - (-5)/(75/p)?
True
Let l(h) = h**3 + 4*h**2 - 3*h - 3. Suppose -5*p = 5 + 25. Let i(v) = v**3 + 6*v**2 - v - 8. Let y be i(p). Is l(y) a multiple of 5?
False
Suppose -32*z + 36554 = 17*z. Suppose z*k - 742*k - 4224 = 0. Is 9 a factor of k?
False
Let n = -148 + 269. Let x = n - -113. Does 6 divide x?
True
Suppose -3*z - 624 = -p, 4*p + 0*z - z = 2507. Is (-4)/8*-2*p a multiple of 18?
False
Suppose 337 + 727 = -8*w. Let j = -117 - w. Is j a multiple of 2?
True
Suppose -25 = -7*s - 25. Suppose 4*y - 1782 = -8*a + 3*a, -4*y - 3*a + 1778 = s. Is 23 a factor of y?
False
Suppose 0 = 7*z - 55 - 29. Let r(y) = -7*y - 35. Let b be r(z). Let t = -59 - b. Does 30 divide t?
True
Let h(r) = -r**2 - 6*r + 125. Let g be h(-14). Suppose -4*o = 4*d - 16, 0 = -o + 5*d - 3 + 1. Suppose -4*u + g = -o*u. Does 3 divide u?
False
Let d(m) = -m**3 + 24*m**2 - 47*m + 42. Let w be d(22). Does 18 divide 25/(-200) + (-6411)/w?
False
Let u(p) = 13 - 4*p + 3*p**2 + 10 + 5*p - 24. Let k be u(1). Suppose -5*r - 213 = -j, 0*r - 609 = -k*j + 5*r. Does 16 divide j?
False
Let f = 647 + -612. Is ((-896)/(-40))/(7/f) a multiple of 7?
True
Let u = 58967 - 34307. Is 137 a factor of u?
True
Let c(m) = m - 2. Let v be c(3). Suppose -10 = 2*i, 2*i - 303 + 108 = -5*p. Suppose -7*w = -p - v. Is 5 a factor of w?
False
Suppose -5*o + 49 = -4*z, 4*z - 1 = 2*o - 11. Suppose o*i = 1686 + 1694. Is i a multiple of 13?
True
Let s(r) = 5*r**2 - r + 6. Let n be s(-3). Suppose 4*i - 26 = -4*a + n, a = -2*i + 20. Is 15 a factor of a*(4 - 6/24)?
True
Suppose 4*n - 157248 = -17*n - 3*n. Is 84 a factor of n?
True
Suppose 91*o = 271*o - 1711080. Is 14 a factor of o?
True
Does 28 divide ((-10395)/44)/((-3)/32)?
True
Let o be (-4)/(-4)*(-10 + 1). Let s(p) = -38*p**3 - 31 + 5*p**2 + 6*p**2 + 5*p - 32*p**3 + 71*p**3. Does 30 divide s(o)?
False
Suppose m - 15 = -2*o + 1, 0 = 2*m + 2*o - 30. Suppose 2 = -13*p + m*p. Suppose 0 = -5*x - 15, s - 4*s = -p*x - 276. Does 9 divide s?
True
Let n = 13817 + -6600. Is n a multiple of 34?
False
Let p(d) = -4*d**3 - 11*d**2 - 23*d - 26. Let s(m) = 11*m**3 + 33*m**2 + 69*m + 77. Let c(h) = -8*p(h) - 3*s(h). Is c(-9) a multiple of 22?
True
Suppose -j + 23422 = -4*s, -s + 0*s - 46893 = -2*j. Is 114 a factor of j?
False
Let o be 88/(-12) - ((-24)/(-9) + -3).