False
Does 8 divide 231/6*(-5976)/(-252)?
False
Let o = -10906 - -12825. Is 6 a factor of o?
False
Let w(r) = 3*r - 200. Let t be w(45). Is (39/t)/((-2)/1770) a multiple of 28?
False
Let w be 6432/(-60)*(-5)/2. Let y = -92 + w. Does 11 divide y/10*(-35)/(-14)?
True
Suppose 8*k - 6*k - 3*w = 11312, -5*k - 4*w = -28326. Is k a multiple of 17?
False
Suppose -94*h - 872 = -90*h. Let b = h + 242. Does 5 divide b?
False
Suppose 4*j + 58 = g - j, j = g - 70. Suppose 5*f - 2*i - 620 = 219, f = -2*i + 163. Suppose -4*s - f = -3*l, -s - 4*s + g = 2*l. Is l a multiple of 25?
False
Let k(r) = 30*r**2 + 34*r - 136. Let t be (-2)/(2/14*(-77)/22). Is 48 a factor of k(t)?
True
Let l = 180 + 275. Let n = l + 66. Does 36 divide n?
False
Let g = 44064 - 21664. Is 28 a factor of g?
True
Suppose 0 = -2*a - 2*r + 34364, -66*a = -61*a + 2*r - 85886. Is a a multiple of 62?
True
Let r(j) = j**3 - j**2 + 527. Let w be r(0). Let h = w - -19. Is 21 a factor of h?
True
Suppose 0 = -2*u - 3*m + 1052, 3*u - 481 = -m + 1104. Let o = -359 + u. Does 4 divide o?
False
Suppose 4 = 4*h - 3*h. Let q be 0*(1/(-2))/(3 - h). Suppose q = -5*g + g + 196. Is g a multiple of 7?
True
Let j = -11682 - -32318. Does 154 divide j?
True
Is (-740)/222*3/8*-1260 a multiple of 25?
True
Let j(c) = c**2 + 4*c + 7. Let g = -27 - -23. Let i be j(g). Is 15 a factor of ((-1)/(i/(-60)))/((-3)/(-21))?
True
Suppose -5*y + 3 + 2 = 0. Let v be 9 + 352 + -1*y. Suppose 0*c = 3*c - v. Is 30 a factor of c?
True
Let h be 1/2*-3*(358 + -6). Let x = h - -761. Let b = -132 + x. Does 21 divide b?
False
Suppose -4547 - 77953 = -15*u. Is 20 a factor of u?
True
Let t(v) = -7307*v**3 + 2*v**2 + 76*v + 75. Is 84 a factor of t(-1)?
True
Let v(x) = -x**3 + 103*x**2 - 113*x - 241. Is 34 a factor of v(100)?
False
Let o(n) = n**3 - 12*n**2 + 24*n - 10. Let s(q) = -q**3 + 13*q**2 - 23*q + 11. Let k(b) = 3*o(b) + 4*s(b). Does 18 divide k(10)?
True
Let l = 11633 + 808. Does 13 divide l?
True
Let r(o) be the second derivative of -o**3/3 - 5*o**2/2 + 7*o. Let b be r(-4). Suppose 0 = -4*q - y + 149 - 21, -79 = -b*q - 5*y. Is 11 a factor of q?
True
Is 5*(-88516)/(-10) + ((-36)/9)/1 a multiple of 19?
False
Let r(l) = 5 - 2*l + 2*l**2 + 3*l - 3 - 3*l. Let j be r(0). Is 4 a factor of 10*j/((-20)/(-5))?
False
Let x(a) = -a**3 + 10*a**2 + 11*a + 3. Suppose -27*q = -28*q + 11. Let r be x(q). Suppose r*d - 86 = -14. Is 4 a factor of d?
True
Suppose 0 = -7*x + 3*x + 12. Suppose 3*z - 3*o - 547 = 2*o, -x*z + 542 = -4*o. Is z + 99/(-22) + 2/4 a multiple of 27?
False
Suppose 248*i - 244*i - 4 = 0. Let r = 681 + i. Does 62 divide r?
True
Suppose -69784 = -5*j - 39*j. Is 66 a factor of j?
False
Let n(w) = -w**2 - 87*w + 2814. Let d be n(25). Let u = -150 + 216. Suppose s - u = d. Does 16 divide s?
True
Suppose 202 = 5*j - 2*g, 0*j - 205 = -5*j + 5*g. Let a = 14 + j. Is a even?
True
Suppose 0 = 4*j - 2*v + 20, 2*j - 7 = 3*j - v. Let y be (152/380)/((-4)/(-10)). Is 33 + (y - (j - -2)) a multiple of 7?
True
Let c(k) = 22*k**2 + 21*k + 51. Let o(m) = -12*m**2 - 11*m - 25. Let q(f) = 3*c(f) + 5*o(f). Does 28 divide q(8)?
True
Suppose 4*w + 3*u = -21, 0*w - 3*w - 21 = -3*u. Let h be (-15)/(w/(-2)) + 3 - -2. Suppose 4*z - 4*f = 240, h*z - 4*f = 2*z - 138. Is z a multiple of 14?
False
Suppose -5*n - 4*a + 784 = 0, 0 = 9*n - 4*n - 2*a - 778. Is n a multiple of 23?
False
Let v = -15140 + 16967. Is v a multiple of 21?
True
Let k be (10/(-4))/((-615)/(-618) + -1). Suppose h - k = -4*l + l, 494 = h - 4*l. Is h a multiple of 71?
False
Let f(n) = -2. Let v(u) = -8*u**2 - 11*u - 5. Let h(g) = -2*f(g) - v(g). Does 9 divide h(-7)?
True
Let l(y) = 4*y**2 + 137*y - 15. Is l(35) a multiple of 18?
False
Suppose 5*x + 17 = -v + 4, 3*v = 2*x + 12. Suppose 0 = -3*n + v*n + 4. Let h = n + 38. Does 14 divide h?
True
Let v be (-8466)/(-4) - (75/10)/5. Suppose 106*g - 97*g - v = 0. Does 2 divide g?
False
Let b(z) = -19*z + 402*z**3 - 401*z**3 + 55 + 6*z + 14*z**2. Does 18 divide b(-14)?
False
Suppose 4*p = -5*z + 2907 + 1733, 0 = 3*p - 5*z - 3515. Let x = p + -717. Does 3 divide x/35 + 1/5?
False
Let c be (36/(-30))/(9/60). Does 28 divide 2200/10 - c/2?
True
Let g be 2/(-16) + 925/40. Suppose -19*h + g*h - 208 = 0. Suppose 0 = -3*o + h + 92. Is 16 a factor of o?
True
Let s be 7/2*1 + (-23)/(-46). Let p be 1395/(-18)*s/(-10). Does 2 divide p + -9 + (-2)/2?
False
Let i = 115 + 94. Suppose 4*t = -2*b - 260, 5*b = -5*t + 2*t - i. Is t/(-4)*(-1 + 22/6) a multiple of 14?
True
Let u = 4858 + 11900. Is u a multiple of 14?
True
Is ((-546)/105)/((-10)/35525) - (1 + -8) a multiple of 44?
True
Suppose 18518 - 3259 = 111*q - 15044. Does 2 divide q?
False
Let o = -646 - -8506. Is o a multiple of 10?
True
Let p(z) = -z**3 + 10*z**2 + 22*z. Let b be p(-2). Suppose 5*g + 2*h - 5*h = -9, 4*g = -2*h + 6. Suppose -o = -b - g. Is o a multiple of 2?
True
Suppose 100*l - 3*v = 99*l + 2360, l - 2363 = 2*v. Is 23 a factor of l?
True
Suppose i - 8411 = z, -3*i - 381*z + 385*z = -25232. Is i a multiple of 6?
True
Suppose -4*k + 2*x + 238 = 0, -68 + 7 = -k - x. Let s = -8 - -13. Suppose k = -s*t + 395. Does 16 divide t?
False
Let a = -25360 - -60011. Does 137 divide a?
False
Suppose 49*v = 46*v + 48. Let b(f) = 84*f - 136. Is 45 a factor of b(v)?
False
Suppose 354*d - 101760 = 338*d. Does 17 divide d?
False
Let h(o) = 4*o**2 - 3*o**2 - 5 + o**3 - 2*o - 5*o**2 - 12. Let t be h(5). Does 27 divide -5 + 6 + 106/(-4)*t?
True
Suppose 3*x - 948 = -l - 2*l, 2*l + 1552 = 5*x. Let n = x + -571. Let g = n - -420. Does 23 divide g?
True
Let y be (2 + -8 - -180) + (2 - 0). Suppose 3*l = -v + 84, 3*v - v = -4*l + y. Suppose -3*m - v = -4*m. Does 16 divide m?
True
Let h = -25 - -42. Suppose 8*k = 39 + h. Suppose -4*p + 44 = 3*i, -3*p - k*i + 50 = -9*i. Is p a multiple of 7?
True
Is 35 a factor of ((-2835)/(-12))/((-76)/(-304))?
True
Suppose 536 + 6760 = 2*f - n, 14592 = 4*f - 3*n. Suppose 16*b - f = -16*b. Is 57 a factor of b?
True
Let w(g) = 69*g - 33. Let f be w(-11). Let k = 1354 + f. Does 20 divide k?
False
Let z(s) = -s**3 + 3*s**2 + 18*s + 2736. Does 8 divide z(0)?
True
Suppose 52*n + 5*d - 20270 = 47*n, 4*n = -d + 16204. Is 9 a factor of n?
True
Suppose -11176 = -5*s + 4*t, -4*s - 2956 = 5*t - 11946. Does 5 divide s?
True
Suppose 3175 = 4*w - 3257. Suppose 328 - w = -5*c. Is 19 a factor of c?
False
Is 36 a factor of (-1)/(-2) + 1 + 834249/78?
False
Let b(d) = 0 + 16*d + 8 - d**3 + 18*d**2 + 4*d + 7*d. Let w be b(20). Let l = w - -371. Is l a multiple of 17?
True
Suppose 5 - 44 = -t. Suppose -24 = -17*f + 9*f. Is (-7 + f + t)*(-6)/(-15) a multiple of 11?
False
Let r(d) be the second derivative of -9*d**3/2 + 323*d**2/2 - 5*d. Does 4 divide r(-8)?
False
Suppose 4*n + 12 = -0. Suppose 0 = 2*v - h - 154 - 235, -2*h = 2*v - 398. Does 8 divide 8*(n - v/(-16))?
False
Let z(u) be the first derivative of -7*u**4/4 + 2*u**3/3 + 33*u**2/2 + 5*u - 53. Is z(-4) a multiple of 26?
False
Suppose 4*b - 35836 = -0*p - 2*p, b + 2*p - 8965 = 0. Is 16 a factor of b?
False
Suppose 0 = -6*t - 30*t + 72. Suppose -264 = -5*v + v. Suppose 4*q - 306 = -5*l + 23, 0 = -q + t*l + v. Is 15 a factor of q?
False
Let d(n) = 9*n**2 - n + 1. Let y be d(1). Let v(p) = 2*p + 502 - 503 + 0*p**3 + 9*p**2 - p**3. Does 3 divide v(y)?
False
Suppose 0 = -4*k + u - 2*u - 113, -4*k - 109 = -3*u. Is 5 a factor of (-668)/(-7) + 12/k?
True
Let c = -167 - -170. Suppose -c*h - 748 - 47 = -3*y, 0 = y - 2*h - 269. Is y a multiple of 6?
False
Let v be 0 - -550*(-3 - -4). Suppose 2*x - 4*x = -v. Suppose n - 2*y = -3*y + 120, 2*n - 5*y = x. Is 7 a factor of n?
False
Suppose -3*w = y - 4*w - 3360, -2*y + w = -6715. Is y a multiple of 11?
True
Let k(z) = -z**2 + 6*z + 10. Let j be k(7). Let x = -8 + 10. Suppose j = x*t - 57. Does 10 divide t?
True
Suppose 0 = -2*m + 36*k - 32*k + 18864, -4*m - k + 37719 = 0. Is 23 a factor of m?
True
Suppose 40*u - 42*u + 20 = 0. Suppose 0 = 3*d - u*d + 14. Is 20 a factor of 1436/12 + d/6?
True
Is 8 a factor of (-2)/(-2) - (-13423 - -30)?
False
Let x(j) = 10*j**3 - 5 + 6*j**2 + 0*j**2 - 5*j**3 - j - 4*j**3. Let r be x(-6). Is 4 a factor of (r/(0 - 2))/(7/(-672))?
True
Let v(x) = -5*x**3 + 5*x**2 - 8*x - 106. Is 17 a factor of v(-10)?
True
Let n(m) = 2*m + 52. Let d be n(-22). Suppose -d*y = -11*y + 5*x + 220, x + 224 = 3*y. Is 