= -27*q. Is 16 a factor of (1170/4)/5*q/9?
False
Let o be (-3)/18 + 10325/(-42). Let k = o - -829. Is 52 a factor of k?
False
Let n(q) = 56*q**2 - 81*q - 6. Does 2 divide n(5)?
False
Let b be 9/9*1/(-1). Let p(m) = -6*m**2 + m + 2. Let d be p(b). Let j(q) = -q**3 - 3*q**2 - q + 11. Is 22 a factor of j(d)?
True
Suppose -5*b + 280 = 9*b. Does 25 divide b*(7 - 11/(-2))?
True
Suppose 2893 = k - 3*n, -k - n + 3189 = 296. Suppose k = 21*l - 719. Is 15 a factor of l?
False
Let p = 1108 - 2177. Let t = 1601 + p. Is 14 a factor of t?
True
Let d = 399 - 431. Is (-552)/(-2)*(-24)/d a multiple of 3?
True
Let s(y) = 4*y + 8. Let l be s(-14). Let j = l + 372. Let x = j - 165. Is x a multiple of 13?
False
Suppose -114*i - 395700 = -1168490 - 1692346. Does 136 divide i?
True
Let m = -10838 - -18821. Does 80 divide m?
False
Let b be 3*(5 - (-1 + 5)) - 3. Suppose b = 3*g - 6, -g = -t - 4*g + 319. Does 39 divide t?
False
Suppose d - 22 = 24. Let g = d + 49. Suppose -94*h = -g*h + 25. Does 25 divide h?
True
Let c = 691 - 466. Let n = c + -45. Let d = 257 - n. Is d a multiple of 7?
True
Is 147 a factor of (1 - 8867*-3) + 13/(-117)*-45?
True
Suppose -5*i + 204 - 59 = 0. Let s = 103 - i. Let m = 88 - s. Does 2 divide m?
True
Let j(g) = -g**3 - g**2 - g - 1. Let i be j(-3). Let b = 20 - i. Suppose b = k - 29 - 73. Is 17 a factor of k?
True
Let l = -6658 + 16594. Does 9 divide l?
True
Suppose 3*z - 6811 = -s, 20*z - 15*z + 20461 = 3*s. Is s a multiple of 17?
True
Let y(f) = 20*f**2 + 5*f**2 - 217*f + 269*f + f**3 + 58. Is y(-22) a multiple of 15?
False
Let h(a) = -7*a + 4. Let p be h(-7). Suppose -i = p - 141. Is i a multiple of 12?
False
Suppose o + 3*d - 11 = 0, 4*o - 4*d + 41 = d. Does 69 divide (-3)/(o/(-4856)*-6)?
False
Let j = -29 + 7. Let f be (-4)/j - (-60)/33. Is f + (1528/40 - (-1)/(-5)) a multiple of 10?
True
Let f = -2329 - -4707. Is 135 a factor of f?
False
Suppose -234 = -5*f - 4*h, 2*f - f = 4*h + 66. Suppose -b + 102 - f = 0. Is 26 a factor of b?
True
Let b = 7768 + -2792. Suppose -8*z + 24*z - b = 0. Does 42 divide z?
False
Let g(l) = -2*l + 40. Let j be g(18). Suppose -o - 678 = 3*d, j*d - 3*d + 240 = -5*o. Is 25 a factor of (3 - 5)*d/6?
True
Suppose 2*v = 3*u + 7645 - 2124, 0 = -3*v + 4*u + 8279. Is 9 a factor of v?
False
Let s = -19 - -40. Let x(a) = -5*a - 244. Let q be x(-47). Let r = q + s. Does 6 divide r?
True
Let j(p) = -p**3 + 10*p**2 + 3. Let g be j(10). Let s be ((-117)/27 + 4)/(1/(-6)). Suppose -g*k + 330 = s*k. Is k a multiple of 33?
True
Let g be -1*12*(74/8 + -7). Is ((-20)/(-6))/(g/(-486)) a multiple of 6?
True
Suppose -73*a + 563518 = -2029734. Is 166 a factor of a?
True
Let f be (7/((-105)/1460))/(-4)*-9. Let w be -12*(-2 - 123/(-12)). Let u = w - f. Is 15 a factor of u?
True
Let p(o) = 25*o - 37. Let m(x) = 13*x - 19. Let g(j) = 5*m(j) - 3*p(j). Let r(c) = c**3 - 9*c**2 + 7*c + 1. Let u be r(8). Does 15 divide g(u)?
False
Suppose -23*n = 298347 - 701717 - 214870. Does 240 divide n?
True
Let f(l) = -4*l**3 - l**2 + 10*l + 7. Suppose 16*d = -35 - 29. Is 9 a factor of f(d)?
True
Let v = -678 - -79. Let z = 731 + v. Is 6 a factor of z?
True
Let j be (5/10 + 2/(-4))/2. Suppose 14*y - 15*y + 50 = j. Is 4 a factor of y?
False
Let m(x) = 2*x**2 - 10*x - 11. Let q be m(7). Suppose 14*i - q*i - 1625 = -2*b, -3265 = -4*b + i. Is b a multiple of 19?
True
Let u = -5208 + 8834. Does 49 divide u?
True
Does 13 divide 1536/15 - (8/(-70))/(32/(-112))?
False
Let u = -621 - -2415. Does 78 divide u?
True
Let h(v) = 553*v - 9618. Is h(56) a multiple of 50?
True
Suppose -129785 = -5*o - 3*f, -f + 6*f + 51945 = 2*o. Suppose 143*k - 163*k = -o. Does 59 divide k?
True
Let k be 44/33 + (-3)/9. Is 19 a factor of 103 + -1 - (6 + k)?
True
Let b = -335 - -223. Let i = b + 160. Is 10 a factor of i?
False
Suppose -4*y + 6 = 2, -a - 5*y + 39 = 0. Suppose -15*u + 41 = -a. Does 6 divide 45/u*2/3?
True
Let h(y) = 4228*y + 700. Is h(2) a multiple of 7?
True
Let d = 9 - 6. Is 19 a factor of 18*(d - 0) + -55 + 52?
False
Let s = 115 - 115. Suppose 0 = -3*b - 3*d - 3, -3*d - 3 = -2*b - s*b. Suppose -3*o = -4*g + 212 + 256, b = -g - 2*o + 117. Does 9 divide g?
True
Let q = 4 + 2. Let x(l) = -994 + 355 - 7*l + l**2 + 317 + 358. Does 7 divide x(q)?
False
Let i(r) = r**3 - 5*r**2 - 6. Let g be i(5). Let j(v) = -110*v + 15. Let o(t) = 45*t - 9. Let f(n) = 3*j(n) + 7*o(n). Is f(g) a multiple of 9?
True
Let a(l) = -1662*l - 116. Is a(-1) a multiple of 16?
False
Let c(w) = -w**2 + 69*w + 179. Does 45 divide c(33)?
False
Suppose -4 = -2*i, 38 = 4*o - o + 4*i. Suppose -4*t + 22 = o. Suppose 3*x + 7 - 55 = t*s, 3*x - 60 = -s. Does 16 divide x?
False
Suppose 0*v = 10*v - 2270. Suppose v = 2*x - 241. Is 37 a factor of x?
False
Suppose 2*b + 14*b = -48. Let s(u) = -36*u - 83. Is s(b) even?
False
Let s = 25508 + -17075. Does 9 divide s?
True
Let s(o) = 516*o - 496*o + 197 + 10. Is 13 a factor of s(0)?
False
Let i(m) = -68*m**2 + 62*m**2 + 8*m - 9*m**3 - 6 + 10*m**3. Suppose 0 = -b + d + 2, 5*b - 37 = -2*d - 2*d. Is 2 a factor of i(b)?
False
Let z = 19406 + 1657. Is z a multiple of 51?
True
Let w be 18/(-6)*-1*2/3. Is (-1)/((-98)/(-20) + (-10)/w) a multiple of 5?
True
Let c(w) = 7*w**3 + 4*w**2 - 6*w - 4. Let f be c(4). Suppose -f = -z - t, 4*z = 3*t + 485 + 1423. Is 24 a factor of z?
True
Suppose 0 = 15*w + 6*w - 126. Let z(a) = a**3 - 6*a**2 + 9*a + 12. Is z(w) a multiple of 52?
False
Let w(o) = -o**3 - 33*o**2 + 125*o - 371. Is 16 a factor of w(-41)?
True
Let j(y) = 2*y**3 + 60*y**2 + y + 68. Let w be j(-30). Let r = 129 + -45. Suppose -2*u = -w - r. Is 8 a factor of u?
False
Does 20 divide ((-2)/4 - 0)*((-34468 - 84) + -78)?
False
Let p(s) = 2775*s**2 + 1470*s + 5865. Is 11 a factor of p(-4)?
True
Let s(v) be the third derivative of v**4/6 + 13*v**3/2 - 193*v**2. Let b be 63/2*(-4)/(-6). Is 10 a factor of s(b)?
False
Suppose 31*o - 27*o = -76. Let m(j) = 3*j + 61. Does 2 divide m(o)?
True
Suppose 8*c = 9*c - 126. Let t = -126 + c. Suppose -36 = -2*m - p, 2*p + t*p = 3*m - 40. Is m a multiple of 16?
True
Suppose 62*h = 229560 - 39282. Is 9 a factor of h?
True
Suppose 5*p - 6929 = u, -563*u + 4157 = 3*p - 564*u. Is p a multiple of 63?
True
Is (13419443/289)/1 + (-3)/51 a multiple of 32?
False
Let w(m) = 621*m - 13124. Is w(64) a multiple of 121?
True
Let z = -52 - -29. Let f = z - -26. Suppose -28 = -f*y + 17. Does 4 divide y?
False
Suppose 13*g + 2700 = 19*g. Let b = g + -233. Is b a multiple of 47?
False
Let a(u) = 2*u**3 - 11*u**2 - u + 463. Does 8 divide a(19)?
False
Does 10 divide 2332875/50*8/20?
False
Let z(o) = 35*o - 54. Let c be z(9). Suppose 5*m - c = 2*m. Suppose 3*t - 8*a = -4*a + 122, 3*a = -3*t + m. Does 6 divide t?
False
Let s = 146 + -101. Let y = 51 - s. Is 6 a factor of y?
True
Is 42 a factor of 47*427 + -7 + -1 + 10?
False
Let o(t) = 3*t**2 + 28*t - 35. Let d(q) = 11*q**2 + 84*q - 104. Let z(j) = -2*d(j) + 7*o(j). Does 3 divide z(23)?
True
Suppose 1525463 = 291*f - 2632927. Is 105 a factor of f?
False
Let w = -13339 + 41840. Is w a multiple of 8?
False
Let y = 74886 - 37304. Does 38 divide y?
True
Let v = -149 - -319. Suppose -b - 425 = -5*a + b, -2*a + v = -2*b. Let u = -31 + a. Is u a multiple of 27?
True
Let d = -69 - -117. Let c = -81 - -40. Let s = c + d. Does 4 divide s?
False
Suppose -2*s + 19830 = 4*u - 1838, -s = -5*u - 10799. Is 123 a factor of s?
True
Suppose 40*z = 50*z + 10. Is (92/7)/(z/35*-10) a multiple of 46?
True
Suppose -4*u - 4*c - 284 = 52, 2*c = -4*u - 328. Is 8 a factor of (6 - 2)/((-20)/u)?
True
Does 32 divide (-96)/(16 - 4) - (-3891 + 2)?
False
Let r(u) = -u**2 - 22*u + 244. Let k be r(-30). Suppose 3*v = -k*c + 426, -102 = -c + 12*v - 15*v. Does 54 divide c?
True
Suppose 65*x - 474941 + 87866 = 0. Is 6 a factor of x?
False
Let u = -345 + 367. Suppose 9*f = u*f - 10673. Does 12 divide f?
False
Let h(l) = l**3 - 23*l**2 + 82*l - 25. Let v be h(18). Let x = 370 + v. Is x a multiple of 18?
False
Let i be 1*(-2 - 3 - (-2 - 3)). Is 8 a factor of 0 - i - (12 - (8 - -290))?
False
Suppose 0 = -2*r + 4*t - 6, 2*r + 4 = -t + 3*t. Does 22 divide 1194/6 + -3 - 2*r?
True
Let k(o) = -19*o + 66. Let m(i) = 9*i - 34. Let t(w) = -3*k(w) - 5*m(w). Is t(15) a multiple of 8?
True
Let p(j) = -10*j - 73. Suppose -4*m + 2*m = -5*n - 50, -2*n - 31 = -3*m. Let v