 607 + -52. Does 19 divide j?
False
Suppose 0 = -24*k + 22*k + 918. Does 27 divide k?
True
Suppose 0*o = 3*o - 9. Suppose -o*r = 4*m - 29, -14 = -2*r + 4*r - 4*m. Suppose 5*i = r*t + 123, -5*i + 100 = -i - 4*t. Is i a multiple of 8?
True
Let w be (16/(-12))/((-2)/6). Suppose 5*m = -z - 23, -7*m = -3*m - w*z + 28. Is 4 a factor of 16 - (m - (-2 + 0))?
False
Suppose 3*j = -4*y - 38, 4*j + 25 = -7*y + 4*y. Let t(o) = -10*o - 13. Let p(x) = -x**2 - x + 1. Let a(c) = -p(c) - t(c). Does 6 divide a(y)?
True
Suppose -5*l + l - 5*u + 45 = 0, 5*l = -5*u + 50. Suppose 5*w + l*q - 23 = 2, 2*w - 12 = -3*q. Is 22 a factor of 183/7 + w/(-21)?
False
Let i = 54 + -88. Let s = i - -46. Is 6 a factor of s?
True
Let k(g) = 5*g + 244. Is 14 a factor of k(-22)?
False
Let h(f) = f + 25. Let b be h(-11). Let p = 41 + b. Let x = 45 + p. Is x a multiple of 25?
True
Let d(u) = 71*u - 20. Is 81 a factor of d(28)?
False
Suppose 0*b + 3*b = 4*r + 21, 5*b = -4*r + 3. Suppose 5*f - 220 = -5*d - 0*d, b*f - 216 = -5*d. Is d a multiple of 32?
False
Suppose 5*y + 471 = 3*f, f - 3*y + 7*y = 140. Suppose -r + 3*r = -f. Let o = r + 149. Does 27 divide o?
False
Let t = -16 + 19. Let u = t - -2. Suppose -5 = u*l, 3*g - 2*l + 0*l - 80 = 0. Is 7 a factor of g?
False
Suppose 4*b + 9*z - 6*z - 397 = 0, -3 = 3*z. Is 10 a factor of b?
True
Let n = 166 + -121. Is n even?
False
Let p be (6*1)/(2/2). Let c(m) = 7*m**2 + 4*m + 3. Let x(w) = 20*w**2 + 11*w + 8. Let a(b) = p*x(b) - 17*c(b). Is 21 a factor of a(-4)?
True
Let o(s) = -s**2 - 20*s - 77. Let c be o(-14). Suppose 11*l - 4*b = c*l + 308, b = 4*l - 314. Is 16 a factor of l?
False
Let i be (-15 + 6/(-3))*-7. Let o = i - 36. Let r = -31 + o. Is 13 a factor of r?
True
Let j = 57 + -28. Let k = 2 + j. Is 6 a factor of k?
False
Let t = 5615 + -3802. Does 32 divide t?
False
Let h(d) = -d**3 - 5*d**2 - 9*d - 8. Let g be h(-5). Suppose 3 = -t - g. Let o = t - -102. Does 17 divide o?
False
Let c = 427 - 300. Let s = -94 + 176. Let d = c - s. Is d a multiple of 15?
True
Let s = -8 - -5. Let h be (368/(-6))/(s/9). Suppose -2*r + h = r - 5*y, 3*y + 312 = 5*r. Is r a multiple of 19?
False
Let l(t) = -4*t**2 + t - 1. Let y be l(1). Let n(p) = p**3 + 9*p**2 + 6*p - 13. Let b be n(-8). Is 10 a factor of ((-99)/(-3))/b - y?
False
Is 2 a factor of 5 + 316*(-2 + (0 - -3))?
False
Let x(g) = -26*g + 16. Let j be x(-4). Suppose 0 = -2*v + 5*v - j. Does 22 divide v?
False
Suppose -3*r + 6*r = 138. Suppose 0 = -4*j + 278 - r. Does 29 divide j?
True
Let n = 245 + -173. Let x be (-1)/(-5) - n/(-40). Suppose 47 = x*q - 6*j + 3*j, q - 2*j - 22 = 0. Is 14 a factor of q?
True
Let g(s) = 195*s + 3. Let i be g(3). Suppose 4*n = -3*n + i. Is 12 a factor of n?
True
Suppose 4*m - 2*m = 3*c + 123, 4*c - 342 = -5*m. Is m a multiple of 11?
True
Suppose m - 18 = 4*m. Let n be 21/14*(-200)/m. Suppose 15 = -5*a + n. Does 7 divide a?
True
Let r be ((-8)/(-5))/(6/(15*10)). Is ((-30)/5 - -11)*(r - 0) a multiple of 25?
True
Let v = 197 - 129. Let b be 2/(-3) + v/12. Suppose -15 = -i - b. Is i a multiple of 7?
False
Let l(f) = -5*f - 55. Is l(-25) a multiple of 10?
True
Let f = 35 + 31. Let v(u) = 2*u + 8. Let s be v(7). Let r = f - s. Does 17 divide r?
False
Let z be (30/(-6) + -5)*2/(-4). Suppose -t + 96 + 16 = 2*o, -z*t = 0. Is 7 a factor of o?
True
Let u(g) = -125*g**3 - g**2 - g + 1. Let p be u(-1). Let m = 239 - p. Does 39 divide m?
False
Suppose 13*r - 49 = 14*r. Let c = r - -139. Is 20 a factor of c?
False
Suppose d = 3*n - 3*d - 40, 5*n - 56 = 4*d. Suppose -3*b - 2 = -n. Does 15 divide -4*((-102)/8 + b)?
False
Let q(n) = -2*n**3 - 3*n**2 - 3*n + 8. Let r(v) = v**3 + v - 1. Let z(b) = q(b) + 3*r(b). Let c be z(7). Let g = -136 + c. Is 13 a factor of g?
True
Let a(q) = q**3 - 13*q**2 + q. Let l be a(13). Let w be (-24)/(-60) - l/(-5). Suppose -w*k = -78 - 39. Is k a multiple of 33?
False
Let c be ((-4)/6)/(9/(-1458)). Let h = c - 238. Let o = -55 - h. Is 25 a factor of o?
True
Let p = -13 - -22. Does 4 divide (p/(-6))/(-1)*14?
False
Does 38 divide 40/(-3)*(-4845)/170?
True
Let s(t) = -t**3 + 8*t**2 - 7*t + 2. Let p be s(7). Suppose -2*f + 354 = p*d, -3*d - f + 529 = -0*f. Is 22 a factor of d?
True
Let x = -199 - -67. Does 5 divide ((-12)/15 - x/15) + 2?
True
Suppose -362 = -3*c - 4*l + 1066, 0 = -5*l + 15. Does 36 divide c?
False
Suppose 2*b + 514 = 5*i, -10*i + 5*i - b = -508. Is 17 a factor of i?
True
Let t = -91 - -106. Is t even?
False
Suppose 10*q - 8 = 12. Suppose 9*w - q*w - 378 = 0. Is 27 a factor of w?
True
Suppose c - 4*q + 109 = -184, 2*c + 591 = 3*q. Let f = 515 + c. Is 30 a factor of f?
False
Suppose s - 33 = 184. Is s a multiple of 37?
False
Let g(d) = 2*d**2 - 12*d - 26. Let m be 588/105*5/2. Is g(m) a multiple of 33?
True
Let o(n) = -n**3 + 13*n**2 - 6*n + 2. Let w be o(7). Suppose 4*v - w - 394 = 0. Is v a multiple of 41?
False
Suppose 8*b = 4755 + 2093. Is 4 a factor of b?
True
Let q(t) = t**3 - t**2 - t + 2. Let r be q(0). Suppose 12 + 16 = -r*v. Let g = v - -26. Does 4 divide g?
True
Let m be (-24)/9*12/(-8). Suppose 0 = -2*n - m, -2*q - 3*n - 14 + 48 = 0. Does 10 divide q?
True
Let g(z) = -z**3 - 3*z**2 - 6*z + 4*z + z**2 + 4*z**2 + 3. Let o be g(3). Is 11 a factor of (-3)/o - 213/(-12)?
False
Let y be 3*(5/2 + 3/6). Suppose -g + y = i, 0 = 3*i + i. Is 9 a factor of g?
True
Suppose 4*i = -4*h + 76, -78 = -4*h - 0*i - 2*i. Is h a multiple of 3?
False
Suppose 0 = 9*u - 2792 - 6253. Does 67 divide u?
True
Let v(l) = 4*l**2 + 4*l. Let m(x) = -x**2 + 6*x - 9. Let c be m(7). Let h = -20 - c. Is 16 a factor of v(h)?
True
Let y = 360 - 160. Is y a multiple of 7?
False
Let q = 87 - 25. Is 6 a factor of q/(-31) - 2*-28?
True
Let c(v) be the first derivative of 9*v - 1/4*v**4 + v**2 - 7 + 2*v**3. Does 21 divide c(6)?
True
Suppose l - 30 = 5*b, -5*l + 104 = 5*b + 14. Let z = -7 + l. Is 2 a factor of z?
False
Suppose -3 = -z, 2*z = -2*y + 3*y - 66. Let s = -58 + y. Does 3 divide s?
False
Let q(m) = -m + 11. Let k be q(8). Suppose 5*x - 23 = -k. Suppose -4*c + 3*c - 3*f + 50 = 0, 5*f = x*c - 166. Is c a multiple of 18?
False
Let u(n) = 12 - 7*n + 6*n**2 - 12. Is u(3) a multiple of 5?
False
Let q(a) = a**2 + 9*a + 4. Let y be q(-13). Suppose b = 6*b - 3*d + y, -60 = 5*b - 5*d. Let f = b + 13. Is f a multiple of 3?
True
Suppose 2*t = -2*t - 12, -2*y - t = -315. Suppose 5*x - y = 3*q, -4*q - q = 15. Does 6 divide x?
True
Let r(p) = -8*p**2 - 6*p - 6*p + p**3 + 18*p - 6 - 5*p. Is r(9) a multiple of 21?
True
Let q be -77*(-4 + (-3)/(-3) + 2). Suppose -4*h - 2*n + 357 = -q, 0 = -h - 2*n + 101. Is 8 a factor of h?
False
Suppose -2*d = -4*t - 14, -2*d - t - 35 = -7*d. Suppose 3*b - 2210 = -d*b. Is b a multiple of 10?
False
Let d(q) = -31*q - 102. Is 9 a factor of d(-9)?
False
Suppose 2*x + 3*v = 707, -x - 5*v = 3*x - 1413. Does 8 divide x?
True
Suppose 3 = -3*w + 90. Suppose q = -2*s + w, -5*q = -3*s - 7*q + 45. Is s even?
False
Let m(k) be the third derivative of -83*k**4/24 - k**3/6 + 5*k**2. Suppose -14*d = -9*d + 5. Does 41 divide m(d)?
True
Suppose 2*j + 47 = -5*g + 422, 5*j = 0. Is g a multiple of 2?
False
Suppose -8*r = 5 - 21. Suppose -3*y - 7*l + 5*l = -31, -r*y - l + 21 = 0. Does 11 divide y?
True
Let x(w) = w**3 + 3*w + 2. Let n be x(-1). Does 7 divide 1 - n - (-1 + -40)?
False
Let t = 15 - 12. Suppose x + t*x = -816. Is 17 a factor of (-1 + 2)/((-4)/x)?
True
Suppose 3*n = 7*n - 4*q + 56, 3*q - 25 = 2*n. Let p = n - -28. Is 4 a factor of p?
False
Suppose 420 - 160 = j. Let p = j - 152. Is 27 a factor of p?
True
Suppose 54 = 3*z - 240. Suppose -3*h + z = 4*h. Does 3 divide h?
False
Let f = -90 + 176. Let v = -64 + f. Is v a multiple of 12?
False
Suppose 7*y = 3*y - 24. Does 4 divide y/9 + (-244)/(-6)?
True
Let c = -701 - -1672. Does 17 divide c?
False
Let m(x) = -x**2 + 35*x - 14. Suppose -3*p + 0 + 45 = 0. Is m(p) a multiple of 26?
True
Let k(f) = f**3 + 39*f**2 - 10*f - 69. Is 11 a factor of k(-39)?
False
Suppose 0 = -z + f - 38, 120 = -2*z - 2*z - 4*f. Let u = z + 45. Does 11 divide u?
True
Let s(j) = 7*j**3 - 34*j**2 + 19*j + 15. Let z(o) = -15*o**3 + 68*o**2 - 37*o - 31. Let q(l) = -13*s(l) - 6*z(l). Is 14 a factor of q(33)?
False
Suppose -6*l - n + 19768 = 0, -l + 3237 = -3*n - 45. Does 61 divide l?
True
Suppose -40*i = -44*i + 188. Let p = -27 + i. Does 