6)/5)/(10/(-375))?
True
Let m be (-4)/(-14) - 2640/28. Let j = m + 170. Is 18 a factor of j?
False
Let h(z) = -z + 54. Is h(-18) a multiple of 8?
True
Let z(o) = o**3 - 15*o**2 - 29*o - 15. Is 5 a factor of z(17)?
True
Let s = 129 + 34. Is 17 a factor of s?
False
Suppose -2*m + 1140 = m. Does 38 divide m?
True
Suppose -4*s = 3*b - 0*b - 28, -5*b + 37 = -3*s. Let p = 13 - b. Let j = p - -5. Does 9 divide j?
False
Suppose -t + 3*a + 11 = 0, 3*a - 67 = -3*t + t. Is t a multiple of 13?
True
Let b = -16 + 37. Is 11 a factor of b?
False
Suppose 2*m - 517 = 5*h, 4*m + 0*h = 3*h + 1027. Is m a multiple of 27?
False
Suppose -g = 2*n - 108 - 131, n - 142 = -5*g. Does 9 divide 4004/n + (-2)/9?
False
Suppose 0 = -24*g + 19*g + 55. Is 2 a factor of g?
False
Let g(p) = -p - 5. Let z be g(-7). Suppose l + 59 = 3*b, -b - 4*l = z*b - 49. Is 4 a factor of b?
False
Let w = 32 - -10. Is w a multiple of 7?
True
Suppose -2*i + m + 13 = 4, 0 = -3*i + 2*m + 11. Let u be 1196/28 - (-2)/i. Let k = 75 - u. Does 11 divide k?
False
Let x = 2 - -1. Let g(b) = 2*b**2 + 2*b + 4. Is 7 a factor of g(x)?
True
Suppose 240 - 40 = 5*z. Let y = 9 - 2. Suppose -y*i = -2*i - z. Is i a multiple of 8?
True
Let v be (1/(-2))/(4/184). Let c(b) = -2*b**2 + b - 3. Let d be c(-4). Let l = v - d. Does 8 divide l?
True
Let m(z) = 0*z**3 - 3 - 13*z + 5*z + z**3 - 10*z**2. Is m(11) a multiple of 10?
True
Let m be -2 - (1 - 14) - -2. Let p = m + 2. Does 15 divide p?
True
Let d(u) = -u**2 - 7*u - 7. Let o be d(-5). Suppose -o*x + 2*x = 2. Is 11*1 - x/(-2) a multiple of 10?
True
Suppose -1450 = -2*n - 3*n. Is n a multiple of 15?
False
Suppose -5*r = -2*v + 77 + 11, -5*v + 4*r + 186 = 0. Is 34 a factor of v?
True
Let p = -7 + 4. Let j(y) = -y**3 - y**2 - 2*y - 4. Does 8 divide j(p)?
False
Let i be (0 - -4)/(-2) - -18. Suppose -i - 14 = 5*g. Let o(m) = -m**2 - 9*m - 6. Is 5 a factor of o(g)?
False
Suppose -4*o + 339 = 2*m - 529, -872 = -4*o - 4*m. Suppose 2*d - 5*d = -o. Is 24 a factor of d?
True
Suppose 2*x = 4*x - 16. Is 5 a factor of x?
False
Let j = 7 + -3. Suppose 0 = 2*f - 13 - 1. Suppose f = j*n - 5. Is 3 a factor of n?
True
Let j(h) = -h**3 + 8*h**2 - 3*h + 9. Let o(b) = b**3 - 8*b**2 - 9*b + 6. Let n be o(9). Let l be j(n). Suppose 0*p - l = -3*p. Does 7 divide p?
True
Suppose -4*w - 7 = v, -2*v + 2*w - 7*w = 8. Let k be v*-1 + (0 - 0). Is 3 a factor of k/(-5) + (-72)/(-15)?
False
Suppose -3*d + 1 = -2, 0 = -3*t - 4*d + 283. Is 2/(t/30 + -3) a multiple of 10?
True
Suppose -2*p = -0*p - 92. Does 13 divide p?
False
Let t(c) = c**2 - 6*c - 10. Let w be t(8). Let m = 22 - w. Is m a multiple of 15?
False
Suppose -3*m = 1 + 5. Does 3 divide 3 + m/((-6)/9)?
True
Suppose 0 = -f + 5*x - 10 - 6, 0 = f + 3*x + 24. Let p = 32 + f. Is 11 a factor of p?
True
Let s(z) = z + 1. Let m be s(3). Is 20 a factor of 164/8 - 2/m?
True
Suppose h + 9 = 5. Is 40 - h/12*-6 a multiple of 19?
True
Let g = -11 + 8. Let q(s) = -3*s**2 + 2*s + 1. Let o be q(g). Does 9 divide o/(-12)*(-54)/(-8)?
True
Suppose -3*g = -5*g + 3*n + 105, 246 = 5*g - 2*n. Let b = g - 25. Does 23 divide b?
True
Let v(w) = -w**3 + w**2 - w + 18. Suppose -2*m = -6*h + 2*h, 3*h + 3*m = 0. Is 5 a factor of v(h)?
False
Let p be 5/(42/20 - 2). Suppose 0*t + p = 2*t - 2*v, 4*t = v + 112. Is t a multiple of 10?
False
Let w(a) = -3*a - 4. Is w(-7) a multiple of 17?
True
Let h(k) = -k**3 + 7*k**2 - 5*k. Let q be h(6). Let f(w) = 9*w + 4. Is 29 a factor of f(q)?
True
Let f(g) = 1 - 3 - 3*g**2 + 4. Let c be f(2). Is c*((-27)/15 - -1) a multiple of 4?
True
Let j(n) = 8*n + 12. Does 14 divide j(24)?
False
Let s be (-49)/(-3) + 1/(-3). Let w = s + -11. Suppose w*f - 42 = -2*a, 3*f = -4*a + 7*f + 84. Does 14 divide a?
False
Suppose -2*c + 6 - 2 = 0. Suppose 3*f = -2*f - c*u + 5, u = 0. Does 7 divide 13 + -5 - (0 - f)?
False
Let r = 6 + 3. Let n = r - 7. Let i(v) = 9*v**2 + v. Is 19 a factor of i(n)?
True
Let f(x) = -x**3 - 8*x**2 - 10*x - 1. Let z be ((-14)/(-4))/(1/(-2)). Is 10 a factor of f(z)?
True
Let a(v) = v**2 - v. Let s be a(-1). Suppose -b + s*m = -4, 5*m = 2*b - 6*b + 81. Does 4 divide b?
False
Let k = -3 + 5. Suppose -216 = k*u + 2*u. Let g = -33 - u. Does 12 divide g?
False
Suppose 3*h - 57 = -4*p, 4*p - 15 = -4*h + 65. Let l = 33 - h. Is l a multiple of 5?
True
Suppose 5*p = 3*w - 8*w + 205, -w + 82 = 2*p. Is 10 a factor of p?
False
Let z(r) = r**3 - 8*r**2 + 9*r - 10. Let q be z(7). Suppose 3*y - q = 8. Let c(p) = p**2 + 3*p + 2. Does 15 divide c(y)?
True
Let s(l) = -2*l**2 - 4*l + 1. Let a be s(-4). Let j = -103 - -44. Let i = a - j. Does 22 divide i?
True
Let w(i) = -i**2 - 7*i + 2. Let a = 6 + -10. Let c be w(a). Suppose -137 = -5*u + 3*k, -u + 5*k + c = -9. Is 10 a factor of u?
False
Let d = -4 - -9. Let k be 6/(-10) - (-93)/d. Suppose -2*x + 3*b = -5*x + k, 2*b = -4*x + 26. Does 5 divide x?
False
Let i be 86/3 - 1/(-3). Let z = -19 + i. Is 10 a factor of z?
True
Suppose 4*p - 90 = 2*p + 5*z, 0 = -4*p + 2*z + 164. Does 10 divide p?
True
Let m(v) = v**3 + 5*v**2 + 3*v - 2. Let r be m(-4). Suppose -3*q = -2*z + 10, 0*z + z - r*q - 3 = 0. Is 10 a factor of z?
False
Let t be 128/56 + 4/(-14). Is -3 + 0/t + 11 a multiple of 8?
True
Let g be 2 - (3 + -2) - -1. Let w be (1/3)/(g/12). Suppose 2*q = -4, z + 188 = 5*z - w*q. Does 22 divide z?
False
Suppose 0 = -t + 3*m - 0 + 1, -3*m + 15 = 3*t. Suppose -5*g + 25 = -t*g. Is g a multiple of 5?
True
Suppose -3*t + t + 3*u + 26 = 0, -3*u = 4*t - 34. Let v(s) = -2 + s + t*s**2 - 1 + 2. Is v(1) a multiple of 4?
False
Let z(x) = x + 4. Suppose 3 = h - 3. Let j be (h/(-5))/((-1)/5). Does 5 divide z(j)?
True
Let x = 46 + -28. Does 9 divide (-7)/7*x/(-1)?
True
Let j be (-8)/(-10)*(9 - 4). Suppose 0 = -6*p + p - 3*g - 1, 0 = j*g + 8. Does 8 divide (65/(-10))/(p/(-2))?
False
Let k = -11 + 23. Does 4 divide k?
True
Let q = -20 + 24. Suppose -3 = q*v - 23. Does 2 divide v?
False
Let b be 176/40 + 2/(-5). Suppose 3*f - m + 17 = b*m, -7 = 5*f - 3*m. Is 7 a factor of 198/27 - f/3?
True
Suppose 0 = p - 3*p + 6. Is 9 a factor of p + -3 + 2 + 33?
False
Let l be ((-32)/(-40))/(2/25). Let a = l + 14. Is a a multiple of 8?
True
Suppose 5*f + 127 = 4*o, -4*o + 168 = -2*f + 50. Is o a multiple of 7?
True
Suppose -31*d + 30*d + 164 = 0. Does 25 divide d?
False
Suppose 2*k - 3*q = 423, 4*q + 404 + 671 = 5*k. Is k a multiple of 46?
False
Let z be ((-9)/27)/(1/(-6)). Does 23 divide -46*(0 - 3/z)?
True
Let b = 39 - -13. Is b a multiple of 13?
True
Suppose -4*w + 112 = -0*w. Is 14 a factor of w?
True
Let w(o) = o**2 - o - 4. Let f be w(3). Let v be (-8 + 2)*f/(-6). Suppose 4*c - 5*g - 65 = -c, c = v*g + 16. Does 10 divide c?
True
Suppose -i + 93 = 26. Let d = i - 37. Does 15 divide d?
True
Suppose -z - 3*z = -76. Is z/(1*(2 + -1)) a multiple of 13?
False
Let a(i) = i**2 + 11*i + 12. Let b be a(-9). Let l = -1 - b. Suppose j + k - 31 = -k, l*k - 28 = -j. Is j a multiple of 14?
False
Let m(j) = j**3 - j**2 - j + 5. Let x = -14 - -14. Is m(x) a multiple of 2?
False
Let s be (-30)/9*6/(-5). Suppose g = -s*g + 25, 3*p = 4*g - 110. Is (2 - p) + -1*1 a multiple of 12?
False
Suppose -58 = 3*b + 74. Does 8 divide b/(-11) + (-28)/(-1)?
True
Let a be 3*-2*(-38)/3. Let j be (-3)/(-12) + (-23)/(-4). Suppose 0 = -2*b + j*b - a. Is b a multiple of 7?
False
Suppose 5*b + 18 = 2*a - 5, 4*a + 2*b + 14 = 0. Let m be -2 + (5 - (-1)/a). Suppose -198 = -5*y - m*l, -4*l - 6 + 136 = 3*y. Is y a multiple of 14?
False
Let v = 15 + -9. Suppose v*o = o + 5, o = 4*a - 59. Does 3 divide a?
True
Let k = -7 - -9. Is 11 a factor of k/(((-6)/(-33))/1)?
True
Let c(o) = 2*o**2 + 8*o + 34. Does 53 divide c(-13)?
False
Let x = 9 - 7. Suppose -2*r = o - 16, -r - x*o + 3 + 2 = 0. Is 3 a factor of r?
True
Let u be 44 + 9/(-3) - -3. Let g = u - 12. Does 9 divide g?
False
Suppose -82 + 13 = -5*f - 3*m, -4*m = -3*f + 24. Suppose -j - f = -2*j. Is 10 a factor of j?
False
Let u(n) = n**3 + 6*n**2 + 2*n + 4. Let k be u(-5). Suppose 3*c + 9 = -0*c. Does 9 divide k + c/(-1 - -4)?
True
Let m be (-2)/5 + (-12)/(-5). Suppose t - m - 3 = 0. Is t a multiple of 3?
False
Suppose 3*i = 23 + 145. Suppose -k + i = 3*k. Is k a multiple of 7?
True
Let v(z) = z + 30. Is v(-7) a multiple of 4?
False
Suppose u - 2*u - 5*h = -46, 0 = -h. Does 23 divide u?
True
Suppose 0 = w - 2*w + 27. Suppose