 Suppose 0 = 2*l - 101 - 205. Let y = l + j. Is y a multiple of 27?
True
Let l(h) = 132*h**3 + 2*h**2 - 3*h + 2. Is l(1) a multiple of 7?
True
Suppose 36 = -3*l + 144. Suppose -5*b + 0*b + 8 = -3*f, l = 4*b + 5*f. Suppose -9*v + 160 = -b*v. Is v a multiple of 11?
False
Let n = -758 + 1594. Suppose -3*o + 3*p = -600, -4*o - 4*p = p - n. Does 12 divide o?
True
Let d be (4/(-6))/(32/48). Does 9 divide (d + 4)*36/4?
True
Let d be (3 + (-5)/2)*12. Suppose 48 + 6 = -d*f. Is (-2)/f + 156/27 a multiple of 6?
True
Let u = -43 - -244. Is 4 a factor of u?
False
Let v = 115 + -168. Let r be 11 + -9 - (1 + v). Suppose 4*w - w - r = 0. Does 18 divide w?
True
Let w be 119/3 - (-3)/9. Suppose q + 4*q = w. Does 7 divide q?
False
Suppose -3*s + 2*h = -1732, 0 = -3*s + 19*h - 15*h + 1724. Is s a multiple of 70?
False
Let z be 16/(-4) + 3 + 1. Let l be (1 - z)*(-156)/(-4). Suppose 4*s - l - 87 = -3*j, 2*s = 0. Is 7 a factor of j?
True
Suppose -13*g = -17*g + 60. Is 15 a factor of g?
True
Let v(y) = -2*y**2 - 50*y - 58. Is 41 a factor of v(-21)?
False
Suppose 4*j - 4760 = 464. Does 21 divide j?
False
Is 39 a factor of 0 + (-20022)/(-9) + 55/(-33)?
True
Let r = -102 - -179. Does 11 divide r?
True
Let t(h) = -2*h - 6. Let a be t(-3). Suppose a = 3*l + l - 196. Suppose -13 = 2*v - l. Does 12 divide v?
False
Let y = 22 + -12. Let i be ((-45)/y)/((-6)/32). Suppose 5*z - 2*z - i = 0. Does 4 divide z?
True
Let t = 137 + -92. Is 7 a factor of t?
False
Let f(y) = -5*y + 53. Does 56 divide f(-15)?
False
Let w(o) = o**3 - o**2 + o + 23. Let y(b) = -2*b + 2. Let n be y(1). Is w(n) a multiple of 19?
False
Suppose -8*w = -4*m - 4*w - 116, 5*w - 20 = 0. Let l be (-1 - -3)/(10/m). Is (10/(-2))/(l/25) a multiple of 11?
False
Let p be ((-14)/8)/(6/(-24)). Let s be 2/p + 19/7. Is (1 - 4) + s + 2 even?
True
Is 145 a factor of (-305656)/(-62) - (-30)/465?
True
Let v(o) = o**3 + 8*o**2 - 3*o + 1. Is 7 a factor of v(-6)?
True
Let b = -92 - -143. Let w(g) = -g**3 + 4*g**2 + 4*g + 7. Let i be w(5). Suppose -i*x = z - b, 2*z - 8*x = -3*x + 57. Is z a multiple of 14?
False
Suppose 13*o + 0*o = 3887. Is 13 a factor of o?
True
Suppose 0 = 5*q + 6*l - 3*l, 5*q = 3*l. Suppose 0 = -2*x + 3*y - 3 + 65, -x - y + 26 = q. Is x a multiple of 5?
False
Suppose w = -2*w + 5*c + 2290, -4*c = -4. Does 10 divide w?
False
Let i be (-2)/10 + 730/25. Let u = -21 + i. Is u/10 + 231/5 a multiple of 17?
False
Let b = 1844 - 1220. Is 52 a factor of b?
True
Suppose -3*x + 116 = 4*a, x + a = -0*a + 38. Is 16 a factor of x + (2 - (1 + -3))?
False
Let h(p) = -p**2 - 9*p - 4. Let c(l) = 6*l + 6. Let u be c(-2). Is h(u) even?
True
Let q(m) = -2*m**3 - 8*m**2 - 4*m - 10. Does 39 divide q(-7)?
True
Let o(w) = 21*w**2 - 2*w + 3. Let a(y) = 20*y**2 - 3*y + 4. Let l(c) = -4*a(c) + 5*o(c). Suppose -b + 0*b + 1 = 0. Is 11 a factor of l(b)?
False
Let q = 149 - 159. Suppose -u - 94 = 4*z, 3*z - 4*u + 43 + 37 = 0. Is 5 a factor of ((-72)/q)/(z/(-60))?
False
Suppose 3*q = 3*x + 813, 4*x - 9*x = -2*q + 554. Is q a multiple of 10?
False
Is (-1 + 396 + 1)*(-4)/(-12) a multiple of 2?
True
Let i be 4/(11 - 3)*-6. Let w be i + (-2 + 3)*4. Suppose 0 = -2*q + x + 47, q - 2*x + w = 26. Is 23 a factor of q?
True
Let n = -69 - -136. Is 24 a factor of n?
False
Suppose 0 = s - 2, 0 = 2*x + 5*s - 58 - 0. Is x a multiple of 2?
True
Suppose 0 = 5*k + y - 16, -5*k = y + 4*y. Let u be 3 + (-1 - 2) + 2. Suppose 0 = -p + k*t + 64, -u*p - 3*p + 352 = -4*t. Is 24 a factor of p?
True
Is -16 + 7 + 7 - -506 a multiple of 42?
True
Let y(u) = 7*u**2 + 57*u - 399. Is 77 a factor of y(14)?
True
Is ((-1)/(-3))/((-10)/(-13530)) a multiple of 41?
True
Let z = 147 + -126. Is 4 a factor of z?
False
Let v = 76 - 1. Suppose 2*s - 15 = -5*z, 6*s + 5*z = s + v. Does 18 divide s?
False
Let g(x) be the first derivative of 4*x**3/3 + 3*x**2/2 + 4*x + 2. Let r be (-7 + 2)*(-45)/(-75). Is g(r) a multiple of 7?
False
Let k(f) = -f**2 + 7*f + 21. Let o be k(9). Suppose 0 = -4*r - a + 130, 0 = -o*r - 0*r + 3*a + 90. Let i = r - -24. Does 14 divide i?
True
Let r = 134 - -39. Suppose 3*c + 289 + r = 0. Let d = -102 - c. Is d a multiple of 26?
True
Suppose 0 = -3*i - 3*z + 6294, 2096 = i + 9*z - 7*z. Is 42 a factor of i?
True
Let o(i) = -9*i**3 + 1. Let t be o(1). Let a = t - -2. Is 15 a factor of (-182)/a - (-2)/(-6)?
True
Suppose -1224 = -153*c + 149*c. Is c a multiple of 18?
True
Let s = 41 + -23. Let u = 0 + s. Is 3 a factor of u?
True
Suppose 6 = -t - 2*t. Let a be 27 - 3 - (-3 - 0). Does 27 divide 4 - (-1 - t - a)?
False
Suppose -z + 427 = -374. Does 89 divide z?
True
Let x = -196 - -1489. Does 28 divide x?
False
Let h be (-3 - (-5 + 1))*5. Suppose h*a = a. Suppose -4*b + 149 + 91 = a. Is 10 a factor of b?
True
Suppose b + 4*b = 230. Suppose -k = -2*k + b. Suppose -f + 5*a = -k, 2*f - 5*a = -2*f + 124. Does 9 divide f?
False
Let d(j) = -4*j + 24. Let z be d(7). Is (z/5)/(14/(-1505)) a multiple of 26?
False
Let q(j) be the first derivative of -j**2/2 + 22*j + 13. Is 17 a factor of q(5)?
True
Let c = -302 - -437. Let r = 31 + -78. Let u = r + c. Is 18 a factor of u?
False
Let f(b) = -14*b + 110. Is f(-18) a multiple of 26?
False
Suppose 2*l = -r + 459, 3*l - 5*r - 783 + 75 = 0. Is l a multiple of 34?
False
Suppose 9 = -i + 5. Is i + 4 + -1 + 91 a multiple of 15?
True
Let c = 118 - 69. Let u = c - 45. Does 4 divide u?
True
Suppose 12*x - 6*x = -24. Is -1*(66/x)/((-12)/(-16)) a multiple of 11?
True
Suppose -5*u = 2*c - 7649, -4*c - c + 6*u = -19067. Does 37 divide c?
False
Let l be (-4)/3*75/(-10). Let w be (16/l)/(2/130). Suppose 3*o - 4*m - 18 = 34, 5*o = -2*m + w. Is 8 a factor of o?
False
Let i(y) = y - 5. Let d be i(9). Suppose -w - 4 = -d*f, 3*w + 12 = 2*f + 5*w. Suppose 4*z = s + 26, f*z = z - 2*s + 2. Does 4 divide z?
False
Suppose 0 = -5*c - 2*f + 3446, 10 = -2*f - 3*f. Is 23 a factor of c?
True
Suppose 16*k = 20*k - 1188. Does 11 divide k?
True
Let d = -322 - -979. Is d a multiple of 9?
True
Let h = 11 - 23. Let j be ((-14)/6)/(h/(-36)). Let x(f) = -f**3 - 5*f**2 + 6*f. Does 15 divide x(j)?
False
Suppose -t + 884 = 5*v - 103, -2*t = 6. Is 33 a factor of v?
True
Suppose -5*m = -k + 15, 0 = 2*k - 3*k + 2*m. Let x be (-2)/k - 87/(-15). Suppose -x*t + 260 = -t. Does 18 divide t?
False
Suppose 53*v - 51*v = 0. Let r = -2 + 2. Suppose 3*d - j = 39 - v, r = -d - j + 9. Does 12 divide d?
True
Suppose 0 = -x - 2*r - 37 + 523, -3456 = -7*x + 4*r. Is x a multiple of 87?
False
Suppose -4*h + 3*h = -1. Suppose 3*v - 5 = h. Suppose -v*r = -2*t - 102, 2*t = -r + 4*r - 157. Is r a multiple of 14?
False
Let a be 8/36 + 296/(-36). Let s(y) = y**2 - 4*y - 12. Is 12 a factor of s(a)?
True
Suppose 3*x - 3*d + 2653 = 7945, 4*x + 5*d = 7056. Is 69 a factor of x?
False
Suppose 4*p - 4*x - 229 = 8511, -3*p = -x - 6559. Is p a multiple of 27?
True
Suppose n + 2*y = 2*n, -4*n + 8 = -4*y. Suppose -l - 124 = -3*s, 3*s - n*s - 4*l = -24. Is s a multiple of 8?
True
Let a(p) = 108*p**3 - p**2 + 9*p - 8. Is a(1) a multiple of 5?
False
Let d = 6158 - 4223. Is d a multiple of 14?
False
Let h(x) = -x + 3. Let l be h(-6). Is 30 a factor of l/(-45)*(-1316 + 1)?
False
Let b = 304 + -170. Is 18 a factor of b?
False
Let r(x) = -13 - 2*x + 48*x**2 - 47*x**2 + 4*x. Is 3 a factor of r(4)?
False
Let h(o) = -o - 3. Let n be h(-5). Suppose -2*s - n*i = -7*i + 25, 0 = -s - 2*i + 1. Let g(j) = j**3 + 4*j**2 - 6*j. Is 5 a factor of g(s)?
True
Suppose 73*z = 77*z. Is 10 a factor of (2 + 16 - -2) + z?
True
Suppose 6*a - 9 = 3*a. Suppose -a*b + 1 + 17 = 0. Suppose 0 = w + x - 89, w - b*x + 2*x = 99. Is 13 a factor of w?
True
Let y = 4552 - 1930. Is 47 a factor of y?
False
Let m be (-3 + 4)*(7 + -4). Let h = m - 2. Is (h + -9)*(-22)/4 a multiple of 22?
True
Suppose 0 = -g + 91 + 332. Suppose l - 2*l = 2*c - g, 5*c + 2*l - 1057 = 0. Does 9 divide c?
False
Let n = 2165 + -1528. Is n a multiple of 28?
False
Let v(k) = k**3 - 9*k**2 - 9*k + 2. Let l = -14 + 24. Is v(l) a multiple of 7?
False
Does 19 divide -15*(-3)/(-18)*(-12 + -2)?
False
Let a = -568 - -1264. Is 24 a factor of a?
True
Suppose 661 = -5*l + 1426. Does 22 divide l?
False
Let n(g) = 7*g - 9. Let a(b) = 11*b - 14. Let p(c) = 5*a(c) - 7*n(c). Let t be p(9). Let k = t + -27. Is 5 a factor of k?
True
Suppose -40*o = -9*o - 806. Does 12 divide o?
False
Let i 