= 0. Let m = a + -153. Is m a multiple of 17?
True
Let v = -9221 + 16122. Does 103 divide v?
True
Suppose -37*m + 64699 + 85853 = 4*m. Is m a multiple of 27?
True
Let k(y) be the first derivative of -y**4/4 + 3*y**3 + 4*y**2 - 19*y - 12. Let r be k(9). Suppose 0 = -3*p + 4*o + 50, r = 3*p - 3*o - 1. Does 11 divide p?
True
Let r = 33755 + -21538. Is 19 a factor of r?
True
Let v = -21650 - -22116. Is 5 a factor of v?
False
Suppose 24 = -12*w + 20*w. Suppose w*p - 6 = -0. Suppose -6 = -5*d - 2*h + 1, 2*d - p*h - 14 = 0. Is 2 a factor of d?
False
Let n = -605 + 1745. Let t = n + -580. Is 14 a factor of (30/(-8))/((-15)/t)?
True
Let t(k) = 9*k**3 - 11*k**2 + 53*k - 541. Is 61 a factor of t(15)?
False
Suppose 0 = 2*q + q - 12. Suppose 5*r - q*u = 26, 0*u + 10 = r - 2*u. Suppose -r*p + 19 + 106 = t, -482 = -4*t - 2*p. Does 18 divide t?
False
Suppose -3*p + 3231 = 5*a - p, -p = 2*a - 1292. Let w = a + 54. Is w a multiple of 37?
False
Let i(p) be the first derivative of 4*p + 7/2*p**2 - 1/4*p**4 + 36 + 5/3*p**3. Is 20 a factor of i(-4)?
True
Suppose -94*b - 4448 = -96*b. Is 25 a factor of -3 + 1/(8/b)?
True
Let w(m) = 3*m**3 + 3*m**2 - 2*m - 4. Let s be (-546)/(-147) - 2/(-7). Is w(s) a multiple of 19?
True
Is (-3 - -2 - -1175) + 20/(-5) a multiple of 9?
True
Let j(h) = h**3 + 11*h**2 - h - 9. Let o be j(-11). Suppose 0*q - 6 = -o*q. Suppose -15 = -q*s + 30. Is 5 a factor of s?
True
Is 2/(4/6)*2900/20 a multiple of 3?
True
Let i(k) = k**2 + k. Let q(w) = w**2 - 16*w - 11. Suppose 2*g + 20 = 18. Let f(d) = g*q(d) + 2*i(d). Is f(-18) even?
False
Let k(z) = 623*z - 237. Is k(6) a multiple of 4?
False
Let w be -3*(-5 + 4/1) - -3. Suppose -w*z + 4*q - 293 = -7*z, 2 = -2*q. Does 8 divide z?
False
Let t = 92279 + -30049. Is t a multiple of 10?
True
Let w = 3264 - 472. Does 6 divide w?
False
Let l(i) = 14*i**2 + 2*i + 6. Is l(8) a multiple of 30?
False
Let w = -156 + 161. Does 4 divide (-2808)/(-24) + 0 + w?
False
Suppose -2*d = -4 - 2, d = 2*w - 9. Is w + -4 + 4 + 330 a multiple of 42?
True
Let u(j) = 4*j**2 - 2*j + 60. Let l(v) = -2*v**3 - 21*v**2 - 50*v - 1. Let m be l(-7). Is u(m) a multiple of 5?
False
Let o(s) = -2*s**2 + 5*s - 5. Let c be o(2). Let q(y) = -15*y - 1. Let v be q(c). Suppose 5*t + 200 = 5*z, -v = z - 2*z + 2*t. Does 12 divide z?
True
Let o(j) = 22*j + 200. Let d be o(-8). Suppose d*c - 9*c - 4800 = 0. Is c a multiple of 32?
True
Suppose 0 = 106*a + 81*a - 2414170. Is a a multiple of 12?
False
Let a(l) = -l**3 - 5*l**2 + 5*l - 4. Let n be a(-6). Let y(v) = -37*v + 151. Let k be y(4). Is 32 a factor of (k - (2 + n) - -132) + -3?
True
Let u(p) = 4*p - 6*p**2 + 7*p**2 + 808 - 783. Is 6 a factor of u(-8)?
False
Suppose -3*t = 4*t - 21. Suppose -3*l + 4*l = -t*x + 1152, 0 = 2*l - 5*x - 2260. Does 76 divide l?
True
Let p = 290 + -458. Does 13 divide (16752/p)/(2/(-7))?
False
Let a(s) = -s**3 + 8*s**2 + 9*s + 2. Let h be a(9). Suppose -y = 4*n - 8, -5 = -h*n - 1. Suppose -685 = -5*t + 3*k, 2*k = -y*t - t + 150. Does 35 divide t?
True
Let y(c) = -16477*c + 19 + 32929*c - 16471*c. Suppose 2*o = 3*j + 20, -2*o - 16 = -2*j + 5*j. Does 19 divide y(j)?
True
Suppose 0 = -5*z + 4*y - 2186 + 14807, -4*y = 4*z - 10068. Does 8 divide z?
False
Is 226256/237 - (1 - (-2)/(-6)) a multiple of 6?
True
Suppose 2*q - 1820 = 4*d, -2*d - 1835 = -2*q - d. Suppose -j + 2320 = 5*r - q, 4*r - 4*j - 2592 = 0. Is 18 a factor of r?
True
Let t = 306 - 289. Let b(j) = j**3 - 14*j**2 - 26*j - 33. Does 14 divide b(t)?
True
Let a = 62 - 63. Let s be 2/(-11) - ((-4440)/22)/a. Is (5/((-20)/s))/(1/2) a multiple of 7?
False
Suppose -7*g + 12 = 54. Let u(k) = k. Let d(z) = -18*z + 13. Let c(n) = g*u(n) - d(n). Is c(6) a multiple of 11?
False
Let s be (192/40)/((-12)/80). Let d(g) = -2*g + 89. Does 31 divide d(s)?
False
Suppose 0*x - 890 = -3*h - 4*x, h = -3*x + 290. Is 4 a factor of h?
False
Let q = 274 - 141. Suppose -i - 3*j = -60, -5*j - 167 = -5*i + q. Does 5 divide i?
True
Suppose 6 = -60*p + 66*p. Is p/((-1)/(-872)) + (-135)/45 a multiple of 23?
False
Suppose -q = 3*v - 0*v, v = q + 4. Let t be (1386/30)/(v/5). Suppose 149 = 2*b + 5*z, -4*b + 5*z + 52 + t = 0. Is 12 a factor of b?
True
Let g = -2127 + 3003. Is g a multiple of 81?
False
Let o = 150 - 6. Suppose -4*k = -h + k - 36, 0 = 4*h - 3*k + o. Let c = h + 39. Is c a multiple of 2?
False
Let d = 52 + -64. Let r(n) = n**2 + 8*n - 46. Let z be r(d). Suppose 0 = -z*b - 3*s - s + 474, 5*b - 2*s - 1233 = 0. Does 49 divide b?
True
Let m(q) = 62*q + 59. Let d(h) = -124*h - 118. Let t(o) = 4*d(o) + 9*m(o). Is t(4) a multiple of 9?
False
Suppose -9*q - 113 = -104. Let d(b) = -84*b - 40. Does 3 divide d(q)?
False
Suppose -45*w = 50*w - 29426 - 32419. Is w a multiple of 69?
False
Is 39 a factor of (-9 - 24 - -3814) + 2 + 0?
True
Let n = -12 + 61. Let j = n + -44. Suppose 0 = j*k - y - 218, 4*k - k - 2*y = 128. Is k a multiple of 11?
True
Let k(r) = r - 11. Let y be k(-4). Let b be 4/10 + 3066/y. Let i = b + 403. Is i a multiple of 23?
False
Does 11 divide (2 - 0) + (-89325)/(17 - 32)?
False
Let w(j) be the second derivative of 3*j**4/2 + j**3/3 + 17*j**2/2 - 101*j. Is w(5) a multiple of 9?
True
Suppose -8*j + 2*j = 0. Suppose -f - 747 + 1553 = j. Is 31 a factor of f?
True
Suppose 8*q - 15*q = -140. Let o(j) = 6 + 23*j + j**2 - q*j + 13*j + 13. Is o(-17) a multiple of 3?
True
Let h be ((-8)/10)/((-8)/160). Suppose -h = -4*x - 0. Suppose -8*k + 3*k + 903 = q, -x*k + 5*q = -705. Is k a multiple of 34?
False
Suppose 3*u - j - 164 = -627, 0 = -j - 2. Let k = -101 - u. Is k a multiple of 9?
True
Let i be (6 + -7)/1 + 1. Suppose -62*t + 57*t + 1990 = i. Does 49 divide t?
False
Is 14 a factor of 9520/60*(-1 + 88)?
True
Suppose 56*h = 48*h + 120. Suppose -4004 = -h*k - 764. Is k a multiple of 8?
True
Let u be (-14039)/(-5) + 21/5 + -4. Suppose 39*g - 31*g = u. Does 7 divide g?
False
Let p(f) = 2 + 1 - 6 - 4. Let n(b) = -b + 7. Let s(o) = -5*n(o) - 6*p(o). Is 34 a factor of s(19)?
True
Let y = -952 - -2734. Is 2 a factor of y?
True
Suppose 118 = -9*o + 145. Suppose 4*c = -l + 412, -5*c + 196 = -3*c + o*l. Is 8 a factor of c?
True
Suppose 11*c = 14*c - 810. Suppose -5*x = 5*y + c, 13 = 5*y - 7. Let t = 16 - x. Is 11 a factor of t?
False
Let l(k) = -15*k - 18. Let b be l(-10). Let o = b - -120. Is o a multiple of 12?
True
Let t(h) = -2*h**2 + 5*h - 53. Let c be t(18). Let n = c + 730. Is 31 a factor of n?
False
Let q be (2/6)/(24/(-2736)) - 2. Let o = q - -89. Is 11 a factor of o?
False
Let p = -354 - -340. Is 55 a factor of 440/p*(-4620)/120?
True
Let q(o) = -2*o**3 - 110*o**2 + 98*o - 271. Is q(-61) a multiple of 17?
True
Suppose -4*c + 69*o = 66*o - 79822, 5*c = -o + 99787. Does 57 divide c?
False
Suppose q - 3*w - 544 + 177 = 0, -2*q = w - 769. Is 9 a factor of q?
False
Suppose -47585 = -12*g + 34159. Is g a multiple of 96?
False
Suppose -d - d + j = 3053, 2*j + 3056 = -2*d. Is 3 a factor of d/(-12) + 18/24?
False
Let r(m) = -m**2 - 9*m - 14. Let q be r(-7). Let p(k) = -2*k + 1092. Let y be p(q). Suppose 5*g - 1094 = -a, -a = -5*g - 4*a + y. Is 47 a factor of g?
False
Let m be 13 + -8 - (-1035)/(-5). Let z = m - -346. Does 24 divide z?
True
Let i(j) = j**3 - 16*j**2 + 4*j - 56. Let l be i(16). Suppose -279 = -l*x + 745. Does 4 divide x?
True
Suppose 2*w - 55 = -0*w + p, -3*p - 45 = -2*w. Suppose -1050 = -36*a + w*a. Does 40 divide a?
False
Let z = -32837 + 46318. Is z a multiple of 96?
False
Suppose 2*z - w - 142 = -3*w, 0 = 5*z + 4*w - 352. Suppose -65*i + z*i = 6. Suppose -5*l - 3*d + 84 = -830, -4*l + i*d + 740 = 0. Is l a multiple of 27?
False
Let o(i) = -2*i + 9. Let k be o(4). Suppose -3*r + 4 = -2*n, 0 = -4*r - 2*n - 3 - k. Suppose 4*d + r*d = 612. Is 17 a factor of d?
True
Suppose 0*s + 10*s = 10. Suppose -s = -f, 1 = g + f - 18. Let d = 174 - g. Is d a multiple of 19?
False
Let k be 25/10*1*2. Suppose -o = 2*b - 254, 3*b - k*b + 258 = 3*o. Does 18 divide b?
True
Let w = -760 + 775. Suppose 2*r - 30 = -5*k, -k + 10 + 9 = 3*r. Suppose w = r*c, -4*n + 0*c = 5*c - 387. Is 13 a factor of n?
False
Let z = 829 + -282. Let q = z + 33. Is 21 a factor of q?
False
Suppose -5*g = 4*h + 11, -20 = -4*g + h + 3*h. Is 4/(-26) - (g - (-28552)/(-26)) a multiple of 34?
False
Let z(w) = -w**3 - 21*w**2 - 29*w - 36. Let o be z(-19). Let f = o - -787.