) = -22*h**2 + 9*h + 8. Let v(a) = -4*k(a) - 5*n(a). Is 16 a factor of v(4)?
True
Let o be 4 - 4 - (-2 + 3 + -1). Suppose -2*l + 5*k = 2*l - 1092, o = -2*k. Does 21 divide l?
True
Suppose -4*v = f - 21, 0 = -f - f + 2. Suppose k - 324 = v*j, k + 3*j - 300 = 56. Is k a multiple of 25?
False
Let n = 550 + -163. Let d = n + -237. Is 4 a factor of d?
False
Suppose -2*u + 15 = a - 0*u, -53 = -3*a - 2*u. Let r(v) = 10*v - 28. Does 28 divide r(a)?
False
Let x(b) = 5*b**2 - 7*b - 9. Let n(p) = -3*p - 34. Let g be n(-10). Let j be x(g). Suppose 0 = -c + 28 + j. Is c a multiple of 13?
False
Let m(z) = -3*z - 1. Let v(b) = 9*b**2 + 20*b + 1. Let g(a) = 5*m(a) + v(a). Is g(-4) a multiple of 2?
True
Let k(p) = -p**2 - 9*p - 15. Let x(g) = -g**2 - 25*g + 49. Let d be x(-27). Let s be k(d). Does 5 divide (-5)/s*-4 + 38?
False
Let n = -3083 + 14059. Is 7 a factor of n?
True
Let f(t) = 106*t**3 - 8*t**2 + 14*t - 6. Does 18 divide f(3)?
True
Let h(u) = u + 1. Let j be h(-4). Let l = 269 + -393. Is -1 + (j - (3 + l)) a multiple of 39?
True
Does 8 divide (-28)/(-21)*67380/40?
False
Let x = -154 - -15. Let w = x + 150. Suppose 1564 = w*c - 1428. Is 34 a factor of c?
True
Let v = 56 + -52. Suppose -s = 2*s - l + 1, -v*l + 11 = -5*s. Is 2 a factor of 4 + 10/(4 + s)?
True
Let z be (4 + -4600)/(5 - 7). Let b = 3248 - z. Is 95 a factor of b?
True
Does 27 divide 3*(-33)/9 + 5355 + 4?
False
Let b = 132 + -134. Does 7 divide 38918/418 + (b - 36/(-19))?
False
Does 10 divide (-6)/(-9)*2/12*65547?
False
Let t(u) = 5*u**2 - 115*u + 1. Let f be t(23). Is 9 a factor of ((-66)/(-165))/(f/3015)?
True
Suppose 151*l - 2862486 = -32*l. Is l a multiple of 99?
True
Let k(g) = -9*g - 19. Suppose -m - 3 = v, 13*v - 16*v + 21 = -2*m. Is 3 a factor of k(m)?
False
Suppose 54*v - 55 = -379. Is (2697/v)/((-2)/4) a multiple of 41?
False
Let a be (5/15)/(3/828). Suppose -s = -3*s + a. Is 10 a factor of s?
False
Suppose -8*r + 5*p = -12*r + 26532, 5*r = -p + 33144. Suppose 25*v - r - 1647 = 0. Is 38 a factor of v?
False
Suppose -7*p + 4*u + 19508 = 0, -3*p - u = p - 11154. Is 41 a factor of p?
True
Suppose 0 = 4*v + v - 2*d - 1024, 3*v - 627 = -3*d. Suppose 5*h - v - 19 = -2*z, -z + 5 = 0. Is 15 a factor of h?
False
Let w(h) = 16*h - 9. Let p = -335 - -351. Does 17 divide w(p)?
False
Suppose -a + 4*t + 23566 = 0, 5*a + 53*t - 49*t - 117926 = 0. Does 13 divide a?
True
Suppose 0 = 8*z - 25939 - 1701. Suppose 21*f = z + 7045. Is 50 a factor of f?
True
Suppose -1 = -t + a, -3*t - 4*a = -4*t + 4. Suppose -2*u = -2*h - t*h + 664, u = -4*h + 1318. Does 10 divide h?
True
Suppose -5*q + 7*q = 3*w - 83, q = 5*w - 129. Let j = 15 - w. Let k(y) = y**3 + 11*y**2 + 8*y + 1. Is 2 a factor of k(j)?
False
Let k(s) = 2*s**3 - s**2 - 4*s + 3. Let o be k(1). Suppose -3*z - 3*w - w + 1304 = 0, o = 2*z + 4*w - 864. Does 40 divide z?
True
Suppose 10*d + 534 = 44. Let x be (-4)/14 - (-378)/d. Is 21 a factor of 87 + (-2)/4*x?
False
Suppose 8*t - 2583 - 2265 = 0. Suppose t = -12*j + 18*j. Is j a multiple of 11?
False
Let x(c) = -c**2 - 19*c - 54. Let p(a) = a**2 - a - 2. Let t(d) = 6*p(d) - x(d). Is 3 a factor of t(-3)?
True
Let x(r) = r**2 + 10*r - 24. Let y be -2 + (-39)/3 - (-6)/2. Let k be x(y). Suppose 0*b - 406 = -5*b - 2*l, -4*b + l + 317 = k. Does 20 divide b?
True
Let m(s) = -599*s - 1773. Is 6 a factor of m(-9)?
True
Suppose -r - 4*w = 4*r - 613, -5*w - 232 = -2*r. Let p = r - 78. Suppose -p*d - 900 = -48*d. Is 12 a factor of d?
True
Let i(k) = 2*k + 12. Let s be i(-4). Let m be s + 12/(-3) - 1443. Is m/(-18) + (-2 - 22/(-12)) a multiple of 16?
True
Suppose 0 = -4*g + 8. Suppose 7 = g*z + 5. Let a(c) = 124*c + 7. Does 7 divide a(z)?
False
Let u = -507 - -765. Let q = -162 + u. Is 5 a factor of q?
False
Suppose 3*b - 4*b - 1974 = 3*p, 0 = 5*p - b + 3298. Let f = p + 1359. Does 14 divide f?
True
Let r be 119 - -6*(-4)/6. Let w = -84 + r. Does 7 divide w?
False
Suppose -p = 3*p. Let g(j) = -j + p*j**2 + 3*j**2 + 0 + 8 - j. Does 32 divide g(-6)?
True
Suppose -11*x = -7*x - 2*f - 2896, -2*x - 4*f = -1458. Let s = 870 + x. Is s a multiple of 11?
True
Let g(u) = 21*u - 127. Let r(h) = 2*h**3 + 8*h**2 + 2*h - 5. Let z be r(-3). Is 11 a factor of g(z)?
False
Suppose v - 80 = 5*v. Let c = 898 - 893. Does 4 divide 64/4 + v/c?
True
Let f = -13 - 0. Let b = f - -14. Is 9 a factor of (b*(-140)/(-2))/1?
False
Suppose 8 = -6*b - 40. Let s(f) = -2*f**2 + 31*f + 25. Let l(z) = -3*z**2 + 47*z + 38. Let p(w) = b*s(w) + 5*l(w). Is 20 a factor of p(15)?
True
Suppose 3*q - 25 + 1 = 0. Does 13 divide (q/14)/4 - 8185/(-35)?
True
Is 190/152 + 7598/8 a multiple of 4?
False
Suppose 0 = -26*q + 22*q, -5*g + 10790 = 2*q. Let h = -1134 + g. Is 64 a factor of h?
True
Suppose 3*n = 5*z + 11020, 18*z = -3*n + 15*z + 11052. Is 10 a factor of n?
True
Let l(a) = -a**2 - 13*a + 5. Let n = 58 + -68. Let b be l(n). Let o = b - -31. Is 11 a factor of o?
True
Let s be (-6*(-4)/(-6))/(3/6). Is 12 a factor of -48*(s + 0/(-9))?
True
Let n(c) = 9*c - 24. Let m(u) = -19*u + 48. Let q(d) = -4*m(d) - 9*n(d). Let s be q(4). Suppose -2*b + 287 = b - s*f, -b = 3*f - 74. Is 16 a factor of b?
False
Suppose -4*z + z - 150 = b, 250 = -5*z - b. Let l = z + 55. Suppose -44 = -7*q + l*q. Is 11 a factor of q?
True
Suppose -o + n = -n + 70, 2*n - 210 = 3*o. Let h = o + 73. Is 6 a factor of (-373)/(-7) + (-4)/14 + h?
False
Let f(k) = 11*k**3 + 43*k**2 - 347*k + 5. Is f(13) a multiple of 15?
False
Suppose -28*z + 580 = -18*z. Suppose f - 4*h + 62 = 0, -f = -7*h + 4*h + 59. Let t = f + z. Does 3 divide t?
False
Let r(h) = -4*h - 19. Let f(d) = -1. Let m(j) = -4*f(j) + r(j). Let g(u) = u**3 - 7*u**2 - 9*u + 2. Let w be g(8). Is 4 a factor of m(w)?
False
Let u = -1611 - -2507. Does 8 divide u?
True
Let j(r) be the third derivative of -53*r**4/24 - 32*r**3/3 + 37*r**2 - 1. Is j(-8) a multiple of 10?
True
Let k = -221 - -281. Suppose 0 = 20*f - 21*f + k. Is 15 a factor of f?
True
Let a be 0/((-4)/12*3)*1. Suppose -74*p + 73*p - 58 = a. Let h = p + 138. Is h a multiple of 9?
False
Let q(k) = -31 - 3*k**2 + k**3 - 5*k + 10 + 2*k + 10*k**2. Let d be q(-7). Suppose -2*c + 92 = -3*a, -3*c + d*c = 4*a - 104. Does 8 divide c?
True
Suppose -664*h = -662*h + 80. Let g = 451 - h. Is g a multiple of 7?
False
Let y = -27 - 94. Let q = y + 241. Is 12 a factor of q?
True
Suppose 57*p = 3011 + 57637. Is 28 a factor of p?
True
Let o = -107 + 108. Is 2 a factor of (0 - (-60)/(-16))*o*-4?
False
Let r(n) = -5*n**3 + 3*n - 2. Let l be r(1). Let x be 1/(4*l/(-304)). Let c(m) = m**2 - 17*m - 13. Is c(x) a multiple of 4?
False
Let b(r) = -2*r**2 + 10*r - 2. Let h be b(5). Let u(p) = 4*p + 14 - 7*p - 11*p. Is 7 a factor of u(h)?
True
Suppose 0 = -5*n - 5*y + 15995, -5*y - 4896 - 1516 = -2*n. Does 11 divide n?
True
Suppose 3*s - 11679 = -5*w, -2*s + 69*w = 67*w - 7786. Is s a multiple of 20?
False
Suppose 5*h - 20 = 0, -h + 88 = q - 3*h. Let a = 99 - q. Suppose 0*u + 141 = a*u - 4*v, -4*v = 3*u - 141. Is 7 a factor of u?
False
Suppose 91 + 133 = 16*y. Is 658 + y/((-42)/6) a multiple of 30?
False
Suppose 0 = p + 5, 3*l - p = l + 27. Suppose 0 = -l*n + 6*n + 15. Suppose 224 = n*i + i. Is 7 a factor of i?
True
Suppose -h + 9 = 2*h, 3*h - 73384 = -5*s. Suppose -s + 1376 = -31*o. Is 33 a factor of o?
True
Let w(s) = s**2 + 7*s + 168. Is 5 a factor of w(-10)?
False
Let k be 0/((-1)/(1/3)) + 1. Is 83 a factor of (-37 + 52)/(k/83)?
True
Let n(g) = 1670*g**2 - 10*g. Does 15 divide n(-1)?
True
Suppose 30*u + 9570 = 45*u. Let a = 1352 - u. Is a a multiple of 34?
True
Suppose 4*d - 2*d - 996 = 0. Suppose 5*k - 25 = 0, -4*k + 1980 = 5*t - 2*k. Suppose 5*x + 4*v = 5*v + d, 4*x - 3*v - t = 0. Does 18 divide x?
False
Suppose q - 6 = -4. Suppose b - 9 = -2*r, q + 1 = r + 2*b. Suppose 2*h = d - r*d + 38, 0 = 4*d - 5*h - 45. Is d even?
True
Let b(n) be the third derivative of 5*n**4/4 - 35*n**3/6 - 25*n**2. Is 17 a factor of b(15)?
False
Suppose 0 = 11*w - 4 - 95. Let t be (-32)/(-24) + 60/w. Suppose -3*x + 495 = t*x. Is x a multiple of 15?
True
Let j = 146 + -8. Suppose 2*i - 3*g = j, -4*g - 64 = -6*i + 5*i. Is i a multiple of 18?
True
Suppose 9*b = -1032 - 4827. Let x = 1099 + b. Does 56 divide x?
True
Suppose 0 = -5*x + 4*k + 2046, -2*x + k = -596 - 220. Suppose -5*y - x - 549 = -3*a, -4*y = -5*a + 1570. Is a a 