
True
Let y be 3/(9/1550) - (-6)/(-9). Suppose 3*k - 634 - y = -5*p, 4*k = -2*p + 1510. Does 75 divide k?
True
Suppose 173*i = -11*i + 1203176. Does 6 divide i?
False
Suppose -c + l = -16, 13*l - 15 = 10*l. Suppose 0 = -c*g + 13*g + 3808. Is g a multiple of 52?
False
Is ((5/10)/((-2)/32))/(4/(-1502)) a multiple of 6?
False
Suppose 14 = -3*a - 1. Let h(s) = -3*s**3 - 2*s**2 - 4*s - 3. Let m(u) = u**3 - u**2 + u - 1. Let z(j) = h(j) + 2*m(j). Is 15 a factor of z(a)?
True
Let g(x) be the first derivative of -12*x**2 - 68*x + 12. Is 28 a factor of g(-18)?
True
Suppose -3*r - 344892 = -4*m, 5*m - 6*r + 8*r - 431092 = 0. Does 6 divide 2/7 + m/70?
False
Suppose -2*s + 8553 = -t, 5*t + 4255 = 2*s - 4286. Is s a multiple of 26?
False
Suppose 5*g - 85 = h, g - 7 - 26 = -3*h. Is 702 + -1 + (2 - g/9) a multiple of 14?
False
Suppose -9*v + 1560 = -4*v. Suppose -3*w + 4*f = -v, 0 = 4*w - 9*w + f + 520. Suppose 3*g + 52 = 2*u, -5*u + 3*g = 2*g - w. Does 10 divide u?
True
Let c = -2143 + 6994. Is c a multiple of 63?
True
Is 29 a factor of 6 + (-800)/(3 + (-205)/65)?
False
Suppose -132814 = -5*v - 11*v - 41406. Is v a multiple of 129?
False
Suppose 229407 = 39*n + 35811. Does 73 divide n?
True
Suppose -65*p = -79*p - 19026. Let i = -800 - p. Is 10 a factor of i?
False
Suppose 20*q = 110189 + 65431. Is q a multiple of 120?
False
Let n(h) = h**2 - 5*h - 13. Let z(o) = -o**3 - 3*o**2 + 3*o + 1. Let u be z(-3). Let w = u + -1. Does 18 divide n(w)?
False
Let t(s) = 5*s - 8. Let y be t(-9). Let a = -62 + y. Let i = 223 + a. Does 18 divide i?
True
Suppose -14 - 6 = -4*s. Suppose -s*j + 601 + 3584 = 0. Suppose 5*f + 4*l - j - 267 = 0, -3*f + 658 = -2*l. Is 55 a factor of f?
True
Let y(l) = -22*l - 78. Let z be y(-4). Let w be ((-4)/10)/((-1)/(-40)). Is 12 a factor of (w/z)/((-22)/165)?
True
Let z(u) = -4*u**2 + 64*u + 7. Let b be z(17). Let g = b + 208. Is 13 a factor of g?
False
Suppose -4*w + 121 = 5*q - 284, 3*q - 5*w = 206. Let r be ((-31)/4)/(6/24). Let s = r + q. Is s a multiple of 5?
False
Let v(g) = -2*g - 21. Let c(j) = -3*j - 20. Let x(r) = 5*c(r) - 4*v(r). Let k be -16*(-3)/(-2)*11/22. Does 8 divide x(k)?
False
Let q(l) = l**2 - 20*l + 36. Let n = 196 - 168. Is 4 a factor of q(n)?
True
Does 18 divide (306/221)/(-9) + (-372764)/(-13)?
True
Let w(i) = 22*i**2 + 69*i + 994. Is w(-32) a multiple of 9?
False
Suppose -47*x + 46*x = -30. Is 32 a factor of 1120/21*36/x?
True
Let f(r) be the second derivative of 1/2*r**2 + 29/20*r**5 + 2*r - 1/6*r**3 + 0*r**4 + 0. Is 29 a factor of f(1)?
True
Let b(u) = 5*u**2 - 3*u - 76. Let d be b(9). Let v = 325 + d. Is v a multiple of 57?
True
Let s(c) = -c**3 - 11*c**2 - 24*c + 3. Let d be s(-8). Does 47 divide 1747/d - 20/(-30) - 2?
False
Suppose 6*p = 2*p + 3*n - 108, -108 = 4*p + 2*n. Let a be (-13335)/168 + 6/16. Let u = p - a. Is 15 a factor of u?
False
Let w = -11961 - -51636. Does 15 divide w?
True
Let t(n) = -73*n**3 - n**2 - n + 2. Let i be t(1). Let a = 75 + i. Suppose 0 = -a*q - 10, x - 2*q + 3*q - 9 = 0. Is x a multiple of 7?
True
Let y(d) be the third derivative of d**6/60 + d**5/60 + d**4/8 + 211*d**3/3 + 24*d**2. Does 34 divide y(0)?
False
Let w(y) be the second derivative of 3*y**4 - y**3/6 - 3*y**2/2 - 23*y. Let u be w(4). Suppose -3*c + u = 11. Is c a multiple of 31?
True
Let l(g) = 266*g + 6. Let f be l(1). Let a = 385 + f. Does 62 divide a?
False
Suppose 0 = -3*i + m + 15, 4*i = -5*m + 15 + 24. Suppose i*b = b + 490. Is 18 a factor of b?
False
Suppose 495 + 305 = -5*u. Let j = 39 + -3. Is 9/(j/u)*(-12)/8 a multiple of 6?
True
Suppose 2585 = -2*d - 3*y, -4*d - 6*y = -y + 5169. Let l = d - -2341. Is 15 a factor of l?
True
Let z(q) = q**3 + 14*q**2 + 16*q - 16. Let v be 2/(-8) - 476/16 - 2. Let x = 20 + v. Is z(x) a multiple of 16?
True
Let f = 1982 - -10173. Does 65 divide f?
True
Let b = -4608 - -5538. Is 4 a factor of b?
False
Let r = 5481 + -5160. Does 20 divide r?
False
Let l be ((-3972)/(-10))/(32/(-20) - -2). Suppose 4*q - 5*t = 3583, 3*t = 4*q - 4578 + l. Is 39 a factor of q?
True
Let h be (1 - 3)/((-5)/1845*6). Let f = h + -90. Is f a multiple of 2?
False
Suppose -23*y + 10608 = -9931. Suppose 0 = 6*s - y - 367. Is 15 a factor of s?
True
Suppose 192 = -2*g + 4*g. Let q be (16/(-12))/((-2)/g). Suppose q = w - 3*a, 2*w = 6*w - 5*a - 284. Does 38 divide w?
True
Let v(b) = 21*b - 59. Let i be v(3). Suppose i*w - 5047 = -1207. Does 64 divide w?
True
Let k(f) = -f**3 - 6*f**2 + f. Let b be k(-6). Let q be -47 - (-3)/(b/(-4)). Let z = 125 + q. Is 15 a factor of z?
False
Suppose 6*i - 3*i = 12. Let p be (i*(-4)/8)/(2/24). Does 14 divide 2 + -3 - -2 - (p + -2)?
False
Suppose -4*g = 5*h - 1548 + 467, -5*h - 2*g = -1083. Let r = 318 + -203. Let t = h - r. Is 10 a factor of t?
False
Let t(j) = 126*j + 12751. Does 6 divide t(-56)?
False
Let d = -169 - -172. Is (-1 - -47)/(d - 1/1) a multiple of 4?
False
Suppose 5*d = -2*n + 931, -2*d + 3*d - 3*n - 176 = 0. Let k = -153 + d. Is k a multiple of 8?
True
Suppose 5*l - 5*j = 8*l - 90, 120 = 4*l + 4*j. Suppose -5*s - 10 = -l. Suppose 0 = 4*h + 2*a - 86, -82 = -3*h - a - s*a. Is 19 a factor of h?
True
Let y(p) = -35*p + 16*p + 207 + 10*p. Is 6 a factor of y(9)?
True
Let l(h) = -h**2 + 19*h + 2. Let a be l(20). Let t = a - -41. Is (t/(-5))/((-1)/5) a multiple of 11?
False
Suppose y - 3*x + 13 = 0, -y - x + 12 = 5. Suppose 0 = y*f + 10*f - 2604. Is f a multiple of 31?
True
Suppose 0 = -7*m + 15*m - 1208. Let h = 410 - m. Is 37 a factor of h?
True
Suppose 5*j - 3*o = -5, 0 = -j - o + 3 + 4. Suppose -i = 2*h - 56, -j*h + 10 - 128 = -2*i. Does 29 divide i?
True
Let q be (2/(-1) - (-1 - -2))*-1. Let z be (q + -4)*39 + -1. Let k = 63 + z. Is k a multiple of 3?
False
Let r(u) = -u**2 - 10*u - 9. Let o be r(-5). Let l = 49 + o. Let f = -23 + l. Does 10 divide f?
False
Suppose -3*v = -12*v + 396. Let o = -37 + v. Does 3 divide o?
False
Let w(u) = 1311*u + 428. Is 26 a factor of w(6)?
True
Let q = 2685 - 1690. Suppose 13*v + q = 3322. Is v a multiple of 13?
False
Let b(w) = 77*w**2 - 11*w + 146. Is b(6) a multiple of 23?
True
Suppose 3*d - 49 = 2. Let g(v) = 18*v - 7. Does 23 divide g(d)?
True
Let y(u) = -12*u + 4*u - 13 - 11*u - 19 - u**2. Let h be y(-17). Does 8 divide (h*(-42)/(-10))/((-6)/(-80))?
True
Let i(s) = -s**2 + 7*s - 2. Let o be i(5). Is (46528/20)/o + 1/5 a multiple of 12?
False
Suppose 3*j - 992 = -5*v, -3*v - 6*j + 596 = -4*j. Suppose 1037 = 5*z - g, -z + v = -8*g + 4*g. Is z a multiple of 52?
True
Is 6 a factor of -210*-14*52/182?
True
Suppose -2*d - q = -0*q - 1, -4*d + 2*q + 14 = 0. Suppose t - 1461 = -0*t - d*l, -5799 = -4*t + l. Is t a multiple of 12?
False
Suppose -19*n = -10*n - 63. Suppose 888 = -n*h + 11*h. Is 7 a factor of h?
False
Suppose -395*r + 400*r = -2*w + 46184, -3*w = 5*r - 69276. Is 17 a factor of w?
False
Let z(m) = -m + 1. Let o(d) be the first derivative of 11*d**3/3 + d**2 - d - 17. Let w(j) = o(j) + 5*z(j). Is 12 a factor of w(4)?
True
Let j be 280/(-80) - 1602/4. Let n = j - -858. Is n a multiple of 10?
False
Suppose 0 = -2*j + 4*f + 39136, -3*j + 58674 = -f + 5*f. Does 29 divide j?
False
Suppose 5*t + u - 1 = 0, u = -4*t - u + 2. Let d be (4 - t - -2) + -1. Suppose z + 160 = 4*c - 135, c - d*z = 50. Is 15 a factor of c?
True
Let h(p) = 137*p + 236. Does 14 divide h(4)?
True
Let b = 197 - 194. Suppose -5*y - 1057 = -3*f, 0 = -b*f - 4*y + 158 + 908. Is 72 a factor of f?
False
Suppose -37*s - 28*s + 555289 + 241091 = 0. Is 12 a factor of s?
True
Let w be 24*(-4 - (-70)/15). Suppose -w*s = -18*s + 58. Suppose 0 = 3*g - 43 - s. Is g a multiple of 6?
True
Suppose -3*v = q - 2062, -4*v - 55*q + 2754 = -53*q. Does 10 divide v?
False
Let g(y) be the second derivative of -2*y**5/5 + 5*y**4/12 + 3*y**3/2 + 3*y**2/2 + 4*y + 22. Is g(-3) a multiple of 13?
False
Is 17791 + (-27)/36*-20 a multiple of 24?
False
Let a(n) = 197*n**2 - 11*n - 47. Does 67 divide a(-4)?
True
Let u(s) = -14*s + 75. Suppose -2*t - f + 6 = -5*f, -t - 3*f + 8 = 0. Does 2 divide u(t)?
False
Let u(x) = x**3 + 2*x**2 - 4*x + 4. Let f be u(-3). Let q(t) = -11*t + 64. Let z be q(f). Let r(l) = -24*l + 58. Is 43 a factor of r(z)?
False
Let h = -489 + 1516. Let l = h + -497. Does 30 divide l?
False
Let j(r) be the second derivative of -34*r - 4*r**2 - 1/2*r**3 + 0. Is j(-7) a multipl