Let f be a(6). Let o(w) = -w**3 - 7*w**2 - 6*w - 6. Let c be o(f). Is 13 a factor of (1 - 2)/(1/c)?
True
Let j = -20 - -36. Is j a multiple of 11?
False
Let m be (-1 - -2) + (1 - 0). Let x(u) = -u**3 + 2*u**2 + 2*u - 3. Let p be x(m). Does 5 divide p/((-3)/(-11))*3?
False
Suppose 5*m = 5*c + 50, -m + 5 = -3*c - 5. Suppose 0 = -u - m + 49. Does 10 divide u?
False
Let y = 12 + -24. Does 13 divide y/9*(-276)/8?
False
Let h(n) = -n**2 + 9*n + 16. Let a be h(11). Is (-3)/(-9) + (-88)/a a multiple of 8?
False
Suppose 4*i = -2*r + 6*i + 316, -4*i + 502 = 3*r. Is 41 a factor of r?
False
Let o = -316 + 527. Suppose 0 = -4*v + o - 47. Is v a multiple of 19?
False
Let b = 75 + -67. Is 8 a factor of b?
True
Let x be (-1 + 10/4)*2. Let i(s) = -2*s + 4*s**2 + 4*s**3 + s**2 - 2 - x*s**3. Is i(-5) a multiple of 6?
False
Suppose -2*y + 0*y = 0, 2*n + 5*y - 4 = 0. Suppose 10 = 2*o, -n*o = 5*l - 0*l - 90. Does 16 divide l?
True
Let y(t) = -3*t - 1. Let z be y(-2). Suppose -2*p - 2 = -2*m + 4, -14 = z*p - 4*m. Is (-54)/(-15) + p/(-5) a multiple of 2?
True
Let r(j) = j**3 + 7*j**2 - 6*j + 7. Let l be r(-8). Let f = l - -23. Does 12 divide f?
False
Let d be 1*(-9 - -1)/2. Let t = 13 + d. Is 13 a factor of t/(-6) + (-122)/(-4)?
False
Is 23 a factor of 4/10 + 4116/60?
True
Let t(j) = -j**3 - 5*j**2 - 4*j. Let z be t(-4). Suppose z = -w + 3*w. Suppose -5*s - 16 + 71 = w. Is 4 a factor of s?
False
Suppose -63 = 52*u - 55*u. Is 6 a factor of u?
False
Suppose 0*c = -c + 32. Is 9 a factor of c?
False
Let k(v) = -5*v + 2. Let a(o) = -o - 1. Let u(s) = s**2 - 4*s + 6. Let l be u(4). Let i(t) = l*a(t) - k(t). Is 3 a factor of i(-11)?
True
Let u = 25 - 10. Suppose -3*g = 2*g - 11*g. Suppose -u = -3*j - w + 22, g = 4*j + 5*w - 53. Is 5 a factor of j?
False
Let k(v) = 14*v - 42. Does 35 divide k(18)?
True
Let d be 14/8 - 2/(-8). Suppose 65 = -2*p + 3*p + a, d*a + 10 = 0. Is p a multiple of 23?
False
Suppose 0 = 5*p - 3*x + 430, 3*x = -2*p + x - 156. Let o = p + 171. Let r = o + -52. Is 18 a factor of r?
True
Let a(s) = -3*s**3 + s**2 - s. Is a(-2) a multiple of 10?
True
Let x(q) = -q**3 + 7*q**2 - 4*q + 4. Let i = 4 - -1. Does 10 divide x(i)?
False
Let g(u) = -19*u**3 - u**2 + u + 1. Let y = 3 + -2. Let a(j) = j**2 - 2*j. Let q be a(y). Is g(q) a multiple of 11?
False
Let m(u) = 6*u**2 - u + 2. Let p = 16 - 14. Is 12 a factor of m(p)?
True
Let j = 199 + -119. Is j a multiple of 25?
False
Let o = 3 + -9. Let s be 15/o - 1/(-2). Is 2 a factor of 4 - (2 + s)/2?
True
Let v = 70 + -27. Let f = v + 6. Is 16 a factor of f?
False
Let g = 0 - -2. Suppose 5*r + n - 634 = 0, -2*r - g*n = 3*r - 638. Suppose r = 3*k + 3*w, -2*w = -3*k + 86 + 65. Does 15 divide k?
False
Let l = -5 + 2. Is 10/l*(-12)/2 a multiple of 10?
True
Let x be (-2)/(-7) - 912/(-42). Suppose i = -2*c + 4*c + 15, -2*i = -2*c - x. Is i a multiple of 7?
True
Let c(s) = s**3 - 3*s**2 + s - 4. Let d be c(3). Let n be (1/(1 - 0))/d. Is n/(1/(-1*15)) a multiple of 13?
False
Let d = -7 - -9. Suppose -5*b + 3*b + 1 = r, 7 = d*r - b. Suppose -5*a = -r*a - 52. Is a a multiple of 13?
True
Suppose j - 28 = -3*j. Is 18 a factor of (-268)/(-7) - 2/j?
False
Suppose -j - 5 + 49 = 0. Does 23 divide j?
False
Let k = -6 + 10. Suppose 3*v + 16 = k*v. Let r = 27 - v. Is 9 a factor of r?
False
Let k = -4 + 7. Suppose 0 = c + 3*z - 22, -4*c + k*z - 10 + 53 = 0. Is 13 a factor of c?
True
Let r(a) = -4*a + 2*a**3 - 3*a**3 + 3*a**2 + a**2 + 2*a. Let m be r(4). Does 5 divide ((-12)/m)/(3/20)?
True
Let b = 18 + -16. Is b even?
True
Suppose -5*y - 3*l - 77 = -9*y, 0 = 3*y - 3*l - 54. Does 4 divide y?
False
Suppose 0 = -5*b + 618 - 58. Does 14 divide b?
True
Let r(v) = -3*v**2 + 4*v + 5. Let u be r(-3). Does 7 divide (-9)/3 - u - 3?
True
Suppose 7 + 7 = 2*n. Let w(a) = a**3 - 8*a**2 + 10*a - 9. Does 6 divide w(n)?
True
Suppose 14 = 4*u - 5*z, -2*z - z = -u. Suppose 3*t + 2 = -2*j + u, j - 7 = t. Suppose 5*r - 7 = 3, -j*i + 5*r + 35 = 0. Is 8 a factor of i?
False
Suppose 0*g + 3 = -3*g. Is 16 + (-1)/1 + g a multiple of 8?
False
Let q(n) = n + 4. Let x be q(-4). Suppose h - 56 = -x*h. Does 14 divide h?
True
Suppose -2*d - 141 = -7. Is 13 a factor of (-1)/(2/4) - d?
True
Suppose -6*f + 4*f - g = -21, -4*f + g = -27. Is f a multiple of 4?
True
Suppose -199 = 3*z - 4*m, 2*m + 297 = -2*z - 3*z. Let r = z + 97. Does 18 divide r?
True
Let k be (6/(-10))/((-6)/(-30)). Is 4 a factor of k/(-2*(-2)/(-24))?
False
Suppose 1 = 2*q - 1, 4*r - q = 27. Does 5 divide r?
False
Let c(y) = y**3 - 9*y**2 - 6*y - 1. Let b be c(9). Is (b/15)/(1/(-9)) a multiple of 27?
False
Let t(i) = i**2 - 1. Let c(q) = -12*q**2 - 4*q + 3. Let o(w) = -c(w) - 6*t(w). Suppose 0 = -5*x - 1 - 9. Is o(x) a multiple of 14?
False
Let z(k) = -k - 4. Let g be z(-6). Suppose 0 = 2*r + g, 8*t + 2*r - 13 = 3*t. Suppose 2*x + t*x = 145. Does 14 divide x?
False
Let v = 22 - 18. Suppose 0 = n - v*n + 30. Is 10 a factor of n?
True
Let j = 3 - -2. Let k be (-2 + 1 + 0)*-5. Suppose -j - k = -a. Does 10 divide a?
True
Suppose -s - 8 = -62. Let y(f) = 91*f**2 - 5*f + 4. Let k be y(1). Suppose s = 4*n - k. Does 18 divide n?
True
Suppose s = -23 - 12. Is 18 a factor of (-5)/s - (-377)/7?
True
Let g(k) = -k**3 + 2*k**2 + 3*k - 2. Let o be g(3). Let d(s) = 6*s**2 - 3*s - 1. Is d(o) a multiple of 10?
False
Suppose -3*w = 8 + 1. Is 13 a factor of (-3 - w) + (42 - 3)?
True
Let o be ((-6)/(-5))/(2/10). Suppose -g + 22 = -o. Is 12 a factor of g?
False
Let c = -11 - -15. Suppose -c = k - 17. Is 13 a factor of k?
True
Suppose h + 15 = -4*h. Is 11 a factor of (25 + h)*12/8?
True
Does 5 divide -3 - (-11 + -2 + 5)?
True
Suppose 2*a = 4*u - 0*a - 220, -5*a = -3*u + 165. Is 11 a factor of u?
True
Suppose -76 - 224 = -5*h. Does 20 divide h?
True
Let s = 75 + -55. Does 19 divide s?
False
Suppose -4*s = 2*a - 38, 4 = 3*s + 1. Is a a multiple of 2?
False
Suppose 2*g = g. Let r = g - -2. Suppose 0 = -4*x + r*h + 103 - 17, 4*x = -h + 71. Is x a multiple of 8?
False
Let v(n) = 17*n - 3 - 6*n - 12. Does 17 divide v(6)?
True
Suppose 3*h = 2 + 22. Let n(t) = 2*t + 2. Let o(d) = 4*d + 4. Let r(s) = 5*n(s) - 2*o(s). Is 9 a factor of r(h)?
True
Suppose 8*f - 7*f - 28 = 0. Does 8 divide f?
False
Let z(p) = -3*p + 21. Is z(-16) a multiple of 15?
False
Let g(p) = -5*p + 0 + 6 - 9. Is g(-9) a multiple of 23?
False
Is 11 a factor of (33/6)/((-5)/(-60))?
True
Is 16 a factor of (-8 - -8) + 32*4?
True
Let b(x) = -3*x + 3. Let l be b(3). Let f(k) = -7*k - 4*k**3 + 1 - 7*k**2 + 0*k**3 + 3*k**3. Is f(l) a multiple of 7?
True
Let l = 43 - 30. Does 13 divide l?
True
Suppose 7*m - 3*m - 16 = 0. Let i(s) = 4*s - 1. Let c be i(4). Suppose m*n + 26 = 2*b, 0 = -5*b + n + 5 + c. Is 3 a factor of b?
True
Let y = -6 + 9. Suppose 5*h = -4*n + y, h + 4 = 4*n - 5. Is 11 a factor of 22*((-1)/n - -1)?
True
Suppose 0 = 3*f + 3*g - 8*g + 14, -f = -2*g + 6. Suppose 3*m - 4*y - 29 = 0, -4*y - 16 = -f*m - 3*y. Is 3 a factor of m?
False
Suppose 4*g - 2*g = 216. Suppose 2*b = j + 44, 3*j = 5*b + j - g. Is b a multiple of 10?
True
Let l = -101 + 144. Does 7 divide l?
False
Let h(o) = o**2 + 6*o + 2. Let i be h(-6). Is 14 a factor of 84/(-9)*(-3)/i?
True
Suppose 9 = 6*m - 3. Suppose m*p + 39 = 4*p - n, p = -n + 21. Does 5 divide p?
True
Let z be 4*2*(-1 + 0). Is 22 a factor of (-450)/(-21) - z/14?
True
Let y(u) = 2*u + 32. Is y(-10) a multiple of 2?
True
Let k = -97 - -528. Suppose 3*i = k - 38. Is i/4 + 1/4 a multiple of 15?
False
Suppose 38 = u - 7. Is u a multiple of 10?
False
Is 45 a factor of (-3 - -2)/(2/(-134))?
False
Let t = 2 - -2. Let v(s) = -2*s - 1. Let x be v(-3). Suppose 3*m + 2*m - 11 = -t*o, -x*m - 25 = 0. Is 9 a factor of o?
True
Let c(g) = -g**2 - 21*g + 1. Is c(-20) a multiple of 4?
False
Is 3 a factor of 3 + -6 + 3 + 15?
True
Suppose h + 5*s - 26 = 0, -48 = -5*h - 2*s + 36. Is h a multiple of 4?
True
Suppose -2*k + 12 + 36 = 0. Is k a multiple of 3?
True
Let f(d) = d**3 - 9*d**2 + 10*d - 5. Suppose -7 - 1 = -n. Does 8 divide f(n)?
False
Let l(c) = -3*c - 2. Let o be l(-4). Let i = o - 5. Suppose -i*z = -15, -5*k - 13 = -5*z - 73. Is k a multiple of 12?
False
Suppose -c = -7 - 1. Suppose -5*o = c + 2. Does 3 divide 10/4 + o/(-4)?
True
Let q(i) = -4*i - 1. Let z be q(-2). Let m(t) = 4*t - 2. Does 10 divide m(z)?
False
Suppose 2 = -2*u + 10. Suppose 