e k(-5). Let l be 7 - 5/(h/6). Let b = l - -4. Does 9 divide b?
True
Does 11 divide (5/(-10))/((-1)/34)?
False
Let w(p) = -p**2 - 9*p + 2. Let n be w(-6). Let m be ((-41)/(-2))/(4/8). Let j = m - n. Is 16 a factor of j?
False
Let z = 11 - 3. Does 5 divide z/20 + (-56)/(-10)?
False
Let z(l) = 12*l**2 + 5*l + 13. Let g(o) = 11*o**2 + 5*o + 12. Let m(u) = 7*g(u) - 6*z(u). Is 16 a factor of m(-3)?
False
Suppose -4*b - 2*i = -110, 2*b + 2*i = 6*i + 80. Does 15 divide b?
True
Let c = 30 + -9. Let q = -6 + c. Does 9 divide q?
False
Let v be (4/10)/((-3)/15). Let r = -8 + 6. Does 2 divide (-7)/r + 1/v?
False
Let n(d) = 16*d**2 + d. Let a be n(-1). Let o(w) = -w**3 + 4*w**2 - 3*w + 2. Let u be o(3). Suppose -z = u*z - a. Is 5 a factor of z?
True
Suppose 0 = 3*f - 2*y + 1 - 27, -27 = -4*f - 5*y. Is 8 a factor of f?
True
Suppose 1070 = 4*p + a + 309, 5*a - 781 = -4*p. Is p a multiple of 21?
True
Suppose 29 + 1 = n. Is (n/4)/((-5)/(-10)) a multiple of 15?
True
Suppose 7 = -5*y - 38. Let z = 27 + -44. Let l = y - z. Is 4 a factor of l?
True
Suppose 15*v - 71 = 14*v. Is 14 a factor of v?
False
Let a = -203 + 129. Is 15 a factor of 1/3 - a/3?
False
Suppose 0 = -2*b - 0*b + 806. Let c = b - 239. Suppose -4*g + 2*f + c = 0, g - 121 = -2*g + f. Is 14 a factor of g?
False
Suppose 2*g = 5*g + 3, 3*y + 5*g - 166 = 0. Is 20 a factor of y?
False
Let d(r) be the third derivative of -r**6/720 + r**5/120 - r**4/24 - r**2. Let b(j) be the second derivative of d(j). Is b(-4) a multiple of 5?
True
Let v = 27 + 21. Does 12 divide v?
True
Let j = 2 + 0. Suppose -c + 0*t - j*t = 9, -4*c = -3*t - 19. Is (-112)/(-6) + c/3 a multiple of 14?
False
Let t = -114 - -130. Is 8 a factor of t?
True
Suppose -4 + 1 = -g. Does 2 divide g?
False
Is (33/(-5) - -7) + 448/5 a multiple of 9?
True
Let j = 12 + -2. Let i = -1 + j. Does 9 divide i?
True
Suppose 13*l = 158 + 1155. Is 27 a factor of l?
False
Suppose 64 = z + q, 4*q + q + 25 = 0. Does 23 divide z?
True
Let c be (5 + 3)*(-1)/(-2). Is ((-22)/c)/((-4)/32) a multiple of 11?
True
Let c = -2 + 13. Is c a multiple of 11?
True
Let p be 34 - (2 - 1)/1. Let n be (-2 - -1) + -2*7. Let y = p + n. Is y a multiple of 11?
False
Suppose 15 = 5*v - 0*v. Suppose -5*l + 88 = -v*z, l = -0*l + 2*z + 19. Does 4 divide l?
False
Let h(p) = -p**2 - 13*p + 9. Is 18 a factor of h(-11)?
False
Suppose 3*q + 0 = -12. Is 13 a factor of 1 + q + 34 + 8?
True
Let g(x) = -2*x - 12. Let u be g(-5). Does 3 divide (32/(-4))/u + 5?
True
Suppose 3*i + 46 = 5*i. Suppose 4*w + 5*a - i = 0, w - 5*a + 12 = -1. Does 2 divide w?
True
Suppose -2*o = -2*t + 3*t - 6, -3*o = 0. Suppose -t*v + 6 = -4*v. Suppose -38 = -v*w - 8. Is 5 a factor of w?
True
Let f be 12/84 - 26/(-14). Is 8 a factor of (-3 + f)*(-41 + 1)?
True
Let b be -3 - 1*(2 + -5). Suppose 5*a - 392 + 107 = b. Is a a multiple of 19?
True
Let t be (-2 + 1)/((-3)/12). Suppose -t = -j + 14. Is 9 a factor of j?
True
Let y = 1 - 0. Let g be (2/5)/(y/290). Suppose 2*z = 6*z - g. Does 15 divide z?
False
Let b(a) = 79*a + 1. Does 20 divide b(1)?
True
Let u(b) = -b**2 - 6*b + 8. Let h be u(-6). Suppose 0 = 4*c + h, f + 3*f = 2*c. Let k = 6 + f. Is 5 a factor of k?
True
Let c(s) = s**2 - 12*s + 17. Is 4 a factor of c(12)?
False
Let w(u) be the third derivative of -1/5*u**5 + 13/24*u**4 + 0 - 7/3*u**3 + 0*u + 4*u**2 + 1/120*u**6. Is w(11) a multiple of 4?
True
Let p be (1/2)/((-2)/(-4)). Let i(u) = 2*u**2 + 8*u + 7. Let m be i(-5). Let r = m + p. Is 9 a factor of r?
True
Suppose 5*t - 14*t + 2709 = 0. Does 12 divide t?
False
Let h = -89 + 149. Is h/2*(-6)/(-15) a multiple of 4?
True
Let r = -96 - -208. Does 8 divide r?
True
Suppose 0 = -0*p + 3*p + 1194. Is 8/(-10) - p/10 a multiple of 9?
False
Suppose 0 = 4*q - n - 1 + 7, -5*q - 5*n + 5 = 0. Let b be 4/2 - (-1 + q). Suppose t + 2*p - b*p - 22 = 0, -5*t + 2*p = -102. Does 10 divide t?
True
Let n = 15 + -3. Let q = 1 - n. Let i = q + 22. Does 4 divide i?
False
Let o(d) = -4*d - 3 + 1 + 3 + 3*d. Let j be o(0). Let f = 11 + j. Does 6 divide f?
True
Let r(f) = -7*f**2 + 13*f + 5. Let d(w) = -8*w**2 + 13*w + 6. Let m(k) = -6*d(k) + 7*r(k). Let z(o) = 7*o**2 + o + 1. Let p be z(-1). Does 17 divide m(p)?
False
Suppose 12 = 4*c - 0*c. Let i = c + 7. Is i a multiple of 10?
True
Suppose -3*k = -5*k - 12. Suppose 2*c - 3*v = 14, -v = -5*c + 3*v + 42. Let y = k + c. Is y a multiple of 4?
True
Let x(y) = -y**3 - 7*y**2 - 3*y. Let z(g) = g**3 + 6*g**2 + 2*g + 1. Let j(p) = 3*x(p) + 4*z(p). Is 5 a factor of j(-3)?
False
Suppose 2*r - 2*o = 468, -7*r + o = -3*r - 948. Does 14 divide r?
True
Suppose 17 = z - 5*w, 0 = 5*z - z - 4*w + 12. Is z*1*(-15)/6 a multiple of 13?
False
Suppose 1 = -y + 6. Suppose 2*q + 3*q - 2*p = 35, -5*q - 4*p = -y. Is 4 a factor of q?
False
Is 20 a factor of (-333)/(-9) + (3 - 1)?
False
Suppose 2*v - 192 = -0*v. Suppose -v + 16 = -5*o. Is o a multiple of 7?
False
Suppose -5*v - 10 = -5*p + 5, v + 4*p + 13 = 0. Let c = 2 + v. Is 22 a factor of 21/1 + c + 4?
True
Suppose 2*r + 8 = 6*r. Suppose 0 = r*f - 69 + 7. Is 21 a factor of f?
False
Let u(w) = -2*w - 5. Does 16 divide u(-16)?
False
Let v = 3 + 1. Suppose -60 = -v*b + 32. Does 14 divide b?
False
Suppose 4*b + 3*g - 292 = 0, 4*g + 24 = -b + 97. Is b a multiple of 21?
False
Let p be (8/(-10))/((-11)/110). Let q = 12 - p. Is q a multiple of 4?
True
Let d = 1 + 1. Let g be 9/d + 2/4. Suppose -6*u + 4*u + 4*f + 68 = 0, g*u + 2*f = 134. Is u a multiple of 15?
False
Let i = -26 - -116. Does 18 divide i?
True
Is 15 a factor of 176 - (-2*3/2 + 3)?
False
Suppose 5*r - c + 7 - 34 = 0, 5*c = -10. Suppose -10 + 30 = 5*g, r*d + 4*g = 31. Suppose 3 = d*t - 3, 5*u - 69 = -2*t. Does 11 divide u?
False
Suppose 3*k = -3*q + 387, 5*q - 659 = 2*k - 0*k. Is q a multiple of 8?
False
Let w(y) = 2 + 6*y - 10 + 10*y**2 + 5*y + y**3. Suppose 0*s - 40 = 5*s. Is w(s) a multiple of 16?
True
Let o = 116 + 36. Does 19 divide o?
True
Let u = 1 - -2. Let r(t) = -6*t**2 + 8*t - 7. Let z(l) = l**2 - l + 1. Let v(m) = -r(m) - 4*z(m). Does 7 divide v(u)?
False
Let g(m) = -m**3 + 2*m**2 + 3*m + 4. Let t be g(3). Suppose o - 4*v = 18, 0 = -3*o + t*v - 10 + 40. Does 2 divide o?
True
Let w = 1 - -1. Let o(h) = 1 + h**w + h**2 - 5. Is o(-4) a multiple of 14?
True
Let v(c) = 3*c**2 - 8*c + 6. Let z(t) = 7*t**2 - 17*t + 12. Let q(s) = 5*v(s) - 2*z(s). Let o be q(5). Is 8 a factor of (-4)/((1/(-2))/o)?
True
Suppose 3*u = 2*j + 107, -4*j = -u + 6*u - 193. Does 5 divide u?
False
Let i(m) = -m**2 - 2*m - 2. Let n be i(-2). Let r = 15 + n. Is 5 a factor of r?
False
Let g(t) = -t**2 + 7*t + 3. Let c be g(8). Let p(v) = 2*v**2 + 7*v - 1. Is p(c) a multiple of 7?
True
Suppose 4*d + 24 = -4*q, 0 = d + 5*q + 17 - 3. Let t = d - -5. Is 18 a factor of 124/4 + t/1?
False
Let g(y) be the second derivative of y**4/12 + y**3/3 + y**2/2 - y. Let h(i) be the first derivative of g(i). Is 14 a factor of h(9)?
False
Does 9 divide 15/45 - 148/(-6)?
False
Let v be (-988)/(-6) - (-3)/9. Suppose 12*n - 7*n - v = 0. Is n a multiple of 11?
True
Let o(h) = h + 16. Let z be o(-14). Does 19 divide z/(-2)*76/(-2)?
True
Let u = -8 - -10. Suppose 0 = 6*s - u*s. Suppose 4*c + 0*c - 44 = s. Does 11 divide c?
True
Let k be (-15)/20 + (-918)/(-8). Is -3*k/(-9)*1 a multiple of 15?
False
Suppose 4*h - 402 = -62. Is h a multiple of 27?
False
Let x = -43 - -19. Is 3 a factor of 18/30 - x/10?
True
Suppose 0*y = 3*y + 18. Let b(u) = u**2 + 4*u - 2. Let v be b(y). Is 5 a factor of (v/4)/((-9)/(-54))?
True
Let y(v) = v**2 - 7*v + 3*v**2 + 6 - 3*v**2. Suppose 3*x + x - a = 36, 0 = -4*x - a + 28. Is 6 a factor of y(x)?
False
Suppose 0 = -2*l + 263 - 81. Suppose -4*t + 2*g = -166, -3*t - 2*g = -23 - l. Is 11 a factor of t?
False
Suppose -2*n - 2*j + 6 = 0, -n - 3*j = n - 10. Let s be n - ((-3)/(-1) - 1). Is 3 a factor of (s + 2)*-8 + -2?
True
Suppose -3*x = x - 4*s - 32, 3*x + 2*s + 1 = 0. Suppose 0 = -4*b + b + 2*a + 19, 6 = -x*b - 3*a. Is b a multiple of 2?
False
Is 20 a factor of (-6)/(-27) + 1436/18?
True
Let l = 27 + -15. Let a be (-16)/l + 2/(-3). Let u = a + 6. Does 4 divide u?
True
Let k be ((-2)/3)/((-11)/330). Suppose m - k = 6. Does 13 divide m?
True
Let y = 4 - 4. Suppose w - 4 + 1 = y. Suppose -m - 2*u = -11, 0*m = -w*m + 2*u + 57. Does 13 divide m?
False
Let h(o) = -o**2 - 3*o + 4. Let n(z) 