t j = 297 + -196. Let y = j - 72. Is y a multiple of 4?
False
Let z(r) = -r**3 + 9*r**2 - 11*r + 11. Let x be z(6). Suppose -965 + x = -3*g - 4*p, 5*p + 1485 = 5*g. Is g a multiple of 50?
True
Suppose -15041 = -3*m + 4*d, 19*d = 23*d - 4. Is 59 a factor of m?
True
Suppose -4 = 2*h, 0 = -5*j + 4*h + 18030 + 43578. Is 7 a factor of j?
True
Is -36 + 20 - 63456/(-1) a multiple of 14?
False
Let o(t) be the third derivative of -7*t**6/20 + t**5/30 - t**4/6 + t**3/6 + 17*t**2 + t. Is 17 a factor of o(-2)?
False
Suppose b + 979 = 5*s - 0*s, 5*b = -3*s + 593. Suppose 15*u + 387 = 4*g + 12*u, -2*g + 4*u = -s. Does 5 divide g?
False
Let l(w) = 3*w**3 + 4*w**2 + w + 4. Let i be l(-2). Does 38 divide (-8 + 8)/i - -408?
False
Suppose 3*w = -4*y - 10 - 12, 0 = -2*y + w - 6. Let r be 816/(-104) - y/(-26). Let x = 67 - r. Does 9 divide x?
False
Does 24 divide 3522 - 8*8/(-16)?
False
Suppose 4*o = -440 - 324. Let t be (-3 - 8/(-3))*(-12 - (-84)/7). Is (-2)/(-12) + t + o/(-6) a multiple of 16?
True
Let n be 5 + -1 - ((-356)/4 - -8). Suppose 96*w - 10736 = n*w. Is w a multiple of 61?
True
Let z(r) = -14*r**3 + 48*r**2 - 41*r + 14. Let x(l) = -12*l**3 + 47*l**2 - 40*l + 13. Let p(k) = 6*x(k) - 5*z(k). Is p(20) a multiple of 27?
True
Let z = 13244 - 1474. Is 214 a factor of z?
True
Suppose 174 = h - 146. Suppose -2*k = -4*a + 156, -4*k + 8*a - 4*a = h. Let x = 152 + k. Does 16 divide x?
False
Suppose -13*k = -15640 - 12882. Is 37 a factor of k?
False
Suppose -25*b + 306462 = -256149 - 314889. Is b a multiple of 10?
True
Suppose x + 4*s = -76, 3*s = -2*x - 73 - 59. Let d = 296 + x. Is 11 a factor of d?
False
Suppose -1987 - 1373 = -9*o + 924. Is 17 a factor of o?
True
Suppose -150 = 17*f - 92*f. Let b(l) = -709*l - 1. Let o be b(-1). Suppose -w - 4*y = 3*w - o, -y = -f*w + 354. Is 24 a factor of w?
False
Suppose -7*y + 57206 + 14070 = -138192. Does 145 divide y?
False
Suppose -4*w + 61 + 179 = 0. Suppose 0 = 2*g + 186 + w. Let s = g + 207. Is s a multiple of 28?
True
Let o(m) be the second derivative of 1/20*m**5 + 0 - 5/6*m**4 + 29*m + 8*m**2 - 4/3*m**3. Is 9 a factor of o(11)?
False
Is ((-130)/15)/((-42)/4788) a multiple of 54?
False
Let c(u) = 4*u - 1 - 20*u + 13*u - 4*u**3 - 3*u**2. Is c(-2) a multiple of 12?
False
Suppose -6*x + 11*x = -3*z + 720, 0 = -z - 2*x + 241. Let v = -1 + z. Does 13 divide v?
True
Let q be ((-5)/(-10))/((-2)/20). Let f be q/(-25)*5 + -2 + -1. Let t(m) = -59*m + 2. Is t(f) a multiple of 17?
False
Let l(i) = 72*i**3 + 3*i**2 + 3*i + 30. Does 11 divide l(6)?
True
Let n = -163 - -349. Suppose 0*w = w - n. Suppose 5*s + s - w = 0. Is 15 a factor of s?
False
Let h be 4320/105 - (-1)/(-7). Suppose v = a - h, a + v = 5*v + 50. Suppose -4*d = -2*s + 204, -s + 3*d + a = -67. Does 24 divide s?
True
Let m be (20 - 20)*(7 + -8). Suppose -3*l + 6*i - 4*i + 2 = 0, 21 = -l + 5*i. Suppose k - l = -m. Is k a multiple of 2?
True
Let n be -1 + 15/2 - (-2)/4. Suppose w - 4 = -2*v, 2*w + n = -v + 3. Suppose -100 = -v*y - 0*y + 4*h, 4*h - 4 = 0. Is 2 a factor of y?
True
Let c(q) be the first derivative of q**4/2 - 4*q**3/3 - q**2/2 + 33. Let o be c(2). Is (6/o - 27)*2/(-4) a multiple of 7?
False
Suppose 8*p + 23 = 223. Let y(s) = s**2 + 3*s - 16. Is y(p) a multiple of 18?
True
Suppose -55*x + 50*x + 3466 = -3*r, 2*r - 6 = 0. Is x a multiple of 4?
False
Suppose 26960 = -57*p + 65*p. Is 56 a factor of p?
False
Suppose 0 = -2*j + 5*n - 55, -2*n = -6*n - 4. Let a be 39*(-5)/j*16/1. Let s = a + -64. Is s a multiple of 2?
True
Let c = -16 + 20. Suppose 568 = 4*d - 4*w, c*d + 7*w - 582 = 4*w. Suppose 2*q - 196 = -3*t - 0*q, -2*t + 2*q = -d. Is t a multiple of 17?
True
Suppose -960 = -5*o + 1475. Let w = o - -91. Is 34 a factor of w?
True
Let d = 313 - 310. Suppose 5*l = d*a - 1013, -2*l - 337 = -2*a + a. Is a a multiple of 14?
False
Let w(u) = 2*u + 12. Let y be w(-5). Suppose -4*b + 82 = p, 0 = -0*p - 5*p - y*b + 320. Let k = 82 + p. Does 10 divide k?
False
Let k = 1877 - 1182. Is 3 a factor of k?
False
Let x be (3 - (-14)/(-6))/((-6)/(-13725)). Does 22 divide 3 - x/(-10)*2?
True
Let g(i) = i**2 - 10*i + 27. Suppose 3*w - v + 39 = 0, -3*w - 5*v = -w + 26. Is 28 a factor of g(w)?
False
Does 16 divide 7 + -2 + 1 + 2 + 999?
False
Is (2/(-4))/(21/(-1393)*2/732) a multiple of 221?
False
Let m(u) = 19*u**2 + u + 3684. Is m(0) a multiple of 40?
False
Is 11 a factor of -6 + 54/(-4)*(-9000)/27?
False
Let g be (-2)/9 - (8 - (-238)/63). Let x(b) = -2*b**2 + 17*b - 1. Let l(f) = 5*f**2 - 33*f + 3. Let s(q) = -3*l(q) - 7*x(q). Does 9 divide s(g)?
False
Suppose -9*u = -7*u. Let g be ((-58)/(-6))/(8 - (-138)/(-18)). Suppose o = -3*k + 226 + g, u = -5*o. Does 18 divide k?
False
Suppose 29*c = 11*c + 324. Suppose 15*h - c*h = -246. Is h a multiple of 82?
True
Is 12 a factor of ((-20 + -5)/(-5) - 2) + (-5 - -1022)?
True
Suppose -19 - 36 = -11*m. Suppose -2*q + 1584 = 7*q. Suppose -m*u = -q - 149. Is u a multiple of 10?
False
Let x(h) = -102*h**3 - 3*h**2 - 2*h + 2. Let c(w) = 101*w**3 + 2*w**2 + 2*w - 1. Let a(u) = -4*c(u) - 3*x(u). Is 11 a factor of a(-1)?
True
Let x = 16943 + -13310. Does 7 divide x?
True
Suppose -3*v - 134 = -2*x, 0 = 4*x + 3*v + 40 - 344. Suppose 0 = 72*k - x*k + 315. Does 11 divide k?
False
Let x(p) = -p**3 + 15*p**2 + 6*p - 5. Let y be (5 + 0)*4/10. Suppose -2*k + y*s = -38, 0 = -4*k + 5*k + 5*s + 5. Is 10 a factor of x(k)?
False
Suppose i + 0*i = -52. Let y = 0 + i. Let b = y - -94. Is 7 a factor of b?
True
Let i(s) = -45*s**2 - 7*s - 8. Suppose 4*l = 3*l + 5*t - 7, 2*l = 2*t - 6. Let h be i(l). Let u = -79 - h. Is 15 a factor of u?
False
Let j = 115 + -111. Is 13 a factor of (-618)/(j/(-2)) - 85/(-17)?
False
Let b(z) = -z**3 - 6*z**2 - 4*z + 11. Let a be b(-5). Is 27 a factor of a + 0 - (-753 - 8/4)?
False
Is 60 a factor of (-77 - (-38 - -32))/(-2 + 114/58)?
False
Is -6 - (15988/(-12) - -1)*(-315)/(-30) a multiple of 89?
True
Suppose 8 = -4*i - 12. Let h(o) = 2*o**2 - 6*o + 1. Let l(b) = -3*b**2 + 4*b - 1. Let j(s) = 4*h(s) + 3*l(s). Does 12 divide j(i)?
True
Suppose 77 = -5*m - 5*w + 42, 0 = 2*m + 4*w + 20. Is 8 a factor of (-1 + 2)/(m/1664*-4)?
True
Let j(k) = 10*k**2 - 12*k + 26. Let c be (63/(-28))/(-9) - (-1)/(-4). Suppose c = -8*y - 2*y + 40. Does 15 divide j(y)?
False
Let h be 419 - -6*(-3 - -4). Is h - (7 - (5 + -4)) a multiple of 11?
False
Suppose -199131 - 59764 - 56354 = -33*l. Does 244 divide l?
False
Suppose -38*t = -47*t + 3780. Suppose -4*y + 442 + t = 2*r, y + 5*r = 229. Is y a multiple of 60?
False
Suppose -3*n = 14*n - 68. Suppose 0 = g - 2*v - 201, -3*v + n*v - 840 = -4*g. Does 13 divide g?
False
Let n(p) = -p - 1. Let b(d) = 16*d - 11. Let t(h) = b(h) + 5*n(h). Let i be t(4). Suppose y = -3*y + i. Is 5 a factor of y?
False
Let f = 51 - 41. Let z = 5 - f. Is (-8)/z*15*(-18)/(-6) a multiple of 7?
False
Suppose -64*v + 59*v - 2*a + 54039 = 0, 8 = 4*a. Is 18 a factor of v?
False
Suppose 0 = -9*m + 32 - 5. Does 5 divide -180*(6 - 20/m)?
True
Suppose -4*r + 3*a - 105 = 169, -4*r + a - 278 = 0. Is 4 a factor of (r/6)/(5 - (-112)/(-21))?
False
Suppose -4*p = 16, -3*k + 42 = 5*p - 16. Suppose k = 9*q - 163. Suppose -789 = -5*n + b, -2*n - 4*b + q = -299. Is n a multiple of 35?
False
Suppose -40*v + 265 - 65 = 0. Let n(p) = 4*p**3 - 11*p**2 - 5*p - 8. Is n(v) a multiple of 3?
True
Suppose -4*v = 5*g - 153173, -2*v = -5*g - 58635 - 17944. Does 12 divide v?
True
Let f(y) = y**2 + 41*y + 78. Let l = 638 - 680. Is 60 a factor of f(l)?
True
Suppose -5*i - 2*t = -4*t, 0 = 5*i + t. Suppose 3*g - c - 988 - 921 = 0, i = 4*g - c - 2545. Is 52 a factor of g?
False
Let o(f) be the second derivative of -2*f**2 - 7*f + 7/6*f**3 + 0. Is o(11) a multiple of 21?
False
Let n(v) = -6*v - 54. Let b be n(-9). Let g(q) = -6*q + 381. Is 38 a factor of g(b)?
False
Let q(m) be the second derivative of 17*m**4/6 - m**3/6 - 5*m**2/2 - 12*m + 2. Does 19 divide q(-3)?
True
Let s(b) = 2*b**3 - 16*b**2 + 8*b + 5. Let y = -69 - -63. Let i(v) = -v**2 - 10*v - 16. Let g be i(y). Is s(g) a multiple of 31?
False
Is 64553 - (28/(-3))/((-8)/(-6)) a multiple of 24?
True
Suppose 183*f = 179*f - 84. Is 2 a factor of (-783)/f + (-40)/140?
False
Let y(s) = 479*s**2 + 60*s + 193. Is y(-3) a multiple of 46?
True
Let d be 2/(2/(-9))*(-2)/6. Let k(m) = 0*m + 3*m - 5 - 4*m + 6*m**2. Is 23 a