)/18)?
True
Let c be (-16 - -11) + (-9)/(-1) + 0. Suppose c*j + 2*z - 278 = 0, 3*z = -j + 103 - 31. Is j a multiple of 29?
False
Let s be (-117)/(-18) + 3/(-2). Let r = -316 - -316. Suppose 4*b - 3*d - 156 = r, -119 = -3*b - s*d + 27. Does 6 divide b?
True
Suppose 11 = 9*v - 16. Suppose 4*t + 5*f - 8 = 0, t - f - v*f = 2. Suppose 2*a - 88 = -t*k, 3*a - 3*k = 5*a - 91. Is a a multiple of 9?
False
Let o(v) = 38*v**3 - 2*v**2 + 8. Let z be o(2). Let p = z + -147. Does 29 divide p?
False
Suppose l - 1371 + 565 = 0. Let f = l - 483. Suppose 2*r - 142 = -4*d, -r - f = -6*r - 2*d. Does 3 divide r?
True
Suppose 0 = 21*t - 203685 - 351. Does 14 divide t?
True
Let f = 5492 - -742. Suppose 3*d - f = -1722. Is d a multiple of 14?
False
Is 18 a factor of (-123)/246*(-5434 - 2)?
True
Let f(c) = -18 + 8*c - 6 + 12*c - c**2. Let g be (-1)/(((50/65)/(-5))/2). Is 7 a factor of f(g)?
False
Suppose 2*a = 0, -4*z + 10 = z - a. Let f(t) = 27 - 6*t**3 + 7*t**3 + t - z*t**2 + t + 11. Is 12 a factor of f(0)?
False
Let h(b) = -83*b**3 + 7*b**3 + 5 - 355*b**2 + 352*b**2 + 6*b - 4*b. Does 12 divide h(-2)?
False
Let y(l) = -124*l + 11 - 28*l + 35*l. Is y(-1) a multiple of 6?
False
Let t(u) be the third derivative of -u**4/2 - 5*u**3/6 + 125*u**2 - 2. Let x(z) = z**2 + 8*z + 4. Let f be x(-7). Is t(f) a multiple of 9?
False
Suppose 28*r = 10437 + 43231 + 64128. Is r a multiple of 8?
False
Suppose -2*s + s + 2*b + 4 = 0, -2*b = 3*s - 36. Let q(d) = -d**2 + 12*d + 20. Let p be q(s). Suppose -y - 4*l = -36, 2*y + y - p = 5*l. Does 10 divide y?
True
Let v(b) = b**3 - 7*b**2 - 11*b + 23. Let d be v(8). Let n(a) = 445*a**2. Let x be n(d). Suppose 0 = -2*k + x - 109. Is 14 a factor of k?
True
Suppose 7*x = -4*x + 55. Suppose -x*d + 5*k = 5, -2*d + 0*d + 3*k = 3. Suppose d = -3*i + 372 + 51. Is i a multiple of 30?
False
Suppose 11*g + 14 + 8 = 0. Suppose 4*s + 0 = -8. Is 11 a factor of s/g + (-962)/(-13)?
False
Let a = 83 - 78. Suppose a*r + 0*c = -2*c + 24, 18 = 3*r + 3*c. Suppose -2*k = 2*t - r*t - 50, -5*t = -2*k + 53. Does 8 divide k?
True
Let v be 63/7*476/12. Let c = v - 231. Is c a multiple of 14?
True
Let r = -44 - -49. Suppose 0 = -3*n - 6, 0 = 2*a - r*n + 3*n - 208. Suppose a = -4*c + 586. Is 21 a factor of c?
False
Suppose 1850 - 2338 + 9626 = 2*k. Is 34 a factor of k?
False
Let y be 12/(-2)*(-1)/2 + 111. Is 6/1*y*5/60 a multiple of 28?
False
Suppose 3*i + 3*u = 68028, -2*i + 5*u + 6488 + 38906 = 0. Does 86 divide i?
False
Let v(q) = 10*q**2 + 24*q + 1519. Does 10 divide v(44)?
False
Let c = 36 + -34. Let j be c/(1 + 2/(-6)). Suppose -3*v - y = -103, -v = -j*y - 2*y - 61. Is 4 a factor of v?
True
Suppose -3*l + 1206 = -825. Suppose i + 5*h - h = l, 4*i - 3*h - 2708 = 0. Is 20 a factor of i?
False
Let z(w) = w**3 - 11*w**2 + 27*w + 5. Let j be z(4). Does 7 divide (j/(-1))/(4/(-364))?
True
Let w(l) = l + 13. Let s be w(-11). Suppose s*d + 122 = -4. Does 8 divide (d/9)/((-1)/6)?
False
Let c(t) = -4*t - 88. Let y be c(-24). Let q(b) = b**3 - 3*b**2 - 21*b - 19. Is 8 a factor of q(y)?
False
Let i = -38879 - -56650. Is 15 a factor of i?
False
Let p = -169 + 195. Suppose 0 = 93*o - 95*o + p. Is 4 a factor of o?
False
Let q be 172/(-10) + 160/(-200). Let w(b) = -20*b + 140. Is 39 a factor of w(q)?
False
Let s(c) = -138*c + 1616. Is s(4) a multiple of 133?
True
Suppose r = -4*t + 28189, -112816 = -4*r - 23*t + 27*t. Is r a multiple of 10?
False
Let p(l) = -982*l**3 - 4*l**2 - 4*l. Let x be p(-1). Suppose -4*o + x = 5*g, -767 = -0*g - 4*g + 3*o. Is 30 a factor of g?
False
Does 8 divide ((-126)/105)/(((-18)/35652)/(10/4))?
False
Let n = 37 - 35. Let h be 77/14 + -2*n/8. Suppose 0*v + 110 = 2*v + 4*x, 0 = 5*v + h*x - 295. Is v a multiple of 7?
True
Let c = -607 + 685. Does 8 divide (c/(-24))/((-2)/256)?
True
Suppose -v - 40*p = -42*p - 6681, -p - 20028 = -3*v. Is v a multiple of 89?
True
Let u be -6 + 2 + (1 - (-1 - 2602)). Let z = -1808 + u. Does 9 divide z?
True
Let d be (-42)/14 - (-750 - 0). Suppose 0 = -60*l + 63*l - d. Is 14 a factor of l?
False
Let f(y) = -y**3 + 7*y + 1. Let n be f(-3). Let d(b) = 10*b**2 - 18*b + 13. Is 8 a factor of d(n)?
False
Suppose 14*q - 9*q = 12090. Suppose 1001*v - 995*v = q. Does 85 divide v?
False
Let o(d) = -6882*d + 1677. Does 59 divide o(-4)?
True
Suppose 2*m - f - 874 = 561, 0 = 4*f - 20. Is 16 a factor of m?
True
Let t(o) = -79*o**3 - 5*o**2 - 6*o - 2. Let j be t(-1). Is 23 a factor of 7594/10 + j/(-195)?
True
Let d(t) = -t**3 + 34*t**2 + 72*t. Let y be d(36). Let s(v) = -v**3 - v**2 + 2*v + 874. Does 46 divide s(y)?
True
Let l = 337 + -300. Suppose -l*g + 5101 = -1189. Does 17 divide g?
True
Suppose t + 4*t - 435 = -5*g, -3*g = 9. Suppose 87*c = t*c - 513. Is 19 a factor of c?
True
Let y(d) = 4*d**3 - 3*d + 14. Let x be y(4). Let g = 538 - x. Does 74 divide g?
False
Let c(b) be the third derivative of -b**5/60 - 3*b**4/8 - 5*b**3/3 - b**2. Let h(d) = d**2 + 10*d + 10. Let t(k) = -3*c(k) - 4*h(k). Is t(-11) a multiple of 3?
True
Let z = -872 - -870. Let s(y) = -y**2 - 8*y + 7. Let q be s(-6). Let a = q + z. Does 3 divide a?
False
Suppose 2*v + 3*n - 313 = 4*n, -n = 3*v - 482. Let b = 245 - v. Does 5 divide b?
False
Let t(h) = -h + 20. Let m be t(10). Let w(x) = 28*x - m*x - x**2 + 56 + 7*x. Does 28 divide w(21)?
True
Let v(m) = -m**3 + 3*m - 76. Let l be v(0). Let b be (-1254)/l*(-400)/(-6). Is 6 a factor of (2/4)/(22/b)?
False
Suppose 12*q = -15*q + 162. Suppose -2*s = -q*s - x + 1770, 2225 = 5*s - 5*x. Is s a multiple of 49?
False
Is (-4)/3 + 0 + 43792/12 + -7 a multiple of 6?
False
Let s(b) = -b**2 - 36*b + 41. Let q be s(-37). Suppose -q*j + 1728 = 4*j. Does 12 divide j?
True
Suppose -5*j + 13 = 3*c - 27, 4*c + 2*j = 30. Suppose -c*w + 4*w + 56 = -5*b, 3*w + b = 104. Does 9 divide w?
True
Does 2 divide 10310/5 + -15 + 17?
True
Let r(u) = u**3 - 7*u**2 - u + 9. Suppose -f + 5 = -2. Let w be r(f). Suppose 0 = -0*j - w*j + 20. Is j a multiple of 5?
True
Is 122575/15 - (4/5 - (-629)/(-555)) a multiple of 14?
False
Suppose -2 = 2*c, c - 5*c = 5*i + 79. Let l be ((18732/(-6))/(-7))/2. Let h = l + i. Does 11 divide h?
False
Suppose -p - 9 = 3*u - 115, -5*p + 20 = 0. Let z be 2/7 - 212/7. Let y = u + z. Is 4 a factor of y?
True
Is 3 a factor of 15 - (-22 - 190/(-19))?
True
Suppose 0 = -u - a + 14, 5*a - 16 = 4. Suppose 4*x = 3*b - 520, 9*x - 11*x = -u. Is b a multiple of 30?
True
Let l = 4551 - 2919. Suppose 3*y - 1055 = -2*w, 2*y = -4*w + 490 + l. Is 19 a factor of w?
True
Suppose -36667 = -17*u + 28613. Is u a multiple of 41?
False
Suppose -35*a + 3*a + 352 = 0. Suppose 198 = -a*i + 13*i - 3*z, -2*i = -z - 198. Is 9 a factor of i?
True
Let i = -86 + 137. Let c = 53 + i. Does 52 divide c?
True
Let v(p) = p**3 + 6*p**2 - 17*p + 1. Let j be v(-8). Let s be -126*(j/7 + -3). Is 48/s - (-1094)/18 a multiple of 35?
False
Let o be (-2)/((-5 - -4) + 0). Let p = 160 - 114. Suppose -o*l = -0*l - p. Is l a multiple of 10?
False
Let j = 76 + -132. Let f be (-3127)/(-7) - 16/j. Suppose 6*b = 99 + f. Is b a multiple of 9?
False
Let l = -57 + 126. Let s(x) = -x**2 - 10*x - 9. Let n be s(-9). Suppose n = 2*m + 2*j - 96, 183 = 5*m + j - l. Does 3 divide m?
True
Let n = 9 + -1. Let y(j) = 15*j + 718. Let s be y(-47). Suppose -n*b + 253 = s. Does 5 divide b?
True
Suppose -5*f = 80 - 45. Let q(g) = -3*g - 17. Let j be q(f). Suppose h = 3*b + 178, -4*b - j = 4. Does 14 divide h?
False
Let b(h) = h**3 - 16*h**2 - 33*h - 11. Suppose 5*l - 5*t = 75, -7*l = -11*l + t + 72. Is 6 a factor of b(l)?
False
Let r(n) = n - 4*n**2 - n**3 - 6*n + 2*n - 27 - 3*n + 4*n. Is 44 a factor of r(-9)?
True
Let w = 17603 - 14060. Is 6 a factor of w?
False
Does 65 divide (3/(12/2))/((-8)/(-24368))?
False
Suppose 8*y + 354651 + 790779 = 41*y. Does 166 divide y?
False
Let x be (-43424)/56 - (-9)/21. Let j = -502 - x. Is 21 a factor of j?
True
Let f be 8 + 3*3*(-5)/15. Suppose 5*b = r - 605, 1396 = f*r + 4*b - 1774. Is r a multiple of 10?
True
Let n be -2 + (-56)/(-12)*15. Let z = -55 + n. Suppose -s = -z - 16. Does 11 divide s?
False
Let j = 463 + 243. Suppose -5*f - 6*b + j = -3*b, -3*b = -6. Let z = f + -79. Is z a multiple of 5?
False
Let x = 65 + -10. Let n(s) = s**3 - 14*s**2 + 35*s - 52. Let u be n(12). Let y = u - x. Does 25 divide y?
True
Suppose -395 = -a + 2*v + 4190, 0 = 3*v