actor of f?
False
Let o(h) be the second derivative of -h**4/8 - h**3/2 + 2*h**2 + h. Let l(d) be the first derivative of o(d). Is l(-6) a multiple of 5?
True
Let w be (-147)/(-2) - 3/(-6). Let o = w + -34. Suppose r - o = -r. Is r a multiple of 20?
True
Let q be (-36)/16 - 2/(-8). Is 12 a factor of (q - -1)/2*-24?
True
Suppose 0 = 4*u - 2 - 2. Is 4 a factor of 3/6*u*8?
True
Suppose -q + 5*x = -6*q - 5, -4*x - 16 = 0. Suppose q*i - 2*y = -i - 66, -3*i - 3*y = 27. Let c = i - -23. Does 9 divide c?
True
Let a(y) = 13*y**2 - 2*y + 1. Is 15 a factor of a(2)?
False
Suppose 5*w - 256 = 4*v, 3*w = 6*w - 4*v - 152. Let b = w + -35. Suppose -1 = a - b. Is a a multiple of 8?
True
Let j(v) = -v. Let q be j(-2). Suppose -5*l = 25, -5*s + q*l + 39 + 16 = 0. Does 5 divide s?
False
Let h(x) = -x**2 + 10*x. Let z(y) = y + 2. Let k be z(5). Let t be h(k). Is t*(0 + 2/3) a multiple of 7?
True
Suppose 9*o - 4*o + 4*i = 296, -2*i = o - 64. Suppose 3*d - 63 = 2*k + 20, 2*d = k + o. Suppose 3*b - 5*p = d - 3, -2*b = 4*p - 32. Is b a multiple of 12?
True
Is 8 a factor of 43 + -6 + 12/3?
False
Is 4 a factor of (-6)/(-21) - 356/(-28)?
False
Suppose -31 = -p + 61. Is 23 a factor of p?
True
Let j(n) = n**3 - 7*n**2 + 6*n - 9. Let g be j(7). Suppose -5*t - g + 258 = 0. Is t a multiple of 15?
True
Let n(a) = -a**3 + 4*a**2 - 2*a. Suppose 0 = 4*p - 16 + 4. Let q be n(p). Suppose -3*l - x = q*x - 57, 3*l - 2*x = 39. Does 15 divide l?
True
Let l = -2081 - -2941. Suppose l = 2*w + 3*w. Suppose -w = -4*n + 4*v, 4*v - 8 - 12 = 0. Is n a multiple of 17?
False
Suppose 39 = 2*g - 591. Suppose -4*j + g = 75. Does 20 divide j?
True
Let p be 2/6*(-12)/(-2). Let b(u) = 8*u + u + 4*u. Is 13 a factor of b(p)?
True
Let o(a) = a**2 + 4*a + 3. Let x be o(-2). Is 4 a factor of x*(-3*5 + 2)?
False
Let q(s) = -2*s**3 + s**2 + s + 3. Let o be q(3). Suppose 3*z = 3*k - 195, 4*z + 0 - 4 = 0. Let a = k + o. Is 10 a factor of a?
False
Does 2 divide (1 - 36/20)/(2/(-80))?
True
Suppose 0 = -d + 5*c + 7, -d - 2*c = -22 - 13. Let h(k) = 2*k**2 - 1. Let g be h(1). Let p = d - g. Does 13 divide p?
True
Let b(s) be the second derivative of s**4/12 - s**3/2 + s**2 + s. Let r = 0 - -5. Is b(r) a multiple of 6?
True
Let c be 1/(54/26 + -2). Let i = -5 + c. Is i a multiple of 4?
True
Suppose -x + 2*d = -39, 0 = -2*x - 2*d - 0*d + 72. Suppose s - 20 = -2*u, -3*u + 6*u = -5*s + x. Let a = 19 - u. Is 10 a factor of a?
True
Suppose -8*r = -14*r + 648. Is 54 a factor of r?
True
Suppose -5 = 2*v - 3*y, 4*v - 5*y + 11 = 2*v. Let d(w) = -1 - w**v + 2 - 4*w - 2*w + 2. Does 4 divide d(-5)?
True
Suppose 0 = 4*u - 6*o + 2*o + 16, 0 = 3*u + 5*o - 4. Let x be 0 + (1*u - 1). Does 6 divide (-15)/(-2) - x/(-2)?
True
Let y(g) = -g**2 - 13*g - 6. Let c be y(-11). Let t = c + -9. Suppose -4*n = 5*m + t - 31, 0 = 3*m + 3*n - 15. Is m even?
True
Suppose 31 = -2*c - 5*u - 14, 3*c = u - 25. Let b = 12 - c. Is b a multiple of 11?
True
Let v(n) = 35*n - 5. Is v(3) a multiple of 25?
True
Suppose 4*q - 8 = 0, -151 = -4*n + q + 79. Is n a multiple of 21?
False
Let w be 2*(-4)/8 - -10. Suppose 0 = -u + w + 15. Does 12 divide u?
True
Let i(k) = 21*k**2 + 2*k + 1. Let u be i(-1). Let d be (u/12)/((-2)/(-6)). Suppose d*z = -0 + 25. Is z a multiple of 5?
True
Let l = 1 + -8. Let t(x) = -7*x - 7. Is 14 a factor of t(l)?
True
Let d(x) = x**3 + 7*x**2 - 5*x + 7. Is d(-7) a multiple of 21?
True
Suppose 3*q = 2*q + 30. Suppose a - 4*a - 3*t + q = 0, -3*a = 5*t - 38. Does 3 divide (3/(a/8))/1?
False
Let d be (-22)/4 + 2/4. Let j(g) = g**2 + 4*g + 7. Does 8 divide j(d)?
False
Let v(c) = -4*c**3 - 2*c**2 - 3*c + 3. Is v(-3) a multiple of 30?
False
Let a be (-1 + 2)/(4/92). Let l = a - -1. Let y = l - 8. Is 11 a factor of y?
False
Suppose -14 = -q - q. Let b = q - 14. Does 4 divide -6 - -3 - -6 - b?
False
Suppose -4*d = -8, 3*g - 21 = -2*g + 2*d. Suppose -g*a = -a - 104. Is a a multiple of 11?
False
Suppose 5*o + 3*d + 0*d - 23 = 0, -5*o = 4*d - 24. Let n(q) = q**3 - 3*q**2 - 5*q + 6. Let x be n(o). Suppose -x*v + 55 - 1 = 0. Is v a multiple of 12?
False
Suppose 84 - 31 = 4*r - 3*w, -2*r + 9 = -5*w. Suppose r = -5*y + 2. Let j(v) = 4*v**2 - 2*v. Does 11 divide j(y)?
False
Let r = 26 + -8. Does 18 divide r/27 - (-52)/3?
True
Let v = -42 + 27. Let b = 23 + v. Let i(k) = 2*k**2 - 8*k - 1. Is i(b) a multiple of 16?
False
Let k(o) = o**2 - 9*o. Is k(12) a multiple of 18?
True
Suppose 3*d - 2*a - 101 = 0, a - 76 = -2*d - 2*a. Is d a multiple of 8?
False
Suppose 4*t - 4*g = 16, 3*g - 2 = -5*t + 26. Let l be (-2 + 1)/(2/(-166)). Suppose -p - 4*f - t = -22, 0 = 4*p + f - l. Does 10 divide p?
False
Let v = -28 - -7. Let q be (-1)/((-1)/49 + 0). Let z = v + q. Does 9 divide z?
False
Let s(z) = -11*z**2 + 5*z + 3. Suppose 16 = 3*x + 5*j, 0 = -3*x - 0*x + 5*j - 34. Let k be s(x). Is 9 a factor of k/(-12) - (-3)/(-12)?
True
Let x(v) = -v**3 + 6*v**2 + 8*v - 2. Is 5 a factor of x(7)?
True
Suppose -i + 3*i = 2*b - 140, -b + 4*i = -85. Is 13 a factor of b?
True
Suppose -84 = 4*x - 664. Suppose 2*f + w - 93 = 7, 3*f = w + x. Does 13 divide f?
False
Suppose 3*c = 36 + 42. Suppose -21*t = -c*t + 310. Is t a multiple of 34?
False
Let a(j) = 4*j**2 + 3*j + 4. Let m be a(-4). Suppose -m - 64 = -2*y. Is 10 a factor of y/(-2)*2/(-4)?
False
Let n(w) be the first derivative of -w**4/12 - 7*w**3/3 + 9*w**2/2 + w - 2. Let m(d) be the first derivative of n(d). Is m(-7) a multiple of 16?
False
Let z(n) be the first derivative of n**4/4 - 2*n**3 - 7*n**2/2 + n - 1. Let y be z(7). Suppose -4*t - y = -13. Is t a multiple of 3?
True
Is 10 a factor of 1*54 - ((-48)/8 + 3)?
False
Suppose 0 = 2*r - 3 - 3. Suppose -5 = r*u - 2. Does 11 divide 2*(2 + u) - -25?
False
Suppose -5*p + 179 = -21. Is p a multiple of 5?
True
Let h(k) = k**2 - k - 1. Let g be h(0). Is g/(-2)*(-3 - -11) a multiple of 4?
True
Let i(l) be the first derivative of l**2/2 - 8*l - 5. Does 3 divide i(13)?
False
Let u = -22 - -31. Is u a multiple of 2?
False
Suppose -2*u = 3*u - 2*d - 23, 3*u + d - 5 = 0. Suppose -9 = -3*g + i, g - i + 2 = u. Let b(h) = 2*h - 4. Is 4 a factor of b(g)?
True
Let y = -27 - -34. Is 3 a factor of y?
False
Let x(l) = -l**3 + l**2 + 3*l + 1. Let d be x(3). Let g = -15 - d. Let c = g + 18. Is c a multiple of 11?
True
Suppose -7*z + 4*z + 222 = 0. Does 19 divide z?
False
Suppose -884 = -53*c + 49*c. Does 14 divide c?
False
Is 11 a factor of 8*4/(-10)*(-1 - 14)?
False
Let p(b) = 119*b - 1. Does 19 divide p(1)?
False
Is -12*(-1)/((-8)/(-4)) a multiple of 2?
True
Let v be (-2)/(6/(-15)*1). Let u = -3 + v. Suppose -4*a - 26 = -c, -u*a - a = -5*c + 198. Is 19 a factor of c?
False
Let m be -3 + 2 + 1 + 61. Suppose -5*w = 5*h - 140, -2*w + 2*h = -h - m. Suppose -w = -r + i, 4*r - 145 + 11 = -2*i. Does 16 divide r?
True
Let w be (12/9)/(4/6). Suppose 0*j + 4*c + 86 = 3*j, -w*j + 2*c = -54. Is 10 a factor of j?
False
Suppose -v = -123 + 81. Does 5 divide v?
False
Is 13 a factor of (-3 + 23)*(-9)/(-6)?
False
Let s(d) = -19*d - 9. Let a be s(-4). Suppose 0 = 2*o - 5*x - 43, -5*o = -0*x + x - a. Is 14 a factor of o?
True
Let v(h) be the second derivative of -h**4/12 + 4*h**3/3 + 7*h**2/2 + 7*h. Is v(7) a multiple of 7?
True
Suppose 5*t - 10 = 0, t - 10 = 5*r + 6*t. Let v = 66 - r. Is v a multiple of 11?
False
Let s(z) = z**3 - 4*z**2 + z + 5. Let r be s(4). Suppose 5*y + 11 - 35 = w, -w - r = -2*y. Suppose -47 = -y*t + 28. Is t a multiple of 5?
True
Suppose 2*a - 53 = -3*w + 14, -110 = -5*w - 3*a. Let o = w - -9. Is 14 a factor of o?
True
Suppose p = -2, -3*p = 3*v - 2*p - 7. Suppose -v*t + 5 = 2*t. Let y = 17 - t. Is y a multiple of 8?
True
Let d(c) = 42*c**2 - 2*c. Let w be d(-2). Suppose -w = 2*a - 6*a. Is a a multiple of 12?
False
Let b = -22 - -110. Is 15 a factor of b?
False
Let i = 6 - 6. Is (i - (2 - -14))*-1 a multiple of 10?
False
Let m = 5 + -1. Suppose -m*x + 6 = -5*x. Does 3 divide 2/x + (-13)/(-3)?
False
Let k(x) be the first derivative of 15*x**4/2 + 2*x**3/3 - x + 4. Is k(1) a multiple of 17?
False
Suppose 0 = -2*c + 4*c + 4, 0 = -3*f - 2*c + 38. Is f a multiple of 5?
False
Let g = 21 - 15. Suppose 2*d + 0 = -g. Does 12 divide (23/d)/(3/(-9))?
False
Let f(z) = -11*z + 1. Let b be f(-1). Suppose 0 = 4*n - b, 5*q - n + 78 = 275. Is 20 a factor of q?
True
Let z(n) = 8*n + 1. Is 32 a factor of