). Let k(l) = l**2 - 4*l - 3. Let s be k(5). Suppose 0*p - s*p = -z. Is p a multiple of 7?
False
Suppose 3*b + 0 = 5*z + 8, 0 = -2*b - 8. Let x = -16 + z. Is 4 a factor of x/6*12/(-10)?
True
Suppose 5*q = n + 11, -3*n - 31 = -5*q - 7*n. Is q a multiple of 2?
False
Let n = 23 - -7. Is 5 a factor of n?
True
Suppose -3*f = -3*h + 213, 130 = -f - f + 5*h. Let j = 160 + f. Is 17 a factor of j?
True
Let t(k) = 2*k**2 + 6*k + 5. Let p(j) = -j**2 - 2*j + 2. Let d be p(-3). Let l = d - 3. Is t(l) a multiple of 13?
True
Let k = 240 + -146. Does 12 divide k?
False
Let w(m) = m**3 + m**2 - m - 2. Let o be w(0). Let x = o + 14. Is 6 a factor of x?
True
Is ((-21)/(-7) - -2*59) + -3 a multiple of 22?
False
Let u(n) = 2*n**2 + 2*n. Let i be u(-3). Suppose -3*a - a - i = 0, 42 = 4*j - 2*a. Is 3 a factor of j?
True
Suppose 0 = 2*y - 0*y - 20. Suppose 5*a + y = 6*a. Is a a multiple of 5?
True
Let d(w) = 30*w**3 + w**2. Suppose 7*u + a = 2*u + 29, 5*u - 35 = 5*a. Suppose 2*g + 4*q - 14 = 0, u = -g + 2*q + 1. Is d(g) a multiple of 13?
False
Suppose 2*b = -4*l + 180, -2*l - 5*b = -0*l - 106. Does 5 divide l?
False
Let r(s) = -s**3 - 2*s**2 + 5*s + 3. Is r(-4) a multiple of 15?
True
Let q be 87/(-4) - (-3)/(-12). Let c = q + 111. Does 23 divide c?
False
Suppose -4*w - 52 = -352. Is 15 a factor of w?
True
Is 10 a factor of -3*6/9 - -41?
False
Let i be (-2)/13 - (-6519)/39. Let c = i - 116. Let h = c - 36. Is 5 a factor of h?
True
Is 15 a factor of 726/12 - -1*4/(-8)?
True
Let u(q) = -q - 1. Let b be u(-4). Suppose 2*d + 0*d = b*m, -5*m + 3*d = 0. Let i(w) = w**2 + 23. Is 20 a factor of i(m)?
False
Let u = 62 + -37. Let o = u - 9. Is 16 a factor of o?
True
Suppose 30 + 32 = 2*u. Does 2 divide u?
False
Let b(z) = 2*z**2 + 5. Suppose -2*p + 10 = -0*p. Is 21 a factor of b(p)?
False
Let d(v) = -3*v. Let k be d(1). Does 11 divide k/(-2) - (-54)/4?
False
Let q be 1*(12 + 2) + 0. Let x = 23 - q. Does 9 divide x?
True
Let f(d) = 2*d - 1. Let c be f(3). Let h = -2 + c. Is 15 a factor of (h - 2)*-3*-10?
True
Suppose -4*n + 215 = 3. Is 4 a factor of n?
False
Suppose 2*z - 2*x + 14 = -0*x, -3*z - 21 = -x. Let q be z - -2 - (1 + 0). Let c = 2 - q. Is c a multiple of 8?
True
Suppose b + 26 = -s, 92 - 15 = -3*b - 4*s. Let x = b + 51. Let c = 36 - x. Does 4 divide c?
True
Let h = 1 + 1. Let r(i) = i**2 + i - 1. Does 5 divide r(h)?
True
Suppose 2*q - 487 = -3*q + v, q - 5*v = 83. Does 28 divide q?
False
Let y(f) = f**3 + 8*f**2 + 6*f - 4. Let g be y(-7). Suppose -29 = -i + g*s + 1, 5*s = -2*i + 60. Does 15 divide i?
True
Let c be ((-20)/8*-2)/(-1). Let m(a) = -3*a + 8. Is 15 a factor of m(c)?
False
Suppose 2*o + 0*v + 5*v = 178, o + 4*v - 83 = 0. Is o a multiple of 25?
False
Let v(i) = -11 - 10*i + 6*i**2 - i**2 - 6*i**2. Let c be v(-8). Suppose c*h = 2*t - 6*t + 31, 0 = -3*t + 5*h - 3. Does 4 divide t?
True
Suppose n - 15 = -2*n. Suppose -n*j + 4*z - z + 174 = 0, -z = -3*j + 102. Is 13 a factor of j?
False
Suppose 5*c = -0*c. Suppose -2*k + 83 - 5 = c. Suppose 0 = 4*s - 2*g - 198, -g + 5*g = s - k. Is 18 a factor of s?
False
Suppose -2*b + 18 = -10. Suppose -y - 2*f + b = 3*f, 3*f - 18 = y. Let z = y - -17. Does 5 divide z?
False
Suppose 0 = -j + 13 - 3. Is j a multiple of 10?
True
Let g = -28 + 43. Suppose 0 - g = -5*k. Let v(l) = 2*l**2 - 2*l + 2. Is 14 a factor of v(k)?
True
Let z = -24 + 36. Is 6 a factor of z?
True
Let s(a) = a**3 + 6*a**2 + a + 6. Let m be s(-6). Suppose 3*k - 327 = -4*u, -3*u + 3*k + 219 = -m*u. Is u a multiple of 24?
False
Suppose -5*h = -594 + 194. Suppose 0*t = -4*t + h. Is t a multiple of 10?
True
Let s(f) = 14*f**2 + f + 2. Does 13 divide s(-1)?
False
Let d be (-3 - 0)/(2 + -5). Does 10 divide 29 + 4/(d + 3)?
True
Suppose -3*r + 511 = 4*s, -4*r - 3*s + 688 = s. Does 20 divide r?
False
Let o(w) = w**3 + 6*w**2 - 2*w - 3. Let y be o(-5). Let v = -19 + y. Is 13 a factor of v?
True
Let u(g) = 34*g - 2. Let y be u(-2). Let s = y + 180. Is s a multiple of 23?
False
Suppose 0 = 3*m + 2*m. Suppose m*u - 2*u = 0. Suppose u*d - 5*d = -90. Is 9 a factor of d?
True
Suppose 4*v - l = 14, -5*l + 13 + 9 = 3*v. Suppose -3*p + v = -2*p. Is 1*-3*p/(-3) a multiple of 2?
True
Let f(r) be the third derivative of -r**6/120 + r**5/12 - r**4/12 - 5*r**3/6 + r**2. Let a be f(4). Does 9 divide (0 + a)/(2/14)?
False
Suppose -7*p + 2*p = -4*f - 82, 4*f = -p - 70. Does 30 divide (-4)/6 - 1722/f?
False
Let u be (-15 - -16)/(1/(-12)). Let g = 33 + u. Is 21 a factor of g?
True
Let j be 15/(-5)*116/6. Let n = -34 - j. Is n a multiple of 15?
False
Let x be (2 - 0) + (0 - 0). Let v be -1 + x + -2 - -7. Suppose t = v*t - 30. Is 6 a factor of t?
True
Let j(o) = o**3 + 8*o**2 - 10*o - 9. Let q be j(-9). Suppose c - 5*c + 8 = q. Does 2 divide c?
True
Suppose 0 = -0*l + 2*l. Suppose l = 3*j - 3 - 12. Does 3 divide j?
False
Let n(r) = -r**2 - r. Let m be n(0). Suppose t + 4 - 9 = m. Is t a multiple of 2?
False
Let n be (4/10)/((-1)/15). Let b = n + 12. Suppose b*k - 100 = k. Does 10 divide k?
True
Let t = 40 + -15. Suppose 0 = -5*a - t, -3*a = 4*i + 2*a + 73. Is i/(-20) - 47/(-5) a multiple of 4?
False
Suppose 84 = -0*w + 3*w. Suppose -2*n = -4*n + w. Is n a multiple of 14?
True
Let v(y) = -7*y - 1 + 4 - 1. Does 15 divide v(-4)?
True
Is 2 a factor of 25/(-10)*(-16)/10?
True
Let q(f) = 1. Let p(u) = -u**2 + 7. Let n(i) = p(i) - 5*q(i). Let d be n(4). Is ((-24)/d)/(2/7) a multiple of 4?
False
Let v = 14 + -9. Let h be v/((-6)/4 + 1). Does 6 divide 61/5 - (-2)/h?
True
Suppose 0 = 3*s + 67 + 8. Does 19 divide 0 + (2 - s/1)?
False
Let w(b) = 7*b**2 - 2*b. Is w(2) a multiple of 17?
False
Let v(f) = 36*f**2 + f. Is v(-1) a multiple of 7?
True
Suppose 0*d + 30 = 5*s - 4*d, -s + 22 = -4*d. Suppose s*c - c = 13. Is c a multiple of 4?
False
Suppose 0 = 4*y - 2*n + 22, -3*n - 2 = -n. Let m = y - -7. Is (-3)/(3/(-33)*m) a multiple of 18?
False
Let p(y) = y**2 - 5*y - 8. Let x be p(7). Does 16 divide (x/2)/((-15)/(-160))?
True
Let t(s) = 12*s - 12. Is t(3) a multiple of 24?
True
Suppose -2*x - 17 = -4*k + 3*x, -x - 5 = 0. Is (-3 + 3)/(-2) - k a multiple of 2?
True
Let d = 27 + -9. Is 6 a factor of d?
True
Let a(l) = -l + l**3 - 5*l**2 + 12*l**2 - 4 - 1. Let b be a(-7). Suppose b*u - 2 = 8. Is 3 a factor of u?
False
Suppose 488 = 3*h + h. Is h a multiple of 26?
False
Let m(x) = -33*x**2 + 8*x - 3. Let y(h) = 11*h**2 - 3*h + 1. Let t(r) = -4*m(r) - 11*y(r). Is t(-1) a multiple of 8?
False
Let y(z) = z**3 + 9*z**2 - z - 3. Let i be y(-9). Suppose i*d = d. Suppose d*q = 5*q - 70. Does 6 divide q?
False
Suppose -2*b + 6*b - 120 = 0. Is 15 a factor of b?
True
Let y be (1/2)/((-11)/44). Let r(n) = 25*n**2 + 3*n + 2. Is r(y) a multiple of 26?
False
Suppose 3*h - 5*w = -25, -h = 2*h - w + 5. Suppose -2*s + s = h. Suppose s*o + 22 = 2*o. Does 11 divide o?
True
Suppose 0*q = 2*q - 100. Is 10 a factor of q?
True
Let y be 1/(-2 - 19/(-9)). Suppose 0 = 2*b - 59 - y. Is b a multiple of 17?
True
Let m(j) = -2*j - 10. Let h be m(-7). Does 5 divide (h/(-10))/((-1)/45)?
False
Is 18 a factor of (0 + -72)/(-12 + 11)?
True
Is ((-24)/7)/(4/504*-4) a multiple of 26?
False
Let u(a) = a**3 + 11*a**2 + 12*a - 13. Let r be u(-10). Let q = r - -48. Is 15 a factor of q?
True
Let w be (-1)/(-2) + 344/16. Let d = w + -46. Does 17 divide d/(-9)*(-51)/(-4)?
True
Let k = -25 + 36. Suppose x = 5*w - 2 - k, -w = 5*x + 13. Is 21 a factor of 61/3 + (-2)/x?
True
Suppose v - 4*v = -27. Does 13 divide (-36)/(-1) + (v - 5)?
False
Let k(q) = 0*q + 9 + 3*q + 2*q - 4*q. Let m be k(-7). Suppose m*u - 134 = -18. Is 16 a factor of u?
False
Let q = 43 + -31. Is 6 a factor of q?
True
Suppose 0 = 5*t - 2*t + 42. Is 5 a factor of (-664)/(-28) + (-4)/t?
False
Suppose -7*n = -8*n + 72. Is 36 a factor of n?
True
Let j = -2 - 0. Let n(r) = 3 - 7 + 2 - 11*r + 3. Is 14 a factor of n(j)?
False
Let r(x) = 22*x. Is 17 a factor of r(2)?
False
Let k be (-66)/10 + 18/(-45). Let d(n) = n**2 + 6*n + 5. Does 3 divide d(k)?
True
Let p = -12 - -12. Suppose 0 = -4*v - b + 245, 2*v = -p*b - 3*b + 125. Is 17 a factor of v?
False
Let p = -136 - -78. Is p*(-2)/8*2 a multiple of 9?
False
Let s = -5 - -9. Suppose 0 = 2*g - s. Suppose -7*i + g*i = -50. Is i a multiple of 10?
True
Suppose 37*b = 36*b + 80. Is b a multiple of 16?
True
Suppose -5*b - 17 - 18 = 0. Let t be 3*1/((-6)/(