 20, -3*h = 5*n + 1 - 26. Suppose p = x - 17, -p = -n*x + p + 82. Is x a multiple of 8?
True
Let k(o) = 57*o**2 - o. Is 22 a factor of k(-1)?
False
Suppose 3*a = -2*y + 2*a + 7, -5*a = -3*y + 17. Let p = -3 + y. Suppose -2*w - 2*k = -7 + 1, k = p. Is w a multiple of 2?
True
Suppose 3*y = y + 5*q + 118, -5*q = y - 44. Is 18 a factor of y?
True
Let t(z) = -z**2 - 14*z + 28. Is t(-12) a multiple of 9?
False
Let p(o) be the second derivative of o**4/12 - o**3/6 + 3*o**2 + o. Does 12 divide p(6)?
True
Does 18 divide (10/(-25))/(1/(-90))?
True
Suppose 2*p - 6 = -4. Is 5 a factor of p*15 - 24/(-8)?
False
Let d be 0/(-4*1 + 1). Is 8 + (d - -1)*-1 a multiple of 4?
False
Let b = -9 + 13. Suppose 3*m + 5*y = 42, m - 13 = -b*y + 2*y. Does 11 divide m?
False
Suppose 3*k = 36 + 27. Does 7 divide k?
True
Suppose g - 235 = -70. Is g a multiple of 33?
True
Suppose 5*h = y - 40, 0 = -3*y + 2*h + 24 + 83. Does 32 divide y?
False
Let k(i) = 5*i - 19. Is k(9) a multiple of 12?
False
Is 7 a factor of (-1 - -7)/(3/14)?
True
Suppose 2*d - 2*b = 45 + 31, 4*b = -4*d + 128. Is 27 a factor of d?
False
Suppose -416 = -3*f - f - 4*o, -4*f + 5*o + 389 = 0. Let q = 57 - f. Let a = 81 + q. Is 14 a factor of a?
False
Suppose 0 = -6*o + 9*o - 234. Is o a multiple of 19?
False
Let y = 11 + -22. Let f = -17 - y. Let h(a) = a**2 + 2*a + 1. Does 17 divide h(f)?
False
Suppose z + 0*z - 5 = 0. Suppose -5*l = -3*p + 122, -2*p + 0*p = z*l - 48. Is p a multiple of 10?
False
Suppose -2*v = -0 - 8. Suppose 5*k = v*p - 100, 4*p - k - 128 = -3*k. Is 6 a factor of p?
True
Let k(f) = -f + 20. Let o be k(14). Suppose 24 - o = 2*n. Is n a multiple of 2?
False
Suppose 0 = 4*o - 7*o - 6. Let k(r) = r + 51. Let a be k(-26). Let y = a - o. Is 15 a factor of y?
False
Let a(f) = f - 1. Let j be a(3). Let i be ((-96)/(-20))/(j/(-25)). Is 10 a factor of i/6*2/(-2)?
True
Let x(o) = -o**3 - 5*o**2 + 4*o - 4. Is x(-7) a multiple of 13?
False
Let z = 38 + -25. Let y = 82 - z. Does 10 divide y?
False
Suppose 3*z = y + 467, 0*z + 773 = 5*z + y. Is 16 a factor of z?
False
Suppose 4*l - 466 = g - 0*g, -3*g = 4*l - 458. Is l a multiple of 11?
False
Does 36 divide 695/8 + 8/64?
False
Let v be 3/(-18) + 10/(-12). Let i = v - -13. Is 12 a factor of i?
True
Let r = -1 - -2. Let g be 2*(-6)/((-3)/r). Suppose 0 = 4*f - g*z - 104, -3*f + 0*f + z + 82 = 0. Does 14 divide f?
True
Let g(z) = z - 2. Let d be g(6). Suppose -d*f + 9 = -7. Suppose -f*i + b = -92, 0 = -4*i + 4*b + 12 + 68. Is 12 a factor of i?
True
Is ((-10)/(-8))/(3/48) even?
True
Let l(r) = 2*r**2 + 9*r + 4. Let b be l(-4). Suppose o - 3*o + 22 = b. Does 11 divide o?
True
Let m(w) = -12*w - 45. Does 9 divide m(-6)?
True
Is 13 a factor of (4 - -60)/(1 + 1)?
False
Let f = -1 + 1. Suppose f = r + 5, 3*w = 8*w - 5*r + 260. Let v = w + 87. Is v a multiple of 11?
False
Let o be 10/8*-2*-2. Suppose -3*q = -5*q, o*a - 35 = -3*q. Is 7 a factor of a?
True
Is ((-3)/4)/(11/(-3432)) a multiple of 39?
True
Let b = -3 - -10. Let x(v) = 2*v + 5. Is x(b) a multiple of 10?
False
Let f(a) = a**3 + 5*a**2 + 3*a + 4. Let o be f(-4). Suppose -4*m + 3*j + 24 = 0, -o*m = -4*m - 2*j - 28. Is 9 a factor of m?
True
Let o be (-2)/8 - 61/(-4). Suppose -3*b = 2*b + o. Is (26/(-1))/(6/b) a multiple of 9?
False
Let m(b) = -b**3 + 3*b**2 - b + 2. Let a be m(2). Let g(c) = -a*c - c + 2*c + 5. Is g(-8) a multiple of 12?
False
Suppose 2*o - 9 = -4*j + 67, -4*j = -2*o + 84. Is o a multiple of 7?
False
Let i = 184 - 29. Is 13 a factor of i?
False
Let g(u) = -u + 118. Let p be g(0). Let h = -61 + p. Let o = -27 + h. Is 22 a factor of o?
False
Suppose 0 = 2*g - r + 2, 4*g = -2*r - 8 - 4. Let w = 3 + g. Is ((-7)/w)/((-1)/1) a multiple of 7?
True
Let c = 249 + -112. Does 28 divide c?
False
Let w = 4 + -4. Let p(n) = 6 - n**2 + 0*n + n + 3 - n**3. Is p(w) a multiple of 4?
False
Let r(i) = 10*i**2 - 2*i - 1. Let x(p) = -p**3 + 13*p**2 + p - 15. Let o be x(13). Is r(o) a multiple of 13?
False
Suppose 0 = v - 2*h - 2*h + 14, -v + 18 = 4*h. Suppose 5*g - 6 = -a + 56, 5*a = -v*g + 34. Does 6 divide g?
True
Let i(c) = -c**3 - c**2 - 2*c. Suppose -3*t + 2*z = 5, 0*t + t = -4*z - 11. Is i(t) a multiple of 6?
True
Let b = 7 + -3. Suppose -2*f + b = -0*f. Suppose 0 = 5*i + 2*s - 88, f*i - 4*s = -0*i + 16. Is 16 a factor of i?
True
Let r = 148 + -89. Does 9 divide r?
False
Is 15 a factor of (122 - (-5 - -4 - 1))*1?
False
Suppose 2*r = r + 20. Is 5 a factor of r?
True
Suppose 140 = 15*i - 10*i. Is 6 a factor of i?
False
Suppose -5*g - 39 = -4. Let x = 1 - g. Is x even?
True
Suppose 0 = 3*i - 5*i + 32. Does 6 divide i?
False
Suppose -5*l + 2*a = 3*a - 60, 60 = 5*l - 5*a. Is 16 a factor of (164/l + -3)*6?
True
Let z = -1 - 3. Let d = 8 + z. Suppose -d*k = 5*o - 17, o = 2*k + 3 + 6. Is 5 a factor of o?
True
Let x(f) = -f**3 - 5*f**2 - 7*f - 8. Is 3 a factor of x(-4)?
False
Let v(b) = 3*b + 16. Does 8 divide v(8)?
True
Let w(s) = 10*s**2 + 5*s - 24. Does 9 divide w(3)?
True
Let n be (-268 - (-1 + -1))*1. Is n/(-6) - (-4)/6 a multiple of 18?
False
Suppose -13 = -q + 19. Is q a multiple of 32?
True
Let g(f) = -2*f**2 + 7*f + 3. Let w be g(6). Let k = 78 - w. Suppose -3*t - 33 = -k. Is t a multiple of 12?
True
Suppose -2*w = -n - 4*n - 8, -n = -3*w + 12. Let y be 4/(-24) - (-124)/24. Suppose -4*v + v = n, y*f = v + 70. Is 7 a factor of f?
True
Let h(z) = 3*z - 7. Let u be h(4). Suppose 0 = -3*x - u*i + 81, -4*x - x + 98 = -4*i. Does 14 divide x?
False
Suppose 3*m + 5 = -13. Let q(z) = z**2 + 5*z + 5. Does 5 divide q(m)?
False
Suppose 1189 + 393 = 14*b. Is b a multiple of 7?
False
Let a = 45 + -24. Let w = -11 + a. Is 10 a factor of w?
True
Let h(z) = -z**2 - 5*z + 2. Let m be h(-5). Suppose m*a = a. Suppose a*v + 2*l + 31 = v, -4*l = 4*v - 76. Does 9 divide v?
False
Suppose -104 = 2*b - 6*b. Does 8 divide b?
False
Let v(m) = m**2 - 4*m + 8. Is 8 a factor of v(4)?
True
Let r(m) = -5*m**2 - 10*m + 13. Let b(g) = -g**2 + 1. Let j(a) = 6*b(a) - r(a). Let s be j(5). Suppose -3*v - v - 12 = 0, -2*v + s = 4*l. Is l a multiple of 5?
False
Let d(i) = i**3 - 8*i**2 + 2*i - 21. Does 8 divide d(9)?
False
Suppose 4*u = 3*b + 655, 5*u + 0*b - 2*b = 810. Is u a multiple of 13?
False
Suppose 0 = -4*y + 3*m + 246, 0 = -0*y - 3*y - 3*m + 174. Is 12 a factor of y?
True
Suppose -m - 1 = -3. Is 3 a factor of -3 - (2 + (-24)/m)?
False
Is 430/6 - 13/(-39) - 1 a multiple of 7?
False
Suppose -11 - 7 = -3*t. Let v be ((-4)/(-6))/(1/(-6)). Let g = t + v. Is 2 a factor of g?
True
Let i(r) = -4*r - 18. Is 11 a factor of i(-15)?
False
Let l = 40 + -63. Let d = l - -43. Does 10 divide d?
True
Let b(k) = -k**3 + 2*k + 1. Let o = -6 + 8. Let y be b(o). Let j = 31 + y. Is j a multiple of 14?
True
Let f(y) = y**3 - y**2 - 5*y + 6. Is 9 a factor of f(3)?
True
Let i(f) = 3*f**2 - 5*f + 3. Let a be i(3). Let m = -9 + a. Suppose -m = -v + 1. Is v a multiple of 7?
True
Suppose 5*b + 20 = l - 0*b, 2*b + 146 = 5*l. Does 15 divide l?
True
Let p(n) = -2*n + 1. Let g be p(-1). Let y(j) = g - 18*j - 2 + 0*j. Is y(-1) a multiple of 8?
False
Let s(o) = -12*o + 52. Does 36 divide s(-9)?
False
Let s(a) = 5*a + 7*a**2 - 12*a**3 + 11*a**3 - 2*a - 3. Does 13 divide s(7)?
False
Let s(f) = 23*f**3 - 1. Let v be s(1). Let d = 0 + v. Is 11 a factor of d?
True
Let w be (0 - 2)*33/6. Let t = w + 33. Suppose t = 4*f + 2. Is 5 a factor of f?
True
Suppose -5*d + 123 = -157. Is d a multiple of 7?
True
Let s(f) = -f**2 + 10*f + 4. Let v be s(8). Let u = v - 11. Does 8 divide u?
False
Let a = 17 + -10. Is a/((-63)/(-6))*12 a multiple of 3?
False
Is (-558)/(-10) - 6/(-30) a multiple of 28?
True
Suppose -5*w + 0*w = -255. Is w a multiple of 17?
True
Let x(m) = m**2 - 2*m - 6. Let k be x(5). Let a = k + -7. Suppose 0 = -a*b + 3*b - 11. Is b a multiple of 7?
False
Let r(u) = 19*u**2 - 2*u - 1. Let k be r(-1). Suppose 2*j - k = 4*b, j = -j - b. Does 8 divide 26/3 - j/3?
True
Suppose -t - z = t - 5, 3*z = -t + 5. Let u = t - 2. Let h(j) = j + 18. Is 9 a factor of h(u)?
True
Let b = 13 - 21. Let t(g) = -g**2 - 10*g + 11. Let u be t(b). Suppose -2*v - 69 = -5*w, 0*v - u = -w - 4*v. Is w a multiple of 7?
False
Suppose 4*a - c + 92 = 6*a, 0 = 4*a + 3*c - 186. Suppose p - a = -4*j, 51 = p - 3*j + j. Is 15 a factor of p?
False
Suppose 0 = 4*j - 0*j. Let l(a) = -a**2 + 24. Does 12 divide l