5*t. Suppose -z*c = -4*c + 256. Let u = c + -177. Is 15 a factor of u?
False
Let u be (2 - 305/(-2))*(-8)/(-4). Let z = u - -95. Is z a multiple of 101?
True
Suppose 0 = -3*f - 5*q + 3486, -30*q + 25*q = f - 1172. Does 2 divide f?
False
Suppose 0 = 9*d + 17 + 1. Is ((-640)/15)/(3/9*d) a multiple of 14?
False
Let l(y) = 249*y**2 - 61*y - 646. Does 13 divide l(-9)?
True
Suppose -67*v + 69*v + 18 = 0. Let u be 120 + (-1)/5 + v/5. Suppose 3*i - 4*b = -i + 204, 3*i = -4*b + u. Is i a multiple of 23?
True
Let o = 25716 + -8334. Is o a multiple of 23?
False
Let x be 129/((-12)/24 + (-2)/2). Let u = 128 + x. Let q = u - 38. Does 4 divide q?
True
Let a = -2134 - -2413. Is 6 a factor of a?
False
Let y(d) = d**3 + 19*d**2 - 29*d - 15. Let w be y(-21). Is 34 a factor of ((w/10)/(-3))/((-47)/(-940))?
False
Let o(u) = 806*u + 86. Is 31 a factor of o(6)?
False
Let z = 152 - 152. Does 21 divide z + 7 - -10 - (-1 + -3)?
True
Let u(j) = 68217*j**2 - 13*j - 6. Is 64 a factor of u(-1)?
True
Suppose i - 64 = p, -3*i + 4 - 13 = 0. Suppose 5*m + 5*s = 610, 3*m - 3*s - 366 = -4*s. Let f = p + m. Does 11 divide f?
True
Suppose 0 = -5*v + 5*r + 45, -3*v + 22 = -0*v - 2*r. Suppose 4*n + 565 = v*j + 197, j = 4*n + 89. Let z = j + -18. Does 4 divide z?
False
Suppose 1952 = 4*f - 5*o, -o + 1639 + 289 = 4*f. Let u = -175 + f. Does 14 divide u?
True
Let v(l) = l + 100. Suppose -2*y = 5*q, -3*q - 3*y + 2*y = 0. Let x be v(q). Suppose 0 = 2*p - 4*r - 76, 290 - x = 5*p - r. Is p a multiple of 38?
True
Suppose 3*c - 5*r + 27 = 62, -5 = 3*c + 5*r. Suppose 3*l + t - 918 = 0, -2*l + l = -c*t - 306. Is 6 a factor of l?
True
Let n(a) = 8*a - 49. Let h be 175/10*1/(-7)*-4. Let m be n(h). Suppose -2*y + 129 = -m. Is y a multiple of 20?
True
Is 5739 - (3 - -9 - 10) a multiple of 19?
False
Suppose -19*g + 21*g = 4*r - 24424, 30446 = 5*r + 8*g. Is 24 a factor of r?
False
Let d = 2219 + 25. Is 51 a factor of d?
True
Let l(z) = -2*z + 5 - 4*z + z - z**2. Let f(x) = x**3 - 11*x**2 + 37*x - 47. Let n be f(6). Does 2 divide l(n)?
False
Let z = 254 + -206. Suppose -50*j = -z*j - 412. Does 18 divide j?
False
Is (-4)/(-3) - 342784/(-618) a multiple of 8?
False
Is 2/(-9) - -5*140856/540 a multiple of 12?
False
Suppose 5*j - 45289 = -4*l, 284*l = 2*j + 281*l - 18157. Is 245 a factor of j?
True
Let v(h) = h**3 + 5*h**2 - 6*h - 5. Let s be v(-6). Let f = -1 + s. Does 7 divide -2 + (54 - f/(-3))?
False
Let t = 118 + -114. Suppose t*g - 158 = -18. Is g a multiple of 19?
False
Let o(q) = -9*q + 7. Let l be o(10). Let w = -78 - l. Suppose u - 5*i = -2*u + 94, 150 = 5*u - w*i. Is u a multiple of 28?
True
Let r be ((-7682)/115)/(2/(-15)). Suppose 8*q - r = -4*o + 3*q, -2*o + 5*q = -243. Is 62 a factor of o?
True
Let l be (-1 + 100)*(-2)/(-2). Suppose -12918 - 11392 = -143*q. Let u = q - l. Is u a multiple of 13?
False
Let f(m) = 63*m**2 + 8*m - 379. Does 26 divide f(11)?
True
Suppose 43 = 55*o - 67. Is 6 a factor of 14940/(-135)*(-3)/o?
False
Let v = 601 + -507. Suppose 2*u - 5*u + k + 277 = 0, -4 = k. Is 1/((-39)/u - v/(-203)) a multiple of 16?
False
Suppose 4*g = 157 - 2765. Let h = g - -952. Is h a multiple of 50?
True
Does 31 divide (21/6 + 4/(-2))*(-318556)/(-42)?
True
Let p be 30/105 - 52/(-14). Is 5 a factor of 11 + -3 - (-392)/p?
False
Let c = 343 + 2978. Is c a multiple of 22?
False
Let s = 139 - 103. Let a = s - 205. Let k = 505 + a. Is k a multiple of 16?
True
Suppose -4*k + 2*k = -2*n - 2, -2*k + 16 = 5*n. Suppose -n*v = 256 - 1374. Does 43 divide v?
True
Suppose 5*w - 1624 = 4*i, -12*w - 327 = -13*w + 3*i. Suppose -x = -4*x + 57. Suppose -23*s + w = -x*s. Is s a multiple of 10?
False
Let y = 273 + -152. Suppose 13*x - y - 282 = 0. Is x a multiple of 8?
False
Is 10 a factor of -160*(50/(-100))/(2/42)?
True
Let s be 692/(-8)*(7/1 + 1). Let c = s + 1521. Is 40 a factor of c?
False
Suppose -2*i + 11 = -45. Let s = 4 - 1. Suppose -s*r + 75 = 3*y, -r - i = -y + r. Does 13 divide y?
True
Let v(h) = -3*h**3 - 326*h**2 + 255*h - 534. Is 13 a factor of v(-111)?
True
Let y(m) = 2500*m + 3800. Is 120 a factor of y(4)?
True
Let x(u) be the first derivative of 173*u**2 + 27*u + 29. Does 83 divide x(4)?
True
Suppose 9*m = -1067 - 499. Let y = 425 - 719. Let o = m - y. Is o a multiple of 10?
True
Let g(h) = -6*h - 43. Let o be g(-6). Let n(m) = -20*m - 58. Does 7 divide n(o)?
False
Let m be (-16)/80 - (1/(-5))/1. Suppose 10*t - 12*t - 562 = m. Let f = -151 - t. Is f a multiple of 16?
False
Suppose -4*u = -3*q - 2*u + 4618, -5*u - 3075 = -2*q. Suppose 16*j + 420 - q = 0. Is 3 a factor of j?
False
Let f = 44590 - 35486. Does 92 divide f?
False
Suppose 3*d + t + 20 = 0, 4*d + 20 = 2*d - 4*t. Let l be -3 + d + 5 - (0 + -4). Let b = 55 + l. Is 5 a factor of b?
True
Suppose 0 = -14*z + 25717 + 14519. Suppose 3*b + 444 = z. Is b a multiple of 9?
True
Let h(r) be the third derivative of r**6/120 - 7*r**5/20 + 3*r**4/4 + 32*r**3/3 - 109*r**2. Does 16 divide h(21)?
False
Let o(c) = c - 4. Let f be o(-20). Let j = 52 + f. Let q = 135 - j. Is q a multiple of 21?
False
Suppose -4*x - 16 = -4*n, -2 = -5*x + 3*n - 24. Is 12 a factor of -1 + 3 - 332/(3 + x)?
True
Suppose 3*r = -4597 + 9220. Is r a multiple of 73?
False
Let s = 36 + -30. Suppose 7*y = s*y. Suppose -3*c - 4*g + 4 + 14 = y, 4*g + 22 = c. Is 10 a factor of c?
True
Suppose 0 = -29*c + 24*c + 30. Let u(h) = 11*h**2 + h + 18. Is u(c) a multiple of 12?
True
Let o(x) be the first derivative of x**4/4 + 14*x**3/3 - 13*x**2 + 4*x - 19. Does 73 divide o(-13)?
True
Let v be (-57)/(-6)*(-5 - 78/(-6)). Let z = -20 + v. Does 28 divide z?
True
Let d(m) = -151*m - 3880. Is d(-135) a multiple of 5?
True
Let v = 4071 - 2132. Suppose 0 = -15*t + v + 1841. Does 36 divide t?
True
Is 220 a factor of ((-120)/(-12) - 12) + 3207*2?
False
Let n(h) = 103*h**2 - 141*h - 773. Is 19 a factor of n(-6)?
True
Suppose 3*y = s - 311, 3*s + 331 = -3*y - s. Let r = y - -134. Is r a multiple of 29?
True
Suppose 7 = 4*v + 27, 10 = l + v. Suppose 0 = 3*o - 3, l = -3*n - 4*o + 109. Does 5 divide n?
True
Let x(v) = 5*v - 104. Let w be x(22). Suppose 4*u + 2*t = 400, -2*u + 184 = -w*t + 11*t. Does 34 divide u?
True
Suppose -36546 + 7746 = -132*c + 122*c. Does 192 divide c?
True
Let o be (-1 - -540 - -2)/(-1). Let x be 3*4/(-12)*o. Suppose -2*a = -x + 73. Is a a multiple of 26?
True
Let p(o) = 3*o**3 + 142*o**2 + 168*o - 102. Is p(-46) a multiple of 6?
False
Let w(f) = -51*f - 358. Is 71 a factor of w(-117)?
True
Let a = -105 - -88. Let k(q) = -q**3 - 19*q**2 - 36*q + 16. Is k(a) a multiple of 25?
True
Let v = -66 - -70. Suppose -2*b + v*x - 207 + 1 = 0, 3*b - 4*x + 313 = 0. Let y = 40 - b. Does 21 divide y?
True
Suppose 5*k = 2*t + 2*t - 1553, -t + 383 = -3*k. Let z = 6913 - 6705. Let v = t - z. Does 46 divide v?
True
Let u = -69 - -63. Let a(i) = 4*i**2 + 6*i + 11. Let s be a(u). Let l = -38 + s. Is l a multiple of 16?
False
Suppose 37*y = 29*y - 74*y + 641322. Is 94 a factor of y?
False
Suppose -97008 - 36515 = -38*r - 18231. Is 119 a factor of r?
False
Let d(g) = g**2 - 9*g - 20. Let y be d(11). Suppose 1512 = -y*l + 11*l. Is 12 a factor of l?
True
Let v(g) = 18*g**2 - 70*g - 2344. Is 111 a factor of v(-25)?
True
Suppose 3952 = 117*f - 6110. Is f a multiple of 2?
True
Suppose -5*l - 7 = 218. Let p be (-155904)/(-1472) - (-4)/46. Let k = l + p. Is k a multiple of 13?
False
Let c = -53 + 59. Suppose 18 = 9*j - c*j. Does 9 divide 2 - ((0 - 19) + j + -3)?
True
Suppose 18*m - 7878 = 3588. Does 9 divide m?
False
Let v(b) = -48*b**3 - b**2 - b. Let p(o) = 8*o - 1. Let m be p(3). Suppose 2*y - 10 = 0, 3*j + 5*y = j + m. Is 16 a factor of v(j)?
True
Suppose -n - 3*n - 4*j = 0, n - 4*j = 15. Suppose -7*z = -n*z - 208. Let p = z + 28. Is 16 a factor of p?
True
Let j = 36365 - 32746. Is j a multiple of 6?
False
Suppose -o - 4599 = 6*o. Let n = o + 667. Is 10 a factor of n?
True
Suppose 4*f + 60586 = 2*y, 1555*f - 151521 = -5*y + 1557*f. Is 6 a factor of y?
False
Let w = -2177 + 6737. Is w a multiple of 24?
True
Let a(q) = -70*q - 68. Let g be 2/(-3)*(7 - (-12 - -10)). Is a(g) a multiple of 32?
True
Let x = 1077 - 485. Suppose x = 5*c + 2*l, 5*l = c + 41 - 181. Is 14 a factor of c?
False
Let g(a) = 1983*a - 1663. Is g(4) a multiple of 22?
False
Let z = 700 - -164. Is z a multiple of 16?
True
Suppose 164589 