- (-6)/1?
True
Suppose -9 = -3*p + 6*p, 0 = 5*b + 2*p - 1429. Let s = -581 + b. Is 28 a factor of s/4*(-8)/12?
False
Let w = -51 + 83. Let o = w - 5. Is 9 a factor of o?
True
Let s be 12/(-15)*(-70)/4. Suppose 4*b = 2*z - z + s, 13 = -2*z + 5*b. Suppose 27 = z*r - 3*r. Does 5 divide r?
False
Let p(l) = 2*l**2 + 13*l - 89. Does 40 divide p(-21)?
True
Suppose -4*n + 648 = -n. Suppose 4*h = 2*h + n. Is h a multiple of 27?
True
Let j(y) = -17*y - 5. Suppose 53 = -4*f + 37. Is 9 a factor of j(f)?
True
Suppose -33 = 2*a - 97. Suppose 2*t = -3*j - 2*t + a, -4 = -2*t. Is 8 a factor of j?
True
Let y(r) = -r**2 + 6*r + 8. Let b be y(6). Let u(c) = 110*c**2 - 7*c + 108*c**2 - 217*c**2. Is u(b) a multiple of 6?
False
Let g be 8/(-2)*(9 + 1). Does 11 divide (4 + 4 + g/6)*33?
True
Suppose 1 - 6 = -l. Is 2 a factor of (14*l/25)/((-6)/(-15))?
False
Suppose 5*o + 32 = -i - 0*i, 0 = -2*i - 4*o - 40. Suppose 0 = -2*r + 3*t + 95, 3*r + r - 2*t = 186. Is r/1 + i/3 a multiple of 23?
False
Let k be (-2)/(-4) - (-133)/(-2). Let l = k + 88. Is l a multiple of 10?
False
Suppose -r = f - 266, 51*r - 5*f = 52*r - 250. Is 47 a factor of r?
False
Suppose 5*n = -4*m + 2420, m - 2396 = -3*m + n. Let l = m + -396. Suppose 0 = 2*r + 6, -l = -v - 2*v + 5*r. Is 13 a factor of v?
False
Let f = -2285 + 3888. Is f a multiple of 74?
False
Let f(h) = -h**3 + 9*h**2 + 21*h + 11. Let c be f(11). Suppose 2*y - 139 - 17 = c. Does 39 divide y?
True
Suppose -72 = -2*a - p + 181, p = -3*a + 377. Is 5 a factor of a?
False
Let w(i) = 57*i**2 - 36*i - 133. Is 85 a factor of w(-5)?
False
Suppose 0 = -3*x + 23 - 8. Suppose -6*z + 3*z - 12 = 0, 12 = 5*b + 2*z. Let f = x + b. Does 6 divide f?
False
Let u(z) = -3*z**2 + 35*z + 22. Does 6 divide u(5)?
False
Let b = -18 + 33. Suppose 17 = r - b. Does 8 divide r?
True
Suppose -3*l = l - 16. Let t(u) = -6*u**2 + u**2 + 4 + 4*u**2 + 2*u**2 - l*u. Is t(4) even?
True
Let x(z) = 12*z + 4. Does 20 divide x(3)?
True
Let u = 37 - 40. Let l(m) = -30*m - 29. Does 6 divide l(u)?
False
Let u(m) be the first derivative of -m**3/3 - 3*m**2/2 + 9*m - 11. Let t(c) = c**2 + 3*c - 10. Let j(a) = -3*t(a) - 4*u(a). Is 15 a factor of j(4)?
False
Suppose 5*b - 24 + 9 = 0. Suppose -b*j + 12 = -90. Is -4 + 0 + j + 4 a multiple of 7?
False
Let b(d) = -d**3 + d**2 - 2*d + 13. Let k be b(6). Let h = k + 343. Does 16 divide h?
False
Does 46 divide 18976/48 - (4/(-3))/2?
False
Let k(f) = f**3 + 7*f**2 - 2*f - 5. Let l(m) = -2*m + 3. Let i be l(5). Let y be k(i). Suppose 2*r - 95 = y. Is 11 a factor of r?
False
Suppose -x + 6 - 1 = 0, 2*p - 5*x = 2279. Does 29 divide p?
False
Let o(j) = j**2 - j + 107. Let x be o(0). Let v = 161 - x. Is 18 a factor of v?
True
Let r(t) = 7 + 29*t - 4 - 1. Does 22 divide r(1)?
False
Is 47 a factor of 67/(465/(-5704) - (-2)/16)?
False
Suppose 7*a = 1629 + 296. Does 25 divide a?
True
Let v be (-176 - -1 - -6)/(-1*1). Suppose -5*c + 649 - v = 0. Does 7 divide c?
False
Suppose -w - 4 = 0, 0 = s - 0*w - 4*w - 106. Suppose -5*x + s = -90. Suppose l - 4*t - x = -0*t, 3*l + 5*t - 23 = 0. Is l a multiple of 6?
False
Let f(q) = 3*q**3. Let k be f(1). Suppose -4 = -t - 1. Suppose -5*m - t*g = -110, -29 = -k*m + g + 23. Is 14 a factor of m?
False
Is 40 a factor of (1/(-2))/(2*(-4)/4000)?
False
Suppose 14 = -3*v - j, -v + 2*j - 12 = 3*v. Let a be 2/(v/10)*-1. Suppose -2*z - 256 = -a*f, f + 4*z - 44 = 8*z. Does 8 divide f?
False
Let y(r) = r**3 - 41*r**2 - 29*r - 50. Is 27 a factor of y(44)?
True
Suppose 0*j + 2*j + w - 243 = 0, -3*j + 372 = -w. Let t = 181 - j. Suppose -5*g + t = -4*f, g = 5*g + 3*f - 34. Does 3 divide g?
False
Let k(t) = 120*t**3 + 12*t. Does 126 divide k(3)?
True
Let h(w) = -w**2 + 15*w + 2. Let f be h(14). Let m(x) = -2*x + x + 855 - 823. Is m(f) a multiple of 16?
True
Let l(h) = h**3 - 8*h**2 - 5*h + 2. Is 4 a factor of l(9)?
False
Let f = -634 - -1041. Is 55 a factor of f?
False
Is 3*3/(-45) - (-106776)/30 a multiple of 63?
False
Suppose 3 = u, x + 3*x - 5*u = -3. Let z be (7 + 0)*(-48)/(-28). Is (-27)/z*(-16)/x a multiple of 12?
True
Let o = -214 + 809. Is 17 a factor of o?
True
Let q(y) = -30*y + 1. Let c be q(-1). Suppose -2*d + 4*k + 29 = 1, c = 2*d - k. Is 8 a factor of d?
True
Suppose 3*l - 5*l = -14. Suppose 0*n = 4*n + 20. Let g = l - n. Is 12 a factor of g?
True
Suppose 0*c + 48 = 3*c. Let p be (c/(-12))/(4/(-6)). Does 10 divide 25 - (-4 + p - 0)?
False
Let d = -685 - -1833. Is d a multiple of 28?
True
Is 17 a factor of (2292/(-16))/(-3*(-4)/(-16))?
False
Let b(l) = -99*l + 213. Is 57 a factor of b(-18)?
True
Let z be 8580/80 - 1/4. Suppose 4 = -j, 5*u + 2*j - 50 = z. Does 6 divide u?
False
Suppose -4*w + 3*i + 10 = 0, -2*i - 6 = -w - 3*i. Suppose q + w*q = 140. Is 9 a factor of q?
False
Let a(n) = 39*n + 2. Let w(c) = -117*c - 6. Let u(d) = 11*a(d) + 4*w(d). Is 20 a factor of u(-1)?
False
Let b be (-54)/(-4)*64/48. Let l = 46 - b. Is l a multiple of 28?
True
Let v(y) = -y**3 - 9*y**2 + 5. Let p be v(-9). Suppose 0*l - p*l - 30 = 0. Let x = 11 + l. Is 5 a factor of x?
True
Let c = 120 + -60. Is 4 a factor of ((-105)/c)/(2/(-16))?
False
Let w = -37 + 53. Suppose -5*y - h = -21, -6*h = -5*y - 2*h + w. Suppose -y*o - 4*v + 60 = 0, -2*v - v = -4*o + 46. Is o a multiple of 4?
False
Suppose 4*m - 5*k + 172 = 52, 0 = 4*m + 5*k + 80. Suppose -9*t - 4*o - 5 = -10*t, 0 = -3*t + 4*o - 1. Let z = t - m. Is 22 a factor of z?
True
Let w be -2 + 5 + (0 - 3). Let h = w - 0. Suppose h = -2*b - 8, -2*v = -4*b - 12 - 68. Is v a multiple of 16?
True
Suppose 0*t = -4*t - 2*h - 52, -3*h = -3*t - 30. Let l = 12 + -13. Does 10 divide l/4 - 363/t?
True
Let o(d) = -d. Let t(h) = -3*h - 2. Let q(z) = -4*o(z) + t(z). Let s be q(7). Suppose -s*l - m = -56, -2*l - m + 18 = -5*m. Is l a multiple of 4?
False
Suppose -3*v + 5 = -2*v. Suppose v*y - 50 = -5*k, 5*k - 45 = -0*k - 4*y. Suppose -3*o + o = k*n + 19, 2*n - 2 = -4*o. Does 2 divide o?
False
Let h = 37 - 33. Is 68 + -4*(-3 + h) a multiple of 16?
True
Suppose 0 = 13*h - 46*h + 3201. Is 20 a factor of h?
False
Suppose -o = -15*o + 4732. Does 26 divide o?
True
Let p(j) = -20*j - 11. Is p(-7) a multiple of 12?
False
Suppose 0 = 2*y - 2*s, 2*y + s = -4 + 19. Suppose k + k = -4, -m + y*k + 80 = 0. Is m a multiple of 14?
True
Suppose -5*v + 20 = -3*k, 12 = 5*k - 0*v + 3*v. Suppose -5*t = -2*c + 5*c, 5*c = -4*t. Suppose c*h + 3*x + 64 = 2*h, -5*x = k. Does 16 divide h?
True
Let h = 21 - 41. Let p = h - -21. Is 39/(((-1)/(-1))/p) a multiple of 13?
True
Let u = 7 - 2. Let p = 12 + -18. Is p/(-2) + (u - -2) a multiple of 4?
False
Suppose -3*b + 3 + 9 = 0. Let u(a) = 15*a - 26. Is u(b) a multiple of 17?
True
Let u = -1532 + 3063. Does 78 divide u?
False
Let b = -432 - -782. Is b a multiple of 25?
True
Let f = -2 + 2. Suppose -2*i = 5*u - 30, i - 28 = -f*u + 4*u. Is 4 a factor of i?
True
Let w(j) = 15*j + 29. Let r be w(6). Is (-68)/r - 246/(-14) a multiple of 17?
True
Let g(h) = -h**3 + 56*h**2 - 117*h - 77. Is g(53) a multiple of 40?
False
Let z be 4/(-8)*(-1 + 0 + 1). Is 20 a factor of (3 + z + -1)*85?
False
Suppose -6 = 3*b - 0, -438 = -4*c - 5*b. Is c a multiple of 6?
False
Is (-755 + -44)*-1*(0 - -1) a multiple of 16?
False
Let p(v) be the third derivative of 5*v**4/12 + 2*v**3 - 7*v**2. Is p(2) a multiple of 12?
False
Let l = 7 - 5. Let v(t) = -722 + 723 - 3*t**2 + 8*t**2. Is 21 a factor of v(l)?
True
Let m(s) = 10*s**2 + 14*s + 59. Is m(-11) a multiple of 85?
False
Let r be 3 + -337 + (-3 - -7). Let v = r - -619. Is 17 a factor of v?
True
Let a(p) = p**3 + p**2 - 3*p - 4. Let v be a(0). Is 1 + (-9 - v) + 148 a multiple of 24?
True
Suppose 2*i = -6*i - 16. Is (38 - 2)*i/(-4) a multiple of 4?
False
Is 25 a factor of 1031/1 - (3 + -8)?
False
Let b = 2209 - 1540. Is 5 a factor of b?
False
Suppose 0*s + 112 = 4*r + 4*s, 2*s - 6 = 0. Let i = r + -23. Let l = i - -21. Is l a multiple of 9?
False
Let q = 2177 - 1009. Is 8 a factor of q?
True
Let u(a) = -9*a + 151. Is 4 a factor of u(-18)?
False
Let q(w) be the second derivative of w**4/12 - w**3/3 + w**2/2 + 18*w. Let h be 79/11 + 8/(-44). Is q(h) a multiple of 10?
False
Let b be -152*(-2)/4 + -1. Suppose 4*o = 3*c + o - b, -3*c + o = -71. Is c a multiple of 3?
False
Let d(f) = f**3 - 5*f**2 - 5*f - 4. Let p be (-6)/9 - (-60)/9. Let g be d(p). Suppose 64 = g*y + 2*y