 2*u - 1 + u. Does 7 divide b(-2)?
True
Let b(q) = -39*q + 115. Let m be b(-7). Suppose -9*n + m = -287. Is 11 a factor of n?
False
Let p = -5531 + 8675. Is p a multiple of 33?
False
Let s = -4553 + 9953. Is 108 a factor of s?
True
Let f = 17 + -45. Let b be (21/f)/((-3)/348). Suppose -9*l - b = -10*l. Is l a multiple of 29?
True
Suppose -193114 - 20961 - 135522 = -73*w. Is w a multiple of 19?
False
Suppose -4*k - 8 = 8. Let v = 8 + k. Suppose -v*z = 3*r - 65, -z + 3*r + 39 = 4. Does 9 divide z?
False
Let b(j) = -3*j**2 - 63*j + 22. Let c be b(-21). Let a(t) = -t**3 + 24*t**2 + 14*t - 98. Is 38 a factor of a(c)?
True
Let p = 5739 + 7052. Is p a multiple of 131?
False
Suppose -189*s - 2035510 + 494455 = -544*s. Does 66 divide s?
False
Is 131 a factor of (188 + -187)*((-3)/5 + 204212/20)?
False
Let q(z) = 3124*z - 2155. Does 11 divide q(6)?
False
Suppose -1332 = 5*f - 2712. Suppose 3*v + 3*x = 810, -4*x + f = 4*v - 3*v. Is v a multiple of 13?
False
Let a be (-25)/(-5) + -3 - -3. Suppose 7*u - 2674 = -a*o + 6*u, 5*u = 20. Does 17 divide o?
False
Let s = 687 + -685. Suppose -5*g - 1110 = -s*p, 2866 - 682 = 4*p - g. Is p a multiple of 11?
False
Suppose 0 = 2*c + 14*c - 2496. Let q = 179 - c. Does 20 divide q?
False
Let c = 421 + -682. Let i = c - -549. Is 12 a factor of i?
True
Is 24 a factor of (-2*2)/(356/(-323871))?
False
Let x(s) = s**3 + 14*s**2 + 14*s - 10. Let q be x(-6). Is 28 a factor of 40/(-140)*(-2 - q)?
True
Let r = 463 + 1127. Is 15 a factor of r?
True
Is 76 a factor of 652/3260 - ((-86092)/15 - 8/(-12))?
False
Let x = 217 + -221. Let g(p) = -2*p**3 - 4*p**2 + 2*p - 15. Does 5 divide g(x)?
False
Suppose -3*j + 443 = 35. Let s = j + -142. Let b = 42 + s. Does 9 divide b?
True
Let m = -2475 - -3161. Is m a multiple of 7?
True
Suppose -10*i = -8*i - 44. Suppose 20*t = i*t - 1116. Does 9 divide t?
True
Suppose 13*r = 8*r - 5*q + 7300, 3*r = q + 4376. Is r a multiple of 54?
False
Let n(a) = a**2 - 13*a + 8. Let o(g) = -2*g**2 + 28*g - 16. Let v(y) = -5*n(y) - 3*o(y). Does 8 divide v(-5)?
True
Let r(n) = -2*n**3 - 7*n**2 - n - 4. Let j be r(-5). Suppose -2*s + 378 = -j. Does 6 divide s?
False
Suppose 0 = -3*l + 4*g + 4040, -170*l = -171*l - g + 1335. Is l a multiple of 12?
False
Does 51 divide (-21)/(840/(-89750)) - 3/(-12)?
True
Let c be (-645)/(-258) - 2/4. Suppose -3*q = -2 - 1. Is 27 a factor of (q/c)/(20/2160)?
True
Let v(m) = 4*m**2 - 40*m + 11. Suppose -6 = 7*s - 104. Is v(s) a multiple of 16?
False
Let x = -180 - -123. Let j = -53 - x. Suppose 4*d - j*i = 120, -3*d + 29 = -5*i - 57. Is 16 a factor of d?
True
Let r(s) = s**2 - 5*s + 22. Let l be r(6). Suppose -j + 49 = -3*v, -j = 8*v - 4*v - l. Suppose -j = -2*z - 4*m, 4*z + m = -4*m + 80. Does 8 divide z?
False
Suppose -10*j + 2*v = -7*j - 10084, 4*j + 2*v = 13436. Does 42 divide j?
True
Suppose -29*s - 44993 - 39058 = -312107. Is 58 a factor of s?
False
Is (4696/(-12))/((-42)/3276) a multiple of 97?
False
Let r be ((-60)/(-24))/(5/30). Is 8 - r - 1054*-1 a multiple of 30?
False
Suppose -5*n + 2095 = -3*j, -n - 1644 = -5*n - 4*j. Suppose -9*c + 8*c + n = 0. Is 13 a factor of c?
True
Let f = 485 - -94. Suppose f*z - 2696 = 577*z. Does 14 divide z?
False
Let y(g) = 121*g + 69. Let k be y(2). Let v = 79 + k. Is 22 a factor of v?
False
Let w(l) = l**2 - 14*l + 19. Let m be w(13). Suppose -3*h = 4*f - m, -f - f = 3*h - 6. Suppose -5*t = 5*p - f*t - 265, 15 = 5*t. Does 25 divide p?
True
Let n be -109 + (3/(-3) - -1) + -1. Suppose 16*k + 336 = 10*k. Let x = k - n. Is x a multiple of 27?
True
Let i(o) = o**3 + 7*o**2 - o - 11. Let g be i(-7). Let w be 5 + (-2 - g) + 2. Suppose 5*q - 3*r = 72, -3*q + w = 5*r - 41. Is q a multiple of 5?
True
Suppose 16*q - 10*q = 8*q - 13824. Does 23 divide q?
False
Suppose -5*w + 2*w + 62257 = 10*w. Does 130 divide w?
False
Let k(j) = j**2 - 3*j - 3. Let u be k(4). Let g(x) be the first derivative of 43*x**3/3 + x**2/2 + 410. Is 22 a factor of g(u)?
True
Suppose 67*h - 63*h - 4 = 0. Suppose d - 44 - h = 0. Is (3 + d)/(3/3) a multiple of 12?
True
Suppose 9*u - 20 = 14*u. Let b be u/((-16)/20) + -4. Suppose 62 + b = q. Is q a multiple of 7?
True
Let t(u) be the second derivative of u**5/20 - u**4 + u**3/3 + 3*u**2/2 - 6*u. Let r be (-492)/(-42) - 2/(-7). Is 6 a factor of t(r)?
False
Let o(w) = 31707*w**2 + 718*w + 718. Is 13 a factor of o(-1)?
True
Suppose 7*c + 0*c + 147 = 0. Let k = c + 25. Suppose 176 = k*z - 92. Is z a multiple of 18?
False
Suppose -4*j + 9*j = -4*f + 634, 5*j + 5*f = 635. Suppose -q + 625 = 5*z, -5*q + 2927 = z - j. Does 33 divide q?
False
Let t(m) = 24*m**2 + m - 3. Suppose 0 = -51*w + 46*w - 15. Is t(w) a multiple of 15?
True
Suppose -4*a = 2*y - 4*y + 2850, -2*a = 2*y + 1434. Let h be (a/24)/(1/(-8)). Suppose h = v - 4*r, 3*v = r + 42 + 661. Is 26 a factor of v?
True
Let o(z) be the first derivative of z**4/4 + 14*z**3/3 + 10*z**2 + 9*z - 25. Is o(-12) a multiple of 19?
True
Let w(l) = 4*l - 87. Let h be w(24). Suppose -987 = -4*o + 3*p, -4*o - 1248 = -h*o - p. Is 35 a factor of o?
False
Let k be (-5)/((-60)/(-28) - 2). Let u = k - -165. Let c = u - 94. Is 9 a factor of c?
True
Let t(u) = -2 - 7*u - 5*u + 5 + u**3 - 6*u**2 + 4. Let i be t(7). Does 24 divide (1 + 1)*(-7)/(i/408)?
False
Let j = -20166 + 28806. Is j a multiple of 12?
True
Let h(k) = -2*k**3 - 119*k**2 + 67*k + 583. Is h(-60) a multiple of 2?
False
Let k = -304 - -317. Suppose -l - 9756 = -k*l. Is l a multiple of 9?
False
Let i be (5 - 36/8)*24. Is (-126)/i*(-24)/21 a multiple of 3?
True
Let a(y) = 424*y - 4757. Is a(16) a multiple of 5?
False
Let z be ((-16)/14)/(28/(-98)). Suppose z*g + 431 - 1439 = 0. Does 36 divide g?
True
Let r(k) = 2*k + 2. Let s(j) = -16*j - 9. Let n(c) = 5*r(c) - s(c). Does 13 divide n(33)?
False
Suppose -3*y - 18 = -7*f + 5*f, 3*f + 5*y + 11 = 0. Let b(k) = 26*k - 14. Is b(f) a multiple of 4?
True
Let n = 110 - 4. Suppose -1814 = -108*k + n*k. Is k a multiple of 62?
False
Suppose -y + 256 - 993 = b, -5*y = 2*b + 3694. Let i be (-4)/(-24)*4 + y/(-6). Let z = i + -60. Is z a multiple of 10?
False
Let x(h) = 3292*h**2 + 111*h + 224. Is 16 a factor of x(-2)?
False
Let w(c) = 13*c**2 + 29*c - 636. Does 26 divide w(30)?
True
Let u(c) = 71*c - 185. Let y be u(-17). Let r = -783 - y. Is 87 a factor of r?
True
Suppose -r = 5*k - 48, -k + 2*k = 5. Suppose -r - 32 = -5*c. Suppose c*l - 410 = 250. Is l a multiple of 8?
False
Let c(a) = 8*a**2 + 19*a + 780. Is 75 a factor of c(-23)?
True
Let m(g) = -g**2 + 4*g + 34. Let s be m(7). Does 7 divide (1*s)/((-15)/(-105))?
True
Let y be (6/(-8))/(3/132). Let j = y - -131. Does 2 divide j?
True
Let u(y) = -9*y - 40. Let h(o) = 4*o + 20. Let f(d) = -13*h(d) - 6*u(d). Let p be f(18). Suppose 277 = p*l + 5. Does 17 divide l?
True
Suppose 19*n - 20*n + 44 = 2*a, 2*n = -3*a + 63. Does 17 divide a?
False
Suppose 78380 = 10*j - 63090. Suppose j = 28*d - 10801. Is 27 a factor of d?
True
Suppose -5*f + 66 = 3*q, 4*f - 2*q - 35 - 9 = 0. Is 19 a factor of (16/f)/(5 + 2563/(-513))?
True
Is 54 a factor of ((-16)/2 - 57120/600)/((-4)/180)?
True
Let d(p) = 12 - 2*p**2 - 2*p + 6*p**2 - 3*p**2. Let y be d(-10). Suppose -4*a - y = -8*a. Is a a multiple of 3?
True
Suppose -5*b = -2*x - 3*x - 27805, -b + 5561 = 3*x. Is 83 a factor of b?
True
Let m = 3120 + 25077. Does 39 divide m?
True
Let q(n) = 561*n**2 - 25*n - 89. Is 95 a factor of q(-3)?
True
Let l(f) = f**2 + 6*f + 7. Suppose 2*i - 68 = 2*c, -5*c - 100 = -3*i + 10. Suppose -i = 2*j + 3*j. Is l(j) a multiple of 2?
False
Suppose -5*r = 4018 - 33648. Suppose 12*j = 11714 + r. Is 98 a factor of j?
True
Let s = 24 - 21. Suppose 3*d + s*p - 402 = 0, 0 = 2*d - 0*p + 3*p - 273. Suppose -5*o + f + 206 = -d, 5*o + 5*f = 305. Is o a multiple of 11?
True
Let o(w) = -86*w - 104. Let v be o(-2). Suppose 0 = -76*g + v*g + 10416. Is 14 a factor of g?
True
Is (-88)/154 + 970110/63 + 6 a multiple of 4?
True
Is 10 a factor of 2286*(11 - 152/16)?
False
Let r = 1790 + -1279. Suppose -r = 10*d - 17*d. Does 3 divide d?
False
Let r = 37 + -19. Let l(z) = 32*z**2 - r*z**2 + 25 - 13*z**2 - 11*z. Is l(10) a multiple of 10?
False
Let l(c) = 123*c - 198. Let h(j) = 63*j - 99. Let m(t) = -5*h(t) + 2*l(t). Is 4 a factor of m(-4)?
False
Let g(a) = 13*a + 2. Let s be g(36). Let k = s - -6. Is k a multiple of 