s 19 divide a?
False
Let r(p) = 2*p - 9. Is 2 a factor of r(6)?
False
Suppose -5*y + t - 68 = 0, 2*t + 0*t + 4 = 0. Let f = -9 - y. Is f a multiple of 2?
False
Let w = 45 + -1. Let a = -56 - -27. Let l = w + a. Is l a multiple of 7?
False
Let x = 184 - 90. Is x a multiple of 10?
False
Let i = -6 - -11. Does 11 divide (22/i)/(5/50)?
True
Let n = 16 - 59. Let q = -27 - n. Does 16 divide q?
True
Suppose 18 = 5*w - 22. Let c(q) = 0*q + w + 0*q + q. Is c(7) a multiple of 5?
True
Let j = -3 + 3. Suppose 4 = -5*z - p, 4*z + 2*p + j*p = -8. Suppose -5*f + 90 = -z*f. Is f a multiple of 8?
False
Let x = 9 - 0. Is 4 a factor of x?
False
Let g = -7 - -11. Suppose -2*j + 4*v + 78 = 0, 4*j + g*v = -0*v + 132. Is 16 a factor of j?
False
Does 10 divide 0 - (-188)/4 - -3?
True
Suppose 415 = 10*b - 5*b. Is 21 a factor of b?
False
Let p = -10 - -15. Suppose 3 - 13 = -p*c. Is 2 a factor of c?
True
Let v(r) = 16*r - 25. Let t(s) = 3*s - 5. Let f(y) = -11*t(y) + 2*v(y). Let o(a) = 3*a - 20. Let w(g) = -9*f(g) - 2*o(g). Is w(5) a multiple of 10?
True
Suppose -5*h + 11 = 4*y - 9, 3*h - 44 = 4*y. Is -4*((-138)/h)/3 a multiple of 20?
False
Suppose -p + 63 = -4*k, -125 = -3*p - 5*k + k. Does 13 divide p?
False
Let g(i) = -i**2 + 8*i - 6. Let r be g(7). Let p be (-7 - 0)*r*-1. Let y(d) = -d + 17. Does 10 divide y(p)?
True
Let q be 9/(-3) + (-55 - -2). Let h = q - -95. Is 13 a factor of h?
True
Let h(c) = 3*c - 4. Let v be h(4). Let g = v + 8. Is 7 a factor of g?
False
Let f = 177 - 159. Is f a multiple of 3?
True
Suppose 2*z + 3*z = 10. Suppose 6*y - 7*y = z*p, -5*p = y - 15. Let i = 21 - y. Is 18 a factor of i?
False
Let m = -26 - -90. Does 16 divide m?
True
Let l(p) = -p**3 + 8*p**2 + 9*p - 12. Is 20 a factor of l(8)?
True
Let v = 6 - 5. Suppose -5*o + 214 = -11. Suppose -4*h - v = -o. Does 11 divide h?
True
Is 2 a factor of 27/12*8/3?
True
Suppose 10 = 5*b, -5*b - 176 = 4*m + 6. Is ((-1)/(-2))/((-2)/m) a multiple of 5?
False
Suppose 3*c - 7*l + 3*l = 93, 0 = 5*c + l - 155. Is 6 a factor of c?
False
Suppose 2*k = -4*y - 34, 3*k + k + 4*y + 48 = 0. Let q = k - -11. Suppose 42 - q = 2*w. Is 15 a factor of w?
False
Suppose 2*y = -y + 36. Is 4 a factor of y?
True
Let p be 298/(0 - (1 - 3)). Suppose -364 = -5*w - 0*j + 4*j, 5*j + p = 2*w. Is 24 a factor of w?
True
Suppose -3*n + 0*n + 4*r = -116, -236 = -5*n - 4*r. Is n a multiple of 11?
True
Suppose 2*n - 47 = -4*y + 83, 105 = 2*n - y. Is n a multiple of 5?
True
Is 28 a factor of ((-1)/(-2))/((-1)/(-106))?
False
Let m(o) = o**3 - 7*o**2 + 5*o + 6. Let t be m(6). Suppose 5*p - 3*v = 118, t = 2*p - 4*p - 2*v + 60. Is p a multiple of 13?
True
Let s(j) = -2*j. Let p be s(-1). Does 25 divide 1 + 30 + 4/p?
False
Suppose 3*z + 0 = 6. Suppose -d = z*f + 7, f - 5*d = 32 - 8. Let v = f + 9. Does 4 divide v?
True
Let l(x) = x**2 - 7*x - 10. Is 2 a factor of l(-4)?
True
Is 5 a factor of 4 + -2 + 7 + -4?
True
Suppose -2*j = -4*j. Let w(t) = -t + 5. Does 2 divide w(j)?
False
Suppose o = 6*o - g - 22, 0 = 2*o + 2*g - 16. Suppose -20 = -o*z + 5. Is (0 + z)*24/15 a multiple of 3?
False
Let j = 30 - -85. Is 17 a factor of j?
False
Suppose 0 = -3*b + 11 - 5. Suppose -b*j = 4*j - 132. Is 11 a factor of j?
True
Let a = 7 + -14. Let i be 2948/28 - (-2)/a. Suppose -q - i = -4*q. Does 15 divide q?
False
Let u(t) = t**3 - 9*t**2 + 11*t + 6. Suppose d + p + 3*p + 12 = 0, 2*d = 4*p + 36. Does 8 divide u(d)?
False
Does 35 divide (-9)/4*-2*20?
False
Suppose 2*h = p, -5*p + 2*h + 10 + 6 = 0. Suppose 5*b = -3*z + 155, -p*b + 53 = -3*b + 5*z. Does 9 divide b?
False
Let b(y) = -y**2 - 13*y - 10. Is 20 a factor of b(-10)?
True
Suppose -92 = -2*k - 18. Is 9 a factor of k?
False
Suppose -y = -5*p + 36, -2*p + 4*y = -0*y. Is p a multiple of 4?
True
Let k = 40 + -22. Is 2*k - (-4)/(-4) a multiple of 7?
True
Let l = -49 - -71. Does 11 divide l?
True
Let s(o) = 13*o + 1 + 2 - 4 - 2*o. Let w be s(1). Is (-6)/w - (-159)/15 a multiple of 10?
True
Let i = -70 - -132. Let m = i + -10. Does 13 divide m?
True
Let c(z) be the first derivative of 2*z**2 - 3*z + 5. Does 7 divide c(4)?
False
Suppose -7 = -4*o + m, -2*o + 0*m - m + 11 = 0. Suppose 44 = 4*l - h, -5*l + 52 = h - o*h. Is 4 a factor of l?
True
Let f = -3 + -6. Let b = 51 - f. Is 12 a factor of (16/20)/(2/b)?
True
Let u(f) be the third derivative of -f**6/30 + f**5/15 - f**4/24 - f**3/3 - 2*f**2. Let o be u(3). Let m = -53 - o. Does 13 divide m?
False
Let q(t) = t**3 - t**2 - t + 14. Is 8 a factor of q(0)?
False
Let n(w) = -w**2 + 17*w - 29. Does 23 divide n(13)?
True
Let f = -22 + 41. Is 19 a factor of f?
True
Let a(k) = -k**3 - 7*k**2 + 6*k + 20. Is 16 a factor of a(-8)?
False
Is 18/(-4)*8/(-6) a multiple of 2?
True
Suppose 2*w = 7*w - 75. Is 5 a factor of w?
True
Let j(g) = -g**3 + 8*g**2 - 6*g - 7. Let s be j(7). Let b(x) = -x**2 - x + 165. Let m be b(s). Suppose 2*u + m = 7*u. Does 11 divide u?
True
Let q(i) = -i + 10. Let b be q(6). Suppose 4*z + 8 = 5*g - 0, -b*z = 3*g - 24. Suppose 3*u - 36 = z. Is 13 a factor of u?
True
Is (-2)/10 + (-4246)/(-55) a multiple of 11?
True
Suppose 5*f + 2*l + 48 = 175, -5*l - 20 = 0. Is 11 a factor of f?
False
Suppose v = -i + 3 + 5, 3*i - 27 = -4*v. Suppose -a = -5*j + 2*j + 340, 428 = 4*j + i*a. Suppose 4*n + 0*n = j. Does 14 divide n?
True
Let f(i) = -i + 8. Let b be f(6). Let d be (-4)/(-6)*45/3. Suppose -3*u = b*c - 130, -5*c + d*c = -2*u + 83. Does 22 divide u?
True
Let y(r) = 2*r - 6. Let a be y(6). Suppose 2*o - 3*g = 4*o - 76, -3*g + a = 0. Does 13 divide o?
False
Let f(w) = 7*w + 4. Let h(b) = 29*b + 17. Let d(m) = -26*f(m) + 6*h(m). Is d(-4) a multiple of 15?
True
Let k(b) = 6*b - 19. Let n(a) = a - 4. Let h(q) = -2*k(q) + 11*n(q). Let w be h(-8). Suppose 0 = -w*f - 4*i + 30, -3*i = 3*f - f - 25. Is f a multiple of 4?
False
Is 25 a factor of 829/3 + 4/(-3)?
True
Let g(b) = -b**3 - 19*b**2 - b - 15. Is 4 a factor of g(-19)?
True
Let i(o) = o + 7. Let k be i(0). Suppose -2*g - 8 = -3*d, -2*d + 4*g - 4 = -12. Let m = k - d. Is m a multiple of 5?
True
Let d be 16/(-6)*306/(-24). Let w = d - 1. Is w a multiple of 30?
False
Let u(r) = 2*r**3 + r**2 - 9*r + 6. Does 21 divide u(3)?
True
Let a(j) = -11*j + 57. Is 8 a factor of a(3)?
True
Let h(m) = 34*m**3. Let f be h(1). Let s = 58 - f. Is 8 a factor of s?
True
Let k(w) = 10*w**2 - 3*w + 19. Does 32 divide k(6)?
False
Suppose s + 7 = 5. Let d be s*11*(1 + -3). Let x = -29 + d. Is 14 a factor of x?
False
Let p(b) = 2*b**3 + 3*b**2 - 2. Let i be p(-2). Is (-2)/i - (-99)/27 even?
True
Let s = -122 + 203. Is 27 a factor of s?
True
Let l(x) = -x**3 - 7*x**2 - x - 3. Let d be l(-7). Suppose -4*y + 5*w + 69 = 0, -3*y - d*w = 2*y - 117. Is y a multiple of 7?
True
Let y(j) = j - 8. Let f be y(9). Let k = 6 + f. Is 2 a factor of k?
False
Does 13 divide 10/(-65) + 847/13?
True
Let g = -239 + 455. Does 36 divide g?
True
Suppose 0*u + 84 = 3*u. Is u a multiple of 7?
True
Suppose -19*r + 17*r - 16 = 0. Let z = 10 + r. Does 2 divide z?
True
Suppose 6*c - 9*c + 33 = 0. Does 10 divide c?
False
Suppose -i - 4 = 3*i. Let x = 21 + i. Is x a multiple of 10?
True
Let q = -39 + 66. Does 9 divide q?
True
Let b = 0 + 0. Let a be b + (-3 - -1)/(-1). Suppose -v - 3*s - a = 2*s, -5*v - s = -38. Does 3 divide v?
False
Let q(c) be the second derivative of -c + 1/6*c**3 - 2/3*c**4 + 0 + 1/20*c**5 + 3*c**2. Does 11 divide q(8)?
False
Let m(g) = g**3 + 3*g**2 + 2*g. Let b = 2 + -4. Let z be m(b). Suppose z = -c + 3 + 17. Is c a multiple of 11?
False
Suppose -800 + 141 = -3*v - 4*z, -4*v + z + 904 = 0. Suppose d - 3*i - v = -4*d, 5*i + 67 = d. Is 18 a factor of d?
False
Let y(x) = -5*x**2. Let f be y(1). Let m = f - -20. Is m a multiple of 4?
False
Let w(p) = 2*p + 9. Let c(n) = 1. Let j(v) = 2*c(v) - w(v). Let y be j(-5). Does 13 divide 2 + (-11)/(y/(-3))?
True
Let k be ((-2)/5)/(1/5). Let u be 5*(-3)/6*k. Let g = u - -15. Is g a multiple of 10?
True
Suppose -4*h - 333 = -1181. Is h a multiple of 8?
False
Suppose 5*v = 8*v. Suppose v*y = -y + 23. Is y a multiple of 9?
False
Suppose -67 = 4*z + 49. Let y = -21 - z. Let s = y - 2. Does 5 divide s?
False
Let a(r) = -r**2 - 7*r - 1. Let f be a(-6). Suppose j - 3*z - 10 = -z, -19 = -j + f*z. Suppose y + 3*y + d = 27, 0 = 3*y + 4*d - j. Is y a multiple of 4?
True
Let r be (-7 - -9)/((-2)/(-7)). Let v = 8