6 = 3285. Suppose -2071 = -7*k + r. Is k a multiple of 17?
True
Suppose 5*i - 5*m - 8214 = 5361, 3*i - m - 8155 = 0. Let x = i - 1877. Does 63 divide x?
False
Let b(h) = -h**3 - 4*h**2 - h - 3. Let x be b(-4). Let t(a) = 66*a**2 - 2 + x + a + 2*a + 0*a. Does 17 divide t(1)?
True
Suppose -5*m = -2*w + 12241, 4*w + 3*m = 9055 + 15466. Does 10 divide w?
False
Suppose -40*x = -12*x + 25*x - 313230. Is x a multiple of 10?
True
Suppose -p = -4*v + 23 + 12, 0 = -5*v - 3*p + 48. Suppose 2*o = v*o - 833. Is 7 a factor of o?
True
Suppose -18*f = 2*f - 8000. Let q = f + -151. Is q a multiple of 7?
False
Suppose -5*v + 0*v + i - 24 = 0, -3*v - i - 16 = 0. Let s be (-4)/(-12)*(-765)/v. Let n = s + 42. Is 31 a factor of n?
True
Let o(p) = -11*p + 167. Let b be o(15). Suppose 0 = 5*j + 3*s - 1179, b*j - s = -0*j + 465. Is 41 a factor of j?
False
Suppose 0 = 5*j - 9722 - 1653. Does 28 divide j?
False
Let b = -1 - -9. Let y be b/2 + 7 + 82. Suppose -3*x + y + 93 = 0. Is 36 a factor of x?
False
Does 7 divide (3843/(-2))/(354/(-236))?
True
Let n(m) = 0*m + 637 - 229 + m - 98. Does 19 divide n(14)?
False
Let o = 74 + -77. Let s(h) = 16*h**2 + 7*h + 1. Let y be s(o). Let g = 222 - y. Does 10 divide g?
False
Let r(u) = u**2 + 11*u - 30. Let v be r(-13). Does 17 divide v/16 - 69/(-4)?
True
Let o(z) = z**2 + 5*z - 4. Let r be 40/25*(-15)/6 + 10. Suppose 0 = 6*b - 7*b + r. Does 6 divide o(b)?
False
Let a(o) = 181*o - 59. Let p be a(6). Let c = p + -518. Is 57 a factor of c?
False
Suppose 8*n - 8475 = 22*n - 64587. Does 167 divide n?
True
Let n(u) = 401*u**3 - 3*u**2 + u. Suppose -3*y - 2*y + 5*p = 10, 6 = 2*p. Does 28 divide n(y)?
False
Suppose -a = -3 - 6. Let c = 23 - a. Suppose -12*r = -c*r + 164. Is 9 a factor of r?
False
Suppose -69325*s + 69343*s = 28458. Does 38 divide s?
False
Suppose 0 = -2*i + y + 4325, -4*i + 8645 = -49*y + 52*y. Is 46 a factor of i?
True
Let g(p) be the third derivative of 7*p**5/60 - p**4/4 - 8*p**3/3 - 44*p**2 + 2*p. Does 29 divide g(-6)?
False
Let k(b) = 156*b**2 + 21*b + 4. Let d(u) = 52*u**2 + 7*u + 1. Let l(t) = 7*d(t) - 2*k(t). Does 7 divide l(-2)?
False
Suppose -q + 2*v + 691 = 0, 5*v - 3*v = 4. Suppose 697*p - q*p - 184 = 0. Is 4 a factor of p?
True
Let z(n) = -30 - 3*n + 2*n**2 - n**2 + 7*n. Let m be z(-6). Is 12 a factor of (-284)/m - (29/(-9) + 3)?
False
Is 1*(234/(-52) + 31173/6) a multiple of 166?
False
Suppose -12*j = 114 - 174. Is 27 a factor of 2*(j + 198/(-48))*212?
False
Suppose 3*g - 2*d = 51832, 2*g - 5*d + 86445 = 7*g. Is g a multiple of 11?
False
Let r(v) = -v**2 - 151*v - 424. Does 9 divide r(-61)?
False
Let s(a) = a**3 + 78*a**2 + 94*a - 493. Is s(-76) a multiple of 4?
False
Let r = 95 - 171. Let f = r + 82. Suppose -48 = f*z - 756. Does 9 divide z?
False
Suppose -64*l + 29312 + 162786 = 3938. Does 21 divide l?
True
Let b = 3560 + 1610. Is b a multiple of 10?
True
Suppose -16*t = -19*t + 57. Let p = t + -18. Is 3 a factor of (-3 - p) + 18 - 0?
False
Suppose 6378 + 2778 = -14*u. Let x = 1270 + u. Suppose -15*o + 11*o + x = 0. Is o a multiple of 15?
False
Suppose 4*h - 1 = 3*h. Suppose j - 6 = h. Let b(k) = 3*k**2 - 7*k - 5. Does 16 divide b(j)?
False
Let n(r) = -5*r**2 - 39*r - 8. Let a be n(4). Let t = 376 + a. Is 3 a factor of t?
True
Suppose -10 = r - 5*w + 41, 5*w - 195 = 5*r. Is 49 a factor of (12/r)/((-3)/1053)?
False
Let y(m) = -m**3 - 11*m**2 + 11*m + 24. Let l = 82 + -94. Is 36 a factor of y(l)?
True
Is (52/(-6))/(134/(-34974)) a multiple of 58?
True
Does 36 divide (-18 - -18) + (9746 - -3)?
False
Let b(t) = -13*t**3 - 12*t**2 - t - 145. Is 71 a factor of b(-8)?
True
Suppose 9*c - 2427 = -375. Suppose -40 = 4*k - c. Is 27 a factor of k?
False
Let o(y) = -y**2 - 6*y - 4. Let r(p) = 3*p + 21. Let n be r(-9). Let j be o(n). Is 23 a factor of (-8)/(-6)*(-138)/j?
True
Suppose 9*x = -4*x + 1703. Suppose 0 = 3*k - 0*k + f - x, 4*k + 5*f = 193. Let y = k - -68. Does 22 divide y?
True
Suppose 0 = -4*n - 3*o + 160, o + 14 + 26 = n. Suppose 3*w = 4*r - 15, -449*w - 18 = -445*w - 5*r. Suppose 22 - n = -w*d. Is 2 a factor of d?
True
Let m(s) = -s**2 - 14*s + 45. Let u be m(-11). Is 14 a factor of (4*-59)/(u/(-195))?
False
Suppose -f + 16*l - 15*l + 8170 = 0, -f + 2*l = -8176. Is f a multiple of 157?
True
Suppose 3*l = -34 + 46. Suppose -l*g = 16, 2*i - 4*i + 180 = -3*g. Is i a multiple of 12?
True
Suppose -2*g = 3*j + 5, g + 5*j + 9 + 4 = 0. Suppose -3*v + 5*f = -4*v - 6, -4*f + 12 = 5*v. Suppose -v*u = g*u - 444. Does 17 divide u?
False
Suppose -81*c = -32050 - 105893. Does 40 divide c?
False
Does 32 divide (70 + -71)/((-4)/27380)?
False
Suppose -9*s + 1333480 = -9*s + 53*s. Does 18 divide s?
False
Let n(s) = -36*s**3 - 9*s**2 + 158*s + 907. Does 41 divide n(-6)?
False
Is 4 a factor of (-15 - (-4511)/26)/((-3)/(-36))?
False
Suppose 5*x - 24 = 296. Let g = 67 - x. Suppose 0 = g*h - 65 + 5. Does 6 divide h?
False
Let l = -1217 - -2696. Is 62 a factor of l?
False
Let h be (-5 - -4)*(-34827)/13. Suppose h = 3*s + 16*s. Is 7 a factor of s?
False
Let v be (20/(-5))/(-8)*22. Is (v/(-7))/((-6)/42)*10 a multiple of 16?
False
Let s(h) = -20*h**3 + 3*h**2 - h + 1. Let w(y) = y**2 + y + 1. Let q(j) = s(j) - 5*w(j). Let i(u) = -u - 8. Let m be i(-6). Does 31 divide q(m)?
False
Let x(a) = 12*a**2 + 42*a - 227. Let z(l) = 6*l - 53. Let u be z(10). Is x(u) a multiple of 11?
False
Let k = 4065 - 2400. Let g = -913 + k. Is g a multiple of 16?
True
Let m = 1044 + -330. Let i = -659 + m. Is i a multiple of 3?
False
Let w(h) = h**2 + 8*h + 14. Let t be w(-6). Suppose -5*y - 2*r + 589 = -3504, -t*r + 2459 = 3*y. Is y a multiple of 43?
True
Suppose -732*m = 3*g - 728*m - 70212, -5*m + 23415 = g. Does 90 divide g?
True
Let l(j) = 9*j - 24. Let x be l(6). Suppose -w + t - 83 - x = 0, 4*w + 3*t + 480 = 0. Does 4 divide (-4589)/w + (-1)/9*2?
False
Let d be 71/5 - (-5 - (-78)/15). Suppose 0 = -4*t + 20, -2210 = 9*q - d*q + t. Is q a multiple of 50?
False
Suppose 0 = -7*n - 96 + 1244. Suppose -17*l - n = -13*l. Let m = l - -77. Does 9 divide m?
True
Let z = -642 - -649. Let m(h) = -3*h**2 + 35*h + 7. Does 22 divide m(z)?
False
Suppose -1147 = -5*n + 113. Suppose n = 8*u + 36. Suppose u = 5*m - 13. Is m a multiple of 8?
True
Let u(v) be the third derivative of 11*v**4/12 - 4*v**3/3 + 17*v**2. Is u(22) a multiple of 14?
True
Let n = -10719 - -16023. Does 13 divide n?
True
Let g(p) = p**3 - 23*p**2 - 21*p - 10. Let i be g(25). Let z = -304 + i. Is z a multiple of 33?
False
Does 19 divide ((-131271)/588 - (-6)/(-3))/(1/(-268))?
False
Let j(d) = -7*d**2 - 2*d + 9. Let r be j(5). Let f be -10 - -9 - (r - (-4)/2). Suppose -2*l - w = -103, -3*l - 2*w - 16 = -f. Is l a multiple of 7?
True
Is 77 a factor of 1386/(((-30)/(-14) + (-14)/98)/2)?
True
Let b(o) = -2*o**2 + 18*o + 5. Let v be b(9). Let f(q) = -2 + 7 + q**3 + 1 - v*q + 1. Does 29 divide f(5)?
False
Suppose 0 = 20*t - 98235 + 40835. Suppose -t = n - 15*n. Is 14 a factor of n?
False
Suppose 4*y - 1723 = -3*v, 851 = 2*y + 3*v + 2*v. Let m = 627 - y. Is m a multiple of 4?
False
Let t(q) be the first derivative of -31*q**2/2 + 6*q + 2. Let l(s) = s**2 - 39*s - 44. Let a be l(40). Is 14 a factor of t(a)?
False
Let r(u) = -59*u + 41. Is 28 a factor of r(-19)?
False
Suppose 165*y + 44690 = 206*y. Is y a multiple of 9?
False
Suppose 3*q - 2613 = -3*v, -6*q - 871 = -v - 8*q. Suppose -12*a = -v - 4409. Is 55 a factor of a?
True
Suppose 0 = 28*d - 27*d - 6. Let r be (d/(12/(-14)))/(2/(-2)). Suppose 0 = 3*g - 160 + r. Does 27 divide g?
False
Suppose 3*h - 28 = w + w, -4*w + 44 = 4*h. Let r be ((-120)/(-18))/h*(1 - 112). Let i = r + 105. Is 3 a factor of i?
False
Is (4 - -12603) + (43 - 54) a multiple of 188?
True
Is 14 a factor of (-15)/9 - -2 - (-13 + 35500/(-15))?
True
Does 19 divide -1*(4/((-96)/7002) + 7)*76?
True
Let r = 86 + -143. Does 3 divide (-1)/(38/r*(-1)/(-10))?
True
Suppose -24*x + 13470 = -9*x. Suppose -t + 902 = 3*m + 3*t, 3*m = -5*t + x. Is m a multiple of 34?
True
Let p(z) = -z**2 + 21*z + 11. Let u be p(16). Suppose -11*s + 18*s = u. Is s a multiple of 2?
False
Suppose 4*k - 2*k - 2*a - 20 = 0, -5*k + 4*a = -48. Let o be (-1)/4 - (-1 - 4754/k). Suppose 2*h = -3*b + 533, 2*b - o + 1880 = 5*h. Does 14 divide h?
False
Suppose -4*m + 56332 = 4*b, 5*m + 2*b - 87481 + 17069 = 0. Is m a multiple