actor of d?
False
Let d(a) = 17*a**3 - a**2 - 2*a - 1. Let c be d(-1). Let v = c + 50. Is 11 a factor of v?
True
Let c = 17 + -25. Is 7 a factor of 2/c + (-66)/(-8)?
False
Let q be (-1 - (0 - 0))*-1. Let j(h) = 12*h**2 - h + 1. Does 5 divide j(q)?
False
Suppose 905 + 571 = 6*d. Does 17 divide d?
False
Suppose 35 = 2*p + 5*r, -2*p + r - 15 = -4*r. Suppose -z + 4 = 2*j, -p*j + 0 = 3*z - 9. Suppose -3*a = -2*y - 20 + j, 2*y = -a + 3. Is 4 a factor of a?
False
Let n(y) = y**2 + 3*y - 1. Let s be n(-4). Does 14 divide s - 0 - (6 - 28)?
False
Let u be 27/18 - (-18)/4. Suppose u*l - 95 = l. Is l a multiple of 18?
False
Let c = -2 - -3. Is c*(-74)/(-2) + -1 a multiple of 18?
True
Let a be (8/(-6))/((-12)/18). Let u(g) = 7 - g**3 + 0*g**2 + 1 + 4*g + 8*g**a. Is 20 a factor of u(8)?
True
Let x(i) = 104*i**2 + i - 2. Does 10 divide x(-1)?
False
Suppose -4*c - 141 = -585. Is 18 a factor of c?
False
Suppose -2 - 213 = -5*s. Is 43 a factor of s?
True
Suppose 5 = -3*v + 17. Let q = v - 4. Suppose 2*w = -q*w + 8. Is w a multiple of 4?
True
Let o(r) = r**3 + 9*r**2 + 8*r + 2. Let b be o(-8). Suppose -b*q - q = -54. Is q a multiple of 18?
True
Let v = 8 - 4. Suppose -4*h - f - v*f + 42 = 0, 2*f = 3*h - 20. Suppose -23 = -d - h. Is d a multiple of 5?
True
Let b(v) = 8*v + 6*v**2 + v - 3*v + 7 - v**3. Let x be b(7). Suppose x = z - 23. Does 11 divide z?
False
Let r = 101 - 9. Suppose 5*h - r = 58. Does 10 divide h?
True
Let q(w) = -3*w + 3. Suppose 58 - 14 = -4*r - 5*f, 0 = -3*r - 3*f - 30. Let l be q(r). Is 7 a factor of -20*(l/(-5) + 3)?
False
Let n(y) = y**3 + 9*y**2 + 4*y - 10. Let j(i) = i**3 - 9*i**2 - 12*i + 13. Let q be j(10). Is n(q) a multiple of 19?
False
Suppose t - 4*a = 21, -5*a - 28 = t - 76. Does 17 divide t?
False
Suppose -9 - 33 = s. Suppose -3*i - 2*i + 450 = 0. Let h = s + i. Does 16 divide h?
True
Does 11 divide (1 - 4 - -1)/(28/(-1442))?
False
Let s(n) = 2*n - 2 + 3 + 0*n + 1. Is s(5) a multiple of 4?
True
Does 6 divide (210/(-9))/((-6)/9)?
False
Let o(u) = 10*u - 2. Let l be o(-6). Let v = -44 - l. Is v a multiple of 9?
True
Suppose 5*b - 128 = -4*i, -b = 3*i - 41 - 66. Suppose 3*w - i = -4*g - 10, -3*g + 4*w - 11 = 0. Does 2 divide (9/3)/(g/4)?
True
Let w(i) = -i**2 - 4*i - 2. Let v be w(-4). Is 132*(6/v)/(-9) a multiple of 14?
False
Let y(d) = 2 - 5*d - 2*d + 1 - 1. Is y(-6) a multiple of 11?
True
Let w(p) = p**2 + 4*p + 3. Let d be w(-4). Let z = 4 - d. Suppose 11 = 5*s + z. Does 2 divide s?
True
Suppose -5*x = 25, 0*x - 95 = -3*s + x. Is s a multiple of 2?
True
Suppose 0 = 3*b - 0 - 6. Let q(h) = 3*h**3 - h**2 + h + 1. Is 23 a factor of q(b)?
True
Is 45 + (-1 - 11)/4 a multiple of 21?
True
Let t(v) = -v**3 + 8*v**2 - 6*v - 7. Let o be t(6). Let j = o + -7. Is j a multiple of 11?
True
Let r(t) = 6*t**3 - 2*t**2 + t - 2. Is r(2) a multiple of 11?
False
Suppose -5*n = 0, 4*g + 2*n + 30 = -90. Does 4 divide g/(-9)*(-24)/(-10)?
True
Let r(d) = 6*d - 1. Let x be r(6). Let i = x - 19. Let s = 25 - i. Is s a multiple of 9?
True
Suppose -2*i = -3 - 1. Suppose 2*f = 5*o + 24, -6*o = -5*f - i*o + 77. Suppose -k - 3*u = -f, 0*u - 3*u = 3*k - 21. Is 2 a factor of k?
True
Suppose -3 = -3*d - l, 0 = 4*l - l - 9. Suppose 0 = -d*z + z - 44. Is 16 a factor of z?
False
Suppose 0*l - 5*l + 20 = 0. Is 4 a factor of 130/11 - l/(-22)?
True
Let l(a) = -a**3 + 6*a**2 - 3*a + 2. Suppose 3*w + 7*j - 3*j - 12 = 0, 7 = -w - 5*j. Suppose -2*d = h - 11, -4*d + 2*d = -2*h - w. Does 8 divide l(d)?
False
Suppose 0 = -5*t + 10, -a - 3*t + 2*t + 65 = 0. Is 20 a factor of a?
False
Let j be (-14)/(-6) + 1/(-3). Let w = j - 2. Suppose w = 2*l - 17 - 59. Does 15 divide l?
False
Let t(f) = -1 + 33*f + 2*f**2 - 25*f + 1. Does 10 divide t(-6)?
False
Suppose 6*j - 55 - 125 = 0. Is 5 a factor of j?
True
Suppose -3*w + 2*z + 58 = 0, -17 - 75 = -5*w + z. Does 7 divide w?
False
Let o(z) = 7*z**2 + 13*z + 9. Is o(-5) a multiple of 31?
False
Let z(h) = -h. Let k be z(-2). Suppose 2*a + k*a = 8, -16 = -4*c - 4*a. Suppose -y = -c*y + 28. Does 14 divide y?
True
Let n be (2/4)/(5/(-90)). Let w = n + 13. Suppose w*u = 5*u - 4. Is u even?
True
Suppose -3*o + 6 = -3. Let t be (7 - o)*(4 + 0). Suppose -t = -2*v + 14. Does 4 divide v?
False
Let s be ((1 - -1)*-1)/(-2). Let b be -1 + s/3*3. Suppose b*x = x - 30. Does 10 divide x?
True
Let k = -20 + 43. Let n = k - 0. Is 9 a factor of n?
False
Let g(d) = -d**3 + 3*d**2 - d - 4. Let f be g(4). Let i = 0 + -14. Let r = i - f. Is 10 a factor of r?
True
Suppose 32 = -0*k + 2*k. Suppose 0 = -4*g - k, 4*g = -j - 4*j + 74. Is 6 a factor of j?
True
Is 13 a factor of 236/3 - (-14)/(-21)?
True
Let r(a) = -a + 9. Let k be 64/12*3*1. Let n = k + -24. Is 9 a factor of r(n)?
False
Let y(v) be the second derivative of -v**5/24 - v**3/2 - 2*v. Let a(r) be the second derivative of y(r). Is 7 a factor of a(-3)?
False
Let a(r) = r - 14. Let q be a(11). Suppose f - 3*f = -18. Let y = f + q. Is 5 a factor of y?
False
Suppose 0 + 4 = -a. Let l = 4 + a. Suppose l = -q - 0*q + 11. Is q a multiple of 10?
False
Let y = 375 + -167. Is y/4*3/6 a multiple of 13?
True
Suppose 10*o = 7*o + 138. Is 5 a factor of o?
False
Suppose g = 4*g + 6. Let q be -1*1*(-6)/g. Does 7 divide (1 - q) + -2 + 13?
False
Let p = -3 - -4. Let f be p - (-1 - -4) - 1. Is f + (3 - -1*6) a multiple of 6?
True
Let r be (2*3)/(0 + -2). Let q = -9 - r. Let l = q + 18. Is 6 a factor of l?
True
Let y(w) = 30*w**3 + 2*w**2 - 1. Does 31 divide y(1)?
True
Let d be (2 + -14)/((-3)/(-4)). Let m = -7 - d. Suppose 3*v = u - m, 0 = -5*u + 4*v + 57 + 43. Is u a multiple of 11?
False
Let z(y) be the first derivative of y**6/180 + y**5/60 - y**4/24 - y**3/3 - 1. Let q(r) be the third derivative of z(r). Does 17 divide q(3)?
False
Suppose 2*p - 105 = 39. Is p a multiple of 8?
True
Let z(r) = 2*r - 6. Is z(18) a multiple of 30?
True
Let k(u) = -14*u - 17. Is k(-8) a multiple of 8?
False
Let n = -13 - -90. Does 11 divide n?
True
Suppose 0 = -3*l + 2*q + 57, 0*l - 4*l - 5*q = -76. Suppose 4*t = y + 119, -6*y = 2*t - y - 87. Let s = t - l. Does 8 divide s?
False
Let t be 1*(-3)/6*-4. Suppose -t*y + y + 2*x = -10, -4*y + 44 = -4*x. Does 6 divide y?
True
Suppose y - 33 = 99. Let q be 70/22 - 4/22. Suppose x - y = -q*x. Is x a multiple of 10?
False
Suppose 0 = 4*y - y - t - 492, -4*y + 656 = -2*t. Is y a multiple of 35?
False
Let d(l) = l**2 - 5*l + 2. Let s be d(5). Let a = -2 + s. Suppose 7*u - 3*u - 104 = a. Is u a multiple of 13?
True
Let q = -31 - -136. Is 2/(-4) - q/(-2) a multiple of 14?
False
Let a = 19 + -13. Let r(j) = -j + 9. Is r(a) a multiple of 3?
True
Suppose -2*o - 10 + 88 = 0. Is o a multiple of 13?
True
Suppose -235 = -4*s - 27. Suppose -3*m = m - s. Is m a multiple of 13?
True
Let z be 5 + ((-3)/3 - 2). Let c be 30/9 - 1/3. Suppose n - 8 = c*u, -5*n + z*u + 0*u = -53. Is 9 a factor of n?
False
Let h(r) = -2*r**2 + 11*r + 4. Let t(j) = j. Let k(l) = -h(l) + 4*t(l). Suppose -5*g = -14 - 16. Is k(g) a multiple of 13?
True
Let n = 28 + 4. Is n a multiple of 16?
True
Is 5 a factor of (-76)/(-6) - (-10)/30?
False
Suppose 0 = f + c - 22 - 1, 3*f + 5*c - 75 = 0. Suppose 2*q = 4*o - 0*o, -f = -4*q + 3*o. Is q a multiple of 8?
True
Is (-265)/(-35) + 6/14 a multiple of 6?
False
Let r be (-4)/6*180/3. Let w = -29 - r. Is 4 a factor of w?
False
Let x be ((0 - -2) + -28)*2. Let s = 73 + x. Suppose 0*r + s = 3*r. Is 7 a factor of r?
True
Let j be 4/(-6)*(-83 - 1). Suppose 0 = -3*z - z + j. Suppose 13 = 3*w - z. Is 9 a factor of w?
True
Let l be -3 - (0 + -1 + -4). Suppose -l*i - 3*i - 5*p + 25 = 0, 5*i = 4*p + 61. Does 5 divide i?
False
Suppose -5*m - 20 = -0*m. Let d(f) = -f**2 - 3*f + 4. Let o be d(m). Suppose -2*z + 24 = -4*q, o = z + 3*q - 6 - 11. Is z a multiple of 14?
True
Let t(j) = -j**3 - 2*j**2 - 2*j + 2. Suppose -3*m = 5*s + 16, -4*m + 2*s - 3 - 1 = 0. Is t(m) a multiple of 6?
True
Let v(s) = s**3 + 8*s**2 - s - 3. Is v(-8) a multiple of 5?
True
Let r(x) = -x + 7. Let u be r(5). Suppose u*f - 84 = -2*f. Does 7 divide f?
True
Let c(g) = -g**3 - 12*g**2 - 2*g - 2. Is c(-12) a multiple of 19?
False
Let m = -1 - -3. Let i = 1 + m. Suppose 12 + 12 = i*l. Is 8 a factor of l?
True
Let f(p) = -p**2 - 7. Let q be f(0). Let h = 7 + q. Suppose 3*j = 4*l + 54 + 11, -5*j - 2*l + 65 = h. Is 8 a factor of j?
False
Let i 