/4 - -2). Does 6 divide 3/(v - 74/(-18))?
False
Suppose 5 = 5*k - 225. Let m = -24 + k. Suppose 2 = -2*v + m. Is v a multiple of 10?
True
Suppose -2*n - 5*i + 57 = 0, 10*i = -3*n + 5*i + 78. Does 4 divide (-455)/n*6/(-2)?
False
Is (1 - 1) + 30 + -33 - -179 a multiple of 11?
True
Suppose 0 = -7*d - 114 + 541. Suppose -2*f + 178 = 4*g - g, -g + d = -f. Is 6 a factor of g?
True
Suppose -5 - 4 = -3*g. Suppose -5*p = g*d - 133, -d - 6*p = -2*p - 49. Does 11 divide d?
False
Suppose -2*n + 5 = 11, -2*o = 4*n - 1198. Is 29 a factor of o?
False
Let y(q) = -q**3 + 19*q**2 + 42*q - 27. Let h be y(19). Suppose 4*x + 3*k - h = 0, -3*k + 213 = 2*x - 180. Is x a multiple of 21?
True
Suppose 5*u = -3*j - 14, 5*u + 14 = -4*j + 2. Suppose 0 = -5*q - 4*h + 367, 2*q - 6*q = -j*h - 304. Is 15 a factor of q?
True
Let p(z) = -z + 4. Let u be p(3). Let v be ((-10)/5)/(u + -2). Suppose -v*k = -4*k + 32. Does 8 divide k?
True
Is 46 a factor of (-4 + 2)*(5 + (-762)/4)?
False
Suppose -31 = 2*k - 79. Let q = k - 14. Is q a multiple of 3?
False
Let l = 431 - -1321. Does 12 divide l?
True
Let w = 771 - 497. Is 35 a factor of w?
False
Let r = -1122 + 1822. Is 28 a factor of r?
True
Let t(m) = -2*m**3 + 26*m**2 + 36*m + 30. Is 17 a factor of t(-9)?
False
Let t(z) = 3*z**3 + 23*z - 2*z**3 + z**3 - 3*z**3 + 3 - 10*z**2. Does 5 divide t(-12)?
True
Suppose n = -5*m - 12, 3*m + 5 = -4. Let f be (-2 + n)*(0 + 11). Does 29 divide (4 - f)*(-108)/14?
False
Let h be -1 + 0 - (-5 - -1). Does 5 divide 1/1*((4 - h) + 18)?
False
Does 23 divide (-128)/12*(-5 + -31)?
False
Suppose -a = 4*h + 67 - 512, -h + 106 = 2*a. Does 7 divide h?
True
Let c = 72 + 203. Is c a multiple of 18?
False
Let c = -115 + 304. Does 21 divide c?
True
Let h(c) = c**3 - 5*c**2 - c + 4. Let f be h(5). Let s(b) = b + 1. Let k(a) = 8*a + 9. Let u(d) = f*k(d) + 6*s(d). Is u(-12) a multiple of 10?
False
Suppose -5*v + 0*v - 3*m + 19 = 0, v - 4*m = 13. Let x be -1 - -681*8/12. Suppose v*s - x = 137. Is s a multiple of 31?
False
Suppose -225 = -s + 6*s. Let f = 96 + s. Let p = f - 23. Is p a multiple of 7?
True
Suppose -3*i - 2 + 5 = 0. Does 17 divide -2 + 2 - -83*(0 + i)?
False
Let z(q) = 3*q**3 - 30*q**2 - 43*q + 21. Does 4 divide z(12)?
False
Suppose 5*b - 1 = 4, 4*h = b + 2067. Is h a multiple of 47?
True
Is 50 a factor of 975/2*72/27?
True
Let i = 64 - -116. Is i a multiple of 4?
True
Suppose 0 = -7*z + 693 + 651. Does 12 divide z?
True
Let w(c) = 66*c - 4. Let q be w(2). Let z = 258 - q. Is z a multiple of 5?
True
Let f(k) = k**2 - 2*k + 2. Let c be f(2). Does 2 divide 8/c - (-2 - -3)?
False
Suppose z - 3145 = -u, -8*u + 11*u = -5*z + 15719. Is 53 a factor of z?
False
Let d(g) = 7*g + 2. Let h be d(1). Suppose -4*c - 2*k = -10, 0 = 5*c - 2*k + 1 + h. Suppose t + c*f - 19 = -f, -t + 25 = 3*f. Is 3 a factor of t?
False
Suppose -3*o + 2195 = 2*g, -5*g + 22*o - 24*o + 5482 = 0. Does 4 divide g?
True
Let j = -252 + 315. Does 7 divide j?
True
Let w = 756 - 422. Is w a multiple of 16?
False
Is 9 a factor of 7238/8 + (-3)/4?
False
Let w(i) = -i**3 - 6*i**2 + 7*i + 3. Let y be w(-7). Suppose -y*f + 5*f - 72 = 0. Is 14 a factor of f?
False
Let d(z) = -207*z**3 - 2*z**2 + z + 1. Does 61 divide d(-2)?
True
Let n(o) = 3*o**3 + 7*o**2 - 11*o + 9. Is 4 a factor of n(4)?
False
Let p be 0*1/(-5) + -1. Let y be ((-9)/6)/(p/2). Is 6/(y/(-1)) - -39 a multiple of 10?
False
Let r(t) = 3*t**2 - t - 11. Let f be r(-8). Suppose -5*q + 351 = -f. Does 36 divide q?
True
Suppose a - 4*h = 385, -9*h - 1976 = -5*a - 6*h. Does 48 divide a?
False
Let v = 127 - 72. Let r = v + -7. Is r a multiple of 6?
True
Is 35 a factor of 24534/78 - 36/(-78)?
True
Let r(i) = 63*i - 385. Does 4 divide r(7)?
True
Suppose 29*d = 46*d - 3485. Is 5 a factor of d?
True
Is 15 a factor of (-36)/(-5)*((-1548)/(-24) - 2)?
True
Suppose -6*g = -5*g + 2*u - 88, -5*u = g - 97. Does 6 divide g?
False
Suppose 5*i + 2 = -8. Suppose -4*m - 2*f = -8, -5*f = 5*m - 0*f - 10. Does 4 divide 17/m - (-1)/i?
True
Suppose -19 = 4*c - 3, c + 6308 = 4*h. Does 34 divide h?
False
Suppose 5*d = 416 + 839. Let g = d - 167. Suppose g = 2*r + r. Does 9 divide r?
False
Let x = 7 + -8. Let w be x/(2/(-54)) - 1. Suppose 0 = -4*l + 5*f + 88, 2*f - w = 3*l - 92. Does 11 divide l?
True
Let l(n) be the second derivative of -n**4/12 - n**3/6 + 7*n**2/2 - 4*n. Let g be l(-7). Let x = g + 62. Does 9 divide x?
True
Suppose m + 195 = -99. Let q be (18/(-4))/(21/280*2). Is m/(-10) - 18/q a multiple of 10?
True
Is 10 a factor of (-64)/(-80) + 592/10?
True
Let m be 6/27 - (-114)/(-27). Let x be ((-45)/(-18))/((-2)/m). Suppose -x*o = -29 - 51. Does 11 divide o?
False
Let c = -7 + 219. Suppose 5*l = 108 + c. Suppose l = -0*q + 2*q. Does 8 divide q?
True
Does 5 divide 15 + (-45)/(-18)*-4?
True
Suppose 0 = -2*i + 4*x + 3676, 259*x - 8 = 263*x. Is i a multiple of 26?
False
Let b = 52 - -90. Is b a multiple of 5?
False
Does 10 divide (-2 + -1)*1902/(-18)?
False
Let w be (0 - 395)*(-2)/(-2). Let k = -222 - w. Suppose 2*l - k = -2*l + 5*s, 0 = -5*l + 3*s + 213. Does 30 divide l?
False
Let o be (-4)/(-14) + (-111)/21. Is (-402)/(-4) - 2 - o/10 a multiple of 9?
True
Let c(f) = -3*f**2 - 6*f - 2. Let l(n) be the third derivative of -n**5/20 - 7*n**4/24 - n**3/3 - 5*n**2. Let t(p) = -6*c(p) + 5*l(p). Does 23 divide t(-4)?
True
Suppose -a + 19 = 3*x, -3*a - 13 = -8*x + 3*x. Suppose -x*o + 41 = -5*d + 151, 2*d + 5*o = 58. Is d/60 - (-66)/10 even?
False
Suppose 4*a + 4*z - 1380 = 0, 0 = 2*a - 20*z + 19*z - 678. Is 31 a factor of a?
True
Suppose 0 = 18*t - 16*t - 354. Suppose w = 2*p + 8 - 95, 0 = -4*p - w + t. Does 6 divide p?
False
Suppose 0 = 2*f - 6. Is 7 a factor of (-7)/((-2 + (-5)/(-3))*f)?
True
Suppose 4*q = -7 - 1. Let o = q + 59. Does 20 divide o?
False
Does 5 divide 186 - -23 - 0/(-2)?
False
Is 14/(-4) - 74989/(-62) a multiple of 17?
False
Let r(v) = -4*v - 44. Let x be r(-14). Suppose 0 = -n - x + 82. Is 34 a factor of n?
False
Suppose 0 = 3*o, -o - 25 + 9 = 4*x. Is 14 a factor of (-170)/x - 5/10?
True
Suppose -270 = -0*n - n. Suppose -c + 6*c = n. Does 15 divide c?
False
Suppose -44 + 14 = -5*s. Suppose -3 = -u + s. Is u a multiple of 3?
True
Suppose -5*x = -4*x. Suppose -3*c + 114 + 12 = x. Is 5 a factor of c?
False
Suppose -16 = -p + 3*y + 5, -p + 5*y + 31 = 0. Is 23 a factor of 435/p*-4*(-4)/10?
False
Suppose -4*k = 3*d - 14, -2*k - 8 = -6*k. Suppose 0 = 3*n - d*n - 2. Suppose -n*u + 85 + 3 = 0. Is 10 a factor of u?
False
Suppose -12 = 4*h, -96 = 2*r + r + h. Let o(g) = g**3 + g**2 + 48. Let z be o(0). Let x = z + r. Is x a multiple of 16?
False
Let a = 345 + -291. Is 18 a factor of a?
True
Suppose -5*s - 4*d + 24 = -7, d = 4*s - 29. Suppose 9*y - 39 = -354. Let x = s - y. Is 14 a factor of x?
True
Let p(b) = 103*b**2 - 2*b + 9. Does 31 divide p(3)?
True
Suppose 2*j + j + 3*z = -9, -2*j + z - 3 = 0. Is 1104/22 + (-4)/22 + j a multiple of 16?
True
Suppose -44 = 3*m - m + 5*z, m = -5*z - 32. Let g(n) = -n**3 + 11*n**2 - 11*n - 9. Let w be g(10). Let k = m - w. Is k a multiple of 4?
False
Suppose 0 = -19*f + 24*f - 110. Is f a multiple of 22?
True
Let p(c) = -c - 6. Let v be p(-7). Let y(d) = 2*d**3 + d**2 + d - 1. Let g be y(v). Suppose -2*h + 25 = g*h, 4*z - 2*h - 14 = 0. Does 6 divide z?
True
Let k be (-36)/(-21) - (-4)/14. Suppose k*u + 133 = 5*v, 123 - 2 = 5*v + u. Does 5 divide v?
True
Let f = 45 + -27. Suppose f = -0*b + 3*b. Let p = 6 + b. Is p a multiple of 4?
True
Suppose 2755 = 5*a - m, 0*a - 3*a + 1653 = m. Is 11 a factor of 18/(-81) - a/(-9)?
False
Suppose 3 = -g + 3*t, -4*g + 31 = -t + 10. Suppose -g*s + 72 = -2*s. Suppose s = 4*x - 30. Does 12 divide x?
True
Suppose 4*m - 5626 = 5*u, 0 = -3*m + 3*u + 4119 + 99. Is 27 a factor of m?
True
Let j be ((-9)/6)/(12/(-64)). Suppose -j*x = -143 - 113. Is x a multiple of 8?
True
Let x(v) = 200*v + 60. Is 126 a factor of x(6)?
True
Let j(b) = 1187*b - 128. Does 18 divide j(3)?
False
Let v(o) = 6*o**3 + 4*o**2 + o + 1. Let x be v(3). Let k = -87 + x. Suppose k = 2*n + 3*f, -4*f + 172 + 105 = 5*n. Does 20 divide n?
False
Is (-1886)/(-7) + -6*12/(-126) a multiple of 27?
True
Suppose -44*w = -46*w - 8, 5*x - 6812 = 3*w. Does 80 divide x?
True
Suppose 5*s = 3*s - 78. Let z = -9 - s. Suppose 18 = v - z. Is v a multiple of 19?
False
Let b(h) be the second derivativ