e 163/(-11) - (-10)/f. Let k = -3 - q. Is 12 a factor of k?
True
Let a(o) = 74*o**3 - 2*o + 1. Does 11 divide a(1)?
False
Let g = 104 + -39. Is g a multiple of 20?
False
Let k(d) = -d**3 - 11*d**2 - 10*d + 6. Is k(-10) a multiple of 5?
False
Let c be 4 - -1*(2 - 3). Is ((-5)/c)/((-5)/30) a multiple of 5?
True
Suppose -4*v + 186 = 2*o, 5*o = v - 5*v + 201. Let b = 66 - v. Does 11 divide b?
True
Let z(r) = r. Let a be z(-4). Is 9 a factor of 1/(2/a) - -35?
False
Let h(r) = -r**3 + 6*r**2 + 4*r - 2. Is 12 a factor of h(3)?
False
Let l(w) = -w**3 - 3*w**2 + w - 4. Let n be l(-4). Let y = n + -6. Suppose y*j - 2*a = 22, -5*j = -4*a - 40 - 14. Is 5 a factor of j?
True
Let n(w) = -w**2 + 13*w + 14. Let f be n(14). Suppose -4*l + f*l = -88. Does 9 divide l?
False
Suppose j - s - 3 = -5*s, -5*j - 5*s = -75. Does 19 divide j?
True
Suppose 24 = -3*r - v, -6 = 3*r - 5*v - 0. Let a(b) be the first derivative of -b**2/2 - b - 1. Does 3 divide a(r)?
True
Suppose -36 = 2*j + 28. Let q = j - -56. Is q a multiple of 8?
True
Suppose 45 = 5*c - 5*g, 4*c - g - 44 = -14. Is 2 a factor of c?
False
Suppose -6 = 3*p, 6*z - 5*p - 37 = 3*z. Let w = 50 - z. Is 12 a factor of w?
False
Let p(v) = 3*v + 4*v + 4*v**2 + 0*v**2 - 3*v**2 - 12. Does 6 divide p(-9)?
True
Let f(a) = -a**2 + 7*a - 5. Let z be f(7). Let o(p) = -7*p + 5. Does 16 divide o(z)?
False
Let m be (-8)/12 + (-26)/6. Let d = 17 - m. Is 11 a factor of d?
True
Suppose 0 = -4*y - 4*h + 152, -5*h + 0*h + 151 = 4*y. Is 3 a factor of y?
True
Let x = -59 + 100. Suppose -15 = -2*a + 21. Let j = x - a. Is 11 a factor of j?
False
Let z be 1/(-2) + (-380)/(-8). Let p be z/4 + 2/8. Suppose -f + 23 = -p. Is f a multiple of 12?
False
Let h be -1 - -8*1 - 2. Suppose -h*k + 0*k + 95 = 0. Is k a multiple of 10?
False
Let z be 6/4*40/30. Suppose -z*k + 22 = -4*i, 0 = -k + 6*k + 4*i - 13. Does 4 divide k?
False
Is (-18)/72 + 290/8 a multiple of 12?
True
Let l(k) = k. Let v(s) = s**2 - 1. Let w be v(-3). Is 4 a factor of l(w)?
True
Let o = 0 - -3. Suppose 0 = 5*b + o*v + 91, v - 37 = 5*b + 46. Is 1*2/(-2) - b a multiple of 14?
False
Suppose 0*a = -a + 5*o + 28, 4*o + 11 = -3*a. Suppose 0 = a*w + 2*w + 180. Let q = w + 60. Is q a multiple of 12?
True
Suppose -4*a + 3*g - 3 = 0, 0 = -5*a + g + g - 9. Does 5 divide (-98)/21*a/2?
False
Let l(p) = -p**3 + 6*p**2 - 4*p - 2. Let a(i) = -i**2 - 7*i - 2. Let g be a(-6). Is 7 a factor of l(g)?
True
Let k(h) be the first derivative of -1 + 19*h - 1/2*h**2. Is 4 a factor of k(9)?
False
Suppose -4*v - 9 = -0*v - 5*c, c = 4*v - 11. Suppose v*n + 5*g - 73 = 0, -n + 5*n + g - 53 = 0. Does 12 divide n?
True
Let j be (-2)/(-4) - 21/6. Let m = j + 7. Suppose -2*y + 16 = -0*y + m*w, y - 4*w = 32. Does 12 divide y?
False
Suppose -2*n + 60 = -160. Does 11 divide n?
True
Let t(g) = -g**2 + 27*g + 69. Is 7 a factor of t(23)?
True
Suppose 63 = 5*j - 4*w - 4, -47 = -4*j + w. Let m = j - -37. Does 16 divide m?
True
Let l(q) = -q**3 + 8*q**2 - 6*q - 9. Let u be l(7). Let r = u + -1. Is (2/(-4))/(r/114) a multiple of 13?
False
Let h(i) = i + 2. Let u be h(2). Let q be 54/15*10/u. Does 11 divide 97/q + 12/54?
True
Suppose 5*m + 2*i + 34 = 0, -6*m + 2*m = -4*i + 44. Let j = -5 - m. Is 2 a factor of j?
False
Does 14 divide (-10)/(-45) + 484/9?
False
Suppose t + 30 = 3*t. Let a = t + -11. Suppose 0*u - 4*u + 44 = f, 2*u - 106 = -a*f. Is 12 a factor of f?
True
Suppose 4*v + 2*c = 995 - 197, v - 3*c - 189 = 0. Is v a multiple of 18?
True
Suppose -3*z = -z - 762. Let d = z + -545. Let g = -116 - d. Is 24 a factor of g?
True
Let k(j) = -7*j. Let q(t) = 6*t. Let x(w) = -3*k(w) - 4*q(w). Is x(-2) a multiple of 6?
True
Let l be (6 + 0)/(1/9). Let n = -59 + 23. Let v = n + l. Does 6 divide v?
True
Let p = -15 - -12. Is 8 a factor of (2 - -4)/(p/(-4))?
True
Suppose -4*g - 3*y + 3 = 0, 3*g + 4*y - 4 = 6*g. Is 16 a factor of (-46)/(g + 2)*-1?
False
Let f = -141 + 263. Is 21 a factor of f?
False
Let j = -205 - -345. Is j a multiple of 20?
True
Let l(d) = d + 80. Let s be l(0). Suppose -4*r = -0*r - s. Is r a multiple of 10?
True
Suppose 5*n - 140 = 5*p, 4*p + 25 = n + 3. Is 5 a factor of n?
True
Suppose -363 = -18*r + 15*r. Is 11 a factor of r?
True
Let f = 42 + -5. Suppose 6*u - 2*u - 16 = 0. Let n = u + f. Is 15 a factor of n?
False
Let p = -9 - 4. Let g = p + 29. Does 8 divide g?
True
Let y be 3/9 + 10/6. Let v be y*-3*(-4)/6. Does 4 divide ((-18)/v)/(-3)*6?
False
Let q(u) = -u**2 - 4*u + 7. Let w be q(-5). Is 15 a factor of -5*(-1 + w - 4)?
True
Let s = -45 + 24. Let p be (-644)/16 - 6/8. Let q = s - p. Is 10 a factor of q?
True
Let n(u) = u + 1. Let p be n(2). Suppose -p*v + 68 = 2*b, 5*v - 3*b = -4*b + 118. Is 12 a factor of v?
True
Suppose -3*m - w - 21 = 11, 0 = 2*m - 5*w + 10. Let x(t) = -t**3 - 9*t**2 + 9*t + 11. Is x(m) a multiple of 9?
False
Suppose j + z = -0*j - 3, 4 = 4*z. Is (j/5)/((-2)/20) a multiple of 4?
True
Let r = 18 - 9. Let c(v) be the first derivative of -v**3/3 + 13*v**2/2 + 2*v - 14. Does 16 divide c(r)?
False
Suppose 58 = 3*m - 50. Suppose 2*s + 10 + 10 = 4*z, 4*z = -4*s - 4. Suppose m + 42 = z*w. Does 11 divide w?
False
Let t be 1/((-3)/(-2 - 1)). Let g be 5 - ((t - 2) + 3). Suppose g*y = -2*x - 3, 0 = -3*x - y + 1 + 5. Is 2 a factor of x?
False
Let d = 2 + -2. Suppose 3*y + j = -0*j + 20, d = -3*y + 3*j. Suppose -y*m - 9 = -89. Is 8 a factor of m?
True
Suppose -2*u + 58 = 4*f, 0*f - f + 13 = -u. Does 14 divide f?
True
Suppose 0 = 5*j + 4*m - 320, -5*j + m = -0*m - 295. Is j a multiple of 12?
True
Let k = -39 + -31. Does 2 divide k/(-15)*6/4?
False
Suppose -r + 25 = -52. Suppose 2*d - r + 29 = -4*o, 0 = 4*o - 4*d - 48. Does 4 divide o?
True
Suppose 2*a - 5*w = -212, 212 = -2*a + 3*w - 5*w. Let c = 154 + a. Is 12 a factor of c?
True
Suppose j = 4*w + 80, 4*j + 0*w = w + 380. Let k = 58 - j. Does 14 divide ((k - -2) + -1)/(-1)?
False
Suppose -7*f + 107 = -215. Does 28 divide f?
False
Suppose -2*x - 3 - 1 = 0. Let l be (54/45)/(3/20). Is (-4)/l + (-17)/x a multiple of 6?
False
Suppose 7 = l - 5*y, 2*l = y + 7 - 38. Does 21 divide 2/(-9) - 598/l?
False
Let g(l) = -l**3 - 6*l**2 - l - 4. Let r be g(-6). Let o(x) = 2*x**2 - 2*x - 1. Let a be o(-1). Suppose 0*b + a*b = -6, 2*t = r*b + 22. Is 9 a factor of t?
True
Let y = -140 + 240. Is 25 a factor of y?
True
Suppose -t - 208 = -5*t + 4*m, 4*m - 168 = -4*t. Let c = t - 33. Does 4 divide c?
False
Suppose 5*u + h + 329 = 0, -3*u + 2*h - 125 = 62. Is 0 + -2 + -1 - u a multiple of 24?
False
Suppose -2*h - 5*n + 15 = -3*h, 4*h - 45 = -n. Let a = h - 4. Does 2 divide a?
True
Let w = 21 - -22. Is 18 a factor of w?
False
Suppose 5*f - z = 439, -5*z = 2*f - 3*z - 178. Does 16 divide f?
False
Suppose -3*o = 2*j + 7 - 300, o - 2*j - 87 = 0. Suppose 6*g + 35 = o. Is 10 a factor of g?
True
Let d(o) = o - 1. Let s be d(-4). Let f be (-308)/(-5) - 2/s. Suppose -2*m = 2*z - f, 5*m - 3*m - z - 59 = 0. Is 15 a factor of m?
True
Let q(c) = -2*c + 15. Is q(-9) a multiple of 11?
True
Suppose -s - 2*s = 9. Let t(x) be the third derivative of -x**4/3 - x**3/3 + 2*x**2. Is t(s) a multiple of 10?
False
Suppose -2*w - 23 = -5*a - 0*w, 5*a + 3*w - 3 = 0. Does 2 divide a?
False
Suppose 3*x + 15 = 0, -5*t + 5*x + 30 = -85. Is t a multiple of 3?
True
Suppose 4*z - 34 - 26 = m, -4*m = -5*z + 86. Let x = 83 + z. Suppose 102 = 5*g + 2*k, 0*k = 5*g - 3*k - x. Is 10 a factor of g?
True
Let r be (-1)/3 - 314/3. Is 22 a factor of (-12)/(-9)*r/(-2)?
False
Let r(t) = 26*t - 5. Let b(c) = -5*c + 1. Let k(v) = 22*b(v) + 4*r(v). Let p = -8 - -6. Is k(p) a multiple of 14?
True
Let n = -25 + 93. Does 5 divide n?
False
Let w(j) = 3*j - j - 3*j + 2*j + 1. Is w(6) a multiple of 3?
False
Let l = -85 + 111. Is 26 a factor of l?
True
Let l = -4 - -10. Does 6 divide l?
True
Suppose -6*w + 140 = -4*w. Let k = w - 50. Is k a multiple of 10?
True
Let j be (1 - -1)*(-4 - 24). Let t = 30 + j. Let p = -18 - t. Is 4 a factor of p?
True
Let m(x) = -2*x**3 - 3*x**2 + 12*x + 5. Is m(-5) a multiple of 30?
True
Suppose 5*f = 9 + 1. Suppose -20 - 24 = -h + 2*s, -4*s + 112 = f*h. Let a = h - 30. Is a a multiple of 10?
True
Let b(s) = -s**3 + 3*s**2 + s + 1. Suppose 0 = -5*x - 20, -3*x = 3*n - 0*x. Let w be b(n). Is 5 a factor of (-2 + w)/(0 + -1)?
False
Let w(g) = -g**3 + 7*g**2 + 2*g + 5. Let r be w(7). Let b 