9 - 214)*2/f?
False
Let g = -1515 - -2273. Does 2 divide g?
True
Suppose 5*m - 6567 = -4*s, -435 = -4*s - 3*m + 6126. Suppose -14*h = -23*h + s. Does 25 divide h?
False
Suppose -42*p + 1039807 = 206737. Does 33 divide p?
False
Suppose 0 = -5*l - 4*m + 24, -2*l - 9 = -4*m - 41. Let y = -348 + 357. Suppose -y*a = -l*a - 102. Is a a multiple of 17?
True
Suppose -239*b + 238*b + 960 = 0. Let n = -445 + b. Does 18 divide n?
False
Let x be 3/((1/3)/((-235)/15)). Let y = x + 236. Suppose -b = -6*b + y. Does 6 divide b?
False
Let k = -615 - -668. Let h = -20 - -33. Let m = k - h. Is 4 a factor of m?
True
Suppose -3*n + 26 + 7 = 0. Suppose -n + 15 = r. Suppose 4*o = 0, 0*b - 2*o = r*b - 808. Does 50 divide b?
False
Suppose 3*t + 2 = 4*t. Suppose -t*i = 3*y - 29, -5*y + 9 = 2*i - 14. Suppose 2*u = -i + 63. Is 18 a factor of u?
False
Is (2/6)/(((-8)/(-40848)*1)/37) a multiple of 67?
False
Suppose -5*h = -3*k + 6320, 8416 = 25*k - 21*k - 4*h. Is 30 a factor of k?
True
Let d(b) = -3*b**2 + 119*b + 96. Is d(40) a multiple of 8?
True
Suppose 0 = 289*c - 4056993 - 1313205. Is c a multiple of 54?
False
Let k(w) = -194*w - 209*w + 113 + 586*w - 200*w. Does 27 divide k(-41)?
True
Let x(n) = -n + 12. Let f(p) = 1. Let s be (-3)/(26/(-24) + (-6)/(-18)). Let h(c) = s*f(c) + x(c). Is 2 a factor of h(-7)?
False
Suppose -2*z + 629 - 25 = 0. Suppose -4*d + 26 = -z. Suppose q = 0, 2*r + 0*r - q - d = 0. Is r a multiple of 18?
False
Let p = -2123 - -7555. Suppose -4*c - p = -8*c. Suppose -18*t + 856 + c = 0. Is t a multiple of 9?
False
Let t be 32/(-14) + 18/63. Does 21 divide (466/t)/((-26)/78)?
False
Suppose 40*y - 43 - 157 = 0. Suppose 0 = -y*o - 5*o + 6600. Is o a multiple of 10?
True
Let i be (-224)/(-40) + 7 + 4/10. Let t(h) = h**2 - 20*h + 3. Let c be t(i). Is 50/(-36)*c + (-4)/18 a multiple of 26?
False
Let v be 5/((-225)/9) + 826/5. Suppose -30*a + 1005 = v. Is a a multiple of 28?
True
Suppose -4 + 3 = k - 4*y, -3*y + 3 = -k. Let p(u) = -9*u + 3. Let l be p(k). Let t = l - 68. Does 16 divide t?
True
Suppose -b + 5 = -0*b - l, -4*b - l = -20. Suppose -3*r = -3, 2*r - b - 1 = t. Does 16 divide (-4056)/(-182)*14*(-2)/t?
False
Let w = 8776 - 3273. Is w a multiple of 31?
False
Let j(w) = 294*w**2 + 18*w + 5. Let p be j(2). Does 86 divide -3 + 3 + (p - (-12)/(-6))?
False
Let i(v) = -v**3 - 117*v + 2*v**3 + 109*v - 3*v**2 + 34*v**2 + 3*v**2 - 73. Is i(-34) a multiple of 7?
False
Let a be ((-18740)/(-10))/((-10)/(-35)). Suppose r - a = -5*l + 2*r, -2*l + 2623 = -r. Is 26 a factor of l?
False
Let b(w) = -466*w + 10. Is 29 a factor of b(-2)?
False
Suppose 96559 = -131*a + 166*a - 129121. Is 26 a factor of a?
True
Suppose 4*n = -4*c + 140, 4*c - 2*n - 115 = -n. Let q = -14 + c. Is (q/10)/((-40)/(-4500)) a multiple of 12?
True
Suppose 5*r - 12*r + 42 = 0. Let z be ((-27)/r)/(1/2). Is 41 a factor of 166/(-4)*(z - -7)?
False
Let m(x) = 4504*x + 6122. Does 251 divide m(7)?
True
Suppose 0 = -k - 4*d + 6*d + 14, 0 = 2*k - 2*d - 18. Suppose q - 3 = 2*q, k*o - 366 = 2*q. Let c = o - 51. Does 13 divide c?
True
Let v(y) be the second derivative of y**4/12 + 7*y**3/6 + 6*y**2 + 6*y + 3. Does 15 divide v(-9)?
True
Is 23 a factor of (12/(-15))/((-108)/103050) + (-2)/(-3)?
False
Suppose m = 9*z - 11*z - 1, -5*z + 20 = -2*m. Let c = 8 - 5. Suppose c*y + 13 = -z*a + 279, -5*y - 3*a + 442 = 0. Does 22 divide y?
False
Suppose 17*o = 5*o + 8160. Suppose -117*g = -109*g - o. Is 5 a factor of g?
True
Let v(b) = -b**3 + 4*b**2 + 2*b + 5. Let r be v(5). Let c(d) = 7*d - 2. Let x(w) = -22*w + 7. Let u(n) = -7*c(n) - 2*x(n). Is u(r) a multiple of 19?
False
Let m be 32/(-176) + 24/11. Suppose -4*r + 6*r + 4*y - 1240 = 0, 3068 = 5*r + m*y. Is 68 a factor of r?
True
Let w = 12987 - 849. Is w a multiple of 42?
True
Let z be (-20 - -10)/(1/37). Let n = -138 - z. Is 9 a factor of n?
False
Does 152 divide 48/9*(-45)/(-40) + 9722?
True
Let m(y) = -y**3 - 2*y - 1. Let u = -63 - -62. Let f be m(u). Suppose -4*c = -t + 6*t - 372, -f*t + 3*c = -135. Does 8 divide t?
True
Suppose 6*n = n + 1140. Suppose -3*z = -2*z - 12. Suppose z*r = 9*r + n. Does 19 divide r?
True
Let l = -1039 - -3575. Does 69 divide l?
False
Suppose -1974*a - 480852 = -2085*a. Does 4 divide a?
True
Let q(h) = -39*h + 20. Let z(g) = 38*g - 18. Let f(m) = -2*q(m) - 3*z(m). Does 4 divide f(-2)?
False
Suppose -h + 5*o = -22316, 7*h = 5*h - 2*o + 44680. Does 16 divide h?
True
Let u(x) = -x**2 + 16*x + 20. Let c(b) = b**2 + 8*b - 1. Let r be c(-9). Is 4 a factor of u(r)?
True
Let x be (34/5 - 6) + 693/15. Is 13536/x + 15/(-3) a multiple of 46?
False
Let v be (-132 - -4)*-184 + -6. Is (-3)/(v/2944 - 8) a multiple of 64?
True
Suppose -2*t + 4*t = 4*q, 0 = 4*q + 4. Suppose 0 = d - 2, 5*i + 5*d - 13 = 12. Does 12 divide 18*(-4 - t)*(i + -4)?
True
Let f(p) = -p**3 + 10*p**2 - p - 12. Let d be f(9). Suppose -i = 56 - d. Suppose 5*s = -3*k + 323, s - i*s + 217 = -4*k. Is s a multiple of 15?
False
Suppose 25 + 10 = -5*j. Let u be ((-10)/(-6))/(j/(-21)). Suppose -u*v = -3*z + 159 - 30, -43 = -z - 2*v. Is 11 a factor of z?
False
Let l = 246 + -239. Suppose 0 = 5*a + 5*z - l - 178, -2*a + 84 = -3*z. Is 3 a factor of a?
True
Let p(g) be the third derivative of g**5/20 - 5*g**4/12 + 2*g**2. Is p(6) a multiple of 46?
False
Let l(k) = k**3 + 4*k**2 + 3*k. Let f be l(-2). Let v(t) = 5*t**2 + t + 2. Let z(c) = 39*c**2 + 3*c + 5. Let w(b) = -4*v(b) + z(b). Is w(f) a multiple of 21?
False
Let r = 540 - 141. Let n = 1127 - r. Is n a multiple of 56?
True
Suppose -17*q - 460548 = -18*q - 8*q. Is 44 a factor of q?
True
Let n = -139 + -104. Let a = 572 + n. Is 19 a factor of a?
False
Let z(k) = 45*k**3 - 6*k**2 + 23*k + 14. Is 90 a factor of z(5)?
False
Suppose -82*u = -1943 - 10439. Is u even?
False
Let w(f) = -743*f - 2353. Is 6 a factor of w(-5)?
True
Suppose -95 = -b - h - h, 2*b - h = 180. Let v = b + -4. Let m = v - 57. Does 15 divide m?
True
Let y be ((-246)/12 - -2)*(-16)/2. Suppose 149*k - 195 = y*k. Is k a multiple of 12?
False
Let o be (-1400)/6*(1 - (-1 - -5)). Suppose -h = -2*x - 17 + o, -2*x + 5*h = -679. Is 34 a factor of x?
False
Let f be 2/(-8)*(-6 - (9 + -3)). Suppose -r - 621 = -2*o - o, -f*r + 841 = 4*o. Is o a multiple of 26?
True
Let j be (-1)/6 - (-3 - (-2090)/(-12)). Let q(k) = k**3 + 8*k**2 - 11*k - 4. Let y be q(-7). Let o = j - y. Is 11 a factor of o?
True
Suppose 4*h + u - 125824 = 0, -16*u + 19*u = 5*h - 157280. Is 250 a factor of h?
False
Let o(c) be the third derivative of c**5/10 - 5*c**4/4 - 4*c**3 + 89*c**2. Is 32 a factor of o(12)?
True
Let f(h) = -113*h + 66*h + 5 + 3. Is f(-1) a multiple of 10?
False
Suppose 2*a - y = 65, -2*a + 4*y + 40 = 8*y. Let f = 786 - a. Is 9 a factor of f?
True
Suppose -3*q + 600 = -5*j, 7*j = 3*j. Does 19 divide (7/1 - 2) + q?
False
Let u(f) be the first derivative of 2*f**3/3 - 7*f**2/2 - 311*f + 203. Is u(21) a multiple of 6?
False
Let u(s) = -4*s**2 + 6*s - 1. Let r(g) = g**2 - g + 1. Let w(m) = -3*r(m) - u(m). Let f be w(-1). Suppose 80 = f*q - 40. Does 15 divide q?
True
Is 171 a factor of 124670/6 - (72/468 + (-32)/39)?
False
Let w be -29 + 25 - (-1747 - -1). Suppose -4*b + 2*i + 2326 = 0, -3*b - 10*i + w = -14*i. Does 33 divide b?
False
Suppose -2*j + 5*c + 2331 + 17549 = 0, 0 = -5*j + 4*c + 49717. Is 9 a factor of j?
True
Let o(p) = -25 - 24 + 25 - 9*p. Is o(-18) a multiple of 69?
True
Suppose -1 = 3*n + 17. Does 22 divide (-1192)/n - ((-24)/(-9) - 2)?
True
Let i = 24621 + -16683. Does 7 divide i/54*(0 - -1)?
True
Suppose 14*f - 239 = 13. Suppose 24*l = f*l + 630. Does 7 divide l?
True
Suppose 141175 + 179064 = 71*d - 198913. Does 118 divide d?
False
Let t = -362 - -394. Suppose t*o = 3*o + 9454. Is o a multiple of 4?
False
Let j be (-1344)/(-714) - (-4)/34. Does 6 divide 131/j + (-42)/(-84)?
True
Suppose 6 = 5*k - 4. Suppose 4*u + 25 = 2*r + 5, -2*r = k*u + 4. Suppose 0 = -r*l + n + 13, 0 = 5*l - n - n - 31. Is 5 a factor of l?
True
Suppose 12*g + 119 + 73 = 0. Let r = g - -16. Suppose 3*v - 82 - 98 = r. Does 3 divide v?
True
Suppose 5 = -u + 9*b - 10*b, 41 = -5*u - b. Is 15 a factor of 44/(-198) + (-3377)/u?
True
Suppose 0 = -16*h + 35375 + 29457. Is 88 a factor of h?
False
Suppose -3*h - 31 = -4*l, -6*l = -11*l + 3*h + 41. Let q(n) be the first derivative of -n**4/4 + 10*n**3/3 + 3*n**2/2 + 1