se -2*f - 5*x + 858 = -k*x, x - 850 = -2*f. Is f a multiple of 6?
False
Suppose 3*t - 18 = 0, -190942 = 15*w - 19*w - 5*t. Is 157 a factor of w?
True
Let n be (-1 + 1)/(-3 - -5). Suppose n = 12*d - 9*d - 12, -4*j + 1524 = d. Is j a multiple of 19?
True
Suppose 86 = 2*x - 4*x. Let l = x + 256. Suppose 4*q = 315 + l. Does 19 divide q?
False
Let p(v) = -45*v**3 + 2*v**2 + v - 1. Let h be p(-1). Does 34 divide (h/5 - 8)*(-408)/(-2)?
True
Suppose 0 = 6*p - 4*p - 18. Suppose p*q = 3*q + 1464. Suppose 5*g - 5 = -0, -3*w - g + q = 0. Is w a multiple of 18?
False
Let g(a) = -99*a**3 + 2*a**2 + 7*a + 6. Let n be g(-1). Let o = n + -84. Does 8 divide o?
True
Let n(b) = -4244*b + 11474. Is n(-13) a multiple of 47?
True
Let l(f) = -f**3 + 11*f**2 - 25*f + 5. Let p(j) = -3*j**3 + 11*j**2 - 27*j + 5. Let s(n) = 5*l(n) - 4*p(n). Is 60 a factor of s(5)?
False
Let h(b) = 6*b + 560. Let n = 74 - 74. Does 22 divide h(n)?
False
Suppose 657 + 5985 = 6*w - 11124. Is w a multiple of 47?
True
Suppose 120*b - 735 = 105*b. Suppose b*o - 60*o + 825 = 0. Does 3 divide o?
True
Let r be 15/13 - (-14)/(-91). Let l be -7*(5/5)/r. Is (0 + l)*12*-1 a multiple of 12?
True
Let s(n) = n**3 + 3*n**2 + n + 877. Is s(0) a multiple of 71?
False
Let a be ((-10)/20)/(2/(-16)) - 4. Suppose 296*t - 303*t + 140 = a. Is t a multiple of 9?
False
Let x(j) = 3*j**3 + 241*j**2 + 21*j - 53. Does 29 divide x(-80)?
False
Let u(h) = 27*h - 114. Is u(71) a multiple of 41?
False
Is 32 a factor of (147 + -163)*(0 + -6)?
True
Suppose -53*h = -1083747 + 297015. Does 12 divide h?
True
Let m(b) be the first derivative of -35*b**4 - 2*b**3/3 + b**2/2 + 3*b - 92. Does 35 divide m(-1)?
True
Is ((-17)/35 - 2/(-7))/(847/(-108623515)) a multiple of 16?
False
Let a be (2 + 160/28)*7. Let u = 191 + a. Does 49 divide u?
True
Let w be -39*(3 + (-40)/12). Suppose 0 = 5*f + 4*s - 206, -f + 2*f - 18 = 5*s. Let a = f - w. Does 4 divide a?
False
Let k(p) = -3*p**2 - 18. Let m(q) = 3*q**2 + 19. Let c(u) = 3*k(u) + 4*m(u). Is 9 a factor of c(-5)?
False
Let s be 22/3 - (-60)/90. Suppose s*l - 81 = -l. Suppose -l*y - 981 = -18*y. Is y a multiple of 34?
False
Suppose 7216*l + 368181 = 7249*l. Is 70 a factor of l?
False
Is 5675 - ((-30)/24)/((-7)/(-28)) a multiple of 8?
True
Let x(u) = 23*u - u**3 - 12*u**2 + 23*u + 52*u + 2 - 58*u. Is 11 a factor of x(-15)?
True
Suppose 0 = 4*q - 85 + 69. Does 14 divide ((-42)/q)/(9/(-210))?
False
Let h = -2516 - -5716. Does 25 divide h?
True
Let o = -559 - -593. Let k = 714 + o. Does 17 divide k?
True
Suppose y = -3 + 3. Suppose y = -6*b + 91 + 653. Suppose -3*l - 5*t = -b, -38 = -l + 3*t - 4*t. Does 9 divide l?
False
Is 56/12*((-8028)/(-42) - -6) a multiple of 46?
True
Let a(g) = g**3 - 9*g**2 + 20*g - 11. Let t be a(6). Does 21 divide (t + (4 - 3))*147?
True
Suppose 92*x - 74*x - 43776 = 0. Is x a multiple of 76?
True
Let x(m) = -7 + 5 + 3*m + 2 - 25. Let v be x(9). Suppose 4*k - 98 = v*k. Is k a multiple of 7?
True
Let p = 7046 + -3462. Is 32 a factor of p?
True
Is 14 a factor of (471842/(-6))/7*(4 + 15 + -22)?
False
Let j = 23 - 53. Let m be ((-28)/10 - -2)/(j/2475). Suppose -m = -2*v + 4*c, 0 = 3*v - 4*v - 5*c + 40. Is v a multiple of 7?
True
Let c be (2/(-8) + 49/28)*2. Let h(o) = 2*o**3 - 7*o**2 + 2*o + 3. Let f be h(c). Suppose 2*p + 23 = 4*d + 275, 2*p - d - 264 = f. Does 17 divide p?
False
Let d(z) = 7*z**2 - 5*z - 7. Let w be d(-3). Suppose -w - 569 = -10*x. Does 16 divide x?
True
Is ((-73242)/(-24))/((-15)/(-260)) a multiple of 31?
False
Let m be -72*((-10)/4)/5. Let q be ((-3 - -9) + -12)/1. Is -3 + m + 0 + (-18)/q a multiple of 9?
True
Suppose 2*n = -3*n + 2*j + 1291, 2*n - 3*j - 523 = 0. Suppose -i + n = b, -4*b - 15*i + 1027 = -12*i. Does 10 divide b?
False
Let h be (0 - (-2)/1)*(-2 - -4). Is (-4 + 10 + h)/((-4)/(-184)) a multiple of 23?
True
Let m(g) = g**3 - 6*g**2 + 3. Let s be m(6). Let u be 7 + ((-21)/3 - -2). Suppose -2*o + 158 = u*y, o + 3*o - s*y - 330 = 0. Is o a multiple of 27?
True
Let s(d) = -3*d**3 - 21*d**2 - 2*d + 128. Is s(-11) a multiple of 3?
True
Suppose 7*k = -2*s + 3*k - 28, s + 11 = -5*k. Let l be (18/12)/((-4)/s*2). Suppose 2*x - 3*i = 464, l*i + i = -2*x + 492. Is 14 a factor of x?
True
Let n = -2707 + 4555. Is 88 a factor of n?
True
Let m = 6155 - 1827. Does 36 divide m/24 - 9/27?
True
Let a = -2992 + 2002. Let o = 1465 + a. Does 19 divide o?
True
Suppose 3*s - 3786 = 5*m, -6*m = -4*s - 5*m + 5065. Suppose 5*g = -3*p + s + 688, p + 3*g = 645. Does 14 divide p?
False
Suppose -14 = -v - 4. Suppose -4*z = -u - 15, -4*z + v + 10 = 0. Suppose -3*m - 3*t = -4*t - 39, -4*m + 71 = u*t. Is m a multiple of 14?
True
Let z(x) = x**3 - 121*x**2 - 481*x - 497. Does 6 divide z(127)?
True
Let j = -47300 + 103180. Is j a multiple of 40?
True
Is (106 + 1202)*5/4 a multiple of 121?
False
Let k(d) = -7*d + 128. Let h be k(18). Suppose j = -h*s + 431, -2*s + 4*j = 129 - 565. Does 24 divide s?
True
Suppose 2*b - 5*d - 25 = b, 0 = 5*b + 4*d + 20. Suppose b = -6*u + 15*u - 27. Suppose -u*o = 5*j - 37, -4 - 64 = -4*o - 2*j. Does 19 divide o?
True
Let t(z) = 30*z**2 + 3*z + 5. Let b be 3/(-2)*((-40)/12 + 4). Is 7 a factor of t(b)?
False
Let v(u) = -u**2 - 13*u - 15. Let b be v(-10). Let r be -12 + b + (99 - 1). Suppose 9 + r = 2*h. Is 11 a factor of h?
True
Let u = 1608 - 951. Suppose -f = -u - 386. Is 14 a factor of f?
False
Let b = -101373 - -150881. Is 14 a factor of b?
False
Let r = -65 - -256. Let l = r - 176. Is l a multiple of 4?
False
Suppose -8*y + 16 = -0*y. Suppose -y*x - 2*u = -12, -4*u + 0*u = -x - 9. Is 23 a factor of (-23)/(x/(-6)*1)?
True
Let o(q) = -102*q - 2. Let d(h) = 203*h + 3. Let w(v) = 2*d(v) + 5*o(v). Is w(-1) a multiple of 50?
True
Let d(k) = k**3 + 9*k**2 + 8*k + 6. Let l be d(-8). Suppose 18*o - l = 17*o. Suppose o*h - 44 - 28 = 0. Is 5 a factor of h?
False
Suppose -u - 4*x - 2173 + 20830 = 0, 0 = u + 3*x - 18660. Is 127 a factor of u?
True
Let v(h) = -h**2 - 16*h - 61. Let b be v(-8). Is 50 a factor of (1 - (-151)/b)/((-16)/(-120))?
False
Let f = 10339 + -7925. Is f a multiple of 17?
True
Let k be -1 + (7 - 1 - -301). Let g = 461 - k. Is g a multiple of 31?
True
Let d be -6*((-14)/4 - -3). Is 4 a factor of (-234)/65*((-140)/d - 0)?
True
Suppose -235 = -2*q + 63. Suppose 0 = -8*x + q + 1051. Is x a multiple of 25?
True
Let m = 224 - 223. Let q(p) = 442*p**2 - 17*p + 17. Is 17 a factor of q(m)?
True
Let k(j) = j**3 - 3*j**2 + 3*j - 7. Let u be k(3). Suppose -3*h = 3, -1606 - 1762 = -3*t + u*h. Does 33 divide t?
True
Let k be -5 - 956/(-9 - -5). Let d = k - 47. Is d a multiple of 11?
True
Let b be 1*(0 - 2 - -3). Let n be b*(-19)/2*2. Let l = n - -55. Is l a multiple of 18?
True
Let d be ((-76)/16)/(-1 - 14/(-16)). Is 19 a factor of (67/134)/(1/d)?
True
Let b(l) = -l**2 + 8*l + 7. Let g(i) = -3*i**2 + 17*i + 15. Let p(u) = -5*b(u) + 2*g(u). Let a be p(-4). Suppose -x = -a - 50. Is 6 a factor of x?
False
Suppose v + 7 = 4*q + 4, 3*v = 15. Let k = 2 + q. Suppose 0 = 5*c + k*b - 371, 4*c - 2*b = 61 + 241. Does 23 divide c?
False
Suppose 5*x - 3*x - s + 3 = 0, 0 = -x - 5*s + 4. Let n(i) = -25*i + 2. Let y be n(x). Suppose -5*a - w + 37 = -2*a, -3*a = 3*w - y. Is a a multiple of 14?
True
Suppose -13*b = -133 - 49. Suppose 0 = b*i - 3369 + 1115. Is i a multiple of 23?
True
Suppose 6*m - 1652 = 1714. Let x = -14 + m. Is 15 a factor of x?
False
Let w be (-774)/4*-5*40/(-30). Let o = -849 - w. Is 57 a factor of o?
False
Is 54 a factor of (1711/(-354))/((-2)/168)?
False
Let j = -83 + 86. Suppose 5*z = -j*y + 150, -3*z - 36 = -y - 0*z. Suppose 5*i + 0*i - y = 0. Does 4 divide i?
False
Let c(x) = -25*x**2 - 749*x + 20. Is 48 a factor of c(-25)?
True
Is 79 a factor of ((-1173601)/22)/(-13) - (-2)/4 - -3?
False
Suppose 5*a = 5*m - 30, 5*a = -2*m + a. Suppose 0 = -b - m*k + 34, -2*b - 2*k = -16 - 46. Is 4 a factor of b?
False
Let s(f) be the second derivative of 185*f**3/6 - f**2/2 - 25*f. Let v be s(2). Suppose -3*z = 6*z - v. Is 8 a factor of z?
False
Let l be 2/4 - 533/26 - -4. Does 10 divide (l/12)/((-32)/11976)?
False
Let g(m) = 84*m**2 - 114*m + 701. Is g(7) a multiple of 5?
False
Suppose -q = z - 28, 0 = -2*z - q - 4*q + 47. Suppose 9968 = z*i - 6245. Is i a multiple of 26?
False
Let a(k) = 7*k + 18. Let v(z) = -63*z - 161. Let o(j) = 28*a(j) + 3*v(j). 