73 = 4*h - 3*s + 88, -4*h - 3*s - 291 = 0. Let g = l - h. Is g a multiple of 6?
True
Is 1311 - -63*20/(-90) even?
False
Suppose -p - 8 = -68. Suppose 6 = p*a - 59*a. Suppose 9*j - 450 = a*j. Does 12 divide j?
False
Let z = -3467 - -20897. Does 42 divide z?
True
Let c(n) = 8 - 67*n**2 - 2*n + 2*n + 69*n**2 + 2*n. Does 19 divide c(-11)?
True
Let o = -59 - 4. Let x be 1 + 2 + o/3. Does 19 divide (-208)/(-6) - 3 - (-12)/x?
False
Let r be ((-10)/(-6))/((-20)/(-1704)). Let q = 313 - r. Is 7 a factor of q?
False
Let y = 12629 + -6750. Suppose y - 2036 = 21*b. Does 61 divide b?
True
Suppose -5*b + 2*m + 140 = -0*b, -m = -b + 31. Let p be (18 - b) + (5 - 1). Let i(w) = w**3 + 5*w**2 + 2*w - 5. Does 2 divide i(p)?
False
Let s(r) = r**3 - 16*r**2 + 8*r + 109. Let x be s(15). Suppose 4*i - 270 = -l, 4*l + 1056 = 8*l + x*i. Does 59 divide l?
False
Suppose 4*f = -5*c + 240, 34*c + 236 = 4*f + 40*c. Is 11 a factor of f?
False
Suppose 4*l + 25*z = 26*z + 10421, -4*l = -6*z - 10426. Does 11 divide l?
False
Let h(c) = -2*c + 208. Let q(b) = 2*b**2 + 6*b - 29. Let r be q(-7). Is h(r) a multiple of 8?
False
Is (-27906 - -2)/(11 + -12) a multiple of 64?
True
Let p = 102 - -56. Suppose 7*f = p + 10. Is f a multiple of 15?
False
Suppose -2355*y + 2262*y + 5646960 = 0. Does 110 divide y?
True
Suppose 5*m - 35179 = l, 41*l - 14074 = -2*m + 39*l. Is 83 a factor of m?
False
Let n = -3457 + 4008. Does 28 divide n?
False
Suppose -1048 - 1382 = 5*l. Let h = l - -769. Is h a multiple of 11?
False
Suppose -71*z + 471750 = 99*z. Does 173 divide z?
False
Let q(s) = -s**3 + 8*s**2 + 6*s + 7. Suppose -3*b + 0*b = -18. Let k be q(b). Suppose 111*n + 392 = k*n. Is n a multiple of 21?
False
Let s = 643 - 361. Let t = s - 234. Is 11 a factor of t?
False
Let x = -5557 + 13501. Is 92 a factor of x?
False
Suppose 10 - 4 = 2*b. Suppose -b*j - 14 = 2*p - 40, 8 = -2*j + 5*p. Does 2 divide j?
True
Let h = 6474 + 12806. Is h a multiple of 20?
True
Suppose 12*k - 41 - 7 = 0. Suppose k*m - 69 - 23 = 0. Is m - 1*(-3 + 2) a multiple of 3?
True
Let y be 0*(1 + 7/(21/(-2))). Suppose 11*g - 283 - 388 = y. Suppose g*s = 58*s + 150. Is s a multiple of 28?
False
Suppose 19*l - 252 = 10*l. Suppose l*q + 5*q - 27885 = 0. Is q a multiple of 13?
True
Suppose 5*v = -3*c - 218, 3*v - 221 = 4*c + 31. Let u = c - -1236. Is u a multiple of 45?
True
Let t(q) = 295*q + 1197. Is t(24) a multiple of 89?
True
Suppose -3*v - 2*x + 6 = 0, -6 = v - 7*x - 8. Let s(k) = -3*k - 2. Let i be s(-2). Suppose -v*l + l + 400 = i*y, -5*y - 5*l = -485. Is 12 a factor of y?
False
Let h = 62 - 60. Suppose h*u - 5*s - 30 = -0*u, -4*s - 16 = 0. Suppose -2*k + 143 = 3*d, u*k - 3*d - 173 = 3*k. Does 13 divide k?
False
Suppose 4*x + 400 = 3*a, -3 - 17 = 5*x. Suppose 4*i - 904 = 4*z, -5*z = 4*i - 8*i + 907. Let k = i - a. Is 19 a factor of k?
True
Let b = 5817 + -3171. Is 9 a factor of b?
True
Let r(a) = 3 - a**3 - 1 - 50*a**2 - 12*a + 42*a**2 + 0. Let t be r(-6). Suppose -6*u + 32 = -t*u. Does 2 divide u?
True
Let m(l) = -23545*l - 115. Is m(-1) a multiple of 22?
True
Suppose 2*o - 2*r - 12 = 0, 4*o + 3*r = 6*o - 12. Let x(u) = -9*u + 56. Let s be x(o). Is 14 a factor of 3/s*(-3256)/(-33)?
False
Let m(v) = 458*v - 167. Let z(q) = -229*q + 82. Let x(g) = 3*m(g) + 7*z(g). Does 10 divide x(-3)?
True
Let c = 662 + -662. Suppose c = 43*i - 9*i - 8704. Is 16 a factor of i?
True
Suppose -2*w + 23 = 19. Suppose -w*t = -174 - 352. Is t a multiple of 7?
False
Let d(b) = -9*b**2 + 7*b - 2. Let z be d(2). Let v = z + 29. Let w(p) = -p**2 + 9*p - 15. Does 4 divide w(v)?
False
Let o(u) be the first derivative of 9*u**2/2 - 6*u - 12. Let p be o(1). Suppose 212 = p*z - 208. Is z a multiple of 28?
True
Suppose -5*z + x + 42 = 2*x, -3*x = 5*z - 36. Does 74 divide (-21316)/(-18) + (-2)/z?
True
Suppose 0 = -4*h - 4*d + 10324, 0 = -7*h + 3*h + 3*d + 10366. Does 16 divide h?
False
Let z(m) = -m**2 - 24*m - 27. Let w be z(-23). Let t(x) = x**2 + 5*x + 4. Let l be t(w). Suppose -120 = -l*h - 4*h. Is 6 a factor of h?
True
Is 12 a factor of 14729/9 + (-76)/(-171)?
False
Suppose 49908 = 3*y + 3*a, 13*y + a = 18*y - 83156. Is 14 a factor of y?
True
Let g be (-11)/(-9) + (-6)/(-162)*-6. Let p = g - -4. Suppose 6*x - 231 = p*x - 5*t, -3 = t. Does 26 divide x?
False
Suppose g = 4*z - 20 - 14, z - 1 = 0. Suppose -55*l + 8*l = 2350. Is 4 a factor of g/l + 604/10?
False
Suppose 0 = 4*r + 312 - 108. Let u = r + 36. Let k = u - -28. Is k a multiple of 13?
True
Let k(z) = -7*z**3 - 12*z - 8. Is 8 a factor of k(-4)?
True
Suppose 0 = 32*w - 19*w - 52. Is 4 a factor of w?
True
Suppose -2*k + 12*k - 30 = 0. Suppose 297 = f - o, 4*f = k*o + 1107 + 82. Does 25 divide f?
False
Suppose 14*i + 0*i = 224. Suppose 2120 = 21*y - i*y. Is y a multiple of 11?
False
Let y(c) = 11*c**2 + 638*c + 40. Is 170 a factor of y(-60)?
True
Suppose -27*g - 1938 = 4*y - 24*g, -g = -2*y - 974. Let x = y - -661. Is x a multiple of 5?
True
Suppose -5*k + 163 - 153 = 5*a, -4*k - a = -23. Suppose -w - 3*p + k*p + 4 = 0, 56 = 2*w + 4*p. Is 2 a factor of w?
True
Let h(y) = 427*y + 1816. Is h(-4) a multiple of 3?
True
Let a be (72/42)/((-5)/(-3955)). Suppose -7*s = -2837 - a. Is 20 a factor of s?
False
Let j = 310 + 95. Suppose j - 30 = -3*p. Is 3/((-36)/(-6)) + p/(-2) a multiple of 7?
True
Suppose -6*r - 239580 = -61*r. Is r a multiple of 44?
True
Suppose -186*t - 466921 + 1729861 = 0. Is 10 a factor of t?
True
Suppose -4*u + 4*w = -176, 3*u + w - 13 - 119 = 0. Suppose 32 = 2*z - u. Is z a multiple of 8?
False
Let f = 19683 - 7341. Is f a multiple of 133?
False
Let o = 304 + -309. Is 2 a factor of ((-80)/104)/o - (-479)/13?
False
Let d = -18 + 167. Suppose d = j - 3*z, 0*z + 5*z = -j + 133. Does 20 divide j?
False
Let o = 230 + 2138. Suppose -6*d + 2*d = -o. Is d a multiple of 18?
False
Suppose -h - 51143 = -5*j, 46 - 60 = -2*h. Is 93 a factor of j?
True
Let i(q) = -q**2 - 138*q - 1828. Does 2 divide i(-111)?
False
Suppose -20*b + 2621 = 5*p - 17*b, -b - 3 = 0. Let f = p - 441. Is f a multiple of 6?
False
Let n = 6 - 8. Let h(u) = -11*u**2 - 3*u - 4. Let j(c) = c**2 - c - 1. Let g(s) = -h(s) + 2*j(s). Does 13 divide g(n)?
True
Let p be -8 + 3 - 20/(-4). Suppose p*l + 7*l - 21 = 0. Suppose 5*d = -l + 108. Is 16 a factor of d?
False
Let u(r) = 139 + 96 - r + 2*r - 4*r + 6*r. Is 17 a factor of u(35)?
True
Let h be (336/63)/((-8)/6 + 2). Suppose h*x + 120 = 2264. Is 47 a factor of x?
False
Let w(m) = 255*m**2 + 3*m + 1. Suppose 2*b - 8 = -2, b = n + 4. Is 12 a factor of w(n)?
False
Suppose 6342 = 4*r + 2*x, -4*r + 5*x = 465 - 6814. Does 6 divide r?
False
Let m(g) = 8*g**3 - g**2 - g + 2. Let i be m(1). Suppose i*b = 2*b + 1248. Suppose -107 - b = -5*s. Is 17 a factor of s?
False
Suppose -20380 = -23*g + 37028. Does 96 divide g?
True
Suppose 4*f + 28 = -f - 4*q, -q + 19 = -2*f. Let k = f + 11. Suppose o + 4*b - 41 = 0, -17 - 115 = -k*o - 3*b. Is o a multiple of 5?
True
Suppose 0 = -o - 3*u + 3, 5*o = 3*u - 8*u + 15. Suppose -d = m - 183, -2*m = o*d - 1 - 364. Suppose -5*i = -20, 5*i + m = 4*h - 424. Is h a multiple of 14?
False
Let n(i) = i**2 + 3*i - 60. Let u be n(7). Does 15 divide ((-8)/u + (-27)/(-15))*108?
False
Let f(s) = s**3 - 13*s**2 + 8*s - 66. Is f(19) a multiple of 13?
False
Suppose -113*t + 697769 = 35363. Is 121 a factor of t?
False
Suppose 3*r - 5*r - 5*j = 705, -r - 370 = -j. Suppose 17*g + 12535 = -6*g. Let c = r - g. Is 9 a factor of c?
True
Let i(x) = 31*x + 63. Let u be i(-1). Let r = -18 + u. Does 2 divide r?
True
Let f(x) be the second derivative of x**5/30 - x**4/12 + 125*x**3/6 + x**2/2 + 15*x. Let c(h) be the first derivative of f(h). Is 12 a factor of c(0)?
False
Let j = 26 - 10. Suppose 0*k - k - 5 = -m + 2*k, 0 = 4*k. Let l = j - m. Is l a multiple of 2?
False
Suppose -4*l + 71 = s, -5*l - 3*s + 50 + 37 = 0. Is 22 a factor of (104/(-10))/((-1)/(495/l))?
True
Let l = 47 + -40. Let x(u) = -6*u + 0*u + u**2 - l*u + 6 + 4*u. Is x(12) a multiple of 22?
False
Suppose 110 = -2*y - 2*z, -2*y - 4*z - 102 = -0*y. Suppose 513*v + 635 = 518*v - 5*p, p = -v + 139. Let j = v + y. Does 30 divide j?
False
Let i(v) be the second derivative of v**5/20 + v**4/6 - v**3/3 + 7*v**2/2 - 16*v. Let g be i(-3). Suppose 0 = g*p + 78 - 366. Is p a multiple of 11?
False
Let u = 6 + -5. Let s(o) = 6*o - o*