 + 3*x - 48. Suppose o*m - 130 = 2*m. Is 11 a factor of m?
False
Let f(q) be the second derivative of q**4/6 - 2*q**3/3 + 3*q**2 - q. Let z be 1/(-1)*4/(-1). Does 11 divide f(z)?
True
Is 10 a factor of (-422)/(-7) + 92/(-322)?
True
Suppose -2*f + 6*f + 3*x = 225, -4*f + 3*x + 207 = 0. Suppose f + 6 = 3*b. Does 6 divide b?
False
Suppose 8*d = 4*d. Suppose -5*c + 13 - 3 = d. Suppose c*u - 18 = -u. Does 6 divide u?
True
Is 6 a factor of (76/(-24)*4)/(2/(-3))?
False
Let s be 14 + 5 + (-9)/3. Let t = s + -8. Is 8 a factor of t?
True
Suppose z + 5*a - 13 = 0, -2*z = -2*a - 0*a + 10. Let c(b) = -2*b - 3 - 8*b - b. Does 8 divide c(z)?
False
Let p = 52 - 15. Let y = p - -28. Is 10 a factor of y?
False
Let j(r) = r - 2 + r + 0 + 2*r**2. Does 11 divide j(3)?
True
Suppose -5*j + j + 5*o = -461, -5*j + 568 = 2*o. Is 9 a factor of j?
False
Let q(n) = -n**2 - n - n + n - 3 - n**3. Is 10 a factor of q(-3)?
False
Suppose 8 = -2*x + 34. Let y = -9 + 0. Let o = x + y. Is 2 a factor of o?
True
Let g be 9/2 - 4/8. Let v = 14 + g. Is 14 a factor of v?
False
Let m = 96 - 11. Is 17 a factor of m?
True
Suppose 0 = -b + 1 + 8. Let q be 2/7 + 480/35. Let d = q + b. Is 8 a factor of d?
False
Let g = -99 - -124. Is g a multiple of 5?
True
Suppose 0 = 3*k - 4*v + 17, 0*k - 11 = k - 4*v. Let r = k - -3. Suppose r = x - 2*x + 4. Is 4 a factor of x?
True
Let o(s) = 3*s**2 - s**3 + s**2 + 5*s**2. Let a be o(9). Suppose a = -0*x - x + 22. Does 11 divide x?
True
Let l(m) = -10*m**2 + 12 - m + 0*m**3 + m**3 + 11*m. Is 7 a factor of l(9)?
True
Suppose -3*s + 48 = -3*x - 15, 0 = s - 2*x - 21. Is 9 a factor of s?
False
Let m(b) = b**2 + 5*b + 6. Let x be m(-4). Suppose 3*w = -x*w + 20. Does 8 divide (-2*12)/((-6)/w)?
True
Let t = -218 + 577. Is 36 a factor of t?
False
Suppose 2*d + 30 + 9 = -5*o, d = 2*o + 3. Let w be 16/d - (-6)/21. Does 16 divide 93/4 - w/(-8)?
False
Is 9 a factor of 63 - (3/(-6) + 1/2)?
True
Let q = -7 + 13. Suppose 0 = 12*c - 17*c - 5. Let s = q + c. Does 4 divide s?
False
Let p = 22 - -73. Does 19 divide p?
True
Suppose j + 5*i = 5 - 1, 4*j + 2*i + 38 = 0. Let s(p) = -p**2 - 12*p - 7. Let b be s(j). Suppose -94 = -b*o + 50. Does 12 divide o?
True
Let g = -50 - -74. Does 8 divide g?
True
Let u(p) = 8*p. Let k be (4/((-12)/(-15)))/1. Suppose -k = -2*v + 7. Is u(v) a multiple of 17?
False
Suppose 5 = 4*z + 1. Let i(q) = 22*q**2 - 1. Let k be i(-1). Let w = k + z. Does 11 divide w?
True
Suppose -n + 0*n + 1 = 0. Let j be ((-1)/2)/((-1)/4). Does 10 divide (25/2)/(n/j)?
False
Let z = -79 - -128. Is z a multiple of 11?
False
Suppose 4*j = -3*v + 266, j - 2 - 3 = 0. Is 18 a factor of v?
False
Suppose -18 = x - 4*x. Is 26 a factor of 1/(-3) + 338/x?
False
Suppose 0 = -u + 6 - 1. Is 2 a factor of u?
False
Let o(r) = -r**3 + 13*r**2 - 14*r - 13. Does 18 divide o(9)?
False
Let y be (-7)/42 + (-242)/(-12). Let n = -14 + y. Is n a multiple of 2?
True
Let x = 18 - 2. Is 16 a factor of x?
True
Let i be -2*(1 - 1 - 3). Suppose 195 = -r + i*r. Is r a multiple of 19?
False
Let h(b) = -b**3 + 9*b**2 - 3*b - 6. Let u(k) = -3*k**3 - 15*k - 18 + 6*k + 18*k**2 + 9*k**2. Let z(v) = -17*h(v) + 6*u(v). Does 17 divide z(8)?
True
Let k(f) = -2*f**3 - 8*f**2 - 5*f - 5. Let i be k(-5). Suppose 0 = -3*q - 2*q + i. Does 7 divide q?
True
Let r(c) = c**2 - 6*c - 6. Is 7 a factor of r(9)?
True
Let f(k) = k**2 + 3*k + 1. Let x be f(-4). Suppose -2*h + 15 = -x. Is h a multiple of 5?
True
Let y(v) = v**2 - 3*v - 6. Does 4 divide y(5)?
True
Suppose 4*p - p = 84. Is 8 a factor of p?
False
Suppose 0 = 4*i, 8 = 3*t - t - 5*i. Is (6 + 2)*12/t a multiple of 13?
False
Let r = 19 - 29. Let a = -10 - -27. Let z = a + r. Is z even?
False
Suppose -g = p - 28, 24 = g + 4*p - 2*p. Suppose -2*u = -g - 4. Is 18 a factor of u?
True
Let n = 131 - 55. Is n a multiple of 19?
True
Suppose -f + 4 = 4*t - 21, -4*f + 10 = -2*t. Let b(i) = -2*i - i - t*i. Is b(-2) a multiple of 12?
False
Let b(f) = 6*f - 15. Is b(8) a multiple of 11?
True
Suppose 5*t - 6 = 9. Suppose -i - 25 = -t*i + o, 3*i - o = 38. Is 6 a factor of i?
False
Suppose -o + 1 = -11. Let j = o - 20. Let l = 10 - j. Does 9 divide l?
True
Let i = 13 - 12. Let y(u) = -u + 7. Let j be y(3). Let z = j + i. Is z a multiple of 5?
True
Let x(q) = -q - 1. Let n be x(-1). Suppose -2*u - s + 30 - 1 = n, -4*u + 2*s = -38. Is 6 a factor of u?
True
Suppose 2 = 2*o, 0*l + 3*l - 46 = 2*o. Does 4 divide l?
True
Suppose 2*w = w + 2. Suppose -3*g + 3*d = -0*g - 66, w*d = 6. Is 6 a factor of g?
False
Let w(f) = -3*f - 17*f**2 - 11 - 3*f - 2*f. Let h(j) = 6*j**2 + 3*j + 4. Let q(y) = -8*h(y) - 3*w(y). Does 13 divide q(-2)?
True
Let a(v) = v**2 - 6*v - 1. Let b be a(6). Does 10 divide b + 2 - (-28 - 1)?
True
Suppose -7*w + 16 = -3*w. Suppose -f + 195 = w*f. Is f a multiple of 13?
True
Suppose -5*k - 2*n + 4 = 0, 0 - 4 = 5*k - 2*n. Suppose -4*x + 19 = 3*q, 2*q = 2 - k. Is x a multiple of 3?
False
Suppose -q = 2*q - 5*d + 6, 2*q = 2*d. Suppose 0*a = q*a. Suppose -3*s = -4*i - a*s + 168, 0 = 5*s. Is i a multiple of 12?
False
Let m(a) = a**2 - a + 9. Let k be m(0). Suppose -64 = -4*g + p, -4*g = 4*p - k - 35. Let c = g - 2. Is 5 a factor of c?
False
Let p be (-36)/(-15) - (-2)/(-5). Suppose p*v + 11 = 47. Does 18 divide v?
True
Let m be 1*(2/(-1) + 2). Suppose m = -w - w + 6. Is 3 a factor of w?
True
Suppose 0 = -4*a + 5*i + 59, i + 24 = a + 8. Is a a multiple of 21?
True
Let v(n) = 3*n**2 + 20*n - 8. Let j(p) = -5*p**2 - 30*p + 12. Let f(w) = 5*j(w) + 8*v(w). Does 11 divide f(4)?
False
Let j be 8/(-20) + (-34)/(-10). Suppose g + 3*w - 4 - 8 = 0, -j*w = -4*g + 93. Let o = 41 - g. Does 10 divide o?
True
Suppose -4*w - 3 - 25 = -2*b, 26 = -3*w - b. Let x(n) = -n**2 - 6*n + 3. Let z be x(w). Let u = 26 + z. Is 13 a factor of u?
True
Let x = -4 + 6. Suppose 16 = x*v - v. Suppose 3*d = 4*d - v. Is 8 a factor of d?
True
Suppose 8 - 36 = -4*v. Let t(y) = 12 + 11 + 10*y - y**3 + 2 - 31 + 6*y**2. Does 13 divide t(v)?
False
Let f(r) = -3*r**3 + r**2. Let j be f(-1). Suppose -5*h = j*y - 60, y + 56 = 4*y + h. Is 10 a factor of y?
True
Let r = 7 - -1. Let l = r - -2. Is l a multiple of 10?
True
Suppose -351 = -19*k + 16*k. Does 30 divide k?
False
Is (-4 + -140)*(-12)/16 a multiple of 12?
True
Suppose -y = -8 - 16. Does 6 divide y?
True
Suppose -24*m + 21*m + 324 = 0. Is 30 a factor of m?
False
Suppose 5*p - 5*t = 185, 0 = -2*p + 4*t + 103 - 29. Is p a multiple of 32?
False
Let z(h) = -h - 15. Let i be z(-9). Let p be ((-4)/i)/((-7)/105). Is (-2 - p/4)*94 a multiple of 18?
False
Let d(i) = -i**2 + 14*i - 8. Is d(10) a multiple of 13?
False
Let l(u) = -u**2 - u. Suppose 0 = h - 3*q + 4 - 2, -3*h + 4 = -4*q. Let f(m) = 5*m**2 + 2*m. Let x(n) = h*l(n) + f(n). Does 10 divide x(-5)?
False
Let n = 25 - 18. Let l(x) = 4 + 1 + 0 + 2*x. Does 9 divide l(n)?
False
Does 28 divide (-1172)/(-14) + (-6)/(-21)?
True
Let o(l) = 83*l - 1. Let n be o(1). Let x be n/4 - (-1)/(-2). Let j = 28 - x. Is 4 a factor of j?
True
Let v(q) = -q + 3. Suppose 30 = -4*c - 4*g - 18, 5*c + 30 = g. Is v(c) a multiple of 10?
True
Suppose 3*z + 2 = -2*r, 3*r + 10*z = 5*z - 5. Suppose -2 = -6*a + r*a. Suppose -w - 7 = -a*w. Is w a multiple of 4?
False
Suppose q = 4*v - 14, -q = 3*q + v + 73. Let p = q + 44. Does 7 divide p?
False
Suppose -4*d + 9*d - 60 = 0. Suppose d*w = 8*w + 116. Does 12 divide w?
False
Suppose 6*s - 2*s - l + 320 = 0, -162 = 2*s - l. Let k = s - -116. Let b = k + -23. Is b a multiple of 7?
True
Let i(u) = 2*u**3 - 2*u**2 - 5*u + 1. Does 5 divide i(3)?
False
Suppose 9*q = 285 + 30. Is 7 a factor of q?
True
Is 19 a factor of 0 + (-2)/11 + 3165/165?
True
Suppose -3 - 17 = 4*m. Suppose 6 = -4*s + 5*d - 141, -2*s = -5*d + 81. Let y = m - s. Is 9 a factor of y?
False
Let l be 1 + 4 + (-2 - 1). Suppose 90 = 3*n - 3*a + 6, -l*n = a - 68. Is n a multiple of 16?
True
Does 7 divide 1616/26 + (-4)/26?
False
Suppose u = 2*m + 31, u + 5*m - 38 = -0*m. Is u a multiple of 7?
False
Let f(d) be the first derivative of -5*d**2/2 - 4*d - 2. Let s(h) = -h**3 - 7*h**2 - 8. Let v be s(-7). Is 20 a factor of f(v)?
False
Suppose 6*g - 114 = 3*g. Does 9 divide g?
False
Suppose 5*s = s + 332. Is s a multiple of 21?
False
Let s(w) be the first derivative of -w**3/3 - 5*w**2 - 10*w + 2. Is s(-7) a multiple of 5?
False
Suppose -2*h = -7*h 