 19*w**2 - 18*w - 10. Let y(k) = k**2 + 9*k - 9. Let s be y(-10). Suppose s = -2*t + 41. Does 3 divide p(t)?
True
Let k(r) = 2*r + 45. Let q be k(-22). Let h be 3 - q*(220 - 3). Let j = -120 - h. Is 12 a factor of j?
False
Let h = -56 + 133. Let f = -45 + h. Is f a multiple of 8?
True
Is 66 a factor of (-12 + 0)*32/48 - -961?
False
Suppose 0*l + 3*l = 0. Let i be 0 - (-80 - -2) - -9. Suppose l = o - 2*o + i. Is o a multiple of 14?
False
Suppose 189*i - 1722000 = -98*i. Is i a multiple of 15?
True
Let j(i) = i**3 - 3*i**2 - 2*i + 2. Let n be j(-2). Let t be (-10 - n) + -1*95. Let y = 8 - t. Is 23 a factor of y?
False
Suppose -85*l = -82*l - 291. Let p = 201 - l. Is p a multiple of 12?
False
Suppose y = -3*d + 9, -y + 356*d - 354*d - 16 = 0. Let m(b) be the third derivative of -13*b**4/24 - 17*b**3/6 - b**2. Is m(y) a multiple of 7?
False
Let k(x) = -x**3 + 13*x**2 + x - 6. Let s be k(11). Suppose s + 5577 = 16*c. Is c a multiple of 46?
False
Let f(z) = -8*z + 26. Let m be f(-8). Suppose -m = 8*w - 13*w. Suppose -x = -i - w, 4*x + 5*i + 45 = 6*x. Does 3 divide x?
True
Let r = 3604 - 2468. Is r a multiple of 48?
False
Let x = -124 - -1624. Is 15 a factor of x?
True
Let r(v) = -v**3 + v**2 + v. Let m(n) = -2*n**3 - 18*n**2 + 5*n + 22. Let w be 2/(2/2 - -1). Let d(f) = w*m(f) - 3*r(f). Does 16 divide d(21)?
True
Let v = 115 + -91. Suppose 9*k - 6*k - v = 0. Suppose k*f - 2*f - 366 = 0. Does 22 divide f?
False
Let s(d) = d**3 + 25*d**2 - 28*d + 21. Let k be s(-26). Suppose o - k + 19 = 0. Is o a multiple of 10?
False
Let x(d) = d**2 + 19*d - 77. Let b be x(-42). Does 31 divide -1 - b/(-11) - (-2)/11?
False
Is 5113548/84 - (-7 - (-265)/35) a multiple of 50?
False
Let d = 17136 - 9823. Does 10 divide d?
False
Let j(s) be the third derivative of 52*s**5/15 + s**4/8 - s**3/6 + 14*s**2. Let p be j(1). Suppose -4*m + p = 3*m. Is m a multiple of 10?
True
Let n = -103 + 120. Suppose -2*m - d = 4 - n, -3*m + 25 = -4*d. Is 6 a factor of -68*2*m/(-8)?
False
Let m = 397 - 394. Suppose 18*y = -m*y + 12159. Is y a multiple of 50?
False
Is ((-104)/24 + 16)*60 a multiple of 7?
True
Let y be (-5)/7*56/16*-2. Let l = -8 - -32. Suppose -q - l = -y*q. Is q a multiple of 3?
True
Suppose -6 = 4*d + 2*d. Let i be (18/45)/(d/5). Is 13 a factor of i/((-628)/156 - -4)?
True
Let h = 7253 + -6594. Does 21 divide h?
False
Let d = 119 - 129. Let b(n) = 2*n**2 + 22*n + 23. Let f be b(d). Does 10 divide 3 - ((-723)/f + 0)?
False
Let t = -515 - -498. Let m(o) = -93*o**3 - o**2 - o + 1. Let v be m(1). Let z = t - v. Is z a multiple of 11?
True
Let i(h) be the first derivative of h**5/6 - h**4/12 - 5*h**3/2 + 7*h**2/2 + 9. Let o(t) be the second derivative of i(t). Is 35 a factor of o(-5)?
True
Let z(o) = 120*o**2 - 100*o + 18. Is 42 a factor of z(3)?
True
Suppose -3*x = -8*x - 90. Let l = x - -4. Let s(b) = b**2 + 13*b - 3. Is 11 a factor of s(l)?
True
Let y be (-1 - -2)/(3/(5 - -7)). Suppose -z = z - 4, -5*q + 2*z - y = 0. Suppose 4*c + c - 325 = q. Is c a multiple of 11?
False
Let w = 505 + -509. Let b(s) = -25*s - 70. Is b(w) a multiple of 10?
True
Suppose 0 = 4*j - t + 5*t - 17884, 5*j - 3*t - 22363 = 0. Is 53 a factor of j?
False
Suppose 0 = -3*c - 0 - 9, 2*c = v - 3. Is v/36*-2 - 44345/(-42) a multiple of 44?
True
Let w(o) = 3439*o**3 - 16*o**2 - 23*o - 14. Let c(h) = 2293*h**3 - 10*h**2 - 15*h - 10. Let u(a) = 7*c(a) - 5*w(a). Does 52 divide u(-1)?
True
Let p be 11 + 1 + -4 + 1. Suppose -3*c + p*c = 774. Let n = c - 94. Is n a multiple of 5?
True
Let a(k) be the second derivative of -k**5/20 + k**4/6 + k**3/6 + 198*k**2 - 101*k. Is a(0) a multiple of 64?
False
Let z(y) = 8*y**2 + 5*y - 11. Let f(k) = -2*k - 18. Let t be f(-6). Let s be z(t). Does 4 divide s/5 - (-12)/(-30)?
False
Let c = -394 - -331. Let v = 129 - c. Does 16 divide v?
True
Suppose 26*m = 21*m + 35. Suppose -m*j + 3*j = -16. Suppose -j*t = -2*c - 2*c - 988, t + 5*c = 241. Does 36 divide t?
False
Suppose 0 = 3*m + 3*f + 21, 19 = -5*m - 0*f - f. Let r(z) = -z + 40*z**2 - 26*z**2 - 3*z**2 - 6. Is r(m) a multiple of 12?
True
Suppose -5*m + 2*b = 326, -5*m = b + 2*b + 336. Let x = m - -68. Suppose 44 = 2*k - k + 2*y, 3*k - 156 = x*y. Is k a multiple of 6?
False
Suppose 0 = 78*p - 25479 - 24285. Is 29 a factor of p?
True
Let f(k) = -23*k + 177. Is 16 a factor of f(-109)?
False
Let d be 3*3/(63/77). Does 19 divide (0 - 24)*(-4 - d/2)?
True
Let r = -180 - -174. Is 14 a factor of 125/(-15)*r/2 + 2?
False
Let x = 17938 + -16303. Is 3 a factor of x?
True
Suppose 0 = 27*c - 32*c - 170. Suppose -10*p = -13*p + 210. Let i = p + c. Is 12 a factor of i?
True
Let c = 26171 + -11022. Is 152 a factor of c?
False
Suppose 3*r - 2108 = -5*j + 8050, -5*j + r = -10134. Is 8 a factor of j?
False
Let v(a) = -a**3 + 19*a**2 - 14*a + 18. Let x = 61 + -61. Suppose -5*k - 20 = -0*k, -4*w + k + 76 = x. Is 6 a factor of v(w)?
True
Let k(j) = 3*j**3 - 8*j**2 - 10*j + 10. Let p be k(4). Suppose -2112 = -p*n + 2*n. Is 6 a factor of n?
True
Does 43 divide 3*817*((-116)/12 + 17)?
True
Suppose w - 4 = 5*s + 3, -3*w - 27 = s. Is 22 a factor of (460/w)/(-5)*26?
False
Suppose 2*j + 10*q = 11*q + 23356, 4*q = 5*j - 58390. Is j a multiple of 113?
False
Let m = -2869 + 1658. Let z = 218 - m. Is z a multiple of 39?
False
Let g be -1*(-14)/(-35)*(3 - -62). Is g/182 - (-13862)/14 a multiple of 10?
True
Let y(g) = -2*g**3 - 5*g**2 + 7*g + 13. Let c = 379 - 385. Is 13 a factor of y(c)?
False
Suppose 159*k - 4 = 157*k. Let u = 3 + k. Is u - 3 - (-90)/2 a multiple of 16?
False
Let x = 1491 - 856. Suppose 0 = -4*a + 2*d + 1032, 5*d = 4*a + x - 1655. Is 18 a factor of a?
False
Suppose 44 = 12*c - c. Suppose -3*h + g = 21, 27 = -5*h + c*g - 15. Does 9 divide (-2 + h/1)*-7?
False
Suppose 14*j = 10*j - 5*b + 506, -j - b + 126 = 0. Suppose j*k - 130*k + 396 = 0. Is 10 a factor of k?
False
Let r(l) = 13*l**2 - 16*l - 17. Does 11 divide r(-6)?
False
Let d = 20 - -23. Let o = -8690 + 8666. Is 2*d*6*(-12)/o a multiple of 43?
True
Let z = 37910 + -23836. Is 77 a factor of z?
False
Suppose -5*q + 26490 - 15833 = -28193. Does 92 divide q?
False
Suppose -4*g + 2960 = 2*u, 11*u + 4456 = 14*u - 2*g. Suppose -5*l + u = 2*l. Does 9 divide l?
False
Let d be ((-6)/(-10))/((-3)/(-45)). Let l(u) = -u + 2*u**2 + 16 - u + 2*u**2. Does 23 divide l(d)?
True
Is 114 a factor of 4 + -11 + -2 + (-17660)/(-10)?
False
Let w = 486 - 498. Is (-537 + -1)/(-1) - (17 + w) a multiple of 41?
True
Let v(i) = 2104*i**2 - 34*i - 52. Does 108 divide v(-2)?
False
Let y(n) = -n**3 + 9*n**2 - 13*n - 9. Let k be y(6). Let s = 302 + k. Let j = 593 - s. Does 10 divide j?
True
Let p be 711/90 + (-2)/(-20). Does 23 divide (-5515)/(-20) - (-2)/p?
True
Let c(v) = -v**3 - 16*v**2 - 13*v + 35. Let u be c(-15). Suppose -u*b = f - 4*f + 197, f = -b + 55. Is 59 a factor of f?
True
Let m be 1020/(-39) + (-2)/(-13). Let f = -26 - m. Suppose f = 2*v - b - 60, 5*b = 8 + 2. Is 5 a factor of v?
False
Let p(j) = 3681*j + 4300. Is p(8) a multiple of 59?
True
Let m = -5770 + 11020. Is 125 a factor of m?
True
Suppose 4*d + 2*w + 479 = -1189, 0 = 5*d + 5*w + 2090. Is 2 a factor of 54/24*d/(-12)?
True
Let g(a) = a**3 + 9*a**2 + 15*a + 10. Let d be g(-7). Let c(z) = -3*z**2 + 24 + z**d - 81*z + 74*z - 3*z**2. Does 2 divide c(7)?
True
Let y(i) = 352*i + 264. Is y(5) a multiple of 13?
False
Let j be (-6)/((-18)/(-933))*2*-1. Suppose -4*a - 14 = j. Let t = a + 306. Is t a multiple of 14?
False
Suppose 6*f - 9 = -2*p + 11*f, -p = f - 1. Let k(j) = 18*j**2 + 7*j - 18. Let r be k(3). Suppose 7*m = p*m - i + r, i = -4*m + 131. Is m a multiple of 6?
False
Suppose -2*j + 6 = 2*h, -4*h + 2 = j - 1. Let q be (6/(-15))/(j/(-30)). Let g(d) = 4*d**2 - 4*d + 12. Is 12 a factor of g(q)?
True
Let h(d) = 43 + 13*d + 15*d**2 + d**3 + d + 0*d - 16 + 24. Is h(-14) a multiple of 3?
True
Let c(w) = -135*w + 2508. Is c(6) a multiple of 7?
False
Does 25 divide (-2 - (-478)/6)*(-2052)/(-23 + -15)?
False
Suppose -24*i = -3698 - 382. Let m = i + -38. Does 22 divide m?
True
Suppose -5004 = -4*w + 2*u, -7*u = -13*w + 11*w + 2538. Is w a multiple of 52?
True
Let g(p) = -24*p + 3. Suppose 2*z = -5 + 11. Let d be g(z). Let x = 154 + d. Is x a multiple of 17?
True
Does 58 divide 93/(-62)*(-41528)/6?
True
Let n(t) = -t + 17. Let i be n(13). Suppose -i*l - 7*w