Suppose -4*n + 3*k = -w - 240, 5*n + 5*k - 1445 = 0. Is n a multiple of 13?
False
Let x be 4/(-10) + (-6)/(-15). Let l = x + 0. Suppose -2*g + 4 + 12 = l. Is 8 a factor of g?
True
Is -120*((-15)/6 - (-10 + 8)) a multiple of 5?
True
Let r(v) = v**3 + 4*v**2 - 12*v + 7. Is 5 a factor of r(3)?
False
Let v be 37/(-3) + (-3)/(-9). Let y(r) = -r**3 - 12*r**2 - 14*r - 13. Is y(v) a multiple of 31?
True
Let t(y) = 8*y**2 + 39*y - 8. Is t(-6) a multiple of 2?
True
Let l = 30 - 40. Is 272/(-20)*l/4 a multiple of 9?
False
Suppose -5*z = -3*j - 7910, -3624 - 1122 = -3*z + 4*j. Is 13 a factor of z?
False
Let w(k) = 2*k - 20*k - 26 + 15*k. Is 2 a factor of w(-17)?
False
Suppose -f = -6*f + 30. Is (18/8)/(f/160) a multiple of 16?
False
Let p = -33 - -36. Suppose 5*v + 9*y - 413 = 6*y, -4*v + p*y + 352 = 0. Is 17 a factor of v?
True
Let h be -2 - (-12)/(-3 + 6). Suppose -2*p - 22 = -5*y + 2*p, -5*y - h*p = -4. Suppose 0 = -3*u - v + 80, y*v + 26 = 3*u - 66. Does 14 divide u?
True
Does 14 divide (377 - 2 - -2) + (-4 - -5)?
True
Let k = -1004 - -1059. Is k a multiple of 5?
True
Let p(c) = -c**3 + 4*c**2 + 6*c - 2. Let k be p(5). Let r be (-7 + 4)/(k/(-106)). Suppose -3*w + r = 4*m, -3*w - 108 = -4*m - 5*w. Is m a multiple of 22?
False
Is (0 + 642)/1 + 57/(-19) a multiple of 15?
False
Let s(b) = b**2 - 11*b + 14. Let q be s(10). Suppose 5*i = 4*k - 10, -k + 2 = -q*i + k. Suppose i*u + 0*u - 114 = 0. Is u a multiple of 19?
True
Let g be (-949)/52 - (-2)/8. Is 23 a factor of g/42 - (-304)/7?
False
Suppose -6*s = -2*s + 152. Let g = 44 + s. Is 3 a factor of g?
True
Let j(h) = -2*h**3 - 12*h - 41. Is 15 a factor of j(-4)?
True
Is 66/54*24*3 a multiple of 4?
True
Suppose -4*b + b = -4*d - 736, 0 = -4*b. Let n = 445 + d. Suppose 0 = 5*k - 5*j + 4*j - 327, 4*k - n = j. Is k a multiple of 16?
False
Suppose 0 = 2*o + 2 - 4. Let g be (36/10)/(o/35). Suppose -7*k + g = -4*k. Is 13 a factor of k?
False
Is ((-132)/(-8) + -5)/((-2)/(-28)) even?
False
Let u(q) = q**3 + 4*q**2 - 4*q. Is u(6) a multiple of 21?
True
Suppose -5*z + 4*a = 3*a - 13, -5*a = -10. Suppose 4*h + 68 = z*q, 0 = -5*q - 2*h + 99 - 29. Let o(m) = -m + 43. Does 9 divide o(q)?
True
Let w(g) = 34*g**2 - 7*g + 9. Suppose 0*k + 5*k - 15 = 0. Is 42 a factor of w(k)?
True
Let a = 35 - 38. Is 4 a factor of ((-544)/(-51))/((-2)/a)?
True
Suppose 0 = -13*f + 8*f. Let i be f + 0 + 4 + -2. Is 39 + 2/4*i a multiple of 20?
True
Let h be 16/2*3/6. Suppose 5*u = -2*z + 5*z - 305, h*z - u = 435. Is z a multiple of 22?
True
Let c(y) = y**3 - 4*y**2 + 2. Let h be c(4). Suppose h*b + b = 57. Is b a multiple of 6?
False
Suppose 2*v = -2*x - x + 1531, 4*v = 4*x - 2048. Is x a multiple of 73?
True
Let w = -2859 - -5050. Is 20 a factor of w?
False
Let l(x) = -57*x - 147. Is l(-7) a multiple of 12?
True
Let x = 0 + 5. Suppose -5*q = 247 + 43. Does 30 divide 8/20*x - q?
True
Let y = -755 + 1145. Does 7 divide y?
False
Suppose -3*f - v = -895, -25*v + 8 = -23*v. Is f a multiple of 11?
True
Let x be ((-28)/30)/7 - (-4)/30. Is 12 a factor of (-180)/(-12)*(11 - x)?
False
Let l(z) be the first derivative of z**4/4 + 7*z**3/3 + 5*z**2/2 + 2*z + 4. Is 9 a factor of l(-4)?
False
Suppose 4*h + 180 = -4*p - 0*p, 0 = 4*h - 2*p + 162. Let j = h + 59. Is j a multiple of 10?
False
Let u be 7 + -6 + (-3)/(-1). Let n be (-103)/3 + u/(-6). Let a = -7 - n. Is 14 a factor of a?
True
Let q(r) = -r**2 - 7*r - 1. Let n be q(-6). Suppose 0 = n*y - 73 - 107. Does 5 divide y?
False
Let v(f) = -11*f - 37. Let b be v(-18). Suppose -25 + b = o. Is o a multiple of 28?
False
Let z = -156 - -117. Is 34 a factor of (-1)/((-13)/2) + (-10212)/z?
False
Let a be 0 + (30 + 3 - -3). Let s = a + 2. Is s a multiple of 5?
False
Let u(y) = 3*y - 7. Let a(z) = z + 16. Let o be a(-10). Is u(o) a multiple of 11?
True
Let s(j) = 36*j + 11. Let i(x) = 24*x + 7. Let m(f) = -8*i(f) + 5*s(f). Let r(g) = g**3 - 5*g**2 - 17*g + 65. Let u be r(6). Does 3 divide m(u)?
False
Let w = 623 - -157. Does 52 divide w?
True
Let y = -701 - -2439. Does 6 divide y?
False
Let n(i) = 2*i**2 - 5*i + 9. Let p be n(4). Let b = p - 19. Suppose 4*f - 78 = -3*l - 33, b*l - 34 = -3*f. Does 12 divide f?
True
Suppose -s - 4*s = -70. Let j = s + -8. Suppose -3*p = -j*p + w + 100, 3*w = 5*p - 172. Is 8 a factor of p?
True
Suppose -5*x + 8*x = -15. Does 6 divide 1/(x - 2255/(-450))?
True
Let b(s) = -s + 37. Suppose 0*w = 5*g - 2*w - 80, -2*w - 48 = -3*g. Does 9 divide b(g)?
False
Let u = -720 - -989. Does 2 divide u?
False
Does 2 divide (780/40)/((-15)/(-100))?
True
Let g(m) = 2*m - 11. Let y be g(10). Let x(b) = 2*b - 16. Let z be x(y). Suppose z*t = 5 - 13, 142 = 5*o + 2*t. Is 9 a factor of o?
False
Is (-50)/(-200) - 29/(-4)*91 a multiple of 5?
True
Let p = 349 + -631. Let n = p - -460. Is n a multiple of 22?
False
Suppose -5*l - 5*z = 20, -2*l - 3 = -0*l + 3*z. Let r be (-12)/l*(-27)/6. Is 3 a factor of 11 - (-3)/r*2?
False
Let w be (0 + -2 - 0) + 3. Suppose 2 = n + w. Suppose -n = 4*h - 65. Is 5 a factor of h?
False
Does 49 divide ((-12825)/(-180))/(6/16)?
False
Suppose -2*l = 11 - 21. Let u(o) = o**3 + 3*o**2. Let x be u(-3). Suppose 0*g + 324 = 5*g - 2*i, x = -l*g - i + 333. Is g a multiple of 22?
True
Let x be 5313/27 - (-2 + (-64)/(-36)). Let m = x - 67. Is 26 a factor of m?
True
Let w = 7 + -60. Let i = -30 - w. Is i a multiple of 11?
False
Let z = 321 - 265. Is z a multiple of 28?
True
Let x be ((-2)/(-1))/(-1) + 8. Suppose -x*k + 9*k - 261 = 0. Does 6 divide k?
False
Let j(w) = w**2 + 4*w + 5. Let o be j(-5). Let a be (18/(-8) + 1)/(2/(-16)). Let d = a + o. Is 5 a factor of d?
True
Let y(g) = 11*g**2 - 3*g - 4. Let u be y(-7). Suppose l = 4*f - u, 2*l - 678 = -5*f - l. Suppose f = p + p. Is p a multiple of 23?
True
Let f(j) = 4*j**2 - 3*j - 7. Let m(q) = 3 + 0*q**3 - q**3 + q - 4*q**2 + 2*q**3. Let w be m(3). Does 19 divide f(w)?
True
Let t(u) = u**2 + 13*u + 17. Let h be t(-12). Does 20 divide h*1/(3/24)?
True
Let a = -71 + 84. Does 13 divide a?
True
Let w(g) = -2*g + 16. Let l be w(5). Is 4 a factor of -1*(-56)/l*3?
True
Suppose 3*a - 49 = 2*w, 0 = w - a + 7 + 16. Let o = w + 23. Suppose -t = -2*s + 81, 0*s + 2*s - o*t = 87. Is 13 a factor of s?
True
Does 32 divide (768/5)/(1/5)?
True
Suppose -4*q - 286 = -5*r + 150, 2*q - 76 = -r. Is r a multiple of 12?
True
Suppose -2*f - r - 23 = -0*r, -5*r + 35 = -5*f. Suppose 20 + 16 = 3*o. Is 58/o - f/60 a multiple of 2?
False
Let f(i) = i**3 - 22*i**2 - 23*i + 32. Is f(23) a multiple of 16?
True
Let d = -51 + 135. Suppose 7*a = 5*a + d. Is 6 a factor of a?
True
Suppose 140 = c - 366. Does 40 divide c?
False
Let b be 4/((-16)/10)*16/(-10). Suppose -10 = -5*t + 5*h, 0 = b*t - 4*h - h - 4. Does 3 divide t?
True
Let i be ((-16)/(-12))/(4/(-144)). Does 23 divide ((-207)/(-6))/((-9)/i)?
True
Suppose 3*q + 6 = 9. Is -2 + ((-376)/(-2 + -2) - q) a multiple of 13?
True
Let o(k) = -k**2 - 4*k + 5. Let b be o(-5). Let m(s) = -s**3 - s**2 + s + 72. Is m(b) a multiple of 29?
False
Let w(r) = 16*r**2 + 3*r + 26. Does 57 divide w(-8)?
True
Let m be (-2 - (6 + 2))/2. Let c = m - -36. Does 23 divide c?
False
Let s(h) = -h**3 + 16*h**2 + 4*h - 44. Is s(16) a multiple of 4?
True
Let m = -80 + 122. Is m/8 - ((-55)/20)/(-11) a multiple of 2?
False
Let u be (20/28 - -2) + (-4)/(-14). Let w = u - -89. Is 17 a factor of w?
False
Let q be (-2 - 0 - -9) + 1. Let m be (12/q)/(3/(-18)). Let s = 13 - m. Is s a multiple of 11?
True
Let a be (-30)/(-9)*(-3)/2. Let k be (-1)/a + (-266)/(-70). Suppose x + 81 = k*x. Is 9 a factor of x?
True
Let a(i) = i**3 - 13*i**2 - 14*i + 6. Let m be (0 + 0 - 4) + 18. Let t be a(m). Is 1 + 6*(-3 + t) a multiple of 4?
False
Let b = 58 + -114. Let q = b + 59. Does 3 divide q?
True
Is 28 a factor of ((-336)/(-18))/((-8)/(-228))?
True
Let y(k) = k**2 + 18*k + 16. Let i be y(-17). Let n be -3 - -166*(-1)/i. Suppose -5*o - 2*a = -4*a - n, -3*o = 2*a - 85. Does 21 divide o?
False
Let j(i) = i**3 + 7*i**2 - 11*i - 20. Let a be j(-8). Is 17 a factor of 2/a + -1 + (-4048)/(-32)?
False
Suppose -34 + 50 = 4*p. Let j = 6 + p. Is 3 a factor of j?
False
Suppose 4*d + 13 = -3. Is (12 + d)*9/2 a multiple of 12?
True
Suppose -83 = -7*v + 78. Suppose 0 = -3*z + v + 1. Does 4 divide z?
True
Suppose 8*b - 2*b - 510 = 0. Suppose -5*o + b = -135. Does 3 divide o?
False
Let l