 -845 - -1781. Is i a multiple of 78?
True
Let s = 44 + 63. Let y = 10 + s. Does 9 divide y?
True
Let x = -10 - -16. Suppose -3*w = 2*g + 1, -w = 2*w + 3*g + x. Suppose h - 3 - w = 0. Is h a multiple of 2?
True
Let g = -8 - 16. Let u = g - -32. Suppose 2*f + 3*x - u = f, -79 = -5*f - 2*x. Is f a multiple of 7?
False
Let f = 2373 + -1751. Is 26 a factor of f?
False
Suppose 0 = -5*z + 4*q - 10 + 200, 4*q - 104 = -2*z. Is 8 a factor of z?
False
Let i(r) = 10*r - 16. Let d be i(4). Let l = d + -12. Does 12 divide l?
True
Let r be 1/(-4*(-1)/12). Suppose r*q - 6*q = -j + 3, 6 = 5*q + 2*j. Suppose q = -k + 3*p + 32, -p - 8 = -k + 32. Is 11 a factor of k?
True
Is 3 + 1*(-1636)/(-2) a multiple of 51?
False
Let z(h) = -h**3 - 10*h**2 - 10*h - 10. Let k be z(-9). Let i(n) = -76*n + 2. Is 13 a factor of i(k)?
True
Suppose 5*p - 3*q = 3*p + 4360, -2*q - 4362 = -2*p. Is p a multiple of 39?
False
Let y = 12 + -32. Let w = y + 63. Suppose -4*s = 5*l - 157, 0 = -3*s + 3*l + w + 41. Is s a multiple of 17?
False
Let t = 3 - 0. Is 3 a factor of (20/t)/(10/15)?
False
Let y(o) = 2*o + 12. Let q be y(-6). Suppose 4*h + h - 530 = q. Suppose -4*b = -h - 154. Does 14 divide b?
False
Let s(i) = -8*i + 2. Let h be s(-2). Let u be (-5 - -6)*h/1. Is 6 a factor of 0 - u/(-3 + 1)?
False
Suppose -21 = -4*w - 5. Let u = w + 0. Suppose -u*a = h - 3*a - 43, 2*a = -2. Does 9 divide h?
False
Suppose -4*z + 2*z = -30. Let a = z - 15. Is 12 a factor of 3 + (56*1 - a)?
False
Let y = -8 - -16. Suppose u + 5*i + y = 0, -2*i = -2*u - 6*i + 8. Is u a multiple of 3?
True
Suppose -2*u + 252 + 394 = 5*b, 4*u = -3*b + 1306. Is u a multiple of 8?
True
Let d = -221 + 156. Let o = -15 + -2. Let j = o - d. Does 24 divide j?
True
Let g(b) = 5*b**3 + 12*b**2 - 13*b + 20. Let h(w) = -2*w**3 - 4*w**2 + 4*w - 7. Let x(c) = -3*g(c) - 8*h(c). Is 4 a factor of x(3)?
True
Let x = 2821 + -1534. Does 8 divide x?
False
Let q(k) = -k**3 - 8*k**2 - 9*k + 8. Let d(z) = -4*z + 1. Let h be d(2). Is q(h) a multiple of 9?
False
Suppose 385 - 421 = -3*m. Is m a multiple of 12?
True
Suppose -l = 4*j + 10, -4*l + j - 1 = 39. Let w(m) = -m**2 - 25*m - 2. Is w(l) a multiple of 22?
False
Let a(m) = -440*m - 5. Let j be a(-1). Let c = j - 243. Does 38 divide c?
False
Suppose 719 = 4*t + 47. Suppose d - t = -3*d. Is 3 a factor of d?
True
Let a be (2/4)/((-3)/36). Let o = 39 - 23. Let g = o + a. Is 10 a factor of g?
True
Let r(y) = 3*y**2 - 49*y + 284. Is r(29) a multiple of 15?
False
Let r be (-355 - -2)/(12/(-12)). Suppose 0 = -4*w - 3*h + r, 168 = 3*w - 2*h - 84. Does 21 divide w?
False
Let c = 249 + -242. Is 7 a factor of c?
True
Let c(x) = -x**2 + 13*x + 21. Let z = 114 - 101. Does 7 divide c(z)?
True
Suppose 4*g = 2*g + 5*j + 370, 2*g - 364 = 2*j. Is g a multiple of 18?
True
Is (-60707)/(-119) + 2/(-14) a multiple of 33?
False
Is 12 a factor of 1723/3 + 19/(-57)?
False
Let f(b) = b**2 - 3*b + 2. Let l be f(3). Suppose -5 = -l*x + 3. Suppose x*j + 14 = 6*j. Is j a multiple of 6?
False
Let g be (-18)/153 + (-336)/34. Is 3 + g*45/(-6) a multiple of 39?
True
Is 57 a factor of ((-11780)/(-15))/(42/63)?
False
Let h = 76 - 155. Let k = h + 95. Does 10 divide k?
False
Let h = -4 - 2. Let a be (4/h)/(4/12). Does 7 divide (-6)/a - (-3 - 1)?
True
Let f = -3 - 1. Let y be ((-14)/f)/(9/(-342)). Let h = -76 - y. Is h a multiple of 26?
False
Let m = 3 + -1. Suppose -12 = -5*n + 8. Suppose m*j - 6 + 100 = n*c, -4*c - j = -79. Is 16 a factor of c?
False
Let t(s) = 27*s**3 - 2*s**2 + 1. Is t(1) a multiple of 2?
True
Suppose 5*r + 11 + 2 = -4*v, 5*v + 23 = -4*r. Is v - -24 - (-1 - -1) a multiple of 8?
False
Suppose 0 = 20*v - 43*v + 3657. Is 15 a factor of v?
False
Let r be 8/3*852/16. Suppose k - r = -14. Is 11 a factor of k?
False
Suppose -4*s + 5*a = -825, 4*s - 426 = 2*s - 2*a. Does 16 divide s?
False
Let h be (0 + 0 + 9 + 1)*16. Suppose -26*d + h = -24*d. Is d a multiple of 14?
False
Let d(t) = t**3 + 2*t**2 + 4*t + 3. Let k = -9 + 7. Let y be d(k). Let l(j) = j**2 + 4*j + 8. Is l(y) a multiple of 13?
True
Suppose -2*b = -0*b + 12. Let z = b - -34. Let a = z + -12. Does 8 divide a?
True
Suppose 42 - 2 = 5*a. Suppose a*h = 6*h + 86. Is 8 a factor of h?
False
Suppose -25 = -5*f + 3*d, 2*f + 4 + 12 = -4*d. Suppose 4*q = 10 + f. Is (-1 - q)*10/(-4) a multiple of 9?
False
Suppose 0 = 31*f - 38*f + 1134. Is f a multiple of 4?
False
Suppose 6*a - 48 = -0. Let k(r) = a*r**2 + 13*r + 0 + 3 - 1 - 9*r. Is 18 a factor of k(-2)?
False
Is (-546)/4*(-8)/4 a multiple of 7?
True
Let d(m) = -m**2 - 9*m + 14. Suppose -4*g = -3*g + 10. Let u be d(g). Suppose -u + 30 = o. Is o a multiple of 6?
False
Let t = -161 + 439. Let l = t + -31. Does 34 divide l?
False
Let k(g) = -5*g + 3. Suppose -1 = y - 5. Let t(c) = -2*c - 4. Let p be t(y). Does 21 divide k(p)?
True
Suppose 2*i - 3*k + 32 = -k, -3*k + 72 = -5*i. Is 16 a factor of (-774)/i + (-1)/2?
True
Let l(b) be the first derivative of -b**3/3 - b**2/2 - 2. Let q(n) = 3*n**2 - 10*n - 4. Let j(x) = -5*l(x) - q(x). Does 18 divide j(-10)?
True
Suppose -184 = -8*s - 56. Is 8 a factor of s?
True
Let o = 257 - 81. Is o a multiple of 16?
True
Suppose -477 = 8*n - 2029. Is 25 a factor of n?
False
Suppose -64 = -8*m + 6*m. Let p = m + -8. Is 8 a factor of p?
True
Suppose -27*l + 14*l = -663. Suppose 46 = -2*o - 4*j, -5*j = 4*o + 121 - 14. Let n = l + o. Does 6 divide n?
True
Let j(f) = -3*f**3 + 2*f**2 - 4*f - 3. Let y be j(-3). Let r be (6/(-10))/(2/(-110)). Suppose r = -5*t + y. Is 4 a factor of t?
False
Let f = -123 + 256. Let n(l) = -3*l + 29. Let c be n(8). Suppose -2*h + 0*z + f = -c*z, 4*z = h - 74. Does 18 divide h?
True
Suppose 0 = 2*d + 4*q, -7 = -5*d - 5*q - 2. Suppose 0 = -d*f - 5*y + 7, -f + 6 = 2*y + 3*y. Is 32 a factor of 1 + 2/f - -63?
False
Let r(l) = l**3 + 9*l**2 - 8*l + 23. Let m be r(-10). Suppose m*x + 190 = 2*g - 0*g, 3*g + 4*x - 302 = 0. Is 14 a factor of g?
True
Let w(m) = -m**3 - m**2 + 3*m - 41. Let d be w(-5). Suppose h - 2 = -22. Let k = h + d. Does 6 divide k?
True
Let n be (30/(-9))/((-12)/18). Suppose -n*h + 101 = l + l, -63 = -3*h - 2*l. Is h a multiple of 4?
False
Is 29 a factor of ((-8)/(-10))/((-2)/(-435))?
True
Let t(k) = -k. Let o(r) = 2*r - 4. Let x(y) = -o(y) + 6*t(y). Suppose -3*s - 7 - 17 = 0. Is 22 a factor of x(s)?
False
Suppose 0 = -25*z + 27*z - 10. Suppose -3*l + 5*g + 433 = -0*g, 4*l - z*g - 579 = 0. Is l a multiple of 28?
False
Suppose 294*s = 290*s + 1004. Is s a multiple of 13?
False
Let k = -180 - -336. Is k a multiple of 39?
True
Suppose -2 = b + 2. Let y = 6 + b. Suppose 0 = -y*u + 97 + 13. Is 13 a factor of u?
False
Suppose 4*a - 2*v = 864, 0 = -a - v + 281 - 71. Does 107 divide a?
True
Let z = 1 + 4. Suppose z*j - 2*u - 43 = 4*j, 0 = -2*u - 8. Suppose 2*i + 5 = j. Is 15 a factor of i?
True
Let a(x) = x**3 - 4*x**2 + 5*x + 6. Suppose -27*h + 10 = -25*h. Is a(h) a multiple of 28?
True
Suppose 4*x = 5*h + 33, 3*x - 5*h - 1 = 30. Suppose -i + 0*i = -k + 6, -x = -k + 5*i. Suppose -k*d - 30 = -10*d. Does 3 divide d?
False
Let i(g) = 19*g - 26. Suppose -6*c + 60 = -c. Does 43 divide i(c)?
False
Let l(a) = 8*a**2 - 21*a + 39. Is 64 a factor of l(-13)?
True
Let w(r) be the first derivative of r**3/3 + 3*r**2/2 - 14*r - 1. Let f be w(-8). Let j = f + -8. Does 18 divide j?
True
Let l = -43 - -29. Does 4 divide 4/l - (-17)/((-714)/(-1188))?
True
Let t be 3*(0 + (2 - 1)). Let f = 4 - t. Is 11 a factor of f + 7*(4 + -1)?
True
Suppose 0*l = -5*l + 10. Suppose -3*s = -l*k + 16, k - 6*s - 1 = -s. Is 3 a factor of k?
False
Let v(b) be the first derivative of -20*b**3/3 - 5*b**2/2 - 4*b + 1. Let y be v(-2). Let g = y - -115. Is 18 a factor of g?
False
Suppose 127 + 59 = 3*q. Is -2 + (0 - -3)/(2/q) a multiple of 16?
False
Let c = 7 - -86. Suppose -8*h + 7*h = -c. Is h a multiple of 31?
True
Let p = 516 - 354. Let d = p - 84. Does 19 divide d?
False
Let b(k) = k**2 + 20*k - 17. Let m be b(-18). Let c = -24 - m. Suppose 0*w + 6 = 3*w, -v + c = 3*w. Does 15 divide v?
False
Is 84/70 + 5908/35 a multiple of 49?
False
Let b = -810 - -1367. Is b a multiple of 35?
False
Let b = -569 - -1752. Does 60 divide b?
False
Let t be -221*3/9*3. Suppose 6*s - s + 5*m = 80, -4*s - m + 70 = 0. Does 25 divide s/(-27) + t/(-3)?
False
Let y = -4 - -10. Suppose -2*m + 0*m = 2*z - y, -4*z + 18 = 