t q(u) = -u**3 + 8*u**2 + 13*u - 18. Is q(f) a multiple of 7?
False
Suppose z = 5*u - 889 - 2146, u + z = 601. Is 101 a factor of u?
True
Suppose -5*y + i = -43254, 5*i - 9811 - 16175 = -3*y. Is 21 a factor of y?
True
Let s = -6479 - -8746. Is 52 a factor of s?
False
Let u = -25427 + 37217. Does 45 divide u?
True
Does 49 divide (23716/(-539))/((-2)/98)?
True
Suppose 5*a = -25, u - 2*a = 13 + 1. Suppose -4*g + 2872 = u*c, -18*g + 3606 = 5*c - 21*g. Does 20 divide c?
True
Suppose -10*t + 20039 = -7151. Is t a multiple of 125?
False
Let m(r) = 2*r**2 + 2*r - 12. Suppose -3*k + 9 = 4*h, 0*h + 12 = 3*k + 3*h. Let n be (35/k + -6)*1*9. Does 8 divide m(n)?
False
Suppose -7*n + 2*n - 425 = -5*d, 4*n + 16 = 0. Let j = d + -19. Let h = j + -22. Does 4 divide h?
True
Let b = -4295 - -8394. Is 10 a factor of b?
False
Suppose -2*h = 9*y - 4*y - 21546, 4*h + 4340 = y. Does 22 divide y?
True
Suppose 29232 = 26*w - 8*w. Is w a multiple of 3?
False
Let u = 33533 - 21245. Does 128 divide u?
True
Suppose -25*f + 23*f + 4*a + 6304 = 0, -a = f - 3137. Is f a multiple of 37?
False
Let w = -142 - -146. Suppose 1306 = 4*u - w*m + 2*m, 3*m = u - 339. Is u a multiple of 7?
False
Let c(z) = -48*z**2 + 7*z - 8. Let m be c(2). Let a = 149 + m. Let v = 5 - a. Is 4 a factor of v?
False
Let p = 163 - 99. Let i be 0/1*(55/(-10) - -6). Suppose i = 5*k - 3*k - p. Is k a multiple of 16?
True
Let v(u) = u**2 - 2*u + 233. Let m = -28 - -28. Is v(m) a multiple of 38?
False
Let x = -26544 - -28944. Is 11 a factor of x?
False
Let w(t) = t**3 - 7*t**2 - 4*t - 9. Let s be (-21 - -3)*((-28)/8 + 3). Is w(s) a multiple of 17?
False
Suppose -16*r - 15*r + 434 = 0. Suppose 125 = b + 5*o - r, -b + 3*o = -99. Is b a multiple of 6?
True
Suppose 8653 = 4*h - 5*c - 4643, 3*c = h - 3317. Does 99 divide h?
False
Let c = -651 - -675. Let k(v) = 2*v**2 - 30*v + 208. Is 8 a factor of k(c)?
True
Suppose -5*f + 222 = g, -2*g = 2*f - 28 - 56. Let t be 2 + 4/((-4)/(-2)). Suppose -t*z = y - f, z = 3*y - 5*y + 76. Is 15 a factor of y?
False
Let q = -135 - -139. Does 25 divide (-1)/((-16)/5188) + 3/q?
True
Let s(z) be the third derivative of -5*z**4/12 + 17*z**3/6 - 15*z**2. Let q be s(5). Let u = q + 46. Is 4 a factor of u?
False
Let h be 5/2 - 710/(-4). Suppose -12*t + h = -2988. Does 33 divide t?
True
Let a be 9/(-81) - (-107)/(-9). Let o(g) = g**3 - 13*g**2 - 13*g - 5. Let h be o(14). Is 16 a factor of (a/h)/(4/(-198))?
False
Let g = -7716 - -24546. Is g a multiple of 6?
True
Suppose 2*i - 619 = -2*g - 141, 4*g = -3*i + 952. Is 21 a factor of g?
False
Let i(x) = -x**3 + 56*x**2 + 23*x - 308. Does 52 divide i(56)?
False
Does 20 divide 90*(-12 - (-1352)/39)?
True
Suppose -18*u = -9*u - 324. Suppose 17665 = u*o + 2509. Does 26 divide o?
False
Suppose -14*o - 5*c - 3972 = -18*o, -o = c - 984. Suppose 0 = -3*b, 6*p + o = 8*p + b. Is p a multiple of 66?
False
Let c(a) = -a**3 + 6*a**2 + 8*a - 10. Suppose -8*x = -12*x - 24. Let o = x + 12. Is 11 a factor of c(o)?
False
Suppose -1511482 = -116*c + 1594449 + 832733. Does 12 divide c?
False
Let q(g) = 7447*g - 2729. Does 60 divide q(3)?
False
Suppose -5*i + 18476 = 2*q - 36802, 0 = 3*i + q - 33166. Does 31 divide i?
False
Suppose -y = 21*y - 1870. Is 1309/y + 8/(-20) a multiple of 11?
False
Let v = 98 + -94. Suppose 2*d = -v*u + 24, -8*u + 10*u - 2*d = 0. Does 9 divide (4/8 + 2/u)*83?
False
Let g be 4/(-6) + (-30)/(-45) + 2100. Suppose 2*m + y - 829 = 0, 3*m - g = -2*m + 3*y. Is m a multiple of 10?
False
Let h(x) = -24*x**3 + x**2 - 1. Let p = 1 - 2. Let t be h(p). Suppose -14*l + 16*l = t. Is l even?
True
Suppose -4*p + 3402 = 10*p. Let r = p - 100. Does 13 divide r?
True
Suppose -278*m + 525*m + 556660 = 260*m. Is 59 a factor of m?
False
Let c(w) = -17*w**2 + 9*w + 10. Let a be c(5). Is 2*1*(2 - a/20) a multiple of 9?
False
Let v = 24 - 57. Let c = -31 - v. Suppose 4*s + 2*u - 118 = -3*u, 0 = -s - c*u + 31. Is 11 a factor of s?
False
Suppose -3*s + 132 = -4*h - 22, -5*h - 158 = -3*s. Does 23 divide (3 - (-4)/(-4))*s?
True
Let c(g) = g**3 + 30*g**2 + g + 32. Let p be c(-30). Let y(n) = 147*n**3 + n**2 + 12*n - 25. Is y(p) a multiple of 9?
True
Suppose -20 = -4*k + 24. Suppose 0 = -0*w - 4*w + 48. Suppose k*y = w*y - 231. Is y a multiple of 37?
False
Suppose 2833 = 9*r + 2797. Let g(j) be the second derivative of 8*j**3/3 + 9*j**2 - j. Does 7 divide g(r)?
False
Let j(l) = -874*l - 5256. Does 203 divide j(-32)?
False
Let y(o) = 10 + 6*o - 6*o**2 - 246*o**3 - 250*o**3 + 502*o**3. Does 8 divide y(3)?
True
Suppose -8*n + 5074 + 3998 = 0. Does 27 divide n?
True
Let q(a) = a**3 + 41*a**2 + 63*a - 238. Does 17 divide q(-38)?
True
Suppose 5*d + 992 = 6*j - 2*j, 2*j - 466 = -5*d. Suppose 4*q - 237 - j = 3*u, 0 = -u + 4. Does 16 divide q?
False
Let v(l) = 2*l**2 - 30*l - 103. Suppose -10*w + 0*w = -250. Is v(w) a multiple of 15?
False
Let s be (-12)/8 - 125/(-10). Let w = 18 - s. Suppose -20 - 358 = -w*z. Is z a multiple of 9?
True
Let c(d) = -d**2 - 2*d + 6. Let m be c(-3). Let t be (-22)/(-6) + 4/3. Suppose -2*f + 78 = 2*f + m*z, 4*z = -t*f + 98. Is f a multiple of 18?
True
Is 143 a factor of 12/15 - 167843/(-65) - 9?
True
Suppose 109 + 17 = 7*o. Let u(g) = -282*g + 3. Let l be u(-4). Suppose o*d - l = 5*d. Is 9 a factor of d?
False
Let y be ((-5)/15)/((-1)/(-42)). Let o be (115/(-105) + (-6)/y)*-6. Is 155/4*16/o a multiple of 40?
False
Let r = 92 + 96. Let n = -128 + r. Is n a multiple of 30?
True
Let y(i) = 142*i**2 + 24*i + 475. Is 13 a factor of y(-14)?
False
Suppose -v - 155109 = -5*j, 0 = -16*j + 14*j + v + 62040. Is 17 a factor of j?
False
Let f = 137 - 134. Suppose -f*p = -2*k - p + 2, 5*p = 25. Suppose 0 = k*l - 455 - 1321. Is l a multiple of 37?
True
Suppose 15*n - 88053 = 32637. Is n a multiple of 7?
False
Is 16 a factor of 358359/27 - 576/(-1296)?
False
Suppose -w + 0*w - 2*n = -17, -5*n + 35 = 2*w. Is 27/18*4600/w a multiple of 20?
True
Let l(r) = -90*r + 722. Let v be l(8). Suppose 0 = 3*x - 4 - 8. Suppose 4*c = -v*w + 7 + 13, 5*w - 56 = -x*c. Does 12 divide w?
True
Let i(u) = u + 106. Suppose 873 + 150 = -31*p. Is i(p) a multiple of 6?
False
Let g be (-6)/(1 + 12/(-4)) + 1. Suppose -g*j - 252 = -10*j. Suppose r + j = 93. Is r a multiple of 29?
False
Let w(d) = d + 21. Let q be w(5). Suppose -2*h - 14 + 36 = 3*c, -4*h - q = -c. Does 7 divide ((-15)/c - -3)*6?
False
Let y = -58191 + 93691. Does 284 divide y?
True
Suppose -58*k + 3904 = -18*k - 24*k. Is 4 a factor of k?
True
Suppose 4*f - 14591 = -4*o + 7117, 4*o - 2*f = 21702. Is o a multiple of 90?
False
Suppose 0 = -8*t + 4*h + 63196, h - 31595 = -3*t - t. Does 20 divide t?
False
Let x be ((-3)/2)/((-1)/(-2) + -2). Let t be x*(-1 + 4) + (-3 - -192). Suppose 3*i = -5*l + 328, 3*i = 6*l - 3*l - t. Is l a multiple of 13?
True
Suppose 5*m - 358 = 52. Suppose m*w + 945 = 85*w. Is 35 a factor of w?
True
Let v(x) = -3*x**3 + 544 - 5*x**2 + x**3 - 554 + 4*x. Let w be v(-5). Suppose q + 4*a = 66, -4*a + w = -4*q + 339. Is 31 a factor of q?
True
Let m = -315 + 566. Let l = m - 173. Let k = l + -25. Does 21 divide k?
False
Suppose 0 = 5*h + 874 + 1881. Let l = h - -772. Is l a multiple of 12?
False
Let l(c) = 9*c - 39. Let z(v) = -v + 14. Let m be z(8). Let d be l(m). Let u = 104 - d. Is u a multiple of 20?
False
Suppose 302*y - 73368 = 298*y + 2*b, 4*b = 5*y - 91707. Is y a multiple of 29?
False
Let u(g) = g**3 + 17*g**2 - 14*g - 15. Let b be u(-15). Suppose -5*d + 2*j = -3243, 0 = -0*d + d - 4*j - b. Does 6 divide d?
False
Let a(y) = -y**3 - 11*y**2 + y + 16. Let u be a(-11). Suppose 3*l + b = 6*b - 20, 0 = -u*l - b + 4. Suppose -6*q + 173 - 35 = l. Does 18 divide q?
False
Let u(j) = 50*j - 32. Let a be u(7). Let z = a - 147. Is 8 a factor of z?
False
Suppose 5*y - d - 32233 = 0, -2*y - 6556 + 19417 = -5*d. Does 16 divide y?
True
Suppose 3*w + 5*b - 28 = 0, 4*b - 16 = -2*w - 0*w. Let s(y) = -1303*y**3 + 40 + 2607*y**3 + 10*y**2 + 15*y - 8 + 5*y**2 - 1305*y**3. Does 2 divide s(w)?
True
Let t = 196 + 91. Suppose -4*v = -5*s - 680, -6*v + 65 = -3*s - 361. Let p = s + t. Is 15 a factor of p?
False
Let g(p) = -1174*p - 2300. Is g(-5) a multiple of 10?
True
Let h = 16635 - 2325. Is h a multiple of 15?
True
Let x = -329 + 337. Suppose x*p + 1231 = 6511. Is p a multiple of 44?
True
Let a(k) = 6*k**2 + 65*k + 1626. Is 