t d(m) = 5*m**2 - 312*m + 206. Does 17 divide d(66)?
True
Let m(g) = -8*g + 2. Let r be m(4). Let h = r + 78. Is 5 a factor of h + (-3)/6 + (-5)/(-2)?
True
Let a be 2/(-8) + (1 - 7/4). Let n be (-1 + 92/(-16))/(a/20). Suppose 6*o - 33 = n. Is o a multiple of 7?
True
Let n = -202 - 342. Let r = n - -817. Is 16 a factor of r?
False
Let p = -3947 - -4734. Is p a multiple of 4?
False
Let y(x) = -48 + 921*x - 8*x**2 - 889*x + 7*x**2. Does 12 divide y(30)?
True
Let y = 15914 + -6518. Is 52 a factor of y?
False
Let a(v) = -5*v**3 - 199*v**2 + 38*v - 68. Let s be a(-40). Let n = -41 - -57. Suppose s*g = n*g - 40. Is 10 a factor of g?
True
Suppose -q - t = -664, -5*t - 260 = -240. Is q a multiple of 3?
False
Let i(x) = 7486*x**2 + 5*x - 13. Is 6 a factor of i(-1)?
False
Let h(w) = w - 1. Let o(a) = -104*a - 22. Let u(v) = 12*h(v) - o(v). Is 3 a factor of u(1)?
True
Suppose 112 = c - 44. Let d = -72 + c. Let m = d + 104. Is 19 a factor of m?
False
Let l(f) = -135*f + 14. Let p be l(-3). Suppose -5*t + 2*z = -p, 5*t + 5*z - 33 - 407 = 0. Let d = t + -41. Is 44 a factor of d?
True
Suppose 40*j - 50180 - 177020 = 0. Does 16 divide j?
True
Suppose 0 = -3*l + 12, 2*z - 26873 - 587 = 2*l. Is z a multiple of 14?
True
Suppose 13 = 3*h - 29. Does 6 divide (-8 - -15)*(h - (0 - -3))?
False
Suppose -77*v + 899606 = 24*v - 558834. Is v a multiple of 11?
False
Suppose 5*v = j + 13, 4*v + 3*j - 2 = j. Suppose 4*l - 5*p - 34 = 0, v*p = -0*l - 4*l + 20. Is l a multiple of 4?
False
Let b(j) = -18*j**2 - 9*j - 8. Let x(u) = 35*u**2 + 19*u + 16. Let k(v) = -5*b(v) - 3*x(v). Let z(p) be the first derivative of k(p). Is z(-6) a multiple of 28?
True
Let b = -2 + -4. Let m(g) be the first derivative of g**3/3 - 2*g**2 - 19*g + 269. Is 12 a factor of m(b)?
False
Suppose -4*z + 31494 = y + 5177, -4*z = -4*y - 26292. Does 6 divide z?
False
Let p(k) = -55*k + 5 + 115*k + k**2 - 59*k. Let m be p(0). Suppose 0*c - 68 = -2*c - 4*d, 0 = -m*c + 3*d + 209. Is 10 a factor of c?
True
Suppose -412 = -4*t - 5*a, -5*a + 216 = -4*t + 6*t. Suppose t*w - 104*w + 468 = 0. Is w a multiple of 8?
False
Let u be 24768/15 + (-2)/20*2. Let l = 2421 - u. Is l a multiple of 13?
False
Suppose -5*p - p + 24 = 0. Suppose 0 = -p*c - 2*m + 1924, 5*c + 828 = -m + 3227. Is 8 a factor of c?
False
Let v = -77 - -82. Suppose -2*c = -x - 4*c + 18, -4*x + 7 = -v*c. Suppose 3*i - 528 = -x*i. Is 12 a factor of i?
True
Suppose 5*x - 5949 = -t + 14569, 0 = -x - 4*t + 4096. Suppose -18*l + x = -6*l. Is 18 a factor of l?
True
Let f be ((-10)/3)/(12/18). Let r(d) = -13 - 12 + 0 - 7 - 38*d. Is r(f) a multiple of 55?
False
Let m(s) = 2*s**2 - 290*s - 917. Is 190 a factor of m(-55)?
False
Suppose -3*c - 3*y + 32910 = 0, 4574 + 6388 = c + 5*y. Does 110 divide c?
False
Suppose 3 - 7 = -2*y. Suppose 0 = 3*z - z + y*a - 8, -4*a - 20 = -5*z. Suppose -u - 30 = -z*u. Is 10 a factor of u?
True
Suppose -72*c + 28*c + 625482 = 73*c. Is 9 a factor of c?
True
Let l be (2093/598)/((-2)/8 + 2). Let m(o) be the first derivative of 76*o**3/3 - 5*o**2/2 + 8*o + 3. Is m(l) a multiple of 14?
False
Suppose 0 = -67*z + 9229 + 6382. Let b be (-2)/(2/95) - 2. Let j = z + b. Is 68 a factor of j?
True
Suppose 9*n - 8456 = n. Let z = n - 682. Suppose 2*x + r = z, 91 = 5*x - r - 857. Is x a multiple of 21?
True
Suppose -5*p + 2890 = -m, -221 - 357 = -p + 2*m. Does 3 divide p?
False
Suppose 304*x = 312*x - 65720. Does 31 divide x?
True
Suppose -2467*w + 2487*w - 1200 = 0. Does 20 divide w?
True
Let x(k) be the third derivative of -2*k**5/15 + 4*k**2. Let z be x(-2). Is 4 a factor of (z/10 + 0)*20/(-8)?
True
Suppose 0 = -9*g + 640 + 1655. Let k = g - 5. Does 50 divide k?
True
Suppose 0 = -4*d + 3*h + 17, 2 = -2*d - 3*h - 3. Let m(k) be the first derivative of k**4/4 - k**3/3 + 3*k**2 - 5*k + 3. Is m(d) a multiple of 2?
False
Let z(j) = -5*j**2 - 6*j - 14. Let t(y) = -11*y**2 - 12*y - 29. Let o(k) = -6*t(k) + 13*z(k). Is o(10) even?
True
Suppose -k = 2*x - 11, -3*x + 33 = 3*k - 6*x. Suppose k*i + 147 = 906. Is i a multiple of 23?
True
Let s = 571 - 627. Does 17 divide (-49480)/s + (-9)/(-21)?
True
Suppose i = -5*y - 33, 0*y = 5*i - 4*y + 20. Let z(q) = -13*q - 19. Let x(f) = 13*f + 21. Let k(r) = -7*x(r) - 6*z(r). Is 9 a factor of k(i)?
False
Let u be (1045/20)/11 - 3/4. Suppose 5*z - 43 = u*p, -5*z + 3*p + 46 = -0*z. Suppose 65 + z = 2*y. Is 19 a factor of y?
True
Let b(u) = 5797*u**2 + 89*u - 2. Is 10 a factor of b(2)?
False
Suppose -3*d - 258 = 3*s, 2*d - 402 = -0*s + 5*s. Suppose 0 = -f + 6, -15*k = -12*k + 5*f + 450. Let o = s - k. Is o a multiple of 6?
True
Let t(f) = -90*f**3 - f**2 - 4*f - 43. Is t(-3) a multiple of 8?
False
Suppose -137*v = -167*v + 17040. Let a = -20 + 34. Suppose -a*k = -10*k - v. Does 12 divide k?
False
Let m(h) = h**2 - 15*h + 18 + 34 - 5 + 2. Let a be m(20). Let z = 9 + a. Is z a multiple of 14?
False
Is 28 a factor of -321*(-5 + (-130)/30)?
True
Let y(j) = -j**3 - 4*j**2 - 9*j + 8. Let z be y(-9). Let n = z - 84. Is n a multiple of 13?
False
Let i(p) = 2*p**2 + 21*p - 307. Does 13 divide i(22)?
False
Let i = 140 + -136. Suppose 2*w = -i - 4, 14 = 3*t - 2*w. Suppose -92 - 246 = -5*x - t*n, 134 = 2*x + 2*n. Is x a multiple of 14?
False
Let z be (45/(-9))/(2/(-12)). Suppose 12*l + 1422 = z*l. Is 6 a factor of l?
False
Let z(p) = 36*p**2 - 1796*p + 62. Is z(56) a multiple of 11?
False
Suppose 4*o + 2*t = 2*o + 242, 2*o = -4*t + 238. Let w = 866 - 866. Suppose w*z - 2*d - o = -3*z, 27 = z + 4*d. Is z a multiple of 13?
True
Let z = -2 - -3. Let k(c) = 102*c - 31. Let r(o) = -2*o + 5. Let l(p) = k(p) + 6*r(p). Is 34 a factor of l(z)?
False
Let i = -37 - -39. Suppose -i*p = -3*c - 0*p + 13, 3*c + 5*p = -22. Is (10/20)/(c/120) a multiple of 30?
True
Is 182 a factor of ((-1937)/312*-56)/(2/30)?
False
Is 8 a factor of (-182)/(-42)*3 + 9669?
False
Let b = -19 + 5. Let p(t) = -t**3 - 15*t**2 - 12*t + 44. Does 9 divide p(b)?
False
Let s(y) be the second derivative of -137*y**5/120 - 7*y**4/24 - 9*y**3/2 - 6*y. Let f(i) be the second derivative of s(i). Is 26 a factor of f(-1)?
True
Suppose -116 - 198 = 2*f. Let o be -54*(-1 - -3) - (3 - 8). Let y = o - f. Is 22 a factor of y?
False
Let n be 3 - 547952/(-28) - (-2)/7. Suppose 0 = 22*x - n - 6277. Is x a multiple of 56?
False
Let q(s) = 191*s**2 - 2*s. Let c be q(-1). Let x = 13 - c. Let n = 410 + x. Does 23 divide n?
True
Let n(y) = -2*y**3 - 13*y**2 - 2*y - 7. Let h be n(-6). Is h/2*(-102)/3 a multiple of 59?
False
Suppose -4*s + 247 = 71. Let t be 108/11 + 8/s. Let u = t - -42. Does 13 divide u?
True
Let o(m) = -220*m + 318. Is o(-11) a multiple of 19?
False
Let d be 3/(25/(-24) + 14/21). Does 44 divide ((-88)/5)/(d/120)?
True
Let m(z) = -586*z + 2017. Does 4 divide m(-4)?
False
Suppose 8*o + 9*o - 150195 = 0. Suppose -3*y + o = 16*y. Is 39 a factor of y?
False
Suppose -10*d + 7*d = -6. Suppose d*z + a - 50 = 0, 90 - 26 = 3*z - 4*a. Does 2 divide z?
True
Suppose -3*p = 2*j + 465, 3*p + 62 = 2*j + 545. Let d(b) = 8*b**2 - b - 10. Let z be d(-8). Let f = z + j. Is 50 a factor of f?
False
Let i(w) = -9*w - 28 - w**3 + 0*w**3 + 7 - 9*w**2. Let p be i(-8). Let g = p + 38. Does 5 divide g?
True
Is 43 a factor of (-2677470)/(-105) + (-80)/112?
True
Let t(i) = -43*i**2 - 6*i + 5. Let x(z) = 2*z**2 - 4*z + 2. Let l(s) = -t(s) + 2*x(s). Suppose 4*v + 3*u + 0 + 13 = 0, -v = -u - 2. Is l(v) a multiple of 24?
True
Let a(m) = -m**3 + 69*m**2 + 24*m - 628. Is 2 a factor of a(69)?
True
Let y(v) = -v**3 - 6*v**2 - 6*v - 7. Let z be y(-5). Let j be 2558/14 - z/7. Suppose x = -g + j, 2*g = x - 5*x + 364. Is g a multiple of 46?
True
Let c be -1*(-9 - -3)/(2 + 0). Is 95 a factor of 112/(-42) + c + 1138/6?
True
Let d = -699 - -6341. Is d a multiple of 26?
True
Suppose 2*u - 3 = z, -2 = 3*z - 5*u + 8. Let a(n) = 13*n + 77. Let j(t) = t - 18. Let m(o) = -a(o) - 4*j(o). Does 21 divide m(z)?
False
Suppose -3*u - 11*g + 10*g = -717, 12 = 4*g. Let v = u - 151. Is v a multiple of 2?
False
Let z be (-21)/126 + 11/(-6). Let i be z/(-8) - (-30)/8. Suppose -j - d = i*d - 77, 2*j + d - 127 = 0. Is j a multiple of 15?
False
Suppose 0 = -4*r - 5*n + 20698, -4*r + 0*r - 2*n + 20692 = 0. Does 18 divide r?
False
Let b(r) = -r. Suppose 0 = 3*n + 4*i + 5, 0*n - 1 = -3*n - i. Let q(l) = -l**2 - 15*l - 13. Let o(s) = n*q(s