 s(u) = u**2 + 3*u - 12. Let k(p) = 4*o(p) + 7*s(p). Does 8 divide k(0)?
True
Let x = 113 - -17. Is x a multiple of 20?
False
Let q = -108 - -221. Let v = q + -55. Is 25 a factor of v?
False
Let d be (-36)/(-21) + (-2)/(-7). Is 2 a factor of d + (1 - -1) + -2?
True
Let t = -12 + 11. Is 13 a factor of 8 + 37 + t + 1?
False
Let y = 34 - 17. Does 12 divide y?
False
Let r(w) = -w + 2. Let b be r(5). Let k be b + 1 + 0 + -2. Let m = k - -8. Is m a multiple of 2?
True
Suppose 5*p = 115 - 45. Suppose -6*k + p = 3*v - 4*k, 0 = 3*v - 4*k + 10. Suppose -z - v*z = -12. Does 2 divide z?
True
Let h(k) = k**3 + 11*k**2 + 4*k + 2. Let v be h(-10). Let d = 160 - v. Is 14 a factor of d?
True
Suppose 3*w - 175 = -2*w. Suppose -4*b - b + w = 0. Suppose b*s - 100 = 2*s. Does 7 divide s?
False
Suppose -5*h - 4*m = -210, -2*m - 65 = -4*h + 77. Is h a multiple of 12?
False
Suppose 30*d = 31*d - 13. Is 8 a factor of d?
False
Let c(b) = b**2 - 7*b + 5. Let m be c(7). Suppose -22 = -g + 2*r, 0 = 2*r + m + 3. Does 10 divide g?
False
Let s be ((-3)/6)/(1/(-12)). Suppose 5*y = s*y - 4. Is y a multiple of 4?
True
Suppose -3*s + 4*s = 4*l - 1022, -1010 = -4*l - 5*s. Does 17 divide l?
True
Let u(r) = -r**3 - 11*r**2 - 12*r - 15. Let z be u(-10). Suppose 2*w = z*c - 280, -5*w = -c - 2*c + 187. Does 12 divide c?
False
Is 45/4 - 5*3/60 a multiple of 2?
False
Let o = 1 + -10. Let s(y) = -y**3 - 8*y**2 + 8*y - 1. Let a be s(o). Suppose 5*k - 22 - a = 0. Is k a multiple of 6?
True
Is 9 a factor of 4038/66 + 3 + 35/(-11)?
False
Suppose -5*x - 405 = 5*b, -x - 25 = -4*b + 31. Let n = x - -10. Let z = -42 - n. Is z a multiple of 8?
True
Does 2 divide 1*(-1)/((-2)/6)?
False
Let p be 78 - (-1)/1*0. Let k = p + -24. Is 21 a factor of k?
False
Let u = 12 - -1. Let c(m) = m**2 - 7*m + 4. Let s be c(4). Let p = s + u. Does 3 divide p?
False
Let h(a) be the second derivative of -a**3/6 + a**2 - 2*a. Is 3 a factor of h(-3)?
False
Let m(r) = -r**3 - 4*r**2 + 5*r + 4. Let t be m(-5). Suppose 23*i = 22*i + 1. Suppose 2*h + 16 = 4*h - t*l, -l + i = 0. Is h a multiple of 6?
False
Let p = -95 - -211. Is 26 a factor of p?
False
Let d = -13 + 18. Let q(w) = 2*w**2 - 29*w - 1. Let f(i) = i**2 - 14*i. Let o(m) = -9*f(m) + 4*q(m). Is o(d) a multiple of 11?
False
Let y(t) = -t. Let s be y(-2). Suppose -3*c + o = 58, -3*o + 23 + 4 = -s*c. Does 4 divide (-1 + 0)/(3/c)?
False
Let a(x) = -6*x**2 - x + 4. Let y(m) = 7*m**2 + m - 4. Let h(n) = -6*a(n) - 5*y(n). Let b = 2 - -1. Is h(b) a multiple of 6?
False
Let q(s) = -s**2 - 24*s - 15. Does 30 divide q(-9)?
True
Suppose 0 = 4*x + 86 - 734. Does 21 divide x?
False
Suppose 5*n = 4*y + 75, 0 = 2*y + 2*y + 2*n + 82. Let b be (1 - 9/3)*y. Suppose 0 = -2*x - 4*u - u + b, 3*x - u = 26. Is x a multiple of 5?
True
Let q(x) be the second derivative of x**4/12 - 3*x**3/2 + 7*x**2 - 2*x. Is q(10) a multiple of 12?
True
Is 102/(-4)*190/(-57) a multiple of 18?
False
Suppose -5*j + 4 = -41. Is 3 a factor of j?
True
Let m be (24/(-10))/(12/(-90)). Suppose 2 = -u + m. Does 15 divide u?
False
Suppose -4*t - 2*k + 170 = 0, 0 = t - 5*t - 5*k + 173. Is t a multiple of 20?
False
Let v(j) = -j**2 - 26*j - 48. Does 4 divide v(-20)?
True
Suppose 2*f = 5*f - 15. Suppose -5*g = f*c - 95, -2*c + 2 = -c. Is g a multiple of 17?
True
Let h = -228 - -343. Let n = h + -55. Is 12 a factor of n?
True
Let j(k) = -8*k**3 - 3*k**2 - 7*k + 9. Let i(d) = 7*d**3 + 3*d**2 + 6*d - 8. Let c(m) = 7*i(m) + 6*j(m). Let s be c(-3). Is 8 a factor of -1*(-2 + 34/s)?
False
Let a(h) = -14*h - 3. Suppose 0 = -4*q + 5*k - 18 - 0, 4*k - 6 = -q. Let l be a(q). Suppose -p + l - 8 = 0. Is 7 a factor of p?
False
Suppose 2*b - 240 = l, -4*b + 149 = -l - 327. Does 12 divide b?
False
Let n(w) = 45*w**2 - w - 1. Let x(o) = -o**2. Let k(v) = n(v) + x(v). Does 12 divide k(-1)?
False
Let x(j) be the third derivative of j**6/3 - j**5/60 + j**4/24 - 3*j**2. Is 14 a factor of x(1)?
False
Let z(w) = w**2 - 2*w - 3. Let m be z(4). Suppose -m*j + 212 = 2*r, j - 10 = -2*r + 26. Is 22 a factor of j?
True
Let c = -8 - -16. Suppose -2*g + 5*m = 2*m - 13, -c = -g + 3*m. Suppose 2*j + 0*j = -g*o + 161, 0 = -3*o + j + 101. Is 11 a factor of o?
True
Suppose -2*h + 118 = 4*k, h - 53 = -5*k + 21. Does 7 divide h?
True
Let w(b) = -3*b**2 + 57*b + 11. Is w(18) a multiple of 13?
True
Suppose -3*n + 2 = -76. Does 26 divide n?
True
Suppose 15 = -5*z + 3*s, -3*z + 0*s - s = -5. Let u(l) = l**2 - 2 + 28 - l + z*l - 4. Is u(0) a multiple of 11?
True
Let q be 1 - 0 - 2/1. Let s(m) be the first derivative of -9*m**2/2 + 1. Is 9 a factor of s(q)?
True
Let i = 81 - 13. Is i a multiple of 11?
False
Suppose 4*v - q = 7, -v + 3*q = -2*v - 8. Let f be ((-40)/(-12))/(v/(-3)). Let n(h) = -4*h - 10. Is n(f) a multiple of 15?
True
Let z be (-5 - -3) + 0 + -4. Is 22 a factor of z/(-21) - (-1565)/35?
False
Suppose -4*q = 9*t - 4*t - 1077, -4*q + 1067 = 3*t. Is q a multiple of 23?
False
Let p(b) = -4*b - 15. Does 13 divide p(-8)?
False
Suppose 3*g = -0*g. Does 3 divide g + 3 - (-2 - -2)?
True
Suppose 9 = 4*k - 7. Suppose 0 = -k*s + 47 + 1. Is s a multiple of 6?
True
Suppose 2*x = -4*z - 4, 4 = 3*x - 5*z - 1. Suppose -v + 6 = -x*v. Is 2 a factor of v?
True
Let b(t) = t - 49. Let x = 4 + -4. Let s be b(x). Let f = -25 - s. Is 16 a factor of f?
False
Let q = -41 - -58. Is 5 a factor of q?
False
Let c = 247 - 108. Does 24 divide c?
False
Suppose z = -5 + 4. Is 10 a factor of z*32/(-6)*3?
False
Suppose -19 = 3*b + 17. Let f be ((-105)/b - -2)*4. Let c = f + -15. Is 10 a factor of c?
False
Suppose -4*p - 5*v - 3 = -0*p, 6 = 5*p + 3*v. Suppose -p*x - 50 = -4*z, -3*z + 60 = 2*z - 5*x. Is z a multiple of 6?
False
Suppose -2*t = r, -3*r = 2*t - 0*r. Suppose m - 5*m - 3*l + 189 = t, 5*m - 213 = 4*l. Is 10 a factor of m?
False
Suppose 100 = 3*m + 2*m. Suppose -3*y + 2*y = -m. Suppose -z - 4*z = -y. Is z even?
True
Let i = 3 + 2. Suppose i*n = 2*n. Suppose 2*v + n*y - 20 = -2*y, 2*y + 85 = 5*v. Does 7 divide v?
False
Let q = 12 - 24. Let s(t) = t**2 - 4*t - 5. Let i be s(5). Let d = i - q. Does 12 divide d?
True
Is 14 a factor of (162/4)/(7/(56/6))?
False
Suppose -7*t = -3*t - 208. Does 18 divide t?
False
Let h(s) = -5*s - 5. Let z be h(-6). Let d = z + -13. Is 6 a factor of d?
True
Let z = 30 - 65. Let d = z - -57. Does 6 divide d?
False
Let q(d) = 64*d + 36. Let v(c) = -7*c - 4. Let p(k) = -3*q(k) - 28*v(k). Suppose -4*u - w + 20 = w, -5*u = -3*w - 3. Does 16 divide p(u)?
True
Let i(h) = 5*h**2 - 3*h + 2. Let s(j) = j + 6. Let v be s(-4). Does 8 divide i(v)?
True
Let c be (-3)/(-3*1/2). Suppose -6 = -t - c. Suppose -4*d = 2*h - 64, 4 = 4*h - t. Does 15 divide d?
True
Let f be 2/3*(-18)/(-4). Suppose -31 = -5*r + f*k, -k = 4*r - 2*k - 22. Suppose -r*b + 33 = -4*b - g, 0 = -g + 5. Does 19 divide b?
True
Let p(w) = w + 1. Let c be p(6). Let z = 12 - c. Suppose -5*l + 4*k = -124, -2*l - z*k = 3*l - 160. Does 12 divide l?
False
Suppose 9*j - 926 = -4*s + 4*j, -5*j - 10 = 0. Is s a multiple of 39?
True
Suppose 0*w = 5*w + 10, -3*u + w - 34 = 0. Let f be 114/(-42) - 2/7. Is 5 a factor of ((-10)/f)/((-4)/u)?
True
Suppose -5*w - 136 = -3*g, 3*w = -g - 2*g + 168. Is 7 a factor of g?
False
Let l(m) = -m**2 - m + 56. Is l(0) a multiple of 14?
True
Suppose 3 - 12 = -a + 5*f, 2*f = 2*a - 18. Let k be (15/a)/((-2)/42). Let m = k + 51. Does 8 divide m?
True
Let k be 36 + (2 + -2)/2. Let n = k + 6. Does 14 divide n?
True
Suppose 5*y - 2*y - 39 = 0. Does 13 divide y?
True
Let a(v) be the third derivative of v**4/8 + 4*v**3/3 + v**2. Is 10 a factor of a(6)?
False
Let q be 2/6 + 33/9. Suppose q*l = 4*r + 2*l - 94, 5*l = -4*r + 59. Does 6 divide r?
False
Let i = 21 - -39. Suppose -4*m + 5*o + i = 0, 2*o - 41 = -4*m + 47. Is 20 a factor of m?
True
Suppose 4*r - 10 = 5*r. Let c be (12/r)/(4/(-10)). Suppose 2*s + 2*x = c*s, -5*x = -15. Is s a multiple of 3?
True
Suppose -50 = -248*z + 246*z. Is z a multiple of 23?
False
Let r(t) = -t**3 + 10*t**2 - 2*t + 14. Let s be r(10). Let b = 8 + s. Suppose -5*q = 3*l - 24, 0*l + 9 = 5*q - b*l. Does 3 divide q?
True
Suppose a + 88 = 2*a. Is a a multiple of 12?
False
Let x(a) = -a + 3. Let f be x(3). Suppose 3*c - 29 - 7 = f. Does 5 divide c?
False
Suppose -3*s + 5*s - 6 = 0. Suppose 0 = s*j + j - 12. Does 3 divide j?
True
Let y = 39 + 4. Suppose -3*u =