. Is 7 a factor of o?
True
Suppose 0 = 2*p + 4*f - 22, 3*p + 5*f = -9 + 46. Suppose s = -2*s - 3*h + 21, -2*h + p = 3*s. Does 3 divide s?
False
Let k(a) = a**2 + 7*a + 9. Does 3 divide k(-6)?
True
Is (4 - 0)/(-4 - (-315)/77) a multiple of 11?
True
Let q be -14*(-13)/2 - 3. Suppose -5*m + q - 8 = 0. Does 12 divide m?
False
Let d(v) = 2*v**2 - 8*v + 4. Let w be d(6). Let l = w - -43. Does 21 divide l?
False
Let i(k) = k**2 - 4*k + 10. Let g(l) = -7. Let d(a) = 1. Let j(p) = -6*d(p) - g(p). Let b(y) = i(y) - 4*j(y). Does 9 divide b(5)?
False
Let v = -12 - -21. Let i = 14 + v. Is 18 a factor of i?
False
Let c(a) = a**3 + 6*a**2 - 3*a - 7. Let x be c(-6). Suppose -6 = -h + x. Is h a multiple of 10?
False
Let q(f) = -f**2 + 1 + 3 + 2 - 13*f + 5*f. Is 3 a factor of q(-8)?
True
Let k be 180/24*2/3. Suppose 4*q + k*v - 91 - 105 = 0, 3*q + 4*v - 148 = 0. Does 27 divide q?
False
Let j(z) = -z**3 + 7*z**2 - 8*z - 1. Is 7 a factor of j(4)?
False
Suppose -1 - 2 = -x. Is 11 a factor of x/((4/14)/2)?
False
Is 52 a factor of (3 + (-201)/15)/(5/(-125))?
True
Suppose -4*g - 1414 = -4*o + 42, 3*o - 4*g = 1095. Suppose a - 6*a = -2*r - o, 2*a - 138 = 4*r. Suppose i + 5*x + a = 2*i, -5 = x. Is 18 a factor of i?
False
Suppose 0 = -5*f + 302 + 8. Does 31 divide f?
True
Let v(o) be the first derivative of o**3/3 + o**2/2 + 3*o - 2. Is v(-10) a multiple of 26?
False
Let g(y) = 6*y - 3 - 5 + 10. Does 4 divide g(3)?
True
Let a(m) be the third derivative of m**5/15 - m**4/24 + m**3/6 + m**2. Is 4 a factor of a(1)?
True
Suppose 10 = 2*q - 0*q. Suppose -q*x = -83 - 17. Is x a multiple of 5?
True
Let j = -90 + 226. Is j a multiple of 17?
True
Let h(m) = -m**2 + 8*m - 4. Let n(r) = 30*r**2 - r - 1. Let x be n(-1). Suppose -v + 6*v - x = 0. Does 4 divide h(v)?
True
Let t(j) = -j**3 + 2*j**2 + 3*j + 5. Let c be t(5). Let f = c - -87. Is f a multiple of 16?
True
Let k = -325 + 463. Does 12 divide k?
False
Let w(p) = 0*p + 10*p**3 + 1 + p - 41*p**3. Is 31 a factor of w(-1)?
True
Does 4 divide ((-96)/(-20))/((-12)/(-90))?
True
Let o = 18 - 11. Suppose -3*b + 4 = -2*a - 51, 0 = 5*b + a - 70. Let p = b + o. Is 14 a factor of p?
False
Suppose 4*h + 2 = 6*h. Let g be (-9)/((-3)/h) + -1. Does 3 divide 7/1 - g/(-2)?
False
Let x(p) = p**2 - 7*p + 7. Let c be x(6). Let o(t) = 3*t - t - 3 - c. Does 10 divide o(7)?
True
Suppose 0 = 5*y - h - 1797, 2*y - 705 = 7*h - 2*h. Is y a multiple of 17?
False
Suppose b = 4*p + 115, 0 = 3*p - 2*p - b + 31. Let x be p/(-6) - (-2)/(-3). Suppose 30 = w + x*w. Is w a multiple of 6?
True
Suppose 3*s - h = 3 + 27, 2*s + 2*h - 12 = 0. Is -1 + (s/(-3) - -13) a multiple of 6?
False
Suppose -8*w + 14*w = 138. Is 8 a factor of w?
False
Does 12 divide (-119)/(-2) - 6/(-12)?
True
Suppose -14*g = -9*g. Suppose -15 = -l - g. Is l a multiple of 15?
True
Let y(q) be the second derivative of q**4/24 + 8*q**3/3 + 3*q**2/2 - 3*q. Let k(u) be the first derivative of y(u). Is k(0) a multiple of 8?
True
Suppose 45 = -5*c + 5*r, -5*r + 3 = 4*c - 3*c. Let x = c + 11. Suppose 0 = s - 4*f - 2 - x, 3*f = s - 8. Does 7 divide s?
True
Let x = -9 + 11. Is 13 a factor of 4/x + 77/7?
True
Let x = -46 + 22. Let d = -9 - x. Does 3 divide d?
True
Suppose -180 = 2*v - 7*v. Is v a multiple of 12?
True
Let j(f) = f**2 + 4*f - 3. Let g be j(-4). Is 6 a factor of ((-4)/g)/(4/72)?
True
Suppose 2*d - 110 = -x, 4*x = d + x - 41. Is 20 a factor of d?
False
Suppose 4*s - 261 = s. Suppose -s = 4*r - 5*a - 275, -5*a + 106 = 3*r. Suppose i - r = -i. Does 12 divide i?
False
Suppose -3*t - 6 = -5*t. Suppose -58 = -3*y + l, -t*l = -3*y - 8*l + 52. Is y a multiple of 19?
True
Let m(h) = -h**3 + h**2 + 263. Let c be m(0). Suppose 5*r + 3 = c. Suppose -3*k - g = -r, 77 = 2*k + k - 4*g. Is k a multiple of 11?
False
Let n = 8 - 6. Let u be 12/(-8)*(-16)/1. Suppose 0 = n*y - 5*y + u. Is 4 a factor of y?
True
Suppose 2*r = -3*m + 1 + 1, -4*r = 8. Suppose -10 = q + q, 0 = -m*l + 5*q + 151. Is l a multiple of 13?
False
Suppose -401 = -2*k + 51. Is 15 a factor of k?
False
Let z(o) = -o**2 + 7*o - 9. Let w be z(4). Let b = w + 5. Is 8 a factor of b?
True
Let u = 7 + 21. Let x = u - 12. Does 8 divide x?
True
Suppose 0 = -3*n + 12, 2*n + 3*n - 86 = -2*k. Is k a multiple of 11?
True
Suppose 3*j - 3*m + 4*m - 4 = 0, -7 = -5*j - 2*m. Suppose 4*f = 21 - j. Suppose f*d = 2*d + 9. Does 2 divide d?
False
Let d(t) = -13*t - 2. Is d(-2) a multiple of 12?
True
Let y = -6 + 4. Let o(f) = 4*f**2 - 2*f. Is 10 a factor of o(y)?
True
Suppose 2*c + 5*w + 7 = 0, 0*w - 5*w - 61 = -4*c. Is 9 a factor of c?
True
Suppose 0 = -c + 3 - 1. Does 2 divide (c + -1)/((-8)/(-24))?
False
Let o(c) = 12*c**2 - 3*c - 11. Let f be o(5). Is 29 a factor of f/8 - (-6)/(-24)?
False
Suppose 5*s + 114 = 11*s. Is 19 a factor of s?
True
Suppose 3*x - 3*a + a = 42, 3*a = -3*x + 27. Is x a multiple of 6?
True
Let q = 12 - 2. Suppose -2*s - q = 94. Let z = s - -76. Is 12 a factor of z?
True
Suppose 6*o - 4*f = 3*o - 38, 2*f = -3*o - 8. Let d be (3 + 0)*o/(-9). Is 2 a factor of d + 1 + 1 - -1?
False
Let u = 2 + -34. Let n = 68 + u. Is n a multiple of 14?
False
Let v = -3 - -3. Let d = 4 + v. Suppose d*y + 0*y - 5*p - 22 = 0, y = -2*p + 12. Does 8 divide y?
True
Let u be -2*(-6 - 2*-1). Suppose 3*l = -4*y + 19, 4*l - y + 2*y - u = 0. Is -29*l*(-2 - -1) a multiple of 12?
False
Let i(l) = 2*l - 4 + 8 - 20*l. Let b be i(-8). Suppose -4*g - 3*w + b = 0, 2*w - 41 = -g + 1. Is g a multiple of 17?
True
Let m(p) = p**2. Let d be m(-1). Let l(q) = -q**2 + q. Let x be l(d). Suppose 0*b - 2*b + 26 = x. Does 13 divide b?
True
Let j = -4 + 6. Suppose 2*x + 44 = c, 2*x = -5*c - j*x + 150. Let h = -4 + c. Does 15 divide h?
True
Let u(f) = -6*f + 8. Is 11 a factor of u(-6)?
True
Suppose -3*y + 33 = -y + 5*c, 0 = 3*c + 9. Is y a multiple of 6?
True
Let y = -35 - -173. Is 13 a factor of y?
False
Let u be (-8)/(4/(2*-1)). Let v = 4 - u. Suppose -5*y - 3*i - 6 + 81 = v, -y + 15 = -i. Is y a multiple of 15?
True
Suppose 5*t - 385 = -5*s, -2*s - 4*t + 27 + 127 = 0. Is 15 a factor of s?
False
Let o be 123 + 1/(-1) + -2. Suppose -p + 105 = p - 5*k, -2*p + 2*k = -o. Is p a multiple of 15?
False
Let n(k) be the first derivative of -k**2 - 14*k + 1. Let w = -68 - -57. Is 8 a factor of n(w)?
True
Let w = 15 + -5. Is 9 a factor of w?
False
Let v be (1/(-2))/((-2)/184). Suppose -5*x + 3*x + v = 0. Suppose 2*p - x - 1 = 0. Does 6 divide p?
True
Suppose 3*k + 0*k - 15 = 0. Suppose 5*t - k*n = -55, 2*n + 18 = -5*t + 3*t. Let c = 0 - t. Is 5 a factor of c?
True
Suppose -a + 9 + 9 = 0. Let o be 482/a + (-4)/(-18). Let p = o + 19. Does 23 divide p?
True
Suppose 4*u + 10 = -u. Let h = u - -4. Suppose 4*m + 2*l = 78, 36 = h*m - 0*m - 2*l. Does 10 divide m?
False
Suppose z = -4*z - 40. Does 5 divide ((-11)/(-4))/((-2)/z)?
False
Suppose -3*l - 2*j = -4*j - 63, -9 = 3*j. Let o(a) = 6*a**3 - 2*a**2 - 2*a + 2. Let x be o(2). Let d = x - l. Is d a multiple of 19?
True
Suppose -4*b = -5*b - 4, -38 = -s + 4*b. Is 11 a factor of s?
True
Suppose -z - 170 = -3*z. Suppose 0 = -7*p + 2*p + z. Is 14 a factor of p?
False
Let k = 42 + -27. Is 16 a factor of k/(-5)*32/(-6)?
True
Let k(z) = z**2 - 4*z + 2. Let y be k(4). Suppose 3 = -y*m + 7. Is 2 a factor of m?
True
Let w = -12 + -11. Let k = 13 - 24. Let m = k - w. Does 5 divide m?
False
Let h(i) = 4*i - i**2 - 2*i**2 + 0*i**3 - i**3. Let x be h(-4). Let g(z) = z**3 + z**2 + 8. Does 4 divide g(x)?
True
Let o(h) = -2*h**2 + 6*h - 3. Let v(b) = -2*b**2 + 5*b - 2. Let t(d) = 4*o(d) - 5*v(d). Suppose -r = -2*r + 2. Is t(r) a multiple of 2?
True
Suppose 2*i = 3*g - g - 8, 4*g = 5*i + 14. Suppose g*z - 2*z - 4*r - 92 = 0, -2*z - 5*r = -11. Does 18 divide z?
True
Let p(u) = u**2 + 17. Let s = 0 - 0. Is p(s) a multiple of 6?
False
Let i(r) = -2 + 13*r + 2. Is 13 a factor of i(6)?
True
Let s(v) = -v**3 - 12*v**2 - 7*v + 9. Suppose -6*u + 3*u - 16 = 2*q, 0 = 2*q - 5*u + 32. Let k be s(q). Let z = -13 - k. Is z a multiple of 11?
True
Let s(m) = m. Let d(t) = -12*t + 12. Let a(y) = -d(y) - 8*s(y). Is 12 a factor of a(9)?
True
Suppose -i + 57 + 199 = 0. Is 38 a factor of i?
False
Let o(n) = 2*n**3 - 15*n**2 - 7*n. Is o(8) even?
True
Let m(u) be the third derivative of u**6/120 - 3*u**5/20 + u**4/8 - u**3/6 - u**2. Let o be m(9). Let s = 36 - o. Is 5 a factor of s?
True
Sup