-2*r + 5726 = 8*s - 6*s. Does 33 divide r?
True
Let x = -23 + 30. Suppose -39 = -2*b - 3*m - x, 0 = b + m - 17. Let s(i) = i**2 - 20*i + 44. Is s(b) a multiple of 25?
True
Let w(a) = -a**3 + 34*a**2 - 35*a + 66. Let s be w(33). Suppose -4*h + 16 = s, -887 = -u - 3*h + 266. Is 15 a factor of u?
False
Let v(f) = 34*f + 442. Does 7 divide v(-8)?
False
Suppose -17*v + 16*v + 45365 = 5*h, -h + 2*v + 9062 = 0. Is h a multiple of 8?
True
Let h(q) = -6*q + 1091. Is 25 a factor of h(-64)?
True
Let z(j) = 3*j**3 - 14*j**2 + 13*j - 15. Suppose 4*n - 3*d = 24, -4*d - 24 = -3*n - n. Does 27 divide z(n)?
False
Is 28 a factor of 5 + ((-26984)/(-38) - 192/1824)?
False
Suppose 355*u + 22895 = 360*u + 5*v, -4582 = -u - 2*v. Is 4 a factor of u?
True
Let x(r) = 5*r**3 - 45*r**2 + 218*r + 37. Is x(20) a multiple of 48?
False
Let x(q) = q + 1767. Is 7 a factor of x(31)?
False
Suppose 4*h + 4*t = 41800, 3*h - 4*t = h + 20936. Is 11 a factor of h?
False
Let x(n) = -20*n**3 - 7*n**2 - 57*n - 29. Does 37 divide x(-9)?
False
Let i be (-11 + 14 - (-10)/(-3))*0. Suppose 0 = 5*t - l - 365, i = -5*l - 70 + 95. Is t a multiple of 37?
True
Let i(c) = -c**2 - 21*c + 10. Let o be (1/((-15)/(-18)))/((-2)/(-15)). Let l be ((-3)/o)/(4 - (-681)/(-171)). Is 16 a factor of i(l)?
True
Let w = -689 + 1419. Suppose w*n + 112 = 737*n. Is 4 a factor of n?
True
Suppose -4*k + 456 = -2*k. Let o be 7/4 + -7*7/(-196). Suppose -o*u - 223 = -5*w, u = 5*w + 4*u - k. Does 7 divide w?
False
Let d(u) = -5*u**2 + 50*u + 32. Let v be d(14). Let b = -222 - v. Is b a multiple of 13?
True
Suppose -h = -2*h + 5. Let q(s) be the second derivative of 2*s**3/3 + 15*s**2/2 - 2304*s. Is 7 a factor of q(h)?
True
Suppose 3*a = -240*y + 236*y + 19748, 4*a - 2*y = 26316. Is 14 a factor of a?
True
Suppose -2*d = w - 222, -2*d = 4*w - 244 + 22. Suppose 0 = 5*l + d - 136. Suppose l*t = 105 + 75. Does 8 divide t?
False
Suppose 19*j - 197102 = 20372. Does 17 divide j?
False
Let c = 213 + -212. Does 22 divide (348/(-3) - c)*(-120)/45?
False
Suppose 4*z + 52*z - 249760 = 0. Is 5 a factor of z?
True
Suppose 5*n + 1617 = 6*n - 5*a, -4*a = -2*n + 3192. Is n a multiple of 2?
True
Let f(x) = -x - 5. Let h be f(-8). Suppose 4*j - z + 13 = 33, h*z = 0. Suppose j*b = 3*m + 2*b - 45, -4*m - 3*b = -81. Is m a multiple of 15?
False
Let d = -49 + 277. Suppose -d = 472*m - 476*m. Is m a multiple of 54?
False
Let q(s) = -582*s - 243. Is 9 a factor of q(-12)?
True
Suppose r - 5*m - 1 = 2, 0 = -3*m + 12. Suppose 980 = 43*q - r*q. Is q a multiple of 7?
True
Let s(k) = k**2 - 73*k + 283. Does 9 divide s(111)?
False
Let o = 4616 + -4448. Does 3 divide o?
True
Suppose 8*c + 5 = 29. Suppose -s - c*s = s. Suppose -5*i + 434 - 44 = s. Is 16 a factor of i?
False
Let d be 2486/11*(1 + 0). Let w = d + -124. Let p = 238 - w. Is 12 a factor of p?
False
Let z = 11109 - -11892. Is z a multiple of 17?
True
Let a(t) = -t + 20. Let n be a(17). Let x be 9/n*-4*(-3)/12. Suppose -x = -8*z + 469. Is z a multiple of 20?
False
Suppose i - 677 = -3*k, k + 2*i = -1394 + 1613. Is k a multiple of 3?
False
Let c(x) = -24*x + 12. Let m be c(-10). Let p = m - 156. Is 16 a factor of p?
True
Suppose -5*t = 4*a - 30369, -23*a = -28*a + 4*t + 37992. Is 6 a factor of a?
True
Let s = 87 - 93. Let x(a) = -2*a**3 - 6*a**2 - 10*a - 7. Is 9 a factor of x(s)?
False
Is 8 a factor of (9572/(-12) - -2)/(2/(-6))?
False
Let k = -92 + 137. Suppose 211 - k = -2*x. Let o = x + 141. Is 24 a factor of o?
False
Suppose -51*b = 33 + 273. Let w = -56 - -30. Is (-20)/b*(-39)/w a multiple of 5?
True
Suppose -3*k - 253 = 5. Let s = k + 89. Suppose 3*w - 73 = -c, 0*c - s*c - w + 259 = 0. Is c a multiple of 22?
True
Let u = 23 - 12. Let q(x) = 2*x**2 - 23*x + 18. Let v be q(u). Suppose -2*t + 4*o + 270 = 0, -4*o = v*t - 4*t - 405. Does 27 divide t?
True
Suppose 0 = -r + 2*y + 74, -288 = -4*r - y + 5*y. Let l = r + 50. Does 12 divide l?
True
Let u(r) = 10*r**2 - 12*r + 96. Suppose -24*x + 27*x = -o + 17, 35 = 5*x - 5*o. Does 16 divide u(x)?
True
Suppose 3500*d + 14382 = 3517*d. Does 22 divide d?
False
Let y(o) = -o**2 + 3*o - 2. Let s be y(1). Suppose 2*b = j + 537, s*j + 1350 = 5*b - 4*j. Is b a multiple of 14?
True
Suppose -6*g + 33*g + 7*g = 754732. Is g a multiple of 54?
False
Let u = 339 + -327. Suppose -u*z + 1873 = -419. Is z a multiple of 23?
False
Let u(j) = -548*j - 1034. Is u(-14) a multiple of 26?
False
Suppose 3*s - 3*k + k + 7 = 0, 0 = -3*k + 15. Let u be (0/3)/(s*-2). Suppose -28 = -q - 2*f - u*f, 3*f = 2*q - 56. Is q a multiple of 4?
True
Suppose -h - 161*l = -158*l - 3615, -4*h + 14395 = -l. Is h a multiple of 6?
True
Is 23 a factor of 1223 - (-4)/12*-12?
True
Let u(b) = b**3 - 10*b**2 + 14*b - 40. Let s be u(9). Let d(h) = h**3 - h**2 - h. Let m be d(0). Suppose 4*v - 3*j + 55 - 210 = m, j = -s. Is 7 a factor of v?
True
Suppose -5*o = -7*o + 4, 2*z - 11*o = 2078. Does 210 divide z?
True
Let j be (-4)/14 - (-58188)/(-182). Let b = -152 - j. Is b a multiple of 20?
False
Is (-11024)/(-38) - (-160)/(-1520) a multiple of 29?
True
Is 40 a factor of (13350/35)/(((-153)/84)/(-17))?
True
Let n = -354 + 116. Let y = -66 - n. Is 19 a factor of y?
False
Is 124 a factor of -4 - (15 + (-869)/55)/((-1)/(-19225))?
True
Let y be (86/(-8))/(13/364). Suppose -552 = -5*i + 8*i. Let q = i - y. Does 9 divide q?
True
Let r(h) = 54*h**2 + 2*h + 189. Is r(9) a multiple of 7?
False
Suppose -4*p + 35 = -9. Let u = p - 9. Suppose -3*v + d = -2*d - 381, -4*d = u*v - 248. Is 14 a factor of v?
True
Suppose 0 = -5*i - h - 6361 + 31529, 9 = 3*h. Is i a multiple of 19?
False
Suppose -15 = -3*t, 3*y + 5*t - 5904 = 7750. Is y a multiple of 59?
True
Suppose -3013 = -4*u + 3*u. Suppose u = 2*o + 541. Suppose -7*x + x = -o. Is 43 a factor of x?
False
Let o = -157 + 196. Is 8 a factor of 2/(-13) + 2814/o?
True
Let a(l) = l**3 + 21*l**2 + 38*l - 16. Let f be a(-19). Let j = -13 - f. Suppose 0 = -y + 2*x - 0*x + 68, 198 = j*y - 3*x. Does 16 divide y?
True
Suppose -16*u + 83*u = 290579. Is u a multiple of 23?
False
Let f = -8142 - -9155. Does 8 divide f?
False
Does 51 divide (414/4 + 17)*(0 + 18)?
False
Suppose 5*j - 3208 = -4*g, -102*g + 106*g - 1928 = -3*j. Is j a multiple of 8?
True
Let j(o) be the second derivative of o**5/20 - 3*o**4/2 + 2*o**3/3 + 6*o**2 + o. Let l = 248 + -230. Is j(l) a multiple of 12?
True
Let i be (305/20)/(2/(-56)). Let y = -231 - i. Is 2/10 - (-4)/(80/y) a multiple of 5?
True
Suppose 20*u - 24*u + 300 = 0. Suppose n + l - u = -27, 3*l - 188 = -4*n. Is 22 a factor of n?
True
Let q(o) = o**3 + o**2 + 3*o - 47. Let s(a) be the first derivative of 5*a**2/2 - 9*a - 2. Let d be s(3). Is 45 a factor of q(d)?
False
Does 8 divide (-24934272)/(-3256) - (-2)/37 - 2?
True
Is (780/(-24))/(3 - 12733/4242) a multiple of 35?
False
Let a(c) = -51*c**3 + c**2 + 4. Let n be a(-2). Let u be (14/4)/((-26)/n). Does 11 divide (-165)/6*u/10?
True
Let k be 1 + -10 + (-13375)/25. Let y = 1423 + k. Is 9 a factor of y?
False
Let a(k) be the first derivative of 11*k**2/2 + 147*k - 164. Is 16 a factor of a(7)?
True
Suppose -8777 = 4*u + 3*i, 2*i + 2*i = 3*u + 6564. Does 10 divide 1/((-1660)/u - (-6)/(-8))?
False
Let o(g) = -g**3 + 47*g**2 + 49*g - 28. Let w be o(48). Suppose 0 = -5*s + 4*h + 258, 0 = 2*s - 6*s + 3*h + 206. Suppose -s + w = -d. Is 10 a factor of d?
True
Suppose -2*b = -217 + 51. Let q be 6/(-4) + b/2 + -3. Let r = 70 - q. Is 11 a factor of r?
True
Let m(w) = -w**3 + 61*w**2 + 123*w - 181. Does 11 divide m(54)?
True
Let v(t) = 14*t**2 - 2*t - 1. Let l = 8 + -5. Let u(a) = a**3 - 3*a**2 + a - 4. Let f be u(l). Is v(f) a multiple of 6?
False
Suppose -7*h = -8*h - 61. Let k = 139 - h. Suppose 12*x = 10*x + k. Is 25 a factor of x?
True
Let i(q) be the first derivative of q**7/840 - q**6/72 - 11*q**5/120 - 3*q**4/8 - 4*q**3/3 + 24. Let c(o) be the third derivative of i(o). Does 10 divide c(8)?
False
Suppose -8*c = -10*c - 156. Let d be 3/(9/5)*c. Let s = d - -222. Does 21 divide s?
False
Let j = 1813 + -139. Let m = 2709 - j. Is m a multiple of 45?
True
Let z = -3147 + 4625. Does 6 divide z?
False
Let a = 146 + -143. Suppose 0 = -5*j + a*j + 52. Is 13 a factor of j?
True
Let i(r) = 41*r**3 - 2*r + 1. Let n be i(1). Let h = -5167 - -5200. Let v = n - h. Is v a multiple of 2?
False
Suppose -5*o = -4*c - 127