)/56 - (-2 + (-2412)/14). Let p = l + -142. Is 4 a factor of p?
True
Let y(l) = -1417*l + 14. Let z be y(-6). Suppose -21*v - 620 + z = 0. Does 17 divide v?
False
Let i(t) = -477*t - 2813. Does 24 divide i(-8)?
False
Let d = 147 + 242. Suppose 4*b + 3*w = 1499, 2*w = b - 2*w - d. Does 67 divide b?
False
Suppose 10*f - 72673 = -15*f + 27327. Is 125 a factor of f?
True
Let k(q) = -10*q**2 - 15*q - 2. Let v be k(-2). Let s be (2 + 0 + -2)*-1. Does 16 divide (s - -94)*(-18)/v?
False
Let f(o) = 3*o + 41. Let l be f(-12). Suppose r - 5*k = 555, 4*r + l*k - 910 = 1435. Is r a multiple of 31?
False
Suppose -3*d + 8*w - 3*w - 9 = 0, 3*w = -2*d + 13. Let c(m) = 28*m + 2. Let z be c(d). Suppose 0 = 3*v - v - z. Does 29 divide v?
True
Suppose -150 - 120 = 3*g. Let j be (-2)/7 - g/21. Suppose 0 = j*c + 3*y - 69, -2*c + 41 = -y - 4*y. Is c a multiple of 3?
True
Suppose -12*o + 39*o - 32319 = -162*o. Does 17 divide o?
False
Let j(l) = -l**2 + 11*l - 8. Let h be j(10). Suppose 3*k - r - 44 = -h*r, 28 = k - 3*r. Does 8 divide k?
True
Let c(u) = 53*u + 339. Is 25 a factor of c(27)?
False
Suppose 4*a - 127 = 149. Let t = 75 - a. Suppose -t*m + 39 = -393. Is m a multiple of 18?
True
Let w(l) = 14*l**2 + 149*l - 9. Is 16 a factor of w(17)?
False
Let m(q) = 2*q**2 + 5*q + 2. Let c(r) = -2*r**2 + 5*r + 4. Let d be c(-4). Let l be (d/10)/3*5. Is m(l) a multiple of 20?
False
Let y(r) = 0 + 0 + 3*r + 27 - 4. Does 4 divide y(20)?
False
Is 14 a factor of (-10584)/(-48)*(-660)/(-18)?
False
Let q(p) = 11*p**2 - 21*p - p**3 + 1 + 5*p**2 - 13 - 6. Let x = -359 + 372. Does 18 divide q(x)?
True
Let g = 1140 + -218. Suppose -5*t = y - g, y - 5*t - 967 = -t. Is 19 a factor of y?
False
Suppose 4*p - 4528 = -996. Suppose -11*c + p = -41. Does 3 divide c?
True
Let b(p) = 7*p**2 - 20*p + 7. Let s be b(-9). Is s/2 + -4 + 2 + 1 a multiple of 47?
True
Suppose 6*q - 15 = 3*q. Suppose q*y = y + 428. Suppose -443 = -4*r - v, -2*v + y = -2*r + 331. Is 19 a factor of r?
False
Suppose -77*k + 2814538 = 30*k - 564308. Is 57 a factor of k?
True
Let v(r) = -5*r**3 + 145*r**2 - 61*r + 161. Is 29 a factor of v(27)?
False
Let g(u) be the first derivative of -37*u**2/2 - 42*u + 75. Does 3 divide g(-4)?
False
Let y = -26 + 15. Let w(b) = -57*b + 10*b + 34*b - 16 + b**3 + 10*b**2. Is w(y) a multiple of 3?
True
Suppose -11*f + 668 - 217 = 0. Suppose -f*z = -21*z - 25280. Is 13 a factor of z?
False
Let x(w) = 3*w + 3 + 2 - 6*w + 6*w**2 + 10. Is x(3) a multiple of 12?
True
Suppose 91*d = 16*d + 186225. Is 191 a factor of d?
True
Suppose 2*j - m = -31, -4*j + 4*m = -9*j - 58. Is 10 a factor of -10 + j/(-2) - -368?
False
Let h(d) = -d**3 - 14*d**2 + 8*d - 8. Let i be h(-16). Suppose -3*o - i = -1966. Suppose -2*x + o = 3*z, -4*z + 875 = z - 5*x. Does 19 divide z?
False
Suppose -7*c = 2*c - 36. Suppose -c*f - 2*f = -792. Suppose 0*k - f = -2*k. Is 13 a factor of k?
False
Let p(v) = -35*v - 80. Let c be p(-10). Suppose 7*x - 5*n - c = 2*x, -4*x - 2*n + 204 = 0. Does 26 divide x?
True
Let h(w) = w**2 - 14*w - 84. Suppose 12*x = 6*x + 168. Is 28 a factor of h(x)?
True
Suppose 4875 = r - 5193. Is 103 a factor of r?
False
Suppose 3*s = 4*u + u - 40, -2*u + s + 16 = 0. Suppose -u = -w - 7, 3*t = 2*w + 232. Is t a multiple of 6?
True
Let q be (-12)/(-16) - 60/16. Is 13 a factor of 1 + (-122)/3*q?
False
Let f be (-20)/90 - (1 + 628/9). Let o = 23 + f. Does 14 divide (-246)/(-4)*(-160)/o?
False
Suppose 4*c + 3*n + 1472 = 6*c, 4*c = 4*n + 2936. Let s = c + -414. Is 27 a factor of s?
False
Suppose z + 2 - 8 = -3*s, -4*z - 2*s = -14. Suppose -2*q + z*q - 132 = 0. Does 16 divide q?
False
Suppose -158*m + 2699515 = -93*m. Does 72 divide m?
False
Let j(v) = -v**3 + 142*v**2 + 119*v - 277. Does 84 divide j(141)?
False
Let p(g) = 35*g + 388. Let a be p(-11). Is 6/(-30) - ((-17305)/25 - a) a multiple of 97?
False
Let g(y) be the third derivative of 19*y**5/15 + y**4/12 - y**3/6 + 3*y**2 - 6*y. Suppose 0*l + 4 = 4*l. Is 38 a factor of g(l)?
False
Let u be (-42)/(-8) + (-3)/12. Suppose 3 = y, h - 2*y - 15 = 3*y. Suppose 0 = -2*a + 4*g + h, u*a = -0*g + 3*g + 82. Does 9 divide a?
False
Suppose -174*b + 670688 + 462400 = 0. Is 37 a factor of b?
True
Let k(x) = -13*x - 24. Let q be k(-2). Suppose 0 = 3*b - 6, -w - q*b = 53 - 276. Does 24 divide w?
False
Does 14 divide 3*(14408/3 - 4) - 2?
False
Suppose 4*y - 7 = 6*y - 5*t, -3*t + 17 = 2*y. Suppose 9*w - y*w = 3570. Does 102 divide w?
True
Let k(i) = i + 34. Let a be k(-27). Suppose -2*b = -5 - a. Is 14 a factor of 1 + 205 + (b - 2)?
True
Let u = 816 - -3567. Does 172 divide u?
False
Is 52366/6 - (-1841)/789 a multiple of 4?
False
Let l = -9639 + 25732. Does 11 divide l?
True
Let m(t) = 359*t - 9002. Is m(91) a multiple of 5?
False
Suppose -l = -4*g - 5*l + 160, 121 = 3*g + 4*l. Let h be -209 + (g/(-12) - -3)*-8. Let f = h + 383. Is f a multiple of 44?
True
Let l be 1*-3 + 35/(-15)*3. Let c be (1 - 38/l)*145/29. Suppose 22*z = c*z - 182. Does 18 divide z?
False
Suppose 121 - 28 = -3*m. Let t = m + 65. Does 43 divide 153/t*(-272)/(-6)?
False
Let k(h) = -37*h**3 - h - 4. Let s be k(2). Is (-2)/(-6)*-15 - s a multiple of 9?
True
Let q(t) = t**3 + 13*t**2 - 15*t - 11. Let k(h) = h**3 - 3*h**2 - 3*h - 5. Let u be k(3). Let y be q(u). Is (y + (0 - -1))/((-20)/(-160)) a multiple of 8?
True
Let g(a) be the second derivative of a**7/2520 + a**6/360 + a**4/3 - 25*a. Let r(q) be the third derivative of g(q). Is r(9) a multiple of 11?
True
Let p(h) = -303*h - 1209. Does 6 divide p(-16)?
False
Suppose 66419 = -20*b + 692359. Is b a multiple of 28?
False
Suppose -4*c + 58815 = g + 18067, c = -2*g + 10173. Is 9 a factor of c?
False
Let o(k) = 13*k + 6. Let h be o(-2). Let n = 86 - h. Suppose 0 = -11*a + 1126 + n. Does 16 divide a?
True
Suppose -44*d = -61 - 71. Suppose -5*g - 1959 = -3*b, -d*g + 1150 - 3751 = -4*b. Is b a multiple of 36?
True
Suppose -d + 12*d = -407. Let n(y) = -2*y**2 - 91*y - 53. Is n(d) a multiple of 32?
True
Suppose -3*c - 2524 = -5*o, 0 = -2*o + 3*c + 417 + 589. Is 11 a factor of o?
True
Let h be (-1 + 0)*(-126)/(10 + -4). Let d be 14/49 + 3312/h. Let k = d - -13. Is 31 a factor of k?
False
Let k(z) = -122*z - 16. Let j(u) = -120*u - 15. Let b = -144 + 150. Let m(l) = b*j(l) - 5*k(l). Is m(-3) a multiple of 40?
True
Let n = -19 + -52. Let a = n - -75. Suppose 3*i = -4*l + 225, 144 - 351 = -a*l + 3*i. Is 9 a factor of l?
True
Let x = -69 + 142. Let i be (52/65 + (-8)/10)*(4 - 3). Let v = i + x. Is 5 a factor of v?
False
Let p(x) = 32*x**2 + 2*x. Let a be p(-1). Let h = a + -14. Is 8 a factor of h?
True
Let r be (7 - 4)*11765/39. Let f = r - 500. Does 5 divide f?
True
Suppose -9*v + 22 = -5. Suppose 31*c + 4548 = 36*c + v*a, 911 = c + 2*a. Is c a multiple of 29?
False
Let l = 64 + -60. Suppose p = -4*r + 133, -2*r - 236 = -l*p + 296. Does 34 divide p?
False
Let a(n) = -10 + 15*n + 5*n + 3*n - 19*n**2 + n**3 - 10*n. Does 10 divide a(20)?
True
Suppose -1354*k = -1289*k - 764790. Is 6 a factor of k?
True
Let c(n) = -2*n**3 - 45*n**2 - 5*n - 62. Let x(l) = l**3 + 23*l**2 + 3*l + 31. Let d(u) = -4*c(u) - 10*x(u). Does 4 divide d(-25)?
True
Let f(z) = z - 8. Let x be f(6). Let s(p) be the third derivative of 7*p**5/20 - p**4/24 - p**3 + 125*p**2 - p. Is s(x) a multiple of 10?
True
Suppose -3*f - 9 = -3*l, -5*f - 1 - 4 = 0. Suppose -11 = -4*d + 2*a - a, -d + 5*a = l. Suppose 0 = 4*y - 0*t + 4*t - 116, -95 = -d*y - t. Is y a multiple of 19?
False
Let y be (-1)/((-2)/(-164)*-2). Suppose -y*g + 46*g = 2600. Does 17 divide g?
False
Let c = -34 + 36. Suppose 8*u - c*u - 210 = 0. Suppose s = u + 19. Does 9 divide s?
True
Let f(t) = 48*t**2 - 32*t + 192. Is 8 a factor of f(7)?
True
Let h(p) = p**2 - 12*p + 39. Let s be h(13). Suppose -c - s = 51. Let n = -85 - c. Does 18 divide n?
True
Let f(j) = 36*j**2 - 8*j - 2. Suppose 4*p - p - 5*o - 1 = 0, 0 = -2*p + 3*o. Let i be f(p). Suppose -5*u = -654 - i. Does 50 divide u?
True
Is 40 a factor of 10/(-18 - 579117/(-32172))?
True
Let g(k) = k**3 + 5*k**2 - 4*k - 1. Let r be g(-4). Suppose 0 = -23*v + r*v - 744. Is 12 a factor of v?
False
Suppose -4*w - 2*k - 32 = 52, -5*w = 4*k + 111. Let f = 166 - w. Is 9 a factor of f?
False
Let s(u) = 6*u - 28. Let h be s(4). Let r be 10 + h - (0 - 2/2). Suppose -r*j + 43 = -419. Is j a multiple of 4?
F