86 - -23431. Does 6 divide h?
False
Suppose -o - 10*g + 1345 = -7*g, -3*o = g - 4011. Is 3 a factor of o?
False
Let l(v) = 6*v**2 + 463*v - 248. Is 62 a factor of l(36)?
False
Let z = -4935 + 6862. Is z a multiple of 14?
False
Let n be ((-132)/48)/(1/128). Let p = -251 - n. Does 6 divide p?
False
Let n(t) = -70*t + 239. Let u be n(8). Let w = u - -571. Is 5 a factor of w?
True
Suppose -284*i + 279*i + 1780 = 0. Let f = i + -96. Does 20 divide f?
True
Suppose 4*d = -4, 48433 = 3*q - 2*d + 5381. Does 175 divide q?
True
Let r(x) = -x**3 - 8*x**2 + 9*x + 3. Let a be r(-10). Suppose a = 6*b + 173. Does 33 divide ((-8)/b)/((-14)/(-1155))?
True
Suppose -21*r - 156 = -47*r. Is 291/r - (-8)/((-16)/1) a multiple of 12?
True
Suppose -4*q + t + 6 - 1 = 0, -5*t - 5 = 0. Does 12 divide (-1 + -27)*(q*-3 - 0)?
True
Suppose -3*p + 40051 = -2*v, p = -10*v + 14*v + 13357. Does 99 divide p?
False
Let d = 4333 + -6595. Let s = 3201 + d. Is 48 a factor of s?
False
Is 1927737/(-518)*(-6)/(-27)*-3 a multiple of 7?
False
Suppose 3*z = -0*z + 5*f + 220, 3*f + 297 = 4*z. Does 7 divide 21985/z + 6/(-45)?
False
Let w = -35 + 39. Let o(j) = -2*j**3 + 5*j**2 - 3*j - 5. Let p be o(w). Let i = p - -157. Is 23 a factor of i?
True
Let j = 13725 + -7233. Does 94 divide j?
False
Let q(r) = 115*r + 76. Let t(a) = -921*a - 607. Let n(w) = -51*q(w) - 6*t(w). Is 64 a factor of n(-6)?
False
Let p = 29411 - -18158. Is 9 a factor of p?
False
Let d(p) = -2*p**2 + 15*p - 4. Let f be d(6). Suppose -f*i + 743 + 1161 = 0. Does 11 divide i?
False
Does 5 divide 3 + 0 - 1 - (-1280 - (-19 - -7))?
True
Let p(b) = 171*b - 8. Let y be p(2). Suppose -11*d + 3*j + 223 = -9*d, 4*j + y = 3*d. Is d a multiple of 21?
False
Let w = -91 + 94. Let a = w - 5. Let r(g) = -79*g - 14. Does 22 divide r(a)?
False
Suppose 5*f - 60 = 3*m + 116, f - 44 = 5*m. Let j = -716 + 765. Let d = j - f. Is d a multiple of 5?
True
Let n be (1 + 1)/((-6)/(18/(-6))). Is n - (-2 - 83) - -3 - -5 a multiple of 13?
False
Let k = 361 + -247. Let s = -29 + k. Is s a multiple of 2?
False
Does 16 divide (-30 + 0)*(18 + 42476/(-70))?
True
Let m be ((-14)/3)/((-18)/27)*6. Let x be (-6)/15 - 2/(-5). Suppose 4*c + 3*c - m = x. Is c a multiple of 6?
True
Let u = -11047 - -19080. Is u a multiple of 95?
False
Let y(b) = 3*b**2 - 33*b - 276. Does 20 divide y(-13)?
True
Suppose 2*z + 2829 = 5*k, -4*z = 5*k - 2122 - 725. Does 5 divide k?
False
Let n(j) = 19*j**3 + 8*j**2 - 7*j + 11. Let w be n(5). Let m = -1724 + w. Is 66 a factor of m?
False
Let l = 63 - 56. Suppose -107 = l*c - 2137. Does 22 divide (-24)/(-40)*(-10)/(-12)*c?
False
Let c be 2044/(-7) - (0 - -2). Let d = 50 - c. Is d a multiple of 25?
False
Suppose 15*g = 415 + 4475. Suppose -n - 4*k = -431, 548 + g = 2*n + 5*k. Does 25 divide n?
False
Let c(r) be the first derivative of -163*r**2 - 4*r - 145. Does 18 divide c(-2)?
True
Suppose -4*l - 4*x + 8 = 0, -5*x + 2 = -3*l - 4*x. Suppose -5*c + 20 = 0, l*i - 1518 = -3*i + 3*c. Does 17 divide i?
True
Let o be 1*(-6)/12*0. Suppose 5*q - w - 2171 = o, 2*w = -4*q + q + 1313. Does 58 divide q?
False
Let d(x) = -x**2 - 17*x - 26. Let n be d(-17). Is (-16)/(-3)*(-429)/n a multiple of 4?
True
Let j be (-6)/(10 - 16) + 3/1. Suppose -2*a + 3383 = 5*z, -4*z = -j*a - 801 - 1883. Is z a multiple of 27?
True
Suppose 28 = j + 3*j. Let c be (-2*7/3)/(j/(-273)). Let p = 324 - c. Is p a multiple of 21?
False
Suppose 0 = 4*y + 2*j + 884, -2*y - y + 4*j - 652 = 0. Let u = -144 - y. Is u a multiple of 56?
False
Let u = -6139 + 7036. Is 13 a factor of u?
True
Suppose 10*v - 3905 = -5*f + 5*v, 0 = 16*v - 64. Is 21 a factor of f?
True
Let z(g) = -706*g + 586. Does 4 divide z(-8)?
False
Let q = -67 - -73. Suppose 0 = -4*p + q + 6. Suppose 0*i - i + 23 = a, p*a = -4*i + 68. Is a a multiple of 8?
True
Suppose -6*a + 8*a = 2. Let j be 0 + a/(-4) - 9/(-4). Suppose -23 - 213 = -j*i. Is i a multiple of 10?
False
Let j be 2 - -1 - (-4 + 5 + -3). Suppose 4*n - j*c = 2612, 226 = n - 5*c - 442. Does 27 divide n?
True
Let b = 1529 + 2023. Is 12 a factor of b?
True
Suppose -6*s = -0*s - 18. Let t(h) = 3*h**3 + 0*h**s + 10*h**2 - 7*h + 0 - 4*h**3 + 7. Is t(9) a multiple of 12?
False
Let x be (-1)/((-3)/((-36)/(-1))). Let t(n) = x*n - 16 + 11*n + n**2 + 8*n - 40*n. Is 12 a factor of t(-8)?
True
Let w be (-426)/24 - (-1 + 10/8). Is 46/(-207) + (-8428)/w a multiple of 12?
True
Let p(q) = 9*q**2 + 49*q + 81. Does 15 divide p(23)?
False
Suppose -57*i = -23*i - 211990. Is 43 a factor of i?
True
Let p be (-4)/16 - 276/(-16). Suppose -22*o + 2580 = -p*o. Does 10 divide o?
False
Let f = -675 - 2. Let n = f + 737. Does 12 divide n?
True
Let d(l) = -l**3 - 17*l**2 + 15*l - 52. Let b be d(-18). Is (0 - (-9)/(9/b))*27 a multiple of 12?
False
Suppose -3*v + 155 = 7*h - 3*h, 16 = -4*h. Suppose r = -5*l + 285, l - v = 6*r - 2*r. Does 19 divide l?
True
Let x = -8781 - -12252. Is 89 a factor of x?
True
Let k(n) = -n**3 - 24*n**2 - 11*n + 215. Does 9 divide k(-24)?
False
Let w(k) = -82*k + 113. Let t(c) = -41*c + 56. Let n(b) = -7*t(b) + 3*w(b). Is 6 a factor of n(7)?
True
Suppose -819*b - 4519872 = -444*b - 487*b. Does 59 divide b?
True
Let f = 8750 + 12994. Is f a multiple of 144?
True
Let u be ((-515)/75 + (-8)/60)/(-1). Suppose -u*h + 701 + 2008 = 0. Is h a multiple of 29?
False
Let b = -2 + 11. Let u(s) = -2*s + 23. Let c be u(b). Suppose c*w = -g + 86, 0 = -3*w - 3 + 12. Is 12 a factor of g?
False
Suppose -w = 46*w - 25051. Let b = 666 - w. Is 12 a factor of b?
False
Let n(a) = 19*a - 531. Does 165 divide n(54)?
True
Suppose 27 = 9*r - 18. Let a = 225 - r. Does 20 divide a?
True
Let r(y) = -344*y - 1888. Is r(-8) a multiple of 24?
True
Let h(w) = 2993*w - 59. Is 33 a factor of h(4)?
True
Let w = 5057 + -714. Is w a multiple of 43?
True
Let s(r) = 2088*r**2 + 68*r + 67. Does 10 divide s(-1)?
False
Let i(b) = -9*b - 14. Let d be i(-2). Suppose 7*s + 12 = d*s. Is 10 a factor of (26/s - -1)*(-1 + -13)?
False
Suppose 0 = -4*p - o + 21953, -2*p - 61*o + 11008 = -65*o. Is 6 a factor of p?
True
Suppose -4*q = -0*q - 1948. Let d(h) = -q*h + 485*h - 92*h**3 + 11*h**3 - 2. Is 8 a factor of d(-1)?
False
Let j(r) = -r + 3. Let w be j(0). Suppose 0 = -3*s + 14 - 2, 3*s = -w*p + 5523. Suppose -p = -10*b - b. Is 13 a factor of b?
False
Let b(d) = -d**3 - 11*d**2 + 25*d + 27. Let y = -556 + 542. Does 4 divide b(y)?
False
Let i = -61 - -69. Suppose -i*m = -19*m + 66. Is m a multiple of 6?
True
Let t be 2/3 - 40/(-30). Suppose -4*d + q = 2*q - 1577, 787 = t*d - q. Let m = -225 + d. Is m a multiple of 13?
True
Let t(r) = -28*r - 52. Let s be t(-2). Let i be -2*((-15)/2 - 0). Does 24 divide ((-14)/s)/(i/(-510))?
False
Let i(l) = l + 6. Let j be i(-4). Suppose -4*g + 1712 = j*u, 2*g + 0*u + 2*u = 856. Suppose 0 = -5*a - 4*d + g, -a + 6*d = d - 103. Is a a multiple of 11?
True
Let w = 211 - 211. Suppose w = 2*m - 0*m - 938. Is 10 a factor of m?
False
Suppose 655032 = 743*m - 687*m. Is 100 a factor of m?
False
Let f(a) = -18*a + 38. Let c be f(-3). Let q = c + 6. Is 3 a factor of q?
False
Let y(n) be the third derivative of n**8/10080 + n**7/840 - n**6/180 - n**5/60 - 6*n**2. Let g(o) be the third derivative of y(o). Does 13 divide g(-7)?
True
Let d(o) = -240*o - 103. Let l be d(-3). Suppose 2*z - 16*b = -12*b + 418, 0 = -3*z + b + l. Is 41 a factor of z?
True
Suppose 0 = 4*a - 4*q - 132, 0 = 5*a - 0*a - 3*q - 167. Suppose -a*s + 1824 = -22*s. Is 19 a factor of s?
True
Suppose -4627 = -32*i + 9197. Let y(q) = -4*q**2 + q + 13. Let r be y(9). Let v = i + r. Is 13 a factor of v?
True
Let v(m) = 21*m**2 + 27*m + 799. Does 89 divide v(-17)?
False
Let h(n) = 16*n**3 + 21*n**2 - 23*n - 2. Let w(s) = -3*s**3 + s**2 + s - 1. Let x(l) = -h(l) - 6*w(l). Suppose -2*z + 3*z - 13 = 0. Is x(z) a multiple of 15?
True
Let a be ((-360)/(-35))/((-9)/42). Does 11 divide (a/(-16))/((-4)/(4704/(-9)))?
False
Suppose 23*x = 19*x + 12. Is 40/12*(-555)/(-2 - x) a multiple of 25?
False
Does 60 divide ((-2310)/45)/((-6)/1773) + -6?
False
Let n be (-126)/30*(1 - 1 - 5). Suppose -n*h + 4680 = 24*h. Is 30 a factor of h?
False
Suppose -943 = 15*a - 3283. Suppose 6*z - a = 420. Does 16 divide z?
True
Suppose 24*y - 7*y - 5386 = 11971. Is y a multiple of 3?
False
Let b = 26142 + -15330. Suppose -17*h = -2754 - b. Is h a multiple of 21?
True