pose 5*a = -s*o + 3*o - 1337, 0 = -5*o - 5*a + 2175. Does 21 divide o?
False
Let v(u) = 19*u**2 + 5*u - 14. Let q be v(-6). Let a = q - 336. Does 16 divide a?
True
Let y(p) = 18*p**3 - 4*p + 19. Suppose 23*g - 21*g = -2*n + 4, -2*g + 5*n + 11 = 0. Is 43 a factor of y(g)?
False
Let t(p) = -26*p + 65. Let r be t(5). Is 34 a factor of (-3)/(-5) + (-39)/15 - r?
False
Let r be -1*(-2 + 5) - (-39)/3. Suppose -632 = -r*c + 648. Does 32 divide c?
True
Suppose 40*u + 90749 - 237463 = 518566. Does 216 divide u?
True
Suppose 0 = 3*s - 3496 - 3023. Suppose 8*z - 83 = s. Is z a multiple of 45?
False
Let n(o) = 7*o + 34*o - 25*o - 12 + 0*o**2 - 5*o**2 + o**3. Is n(7) a multiple of 8?
False
Let z(l) = 4*l**2 - 6 + 0*l - 4*l - 3*l + 2*l. Let w be z(7). Suppose 8*j = w + 37. Is 3 a factor of j?
True
Suppose 0 = -4*a + 3*d + 365, -7*a + 454 = -2*a - 3*d. Let p = a + -13. Does 12 divide p?
False
Let x(b) = 2*b**2 - 27*b + 14. Let c be x(13). Does 34 divide (c - 428/20)/(3/(-15))?
True
Let i(b) = b**2 - 5*b - 6. Let a be i(6). Let d(w) = 163*w**2 + w - 2. Let x be d(1). Suppose -s + x - 42 = a. Does 15 divide s?
True
Let c = 1713 - 2543. Let x = c + 2071. Does 13 divide x?
False
Let x(g) = g**3 - 21*g**2 - 75*g - 1097. Does 289 divide x(48)?
True
Let w(g) = 2*g**3 + 7*g**2 - g + 16. Does 40 divide w(8)?
True
Let o(u) = -3 - 8*u**2 + 6*u**2 + 5*u + 2 + 3*u**2. Let a be o(-5). Does 8 divide (9*1 + a)*(0 + 6)?
True
Let n(f) = -24*f**2 + 400*f + 78. Is n(10) a multiple of 15?
False
Suppose 0 = 5*u - r + 4, 4*u - 20 = -0*u - 5*r. Suppose 3*b - 168 = -u*b. Let l = 75 + b. Is 14 a factor of l?
False
Let d(b) = b**2 - 22*b + 497. Is 8 a factor of d(-22)?
False
Let t be 3 - ((-8)/(-12))/((-6)/(-189)). Let d = -16 - t. Suppose 4*g - 190 = -3*i - d*i, 202 = 4*g - i. Is 25 a factor of g?
True
Suppose 3*t = n - 498, 491 = -5*n + t + 2981. Suppose o = -5*w + n, 3*w + 5*o = 5*w - 183. Does 8 divide w?
False
Let q(x) = x + 17. Let i be q(-20). Let n be 3 - ((i - 1) + 4). Suppose n*f - 240 + 30 = 0. Is 23 a factor of f?
False
Let c(h) = -2*h**2 + 43*h + 26. Let l be c(22). Suppose 4*q + 5*f - 183 = 0, 4*f + 162 = l*q + 2*f. Is q a multiple of 7?
True
Let f be 1101 + 12*(-1)/2. Suppose 0 = -8*w + 4*w + 4*l + 1080, l + f = 4*w. Does 8 divide w?
False
Let m(s) = s**2 - 1. Let k(i) = -7*i**2 + 5*i - 109. Let v(a) = -k(a) - 6*m(a). Is 11 a factor of v(0)?
False
Let m(f) = 2*f**3 - 4*f**2 + 6*f + 12995. Is m(0) a multiple of 113?
True
Let m(i) = -3*i**2 - 19*i + 31. Let d be m(6). Let z = d + 283. Does 4 divide z?
True
Let a(p) = 25*p - 22. Let i(h) = 26*h - 22. Let u(s) = 6*a(s) - 5*i(s). Suppose -33 - 17 = -10*c. Does 26 divide u(c)?
True
Suppose -2*a - 4*h + 272 + 0 = 0, 0 = 4*a + 4*h - 552. Is 16 a factor of a - (-6 + -3 + (0 - -5))?
True
Suppose -121 = -l - 2*k + 3476, 0 = l - k - 3585. Is l a multiple of 3?
False
Suppose -67*h + 569745 = -58*h - 102969. Is h a multiple of 19?
True
Let z be 3/5 + 26/(-10). Let b(k) = 58*k**3 - 6*k**2 - 3*k - 1. Let p be b(z). Let x = p + 692. Is 22 a factor of x?
False
Suppose -5*f + 1779 = -3*y, 5*y - 12 = 23. Is 6 a factor of f?
True
Suppose -37044 = -6*o - 8*o + 132636. Is 4 a factor of o?
True
Suppose 50*t - 851487 - 1087713 = 0. Does 192 divide t?
True
Let m(s) = -s**3 - 7*s**2 - s - 3. Let q be m(-7). Suppose 5*i - 18 = q*j, -4*i + j + 3 = -3*i. Does 7 divide 3/i + (-777)/(-14)?
True
Suppose 0 = -7*i + 57 - 8. Does 18 divide (-313)/(i + 15/(-2))?
False
Let l(t) = -14*t**2 + 11*t + 11. Let x be l(9). Let o = -587 - x. Is 22 a factor of o?
False
Suppose 122 - 142 = -4*r. Suppose -4*s = r*s - 1710. Does 19 divide s?
True
Suppose -25 = -5*s, -s = -5*k - 5 - 5. Suppose -3*b = 3*r + 234, 8 + 148 = -2*b + 2*r. Is ((-33)/6)/(b/76 - k) a multiple of 17?
False
Suppose t - 1319 = -2*j, 1527 = 3*t + j - 2455. Suppose -7*g + 5634 = t. Is g a multiple of 112?
False
Let u = -181 - -165. Is 23 a factor of -12*6/27*828/u?
True
Let q be 6/(-39) + (-102)/13. Let d be 159 + 4 + 1 + q. Suppose -2*k - 3*u + 47 + d = 0, -3*k + 302 = 5*u. Is 11 a factor of k?
False
Let x(u) = -9*u + 127. Let m be x(13). Suppose -230 = -m*i + 570. Is 16 a factor of i?
True
Let b be ((-4 - -4) + 3148/(-8))*2. Let q = b + 1154. Does 15 divide q?
False
Let b(h) = h + 28. Let n be b(-26). Let s be 2 + -6 + n - -6. Suppose 364 = s*f + 100. Is f a multiple of 11?
True
Let a(t) = -t**3 - t**2 + 16. Suppose 4*l + 4*y = l + 8, l = -4*y + 8. Suppose l = -b + 3*b. Is a(b) a multiple of 8?
True
Let l(p) = -p**3 + p + 59. Let s be l(0). Let g be (-4)/(324/(-840) + 4/14). Suppose -4*d - s = -3*z, -6*d - g = -2*z - 4*d. Is 14 a factor of z?
False
Let h(m) = -m**2 - 10*m + 28. Let i be (-1*(-44)/(-6))/((-2)/(-3)). Let b be h(i). Let z(s) = -s**3 + 17*s**2 + 4*s - 2. Is z(b) a multiple of 37?
False
Suppose -k + 132000 = -36*k + 45*k. Is 23 a factor of k?
False
Suppose 2*c - 334 = -6*p, 0 = 3*p - 196 + 193. Is c a multiple of 4?
True
Is (-115 + 2 - 3/(-1))/((-3)/18) a multiple of 5?
True
Is 15 a factor of 5/((-330)/(-117144)) + (-6)/(-66)?
False
Does 68 divide ((-4)/((-80)/129884))/((-30)/(-150))?
False
Let y be (35/14 - 5)*24/15. Does 4 divide (-4 - 18/y)*(2 + 676)?
False
Suppose 9722 + 18047 = 22*d - 81021. Is 3 a factor of d?
False
Suppose 5*p - 132493 = 2*u, 164*p - 162*p - 3*u - 52995 = 0. Is 33 a factor of p?
True
Let x = 43 + -41. Let t be -4 + 2 + 0 + x. Suppose t = -7*v + 12*v - 140. Is v a multiple of 14?
True
Suppose 0 = 2*a - 3*m + 88, 8*m = a + 3*m + 44. Let i = 34 + a. Is (-1)/(-2) + (-15)/i*95 a multiple of 13?
True
Let b(s) = -5*s - 37. Let n be b(-9). Let l be (-127)/(-4)*(4 - n) + -3. Is (l/(-15))/(4/6) a multiple of 8?
False
Suppose 2*s - 5*i + 44 - 538 = 0, 2*s = -4*i + 512. Is s a multiple of 9?
True
Let u(c) = -3 + 0*c - 12*c**2 + 4*c**3 + 6*c**3 + 6*c + 5*c**2 + 2*c**2. Is u(3) a multiple of 5?
True
Suppose -36 = 5*r - 66. Suppose 4*w - 3*o = 36, r*w + o = w + 45. Suppose -w*i - 69 = -375. Is i a multiple of 10?
False
Suppose 46*q = -96124 + 444022. Does 100 divide q?
False
Let h = -24 - -33. Let i = -8 + h. Suppose -2*s = -3*s + i, -4*l + 117 = 5*s. Is l a multiple of 14?
True
Let y = -1094 + 1090. Let l(i) = -7*i + 1 - 13*i + 8. Does 18 divide l(y)?
False
Let i(l) = -l**2 - 6*l + 51. Let b(y) = y**2 + 4*y - 50. Let j(o) = 6*b(o) + 5*i(o). Is j(-9) a multiple of 5?
True
Let n(d) = -2*d**3 - 26*d**2 + 18*d - 42. Let j be n(-15). Suppose -594*r = -j*r - 2880. Is r a multiple of 8?
True
Let f = 139 + -136. Suppose o = -2, -f*m - 5*o = -8*m + 1120. Is m a multiple of 22?
False
Let r = 763 - 305. Is 12 a factor of (318/53)/(4/r)?
False
Let f be (-2)/5 - (-120)/50. Suppose 3*v = -2*t + 4*v, f*v = 0. Suppose t = -20*c + 23*c - 282. Is c a multiple of 18?
False
Suppose 0 = -17*v + 4881 + 42600. Does 147 divide v?
True
Suppose -36*u + 29*u - 42 = 0. Let s be u/(-15) - (-1008)/(-45). Does 33 divide (((-16)/6)/2)/(s/2178)?
True
Suppose -b - 12 = 4*b - 2*j, 5*b = 4*j - 14. Does 4 divide 5 + b/(-1) + 226?
False
Is 48 a factor of 21216/(-91)*(-21 + 0)?
True
Suppose -3*a + 2*w = -133, -5*w - 38 = -3*a + 110. Let l = -35 + a. Suppose 356 = -l*m + 1214. Does 9 divide m?
False
Let w(y) = -313*y + 125. Let d(x) = -937*x + 375. Let c(s) = 2*d(s) - 7*w(s). Is 39 a factor of c(2)?
False
Suppose -4*v + 9*v - 110 = 0. Let s = -26 + v. Is 1*-25*2/(s + 2) a multiple of 10?
False
Let v = -273 - -258. Let m(w) = w**3 + 15*w**2 - 29*w - 35. Is m(v) a multiple of 20?
True
Let d(x) = -673*x + 1017. Is d(-3) a multiple of 2?
True
Let o = 207 + -431. Let x = 23 - o. Is 13 a factor of x?
True
Let x(g) = 35*g + 44. Let u be x(18). Let k = u - 404. Is k a multiple of 15?
True
Suppose -3*p = -2*p - 4. Let f be 2038/p - 1/(-2). Suppose -11*r + f = -r. Is 18 a factor of r?
False
Suppose -9 - 9 = -6*f. Let c be f - 31*-2*(4 - 3). Let a = c - -105. Is a a multiple of 34?
True
Suppose 3*x = -j + 51 + 298, -3*j - 6 = 0. Suppose 2*h - 10 = -i + x, 4*i - 3*h = 508. Does 8 divide i?
False
Let w(g) = -g + 17. Suppose 2*v = 7*v - 25. Let j(a) = a**3 - 5*a**2 - 2*a - 4. Let p be j(v). Is 7 a factor of w(p)?
False
Suppose i = 15 - 4. Suppose i = p - 4*h, 5*h = -2*p - 0*p - 17. Is 4 a factor of 23/(0/4 - p)?
False
Let j(d) = d**3 - d**2 + d + 75. Let k be j(0). Let z = 155 - k. Is z a multiple of 13?
False
Is 355/4 - (-6)