 - 227. Let c = 122 + p. Does 20 divide c?
False
Let f be 111/4 - (-5)/20. Let i = 5 + f. Is 11 a factor of i?
True
Suppose 4*s - 583 = -5*g, 391 - 138 = 2*g - 5*s. Is g a multiple of 12?
False
Suppose 0 = w + 3*w - 24. Suppose g + 18 = -6. Is (-4)/g + 161/w a multiple of 19?
False
Does 22 divide (366/(-4))/((-5)/(40/6))?
False
Let y(z) = 7*z + 6. Let w(n) = 34*n + 30. Let s(l) = -3*w(l) + 14*y(l). Does 9 divide s(-6)?
True
Let i(k) = k**2 - 4*k - 7. Is i(-7) a multiple of 14?
True
Let i(x) = 2*x**3 - 3*x**2 - 3*x - 6. Let c be i(4). Let o = c - 24. Is o a multiple of 13?
False
Suppose 24 = -m - 3*m. Let p be (-244)/10 - m/15. Does 12 divide 0 - (0/3 + p)?
True
Suppose 65 - 23 = 2*s. Does 7 divide s?
True
Let g = -359 - -527. Suppose -g = -3*s - 63. Is 10 a factor of s?
False
Suppose 0 = -5*o - 5*p + 120, 5*o + 4*p - 126 = p. Suppose 4*l - 8 = -0*l. Suppose -g = l*g - o. Is g a multiple of 4?
False
Let i = 20 + -7. Let f = 41 - i. Does 14 divide f?
True
Let w(y) be the second derivative of y**3/6 + 7*y**2 + 2*y. Let g be w(-11). Does 11 divide (6 - 3)/g + 32?
True
Suppose n - 3*n + 127 = -r, -n = -5*r - 41. Let l = n - 39. Is 9 a factor of l?
True
Suppose 598 + 14 = 6*y. Does 17 divide y?
True
Let m(d) = -76*d**3 - 2*d**2 + d + 2. Does 33 divide m(-1)?
False
Let w = 122 - 188. Let o = w - -95. Is o a multiple of 12?
False
Suppose -3*x + 131 + 172 = 0. Is 11 a factor of x?
False
Suppose -2*v - 5*m = -12, -6 = -2*m - m. Let d = v - -21. Suppose 0*j + d = 2*j. Is 5 a factor of j?
False
Suppose m = 2*m + 2. Let i = m - -16. Is (-2)/3 - i/(-3) a multiple of 3?
False
Let a = -89 + 161. Suppose q = -q + a. Is 12 a factor of q?
True
Let p(f) be the third derivative of f**4/8 + f**3/3 - f**2. Does 4 divide p(2)?
True
Let t(b) = -2*b - 1. Suppose -5*p + 2*x - 3*x - 21 = 0, -x + 4 = 0. Let o = -2 + p. Does 4 divide t(o)?
False
Let h = -4 + 8. Let m(p) = 4*p + h - p**2 + 3*p**2 + p. Is 6 a factor of m(-3)?
False
Is 31*3/3 + 4 a multiple of 35?
True
Let w be (1/(-2))/((-4)/(-8)). Let r = w - -3. Does 11 divide 10 - (r + -1 - 2)?
True
Let h(u) = 80*u**2 - 1. Suppose 0 = 7*o - 8*o + 1. Does 20 divide h(o)?
False
Suppose 3*j - 37 = -2*v, j = -3*v - v + 79. Let p = 29 - v. Is p a multiple of 3?
True
Suppose 3*a - 8 + 2 = 0. Suppose 72 = 5*m - a*m. Suppose -m = -2*n - 6. Is n a multiple of 9?
True
Suppose -2*n + 14 + 4 = 0. Suppose 4*w - 2*t - 28 = -4, 3*t = -3*w + n. Is 14 a factor of 20/(-4)*(-14)/w?
True
Let j(a) = -2*a - 3. Let n(g) = -2*g. Let o be n(2). Let s be j(o). Suppose -l + 11 = -s. Does 9 divide l?
False
Let g(v) be the third derivative of 0 - 7/24*v**4 + 0*v - 1/3*v**3 + v**2. Does 10 divide g(-2)?
False
Let d(a) = -a**3 + 9*a**2 - 8*a + 5. Let u be d(8). Suppose 0 = -5*s - u*g + 295, s = -5*g + 65 - 2. Does 30 divide s?
False
Suppose z + 0*z - 60 = 0. Let x = z + 13. Does 14 divide x?
False
Suppose -7*p + 4*p + k + 564 = 0, 4*k = 3*p - 564. Is 47 a factor of p?
True
Is 24/(-16)*404/(-6) a multiple of 25?
False
Let v = -18 - -64. Suppose 5*f = -2*s + v, 7*f - 10 = 2*f. Does 15 divide s?
False
Let m(h) = h**2 + 10*h - 14. Suppose -5*u - 88 = -23. Is 25 a factor of m(u)?
True
Let m be (-1)/(1 - (-9)/(-6)). Suppose p + m*p - 6 = 0. Suppose -3*y - 5*h + 37 = -2*y, -p*h = -2*y + 26. Is y a multiple of 15?
False
Let f be 2/3*9/2. Suppose f*l + 45 = -63. Let i = l - -66. Is 15 a factor of i?
True
Suppose 4 = -h + 4*z, -h + 3*z - 3 = 3*h. Suppose 4*k + 1 + 15 = h. Is 8 a factor of 7 - (-2)/k*-2?
True
Suppose -5*c - 9 = 5*u - 2*u, 0 = 4*u - c - 11. Let q be (u/4)/((-2)/24). Let o = q + 8. Is o even?
True
Let y(b) = 2*b**2 + b - 6. Let v be ((-10)/(-8))/((-2)/8). Let j be y(v). Let i = j + -23. Is i a multiple of 7?
False
Let g(u) = 2*u**3 - 7*u**2 + 4*u. Let f(m) = m**3 + 2*m**2 - 2*m - 1. Let j be f(-2). Let a(s) = s**2 - 2*s + 1. Let i be a(j). Is 16 a factor of g(i)?
True
Let b(u) = -u**3 - 11*u**2 - u - 15. Let g be b(-11). Let c = 3 + g. Is 14 - c/(3/(-6)) a multiple of 10?
False
Let y be ((-7)/2)/((-2)/(-4)). Let l(u) be the first derivative of u**2/2 + 9*u - 3. Is 2 a factor of l(y)?
True
Let z = 118 - 37. Suppose -2*v + v = -z. Does 27 divide v?
True
Let j be (-10)/(-4) - (-4)/(-8). Let d = 0 - j. Is 6 a factor of (30/(-35))/(d/28)?
True
Let z(y) = 8*y**3 - 4*y**2 + y + 2. Suppose 2*m - 7 = -3. Does 21 divide z(m)?
False
Suppose 3*s + 6 = 4*s. Does 6 divide s?
True
Let g = -106 + 181. Is g a multiple of 8?
False
Let c be (13/2)/((-1)/(-2)). Suppose -c = b - 43. Is 15 a factor of b?
True
Let l = 118 - 48. Is 10 a factor of l?
True
Let t(i) = -i**2 + 60. Let a(y) = -y**3 + 2*y**2 - y + 2. Let d be a(2). Is 10 a factor of t(d)?
True
Is 8 a factor of 17/((-4)/(1 - 5))?
False
Let q be (2 + 0)*(5 + 0). Suppose 2*w = 4*w - 2. Does 5 divide ((-2)/(-2))/(w/q)?
True
Suppose -2 = -4*q + v - 3*v, -3*v + 17 = -q. Let y be (q/3)/((-8)/636). Let g = y + -36. Does 7 divide g?
False
Let w = 42 + 5. Is w a multiple of 18?
False
Suppose -2*y + 0 = 2. Let o be 6*(-2)/3*y. Suppose o*x + 0*x = 20. Does 2 divide x?
False
Let u(d) = 2*d**3 + 6*d**2 + 5*d - 9. Is 18 a factor of u(4)?
False
Let d be (-44)/5*(-125)/(-10). Is 4 a factor of d/(-9) - (-10)/(-45)?
True
Let s = 9 - 4. Suppose 3*f - s = 8*f, 5*f = -2*b + 79. Is 14 a factor of b?
True
Suppose 0 = -9*p + 6*p + 495. Is 12 a factor of p?
False
Does 5 divide (5/(-2))/(8/(-48))?
True
Let l(p) = -p**3 - 2*p**2 - 3*p. Suppose 0 = -5*a + 17 + 8. Let f(o) = -o**2 + 5*o - 3. Let u be f(a). Does 9 divide l(u)?
True
Let g be (-382)/(-8) + 4/16. Let p = 89 - g. Is p a multiple of 26?
False
Let g(m) = -29*m - 70. Does 13 divide g(-11)?
False
Let p(a) = -a**2 - 12*a + 4. Is 7 a factor of p(-8)?
False
Suppose 4*n = n. Suppose m = 2*p + 4, n = -2*m + 5*p - 0*p + 7. Suppose 0 = -3*d + 3*b + 24, -5*b = 3*d - m*b - 32. Is 5 a factor of d?
False
Is -1*-1*(32 + -3) a multiple of 6?
False
Let s(a) = -a**2 - 23*a - 2. Does 10 divide s(-11)?
True
Let b(h) = 24*h**2 + 3*h + 1. Is b(-1) a multiple of 17?
False
Let m(f) = f**3 + 4*f**2 + 4*f + 3. Let h be m(-2). Suppose 0 = h*r - 6*r + 3. Is 4 a factor of 7 - r - (0 + 2)?
True
Suppose -18*y = -23*y + 75. Is 3 a factor of y?
True
Let j(o) = -3 - 2*o + 7 + 5*o + o. Let a be j(-4). Does 11 divide (-4)/6 + (-428)/a?
False
Let i(k) = 2*k**2 + 3*k - 15. Does 26 divide i(6)?
False
Let n be (2/(-6))/(4/(-60)). Suppose -n*j + 10 = -4*j. Is j a multiple of 10?
True
Suppose -3*s + 7*s + 2*l - 68 = 0, 0 = s + 3*l - 12. Does 9 divide s?
True
Let l(a) be the third derivative of a**5/20 - a**4/4 + 4*a**2. Does 12 divide l(4)?
True
Let q be 8/20 - (-716)/10. Suppose -3*m = -0*m - q. Is m a multiple of 9?
False
Let l = -1 - -1. Let s(m) = -m**3 - 10*m**2 - m - 6. Let h be s(-10). Is (l + 8)/(h/14) a multiple of 12?
False
Let r(o) = o**2 + 3*o + 10. Let w be r(-7). Let q = -16 + w. Is 5 a factor of q?
False
Let w be (3 - 0)/(1/(-2)). Let b = w - -17. Is b a multiple of 7?
False
Suppose 0 = -l - 2 + 7. Suppose l*m + 52 = 4*y, -m = -6*m + 5*y - 50. Is (-273)/m + (-1)/(-4) a multiple of 8?
False
Suppose v + 5*s = 23, 2*s = -3*v - s + 57. Suppose 5*o + v + 42 = 0. Does 5 divide -5*2*18/o?
True
Let a(f) = 13*f + 2. Is 13 a factor of a(3)?
False
Suppose 8 + 9 = 4*d - y, 3*d - 4*y - 16 = 0. Let q(p) = -p**3 + 4*p**2 + p - 2. Let s be q(d). Suppose -3*z = s*a - 73, -26 = -a - 3*z + 5*z. Does 17 divide a?
False
Let r(s) = -s + 9. Let v be r(9). Suppose -q + a = -v*q - 4, 2*a = -2*q + 12. Suppose 29 + 81 = q*z. Is 11 a factor of z?
True
Suppose 2*s + 2*d - 226 = -0*s, 3*s - 334 = -4*d. Is 14 a factor of s?
False
Suppose -5*f + 12 = -13. Let y(b) = f*b - 5*b**2 + 1 - 4 - 4 + b**3. Is y(5) a multiple of 14?
False
Let n be (-1)/((-2)/2)*4. Suppose 5*f - 3*b = 0, -2*f - n*b = f + 29. Is (3/4)/(f/(-60)) a multiple of 8?
False
Let q = -4 + 1. Let d(o) = -o**3 + 2*o**2 - 6. Does 13 divide d(q)?
True
Suppose 230 = 3*o + 2*o - 5*v, -2*v = 0. Is o a multiple of 23?
True
Let v = -211 + 312. Is 18 a factor of v?
False
Suppose -3*g = -6*g + 54. Let f be g/(-8) + (-2)/(-8). Does 11 divide 202/18 - f/(-9)?
True
Suppose n - 4*f - 92 = 0, 0 = 4*f - 1 - 3. Is n a multiple of 16?
True
Let z(u) = -5*u. Let d be z(-6). Suppose 2*r - d = -0. Is r a multiple of 7?
False
Suppose 2*l = 6, -4*h + 2*l + 0*l = -14. Is 3/h + (-444)/(-10) a mu