, -4*u + 534 = 2*c. Let p = -110 + u. Does 2 divide p?
False
Does 41 divide (15 + 32351/(-22))*-4?
True
Let t be (1/(-2))/(9/(-8298)). Let f = t - -2. Suppose 5*g = 1252 + f. Does 51 divide g?
False
Is (16 - (3 - -68))*-164 a multiple of 4?
True
Let f be (8 + -1)/((-507)/260 + 2). Is 5 a factor of -1*f/49*(-7)/2?
True
Let a(k) = k**3 + k**2 + k - 5. Let s be a(2). Suppose 3*d - s = 0, 5*c + 0*d = -d + 23. Suppose 6*w - 3*w + 142 = 4*m, -c*w - 76 = -2*m. Is 2 a factor of m?
True
Suppose 0 = 2*u - 12*c + 7*c - 37, -5*u + 75 = 5*c. Suppose -1769 + 7497 = u*x. Is 14 a factor of x?
False
Let o be 56*2541/70 + 4/(-5). Suppose 4 = u, -4*h + 2*u = -h - o. Is 40 a factor of h?
True
Suppose v + d - 17 = 0, 19*d - 21*d = -5*v + 120. Suppose -q = -4*r - 8 - 5, 0 = -q + r + v. Is 25 a factor of q?
True
Suppose -4 = -4*j + f, -j + 6 = 2*f - f. Let z(s) = -32 - j + 17*s - 8*s. Is z(8) a multiple of 8?
False
Suppose 5 + 7 = -4*a - 5*y, -3*y = -5*a + 22. Suppose -a*k + 7 + 1 = 0. Does 19 divide 18*k + (8 - 5)?
False
Suppose -12*a - 605 = 5*a - 10618. Does 19 divide a?
True
Let o(b) be the third derivative of -b**4/2 - 49*b**3/3 + 4*b**2 - 3. Does 19 divide o(-18)?
False
Suppose 35 = 68*d - 73*d. Is (-955)/d - ((-120)/(-70))/4 a multiple of 8?
True
Let p(b) = 1083*b - 171. Let d be p(7). Suppose -78*n + 91*n - d = 0. Does 5 divide n?
True
Suppose -3118080 = 25380*x - 25436*x. Is 126 a factor of x?
False
Let g = 1898 + -1046. Is g a multiple of 71?
True
Suppose 18 + 3 = f. Suppose -5*r = 2*o + f, -4*o - 4*r + 28 = -8*r. Suppose 5*c - 5*p - 54 = -o*p, 4*p = 2*c - 16. Is 6 a factor of c?
True
Suppose -20 = -5*x, 8*d - 3*d - 4*x + 176 = 0. Is 4/d + ((-3332)/(-32) - -4) a multiple of 7?
False
Let z = -964 - -2300. Suppose -8 - z = -6*a. Is 56 a factor of a?
True
Let t(w) = 230*w + 334. Let j be t(9). Suppose j - 11771 = -17*a. Is 20 a factor of a?
False
Suppose -q = 2*h + 19106, h + 3*q = -2*h - 28653. Does 9 divide -1 + (-10)/(-12) - h/90?
False
Let q = 2042 + -315. Suppose 4*l = -5*b + q - 466, -2*b = 3*l - 510. Does 20 divide b?
False
Suppose 0 = -2*k + 2686 + 64. Suppose 3*v = -2*v + k. Suppose 2*t - v = -3*t. Is 11 a factor of t?
True
Let z be 10/(-5)*145/(-10). Suppose -13 - z = -3*t. Suppose 122 = 4*n - t. Is 6 a factor of n?
False
Let l = -43 + 52. Suppose 0 = -t + 2 + l. Suppose t*w - 555 = 6*w. Does 26 divide w?
False
Suppose -p = 4*t - 1219, -t - 5990 = -7*p + 2*p. Does 109 divide p?
True
Let u(s) = 7*s**3 - 6*s**2 - 9*s + 15. Let y be u(3). Suppose -141*n + 21150 = -y*n. Is 15 a factor of n?
False
Let l(s) = 8*s**2 + 19*s - 1029 + 991 + 9*s**2 + 0*s**2. Is 28 a factor of l(6)?
False
Let l(q) = -176*q - 114. Let c be l(-9). Suppose 10*a - c = 4*a. Is 49 a factor of a?
True
Let y(c) = -7*c**3 + 12*c**2 + 72*c - 143. Is 13 a factor of y(-13)?
True
Let c be 4/60*-5 + (-986)/(-6). Let w = 373 - c. Is w a multiple of 16?
False
Let m = 4847 - 4696. Is m even?
False
Let v = -323 + 319. Is 9 a factor of 4529/35 - (0 + v/(-10))?
False
Let g = 15 - 8. Let c(w) = 361*w - 340*w + 16*w**2 + 6 - 19*w**2. Is c(g) a multiple of 3?
True
Let a be (-58)/(-10) + -3 + (-32)/(-10). Let y be ((-6)/(-4))/(27/a - 3). Suppose -4*u + 104 = 4*c, 3*c + y = 16. Is 8 a factor of u?
False
Let q(j) = -8*j**3 - 6*j**2 + 88*j + 22. Is 132 a factor of q(-11)?
True
Is 182 a factor of ((-1325)/100)/(3346/10056 - 3/9)?
False
Is 7 a factor of (-3)/(21/4) - (-7 - (-28683)/(-7))?
False
Let c be ((-9)/15 + (-236)/(-60))*6. Let l(m) = m**3 - 19*m**2 - 22*m + 46. Is l(c) a multiple of 6?
True
Let n(y) = 15*y**2 - 106*y + 443. Is n(-31) a multiple of 18?
True
Suppose 10*d + 14*d - 120600 = 6*d. Is 134 a factor of d?
True
Suppose 3*x + 55 = -2*x. Let g be 592/x + (-16)/88. Let z = 110 + g. Is z a multiple of 28?
True
Does 9 divide (-44)/(-4) - (-31 - 5889)?
True
Suppose 0 = -2*j + 9*p - 7*p + 698, p - 713 = -2*j. Suppose 3*i - 7*i + j = 5*y, 2*i - 5*y = 192. Is 19 a factor of i?
False
Suppose 54 = -5*s + 1004. Let h = 44 + -31. Suppose -h*c = -8*c - s. Is 6 a factor of c?
False
Let t(s) = 71*s**3 - 7*s**2 + 7*s - 2. Let b be t(2). Suppose p - b = -131. Does 11 divide p?
False
Let b be (-21)/14*(-5)/5*-4. Let n be (6 - 1)*(-10)/25. Is (b/21)/(n/28) even?
True
Let m = 43016 - 30542. Is 11 a factor of m?
True
Let c(f) = 424*f**3 - 14*f**2 - 3*f - 6. Does 60 divide c(2)?
False
Suppose 3*r + 0*r - 153 = -3*s, -5*r + 4*s + 210 = 0. Suppose 0 = 54*o - r*o - 2184. Is 39 a factor of o?
True
Is 1092386/119 - (-18)/63 a multiple of 54?
True
Let g(w) = 3*w + 5. Let i = 42 - 45. Let a be g(i). Does 14 divide (1 + a)*(15 + -22)?
False
Let n = -18698 + 20289. Is 34 a factor of n?
False
Let s = 129 + -107. Is 16 a factor of ((-1254)/s)/((-1)/17)?
False
Let c(t) = 6*t**3 - 54*t**2 - 107*t + 39. Is c(27) a multiple of 16?
False
Is (300541/(-537))/((-8)/12*(-2)/(-108)) a multiple of 69?
True
Let l(s) = -11*s + 289. Suppose 29*q = 318 + 88. Does 3 divide l(q)?
True
Does 15 divide ((-13708)/745)/((-2)/470)?
False
Let u(l) = 3*l + 144. Suppose -p = -21 + 63. Does 5 divide u(p)?
False
Let s = -11540 - -21043. Is 17 a factor of s?
True
Let u(x) = x**2 - 17*x + 43. Let l be u(14). Let j be 283/1 - (4 + l). Let o = j + -150. Is o a multiple of 7?
False
Let c(j) be the third derivative of -j**4/8 + 7*j**3/3 - 29*j**2. Let u = -76 - -69. Is c(u) a multiple of 5?
True
Suppose 1284*t - 1288*t = -32. Is (-2 + t/5)/(41/(-21320)) a multiple of 12?
False
Let x be 14/4 - (-2)/4*1. Suppose 4*y + 2*o - 12 = 0, -y + o + x = -5. Suppose 0*k + 250 = y*k. Is 25 a factor of k?
True
Suppose 5*h - 2*h = 5*c - 14722, -5902 = -2*c - h. Is 67 a factor of c?
True
Let j = 21310 - 14886. Is j even?
True
Let f(y) = 16*y**2 + 15*y + 172. Is f(-16) a multiple of 53?
True
Is (1*50)/(63/((-337365)/(-18))) a multiple of 7?
True
Suppose -7*d - 2*d + 27 = 0. Let l be (250/d)/(6/(-18)). Let s = l - -358. Is s a multiple of 12?
True
Suppose 0 = 424*b - 18104320 - 2898944. Is b a multiple of 128?
True
Let j(y) = 8*y**2 - 121*y + 962. Is j(10) a multiple of 46?
True
Let p be (-6 + 24/4)*(-2)/(-4). Suppose p = -5*m + 2*z + 845 + 1095, 3*z = 3*m - 1155. Does 39 divide m?
True
Is 34 a factor of (-2990)/(-4) - ((-153)/(-18) + -9)?
True
Let t = -12007 + 24563. Is 73 a factor of t?
True
Suppose -8*f - 172 = -28. Does 28 divide 8/f + -694*8/(-18)?
True
Suppose 0 = -4*s + 12, -2*a - 4*s + 2*s = 216. Let g be a/(7/(42/(-9))). Is 9 a factor of 14/7*g/4?
False
Let c(x) = -1362*x - 396. Is c(-3) a multiple of 45?
True
Suppose 2*r - 4*j = 32 - 12, 0 = -r - j + 1. Let d be (-26)/6*2*-3. Suppose d = y + 4*w + 8, y + 6 = r*w. Does 3 divide y?
True
Let x = 4716 + -1041. Does 4 divide x?
False
Let z = 195 - 191. Suppose -5*b + 506 = z*j - 3*j, -4*j - b = -2024. Is j a multiple of 46?
True
Suppose -1801 = -4*c + 2*g + 8947, -c + 2692 = -3*g. Is c a multiple of 17?
True
Suppose 40*t + 871 = 27*t. Let f = 33 - t. Is 20 a factor of f?
True
Let w(o) = 6*o**2 - 20*o + 11. Let b be w(13). Let d = b - 175. Does 10 divide d?
True
Suppose 1722 = -96*t + 89*t. Let v = t - -303. Is 19 a factor of v?
True
Suppose 21*h + 332 = 20198. Is 14 a factor of h?
False
Let o = 110 + -140. Does 36 divide (-1085)/o + 3/(-18)?
True
Let c(l) = 33*l - 61. Let p be c(2). Suppose -35*d + p*h - 385 = -38*d, -5*d - 5*h = -625. Does 5 divide d?
True
Suppose 24*t - 6243 - 1674 = 2235. Is 3 a factor of t?
True
Suppose -599*v - 564 = -600*v. Let j = v + -504. Does 10 divide j?
True
Let z = 4175 - 4011. Is z a multiple of 16?
False
Let b(t) = t**3 - 5*t**2 - 35*t - 93. Does 14 divide b(23)?
True
Let h = -48 + 44. Does 12 divide ((-39)/h)/((-3)/(-48))?
True
Let w = -29 - -45. Suppose -32 - w = -3*z - j, 4*z = -3*j + 59. Is z a multiple of 14?
False
Let u = 612 - 602. Suppose -u*m = -12*m + 1512. Is 28 a factor of m?
True
Suppose 6672 = 40*b - 36*b - t, -2*b + 3322 = 3*t. Is b a multiple of 70?
False
Suppose -12*v + 613801 = 554357 - 824908. Is 376 a factor of v?
True
Let y(q) = 115*q + 61. Let b be y(3). Let h = 1445 - b. Is 12 a factor of h?
False
Is (-182)/4*850888/(-658) a multiple of 403?
True
Let c(j) = 3*j + 16. Let h(g) = -7*g - 31. Let x(m) = 13*c(m) + 6*h(m). Let f be x(7). Does 10 divide f*50 - (-9 - -8)?
False
Is 72 a factor of (0 - 0 - 3/7) + (-225997746)/(-12026)?
True
Let a(p) be the second derivat