se
Let t be 48 - 2/2*-4. Let l = -49 + t. Let w = l - -15. Is 16 a factor of w?
False
Let f be 0 + 548 + (3 - (-7 - -11)). Suppose 9*v - f = 1397. Is v a multiple of 54?
True
Let n = -42 - -46. Suppose -3*d + 30 = -3*h, -n*h + 56 = 4*d - 0*h. Suppose 0 = d*k - 1257 + 261. Does 14 divide k?
False
Is 7 a factor of (-323578)/(-8) + (-43)/(6020/175)?
True
Let y be ((-3)/(-6) - 1)*-4. Suppose -3*t + 5*z + 299 = -y*t, 0 = -t + z + 303. Is t a multiple of 38?
True
Let m = 59970 - 38200. Is 35 a factor of m?
True
Let s(c) = -2439*c + 4137. Is s(-7) a multiple of 165?
False
Is -9 + ((-828890)/(-50) - 1/(-5)) a multiple of 15?
False
Let g be -1*((-48)/(-4) + 3). Let d = -96 + 76. Does 5 divide (-1698)/g + 4/d?
False
Let w = 424 - 409. Suppose a - w = -g - 1, 5*g = 4*a + 25. Does 2 divide g?
False
Let r be -3 - (-7)/(28/12). Let l(u) = u**3 - u**2 + u + 56. Let j be l(r). Suppose -11 = 5*g - j. Is g a multiple of 3?
True
Let y(a) be the second derivative of 0 - 17/3*a**3 + 29/2*a**2 + 22*a. Is 41 a factor of y(-10)?
True
Let d be -3*2/(-4)*24/(-12). Let y be -1*((-21)/3 + 7 + d). Suppose y = 3*j, 0 = -2*u + j + 3*j + 332. Does 7 divide u?
True
Suppose -3*k = 3*d, -5 = k + 2*d - 2. Suppose -33 = 5*y + 6*i - 2*i, k*y + 17 = -i. Let r = 22 - y. Does 9 divide r?
True
Suppose 2*s + 3*x = 31 + 17, -2*x = -4*s + 64. Suppose 2*y = 186 - s. Suppose y = 3*w - 2*w. Does 14 divide w?
True
Let m = -245 - -251. Suppose 225 = -m*y + 2025. Does 20 divide y?
True
Suppose -1938 = 11*j + 6*j. Is 49 a factor of 2 - 4/3 - 78926/j?
False
Let h = -5 + 7. Let x be (-1 - -6)*664/8. Suppose 0 = h*n + 3*n - x. Does 23 divide n?
False
Is 23 a factor of 6*(-154)/84 - -4105?
True
Suppose -12*g = -19*g + 315. Is g/(-4)*(-112)/21 a multiple of 10?
True
Suppose -74*b = -73*b - 3. Let i(c) = c**3 - 7 + c**3 - 13*c**b + 5*c**3 + 3*c**2. Is 12 a factor of i(-3)?
False
Let x = -9303 - -14005. Is x a multiple of 45?
False
Let g(o) = 4*o**2 + 5*o + 33. Let j be g(-13). Is (-4)/(-1) - j/(-28) a multiple of 9?
True
Let p(r) = -r - 11. Let x be p(-5). Is 40 a factor of (x + 2)*-3*(-7615)/(-60)?
False
Let c(a) be the second derivative of -a**4/12 + 2*a**3/3 + 24*a**2 + 2*a + 3. Does 2 divide c(-5)?
False
Suppose 0 = -3*z - 3*l + 12, -4*l + 6 = -4*z - 2. Is 43 a factor of (z - 2)*2730/(-13)?
False
Suppose 0 = -2*d + 5 - 3. Suppose 12*u + d = 11*u. Is 33 a factor of (-1338)/(-18) - u/(-3)?
False
Suppose 5*c = -274 + 224. Does 5 divide (-1090)/(-1)*(8 - 13)/c?
True
Let k be (-159)/(-39) + (-7)/91. Suppose 2*t = -k*n + 778, 0 = 35*n - 30*n + 5*t - 970. Does 15 divide n?
True
Let z = 61 - 65. Let h be ((-1)/(-2))/((z/1688)/(-1)). Suppose 0 = c - 2*v - h, -3*c + 2*v + 366 = -279. Does 32 divide c?
False
Let h be (-90220)/(-30) - 5*(-3)/9. Let j = h - 2064. Does 15 divide j?
True
Let d be -1 + 9 + (-39 - -35). Is 65 a factor of (-2)/4 + 262/d?
True
Let a(v) = 2*v**3 - 4*v + 2. Let n be a(3). Suppose -4*k - 2*y + 24 = -k, 5*k + 2*y - n = 0. Suppose -24 = k*s - 11*s. Is 4 a factor of s?
True
Let m = -127 - -121. Does 6 divide -523*12/(-18)*m/(-4)?
False
Suppose r - 3*s - 52 = -r, s = r - 28. Does 23 divide 48/r - 1878/(-8)*2?
False
Let r be (-20)/15*(-3)/2. Suppose -m = 4*w - r + 38, -w = 1. Let u = m + 43. Does 9 divide u?
False
Suppose -5*s - 5 + 0 = 3*a, 3*a + 4 = -4*s. Let u be (-9 + s)*(-22)/1. Let w = 379 - u. Is 25 a factor of w?
False
Is (-238 + 248)/((-103)/(-101) + -1) a multiple of 5?
True
Suppose 4*i = 4, 3*v - 810*i = -813*i + 29895. Is 87 a factor of v?
False
Suppose -7*g - g = -72. Let v be 29/9 + (-2)/g. Suppose r = -j + v*j - 198, -4*r - 302 = -3*j. Is j a multiple of 14?
True
Let t be (4/8)/((-4)/(-752)). Let k = t - 141. Let c = 42 - k. Does 16 divide c?
False
Suppose 0 = -4*c - 20 + 184. Let s = c - 39. Suppose 2*z = s*x - 464, -3*x - 3*z + 900 = x. Is x a multiple of 12?
True
Let c = 625 + -1243. Let u = c - -1164. Is u a multiple of 42?
True
Is (-11)/((-1320)/2885744) + 5/225*6 a multiple of 167?
True
Suppose 2*i = i + 2. Let b be i + (-6)/(24/364). Let w = b + 154. Is 13 a factor of w?
True
Let n(i) = 255*i**3 - 3*i - 2. Let h be n(-1). Let a = h + 276. Is 22 a factor of a?
True
Let o = -11001 + 14619. Is o a multiple of 9?
True
Let y be 4633 + 7/(-7) + 0 + 1. Suppose -5*h + y = -2622. Suppose q - 391 = -2*k, k = -3*q + h - 298. Is q a multiple of 39?
False
Suppose -8*z + 7*z = -2. Let n be (-6 - 0/(-1))/(-1) - z. Suppose 2*p - n*a - 6 = 12, 0 = 4*p + a - 81. Is 12 a factor of p?
False
Suppose -50821 = -2*t + 7996 + 2707. Is t a multiple of 19?
False
Let d be (3 + 6)*(-8)/(-36). Suppose 3*t = -d*t + 10. Is 8 a factor of 5*(-1)/t*480/(-75)?
True
Is 43006291/779 - (-28)/(-574) a multiple of 25?
False
Suppose 0 = 31*m - 13*m - 39132. Suppose -m = -27*o + 4441. Is o a multiple of 73?
False
Suppose 371*h - 7381 = 370*h + 2*p, -5*p + 22165 = 3*h. Is h a multiple of 10?
False
Let p = -37540 - -41896. Is p a multiple of 12?
True
Let m be 3/78*126 + 2/13. Suppose -m*v + h = -4315 - 1985, 3778 = 3*v - h. Is v a multiple of 97?
True
Does 26 divide (-40705)/(-4) - 550/440?
False
Let g = -356 - -1319. Let l be (2 + 3)*(g/15)/3. Let i = 200 - l. Is i a multiple of 6?
False
Suppose 410688 = 21447*m - 21424*m. Is m a multiple of 32?
True
Let y = -18 - -18. Suppose 0 = -3*a - p + 386, y = 4*a + 4*p + 290 - 810. Does 12 divide a?
False
Let n = -531 - -441. Let h = 17 + -57. Let u = h - n. Is 10 a factor of u?
True
Suppose 13*n = -n + 588. Does 55 divide (-186)/(9/15 - n/20)?
False
Suppose -73*z = -2*m - 75*z + 24380, 0 = -5*z - 35. Is m a multiple of 11?
False
Suppose -824*v + 827*v = 15309. Is 189 a factor of v?
True
Let f be 30/195 + (-2)/13. Suppose -15*i = -f*i - 6375. Is i a multiple of 28?
False
Suppose u - 7807 = -5*f, -16*u + 13*u - 4*f + 23432 = 0. Is u a multiple of 93?
True
Let m = 1745 + -1700. Is 16 a factor of m?
False
Let n be 2*3/(-6)*6. Let j(o) = 7*o**2 - o - 5. Does 20 divide j(n)?
False
Let c = -351 + 1427. Let x = c + -563. Is 57 a factor of x?
True
Suppose 3*v = -4*p + 1701, v - 716 = p - 135. Is 6 a factor of v?
False
Let c(u) = u - 23. Let k be c(26). Suppose -562 - 101 = -k*d. Is d a multiple of 13?
True
Let b be 6/(-36)*-3*514*1. Let p = b + 7. Is 24 a factor of p?
True
Let j = 6610 - 3842. Is j a multiple of 16?
True
Let h = 4876 + 3617. Does 6 divide h?
False
Let t be 9/(-27)*(-2)/(8/(-300)). Is 23 a factor of 138 - 5/t*0?
True
Is (4 - -3235) + (0 - -8) + 1 a multiple of 28?
True
Suppose 4*g = -510 + 1530. Is g/6*-2*(-12)/5 a multiple of 68?
True
Let p = 295 + -190. Suppose -39 - p = -8*c. Is c a multiple of 3?
True
Let i(n) = 25*n**2 + 38*n**2 - 56*n**2 - 13 - 76*n. Is 15 a factor of i(14)?
False
Let s(j) = -72*j + 35 + 34*j + 35*j. Does 7 divide s(-21)?
True
Suppose 65 = 9*j + 4*j. Suppose -j*n - h = -489, -25*n - h = -24*n - 97. Is 10 a factor of n?
False
Suppose 578 + 86 = 8*v. Suppose 2*n - 2*a - 38 = 0, 0 = -3*n - a + 9 + 48. Let m = v - n. Is 5 a factor of m?
False
Let x(y) = 3*y**2 + 20*y - 40. Let z be x(-18). Suppose -47 + z = 3*o. Is o a multiple of 9?
False
Suppose 0 = -r + h + 5397, 15 = 545*h - 540*h. Is r a multiple of 45?
True
Let n(y) = -430*y + 787. Does 10 divide n(-15)?
False
Let n(g) = 291*g + 4763. Does 4 divide n(20)?
False
Let f(u) = -104*u - 153. Let x be f(-6). Let a = 761 - x. Does 17 divide a?
False
Let q = -14774 - -15076. Does 12 divide q?
False
Let v(q) = q**3 - 21*q**2 - 32*q - 84. Is v(30) a multiple of 126?
True
Let b = -170 + 164. Is 64 a factor of (-765)/b + 16/32?
True
Is ((-2415)/525)/(-1 - 154/(-155)) a multiple of 9?
False
Suppose -43*p - 619 + 1952 = 0. Suppose 0*f = -3*f - 6, w = 2*f + p. Does 3 divide w?
True
Suppose 3*d + 3*s = 70806, -3*d + 108766 = -2*s + 38000. Is 94 a factor of d?
True
Suppose -m + 5*x = -185, -2*x + 504 = -3*m + 6*m. Is 4 a factor of m?
False
Let r(p) = 903*p**3 - 44*p**2 + 134*p + 15. Is 98 a factor of r(3)?
True
Let t(h) = h**3 + 67*h**2 - 690*h - 89. Does 15 divide t(-74)?
False
Let z(n) = -n**3 - 6*n**2 - 4*n + 7. Let k be z(-5). Suppose -4*u - k*h = -326, -1 = 2*u + 4*h - 155. Is u a multiple of 8?
False
Let k(u) be the third derivative of 0 - 4/3*u**3 - 9*u**2 + 0*u + 3/8*u**4. Is 9 a factor of k(11)?
False
Let q = 49546 - 15916. Is 190 a factor of q?
True
Suppose 402 = 3*x - 4*p - 1408, 0 = 3*x -