 -45*l**3 - l**2 - 3*l - 3. Is 11 a factor of n(w)?
True
Let k be 2034/(-39) - 28/(-182). Let y = 86 + k. Does 27 divide y?
False
Let d = -26 - -56. Let t be d/9*(-1605)/5. Does 11 divide t/(-50) - 3/(-5)?
True
Let f(l) = -l**3 + l**2 - l. Let m(p) = -p**3 + 9*p**2 - 4*p. Let i(x) = -x**2 + x. Let s be i(-1). Let o(r) = s*f(r) + m(r). Does 15 divide o(-6)?
False
Suppose 2*x - 6 = -0. Let q be -20*(148/(-10) - -5). Suppose s + x*s = q. Is 19 a factor of s?
False
Let v be (-24)/32 - 57/(-12). Is (20 - (-12)/v)/(0 - -1) a multiple of 5?
False
Suppose 38 - 7 = -o. Let m = o - -37. Is 3 a factor of m?
True
Let w = -102 - -146. Suppose 0 = -2*u - 2*x + 32, 0 = -5*u - x + 5*x + w. Does 8 divide u/((-4)/(96/(-9)))?
True
Let b(k) = 68*k + 95. Does 29 divide b(5)?
True
Is 21 a factor of ((-362)/3)/(8/(-1152)*8)?
False
Suppose 0 = 3*f - 2*y - 209 - 6, 0 = -4*f + 2*y + 288. Let z = f - -5. Is 11 a factor of z?
False
Suppose -m + 13*d = 14*d - 34, -5*d = 0. Let q = -4 + -12. Let p = q + m. Is 9 a factor of p?
True
Suppose -4*i = 5*k + 210, i - 2*i = -5*k - 235. Let f = k + 165. Is 22 a factor of f?
False
Suppose 935 = -0*c + 11*c. Suppose -5*a = -4*s - s + c, 0 = 4*s - 2*a - 76. Is s a multiple of 9?
False
Let o(l) = -34*l - 13. Let i be (-1)/(0 + 2 + -1). Let b(n) = n + 1. Let r(d) = i*b(d) + o(d). Is r(-4) a multiple of 42?
True
Let i(m) = -13*m + 12. Let g(n) = -27*n + 24. Let t(w) = 4*g(w) - 9*i(w). Does 7 divide t(6)?
True
Let d = -7 + -1. Let p be 2*(-20)/d*-1. Let q(b) = 2*b**2 + 7*b + 3. Is q(p) a multiple of 8?
False
Let p = -41 + 48. Let v(b) = 2*b**2 - 7*b + 7. Does 7 divide v(p)?
True
Let g be (-2)/4*(-22 + 12). Let j(a) = 12*a - 8. Is j(g) a multiple of 26?
True
Does 13 divide 2/8 + 189495/180?
True
Let c(m) = 2*m**2 + 5*m + 26. Is 4 a factor of c(6)?
True
Suppose -7*j - 3 = -8*j. Suppose -j*f - f + 92 = -2*z, 5*z = -f + 45. Does 5 divide f?
True
Is 7 a factor of 187/4 + 120/(-160)?
False
Is 343 - (-11)/((-66)/18) a multiple of 16?
False
Let d(i) = -2*i + 38. Let r be d(16). Let h = -4 + 25. Let q = r + h. Is 27 a factor of q?
True
Does 24 divide ((-13356)/54)/((-4)/6)?
False
Let q(y) = -21*y - 1 - 7*y + 6*y. Let x = -808 - -805. Is 13 a factor of q(x)?
True
Let p = -21 + 33. Suppose f - p = -3*f. Suppose -l - f*l = -8. Does 2 divide l?
True
Let n(l) = l**3 - l**2 - 42*l - 6. Let v be n(7). Is 17 a factor of 1245/11 + v/33?
False
Suppose 19*w = 3*w + 5408. Does 14 divide w?
False
Let b = 713 - 314. Is 18 a factor of b?
False
Suppose 5*x - 195 - 1405 = 0. Let w = x + -165. Suppose 4*q = -t + w, 5*q = -3*t + 8*t + 225. Is 11 a factor of q?
False
Suppose 0*d = -d + 3. Suppose d*w + 105 = -12. Is 20 a factor of w/(-1) - (-27)/9?
False
Suppose -2*p = 3*p. Suppose p*g - g = -132. Is 33 a factor of g?
True
Let k(o) = -2*o - 5. Let w be k(-5). Suppose 5*a - 3*a + 2 = w*y, 28 = 5*a + 4*y. Suppose -5*f = -a*x - 8 - 0, -5*x + 5*f = 5. Does 3 divide x?
True
Suppose 3*p = 4*j + 209, -71 = -p + 2*j - j. Is 25 a factor of p?
True
Suppose -3*c + 153 = 3*w, -8*w + 3*w + c = -225. Does 23 divide w?
True
Let m = 25 - 16. Let z(y) = -m + y + 4*y - 4. Is 17 a factor of z(7)?
False
Let a = 147 - 70. Suppose 2*o - 197 + a = 0. Let f = o + -25. Is 25 a factor of f?
False
Suppose 4*q + 5*z - 3*z = 422, 0 = 4*q + 4*z - 432. Suppose 0*j + 3*j = 0. Suppose 0 = -3*s - f + q, j = -s - 4*s + 5*f + 185. Does 17 divide s?
False
Let g(l) = 14*l**2 - 33*l + 53. Let c(i) = -5*i**2 + 11*i - 18. Let t(d) = -7*c(d) - 2*g(d). Is 5 a factor of t(5)?
True
Is 4*(5 - 16)/(8/(-420)) a multiple of 67?
False
Let t(i) = i**3 - i**2 + i + 2. Let j be t(0). Let b = j - 3. Is (b/2 + -1)*-26 a multiple of 13?
True
Let t(w) = -w**2 + 5*w - 6. Let d be t(2). Suppose d = l - 3, -l = 4*p - 315. Does 6 divide p?
True
Let r = -2151 - -3787. Is r a multiple of 30?
False
Suppose -5*z + 4840 = 4*j, 5*j = 5*z + j - 4880. Is 18 a factor of z?
True
Let o(t) = -17*t**2 + 5*t + 19. Let s(q) = -9*q**2 + 3*q + 9. Let v(a) = 4*o(a) - 7*s(a). Let p be v(3). Let i = p + 104. Does 12 divide i?
False
Does 38 divide ((-12)/8)/((-9)/1338)?
False
Let q = -131 - -55. Is 10 a factor of q*2/4*(-13)/13?
False
Suppose 31*x - 5058 = 2382. Is x a multiple of 8?
True
Let o(m) = m - 7. Let b be o(6). Let c be (-1528)/56 + (-4)/(-14). Does 13 divide b*((-3 - -1) + c)?
False
Does 41 divide (3 - 4)/((-8)/3736)?
False
Let s(g) = -g**2 + 29*g - 16. Let m(r) = -r**2 + 17*r + 37. Let n be m(18). Does 42 divide s(n)?
False
Let p be (-11)/(-9) + 2/(-9). Let b(j) = 5*j + 10. Let k(f) = 1. Let h(g) = p*b(g) - 6*k(g). Does 15 divide h(7)?
False
Suppose g = -5*s - 36 - 91, 4*g + 66 = -3*s. Does 2 divide -13*(45/(-39) - 4/s)?
False
Suppose -r + 5*r - 152 = -4*p, r = -3*p + 110. Suppose p*t - 35*t = 39. Does 6 divide t?
False
Suppose 4*w = 66 + 1142. Is w a multiple of 40?
False
Suppose 2*r + 4 = 3*g, -4*r - 4 = -3*g - g. Let y be (-3 + r)*25/(-2). Suppose y = 2*h - 55. Is 20 a factor of h?
True
Let a(w) = w**2 - 47*w + 316. Does 39 divide a(61)?
True
Let s = -94 + 39. Let c = 16 - s. Does 15 divide c?
False
Let r be -2*(2 + -2 + (-2)/4). Is 38 a factor of r*((-8)/(-2) + 184)?
False
Let c = -7 - -21. Suppose 34 - c = 2*t. Suppose 5*x = -t, 4*x - 6 + 28 = u. Is 14 a factor of u?
True
Let c = 18 - 27. Let z = -3 - c. Let o = 16 + z. Is o a multiple of 6?
False
Let q = 48 - 44. Suppose -62 = -3*c - 5*f + 63, q*c - 195 = -f. Does 6 divide c?
False
Let n = 1892 + -1109. Is 3 a factor of n?
True
Let t = 370 + 438. Is t a multiple of 34?
False
Let h(a) = 14*a**2 - 10*a - 4. Is 40 a factor of h(9)?
True
Let b(d) = 19*d - 55. Is 15 a factor of b(4)?
False
Suppose -115*i = -4066 - 3524. Is 9 a factor of i?
False
Let m(p) = -2*p + 4. Let j be m(2). Let s = j + 19. Is 6 a factor of s?
False
Let t(b) be the first derivative of -35*b**2 - 20*b + 24. Is 34 a factor of t(-4)?
False
Suppose -2*a = -5 + 9. Does 13 divide (a - -6) + (-3 - -90)?
True
Suppose 0 = 16*y - 1007 - 721. Is 12 a factor of y?
True
Suppose 0 = a - 33*t + 32*t - 1592, -3*a + 4*t + 4773 = 0. Does 131 divide a?
False
Let p(j) = j**2 - 4*j + 2. Let t be p(4). Let x(i) = -i**2 + 3*i - 2. Let n be x(t). Let z = 19 - n. Is z a multiple of 6?
False
Suppose 0 = 2*h - 0*h + 2. Let p be (2 + h)/(7/161). Suppose -3*q + p + 16 = 0. Does 2 divide q?
False
Suppose 921 = 4*s + 5*y, 249 = -0*s + s - 5*y. Does 9 divide s?
True
Suppose -4*j - 2*v - 60 = 0, 4*v = -16 - 0. Let m(l) = -1 - 17*l - l**2 - 5 + 0 - 4. Does 29 divide m(j)?
False
Let t(k) = 5*k**2 + k + 2. Let a be t(-2). Let x(g) = g**2 + 7*g - 10. Let z be x(-8). Is 22 a factor of (z - a/(-12))*-66?
True
Suppose 3*g + 5*p - 2178 - 538 = 0, 0 = 4*g - 4*p - 3568. Does 23 divide g?
True
Let l = -25 + 20. Let q(g) = -g**2 - g - 1. Let w(t) = -3*t**3 + 8*t**2 + 3*t + 8. Let y(k) = l*q(k) - w(k). Does 5 divide y(2)?
False
Let t(z) = 10 - 2*z + z + z**2 + 7*z. Let r be t(-5). Suppose 25 = 5*k - 0*k, r*c = 4*k + 35. Is c a multiple of 3?
False
Suppose -k + 2*p - 247 = 0, 0 = -2*k + 2*p - 704 + 206. Let w = -134 - k. Is 22 a factor of w?
False
Let f be (-2)/(-8) + 45/12. Suppose 18 = -f*j + 2*j. Does 13 divide 48/j*(-30)/8?
False
Let i(j) = 3*j. Let m be i(1). Let g = -1 - m. Let y = g - -17. Does 3 divide y?
False
Suppose -2*b - i = -0*i - 365, -4*i = 4*b - 740. Does 5 divide b?
True
Suppose 10*k = -0*k. Suppose -64 = -2*i - 2*f, k*i = -3*i + f + 100. Is i a multiple of 11?
True
Suppose -49*v + 204 = -47*v. Is 17 a factor of v?
True
Suppose -5*l + 3*l = -3*t - 5, 3*l = -3*t. Is 10 a factor of (4/8*(0 - -102))/l?
False
Let a = -2245 + 2842. Does 11 divide a?
False
Let q(x) = x + 4. Let w be q(-4). Suppose w = -2*j + 1 + 13. Does 10 divide (-4 + j)*(-26)/(-6)?
False
Let n(o) = 3*o**3 - 5*o**2 - 9*o + 13. Is n(5) a multiple of 7?
False
Let t be ((-4)/8)/(4/(-8)). Does 10 divide (0 - (-6 + t)) + 5?
True
Let k be (302/(-8))/((-7)/56) - -3. Suppose -3*u + k - 41 = 0. Does 49 divide u?
False
Let q(t) = t**3 + 5*t**2 - 1. Let d be q(-4). Let i(n) = -n**3 + 16*n**2 - 19*n + 17. Let o be i(d). Let y = o + 71. Is y a multiple of 14?
True
Let a = -2 + 5. Does 28 divide (-1*(a + -2))/((-1)/131)?
False
Let d be (0/(-1))/(1 - -1). Suppose 0 = 5*o - 5*u - 80, -3*u = -7 - 2. Suppose -y = -o - d. Does 11 divide y?
False
Suppose 60 = 241*k - 247*k. Suppose 0 = -3*q +