2*h - 18 + 119 = 5*f. Let r = -9 + f. Is 8 a factor of r?
False
Suppose 4*n - 5*c - 19 = 0, 0 = 4*c - 2*c - 2. Does 3 divide n?
True
Let r be 6 + -1 + -2 - 3. Suppose -3*p + 2*p + 8 = r. Is 15 a factor of (-5*4)/(p/(-12))?
True
Let d(x) be the second derivative of x**3/6 + 12*x**2 - x. Is d(0) a multiple of 13?
False
Suppose 0 = h - 3*o - 112, -5*o - 7 + 2 = 0. Is h a multiple of 14?
False
Let f be (-11)/(-6) - (-1)/6. Let b = f - -4. Is b a multiple of 5?
False
Let f(n) = 4*n - 4*n**3 - n**2 - n - 4*n - 1. Let z be f(-1). Suppose 0 = -z*b + 2 + 16. Is b a multiple of 2?
True
Let h = -7 - -11. Suppose -h*t = 2*v - 30 - 108, -4*v + 12 = 0. Suppose t = 2*j + j. Is j a multiple of 6?
False
Suppose 9 = -3*p, 3*f + 3*p - 144 = 6*p. Let v = f + -30. Is (-1)/(-3) - (-565)/v a multiple of 20?
False
Suppose 2*n - 5*t - 51 - 14 = 0, -5*n = t - 176. Is 7 a factor of n?
True
Let d(j) = j**2 - 1. Let v be d(-2). Suppose -2*q - q - 4*r + 21 = 0, 0 = -4*q - v*r + 35. Is q a multiple of 11?
True
Let z be 7*2*(33 - -3). Suppose 4*m - 5*y = 410, -4*y - z = -5*m - 2*y. Is m a multiple of 33?
False
Let r = -66 - -204. Does 10 divide r?
False
Let y(w) = -w**3 + 5*w**2 - w + 4. Let q(x) = -x**2 - 10*x + 4. Let u be q(-10). Is 8 a factor of y(u)?
True
Suppose -80 = -5*o + 160. Is 16 a factor of o?
True
Let h = 5 - 2. Suppose -6*g + h*g = 0. Suppose -2*j - 4*b + 80 = g, 3*b = -j - 7 + 47. Does 18 divide j?
False
Let w = 7 - 3. Suppose -6*o + 7 = -3*o - u, -w*o + 6 = -2*u. Suppose c - 5*k + o - 5 = 0, -2*c + 16 = 4*k. Is 2 a factor of c?
True
Let c(d) = 10*d + 3. Let v(z) = -30*z - 9. Let t(q) = -17*c(q) - 6*v(q). Let o be t(4). Suppose -2*h + 9 + o = 0. Does 8 divide h?
False
Let r(a) = 4*a - 3. Suppose 3*b - 4*s = -10 - 4, b - 5*s = -23. Let p be r(b). Is 12 a factor of (6/p)/(3/60)?
True
Let b be 3/(-1)*15/(-9). Suppose -2*i + 3*q + 56 = 0, 5*i - 114 = b*q - 4*q. Is i a multiple of 11?
True
Suppose -x = 3*l - 43, 0 = 5*x + l + l - 150. Is x a multiple of 11?
False
Let u = 39 + 129. Is u a multiple of 13?
False
Suppose -3*u - 25 = -5*y, 2*y = -y + 4*u + 26. Let j(x) = 3*x**3 - x**2 - x - 2. Let g be j(y). Let h = -3 + g. Is 6 a factor of h?
False
Let y = 25 + -25. Let q be (20/6)/((-4)/12). Is 8 a factor of (y + 56)*(-5)/q?
False
Let v be (-2)/(-9) + 142/9. Suppose n - 6*a = -a - v, 3*n + a - 16 = 0. Let w(h) = -h**2 + 4*h + 4. Is w(n) a multiple of 3?
False
Suppose -6*k = -5*k + 91. Let i = -51 - k. Suppose -4*j + 40 + i = 0. Is j a multiple of 10?
True
Let i(h) = h**3 + h**2 + 15. Let m(z) = -z - 3. Let c be m(-3). Does 10 divide i(c)?
False
Let z = -43 + 70. Does 21 divide z?
False
Let o be (0 + -1)*(-4)/(-1). Is 12 a factor of (-372)/(-16) + (-3)/o?
True
Let m(k) = -k**2 - 3*k + 4. Let g be m(-3). Let d be (-5 + -85)*g/(-10). Suppose 5*o + d = 81. Is 4 a factor of o?
False
Suppose -l = -3*l + 5*r + 23, -5*r = -l + 14. Let i(v) = -v + 12. Let u be i(l). Suppose 0 = 2*t - 2, u*z = -t - 0*t + 94. Does 15 divide z?
False
Suppose -87 = -2*o - p, 4*o + 3*p - 8*p = 167. Does 22 divide o?
False
Suppose -2*v + 300 = 5*p, 8*v = 3*v + 4*p + 783. Is v a multiple of 30?
False
Let x be (-1 + 4)*(-10)/(-2). Let w = x - -3. Suppose -3*m + 0*m + 4*r = -w, m - r = 7. Is 5 a factor of m?
True
Suppose -174 = -30*q + 27*q. Does 16 divide q?
False
Suppose -4*t = -t - 63. Does 7 divide t?
True
Let b(k) = -3*k**2 - k**3 - k**2 + 0*k**3 - 5*k - 2*k**2 + 3. Does 11 divide b(-6)?
True
Suppose 0 = 5*n - 3*n - 60. Does 15 divide n?
True
Let f(t) = -t**2 - 10*t - 6. Let v be f(-9). Suppose -3*s = -v*u - 60, -7*u + 3*u = s - 20. Is 7 a factor of s?
False
Let a = -5 + 7. Let b(l) = 4*l**2 - 2*l + 3. Is 15 a factor of b(a)?
True
Let r(y) = 189*y + 2. Let s be r(2). Let j = s + -257. Suppose 2*n + j = 5*n. Is 14 a factor of n?
False
Suppose 5*j = 4*m + 3, -4*j = -3*m - 0 - 3. Suppose 9 = j*a - 9. Is a a multiple of 3?
True
Suppose 0 = 4*n - 2*n - 34. Let u = -12 + n. Suppose -3*w + u*g + 53 + 80 = 0, 0 = -2*g - 4. Is w a multiple of 14?
False
Let u = 15 + 53. Is 34 a factor of u?
True
Is (-1*9/6)/(3/(-324)) a multiple of 27?
True
Suppose -2*o = 5*m + 11, -o + 17 = -0*o - 5*m. Let p be 14 - (0/(-1))/2. Suppose -p = -l - o. Is 12 a factor of l?
True
Suppose -4*n + 0*n - 4 = 0. Let x(p) = -36*p**3 + p**2 + 2*p + 1. Is x(n) a multiple of 12?
True
Let u(z) = 10*z - 1. Let h(k) = -5. Let p(n) = -1. Let q(o) = h(o) - 4*p(o). Let t(j) = 2*q(j) + u(j). Does 10 divide t(2)?
False
Suppose g + 360 = 3*g. Is 6 a factor of ((-8)/(-20))/(3/g)?
True
Suppose -5*u - 2*i + 834 + 265 = 0, -4*u = 4*i - 872. Does 32 divide u?
False
Let b = 435 - 301. Let p = b + -93. Is 20 a factor of p?
False
Suppose -2*q + 122 = 2*o, -4*q = -o - 134 - 110. Let n = q + -43. Does 6 divide n?
True
Suppose 4*b - 3*b = -n + 41, 0 = -3*n + 4*b + 116. Is 20 a factor of n?
True
Let c(w) be the second derivative of w**5/20 - w**4/3 + w**3/2 - w**2/2 + 2*w. Does 10 divide c(5)?
False
Is 436/22 - (-6)/33 a multiple of 9?
False
Suppose 7 - 2 = s. Suppose -h - 8 = s*g, 4*g = 5*h + 16 - 92. Is 6 a factor of (5/(-3))/((-2)/h)?
False
Let p = -3 + 17. Is p a multiple of 5?
False
Suppose -5*j + 375 = -0*j. Is j a multiple of 14?
False
Suppose -2*s + 6 = -18. Is 8 a factor of s?
False
Let p = 10 - 17. Is 1883/49 - (-3)/p a multiple of 9?
False
Let g(t) = 89*t + 1. Let j be g(1). Suppose 5*i + i - j = 0. Is i a multiple of 6?
False
Is (-1 + 21)*((-66)/(-15) + 2) a multiple of 18?
False
Let r(y) = -39*y - 4. Is 19 a factor of r(-4)?
True
Let n be 66/(-8)*8/(-3). Suppose 0 = -5*b + 9*b + 28. Let c = n + b. Does 13 divide c?
False
Is 3 a factor of ((-2)/5 - 0)/(15/(-675))?
True
Suppose 0 = t - 159 + 42. Is t a multiple of 21?
False
Let q(r) = -r**2 - 2. Let k be q(7). Let g = k + 76. Is 14 a factor of g?
False
Suppose 0 = 4*g - 3*x - 16, -5*g + 0*x - 2*x + 43 = 0. Is (48/7)/2*g a multiple of 12?
True
Let a = -4 + 5. Does 6 divide (5 - 3 - a) + 5?
True
Let u(m) = m. Let s be u(4). Suppose -5*l - 2*g + 13 = -6, 2*l - 14 = -s*g. Suppose 12 = l*z - 6. Is 6 a factor of z?
True
Let m = -42 + 61. Suppose -6 = 5*j - 6*j. Let b = m - j. Is b a multiple of 10?
False
Let k = -5 + 5. Suppose k = -g + 27 + 17. Is 12 a factor of g?
False
Let h(r) = r + 4. Let f be h(-3). Is 26 a factor of (-101)/(-1) + (-1)/f?
False
Suppose -4*j - 2*c - 3*c + 56 = 0, -4*j + 5*c = -96. Does 9 divide j?
False
Suppose 4*u - c - 172 = 0, -3*u + c + 143 = 15. Does 22 divide u?
True
Let l(z) = z**3 + 16*z**2 - 8*z - 18. Is l(-16) a multiple of 22?
True
Let o be 2/(-7) + (-30)/(-7). Is 13 a factor of 12/o*(-26)/(-6)?
True
Suppose 8 = -2*i, 22 = 3*r - i - 3*i. Let p(h) = 9*h**2 - h + 1. Is 8 a factor of p(r)?
False
Suppose 0 = -9*u + 50 + 490. Is u a multiple of 10?
True
Let k = -7 + 9. Suppose -5*u - 64 = -f, -k*f + 3*f = -2*u + 29. Does 13 divide f?
True
Suppose -64 = -0*g + 2*g. Let w be (6/(-4))/(6/g). Does 4 divide w*(2 + 6/(-4))?
True
Let z = -10 - -5. Let s = z - -15. Is 5 a factor of s?
True
Let o(w) = -w**3 + w**2 + 57. Is 19 a factor of o(0)?
True
Let y(v) = -3 + 5*v - 4*v - 2. Let p be y(8). Is 2 + p + 6/3 a multiple of 7?
True
Let x = -106 + 220. Is x a multiple of 6?
True
Let c = -24 + 90. Is 6 a factor of c?
True
Let k = 239 - 357. Let r = k - -204. Is r a multiple of 18?
False
Let d be (-88)/(-9) + (-12)/(-54). Suppose -5*j - 4 = -j, 4*j = 2*y - d. Is 2 a factor of y?
False
Let i(k) = k**3 + 8*k**2 - k - 6. Let f be i(-8). Suppose x + 15 = -f*x. Does 9 divide 2/x + 448/20?
False
Let c be (24 + -3)/(-3)*-3. Suppose -4*l + 89 = c. Is 17 a factor of l?
True
Let g(b) = b**3 + 6*b**2 + 5*b - 5. Let l = -17 + 12. Let d be g(l). Let q(o) = o**3 + 6*o**2 - 2*o - 4. Is q(d) a multiple of 19?
False
Suppose 0 = 5*n - 3*m + 150, m = -2*n - 3*m - 86. Let i = n - -60. Is 9 a factor of i?
True
Let m = 10 + -9. Let x = m - -32. Does 8 divide x?
False
Suppose -5*d + 2*m + 309 = 0, -d - 5*m - 111 = -3*d. Let w = d - 28. Is w a multiple of 12?
False
Let p(v) be the second derivative of 0*v**3 + 3/2*v**2 + 1/12*v**4 + 0 + 3*v. Is 14 a factor of p(5)?
True
Let l = 23 - 6. Let y = l - -5. Is y a multiple of 11?
True
Suppose 5*v = 3*r - 277, -v - 3*v - 20 = 0. Does 7 divide r?
True
Suppose 0*m + 5*m = -2*n + 102, n + 3*m - 50 = 0. Does 14 divide n?
True
Let u(d) = -3*d**2 + 1. Let j be u(1). Let