. Let q be l(-4). Let f = q + -9. Is f a multiple of 7?
False
Let v(j) be the first derivative of j**6/360 + j**5/120 - j**4/12 + j**3 + 4. Let o(m) be the third derivative of v(m). Does 10 divide o(-4)?
True
Let p = 0 - -2. Suppose p*o - 4*o = -4. Is 18/5 - o/(-5) a multiple of 4?
True
Suppose -5*y + 115 = -45. Let f be 2/(-10) - y/(-10). Suppose p + f*p = 140. Is p a multiple of 13?
False
Let h be ((-120)/9)/((-2)/9). Suppose 3*u = u + h. Is 10 a factor of u?
True
Let f(n) = -2*n - 13. Is f(-10) a multiple of 7?
True
Let f(y) be the first derivative of 3*y - 4 - y**3 + y**2 + 1/4*y**4. Is f(4) a multiple of 9?
True
Does 13 divide (16/(-6))/((-2)/39)?
True
Let q(t) = t + 10. Is 14 a factor of q(4)?
True
Suppose -162 + 17 = -5*j. Does 16 divide j?
False
Suppose g = -20 + 76. Is g a multiple of 12?
False
Suppose -2*u - 4*s + 11 = -29, 0 = 5*u + 3*s - 128. Is 14 a factor of u?
True
Let s(f) = -f + 10. Let j(p) = -p + 7. Let i be j(-5). Suppose -4*x + 0 = -a - 20, -i = -4*x + 3*a. Is s(x) a multiple of 4?
True
Let f(c) = -3 + 20 + 2*c - 4. Let x be f(11). Let i = x - 5. Is 15 a factor of i?
True
Suppose s = -0*s + 6. Suppose j - s = 21. Let m = j + -19. Is 4 a factor of m?
True
Let u be 1/(2 + (-2)/2). Does 10 divide u/3 - (-200)/12?
False
Suppose 0 = i + 3*c - 5, 0*c + 50 = 2*i - 2*c. Is i a multiple of 20?
True
Let c = -3 - -27. Does 7 divide c?
False
Let i(x) = -x + 133. Let l be i(0). Let g = l + -87. Does 23 divide g?
True
Let j be 11 - 3 - (1 + 2). Let u = 2 + j. Is 3 a factor of u?
False
Suppose 0 = -5*l + 3*l - 12. Is (l/3)/((-3)/9) a multiple of 2?
True
Let p(x) = x**3 + 7*x**2 + 5*x + 3. Let w be p(-6). Let o be 6/(-4)*12/w. Is 14 a factor of 27 + (o - -3) + 0?
True
Suppose -q + 22 = -2*q. Let j = 39 + q. Is j a multiple of 9?
False
Let v(n) = -n**2 - 14*n - 4. Is v(-12) a multiple of 5?
True
Let m = -54 - -92. Let x be (-134)/(-10) + (-2)/5. Let t = m - x. Is 9 a factor of t?
False
Suppose 0 = -b + p - 3 - 0, 3*b = 2*p - 4. Suppose -o = -b*o + 18. Suppose 2*t + o = 3*t. Is t a multiple of 16?
False
Let x(j) = -j + 5. Suppose 0 = -4*g + 2*g - 4. Let a be 3 + (g - 3) + 2. Is 3 a factor of x(a)?
False
Let z = 12 - -2. Let u = z - 4. Is u a multiple of 5?
True
Does 5 divide (-2)/(1 + 1) + 16?
True
Let n(g) = g**2 - 4*g - 1. Let v be n(3). Let p be v/(-14) - 254/7. Let y = p + 79. Does 15 divide y?
False
Let m = -224 + 386. Does 27 divide m?
True
Let w(q) = q**3 - 7*q**2 + 7*q + 7. Let c be w(6). Is (0 - -1)/(1/c) a multiple of 9?
False
Let k(j) = -j**2 - 7*j + 2. Let p be k(-7). Suppose 3*c = 7 + p. Let r(d) = 10*d - 3. Is 9 a factor of r(c)?
True
Let m(y) = -4*y + 1. Let g(i) = -i**3 - i + 1. Let s be g(1). Let f be m(s). Suppose 0 = -4*l + 4*p - 2*p + 54, 37 = 3*l - f*p. Is 14 a factor of l?
True
Let z = -19 - -75. Is z a multiple of 7?
True
Suppose -3*a + 0 = -12. Let t = a + 16. Is 10 a factor of t?
True
Suppose -5*i = q - 17 - 1, -5*q + 30 = -5*i. Let v(c) = c**3 - 7*c**2 - 6*c + 6. Is 16 a factor of v(q)?
False
Suppose 5*w = -56 - 4. Suppose -2*l + 2 = 3*r, l + 4*r - 1 = -0. Let t = l - w. Is t a multiple of 6?
False
Suppose 2*a + 2 = -3*g + 15, 5*a = 2*g - 15. Suppose -25 = g*j, l - 4*j - 17 = 2*l. Suppose -86 = -2*y + 2*r + 3*r, -2*y + 86 = l*r. Does 12 divide y?
False
Suppose q + 5 = 5*g + 33, -2*q + 30 = 3*g. Does 9 divide q?
True
Let q = 8 - 3. Let t be ((-12)/10)/((-2)/q). Let l(i) = 5*i + 2. Is 11 a factor of l(t)?
False
Suppose -r + 29 = 5*z, z + 21 = 2*z + 4*r. Is 5 a factor of z?
True
Let q(g) = 3*g**2 + 3*g - 2. Does 19 divide q(4)?
False
Let l(v) = 2*v**2 - 5*v - 8. Is l(-3) a multiple of 5?
True
Let z(y) = -y**3 - 2*y**2 + 4*y + 4. Let s be z(-3). Let n = 6 - s. Suppose 2*m - t = 9, 1 - 31 = -n*m + 5*t. Is m a multiple of 2?
False
Let b(s) = -s**2 + 8*s - 9. Let l be b(7). Let m = 18 - l. Is 16 a factor of m?
False
Let c(x) = x**2 - 8. Does 4 divide c(4)?
True
Let m = 10 + 16. Is m a multiple of 13?
True
Suppose -v - 3 = 0, 6*v - 2*v - 186 = 2*p. Suppose -3*t = -l + 9, l - 18 = 5*t + 1. Does 11 divide ((-4)/(-6))/(l/p)?
True
Is 22 a factor of (50/(-3))/(3/(-9))?
False
Suppose 4*a - 4 = 148. Is 6 a factor of a?
False
Suppose -d + 4*i + 776 = 3*d, -i + 4 = 0. Suppose -102 = -4*a + d. Does 25 divide a?
True
Suppose -210 = -5*f - 30. Does 14 divide f?
False
Suppose -2*t + 4*d = -20, 5*t - 63 = -0*d - 3*d. Is 4 a factor of t?
True
Does 43 divide (42/(-18))/((-130)/129 + 1)?
True
Let u(n) = -20*n + 2. Is 6 a factor of u(-1)?
False
Let k(q) be the second derivative of 4*q**3/3 + 3*q**2/2 - 4*q. Let y = 5 - 0. Is k(y) a multiple of 24?
False
Let v(i) = i**2 - 3*i - 4. Let j be v(5). Suppose j*k = 7*k - 36. Is 18 a factor of k?
True
Suppose -2*a + 126 = -0*i + 4*i, -2*a + 121 = -i. Let l be a/(-2) - 1/2. Let c = l + 49. Does 9 divide c?
True
Let a(d) = d**3 + 10*d**2 + 10*d + 4. Is 13 a factor of a(-8)?
True
Let h(t) = -3*t + 8. Does 11 divide h(-12)?
True
Let y(z) = z**2 - 5*z + 4. Let i be y(5). Suppose -3*k + 6 = 5*a + 3, -i*a + 3*k - 3 = 0. Suppose a*s - 2*s = -6. Is s a multiple of 2?
False
Let p = -1 + 3. Suppose -5*c - p + 87 = 0. Does 13 divide c?
False
Suppose 0 = 2*w + h - 5, -h + 2 = 5. Suppose -3*f - 55 = 5*r, -w*f = f - r + 101. Does 16 divide f*((-8)/10 + 0)?
True
Let g(t) = -t**2 - 6*t + 6. Let i = 7 - 12. Is 11 a factor of g(i)?
True
Suppose -9*h + 16 = -8*h. Does 16 divide h?
True
Let g(v) = v**3 - 2*v**2 + 4*v - 3. Let z(k) = k**3 - 3*k**2 + 4*k - 2. Let q be z(2). Let f be g(q). Suppose -f*t = -10*t + 240. Does 15 divide t?
False
Suppose -5*y - 85 = -6*o + o, 5*y + 51 = 3*o. Is 3 a factor of o?
False
Let t(y) = 20*y**2 - y - 1. Does 8 divide t(-1)?
False
Suppose -4 = j - 3. Is 14 a factor of -3*244/(-12) + j?
False
Suppose 0 = -5*p + 2*o + 129, 2*o = 5*p - 3*o - 120. Does 14 divide 6/(-3) - (0 - p)?
False
Suppose 29 = 2*w + 9. Let f be ((-75)/w)/(2/(-4)). Suppose 0 = 4*z - 6*z - 3*q + 37, -3*q = -f. Is 4 a factor of z?
False
Suppose 1 = m - 4. Suppose -r + b + 8 = 26, -2*b = r + 27. Is (2 + m)*(-18)/r a multiple of 3?
True
Suppose 0 = 2*m + m + 6. Does 16 divide m - (-6)/3 - -22?
False
Let a = 2 - 0. Does 10 divide a + -4 - (-40 + -2)?
True
Is (0 + 1)*(-2 + 50) a multiple of 13?
False
Let v(k) = -k**3 - k**2 - k - 2. Is v(-4) a multiple of 10?
True
Let r(g) = -g**3 - g**2 - g - 6. Let p be r(0). Does 12 divide (-72)/(2 + p/2)?
True
Suppose 0 = -6*a + 4*a + 32. Does 8 divide a?
True
Let o = -105 - -194. Is o a multiple of 18?
False
Is 26 a factor of (20/30)/(2/228)?
False
Let s(p) = -p**3 - 15*p**2 - 15*p + 20. Is s(-15) a multiple of 16?
False
Let q(p) be the third derivative of p**6/240 - p**5/30 - p**4/12 + 3*p**2. Let b(a) be the second derivative of q(a). Does 6 divide b(5)?
False
Suppose -20 = -o - 2. Does 6 divide o?
True
Let i be 9 + (-4)/(8/6). Does 20 divide 238/6 - (-2)/i?
True
Let x = 10 - 4. Is x a multiple of 2?
True
Let z be -1 + -2 + -2 - -2. Let p(g) be the third derivative of g**5/15 - g**4/12 - 2*g**2. Does 14 divide p(z)?
True
Let q = -8 + 11. Suppose 4*r + r - 32 = -3*d, q*r + 3*d = 24. Does 4 divide r?
True
Suppose -4*u = -4*m - 312, -2*m - 2*m - 238 = -3*u. Is 42 a factor of u?
False
Suppose -5*l - 52 = 58. Let s = 41 - l. Does 26 divide s?
False
Suppose 0 = 3*v + 4*l - 236, -5*v + 4*l = -0*v - 340. Suppose 2*s - v = -s. Does 15 divide s?
False
Let v(n) be the second derivative of -5*n**2 - 2*n - 1/12*n**4 + 0 + 5/3*n**3. Is 5 a factor of v(8)?
False
Suppose 5*s = -0*b + 4*b - 6, 5*b = 2*s + 16. Suppose 0 = 4*v - s*v + 2*f - 12, -5*f = v + 2. Is 2 a factor of v?
True
Let m = -9 + 49. Is 39 a factor of m?
False
Suppose -5*y + 5*z + 1495 = 0, 0*y + 3*y - 889 = 5*z. Does 21 divide y?
False
Let f = 38 + -2. Suppose o = -o + f. Is o a multiple of 10?
False
Suppose 12 = 3*u - h, 3 = -0*u - 3*u - 4*h. Let x(y) = 5*y**2 - y + 6. Is x(u) a multiple of 8?
True
Let n = 29 + -12. Does 8 divide n?
False
Let y = 83 + -19. Does 16 divide y?
True
Suppose 130 = 4*j - 2*s, j + 4*s + 50 = 2*j. Suppose 0 = -3*c - 3*b + 141, 3*b + 40 = 4*c - 113. Let u = c - j. Is 9 a factor of u?
False
Let o(x) = x**3 + 0*x**3 - x + 3*x**3 - 1 + 3*x**2. Let n be o(2). Suppose b + 14 = n. Is 11 a factor of b?
False
Suppose 4*u = u + 465. Suppose -s + u = -21. Suppose -j = -5*c + s, -2*j + 24 + 128 = 4*c. Is 18 a factor of