et n(t) = 2*d(t) - 3*s(t). Is 20 a factor of n(6)?
True
Suppose 0 = 5*i - z - 425, z = -i - 0*i + 85. Suppose -i = 5*y + 55. Let o = y + 54. Is 11 a factor of o?
False
Let b = 21 - 5. Let y = 34 - b. Does 5 divide y?
False
Is 17 a factor of (268/(-6))/((-8)/36)?
False
Let j(d) = -d**3 - 22*d**2 - 3*d - 32. Does 4 divide j(-22)?
False
Let z(o) be the second derivative of -4*o**3/3 - o**2/2 + o. Let s be z(1). Is ((-4)/(-3))/((-2)/s) a multiple of 6?
True
Suppose -2*t = -4*y + 374, 0*y - 2*y + 183 = -5*t. Is 15 a factor of y?
False
Suppose -6*r = -5*r - 76. Is r a multiple of 36?
False
Let v(a) = a**2 - 4*a - 5. Let d be v(4). Let g(o) = 16*o**2 - o + 6. Let u(j) = 16*j**2 - j + 7. Let z(m) = d*u(m) + 6*g(m). Is z(1) a multiple of 9?
False
Let w(u) = -2*u - 4 - 11 - 2*u. Is 2 a factor of w(-6)?
False
Suppose -9 = -3*q - 3*k, -2*k - 2*k = 0. Suppose -q*x + 88 = -35. Is 14 a factor of x?
False
Let m(b) = -3*b**2 - 6*b + 4. Let d(n) = -4*n**2 - 7*n + 3. Let s(k) = -k + 8. Let r be s(6). Let y(g) = r*d(g) - 3*m(g). Does 15 divide y(4)?
False
Let v(t) be the third derivative of t**4/24 + 7*t**3/6 - 2*t**2. Let g be v(5). Is 6 a factor of 22 - (g/3)/2?
False
Suppose -h = 2, 3*h + 42 = 3*i - 15. Is i a multiple of 17?
True
Let u(z) = z**3 + 7*z**2 + 2*z - 4. Let r be u(-6). Let n = 18 - 16. Suppose n*y = y + r. Does 10 divide y?
True
Let d(o) = o**3 + 13*o**2 - o - 1. Let i be d(-13). Does 2 divide (-2 - 1) + 1*i?
False
Let w(y) = y. Let d be w(3). Suppose -2*n = -d*j - 32, j + 5*n + 29 = 2*n. Is j/35 + 194/10 a multiple of 11?
False
Let f(o) = 0*o - 9*o - 2 - 8*o. Does 13 divide f(-5)?
False
Suppose 66 = 2*k - 2*u, -2*k - 3*u = -0*u - 66. Suppose v = 4*q - k, -4*v = -5*q + 3*q + 6. Does 9 divide q?
True
Let s be (-54)/(-15) - (-2)/5. Suppose g - 26 = -4*j, s*j - 22 = -2*g + 3*g. Let n = j + 2. Is n a multiple of 8?
True
Suppose 4*t - 1441 = -2*x - 3*x, 3*t = 5*x + 1107. Is 17 a factor of t?
False
Suppose 0 = -o - 5*h + 62, 3*h - 264 = -4*o - h. Does 6 divide o?
False
Let z be 12/10*(-20)/(-6). Suppose 2*y - 14 = 4*o, -2*o + 0 = z*y - 18. Suppose -y*m + 130 = -0*m. Is m a multiple of 13?
True
Let w(h) be the first derivative of -3*h**4/4 - h**2/2 - h - 6. Let d = -1 + 0. Is 3 a factor of w(d)?
True
Let t = -28 + 107. Suppose 28 = -3*o + t. Is 17 a factor of o?
True
Let d(f) = 4*f**2 - 14*f + 5. Is 13 a factor of d(6)?
True
Let j(q) = -q**2 + q + 5. Let i be j(-4). Let l be (3*i/(-9))/1. Suppose 0 = -b + 4, l*b - 109 + 2 = -3*u. Is u a multiple of 12?
False
Let h(y) = -y**3 + 5*y**2 - 6*y + 9. Let k be h(4). Suppose 2*d + 2 = 14. Does 19 divide (k + -3)/(d/(-57))?
True
Let w(p) = -p**3 - p + 3. Let a be w(0). Let n(t) = -t**2 + 2*t**3 - a*t**3 + 7*t**2 - 5*t + t. Is 8 a factor of n(4)?
True
Suppose 3*a = 3*l - 33, 3*a = -l - 2*a + 35. Suppose -l + 3 = -4*b. Suppose 35 = 4*z + 5*y, z + 0*y = -b*y + 14. Is z even?
False
Let x(h) = 5*h - 1. Let n be x(2). Let j = 5 + n. Is 14 a factor of j?
True
Let l(a) = a**2 - 6*a. Let b be l(-6). Suppose 5*c - b - 45 = -2*t, -2*c - 72 = -t. Is 22 a factor of t?
True
Let o = 143 + -51. Does 23 divide o?
True
Suppose 0 = 3*g - 3*j - 285, 2*j - 7*j - 187 = -2*g. Is 8 a factor of g?
True
Let d = 9 + -1. Suppose -d*z + 4*z + 48 = 0. Is 7 a factor of z?
False
Let v(q) = q + 6. Let p be v(-6). Let l(y) = y + 14. Does 7 divide l(p)?
True
Suppose -4*l - 14 = -3*f + 3, f = -l + 15. Suppose y + 2*k = 13, 2*y - 19 = -5*k + f. Let x = 16 - y. Does 11 divide x?
True
Let i be 7/4 - (-3)/12. Suppose z = -3*s + 25, 5*s + i*z = -0*s + 40. Does 7 divide s?
False
Let i(v) = -4*v + 11. Does 10 divide i(-6)?
False
Let k be 3 + (-2 - (-3)/3). Suppose 4*t - 6 = k*a, -4*a + 18 = t + a. Suppose 4 + 8 = t*f. Is f a multiple of 2?
True
Let z be (-4 + 5)/(1/5). Let j(i) = 11*i + 4. Does 14 divide j(z)?
False
Let b = 6 - 4. Let l(w) = -3*w**b + w + 18 + 4*w**2 + 18. Does 13 divide l(0)?
False
Let r be 4 - (4 - 0 - 2). Suppose 5*b + o = -14, o - 5 = r*b + 2. Is 18 a factor of ((-20)/b)/(2/6)?
False
Suppose b = -0*b - 1. Let v = b - -7. Suppose -5*l - v = -26. Does 4 divide l?
True
Let s = 200 - 96. Is 26 a factor of s?
True
Suppose 176 = 6*o - 256. Suppose 4 = 4*k - o. Is 4 a factor of k?
False
Let y be (-41)/(-4) - (-2)/(-8). Suppose -5*k + y*k - 213 = -3*n, 0 = -2*n + 2. Does 13 divide k?
False
Suppose -k + 3*k - 36 = 0. Let z = k - 8. Is z a multiple of 7?
False
Let x be 4/6 - (-2)/6. Let n be ((-6)/(-15))/(3/(-15)). Let i = x - n. Is i a multiple of 2?
False
Suppose 0 = -2*q - 6, 0 = 4*i + 2*q - 7*q - 135. Is i a multiple of 23?
False
Suppose -66 = g - 3*g. Is 27 a factor of g?
False
Suppose 0 = 4*a + 5*k - 25 - 12, -3*a - 3*k + 24 = 0. Suppose b = a*b - 14. Does 7 divide b?
True
Let z(v) = v**3 - 9*v**2 + 3*v + 5. Let a be z(9). Suppose 92 = 5*o + a. Is 11 a factor of o?
False
Let y(q) = q**2 - 5*q - 3. Let t be y(6). Suppose -4*j - 178 = -t*k - 50, -5*j - 10 = 0. Does 20 divide k?
True
Let v(j) = -2*j**2 + 2*j + 45. Suppose 0 = r - 3*r. Is v(r) a multiple of 9?
True
Let z = 165 + -73. Let r = z - 57. Let p = -25 + r. Is 5 a factor of p?
True
Let i(v) = 3*v**3 - 8*v**2 + 8*v + 4. Is 25 a factor of i(4)?
True
Let l(m) = -4*m + 7*m + 3 - 35*m. Is 33 a factor of l(-3)?
True
Suppose 0*c + 16 = 4*c. Suppose -4*j + 2*a = -2*j - 114, -3*j + c*a = -174. Suppose s = -2*s + j. Is s a multiple of 9?
True
Suppose 5*u + 6 + 4 = 0. Let x be (-1 + 41/2)*u. Let t = x - -63. Is t a multiple of 8?
True
Suppose 3*b + 90 = 6*b. Is 3 a factor of b?
True
Is 10 a factor of 3/2*40/6?
True
Suppose 3*j = -0*j + 12, 0 = -2*s + j + 108. Suppose s = 3*b - 4. Is b a multiple of 20?
True
Let i(t) = -9*t**2 - 2*t + 13. Let s(j) = -j**2 - 6*j + 6. Let l be s(-6). Let k(m) = -5*m**2 - m + 7. Let a(f) = l*i(f) - 11*k(f). Is a(4) a multiple of 9?
False
Suppose 3*l - t = 3*t + 12, -4*l + 3*t + 9 = 0. Suppose l = -0*o + 2*o - 18. Is o a multiple of 3?
True
Let v(x) be the second derivative of 10*x**2 + 0 + 0*x**3 + 1/12*x**4 + 2*x. Is v(0) a multiple of 10?
True
Let j = 52 - 30. Suppose -j - 2 = -4*o. Is 10 a factor of (-2)/(-12)*10*o?
True
Let k be ((-12)/(-10))/(9/(-60)). Let t(p) = p**3 + 8*p**2 - 7*p - 5. Let v be t(k). Suppose 3*h + 4*c - v = 0, -4*h - 2*c + 39 + 39 = 0. Does 9 divide h?
False
Let r be (10/(6/(-3)))/(-1). Suppose -113 = 4*u - 9*u - j, 0 = -4*u - r*j + 103. Suppose -2*i + 12 + u = 0. Is 7 a factor of i?
False
Suppose -4*c + 2*c + 20 = 0. Does 10 divide c - (-1 - (-1 + 0))?
True
Let h(z) = -2*z - 3. Let p be h(-6). Let q(f) = f**2 - 11*f - 4. Let o be q(p). Let r = 36 + o. Is 5 a factor of r?
False
Suppose -z - z = 10. Let j be (z/(-2))/(2/4). Suppose 4*i - j*f = 0, -20 = -4*f - f. Is 2 a factor of i?
False
Let i(q) = q**2 - q + 4. Does 7 divide i(3)?
False
Suppose -11 - 6 = -q. Is q a multiple of 17?
True
Suppose -3*n = -4*r - 0*n + 19, 3*r - 2*n = 15. Let j = 21 + r. Does 14 divide j?
True
Let m(h) = -h + 15. Let t be m(0). Suppose -5*n + g = 4*g - t, 5*n - 15 = 2*g. Suppose n*f = 19 + 2. Is f a multiple of 7?
True
Suppose h - 2*g + 6 = 0, -5*h - 3*g + 9 = -13. Suppose 4*l - 56 = -h*a, -9 = -l - 2*l. Is 9 a factor of a?
False
Does 19 divide 39 + (-1 + 2)/(-1)?
True
Let d be 4/(-14) + (-60)/(-14). Let x(r) be the third derivative of r**5/60 - r**4/12 + 5*r**3/6 - 51*r**2. Is x(d) a multiple of 4?
False
Suppose 0 = 2*t + 2*t + 36. Let v(x) = -2*x + 3. Let w be v(t). Let u = w - -5. Is 10 a factor of u?
False
Suppose -29 = -a - 0. Is 20 a factor of a?
False
Suppose 4*z - 369 = s, -4*z - 263 = -7*z - 2*s. Does 25 divide z?
False
Let p(q) = -7*q - 4. Suppose -14 = 4*y + 14. Let s be p(y). Suppose 2*v - s = -3*f + 53, 0 = 4*f - 4*v - 104. Is 15 a factor of f?
True
Let l = 33 + -20. Let w = l - -5. Does 18 divide w?
True
Let z be 0/(((-12)/(-3))/2). Suppose -5*a + 15 = -v, z = -2*v + 5*a - 6 + 1. Is 10 a factor of v?
True
Let n(c) = 8 + 2 - 3*c + 2*c + 2*c. Is n(0) a multiple of 5?
True
Let t = -36 + 93. Suppose 3*m - 2*m - n = t, 0 = -m + 4*n + 48. Is m a multiple of 21?
False
Let p(o) be the first derivative of -27*o**4/4 - o**3/3 - o**2/2 - o + 2. Let n be p(-1). Suppose -n - 4 = -5*i. Is 3 a factor of i?
True
Suppose 245 = 3*l - t - 0*t, 4*t = -8. Does 12 divide l?
False
Let t = 39 + -11. Suppose q + 10 = t. Is 14 a factor of q?
False
Suppose -12 + 3 = 3*q. 