 s a multiple of 3?
True
Suppose 319 = 11*h - 0*h. Is 6 a factor of h?
False
Suppose -16 = -4*z, -2*r + 2*z = -5*r + 5. Let g be 4*(2/(-4) - r). Suppose -5*y = -m - 5, 1 = m - 3*y + g. Does 2 divide m?
False
Suppose 0 = -13*u + 783 + 2649. Is 11 a factor of u?
True
Let g = 0 - -5. Let h(a) = a + 1. Does 2 divide h(g)?
True
Let u(z) = 2*z**2 + 5*z - 8. Does 37 divide u(-8)?
False
Let g(q) = -q**2 - 4*q - 2. Let c be g(-3). Is 12 a factor of ((-26)/5)/(c/(-5))?
False
Suppose -b + 2*b + 4 = -5*s, 2*s = -b + 2. Suppose -4*w + 0*w = -5*n - 18, -4*w - b = -n. Let z = n + 15. Is z a multiple of 3?
True
Let h(i) = 7*i - 29. Is 4 a factor of h(6)?
False
Let k = 7 - 3. Suppose 2*y = -0*y + k. Suppose 13 + 7 = y*s. Does 4 divide s?
False
Let y be (8/(-14))/(15/(-105)). Let q = 8 + -3. Suppose y*n + 46 = q*n. Is n a multiple of 23?
True
Let c(w) be the second derivative of w**3/6 - 22*w**2 + 2*w. Let b be c(0). Let r = 64 + b. Is r a multiple of 10?
True
Suppose z - 8 = -3*z. Let c be -4*(5 - z)/3. Let m = c + 7. Is m even?
False
Let b(m) = 0 - 3*m + 3 - 2 - 2 + m**2. Is 9 a factor of b(-2)?
True
Let m(o) = -o**3 - 5*o**2 - 2*o - 1. Let b be m(-5). Suppose -2*t + 5 + b = 0. Is t a multiple of 2?
False
Let x(y) = 17*y - 2. Let b be x(5). Suppose -5*w + 378 = b. Let a = -30 + w. Does 29 divide a?
True
Let l(a) = -a + 12. Let h be l(9). Suppose -4*n = -h*d - 156, -195 = -3*n - 2*n - 4*d. Is 13 a factor of n?
True
Does 10 divide 1*89 + 3 + 8/(-4)?
True
Suppose 4*p = -3*r + 51 + 92, 3*p - 5*r = 100. Is 12 a factor of p?
False
Let l be (2 + -4)*(-7)/2. Let z = l + -6. Does 9 divide (-1 + z)/(-3) + 18?
True
Let j = 44 + -9. Is 5 a factor of j?
True
Let o(l) = 2*l**3 + 14*l**2 - 8*l + 16. Is 12 a factor of o(-7)?
True
Let k be (-1)/4 - (-7926)/24. Does 22 divide 4/(-10)*k/(-6)?
True
Is 15 a factor of 2/(-13) - 15222/(-78)?
True
Let p = -171 - -230. Is 11 a factor of p?
False
Let w = 20 + -1. Let n = w - -29. Does 16 divide n?
True
Suppose 7*u - 4*u - 9 = 0. Is (20/u)/((-6)/(-9)) a multiple of 10?
True
Suppose 0 = -4*w + 2*y - 4*y - 4, -13 = -5*w + 2*y. Let c = w + 1. Is 2 a factor of c?
True
Let t(s) = 5*s + 4. Let m be -8*(7/(-2) - -3). Does 24 divide t(m)?
True
Let o be 11/4 + 1/4. Let f be -1 - (174/(-3) - o). Suppose -p + 62 = 3*v, -v - v + f = p. Is p a multiple of 19?
False
Suppose 0 = 10*r - 1066 - 424. Is 15 a factor of r?
False
Let o = 3 + -2. Is 7 a factor of 9*o + (-13 - -11)?
True
Let a = 56 + 35. Does 11 divide a?
False
Suppose -2*x + l = 14 - 2, 4*x + 24 = -5*l. Let o = 3 - x. Is o a multiple of 9?
True
Let t be (-3)/(4 + -1) - -1. Does 9 divide t + 1 + -2 - -38?
False
Suppose -3*f = -6*f + 30. Is f a multiple of 2?
True
Let b be (24/10 - 2)*-5. Let u be b + 1 + -1 + 0. Is (4 + -5)/(u/4) a multiple of 2?
True
Suppose p + p = 20. Let y be 4*(2 - 1/(-2)). Let d = y + p. Is d a multiple of 10?
True
Let a(i) = i**2 - 7*i + 6. Let p be a(6). Suppose 2*l + 6 = p, -v - v - 5*l = -49. Is 24 a factor of v?
False
Let d be (2*-1)/((-1)/7). Let o = -9 + d. Suppose i + 13 = 4*r + 47, -o*r + 42 = 2*i. Is 13 a factor of i?
True
Let l(g) = -g**3 + 6*g**2 + 7*g - 4. Let q be l(7). Is 6/q + (-47)/(-2) a multiple of 11?
True
Suppose 10 = 5*a + 2*p, 2*p = 5*a - 1 - 9. Let x(y) = y + 1. Let i be x(-1). Suppose i = -0*o - a*o + 30. Is o a multiple of 10?
False
Suppose 21 = -3*l - 0. Let y(p) = -p**2 - 6*p + 10. Let h be y(l). Suppose -h*n - 29 = -95. Does 9 divide n?
False
Suppose -3*j = -3*g - 5*j + 101, -70 = -2*g - 2*j. Let c = g - 13. Is c a multiple of 9?
True
Suppose 5*o + 20 = 0, 3*o - 24 = y - 75. Is y a multiple of 19?
False
Suppose 3*d - q = -d + 95, 3*d - 70 = q. Does 17 divide d?
False
Let d = 92 - 6. Is 43 a factor of d?
True
Let c(h) = -6 - 4*h + 7 + 31*h. Is c(1) a multiple of 14?
True
Let f = 377 + -269. Does 18 divide f?
True
Let g(m) be the third derivative of 2*m**2 + 7/60*m**5 + 0 - 5/24*m**4 + 1/2*m**3 - 1/120*m**6 + 0*m. Is 16 a factor of g(5)?
False
Let v be 1/(-2) - (-211)/2. Let u = v + -74. Does 12 divide u?
False
Let w(u) = u**3 + 9*u**2 - 12*u - 6. Is w(-10) a multiple of 14?
True
Suppose 7*f - 144 = 10. Does 7 divide f?
False
Let u be 6/15 + 84/15. Let p(t) = -2*t + 8. Let s be p(u). Let m(v) = -7*v + 2. Is m(s) a multiple of 15?
True
Suppose -2*k + 0*k = -78. Suppose -4*n + 239 - k = 0. Is 23 a factor of n?
False
Let n(y) = -y - 4. Let a be n(-10). Does 11 divide (a/7)/(1/21)?
False
Suppose -i + 13 = 2*t, -2 - 21 = -3*t - 5*i. Is t a multiple of 4?
False
Suppose 61 = 5*f - 379. Is 17 a factor of f?
False
Suppose 3*q - q = -2*p + 146, 205 = 3*q - 4*p. Is 15 a factor of q?
False
Suppose -2*q = -184 - 248. Suppose -2*y + 5*y = q. Let o = y + -36. Is o a multiple of 18?
True
Let b(q) = -56*q + 36. Is 25 a factor of b(-5)?
False
Let t = -1 - -4. Suppose 2*s - t*y = 24, 4 - 89 = -5*s - 5*y. Is -5*3/(s/(-8)) a multiple of 5?
False
Suppose 3*j + 9*o - 67 = 4*o, 0 = -5*j - 4*o + 129. Is 15 a factor of j?
False
Suppose 2*i + 11 = 7*i - 3*s, 5*i - 2*s - 14 = 0. Suppose 94 = -2*c + 4*c - i*v, -5*v = 10. Is c a multiple of 14?
False
Suppose 0 = -3*z + 8 + 73. Let y = z - 0. Is y a multiple of 11?
False
Let l(v) = -5*v**2 - 12*v - 8. Let j(t) = 4*t**2 + 12*t + 7. Let k(c) = -3*j(c) - 2*l(c). Is k(-5) a multiple of 2?
False
Let q = 96 + -36. Does 30 divide q?
True
Let b = -3 + 0. Let r(h) = -h**2 - 6*h - 1. Let i be r(b). Suppose a - 4*a = -m - 14, 4*a = -4*m + i. Does 2 divide a?
True
Suppose -5*q = -2*k - 3 + 28, -q - 29 = -2*k. Is k a multiple of 4?
False
Let m = 311 - 145. Does 25 divide m?
False
Suppose 0 = 2*t - 28 + 4. Suppose 0 = -4*y + t - 0. Suppose -y*j + 2*j + 14 = 0. Is 7 a factor of j?
True
Suppose -3*o + w = 524, -o - 96 = -3*w + 68. Let a = 246 + o. Is 25 a factor of a?
False
Suppose -s - 4*s = 15, -42 = f + 4*s. Is (36/14)/(f/(-280)) a multiple of 6?
True
Let v(s) = 5*s + 1. Let b be v(-1). Let x be (-12 + 2)/(b/66). Is 11 a factor of (x/6)/(-5)*-2?
True
Is 8 a factor of (-174)/(-4)*8/12?
False
Let z(b) = 4*b**2 + b**3 + 2 - b**2 - 6 + b. Let q be z(-3). Let v = 17 + q. Does 10 divide v?
True
Let b(q) = 3*q + 13. Let s be b(-6). Does 8 divide (1/2)/(s/(-240))?
True
Suppose -3 + 11 = 5*c + 2*o, 8 = 2*c + 2*o. Let n(w) = w**2 + 3. Let u be n(c). Suppose 0 = p - 0*p + 4*z - 5, 0 = -u*p - z + 48. Is 14 a factor of p?
False
Let n = 104 - -204. Is 20 a factor of n?
False
Let h = -17 + 28. Is h a multiple of 11?
True
Let h(n) = 2*n**2 + 2*n - 5*n**2 + 4*n**2. Suppose -3 = -3*a - 15. Is h(a) a multiple of 3?
False
Suppose 0 = -7*d + 69 - 13. Is 3 a factor of d?
False
Let w = 88 + -20. Is 17 a factor of w?
True
Let b(r) = r + 4. Let n be b(0). Suppose -8*z = -3*z - 330. Suppose 3*q + 3*i - z = 0, 0 = -q - 3*i + n*i + 18. Is 11 a factor of q?
False
Suppose -3*m - 3*w + 132 = 0, 4*w + 76 = -2*m + 4*m. Is m even?
True
Let a = 103 + -53. Let j(x) = x**3 - 9*x**2 + 4*x - 1. Let v be j(8). Let n = a + v. Does 11 divide n?
False
Suppose 3*v - 817 = y, 2*y = 2*v - 909 + 363. Suppose -m = 3*m - v. Is 17 a factor of m?
True
Let m(d) = d + 4. Let h(x) = x**3 - 13*x**2 + 2*x - 17. Let t be h(13). Is 7 a factor of m(t)?
False
Let v = 4 + 0. Suppose 0 = 2*p + r - 48, 0 = p - v*p + r + 72. Does 12 divide p?
True
Let p = 0 + -3. Is 17 a factor of (p - -1 - -21) + -2?
True
Suppose -324 = -3*u + 51. Does 5 divide u?
True
Suppose 4*m = 5*m. Suppose 0*n - 2*n - 38 = m. Let j = n + 34. Is 13 a factor of j?
False
Is 67 - ((-40)/2)/4 a multiple of 18?
True
Let j be (0 - -1)/(-3)*-3. Let w(b) = 27*b - 2. Is w(j) a multiple of 20?
False
Does 3 divide (-3)/2 - 46/(-4)?
False
Suppose -4*y + 11 = -3*p, p + 4*y = 2*y + 13. Suppose 3*u + 100 = 4*f, -p*f + u = 2*u - 62. Is 11 a factor of f?
True
Let q = -2 + 3. Suppose -2*d + q = -5. Suppose 0 = -d*b - 2*v + 50, v = 2*b + 2*b - 52. Is b a multiple of 5?
False
Let l(s) = 2*s**2 - 5*s - 1. Is 29 a factor of l(8)?
True
Let k be (-219)/(-5) + (-2)/(-10). Suppose 4*v - k = -4*y, 4*v - 5 - 23 = 4*y. Is 3 a factor of v?
True
Let l(p) = 2*p**2 - 11*p + 15. Is l(7) a multiple of 20?
False
Let g(o) = 22*o + 5. Is 9 a factor of g(1)?
True
Suppose -5*v = -5*c + 720, 2*v - 720 = -c - 4*c. Is 18 a factor of c?
True
Suppose -4 - 4 = -4*r. Suppose -8 = -2*c + 5*j - 3*j, r*j = 8. Is c a multiple of 4?
True
Let p(v) = 0*v - 3*v**3 + 0*v**2 +