5*l**2. Is 17 a factor of a(-2)?
True
Suppose 3*y - 64186 = -36*y - 28*y. Is 62 a factor of y?
False
Let o(r) = 96*r**3 + 6*r**2 + 7*r - 15. Does 255 divide o(4)?
False
Suppose -4*s + 139256 = -135*n + 139*n, -s - 1 = 0. Does 165 divide n?
True
Suppose 2*a = -4*x + 24, 0 = -x + 1 + 3. Suppose 5*f - 15 = a*z, -f - 2*f = z - 9. Suppose -2*d = -3*h - 131, 0 = -z*d - 4*d - 2*h + 222. Is d a multiple of 12?
False
Let v(m) = -m**3 + 3*m**2 - m + 3218. Let r be v(0). Suppose -r = 45*k - 18518. Is k a multiple of 73?
False
Let y = 24719 + -16792. Is y a multiple of 8?
False
Let s = -1907 - -2417. Does 6 divide s?
True
Suppose -179*t + 180*t = 5*n - 39633, 0 = n + 3*t - 7933. Is n a multiple of 13?
False
Let p = -7328 + 13662. Is 87 a factor of p?
False
Let p(i) = 39*i**2 + 44*i - 412. Is p(9) a multiple of 23?
False
Let o be (-7)/(7/(-26))*(-18)/12. Let v be (-2148)/(-18) - 4/(-6). Does 4 divide (-1)/(v/o + 1 + 2)?
False
Let c = 9629 + 6231. Is 5 a factor of c?
True
Let l = 462 - 447. Suppose -39*s = -l*s - 1536. Is s a multiple of 8?
True
Suppose -3*r + 4*w - 20 = 0, -w = 4*r - 6*w + 25. Suppose r = -49*q + 2728 + 9620. Is 12 a factor of q?
True
Suppose -8*s = -12*s + 52. Suppose s*w + 272 = 15*w. Suppose -3*u + 0*g = 4*g - 404, 0 = u + g - w. Does 33 divide u?
False
Let y(x) = -2*x - 10. Let b be y(-4). Is 8 a factor of (-20 - b)*161/(-46)?
False
Suppose 223*l - 668351 = -120277 + 824714. Is 12 a factor of l?
True
Let o = 682 - 435. Let b = 55 - o. Is 14 a factor of ((-7)/4)/(6/b)?
True
Suppose -30*w + w + 847308 = 20*w. Is w a multiple of 12?
True
Let o(i) = 4*i**3 - 38*i**2 + 22*i + 6. Let b be o(18). Is b/42 - (-4)/28 a multiple of 17?
True
Suppose 32*w - 35*w - 4*v + 21904 = 0, -20 = -5*v. Does 19 divide w?
True
Let x be (22/(-30) - (-22)/55)*-3927. Suppose x = 3*o + l + 414, 0 = -5*o + 4*l + 1520. Does 25 divide o?
True
Let k(l) = 6*l - 8. Let d(w) = w + 4. Let p be d(0). Let z be k(p). Suppose 2*x - 84 = -y + 14, 0 = 4*x - z. Is y a multiple of 30?
True
Suppose -19*l + 106 = -502. Suppose -l*m = -8*m - 1368. Does 19 divide m?
True
Suppose 92 = k - 3*k. Let t = k + 47. Is 20 a factor of 0 - 0 - (-19 - t)?
True
Suppose v = -5*v + 5070. Suppose -5*k = -2*p - v, -4*k = -2*k - 2*p - 338. Does 13 divide k?
True
Let n(d) = -6*d + 6. Let v be n(-1). Suppose -v = p - 219. Is p + 0 + (2 + -5)/(-3) a multiple of 52?
True
Suppose 0 = 278*p - 759*p + 20464626. Is 42 a factor of p?
True
Let i(x) be the first derivative of x**4/4 - x**3 + x**2/2 + 220*x + 197. Is 12 a factor of i(0)?
False
Suppose 4*a - 7 = i, -4*a + 2*i = -2*a - 2. Suppose -3*z + o + 217 = -30, a*o = 5*z - 413. Suppose -z*f = -85*f + 456. Is f a multiple of 19?
True
Let j = 273 - 284. Let u(p) = -4*p - 36. Is u(j) a multiple of 2?
True
Let y(t) = 27*t**2 + 9*t + 5. Suppose 1276*h + 5 = 1275*h. Is 100 a factor of y(h)?
False
Suppose -222*z + 242*z = 120. Let u(c) = 3*c**2 - 1 + 3 - 4*c - 4. Is u(z) a multiple of 6?
False
Suppose -11*a = -72 + 50. Suppose 3*w + 1534 = 4*o, -2*o - 3*w = a*w - 780. Is 11 a factor of o?
True
Let u(t) = -4*t**2 - t + 8. Let b be u(-2). Does 15 divide 350/5*(b/(-10) + 0)?
False
Let v be 1 + 1 + 2 + 8 + -9. Suppose -v*j = -2*k + 4*k - 433, -4*k + 875 = 3*j. Does 11 divide k?
False
Let l(b) = b**3 - 4*b**2 - 6*b + 13. Let t = 36 - 31. Let d be l(t). Does 25 divide ((-18)/d)/3*-100?
True
Let t(x) = x**3 - 10*x**2 + 18*x - 13. Let f be t(8). Suppose 2*g - v = -4*v + 259, f*v + 366 = 3*g. Does 5 divide g?
True
Let n = 6722 + -4698. Is n a multiple of 11?
True
Suppose 4 = v - 2*v + 4*t, -2*t + 2 = -4*v. Suppose v = 4*i - 3*i + d - 5, 13 = 3*i + 2*d. Is 4 a factor of (16/10)/(i - 116/40)?
True
Suppose 0 = -8*m + 19*m - 55. Let q(k) = 46*k**3 - k**2 + k. Let j be q(1). Let o = j - m. Does 4 divide o?
False
Let q = 326 - 324. Suppose 0 = -0*f - 2*f - q, 822 = 5*h + 3*f. Does 15 divide h?
True
Suppose 2*f + m - 13 = -4, -2*m - 10 = -3*f. Let j be (-873)/(-5) - f/(-20)*2. Suppose -2*l - 3*l = 3*r - 360, 2*l = 5*r + j. Is l a multiple of 25?
True
Suppose -7*w + 0*w + 6749 + 22567 = 0. Does 17 divide w?
False
Let g(i) = -8*i - 40. Let s be g(-7). Suppose s*t - 853 - 667 = 0. Is t a multiple of 4?
False
Let s = -27 + 25. Let v be 5/2*(-8 + 4)/s. Suppose 3*x = 4*i - 268 - 255, v*i + 3*x = 674. Does 11 divide i?
False
Let d(q) = -8*q - 202. Let b be d(-26). Suppose -797 = -b*y + 619. Is y a multiple of 9?
False
Let w(f) = f**2 - 4*f + 5. Let g be w(2). Let r be (-1)/(g/316) - 2*-1. Is 2 + 18/27 + r/(-6) a multiple of 22?
False
Let c(x) = 342*x**2 - 98*x + 146. Is 122 a factor of c(8)?
False
Let o(d) be the third derivative of d**5/30 + 3*d**3/2 + 1180*d**2. Let h(r) = r**3 - 5*r**2 - r - 5. Let y be h(5). Is 21 a factor of o(y)?
False
Suppose -j + 5*c + 386 = 0, -3*c - 10 = 2. Let a = j + -216. Does 30 divide a*(4/(-10) - 6/(-5))?
True
Let g(y) = -y**2 + 55*y + 1939. Does 127 divide g(70)?
True
Let z = 6840 - 4724. Is 46 a factor of z?
True
Let g(b) = -b**2 + 6*b + 18. Let d be g(-5). Let y = d + 50. Let x(i) = 2*i - 14. Is 6 a factor of x(y)?
True
Let w = -31828 - -45206. Does 73 divide w?
False
Let x(b) = 59*b**2 + 7*b - 88. Is x(-7) a multiple of 51?
True
Let k(s) = -s**3 + 7*s**2 + s - 6. Let o be k(5). Suppose 68*v + 4000 = 76*v. Suppose x - 71 = p + o, 4*x + p = v. Does 26 divide x?
False
Let j(l) = 206*l**2 - 8*l - 16. Does 63 divide j(8)?
True
Let y(b) = -b**2 - 16*b - 43. Let s be y(-12). Suppose 3*n + 340 = s*c - 601, -3*c = 2*n - 557. Does 11 divide c?
True
Let m = 44 + 2436. Is 16 a factor of m?
True
Let w be (-1)/1 - -5*1. Suppose w*f + 84 = -3*f. Let n = 39 - f. Does 22 divide n?
False
Let t(b) = 17*b + 10. Let f(a) = -6*a**3 - a**2 + 2*a + 2. Suppose -12*g + 1 = -13*g. Let w be f(g). Is t(w) a multiple of 19?
True
Suppose 13*f = 17*f + 56. Let k(g) = -4*g + 24. Let y be k(f). Is 5 a factor of (y/6)/2*(-6)/(-2)?
True
Let a(w) = -608*w - 2573. Is a(-19) a multiple of 16?
False
Suppose -897314 - 414542 = -119*y. Is 52 a factor of y?
True
Does 9 divide (36663/(-2420) + 4/10)*(-252)/3?
False
Let o(x) be the second derivative of -x**4/12 + 9*x**3/2 - 6*x**2 + x. Let g be o(11). Suppose 0 = -4*q + 12 + g. Does 22 divide q?
True
Let l(x) = 5*x**2 - 62*x + 614. Does 11 divide l(50)?
False
Suppose 5*g = -g + 324. Is 9 a factor of 4/(-18) + (11040/g)/2?
False
Suppose 0 = -4*q + 106 - 4126. Does 16 divide q/(-9) + 15/(-9) + 2?
True
Let f(s) = -4*s + 6. Suppose -40 + 112 = 3*g. Suppose 3*k = 5*k + g. Does 17 divide f(k)?
False
Let v(p) = 3*p - 27. Let j be v(10). Let f be (-6)/(-9)*-3 - j. Let x = f - -55. Does 21 divide x?
False
Let d = -485 - -1269. Suppose -14*x + 1876 = d. Is x a multiple of 6?
True
Let s = 56 - 54. Suppose 0 = l - 5, -4*l = -s*d - 2*d - 76. Let p(h) = h**3 + 14*h**2 - h - 6. Is p(d) a multiple of 4?
True
Suppose -99*m + 713*m = 16528880. Is m a multiple of 20?
True
Let w = -70 + 68. Let z be w - 0 - (-52)/2. Let c = -21 + z. Is c even?
False
Let b be 5*(144/(-20))/(-6) - 1. Suppose -26*a + 25*a = -b. Is 347/a + 10/(-25) a multiple of 3?
True
Let z = -21 + 22. Suppose z = -2*w + 49. Suppose -u = 3*x - 5, 4*u - w + 4 = -5*x. Is u a multiple of 5?
True
Suppose -9*m - 5*m = -5*m. Suppose m = 2*x + f - 146 + 9, -2 = 2*f. Is 6 a factor of x?
False
Let m = 1005 - 405. Suppose 4*l - 2252 = -m. Is l a multiple of 7?
True
Suppose 0 = d - 6*d + 15, 5*n - 5*d = 1790. Let b = n - 350. Is b a multiple of 5?
False
Let j = 7567 - 3841. Is j a multiple of 30?
False
Let v(q) = -4*q + 21*q**3 - 1 - 34*q**3 + 2 + 14*q**3 - 3*q**2. Does 5 divide v(7)?
False
Suppose 642103 = -651*a + 718*a + 204526. Is a a multiple of 7?
True
Let q = 34 + -22. Suppose 0 = -3*s - 5*t + q, 15 = s - t - t. Suppose s*l + 143 - 431 = 0. Does 8 divide l?
True
Let t = -62727 + 111994. Is 229 a factor of t?
False
Let k = -40 - -40. Suppose 0 = -5*x - 3*o - 469, -4*x - 5*o = -k*x + 383. Let n = -15 - x. Is n a multiple of 21?
False
Suppose 8*q = 4*q + 5*x + 2, 14 = 2*q + 4*x. Suppose -175 = -q*z + 77. Does 7 divide z?
True
Let r be ((-9)/12)/(3/(-8)). Suppose r*k + 120 = 6*k. Let w = -7 + k. Is 4 a factor of w?
False
Let h(w) = 17 - 3*w - 91*w**2 + 3*w + 93*w**2 - w. Let p be h(0). Let s = p + 15. Is s a multiple of 8?
True
Let k(g) = -g - 1. Let r(l) = -4*l - 11. Let o(c) = 18*k(c) - 2*r(c). Let h