(7). Suppose 0 = -w - 3*w. Suppose c*t = -w*t + 36. Is t a multiple of 8?
False
Let w(z) = -6*z - 9. Let j be 2/(2 - (-32)/(-14)). Is w(j) a multiple of 14?
False
Suppose 5*q - 25 = 4*z, 3*q - 3*z = -q + 19. Suppose 2*r - 10 = -3*r. Is 4*q - (r - 2) a multiple of 4?
True
Let p = 4 - 1. Is 11 a factor of 14 + 0/(-3) - p?
True
Let j = 1 - 1. Let z be 2 - j - 0 - 0. Suppose -5*f - 5*c = -120, -z*c + c = 4*f - 111. Does 17 divide f?
False
Suppose t = -z + 56, -4*t + 92 + 136 = 5*z. Does 6 divide 2/3 - t/(-3)?
True
Suppose 5*j - 345 = 2*j. Let t = j + -74. Let m = 79 - t. Does 14 divide m?
False
Suppose 0 = -2*z + 5*i + 5, 14 = -z - 3*z + 2*i. Let c = z + 9. Suppose -3*s + 3 = 0, -5*s + 149 = c*y + 44. Does 25 divide y?
True
Let i = -5 + 8. Let o(d) = 2*d**3 - 4*d**2 + 5*d - 3. Is 13 a factor of o(i)?
False
Let d(x) = 37*x**3 - x**2 - x - 1. Let t = 6 - 7. Let b be d(t). Let l = b - -54. Is l a multiple of 6?
False
Let z(t) = -t**3 + 13*t**2 - 11*t. Is 6 a factor of z(12)?
True
Let q be 2/9 - 3275/(-45). Suppose -v + 79 + 49 = 0. Let y = v - q. Is y a multiple of 15?
False
Is 23 a factor of 96 - (-3 + 2/(-2))?
False
Let w(l) = l**2 - 3*l + 3. Let s be w(3). Suppose 4*u - 18 - 9 = s*r, -5*u + 33 = -3*r. Suppose -u*n + 150 = -n. Is n a multiple of 15?
True
Let a be ((-104)/12)/((-4)/(-6)). Let k = 45 + a. Does 16 divide k?
True
Let v(n) = n**2 + 8*n - 1. Is v(-10) a multiple of 5?
False
Suppose 2*h + 11 = -19. Let i be ((-4)/6)/(2/h). Suppose 0 = 5*r - 15, 3*a - i*r + 4*r = 84. Is a a multiple of 11?
False
Suppose 0 = -q - 1, 2*n = 2*q + 83 + 239. Is n a multiple of 16?
True
Let m(k) = 6*k + 6 - k - 3*k - 4*k**2. Let s be m(-6). Is s/(-14) - 16/(-56) a multiple of 11?
True
Is (-9)/(-36) - 190/(-8) a multiple of 14?
False
Let t(c) = c**3 + 6*c**2 + 6*c. Let b be t(-6). Let k = b - -51. Does 5 divide k?
True
Suppose -15 = -7*j + 4*j. Let o(a) = -1. Let v(l) = -4*l + 7. Let g(y) = -5*o(y) - v(y). Does 14 divide g(j)?
False
Let j(c) = -c**3 - 4*c**2 + c + 4. Suppose 0 = -3*u + 1 - 10. Let w be j(u). Does 5 divide (0 - -2)*(-20)/w?
True
Let f(t) = 3*t - 9. Does 4 divide f(7)?
True
Suppose 2*p - 4*p = -6. Is 25 + 1*(p + -2) a multiple of 16?
False
Let u(c) be the first derivative of c**3/3 + 2*c**2 + 3*c + 2. Let r be u(-3). Suppose r = -l - 5*m + 22, -5*m = -3*m. Is l a multiple of 17?
False
Let w = 21 + -11. Suppose -26 = -2*l - w. Is 10 a factor of (l/6)/((-6)/(-45))?
True
Let f(y) = 2*y + 7. Let b(j) = 3*j + 8. Let d(l) = 6*b(l) - 7*f(l). Does 23 divide d(6)?
True
Let a be -4*-1*(-2)/(-1). Suppose x - a = 7. Is x a multiple of 15?
True
Let i(j) = 3 + 10*j + 2*j - 3*j. Let t be i(3). Let n = t - 19. Does 7 divide n?
False
Let t = 122 + -68. Does 9 divide t?
True
Let i = -2 - -2. Does 14 divide (i - 2) + (-80)/(-5)?
True
Let l(q) = -15*q - 61. Does 12 divide l(-19)?
False
Suppose -7 = 5*m - 2. Is 112/4 - (3 + m) a multiple of 13?
True
Is 7 a factor of (3 - 470/(-12)) + 2/(-12)?
True
Let c(x) = -3*x**3 + x**2 + 4*x + 10. Let s(g) = g**3 + g**2 - 1. Let v(r) = -c(r) - 4*s(r). Let a be v(-4). Is 3 a factor of (9/a)/(3/(-16))?
False
Suppose -x + 346 = 3*z, z - 106 = 6*x - 4*x. Is z a multiple of 19?
True
Let h be (-2)/1 - 3*-9. Suppose -2*z + 5 = -h. Suppose -2*y = -v - z, -2*v - 6 = -4*v. Does 7 divide y?
False
Let n be (3 + (-3)/3)/2. Suppose 8 = 3*v + q + n, -5*q + 2 = 4*v. Is v even?
False
Is 6 + (-2)/(-1) + 1 a multiple of 9?
True
Suppose -7*k - 4*h = -3*k - 56, -46 = -5*k + h. Is 5 a factor of 37/7 - k/35?
True
Let g = -3 + 2. Let d(t) = 3*t + 2. Let q(r) = 6*r + 3. Let a(b) = 5*d(b) - 3*q(b). Does 2 divide a(g)?
True
Suppose 2*q + 39 = 2*k - k, k = 4*q + 73. Is 5 a factor of (-2 - -1)/1 - q?
False
Let d(m) = 3*m**2 - 5*m + 4. Is d(5) a multiple of 27?
True
Suppose -y + 2*b = -13, -y + 3*y - 18 = 2*b. Is y a multiple of 5?
True
Suppose 5*s - 1 = 2*n - 4*n, 4*s = -4*n - 4. Suppose -b - s = -5. Suppose 5*t + 3*v = 66, 3 = -5*v + b*v. Does 8 divide t?
False
Suppose -207 = -7*d + 122. Does 12 divide d?
False
Let z = 4 + -6. Let r be -3 + z/(4/(-142)). Suppose 0 = -3*u + 7*u - r. Is 10 a factor of u?
False
Suppose -3*o = 2*p + 91, -3*p = 7 + 8. Is 5 a factor of 8/(-20) - o/5?
True
Suppose 200 + 8 = 4*j. Is 42 a factor of j?
False
Suppose -4 = -3*c + 2. Let h(l) = -l - 6. Let s be h(-8). Suppose -c*t = 5*b - 56 + s, -4*t = b. Is 9 a factor of b?
False
Let q = 2 - -14. Does 16 divide q?
True
Let k be 46/14 + (-4)/14. Suppose k*w = 13 - 1. Suppose -x - 56 = -w*x + 2*d, d = 2*x - 38. Is 10 a factor of x?
True
Let l(c) = 2*c**2 - c - 3. Let u be l(-5). Is 13 a factor of 9*(-3)/((-36)/u)?
True
Suppose -3*j + 45 = t, 9*j - 8*j + 118 = 2*t. Is 5 a factor of t?
False
Suppose 4*d - 76 = -3*k - d, -k = -3*d - 44. Suppose 0 = 3*q - 5*q + k. Does 8 divide q?
True
Does 24 divide (9 + (0 - 0))/((-18)/(-48))?
True
Let y(j) = 79*j**2 + 4*j - 3. Is 16 a factor of y(1)?
True
Let h be -2 + 0/1 - -93. Suppose 9 + h = 5*o. Does 20 divide o?
True
Let a = 6 - -4. Let j(q) = -q**3 + 7*q**2 - 2*q + 7. Let f be j(7). Let x = f + a. Does 3 divide x?
True
Suppose 5 = 3*i - i + r, 3*i - 5*r - 27 = 0. Suppose -l + 46 = -i*m, 3*m = 2*l + m - 62. Suppose 5*d - l = 3*d. Is 12 a factor of d?
False
Let b = 5 - 5. Let z(c) = -c**3 + c**2 + c + 12. Is 12 a factor of z(b)?
True
Let r(a) = a**3 + 4*a**2 - 2. Let g be r(-3). Let h be (1 + -3)/(-1) - 2. Let j = h + g. Is j a multiple of 3?
False
Let t be 1/(-2)*(6 - 6). Let o(z) = z + 24. Is o(t) a multiple of 23?
False
Let p(q) = q**3 - 5*q**2 + 4*q - 3. Let j be p(4). Let g = j - -5. Suppose 5*k = g*k + 54. Is 9 a factor of k?
True
Let l be (0 - 1)/(2/(-8)). Suppose 2*x = -f + 12, -l*f + 6*x = 3*x - 81. Suppose 2*y - f = 24. Is y a multiple of 21?
True
Let u(y) = y**2 + 3. Does 19 divide u(4)?
True
Let y = 3 - -20. Is y a multiple of 23?
True
Let y(k) = -3*k - 1. Suppose 6*d - 10 = d. Suppose v - 11 = j - v, -2*j - 4 = d*v. Is y(j) a multiple of 14?
True
Let d(j) be the first derivative of j**4/4 + 7*j**3/3 + 2*j**2 - 2*j + 1. Is 5 a factor of d(-6)?
True
Suppose -3*a - 4*h + 75 = 0, h - 47 = -2*a - 2. Let g be (22/(-4))/((-1)/2). Suppose -g = -4*z + a. Is z a multiple of 8?
True
Let u(o) be the third derivative of o**6/120 + o**5/15 - 7*o**4/24 - o**3/6 - 2*o**2. Is 6 a factor of u(-5)?
False
Suppose 4*w = 20, 3*y - 2*w = -y + 122. Is y a multiple of 18?
False
Let w be 7/28 + (-21)/4. Let p = 9 + w. Suppose -2*h = p*x - 4 - 20, -x = 2*h - 18. Does 8 divide h?
True
Suppose m - 3*m + 6 = 0. Suppose -1 = -m*l - 7. Let v = 2 - l. Does 3 divide v?
False
Is 2/(-7) + 788/14 a multiple of 8?
True
Let o = 16 - 46. Let r = -5 - o. Does 13 divide r?
False
Let a(g) = 3*g**2 - 6*g + 2. Let l = -10 - -14. Does 13 divide a(l)?
True
Suppose -144 = -3*c - q + 4*q, 0 = 5*c + 3*q - 256. Does 25 divide c?
True
Let t(y) be the first derivative of -y**4/4 - 5*y**3/3 - y + 1. Let f = -7 - -1. Is 17 a factor of t(f)?
False
Let h be (-6)/21 - (-510)/21. Suppose -3*m = 2*z - h, 2*m - 29 = -2*z - 3. Does 4 divide z?
False
Let i = -1 + 105. Does 13 divide i?
True
Suppose 0 = 3*a - 7*a + 320. Let x = -22 + a. Is 13 a factor of x?
False
Let o = 26 - 6. Let t be (328/o)/((-1)/(-5)). Suppose 0 = 4*n + 3*z - 42, 5*n - 3*z - t = -16. Does 12 divide n?
True
Suppose 333 = 3*a - 81. Suppose 0 = -2*d - 36 + a. Does 17 divide d?
True
Suppose -9*t = -5*w - 4*t + 70, -4*w = 3*t - 49. Does 3 divide w?
False
Let s = -16 + 30. Is 9 a factor of s?
False
Let k(y) = -y**3 - 7*y**2 - 7*y - 4. Let f be k(-4). Let m = f - -36. Is 9 a factor of m?
False
Suppose -2*a - 20 = -4*t - 6*a, -5*t - 10 = -2*a. Let n(w) = w**3 + w**2 + 6. Let p be n(t). Does 7 divide (-43)/(-2) + (-9)/p?
False
Suppose 7*t = -0*t + 126. Does 6 divide t?
True
Is (-9)/((-252)/(-8)) - 289/(-7) a multiple of 9?
False
Suppose 5*y - 9 = 36. Let j = y + -8. Does 19 divide j*-1 - (-27 - 2)?
False
Suppose -2 = -2*d - 4. Let x(r) = -28*r - 1. Let i be x(d). Suppose -i = 5*y - 67. Does 7 divide y?
False
Suppose -5*r = -5*d - 5, d = -5*r - 0*d + 17. Suppose -s = -3*f + 130, f + r*f = 3*s + 180. Does 14 divide f?
True
Suppose 3*v = -2*l - 92, 3*l + 15 = 6*l. Is v/(2/5*-1) a multiple of 19?
False
Let h(w) be the first derivative of -w**4/4 - 8*w**3/3 - 11*w**2/2 - 7*w + 1. Does 7 divide h(-7)?
True
Let b(x) = 2*x**3 + x**2 + x. Le