ctor of k?
True
Let k(a) be the third derivative of 13*a**8/10080 + a**6/720 - a**5/30 - a**2. Let n(d) be the third derivative of k(d). Is n(1) a multiple of 7?
False
Suppose 0 = -5*r + 4*c - 384, 0 = 4*r - 5*r + 3*c - 68. Let t(f) = -f**3 + 9*f**2 + 2*f + 7. Let g be t(5). Let b = g + r. Does 14 divide b?
False
Let b = -22 + 35. Let r(y) = 14*y**2 - 25 + b + y - y**3 + 3*y**2 - 14*y. Is r(16) a multiple of 6?
True
Let j(r) be the first derivative of 3*r**4/4 - 2*r**3 + r**2 + 8*r + 12. Is 28 a factor of j(4)?
True
Suppose 11*z + 114 = 8*z. Let f = -3 - z. Is f a multiple of 16?
False
Let z(n) = 7*n. Let o = 7 + -9. Let q be o/7*(-14)/2. Does 6 divide z(q)?
False
Suppose -2*a + 37 = 15. Let g = 14 + a. Is 5 a factor of g?
True
Is 12 a factor of (-16785)/(-18) - ((-9)/(-6) - 2)?
False
Let v = 153 - -277. Is v a multiple of 11?
False
Let b = 42 - 35. Let w(n) = 4*n + 70 - 66 + 0*n. Does 6 divide w(b)?
False
Suppose -70*z + 66*z + 3548 = 0. Is 27 a factor of z?
False
Let q(h) = -2*h + 7. Let c be q(3). Is 8 a factor of c*(-176)/(-6)*3?
True
Suppose 4*u + 2*u - 2646 = 0. Suppose -3*z = -d - 663, 8*z - d = 6*z + u. Is 32 a factor of z?
False
Let o = 406 - -833. Is 67 a factor of o?
False
Let d(b) = -32*b**3 - b**2 - 1. Let g be d(-1). Let o = g - 16. Suppose -n = 9 - o. Is 4 a factor of n?
False
Let s = 206 + -54. Is s a multiple of 8?
True
Let y(o) = -o**3 - 9*o**2 - 13. Let q be y(-9). Let f = q - -9. Let t(m) = m**3 + 5*m**2 + 2. Is 17 a factor of t(f)?
False
Suppose 0 = 4*t - 6*t + 20. Let m(l) = -l**3 + 2*l**2 + l + 4. Let x be m(3). Is (6/(-10))/(x/t) a multiple of 3?
True
Let f be -2 - 0 - (-27 + 13). Suppose 5*x + k - 179 = 0, x - 2*k = 26 + f. Is x a multiple of 9?
True
Let h = -30 - -33. Suppose 0 = h*n - 4*k - 0*k - 239, -93 = -n - 2*k. Is 17 a factor of n?
True
Let t(u) = -123*u**2 + u + 1. Let j be t(-1). Let y = -56 - j. Let m = -40 + y. Is m a multiple of 9?
True
Let m(i) = 0 - 2*i**2 + 7 + 1 - 7*i + i**2. Let s be m(-14). Is s/4*12/(-10) a multiple of 9?
True
Suppose -4*b = m - 0 + 8, -4*b - 8 = -4*m. Let o(i) = 2*i**2 - i - 12. Let t be o(m). Is 10 a factor of (30/t)/((-2)/20)?
False
Suppose 16*u - 1913 = 4839. Does 63 divide u?
False
Suppose 3*r - g - 1893 = -4*g, g - 3 = 0. Is r a multiple of 9?
False
Suppose -5*y = s + 45, 4*y = -4*s + 3*s - 43. Let u = s + 45. Is u a multiple of 8?
False
Is 68 a factor of (-17140)/(-18) - 190/855?
True
Let m(b) = 31*b + 8. Let r = 34 - 31. Does 22 divide m(r)?
False
Let r(f) = f**3 + 4*f**2 + 3*f + 2. Let l be r(-4). Let m be 10*(-6)/(-18)*3. Does 33 divide 6/m - 984/l?
True
Let o = 313 - 165. Suppose -3*b = -2*n + o, 4*n = -2*b + 147 + 165. Does 25 divide n?
False
Let x be (-12)/(-10)*20/8. Suppose -4*m - x*o = -6*m - 1, -5*m = -o - 4. Is 8 a factor of 32/(4/m) - 0?
True
Let l(q) = 2*q + 18. Let x be l(5). Does 3 divide 352/x - (-4)/(-7)?
True
Let v be 8/6 + 1/(-3). Let h(i) = 46*i**3 - i**2 + i. Is h(v) a multiple of 4?
False
Let p(a) = 23*a**2 - a. Let q be p(5). Let s = -263 + q. Suppose -s = -4*c - 55. Does 21 divide c?
True
Let v be (109/(-4))/(2/8). Let p = v + 246. Is p a multiple of 39?
False
Let y(x) be the third derivative of 0 - 2*x**2 - 4/3*x**3 - 1/3*x**4 + 0*x. Is y(-8) a multiple of 11?
False
Suppose -4*c + 6*c = -c. Suppose c = -3*u + 218 + 250. Does 12 divide u?
True
Let w = -10 + 0. Let h = w + 18. Does 3 divide h?
False
Suppose 6*v = -561 - 1023. Let x = -138 - v. Is x a multiple of 8?
False
Does 12 divide 14/91 - (-924)/78?
True
Suppose 3*u = 4*b - 645, 4 + 5 = -3*u. Let z = b + -113. Is z a multiple of 5?
False
Let d be (-2)/(-1)*(3 - 0). Suppose -f - 2*r - 8 = -d*f, 5*f + 3*r = 13. Suppose -i = -3*q + 26, -7*q + 5*i + 30 = -f*q. Is 10 a factor of q?
True
Let b = 912 + -2207. Is ((-6)/(-10))/((-7)/b) a multiple of 28?
False
Let p be (-4)/10*-1*(10 + -5). Suppose 2*z - p*m = 166, -3*z + 3*m = -2*m - 255. Does 16 divide z?
True
Suppose 2*j = 5*j. Suppose -5*d + 11 + 11 = 4*o, -3*d + o + 20 = j. Does 11 divide 88/(-6)*d/(-4)?
True
Let y(u) = -7*u**2 + 21*u + 27. Let h(x) = -3*x**2 + 10*x + 14. Let a(l) = -5*h(l) + 2*y(l). Let q be a(11). Let j = q - -2. Is j a multiple of 9?
False
Suppose -4*p = -s - 6030 - 1534, -4*s = 5*p - 9434. Does 63 divide p?
True
Let t(f) be the first derivative of f**2 - 13*f - 7. Let q be t(6). Does 27 divide 29 + (0 + q - 1)?
True
Let y(h) = -59*h - 37. Let t be y(-11). Is 8 a factor of (t/10 - 3/15) + -1?
False
Let l(a) = 12*a - 14. Let t = -13 + 9. Let b(o) = o - 1. Let g(f) = t*b(f) + l(f). Does 10 divide g(5)?
True
Let v = 455 + -273. Is 13 a factor of v?
True
Let t(k) = k**2 - k + 1. Let u(s) = 3*s**2 - 18*s - 2. Let v(m) = m**2 - 12*m - 1. Let n be v(12). Let c(f) = n*u(f) + 2*t(f). Is c(10) a multiple of 16?
True
Let q be (-32)/15 + (-10)/(-75). Let z = q + 4. Suppose -4*n - z*n + 48 = 0. Is 6 a factor of n?
False
Let d be (-14)/(-21) - (-908)/6. Suppose -n = n - d. Suppose -2*q = 2*u + 3*u - n, 0 = -u + 2. Does 10 divide q?
False
Suppose -3 = -g - n, g - 4*n - 16 = -2*g. Suppose -g*l + 8*l = 440. Is 13 a factor of l?
False
Let a = -52 - -36. Let r = 0 - a. Does 2 divide r?
True
Let u = 43 - 39. Let w(m) = -m**3 - 7*m**2 + 3*m + 6. Let d(z) = 6*z**3 + 36*z**2 - 14*z - 31. Let h(p) = 2*d(p) + 11*w(p). Does 8 divide h(u)?
True
Suppose 2*c - 3*c + 1 = 0, q + c = 4. Suppose 4*o + 0*o = -q*p + 308, -p + 98 = -o. Is p a multiple of 11?
False
Suppose -6*g + 0*g = -276. Suppose 5*r = -3*h + g, -3*r + 46 + 8 = 3*h. Does 11 divide (-1200)/(-55) - (-4)/h?
True
Suppose 149*c - 148*c - 76 = 0. Is c a multiple of 5?
False
Suppose 1306 - 3826 = 5*q. Let k = q + 846. Is 17 a factor of k?
False
Suppose -2*a = 3*m - 234, -a + 4*m + 15 = -91. Suppose -2*c + 5*t = -1, 2*c - 2*t - 7 = -c. Suppose x = c*x - a. Is x a multiple of 25?
False
Is 7 a factor of (1 - (-3)/(-2))/((-164)/103320)?
True
Suppose -4*b = 4*i - 24, 5*i = 3*b - 4 + 10. Let w be (1 + -3)*i/(-2). Let n(y) = 11*y + 3. Does 9 divide n(w)?
True
Let x(r) = -r + 31. Let l(f) = f**2 - 9*f + 4. Let z be l(8). Let m be 0/((-4)/z + 0). Is 16 a factor of x(m)?
False
Let m(y) = -y**3 - 28*y**2 - 25*y + 90. Is m(-27) a multiple of 2?
True
Suppose 4*f + 361 = 3*p, 4*p = 5*p - f - 120. Suppose -3*t + 4*n + p = 0, 4*n - 115 - 62 = -5*t. Is t a multiple of 9?
False
Suppose 12*c - 16*c + 432 = 0. Let d = c - 60. Is d a multiple of 8?
True
Let g(s) = 43*s. Let b be g(-4). Let p = b + 105. Let v = -28 - p. Does 12 divide v?
False
Let v(z) = -9 + 3*z + 5*z - 4 - 12*z. Is 7 a factor of v(-5)?
True
Let p = 12 + -14. Let x(a) = -42*a - 4. Let g be x(p). Is g/12 - 8/12 even?
True
Let i(o) = o**2 + 80. Let a = 24 - 24. Let n be i(a). Suppose 3*q - 70 = 4*k, n = 2*q + q + k. Is q a multiple of 13?
True
Let z = -16 + 1. Let y be (2/3)/((-2)/z). Suppose 0*x - y*x = -90. Is 5 a factor of x?
False
Let q(r) = 105*r**2 + r + 55. Does 25 divide q(-5)?
True
Suppose 15*c - 13*c - 3*r - 2280 = 0, 0 = -2*r + 8. Is 6 a factor of c?
True
Suppose 2*f = 4*f. Does 3 divide f - (-12*1)/3?
False
Let y be (-268)/7 + 0 + (-16)/(-56). Is (6/4 + -4)*y/5 even?
False
Suppose -30*n + 10290 = 19*n. Is 21 a factor of n?
True
Suppose o + 4*o + 3*k = -23, -5*o = -4*k + 51. Let m = o - -14. Is 7 a factor of m?
True
Let r(x) = x**3 + x**2 + 24. Let c(s) = -s**2 - 11*s - 15. Let z be c(-9). Suppose -2*d = z*d. Is 24 a factor of r(d)?
True
Suppose 5*d + 91 = 5*g + 11, g = 1. Let t = d + 69. Suppose -i - 36 = -2*p, -3*p - i + t = -3*i. Is 5 a factor of p?
False
Suppose -13 = -5*s + 2. Suppose s*a - 57 = 2*a. Does 9 divide a*(8/(-3) + 3)?
False
Suppose 16*a - 8*a = 1232. Is 7 a factor of a?
True
Let q(v) = -1. Let f(w) = -w - 1. Let l(y) = 3*f(y) + 3*q(y). Let r be l(-8). Suppose -9 = z - r. Does 9 divide z?
True
Let y be (-50)/18 + (-4)/18. Let l(a) = -3*a + 2. Let t be l(y). Suppose 14 = d - t. Is 8 a factor of d?
False
Let g = -61 - -429. Let b = -205 + g. Is b a multiple of 34?
False
Suppose -9*r + 945 = 6*r. Is 7 a factor of r?
True
Let o(s) = 8*s + 29. Does 19 divide o(13)?
True
Let n(c) = c**2 - 2*c + 2. Let h be n(2). Let w(i) = 34*i - 21. Is w(h) a multiple of 5?
False
Suppose 5*h + c + 30 = 0, c = -4*h + 3*c - 10. Is 13 a factor of 0 - (10*9)/h?
False
Does 28 divide 332*(4/(-22))/((-4)/44)?
False
Let z = 1240 + -730. Is 51 a factor of z?
Tru