pose 33 = a*b - 1056. Is b a multiple of 11?
True
Let v(p) = 36*p + 9. Let m be v(2). Suppose -k + 2*x = 4*k + 282, 2*k - x + 112 = 0. Let i = m + k. Is 17 a factor of i?
False
Let a be (-14 + 12)*(-2 + 3). Is 51 a factor of a/(-3) - (-17328)/171?
True
Let p = -2151 + 2681. Is p a multiple of 4?
False
Let s(y) = 432*y**3 - 431*y**3 - 17*y**2 - 7*y - 10*y - 16. Let g be s(18). Suppose g*p - 33 = 5*x + 8, -12 = -4*x. Does 14 divide p?
True
Let g(c) = -c**2 + 10*c - 19. Let m be g(5). Let j(a) = 2*a**2 - 2*a + 19. Is 6 a factor of j(m)?
False
Suppose -130*n + 57*n + 65*n + 128016 = 0. Is 42 a factor of n?
True
Suppose -11*w + 10*w = -3*y + 554, 4*w = 2*y - 2206. Let o = -237 - w. Does 38 divide o?
False
Let a = -46 + 57. Suppose q + a = 19. Suppose -q*m = -4*m - 528. Does 21 divide m?
False
Suppose 75 = -5*x - 5*f, -18*x - 4*f = -20*x. Let u(s) = -135*s - 144. Is u(x) a multiple of 9?
True
Suppose 3*u - 3969 = -5*x, -x - 21*u = -16*u - 807. Is x a multiple of 36?
True
Let d(y) be the third derivative of y**4/4 - 14*y**3 - 34*y**2 - 2. Is 6 a factor of d(17)?
True
Suppose -8*o + 6*o + 8 = 0. Suppose -1550 = -o*x + c, -3 = 3*c + 3. Does 43 divide x?
True
Let d(z) = 3*z + 14. Let f be d(-2). Suppose 4*u = 3*t + 108 - 6, -4*t = f. Does 6 divide u?
True
Let o = -427 - -765. Suppose -4*l = 810 + o. Let n = -170 - l. Is n a multiple of 16?
False
Suppose 5*u - 12*p = -10*p - 25, -p - 12 = u. Is 6/(-8)*2520/u a multiple of 30?
True
Suppose z + 206 = 2*z. Suppose 2*u - 18 - 90 = -2*g, -4*g + u = -z. Let y = g + -25. Is 23 a factor of y?
False
Let f(n) = 3*n**3 + 2*n**2 - 20*n + 9. Let a be f(8). Let l = a - 613. Is 75 a factor of l?
True
Suppose 0*d - 4*h + 244 = 3*d, 15 = -3*h. Let o = -4677 - -4664. Let b = d + o. Does 15 divide b?
True
Let w(o) = -45*o**3 + 2*o**2 - 1. Let t be w(-1). Suppose -5*c = -a + 238, a = c - 0*a + t. Let b = -10 - c. Does 3 divide b?
False
Let y = -2322 + 5137. Does 78 divide y?
False
Let l(b) = 2*b**2 - 27*b + 12. Suppose 4*n + 4*r = -0*n + 84, -4*n = -3*r - 63. Let a be l(n). Let h = -95 + a. Is 13 a factor of h?
False
Let l(k) = k**2 - 13*k + 32. Let t be l(10). Suppose 4 = 2*v - t. Suppose 0 = g + 3*c - 20, 3*c = -v*g + 52 + 26. Is 29 a factor of g?
True
Let j = -151 + 160. Suppose -j*a + 8*a + 344 = 0. Is a a multiple of 35?
False
Suppose 0 = 91*s - 97*s + 7974. Suppose 15 = -5*v, -5*f + 3*v = -0*f - s. Is 26 a factor of f?
False
Does 7 divide 12 - -4 - (-1199 - 27)?
False
Let g = -28 - 52. Let m = g + 999. Suppose -4*i - 207 + m = 0. Is i a multiple of 13?
False
Let j = 247 - 253. Is 12 a factor of 3*((-3)/(-6))/(j/(-2332))?
False
Let u = 371 - 315. Is (u/(-10))/(-7)*10 a multiple of 5?
False
Let a(h) = -h + 3 - 138404*h**2 + 24 + 138421*h**2. Does 35 divide a(8)?
False
Let r(u) = 83*u**2 - 120*u + 1208. Is r(9) a multiple of 32?
False
Is 20 a factor of 496683/174*8/(-6)*55/(-22)?
False
Is -1 + 18 - 7 - -647 a multiple of 15?
False
Let m = 8687 - 4079. Is 63 a factor of m?
False
Let m = -110 - 9. Let u = -122 - m. Let b(f) = -f**3 - 2*f**2 - 7*f - 6. Is 12 a factor of b(u)?
True
Let p(f) = f**2 + 16*f + 28. Let o be p(-7). Suppose -3*t - 5*n + 145 = 0, 0 = t - 6*t - n + 205. Let v = t + o. Is v even?
False
Let s(a) = 20*a**2 + 3*a + 5*a**3 + 18*a**2 - 49*a**2 + 16*a**2 - 12. Is s(4) a multiple of 11?
False
Let v = 3409 - 2668. Does 19 divide v?
True
Suppose -32 = 5*h + 4*c, 2*c + 6 + 12 = -3*h. Let b(z) = -3*z**3 + z**2 + 10*z + 18. Does 12 divide b(h)?
False
Let n(f) = f**3 - 33*f**2 + 2*f - 74. Let j be n(33). Does 10 divide (-6 - j)*(-39)/(-6)?
False
Suppose 13*p + 1096 = -4*s + 9*p, 5*p = -3*s - 824. Let v = s + 510. Is v a multiple of 11?
False
Let b be (-10)/(-15) + (3 - (-24)/(-9)). Is 33 a factor of (16/(-1) + b)*4554/(-115)?
True
Let b = -204 - -367. Suppose 3*p - 583 + b = 0. Is 23 a factor of p?
False
Let j(p) = 3*p**2 + p + 114. Let t be j(0). Let n = 205 - t. Suppose -o + 26 + n = 0. Is 9 a factor of o?
True
Suppose 3*h - o + 6 = 12, 2*o = 6. Is -2 + -5 + 886 - (2 - h) a multiple of 44?
True
Is 101 a factor of -1*(-4)/(12/3939)?
True
Let n = 4486 - -2384. Does 150 divide n?
False
Let l(k) = 1 - 7*k**3 + k**3 + 4*k**3 + 2*k - k**3. Let y be l(-2). Is 7 a factor of y*(-8)/(-3)*3/2?
True
Let y(w) = -w**3 + 10*w**2 - 8*w. Let p = -52 + 73. Let m = -12 + p. Is 9 a factor of y(m)?
True
Let f(m) = m**3 - 15*m**2 + 11*m + 16. Let s be f(13). Let z = -166 - s. Does 13 divide z?
True
Let w(y) = -185*y - 2649. Is 134 a factor of w(-62)?
False
Suppose -39*h + 44*h + 1850 = 0. Let u = h + 459. Is 8 a factor of u?
False
Suppose -38 = r - 37. Does 28 divide (((-39)/6)/r)/(6/684)?
False
Let m(f) = -7*f + 16 + 9 - 58. Let x be m(-13). Suppose -3*a + 110 = n, -a + x = -4*n - n. Does 15 divide a?
False
Is 114 a factor of 2*(-8)/(-48) + (-32280)/(-9)?
False
Let c = 648 + -263. Suppose 25*t - 18*t - c = 0. Is 5 a factor of t?
True
Suppose -11*g + 73 = -26. Is (3 + g)*(-309)/(-9) a multiple of 22?
False
Suppose 2*p = 5*y + 435, -3*p = 3*y - 622 - 41. Does 22 divide p?
True
Suppose -3*u + 17286 = 6*x, 9*x - 11*x = 2*u - 5764. Is x a multiple of 10?
True
Let q(f) = 741*f + 2641. Does 19 divide q(23)?
True
Let g(s) = -61*s**3 + s**2 - 4*s - 12. Let a be g(-3). Is (a/(-16) - 1)*-6 a multiple of 43?
False
Let f = -2820 + 4874. Is 26 a factor of f?
True
Suppose 3*a + 3*b - 33 = 0, -3*a + b + 29 = 5*b. Let d(x) = 2*x. Let r(v) = -2*v - 32. Let k(q) = 3*d(q) - r(q). Is 20 a factor of k(a)?
False
Suppose 30*k - 45*k = -17175. Suppose q + 0*q - 4*f - 586 = 0, 2*q + f = k. Is 41 a factor of q?
True
Suppose 0 = f - 3*f + 6. Suppose 4*c = -f*o + 878, -3*o + 3*c + 574 = -o. Is o a multiple of 29?
True
Suppose -45*g + 224708 = -49432. Is g a multiple of 15?
False
Let c(s) = s**3 - 27*s**2 - 3*s + 545. Does 58 divide c(27)?
True
Suppose -52 = -12*m - m. Suppose -m*s + 130 = -118. Suppose -16*t = -s - 98. Does 10 divide t?
True
Let j(a) = a**3 + 29*a**2 + 143*a + 2407. Is j(-21) a multiple of 107?
False
Let a = -90 + 49. Let j = a - -53. Suppose j*y + 212 = 14*y. Does 32 divide y?
False
Let w(a) = -6*a**3 + 3*a**2 - 2*a + 6. Let f be w(-3). Suppose -3*v = 4*i - f, 0*i + v - 211 = -4*i. Does 6 divide i?
True
Let l be -1 - (-4899)/15 - 12/(-30). Let i = l - 128. Is i a multiple of 22?
True
Is 4*7591/9 + -4 + 76/18 a multiple of 27?
False
Let u(l) = 41*l**3 - 9*l**2 + 10*l - 3. Let m(v) = 21*v**3 - 5*v**2 + 5*v - 2. Let i(c) = -5*m(c) + 3*u(c). Is 8 a factor of i(3)?
False
Let t be ((-6)/12)/(1/(-14)). Suppose -12 = 6*s - t*s. Suppose -i + s = -1. Is 2 a factor of i?
False
Suppose -30*n + 39 + 21 = 0. Suppose 2128 = n*q + 4*g, q - 1064 = -g + 6*g. Does 38 divide q?
True
Let q(m) = 112*m - 20. Let x be q(10). Suppose 9*j + x = 5231. Is 51 a factor of j?
True
Let g(d) = -493*d - 2030. Does 2 divide g(-5)?
False
Let s(x) = 3*x**2 - 19*x + 22. Suppose v = 2*w + 4, -4*v + 7 + 21 = -2*w. Is 16 a factor of s(v)?
False
Let w be 3 + -24 + 12/(-3). Is 35 a factor of (2/(-4))/(w/2200)?
False
Let o = 3301 + -2701. Is 15 a factor of o?
True
Let v(z) = 9*z**3 - 4*z**2 + 2*z + 25. Does 17 divide v(4)?
False
Let n(s) = -s**2 + 10*s - 17. Let q be n(3). Suppose q*t = -2*b + 890, -t + 257 - 42 = 2*b. Does 25 divide t?
True
Is 38 a factor of (-204813)/(-13) - 3*68/(-1326)?
False
Let c be (180/120)/(6/(-100)). Is (-2130)/c*10/4 a multiple of 5?
False
Let s = 44 - 39. Suppose 0 = -2*w + s + 3. Suppose -4*k + 2*d = -222, -5*d + 85 = w*k - 102. Is k a multiple of 10?
False
Let c be -2 + -2 + 1 + 32. Let h = -25 + c. Suppose 0*j = h*j + 3*b - 494, -3*j + 377 = -b. Is j a multiple of 25?
True
Suppose -5*b + 7 = -4*h - 11, -4 = -b + h. Suppose -6*s + 164 = -b*s - 5*y, 0 = -5*s + 2*y + 188. Let k = s - -68. Is k a multiple of 8?
True
Is 9 a factor of (-2 + 24)/(3/6)?
False
Let m = 10538 - 2765. Does 72 divide m?
False
Let w be (0 + -30)*(60 - 61). Suppose -2*g + w = -210. Is 20 a factor of g?
True
Let r(m) = -m**3 + 12*m**2 - 26*m - 6. Suppose -3*b = -5*y + 36, -6*y + 4*y - 3*b + 6 = 0. Is 27 a factor of r(y)?
True
Suppose 0*n - 5*n + 245 = 0. Let y = -51 + n. Is 90/(-4 - (y + -4)) a multiple of 15?
True
Suppose 37*m + 1060 = 42*m. Suppose 11*g = 9*g + m. Let n = g + -40. Does 3 divide n?
True
Suppose 12*p - 1 = -u + 11*p, -2*u + p + 2 = 0. Let n(s) = -2*s + 1. Let w be n