actor of k(g)?
False
Let n be 3748/5 - (-18)/(-30) - -5. Suppose -n = -3*g - i, -2*g + 34*i + 496 = 38*i. Is g a multiple of 12?
True
Let m(k) = 5*k**3 + 4*k**2 + 33*k + 18. Let z(i) = -3*i**3 - 3*i**2 - 22*i - 12. Let a(t) = 5*m(t) + 8*z(t). Does 56 divide a(9)?
False
Let w(h) be the third derivative of -11/6*h**3 + 0 - 3/4*h**4 + 0*h + 2*h**2. Is w(-2) a multiple of 9?
False
Let n be (-3 - 0)/(12/(-16)). Suppose n*j - 3*h = 8*j + 1, j - h = -2. Is (-1 - ((-4)/(-20))/j)*-5 even?
True
Let d(i) be the second derivative of -9*i + 1/12*i**4 + 7/2*i**3 - 23*i**2 + 0. Is d(-24) a multiple of 2?
True
Let u be -4 + 13 + (-4 - 1). Suppose -2*f + 161 + 249 = a, -2*f = -u*a + 1610. Suppose 3*z = -4*s + 841, 0 = -2*s + 3*z + z + a. Is 52 a factor of s?
True
Let g = 25 - 25. Let y = -5 - g. Is 0 - (-20)/y - -41 a multiple of 14?
False
Suppose 6*m - 129 + 93 = 0. Suppose m*h = -181 + 2119. Does 9 divide h?
False
Suppose -4*c = 16, b + 2*b - 5*c = -247. Suppose 0 = 5*d + 5, -3*a + 5*d - 447 = -7*a. Let q = b + a. Is q a multiple of 4?
True
Suppose 2088*n - 6862908 = 1924*n. Is n a multiple of 36?
False
Let r(i) = 4*i**2 - i - 8. Let m(h) = -2*h**2 + 24*h - 9. Let b be m(11). Suppose 10*n = -b + 93. Does 16 divide r(n)?
True
Let z(j) = 277*j - 492 + 245 + 167. Is 45 a factor of z(5)?
True
Suppose -6632 = 998*u - 1018*u + 38428. Is 8 a factor of u?
False
Suppose 6840 = -1449*i + 1459*i. Is 3 a factor of i?
True
Suppose -434 - 1121 = -19*t + 5209. Does 6 divide t?
False
Suppose 4*x = 5*k - x, 5*x + 24 = -3*k. Let q be (-1 - -3)/(k - 150/(-51)). Let o = q + 58. Is o a multiple of 3?
True
Let u = -52 + 54. Let d(m) = -19*m - 4*m**2 - 19 - m**3 - 2*m**2 - m**2 - 3*m**u. Does 5 divide d(-8)?
True
Suppose 8*y = 3*y - 6305. Let v = y + 1774. Is 57 a factor of v?
True
Let f(w) = w**2 - 5*w - 5. Let u(b) = -b**2 - 10*b - 13. Let j be u(-8). Let l be f(j). Let k(o) = -o**3 - 12*o**2 - 27*o - 21. Does 12 divide k(l)?
False
Let i be (-5 - -14*3/6) + 2. Does 6 divide (-3753)/(-21) + (i/7)/2?
False
Let y be -1 - -4 - (2 - 4). Suppose 621 = -19*j + 659. Suppose -5*s + 215 = 5*v, j*v + 4*s - 83 = y*s. Is 6 a factor of v?
True
Let a = -6897 - -14982. Is a a multiple of 21?
True
Let d(j) = -208*j - 678. Does 9 divide d(-8)?
False
Suppose 24 = -3*t - 6. Let d be ((-12)/t + 1/(-5))*25. Suppose 2 - d = -s. Is s a multiple of 3?
False
Let i(t) = -t**3 - t**2 + 7*t + 2000. Let l be i(0). Suppose 4*d = 4*q - 1632, 33*q + 3*d = 28*q + l. Does 16 divide q?
False
Suppose -15*c - 14*c = -9*c - 580. Is c a multiple of 2?
False
Let w = -11991 + 20407. Is w a multiple of 28?
False
Suppose 0 = -q + 4*r + 36, 2*q - 16 = 3*r + 46. Suppose -1243 = -q*d + 6737. Does 15 divide d?
True
Let c = 39 + -35. Let j(g) = g**3 - 5*g**2 + g - 5. Let x be j(c). Let i = x - -37. Does 10 divide i?
True
Let n(g) = 4*g**3 - 3*g - 2. Let z be n(-2). Let j = z + 560. Does 6 divide 2/3 + j/21?
False
Suppose -19*j - 548 = -20*j. Suppose 1083 = -7*t - j. Let m = 341 + t. Is m a multiple of 27?
True
Let l = 89094 + -37196. Is 14 a factor of l?
True
Suppose -h = i + 142, -i = -5*h + 67 + 87. Let q be (28/3)/((-2)/(-78)). Let p = i + q. Is 44 a factor of p?
True
Let j = -52 + 55. Let p be ((-1)/(-1))/(j/30 - 0). Suppose 684 = p*i - 7*i. Is i a multiple of 38?
True
Let m(q) = q**3 - 6*q**2 + 2*q + 9. Let f be m(6). Let x be -2*(4 + f/(-6)). Is (-4 - x)/((-12)/332) a multiple of 10?
False
Let j = 1754 + -1430. Is 81 a factor of j?
True
Suppose 22051*j = 22059*j - 57096. Is 13 a factor of j?
True
Suppose 5*q - 33598 = -j, 126*q - 122*q + 4*j - 26872 = 0. Is q a multiple of 14?
True
Let p be ((-34)/51)/((-4)/138). Suppose -5*v + l = -8*v + 18, 2*v = 3*l + p. Let d(r) = 4*r + 8. Is d(v) a multiple of 9?
True
Let b(l) = l**3 - 5*l**2 - l + 3. Suppose 2*m = 4*c - 3*m - 22, -6 = 3*m. Suppose -2*y = 3*x + x - 14, -3*x - c*y = -3. Is b(x) a multiple of 16?
False
Let b(m) be the first derivative of 0*m + 0*m**2 + 0*m + 8*m**3 + 4*m - 1 - m**2. Is b(2) a multiple of 9?
False
Let h = -5564 - -5999. Is h a multiple of 15?
True
Let g(z) = 2*z**2 + 14 - 8 + 5*z + z**3 - z. Let v be g(-3). Let a(o) = -o**2 - 24*o + 5. Is 28 a factor of a(v)?
True
Let o = -16349 + 30485. Does 62 divide o?
True
Let p = 9616 - 6808. Is 27 a factor of p?
True
Let t(f) be the third derivative of -f**6/120 + 23*f**5/60 + 5*f**4/24 - 131*f**3/6 + 140*f**2. Is t(21) a multiple of 8?
True
Let m = -230 + 255. Suppose 2*z + 22*j - m*j - 2678 = 0, 3*z - 4014 = 3*j. Is 32 a factor of z?
False
Let t(g) = -6*g**2 + 3*g - 13. Let d be t(4). Let f = 36 - d. Is f a multiple of 3?
False
Suppose 5*w + 3*s = 391, -2*w + 2*s + 145 = 7*s. Suppose w*i - 81*i = -62. Is 31 a factor of i?
True
Suppose 5*m + 4*y - 42 = 0, 7*y - 2*y - 39 = -4*m. Let f be m - 6 - 1*-601. Suppose b = -5*o - 20 + 145, -o = 5*b - f. Is 24 a factor of b?
True
Let j(u) = -3*u**2 + 17*u + 34. Let n be j(7). Suppose -n*x + 1525 = -4403. Is x a multiple of 55?
False
Let j(u) = 21*u**2 - 20*u - 135. Let l(i) = -11*i**2 + 10*i + 67. Let t(v) = 4*j(v) + 7*l(v). Is 38 a factor of t(12)?
False
Suppose 0 = -5*b + 5*p + 50, -56 + 21 = -2*b + 5*p. Suppose -5*w + 10 = b*h - 395, 5*w = 5. Is 13 a factor of h?
False
Let r(u) = u**3 - 5*u**2 + 4*u + 3. Let s be r(4). Suppose 2*c = 5*o + 587, -o + 636 = s*c - 253. Let n = -175 + c. Is 12 a factor of n?
False
Let c(f) = -3*f**3 - 44*f**2 - 5*f - 31. Is 6 a factor of c(-17)?
False
Suppose 5*r + 19260 = s + 2*s - 0*r, 0 = -4*r. Is 10 a factor of s?
True
Let k(y) = -y**3 + 17*y**2 - 28*y + 53. Let m be k(14). Suppose -t + 621 = m. Is t a multiple of 12?
True
Suppose -82*x + 31079 = 5*t - 78*x, -4*t = -4*x - 24892. Does 19 divide t?
False
Let z be ((-2)/(-4))/(4/32). Suppose 2*t + 3*d - 1086 = 5*d, -3*t - z*d + 1650 = 0. Does 26 divide t?
True
Let q(j) = j**2 - j + 26. Let z be q(-9). Let r = z - 4. Is r a multiple of 8?
True
Is (-146 + -16)/(3*3/(-198)) a multiple of 162?
True
Suppose t + 5*g - 8 = -0*g, -t + 28 = -5*g. Does 11 divide 4/24 - (-5541)/t?
True
Let d = 1368 + -966. Is 6 a factor of d?
True
Let f(m) be the first derivative of -m**4/4 + 5*m**3/3 + m**2/2 - 5*m + 31. Let u be f(5). Suppose 4*r - 312 = 3*q, q + 2*q = u. Is 13 a factor of r?
True
Suppose 5*n + 0*n - 2375 = 0. Suppose 9*c + n = 14*c. Does 16 divide c?
False
Let d = 98575 - 64340. Does 16 divide d?
False
Suppose -g + 3*g + v = 50427, -g + 25209 = 2*v. Is g a multiple of 15?
True
Suppose 5456 = -1621*m + 1623*m. Does 31 divide m?
True
Let n(w) = w**2 - 24*w + 69. Let h be n(3). Suppose -2*y - 5*z - 2255 = -h*y, -3*z = -5*y + 2835. Is y a multiple of 9?
False
Let c(h) = 1216*h - 1241. Is 23 a factor of c(8)?
True
Suppose -3*z = 15, 5*z - 54840 - 9335 = -5*s. Does 10 divide s?
True
Is 9 a factor of (-5017)/(-1) - (-16)/(-3 + 7)?
False
Suppose 5*t = -3*j + 551, 24*t = -5*j + 29*t + 985. Let p = -132 + j. Is 4 a factor of p?
True
Suppose 0 = -71*j + 68*j + 15. Let n(x) = 6*x**2 - 4*x. Does 10 divide n(j)?
True
Let u(s) = s**2 + 5*s + 6. Let c be u(-6). Let h(z) be the second derivative of z**3/2 + 19*z**2/2 - 9*z + 160. Is h(c) a multiple of 5?
True
Suppose 4*q + 28 = h, -2*h + 0*q + 28 = -q. Suppose -10*v + 648 = 5*g - h*v, -236 = -2*g - 5*v. Is 3 a factor of g?
False
Suppose -5*z - 1124 = -3709. Let n be (-16 - -16)*(-1 + 1 - 1). Suppose 3*t - z + 121 = n. Is t a multiple of 16?
False
Suppose 400 = 8*w + 8*w. Let t(a) = -a**3 - 2*a**2 - a - 2. Let f be t(-2). Suppose f = 2*j - 113 + w. Is 22 a factor of j?
True
Let q be (-1)/2*810/(-135). Let v be (-32)/(0 + -1*1). Suppose q*h + 8 = -m + 47, v = m - 4*h. Does 4 divide m?
True
Suppose -86*b = 55*b - 231319 - 506675. Does 7 divide b?
False
Suppose 0 = -8*q - 2*p + 710, 4*p = -5*q - 0*q + 452. Is 22 a factor of q?
True
Let m(z) = 4*z + 11 - 58*z + 18*z. Does 34 divide m(-10)?
False
Let g(s) = 578*s**2 - 45*s + 21. Is g(5) a multiple of 31?
False
Let t(v) = 2*v**3 + 6*v**2 + 6*v - 4. Let s be t(-3). Let j be s/(-14) + 6/14. Suppose -24 = -j*k - 4*y, 3*k - 3*y - 21 = -2*k. Is 6 a factor of k?
True
Suppose -9*h + 739 + 593 = 0. Suppose 2*n - h = -20. Suppose -7*g + n = -3*g. Is 7 a factor of g?
False
Let h = 86416 - 51277. Is h a multiple of 53?
True
Let g = 14 + -36. Let x be (178/11 - 0) + g/121. Suppose x*w = 5*w + 1716. Is 13 a factor of w?
True
Doe