) = -10*m**3 - 8*m**2 + 3*m + 4. Does 36 divide c(-4)?
True
Suppose w = -0*w - 3*u - 74, -4*w - 312 = -4*u. Let t = 119 + w. Does 14 divide t?
True
Let f = -7 + 1. Let g = -3 + 32. Let y = f + g. Is y a multiple of 13?
False
Suppose -3*z + 165 = -0*z. Let t = z - -27. Is t a multiple of 10?
False
Let a be 123/(-6)*(0 + 2). Does 41 divide a*13/(65/(-30))?
True
Let l(c) = -c**3 - 5*c**2 - 35*c + 24. Does 19 divide l(-10)?
True
Suppose -m + 9 = -6. Suppose 0 = -5*d - 8*h + 5*h + 204, -m = -5*h. Let t = -13 + d. Is t a multiple of 26?
True
Let f(b) = -b**2 + b. Let z be f(-1). Let v be -1*z/(-4)*0. Suppose 4*r = -v*r + 260. Does 18 divide r?
False
Suppose 2*r = -i - 2*r + 20, -5*i + 5*r - 25 = 0. Suppose -b + 1 = -i*b - 3*m, 5*m = -2*b + 46. Is b even?
False
Let r(g) = 2*g**2 - 3*g + 4. Let m be r(4). Does 6 divide (38 - 0)/(m/12)?
False
Let q(r) = -2*r - r**2 - 4 - 1 + 4*r**2 - r**3. Let g be q(-4). Let m = g + -69. Does 12 divide m?
False
Let n(y) = 20*y**2 - 6*y + 12. Is 50 a factor of n(7)?
True
Let m(s) be the second derivative of 2*s**3/3 - 2*s**2 + 2*s. Does 4 divide m(5)?
True
Let a = 34 - 32. Suppose 0*s + 32 = s - a*w, -34 = -s + w. Does 9 divide s?
True
Let t(p) = 5*p**2 - 2*p**2 + 5*p - 4*p**2 - 2. Let m be t(4). Suppose m*o - 6*o = -224. Does 18 divide o?
False
Let v(i) = 11*i. Let o be v(-2). Let d = 66 - o. Suppose 2*q - 2*x - 22 = q, d = 4*q - 4*x. Is q a multiple of 10?
False
Let k(t) = 13*t**2 + 11*t + 8. Is k(-9) a multiple of 60?
False
Suppose -231 = 3*t + 309. Let q = -117 - t. Does 30 divide q?
False
Let x(t) = t - 4. Suppose -3*o + m - 2*m + 35 = 0, o = -3*m + 9. Does 3 divide x(o)?
False
Suppose -156 - 150 = -9*l. Is l a multiple of 34?
True
Suppose -3*d - 44 = -14*d. Suppose 7*o = d*o + 63. Is 2 a factor of o?
False
Let l(c) = -3*c**3 + 5*c**2 - 5*c + 24. Is l(-8) a multiple of 24?
True
Suppose 2*n + 47 = -43. Is 45 a factor of ((-9)/(-5))/(-3) + (-10152)/n?
True
Suppose 0 = -3*h + 6. Let k be (12/(-10))/(h/(-5)). Suppose -6*y - 5*p = -y - 480, -k*p = -3*y + 312. Does 27 divide y?
False
Let w(i) = 0 + 2*i**2 - 7*i - 3*i**2 - 9*i + 2. Let g = -27 - -16. Is 19 a factor of w(g)?
True
Suppose -5*g = -3*d - 750, 4*g - 350 = d + 250. Suppose -5*p + g = -5*c, 5*p - 2*c = -7*c + 110. Is 7 a factor of 1*4*91/p?
True
Is 22/66*(800 + -2) a multiple of 36?
False
Suppose 0 = -4*l - 504 + 1544. Is l a multiple of 33?
False
Suppose k + 4*k + 394 = 3*y, -3*k + 634 = 5*y. Suppose i + 2*u - y = 0, -232 = -2*i - 3*u + 24. Is i a multiple of 8?
True
Suppose -12*w + 10*w = k - 811, 4*k - 1224 = -3*w. Is w a multiple of 16?
False
Suppose 31*n + 784 = 3667. Does 9 divide n?
False
Is 6 a factor of ((-18630)/360)/((-6)/16)?
True
Let a be 81/(-135) - 833/(-5). Let n = -111 + a. Does 14 divide n?
False
Let z(g) = -204*g + 1. Let q be z(-2). Suppose -q = -4*j - 49. Does 15 divide j?
True
Let v(r) = -r**3 - 10*r**2 + 25*r + 9. Let n be v(-12). Let c(w) = 9*w + 4. Let x(y) = 6*y + 3. Let i(s) = 5*c(s) - 8*x(s). Does 2 divide i(n)?
False
Let f be ((-9)/2)/((-6)/8). Suppose 10*w = f*w + 160. Does 10 divide w?
True
Let m be (-24)/(-16) - 42/(-4). Let a be (4 + 0)*(-6)/m. Is 13 a factor of (-4 - 3)/(a/6)?
False
Let l(g) = 2*g**2 + g - 8. Let h be l(2). Suppose 0 = h*u + 13 - 185. Is u a multiple of 43?
True
Let b = -166 - -247. Suppose b = -6*m + 1821. Is m a multiple of 10?
True
Let q be (-4)/30*-9*15. Let i = q + 4. Is i a multiple of 11?
True
Suppose o + 1 = -f, -2*o - 6 - 2 = 0. Suppose 8*k - f*k = 30160. Is 21 a factor of k/72 + 4/18?
True
Let s = 29 - 31. Is 8 a factor of 35 + (-3)/(s + 3)?
True
Let r = 133 - 131. Suppose i + 3 = r*i. Does 3 divide i?
True
Let r(i) be the first derivative of -3 - i + 9/2*i**2. Does 16 divide r(7)?
False
Let l = -199 + 775. Is l a multiple of 64?
True
Let c(t) = 4*t. Suppose -n + 1 = -0. Let l be c(n). Suppose -187 + 59 = -l*h. Does 31 divide h?
False
Suppose 0 = m + b - 2018, -m + 3180 = -5*b + 1168. Does 14 divide m?
False
Let p(m) = -m**2 - 8*m + 78. Is 10 a factor of p(-13)?
False
Let n = 2 - 0. Let s = 32 + n. Let d = s - 21. Is 6 a factor of d?
False
Let z(d) = d**3 - 8*d**2 - 11*d + 13. Let p be z(9). Let q(u) = -4*u - 11. Does 9 divide q(p)?
True
Let k(n) = n**3 + n**2 - 2*n + 44. Let q be k(0). Does 30 divide q*3*((-30)/9 - -4)?
False
Let o(g) = 2*g**2 + g - 2. Let p be o(-2). Suppose u - 80 - 55 = 0. Suppose -q = -p*q + u. Is q a multiple of 17?
False
Is 10 a factor of (598 + -1)*(-48)/(-72)?
False
Let a be (7 - (3 - -5))*-3. Let n(g) be the third derivative of g**5/30 - g**4/12 - g**2. Is 6 a factor of n(a)?
True
Let h(y) = 103*y**2 + y + 2. Let i be h(-1). Let x = i + 2. Does 23 divide x?
False
Let i(q) = -28*q - 1. Let h be i(-1). Let g be 18/27*h*2. Suppose -g = -p - 3*p. Is 2 a factor of p?
False
Suppose -5*h = -4*w - 5399 - 3969, 5*h + 3*w - 9354 = 0. Does 104 divide h?
True
Let c(r) = -r**3 + 21*r**2 + 27*r + 28. Let v be c(22). Is 23 a factor of (v/3)/(-3 + 5)?
True
Suppose -11*y = -28*y + 3553. Does 42 divide y?
False
Suppose 3*t - 493 - 173 = 0. Is 32 a factor of t?
False
Suppose -11586 = -3*j - 3732. Does 119 divide j?
True
Suppose -1539 - 161 = -20*c. Does 36 divide c?
False
Let u(z) = -z**2 + 8*z - 9. Let v be u(6). Suppose -5*k = -0*f + 4*f + 87, 0 = k + v. Let i = f + 32. Does 12 divide i?
False
Let v be (1 + 0 - -2)/(-1). Is 14 a factor of ((-58)/(-10))/(-4 - v)*-5?
False
Let w be -2*4/24*6. Let q(o) = 10*o**2 + 2*o + 3. Let f be q(w). Suppose -f = -3*z + 15. Is 9 a factor of z?
True
Let y = -735 - -827. Is 4 a factor of y?
True
Suppose 223 + 47 = -5*t. Is 21 a factor of 5 + (-4 - -3) - t?
False
Suppose 0 = 3*x - 9, -4*d - 390 = -2*x - 4368. Is d a multiple of 35?
False
Let i be (-2)/(-9) + (-50)/(-18). Let p = 12 + i. Suppose -4*g + p = -17. Is g a multiple of 4?
True
Let a = 37 + -34. Suppose -a*v + 76 = -8. Is 7 a factor of v?
True
Suppose u + 5 = 0, 2*u + 180 = w - 422. Does 13 divide w?
False
Let r be 79/(-1)*(4 + -11)/7. Let a be (-29 - -2)/(0 + 1). Let k = r + a. Does 13 divide k?
True
Let g(k) = -k**3 - 17*k**2 + 13*k - 10. Let p be g(-18). Is (-23)/(-5) + 32/p a multiple of 5?
True
Suppose 0 = -5*n + 10 + 10. Let r = 10 + n. Is 14 a factor of r?
True
Suppose 0 = -6*y + 2*y + 744. Let z be (28/(-21))/((-4)/y). Suppose 3*s = z + 76. Does 15 divide s?
False
Let u(z) = z**2 + 6*z + 3. Let b be u(-4). Let k be 2/b - 2496/(-15). Suppose 92 = 2*p + 4*y, -k = -4*p - 0*y - 2*y. Is p a multiple of 10?
True
Suppose -3315 + 1125 = -6*y. Is y even?
False
Suppose t + 886 = 5*p, 4*p - 2*t - 93 = 617. Suppose 2*q - 5*q - p = -3*j, 3*q - 3 = 0. Is 26 a factor of j?
False
Does 26 divide (6 + 20)/(15/(-16) - -1)?
True
Let m = -8 + 11. Suppose -y + 0*y + 3*o = -3, -y + 2*o + m = 0. Suppose -t - 4*t - 29 = -y*x, -3*x + 2*t + 44 = 0. Is x a multiple of 5?
False
Suppose 56*l + 18540 = 65*l. Does 103 divide l?
True
Let k = -15 + 9. Let t be (k/(-18))/(1/9). Let x(o) = o**3 - 2*o**2 + 4. Is 3 a factor of x(t)?
False
Let u(r) = r + 1. Let v be u(-2). Is 21 a factor of v/1 - (-29 - 9)?
False
Let k(l) = l**2 - 11*l + 10. Let f be k(8). Let r(n) = -n. Let d(x) = -x**2 - 7*x - 8. Let p(j) = -d(j) - 5*r(j). Is p(f) a multiple of 18?
True
Let g(b) = -b**2 + 17*b + 9. Let s be g(14). Suppose 2*k - 5*k = 0, 0 = -4*j + 4*k + 16. Suppose s = a - j*o + o, 3*a + 5*o = 97. Is a a multiple of 13?
True
Suppose 3*h + 128 + 37 = 0. Let i = -50 - h. Does 5 divide i?
True
Let o = -4 + 6. Let d(b) = b**3 + 21*b**2 + 20*b + 2. Let r be d(-20). Suppose 0 = -6*j + r*j + o*k + 150, j = 4*k + 20. Is j a multiple of 15?
False
Let h be (2/(-3))/(4/(-6)). Suppose -31 = -5*r - 3*t, -2*t - 5 - h = 0. Is 7 a factor of 10 - (r/(-4) - -4)?
False
Let g be (36/15)/((-2)/10). Let q be 16/g*(-2 - 1). Is 37 a factor of q - (4 + 0 - 44)?
False
Suppose -11*g + z + 9905 = -8*g, 2*g = -3*z + 6596. Does 109 divide g?
False
Let y(g) = -g**3 + 7*g**2 - 4*g + 2. Let p be y(6). Let m = 12 - p. Does 4 divide (-2)/(-4)*-10*m?
False
Let k be 1 - (4 + 1) - 6. Is ((-95)/k + -3)*2 a multiple of 2?
False
Let x(i) = 2*i**2 - 26*i + 10. Let h be x(18). Let t = h + -127. Is t a multiple of 7?
True
Let y(a) = -a**3 - 19*a**2 + 19*a - 24. Let m be y(-20). Let b(z) = z**3 + 8*z**2 + 6*z + 6. Does 8 divide b(m)?
False
Suppose 3*z + z = 2*t - 18, -3*t + 27 = 4*z. S