 2918*k. Does 153 divide k?
False
Suppose -14*d = 11*d + 32*d - 371070. Is 93 a factor of d?
True
Suppose -10*m = -11*m + 4*p - 20, 2*p = m + 10. Suppose m = 8*y + 1087 - 3695. Does 34 divide y?
False
Let u(s) = -2*s + 31. Let w be u(14). Suppose -2*z - 22 = 3*r, r - w*z + 1 = 12. Let g(v) = -2*v**3 - 6*v**2 - 4*v - 12. Does 3 divide g(r)?
True
Let r(n) = n**3 - 8*n**2 - n + 4. Let w(y) = y**3 - 6*y**2 - 7*y + 8. Let b be w(7). Let k be r(b). Let h = 34 + k. Is 5 a factor of h?
True
Let c(a) = -20*a**3 + 15*a**2 + 18*a - 132. Is 8 a factor of c(-6)?
False
Suppose -4*n - 111 = -5*c, n = 5*c + 2*n - 116. Let i(t) = -c - 8*t + 5*t + 18*t + 20. Is i(1) a multiple of 2?
True
Let q(x) = -x**3 + 106*x**2 - 46*x + 152. Is 12 a factor of q(105)?
False
Let p be (2/(-2))/(-2 + (-27)/(-14)). Suppose -15*n + 16 = -p. Is (n/3)/((-30)/(-6345)) a multiple of 44?
False
Let b(n) = -11*n - 28. Let j(t) = -t**2 + 4*t + 5. Suppose 3*h + h = -y - 3, -2*y = -5*h + 6. Let l be j(y). Is 37 a factor of b(l)?
True
Is (-74356)/(-22) - (12/(-231))/((-16)/(-56)) a multiple of 52?
True
Suppose -s + 1457 = 5*u, -3*u = s - 971 - 496. Let v = s + -900. Suppose -6*y - 102 = -v. Is y a multiple of 14?
False
Suppose 71106 = 22*r + 7*r - 8*r. Does 36 divide r?
False
Let q = -159 + 174. Suppose 0 = 3*f - q, 2*f = 4*l + f - 319. Is l a multiple of 20?
False
Let j(u) be the first derivative of -26 - 1/2*u**2 + 11*u. Is j(-10) a multiple of 7?
True
Let u = 259 - 262. Does 9 divide 1*(u - (-26 - -5))?
True
Does 22 divide (-257)/2*4*209/(-22) + 1?
True
Is 8 a factor of ((4/10)/((-1)/(-2335)))/((-1)/(-4))?
True
Let f(h) be the second derivative of h**4/6 - 17*h**3/6 - 5*h**2 + 76*h. Is f(-8) a multiple of 9?
False
Suppose -249 = -10*y - 2469. Let g = y - -786. Is g a multiple of 48?
False
Let a(m) = -394*m - 194. Is 13 a factor of a(-3)?
True
Let p(m) = 3*m - 5*m - 4*m - 27. Suppose 65 = -5*b + 2*t, -10*b + 39*t = 34*t + 135. Does 28 divide p(b)?
False
Does 86 divide (344/5)/(7 - 14441/2065)?
True
Let n = -21 - -63. Let r(v) = v**2 + 49*v + 517. Let u be r(-32). Let s = n - u. Does 23 divide s?
True
Let g(y) = -61*y + 610. Is 9 a factor of g(-17)?
True
Suppose z - 302 + 10 = 4*h, 0 = z + 4*h - 236. Does 65 divide z?
False
Suppose -17448 + 3123 - 3483 = -8*w. Does 27 divide w?
False
Let o(z) = z**3 - 14*z**2 - z + 12. Let k be o(14). Let h be -1 + 6 - 5 - (-110 + k). Suppose 7*s - h = -0*s. Is s a multiple of 5?
False
Let t be (16 + -47)*(0 + -10). Suppose -5*i + 3*i = -t. Does 8 divide i?
False
Suppose -12 = -2*u + b + b, 0 = 2*u + b. Suppose -5*v = 25, -u*t + 370 = -0*t - 2*v. Does 18 divide t?
True
Is (-42)/(-6) + -10*259614/(-180) a multiple of 13?
True
Suppose 50 = h - 2*u, 2*h + 0*u + 4*u = 84. Suppose 16*r - 722 - 62 = 0. Let c = r - h. Is c a multiple of 2?
False
Is 88 a factor of -179*2*(-162)/12 - -7?
True
Suppose -11*u + 62 - 62 = 0. Let v = 2 - 0. Suppose -h = -2*r + r + 7, u = -4*r + v*h + 38. Is r a multiple of 12?
True
Suppose 9*a + 5*u - 27 = 5*a, 5*u - 3 = 4*a. Let d be a - (-9*11 - -2). Suppose -3*y - t = -320, 3*y = 2*y - 2*t + d. Is 12 a factor of y?
True
Let u be 36/48*(-2 + -3730). Let q = -1983 - u. Suppose q = 3*z + 5*z. Is 17 a factor of z?
True
Let f = 1497 + -985. Let t = f - 333. Let b = 277 - t. Is b a multiple of 14?
True
Let s(w) = -2*w**3 - 247*w**2 - 201*w - 2988. Is s(-124) a multiple of 88?
True
Suppose -29*w - 5*w = 0. Suppose -4*o + 397 + 115 = w. Is 5 a factor of o?
False
Does 162 divide 489/3*((-29106)/(-180) + 30/100)?
True
Let w be (-16)/(-7) + 30/(-105). Suppose -25 = -5*q, y - w*q = 3*q + 245. Is y a multiple of 30?
True
Let r = -13646 + 15237. Is 17 a factor of r?
False
Suppose -916 = -21*g + 85940. Is g a multiple of 8?
True
Let z(h) = -20*h - 108. Let k be z(-7). Does 5 divide 128 - (k/24 - 10/(-6))?
True
Let u(d) = -d**2 - d + 2. Let g(h) = 88*h**2 - 2*h - 10. Let a(l) = g(l) + 2*u(l). Is a(2) a multiple of 6?
True
Suppose -4*n + 305 = -27. Suppose -x + 5*z + 326 = n, 0 = -x - z + 225. Is x a multiple of 6?
True
Let r = 1121 - -9330. Does 15 divide r?
False
Let u = 7684 + 2671. Does 77 divide u?
False
Let n = -684 + 1889. Suppose 2*w = 7*w - n. Is w a multiple of 13?
False
Suppose 0 = 5*y - 3534 - 6623 - 353. Is y a multiple of 19?
False
Let a be (165/(-45))/(2 - 7/3). Suppose -15*c + a*c - 2492 = -5*d, -3*d = c - 1485. Does 15 divide d?
False
Suppose -2*m + 4*m = -6. Let f(s) = 3 - 24*s + 5*s + 9. Does 6 divide f(m)?
False
Let z = -56 - -57. Let n be -11*z*3*2/(-2). Suppose -5*s + n = -17. Is s a multiple of 5?
True
Let q(u) = u**2 - 91 - 19*u - 41 + 0*u. Is 27 a factor of q(-13)?
False
Suppose -2*h + 4*p - 5*p = 17, 4*h + 40 = 4*p. Is 33 a factor of (3354/(-18) - -3)*h/2?
True
Let o(l) = -2*l - 5*l**3 + 3 + 4*l**3 + 2*l**2 - l**2. Let b be o(0). Suppose -b*t + 5*j + 135 = 54, -4*t - j + 131 = 0. Does 17 divide t?
False
Let g = 35 + -37. Let z = g + 0. Let v(y) = 11*y**2 - 3*y - 5. Does 9 divide v(z)?
True
Let l = 34 + -33. Suppose -5*f = -3*a + 32, 4 = -5*a + 5*f + 44. Does 17 divide 63/l + a + 1?
True
Let j(s) = -s**3 - 2*s**2 - 87*s - 1551. Is j(-24) a multiple of 111?
True
Let p(h) = h**3 + 7*h**2 - 3. Let a be p(-7). Is (-17250)/(-78) + ((-24)/(-52))/a a multiple of 13?
True
Suppose 0 = -2*v + 2*t + 3966, -24*t + 26*t - 3954 = -2*v. Does 115 divide v?
False
Let v(t) = -t**2 + 22*t + 32. Let s be v(23). Suppose -s*c = 2 + 7. Is 18 a factor of ((-18)/8)/(1*c/104)?
True
Suppose -4*j = 2*h - 18, -2*j + h + 2 + 9 = 0. Suppose -j*o + 106 = 2*p - 3*o, 5*p = 3*o + 273. Does 9 divide p?
True
Suppose 3 = -3*b, -y + 53 = 3*y + 3*b. Suppose -y*z + 700 = -7*z. Is z a multiple of 25?
True
Let g = 249 - 62. Suppose -190*r + g*r = -2853. Is 13 a factor of r?
False
Let g = 6126 + -3662. Suppose -3*r - g = -7*r. Suppose 0 - r = -4*q. Is 11 a factor of q?
True
Let u(m) = -2*m**3 + 250*m**2 - 329*m - 7. Is 11 a factor of u(123)?
True
Let c(w) = -w**2 + 29*w + 6. Suppose 5*d - u = 100, -2*u = 5*d - 46 - 39. Does 7 divide c(d)?
True
Let u be (-2 - -7)*(0 - (-33)/(-11)). Let j(a) = 3*a**2 + 24*a + 87. Is j(u) a multiple of 36?
False
Let q be 5 - (-5)/(20/24). Suppose 0 = y + 4*b - 707, -6*y + q*y - 3505 = -5*b. Is 8 a factor of y?
False
Let b(a) = 411*a**3 + 2*a**2 - 3*a + 1. Let v be b(2). Suppose -5403 - v = -9*w. Does 21 divide w?
True
Let s = 99 - 93. Let y be s*(3 + -3 + 1/2). Is 12 a factor of (-2)/8 - (-2443)/28 - y?
True
Suppose 7*h - 14682 - 115782 = -11*h. Is h a multiple of 7?
False
Let c(y) = -44*y - 39. Let o = 29 - 31. Let q be (3/2 - o)/(5/(-10)). Is 29 a factor of c(q)?
False
Suppose 0 = -5*s - 4*a + 78519, -24973 - 6413 = -2*s + 2*a. Does 6 divide s?
False
Let t = -5116 - -6687. Is t a multiple of 37?
False
Suppose -u = -y - 5*u + 33, 0 = -4*u - 12. Is 6 a factor of y?
False
Let i = -3988 + 5712. Suppose 8*w - 404 = i. Suppose 2*y - w = r, 8*y + 2*r - 524 = 4*y. Does 12 divide y?
True
Let k(z) = -530*z + 42. Is k(-3) a multiple of 15?
False
Let o = -4 - -3. Let h(d) = -15*d**3 - 2*d**2 - d. Let l be h(o). Suppose w - 74 - l = 0. Is 22 a factor of w?
True
Suppose -166*o = -653681 - 2218783. Is o a multiple of 24?
True
Let f(h) = -2*h - 13. Suppose -4*s + 20 = s, -10 = j - 3*s. Suppose 0 = j*l + 2*c - 6*c + 16, 4*l = 4*c - 44. Is 5 a factor of f(l)?
True
Suppose 120 = 77*y - 76*y. Is (42/(-4))/(6*(-2)/y) a multiple of 15?
True
Let q(c) = c - 16*c - 7 - 8 - 4. Let v be q(-16). Let p = v - 111. Is p a multiple of 11?
True
Let u = 420 + 2622. Does 9 divide u?
True
Suppose 10*l - 224 = 2*l. Suppose -4*w = -2*x + 28, x + 6*w = w + l. Suppose 15*c + 150 = x*c. Does 10 divide c?
True
Suppose -9*n = -14*n + 185. Suppose 0 = 36*y - n*y + 302. Is y a multiple of 10?
False
Let j be (-3)/12*-138*(-6)/(-9). Suppose j*s = 18*s + 25. Suppose 5*r + s = 0, 4*f - 49 - 140 = 5*r. Is 8 a factor of f?
False
Suppose 4*i - 8*i = -12. Suppose 875 = i*f - 7*w + 2*w, -w + 579 = 2*f. Suppose 134 = 2*a - 2*k, 3*a - k = -97 + f. Is a a multiple of 6?
False
Suppose -19*q = -69 - 64. Let o(x) = 27*x - 141. Does 16 divide o(q)?
True
Let v(f) = 3250*f**3 - f**2 + 15*f - 14. Is v(1) a multiple of 13?
True
Let r(d) = -d**3 + d**2 + 4*d + 7. Let i be r(3). Let k(o) = 381*o + 4. Is 7 a factor of k(i)?
True
Suppose 1918382 = 8*r + 68*r + 660962. Is 13 a factor of r?
False
Let 