x**2 + 3*x + 1. Let v = -16 + 11. Is r(v) a multiple of 11?
True
Let i(u) = -6*u**2 - 40*u - 61. Suppose 13 = -2*n - 9. Let v(r) = -r**2 - 8*r - 12. Let x(h) = n*v(h) + 2*i(h). Is x(8) a multiple of 5?
True
Let o(q) = -q**3 - 3*q**2 + 6*q - 8. Is 15 a factor of o(-6)?
False
Suppose 4*h + 67 = -5*o, 32 = -5*o - 5*h - 38. Let t = -3 - o. Is 8 a factor of t?
True
Let b(n) = -n**2 - 4*n + 1. Let c be b(-3). Suppose -108 = -c*y - 0*v - 4*v, -2*y - 3*v + 55 = 0. Does 13 divide (y/(-5))/((-3)/15)?
True
Let c = -22 + 36. Does 7 divide c?
True
Suppose 0 = -2*z - 3*z + 3*p + 316, 0 = 2*z + 5*p - 114. Let b = z - 36. Suppose -5*x + b - 6 = 0. Does 4 divide x?
True
Let d be 6/(-27) - 1182/27. Let i = -9 - d. Is 10 a factor of i?
False
Let l(q) be the second derivative of q**5/20 + 5*q**4/12 - q**3 + q. Let b be l(-6). Suppose -r + 14 = 2*a - 1, b = 4*r + a - 53. Does 5 divide r?
False
Let i(a) = a**3 - a**2 - 3*a + 4. Is i(4) a multiple of 18?
False
Let x(c) = -2 + c**2 - 5*c + 2*c**2 - 2*c**2. Let d be x(6). Suppose -u = -a + 1, d*a = 3*u - u + 12. Is 4 a factor of u?
True
Let w(y) = -5 + 1 - 6*y**2 - 3 - 5*y + y**3. Does 6 divide w(7)?
False
Let c = -1 - -6. Let z = c - 0. Is 5 a factor of z?
True
Let p = -16 + 22. Suppose -5*r - p*l - 25 = -l, 0 = 2*r + 4*l + 20. Suppose -j + 19 - 2 = r. Is j a multiple of 17?
True
Let d = -4 - -5. Does 10 divide 2 - -12*d - 1?
False
Suppose -31 = -h + 15. Does 5 divide h?
False
Let b(x) = x**3 - 8*x**2 + 8*x - 3. Let n be b(7). Let o(i) = 5*i**2 - i + 4. Let h(r) = -6*r**2 - 3. Let t(f) = n*h(f) + 5*o(f). Is t(8) a multiple of 16?
True
Let u = -72 + 86. Is u even?
True
Is 7 - 3 - -52*1 a multiple of 12?
False
Let p(f) = f**3 - 3*f**2 + 2*f. Suppose 4*i - 7 - 5 = 0. Let k be p(i). Let h(v) = -v**2 + 9*v + 5. Is h(k) a multiple of 8?
False
Let z(f) = -2*f - 2 + 5*f - 9 + 2 + f**2. Does 5 divide z(-7)?
False
Let q be -2*(-2)/(-4) + -3. Let w(d) = 2*d**2 + 3*d + 4. Does 8 divide w(q)?
True
Let p = 38 + -22. Let y = p - 3. Suppose 0 = 5*o + t - 39, 3*o + 4*t = y + 7. Is 3 a factor of o?
False
Suppose 3*q = -2*g + 65, -5*g + 206 - 31 = -5*q. Is 26 a factor of g?
False
Let n be (-36)/(-10) + 3/(-5). Suppose 229 = 5*h + n*k - 36, 0 = 4*k. Does 22 divide h?
False
Let w(p) be the third derivative of 2/15*p**5 + 3/2*p**3 + 1/120*p**6 - p**2 + 0 + 0*p + 7/24*p**4. Is 9 a factor of w(-7)?
True
Suppose i - 4 + 0 = 0. Suppose -i*w = -3*w - 32. Is w a multiple of 8?
True
Let l(f) = -f**2 + 6*f - 8. Let q be l(4). Suppose 3*o - 90 - 9 = q. Is o a multiple of 12?
False
Suppose i = 4*o + 6*i - 353, -4*o + 303 = -5*i. Does 30 divide o?
False
Suppose 0 = -3*w - 2*f + 30, 4*w + 4*f + f - 47 = 0. Does 6 divide w?
False
Let t = 12 - 2. Does 10 divide t?
True
Suppose -60 = -3*v - 2*v. Is v a multiple of 10?
False
Let d be (-25)/(-4) - 1/4. Let a be d/((-5)/(-2) - 1). Does 18 divide 6*((1 - 2) + a)?
True
Suppose 5*o + 20 = -f, 3*f + 2*o = 5*o - 150. Let q be (-1 - 4/(-2)) + f. Let r = q + 69. Is 11 a factor of r?
False
Let y(q) = -4*q**3 + 2*q**2 + 7*q - 6. Let k(g) = -11*g**3 + 6*g**2 + 20*g - 17. Let b(f) = -6*k(f) + 17*y(f). Let x = -5 - -3. Is 10 a factor of b(x)?
True
Suppose -v - 3*v + 16 = 0, 0 = s + v - 33. Let f = s - 3. Does 13 divide f?
True
Let q be (-4)/((-8)/3)*10. Let b be (81/(-4))/((-7)/28). Suppose -3*s - q = -b. Is s a multiple of 10?
False
Let m = -7 - -38. Let b be 12/(-4)*(-42)/18. Let l = m - b. Is l a multiple of 9?
False
Let u = -143 - -469. Is u a multiple of 49?
False
Is 2 a factor of 2/6 + 88/6?
False
Let s(h) = -h**2 + 10*h + 15. Is s(7) a multiple of 18?
True
Let c(z) = 9*z + 9. Let j(n) = -8*n - 8. Let v(g) = 2*c(g) + 3*j(g). Is v(-5) a multiple of 8?
True
Suppose 5*j + 2*n - 3*n = 18, 10 = 5*n. Let z be (-3)/4 + j/(-16). Let l = 2 - z. Is l even?
False
Let g(p) = 6*p + 4. Let t be g(-4). Let x = 39 + t. Suppose 4*y - 16 = -4*m, -4*y - y = 4*m - x. Does 3 divide y?
True
Suppose -2*u - u + 231 = 0. Suppose -4*x + 131 + u = 0. Does 13 divide x?
True
Let v be 16/56 - (-2)/(-7). Suppose 5*n + 5*h + 35 = v, 4*h = 5*n - h - 15. Let x(d) = 7*d**2 - d + 1. Is 11 a factor of x(n)?
False
Let f = -7 + 5. Let z(s) = 16*s**2 + 1. Let u be z(f). Suppose 0 = -3*k + u + 7. Is k a multiple of 18?
False
Let x(o) = 6*o - 6. Is x(14) a multiple of 6?
True
Let w(q) = -113*q**3 + q**2 + q + 1. Let y be w(-1). Suppose 0 = 6*o - 3*o - y. Is 19 a factor of o?
True
Suppose -3*g = -2*g - 2*k - 4, 0 = -5*g + 4*k - 10. Does 6 divide (-4)/6 + (-100)/g?
False
Let f(c) = 29*c - 2. Is f(5) a multiple of 13?
True
Let i = -4 + -3. Let f = 5 - i. Is 6 a factor of f?
True
Let y(q) = -q**3 + q**2 + q - 1. Let l be y(1). Suppose l*d + 5*d + 295 = 0. Let g = -33 - d. Is 19 a factor of g?
False
Let u(c) = -c**2 + 5*c + 5. Let v be u(6). Is (-1 - -6)/(v/(-12)) a multiple of 30?
True
Suppose 6*f - 204 = 4*f + 2*p, p = 2*f - 200. Is f a multiple of 14?
True
Let i = 197 - 113. Suppose 3*n + 49 - 14 = 2*s, -4*n = -5*s + i. Is (s/(-6))/((-4)/54) a multiple of 18?
True
Let p = -20 - -10. Let m = p + 20. Is 8 a factor of m?
False
Let u be 6/9 - (-43)/3. Suppose 5*t - 25 = -5*i, 3*t - t + u = 3*i. Is i a multiple of 4?
False
Let s be 11/(-9) - (-2)/9. Is 0 + 68 - (1 + s) a multiple of 34?
True
Let o(x) = 15*x + 11. Let m be o(-9). Let f = -65 - m. Let v = f - 42. Is v a multiple of 10?
False
Let c(j) = -21*j - 4. Let i be c(-5). Let p = 164 - i. Is p a multiple of 16?
False
Let o be -15 + 2/(2/(-1)). Let n = 10 + o. Is 5 a factor of 1/3 + (-28)/n?
True
Suppose -4*r + 31 = -21. Let l(c) = c**3 - 3*c**2 - 7*c + 5. Let w be l(5). Let n = w - r. Is 7 a factor of n?
True
Let l(d) = 47*d + 1. Let t be l(1). Suppose i + t = 3*i. Is 24 a factor of i?
True
Let w = 87 - 47. Suppose 2*d = 7*d - w. Is 8 a factor of d?
True
Let m(a) = a**3 + 3*a**2 - 5*a. Let u be m(-4). Suppose u*n - 23 = -3*y, -3*n = 3*y - 20 + 5. Does 4 divide n?
True
Let m(k) be the first derivative of -2*k**3/3 + 2. Let t be m(4). Let c = -16 - t. Is 8 a factor of c?
True
Suppose -5*u = -4*w - 7, -3*w + 3*u = 4 - 1. Does 22 divide 130/(1 - (-3 + w))?
False
Let p = 137 + -97. Is 40 a factor of p?
True
Suppose 9*z = 5*z - 256. Does 11 divide (-3512)/z - 2/(-16)?
True
Let b(r) = 2*r + 3. Let c = -15 - -11. Let y be b(c). Let o(x) = -6*x + 4. Is 17 a factor of o(y)?
True
Suppose 3*u + 2*f = 158, u - 4*u = -3*f - 138. Is 14 a factor of 0 + (u + 1 - 1)?
False
Suppose -r = -3*o + 68, 5*o - 52 - 298 = 5*r. Let j = 101 + r. Is j a multiple of 10?
True
Let u be (-4)/(-10) - (-18)/5. Let x be (-1 - (-2 + 3))/(-1). Suppose -u*o = 5*q - 132, -3*q = -x*o + 42 - 108. Is q a multiple of 12?
True
Suppose -4*l - z + 84 = 2*z, -2*z + 98 = 5*l. Let p = 24 - l. Is 6 a factor of p?
True
Let c(r) = 2*r**2. Let f be c(1). Let x be -1 + f - 0 - -35. Does 9 divide (x/(1 + 1))/1?
True
Suppose -r + 0*r = -99. Suppose 0 = 5*c - r - 16. Does 6 divide c?
False
Let n(k) = -k**3 + 9*k**2 - 10*k + 6. Let b be n(7). Let l = 3 + b. Is l a multiple of 18?
False
Let o(w) = w + 10. Let i be o(-10). Suppose 0 = -4*v + 5*u + 136, 5*v + 2*u + 4 - 207 = i. Does 13 divide v?
True
Let t(y) = 1 + 2*y**2 - 1 + 14*y**2. Let g be t(-2). Let n = g - 40. Is 9 a factor of n?
False
Suppose 6*p = 3*p + 159. Suppose -5*j + 22 = -p. Is j a multiple of 6?
False
Let w = -7 + 11. Suppose 138 = w*y - 94. Suppose -o = 2, -5*z + y = -o - 3*o. Is z a multiple of 10?
True
Let w(v) = 4*v**2 - 4*v - 5. Let u be (4/5)/(2/10). Let b be w(u). Suppose 2*c - 21 + 3 = 2*k, -3*c - 5*k = -b. Does 9 divide c?
False
Let a = -44 + 71. Is a a multiple of 27?
True
Let p(f) = f**2 + 3*f + 6. Let a be p(-4). Suppose 0*d - 20 = -5*d. Is a/d*(-24)/(-20) a multiple of 3?
True
Let w = 17 - -70. Does 29 divide w?
True
Let r(q) = -q**3 - 3*q**2 + 3*q - 7. Let i(f) = -f**2 - 5*f - 3. Let s be i(-4). Let d be s/(0 + 1)*-5. Is r(d) a multiple of 14?
True
Let d(y) = y**2 - y + 1. Let n be d(0). Is 17 a factor of 60*((-2)/10 + n)?
False
Suppose 5*x + 102 = y, 3*y - 5*x - 30 = 296. Suppose -3*d + d = -y. Suppose -d = 2*s - 6*s. Is s a multiple of 12?
False
Does 13 divide (0 - -2)/(4/104)?
True
Suppose 5*n + 2*u - 25 = 0, 5*u = n - 6 + 28. Suppose n*f + 92 = 7*f. Is 23 a factor of f?
True
Let n be 2*-1*(4 - 6). Suppose 0*o - 168 = -n*o. Suppose -2*v = -3*b - 75, 3*v = 2*v - 3*b + o. Is v a 