11)?
True
Suppose u = 4*u - 129. Is 23 a factor of u?
False
Suppose -3*m - 5*n - 13 = 0, -n = -2*m - 3*m - 3. Let r(c) = 3*c**2 - c. Let o be r(m). Suppose 0 = 4*q - 2*a - 22, 0 = o*q - 5*a - 17 - 8. Does 3 divide q?
False
Suppose -b + 5*g = 10, 0 = 2*b - 3*g - 1. Suppose 3*w - 33 = -b*o, 0 - 3 = o. Is 8 a factor of w?
True
Let q(w) = -w**3 + 6*w**2 + 8*w - 5. Does 12 divide q(5)?
True
Let m(x) = 13*x**2 + 3*x - 1. Does 5 divide m(-2)?
True
Suppose 2*b = d - 8, 2*b - 5*b = 5*d + 12. Let l be 1/b + (-2)/(-8). Suppose -4*w - 12 = l, 5*q - 4*w = 7 + 25. Is 4 a factor of q?
True
Let j = 115 + -97. Is 5 a factor of j?
False
Suppose 2 = -p + 4. Suppose 0 = -2*y - r + 57, -p*y + r + 11 = -48. Suppose v - y = j, 0 = -4*v + 2*j + 151 - 41. Does 9 divide v?
False
Let v(i) = i**2 + 10*i + 15. Suppose h - 2*h = 0. Suppose -d - 5*z - 21 = h, 2*d + 3*z + 32 = -2*z. Does 13 divide v(d)?
True
Let d(n) = -22*n - 8. Is d(-4) a multiple of 40?
True
Suppose -37 + 1 = -3*r. Suppose a - 2 = -0. Does 15 divide 188/r + a/(-3)?
True
Suppose 7 - 31 = 3*p. Let n = p + 18. Is 5 a factor of n?
True
Suppose 5*n + 2*u - 20 = 0, n - 34 + 3 = 5*u. Let x be -10*-3*(-3)/n. Let f = -5 - x. Is f a multiple of 10?
True
Suppose j = 3*x + 20, -j + 3*x - 8 = -2*j. Is j a multiple of 14?
True
Let g = -21 - -45. Does 4 divide g?
True
Let k(v) = 49*v - 5. Let t be k(2). Suppose -3*n + 3*f - f + 304 = 0, -n - f + t = 0. Does 22 divide n?
False
Suppose -3*a = 3*f - 3, -5*f - 4*a + 4 = 1. Let m(d) = 17*d**2 - 2*d - 5. Let j(z) = 17*z**2 - 2*z - 4. Let v(i) = 4*j(i) - 3*m(i). Does 8 divide v(f)?
False
Let o(g) = -g**3 - 7*g**2 - 3*g + 4. Let f be o(-8). Suppose -2*d = -d - f. Suppose 0 = 3*c - 25 - d. Is c a multiple of 13?
True
Suppose 5*u = -6 - 39. Let w(h) = h**3 + 10*h**2 - h + 9. Does 25 divide w(u)?
False
Let u = 22 + -17. Suppose 0 = -u*i + 20 + 45. Is 13 a factor of i?
True
Let h be (-10)/45 - (-20)/9. Suppose -h*i = -2, 3*x - i = 3*i - 13. Let v(w) = w**2 + 2*w + 3. Is 6 a factor of v(x)?
True
Suppose 27 = q + 6. Let c = q + -1. Is 20 a factor of c?
True
Let g = 23 - 16. Let n(c) = -c**2 + 12*c - 8. Is n(g) a multiple of 9?
True
Let s(z) = z**2 + 11*z + 14. Let v be s(-10). Suppose f + 48 = -4*y - 2*f, v*f = 2*y + 2. Let n(b) = -b - 3. Is 6 a factor of n(y)?
True
Suppose -2*p = -267 - 83. Is 26 a factor of p?
False
Suppose h - 5*m = 52 + 89, 3*h - 4*m = 368. Is 29 a factor of h?
True
Suppose -6*b + 2*b + 80 = 0. Suppose 4*q + 0 = b. Suppose -5*p - q*o = -85, -p - 2*o + 11 = -3*o. Is 7 a factor of p?
True
Let t be (5 - 2)*260/6. Suppose -t = 3*l + 2*l + 5*b, -5*l = -2*b + 137. Let d = 59 + l. Is d a multiple of 16?
True
Let r = 121 - 85. Let y = 6 + r. Does 21 divide y?
True
Suppose 4*s = 4*p + s - 103, -155 = -5*p - 5*s. Does 28 divide p?
True
Is 29 a factor of -2 + -1 + 96 + 4?
False
Suppose 45*l = 51*l - 348. Is 16 a factor of l?
False
Let h(o) = -97*o - 2. Is 17 a factor of h(-1)?
False
Let u(t) = 2*t + 78. Is 8 a factor of u(0)?
False
Let z(t) = 13*t**2 - 3*t + 1. Let p(x) = x**3 + 3*x**2 - 2*x - 4. Let r be p(-3). Let a be z(r). Let i = -4 + a. Is 15 a factor of i?
False
Suppose -2*b + b = 2. Let f = -114 + b. Let j = -67 - f. Is 13 a factor of j?
False
Let b(x) = -2*x - 6. Let w be b(-7). Suppose w - 24 = -l. Is 13 a factor of l?
False
Let a(n) be the first derivative of n**4/4 - n**3/3 - n**2 + 3. Let t be a(-2). Let z(s) = s**3 + 9*s**2 + 9*s + 12. Is z(t) a multiple of 4?
True
Let t = 0 - -3. Suppose -3*s = -2*s - t. Suppose 0 = s*g - g - 24. Is 9 a factor of g?
False
Let n = -2 - 0. Does 2 divide n/(-2) + (-3)/(-1)?
True
Suppose 3*v = -2*g + 6*g - 27, -g - 4*v = 17. Suppose -4*f + g*f = -39. Does 13 divide f?
True
Suppose -2*s + 1 = -3. Suppose -2*p = s - 10. Is 4 a factor of p?
True
Let a(r) = -13*r - 14. Let b(g) = 6*g + 7. Let y(l) = 4*a(l) + 9*b(l). Let u(c) = -c + 17. Let i be u(12). Is y(i) a multiple of 6?
False
Let d be -5 - (5 + -2 - 3). Let b be 18 + 0 + 15/d. Suppose h - b = -2*l, h + h = 2. Is l even?
False
Let d be 10/15 - (-13)/3. Suppose -d*r + 76 + 109 = 0. Is 23 a factor of r?
False
Suppose 3 = -u - 0*u. Let z be (-4)/u + (-4)/(-6). Suppose -z*t + 33 = t. Does 4 divide t?
False
Let m(r) = r + 6. Is m(4) a multiple of 7?
False
Suppose -7*c = -2*c. Suppose -2*m = -c*m. Does 12 divide (-5)/(-5) - (-31 - m)?
False
Let s = -54 + 89. Does 15 divide s?
False
Suppose 0 = -2*v + 31 + 9. Is 4 a factor of v?
True
Does 4 divide (8/(-10) - -1) + 188/10?
False
Let z be ((-9)/6)/((-3)/(-6)). Let h(g) = 6*g**2 + 3*g + 2. Is 31 a factor of h(z)?
False
Let y(m) = m**3 - 7*m**2 + 5*m + 1. Let t be y(7). Suppose -o + 3*u + 62 = -5*o, 0 = 2*o + 4*u + t. Let f = o - -24. Does 4 divide f?
False
Let z = 74 + -40. Is z a multiple of 24?
False
Suppose 0 = j - u - 5, 3*j - 22 = -j + 5*u. Suppose 0 = m - 4, -j*m + 72 = -0*x + 5*x. Does 12 divide x?
True
Let r = 7 + 3. Is 14 a factor of 276/r + (-10)/(-25)?
True
Suppose -4*l + 12 = -5*w, -l - 15 = -6*l - 4*w. Let x = -8 + 11. Suppose 6*d - 19 = -h + l*d, x*h - 71 = 5*d. Is h a multiple of 11?
True
Let v(k) = 5*k**3 - k**2 + 1. Let h be v(-1). Is (3 + h)*-1 + 24 a multiple of 6?
False
Let m(j) = -j - 8. Let r be -1*1*(-2 - -12). Let k be m(r). Is 2 a factor of 4 + 0 + 0 + k?
True
Let i = 493 - 293. Does 10 divide i?
True
Let n be (-4)/14 - 2/(-7). Suppose -a = -5*w - 4*a + 153, 3*w - a - 89 = n. Does 10 divide w?
True
Let z(a) = a - 1. Let v(t) = -9*t + 3. Let x(r) = -v(r) - 5*z(r). Suppose d + 6 = 5*k - 13, -3*k = 3*d + 3. Is 5 a factor of x(k)?
False
Let r(p) = -p**3 - 3*p**2 - 2*p + 1. Let z be r(-5). Let s = -24 + z. Suppose -103 = -3*m - s. Is m a multiple of 8?
False
Suppose 2*y = 3*m + 289, m - 434 = -4*y + 179. Does 18 divide y?
False
Suppose 3*n - 3*g - 30 = 0, 0 = n + 3*n - g - 34. Is n a multiple of 4?
True
Suppose 0 = 3*n - 15, -2*n + 241 = 3*r - 0*n. Is 15 a factor of r?
False
Is 20 a factor of 20*1/(-3)*-6?
True
Let h(g) = 2 - 2*g**2 - g**2 - 2*g + 1 + 2*g**2 + 2*g**3. Let w be h(2). Suppose 2*z + 3 - w = 0. Does 3 divide z?
False
Suppose -3*l = -5*t - 2*l + 934, 0 = 5*t + 2*l - 922. Is t a multiple of 27?
False
Suppose 0 = 4*z - 3*g - 208, 0 = -0*g + 5*g + 20. Is z a multiple of 10?
False
Suppose -2*x + x + 4*k = -19, -k = 5*x - 11. Suppose -2*w = -0*w + x*d - 216, -5*d - 232 = -2*w. Does 37 divide w?
True
Suppose -s + 93 = p - 2*p, -s = -2*p - 95. Does 6 divide s?
False
Suppose p + 2*p = -15. Let v = p - -12. Does 4 divide v?
False
Let f = 36 + -24. Does 3 divide f?
True
Let f(m) = m**3 - 18*m**2 + m + 21. Does 13 divide f(18)?
True
Let c = 80 - 20. Suppose 4*b - 5*s + s = c, -s - 27 = -2*b. Suppose -2*x - b + 50 = 0. Is 12 a factor of x?
False
Let i(z) = -2*z**2 - 2*z + 3. Let r(a) = a**2 + a - 1. Let o(q) = 3*i(q) + 7*r(q). Let w be o(0). Suppose -p + w = -1. Does 3 divide p?
True
Let b = 15 + -9. Is ((-6)/18)/((-1)/b) a multiple of 2?
True
Suppose -2 = -p - p. Let t be 4*3*p/6. Suppose -8 + 28 = t*m. Is m a multiple of 5?
True
Suppose 0 = 2*l - 3*i - 8, -4*i = -2 + 10. Let y be 4 + 3*(3 + -4). Let t = y + l. Is t a multiple of 2?
True
Let f = 1 + 1. Suppose -f*i + 6*i = 56. Does 8 divide i?
False
Let r(w) = w**2 - 8*w - 1. Let h be r(9). Suppose -138 = -5*y - h. Let t = -18 + y. Does 4 divide t?
True
Let j be -12*(-1 - 4/(-6)). Suppose 5*p = j*x - 2*x - 80, -5*x = 5*p - 200. Is 14 a factor of x?
False
Let f(y) = -y**3 - 15*y**2 - 16*y + 7. Does 6 divide f(-14)?
False
Suppose 102 = 2*m + 4*t, 0 = -4*m - 5*t + 98 + 115. Is 8 a factor of m?
False
Let p(b) = b**2 - 8*b + 7. Let o be p(7). Suppose -3*r = -o*r - 36. Is 12 a factor of r?
True
Suppose -w + 2*w = 4*g + 94, 71 = -3*g + w. Let z = -14 - g. Is 6 a factor of z?
False
Suppose -5*b + b = 212. Let i be 74*((-2)/(-4) - 1). Let t = i - b. Is t a multiple of 16?
True
Suppose b - 51 - 33 = 0. Is 12 a factor of b?
True
Is 13 a factor of (3/9)/(1/132)?
False
Let c = 220 - 157. Suppose 0*s + c = 4*s - 5*a, -3*s + a = -61. Is 6 a factor of s?
False
Let x = 118 + -70. Does 4 divide x?
True
Let p be (0 + -7)*12/14. Let a(l) = -l**3 - 4*l**2 + 7*l + 2. Let o be a(p). Suppose 2*h = -2*h + o. Is 7 a factor of h?
False
Let v be 77/5 - 6/(-10). Suppose -2*g + 3*g + 3*x = 0, 5*g - v = x. Does 2 divide g?
False
Suppose 2 = 2*o, q - 2*o - 242 = -q. Is 29 a factor of q?
False
S