(4 + 2 + -5). Suppose -13*q - y = -1489. Does 18 divide q?
True
Let d(c) = 9*c**2 + 29*c + 24. Let m be d(-7). Let p = 416 - m. Does 11 divide p?
True
Let y be 221/(-34)*(-2)/1. Suppose -8*i = -y*i + 30. Suppose -i*h = -44 - 886. Is 33 a factor of h?
False
Suppose -176874 = -11*s - 30464. Does 85 divide s?
False
Suppose 5*s - s - 6164 = -4*m, -2*m - 1550 = -s. Is 4 a factor of s?
True
Let b = 5986 + -49. Is b a multiple of 12?
False
Let i be 3/4*(-12 - -488)/17. Suppose 5187 - 231 = i*c. Is 7 a factor of c?
False
Suppose -4*x = 8*d - 4*d - 4060, -d - 5*x + 983 = 0. Is d a multiple of 11?
True
Suppose -g + 4*t + 5 = 0, 0*g + 5*t + 4 = 2*g. Let f(a) = -5*a**3 - 5. Let i be f(g). Is 10 a factor of 8170/i + 3/(-78)*-4?
False
Suppose 969*c - 927*c - 107226 = 0. Is c a multiple of 14?
False
Let a = -92 - -88. Let i be 2/(24/a)*-6. Suppose 0 = -2*s - 4*c + 150, i*s = 3*c + c + 190. Does 17 divide s?
True
Let l(c) = 2*c**2 + 20*c - 15. Suppose 0 = 6*v + 2 + 4. Let x be (-1)/(v/15)*-1. Is 35 a factor of l(x)?
False
Suppose -35*f - 15321 = -r - 32*f, -2*r = 3*f - 30579. Is r a multiple of 36?
True
Suppose -2153998 = 258*n - 335*n. Does 18 divide n?
False
Let w = -787 + 816. Suppose -19*m + w*m = 1120. Is 7 a factor of m?
True
Suppose -5*d - 3*h = 2780, -2*d - 2*h - 1112 = -5*h. Let b = d + 822. Is b a multiple of 27?
False
Let y = 18 + -16. Suppose 4*o - 4*p = 108, -y*p + 5*p = 4*o - 111. Is 8 a factor of o?
False
Suppose 3*s - 6*s - 5*k = 31, -6 = -2*s + 2*k. Let r be (s/(-7) - (-237)/(-21))/1. Let j(p) = -6*p + 18. Is j(r) a multiple of 19?
False
Let k(j) = -3*j - 15. Let z = -100 + 94. Let h be k(z). Suppose h*v - 3*u = 237, 3*v = -2*v - 4*u + 422. Is v a multiple of 9?
False
Let n(t) = 2*t**3 + 10*t**2 + 7*t + 13. Let v be n(-4). Let w(h) = 5*h**2 - 48*h + 75. Is 8 a factor of w(v)?
True
Let o(i) = 3*i**3 - 4*i**2 + 4*i - 1. Let n be o(3). Suppose -n*v - 3978 = -65*v. Is 26 a factor of v?
True
Let c(m) = -m**2 + 12*m - 2. Let i be c(11). Let k(b) = b**3 - 8*b**2 - 9*b + 13. Let n be k(i). Suppose -n*u = -8*u - 120. Does 3 divide u?
True
Suppose 0 = 8*z - 2 - 6. Let v(k) = 26*k**2 - 3*k + 4. Let d be v(z). Let m = d - -1. Is m a multiple of 14?
True
Let h(v) = 13*v + 1026. Is 46 a factor of h(-27)?
False
Let u(k) = -k**3 - 9*k**2 + 8*k - 14. Let l be u(-10). Let z be l/(-2)*(-14)/42. Let g = z - -5. Does 4 divide g?
False
Let t(m) be the first derivative of -m**4/4 - 23*m**3/3 + 25*m**2/2 + 25*m + 8. Let j be t(-24). Is (-4*2/16)/(j/(-154)) a multiple of 12?
False
Let b = 1219 + -942. Is b a multiple of 68?
False
Suppose -2*z + 3*z - 8 = -k, 0 = -z + 5*k - 10. Suppose 2 = z*d - 4*d. Is (3/d)/((-6)/(-320)) a multiple of 10?
True
Suppose -4*u - 70778 - 30026 = -5*m, -4*m - 2*u = -80638. Is m a multiple of 84?
True
Let g = 115 + -17. Let p = -21 + g. Is 7 a factor of p?
True
Let y(j) = 1428*j + 2869. Is y(6) a multiple of 16?
False
Let x(i) = 15*i - 106. Let o be ((-1512)/56)/((1 - -1)/(-2)). Does 23 divide x(o)?
True
Let f(y) = 7*y**3 - 3*y**2 + 2*y + 4. Let v be f(3). Let u be 40 - (((-16)/4)/1 - -8). Suppose u*z - 34*z = v. Is z a multiple of 19?
False
Let h(j) = -19*j**2 + 9*j - 17. Let x be h(2). Let n be (x/(-2) - 0)*24. Suppose 0 = -33*d + 43*d - n. Is 6 a factor of d?
True
Let n = -12674 - -15435. Is 11 a factor of n?
True
Suppose -3*p + 0*q - 3*q = -207, 3*p + q - 215 = 0. Suppose -4*h + 2*y = -3*y - p, 0 = y + 1. Does 3 divide h?
False
Suppose -3*r = 2*q - 5*r + 4, 0 = -2*q + 4*r - 10. Let b be (4 - q) + (59 - (3 - -1)). Suppose 2*x + 2*x + 5*u - b = 0, -46 = -4*x + u. Does 3 divide x?
True
Let s = -2934 + 3185. Does 3 divide s?
False
Let t(s) = -s**2 + 201*s + 4. Is 9 a factor of t(40)?
True
Suppose 1481 = 3*w - 3655. Suppose w = 4*g + 564. Is 7 a factor of g?
True
Let i(q) = -16*q - 43. Let s be i(6). Suppose 5*d - 532 = -2*h, -5*h + 5*d + 1825 = 460. Let o = s + h. Is o a multiple of 31?
False
Suppose -4*y = -4, -5*s - 5*y + 0*y + 50 = 0. Let a(q) = q**2 - 6*q - 27. Let j be a(s). Suppose j = 9*n - 5*n - 5*o - 16, -5*o = n - 4. Does 2 divide n?
True
Suppose 0*s = -2*s - 5*k + 2146, 5396 = 5*s - 3*k. Is 98 a factor of s?
True
Let h = 181 + -185. Is (-4 - (2 + h)*1) + 58 a multiple of 8?
True
Let g(f) be the second derivative of f**5/20 - 5*f**4/12 - 2*f**3 - f**2 + 118*f. Let b(w) = -2*w - 11. Let v be b(-9). Is 4 a factor of g(v)?
True
Suppose 3*p - 18657 - 2310 = -5*b, -3 = -b. Is p a multiple of 23?
False
Let s(z) = -4 + 75*z + 65*z + 96*z + 19. Is 11 a factor of s(1)?
False
Let u be 46/(2 - (5 - 5)). Let h = u + -19. Suppose h*k = -5*z + z + 200, -4*z + 247 = 5*k. Does 7 divide k?
False
Let d = 7110 + 20030. Does 115 divide d?
True
Suppose -2*a + 7986 = -10694. Is a even?
True
Let u(f) = -f**2 + 23*f + 24. Let i be u(24). Suppose 55*n - 60*n + 800 = i. Is n a multiple of 16?
True
Let m(c) = -c**3 + 4*c**2 + 7*c - 6. Let a be m(5). Let b be a + (-4 - -6)/2. Suppose t = 2*v + 6*t - 23, -v + 14 = b*t. Is 2 a factor of v?
False
Let x(y) = -y**2 - 1. Let o be ((-1)/2)/(2/4). Let z(b) = -3*b**2 - 5*b - 8. Let w(q) = o*z(q) + 2*x(q). Does 10 divide w(5)?
False
Let l(s) = 2036*s**2 + 4*s + 5. Is l(-1) a multiple of 31?
False
Suppose -10*n = -9*n + p - 2171, 4*n = -2*p + 8686. Is 12 a factor of n?
True
Let b = 34479 + -19088. Is b a multiple of 14?
False
Suppose 5*t = 5*a - 15, -2*t - 2*a = 2*a. Let k be (-3 - 4/t)*-23. Suppose k*m - 69 = 20*m. Is m a multiple of 9?
False
Let h be 11*(3 - 2)/(-1). Suppose 0 = -18*a + 711 + 711. Let k = a + h. Is 12 a factor of k?
False
Let r be (2*(-1)/8)/((-17)/21828). Suppose -19*q - r + 1423 = 0. Is q a multiple of 58?
True
Let i = 1 + 3. Suppose -8*x + 960 = 360. Suppose -4*m - 58 = -3*c, -i*c - 2*m = -5*m - x. Is c a multiple of 3?
True
Suppose 4*b + 2*p + 2960 = 0, p - 697 = 3*b + 1528. Let j = b - -1333. Is 8 a factor of j?
True
Is (-3)/11 + (-14282580)/(-660) a multiple of 20?
True
Let l = -2145 - -2155. Let m(h) = -23*h + 19. Let g(b) = 11*b - 10. Let f(d) = 9*g(d) + 4*m(d). Is 3 a factor of f(l)?
False
Let z(v) = 125*v**2 + 2*v. Let t be z(1). Suppose 143*n - 5760 = t*n. Is n a multiple of 19?
False
Suppose -16*p + 2238 = 23806. Let k = p - -2188. Is k a multiple of 42?
True
Let i = -1053 - -7639. Is i a multiple of 74?
True
Suppose -2*w + 410 = -6*p - 6304, w = -4*p + 3378. Is w a multiple of 33?
True
Let n be (3 + 105/(-25))*2560/(-6). Let c = -25 + n. Does 15 divide c?
False
Let a(x) = -51*x + 83. Let k(i) = 2. Let z(t) = -a(t) + 6*k(t). Is z(7) a multiple of 11?
True
Let y = 43 - 25. Let v = y + -10. Suppose 2*i = -5*b + 80, 5*i + 39 = 4*b + v. Does 7 divide b?
True
Let n(v) = -8*v + 70. Let q be n(8). Suppose -q*c + 3*c - 105 = -4*u, c = 3*u - 75. Is u a multiple of 4?
True
Let j = -2127 + 5900. Is 11 a factor of j?
True
Let n(f) = 43*f**3 - 3*f**2 - 4*f - 1. Let i = -314 + 316. Is n(i) a multiple of 13?
False
Let a(v) = 74*v + 7 + 7*v**2 + 14*v**2 - v**3 - 67*v. Let r be (6 - 10)/((-4)/3) - -18. Is a(r) a multiple of 14?
True
Let s(o) = 232*o - 2. Let a be -3*(1 - (2 - 4/3)). Let p be s(a). Let q = -134 - p. Is q a multiple of 20?
True
Let n(z) = z**3 + z - 1. Let r(j) = -2*j**3 - 3*j**2 + 5*j + 2. Let d(h) = -n(h) - r(h). Let f be d(-4). Let w(t) = 12*t - 19. Is w(f) a multiple of 8?
False
Let z(a) = 3*a**2 - 41*a + 10. Is 148 a factor of z(-23)?
False
Suppose -12*k + 173552 = 3*k - 348913. Is 24 a factor of k?
False
Suppose 0 = 45*m - 271640 - 713410. Is 204 a factor of m?
False
Let h = -66 + 69. Suppose -h*a - a = -2560. Does 16 divide a?
True
Let z(l) = l - 4. Let i be z(6). Let f be (i - (764 - 2))/(-1). Is f/12 - 1/3 a multiple of 20?
False
Let g = 851 - 287. Suppose 5*y - g = -n, -3*y - 3*n + 367 = 19. Does 8 divide y?
True
Let k(o) be the second derivative of -o**4/12 + 4*o**3 - 5*o**2 - 41*o. Does 20 divide k(12)?
False
Let h = 3 + 1. Suppose 2*a = 0, -h = -t - t - a. Suppose 0*i = -t*k - i + 98, 2*i + 4 = 0. Is 13 a factor of k?
False
Suppose -2*m + 31*c + 604 = 34*c, -5*c + 20 = 0. Suppose 2*p = i + m, -p + 4*p = -2*i + 451. Is p a multiple of 19?
False
Let x be ((-5)/(2 + -7))/1. Let f be (-1800)/(-48)*x*2. Suppose -3*n + 906 = 5*s, 4*n = -s + f + 113. Does 12 divide s?
True
Suppose 0*o - 224 = -4*o. Suppose 4*m = -4*d + o, -m + 3*d = m - 13. Does 11 divide m?
True
Is 58 a factor 