be x(3). Is l(d) a multiple of 2?
True
Suppose -q + 5*q = 12. Let b be 5 + -1 + 9/q. Suppose b*n - 4*n - 18 = 0. Is 3 a factor of n?
True
Let a(i) = -i**2 - 8*i + 8. Let m(q) = -2*q**2 - 16*q + 15. Let o(x) = 11*a(x) - 6*m(x). Let z be o(-8). Let c(k) = 2*k**2 - 2*k + 1. Is 6 a factor of c(z)?
False
Let s(n) = n**3 + 8*n**2 + 5*n - 8. Let r(g) = g - 8. Let q be r(7). Let k be (q - -5)*42/(-24). Is 6 a factor of s(k)?
True
Let y be (-1)/(4/8*2). Does 17 divide (-1)/(y/((-54)/(-3)))?
False
Suppose 0 = -3*z + 4*z - 42. Does 14 divide z?
True
Let j(v) = 121*v**3 + v. Is 21 a factor of j(1)?
False
Suppose -5*y - 5*s - 7 = -2*s, 2*s = -2*y - 6. Let n = 5 - 3. Is (-2 + 31 + n)/y a multiple of 15?
False
Suppose -6*n = -9*n + 306. Does 34 divide n?
True
Let k = -5 + 7. Suppose -k = -2*j + 10. Is 6 a factor of j?
True
Let m(n) = 3*n**3 + 3*n**2 - 9*n + 5. Does 23 divide m(3)?
False
Let r(p) = -3*p**3 + 13*p**2 + p + 12. Let d(v) = -4*v**3 + 19*v**2 + 2*v + 18. Let f be (-7)/(-3)*(4 + -1). Let a(n) = f*r(n) - 5*d(n). Is 3 a factor of a(-4)?
True
Let n = 53 - 37. Let h = 5 + n. Is h a multiple of 21?
True
Let v be 0 + (-2)/((-2)/9). Let u = v + -6. Does 13 divide 0 + (1 - u) + 40?
False
Suppose -14 = -l - 3*l + 2*c, 2*l - 2 = 2*c. Is 3*(-2)/(l/(-15)) a multiple of 15?
True
Suppose -3*j - 180 = -5*a, -2*j = -7*j. Is 12 a factor of a?
True
Let t(o) be the second derivative of -o**5/4 - o**4/12 - o**3/3 - o**2 - 2*o. Let m = -11 + 9. Is t(m) a multiple of 19?
True
Suppose -2*r = -x - 166, 0 = -x - 0*x + 2. Is 20 a factor of r?
False
Suppose u - 2 = -w, 4*w - 12 = w + 3*u. Suppose 0 = w*x + c - 31, -c + 41 = -x + 5*x. Does 5 divide x?
True
Is (1 - -209*1)*(-32)/(-32) a multiple of 30?
True
Suppose 0*b + 2*b = -3*j + 1919, -2*j + 1279 = b. Suppose 5*a + 2590 = -4*l, 2*l + j = l + 3*a. Does 19 divide (-2)/(-10) - l/25?
False
Suppose 2*r + 4 = -5*a + 21, -5*a - 16 = -r. Let m = r + 4. Is 6 a factor of m?
False
Let z(i) = 2*i**2 + i - 8. Let f be z(-6). Suppose f = 5*p - 22. Is p a multiple of 12?
False
Suppose 6*f - 18 - 12 = 0. Suppose -f*u - 48 = -z, -2*u + 63 = 2*z - u. Is 12 a factor of z?
False
Let t(h) = -h**3 - 9*h**2 - h + 8. Let i(x) = -9*x**2 + x + 1. Let z be i(-1). Let q be t(z). Suppose u + 3 = q. Does 12 divide u?
False
Let d be (-2 + -1 + 2)*-3. Suppose -d*x + 35 = 3*g - 10, g = -4. Let f = x - -1. Is f a multiple of 10?
True
Let o(x) = -x**2 + 5*x + 2. Suppose 6 = 5*l + 41. Let u be l/(-2) - (-3)/6. Is 3 a factor of o(u)?
True
Let x be ((-8)/10)/((-2)/25). Suppose x = 2*r - 8. Is r a multiple of 9?
True
Let r(i) = -i**2 + 205. Let o be r(0). Suppose 5*t - o + 45 = 0. Is t a multiple of 16?
True
Let p(r) = -2*r + 8. Is p(-11) a multiple of 6?
True
Suppose 132 = -3*f + 12. Let l = f + 74. Suppose -d = d - l. Is d a multiple of 17?
True
Let w be -1 + 3 + (-1 - -2). Suppose 0 = 3*g + 4 - 28. Let z = g - w. Is z a multiple of 2?
False
Suppose -7*n = -n - 60. Does 4 divide n?
False
Let l = 26 - 10. Suppose 4*z - l = -0, 0 = 4*n - z - 24. Is n a multiple of 3?
False
Let m(g) = 4*g**2 - g - 18. Let k(q) = -5*q**2 + 18. Let u(x) = 3*k(x) + 4*m(x). Is u(10) a multiple of 28?
False
Let u(v) be the first derivative of 6*v**2 - 4*v - 5. Is 22 a factor of u(4)?
True
Suppose -63*i = -59*i - 1160. Does 10 divide i?
True
Let l(x) = 52*x**2 + 2*x + 1. Let t be l(-1). Suppose 1 - t = -5*h. Suppose 30 - h = -d + 5*w, -2*d - w + 15 = 0. Is 5 a factor of d?
True
Let i(h) = -4*h**2 + 3*h - 1. Let k be i(3). Let m = 47 + k. Is 11 a factor of m?
False
Let h(q) = -7*q + 4. Let j be h(3). Let c = 30 + j. Is c a multiple of 13?
True
Let z be (85 - 0) + 4/(-2). Let x = z - 5. Is x a multiple of 26?
True
Let j = -25 + 65. Is j a multiple of 10?
True
Suppose -4 + 10 = 3*v. Suppose 6*q = v*q + 72. Is 17 a factor of q?
False
Suppose -3*h - 28 = -5*r + 1100, -4*r + 895 = 5*h. Is 21 a factor of r?
False
Suppose -20 + 8 = -3*z. Suppose -5*i - 5 - 12 = -3*p, -z*p = -4*i - 20. Suppose -p = 4*n, -5*n + n + 92 = 3*v. Is v a multiple of 16?
True
Let r(c) be the first derivative of -c**4/4 - c**3 - 2*c**2 - 3*c + 2. Let x = -6 + 3. Is r(x) a multiple of 9?
True
Suppose -2*n + 438 - 106 = 0. Is 16 a factor of n?
False
Let c be (-3)/2 + 37/(-2) + 0. Suppose 3*r + 1 = -3*a - 2, 5*r = -2*a - 11. Does 23 divide (c*1)/(-1) - r?
True
Let n = -144 + 246. Suppose -3*p - 4*s + 87 = 0, -3*p = 2*s - 3*s - n. Does 17 divide p?
False
Let x(r) = -r - r - 1 + 0*r + 4*r**2. Suppose -f = 3*f - 8. Is x(f) a multiple of 4?
False
Let m(v) = -13*v - 14. Let c(d) = -d - 1. Let b(w) = 4*c(w) - m(w). Let i be b(10). Suppose 2*o - i = -2*o. Is o a multiple of 7?
False
Suppose 5*v - 10 = -5*t, 3*t - 6*v + 4*v = -4. Is (-2)/(t - -2)*-5 a multiple of 2?
False
Let t be (-24)/9*6/(-4). Let c(u) = -u**3 + 6*u**2 - 6*u. Is c(t) a multiple of 6?
False
Suppose 371 = 3*o - 76. Suppose -2*u + 31 = -2*z - 29, -5*u = -4*z - o. Is 11 a factor of u?
False
Let t(n) = 58*n**2. Let v be t(1). Suppose 5*q - 17 = -5*o + v, 5*q = -4*o + 57. Is 6 a factor of o?
True
Let h be (-1)/(-2) + (-7)/(-2). Suppose -h*g + g - 3 = 0, -2*g + 17 = o. Does 19 divide o?
True
Suppose -3*i = 3*n - 93, 5*n - 4*n - 2*i - 43 = 0. Suppose -3*z + 2*a = 80, 2*z - 5*a = -0*z - n. Is 7 a factor of (z/(-5))/((-1)/(-2))?
False
Let r(f) = 146*f**3 + 3*f**2 - 3*f + 1. Does 14 divide r(1)?
False
Suppose 2*s - 184 = -0*s - 4*r, 5*r + 202 = 2*s. Is 6 a factor of s?
True
Suppose -4*p - 2*x = -x - 5, 11 = -2*p - 5*x. Suppose p + 10 = v. Is 4 a factor of v?
True
Let x(a) = 4*a**3 - 9*a**2 - a + 5. Let h(d) = -d**3 + d**2 + d - 1. Let s(j) = 5*h(j) + x(j). Does 18 divide s(-6)?
False
Let x(t) be the second derivative of -t**5/20 + 5*t**4/12 - 5*t**3/6 + 3*t**2/2 + 2*t. Let r be x(5). Let f = -5 - r. Is 15 a factor of f?
False
Let r be (2/6)/(1/9). Let w(s) = s**r - 9*s**3 - 25*s**3 - 1 - s - s**2. Does 16 divide w(-1)?
True
Suppose -y = 2*k - 4, 3*y = y - k + 5. Suppose 60 = y*w + 3*w. Is 4 a factor of w?
True
Suppose 0 = -w + 3*t + 66, 9 = 3*t - 0. Suppose 3*f + 65 = 4*f - 5*h, 2*f - w = -h. Does 8 divide f?
True
Let x(y) be the second derivative of y**6/180 - y**5/60 - 5*y**4/24 - y**3/2 - y. Let p(f) be the second derivative of x(f). Is 6 a factor of p(4)?
False
Is 9 a factor of ((-12)/10)/((-1)/25)?
False
Let l(u) = u**2 - 2*u - 4. Let i be l(3). Is 14 a factor of i/4 + 282/8?
False
Suppose 8*y = 213 + 603. Is y a multiple of 34?
True
Suppose 0 = -2*y - 3*b - 7, 2*y - 4*b = -b + 23. Suppose 0 = 3*a + y*q + 6, -a - 5*q = 2*a + 6. Let k(m) = -14*m - 1. Is k(a) a multiple of 9?
True
Suppose -j + 575 = 5*o, -j + 46 - 383 = -3*o. Suppose -2*h = h - o. Is h a multiple of 19?
True
Is 31 a factor of 741/12 - (-3 - 33/(-12))?
True
Suppose -12*b + 10 = -7*b, -5*d - 5*b + 1220 = 0. Is 11 a factor of d?
True
Suppose -j - 198 = -3*j. Suppose -h - 2*h = -j. Does 10 divide h?
False
Suppose -3*s + 2*t = t - 6, -2*s = 3*t - 15. Suppose 4*o + 3*x = 57, o = -s*x + x + 8. Is 3/(o/8)*6 a multiple of 5?
False
Suppose 3440 = 9*b - b. Does 29 divide b?
False
Let x = -30 + 13. Let n = -1 - x. Is 4 a factor of n?
True
Let q = 11 - 6. Suppose 44 - 209 = -q*j. Suppose -2*n = -4*x - 4, 0*n + j = 4*n - 3*x. Is n a multiple of 6?
True
Suppose t + 263 = 2*f, -2*f + 3*t = 2*f - 529. Is f a multiple of 13?
True
Is 7 a factor of 4/18 + (-305)/(-45)?
True
Suppose -4*r + 372 = -0*r. Does 24 divide r?
False
Let i(a) be the second derivative of a**4/4 - a**3/6 + a**2/2 - 2*a. Is 2 a factor of i(1)?
False
Suppose 40 + 114 = 2*c + 3*l, 0 = 4*c + 5*l - 312. Is 7 a factor of c?
False
Suppose 0 = 3*i - 8 - 1. Suppose -i*c = -5*u + 5, 5*c - 18 = -5*u + 27. Does 5 divide c?
True
Let f = 6 - 3. Suppose 17 = -z - 4*g, 0 = -z + f*g - 10. Let u = z + 40. Is u a multiple of 20?
False
Let i(a) = a**3 - 4*a**2 - 8*a - 4. Let o(q) = q**3 + 9*q**2 + 9*q + 8. Let b be o(-8). Let x = 6 - b. Is i(x) a multiple of 10?
True
Let i(q) = 3*q**3 - q**3 - 3*q**3 + 0*q**3. Let o be i(1). Is 8 a factor of 0 - 1 - o - -11?
False
Let a = 48 - 22. Does 13 divide a?
True
Suppose -4*d - 20 = 0, -107 = -i + 3*d + 2*d. Suppose 0 = 3*l - i - 14. Is 16 a factor of l?
True
Suppose 0*j + 88 = 4*j. Is 11 a factor of j?
True
Let i(r) = r**2 - 2*r + 1. Is i(-5) a multiple of 9?
True
Suppose -4*u + u = 0. Let n = -39 - -124. Suppose -6 = 2*c