- -4). Let q = i - h. Is q a multiple of 16?
False
Let s(k) = 43*k**2 + 2 - k + 72*k**2 + 31*k**2. Does 36 divide s(1)?
False
Let o(j) = -2*j**3 - j**2 + 1. Let f be o(-1). Suppose 2*y - 50 = -0*y - f*v, 4*v = -4. Is y a multiple of 11?
False
Let h(x) = 2 - 19 + 12 - 2*x - 2*x. Is 3 a factor of h(-11)?
True
Let v(z) = z**2 - 4*z - 35. Is v(-22) a multiple of 38?
False
Let q = -546 + 1323. Is q a multiple of 20?
False
Suppose 6*o - o = 240. Suppose -3*a = 41 + 49. Let m = o + a. Is 6 a factor of m?
True
Let l = 3612 + -2400. Does 7 divide l?
False
Let k = -541 + 913. Is k a multiple of 20?
False
Suppose 9*p = 5429 - 389. Does 20 divide p?
True
Let q = 278 + -70. Is 9 a factor of q?
False
Let g be (-231)/(-15) + (-10)/25. Let i(o) be the third derivative of -o**6/120 + 7*o**5/30 + 17*o**4/24 + o**3/3 - o**2. Does 16 divide i(g)?
True
Is -1 - 3/((-21)/5789) a multiple of 59?
True
Let n(k) = 2 - 3 + 3 - 3 + 107*k. Let h be n(3). Suppose -3*y + h = y. Is 20 a factor of y?
True
Let y be (-3 - -6) + (-1)/(-1). Suppose -4*i - 55 = -y*n - i, n + i - 12 = 0. Is 2 a factor of n?
False
Suppose -2*c - 22 = -34. Suppose -75 = -3*h - 15. Suppose c*w = 374 - h. Does 21 divide w?
False
Let k(n) = n**2 + 9*n + 7. Let w be k(-9). Let r(v) = -v**3 + 7*v**2 + 3. Let o be r(w). Suppose a = 4*x + 25, -4*a + 9 = -o*a + 4*x. Is a a multiple of 4?
False
Let w(o) be the second derivative of o**7/84 + o**5/120 + o**4/6 + 4*o. Let f(d) be the third derivative of w(d). Does 13 divide f(-1)?
False
Let j(y) = -15*y**3 - 51*y**2 - 26*y + 46. Let n(z) = 3*z**3 + 9*z**2 + 5*z - 9. Let g(f) = 2*j(f) + 11*n(f). Let q be (-1 - -2)/(2/6). Does 16 divide g(q)?
False
Let i be 0/(-1 + 6/2). Suppose -3*j + 2*y = 2*j + 5, 4*j + 5*y + 4 = i. Let b = 2 - j. Is b a multiple of 3?
True
Let p = 0 + -2. Let b be p*(-4)/((-2)/(-1)). Suppose 5*y - 68 = -4*d, -4*d + 56 = -2*y + b*y. Does 3 divide d?
True
Let s(r) = -63*r - 4. Suppose -1 = 7*m + 6. Does 12 divide s(m)?
False
Suppose q + d = -0*q + 12, 0 = -d + 4. Suppose -8*i = -4*i - 2*p - 102, -5*i + 120 = -4*p. Let z = i - q. Is z a multiple of 18?
False
Let c(j) be the first derivative of j**4/4 + 14*j**3/3 + 13*j**2/2 - 2. Let y be c(-13). Suppose 5*r + 136 - 496 = y. Is r a multiple of 9?
True
Suppose -3*f - 533 + 2832 = -2*z, -3790 = -5*f - 5*z. Is f a multiple of 20?
False
Suppose 11*g - 8*g - 159 = 0. Suppose -278 = -5*x - g. Is x a multiple of 9?
True
Suppose -3*b + 640 = 3*q - 974, 0 = 5*q - 4*b - 2672. Is q a multiple of 17?
False
Suppose 4*d = 8 + 8. Let i be (8/(-14))/(10/35) - -4. Let b = i + d. Is b a multiple of 3?
True
Suppose -18765 = -184*d + 179*d. Is 69 a factor of d?
False
Is 1 + 1 + -19 + 544 a multiple of 31?
True
Suppose 31*m - 110324 = -20982. Is 22 a factor of m?
True
Let d(y) = -19*y - 19. Let t(s) = 96*s + 96. Let p(g) = -16*d(g) - 3*t(g). Does 32 divide p(7)?
True
Suppose 14 = -4*h + 30. Suppose -3*u + 54 = j, -2 = 2*u - h. Is j a multiple of 6?
False
Let q = 30 - 30. Suppose -2*d + 3*m = q, -4*d + 3*m - 4*m + 14 = 0. Suppose -2*r - 5*a = -54, 3*a - d = -r + 24. Is 27 a factor of r?
True
Suppose -4*v = 5*n - 1292, 0 = 3*n - n + 4*v - 512. Suppose -6*i + n = -i. Suppose -7*r + 137 = -2*r + 2*j, 0 = 2*r - 2*j - i. Does 9 divide r?
True
Suppose 2*o + 3*y - 865 = 0, 0*o - 2*o + 870 = 4*y. Does 50 divide o?
False
Let z = 18 - 8. Suppose 4*p = -p + z. Does 7 divide 25 + 2 + -1 + p?
True
Let g(d) = -63*d + 4. Let p be g(-6). Let o = -267 + p. Is 15 a factor of o?
False
Let b = -3843 - -5924. Is b a multiple of 136?
False
Let w be (2 - 0) + 1 + -1. Suppose 0 = w*g - 3*f - 13, -3*f + 6 = 2*g + f. Suppose 18 = -2*t + g*t. Is t even?
True
Suppose -49*v + 526012 = 58*v. Is 44 a factor of v?
False
Let q(c) = -c**3 + c**2 + 4*c + 34. Let k be q(0). Let f = k + 150. Is 24 a factor of f?
False
Let g(o) = -9*o**2 + 3*o - 11. Let d(u) = 3*u**2 - u + 4. Let v(k) = 8*d(k) + 3*g(k). Let b be v(-1). Let r(m) = -m**2 - 8*m - 5. Is r(b) a multiple of 5?
True
Suppose 0 = 5*k - 2*t - 0*t - 20, -5*k = -3*t - 20. Suppose 0 = -2*o + 2*j + 32, 4*o + o = k*j + 80. Is o a multiple of 8?
True
Let p(s) = s + 4. Let i be p(0). Let n be 3 - i/(8/(-2)). Suppose -m + 3*o = -20, 2*o - 4*o = -n*m + 60. Is 4 a factor of m?
False
Let s be 4 + 4 + (-3 + -5)/4. Let l(r) = 6*r - 18. Is l(s) a multiple of 9?
True
Let f(v) = v**2 - 58*v + 187. Is 10 a factor of f(-23)?
True
Let w(c) = -c - 1. Let g be (-8)/10*(-25)/10. Let b(l) = 16*l + 15. Let o(f) = g*b(f) + 22*w(f). Is o(7) a multiple of 26?
True
Does 39 divide (-3 + (-3374)/6)/(6/(-9))?
False
Let h be -2*5/(-15)*-60. Let w = -9 - h. Is 31 a factor of w?
True
Suppose 5*n = -5*t + 210, 3*t - 82 = t - 3*n. Suppose -r + 5*r = t. Is 11 a factor of r?
True
Let x = -304 + 732. Is x a multiple of 24?
False
Suppose -3*t + 482 = -4*d, -3*t + 9*d = 7*d - 490. Does 5 divide t?
False
Let m(q) be the second derivative of q**5/20 - 19*q**4/12 + 4*q**3 - 7*q**2 - 2*q - 11. Suppose 5*x - 20 = 70. Does 25 divide m(x)?
False
Suppose -i + 15*i - 7000 = 0. Is i a multiple of 38?
False
Suppose -2*b - 4*o + 3*o = 381, 5*o = -3*b - 554. Let d = b + 282. Does 41 divide d?
False
Let h = 2 - -10. Let m(d) = -4*d**2 - 5*d - 14. Let b(j) = j**2 - j + 1. Let f(w) = 5*b(w) + m(w). Is f(h) a multiple of 8?
False
Let n be (-26)/2 + -2 + 1. Let t(q) = q**3 - 7*q**2 + 8*q - 10. Let h be t(6). Is 4 a factor of (-2)/2*(n + h)?
True
Suppose 9*l + 821 + 475 = 0. Let g = 255 + l. Is g a multiple of 10?
False
Let x = -1 + -23. Let o(v) = -37*v - 3. Let m be o(-3). Does 18 divide x/36*(0 - m)?
True
Let z be 0/(-1 - (-12)/4). Suppose 5*x + 2 + 8 = z. Is 3/(-2) + (-27)/x a multiple of 3?
True
Suppose k - 3*x = 255, 4*x + x + 777 = 3*k. Suppose k = -4*a + a + 3*q, -q - 1 = 0. Let y = a + 168. Does 21 divide y?
False
Let i be ((-8)/6)/(12/(-36)). Suppose -i*m + 801 = -211. Suppose 3*y + 5*t = m, -5*t - 96 = -2*y + 56. Is 27 a factor of y?
True
Let l(f) = f**3 - 21*f**2 + 27*f + 4. Let i(v) = 3*v + 11. Let h be i(3). Is l(h) a multiple of 13?
False
Suppose -f - 58 = 2*y - 21, 0 = 5*f + 3*y + 171. Let j = 32 - f. Is j a multiple of 30?
False
Let u(y) = 4*y**3 - y + 1. Let q be u(1). Suppose q*c - 243 = 3*l, -7 = -2*c - 2*l + 97. Let a = 107 - c. Is a a multiple of 10?
True
Let i be 110/8 - (-2)/8. Suppose -y = -32 - i. Does 19 divide y?
False
Let r(w) = -4*w - 27. Let g be r(-5). Let u(t) = -t**2 - 8*t + 5. Is u(g) a multiple of 4?
True
Let j = 1 - 10. Let h = 220 - 244. Let p = j - h. Is p a multiple of 5?
True
Suppose 0 = -5*y + 5*z + 40, -4*y = -7*y - 3*z + 24. Let l(c) = 7 + 24*c - 13*c - y*c. Does 12 divide l(9)?
False
Let y(k) = -21*k - 17. Let a be y(-6). Suppose -341 = -5*u + a. Is 15 a factor of u?
True
Let f(l) = -l**3 + 6*l**2 - 2*l + 7. Let h be f(6). Let z be 4/(-10)*(-15 - h). Suppose 4*w = -z, 0*a + 2*a + 2*w = 248. Is 25 a factor of a?
True
Let k = -363 - -579. Is k a multiple of 28?
False
Let w(d) = d**2 - 1. Let x(r) = -4*r**2 + 6*r + 2. Let o(k) = -5*w(k) - x(k). Let a be o(-6). Suppose 2 - 26 = -a*z. Does 8 divide z?
True
Suppose -3777 = -18*r - 375. Does 21 divide r?
True
Let k(s) = 5*s**3 - 6*s**2 - 5*s + 84. Is 9 a factor of k(6)?
True
Suppose -2*d = 0, b + d = 2*b - 7. Suppose -b*q + 10*q = 162. Is q a multiple of 18?
True
Let g = -86 - -25. Let h = g + 117. Is h a multiple of 14?
True
Let f(l) = -2*l**3 + l**2 - 8 + 0*l**2 - 2*l**2 + l - 8*l**2. Is 10 a factor of f(-7)?
True
Let c(g) = 5*g**3 + 117*g**2 + 30*g - 26. Is 5 a factor of c(-23)?
False
Let c(g) = 3769*g**2 + 11*g + 2. Is 23 a factor of c(-1)?
False
Let c(u) = -20*u - 12. Let p be c(-3). Let o = p + -27. Suppose o*w - 24*w = -54. Does 18 divide w?
True
Let q(d) = 20*d + 26. Is q(10) a multiple of 7?
False
Let o(j) = -240*j. Let a be o(-1). Let z(f) = -f**2 + 9*f + 5. Let q be z(9). Suppose -a = q*x - 9*x. Does 20 divide x?
True
Let i(w) be the third derivative of w**8/10080 - w**7/5040 - w**6/180 - w**5/60 + 5*w**2. Let u(v) be the third derivative of i(v). Does 17 divide u(-3)?
True
Suppose g - 3 = 0, 0 = -11*z + 10*z + 2*g + 162. Is 12 a factor of z?
True
Suppose -4*y - 13 = j, j - 4 + 17 = -3*y. Let u = -14 - j. Is 2 + -1 - 32/u a multiple of 11?
True
Suppose -c + 9 = -0*c + k, -3*k = 4*c - 33. Suppose -3*a + 126 = 3*t, -c*t + t + 5*a = -260. Is 8 a factor of t?
