*k - 42. Let a be m(-2). Suppose a = 6*j - 660 - 162. Is 5 a factor of j?
False
Let l(h) be the first derivative of 3*h**4/2 + 5*h**3/3 + 2*h**2 + h - 59. Is l(3) a multiple of 22?
True
Suppose -r + 22485 = 5*t, -r + 112203 = 4*r - 12*t. Is 15 a factor of r?
True
Suppose -2*m + 17904 = f, f - 5*m - 21842 = -3945. Is f a multiple of 89?
False
Suppose 5*b - 2101 = -2*a, -5*b + 2107 = -2*a + 6*a. Is b a multiple of 4?
False
Let k be 8*(-4)/12*(-3)/(-2). Is 16 a factor of 15/(3/1) - (k + -663)?
True
Suppose 229*o - 648822 = 1537510 + 187940. Is 288 a factor of o?
True
Let d(y) be the second derivative of y**4/12 + 10*y**3/3 + 112*y**2 - 27*y + 2. Does 25 divide d(-11)?
True
Suppose -5*f + 1998 + 2477 = 0. Let y = f - 455. Suppose 5*s = -3*x + y, 5*x = 4*s + 3*x - 330. Is 17 a factor of s?
True
Let w(q) = 2*q**3 - 34*q**2 - 45*q + 4. Does 96 divide w(27)?
False
Let m = -441 - -450. Let k(v) = -4*v + 53. Is 3 a factor of k(m)?
False
Let g(t) = 37*t - 26. Let z(m) = -m + 19. Let v be z(-3). Is g(v) a multiple of 19?
False
Suppose 0*l - 10264 = -18*l + 6260. Is 9 a factor of l?
True
Let y(z) = z - 20. Let r be y(0). Let n = -23 - r. Is (4 - -34)/(n/(-6)) a multiple of 19?
True
Let n = -1044 - -1065. Is n a multiple of 16?
False
Suppose -2132 = -30*t + 628. Does 55 divide t/368 + 1567*1/4?
False
Let z(b) = -2*b**2 - 15*b + 78. Let g be z(8). Let j = -62 - g. Is 12 a factor of j?
True
Is 13 a factor of (-15)/6*((-342368)/(-10))/(-13)?
False
Let o(p) = -p**3 - 13*p**2 - 4*p - 2. Let w be o(-13). Suppose 15*g - w = 13*g. Is g a multiple of 15?
False
Let c be ((-1)/2*0)/(-1). Let a be (1 - -2) + -4 - (-7 + c). Does 2 divide (-3)/a + (-22)/(-4)?
False
Let f(a) = -5*a**3 + 5*a**2 + 48*a + 17. Does 21 divide f(-8)?
False
Let v(o) = o. Let s(w) = -w. Let k(y) = s(y) + 2*v(y). Let d be k(-8). Let b = 124 + d. Is b a multiple of 18?
False
Suppose -2045*s - 629702 = -2084*s + 282274. Is s a multiple of 148?
True
Suppose 3*o - 935 = 7*d - 9*d, 0 = -d + 3*o + 472. Let y = -229 + d. Does 7 divide y?
False
Suppose -482 = -4*k + 10. Suppose -k = -3*c + 1029. Is c a multiple of 32?
True
Let f = 13512 + -7067. Is f a multiple of 13?
False
Let t = 3895 - 318. Is 17 a factor of t?
False
Let i(h) = -65*h + 118. Let t = 513 + -524. Does 22 divide i(t)?
False
Suppose 49*p - 66 - 32 = 0. Suppose -q - 3*n = 445 - 1195, 0 = p*q + 4*n - 1502. Does 47 divide q?
False
Let a(i) = -3. Let v(m) = 17*m - 165. Let o(t) = -2*a(t) + v(t). Does 2 divide o(12)?
False
Suppose -4*c + 18 = 10. Suppose -5*i - c*f + 330 = -3*f, 4*i + 5*f = 235. Let d = i + 15. Is 10 a factor of d?
True
Suppose -117*s + 1352848 = -23*s. Is s a multiple of 18?
False
Suppose 4*a + v = 43945, 589*a - 2*v = 588*a + 11002. Is 9 a factor of a?
False
Suppose 3*f - 17681 - 5578 = -3*u, f = 5. Is u a multiple of 149?
True
Let g(w) = 43*w - 3. Suppose -5*s + y = -27, -3*s + 4*y + 18 = -s. Suppose -5*i - 2*b = -11, s*b - 4 = 2*i + 9. Does 40 divide g(i)?
True
Let r = -3398 - -4854. Is 3 a factor of r?
False
Let i be 465 + -14 - (2 + -3)*1. Suppose -15*c - i = -19*c. Is c a multiple of 7?
False
Let g(m) = -4*m**2 + 79*m + 120. Is 6 a factor of g(17)?
False
Let j(z) = 22*z + 130 + 27*z - 1 + 2. Is 87 a factor of j(16)?
False
Suppose 3*m = 8*m - 50. Suppose 0*z = m*z - 60. Suppose -4*w = p - 56, -3*w + z = -3. Is 22 a factor of p?
True
Let n(u) = 18 + 88*u - 184*u + 9*u**2 + 187*u. Does 18 divide n(-12)?
False
Let h(b) = -21*b**3 - 162*b**2 - 9*b - 11. Does 130 divide h(-11)?
False
Suppose 11*a - 8*a = 6. Suppose a*p = p + 68. Suppose p*c - 71*c = -519. Is 11 a factor of c?
False
Suppose -41*j - 375 = -46*j. Let c = j + -79. Does 18 divide 75 + -3*(c - -5)?
True
Suppose 2199 = 2*g + 47*f - 52*f, -4*g = -3*f - 4419. Is 51 a factor of g?
False
Let c(j) = 44*j + 2593. Is 22 a factor of c(79)?
False
Let p(b) be the second derivative of b**5/20 - 23*b**4/12 + b**3 - 22*b**2 - 133*b + 2. Is p(23) a multiple of 8?
False
Let y(u) = 227*u - 76. Let a = 123 - 120. Is 55 a factor of y(a)?
True
Let g(h) = 3*h**2 + 202*h + 309. Does 102 divide g(39)?
True
Suppose 0 = 7*s + 11*s - 44932 - 4748. Is s a multiple of 60?
True
Suppose -4*v = 5*d - 5, 2 = -2*v - 0*v - 4*d. Is 50 a factor of v - (-294)/(4 - -2)?
False
Let u = -666 + 1297. Suppose 4*g = -3*m - 0*m + u, g = 2*m + 166. Suppose -g = -45*y + 41*y. Does 10 divide y?
True
Does 8 divide 6767796/2438 - (-2)/53?
True
Let u be (0 + -2)*(-33090)/60. Suppose -1102*a - 1056 = -u*a. Is a a multiple of 17?
False
Let n(q) = -2*q - 1. Let v(t) = 52*t - 123. Let f(h) = -2*n(h) + v(h). Does 5 divide f(6)?
True
Let q(l) be the first derivative of 1/3*l**3 - 14*l + 3/2*l**2 + 13. Is 28 a factor of q(7)?
True
Suppose 0*h + 120 = -20*h. Does 5 divide 900/11 - h*2/66?
False
Suppose -24 = 7*r - 10. Let c be 256/24*(-15)/r. Let x = c - 18. Is 16 a factor of x?
False
Let s(v) = -6*v - 34. Let k be s(-6). Suppose k*o = 6*f - 2*f - 634, -2*f = 3*o - 305. Does 9 divide f?
False
Let r(n) = n**3 - 24*n**2 - 3*n - 108. Let g be -2*9/18 + 26. Is 17 a factor of r(g)?
True
Is -4 + -1340*(15/(-14))/((-64)/(-224)) a multiple of 46?
False
Suppose 0 = 37*p + 507 - 1543. Is 28 a factor of (-4800)/(-18) - p/(-21)?
False
Suppose -a + 12008 = -73*t + 76*t, t + 24051 = 2*a. Does 24 divide a?
False
Let q(n) = -n**3 - 7*n**2 - 4*n - 1. Let f be q(-8). Does 48 divide (-6724)/(-14) + f/35 + -3?
True
Suppose -2*x - 5 = -4*m + 7, -4*m + 32 = 3*x. Suppose -x*g = -3*g - 3*k - 20, -104 = -3*g - 2*k. Does 8 divide g?
True
Suppose 5*u + z = 7 - 0, 4*u = 2*z + 14. Let n be 225/81 - (8/(-18))/2. Suppose -n*d + u*d + 25 = 0. Is 7 a factor of d?
False
Suppose -16*r - 356 = -5465 - 1755. Does 25 divide r?
False
Is 72 a factor of -12*(33/(-44) + 1) - -8486?
False
Let a = 149 - 59. Suppose 4*u = -6*u - a. Let i = u + 35. Does 4 divide i?
False
Let f = 29652 + -19620. Does 16 divide f?
True
Let g be (-6)/2*128/96. Is 4 a factor of 24 - (g - -2 - -2)?
True
Let y(p) be the first derivative of 56*p**3/3 + 2*p**2 + 4*p + 99. Does 9 divide y(2)?
False
Suppose -37*t = -40*t + 2*p + 2248, 2998 = 4*t - 2*p. Let b = t + -342. Does 8 divide b?
True
Let n = -1729 + 4408. Does 19 divide n?
True
Let f(d) be the second derivative of 1/12*d**4 + 1/3*d**3 + 75*d**2 - 17*d + 0. Is f(0) a multiple of 15?
True
Let h(q) = q**3 + 8*q**2 - 7. Let x be h(-7). Suppose -55*g = -x*g - 2561. Does 14 divide g?
False
Suppose 31*v - 671730 = -18*v + 13290. Does 12 divide v?
True
Let a(u) = 338*u - 6177. Is 63 a factor of a(33)?
True
Suppose -5*t + 75 = -5*u, 4*u + 22 = -t - 53. Let x = 18 + u. Suppose 3*r - 80 - 136 = x. Does 9 divide r?
True
Let j(g) = -g**2 + 23*g - 1. Suppose -4*h - a + 96 = -84, -2*h + 104 = 4*a. Suppose -i = i - h. Does 10 divide j(i)?
False
Let j(b) = -2*b**2 - 3*b**2 + 4*b**3 - 5*b**3 + 2 - 6*b. Suppose -5*z - 6 = 14. Does 3 divide j(z)?
False
Let h(u) = 3*u - 2. Let m be h(2). Let o(a) = -6*a + 27. Let g be o(m). Suppose g*i - 239 = -4*b + 259, -3*i + 624 = 5*b. Is 14 a factor of b?
True
Let d be (-10 - -6) + 38/1. Let j = d - 18. Suppose 4*q + j - 128 = 0. Does 3 divide q?
False
Does 60 divide (-4)/(-7) - (-1478224)/308?
True
Suppose q - 17 = -3*j, 3*j + 9 = 6*j - 3*q. Let v(b) = -j - 1 + 11*b - 14. Is 18 a factor of v(9)?
False
Suppose -3695620 + 1006420 = -162*u. Is 83 a factor of u?
True
Let r(l) = 10*l**2 + 24*l - 80. Does 22 divide r(15)?
True
Suppose -47*g + 842926 = 8*g + 9401. Is 28 a factor of g?
False
Suppose -65 = -21*o + 19. Let x(i) = 20*i**2 + 3*i + 12. Let p be x(o). Suppose p = 20*z - 16*z. Is z a multiple of 5?
False
Let t = 5065 - -1343. Is 72 a factor of t?
True
Let i(w) = 2044*w**2 - 2*w + 3. Let a be i(1). Does 9 divide 2/10 + (-5)/(-125)*a?
False
Let f = -1537 - -2988. Is f a multiple of 4?
False
Let n(m) = 8*m + 1110. Let f be n(0). Suppose 7*o = o + f. Is o a multiple of 14?
False
Let c(h) = -2*h**3 + 55*h**2 + 885*h - 93. Is c(-19) a multiple of 83?
False
Let f = -705 + 1265. Is f a multiple of 35?
True
Suppose 509*z + 150480 = 569*z. Does 10 divide z?
False
Suppose -a - 19 = 4*x, 3*a = -a - 2*x - 20. Let u be 15 - a/(-12)*0. Suppose -3*z + u = -0. Is 5 a factor of z?
True
Suppose k - 5*w = -4*w - 13, 2*w + 34 = -4*k. Let m be -38*(4/k + 57/30). Let c = -42 - m. Is 5 a factor of c?
True
Suppose 5*j + 31550 = 32685. Do