 Suppose -4*o - 59 = -3*k + 21, -f*k + 100 = -2*o. Does 9 divide k?
False
Suppose 3*p + 5*c = 2*p + 13, -4*p + 4 = -4*c. Suppose -10 + 88 = p*a. Is a a multiple of 7?
False
Let m(g) = 56*g**2 + g - 1. Let w be m(1). Suppose -2*j + w = -40. Does 21 divide j?
False
Suppose -240 = -4*f - 4*x, 0*f - 4*f + 5*x + 204 = 0. Is f a multiple of 9?
False
Suppose 7 = 2*t - 7. Let j be 210/49 + (-2)/t. Suppose j*m - 56 = -d, -5*d + 14 = -0*m + m. Is 14 a factor of m?
True
Suppose -109 - 1 = -5*p. Is 11 a factor of p?
True
Does 32 divide ((-9)/(-2))/3*(4 - -188)?
True
Let o(k) = k**3 - 3*k**2 - 3*k + 1. Let l be o(3). Let p = 44 + l. Does 12 divide p?
True
Suppose f + 5 = -2*x, -3*x + 6*f = f - 25. Suppose 2*g + a - 4*a + 19 = 0, 3*g - 2*a + 16 = x. Let b(c) = 5*c**2 - c + 1. Does 15 divide b(g)?
False
Suppose 8*h - 2880 = -8*h. Is 20 a factor of h?
True
Suppose 12 = 3*m, 0*g - 2*g - m + 28 = 0. Let t be (15/g + -2)*4. Is 10 a factor of ((-3)/(-2))/(t/(-40))?
True
Let k = 6 - 1. Suppose -3*c = -k*d + 63, 5*c - 17 - 18 = -d. Does 9 divide d?
False
Is 24 a factor of (-1 - (-68)/(-8))*-8?
False
Let x(d) = d**3 + 13*d**2 - d + 2. Let n be x(-13). Suppose 5*q = -0*q + n. Suppose 2*u + q = 7. Is 2 a factor of u?
True
Let o(p) = -11*p - 1. Suppose 0 = k - 2*v + 4, -2*k + 2*v = -0*k + 2. Suppose -k*f - 2 = -0*f. Is o(f) a multiple of 7?
False
Let l(p) = 3*p**2. Let o be l(-1). Suppose -o*z + 21 = -3*b, z = -0*z - 4*b - 3. Is z even?
False
Let i(m) = -3*m - 8. Let s = -18 - -11. Is i(s) a multiple of 12?
False
Let o(b) = -24*b - 21. Does 27 divide o(-2)?
True
Let h = 8 + -3. Let q = h + 17. Does 22 divide q?
True
Suppose -2*w + 10 = 3*w. Let p be (w*58/(-4))/(-1). Let y = p - 1. Is y a multiple of 14?
True
Let n = 6 - 4. Let x(t) = -t**2 + 2*t. Let v be x(n). Suppose -21 = -4*w + h - v, 3 = 3*w - 5*h. Is 3 a factor of w?
True
Let j = -7 - -7. Let l(x) = x**3 - 5*x**2 - 2*x + 6. Let m be l(6). Suppose -5*k + 0*k + m = j. Does 6 divide k?
True
Does 8 divide 2*3 + 9 + -7?
True
Suppose x = -m + 10, -x = -5*m + 4*m + 10. Does 5 divide m?
True
Let c = -7 + 11. Suppose 4*k = c*m - 96, -5*m + 163 - 58 = -2*k. Is 16 a factor of m?
False
Let s(t) = -t**3 - t + 8. Let v be s(0). Let g(r) = r**3 - r**2 + r + 1. Let d(y) = -4*y**3 - 4*y**2 + y. Let f(m) = -d(m) - 5*g(m). Is f(v) a multiple of 5?
False
Suppose 0*k - 2*k + 4 = 0. Does 6 divide 4 - (1 - (k + 1))?
True
Suppose -3*w = 3*w - 90. Does 7 divide w?
False
Let m = -11 + 6. Let p(g) = -4*g - 1. Is p(m) a multiple of 19?
True
Let d = -14 + 3. Let i(m) = -15*m + 11*m**2 + m**3 - 3 - m**2 + 7. Is 24 a factor of i(d)?
True
Suppose 0*x + 2 = x. Suppose 3*o = -x*i + 88, o = 2*i + 5*o - 88. Does 11 divide i?
True
Suppose -5*n - 70 + 270 = -5*i, 3*n - 4*i - 121 = 0. Let r = -10 + n. Is 29 a factor of r?
True
Let z be 4/12 + (-6)/(-9). Is 6 a factor of 7 - (z + -2 + 1)?
False
Let h be (-2)/(-1 + (-2)/(-4)). Suppose 0 = -h*m + 36 + 104. Is 9 a factor of m?
False
Let v(y) = 3*y + 2. Is v(9) a multiple of 6?
False
Let k(m) be the first derivative of -m**3/3 - 5*m**2 + 8*m - 1. Does 8 divide k(-10)?
True
Let g(q) = 2*q + 1. Let z be g(-3). Let y = -1 - z. Suppose -2*h = -3*t + 128, y*h - h + 132 = 3*t. Does 14 divide t?
False
Suppose 0*r - 20 = 4*r, 0 = 3*b + 5*r + 16. Suppose 2*j - b*g - 67 = 0, -5*g = -j - j + 69. Does 9 divide j?
False
Let o = -7 + 22. Is 7 a factor of o/10*(-14)/(-3)?
True
Let i = 192 - 109. Does 6 divide i?
False
Let n = 177 - 105. Is n a multiple of 12?
True
Let q be ((-50)/4)/(2/12). Is 10/(-4)*2040/q a multiple of 15?
False
Let x(p) = p**3 - 8*p**2 + 2*p - 10. Is 3 a factor of x(8)?
True
Let c be (-2 + 3)/((-2)/12). Is (44/5)/(c/(-15)) a multiple of 12?
False
Suppose q = -5*v + 19, -q + v = -3*q + 56. Let r = 77 - q. Is r a multiple of 16?
True
Is 13 a factor of 5*(-3 + 108/10)?
True
Suppose 0*s = 2*s - 32. Suppose 0 = 3*z - z - s. Does 4 divide z?
True
Let t(i) = i - 2. Let v be t(5). Let c(m) = m. Let h be c(v). Suppose d - h*a - 1 = 7, -32 = -d - 3*a. Is 14 a factor of d?
False
Let a(w) be the first derivative of w**3/3 + 5*w**2 + 2. Let h be a(-6). Does 3 divide h/18*15/(-2)?
False
Suppose -2*y - 1 + 3 = 0. Let s = y + 3. Suppose 21 = s*j - j. Is 4 a factor of j?
False
Let o(g) = g**2 - 9*g - 10. Let v = 2 - -11. Is 12 a factor of o(v)?
False
Suppose -j - j = -8. Let y(n) = 2*n**3 - 13*n**2 - 5*n + 1. Let i(m) = m**3 - 6*m**2 - 3*m + 1. Let v(s) = -5*i(s) + 2*y(s). Is 8 a factor of v(j)?
False
Let g be (-2)/(-7) - (-714)/(-98). Let u = 9 + g. Is u even?
True
Let f(q) = 3*q**2 - q. Let j be f(2). Is ((-8)/j)/(4/(-70)) a multiple of 14?
True
Let n = 89 - 61. Does 11 divide n?
False
Let o be 4*-3*(-1)/6. Suppose 2*t - a = 168, 338 = 2*t + o*t - 3*a. Does 28 divide t?
False
Let i(z) = 5*z - 4. Does 18 divide i(6)?
False
Let n = 1 - -2. Suppose -n*d + 156 = 60. Is d a multiple of 11?
False
Suppose 11*j + 322 = 2632. Is j a multiple of 35?
True
Let u be ((-5)/(-10))/((-1)/(-4)). Let i(s) = 5 - 4 + 9*s**2 - 4*s**2 - u*s. Does 9 divide i(-2)?
False
Let x(s) = 8*s - 6. Let k be x(9). Suppose w + k = 4*w. Is w a multiple of 11?
True
Let x = 8 - 6. Let d be ((-51)/6 + 2)*x. Let i = -8 - d. Does 2 divide i?
False
Suppose -2*d + 83 + 1 = p, -3*d = -3*p + 288. Let g = -66 + p. Is g a multiple of 13?
True
Suppose 0*j - 3*j = 4*i - 159, -5*j + 239 = -2*i. Is 22 a factor of j?
False
Let h(p) = 23*p - 8. Let n be h(6). Let q = -10 - 5. Is n/q*3/(-2) a multiple of 13?
True
Suppose -4*d - 168 = -8*d. Does 26 divide d?
False
Suppose 19 = -t - 3*d + 52, -2*t + 63 = 3*d. Does 9 divide t?
False
Let z(x) = -x + 12. Let u be z(9). Suppose u*s - 44 - 10 = 0. Is s a multiple of 6?
True
Let f(k) = k**3 + 10*k**2 - 4*k - 2. Let r be 156/(-15) + (-2)/(-5). Does 19 divide f(r)?
True
Let r(q) = q - 6. Let p be r(6). Suppose p = 3*u - 6. Suppose -76 = -4*s + u*j, 106 = 2*s + 3*s + 3*j. Is s a multiple of 16?
False
Suppose -4*x + 5*s = -315, -x + s + 14 + 66 = 0. Is x a multiple of 12?
False
Is 12/(-8)*120/(-9) a multiple of 5?
True
Let p(r) = r**2 + r + 1. Let m(w) = -7*w**2 + 4*w + 3. Let u(t) = -m(t) + 5*p(t). Let v(x) be the first derivative of u(x). Does 12 divide v(1)?
False
Suppose 0 = j + 2 - 8. Let g be (-3)/((j/(-3))/2). Suppose -3*f = b + 2 - g, -4*b = -5*f - 21. Is b a multiple of 4?
True
Let g(y) = y + 9. Let t be g(-4). Suppose -t*h + 55 = -140. Is h a multiple of 17?
False
Let p = 28 - -61. Does 10 divide p?
False
Suppose 0 = 5*u + t - 379, 6*u - 391 = u - 4*t. Is 15 a factor of u?
True
Suppose 6 = 3*v, -2*u - 3*u - 4*v + 278 = 0. Suppose 0 = t - u - 6. Is t a multiple of 27?
False
Suppose -2*r + 4*c + 6 = 0, 3*c + 0*c = 0. Suppose -y + 5*d + 62 = 11, r*y - 153 = -5*d. Is 17 a factor of y?
True
Suppose 2*i + 180 = 4*i. Does 19 divide i?
False
Let z = -24 - -11. Let i = -8 - z. Suppose -37 - 63 = -i*s. Is s a multiple of 10?
True
Let l = 232 - 66. Is l a multiple of 25?
False
Suppose 5*x - 350 = -4*g + g, 4 = x. Suppose f - 6*f + g = 0. Does 22 divide f?
True
Let c(g) = -g**3 - 4*g**2 - g + 3. Let h be (-2 + (-2 - 0))*1. Let u = 0 + h. Is c(u) a multiple of 2?
False
Let r(i) = -3*i + 5. Is r(-13) a multiple of 17?
False
Suppose -19 = -2*u - 1. Suppose -i + 3 = -u. Is i a multiple of 4?
True
Let a(c) be the third derivative of -c**6/120 - c**5/15 + c**4/6 + c**3/6 - c**2. Is 5 a factor of a(-5)?
False
Suppose 0 = 3*s - 2*l + 17 - 4, 3*l + 8 = -s. Let t(n) be the first derivative of n**2/2 + 9*n - 1. Is 4 a factor of t(s)?
True
Suppose 1 = v + 2. Let t be v/(-4) + 78/8. Let f(a) = 2*a + 14. Is 17 a factor of f(t)?
True
Is 11/22 - 123/(-2) a multiple of 14?
False
Is -1 + 1 + 41 + -3 a multiple of 19?
True
Let o = 80 + 56. Suppose -130 = 2*l + 2*l - 2*x, -o = 4*l + 4*x. Let m = -19 - l. Does 13 divide m?
False
Suppose -3*t - 458 = -5*i, 0*t + 3*i - 456 = 3*t. Let a = 89 + t. Is 6 a factor of a/(-4) + 3/6?
False
Suppose -b - 4 = -5*b. Let q(n) = n + 0*n - 15 + 12*n + 16. Is 12 a factor of q(b)?
False
Suppose 5*v = 3*v - 6, -312 = -3*p - 4*v. Is 54 a factor of p?
True
Let x = 5 + -2. Suppose 0 = x*z + z + 108. Let k = 47 + z. Does 10 divide k?
True
Let r = -8 - -9. Suppose -4*y + 14 = -2*q - 24, 0 = -y - 3*q - r. Is 4 a factor of y?
True
Is -7*(330/(-21) - 0) a multiple of 20?
False
Suppose -34 = 2*q - 10. Let l(t) = -5*t + 2. Is