3*d - 7 - 50. Is 6 a factor of d?
False
Suppose 0 = -5*l - f + 38, 3*l + 12 = -f + 36. Let n(r) = -r**3 + 8*r**2 - 7*r + 9. Does 4 divide n(l)?
False
Does 9 divide -9*16/(-15) - (-3)/(-5)?
True
Let l be 28/2 + -1 + 0. Let z = l - 21. Does 22 divide (165/(-10))/(6/z)?
True
Suppose 342 = j + 62. Is j a multiple of 32?
False
Let u(v) = -v**2 + 5*v + 8. Let w be u(6). Let c be (-205)/(-10)*w/1. Let h = -19 + c. Does 22 divide h?
True
Suppose -6*a = -5*a - 3. Suppose 4*t + k = 209, a*t = -0*t + 2*k + 143. Is 17 a factor of t?
True
Let z be 1 + (-2)/((-4)/134). Is 4/(2/z*4) a multiple of 26?
False
Let r = -33 + 71. Does 38 divide r?
True
Suppose 0 = -3*p - 8 + 62. Is 6 a factor of p?
True
Suppose -c + 9 = -20. Does 29 divide c?
True
Let b be 1/(2/((-18)/(-1))). Does 6 divide (13 + 3)*b/12?
True
Let y = -11 + 16. Suppose 4*r = -m + 293, -6*m - 335 = -y*r - m. Is (r/(-10))/((-4)/20) a multiple of 19?
False
Let w(l) = 4*l + 1. Suppose 4*o + o = 5. Let m be w(o). Suppose -2*s - 5*a + 61 = 0, -57 - 8 = -5*s + m*a. Does 5 divide s?
False
Let p(r) = -r**2 + 10*r - 4. Let t(f) = -f**3 - 7*f**2 - 8. Let w be t(-7). Let g be (-6)/(3*2/w). Is p(g) a multiple of 12?
True
Let j(w) = -w + 10. Let h be j(0). Suppose 2*q + h = 4, -54 = -3*r - 2*q. Does 12 divide r?
False
Is 8 a factor of (2 - 30/(-9))*12?
True
Suppose -3*l = -150 + 9. Is 30 a factor of l?
False
Let h(p) = -p + 7. Let t be h(5). Suppose 2*f = 5*g - 0*f - 91, 2*g = -t*f + 28. Is g a multiple of 17?
True
Suppose 27 = 5*i + 2*w - 0*w, 0 = 2*i - w - 18. Suppose i = -4*k + 3*z, -k + 1 = 2*z - 0*z. Is 11 a factor of 1 - (k - -2 - 29)?
False
Suppose 3*z = 4*z - 36. Is z a multiple of 18?
True
Let t = 17 - -50. Is 4 a factor of t?
False
Suppose 3*y = -4*b + 77, -2*y - 103 = -6*y - 5*b. Is 12 a factor of y?
False
Let x(a) = a**2 - 16*a. Is x(-9) a multiple of 45?
True
Let s(m) be the third derivative of -m**6/120 - m**5/60 - m**3/6 + 3*m**2. Let q be s(0). Does 20 divide q*(-3)/(-3) - -43?
False
Suppose 4*l + 25 = 1. Let o(f) = f**3 + 9*f**2 + 2*f - 3. Let h be o(l). Suppose -u + h = 2*u. Is 13 a factor of u?
False
Let k = 4 + -3. Let l be 22*(1 + k)/4. Let w = l + 18. Does 24 divide w?
False
Suppose -24 = -q + 32. Suppose m + m = q. Is 1*m - (-1)/(-1) a multiple of 12?
False
Let b(l) = 5*l**2 + l - 3. Let m(k) = -9*k**2 - 3*k + 7. Let z(o) = 11*b(o) + 6*m(o). Suppose 3*r = 33 - 12. Does 4 divide z(r)?
False
Let l(s) = -s**3 - 2*s**2 + 10*s + 8. Does 7 divide l(-5)?
False
Let g(h) = 6*h**2 + 2*h + 4. Is g(-2) a multiple of 6?
True
Let o be (-8)/(-12) + (-49)/(-3). Let z = -10 + o. Is 3 a factor of z?
False
Suppose -4 - 14 = l + 4*o, 0 = -3*l + 2*o + 16. Let r(a) = -l + 7 + 4 - 5*a - 3. Is r(-8) a multiple of 23?
True
Let a(x) = -x - 4. Let p be a(-5). Does 6 divide (-17)/(-3)*3*p?
False
Let y(m) = -2*m**3 + 7*m**2 + 2*m + m**3 - 9 + 0*m. Suppose -4*u + 7 = -21. Is y(u) a multiple of 2?
False
Suppose -507 + 1499 = 4*u. Is 27 a factor of u?
False
Suppose 12*r = 482 + 478. Does 8 divide r?
True
Suppose 4*f - 5*j + 3 = 0, -4*f + 5*j = -f + 1. Does 23 divide (-72)/(-16)*(-28)/f?
False
Let h(b) = b**3 - 2*b**2 - 8*b + 4. Let d be h(5). Let x = d + -18. Is 7 a factor of x?
True
Let f(s) = -13*s - 15. Is f(-5) a multiple of 18?
False
Let j = 37 + -25. Does 4 divide j?
True
Let g(b) = b**2. Let k(v) = 5*v**2 - v - 10. Let t(w) = 6*g(w) - k(w). Is 8 a factor of t(0)?
False
Let y = -90 - -98. Is 2 a factor of y?
True
Suppose 240 = 3*c + 18. Suppose 4*g - 2*q - c = 0, q + 5 = -4*q. Is 6 a factor of g?
True
Suppose 0 = -5*c + 52 + 748. Suppose -4 - 1 = -z. Suppose -t = -z*t + c. Is 17 a factor of t?
False
Suppose -3*w = 9, -16 = -2*h + 3*w + w. Suppose -h*b + b = -4. Suppose 12 + 0 = b*i. Is i even?
False
Suppose -4*k = -k + 12. Let u be (-1)/(((-3)/(-3))/k). Suppose 0 = u*a - 17 + 1. Is 2 a factor of a?
True
Suppose 2*m + 15 = -5*w, 0 = 5*w - 6 + 1. Is 3 a factor of (m/(-35))/(2/56)?
False
Suppose 20 = 2*b - 78. Is b a multiple of 5?
False
Suppose -m = h - 7, -5*m - 35 - 26 = -3*h. Is 12 a factor of h?
True
Let t(q) be the first derivative of -1/2*q**2 - 2 + 16*q. Does 8 divide t(0)?
True
Let y(z) = z**3 - 5*z**2 + 5*z - 1. Let x be y(5). Let u = 39 - x. Does 15 divide u?
True
Let g = -128 + 191. Does 6 divide g?
False
Suppose 0 = 10*t - 6*t - 180. Is 5 a factor of t?
True
Suppose 4*h - 11 - 97 = 0. Suppose -q - h = -4*q. Is 7 a factor of q?
False
Suppose -60 = -3*n - n. Let i(p) = -p + 20. Does 2 divide i(n)?
False
Let p be (-5)/(15/6)*3. Is 8 a factor of (-92)/p - (-6)/9?
True
Let b = -4 - -38. Does 15 divide b?
False
Let a(d) = 5*d**2 + 12*d - 18. Let o(h) = 14*h**2 + 35*h - 53. Let z(f) = 17*a(f) - 6*o(f). Is 4 a factor of z(6)?
True
Let j(n) = 39*n - 5. Let m be j(4). Suppose -4*y = 11 - m. Is 21 a factor of y?
False
Let u(o) = o**2 + 3*o + 5. Let m be u(4). Suppose -5*t - 5*c = -t - 51, -3*t - 2*c = -m. Does 7 divide t?
False
Let a be 1 - 10/(-4)*6. Let r(i) = -4*i**3 + 0*i**3 - a*i**3. Does 12 divide r(-1)?
False
Let f(v) = v**3 + 8*v**2 - 2*v - 9. Let x be f(-8). Let w = x + -13. Is 10 a factor of (-56)/w + (-4)/(-6)?
True
Let g(p) = p**2 - 10*p + 42. Does 10 divide g(11)?
False
Let s(h) be the first derivative of 15*h**4/4 + h**3/3 - h**2 + h - 1. Does 15 divide s(1)?
True
Let x = 14 + -11. Suppose -25 = -x*s - 2*n, -s = -2*n + 4*n - 15. Is s even?
False
Let c(p) = p**2 - 6*p + 4. Let l be 1 + 7 + -2 + 0. Does 4 divide c(l)?
True
Let n(c) = -c**2 - c + 1. Let h be n(1). Is 12 a factor of h + -1 - (-144)/3?
False
Let v(f) = 8*f**2 - f + 19. Is 10 a factor of v(6)?
False
Suppose 3*c = j - 11, -1 = c + 3. Let n be (-155)/(-25) - j/(-5). Suppose n = -2*x + 5*h - 9, 5*h = 5*x. Is x even?
False
Suppose g + 6 = 2*r, 3*r - 4*g + 3 - 2 = 0. Let y(l) be the third derivative of 3*l**4/8 - 5*l**3/6 - 2*l**2. Does 16 divide y(r)?
False
Let y(t) = t**3 - 4*t**2 - 4*t - 4. Let j be y(5). Does 18 divide 1 + 55 + (j - 3)?
True
Let p(o) = -o**3 + 7*o**2 + 4. Is 10 a factor of p(6)?
True
Let u(f) be the third derivative of 3*f**5/4 + f**4/8 + f**3/3 - 4*f**2. Is 19 a factor of u(-1)?
False
Let w(u) = 2*u - 5. Let n be w(4). Suppose 4*z + 8 = 0, -4*s + 3*z + 9 = -3*s. Suppose n*t = s + 9. Is t even?
True
Suppose 0 = -2*d - d + 93. Is 14 a factor of d?
False
Let k(v) = v**3 + 11*v**2 + 11*v - 15. Is 8 a factor of k(-9)?
True
Let k be (0/(-2) - 0)/3. Suppose k = l + 5, -5*l = 5*u - 0*u + 20. Is 22 a factor of u*-88*2/(-4)?
True
Is -39*2*2/(-4) a multiple of 13?
True
Let k = -43 + 22. Let y = k - -87. Is 22 a factor of y?
True
Suppose -2 - 3 = 5*s. Does 12 divide (111/(-3) + 1)/s?
True
Suppose -5*l + 60 = -5*y, -3*y + 5*y = 4*l - 56. Is 8 a factor of l?
True
Suppose 0 = g + 4*g - 270. Is g a multiple of 27?
True
Let g(b) = b - 4. Let n be g(6). Suppose -4*a = f - 2*f - 11, n*a - f = 3. Is a even?
True
Let u = -4 - -7. Let x(t) = -t**3 + 4*t**2 - 4. Let a be x(u). Suppose 3*j = a*j - 22. Is 11 a factor of j?
True
Suppose -2*u - g = -134, -g + 196 = 3*u + 3*g. Is u a multiple of 17?
True
Suppose -296 = -5*d + 3*c, 5*d + c = 36 + 272. Is d a multiple of 16?
False
Let k = 6 + -6. Suppose 4*t = -2*j + 32, 2*j - 2*t - 1 - 31 = k. Does 13 divide j?
False
Let n be (20/(-14))/(1/(-7)). Let p be (-1 - -1)/(n/(-10)). Suppose -3*t = 2*q - 60, p = t + 4*q + 13 - 43. Does 7 divide t?
False
Suppose -2*q - 18 = 5*m, -3*q + 0*m - 17 = 5*m. Is q*(17 - -2)*1 a multiple of 10?
False
Suppose 3*k = 5*k + 4*o - 116, -2*o - 272 = -4*k. Is k a multiple of 4?
False
Suppose -6 + 54 = 3*x. Is x a multiple of 16?
True
Suppose 3*x - 286 = -82. Does 10 divide x?
False
Let x(a) = a**3 + 10*a**2 - 2*a + 22. Is x(-7) a multiple of 61?
True
Suppose -3*o + o - 42 = 0. Let k be 4/3*1*-6. Does 6 divide o/(-2) - (-4)/k?
False
Does 19 divide -3*((-82)/6 - 1)?
False
Let y = -67 + 125. Let r = y + -37. Is 8 a factor of r?
False
Let f(c) = c + 3 + 0*c + 15 + 2. Is f(-13) a multiple of 4?
False
Let f = -63 - -99. Is 12 a factor of f?
True
Let k(b) = -b**2 + 5*b - 3. Let j be k(4). Is 3 a factor of 5*(-16)/(-10)*j?
False
Let f(d) = 3*d**2 - 5*d + 4. Let n(r) = -r**2 - 1. Let s(x) = -f(x) - n(x). Let i be s(3). Is -3*(56/i + 0) a multiple of 10?
False
Let u be (-1 + -1)/((-5)/55). Suppose -u = -2*k - 3*c, 105 = 5*k - 4*c - c. Does 17 divide k?
True
Suppose -9 = -m - 2*m. Su