Let w(k) = 8*k**2 - x*k + 6 - 6*k**2 + k. Is w(4) a multiple of 15?
True
Suppose -3*i + 337 = -4*b, -i + 330 = 2*i + 3*b. Is 36 a factor of 88874/i + (-4)/(-3)?
False
Let j be 0 + (-42)/(-4)*2. Suppose j*u - 17*u = 1248. Let f = 460 - u. Is f a multiple of 10?
False
Let t(m) = -m**2 - 10*m - 13. Let j = 104 + -160. Let q be j/42 + 11/(-3). Is t(q) even?
True
Let s(v) = -3*v + 17. Let o(z) = -3*z + 15. Let b(y) = -4*o(y) + 3*s(y). Let a be b(-6). Does 3 divide -20*30/a + 4/(-18)?
False
Suppose 49*o - 65*o = -13952. Does 21 divide o?
False
Let p(u) be the first derivative of 2*u**3/3 + 17*u**2 + 9*u + 1. Suppose -4*c - 98 = 11*h - 6*h, -h - 40 = 2*c. Is p(c) a multiple of 6?
False
Let h(v) be the first derivative of v**4/4 - 5*v**3 + 17*v**2/2 + 3*v + 57. Is h(14) a multiple of 9?
True
Let a be -16380*(39/(-27) + (-18)/81). Suppose -49*o - o + a = 0. Does 14 divide o?
True
Let q(k) = k**3 + 17*k**2 + 26*k - 27. Let s be q(-15). Suppose -s*n + 36*n = 39. Does 12 divide n?
False
Let l be (3 - 2)/(1 + 9/(-12)). Suppose -18*h = -l*h - 2898. Does 23 divide h?
True
Let j be (-64)/(-144) + (-41408)/18. Let x = -1290 - j. Does 18 divide x?
False
Suppose 0 = -2*g - g - 3, -5*g = -5*f + 55. Let x = -13 + f. Let q = 47 - x. Is 10 a factor of q?
True
Let a = -4 - 27. Suppose -19*g - 2944 = -4027. Let i = g + a. Is 13 a factor of i?
True
Let p(u) = -6*u**3 - u**2 - u + 1. Let m be p(-2). Let r = -491 + 494. Suppose -v + r = -m. Is v a multiple of 8?
False
Let r(v) = -v + 26. Let o be r(8). Suppose 4 + o = 5*j - a, 0 = -3*j - a + 10. Suppose -2*b + 3*b = 5*p - 438, j*p - 2*b - 348 = 0. Does 22 divide p?
True
Let n(m) = 14*m - 10. Let j be n(1). Suppose -5*g = t - 0*g + 15, 0 = 5*t + j*g - 30. Is t a multiple of 10?
True
Suppose 65*y = -41*y - 16*y + 1532442. Is y a multiple of 159?
True
Suppose -10 + 4 = r + 5*m, -r - 2*m = -3. Let u be ((-2)/4)/(r/36). Does 12 divide ((16/(-12))/(-1))/(u/(-198))?
True
Let u(p) = 2*p**2 + 8. Let m(r) = 3*r + 27. Let o be m(-8). Let b be u(o). Suppose b*t = 31*t - 90. Is 6 a factor of t?
True
Suppose -7*r - l + 54080 = -3*r, -l = -5*r + 67609. Does 16 divide r?
False
Suppose -9318 = -2*i - 2*a, -9*a + 11*a - 23292 = -5*i. Is 34 a factor of i?
True
Let v(y) = 14*y + 461. Let f be v(0). Let x = f - 329. Is x a multiple of 11?
True
Let m = -389 - -391. Suppose -2*o - 3*n = 3*o - 1310, -5*n - 555 = -m*o. Is o a multiple of 53?
True
Suppose 3*z = -8*z - 2883 + 31208. Does 17 divide z?
False
Suppose -912 = -2*n - c + 1131, -999 = -n - 5*c. Suppose -224*w = -220*w - n. Is w a multiple of 8?
True
Let x(w) = -4*w**3 - 11*w**2 - 25*w - 15. Let y(a) = a**3 + a**2 + 2*a. Let c(o) = -x(o) - 5*y(o). Is c(-5) a multiple of 43?
True
Suppose 1479 - 5724 = 5*q. Let i = q - -1291. Does 22 divide i?
False
Suppose -3*t + 38064 = 4*v, t + 5*v = 2802 + 9886. Does 244 divide t?
True
Let p(s) = s + 5. Suppose -4*c + 100 = 8. Suppose -4*z + 2*z - 3*b = -c, 4*b = 5*z - 23. Does 3 divide p(z)?
True
Suppose -14*m - 2*f + 11100 = -13*m, -5*m + 5*f = -55485. Is m a multiple of 20?
False
Suppose 5*i - 35 = 5*u, 4 - 8 = -4*u. Suppose -i*r + 30 = 6. Suppose -2*d = 5*y - 99, -4*d - r*y + 209 = -4*y. Does 13 divide d?
True
Let v = 73 - 68. Let l(f) = -f**3 + 4*f**2 + 7*f + 1. Let a be l(v). Suppose -a*k + 515 = -1135. Is 14 a factor of k?
False
Let q(j) = 2*j**3 - 25*j**2 + 4*j + 1. Let p be q(19). Suppose 18*x - 27*x + p = 0. Is 49 a factor of x?
False
Let i(z) = -5*z - 1. Let q be i(-2). Suppose -5*k = q*k - 672. Is 12 a factor of k?
True
Let d = 1429 + -795. Suppose -3*u = r - d, -4*u + 424 = -2*u + r. Suppose -4*i + u = -22. Is i a multiple of 5?
False
Suppose 167*i + 73866 - 778488 - 171961 = 0. Is i a multiple of 181?
True
Let g be (-9)/((-2 - -2) + 15/(-20)). Let f = 164 - g. Let s = f - 84. Is s a multiple of 10?
False
Is (-576035)/(-207) - 12/(-54) a multiple of 33?
False
Suppose 0 = 147*x - 142*x + 5. Is (-148)/(-185) - x/(10/212) a multiple of 11?
True
Let m(t) = -4*t + 23. Let a be m(0). Let v = -5 + a. Is v a multiple of 14?
False
Suppose 117*r - 210*r = -799950 - 102801. Does 4 divide r?
False
Suppose -649 = -5*u - 4*y, 0 = -u + 5*y - 2*y + 145. Let z = -55 + u. Is 28 a factor of z?
False
Let q = 3310 - -6662. Is 18 a factor of q?
True
Let a be 2/5 - 376/(-10). Suppose a*d - 105 = 35*d. Is 5 a factor of d?
True
Let b be (-271)/7 + 4/14*-1. Let t = b + 33. Does 7 divide 1 + 41 + 2 + (-12)/t?
False
Let k be 1/((4/(-10))/((-4)/5)). Suppose 4*i - 10 = k*i. Suppose -2420 = -5*c - i*c. Does 11 divide c?
True
Does 75 divide (4 + -5)/((-3)/16875)?
True
Let i(w) = 91*w - 1416. Does 31 divide i(67)?
True
Suppose 0 = -2*h + 6, 18 = -p + h + 4*h. Let n be 2*(255/6 + p). Suppose 3*z + n = 4*z. Is 9 a factor of z?
False
Suppose 5*j - 38583 - 46341 = -4*p, -4*j + 84932 = 4*p. Is p a multiple of 92?
False
Let v(k) = -5*k + 51. Let o be v(11). Let x(c) = 7*c**2 - 4*c - 33. Is x(o) a multiple of 5?
True
Let o(k) = -7*k**2 + 24*k - 19. Let f(v) = 15*v**2 - 49*v + 37. Let x(r) = 6*f(r) + 13*o(r). Is x(10) a multiple of 6?
False
Let h = -39619 + 69942. Does 196 divide h?
False
Suppose 3*s = 32 + 91. Suppose -4*r - 3*t = t + 44, 4*r + t = -s. Does 4 divide (r - -6)/((-8)/86)?
False
Let t(j) = -5*j**3 + 7*j**2 - 11*j - 10. Let b(y) = -4*y**3 + 8*y**2 - 11*y - 11. Let z(v) = 4*b(v) - 3*t(v). Let x = 42 - 36. Is 15 a factor of z(x)?
False
Suppose -38*d = -3*d - 35. Is -2*(-1532)/8 + 1 + d a multiple of 11?
True
Let s = 3733 - -2241. Is 29 a factor of s?
True
Let j(m) = -164*m + 5. Let p be j(3). Let l = p - -555. Does 13 divide l?
False
Suppose 3*p = -5*w + 17 - 6, 5*w = -5*p + 5. Is 20 a factor of 20/p*99/(-22)?
False
Let m(l) = 17*l + 6*l - 35 - l - 9*l. Is m(18) a multiple of 17?
False
Suppose -5*r = 4*l - 28, -3*r = -r - 8. Let n(m) = -9*m**3 + 30*m**3 - 8 + 20 - 11. Does 40 divide n(l)?
False
Suppose -2*p + 3*p = -3*j + 9312, -2*j - p + 6210 = 0. Is 6 a factor of j?
True
Let h(k) = -3*k**2 - 11*k**2 - 10*k**2 - 10*k + 25*k**2 + 8. Let y be h(9). Is -128*-6*y/(-8) a multiple of 24?
True
Suppose -3*a + 8*t = 11*t - 124506, 124482 = 3*a - 3*t. Is 33 a factor of a?
False
Suppose -63*p = 37*p - 2794000. Does 55 divide p?
True
Let x be (13 - 7)*(0 - -1). Suppose -x*y + 24 = 2*y. Suppose l - 19 = y*p, 0*l - 2*l = -5*p - 36. Does 10 divide l?
False
Suppose 0 = -2*d, 3*u - 185 - 304 = -4*d. Let l = 177 - u. Is 7 a factor of l?
True
Suppose -57*i = -368869 - 18332. Suppose w = 5*k - 8491, 4*k - i = -3*w + 4*w. Is 42 a factor of k?
False
Suppose -192 + 606 = 18*w. Suppose 240 = 24*m - w*m. Is 20 a factor of m?
True
Let n = 218 + -137. Suppose 0*c = -2*f + c + n, 1 = -c. Let q = f + -20. Is q a multiple of 8?
False
Suppose -6*w + 20 = -4*w - 2*g, -g = -3*w + 28. Suppose 4*h + 11 = -w, h - 1251 = -4*r. Is 11 a factor of r?
False
Let n(q) = 3*q**2 - 16*q + 8. Let i be n(12). Let t = 466 - i. Let y = 316 - t. Is 23 a factor of y?
False
Let i(h) = 20*h**2 + 61*h - 945. Is i(18) a multiple of 67?
True
Let s be (-4)/16 + (-26)/(-8). Suppose -5*n - u + 5 = 0, -4*n - u + 2 = -s. Is (-118)/(-6)*(n - -3) a multiple of 27?
False
Suppose k = 3*k, -3*l = 4*k. Suppose -4*y - 97 + 117 = l. Suppose -4*n - 2*t = -118, y*n - 5 = 5*t + 105. Is 9 a factor of n?
True
Suppose 3*n + 2*n + 5*b = 45, -5 = -5*n + 5*b. Suppose -j + 5*t = -6*j + 2600, -n*j - 2*t = -2615. Does 17 divide j/(-20)*16/(-6)?
False
Let r(w) = -w**2 + 9*w - 6. Let l be r(8). Let b(h) = 13*h**2 - 11 + 3*h - 24*h**2 + 15*h**l. Is b(-5) a multiple of 27?
False
Let u(z) = 2*z. Let m be u(3). Let k(c) = 40 + m*c + 8*c - 9*c. Does 25 divide k(12)?
True
Suppose 3*s - 2126 = 2659. Suppose -5*f = -20, 5*c - 2*f - s = 3*f. Does 19 divide c?
True
Suppose -9556 = 20*y - 189136. Is y a multiple of 3?
True
Let a(n) = n**3 + 24*n**2 - 108. Is 15 a factor of a(-21)?
True
Let k(y) = 27*y - 128. Let v(d) = -13*d + 62. Let g(b) = 4*k(b) + 7*v(b). Does 32 divide g(12)?
False
Suppose 62*w - 63*w - 65 = 0. Let a = w - -218. Is a a multiple of 9?
True
Let n(t) = -4*t**3 - t**2 + 2*t - 249. Let h(d) = 3*d**3 + d**2 - d + 249. Let z(o) = 3*h(o) + 2*n(o). Let j be z(0). Let g = j - 123. Does 18 divide g?
True
Suppose 4*t + 25 = -t. Let o be (52/(-8))/(6/12). Let j = t - o. Is 3 a factor of j?
False
Let f = 205 - 205. Suppose f = -166*u + 147*u + 2052. 