
Let b(z) = z**2 - 6*z + 6. Does 26 divide b(-6)?
True
Let d = 9 - 2. Suppose 4*o = d*o - 39. Is 13 a factor of o?
True
Let z be (-422)/(-22) + 4/(-22). Is z/6 + 2/(-12) a multiple of 3?
True
Let x(s) = s**2 - 6*s + 2. Let d be x(-6). Let q be ((-20)/(-15))/((-2)/60). Let n = d + q. Is 17 a factor of n?
True
Let z = -1 - -4. Does 9 divide 276/16 + z/4?
True
Let r(d) be the second derivative of 10*d**3/3 - 5*d**2/2 + 4*d. Let n be r(-4). Let h = n - -137. Is h a multiple of 16?
False
Let v = 22 + -8. Is 9 a factor of 130/v + 6/(-21)?
True
Let u(q) = 7*q**2 - 4*q - 1. Let w(r) = -6*r**2 + 4*r. Let d(b) = -2*u(b) - 3*w(b). Let k(p) = p**2 + p + 1. Let m be k(-2). Is d(m) a multiple of 9?
False
Suppose l + 133 = 5*a, a - 9 = 2*l + 23. Let w = a + -1. Does 9 divide w?
False
Let q = -33 + 23. Is 9 a factor of (-75)/q - 6/(-4)?
True
Let h be (-5)/(-2)*16/10. Suppose w = -4*f + 113, h*w - 29 = -9. Is 11 a factor of f?
False
Let x = 73 + -44. Is x a multiple of 17?
False
Let i(g) = g - 2. Let u be i(3). Let c be -2*(-14)/(-4) - u. Does 4 divide ((-6)/4)/(3/c)?
True
Suppose 5*o = -8 - 42. Let z be (-7)/(-5) + 4/o. Let d = 40 + z. Does 22 divide d?
False
Let i(x) = -16*x**2 - 2*x + 2. Let l be 2*3/(-6)*3. Let u be i(l). Does 18 divide 2/(-6) + u/(-3)?
False
Suppose -2*i = -0*i + 6. Let l(z) = 2*z - 25 + z**2 + 25. Is 3 a factor of l(i)?
True
Suppose 0*t - 34 = -3*h + 2*t, 3*h - 50 = -2*t. Is 5 a factor of h?
False
Suppose -3*p = x - 143, 3*p - 3*x = p + 88. Is 12 a factor of p?
False
Let o = -361 + 507. Let k = -216 + o. Let g = -49 - k. Is g a multiple of 15?
False
Suppose 0 = -5*d + z + 317, 2*d - 3*z - 2*z - 136 = 0. Is 15 a factor of d?
False
Suppose 2*r + 153 = 4*o + 51, 4*r + 4 = 0. Is 6 a factor of o?
False
Let f(x) = x**3 + 6*x**2 - 4. Let s be f(-6). Is (2/s)/((-7)/154) a multiple of 6?
False
Let n(c) = 2*c**3 - 4*c**2 + 2*c. Let s be n(2). Suppose 0 = -b - s*a - 6, 0 = 2*b - 6*b - a + 21. Is 9 a factor of (-2)/(-3) - (-146)/b?
False
Suppose 0 = -5*l + 4*l + k + 8, 4*l = 5*k + 37. Is l even?
False
Suppose -2*j + 3 + 63 = 0. Let m be -17*(-2 + 6/2). Let n = m + j. Does 16 divide n?
True
Let r = 56 - 18. Is r a multiple of 10?
False
Suppose 4*t + 2*q = 2*t + 124, 3*q = t - 66. Is t a multiple of 7?
True
Let m = -205 + 373. Is m a multiple of 12?
True
Let n(p) = p. Let h(u) = 5*u - 3. Let v(s) = h(s) + 2*n(s). Let f(y) = y**2 + 5*y + 4. Let w be f(-5). Is 12 a factor of v(w)?
False
Let w = -8 - -41. Is w a multiple of 11?
True
Suppose -4*z + 42 = 5*g, -2*z + 4*g = -0*g - 8. Let a = -2 + z. Is 3 a factor of a?
True
Let g = -12 - -24. Suppose 0 = -h + g - 3. Is h a multiple of 9?
True
Let l(x) = -2*x**3 - x**2 - x - 1. Suppose -6*y = -y + 10. Is l(y) a multiple of 4?
False
Let m = 7 + -3. Suppose m*g = 2*g + 110. Is g a multiple of 14?
False
Suppose 18*k = 21*k - 600. Is k a multiple of 16?
False
Let j be (1 + 5)/((-2)/(-4)). Let w(m) = -m**3 + 4*m**2 - m - 1. Let h be w(2). Suppose -10 = 2*t, -2*t - j = s - h. Does 2 divide s?
False
Is 7 a factor of -2*(2 - (-11)/(-2))?
True
Suppose 0*z = 3*b - z + 34, 2*b + 17 = -5*z. Let h = b + 17. Suppose -12 = -x - 2*g + h, 5*g = -2*x + 35. Is 9 a factor of x?
False
Let z = -8 - -4. Let c = z + 6. Is 9 a factor of (-36)/2*c/(-3)?
False
Is (18 + (1 - -4))*5 a multiple of 9?
False
Suppose 4 = 4*n - 104. Let i be (6/(-4))/(6/(-36)). Let x = n - i. Is x a multiple of 9?
True
Suppose -5*l + 8 = -17. Suppose -4*b = 4*x - 4, 0 = 3*b - 5*b + l*x + 30. Suppose -6*c = -b*c - 28. Does 14 divide c?
True
Suppose 3*h + 4*c = 17, h + c = -c + 7. Suppose -4*b + 33 = -h*b. Does 14 divide b?
False
Suppose 3*y = 5*y + 32. Let b = y - -31. Is 9 a factor of b?
False
Let l(d) = 4*d**2 + 3*d - 4. Let b be l(2). Does 34 divide b/45 - 416/(-10)?
False
Let k = -1 - -5. Let d = k - 2. Is 3 a factor of 3 + -1 + 0 + d?
False
Let w(j) = -4*j - 4. Let k(c) = -3*c - 3. Let d(g) = 3*k(g) - 2*w(g). Let m be d(-2). Let s = 2 + m. Is 2 a factor of s?
False
Suppose 0 = 2*t + 3 - 43. Suppose -4*f + t = -2*f - 2*k, 5*k - 58 = -4*f. Suppose u = -3*u + f. Does 2 divide u?
False
Let f(z) = -5*z - 11. Does 3 divide f(-10)?
True
Suppose 0 = -2*p - p + 123. Does 6 divide p?
False
Suppose -f = 4*u + 5, -3*f = -0*f + 5*u + 1. Suppose -2*j - 49 = -f*j. Is j/3 - 4/12 a multiple of 8?
True
Suppose -24 = j - 51. Is 4 a factor of j?
False
Suppose 0 = 7*h - 3*h - 48. Suppose -h = w + 3*l, 0 = -5*w + 2*w + 4*l + 16. Let a = w - -2. Does 2 divide a?
True
Let m(u) = -20*u + 8 - 8 - 1. Is m(-2) a multiple of 15?
False
Suppose 0 = -u + 2, 0 = 3*q + 3*u - 6*u - 15. Is q/(21/(-4))*-12 a multiple of 6?
False
Suppose -f = -5*f. Suppose f = 5*v + 10, v = -4*h + 30. Is 8 a factor of h?
True
Let o(f) = 4 + 2*f**2 + 2*f**2 - 4*f**2 + f**2 + 3*f. Is 16 a factor of o(-7)?
True
Let f(p) = -p**2 - 23*p + 26. Is 34 a factor of f(-21)?
True
Suppose -5*h - d = d - 950, -d + 955 = 5*h. Is h a multiple of 24?
True
Let b(t) = t**3 + 5*t**2 + 5*t + 3. Let o be (-2 + -1 + 0)/1. Does 4 divide b(o)?
False
Let i(d) = d**3 - 6*d**2 + 5*d - 3. Let n be i(6). Suppose -2*g + n = -9. Is g a multiple of 7?
False
Let h(f) = f**3 + 7*f**2 + 6*f - 10. Let g be h(-7). Let z = g + 90. Is 12 a factor of z?
False
Let x(s) = -s**3 + 10*s**2 + s + 23. Is x(10) a multiple of 11?
True
Let f be 6/(2*(3 - 2)). Suppose -t = -3*t + 146. Suppose a = -3*l + t, 0 = f*a + 7 - 1. Does 24 divide l?
False
Let f = 4 + -1. Suppose v + 119 = 3*m + 2*v, 0 = -f*m + 2*v + 122. Is m a multiple of 10?
True
Suppose 2*u + 8 = -r, -3*u + 6 = -r + 18. Suppose -4*p = 4*a - 108, 3*a + 4*p + 3 - 85 = r. Suppose 0*i - 2*t = 2*i - 58, 2*t + a = i. Does 14 divide i?
True
Suppose 12*f - 784 = 5*f. Does 14 divide f?
True
Suppose -4*x + 2*s + 2*s + 44 = 0, -5*x = -s - 55. Is x a multiple of 4?
False
Is (10/(-15))/((-1)/81) a multiple of 11?
False
Suppose 0 = -4*g + 34 + 54. Is 15 a factor of g?
False
Let q = 245 + -122. Is q a multiple of 23?
False
Let d = 7 + -4. Suppose -o = 4*q - 95, -d*q + q = -3*o - 65. Is q a multiple of 12?
False
Let a = 2 + 14. Is 4 a factor of a?
True
Suppose -2*r - 9 = -d, -2*r + 6*r + 8 = 4*d. Let o = -3 - r. Suppose 5*l - 66 = -4*f + o, 2*f - 8 = -l. Is l a multiple of 18?
True
Let y(d) = -5*d - 14. Let g be y(10). Is ((-3)/2)/(3/g) a multiple of 8?
True
Suppose 4*h = -4*d + 44, 0 = -0*d + 2*d - 3*h + 3. Suppose -d = -2*w + 14. Suppose l + 40 = 5*l + 4*b, 3*b + w = l. Is 5 a factor of l?
True
Suppose 2*z - 3*i = -80, -2*z + 0*i - 76 = -2*i. Suppose 22*l - 23*l = -50. Let d = z + l. Is 16 a factor of d?
True
Suppose -2*o = h - 53, -3*h - 32 + 104 = 3*o. Is o a multiple of 29?
True
Let r = -63 - -83. Does 8 divide r?
False
Suppose -3*u + 3*k + 9 = 4*k, 4*k = -3*u. Suppose -o = -u*o + 75. Is o a multiple of 13?
False
Does 35 divide (-2)/5 + -5 + (-984)/(-10)?
False
Let p = -25 + -26. Let g = -27 - p. Does 12 divide g?
True
Let l be (-1 - -2) + (1 - -1). Suppose -5*x + 2*j + 76 = -3*x, -102 = -l*x - 3*j. Suppose 2*a + 100 = 4*d, -3*d = -a - 37 - x. Is d a multiple of 14?
False
Let k(o) = -6 + o**3 + 3*o - 3*o - 10*o**2 + o. Let t(l) = 2*l - 2. Let y be t(6). Is 4 a factor of k(y)?
True
Let q(o) be the third derivative of o**6/120 - o**5/12 - o**4/8 + 3*o**3/2 - 6*o**2. Let y be ((-4)/3)/(4/(-18)). Is q(y) a multiple of 9?
True
Let d(g) = -3*g**3 + 15*g**2 + 21*g + 24. Let t(h) = -4*h**3 + 15*h**2 + 21*h + 25. Let l(y) = -5*d(y) + 4*t(y). Is l(-14) a multiple of 26?
True
Suppose -4*i - 5 + 13 = 0. Is 6 a factor of ((-60)/(-45))/(i/33)?
False
Suppose 4 = -5*o - 31. Let k(x) = -x**3 - 6*x**2 + 7*x + 7. Let f be k(o). Is 2/(-7) - (-79)/f a multiple of 11?
True
Let v be (-2)/4*(0 - 0). Suppose v = -0*c + c - 22. Does 10 divide c?
False
Let n(u) = -9*u - 1. Let o be n(-3). Is 13 a factor of (o/(-8))/(2/(-8))?
True
Suppose -2*y - 180 = -4*y. Does 12 divide (-8)/(-5)*y/4?
True
Let c be (-2 - -1)*5/(-1). Suppose -c = -2*l + l. Is l a multiple of 5?
True
Suppose -2*r = -4*x - 3 - 1, 2*r - 13 = -5*x. Suppose 4 + x = 5*c. Suppose -y + c = 3*h - 1, -4*y - 5*h + 29 = 0. Is y a multiple of 8?
False
Let x(i) = 9*i**2 - 11*i - 24. Is 6 a factor of x(-2)?
False
Suppose 3*k - 3 - 3 = 0. Let d(p) = 6*p + 2. Is 7 a factor of d(k)?
True
Suppose -4*g - 5*x = 31, -x + 17 = -2*g - 4*x. Let f = g + 7. Suppose -f*m - 69 = -3*o, 2*o = 2