rue
Let r(q) be the third derivative of -q**8/6720 + q**7/168 + q**6/360 + 7*q**4/24 + 5*q**2. Let d(c) be the second derivative of r(c). Is d(15) a multiple of 10?
True
Let q be ((-7)/(-4) - 1)/(4/32). Is (7 - q) + (48 - -3) a multiple of 50?
False
Let m(o) = o**3 + 3*o**2 - 5*o - 1. Let a be m(-4). Suppose -a*r + 29 + 46 = 0. Is r a multiple of 15?
False
Suppose 7*m - 4 = 17. Is m/1*101/3 a multiple of 20?
False
Let u = 2578 - 1660. Does 17 divide u?
True
Suppose 0 = -34*a + 43*a - 1134. Is a a multiple of 14?
True
Let y = -1 + 4. Let h = 120 + -3. Suppose 5*f = 4*i + 38 + h, -2*f - y*i + 85 = 0. Is f a multiple of 30?
False
Is ((-112)/24*6)/(-2*1) a multiple of 13?
False
Let r be 2 - (-5)/((-20)/(-8)). Let o(q) = 8*q**2 + 2*q - 5. Let g be o(r). Let p = g + -79. Does 13 divide p?
True
Suppose z - 4*z + 15 = 0, 0 = h - z - 120. Suppose -s + h = 8. Is 51 a factor of s?
False
Let f(g) = 121*g - 265. Is 4 a factor of f(4)?
False
Let a(k) be the third derivative of -11*k**4/24 - 5*k**3/6 + 14*k**2. Does 10 divide a(-5)?
True
Suppose 5*m + 2181 = 4*f, m = 3*f - 2*m - 1635. Is 88 a factor of f?
False
Suppose 0 = c + d, 3*c - 3*d = 2 + 16. Let x be c/7 - (-21)/(-49). Suppose 0 = -b - 4*t + 40, x*t = 4*b + 5*t - 149. Does 18 divide b?
True
Let v(j) = -59*j - 27. Does 20 divide v(-26)?
False
Let i(z) = 6*z + 4. Let a be i(-5). Let l be (15*(-7)/(-70))/(2/(-20)). Let o = l - a. Does 8 divide o?
False
Suppose -4*z - 2*g + 1 = -11, 28 = 5*z - 4*g. Let p be 5 + z*(-2)/4. Suppose -h = -5*r + 334, -p*r + 73 = 2*h - 117. Is r a multiple of 22?
True
Let i = 1194 - -1068. Is 29 a factor of i?
True
Let f be 2 - (-51)/(-2) - (-3)/(-6). Is 31 a factor of f*(4/(-6))/((-42)/(-651))?
True
Let c(b) = 70*b + 10. Is c(1) a multiple of 16?
True
Let d be (-12)/78 - 5816/52. Is d/((-16)/(-10) + -2) a multiple of 23?
False
Let y be (4 - (0 - -55))/(-1). Is (-2)/17 - (-4749)/y a multiple of 9?
False
Suppose -5*l - 3*i + 46 = 0, -1 + 5 = l - 2*i. Let f(h) = -h**2 + 9*h - 7. Let q be f(l). Let n(d) = 15*d. Is 5 a factor of n(q)?
True
Let v = 1863 - 1304. Is v a multiple of 56?
False
Let s(f) = f**3 + 5*f**2 - 36*f + 15. Is 13 a factor of s(6)?
True
Let a = -65 + 66. Suppose -5*w + 5*k + 355 = 0, 0 = -5*k + 4 + a. Is w a multiple of 18?
True
Let d(r) = -r + 3. Let v be 93/(-12) - (-2)/(-8). Is d(v) a multiple of 3?
False
Suppose -4*f + 2164 = -4*t, 5*t + 12 - 7 = 0. Is f a multiple of 30?
True
Let c be (3 - 0) + (-6)/(-6). Suppose -c*p - 4*g - 13 + 117 = 0, -4*p = -3*g - 97. Does 6 divide p?
False
Let t(n) = -3*n**3 - 7*n**2 + 66. Does 69 divide t(-6)?
False
Suppose -14*r + 3921 = -16239. Is r a multiple of 48?
True
Let k(z) = 7*z - 14. Let c(t) = -22*t + 43. Let x(l) = 3*c(l) + 8*k(l). Does 12 divide x(-7)?
False
Let j be 3/(-9)*3 + 4. Suppose -2*w - 4*l = w - 458, j*l + 744 = 5*w. Let d = 214 - w. Is d a multiple of 16?
True
Let f(l) = -5*l**3 - 6*l**2 + l - 4. Let n(s) = -14*s**3 - 17*s**2 + 3*s - 11. Let z(p) = -8*f(p) + 3*n(p). Suppose 2*d + 6 = -2. Is z(d) a multiple of 25?
True
Let m(z) be the third derivative of 0*z - 1/24*z**4 - 9*z**2 + 1/3*z**5 + 0 - 1/6*z**3. Is 13 a factor of m(2)?
False
Let o = 1169 + -501. Is o a multiple of 13?
False
Suppose 15*w = 44*w - 551. Is w even?
False
Let l = -141 - -142. Is 5 a factor of 11*(2 + 0 + -1) - l?
True
Let f(w) = -271*w - 43. Does 16 divide f(-5)?
True
Let w = -24 + 27. Suppose 0 = -w*z + 383 + 19. Does 30 divide z?
False
Let c(u) = u + 1. Let f be c(4). Suppose -f*d + 5 = -t - t, 0 = 2*d + 3*t + 17. Is (d + -3)/(-4)*26 a multiple of 13?
True
Let a = -331 + 667. Is 7 a factor of a?
True
Let b(u) be the first derivative of u**2/2 + 5*u + 7. Let h be b(-13). Does 4 divide (-1)/4 - 34/h?
True
Let v = 70 + -30. Let g(y) = -5*y - 44 + v + y. Is 12 a factor of g(-4)?
True
Let f = -277 - -367. Is f a multiple of 3?
True
Let p(m) = 20*m**2 - 2*m + 4. Let v be p(2). Suppose 5*f - 3*f - v = 0. Is 28 a factor of f?
False
Let u be (44/6)/(6/9). Let y(m) be the first derivative of 7*m**2/2 - 5*m + 2. Is y(u) a multiple of 24?
True
Suppose 2*i + 2*y = -y + 96, 4*i - 224 = 2*y. Suppose v - 156 = 5*t, -4*t + v + 4 = 128. Let r = i + t. Is r a multiple of 22?
True
Suppose -3*n - 3*z - 24 = 0, -2*z - 7 + 3 = 0. Let v = n - -10. Suppose -5*i = v*s - 39, -2*i - i = -s - 37. Is i a multiple of 7?
False
Let a = 79 + -79. Suppose a = 2*f - 9*f + 756. Is 9 a factor of f?
True
Let z = 740 - 175. Is z a multiple of 25?
False
Suppose -13*j = -8*j - 15. Suppose 4*i - 389 = -3*k, 2*i - 401 = -j*k + i. Is 27 a factor of k?
True
Suppose 0*p - 10 = 2*p, 5*p + 1309 = -4*o. Let x = o + 522. Does 32 divide x?
False
Let o(r) = -r - 7. Let x be o(-9). Suppose x*s = -28 + 108. Suppose 10*m = 11*m - s. Is 19 a factor of m?
False
Let t = -754 + 1066. Does 13 divide t?
True
Suppose 3*t + 2*p + 0*p = 314, -3*t = 4*p - 316. Is 18 a factor of t?
False
Let p = -85 - -178. Let u = -65 + p. Does 28 divide u?
True
Suppose 2*g - 4*p - 415 = 75, -727 = -3*g + 2*p. Let f = g + -171. Is f a multiple of 14?
True
Let d = -4 + 9. Suppose 170 = d*p + 60. Suppose 0*u + 14 = 2*y + 4*u, -y = -3*u - p. Does 13 divide y?
True
Let x(z) = -2*z**2 + 91*z + 72. Is x(44) a multiple of 68?
True
Let g(s) = -s**2 - 6*s + 3. Let z be g(-4). Let u be (z/4)/(8/(-32)). Let p = -3 - u. Does 5 divide p?
False
Let t(k) = 9*k - 27. Let h be (-2 - (-2 + -15)) + -1 + 4. Is t(h) a multiple of 24?
False
Let d(k) = -k**3 + 15*k**2 + 2. Let u be d(15). Suppose -u*s = -0*s - 72. Suppose -q + 57 = -s. Does 25 divide q?
False
Let z(f) = f**3 + 56*f**2 + 206*f + 81. Is z(-52) a multiple of 14?
False
Let z(b) = b**2 - 2*b + 4. Let v be (-18)/(-12)*10/3. Is 19 a factor of z(v)?
True
Let f = 137 - 74. Suppose 3*m - 45 - f = 0. Suppose -5*a + m = -a. Is 2 a factor of a?
False
Is 11 a factor of 392/18 + (282/54 - 5)?
True
Let t be (45/2)/(-3)*(-720)/100. Suppose -4*n + 54 + t = 0. Does 9 divide n?
True
Let i(y) = -y**3 + 11*y**2 - 14. Let m be i(8). Let g = -50 + m. Does 13 divide g?
False
Suppose -4*x + 385 = i, -5*x + 482 = -2*i + 3*i. Suppose 4*s + 7*a = 4*a + x, -130 = -5*s + 5*a. Is 10 a factor of s?
False
Let z(w) = 4*w**2 - 23*w + 53. Is 31 a factor of z(9)?
False
Let o(s) be the second derivative of s**4/6 + 14*s**2 - 32*s. Does 17 divide o(8)?
False
Suppose 2 - 17 = -i. Let t(y) = 5*y + 12. Is t(i) a multiple of 25?
False
Suppose -12 = -2*r - 2*r. Suppose 0 = -p - 5*d - 17, -2*p + r*p + d = -1. Suppose 86 = p*o - 112. Is 14 a factor of o?
False
Let i = -24 + 27. Suppose f - 75 = -i*r, -4*r + f + 15 + 78 = 0. Is 4 a factor of r?
True
Let l = -5 + 10. Suppose l*g = -3*m + 327, g + 0*g - 43 = 5*m. Is 12 a factor of g?
False
Let c = 0 + -10. Let d(g) = g**3 + 11*g**2 + 7*g + 9. Let w be d(c). Suppose -w = 6*y - 135. Does 6 divide y?
False
Let n(q) = 394*q**3 + 3*q - 1. Is 18 a factor of n(1)?
True
Let h be 204/(-10) + ((-42)/(-30) - 1). Let n = h - -66. Is n a multiple of 22?
False
Suppose 5*x - 281 = -3*n, x - 38 - 5 = -5*n. Does 14 divide x?
False
Let z(d) = -d**3 - 5*d**2 - 6*d - 4. Let v be z(-4). Suppose 264 = -o + v*o. Is 11 a factor of o?
True
Let h(i) = i + 13. Let f(c) = 1. Let b(m) = -4*f(m) + h(m). Let p be 3*(8/3 + 1). Is b(p) a multiple of 10?
True
Let h be (-2745)/(-21) + 16/56. Suppose -2*t + x + 77 = 0, -4*t + h = 5*x - 2. Does 17 divide t?
False
Let i(g) = 9*g**2 + 24*g - 81. Is 9 a factor of i(3)?
True
Suppose 291 + 285 = 8*n. Is 3 a factor of n?
True
Let c be 56/7 - 1*3. Suppose x = 2*x + 2*a - 5, 2*x - c*a + 8 = 0. Is 59 - (4/(-4))/x a multiple of 12?
True
Let d = 414 - -17. Is d a multiple of 4?
False
Suppose 2 = 2*d - 2*s, s - 1 - 10 = -5*d. Suppose -5*r + 6*j = d*j - 210, 177 = 4*r - 5*j. Is r a multiple of 19?
True
Is 71 a factor of 2813/(1/12*12)?
False
Let n = -2876 - -4427. Does 21 divide n?
False
Let j be (-9)/(-6)*2/1. Let t(m) = 5 + 0*m + m - 1 - 6*m**j - 3*m**2 + 5*m**3. Does 16 divide t(-4)?
True
Let z = -185 - -1823. Is z a multiple of 63?
True
Is (-476)/(-6)*(-8)/(80/(-135)) a multiple of 21?
True
Let c be -4 + 6/1 + 1. Let z = c + 26. Is 8 a factor of z?
False
Is (-64)/(-16)*34*2/8 a multiple of 5?
False
Let l(f) = f**3 - f**2. Let u be l(-3). Let r be (-4)/14 - u/(-21). Is (171/(-36))/(r/8) a multiple of 6?
False
Suppose 0 = -i + t - 19, 2*i = -3*i - t - 101. Let g = 