 -32*k = -9959 - 68665. Is k a multiple of 7?
True
Let y be (11*(-16)/24)/(2/(-9)). Suppose y - 137 = -2*j. Is 7 a factor of j?
False
Suppose 0 = 2*z - 7*z - 875. Let q = 511 + z. Is 14 a factor of q?
True
Let w(d) = d**2 - 5*d - 11. Let x be (40/6 + -5 + 2)*3. Let u be w(x). Suppose 0 = 5*j - 6*j + u. Is 6 a factor of j?
False
Let l(h) = -9*h - 63. Let r be l(-18). Suppose -6*b - r = 27. Is b*10/(-3) - 0 a multiple of 21?
False
Let n = 18559 - 16166. Does 14 divide n?
False
Suppose 17*i - 22*i = 10*i - 3300. Is i a multiple of 99?
False
Let f = -76 - -142. Let g = f + 59. Let h = g - 85. Is 8 a factor of h?
True
Let j = -2948 + 4107. Is 34 a factor of j?
False
Suppose 5*s - 5 = 3*i + 2, -11 = -5*s + 4*i. Let y(v) = -65*v**3 - v**2. Does 16 divide y(s)?
True
Let f(s) = -618*s + 394. Is f(-30) a multiple of 253?
False
Let x(c) = -3*c**3 + 2*c**2 + 4*c - 4. Suppose -2*m - o = 0, -2*m - 2*o - 8 = o. Let i be x(m). Is 6/9 - i/9*118 a multiple of 53?
False
Let j(y) = -11*y + 4*y**2 - 7 - 5*y**2 - 9*y. Let m be j(-19). Suppose m*w - 13*w = -67. Does 10 divide w?
False
Suppose 5*o - 41420 = -21*o + 36476. Does 14 divide o?
True
Let z(y) be the second derivative of -y**5/20 - y**4/12 - y**3/6 - 20*y**2 - 3*y. Let v be z(0). Let c = v - -57. Is c a multiple of 5?
False
Does 30 divide 6604*1 - (42 - 51)?
False
Let n be (-1077)/(-5) + (-10)/(750/(-45)). Does 14 divide (n/60)/(8/140)?
False
Let y = 93 + -95. Let c be (3/9*-9)/(2/y). Let d = c - -19. Is d a multiple of 11?
True
Suppose -5*p - 88 = -16*p. Suppose -4*a = -p, -2*a + a - 1294 = -4*k. Does 18 divide k?
True
Suppose -2477 = -7*a + 925. Suppose 1248 = 2*f + 2*o + a, -2*f - 5*o + 750 = 0. Does 8 divide f?
False
Let y(k) = 140*k - 1470. Does 161 divide y(68)?
True
Suppose 7*w = 4036 + 4559 + 66921. Is 174 a factor of w?
True
Let s(r) = 22*r + 4. Let c be s(3). Suppose 9*b = 2273 - 491. Suppose 5*w + b = 5*v + 528, -w + 5*v + c = 0. Is 13 a factor of w?
True
Let l(x) = x**3 - 14*x**2 - 8*x + 5. Let s = -43 + 58. Let a be l(s). Let z = a - 93. Is 3 a factor of z?
False
Suppose 3 = 11*f - 10*f. Suppose -5*l - f*j - 453 + 124 = 0, -3*l + j = 189. Let b = l + 79. Is b a multiple of 5?
True
Suppose -4*n + 5*n = -w - 11, 3*w - 4*n = -33. Let l(h) = -31*h - 92. Does 13 divide l(w)?
False
Let s(r) = -1319*r + 384. Does 20 divide s(-4)?
True
Is 1/(-1)*((-811 - -17) + (6 - 0)) a multiple of 13?
False
Suppose 0*u - u = 1, -h - 5*u + 4 = 0. Let d(t) = -5*t - h + 4*t - 1 + t**2 - 4*t. Does 29 divide d(14)?
True
Let l(v) = 3*v**3 - 101*v**2 + 103*v + 53. Is l(34) a multiple of 7?
True
Suppose 56*y = 2*n + 60*y - 18068, 9034 = n + 5*y. Is 24 a factor of n?
False
Let o = -5 - -12. Suppose -5*y + 31 = t, -207 = -o*t + 2*t + y. Suppose -t = -s + 22. Is s a multiple of 22?
False
Let u(x) = x**3 + 38*x**2 + 31*x - 640. Is 2 a factor of u(-35)?
True
Let c be 1 + 1 + (-3 - -17). Let v(o) = o**3 + 13*o**2 + 10*o - 10. Let a be v(-12). Let x = c - a. Is x a multiple of 2?
True
Suppose -2*w + 950 = -u - 0*u, 3*w - 2*u = 1426. Let p = w + -426. Is 3 a factor of p?
True
Let r be 6/10 + ((-108)/20)/9. Suppose q + 2*j = 237, -3*q + j + 237 + 495 = r. Does 6 divide q?
False
Suppose -4*l + 2*f + 378 = 0, 29*f - 280 = -3*l + 34*f. Suppose -l*v - 486 = -98*v. Does 9 divide v?
True
Suppose 4*h - 3*f - 12312 = 0, 0 = -5*h - 2*f + 22009 - 6642. Let o = -1731 + h. Does 25 divide o?
False
Suppose 41*f + 13*f + 194910 = 2645646. Is 186 a factor of f?
True
Suppose -t + 457 = 2*b, -12 = 12*b - 16*b. Let g = t - 158. Is g a multiple of 8?
False
Suppose 4*y = 5*l - 1132, -448 = -2*l - 4*y - 12. Suppose 2*r - 226 = -2*h, -2*r - h + l = 3*h. Is r a multiple of 38?
True
Suppose 2*k + 43 = 4*k + c, 3*k - 62 = -c. Suppose -572 = -k*h + 6*h. Is (h - (-3 + 5))*(3 + -1) a multiple of 14?
True
Suppose 0 = -8*o + 2*o - 18. Let x be (-9)/(-1) - (6 + (-7 - o)). Suppose -x*n = -2*n - 2*q - 150, 53 = n - 5*q. Is n a multiple of 28?
True
Let k(y) = 3*y + 6. Let o be k(6). Suppose -5*l + 7*l = -o. Is -363*(0 - (-4)/l) a multiple of 11?
True
Let q(z) = -z**2 - 7*z - 1. Let w be 3/(-18) + (-314)/(-12). Suppose 2*y + 4*j = 4*y + w, -4*j = -16. Is 5 a factor of q(y)?
False
Suppose -96*k - 26*k = -376004. Is k a multiple of 46?
True
Let g be ((-312)/351)/((-33)/27 - -1). Is (-6 - -4) + (198 - -4) + g a multiple of 12?
True
Let m(z) = z + 1. Let w be m(2). Suppose 66*g = -157 - 107. Is 9 a factor of (w/g)/(1/(-16))?
False
Suppose -26251 = -11*o - 6011. Is o a multiple of 26?
False
Let b(i) = -i**2 + i + 2. Let w be b(-2). Let p = w + 38. Suppose -4*n + 58 = -p. Is n a multiple of 12?
False
Suppose -5*t + 3*t - 2*v + 246394 = 0, 3*v + 616009 = 5*t. Does 16 divide (2/5)/(40/t)?
True
Suppose 245*j + n = 246*j - 1439, 5751 = 4*j + n. Is j a multiple of 16?
False
Let o(s) = 9*s + 61. Let a = 224 - 203. Is 25 a factor of o(a)?
True
Suppose 102027*d = 102003*d + 286824. Does 42 divide d?
False
Suppose -y = -7*y + 954. Suppose 0 = f - 4*g + 33 - y, -2*f - 2*g = -252. Is f a multiple of 6?
True
Let p = 1031 + -996. Suppose 4*k = -u + 508, -p*k = u - 39*k - 548. Does 24 divide u?
True
Let q(s) = 238*s**2 - 29*s - 21. Is 2 a factor of q(-1)?
True
Suppose -4 = -2*r + q, -4*q + 12 = 4*r - 5*q. Is 78 a factor of (8 - 846*-1) + r?
True
Let i = -145 + 260. Let t = i + -48. Is t a multiple of 3?
False
Let j = 297 + -278. Suppose -j*l + 34*l = 1215. Is 17 a factor of l?
False
Is (-8 - 1292)*110/(-25) a multiple of 55?
True
Suppose 24 = 4*b - 12. Suppose 3 + b = 3*m. Suppose 0 = -2*v - 4, -134 = -8*d + m*d - 3*v. Is 7 a factor of d?
True
Suppose -5*p - 6*o + 3880 = 0, -19*o - 3095 = -4*p - 22*o. Is 154 a factor of p?
True
Let a(w) = -22*w + 11. Let x(l) be the second derivative of l**3/2 + 15*l**2/2 - 23*l. Let p be x(-8). Is a(p) a multiple of 19?
True
Suppose -3 = -3*v + 6. Suppose m - v*m - 22 = b, 2*m = -4*b - 82. Let c = -14 - b. Is c a multiple of 2?
True
Suppose -6*v = -16*v + 2560. Suppose p - v = 2*z, 0 - 20 = -4*z. Does 19 divide p?
True
Suppose -5*b + 152872 + 153693 = 0. Does 13 divide b?
False
Let a = -116958 + 190579. Does 21 divide a?
False
Suppose 0 = -16*j + 114 - 50. Suppose j*s + 14*q - 1770 = 17*q, 3*s + q = 1334. Is s a multiple of 9?
False
Let x be ((-4334)/4)/((-38)/76). Let u = x + -1529. Is u a multiple of 29?
True
Let m(z) = z**2 + 6*z - 36. Let g be m(-11). Let s(t) = -g*t**2 + 6*t**2 + 4*t**3 + 35 + 0*t**2 + 27*t - 5*t**3. Does 40 divide s(-15)?
True
Suppose 0 = b - 8*b - 63. Let w = 12 + b. Suppose -296 = -3*n + 2*g, 0 = w*n - g + 2*g - 284. Does 16 divide n?
True
Let t = -276 - -278. Suppose 0*z = 2*z - 5*k - 751, -t*z + 2*k + 754 = 0. Does 54 divide z?
True
Suppose 3*c - 4*u - 2 = -5, -5*c + 12 = -u. Suppose -q - 4*b = -215, 0 = 2*q + 2*b + c*b - 439. Is q a multiple of 15?
False
Does 155 divide (((-22)/4)/(-11))/(13/121992)?
False
Let o(k) = -4*k**2 + 148*k + 5. Let j(x) = x**3 - 33*x**2 + 34*x - 29. Let m be j(32). Is 12 a factor of o(m)?
False
Let g = 56601 - 39801. Does 105 divide g?
True
Let w(q) = q - 5. Let r(y) = -y + 6. Let h(i) = -3*r(i) - 2*w(i). Let s be h(12). Is 74*(1 + 3)/s a multiple of 7?
False
Is 70 a factor of (0 - -50)/((-48)/(-12))*31528/10?
True
Let v(w) = w**2 + 30*w + 67. Let s be v(-21). Let j = s - -225. Let z = j - 94. Is z a multiple of 9?
True
Let v(h) = -3*h - 34. Let c be v(-12). Suppose -2*q - 4*m = 2 + 2, 0 = -4*q + c*m + 12. Suppose 55 = -i + q*i. Is 11 a factor of i?
True
Let k(b) = 380*b**3 + 40*b**2 - 78*b + 3. Is 11 a factor of k(2)?
True
Suppose -4*j + 8 = 0, -l + 0*j = 3*j - 99. Suppose -3*v - 9 = -2*v - 3*n, n = -5*v - l. Is 3/9 - 120/v a multiple of 2?
False
Let h(a) = 31*a**3 + 3*a - 1. Let i = 3 - -1. Suppose 10*v - 11 = -5*k + 7*v, 0 = -i*k + 2*v. Does 17 divide h(k)?
False
Let t(z) = 4*z**2 - 2*z - 3. Suppose -4*j - 2 = -2*a, 0 = -2*a - 2*j + 3*j + 5. Let s be (-2)/3 + (-7)/a. Is t(s) a multiple of 13?
True
Let p(i) = -2*i**2 + 10*i. Let b(z) = -6*z**2 + 35*z + 14. Let g(u) = b(u) - 4*p(u). Let a = -4 - -12. Does 17 divide g(a)?
True
Let u be 33/(-12) - 1/4. Let o be 3*(-10 - (21 + 6)). Let x = u - o. Is 12 a factor of x?
True
Suppose 4748 + 549 = 4*t - 5*a, a - 6672 = -5*t. Does 61 divide t?
False
Suppose -4*z - 42 = h - 254, 0 = 2*h + 4*z - 404. Suppose h*u - 189*u - 390 = 0. Is u a multiple of 5?
T