7565 = 17*s - 12561. Is s a multiple of 4?
False
Suppose 5*i - 5*r = 55, -45 = -5*i - 23*r + 18*r. Does 16 divide -2 + (-30)/i - -229?
True
Does 59 divide 2*-4024*(9 - (-135)/(-12))?
False
Let o(w) = 531*w**3 - 5*w**2 + 6*w**2 - 2 + 0*w**2 + 2*w - 2*w**2. Let p be o(1). Suppose -3*b - p = -3*y - 164, 4*y = 5*b + 493. Is y a multiple of 11?
False
Let c(t) = -51*t**3 - 1. Suppose 0 = -2*x + 5*j + 30, 2*j + 16 = -2*j. Suppose -7*r = -x*r + 2. Does 11 divide c(r)?
False
Let a = 256 + -110. Suppose a = 5*s - 1054. Does 40 divide s?
True
Suppose 2*x - 13*j + 8*j - 3432 = 0, -4*x - j = -6908. Is x a multiple of 8?
False
Let o(v) = 2*v + 8. Let t be o(-7). Let d be (-4)/t + 376/(-24). Let f = d + 65. Is f a multiple of 10?
True
Let s = 560 - 557. Let p = 2 + 1. Suppose 2*f + i = -0 + 15, -p = -2*f + s*i. Does 6 divide f?
True
Suppose -2*d + 497 = 5*g, -392 = -d + 2*g - 139. Is 2 a factor of d?
False
Let r(j) be the first derivative of -49*j**2/2 + 119*j + 120. Is r(-7) a multiple of 21?
True
Let f(o) = 38*o**2 + 2*o - 55. Let g = 63 + -57. Let q be f(g). Suppose 15*x - q = -245. Is 9 a factor of x?
True
Let x(q) = q**3 - 9*q**2 - 239*q - 144. Is 76 a factor of x(29)?
False
Suppose 2326208 = 103*j + 9*j - 1206496. Does 86 divide j?
False
Suppose -4*n + 0*n = -3*u - 814, 5*n + 2*u - 1029 = 0. Suppose -5*q + 10*q = n. Let p = q + -36. Does 5 divide p?
True
Let a = 69222 + -44006. Is a a multiple of 19?
False
Let x = 65 - 65. Suppose 3*a - a + 92 = x. Let s = -25 - a. Is 3 a factor of s?
True
Let h(o) = 4*o**2 - 139*o - 11. Let x = 201 - 166. Is h(x) a multiple of 10?
False
Let n be 15 + 1 + (5 - 5). Let l(q) = 4*q - 23 - 4 - 6*q + 7*q. Does 39 divide l(n)?
False
Let z = -179 - -187. Let k(i) = i**3 - 8*i**2 + 8*i - 1. Does 4 divide k(z)?
False
Let o be 1/((-4)/(-313 + 5)). Let h = o - -64. Is h/(-1)*2/(-3) a multiple of 22?
False
Let n = 831 - 831. Suppose n = 6*b - 2*b + 2*x - 564, -4*b + 576 = 5*x. Does 6 divide b?
False
Let y(k) = 9*k - 4. Let c be y(2). Suppose n + n = c. Is 2/n - 1172/(-14) a multiple of 28?
True
Let m(t) = t**3 + 10*t**2 - 6*t - 11. Let n be m(-8). Suppose 9*s - 1857 = -n. Is s a multiple of 35?
False
Let x(f) = f**3 - 71*f**2 + 121*f - 71. Is 120 a factor of x(71)?
True
Let j = -42621 - -76171. Is j a multiple of 10?
True
Let w(g) = 6*g + 1 + 0*g + 2 + 8*g**2. Let h = -1333 - -1331. Does 7 divide w(h)?
False
Let s = 60 + 2. Let x = -187 + 189. Suppose 0*j = x*j - s. Does 31 divide j?
True
Let o(n) = n**3 - 7*n**2 + 3*n - 17. Let r be o(9). Suppose -2*u - 14 - r = -2*x, 4*u = -12. Suppose -11*i = -5*i - x. Is 15 a factor of i?
True
Suppose -5*x + 1787 = -1424*h + 1425*h, -2*h + 3*x = -3587. Is 16 a factor of h?
True
Suppose -5*j = -3552 - 2308. Suppose -3*b - i - j = -5*b, -5*i = -20. Does 72 divide b?
False
Suppose -176*r + 178*r = -3*f + 3406, 4*f = -2*r + 3400. Is 8 a factor of r?
True
Let r(w) = 2*w**2 + w. Let z(d) = d**3 + 4*d**2 + 19*d - 27. Let g(t) = -3*r(t) + z(t). Is g(8) a multiple of 97?
True
Suppose 0 = -5*b + 3*u - 617, -4*b + 3*u - 2*u = 488. Let r = b + 171. Is r a multiple of 2?
True
Let y(v) = 6*v. Let j be y(-5). Suppose 0 = 4*o - m + 84, 4*o = 19*m - 23*m - 64. Does 18 divide (-8)/o + -2*3939/j?
False
Suppose -2*k + 72 - 12 = 0. Let n = k + -34. Let p = 5 - n. Is 3 a factor of p?
True
Let i be (-3 - (2 + 0)) + 43. Let z = 77 - i. Does 17 divide z?
False
Let t(a) = -150*a + 511. Is t(-17) a multiple of 40?
False
Does 29 divide 25/(-10) - (-81)/(-18) - -27296?
True
Let h = -957 + 964. Let q(c) = c**3 - 12*c + 22. Is q(h) a multiple of 17?
False
Let w(j) = 36*j + 63. Let r be w(8). Let f = 505 - r. Is 14 a factor of f?
True
Let b(x) = 2*x**2 + 44*x + 2514. Is b(-47) a multiple of 8?
True
Let o = -3589 - -11141. Is o a multiple of 16?
True
Does 178 divide ((-14)/5)/(46/(-23)*1/2315)?
False
Let w(a) = 318*a**3 - 8*a**2 - 18*a + 44. Does 44 divide w(4)?
True
Let m = -5 - 5. Let p(i) = 2*i**3 + 21*i**2 - 9*i - 17. Let b be p(m). Is (-1)/((6/b)/(-6)) a multiple of 9?
False
Suppose 0 = 24*i - 17 + 17. Suppose i = -3*v + 5*c - 0*c + 1272, -410 = -v - 3*c. Does 4 divide v?
False
Let o be (6/5)/((-4)/(120/(-9))). Let p be (-120)/(-2) - o/(-1). Let w = 97 - p. Is w a multiple of 11?
True
Let r be 74/(-6) - ((-300)/36 - -8). Is 16 a factor of r/30 - 7206/(-15)?
True
Suppose -31*b + 63*b = 53*b - 29148. Is 17 a factor of b?
False
Is 12 a factor of (-704)/(-4)*(-10605)/(-140)?
True
Suppose 0 = -5*o - 74 + 14. Is 10 a factor of (-3 - (-33)/9) + (-3400)/o?
False
Let f be 10/(-35) - 498978/(-63). Suppose -16*k = -31*k + f. Is 44 a factor of k?
True
Let m be (-95090)/(-111) - 2/(-6). Let p = 389 + m. Does 56 divide p?
False
Let d = 18 - 14. Suppose -d*u - 3*c = -61, -4*u + 0*c + 63 = c. Suppose -7*a + 3*a - 4*z = -40, -4*a + 4*z = -u. Is 7 a factor of a?
True
Let o(m) = m + 57. Suppose 10*h - 11 = 159. Let g be o(h). Let y = -11 + g. Is y a multiple of 41?
False
Suppose -37 - 11 = 12*o. Let p(i) = -220*i - 24. Is 15 a factor of p(o)?
False
Suppose 2*v - 630 = -13*v. Does 9 divide (-55308)/(-1386) + 4/v?
False
Let k(q) = -55*q + 7292. Is k(18) a multiple of 127?
False
Is 129 a factor of (-11 - 1) + (-686070)/(-90)?
True
Let t(p) = -4*p + 32. Let w(v) be the third derivative of -v**6/120 + 3*v**5/20 - 5*v**4/8 - v**3/2 - 3*v**2. Let c be w(7). Is 12 a factor of t(c)?
True
Let z = 604 + -601. Suppose 0 = n + z, f - 6*f + 1968 = -n. Is f a multiple of 17?
False
Let p(m) = 92*m**3 + 4*m**2 - 9*m - 11. Let g(b) = 185*b**3 + 7*b**2 - 17*b - 21. Let w(y) = -3*g(y) + 5*p(y). Is 8 a factor of w(-1)?
True
Let w = -9802 + 12828. Is 4 a factor of w?
False
Suppose 0 = 2*r + 2*t - 5134, -5*r + 2250 + 10525 = -5*t. Is 10 a factor of r?
False
Let l be (34/(-6) + 1)/((-28)/(-84)). Let k(j) = -3*j - 32. Let y be k(l). Let n(o) = -o**3 + 9*o**2 + 13*o + 2. Is n(y) a multiple of 8?
True
Let w(s) = -3*s**2 + 13*s + 15. Let z be w(-1). Let x(y) = -109*y - 7. Is x(z) a multiple of 17?
True
Let r = -2566 + 5439. Is 32 a factor of r?
False
Let l be 22232/(-63) + (-1)/9. Let q = 743 + l. Is 5 a factor of q?
True
Suppose -4*u - w = -563, u - 167 = -10*w + 15*w. Let h = -44 + u. Suppose 3*o = -s + 284, -12*s + 11*s + h = o. Does 25 divide o?
False
Let l be 2*(70119/(-273) - (-2)/(-13)). Let i = l - -679. Is 43 a factor of i?
False
Let y(c) = 58*c**2 - 7*c + 26. Suppose 2*r + n = 14, -6*n - 13 = -5*r - 3*n. Is 15 a factor of y(r)?
False
Let c(f) = 2524*f - 5835. Does 14 divide c(11)?
False
Let y be (-43)/3 + (-13)/(-39). Let a(l) = -l**3 - 6*l**2 + 10*l + 15. Let x be a(-7). Is x*(4 + y) + -3 a multiple of 19?
True
Suppose -13*f + 1245 = -822. Suppose 90 = -i + f. Is 36 a factor of i?
False
Let q(h) = 25*h**2 + 3*h. Let n be q(1). Suppose -3*p - 4 = -n. Is -2*((-228)/p)/3 a multiple of 11?
False
Does 8 divide (102 + -90)*(-1090)/(-3)?
True
Suppose -39*y + 10*y = -174. Does 9 divide ((-1059)/(-3) - -3) + y?
False
Suppose 27582 - 151846 = -3*c - 11*c. Is 14 a factor of c?
True
Suppose -133*t + 226*t - 30190 = 2213342. Is 34 a factor of t?
False
Suppose 15*y + 144 = -y. Let a = 54 + y. Does 15 divide a?
True
Is 5/((-388875)/(-77770) + -5) a multiple of 77?
True
Suppose 11 = 7*i + 193. Suppose r = -3*r. Is 12 a factor of i/((r + -4)/16)?
False
Let x = 23228 + -13153. Is x a multiple of 77?
False
Let n(g) = -3*g**3 - 4*g**2 + 13*g - 10. Let y = 110 + -115. Is n(y) a multiple of 50?
True
Suppose -5*r + 15 = 2*d - 3*d, 0 = -d - 2*r + 13. Suppose d*f = 773 + 1122. Is 24 a factor of f?
False
Let k = -56 + 59. Does 15 divide (-354)/((5 - k)*-1)?
False
Let g(r) = -5*r**2 - 8*r - 12. Let y be g(-2). Is 17 a factor of 1*75 - (23 + y)?
True
Suppose -14*t + 54 = -16*t. Let y be t/(-9)*(-3)/(-9). Does 12 divide (-1)/(-1) + y + 6 + 136?
True
Let n(z) = -4*z**2 + 5*z + 14. Let s(h) = -7*h**2 + 11*h + 28. Let x(t) = 5*n(t) - 3*s(t). Let b be x(10). Suppose -b*u = -4*u - 258. Is u a multiple of 15?
False
Let d = -177 - -255. Suppose 0 = 3*x + 3*x + d. Let k(f) = -f**2 - 16*f - 3. Is 6 a factor of k(x)?
True
Suppose -5*t = -700 - 40. Let m = t + -127. Is 17 a factor of m?
False
Let d be 4/(-3)*16/((-96)/(-117)). Let f be -2*(-3 + 45/6). Let g = f - d. Is g a multiple of 9?
False
Suppose 5 = d - 4. Suppose 0 = -2*w + u - 1, 5*w + 0*u + u - 15 = 0. Suppose -4*i + d*i = y + 401,