 s be (-4)/6 - 458/6. Let r be 14/s + (-788)/22. Is 16 a factor of 5 + -1 + r/(-3)?
True
Does 36 divide ((-27426)/84)/((-10)/4 + 2)?
False
Let f(d) = d**3 - 9*d**2 - 7*d + 3. Let c be f(10). Suppose -t + c + 92 = 0. Does 22 divide t?
False
Suppose 5 = -b - 14. Let y = b + 28. Let n = y + 11. Is n a multiple of 18?
False
Let r = 47 + -45. Suppose 0*k + 5*k - 3*a - 493 = 0, -r*k + 197 = -a. Is k a multiple of 21?
False
Let o(r) = -r**3 + 0 + 3*r - 1 + 5*r**2 + 0*r**3 + 3*r. Let n be o(6). Let u = 51 + n. Does 13 divide u?
False
Let x = 1 - -9. Suppose -2*n = -0*n - x, -q + 90 = -5*n. Is 23 a factor of q?
True
Suppose -w + 771 = 4*c, 4*c - 2*c - 4*w = 372. Let m = -89 + c. Is 11 a factor of m?
False
Suppose -5*l + 7*l - 520 = 0. Is l a multiple of 6?
False
Let z(q) = -q**3 - 3*q**2 - 4*q - 1. Suppose -4*p + 13 = 25. Is 11 a factor of z(p)?
True
Let d be 4/(-1 - 3)*1*-69. Suppose 2*o + u = 2*u + 148, o - 3*u = d. Is o a multiple of 29?
False
Let g = -225 - -329. Is g a multiple of 7?
False
Let m(z) = -z**3 - 6*z**2 + 7*z - 2. Let p be 140/30*(-6)/4. Let s be m(p). Is 8 a factor of (16/20)/(s/(-60))?
True
Let l(v) be the first derivative of -5 - 3*v + 2*v + 4*v + 2*v**2 - 1. Is l(3) a multiple of 15?
True
Suppose 95 = -2*p - 5*r, -15*r - 45 = 2*p - 20*r. Let h = p - -91. Is h a multiple of 28?
True
Suppose -7 = 3*d + 4*o, 0 = -2*d + 3*o - 5*o - 2. Suppose 4*a + 5*b - d = -0, 2 = -2*b. Suppose -h + 45 = a*h + z, 3*h + 2*z = 45. Is 3 a factor of h?
True
Let k = -294 - -346. Does 11 divide k?
False
Let x = -270 - -272. Let l(r) = r + 2. Let v be l(-5). Is 19 a factor of (0 - (x + v))*57?
True
Suppose 0 - 16 = -4*w. Is 20 a factor of (-478)/(-4) - (-1 - w/(-8))?
True
Let b(q) = 8*q + 2. Let s be -1 - (-1 - 3 - 2). Suppose 7*a - 23 = 2*a - 2*u, 0 = -s*u - 5. Is 21 a factor of b(a)?
True
Suppose u = -3*u + 28. Let y = u + -3. Suppose -2*p + a = -73, -y*p = 2*a + a - 161. Is 11 a factor of p?
False
Suppose 0 = -4*j + 2*h + 6220, -4*h - 2723 = -5*j + 5049. Is 74 a factor of j?
False
Suppose -46 = -2*o - 2*w, 2*w = -2*o + o + 26. Suppose -5*n = -3*h - 312, 2*n - o = 4*h + 102. Does 5 divide n?
False
Suppose 4*l = -3*s + 123, 2 = -s + 3*s. Suppose 5*x = -l + 255. Suppose -x = -o + 3*q, 4*o + 5*q = q + 132. Is 9 a factor of o?
True
Suppose -q + 1154 = 5*b - 1098, 0 = -5*b - 3*q + 2256. Is 75 a factor of b?
True
Suppose 5*j = 15, 0 = -f + 7*j - 9*j + 1092. Is 78 a factor of f?
False
Let k(r) = r**3 + r - 1. Let f = -16 - -17. Let l be k(f). Suppose -v - l = -45. Is 12 a factor of v?
False
Let p(t) be the first derivative of 4/3*t**3 + 3/2*t**2 + 2 - 2*t. Is p(3) a multiple of 12?
False
Let s(q) = 2*q**2 - 4*q - 9. Let v be s(3). Is 2 + v/((-12)/(-8)) - -77 a multiple of 11?
True
Let r(z) be the third derivative of z**5/60 + 3*z**4/8 - 19*z**3/6 + z**2. Let q(m) = -2*m - 39. Let a be q(-13). Is r(a) a multiple of 10?
False
Let k be 182/12 - (-4)/(-24). Let a be (12/(-18))/((-2)/k). Suppose -a*y + 4*b = -35, 4*y - 4*b = -8*b + 64. Is 5 a factor of y?
False
Suppose 2*r + 2 = -2*r - 2*o, 2*r - o = 1. Suppose x = -z + 3*z - 15, r = -4*x - 3*z - 38. Let g = x + 16. Is g a multiple of 5?
True
Suppose -6 = -0*q - 3*q. Let p be 7/q - (-17)/34. Suppose 156 = p*w - 2*h, 0 = w - 6*w + 2*h + 194. Does 7 divide w?
False
Suppose 0 = 3*t + f - 3*f - 1063, -3*f = -2*t + 702. Does 17 divide t?
True
Suppose 2*b - b + 4 = 0, -d - 7 = 3*b. Suppose -2*u + u + d = 2*j, 3*j + 10 = 2*u. Does 11 divide (-76)/(-6)*(3 - j)?
False
Is 19 a factor of 1158 - ((2 - -6) + -7)*-1?
True
Let r(w) = w**3 - 8*w**2 - 6. Let t be r(8). Let l(s) be the first derivative of -s**4/4 - 2*s**3 - 3*s**2/2 + 6*s - 35. Does 12 divide l(t)?
True
Let x be (5 - (-4)/(-1)) + 30/3. Suppose -9*t - 248 = -x*t. Does 22 divide t?
False
Suppose -10 = -8*t + 6. Let s(p) = 0 + 11*p - 2 - 1 + 7. Is 13 a factor of s(t)?
True
Let t(b) = 17*b**3 - 3*b**2 - b + 3. Suppose 0 = 5*c - 3 - 7. Is t(c) a multiple of 13?
False
Let n = -21 - -32. Does 21 divide n/(2*(-1)/(-16))?
False
Let b(t) = t + 178. Is b(-33) a multiple of 21?
False
Let f = 1125 + -232. Does 47 divide f?
True
Is (-30730)/(-40) + (-7)/28 a multiple of 64?
True
Let n(g) be the third derivative of 0 - 1/24*g**4 + 0*g - g**2 + g**3. Does 4 divide n(-17)?
False
Let g(i) = 2*i - 19. Let f be g(10). Let v be (-3 - f) + (-18)/(-3). Suppose -4*w + 13 = 4*j - 51, -4*w + v*j = -64. Does 4 divide w?
True
Let y(h) = h**3 + 6*h**2 + 5*h. Let r be y(-5). Suppose r = d + 2*l - 90, d - 3*l = 129 - 34. Let s = d + -51. Is s a multiple of 7?
False
Suppose 12 = 54*n - 52*n. Is 16 a factor of (n/15)/((-3)/(-960))?
True
Let k = 4 + -1. Let n = -16 + 21. Suppose -k*a = -5*s - 162, -2*s - 257 = -n*a + 13. Is a a multiple of 18?
True
Is 24 a factor of (-55)/11 + (243 - -2)?
True
Is (-83 + 3)/(19/(-190)) a multiple of 16?
True
Suppose 3*l = 15, -5*j - 2*l + 0*l - 30 = 0. Let v(p) = -p**3 - 8*p**2 - p + 2. Is 2 a factor of v(j)?
True
Let b(i) = i**2 - 10*i + 33. Is 8 a factor of b(5)?
True
Let h be ((-10)/25)/(2/290). Let b be (-282)/7 - 6/(-21). Let j = b - h. Is j a multiple of 7?
False
Let y = 7 - 14. Let h(x) be the third derivative of -x**4/8 - 5*x**3/3 - 80*x**2. Is h(y) a multiple of 11?
True
Let k = -3 - -7. Is 12 a factor of 115/k - (-9)/36?
False
Let y be 0/(1*5/(20/(-12))). Suppose -2*o - 5*l + 20 = y, -4*o + l + 88 = -l. Does 10 divide o?
True
Let d be 11 - 0/(1 + 4). Suppose -x + 526 = 2*c, 0 = x + d - 9. Is 12 a factor of c?
True
Suppose 7*v = 4*v. Suppose v = -2*o + 6*o - 140. Is 15 a factor of o?
False
Is 2*2/22 + (-92824)/(-451) a multiple of 61?
False
Let m = 3 + -3. Suppose m = g - 32 - 13. Is g a multiple of 15?
True
Suppose -4*p - 16 = 0, u + 4*p = -4*u - 296. Let v = 107 + u. Does 17 divide v?
True
Suppose -h - 4*h = 0. Suppose h*z = 2*z + 16. Is z/(-2) + (-3 - -7) a multiple of 4?
True
Let o(l) be the third derivative of -l**5/60 + l**4/4 - 2*l**3/3 + 4*l**2. Let g be o(4). Suppose 128 = -g*n + 8*n. Is n a multiple of 16?
True
Does 24 divide (-2)/8 - 87576/(-96)?
True
Suppose -4*s + 1717 = -539. Is 12 a factor of s?
True
Let h(g) = g**2 + 6*g + 5. Let i be h(-4). Let z be ((-148)/6 + 0)/(4/30). Is (-2)/(z/61 - i) a multiple of 13?
False
Let v(n) = n**2 + 6*n - 8. Let l(y) = y**2 + y + 1. Let k(g) = l(g) + v(g). Let c(w) = 2*w**2 + 8*w - 7. Let m(d) = -6*c(d) + 7*k(d). Is 15 a factor of m(6)?
False
Let u(z) = -z**3 - 7*z**2 + 6. Let x be u(-7). Suppose -9*g + 258 = -x*g. Is 13 a factor of g?
False
Let r = 1105 + -609. Does 16 divide r?
True
Let c be 1/(4 + (-45)/12). Let o be 15*(-8)/(-12) - c. Let d = 44 + o. Is 25 a factor of d?
True
Let v be ((-1)/2)/(2/(-288)). Let u = v + -11. Let i = -43 + u. Is 5 a factor of i?
False
Let j be 20 - 4*(-3)/6. Suppose -4*v + 12 = 0, -4*p - 2*v + 0 + 6 = 0. Suppose -i + j = -p*i. Is 7 a factor of i?
False
Suppose -3*d - 102 = -4*d. Let c be d/27 + (-2)/(-9). Let k(m) = m**2 - 2*m + 4. Is 4 a factor of k(c)?
True
Let v(y) = 623*y + 392. Is v(3) a multiple of 119?
True
Suppose 5*t - 6 - 4 = 0. Let m be (-1)/(-2) - 1/t. Suppose -13*a + 8*a + 130 = m. Does 13 divide a?
True
Let r = -10 - -12. Let y be 1 + r + -6 + 3. Does 17 divide 3 - (y + 5*-15)?
False
Let g = 5688 - 3777. Does 52 divide g?
False
Let l(v) = -v + 9. Let y(r) = r**2 - 2*r + 4. Let u be y(0). Let q be l(u). Is 7 a factor of 195/12 - q/20?
False
Let c(i) = -70*i + 2. Let y be 16/(-2) + 4 + 3. Let u be c(y). Does 28 divide (u/28)/(6/196)?
True
Let g(n) = 4*n**2 - 11*n + 250. Is g(10) a multiple of 60?
True
Let o(b) = b - 12. Let d(t) = -t + 1. Let y(x) = -2*d(x) - o(x). Let r be y(-5). Suppose r*q - 68 = 32. Is 9 a factor of q?
False
Let p(f) = 5*f + 1. Let c(k) = -k. Let n(m) = 9*c(m) + 2*p(m). Let u be n(-2). Suppose y + 4*y - 55 = u. Is y a multiple of 5?
False
Let d(g) = g**2 + 9*g - 14. Let n be d(-11). Suppose 0 = 2*p + n. Is 4 a factor of p/(-10) - 108/(-30)?
True
Let q(w) = 13*w + 624. Does 13 divide q(-11)?
True
Let x(i) = -41*i**3 - 3*i**2 - 2*i + 2. Is 14 a factor of x(-2)?
True
Let u(p) = -2*p - 12. Let d be u(-6). Suppose d = 4*t - 57 - 7. Is t a multiple of 16?
True
Let s(o) = o**3 + 12*o**2 + 10*o - 7. Let j be s(-11). Suppose -j*y + 9 = -k + 2, 3*y = -5*k - 104. Is (k - -6)/(-1 - 0) a multiple of 7?
False
Let f(d) = 8*d**2 - 1. Let b be f(1). Suppose