 + y*x = 5*k - 1677. Does 33 divide k?
False
Suppose -134*g - 16*g = 38*g - 2088492. Does 71 divide g?
False
Suppose -12*d = 16 + 32. Let x be 2 + 6/(((-16)/28)/d). Suppose s - 24 = x. Does 11 divide s?
False
Let f = -8578 + 13528. Suppose f = 54*z - 44*z. Does 55 divide z?
True
Let n(s) = 3*s**3 - 2*s**2 - 13*s + 2. Let z(r) = 4*r**3 - r**2 - 14*r + 1. Let m(l) = 5*n(l) - 4*z(l). Let p = 436 - 442. Is 10 a factor of m(p)?
True
Suppose 402 = -3*c + k - 0*k, 0 = 5*c + 3*k + 656. Let a(g) = -8*g**2 - 10*g - 17. Let n be a(-6). Let q = c - n. Is q a multiple of 19?
False
Let j(r) = -2*r**3 - 8*r**2 - 4*r - 5. Let x(v) = -5*v + 16. Let l be x(4). Is 2 a factor of j(l)?
False
Suppose 84072 = 4*p - 2*j, 3*p + 19*j - 17*j - 63026 = 0. Is p a multiple of 158?
True
Let o be -1 + 4 - 15/(-20)*4. Suppose 135 = -7*y + o*y. Is y*2/3*(-9)/6 a multiple of 27?
True
Let y = -14891 - -18451. Does 16 divide y?
False
Suppose 374*d - 4671810 = 88*d. Does 271 divide d?
False
Is 5 a factor of (-199)/(-2189) - (-2 - (-58176)/(-33))?
True
Suppose 4*p + 2*m = -m + 1373, 1393 = 4*p - m. Does 5 divide p?
False
Let s = 24 - 121. Let m = 129 + s. Let y = m + 66. Does 11 divide y?
False
Suppose 3*a = -20*a + 14667 + 19718. Is 33 a factor of a?
False
Let n(u) = -347*u**3 - u**2 - 2*u - 1. Let f = 36 - 37. Let p be n(f). Suppose -h = 2*h + 5*q - 217, -q = 5*h - p. Is 23 a factor of h?
True
Suppose -1391130 = -317*s + 56*s. Does 41 divide s?
True
Is 7 a factor of -18 + (3796 - (-169)/13)?
False
Suppose 63*a + 22 = 52*a. Is 42 a factor of a/3 + 19*(-130)/(-15)?
False
Does 121 divide ((-79)/(-10) - (-6)/(-15))/(25/6050)?
True
Let h(w) = -7*w - 70. Let o be h(-11). Let z(c) = 2*c**2 - 4*c - 17. Does 2 divide z(o)?
False
Let i(g) = 336*g + 1707. Is i(15) a multiple of 13?
True
Let m be 4/6 - (-1066)/(-123). Is m*3/(-6) - (2 - 30) a multiple of 2?
True
Does 184 divide (-414)/45*(16 - 1616)?
True
Let g(d) = 15*d + 6. Suppose -8*o + 6 = -18. Suppose -3*x - 2*x + o*r - 1 = 0, -x + r = 1. Is 21 a factor of g(x)?
True
Let d(m) be the second derivative of m**3/6 - 7*m**2/2 + 2*m. Let u be d(8). Does 3 divide (4 - 0)*u - -9?
False
Suppose s = 3*l + 29, -24 = 5*l + 3*s + 29. Suppose 7*b - 2 = -30. Is 88/l*(b - 1) a multiple of 15?
False
Let u(n) = 68*n**2 + 4. Let v be -7*(24/56)/(3/(-2)). Let q be u(v). Suppose -3*l = 102 - q. Is 23 a factor of l?
False
Let t(m) = m**3 + 4*m**2 + m + 4. Let l be t(8). Let u = 1105 - l. Suppose 3*v - 65 - u = 0. Does 26 divide v?
True
Suppose -10*y + 5 = -2*m - 11*y, m + 7 = y. Is 3 a factor of m/((-4)/(-5)) + (29 - -51)?
True
Let d = 13 + -42. Let w = d - -29. Suppose -4*s + 111 = 5*b, -2*s + 45 = -b - w*b. Is s a multiple of 8?
True
Suppose -76543 = -27*d + 70661. Is 4 a factor of d?
True
Suppose 12*u - 48 = 60. Let q(z) = 2*z + 10 + 8*z**2 + z**3 - 9*z - 2 + u*z. Is q(-7) a multiple of 43?
True
Suppose -32*f = -25*f - 574. Suppose f*t - 50 = 72*t. Is 4 a factor of t?
False
Let b(y) = 17*y + 994. Is 176 a factor of b(53)?
False
Suppose 20 = 14*v - 22. Suppose 770 - 170 = v*r. Does 25 divide r?
True
Suppose -7455 = -12*x + 7*x. Suppose -x = -5*r + 279. Does 30 divide r?
False
Suppose -o = 5*h - 13420 + 2438, 0 = -4*o - 5*h + 43838. Is 37 a factor of o?
True
Suppose -221*q = -267*q + 48806. Does 3 divide q?
False
Let s(h) = -159*h + 28 + 322*h - 157*h. Let w be s(10). Suppose -4*b + w + 48 = 0. Does 17 divide b?
True
Let p(x) = 13*x + 20. Let m(z) = -z - 1. Let f(y) = -6*m(y) - p(y). Let g be f(8). Does 18 divide (-1365)/g + ((-18)/4)/3?
True
Suppose 3*i = -l + 47842, -9*l + 10*l + 5*i - 47854 = 0. Is 14 a factor of l?
True
Suppose 3*f = 5*h - 75919 - 1444, 2*f - 8 = 0. Does 40 divide h?
False
Let v(r) = 3*r**2 - 12*r + 11. Let c(n) = -n + 1. Let o(p) = -5*c(p) + v(p). Let x be o(5). Let t = x - -66. Is 10 a factor of t?
False
Is 32 a factor of (-12)/(-11) - 41/(10824/(-5326704))?
False
Let k = -127 - -121. Suppose -4*u = 47 + 57. Let p = k - u. Is 5 a factor of p?
True
Let a = -8814 - -15704. Does 13 divide a?
True
Let w be (1060/(-120) - -9)*(-66)/(-1). Let h(b) = -30*b**3 - 1. Let k be h(-1). Let p = w + k. Is p a multiple of 8?
True
Suppose 13*d + 164 = 9*d. Let m = d - -145. Suppose -l - m = -3*l. Does 19 divide l?
False
Suppose 11*u - 1 = 10. Let z(k) = 224*k - 4. Does 12 divide z(u)?
False
Let x = 551 - 695. Is 24 a factor of -5 - (-606)/4*x/(-27)?
False
Let v(k) be the second derivative of 4*k**3/3 + 198*k**2 - 68*k - 1. Is v(-11) a multiple of 28?
True
Suppose -o = -4*i + 428, 0 = i - 2*o - 2*o - 107. Suppose -i*c + 2706 = -85*c. Is c a multiple of 3?
True
Let s(i) be the first derivative of -i**4/4 - 16*i**3/3 + i**2/2 - 7*i - 22. Let x be s(-16). Let v = 7 - x. Does 9 divide v?
False
Let s(o) = -3*o**2 - o**2 - o**3 + 20*o + 9*o**2 + 12 + 3*o**2. Let j be s(10). Suppose 0 = -15*m + j*m + 390. Is m a multiple of 26?
True
Let k(i) be the third derivative of i**4/24 + i**3 + 5*i**2. Let s be k(3). Let d(x) = x**3 - 7*x**2 - 9*x - 21. Does 30 divide d(s)?
True
Let r(a) = 238*a**3 - 34*a**2 + 2*a + 6. Does 146 divide r(3)?
True
Let p be 1/(-2)*2 + 3. Suppose 0 = p*w + 4*n - 1736, 5*w - 2*n - 4328 = -0*w. Suppose 0 = -8*a + w + 414. Does 9 divide a?
False
Suppose 373*c - 482*c + 3811294 = 0. Is 319 a factor of c?
False
Suppose 2*d + 3*g = 156, -g + 316 = 4*d + 4*g. Suppose d*t + 5 = 79*t. Is 5 a factor of 50 - (5 + 1 + t)?
True
Let o(r) = -3*r**3 - r**2 + 2*r. Let v be o(-2). Let h = -1 + v. Let u(t) = 3*t + 32. Is 7 a factor of u(h)?
True
Let w = 135 - 130. Let p be ((-345)/(-20))/((-1)/(-8)). Suppose 15 + 215 = w*i + 2*l, -p = -3*i - 4*l. Is i a multiple of 35?
False
Let p = -1048 + 1057. Let c(m) = 149*m + 302. Is 53 a factor of c(p)?
True
Let b(h) = h**3 - 22*h**2 + 20*h + 27. Let s be b(21). Let c(l) = s*l + 15 - 9*l - 23*l - 11*l. Is c(-5) a multiple of 25?
True
Let s = -197 + 311. Suppose -4*v + s = 2*v. Is v a multiple of 16?
False
Let o(k) = -k**2 - 15*k - 56. Let s be o(-6). Is 2 a factor of (-116)/s - (-1 + -4 + 2)?
False
Suppose -u - 4*u = -215. Suppose u*q = 48*q. Suppose 0 = -0*n - 4*n + 5*f + 76, q = -5*n + 2*f + 112. Is n a multiple of 8?
True
Let p be ((-28)/2 - -2)*1. Let l(y) = -2*y + 7 - 17*y + 23*y - 5*y. Is 5 a factor of l(p)?
False
Let o(m) be the first derivative of m - 29/2*m**2 + 3. Is o(-2) a multiple of 28?
False
Let i(j) = j**3 + 8*j**2 - 12*j - 17. Let x(m) = 34*m**2 - m + 1. Let s be x(1). Suppose s + 22 = -7*h. Is i(h) a multiple of 20?
False
Let o be (2/4*1)/(12/1032). Suppose 9*d = o*d - 11424. Does 29 divide d?
False
Suppose 2*a + 0*a + 4*t - 404 = 0, 0 = a + t - 203. Is ((-54)/4)/(-5 + 1011/a) a multiple of 18?
True
Suppose -3*z - z + 1886 = -3*n, 2*z - 4*n - 928 = 0. Is 225 a factor of z?
False
Let a be (-2)/2 - (-2 - -3). Let k(w) = -15*w**2 - 225*w + 6. Let y be k(-15). Does 11 divide -10 - -130 - (y/a)/3?
True
Let a(u) = u**2 - u + 1. Let v(l) = 88*l**3 + 2*l**2 - l - 1. Let i(m) = -4*a(m) + v(m). Is 41 a factor of i(2)?
True
Let r(i) = i**2 + i + 3. Let b be r(0). Suppose 99 = y + b*o - 113, -3*y = 4*o - 616. Suppose y = 5*z - 5*d, 4*z = -4*d + d + 174. Is 11 a factor of z?
False
Let m be ((-1)/1)/((-6)/114). Suppose f - 4*f - m = -l, 4*l - 36 = 4*f. Suppose 3*u = -l*h + 187, 0*u + 15 = -5*u. Does 7 divide h?
True
Suppose -z - 3*i = -0 + 1, 0 = z - i - 19. Suppose 0 = 17*j - z*j - 18. Suppose -v = -j - 21. Is 14 a factor of v?
False
Suppose 84*b - 79*b - 2*t - 39142 = 0, -2*t = 5*b - 39158. Does 50 divide b?
False
Let i = -200 + 204. Does 47 divide (i*-1)/(6 - 392/65)?
False
Let t(l) = 2*l - 2. Let y be t(-2). Let o = y + 9. Suppose 2*w + 4*b - 63 = -3*w, b = -o*w + 42. Is 5 a factor of w?
True
Suppose 8*i = 144 + 24. Let k(y) = y**3 - 19*y**2 - 39*y - 51. Does 2 divide k(i)?
True
Suppose 0 = -4*k - 50 - 426. Let t = k - -199. Is 11 a factor of t?
False
Suppose 20*s + 23*s + 7*s - 232050 = 0. Does 13 divide s?
True
Does 46 divide (-2)/4*(-2272 + -36 + 16)?
False
Suppose -7*i = 6*i - 8073. Suppose 5*f = -559 - i. Let k = 398 + f. Does 27 divide k?
True
Suppose 2*v - 3*p = 24736 + 75885, v - 4*p - 50293 = 0. Is v a multiple of 305?
False
Suppose -10 = -50*i + 48*i. Suppose -4*n + 104 = -5*x + 4*x, -3*n - i*x = -101. Is n a multiple of 17?
False
Let u be 0/(8/6 - (-8)/(-24)). Suppose u = 8*d - 498 - 38. Suppo