alse
Let w(b) = b**2 - 2*b - 5. Let p be w(-7). Let y = p + -56. Is y/(-1 - 0) + 147 + 5 a multiple of 45?
False
Let k(d) = 7*d - d - 19 - 15*d**2 + d**3 + 6*d - 2*d. Let z be k(15). Suppose g = -i + z, -3*i + 141 = 5*g - 254. Is i a multiple of 15?
False
Let r = -381 - -174. Let j = 591 - 294. Let q = r + j. Is q a multiple of 15?
True
Let d be (9/(-6))/(3/(-4)). Suppose -d*a = 2 - 8. Suppose -a*s + 2 = 2*o - 63, -s = 3*o - 80. Does 16 divide o?
False
Let w be (-2 + 4)/(3/15). Suppose 5*r - w*g + 12*g - 101 = 0, 0 = 2*r - 5*g - 52. Is 5 a factor of r?
False
Suppose -5*b + 5 = z, -b + 3*z = -19 + 2. Suppose 0 = 3*s - b*s - 246. Suppose s - 26 = 11*d. Is d a multiple of 20?
True
Suppose -26*c = -38*c + 900. Is 5 a factor of c*(1 + (-8)/12)?
True
Let x be (2/(-2) - -4)*49/21. Suppose -x*y - 756 = -14*y. Suppose 25*m = 19*m + y. Does 2 divide m?
True
Suppose 5*z + 871 + 7694 = 0. Let p = -1126 - z. Does 12 divide p?
False
Suppose -90 = 5*b + 5*b. Let d(s) = s**2 - 7*s - 22. Let t be d(b). Suppose -357 = -125*p + t*p. Is 28 a factor of p?
False
Suppose -4*w + 2856 + 10104 = 0. Suppose 1950 = 15*z - w. Is z a multiple of 16?
False
Suppose 3*j - 102 = 2*z, z = -4*j - 2*z + 136. Let u be 1*j - (-14 - -18). Suppose -u*l + 142 = -28*l. Is l a multiple of 10?
False
Let t be (-2)/(-14)*2 + 16/(-7). Let p be 97/(-1*(t - -1)). Let u = p + -17. Is u a multiple of 40?
True
Let p be (-4)/(-22) + 0 - (-768)/132. Suppose y + p = 2*m, -m - 5*y - 3 = 5. Suppose 56 = 3*v - m*v. Is v a multiple of 28?
True
Suppose x + 273 = 2*w, -7*w + 4*w = 2*x + 511. Suppose 2*c = -2*c - 192. Is x/(-7) - (c/(-28))/(-4) a multiple of 19?
True
Let l = 5173 + -2665. Is 22 a factor of l?
True
Let p = 18 + -8. Let v(r) = -r**2 - 1. Let y(m) = 7*m**2 - 10*m + 12. Let w(t) = 6*v(t) + y(t). Does 4 divide w(p)?
False
Suppose -v - 4*j = -j - 91, 5*j - 277 = -3*v. Let z = -13 + v. Is 26 a factor of z?
False
Let d = 323 - 314. Let u(a) = 4*a**3 + 17*a**2 + 16*a + 22. Let h(o) = -o**3 - 6*o**2 - 5*o - 7. Let m(t) = 7*h(t) + 2*u(t). Does 14 divide m(d)?
False
Suppose 14 = 19*m + 185. Let x be (m/(81/(-12)))/(4/6). Suppose x*r - 5*u - 94 = -u, 3*r - 151 = -4*u. Does 6 divide r?
False
Let x = -82 - 380. Let d = -286 - x. Is d a multiple of 22?
True
Let l(y) = -y**2 - 17*y - 13. Let j be l(-16). Let z be 120/1 + -6 + j. Suppose 7*r - z = -2*r. Is r a multiple of 7?
False
Let m = 740 - 736. Suppose -m*o - 1664 = -4*v, -2*v = -o - 2*o - 828. Does 105 divide v?
True
Is 83 a factor of (3*113)/(2460/340300)?
True
Suppose 5*b + 2994 - 16496 = -3*q, -q + 2*b + 4497 = 0. Is q a multiple of 32?
False
Let f = 550 + -550. Suppose -4*z - 358 = 4*i - 1078, f = -3*z + 3*i + 570. Is z a multiple of 6?
False
Let s be 63/(-105) - (1784/10 + 1). Is 14 a factor of (s/(-75))/(4/70)?
True
Let k(u) = -u**3 + 7*u**2 - 4*u + 17. Let o(t) = t**3 - t**2 + t + 6. Let n be o(0). Let j be k(n). Let x = j - -11. Does 20 divide x?
True
Suppose 0 = 14*j - 439 + 173. Does 19 divide j?
True
Let x(a) be the second derivative of 5*a**4/24 + 11*a**3/3 + 7*a**2/2 - 12*a. Let g(q) be the first derivative of x(q). Is g(23) a multiple of 13?
False
Suppose -4*s = -l + 998, -4*s - 3*l - 986 = 2*l. Let r = s - -384. Suppose -5*p + 339 = -3*m - r, -5*m + 264 = 3*p. Is p a multiple of 14?
False
Let t(j) = 23*j + 112. Let s be t(0). Is (642/8 + -1)/(14/s) a multiple of 44?
False
Let x be (-376)/12*(6/(-4))/(-1). Let f = x + 44. Is 36 a factor of 39 + -6 + f/6*-6?
True
Let y(l) = 2*l + 47. Let p be y(-13). Suppose p*a = -99 + 1779. Is 8 a factor of a?
True
Let t(q) = 149*q**3 + q**2 - 3*q + 3. Let k = -41 + 44. Let u = 4 - k. Is 25 a factor of t(u)?
True
Let h = 15755 + -11051. Does 84 divide h?
True
Let v(q) = -33*q + 29. Let o(r) be the second derivative of 17*r**3/6 - 7*r**2 - 18*r. Let u(b) = -5*o(b) - 3*v(b). Is u(4) a multiple of 4?
False
Let l = 53229 - 19419. Is l a multiple of 230?
True
Let f be 64 - 0*1/(-2). Let r = 1579 - 1567. Suppose 0 = -r*c - 16 + f. Is 2 a factor of c?
True
Let v(y) = -7*y + 5127. Does 17 divide v(67)?
True
Let w(x) = 2*x**2 + 93*x + 735. Does 12 divide w(-38)?
False
Let q(w) be the second derivative of w**4/8 + 7*w**3/2 - 19*w**2/2 + 9*w. Let d(s) be the first derivative of q(s). Does 7 divide d(11)?
False
Is 14767/3 - 161/69*(-8)/(-14) a multiple of 173?
False
Suppose -5*q + 2814 = -4*v, -2*q + v - 4*v + 1144 = 0. Suppose -5*i + 238 = 2*c, 5*c - i - i = q. Let m = -64 + c. Is 10 a factor of m?
True
Suppose 14*w - 7474 - 6680 = 0. Suppose 3*h + 3*f - w = -0*h, 4*h = f + 1348. Is h a multiple of 45?
False
Suppose -3*c + 788 - 92 = -2*b, 5*c - 4*b - 1162 = 0. Suppose 4*p = 5*u - 0*p - 1192, u - 5*p - c = 0. Does 8 divide u?
True
Let z(h) = -3*h**3 + 11*h**2 + h + 14. Let q(x) = 4*x**3 - 12*x**2 - x - 15. Let j(p) = 2*q(p) + 3*z(p). Let l be j(9). Does 7 divide (-28)/(-6)*l/7?
True
Suppose -4*h + 15*h + 3476 = 0. Let t = h + 326. Is 8 a factor of t?
False
Suppose 34*k = 35*k - 385. Suppose -3*i = 2*o - k, 5*i - 3*i - 957 = -5*o. Does 9 divide o?
False
Let q(j) = 2*j**2 + 2*j + 410. Let c be q(0). Suppose -6*k = 1279 - 115. Let t = k + c. Does 37 divide t?
False
Let v = -120 - -103. Let t(g) = 3*g**2 + 35*g - 42. Is 10 a factor of t(v)?
True
Let q(f) be the first derivative of -7*f**4/2 + 10*f**3/3 + 13*f**2/2 + 3*f + 76. Is 16 a factor of q(-3)?
True
Suppose 9*t - 15*t + 13*t - 798 = 0. Is t a multiple of 5?
False
Let j = -14509 + 22138. Is 37 a factor of j?
False
Suppose -32 = 4*a - 2*h + 5*h, -5*a + 3*h = 13. Let j(y) = -y**2 - 7*y - 4. Is j(a) a multiple of 3?
True
Let u(y) = -12*y + 5. Let t be u(4). Let i be 8/6*(4 + -5 - t). Suppose 12 - i = -4*k. Does 10 divide k?
False
Suppose -4*a + 12628 = 4*v, -12565 = 62*a - 66*a + 5*v. Does 50 divide a?
True
Let i = -84 + 88. Suppose i*j - 3*j = 21. Suppose 0 = -77*r + 78*r - j. Does 21 divide r?
True
Does 6 divide (9/(36/226))/(46/(-48) + 1)?
True
Let j(u) = 174*u - 1266. Does 9 divide j(38)?
True
Suppose 5*m - t = 552, -4*t + 540 = 5*m + t. Suppose 5*p - 25 = 0, 2*l + 4 = 3*p + 77. Let i = m - l. Does 9 divide i?
False
Let k = 19175 - 8167. Does 16 divide k?
True
Let x be (0 - 1)/(8/48) - 3. Let y(a) = 5*a + 44. Let u be y(x). Does 18 divide (u + 2 + 1 - -4)*12?
True
Suppose 0 = 2*u - 2*n - 8 - 12, 0 = -2*u - 2*n. Suppose -u*w = -4*t - 4*w - 306, t + 3*w = -83. Let h = 77 - t. Does 22 divide h?
True
Let g = 179 + 309. Is g a multiple of 122?
True
Let j = -7731 + 21047. Is 13 a factor of j?
False
Let f = -638 + 473. Is 16 a factor of (2 + f)/((-1)/2)?
False
Suppose 0 = 4*z - 6*z + 8, 0 = s - z + 64. Let l be 2008/20 + 2/(-5). Let w = l + s. Is 4 a factor of w?
True
Let j be (-44)/33*(-5 - -2). Suppose 4*w = 3*k + 2, j*k + w + 11 = -2*w. Is (-2 - (2 - 2)/k)*-22 a multiple of 30?
False
Let x = 6050 + -3575. Does 27 divide x?
False
Let p = 248 - 238. Suppose -4*l = p*l - 3150. Does 55 divide l?
False
Let m = 1529 + 1230. Is m a multiple of 31?
True
Let g = -1313 + 2406. Is g a multiple of 3?
False
Let h(y) = 84*y**3 + 9*y**2 - 69*y + 2. Does 61 divide h(6)?
True
Let p be 4 - (-2 + -1) - 9/3. Suppose p = -9*a - 5. Does 3 divide (a + 3/6*-29)*-2?
False
Is 19 a factor of 7834 + 1 - (-12974)/(-499)?
True
Let f = -230 + 1558. Suppose -6654 = -5*s - t, 0*s - s - 3*t + f = 0. Is s a multiple of 90?
False
Is 127 a factor of (0 - 3/(-12)) + 3024219/132?
False
Let s(q) = 9*q**2 - 52*q - 604. Does 6 divide s(-14)?
False
Let s = 61 + -62. Let j be (s + 16)/5 + 0. Suppose -j*q = 1 - 193. Is 14 a factor of q?
False
Let z = -5 + 36. Let p = 35 - z. Does 13 divide -9*(p + -3 + -4)?
False
Let p(w) = 39*w**2 - 36*w - 125. Is 150 a factor of p(-3)?
False
Let m(y) = -47*y - 8. Let u be m(3). Let q = u + 252. Does 9 divide q?
False
Suppose 4*p = 14*f - 13*f - 5027, -2*p = -4*f + 20024. Is f a multiple of 188?
False
Let w(h) = 2*h**3 - 22*h**2 + 20*h + 7. Let u be w(10). Is (-35 - u)/6 + 181 a multiple of 17?
False
Let i be (1*(-618)/4)/(16/64). Let u = i + 637. Is u a multiple of 19?
True
Suppose -v + 93 - 30 = 0. Let w = v + -55. Suppose y + w*g = 3*g + 36, 2*y - g = 17. Is y a multiple of 6?
False
Suppose 5*v - 4*i = -4129, -636 + 2274 = -2*v + 5*i. Let s = v + 1555. Is 22 a factor of s?
True
Suppose -24*d - 84 + 36 = 0. Is 3 - -343 - (d - 0) - 3 a multiple of 18?
False
Let b = -23