r) = r**3 - 4*r**2 + 3*r + 2. Let x be g(3). Let s be (x + 29/(-2))*2. Is 22 a factor of (3 - 8) + 2 - s?
True
Suppose 364 = 5*c - 3*t, t - 201 = -5*c + 171. Suppose -2*g + 60 = 4*f, -4*f + 3*g = -2*g - c. Does 8 divide f?
True
Suppose -4*n + n = -5*l + 80, 0 = 2*l + 2*n - 16. Let z = l - 5. Does 7 divide z?
False
Let q(m) = -m**3 + 3*m**2 - 2*m + 3. Let k be q(2). Let a be (1 - k)/((-1)/22). Suppose -4*u + 0*g + a = g, 0 = 3*u + 2*g - 33. Is u a multiple of 11?
True
Let x(m) = 7*m - 3. Suppose 2*w - 18 = -5*n + 13, -3*n + 30 = 5*w. Is x(w) a multiple of 9?
True
Let h(t) be the third derivative of t**6/120 + t**5/60 + t**4/24 + 17*t**3/6 + t**2. Is h(0) a multiple of 15?
False
Suppose -338 = -2*h + 176. Is h/7 + 2/7 a multiple of 17?
False
Let x = 0 - 1. Is -1 - -2 - 20/x a multiple of 15?
False
Let w = -55 + 12. Let b = w - -70. Is 16 a factor of b?
False
Does 20 divide (14/(-6))/((-2)/24)?
False
Let a(x) = -x + 4. Let t = -4 - -4. Let g be a(t). Suppose 3*b - g*z - 48 = 10, 5*b = -z + 89. Is b a multiple of 9?
True
Let b = 89 - 64. Is b a multiple of 5?
True
Let u be (-4)/(1 - 6/4). Let r = 0 + -2. Let a = u + r. Does 3 divide a?
True
Suppose 4*r = 4*g + 16, -4*r - 5*g + 30 = 5. Suppose -3*s + r*s - 8 = 0. Suppose s*p - 18 = 2*p. Does 9 divide p?
True
Suppose 2*t = 7 - 41. Let j = -5 - t. Does 4 divide j?
True
Suppose 0 = 5*t - 4*z + 100, -5*t - 117 = -z - 32. Let y = t + 30. Is 14 a factor of y?
True
Suppose 2*n = 6*n + 4. Let y(h) = 2*h + 3. Let d be y(5). Is 7 a factor of d/(n + -1 + 3)?
False
Let i = 34 + -20. Is i a multiple of 14?
True
Is ((-10)/(-6))/((-3)/(-31 + -5)) a multiple of 12?
False
Suppose r + 2*b - 19 = 19, -2*r + 5*b = -67. Is 36 a factor of r?
True
Suppose -2*i + 4*q + 14 = -i, -3*q = 15. Let d = 3 + i. Let m = 1 - d. Is m a multiple of 2?
True
Suppose -210 = -13*y - 8*y. Is 7 a factor of y?
False
Let y(o) = -o**2 - 6*o. Let r be y(-6). Is (1 - 0)*(r - -8) a multiple of 8?
True
Let p(g) = -3*g**2 - g - 3. Let z be p(3). Is 8 a factor of (-1 - 2)*209/z?
False
Let g be 5/2*(-48)/(-6). Suppose -g = -t - t. Is 10 a factor of t?
True
Suppose -4*f = 5*h - 0*f - 8, 4*h - 3*f = -6. Suppose 3*u - 2*u = h. Suppose -g + u*g + 5 = 0. Is 4 a factor of g?
False
Let d(o) be the third derivative of o**6/15 + o**5/60 - o**2. Suppose 0 = -4*a - q + 7, 14 = a + a + 4*q. Does 6 divide d(a)?
False
Let i(q) = 14*q + 3. Let d be i(-3). Let h = 6 - d. Is 15 a factor of h?
True
Let m(u) = 4*u**2 + u. Let t be m(1). Let i = t + 12. Does 15 divide i?
False
Suppose -2*d + 226 = 3*j, 0 = -3*d - 2*j - 2*j + 338. Is d a multiple of 7?
False
Suppose 2*l + 2*l - 12 = 0. Let n = -3 + l. Let p = 5 - n. Is 5 a factor of p?
True
Is 8 a factor of (-3346)/(-84) + -1*2/(-12)?
True
Suppose -3*c + 2 = -2*l + 4, 4*c - l = -11. Let h(d) = 1 + 0 + 4 - 3*d. Does 5 divide h(c)?
False
Suppose 3*p = -p. Suppose p = 4*u - 5*f + 3, 3*f = 2*u - 0*u + 3. Suppose 0 = -j + 4*d - 1, -3*j - 2*d + 8 + u = 0. Does 2 divide j?
False
Suppose 5*s - 2*f - 190 = 0, s - 2*f = 5*s - 134. Does 12 divide s?
True
Suppose -j - 5*j = -114. Is 6 a factor of j?
False
Let f be (6 + 0)/(4/48). Does 9 divide ((-1)/2)/((-4)/f)?
True
Suppose 3 + 7 = 2*i. Suppose 3*h = i*k + 22, 4*k + 5 = -0*h + h. Is 3 a factor of h?
True
Let m(d) be the second derivative of -d**5/20 - 11*d**4/12 - d**3/3 - 6*d**2 - 8*d. Is m(-11) a multiple of 4?
False
Let f = 39 + -36. Is 3 a factor of f?
True
Suppose -2*d - 5*l + 12 = 0, 0*d + 2*l - 24 = 4*d. Let h(o) = o**3 + 5*o**2 + 5*o + 6. Let n be h(d). Is (1 + n/(-1))*-22 a multiple of 12?
False
Suppose -5*t + 224 = -11. Is t a multiple of 13?
False
Let j be (6/(-3) + 3)*7. Suppose j*t - 4*t - 12 = 0. Is t a multiple of 3?
False
Let p(f) = 2*f**3 - 5*f**2 + 4*f - 10. Is 6 a factor of p(4)?
True
Let s(i) be the first derivative of 8*i**3/3 + 3*i**2/2 + 2*i + 2. Is 14 a factor of s(-2)?
True
Suppose -j + 0*j = -5, 3*a - 4*j = 271. Does 15 divide a?
False
Suppose 6 = -3*y, 4*y + 25 = 5*i - y. Does 5 divide 24 + (2 - (4 - i))?
True
Let j be 6/(-36) + 1/6. Suppose -60 = -j*i - 3*i. Is i a multiple of 10?
True
Let i(n) be the second derivative of n**4/12 - 3*n**3/2 + 5*n**2/2 + n. Suppose -15 = -2*m + 3*k, -9 - 7 = -2*m + 2*k. Does 4 divide i(m)?
False
Suppose -6*j + j = 50. Is (j/6)/((-1)/33) a multiple of 22?
False
Let u be 2/10 - 278/(-10). Is 17 a factor of u - (2/(-1) - 0)?
False
Let y = 22 + 4. Suppose -6 + y = -5*g - 4*u, 0 = 3*u + 15. Suppose g = -v + 29 + 16. Is v a multiple of 13?
False
Let b(h) be the first derivative of h**3/3 + 9*h**2/2 - 6*h - 5. Is b(-10) even?
True
Let x = 22 - 20. Let u(d) be the third derivative of d**6/120 + d**5/30 - d**4/24 + d**3/3 - 2*d**2. Does 16 divide u(x)?
True
Suppose -58 = -2*k - 10. Is 14 a factor of k?
False
Let o = -75 + 190. Is 19 a factor of o?
False
Suppose 3*w - 1 = 4*w. Does 9 divide 8*(7 - (w + 4))?
False
Let n(q) be the third derivative of -q**5/60 + q**4/3 - q**3/6 + 3*q**2. Does 8 divide n(5)?
False
Is ((-264)/60)/((-138)/(-70) - 2) a multiple of 22?
True
Let u(d) = -d**2 - d - 5. Let y be u(5). Let g = y - -62. Is g a multiple of 12?
False
Is 11 a factor of 44*(4 - 3)*5?
True
Suppose -3*c = 74 - 26. Let z = 37 + c. Is z a multiple of 21?
True
Suppose 0 = -3*s - 15. Let t be s/((6/(-3))/(-2)). Let d(w) = w**2 + 3*w + 3. Is d(t) a multiple of 13?
True
Is 12 a factor of 2/(1/(87/3))?
False
Suppose -4*j + 17 = 5. Suppose -s = -j*s. Suppose 4*x + 8 = s, -3 = -w - x + 3. Is 4 a factor of w?
True
Let l be (4 - -7) + (-2)/(-2). Let u = -7 + l. Is u a multiple of 5?
True
Let i be (10 - -3)*(1 - 0). Suppose -2*x - 16 = -4*x. Let a = i - x. Does 4 divide a?
False
Let a(h) be the second derivative of -h**3/6 + h**2/2 + 7*h. Is a(-6) even?
False
Let r = 0 - 0. Suppose r = 2*n - 0*n - 4*b - 26, 4*b + 17 = -n. Suppose 3*v = 5*v - w - 13, n*w + 4 = v. Does 7 divide v?
True
Let r be 1/(4/12) - 4. Let i = r + 13. Does 12 divide i?
True
Suppose 0 = -2*s + 229 + 67. Is 11 a factor of s?
False
Suppose 5*i + 5*g - 50 = 0, i + 3*g - 22 = -6. Let u(y) = y**3 - 7*y**2 + 9*y - 6. Does 19 divide u(i)?
True
Suppose -2*z + 9 - 23 = 0. Let s(f) = -f - 5. Let d be s(z). Is 14 a factor of 3 - 2 - (-74)/d?
False
Let a(m) = -19*m + 17. Is 11 a factor of a(-13)?
True
Suppose -5*l - 46 = 4. Is ((-56)/l)/((-2)/(-10)) a multiple of 14?
True
Suppose 0 = -4*l + 20, 3*c + l + 2*l = 42. Is c a multiple of 2?
False
Suppose 5*u - 2 = 23. Suppose -27 = 3*m - 3*d, -d + u = -6*d. Does 6 divide ((-18)/m)/(2/10)?
False
Suppose 4*n + 80 = 2*u, 0 = -4*u - 0*u + 4*n + 164. Is u a multiple of 13?
False
Let u be (-1)/((-189)/(-192) - 1). Suppose -3*n + u = -4*n. Let j = -44 - n. Does 7 divide j?
False
Let p = -49 - -85. Is p a multiple of 5?
False
Let y(a) be the third derivative of -1/2*a**3 - 1/120*a**6 - 1/6*a**4 + 0*a**5 - 4*a**2 + 0*a + 0. Does 12 divide y(-3)?
True
Let p(v) = -3*v - 4. Let h be p(-5). Let k(t) = -t**2 + 13*t - 4. Is k(h) a multiple of 6?
True
Suppose 5*t + 15 = 0, 3*o - 35 - 49 = 4*t. Is o a multiple of 11?
False
Suppose -10 = -2*k + 220. Does 23 divide k?
True
Let j = 183 - 95. Suppose 0*n + 4*n = j. Is 11 a factor of n?
True
Suppose 2 = -r, -4*r - 3 = 3*g + 2. Let p(n) = 2*n**3 - n**2 + 1. Let v be p(g). Does 8 divide ((-1)/v + 0)*-26?
False
Let h be (20 - (-6)/3) + 2. Suppose 2*n + h = 4*d, 8*d - 3*d - n - 27 = 0. Suppose -3*f = -t + 19, -2*f + d*f - 45 = -3*t. Is 5 a factor of t?
False
Let q(m) = -13*m**2 - m + 4. Let x(s) be the third derivative of -5*s**5/12 - s**4/12 + 7*s**3/6 - 2*s**2. Let a(i) = 5*q(i) - 3*x(i). Is 19 a factor of a(2)?
False
Let v(x) = x**2 + 7*x + 8. Let q(t) = t**2 + 1. Let y(n) = 2*q(n) - v(n). Let j be y(8). Suppose 0*s + 22 = j*s. Does 11 divide s?
True
Suppose 0 = -0*p + 3*p - 624. Suppose w + 4*n + 96 = 3*w, -5*w = -2*n - p. Is w a multiple of 12?
False
Suppose 0 = z + 12 - 76. Is z a multiple of 13?
False
Let i(r) = 4*r**2 + 3*r - 1. Is i(-3) a multiple of 13?
True
Let q be 2*2/(-4) - -3. Let i(h) = -h**3. Let v be i(0). Is 16 a factor of 18 - (v + q + 0)?
True
Is 3 + 0*1/3 even?
False
Let u = 25 - 12. Let j = -6 + u. Is 5 a factor of j?
False
Does 12 divide 28 - 2 - 1/1?
False
Suppose 0 = -2*i + 14 + 22. Let y be 22/18 + (-4)/i. Suppose -y = 2*r + 3, 5*r - 54 = -4*k. Is k a multiple of 9?
False
Let a(x) = -x*