**2 + i + 9. Let o be ((-6)/18)/((-2)/6). Does 17 divide b(o)?
True
Let j(f) = -f**3 - 55*f**2 + 9*f + 310. Does 14 divide j(-56)?
False
Let k(u) = 12*u**2 + 6*u + 598. Is k(24) a multiple of 4?
False
Suppose -8*l - 10 = -3*l. Let u be (1 + l)*(-1 - 3). Suppose 2*x + 74 = 3*y, -2*x - x = -u*y + 98. Is y a multiple of 7?
False
Let p = 5103 + 5720. Is p a multiple of 14?
False
Let r(c) = c**3 - 5*c**2 + 27. Suppose 0 = -3*p - v + 20 - 1, -1 = 3*p + 5*v. Does 73 divide r(p)?
True
Let n = -7942 + 16392. Does 130 divide n?
True
Does 149 divide (-40)/140 - 12/(-189) - (-254792)/9?
True
Suppose -8*z - 108492 = -12*z - 4*m, m = -2*z + 54244. Does 13 divide z?
False
Let k(t) = 778*t**2 + 1975*t + 2. Does 227 divide k(5)?
False
Let v be (-4)/(((-12)/(-3533))/(-6)) - 6. Suppose -30*f + v = -20*f. Does 5 divide f?
False
Let x = 2359 + -1654. Let h = -454 + x. Is h a multiple of 19?
False
Let r = 26 - -10. Let s = r - 33. Suppose 0 = 9*x - s*x - 1284. Is x a multiple of 52?
False
Suppose -j + 70 = -50. Let d = j - 115. Is 5 a factor of d?
True
Suppose 431*r - 426*r = 1460. Is 21*r/6*2/4 a multiple of 23?
False
Does 15 divide (0 - -3423)*4240/1484?
True
Let t be 2*(12 - (7 - 9)). Let s(i) = 9 + i**3 + 11 + 0*i**3 - 29*i**2 + 30*i. Does 13 divide s(t)?
False
Let n = -111 + 113. Suppose 42 = -n*l + 146. Is l a multiple of 4?
True
Suppose 0 = 6*q - 11*q + 775. Let o = q - 103. Is 18 a factor of o?
False
Suppose -76 = -n - 3*n. Let c = n + 101. Suppose -384 = -7*l + c. Does 12 divide l?
True
Suppose 72*b - 643485 - 198627 = 0. Is 272 a factor of b?
True
Let y(r) = 21583*r**2 - 126*r + 11. Is y(2) a multiple of 37?
False
Let y = 108 + -109. Let a be y - (-2117 + (-2)/(-1) - -2). Suppose 8*n - a = -0*n. Is n a multiple of 12?
True
Suppose 0 = -5*h + 3*f + 9 + 6, -4*h - 5*f + 12 = 0. Suppose 204 = 2*a + 4*r, h*a - 5*a + 3*r + 211 = 0. Does 6 divide a?
False
Does 55 divide 37/74*-11372*(-1)/2?
False
Let k(z) = -265 - 2*z**2 - z + 4*z**3 - z**3 - 4*z**3 + 268. Let x be k(-2). Suppose 5*m - n - 361 = -0*m, -3*m + 221 = -x*n. Does 9 divide m?
True
Let d = -161 - -1687. Suppose d = 4*l + w, -l + 75 = -5*w - 296. Is l a multiple of 69?
False
Let c = -106 + 106. Is 2 a factor of (-1)/(c + (-2)/36)?
True
Let a(s) = -8*s + 24. Let h be a(9). Let v = h + -2. Let q = 82 + v. Is 15 a factor of q?
False
Let a be 6/5*2/(12/(-45)). Is 3/a + 380/6 even?
False
Let q = -269 - 118. Let v = 253 - q. Does 32 divide v?
True
Suppose -10 = 2*z, 5*i - z + 27 = 9*i. Suppose -i*w - 2149 = -11*w - a, -718 = -w - 2*a. Is w a multiple of 11?
False
Let a(k) = 2*k - 16. Let h be a(-6). Let j = 33 + h. Suppose -t - y = -3 - j, 2*y = 4*t - 32. Does 4 divide t?
True
Let b = 95295 - 55388. Does 9 divide b?
False
Suppose 2*r = -2*r. Let n be 49/1 - (1 - r)/1. Let b = n - -59. Is 12 a factor of b?
False
Is (1/(-4))/((-73)/(-2336)) - (0 + -28996) a multiple of 186?
False
Suppose 0 = -240*d + 812685 + 61635. Is d a multiple of 13?
False
Let i be ((-126)/(-10))/((-42)/(-140)). Is 25 a factor of (-23116)/(-28) + (-24)/i?
True
Let i(l) be the third derivative of 229*l**5/30 + l**3/6 - 3*l**2. Let d be i(-1). Suppose -7*h + 1614 = d. Is 15 a factor of h?
True
Suppose 5*t = 0, -n + 0 + 13 = 4*t. Let y(i) = -i**3 + 19*i**2 - 31*i + 19. Is 15 a factor of y(n)?
True
Let b = -1690 + 2637. Does 21 divide b?
False
Let d(t) = -174 + 46*t**2 - 19*t**2 - 7*t**2 - 23*t - 19*t**2. Is d(-7) a multiple of 29?
False
Suppose -2*d = -2*y + 48, -4*y + 151 = -3*d + 56. Suppose -4*c + y = -3*t, t = 2*c - 9 - 0. Let u(w) = w**2 + 4*w + 1. Does 2 divide u(c)?
False
Suppose 0 = 9*o + m - 211326, 22576 = 2*o - 3*m - 24366. Does 24 divide o?
False
Let i(j) = -436*j - 5251. Is 3 a factor of i(-13)?
True
Suppose 3*p - 4*w + 834 = w, 0 = -3*p - 5*w - 864. Let n = p + 411. Does 8 divide n?
True
Let f(b) = b**3 + 24*b**2 - 2*b + 40. Is f(-20) a multiple of 11?
False
Let r = -1610 + 1890. Does 7 divide r?
True
Let q(i) = -662*i - 2280. Is 84 a factor of q(-19)?
False
Let m = -3835 + 7725. Does 17 divide m?
False
Let u = 219 + -40. Suppose -182*s = -u*s - 1239. Does 18 divide s?
False
Let n(r) = 13*r**2 + 29*r + 11. Let i(s) = -3*s**2 + 1. Let b(q) = -4*i(q) - n(q). Suppose -3*p - 2*p - 70 = 0. Does 15 divide b(p)?
True
Is 165 a factor of -11 + 756/70 - 13202/(-10)?
True
Let p = 6603 - 1479. Is 61 a factor of p?
True
Let g = -36199 - -50385. Is 82 a factor of g?
True
Is 38 a factor of (-1)/(4/(2*-8)) + 2 + 29646?
False
Let q(h) = -2*h**2 - 170*h + 196. Is 43 a factor of q(-82)?
True
Let q(u) = u**3 - 17*u**2 + 32*u - 85. Let y be q(20). Suppose -6*r = -1389 - y. Is r a multiple of 13?
False
Let g(l) = -7*l + 183. Let o(v) = 2. Let p(s) = -g(s) - 5*o(s). Is p(37) a multiple of 10?
False
Suppose -43*z + 22*z + 19950 = 29*z. Does 7 divide z?
True
Let c(m) = m**3 + 62*m**2 - 9*m - 71. Is c(-48) a multiple of 9?
False
Is 123190/42 - (-308)/(-3234) a multiple of 36?
False
Let s = 12109 - -13907. Is s a multiple of 5?
False
Let f(s) = -s**3 - s**2 - 2*s. Let g(z) = -2*z**3 - 2*z**2 + 16. Let c(n) = 4*f(n) - g(n). Does 25 divide c(-7)?
False
Let a = -298 - -307. Is (-48)/a*(-189)/12 a multiple of 12?
True
Suppose 3*o + 2*r = 165, 91*r = 5*o + 96*r - 270. Let c = 218 + o. Is 6 a factor of c?
False
Suppose -1061 + 11654 = 9*b. Let a = 1801 - b. Does 48 divide a?
True
Let i = -21949 - -34456. Does 11 divide i?
True
Let k(w) = -11*w**3 + 3*w**2 + w + 3. Let a be k(-3). Suppose 7*z = 19 + a. Does 7 divide z?
True
Suppose 0 = 11*l + 73 + 169. Let w(a) = a**3 + 22*a**2 - 29*a + 28. Is w(l) a multiple of 37?
True
Suppose -60*y = -37*y - 2001. Let a(z) = -z - 48. Let t be a(0). Let g = y + t. Is 13 a factor of g?
True
Does 5 divide (16/(-30))/(648/810) - 82804/(-6)?
True
Let n = 4822 - 3129. Is n a multiple of 4?
False
Let j(i) = 33*i**2 - 12*i + 26. Let w be j(3). Suppose -w = -c + 984. Is 15 a factor of c?
False
Suppose -14*f + 5492 + 28379 = -43241. Does 27 divide f?
True
Let t = -32 - -35. Suppose 2*q - t = -9. Is ((-5148)/8)/11*2/q a multiple of 18?
False
Let n = -908 - -3193. Is 107 a factor of n?
False
Let h(d) = -d**3 + 3*d**2 + 5*d. Let z be h(5). Let b be 5/z + (-31)/(-5). Suppose 224 = -b*t + 10*t. Is t a multiple of 13?
False
Let z be (-24 - -27)*(-10)/(-6). Suppose 3*v + 24 + 238 = 4*h, -z*v = -3*h + 191. Does 2 divide h?
False
Let v(c) = -6*c**3 - c**2 - 22. Let a be v(-5). Suppose 0 = 5*h - a + 73. Does 15 divide h?
False
Let y be -2*(6 + -9) - (4 + -2)*2. Suppose u + 2 = 0, -5*k + 4*k + 7 = -2*u. Suppose y*c = k*a + 117, 2*c - 57 - 57 = 4*a. Is c a multiple of 16?
False
Suppose -7*t + 5*t + 37400 = 4*y, 0 = 4*y + t - 37406. Is y a multiple of 47?
True
Let d(a) = 4*a + 23. Let v be d(-5). Suppose -p + 5*i = -134, 0 = 4*p - v*i + i - 446. Is p a multiple of 14?
False
Suppose 7*n = 2*n + 5*x + 16300, n + x = 3256. Suppose 0*l - 9*l + n = 0. Is 9 a factor of l?
False
Suppose -p + 494 = -4*w, -4*p + 0*w = 5*w - 2081. Suppose 2*o + 4*i = p, o + 103 - 366 = -5*i. Let c = o - 109. Is 24 a factor of c?
True
Let o = 36 - -9. Let j = o - 45. Suppose j = -8*x - 0*x + 544. Is x a multiple of 17?
True
Let z(y) = 845*y**2 - 4*y + 4. Let w be z(2). Let j = w + -2056. Is 9/((-5)/j*-6) a multiple of 33?
True
Let v = 2975 + -2471. Is v a multiple of 116?
False
Suppose -9*d + 11*d = 768. Suppose 19*o - d = 11*o. Is 12 a factor of o?
True
Let y = 1871 - 929. Is y a multiple of 3?
True
Is 223 a factor of (2/(-4) - 7815599/146)/(-2 + 1)?
False
Let a(h) = -2*h**3 - 65*h**2 + 29*h + 63. Let g(i) = -3*i**3 - 97*i**2 + 44*i + 94. Let m(v) = -7*a(v) + 5*g(v). Does 33 divide m(-31)?
False
Let d = -5835 + 8315. Is 20 a factor of d?
True
Suppose -24*i = g - 23*i - 354, -2*i + 6 = 0. Let w(s) = -12*s**2 + 5*s - 3. Let v be w(-4). Let y = g + v. Is 34 a factor of y?
True
Let t be 1708 - 9*(-6)/9. Suppose -432 - t = -2*u - 3*k, -3*u + 4*k = -3253. Does 12 divide u?
False
Let c be 1719/12*28/3. Suppose 0 = -6*j - j + c. Is 5 a factor of j?
False
Suppose 0 = -3*p + 3*m + 30258, 0 = 31*p - 29*p + 3*m - 20172. Is p a multiple of 14?
False
Let d(o) = 6*o - 88. Let s be d(15). Suppose s*g - 99 = 5*u + 553, 0 = g - 4*u - 329. Is 11 a factor of g?
False
Suppose 6*j - 5*h - 345 = -32, -3*j - 3*h + 162 = 0. Does 18 divide j?
False
Does 10 divide (1 - -1)/((2/(-10))/(-334 - -20)