277 = 4*w + 5*j, -4*j - j - 227 = -p*w. Is 9 a factor of w?
True
Let h = 23 + -21. Let t = h + 1. Suppose -t*i - 2*z + 39 + 63 = 0, 5*i - 174 = -2*z. Is i a multiple of 6?
True
Suppose -74*s - 10725 = -79*s. Is s a multiple of 13?
True
Let o be ((-2)/(-2))/(5/25). Suppose -o*w - 2*y - 6 = 0, 0 = 2*w - 0*y + 3*y + 9. Suppose -198 = -w*j - 3*j. Does 33 divide j?
True
Suppose -16*t - 2*m + 2999 = -15*t, t = 5*m + 3013. Is t a multiple of 143?
True
Let m(u) be the second derivative of -u**3/3 + 6*u**2 - 11*u. Let h be m(0). Does 23 divide (-728)/(-32) - (-3)/h?
True
Does 47 divide (4/(-10))/(13/(-397150)*10)?
True
Suppose -w + i = -19 + 1, -3*w = 5*i - 38. Let v(k) = -k + 18. Let x be v(w). Suppose 3*g - 168 = -x*a, 2*g - 3*g + 3*a = -45. Does 18 divide g?
True
Let i = 979 - 599. Does 76 divide i?
True
Let u(n) = n**2 + 7*n + 11. Let d be u(-6). Suppose 0 = 4*f + 16, 4*k - 252 = d*f - 10*f. Is 34 a factor of k?
True
Is (-2)/4*(-1186 + -2) a multiple of 44?
False
Let s be ((-1)/(-3))/((-3)/(-54)). Let j be 1*4/s*12. Does 9 divide (-7 + j)/(2/48)?
False
Let f(j) = j**3 + 7*j**2 - 15*j - 10. Let o be f(-8). Suppose 4*r - o = 106. Is 19 a factor of r?
True
Suppose 8*r - 6*r + 50 = 0. Let h be r/(-4) + 18/(-72). Is (16/12)/(4/h) a multiple of 2?
True
Let b = 2215 + -1575. Suppose 6*c = -2*c + b. Is 8 a factor of c?
True
Let y(s) = 52*s - 20. Let q be y(14). Does 14 divide 4/(-14) - q/(-28)?
False
Let o = 21 - 18. Suppose -5*g + 283 = o*m, 0 = 5*m - 0*m + 2*g - 478. Is m a multiple of 27?
False
Let u be (36/30)/(1/5). Let q(l) = 4*l. Is 3 a factor of q(u)?
True
Let q be (149 - -4)/(-3) - 1. Is 44 a factor of (-4)/(-26) - 6856/q?
True
Suppose 4*w - 3112 = -5*q, -2506 = -11*q + 7*q + 5*w. Is 12 a factor of q?
True
Let v be -155 - 2/3*(3 + 0). Let y = v - -344. Is y a multiple of 14?
False
Let a(j) = -j**3 - 18*j**2 + 3. Let y be a(-18). Suppose 0 = y*x + 2*u - 28, 10 - 24 = -x + 4*u. Is x a multiple of 6?
False
Let y = 239 - -472. Does 48 divide y?
False
Does 11 divide 34330/80 - (-2)/(-16)?
True
Let p(n) = -n**3 + 24*n**2 + 34*n + 7. Is 14 a factor of p(25)?
False
Suppose -6 - 1 = -v. Suppose 31 = -v*k + 402. Suppose 4*l + 5 = k. Does 3 divide l?
True
Suppose -8*n + 7*n = 2*h - 307, 5*h + 4*n - 760 = 0. Does 78 divide h?
True
Let l = -83 + 104. Let p = l + 90. Is 15 a factor of p?
False
Suppose 16 = 3*m - m. Let f be 22/(-11) - (-8)/(-2). Let y = m + f. Is 2 a factor of y?
True
Let d(m) = 13*m**2 + 53*m - 16. Is d(4) a multiple of 60?
False
Suppose 0 = -x - 3*a + 1361, -4*a = -x + 413 + 913. Is x a multiple of 88?
False
Let t(h) = h**2 + 15*h + 16. Let u be t(-14). Suppose -4*s + u*d + 382 = 0, 0*d = -2*d - 2. Is 26 a factor of s?
False
Let g be (36/(-8))/((-6)/8). Suppose -g*u = 44 - 356. Is u a multiple of 4?
True
Let x(v) = -2*v + 30 + 44 + v. Let d = 1 + -1. Does 25 divide x(d)?
False
Let v(c) = 17*c + 14. Let a be v(8). Let w = a + -68. Is 14 a factor of w?
False
Let b(u) = -9*u + 31. Let s be b(-5). Let h(v) = -5*v**2 + v + 2. Let i be h(-3). Let q = i + s. Is 10 a factor of q?
True
Suppose -5*y + 1420 - 15 = -z, 0 = 3*y - 5*z - 865. Suppose 11*a = 7*a - y. Let j = a + 108. Is j a multiple of 11?
False
Does 6 divide 3/2*(-9)/(-18)*248?
True
Let q(r) = -7*r**2 - 3*r + 4. Let c be q(1). Is 21 a factor of 21/c*24/(-4)?
True
Let j be (2/((-16)/1364))/((-1)/2). Let s = j - 181. Is s a multiple of 10?
True
Suppose -2*l + 109 - 19 = 0. Suppose 5*i + 5*k - l = 0, 3*i + 2*k + 4 = 26. Suppose -3*s = i*o - 53, -3*o = o - 2*s - 58. Does 6 divide o?
False
Let r(l) = 10*l**3 + 6*l**2 - 2*l + 2. Let i(s) = -7*s**3 - 4*s**2 + s - 1. Let w(n) = -7*i(n) - 5*r(n). Let v = -8 - -4. Is 9 a factor of w(v)?
False
Let t be (-1)/(6/(-14)*(-12)/108). Let p = 56 + t. Is 35 a factor of p?
True
Does 5 divide -2*3 - (-919 + -12 + 20)?
True
Suppose 0 = 8*f - 1966 + 70. Does 3 divide -3 + f/12 + (-2)/(-8)?
False
Suppose -48*z = -45*z - 1476. Is 6 a factor of z?
True
Suppose 928 + 10072 = 25*g. Does 20 divide g?
True
Let k = 14 - 20. Let r(o) be the third derivative of -o**5/60 - 5*o**4/12 - 7*o**3/6 - 12*o**2. Does 17 divide r(k)?
True
Let n(k) = -k + 28. Is 4 a factor of n(8)?
True
Suppose -1479 - 5721 = -50*i. Does 16 divide i?
True
Let q be (-6)/(-27) + (-3520)/(-36). Suppose 27 = 5*d - q. Suppose 11 + d = 6*x. Is x even?
True
Let l = -48 - 2. Let z = l + 96. Does 19 divide z?
False
Suppose 0 = 3*l - 15 - 0. Suppose -l*b - 3*u = -806, -2*b + 3*u + 335 = -0*u. Let p = b + -91. Is 24 a factor of p?
True
Suppose -12*n + 5*w + 378 = -9*n, 2*n + 4*w - 252 = 0. Is 9 a factor of n?
True
Let a(o) be the second derivative of -5*o**3/6 + 10*o**2 - 6*o. Let l be a(17). Let h = 4 - l. Is h a multiple of 23?
True
Suppose -7 = 3*o + 8. Let u(c) be the third derivative of -c**4/24 + c**3/6 + c**2. Is 3 a factor of u(o)?
True
Let j be (12/15)/(4/50). Suppose 5 = x - j. Let g = 39 - x. Does 6 divide g?
True
Suppose 2*w + 15 = -z, 5*w + 2*z = -45 + 8. Let k(n) = n**3 + 8*n**2 + 6*n - 1. Let c be k(w). Is (-3)/c*-46 + -2 a multiple of 15?
False
Suppose 0 = 9*q + 17*q - 8502. Is q a multiple of 52?
False
Suppose 4*h + 4*w + 0*w = 28, -3*w = -15. Suppose -11 + 107 = h*b. Does 12 divide b?
True
Is ((-6)/(-7))/(62/13454) a multiple of 31?
True
Let q be -3*(-1)/(9/12). Suppose -2*y = -3*i + 134, q*i - 2*y - 179 = y. Does 44 divide i?
True
Let m = -98 - -103. Suppose -m*t + 72 = -198. Does 18 divide t?
True
Let m = -1842 + 3192. Suppose 0 = 4*v - 5*w - 1446, -4*v + m = 4*w - 114. Is 60 a factor of v?
False
Let l = -2317 + 4149. Is l a multiple of 81?
False
Let w be 6/(-4)*(-116)/6. Let t be (6/1)/((-6)/(-4)). Suppose -w = -t*q + 7. Is q a multiple of 3?
True
Let p(a) be the first derivative of a**5/20 - a**4/6 + a**3/2 + a**2/2 - 6*a - 2. Let v(i) be the first derivative of p(i). Is 6 a factor of v(3)?
False
Let s(v) = 5*v + 25. Is s(6) a multiple of 9?
False
Suppose -4*j = -2*j - 260. Suppose 4*x + j = 2*v, -2*v + 3*x = 7*x - 170. Suppose d + 0*d - v = -2*f, 109 = 3*f + 5*d. Does 19 divide f?
True
Does 44 divide 1146 + (12 + -2 - 4 - 8)?
True
Suppose -3*a = -1 - 5. Suppose -4*l - 4*m = 0, 2*l - 7*m - 14 = -a*m. Suppose 3*n = -l*n + 40. Does 3 divide n?
False
Suppose -47*a + 4*m = -42*a - 7152, m - 5709 = -4*a. Is 68 a factor of a?
True
Suppose -3*x - 9613 = -4*u, -6*x + x = -5*u + 12010. Does 30 divide u?
False
Suppose o = 2*o + 1. Let u = o - -4. Suppose -u*b + 2*m = -5*b + 22, -2*b + 3*m = -27. Is 9 a factor of b?
False
Let q = 396 - 360. Is 18 a factor of q?
True
Let x = -209 + 309. Suppose 10*s - 5*s = x. Is 17 a factor of (-174)/(-10) + (-8)/s?
True
Suppose 288 = 4*v + 36. Suppose 3*z = k - v, -2*k + 9*z + 116 = 13*z. Is 10 a factor of k?
True
Let o(u) = 18*u**2 + u - 2. Let q = 12 + -15. Let k be 3/2*(-2)/q. Is 6 a factor of o(k)?
False
Let d(p) = -378*p + 149. Does 26 divide d(-5)?
False
Suppose 15 = 2*u - 5*p, 2*u + 5*p + 15 = -0*p. Suppose 0 = -5*m - u*m + 380. Does 20 divide m?
False
Suppose -696 = 7*i - 15*i. Does 13 divide i?
False
Let d(b) = -24*b + 46. Does 12 divide d(-38)?
False
Let o = 449 + 110. Is 54 a factor of o?
False
Let u(w) = -4*w - 9. Let t be u(9). Does 6 divide 3*10/t - 220/(-6)?
True
Suppose 27 - 77 = -5*b. Suppose -b*t + 1100 = -6*t. Suppose 5*d - t = -5*h, 4*h + 3*d = -0*h + 216. Is h a multiple of 14?
False
Let p(l) be the third derivative of 2*l**5/15 - l**4/12 + l**3 - 5*l**2. Let t be p(6). Let u = -198 + t. Does 27 divide u?
False
Suppose -3*b - 12 = 0, -3*q + b = -6 - 2242. Is 3 a factor of q?
False
Let u be (-1)/(1/8)*17/(-34). Let k(h) = 3*h**3 - 7*h**2 + 24. Does 22 divide k(u)?
False
Suppose -25 + 6 = -3*t + 4*u, -t - 15 = 4*u. Is (12/9)/(t/228*2) a multiple of 31?
False
Let t(g) be the third derivative of -g**6/360 + 7*g**4/3 + 2*g**3/3 + 2*g**2. Let r(u) be the first derivative of t(u). Is r(0) a multiple of 27?
False
Let n be (-100)/(-5)*2 - -1. Suppose n = 3*a - 67. Does 9 divide a?
True
Let o be 3/(4/((-48)/(-9))). Suppose 289 - 1049 = -o*y. Is y a multiple of 19?
True
Suppose 11*s = 1451 + 925. Is 12 a factor of s?
True
Suppose -51 = -3*z + 4*s + 133, -5*s - 20 = 0. Suppose 3*v + 2*w - z = -v, 3*v + 5*w = 35. Let t = 20 - v. Is 2 a factor of t?
False
Let c = 14 - 10. Suppose -3*b = -3*d + 36, 2*b - 5*b + 48 = c*d. Is d a multiple of 12?
True
Let k b