w + 6 = 0. Suppose w*y = 67 + 59. Is 6 a factor of y?
True
Let s = 346 + -9. Suppose 3*y + 4*j + 925 = -2*y, 2*y + s = 5*j. Let u = 277 + y. Does 12 divide u?
True
Let u(g) = g**2 - 43*g + 283. Let w be u(35). Suppose -a + 1060 = -5*l - 264, 2*a = w*l + 2676. Is 12 a factor of a?
True
Let h = 298 - 296. Is 22 a factor of 609/7*(-1 + h)?
False
Let h = -11283 + 16973. Is 75 a factor of h?
False
Does 4 divide (4/(-6))/(252/108) + (-3334)/(-7)?
True
Let g be (1 + (-1)/3)*27/(-6). Let m(s) = s**3 + 3*s**2 + 1. Let x be m(g). Does 16 divide x/(-6)*-3 - 295/(-2)?
False
Let j = 9234 + -4032. Is 9 a factor of j?
True
Let i = 14 + -2. Let c be (-3)/(i/(-532)) - (-3 - -1). Suppose 0 = -5*t + 8*t - c. Does 15 divide t?
True
Let a(w) = -w**3 - 10*w**2 - 2*w - 20. Let g be a(-8). Let n = -130 - g. Suppose -7*i + 5*i + 3*t + 83 = 0, 0 = n*i - t - 89. Is 2 a factor of i?
True
Let a be (10/7)/(66/10626). Does 11 divide ((-231)/(-5))/(23/a)?
True
Suppose 48 = 3*k - 3*f, 2*f + 0 + 8 = 0. Suppose -k = -4*a + 4*c, -2 + 8 = 4*a + 2*c. Suppose 4*j - 4*h + 2*h = 538, 0 = -5*j + a*h + 670. Does 12 divide j?
True
Let u = -2344 + 17018. Is 22 a factor of u?
True
Let l(d) = -19*d**2 + 2762. Is l(0) a multiple of 16?
False
Let s = -185 + 188. Suppose 2*p = -8, s*z - 150 - 43 = 4*p. Is 16 a factor of z?
False
Suppose 28539 = 7*o + 11746. Is 63 a factor of o?
False
Suppose -2*t + 7 = -2*j + 5*j, 2*j = 2. Does 39 divide 20493/66 - (t + (-10)/4)?
False
Let o be -6 - -14 - (-2 - -6). Does 17 divide (-623)/(-7) + o + -3?
False
Suppose h + 2*h - 4451 = -p, -4*h + 2*p = -5938. Suppose 8*v - h + 388 = 0. Does 22 divide v?
False
Let c(q) = 7*q**2 - 4 - q + 4 + 2 + 0*q. Let i be c(2). Suppose -5*d - z = -4*d - i, z - 112 = -4*d. Is d a multiple of 14?
True
Does 29 divide 2*1537/(-4)*(39 - 40)*10?
True
Let q be (-7 + (-11)/(-2))*-1*6. Suppose -q*r = 6*r - 1260. Is r a multiple of 14?
True
Let r = 112 - 74. Suppose -2226 = 31*k - r*k. Is k a multiple of 6?
True
Suppose -2*l + 415*j - 416*j + 42011 = 0, 3*l = 3*j + 63030. Is l a multiple of 9?
False
Suppose -4*k + 42*y - 40*y - 14 = 0, -4*k - y - 5 = 0. Is 38/16 + k - 145908/(-288) a multiple of 7?
False
Let y(h) = h + 31. Let t be 3/15 + (252/15 - 3). Suppose 0 = 18*n - t*n + 88. Is y(n) even?
False
Let c(v) = -v**3 - 14*v**2 + 14*v - 13. Let k be c(-15). Let i be ((-8)/10)/(k/(-10)). Suppose 340 = 4*d + 4*m, 5*d - i*m - 17 = 435. Does 8 divide d?
True
Suppose 0 = -10*q + 9*q + 5*g + 45, 2*g + 4 = 0. Suppose -3*b - 114 = -2*d + b, 0 = 3*d - b - 171. Let w = d - q. Does 2 divide w?
True
Suppose 178794 = 1015*a - 982*a. Is a a multiple of 43?
True
Does 22 divide (-2272)/3976 + (-179982)/(-21) + 1?
False
Let n = 249 + 3085. Is 135 a factor of n?
False
Suppose -5 = -5*d, -g + 111 - 31 = 3*d. Suppose -2*t + g = -43. Is 20 a factor of t?
True
Let q be 10 - 5 - 4 - (3 + -24). Let m(h) = -5*h + 220. Is 5 a factor of m(q)?
True
Let l(n) = 25*n**2 - 4*n + 1. Let m(g) = g**3 - 20*g**2 + g - 18. Let z be m(20). Let i be l(z). Let h = i - -22. Does 23 divide h?
True
Let h = -2467 - -5005. Is h a multiple of 54?
True
Suppose -12*v = 7*l - 14*v - 62440, -17840 = -2*l + 5*v. Is 40 a factor of l?
True
Let c = -274 + 588. Suppose -l + c + 146 = 0. Is 20 a factor of l?
True
Suppose 10*w + 36766 = 41*w. Suppose -2*t = -6*t + f + w, -3*t - 5*f = -901. Is 24 a factor of t?
False
Suppose 2*b - 3*d - 3 = 0, 0 = -4*b + 5*d + 3 + 4. Suppose -x - 4*x = 5*i + 20, -2*i = b*x + 4. Is 4 a factor of (8/10)/(i/(-80))?
True
Let v = -558 - -561. Let q(p) = -3*p**3 + 7*p**2 - 2*p + 7. Let u(t) = t**3 - t**2 - 1. Let s(c) = q(c) + 2*u(c). Does 3 divide s(v)?
False
Suppose -17*p + 26*p = 7461. Let l = p - 389. Is 20 a factor of l?
True
Let h(l) = -244*l + 30. Suppose 24*r - 21 + 45 = 0. Is h(r) a multiple of 28?
False
Let w(k) = 2*k**2 - 7*k - 4. Let p be w(7). Suppose -p = -5*z - 5. Is 22 a factor of 2460/16 - (-2)/z?
True
Let h = -34437 + 100713. Is h a multiple of 84?
True
Suppose -4*w + 19 - 3 = 0. Does 7 divide (59 - 0) + w + -5?
False
Suppose -2*y + 4*l = -64, 29 = 3*y - 4*l - 75. Let o = y + -16. Does 2 divide o?
True
Let h(l) = 49*l + 14. Let k(g) be the first derivative of 8*g**2 + 5*g - 28. Let j(m) = 3*h(m) - 8*k(m). Does 9 divide j(2)?
False
Is (-9600)/18*(5 + (-140)/16) a multiple of 4?
True
Suppose -2*x - 280 - 426 = 0. Let l = x + 638. Is 19 a factor of l?
True
Suppose -3*k + 2*u + 2 = -9, -3*u + 21 = 3*k. Let l be (k + (-8 - -4))/(-1)*371. Let d = l - -520. Does 50 divide d?
False
Let s be ((-26)/(-65))/((-2)/(-10)). Let v be 3/4*8/3. Suppose 245 = s*n - i, 0 = 5*i + v - 17. Is n a multiple of 13?
False
Is (-3 + 0)*(-1295217)/567 a multiple of 89?
True
Suppose 0 = 16*n - 21960 + 4632. Is n a multiple of 19?
True
Suppose 52*z = -122*z + 596223 + 1252701. Is 33 a factor of z?
True
Let a(x) = 3*x**2 - 7*x - 18. Let t be a(4). Suppose -t = -i + 22. Does 4 divide i?
True
Suppose -5*z + 60780 = 5*n, 0 = 5*z - 6*n - 33998 - 26716. Is z a multiple of 12?
False
Let l = 110 - 71. Is 9 a factor of l?
False
Let s(z) = 9*z**2 + 26*z - 42. Does 98 divide s(-20)?
True
Let m = -6 - 0. Let l be 20/m*66/(-5). Suppose 3*d = -4*k + 7*d + 32, -3*k - 2*d = -l. Does 3 divide k?
True
Let m(i) = 6*i**3 + 6*i**2 - 29*i + 16. Does 4 divide m(4)?
True
Let o be (-250)/(-4) + (-54)/12 + 5. Suppose -o*v - 333 = -66*v. Is 7 a factor of v?
False
Let x = 3622 - -27098. Is 80 a factor of x?
True
Let i be 2 + (-1099)/(-7) + -3. Suppose 444 + i = 3*v. Is 4 a factor of v?
True
Let n(p) = -2*p + 24. Let v be n(13). Let t be v/30*-3 - 216/(-20). Let u = t + 152. Is 14 a factor of u?
False
Suppose -167913 - 521127 = -174*q. Does 36 divide q?
True
Let j(h) = 2059*h**2 - 29*h + 36. Does 71 divide j(3)?
False
Let d = 105 + -103. Let b = -57 - -235. Suppose -i + b = d. Does 44 divide i?
True
Let x(d) be the second derivative of -d**5/4 + d**4/3 + 2*d**3/3 - 3*d**2/2 - 34*d. Let w be x(-3). Let r = 266 - w. Is 10 a factor of r?
True
Let v(x) = 17*x**3 + 2*x**2 + 11*x - 22. Let s be v(7). Suppose -3*m - 14*m + s = 0. Does 9 divide m?
False
Suppose -135*r + 137910 = -37455. Is r a multiple of 56?
False
Let w be (-4)/6 - (-827)/3. Suppose 5*r = 2*o - w, -o + 78 = -3*r - 62. Is o a multiple of 16?
False
Suppose 199*d - 372671 - 267555 - 6184877 = 0. Is 22 a factor of d?
False
Let h be 0 + 1/5 - 264/(-55). Suppose h*k = -10 + 40. Suppose k*d - 9*d + 66 = 0. Does 6 divide d?
False
Suppose 6*w = 5*w + 3. Suppose 5*y - w*v - 704 = 0, 0 = 4*y - 2*v - 218 - 346. Is y a multiple of 16?
False
Is (146 + -1)*((-10 - -4) + 81) a multiple of 29?
True
Suppose 18*x - 6 = 15*x. Suppose x*m + 6*m = 2592. Is m a multiple of 27?
True
Let s be 2/(-6) + 1/3. Suppose s = 12*l - 1752 - 2148. Is l a multiple of 13?
True
Is 43 a factor of (528/(-18) - -15)/(3/(-144)*1)?
True
Suppose -b - 313*b = -942628. Does 19 divide b?
True
Suppose p - 8 - 28 = 0. Suppose 4*y = 180 - p. Let b = y - 6. Does 10 divide b?
True
Let p(t) = -t**3 - 22*t**2 - 21*t + 3. Let g be p(-21). Suppose 2*w - 1805 = g*x, 0 = -28*x + 23*x + 15. Is 13 a factor of w?
False
Suppose 0*u - 623 = -7*u. Suppose -5*f + 167 = -7*q + 9*q, -3*f + u = 4*q. Is 15 a factor of 7/(f/60)*14?
False
Let k(d) = 450*d - 54. Let r be k(3). Suppose -39864 - r = -20*u. Does 17 divide u?
False
Let m = 718 - 491. Let t = m + -121. Is 53 a factor of t?
True
Let z = -5640 - -17948. Does 29 divide z?
False
Suppose 181*w = 176*w - 1205. Is (-4)/6*3 - (w + -8) a multiple of 16?
False
Suppose 285*j = 283*j + 1548. Let d = -510 + j. Does 33 divide d?
True
Let o(l) = 2*l - 3. Let x be o(-24). Let u = -57 - x. Is 20 a factor of (40*-1)/(-2 - 9/u)?
True
Is 10 a factor of 14/2 + ((-116586)/(-34) - 11)?
False
Is (-17052)/(-6) + -5 + -8 a multiple of 7?
False
Suppose 4*h - 20 = -q, -2*q = -0*q - 4*h + 20. Suppose -425 = -3*t - x, t - 3*x - 135 = -q*x. Suppose o - 25 = 5*g + t, 130 = o + 4*g. Does 21 divide o?
False
Let g(k) be the first derivative of -k**5/20 - 11*k**4/12 + 5*k**3/3 - 13*k**2/2 + 16*k - 39. Let a(z) be the first derivative of g(z). Does 11 divide a(-12)?
True
Let o(y) be the first derivative of -y**4/4 + 16*y**3/3 + y**2 - 2*y - 1. Let p be 52/(-169) - 1060/(-65). Does 15 divide o(p)?
True
Suppose -5*o = -2*x - 19, 4*x - 8*x = -2*o + 14. Suppose -14 + 2 = -4*q, o*q + 739 = 4*c