 factor of s(-1)?
False
Suppose -2*p - 2*p = -4*q - 400, 3*q - 435 = -4*p. Is p a multiple of 10?
False
Suppose -4*o + 54 + 57 = -r, -o = -4*r - 39. Does 7 divide o?
False
Let k = -14 + 8. Is ((-4)/(-6))/(k/(-180)) a multiple of 10?
True
Let k(o) = 51*o - 1. Let q = -7 - -8. Is 25 a factor of k(q)?
True
Let u(s) be the first derivative of s**3/3 + 2. Is 18 a factor of u(6)?
True
Let l(z) = z**3 + 7*z**2 - 2*z - 10. Let i be 9/(-5 - -2)*2. Let x be (2 - (i - -1))*-1. Is 2 a factor of l(x)?
True
Suppose -2*q = -0*q - 4. Let z(w) = 4*w + 3*w**2 - 2*w**q - 3*w. Is 17 a factor of z(-7)?
False
Let g = 8 - 1. Let s(k) = k**2 - 3*k + 5. Is s(g) a multiple of 7?
False
Let x(c) = c**2 + 4*c + 3. Let d be x(-4). Suppose 0 = -o - d*o + 80. Is 5 a factor of o?
True
Let h = -70 - -109. Suppose 3*r - 36 = 2*p + p, 2*r + 3*p = h. Does 15 divide r?
True
Let b = 20 + 60. Is b a multiple of 10?
True
Let u(f) = 7*f - 7. Does 12 divide u(12)?
False
Let p(z) = -15*z + 5. Is 19 a factor of p(-5)?
False
Suppose -8 - 11 = -r - 5*u, -3*u = -6. Let w = r - 6. Suppose 0 = 3*f - 3*b - 12, 2*f + 5*b + w = 4. Does 3 divide f?
True
Suppose 0 = 6*t - 2*t - 2*b - 28, -5*t - 5*b = -35. Let n = -5 + t. Is 17 a factor of n/(1*(-3)/(-75))?
False
Let y(k) = 5*k**3 + 4*k**2 - 3*k. Is 7 a factor of y(3)?
False
Suppose 95 - 11 = v. Does 14 divide v?
True
Let z(v) = v**2 + 7*v + 4. Let m be z(-7). Let d = 6 - m. Suppose -2*u = 5*x - 3*x - 58, 4*u = d*x + 116. Is 16 a factor of u?
False
Let q(w) be the first derivative of -w**4/4 - 11*w**3/3 + 4*w**2 - 8*w + 9. Is 10 a factor of q(-12)?
True
Suppose 5*z + 65 = 2*w, 4*w = 8*w - 3*z - 95. Is 5 a factor of w?
True
Let y(l) = 2*l**2 - 6*l + 10. Is 10 a factor of y(3)?
True
Suppose -3*m - 6 + 9 = 0. Let j(x) = 15*x**2 - 1. Is j(m) a multiple of 10?
False
Suppose 28 = 2*q + 2*l, -6*q + q - 2*l + 61 = 0. Does 7 divide q?
False
Suppose 4*d + 100 = -4*k, k + 3 = -2. Let l = d + 40. Is l a multiple of 20?
True
Let v be 3/6*4*1. Suppose v*q = 2*y - 34, 0 = -y + 6*y - 3*q - 93. Does 12 divide y?
False
Let m(z) = -z**2 - 11*z - 13. Let i be m(-10). Let f = i - -18. Is 1/(-2 - (-33)/f) a multiple of 2?
False
Let h(u) = -u**2 - 16*u - 4. Let s be h(-13). Suppose 4*f = -20, 4*f + s = q - 4. Does 13 divide q?
False
Suppose 17 - 32 = -3*v. Let n(i) = i**2 - 2*i + 1. Is 16 a factor of n(v)?
True
Let k = -126 + 154. Is 7 a factor of k?
True
Suppose -w + 4*w + 191 = x, -5*x - w + 939 = 0. Is x a multiple of 22?
False
Is 449/3 - (-9)/27 a multiple of 25?
True
Let s(x) = 6*x**2 - 3*x + 3. Is 8 a factor of s(3)?
True
Suppose f - 6*f + 35 = 0. Let s(h) = -h**3 + 8*h**2 - 5*h + 4. Let i be s(f). Let m = i + 22. Is m a multiple of 12?
False
Let t(o) = -23*o - 5. Is 11 a factor of t(-5)?
True
Let j be -1 + 0 + (-3 - -7). Suppose -j*g + 5*c = -22, -2*g + 9 + 3 = -2*c. Does 12 divide g/14 - 2000/(-56)?
True
Suppose 633 = 5*q + r, -3*q + r = q - 510. Does 35 divide q?
False
Let a(n) = n**2 - 2*n + 3. Let b be a(2). Let q = -9 + 11. Suppose -b*x - q*t + 206 = x, 0 = -3*x + 3*t + 132. Is x a multiple of 13?
False
Suppose -q + 3*u + 0*u = -70, 5*u - 280 = -4*q. Is 16 a factor of q?
False
Suppose 5*p - 33 = 4*h + 3, p = -3*h + 11. Let n = 8 - p. Suppose n = -3*t + t + 78. Does 17 divide t?
False
Let h(l) = 2*l**2 - 2. Let y(n) = n**3 - 4*n**2 - 5*n - 3. Let a be y(5). Does 9 divide h(a)?
False
Let z(a) = 3*a - 1. Let p be (-4)/(-2) + 0 - 1. Let v be z(p). Suppose -7*k = -v*k - 40. Does 8 divide k?
True
Suppose -5*p = f - 75, 2*f - 5*p = 1 + 194. Is 5 a factor of f?
True
Suppose -4 = -b + 16. Is b a multiple of 10?
True
Let q = 3 + -4. Is 2 a factor of -3 - (-10 - 1/q)?
True
Suppose 3*l = -o + 9, -3*o = 2*o - 15. Suppose -l*r = -2*j + 14, -4*r + 13 = j - 7*r. Suppose j - 12 = -2*k. Does 4 divide k?
True
Let b be -3 + 2*(-9)/(-2). Let q = 11 - b. Is q a multiple of 2?
False
Let x(f) = f**3 - f**2 + 2*f - 1. Let q be x(2). Suppose 12*b = q*b + 50. Is 10 a factor of b?
True
Let x be -93 - 2*2/4. Let p = x + 16. Let f = -46 - p. Does 18 divide f?
False
Suppose 5*i + 161 = 4*w, -4*w - 5*i + 143 = -8. Is w a multiple of 13?
True
Suppose -5*j - 206 - 29 = 0. Is 20 a factor of 2/(-6)*0 - j?
False
Let x(l) be the first derivative of l**4/4 - 5*l**3/3 + 8*l + 2. Is 3 a factor of x(5)?
False
Suppose 3*q + 6 = -15. Is 14 a factor of 6*4/(-8)*q?
False
Suppose -3*k + 72 = 3*k. Is 9 a factor of k?
False
Let m be 1/4 + (-2)/8. Suppose -2*z - z + 51 = m. Is z a multiple of 9?
False
Suppose 18 = 4*r - 18. Suppose -56 + r = -s. Is s a multiple of 13?
False
Suppose -5*b + 1 + 44 = 0. Is b a multiple of 8?
False
Let h(t) = -2*t + 2*t - 7*t. Suppose 3*r - 6 = -4*c, -r + 4*c + 10 - 24 = 0. Is h(r) a multiple of 6?
False
Is 612/8 - (-1)/(-2) a multiple of 19?
True
Let o(q) = -9*q - 6. Let v(u) = 2*u - 2. Let l be v(-2). Let r be o(l). Suppose -2*z - z = -r. Does 14 divide z?
False
Let i(a) = -a**2 + 8*a + 4. Is 6 a factor of i(6)?
False
Let x be 6/9 - (-2)/(-3). Suppose x = -2*u + 4. Suppose u*b - 7*b = -70. Does 7 divide b?
True
Let r(h) = 10*h**2 - 1. Let i(g) = -g**2 + 4*g + 3. Let k be i(5). Let a be k/(-4) + 3/(-2). Does 3 divide r(a)?
True
Let u(z) = -16*z - 2. Let y be -7 + 3 + -1 + 2. Is 12 a factor of u(y)?
False
Suppose -12 = t - 44. Is 7 a factor of t?
False
Suppose 0*f = -2*f + 58. Let c = f + -11. Does 6 divide c?
True
Let d be 100/(-8)*(1 + -3). Is 4 a factor of 114/10 + 15/d?
True
Suppose -111 - 689 = -5*c. Is 16 a factor of c?
True
Let r = -33 + 23. Let s = r - -45. Does 12 divide s?
False
Let g(a) = -8*a - 13. Is g(-4) a multiple of 8?
False
Let i(l) = 1 + 2*l + 0 + 3*l - 4. Is 5 a factor of i(2)?
False
Let d(g) = -32*g - 8. Let j be d(-4). Does 5 divide ((-4)/(-5))/(16/j)?
False
Suppose 24 = 12*o - 8*o. Is o a multiple of 6?
True
Is 32 a factor of (-2 - (2 - 5))*157?
False
Let u = -4 - -24. Is u a multiple of 10?
True
Let r(i) = -28*i - 4. Let b(g) = -g - 1. Let p(z) = -6*b(z) + r(z). Is 23 a factor of p(-2)?
True
Suppose 0 = -h + 4*h - 891. Suppose 77 = -2*r + h. Suppose r = 5*v - 20. Does 17 divide v?
False
Let o(j) = 33*j + 3. Let i(q) = 34*q + 2. Let v(w) = -4*i(w) + 3*o(w). Is v(-1) a multiple of 19?
True
Suppose v + 5 = -5*c, 0 = -4*c + 7*v - 3*v - 4. Let k = 6 + c. Suppose -5*w + 29 = 3*n, -5*n + k - 2 = -3*w. Is w a multiple of 2?
True
Let x = 41 + -23. Suppose -x = -a - 2*a. Is 9*(-5)/((-45)/a) a multiple of 6?
True
Suppose 5*s - 18 - 27 = 0. Suppose -4*b + s = -63. Is b a multiple of 9?
True
Let s = -9 + 96. Does 6 divide s?
False
Suppose 4*q + 11 - 147 = 0. Let a = q - 20. Is a a multiple of 7?
True
Let k = -43 + 26. Let f = -10 - k. Is f a multiple of 3?
False
Let a(o) = -o + 7. Let l be a(5). Suppose 4*i - 78 = l*i. Is 11 a factor of i?
False
Let m(w) = 12*w + 2. Suppose 3*o = -2*p + 16, -5*o + p = 7 - 25. Is 21 a factor of m(o)?
False
Let n = -6 + 30. Is 12 a factor of n?
True
Suppose -2*o + 12 - 6 = 0. Suppose -4*w = -3*f - 36 - 36, -2*w + o*f = -36. Is 6 a factor of w?
True
Suppose -l + 5*k = 2*k - 17, -19 = -2*l + 3*k. Let u(p) = 3*p**2 + 17 - 4*p**l + 2*p - p. Does 6 divide u(0)?
False
Let f be ((-2)/(-5))/((-4)/(-1880)). Suppose -3*o + f = -o. Suppose 5*l = 66 + o. Is 16 a factor of l?
True
Let a(r) be the second derivative of r**8/6720 - r**7/630 + r**6/180 - r**4/6 - r. Let l(w) be the third derivative of a(w). Is l(3) a multiple of 2?
False
Suppose -5*f + 5*h = -20, -4*h - 7 = -f + 6. Is 3 a factor of 2*(1 - -2)*f?
True
Suppose 15 = -5*a + 5*b, -b = -3*a - 2 - 1. Suppose a = -d + 6 - 2. Suppose 5*t = -3*j + 35, j = -5*t - d*j + 25. Is 4 a factor of t?
False
Let l be ((-6)/(-4))/((-6)/(-20)). Suppose -32 = -l*k + 168. Is 20 a factor of k?
True
Let t(h) = -8*h + 1. Is t(-1) a multiple of 9?
True
Is (-5)/(20/(-412)) - 1 a multiple of 19?
False
Suppose h + 8 = 3*h. Suppose 4*v = h + 8. Suppose q + v*q - 28 = -3*m, -3*m + 5*q + 46 = 0. Is m a multiple of 7?
False
Let t(g) = 27*g - 9. Let o be t(2). Suppose 3*z + p = 3*p + 88, -4*p = 3*z - 112. Let h = o - z. Does 13 divide h?
True
Let x = 23 - 19. Suppose -4*d - t - 66 = -7*d, -80 = -x*d + 4*t. Is 18 a factor of d?
False
Suppose -90 = -4*o + o. Does 5 divide (-8 + 2)*o/(-18)?
True
Let n = -3 - 1. Let t = n - 0. Let f(s) = -s**3 - 2*s**2 + 3*s - 4. Is 8 a factor of f(t)?
True
Let g(t) = -2*t - 6. Let b be g