e c(6). Let s(z) = 12*z**2 - 2*z + 1. Is s(m) a multiple of 11?
True
Suppose -4*t = -t - 9. Let r be 2/7 + (-108)/(-14). Suppose -125 = t*y - r*y. Does 9 divide y?
False
Suppose 0 = -4*d + d + 78. Let r be d/3*(-4 - -1). Let y = r + 72. Is y a multiple of 12?
False
Let g = -195 + 455. Let q = g + -160. Is q a multiple of 28?
False
Let c(v) = -v**3 - 5*v**2 + v + 7. Let t be c(-5). Suppose -2*g - 45 = -3*l - 2, l + t*g = 25. Suppose -2*a + 5*s + l = -12, 3*s = -3. Is 12 a factor of a?
True
Suppose 8 = 5*y - 52. Does 4 divide y?
True
Suppose 0 = 3*h - 2 - 7, -4*h = 4*t - 184. Is 43 a factor of t?
True
Suppose 9*s - 11*s + 42 = 0. Does 15 divide s?
False
Suppose -66 = -3*p - 24. Let x = p - 6. Is 3 a factor of x?
False
Let h(p) = p**3 - 9*p**2 + 12*p - 9. Let f be h(8). Is 13 a factor of -6*(-2)/4 + f?
True
Suppose 3*g + 3*d - 63 = 0, -3*d - 5 = 1. Let l = g - -19. Does 19 divide l?
False
Suppose -3 - 25 = -j. Suppose -2*m = -2*s + j, s - 8 = 4*m + 3. Is s a multiple of 9?
False
Suppose 0 = -0*m + 2*m - 66. Is m a multiple of 8?
False
Let q(j) = -j**3 + 13*j**2 - 14*j - 16. Is q(11) a multiple of 12?
True
Let n be -2 + (7 - 2) + -7. Let f = 2 - n. Suppose -q - 120 = -f*q. Does 10 divide q?
False
Suppose 0 = 4*h + 4*a, -2*h + 6 = -3*h - 3*a. Suppose h*o = 34 + 23. Does 15 divide o?
False
Let r(n) = n**3 + 8*n**2 - 4. Let f be r(-8). Let w be f/(-5)*(1 + 4). Suppose -w*d - 12 = 0, y = 4*d + 10 + 32. Is y a multiple of 16?
False
Let s(p) = 5*p**2 - p - 3. Let g be s(-3). Suppose -6*n = -3*n + g. Let y = n - -25. Is y a multiple of 5?
True
Suppose 0 = -204*j + 200*j + 156. Is 4 a factor of j?
False
Let q(g) = -2 + 2 - g**2 + 6*g - 6. Let b be q(5). Let a = b + 8. Is 3 a factor of a?
False
Suppose -f + 4*f = -246. Let b = f + 141. Is 13 a factor of b?
False
Does 5 divide 15 - 16/(12/(-3))?
False
Let l(m) = -m**2 - 5*m + 4. Let h be l(-5). Suppose h*x = x + 90. Is 21 a factor of x?
False
Suppose -2*r + 4*y + 652 = r, -2*r - y = -431. Is 24 a factor of r?
True
Suppose -2*r = -2*t, 5*r - 4*t + 0 = 3. Let i be (r/((-6)/(-8)))/(-1). Let q(z) = -z**3 - 2*z**2 + 3*z - 5. Does 15 divide q(i)?
True
Suppose -3*n = -15, 3*n + 12 = 5*i + 27. Suppose -5*k - 3*v + 123 = 0, i*k + 3*v + 93 = 4*k. Is k a multiple of 12?
True
Let b(d) = -56*d. Let h be b(-2). Let w = h + -64. Is 16 a factor of w?
True
Suppose -2*g - 3*g = -10. Let c be ((0 - -1) + 0)*4. Suppose 4*f - 56 = 2*o, -g*f = -c*f - 4*o + 38. Is f a multiple of 7?
False
Let l = 3 + -1. Suppose 0*c + l*c = 8. Suppose 5*k = c*w + 118, w - 81 = -k - 2*k. Does 13 divide k?
True
Let k(t) = t + 5. Let b be k(-7). Is 22 a factor of (1 + b - -46) + -1?
True
Let q(n) = n**3 - 2*n**2 - n - 2. Let z be q(3). Suppose z = -2*i + 34. Does 7 divide i?
False
Let z(s) = s + 4. Let a be z(-4). Let u = 3 + a. Suppose 5*k = -u*g + 12, g + 0*g - 6 = -k. Does 4 divide g?
False
Let h be 435/(-3*1/(-2)). Suppose 8*g = 3*g - o + h, -5*g - 4*o = -290. Is 17 a factor of g?
False
Let b = 4 - 4. Suppose 0 = 5*n + 5*s - 20, 3*s + 11 + 4 = b. Is n a multiple of 4?
False
Let p = -48 + 92. Suppose -24 = -4*c + p. Is 7 a factor of c?
False
Suppose -2*w - 3*c = 7, 3*w + 2*c = 4*c - 4. Let t = 15 - w. Does 17 divide t?
True
Let r(b) = b**3 + 4*b**2 + 2. Let a be r(-4). Is 4 a factor of 8/((0 - a)/(-4))?
True
Suppose -4 = -u - u. Let p = 9 - 4. Suppose -b = -p + u. Does 3 divide b?
True
Does 15 divide ((-10)/1)/((-2)/9)?
True
Suppose 4*q = 2*m + m - 355, -173 = 2*q + 3*m. Does 11 divide ((q/2)/(-4))/1?
True
Let g = 575 + -284. Does 37 divide g?
False
Let l(i) = -24*i + 1. Is 14 a factor of l(-3)?
False
Let m(k) = -k + 7. Let v(o) = -o + 6. Let z(d) = -7*m(d) + 6*v(d). Let l be z(7). Let f(a) = a**2 + 2*a - 8. Is 7 a factor of f(l)?
False
Suppose 3*t - 3 = -0. Let p be (2 - (1 - -1))/t. Suppose o + 33 = 3*k + 1, p = -4*k - 2*o + 46. Is 10 a factor of k?
False
Let n(s) = -2*s. Let f be n(-4). Suppose 0 = -f*w + 4*w + 60. Is 12 a factor of w?
False
Suppose -4 - 451 = -7*q. Is 13 a factor of q?
True
Suppose f + f - 56 = 0. Is 3 a factor of f?
False
Let c(h) = -2 - 2 + 2*h + 0*h + 8. Is c(10) a multiple of 8?
True
Let v(f) = -13*f + 2. Suppose -3*d + i = -3*i - 24, 5*d + 2*i - 14 = 0. Let k be v(d). Is (k - 1)*(5 + -6) a multiple of 19?
False
Suppose 4*m + 84 = 3*c, 2*c - 2*m = -5*m + 73. Does 32 divide c?
True
Suppose -z = 3*v + 11 + 5, 3*v = 4*z + 4. Let k(l) = -2*l**3 - 4*l**2 - 5*l - 6. Is 21 a factor of k(v)?
False
Let p = 147 - 135. Is p a multiple of 12?
True
Suppose -5*d = -2*d - 351. Let c = -66 + d. Does 13 divide c?
False
Let z(j) = j**3 - 6*j**2 - 7*j + 22. Does 37 divide z(9)?
False
Suppose 3*z + s + 87 = 444, -z + s + 119 = 0. Is z a multiple of 46?
False
Suppose 0 = -4*z + 133 + 155. Does 18 divide z?
True
Let h be 10/(-6) - 12/(-18). Let w be (-2 - 0/3)/h. Suppose -5*g + w*n = -43, -g - g - 3*n + 2 = 0. Is 3 a factor of g?
False
Let c(g) = g**2 - 2*g. Let y be c(2). Suppose -1 = 4*o - 9. Suppose 56 = 2*s + x - 2*x, y = -o*s - x + 64. Is s a multiple of 13?
False
Let i = -500 - -759. Does 37 divide i?
True
Does 16 divide 165/3 - (0 - 3)?
False
Let j(p) = -12*p**3 - p**2 + 4*p + 1. Let r be j(3). Is 1/3 - r/12 a multiple of 9?
True
Let v = 10 + -1. Does 2 divide v?
False
Let w(o) = 2*o + 5 - o - 2*o + 0*o. Does 3 divide w(-5)?
False
Let o(k) = -k**3 - 6*k**2 - 3*k + 3. Let n(q) = -q**2 + 3*q + 4. Let z be n(5). Let a be o(z). Suppose -4*y - 3*g = -37, -2*y - 2*g + g = -a. Does 6 divide y?
False
Suppose 2*k = 3*j - 142, -3*j + 156 - 17 = -5*k. Does 12 divide j?
True
Let h(x) = x**2 - 3*x + 10. Is h(4) a multiple of 3?
False
Let t(p) = p**3 - p - 2. Let h be t(2). Suppose w + 66 = h*w. Is w a multiple of 11?
True
Let q(o) = o - 5. Let r be q(7). Suppose 0 = -5*x - 2*m + 20, -m = -3*x - r*x + 20. Is x a multiple of 2?
True
Suppose -3 = -2*m + 5, y + m = 57. Suppose 0 = -u - 4*j + y, -2*u + 2*j - 6*j + 102 = 0. Is u a multiple of 13?
False
Let o = -49 + 101. Is o a multiple of 7?
False
Let j be 14/2 + (-3 - -1). Suppose j*g = -0*g + 155. Let h = g + -13. Does 9 divide h?
True
Let s(p) = 3*p**2 - p - 2. Let f(c) = -7*c**2 + 3*c + 3. Let q(a) = -4*f(a) - 7*s(a). Is q(3) a multiple of 21?
False
Is 19 a factor of 3 - (0 + (-39 - 1))?
False
Let r(h) = -h**2 + 6*h - 4. Let c be r(5). Let l be 30/(-8) - c/4. Let o(s) = -4*s. Is 16 a factor of o(l)?
True
Let i(f) = -4*f - 3. Is 9 a factor of i(-3)?
True
Let d = 56 - 110. Let a = d + 90. Is a a multiple of 28?
False
Suppose -3*y + 2*y = 0. Let h = y + 24. Is 8 a factor of h?
True
Let r = -10 - -13. Suppose -r*x + 70 = 5*s, 2*s + 3*x - x = 24. Is s a multiple of 17?
True
Let o(g) = g**2 + 4*g - 7. Let v be o(-5). Let h be 2 + v + 0 + 2. Suppose h*p - 81 = -5*s + 3*p, -p = 2*s - 31. Does 11 divide s?
False
Let s = 34 - 9. Let z be -2 + 2 + 2 + s. Is 16 a factor of (-290)/(-9) - 6/z?
True
Let l(q) = -q**3 + 8*q**2 - 8*q + 1. Let v be l(7). Is ((-10)/v)/(1/12) a multiple of 10?
True
Let i be -2 - -1 - (-4 - -1). Suppose 3*k - i*k - 31 = 0. Is k a multiple of 14?
False
Let l(m) = -m**2 + 8*m - 2. Suppose -3*j + 5*r + 18 = 2*r, 5*r = -2*j + 12. Does 6 divide l(j)?
False
Suppose 7*b = 75 + 100. Does 6 divide b?
False
Let d(p) = -p**2 - 8*p + 1. Let w be d(-8). Let h(f) = 32*f**3 - f + 1. Is 21 a factor of h(w)?
False
Let n = 13 - 0. Suppose -3*y + 19 = -2*t, 4 = -y - 4*t - n. Is y a multiple of 3?
True
Suppose -2*z - 40 = -6*z. Let i = z + -7. Does 2 divide i?
False
Let x(g) = g + 35. Let q(y) = -y**2 + 10*y - 9. Let d be q(9). Is x(d) a multiple of 13?
False
Does 16 divide 1 - (-1 - 240/2)?
False
Let t(k) be the third derivative of -k**4/24 + 5*k**3 - 2*k**2. Let p = 0 + 0. Is t(p) a multiple of 13?
False
Is (-256)/(-10) + 30/(-50) a multiple of 25?
True
Suppose -159 - 219 = -3*c. Is 18 a factor of c?
True
Suppose 0 = 4*j + 2*s - 6, 0*j - 3*s = 2*j - 9. Suppose 3*r + j*r + 2*n - 89 = 0, 5*n + 41 = r. Is 10 a factor of r?
False
Let c be (-3)/3 - (-490)/1. Suppose 66 = 5*p + 5*k - 414, 2*k = -5*p + c. Suppose -3*w = -5*x - p, -5*w - 17 + 204 = -x. Is 10 a factor of w?
False
Let b(q) = q**2 + q - 5. Let z be b(-3). Is 11 a factor of (-72)/(-6) + -1 + z?
False
Suppose 0 = 5*u + 32 - 262. Is 9 a factor of u?
False
Let v(g) = -g**3 + 7*g**2 + 10*g - 8. Let o be v(8). Suppose -o*w = -10*w + 32. Is 5 a factor 