e
Let n(a) = a**3 + 2*a**2 - 3*a + 6. Let s be n(-3). Let y(w) = 8*w**2 - 9*w + 18. Is 16 a factor of y(s)?
False
Let x(u) = 3*u**2 + 18*u + 4. Let q be x(-5). Let r(l) = l + 21. Is r(q) a multiple of 3?
False
Is 46 a factor of (11/(88/568))/(0 - -1)?
False
Let p be 72/((-3)/1) - 1. Let l = p - -19. Is 4 a factor of 9/l - (-35)/2?
True
Let a = 117 - 90. Let i(g) = 7*g - 36. Is i(a) a multiple of 17?
True
Let f = 6137 + -4096. Is 21 a factor of f?
False
Let l be 7/2 + (-9)/(-18). Suppose -l*i = -i. Suppose -3*h - h + 232 = i. Is h a multiple of 24?
False
Suppose -7*z - 28 = -2*z - p, -4*z - 3*p = 30. Let k = -31 + 19. Let g = z - k. Is g a multiple of 3?
True
Suppose -4*k - 2 + 10 = 0. Suppose q - k*q = -38. Is 8 a factor of q?
False
Let h = -85 + 1907. Does 15 divide h?
False
Let q = 71 + -35. Let k = q + 9. Let i = k + 3. Is i a multiple of 23?
False
Let g = -14 + -18. Let k = g - -71. Is 9 a factor of k?
False
Suppose x + 4*b + 127 = 4*x, 0 = 2*x + b - 92. Suppose -5*a + 4*s + 196 - 4 = 0, a - x = 3*s. Is 14 a factor of a?
False
Let c = 3 + 11. Let k = c - 12. Suppose -5*g + 3*q = k*q - 290, 4*g + q = 232. Does 11 divide g?
False
Suppose -2*o - x = -5*o + 357, -3*x + 595 = 5*o. Is 3 a factor of o?
False
Let y(g) = -g**2 - 8*g + 13. Let c be y(-9). Suppose l = -2*l - s + 239, -5*l + 404 = -c*s. Let u = -55 + l. Is 9 a factor of u?
False
Suppose l = 2*i - 405, l = 5*i - 2*i - 608. Suppose 0 = 3*p - 6*p - 3, 2*p = 3*o - i. Is 16 a factor of o?
False
Let i(r) = r**3 - 11*r - 14. Does 8 divide i(6)?
True
Suppose 2*t - 41*g + 39*g - 122 = 0, 5*g = -20. Does 4 divide t?
False
Is 15 a factor of -1 + (1 + -59)*-7?
True
Suppose 0 = -6*y + 2*y + 16. Is 29 a factor of ((-8)/y)/((-4)/58)?
True
Let s(o) = -o**3 - 13*o**2 - 24*o - 34. Let i be s(-11). Let j be 1/(-4) - (-63)/(-4). Let f = i - j. Is 3 a factor of f?
False
Let g(k) = -2*k + 8*k + k + k - 1. Does 15 divide g(2)?
True
Let y be 10/15 + 412/3. Suppose -5*c - 3*r = -27, -5*c + 4*r - 1 = -0*r. Suppose -v - 5*m = -76, -c*v + 3*m + y = -0*v. Is v a multiple of 17?
True
Let z be 38/5 + (-3)/5. Suppose -3*l = -z*l + 4. Is 34 a factor of l + 121 + -1 + 1?
False
Suppose 4*a + 24 = -2*s + 66, 0 = a + 3*s - 3. Is a a multiple of 11?
False
Let s = 50 - 95. Let o = 168 - s. Does 17 divide o?
False
Let r = 187 + -38. Does 20 divide r?
False
Let f = 201 - -94. Does 35 divide f?
False
Let d(i) = -i**3 + 75. Let w be 3 - 3 - (0 + 0). Let h be d(w). Suppose -5*y + h = -0*y. Is y a multiple of 12?
False
Let u(x) = -2*x + 14. Let c be u(5). Let n = 22 - 22. Suppose -5*g - 525 + 145 = -4*h, -c*h + 3*g + 372 = n. Does 18 divide h?
True
Let m(v) = v**3 - 7*v**2 - 2*v + 13. Let u be m(7). Is 15 a factor of 3/4 + u + 3971/44?
True
Is 7 a factor of ((-2244)/11)/(8/(-6))?
False
Suppose 4*g + 4*v = 18 - 2, -3*g - 4*v = -11. Suppose -b - 13 = 4*y, -y - 4*b + 13 = g. Is 24/15*(-30)/y a multiple of 4?
True
Suppose 5*g + 479 = 6*g. Does 52 divide g?
False
Let y(r) = 60*r**3 - r**2 + r - 1. Let f(j) = -j**2 + 16*j. Let i be f(16). Suppose i = 3*l + 1 - 4. Does 26 divide y(l)?
False
Let a = 40 + -26. Suppose -b + 7 = -3*x - a, b - 2*x = 16. Suppose 5*n - 80 = b*r - r, -5*r = -3*n + 52. Does 14 divide n?
True
Let s(c) = 36*c. Let d be s(1). Suppose 16*r - 13*r - d = 0. Does 12 divide r?
True
Suppose -n + 0 = 2, -24 = -p + 5*n. Let v = -15 + 21. Let h = p + v. Is 8 a factor of h?
False
Let r = 34 + -12. Is (r/4)/(1/22) a multiple of 11?
True
Let f be (-51 - 2)*-2*(-6)/3. Let u = -143 - f. Is u a multiple of 14?
False
Suppose -15*h - 27 + 87 = 0. Let r(m) = 5*m**3 - 7*m**2 + 7*m - 2. Is 26 a factor of r(h)?
True
Let h = 11 - 9. Suppose -h*s - 16 = -5*x + s, 5*s + 12 = x. Suppose -5*w + x = 4*q - 56, -5*q - 2*w + 81 = 0. Does 11 divide q?
False
Let m(z) = -3*z + 4. Let x = 25 - 18. Let p be m(x). Let s = p + 32. Does 7 divide s?
False
Let k = -32 + 45. Suppose -11 + k = j. Suppose -b + 13 = -j*t, -4*t + t = -5*b + 37. Does 3 divide b?
False
Suppose -m + 97 = 2*v, 2*v - 5*v - 208 = -2*m. Does 14 divide m?
False
Let u(q) = q**2 + 4*q. Let i be (-19)/3 - 1/(-3). Let k = -3 - i. Does 16 divide u(k)?
False
Suppose -11*m + 7*m = -20. Suppose 4*d = -m + 17. Suppose -4*k = 5*b - 196, d*k - 3*b - 70 - 50 = 0. Does 17 divide k?
False
Is 23 a factor of (-3 + 16*3/15)*355?
False
Let o(t) = -149*t - 146*t + 302*t + 45. Is o(7) a multiple of 19?
False
Let x = 17 - -130. Is 9 a factor of x?
False
Suppose 0 = -3*y + 7*y - 4*t + 24, -4 = -y - t. Let d(h) = -5*h**3 - 2*h**2 + 1. Let s be d(y). Does 14 divide 110/(-2 + s) + -4?
False
Suppose 116*i - 96*i - 2240 = 0. Is 7 a factor of i?
True
Let o = -24 + 61. Let u be (-7 - -13) + -6 + 0. Suppose -k = -2*w - 0*k + o, u = 5*w + 5*k - 85. Is w a multiple of 12?
False
Let d = 358 + -42. Is d a multiple of 25?
False
Let r be (8/7)/(8/56). Suppose 3*f + 16 = -r. Let p = f - -14. Is p a multiple of 3?
True
Let j(w) = w**2 - 4*w - 4. Let i be j(5). Let u(k) = k + i - 17*k - 7*k. Is 12 a factor of u(-1)?
True
Suppose -3*u + 2091 + 6834 = 0. Is u a multiple of 20?
False
Let y be (0/((-2)/2))/(-2). Suppose 5*i - 2*i - 15 = y. Suppose -175 - 70 = -5*a + i*o, -2*o = 2*a - 78. Does 11 divide a?
True
Suppose 4*g + 2*v = 4*v + 3280, -2*v = -g + 820. Does 9 divide g?
False
Let h be -6*(1 + 2 + 27/(-6)). Suppose 13*z = h*z + 608. Does 8 divide z?
True
Let h(f) = f**3 + f. Suppose 0 = -5*y + 2*y. Let q be h(y). Suppose q*n = -n + 44. Is n a multiple of 8?
False
Suppose 15 = 3*w - 3*s, 3*w + s - 23 = 2*s. Is 14 a factor of (w - 8)/((-2)/(-112))?
True
Suppose 5*k - 548 = 4*b, 0 = -11*k + 7*k + 4*b + 440. Let c = 151 - k. Is 2 a factor of c?
False
Let d(k) = -8*k + 3. Let w(r) = -r**2 - 1. Let b(s) = d(s) + w(s). Let h be b(-8). Is (20/(-2))/((-1)/h) a multiple of 10?
True
Let k(j) = -j**2 - 12*j - 8. Let f be k(-11). Let t = f - -20. Does 7 divide t?
False
Let l(h) = h**2 + h + 6. Let u(v) = -2*v**2 - v - 13. Let a(g) = 5*l(g) + 2*u(g). Let w be a(11). Let c = w + -102. Does 14 divide c?
True
Suppose 300 = -b + 478. Is 23 a factor of b?
False
Suppose 5*z - 5 = -4*g, -40 = z - 6*z + 3*g. Suppose 4*x - 5 = -2*o + z, 3*o + 2*x = 19. Is 7 a factor of o?
True
Suppose y = 2*y - 1, -y = -3*i - 10. Let g be 39/i*(2 + -3). Let b(z) = -z**2 + 14*z - 8. Is 5 a factor of b(g)?
True
Let s = 91 + -88. Let k be 1 - (9 + 3/(-1)). Is 14 a factor of k/15 - (-169)/s?
True
Suppose 0 = -k - q - 52, 2*k - 77 = 3*k - 4*q. Let n = 132 + k. Is 17 a factor of n?
False
Suppose -4*f = 20, g = 4*g - 5*f - 13. Suppose 15 = 5*v - 5*x, -3*x = -v + 2*x - 13. Is 12 a factor of 29 + v/(14/g)?
False
Let z(c) = 10*c**3 - 2*c**2 - 9*c + 45. Is z(5) a multiple of 30?
True
Let v(i) = 10*i + 6*i + 57 - 9*i + 3*i. Does 49 divide v(26)?
False
Let a = -2346 + 3989. Does 53 divide a?
True
Let z(u) = -2*u**3 - 4*u**2 + 2. Let v(w) = -w**3 - 5*w**2 + 6*w - 4. Let i be (-2)/(-9) + (-224)/36. Let h be v(i). Is z(h) a multiple of 22?
True
Let d(l) = l**3 - 4*l**2 + 4*l + 4. Let m be ((-2)/3 - 0)*-24. Suppose -4*w + 5*n = -6, 2*n = -0*w - 3*w + m. Does 5 divide d(w)?
True
Is 4 a factor of (-52 - -7)/((-6)/16 + 0)?
True
Let q = -108 + 24. Is 6 a factor of 21/q*-13*4?
False
Let c(h) = -h**3 - h**2 + 2*h - 2. Let i = -22 - -17. Is 44 a factor of c(i)?
True
Suppose 4*g + 3*l - 38 = 0, -4*g + 3*l + 50 = -0*g. Suppose -9 = -4*z + g. Suppose -r = 1 - z. Does 4 divide r?
True
Suppose -5*w - 3*r + 3936 = -999, 4945 = 5*w + r. Is w a multiple of 10?
True
Let a(g) = -6*g**3 - g**2 + 3*g - 2. Let i be a(1). Does 59 divide (6 + -4)*(-1 + (-927)/i)?
False
Let q(x) = -27*x - 16*x - 63*x + 3. Is q(-1) a multiple of 9?
False
Let a = 7 - 4. Let b(v) = -v**3 + 6*v**2 + 29*v - 16. Let t be b(9). Suppose a + 5 = -t*c, -2*z + 62 = -2*c. Is 6 a factor of z?
False
Suppose 1154 = 5*i - 126. Is i a multiple of 32?
True
Suppose 5*g = 3*h + 381 + 201, 3*g + h = 338. Let w = g + -67. Is 7 a factor of w?
False
Let q be (15/(-9))/((-20)/72). Let i(n) = n**2 - 3*n - 5. Let s be i(q). Is 9 a factor of 470/s - 6/39?
True
Let r(f) = -8*f + 4. Let d be r(5). Let y(k) = 6*k**2 - 6. Let j be y(6). Is d/(-45)*j/4 a multiple of 14?
True
Suppose -52*m + 15*m = -81770. Does 34 divide m?
True
Does 14 divide 973/5 + 2 + 45/(-75)?
True
Is 61 a factor of ((-3)/(-3) - 37)*(-128)/8?
False
Suppose -5 - 5 = -5*d. L