k**2 - 6*k + 6. Suppose -20 = 4*q, -6*a + 29 = -2*a - 5*q. Is 19 a factor of l(a)?
True
Suppose 895466 = 215*i + 13536. Is i a multiple of 12?
False
Suppose -g + 362 = 49. Let p = g - 203. Is p a multiple of 11?
True
Let a(m) = -9*m**3 + 7*m**2 - 18*m - 5. Let d(z) = -z**3 - z - 1. Let b(j) = -a(j) + 4*d(j). Does 13 divide b(6)?
False
Let q = -55 - -50. Let z(d) = d**2 + d + 4. Let b be z(q). Let l(n) = -n**3 + 23*n**2 + 24*n + 19. Does 19 divide l(b)?
True
Suppose -2*d - 3*u = -7*d - 46, -12 = d - 2*u. Let q be (-4)/(-12)*(-2 - d). Suppose -115 = -q*h - 5*p, 3 = -p + 2*p. Is h a multiple of 10?
True
Let m(i) = i**3 - 16*i**2 - i + 18. Let r be m(16). Suppose 4*o = 9*o - 5*p - 980, -r*o + p = -394. Is o a multiple of 7?
False
Let u = 63 - 57. Suppose 63 = c + u*c. Suppose -4*y - 5*z + 16 = 0, -c - 3 = -3*y + z. Does 2 divide y?
True
Let i = 376 + 5325. Is i a multiple of 97?
False
Let n be 3/9 + (-1)/3*-1307. Suppose -2*j = -0*j + 2*h - n, -2*j - 3*h = -441. Does 29 divide j?
False
Suppose -6 = 3*b + 4*u - 15, 0 = -5*b + 4*u + 15. Suppose -b*i - 2*w + 295 = 0, -4*w - 184 = -2*i + w. Is 33/(-6) + 4 - i/(-2) a multiple of 11?
False
Suppose 205*t = 103*t + 94*t + 89088. Is t a multiple of 62?
False
Suppose 26*g = 20*g + 24. Suppose 0 = -3*y - g*y + 3157. Is 41 a factor of y?
True
Let x = 1185 + 159. Is x a multiple of 24?
True
Suppose 3*d - 53 + 47 = 0, 50 = 4*j + 3*d. Let s(g) = g**2 + 26*g - 113. Does 21 divide s(j)?
True
Let n(h) = 4*h**2 + 362*h - 221. Is n(-94) a multiple of 2?
False
Let q be (-15)/(-6)*20/(-25). Let v be 1*(791/q)/(-7)*2. Suppose v = b + 8. Is b a multiple of 9?
False
Let r(k) = 2*k**3 - 8*k**2 + 2*k - 11. Let u be r(6). Suppose 11*b - 4*c = 12*b - u, -b + 5*c = -109. Does 3 divide b?
True
Suppose -137*x = -126*x + 154. Is 14 a factor of (20280/455)/((-2)/x)?
False
Let x = -51053 - -75671. Does 32 divide x?
False
Let r(c) = 2*c**2 + 25*c - 3. Let u be r(-14). Let v = 37 - u. Is 32 a factor of (0 - (v - 18))*(12 + -4)?
True
Let n = -3 - -16. Let k(t) = -t**2 + 11*t + 26. Let q be k(n). Suppose 3*w = c + c + 198, q = c. Does 18 divide w?
False
Let h(g) be the second derivative of g**5/20 + 7*g**4/12 - g**2/2 + 42*g - 1. Is h(-5) even?
False
Let g = 234 + -113. Suppose -9*d = -20*d + g. Does 11 divide d?
True
Let a = 6 + 52. Let o = -48 + a. Does 4 divide (-16)/40 + 1 + 204/o?
False
Let p = -4448 + 5940. Does 48 divide p?
False
Suppose -3*o - l - 62 = -2*o, 4*o = -2*l - 244. Let k = -62 + o. Let p = 192 + k. Is p a multiple of 10?
True
Let r = -135 - 266. Let g = 767 + r. Suppose -126 = 2*n - g. Is n a multiple of 20?
True
Is 18 a factor of (-1 - -8) + (-9 - 0 - -892)?
False
Let t = -16 + 18. Let a(v) = 9*v**t - 14 + 81 - v**3 + 0*v**3 - 39. Is a(7) a multiple of 9?
True
Let l(k) = -2*k**3 - 122*k**2 - 25*k - 35. Is 37 a factor of l(-61)?
False
Let z(r) = -556*r - 11. Let v be z(-1). Suppose -3*j = 5*n - 195 - 130, -5*j - 5*n = -v. Does 12 divide j?
False
Let c(y) = 682*y**2 + 34*y - 32. Does 18 divide c(7)?
True
Let f = 2301 + -1252. Is f a multiple of 29?
False
Does 9 divide -4*(-11)/((-220)/(-45340))?
False
Suppose -5*i = 4*k + k - 2895, -4*i = k - 2328. Let j = i - 304. Suppose 3*v = 240 + j. Does 20 divide v?
False
Let o(k) = -3748*k**3 - 9*k**2 - 5*k + 1. Does 29 divide o(-2)?
False
Let z = 15 - -29. Suppose 42 = -h + z. Let o(a) = 41*a - 7. Is o(h) a multiple of 18?
False
Let o = -95 - -180. Let b = -81 + o. Is b*6/(48/14) a multiple of 4?
False
Suppose -s + 34*s + 7*s = 266840. Is 135 a factor of s?
False
Let y(l) = 3*l**2 + l - 103. Let n be y(0). Let f be (-8)/(-28) + 1087/(-7). Let g = n - f. Does 15 divide g?
False
Suppose -z + 2 = 0, 151*d = 154*d - z - 1114. Does 24 divide 6/((2 - 3)*(-8)/d)?
False
Let m(j) be the third derivative of 29*j**4/24 - 54*j**3 - 26*j**2 - 5. Is 11 a factor of m(18)?
True
Let r = -172 + 8866. Is 21 a factor of r?
True
Let r = -9003 + 14445. Does 90 divide r?
False
Suppose 7*k = -0*k - 3748 + 10251. Is k a multiple of 8?
False
Suppose 0 = 9*i + 220 - 4. Let g = 1236 - i. Is 30 a factor of g?
True
Suppose 18*r - 3120 = 6*r. Let l = r - 38. Is l a multiple of 37?
True
Let p be 10/(-4)*80/(-100). Suppose -5*k = p*n - 454, 3*k - 224 - 1 = -n. Is n a multiple of 29?
False
Let x(f) = 3*f**2 + 4*f - 124. Let d(k) = -9*k**2 - 11*k + 373. Let w(v) = 2*d(v) + 7*x(v). Does 9 divide w(10)?
False
Is 48 a factor of 18208/4*(-297)/(-66)?
False
Let b be ((-8)/10)/(-2*2/10). Suppose 4*a - z + 510 = 0, b*z = -3*a + 5*z - 387. Let c = a - -171. Is c a multiple of 22?
True
Let b(r) = -8*r**3 + 14*r**2 + 60*r + 32. Is 112 a factor of b(-6)?
True
Let n = -17000 - -26156. Does 20 divide n?
False
Suppose -t + 2*k + 26 = 0, -t - 2*t - k + 85 = 0. Suppose 504 = -21*o + t*o. Does 6 divide o?
True
Let c(q) = 17*q**3 + 22*q**2 - 183*q + 57. Is 49 a factor of c(8)?
False
Suppose -76*a + 160707 = -191933. Is 40 a factor of a?
True
Let n(b) = b**2 + 2*b - 11. Let d be n(0). Let q(x) = x**3 + 12*x**2 + 6*x - 7. Let j be q(d). Let m = -25 + j. Is m a multiple of 4?
False
Let d be (142/1)/(1 - -1). Let c = -35 + d. Let l = c + -25. Is l even?
False
Let c(z) = 3*z**2 + 5*z + 21. Let o be c(7). Suppose 3*t - 914 = -y, -y + 505 - o = t. Is t a multiple of 18?
True
Is 48/(-16) + 23 - -5352 a multiple of 7?
False
Let s = -47 + 62. Suppose 2*x + 5*c = -s, -5*x + x - 35 = 5*c. Does 7 divide (-18)/45 - (642/x)/3?
True
Let d(v) = -1 - 8*v - 4*v - 7. Let o be (5/30 + (-33)/36)/((-10)/(-40)). Is 14 a factor of d(o)?
True
Suppose -101*q + 104*q - 6 = 0. Suppose -2*r + 12 - q = 0. Suppose r*x - 2*h + 7*h = 240, 0 = -3*x - 5*h + 152. Is x a multiple of 21?
False
Suppose -3*w + 6*w = 12, -3*w - 140 = -4*h. Let j = h + 287. Is 13 a factor of j?
True
Let w be 4 + -1 - (7 + 0 + -6). Suppose -5*z + 213 = w*l - 4*z, 5*l - 525 = -5*z. Suppose -20 = 4*v - l. Is 5 a factor of v?
False
Let m(b) = -41 - 8*b + 0*b - b - b - b**2. Let c be m(-5). Does 7 divide (-2*(-54)/c)/(7/(-28))?
False
Let y = 986 - 448. Suppose -z = -3*t + y, 3*z = -4*t - 0*z + 739. Is t a multiple of 5?
False
Suppose -38*r = -41*r + 84. Does 12 divide ((-11)/(-4) - -1)*r?
False
Let r(i) = -61*i + 2. Suppose 30 = 2*q + 24. Suppose n = -q, -2*n + 3*n + 2 = d. Is 7 a factor of r(d)?
True
Let g be (4/(-10))/((-12)/(-15))*268. Let u = 274 + g. Suppose u = z + 4*x, 5*x - 74 = -z + 61. Does 48 divide z?
False
Suppose 3 = 9*j - 10*j, j = 2*i + 13. Let m(b) = -63*b + 81. Is m(i) a multiple of 45?
True
Let f be (28/70)/(2/15). Let h(q) = 20*q**2 - 14*q + 3*q**3 - 9*q**3 - 28 + 7*q**f. Is 12 a factor of h(-20)?
True
Suppose 0 = -6*t + 220 + 206. Suppose -4*u - k = -199, 4*k = u + 17 - t. Is u a multiple of 10?
True
Let i = 354 - 231. Let w = i - -282. Does 45 divide w?
True
Suppose 0 = -2*o - 4*o + 48. Suppose -g - 420 = -o*g. Suppose g = 15*d - 9*d. Is 10 a factor of d?
True
Let f be 2/4 + -3*(-263)/6. Suppose 932 = 10*w + f. Is w a multiple of 16?
True
Suppose 4*h - 8*h - 4 = 0. Let d be (25 + -25)/(h - -2). Suppose q - 22 = -a, d*q = -5*a - 3*q + 108. Is 7 a factor of a?
True
Suppose -2*p + 26251 = -16818 - 17241. Does 85 divide p?
False
Let g be ((-10)/20)/((-2)/3080). Suppose o + 2*f - 188 = 0, -2*f - g = -4*o - 4*f. Does 22 divide 6 + -5 - (-2 - (1 + o))?
True
Let z = 1212 - -5744. Is z a multiple of 9?
False
Suppose 0 = -5*j + 5, 0 = 3*r - 2*r + j - 5. Let d(b) = 9*b**2 + 9*b - 21. Is d(r) a multiple of 8?
False
Suppose -4*h - 3*v + 8*v + 40 = 0, -3*h - v = -11. Suppose -h*z + 13 = 3*t - 6, 0 = 3*z + 4*t - 18. Suppose z = l - 20. Is l a multiple of 3?
False
Let w(c) = -3*c + c + 3*c - 2*c - 10. Let i be w(-16). Suppose 0 = -5*n - i*n + 1980. Is 15 a factor of n?
True
Let s(r) = r**3 - 10*r**2 - 24*r + 144. Let f be s(11). Is 44 a factor of (-384)/(-10)*(10 - (f - -4))?
False
Suppose -1700 = -4*l - 6*l. Suppose -l + 374 = z. Does 3 divide z?
True
Let o(a) = 5 + a**3 + 67*a - 68*a + 4 - 3 - 4*a**2. Let q be o(4). Suppose 5*y - q*y = 201. Does 40 divide y?
False
Let u be (123/6)/((-6)/12). Let o = u + 46. Suppose 140 = o*g - 40. Is g a multiple of 12?
True
Suppose -705606 = -236*i + 6307206 + 5538376. Is 13 a factor of i?
True
Let o = 970 - 255. Is 13 a factor of o?
True
Let r(l) = -l**2 + 6*l + 2. Let v = 25 - 19. Let f be r(v). Does 17 divide f + (-4 - -4) + 77 + 0?
False
Is 