 Let b(h) = 26*h - 256. Let g(w) = 11*b(w) + 4*n(w). Is 14 a factor of g(-7)?
True
Let u = -214 + 214. Suppose u = 8*t - 399 - 385. Is t a multiple of 14?
True
Let j(y) = -3*y - 7. Let g be (-1)/(-1) - 45/9. Let v be j(g). Suppose 0 = -v*q - 109 + 564. Does 20 divide q?
False
Let k = 174 - 159. Suppose 4*w + k - 243 = 0. Is 48 a factor of w?
False
Is (0 - -2 - 6) + ((-30)/30 - -2582) a multiple of 20?
False
Suppose -2*t - 5*i = -2649 - 3502, -4*t = -3*i - 12315. Does 9 divide t?
True
Suppose -2*y = k - 3744, 4*y = y + 4*k + 5616. Suppose -y = 250*f - 256*f. Is 20 a factor of f?
False
Suppose 47476 = 9*a + 16*a - 10424. Is 4 a factor of a?
True
Let o(b) = -5*b**2 + 12 + 9*b**2 - 7*b - 3*b**2. Let s be o(5). Suppose 4*y = 5*w - 110, 4*w + s*y - 17 = 71. Is w a multiple of 22?
True
Let k be ((-30)/(-9))/5 + (-532)/6. Let s = k + 91. Suppose d + 2 = 0, -2*h - s*d + 414 = -26. Does 39 divide h?
False
Suppose -3*v = -138*p + 134*p + 122163, 5*v + 30562 = p. Is p a multiple of 244?
False
Let k = 22360 + -22360. Let c = 235 - 139. Suppose -2*h - 3*b + 2*b + 192 = k, -h + 5*b = -c. Is h a multiple of 24?
True
Let y = -57 + 65. Suppose -9*l - 25 = -y*l. Let q = l - -94. Is 23 a factor of q?
True
Suppose 5*b = 18*b - 182. Suppose -b*y = -7*y - 756. Is y a multiple of 12?
True
Suppose 187*t = -569*t - 155*t + 3651288. Is 24 a factor of t?
True
Let t(c) = 28*c + 245. Let z(k) = 14*k + 122. Let v(n) = -2*t(n) + 5*z(n). Is v(28) a multiple of 16?
True
Let c(u) be the second derivative of -u**6/144 + u**5/24 - u**4/3 + 3*u. Let k(d) be the third derivative of c(d). Is k(-6) a multiple of 7?
True
Suppose -3*c = 13*c - 3*c. Suppose c = 32*k - 60*k + 1540. Is k a multiple of 19?
False
Is ((-33)/(-3) - 24/18*3) + 1106 even?
False
Let n(u) = -u**2 - 13*u - 30. Let k be n(-4). Is 15 a factor of (-1)/k - (-381)/18?
False
Let a(l) = 33*l**2 + l + 1. Let u = 4 - 4. Suppose -6*s + 12 + u = 0. Is a(s) a multiple of 9?
True
Suppose 5*x - 12 = 3. Suppose -2*d - 3*d + y + 43 = 0, 0 = -d + x*y + 17. Is ((-36)/d)/(-2 - (-54)/28) a multiple of 15?
False
Let n be ((-99)/198)/(1/2822). Let d = -637 - n. Is 18 a factor of d?
True
Suppose -4*g + 126 = -4*x - 354, -534 = -4*g - 5*x. Is g a multiple of 63?
True
Suppose 26 + 4 = 5*u. Is (-5778)/(-81) - 8/u a multiple of 5?
True
Let l = -45 - -49. Suppose x + l*x = -4*q + 412, -x + 5*q + 65 = 0. Does 8 divide x?
True
Let z(r) be the third derivative of 47*r**5/60 - r**4/24 - r**3/3 + 3*r**2. Let i = -269 + 268. Does 7 divide z(i)?
False
Let y(c) = c**3 - 15*c**2 + 28*c - 12. Let s be y(12). Let j be 0 - ((-2)/(-3))/((-8)/s). Does 15 divide (0 + -1 + j)*-4?
False
Let g(a) = a**2 + 2*a - 14. Let m be 25/10*-1*-2. Suppose -10*x + 20 = -m*x. Is g(x) a multiple of 10?
True
Let k = 7829 - 5245. Suppose -15*f + k = 2*f. Is f a multiple of 19?
True
Suppose 11*d - 14618 = 6938 - 5386. Does 42 divide d?
True
Let x(k) = k**3 - 29*k**2 + 161*k + 48. Is x(35) a multiple of 12?
False
Let m(d) = 3*d**2 + 23*d - 104. Let j(x) = x**2 + x + 1. Let l(s) = -2*j(s) + m(s). Is 42 a factor of l(8)?
True
Suppose 8855 = 7*v - 9464. Suppose -4*s + y = -2087, -11*y + 7*y - v = -5*s. Does 6 divide s?
False
Let a = 58 - 3. Suppose -7*n = -8 - a. Does 18 divide (164/n*3)/(1/3)?
False
Let u(h) = -h**3 - 10*h**2 - 2*h + 12. Suppose n = 6 + 12. Let o = n + -28. Is 4 a factor of u(o)?
True
Let k(n) be the third derivative of -5*n**4/12 + 5*n**3/2 - 51*n**2. Is 13 a factor of k(-31)?
True
Suppose u - 2 + 6 = 0, 3*x = u + 613. Suppose -3*r - 213 = -2*l, -3*l - 5*r - x = -5*l. Is 19 a factor of l?
True
Suppose 747 + 81 = 6*u. Does 18 divide (-12433)/(-15) - u/(-1035)?
False
Suppose -49*l = 219*l - 10335688. Is 18 a factor of l?
False
Let y(t) = -11*t - 38 - 3*t + 3*t + 119*t**2 - 102*t**2. Is y(-5) a multiple of 34?
True
Let l be ((-1)/4*21)/((-5)/400). Suppose w = 5*w - l. Is w a multiple of 10?
False
Does 68 divide (-5)/((-275)/(-66))*(-25050)/4?
False
Suppose -30*z - 45*z + 63536 = -326464. Is z a multiple of 25?
True
Suppose 32 = -2*a + 5*j, -a - j = -5 + 7. Does 55 divide 3/((a/3)/(-330))?
True
Let k(l) = -183*l + 28. Let d be k(-7). Suppose -3*x = 3*t + 1305, -2*x - d = -t + 4*t. Let c = -229 - t. Does 42 divide c?
True
Let q = -46 + 46. Let g be (q + 42)*(14 + -15). Let t = -22 - g. Is 10 a factor of t?
True
Suppose -1023*k = -974*k - 443352. Does 52 divide k?
True
Is 58022/7 + (-6)/420*-10 a multiple of 27?
True
Let j(t) = -14*t - 42. Let y be j(-12). Let l = 126 - y. Suppose l = -v + 5*w + 69, 4*v + 3*w - 339 = 2*w. Is v a multiple of 14?
True
Suppose 3 = -5*z + 2*l, 5*z - 3*z - 5*l = 3. Let n be (z + 1)/(-3) + (-9)/(-3). Suppose -5*a = -n*t + 160, 0 = 4*t - 4*a - 87 - 113. Is 3 a factor of t?
True
Let p(s) = s + 36. Let j be p(29). Let f = j + -117. Let u = 325 + f. Is 41 a factor of u?
False
Let d(n) = 2*n + 131. Let m be d(-34). Suppose -368 - 2530 = -m*o. Is 10 a factor of o?
False
Let l(g) = 5*g**2 - 55*g + 2. Let o be l(12). Suppose 22 - o = -k. Does 15 divide k?
False
Suppose 146*x - 26988 - 32213 = 45189. Does 55 divide x?
True
Let y be (-3 + 834 + 1)/(-1). Let k = y - -2285. Suppose -10*p + k - 493 = 0. Does 12 divide p?
True
Suppose 394675 = 5*x + 3*p, 25*x - 4*p = 24*x + 78958. Is x a multiple of 417?
False
Suppose 0 = 31*u - 53518 - 46798. Does 16 divide u?
False
Let m(i) = 120*i + 105. Is m(12) a multiple of 3?
True
Let t(l) = 9*l**3 - 28*l**2 + 64*l - 823. Does 35 divide t(13)?
True
Let z(j) = 193*j**3 + j**2 - 14*j + 7. Is 15 a factor of z(3)?
False
Let g be 0*(3 + -10 + 6). Suppose g = -3*h + 342 + 1509. Is h a multiple of 13?
False
Let v(d) = 3*d**3 - 2*d**2 + 2*d - 4. Let a be v(2). Suppose -h + 0*h = -i + a, 2*h + 5*i = -4. Is (h - -51) + (-1 - (1 + 0)) a multiple of 19?
False
Suppose 6*x + 196 + 50 = 0. Let s = x + 119. Is s a multiple of 9?
False
Suppose 5*h + 299 = z, -2*h + 4*z - 117 = z. Let u be 1/3 - (-20)/h. Does 24 divide 6/(3/26 + u)?
False
Suppose 2302 = -16*v - 5106. Let m = v + 713. Does 44 divide m?
False
Let t(b) = b**3 - 23*b**2 + 28*b + 4. Suppose -4*z + 84 + 4 = 0. Is 17 a factor of t(z)?
True
Suppose -6*a + 16 = 64. Is a/(-28) - (-5372)/14 a multiple of 64?
True
Let n(s) = 497*s - 217. Does 35 divide n(6)?
True
Let f(b) = -35*b**3 - 2*b**2 + 19*b + 57. Let v be f(-4). Let g = -1435 + v. Is 29 a factor of g?
True
Let h(w) = 42*w**3 - 2*w**2 + 4*w - 2. Let y be h(1). Suppose -5*c - 4*x = y, 0*c = c - 2*x. Is 37 a factor of c/((108/(-296))/9)?
True
Let m = 171 - 173. Does 44 divide (m/4)/(47/(-50854))?
False
Let v(y) = y**2 + 12*y - 45. Let p be v(3). Is 8 - (1 - p/4) a multiple of 4?
False
Suppose 2*c + d - 842 = -37, -c + 5*d = -430. Is c a multiple of 3?
True
Let x(m) be the second derivative of m**4/6 + m**3/6 + 3*m**2 - 14*m + 2. Suppose -2*q - 28 = q + t, 4*q = -2*t - 40. Is x(q) a multiple of 14?
True
Let b(r) be the second derivative of 4*r**3/3 - 37*r**2/2 + 14*r. Let v be b(5). Suppose 0 = v*y - a - 61, -3*y + 11*a = 7*a - 64. Does 2 divide y?
True
Let a(l) = 339*l**2 + 9*l - 15. Let d be a(5). Suppose -9*b = 26*b - d. Is b a multiple of 27?
True
Let j = -31 - -11. Let m be (-2*4/j)/(1/50). Let w = -12 + m. Is 8 a factor of w?
True
Is 39 a factor of 962/(28/4 - 260/39)?
True
Suppose 3*v + 22049 - 6493 = 2*h, 0 = -4*h - v + 31112. Does 33 divide h?
False
Suppose -266*o + 165*o = -30199. Is 23 a factor of o?
True
Let c = 3616 - 355. Is c a multiple of 23?
False
Suppose 261*k - 3218495 = 571225. Is k a multiple of 20?
True
Suppose -89*m - 142*m + 5980800 = 49*m. Is m a multiple of 12?
True
Let x(i) = -21*i - 3. Let p(g) = 43*g + 7. Let c(t) = -86*t - 14. Let u(h) = 2*c(h) + 5*p(h). Let k(n) = -2*u(n) - 5*x(n). Is 16 a factor of k(2)?
False
Let o(b) = -b**3 - 15*b**2 - 14*b + 23. Let t(q) = q - 21. Let h be t(6). Let a be o(h). Let c = a - 108. Is c a multiple of 10?
False
Suppose -911 = -149*o + 148*o + 3*j, -5*o = 2*j - 4521. Is 32 a factor of o?
False
Suppose 305*c - 310*c = -20240. Does 103 divide c?
False
Suppose -41*t = -40*t + 34. Let k = t - -52. Let w = -4 + k. Does 7 divide w?
True
Let y(u) = 2337*u - 1594. Does 5 divide y(7)?
True
Suppose 0 = -4*v + 338 + 134. Suppose 0 = -40*h + 39*h + v. Suppose 0 = -7*w + 617 + h. Does 35 divide w?
True
Let f(k) = 40*k - 4*k**2 + 19*k**2 + 8 - 18*k - 101 - 26. Does 14 