-160*416/(-364)*(-14)/(-20)?
False
Let f(n) = -n**2 - 5*n + 16. Let p be f(-7). Suppose 6*c = -p + 26. Suppose -5*g - d + 33 = 0, -c*d = -g - g. Is 6 a factor of g?
True
Suppose -17*d + 12*d - 30 = 0. Is ((-4)/d)/((-18)/(-189)) even?
False
Suppose -4*x - 5 = -5*x, 4*x = -u + 260. Is 16 a factor of u?
True
Let j(g) = g**3 + 16*g**2 + 13*g - 10. Suppose -6*s - 11 = 7. Let o be 2/s - 43/3. Is 4 a factor of j(o)?
True
Let l = 23 + -16. Suppose l*y - 2*y = 240. Is y a multiple of 24?
True
Let y(x) = -x**3 + 16*x**2 + 17*x - 31. Does 77 divide y(11)?
False
Let j be (-66)/(-9) - 1/3. Suppose -98 = j*r - 8*r. Is 14 a factor of r?
True
Let y = 9 + -3. Suppose -y*n = 41 - 137. Does 4 divide n?
True
Suppose s = 4*x + 748, -s + 18*x - 13*x + 750 = 0. Does 74 divide s?
True
Suppose k - 3*k = 0. Suppose k = u - 19 - 49. Does 17 divide u?
True
Let g(q) = -2*q + 12. Let d = 16 - 10. Let u be g(d). Is (-10 - u)/(6/(-21)) a multiple of 11?
False
Suppose 3*l - 46 + 10 = 0. Suppose l*q = 9*q + 96. Is 16 a factor of q?
True
Suppose -r - 20 = 3*r, 0 = 5*k - 5*r + 90. Let a(b) = -b**3 - 22*b**2 + 22*b + 1. Is a(k) a multiple of 13?
False
Suppose 30*z - 3622 = 5348. Is z a multiple of 31?
False
Suppose 24*d = 396 + 14580. Is d a multiple of 78?
True
Let u(d) = d**2 - 3*d + 5. Let f be u(-11). Suppose -f = -3*k - 3*x, -6 + 61 = k - x. Does 9 divide k?
True
Suppose 0 = 2*z + 3*x - 155, -z + 6*z - 368 = -x. Is z a multiple of 4?
False
Let b(r) = 114*r + 20. Let y(v) = -38*v - 7. Let x(q) = -4*b(q) - 11*y(q). Let f be x(-2). Suppose -5*h + 67 = -f. Does 9 divide h?
False
Suppose 0 = -12*c + 39 + 9. Suppose -3*l + 0*l = -c*m - 325, -5*l = -3*m - 560. Does 23 divide l?
True
Suppose 3*q = 21 + 6. Let s(r) = -2*r + 21. Let h be s(q). Suppose h*f - 2*b = 246, 0 = 2*f - 5*b - 208 + 33. Is f a multiple of 20?
True
Let u(v) = 7 + v - 11*v + v. Let l(w) = -w - 1. Let h(y) = -2*l(y) - u(y). Is 25 a factor of h(11)?
False
Suppose 0 = 23*i - 1125 - 370. Is 5 a factor of i?
True
Let l = 4086 - 1958. Is 26 a factor of l?
False
Let u(g) = g**3 + 15*g**2 + 13*g + 11. Let x be u(-13). Suppose -x = 4*m - 7*m. Is m a multiple of 9?
False
Does 8 divide 216/60 - 3 - (-6554)/10?
True
Suppose 5*r = -3*o + 73, -44 = -2*r + 2*o - 2. Let i = r - 3. Is i a multiple of 4?
False
Let x(u) = 2*u**3 - 5*u**2 - 2*u + 5. Suppose 5*f + 10 = -t, 1 = -t - 0*t - 2*f. Does 15 divide x(t)?
True
Let a(j) = 2*j**2 - j - 3. Let p be a(2). Suppose -k = 2*n + p, -5*k = -n - 0*n + 15. Suppose -76 = -n*s - 2*s. Does 8 divide s?
False
Let t(x) = x + 26. Let y be t(-14). Is (-2)/(4/90)*(-16)/y a multiple of 15?
True
Let x = -29 - -20. Is 2/(-3) - 303/x a multiple of 6?
False
Let v(i) = i**2 - 5*i + 1. Let j be v(4). Let s(f) = -f**2 - 5*f - 4. Let l be s(j). Is 4*4/l - 0 a multiple of 8?
True
Let g = 34 + -5. Let y = g - 87. Let n = -37 - y. Is n a multiple of 6?
False
Suppose -z - 14 = -2*z. Suppose 0 = 2*s - d - 10, 3*s = -3*d + z + 1. Suppose -5*x - 8 = w, -s*x = w - 3*w + 44. Is w a multiple of 12?
True
Suppose 32*n + 2023 - 13255 = 0. Does 4 divide n?
False
Suppose -3*f - 388 = -u, -f + 5*f + 4*u + 512 = 0. Suppose h + 5*p + 93 = 33, -2*h - 2*p - 160 = 0. Let y = h - f. Is y a multiple of 26?
False
Suppose 0 = -16*o + 2*o - 28. Does 9 divide (o - 3)*1 + 41?
True
Let j(y) = y**2 + 5. Suppose -2*q - 5 = -5*m + 3, -5*m = -4*q - 16. Does 7 divide j(q)?
True
Suppose 10 = -2*b, 3*h + 5*b = h - 21. Let n be h/6*3 - -280. Suppose -2*c = 5*v - 124, 3*v + n = 5*c + v. Is c a multiple of 24?
False
Suppose 0 = -p + 667 - 89. Does 35 divide p?
False
Suppose 134 = 4*k - 190. Let o = k - 66. Is o a multiple of 2?
False
Suppose 4*w - 2*w + 4*h = -14, 0 = 2*w - 2*h - 16. Let g(t) = 7 - 3*t**2 + 0*t**3 + 5*t + 0*t**2 + 10*t**2 - t**w. Does 27 divide g(6)?
False
Suppose -4*p + w = -10 + 2, 2*w = -2*p + 4. Suppose 4*m - p*r = m - 2, -4*m + 4*r = 8. Let n(y) = 5*y**3 + 3*y - 1. Does 15 divide n(m)?
True
Let v(d) = 22*d - 6. Let s be v(5). Suppose -8 = 2*l, 9*w = 4*w - 4*l + s. Does 12 divide w*(-1)/(-1)*1?
True
Let f = 44 - 40. Suppose -a + 23 + 17 = f*i, -33 = -5*i + 3*a. Is 2 a factor of i?
False
Suppose -a - a + 10 = 0. Suppose 217 + 108 = a*t. Is 9 a factor of t?
False
Suppose 0 = 4*h - 0*h + 4*a - 28, -5 = 5*a. Let m be 0/(4/8*h). Suppose m = 10*v - 5*v - 485. Is 20 a factor of v?
False
Suppose -3*m + 125 = 5*i, -3*i = 4*m + m - 203. Let t(n) = -14*n**3 + n**2 - 2*n + 1. Let a be t(1). Let p = a + m. Is 5 a factor of p?
False
Suppose -150 = 84*m - 89*m. Is m a multiple of 15?
True
Let k(m) = -m**3 + 12*m**2 - m - 14. Let s be k(12). Suppose 0 = -3*a - 2*b - 188, -2*a + 55 - 177 = 2*b. Let j = s - a. Is 8 a factor of j?
True
Does 52 divide (-624)/(3 - 11)*4*2?
True
Suppose -x - 6 + 33 = 0. Let s = 9 + 13. Let n = x - s. Does 5 divide n?
True
Let o = 140 - -75. Suppose 4*c - 2*t - 2*t - 140 = 0, -5*t = 5*c - o. Is 14 a factor of c?
False
Suppose -7743 + 1636 = -7*r - 2*p, 3490 = 4*r + p. Is r a multiple of 27?
False
Suppose -3 - 1 = -2*i. Suppose -i*q + 9 = q - 3*x, -q + 33 = 5*x. Does 12 divide 30*-1*q/(-20)?
True
Suppose 36*k - 2400 = 5052. Is k a multiple of 23?
True
Let t be 8/44 + (-128)/(-22). Let y(f) = f**3 - 4*f**2 + 6*f - 9. Let c be y(t). Let o = c - 54. Does 15 divide o?
True
Let c = 34 - 6. Let u be 468/c + (-4)/(-14). Suppose u*a - 152 = 15*a. Is 19 a factor of a?
True
Suppose 5*o = -3*w + 4543, -o = -4*w + 3*o + 6036. Is 95 a factor of w?
False
Let f(h) = -124*h - 141. Is 11 a factor of f(-3)?
True
Let j = -4 + 8. Suppose 4*l = -q - 0*q + 86, 0 = l + j. Does 11 divide q?
False
Let f(l) = l + 1. Let k(j) = 3*j + 3. Let h(y) = 2*f(y) - k(y). Let n be h(3). Let m = 3 - n. Is 7 a factor of m?
True
Let s = 15 - 11. Suppose 455 = s*m + m. Is 16 a factor of m?
False
Let z(f) = 2*f - 2*f - 4*f - 3. Let r(d) = d. Let l be r(-2). Is 5 a factor of z(l)?
True
Let v(y) = 5*y - y**2 + 10 + 6*y**2 - 6*y**2. Let q be v(5). Let g(l) = -l**3 + 9*l**2 + 11*l + 6. Is 16 a factor of g(q)?
True
Let p(b) = -5*b**2 - 115*b - 11. Does 6 divide p(-17)?
False
Suppose -392 = -9*a + a. Let x = 5 + a. Does 34 divide x?
False
Let d(a) = -a**3 - 9*a**2 - 8*a - 6. Suppose -20 = -6*u - 68. Let b be d(u). Let n(g) = -2*g + 6. Does 9 divide n(b)?
True
Is 4/12*-3 + 31 a multiple of 5?
True
Let z = 165 - 233. Suppose 5*k - 3*x = 26, -7 = 2*k + x - 13. Is -6*(k - z/(-6)) a multiple of 22?
True
Let u(q) = -3*q + 7. Let x be u(-6). Let z = x + 95. Does 12 divide z?
True
Let j = -2269 + 4060. Is j a multiple of 9?
True
Let z(d) = d**2 + 4*d - 7. Let m be z(-4). Does 12 divide (-9)/(-3) - (0 + m + -2)?
True
Let v be ((-4)/6)/(12/(-7110)). Let j = v + -173. Is 37 a factor of j?
True
Suppose 1418 = 4*o - 1502. Does 73 divide o?
True
Let a(z) = z - 8. Let d be a(14). Suppose -d*p - 88 = -7*p. Does 14 divide p?
False
Suppose 12*h - 16*h = 3*n - 49, -4*h - 5*n = -55. Is 10 a factor of h?
True
Suppose 0 = -4*l - 4*w + 8, 2*l + w + 0*w = 3. Let y(h) = -l + 8*h**2 + 5*h - 1 + 2. Is y(-3) a multiple of 8?
False
Let j(f) = -f**2 + 10*f + 2. Let b(w) = w**2 - 9*w - 2. Let i(n) = 6*b(n) + 5*j(n). Is i(6) a multiple of 10?
True
Suppose 3*n - 2766 = -3*t - 0*n, t - 952 = 5*n. Is 21 a factor of t?
False
Does 63 divide (14 - 23)*(6 - 97)?
True
Suppose b - 560 = 3*a, -18*a + 1120 = 2*b - 13*a. Does 7 divide b?
True
Let p(t) = -t**3 + 11*t**2 + t - 1. Let i be p(11). Is (-4 - -9 - i) + 32 a multiple of 9?
True
Suppose x + 3*x = 4*z + 88, -4*z + 20 = 2*x. Let u = 3 + x. Is u a multiple of 15?
False
Suppose 3*x - 3*d - 3 = 4*x, 4*x + 25 = d. Let i(q) = q**3 + 8*q**2 + 4*q + 7. Is i(x) a multiple of 7?
False
Let l(d) = 20*d**2 + 10*d + 65. Is l(6) a multiple of 65?
True
Suppose -o = z - 5, o - 3*z + 18 = 5*o. Suppose 5*p - 810 = -c, p + 1 - 177 = -o*c. Is 9 a factor of p?
False
Suppose 3*w - 39 = -3*x - 156, -5*x + 2*w = 188. Suppose -z - 295 = -5*j, -2*z - 280 = -5*j + 2*z. Let h = x + j. Is h a multiple of 17?
False
Suppose -21*s - 25725 = -56*s. Is 19 a factor of s?
False
Let j be (26/39)/(2/6). Let x be -346*2/(j + -6). Suppose 5*k - r - x = -2*r, 2*r + 39 = k. Is 14 a factor of k?
False
Let j be 6/21 + 162/21. Suppose 0 = 2*d + 4, -3*s - 3*d = -101 + j. Is 3 a factor of s?
True
Let o = 146 - 96. Let y = -9 - -11. Suppose -3*j + 7*t = 2*t - 89, o = y*j - t. Does 8 divide