et y(t) be the third derivative of -t**4/6 - 5*t**3/6 + 2*t**2. Let o be y(-6). Let k = 23 + o. Does 18 divide k?
False
Let h = 2579 - 1256. Is h a multiple of 21?
True
Let o(n) = -32*n - 37. Let d(x) = 96*x + 110. Let t(q) = 2*d(q) + 7*o(q). Is 22 a factor of t(-5)?
False
Let w = 755 - -13. Is 12 a factor of w?
True
Let k(y) = 2*y. Let d be k(-7). Let j = -12 - d. Suppose -n + 2*x = -20, j*n + 3*x - 21 - 33 = 0. Is 8 a factor of n?
True
Let t(c) = -c**2 + 15*c + 3. Let h be t(15). Suppose h*u - 4*u = -50. Suppose -64 = -6*q + u. Is 7 a factor of q?
False
Let h(i) = -i**3 - 6*i**2 + 12*i + 7. Let s be h(-11). Suppose -2*q = -3*f + 291, -5*f + q = -4*q - s. Is 13 a factor of f?
False
Let s(f) = 6 - 2*f - 2 - 5 - 21*f. Let k be s(-5). Suppose 3*z + 0*z = k. Is z a multiple of 12?
False
Let x(s) = s**3 + s**2 + 2*s**2 - s - 3*s**2. Let g be x(-1). Is 4 a factor of 2*(3 + g + -1)?
True
Let o be 0 + 5 + 3*-1. Suppose -5*t + 2*r + 14 = 5*r, -2*t + r = -10. Suppose o*a = 4*a + 2*c - 20, -3*c = t*a - 44. Is a a multiple of 3?
False
Let o(d) = -5*d**3 - 4*d**2 - 7*d - 2. Does 9 divide o(-2)?
True
Let t = 94 + -59. Is t a multiple of 2?
False
Let y(d) = 3*d**2 + 4*d + 3. Let r be y(-1). Suppose -13 = -r*q - n, -3*q = -3*n - 10 - 23. Does 2 divide q?
True
Let i be 0 + (-4)/4 - 12. Let d = -10 - i. Suppose d*s = 2*m + 36, -2*s + 2*m + 8 = 6*m. Is 10 a factor of s?
True
Let q = 133 + -90. Does 7 divide q?
False
Suppose -3*n + 6 = 0, 4*p - 2*n + 3 = -1. Suppose p = -4*t + 2*t + 26. Is t a multiple of 13?
True
Suppose 2*d - 3*l = 3*d + 4, 3 = -5*d + 2*l. Let z(f) = f**3 - 6*f**2 - f - 1. Let v(t) = t**3 + t**2 - t - 1. Let h(y) = d*z(y) + 2*v(y). Does 7 divide h(-8)?
True
Suppose 59 + 206 = 5*w. Suppose 55 = 4*s - w. Is s a multiple of 3?
True
Is 8 a factor of 1244 + -2 - (-1 - -3)?
True
Let x = 774 + -108. Is x a multiple of 12?
False
Is 29 a factor of 4/8*29*(2 + 32)?
True
Does 76 divide (2324/(-8))/(3/(-18)) - -5?
True
Does 6 divide (-429 + 3 - 0)/(-1)?
True
Let d(l) = -l**2 - 3*l + 4. Let t be d(2). Let c be (t - -6)*(-3)/6. Suppose -2*q - q + 213 = c. Is 19 a factor of q?
False
Suppose 3*o = 2 + 13. Suppose 0 = 2*u - 3*z - 57, o*u - z + 4 - 127 = 0. Is u a multiple of 8?
True
Let x be (-58)/40*-5 - (-2)/(-8). Let z(u) = 3*u**2 - 10*u + 3. Is 10 a factor of z(x)?
True
Let v be (5 - (-3 + 6)) + 31. Suppose 7*h - v = 10*h. Let j(z) = -2*z + 8. Is j(h) a multiple of 6?
True
Suppose 0 = -5*c - l + 10, 3*c - 4*l + 10 = 8*c. Suppose -6*x = -c*x - 164. Does 21 divide x?
False
Let p(g) be the third derivative of 7*g**6/180 + g**5/60 - g**4/24 + 4*g**3/3 - 3*g**2. Let w(v) be the first derivative of p(v). Is 12 a factor of w(1)?
False
Let o(f) = 11*f**2 + 2*f. Let b be o(-5). Suppose 2*k + 3*r - b = -0*k, 2*k - r = 285. Is ((-1)/(-2))/(2/k) a multiple of 25?
False
Let m(b) = 2*b**3 + 2*b**2 - b. Let c(a) = a**3 + a**2 - a - 1. Let p(n) = -3*c(n) + m(n). Let w be p(-2). Is 1*w/((-3)/(-31)) a multiple of 16?
False
Let j(o) = -14*o + 5*o + 0*o - 19*o - 6. Let x be j(-3). Suppose x = 2*v - k, -4*k - 66 + 261 = 5*v. Does 14 divide v?
False
Let n(a) = -a + 1. Let k(j) = -6*j + 40. Let c(y) = -2*k(y) - 10*n(y). Does 5 divide c(8)?
False
Let n(r) be the first derivative of r**3/3 + 3*r**2/2 - 2*r - 7. Let i be n(2). Suppose -196 = -i*w + 84. Is 5 a factor of w?
True
Let h(z) = 2*z**3 - 28*z**2 + 21*z - 70. Does 32 divide h(14)?
True
Suppose -4*y = -20*y + 20480. Is 8 a factor of y?
True
Let d(j) = -3*j**3 - 2*j**2 + j - 6. Suppose 3*o + 2*o - 4*z + 15 = 0, -5*o - 5*z = 15. Does 7 divide d(o)?
False
Suppose 3*r + 4*p = 1349, -2*r + 3*p = -1311 + 389. Is 8 a factor of r?
False
Let g = 470 - 267. Suppose -2*c - 3*c = x - 107, -2*x = -c - g. Is 24 a factor of x?
False
Suppose -183 = 3*d - 6*d. Suppose 0 = 3*x - 5*p - d, -3*x + 0*x = 5*p - 11. Is 3 a factor of x?
True
Suppose 76 = -l - 9*t + 12*t, 5*l + 4*t + 304 = 0. Let w = 96 + l. Is w a multiple of 4?
True
Let c(i) = 299*i**2 - 2*i. Let h = 115 - 114. Is 12 a factor of c(h)?
False
Let h(n) = -5*n**2 + n + 1. Let y be h(2). Let z = -19 - y. Is ((-10)/(-20))/(z/(-52)) a multiple of 13?
True
Let i be 252/8 - 1/(-2). Suppose -6*q = -7*q + i. Is q - 4/((-12)/(-9)) a multiple of 8?
False
Suppose 3*u + 570 = l - 997, -2*l + 2*u + 3150 = 0. Is 7 a factor of l?
False
Suppose -4*w = -0*w - 16, 4 = -4*o + 3*w. Let i(q) = -q + 13 - q**3 - q**2 - 9 + 0*q**o + 0*q**3. Is i(0) a multiple of 3?
False
Suppose -50 - 45 = -5*m. Suppose -11*u - 3120 = -m*u. Is 38 a factor of u?
False
Let m(s) = 2*s + 9. Let d(l) = 3*l + 18. Let n(q) = 4*d(q) - 7*m(q). Let y be n(4). Is (1/(-2))/(y/(-158)) a multiple of 12?
False
Suppose -236*o + 450 = -233*o. Is 7 a factor of o?
False
Suppose 0 = -3*a - a - 16, 5*u - 2*a = 1468. Does 28 divide u?
False
Let o = -529 - -758. Is 63 a factor of o?
False
Let k(m) = 12*m**2 - 2 - 4 + m**3 - 9 - 7*m. Let q be k(-13). Does 6 divide (-21)/35 - q/5?
True
Let j = 0 - -33. Suppose -4*w + 137 = j. Does 13 divide w?
True
Let g = 4 + -5. Let s(n) be the first derivative of -14*n**2 - 3*n + 49. Is s(g) a multiple of 14?
False
Let d = -91 - -87. Does 18 divide ((-14)/4 - -4) + (-430)/d?
True
Let x = -128 - 5. Let o = -88 - x. Is 9 a factor of o?
True
Let h(m) = 45*m**3 - m**2 + 6*m - 3. Let u be h(2). Suppose 0 = -4*g - z + u, 4*g + 2*z + 0*z - 370 = 0. Is 15 a factor of g?
True
Let b(u) = -2*u**2 - 53*u - 45. Is b(-25) even?
True
Let r(a) = 4*a**3 - 20*a**2 + 17*a - 6. Is 13 a factor of r(6)?
False
Let i(r) = -3*r**3 + 12*r**2 + 14*r + 47. Is 49 a factor of i(-5)?
False
Suppose 0 = 13*m - 11*m + 8. Let h(i) = -2*i - 5. Let u be h(m). Is (-3 - (u - 50))*1 a multiple of 20?
False
Is 3 a factor of -1 + 6 - (-13)/(-39)*-231?
False
Let q = 2 + 7. Suppose 13*x - q*x = 0. Suppose -3*l + x*l = -141. Does 39 divide l?
False
Let n be 1*(-1)/(-3) + 130138/186. Suppose -876 = -5*r - w, -4*w = 4*r - 3*w - n. Is r a multiple of 20?
False
Let u = 148 + -135. Is 13 a factor of u?
True
Let j(k) = -3*k - 6 + k**2 - 1 + 12 - 2*k. Suppose 3*s - 17 = -2*t, 6 + 8 = 3*s - t. Is j(s) a multiple of 2?
False
Suppose -5*r = -171 - 134. Suppose 5*u - r = 209. Suppose 2*z + u = 5*z. Is 9 a factor of z?
True
Let h(t) = t**3 - 8*t**2 + 8*t + 7. Let i be h(7). Let f = 21 - i. Does 5 divide f?
False
Let s = -78 - -78. Suppose x - 3*x - 5*p + 114 = 0, s = 4*x - 4*p - 256. Is 12 a factor of x?
False
Suppose -5*i + 24 + 1 = 0. Suppose 2*z - i*z = 2*a - 41, a = 2*z + 3. Is a a multiple of 6?
False
Let j = 34 + 5. Let u be (-4 - 0)/(1*-1). Let y = u + j. Does 15 divide y?
False
Let x(t) = t**2 - 4*t - 7. Let j be x(7). Let q be j/4 - 6/12. Suppose -3*m = -2*z - 214, 2*m - 4*z = -q*m + 356. Is m a multiple of 19?
False
Suppose 0 = 48*f - 9980 - 3220. Is f a multiple of 11?
True
Suppose 3*l + 0*l = 5*w + 17, -16 = -4*l. Let x be 3 + (w - 1) - -1. Is 23 a factor of 21 - (-3 + -1)/x?
True
Suppose 8 = -2*t - b, -4*t + 6*b - 2*b = 40. Let k be t/5*(28 - 8). Does 22 divide k/(-20)*(-110)/(-3)?
True
Let r = 1 - 11. Let m = 94 + r. Suppose 4*s - 5*j - 72 - 10 = 0, m = 5*s + 3*j. Does 6 divide s?
True
Suppose 18*q + 182 = 650. Does 21 divide q?
False
Suppose -c = -3*b - 18 - 0, 0 = -3*c - 4*b - 11. Is 2 a factor of c?
False
Let c(l) = -l**3 + 33*l**2 - 23*l - 48. Does 80 divide c(32)?
True
Let m = 38 - 34. Suppose -l - m*l + 240 = 0. Does 29 divide l?
False
Let s = -1002 + 2590. Is s a multiple of 75?
False
Is 46 a factor of 1128 + 2*1*(-30)/(-20)?
False
Suppose 5*o - 112 = 48. Suppose 3*z - g = 64, -2*g + o = 6*z - 4*z. Is 3 a factor of z?
False
Let j(y) = 10*y**3 - y**2 + 2*y - 1. Suppose -5*n + 2*n = 2*c, 0 = -5*c - n + 26. Suppose 3*b = z + c, 2*b = 3*b + 3*z + 8. Is 5 a factor of j(b)?
True
Suppose 2*a - 12 = -0*a + 4*j, 4*a = 2*j + 24. Suppose 0 = z + z - a. Is z a multiple of 2?
False
Let s = 1011 + -936. Does 15 divide s?
True
Let r(w) = -w**3 - 4*w**2 - w - 3. Let p be (-4)/(-3)*18/(-6). Let s be r(p). Let q = s + 4. Does 2 divide q?
False
Suppose 0 = -30*h + 29*h + 354. Let l = h - 169. Is l a multiple of 38?
False
Suppose 12*o = -3*o + 195. Let x(p) be the third derivative of -p**6/120 + p**5/5 + 7*p**4/12 + 2*p**3/3 - 3*p**2. Is 17 a factor of x(o)?
True
Let v = -21 + 21. Suppose v = 3*j - f - 119, -j + 5*f - 13 = -62. Let t = j - 10. Is t a multiple of 