 a factor of k(9)?
True
Let l(i) = 2*i**2 - 15*i + 4. Suppose -10 + 51 = 3*t + 4*b, 4*t + 2*b = 38. Let f be l(t). Does 15 divide (-3*140/(-24))/(f/(-30))?
False
Suppose 3*p - 2*p - 843 = 0. Suppose 0 = 13*u - 1965 - p. Is u a multiple of 36?
True
Suppose 10284 - 41008 = -5*h + 4*m, h + m - 6152 = 0. Is 19 a factor of h?
False
Let b(m) be the second derivative of -13*m**3/3 + 179*m**2/2 - 74*m. Is 69 a factor of b(-10)?
False
Suppose -11*c + 1448 - 458 = 0. Suppose -b = -26 - c. Let j = 160 - b. Is 44 a factor of j?
True
Let b = 147 + -10. Let i be b + (-5 - (2 - (1 - -3))). Suppose -2*x - 4 = 0, r - 4*x - 3 = i. Is 46 a factor of r?
False
Let u(x) be the first derivative of 9 + 3*x**2 - 1/3*x**3 - 1/4*x**4 - 8*x. Does 19 divide u(-6)?
False
Let j(o) = o**2 + 112*o + 1827. Is 19 a factor of j(-164)?
True
Suppose 5*g + 62400 = 4*u - 8305, -5*u = 3*g - 88446. Is u a multiple of 10?
False
Suppose 0 = -2*g + 5*c + 13484 + 841, -2*c = 6. Does 71 divide g?
False
Let t(b) be the first derivative of b**2 + 37*b + 2. Suppose 4*k + 20*q - 21*q + 65 = 0, -k - 2*q - 23 = 0. Is 2 a factor of t(k)?
False
Suppose -15564 = 16546*v - 16548*v. Is v a multiple of 3?
True
Suppose -5*l - 5*f = 65, -l - 4*f = -2*l - 23. Let o be (3336/l)/(2/(-10)). Suppose -5*c + 3*r + 0*r + o = 0, 3*r + 452 = 2*c. Is c a multiple of 22?
True
Let m(u) = -12 - 9*u - u**3 + 22*u + 3*u**3 - 17*u + 16*u**2. Is 6 a factor of m(-4)?
True
Suppose -46*r - 4*p = -47*r + 3039, -4*r - 3*p + 12232 = 0. Is r a multiple of 65?
True
Let b = -57 + 120. Suppose -b*c = -59*c - 64. Does 13 divide c?
False
Let a = 172 + -127. Is (a/6 - 2)/(13/702) a multiple of 11?
True
Let h = -163 - -177. Let t = h - -84. Is t a multiple of 8?
False
Let c = 7946 + -4543. Does 83 divide c?
True
Let x(w) = -7*w**2 + 50*w - 88. Let v(z) = z**2 - z - 1. Let a(m) = -4*v(m) - x(m). Does 19 divide a(22)?
True
Suppose 2*q - 20 = 4*s, 6*q - 5*s - 25 = 2*q. Suppose v = -2, v = x - q*x + 37. Let y = 94 + x. Is y a multiple of 16?
False
Suppose -485 = 6*o - 629. Suppose 1219 = o*p - 1253. Does 4 divide p?
False
Suppose 0 = 4*b - 3*r + 5, -2*r + 2 = -b - r. Let y be ((-12)/8)/((b/2)/1). Is 6 a factor of 8/(y + 165/54)?
True
Let n be 1*-2*(-897)/26. Let u = n - 4. Let v = u + -33. Does 22 divide v?
False
Suppose -60*j + 17432 = -56*j. Suppose 0 = -8*d + j + 1194. Suppose -4*z - 4 = -0, z - d = -5*o. Is 13 a factor of o?
False
Let u(m) = -385*m - 3477. Is u(-29) a multiple of 31?
True
Let u be 3 + 0 + 3/(-3). Suppose -16 + u = -7*b. Suppose -3*w = 4*g - 2*g - 273, 0 = b*w + 3*g - 187. Does 27 divide w?
False
Does 141 divide 151728/9 - -8*(-2)/24?
False
Let f(n) = -n**3 + 6*n**2 + 4. Let o = -5 + 11. Let s be f(o). Suppose -s*t + 535 = t. Is t a multiple of 28?
False
Let m = -102 - -107. Suppose -2*o = 2*o + c - 17, c = -m*o + 21. Let j(g) = g**3 + 6*g**2 - 5*g + 6. Does 8 divide j(o)?
False
Let w be (3/(-2))/(9/(-624)). Let t be (w/6)/((-10)/(-15)). Does 16 divide 0 + 20/(-5) + t?
False
Suppose -4*t - 748 = -6*t + 4*y, 0 = -t + 3*y + 369. Suppose -2*d = 554 - 124. Let i = t + d. Is 13 a factor of i?
True
Let g be 996 + -4 - (-2 + 7). Suppose 8*j - g = 797. Is j a multiple of 13?
False
Let h = -309 + 281. Let z(s) = s**3 + 28*s**2 - 12*s + 16. Is 13 a factor of z(h)?
False
Suppose 14*u - 10*u + 3*m - 24018 = 0, -12 = -2*m. Is u a multiple of 7?
False
Let z(b) = -3*b**2 - 5*b + 11. Let s(a) = a**2 - a + 1. Let t(c) = 4*s(c) + z(c). Let y be t(8). Suppose 0 = y*n - n - 72. Is 4 a factor of n?
True
Suppose -2*f + 84584 = 2*x, -f = -3*x - 5670 - 36622. Is f a multiple of 218?
True
Let s = 5910 + -1832. Is s a multiple of 34?
False
Let b(w) = -w**3 + 7*w**2 + 3*w + 4. Let z be b(7). Suppose -5*q + 0*y - y = 37, -z = 5*q - 5*y. Let p(o) = 2*o**2 + 4*o - 4. Does 33 divide p(q)?
True
Let d(w) be the second derivative of w**5/20 + 7*w**4/12 - w**3 + w**2 - 4*w. Let n be d(-8). Let t = n - -245. Is 21 a factor of t?
True
Suppose -135 = 3*o - 378. Suppose -4*z = -509 + o. Is z a multiple of 20?
False
Let p = 8317 + -3467. Is p a multiple of 25?
True
Suppose -3*v = -v + 4. Let l be (-4 - -6)*(-5)/v. Suppose -3*d = 3*g - 282, -37 = 3*g + l*d - 327. Is 15 a factor of g?
True
Let v be 10 + (2/(-1))/1. Let m be (1 - (-5)/(-2))/((-4)/v). Suppose m*t = -3*p - p + 37, 5*t - 40 = -5*p. Is p a multiple of 13?
True
Suppose 4*s + y = 2991, -3*s - 3*y + 2419 = 169. Is 9 a factor of s?
True
Let t be (-6)/4*48/18 + -424. Is 17 a factor of (-3)/4 + (-291361)/t?
True
Suppose -5*k - 6653 = -3*x, -2*k + 6651 = -7*k + x. Let q = k - -2522. Is 8 a factor of q?
True
Let c(d) = 954*d**2 - 22*d - 44. Is 16 a factor of c(-3)?
True
Suppose 2*n = -5 + 21. Let a be n/14 - (-170)/70. Is 7 a factor of a - -8 - -1*9/3?
True
Let k be 269*(0 + 2 + -1). Let u = -15 + k. Suppose 6*a - u + 2 = 0. Is a a multiple of 21?
True
Let q(d) = 5*d**3 + d**2 - 8*d + 5. Let y be q(-4). Let a = y - -531. Is a a multiple of 22?
True
Suppose 73*d - 175741 + 30807 = 103558. Is d a multiple of 148?
True
Let u = -25753 - -28350. Is 15 a factor of u?
False
Let z(f) = 22*f**3 - 6*f**2 + 28*f - 111. Does 13 divide z(4)?
True
Suppose 945345 = 27*w + 267645. Does 25 divide w?
True
Suppose 5*a + 7716 = 3*q, 0 = -4*a - 69 + 81. Is 73 a factor of q?
False
Let h = 10409 + -3899. Is h a multiple of 42?
True
Let g = 29 - 25. Suppose -o = 3*r - 4, -g*o - 5*r = o. Is 10 a factor of (-9 + -1)/(o/11)?
False
Let q(b) = -9*b**3 + 527*b**2 + 109*b - 76. Is q(58) a multiple of 28?
False
Suppose -67988 = -18*a + 300076. Is a a multiple of 24?
True
Is 150/(-20) + 5 - (20084/(-8) + 0) a multiple of 44?
True
Suppose 0 = 2*u + 5*s - 8966 - 8930, -3*u = 3*s - 26835. Is 8 a factor of u?
False
Let q(k) = 7*k**2 - 7*k + 11. Let w(t) = -t**2 - t. Suppose -4*h + 37 = 13. Let n(z) = h*w(z) + q(z). Is 7 a factor of n(13)?
False
Is 31 a factor of (-14 + 19632 + 17)*8/20?
False
Suppose -5*p = -191 + 121. Let m(i) = i**3 - 15*i**2 + 16*i + 46. Is 7 a factor of m(p)?
False
Let d be (-2)/(-3) - (5 - 39/9). Suppose d = -2*j + 4*n + 780, j + n = 3*j - 771. Is 24 a factor of j?
True
Let i be (4 - -2 - 11) + 4. Does 6 divide (0 - -222) + 4*i/4?
False
Let j(p) = -1196*p + 1608. Does 18 divide j(-6)?
True
Let l(b) = 54*b**2 - 3*b + 9. Let r be l(5). Suppose 3501 + r = 17*u. Is u a multiple of 13?
False
Does 16 divide (2 - 1180)*((-76)/8 - -9)?
False
Let l = 5144 - -8380. Does 49 divide l?
True
Let p(f) = 17*f**2 - 33*f + 8. Let t be p(7). Let n = 1079 - t. Does 19 divide n?
False
Suppose -4 = w - 2, 3*n - 69 = 3*w. Suppose -4*q - n = -269. Suppose -q*f = -61*f - 27. Is f a multiple of 16?
False
Suppose 95 = -5*l + 7*k - 4*k, 5*l + 5*k = -55. Let y = l - -88. Is y a multiple of 13?
False
Suppose 0*x - 34 = -4*x + b, 0 = -4*x + 5*b + 26. Suppose -3*k = -3*v + 63, -11*k = -3*v - x*k + 64. Is v a multiple of 8?
False
Let d(a) = 12*a**3 - a**2 + 534*a - 2157. Is d(4) a multiple of 14?
False
Is (0 - (-798)/(-8))/((-44)/1936) a multiple of 19?
True
Let p = -33 + 36. Let x(k) = k**3 - 12*k**2 - 15*k + 19. Let w be x(13). Does 21 divide -12*3/(p/w)?
True
Let u(y) = y**2 - 27*y + 23. Let f be u(11). Let p be ((-8)/(-3))/((-34)/f). Suppose c + p*c = 442. Does 5 divide c?
False
Let n be 216/6 - (-2)/(-1). Suppose -l - 5*c - 11 + n = 0, 4*l + 5*c - 137 = 0. Is l a multiple of 28?
False
Let s(p) be the third derivative of -p**6/60 - p**5/20 - p**4/12 + 5*p**3/6 + 6*p**2. Suppose 3 = 3*f + 3*z + 27, 0 = -2*z - 8. Is 31 a factor of s(f)?
True
Suppose 0 = 4*j - 5*u - 1862, -460 = -j - 0*u + 4*u. Suppose 0 = 8*i - 492 - j. Let z = i - 21. Is z a multiple of 5?
False
Let m(p) = -23*p**2 - 7 - 25*p - 2*p**3 - 65*p**2 + 60*p**2 + 25. Let i be m(-13). Suppose 945 = i*k + 2*k. Is 24 a factor of k?
False
Let f(l) = -l**3 - 7*l**2 - 8*l - 6. Let p be f(-6). Is p/(-27) + 4121/117 a multiple of 4?
False
Is 8 a factor of -5*(-6 + 13 - 6) - -48451?
False
Let m(i) = i**2 - 12*i - 7. Let h be m(13). Let o(r) = 16*r - 30. Does 22 divide o(h)?
True
Let y = 351 + 2005. Is 17 a factor of (y/(-186))/((-2)/51)?
True
Suppose -3*i - x + 1 = -5*i, 0 = 2*i - 2*x + 6. Suppose 6*a - 8 = 2*u + 3*a, -i*u + 5*a = 16. Suppose 0*t = u*t - 56. Does 7 divide t?
True
Let f(h) = 3*h**3 - 8*h**2 - 8*h. Let k(v) = -4*v**3 + 7*v**2 + 8*v - 1. Let s(u) = -3*f(u) - 2*k(u). Let c be 18/(-