e -10*x + o = -1360. Does 20 divide x?
True
Suppose 2*w = -15 + 19. Suppose 6 = w*y, y - 17 = -2*n + 4. Is 3 a factor of n?
True
Let t(d) = -29*d - 171. Does 2 divide t(-8)?
False
Let j be (-20)/(-3) + 2/6. Let d = -1987 + 1992. Suppose 3*f - j*f + 68 = 4*r, -d*r + f + 55 = 0. Does 5 divide r?
False
Let c(w) = -w + 157. Let b be c(0). Suppose -2*d = 47 - b. Is d a multiple of 11?
True
Let l = 312 + -235. Does 12 divide l?
False
Suppose -4*w = -5*v + 59 + 30, -w + v = 21. Does 10 divide 20/w + (-433)/(-4)?
False
Suppose 8*m - 24 = 2*m. Is (-8)/(-2 - -4) + 3 + m even?
False
Suppose -5*l + 3245 = -5*s, 7*l = 5*l + 5*s + 1295. Does 65 divide l?
True
Let x(v) = -v. Let w(u) = 2*u - 1. Let g(p) = -4*w(p) - 5*x(p). Suppose -4*l = -y - 15 - 13, -4 = -l. Is 8 a factor of g(y)?
True
Let f = 47 + -50. Is (3152/(-24))/(f/9) a multiple of 13?
False
Let u(i) be the second derivative of -i**7/2520 + i**6/360 + i**5/20 + 3*i**4/4 - 7*i. Let g(t) be the third derivative of u(t). Is g(3) even?
False
Let t(u) be the first derivative of 16*u**3/3 + 3*u**2/2 + u + 8. Let f be t(-2). Suppose -s - 3 + f = 0. Is s a multiple of 14?
True
Let r be (6/(-4))/(39/208). Let p be (r/(-4))/(3 + -1). Does 14 divide (2 - 0 - p) + 38?
False
Let s(u) = -u**3 + 3*u**2 - u - 4. Let a be s(2). Let t be ((-1)/a)/(5/110). Let z = t - 9. Is z even?
True
Let j = -3 + 6. Suppose j*u = -2*u + 140. Is u a multiple of 4?
True
Let t(x) = -3*x**3 - 4*x**2 + x + 3. Let g be t(-4). Let b = -115 + g. Does 6 divide b?
True
Let g = 1803 + -537. Is 45 a factor of g?
False
Let c(j) = -j - 2. Let g be c(6). Let u(t) = t**3 + 7*t**2 + 5*t - 3. Let o be u(g). Let h = 180 + o. Does 14 divide h?
False
Let i be -4 + (6 - -2) - 2. Is ((-228)/(-21))/(i/7) a multiple of 7?
False
Let h = 0 - 0. Let l = -112 - -115. Suppose 5*s + l*y - 91 = h, -s + 6*s = -y + 97. Is s a multiple of 6?
False
Suppose -11*c = -16*c - 60. Let j(o) = -5*o + 6. Does 8 divide j(c)?
False
Suppose -5*k = -3*k. Let s = 3 + k. Suppose -5*i - 61 = -3*j, j + s*j = -3*i + 33. Is j a multiple of 10?
False
Let k(h) be the second derivative of h**5/20 - 7*h**4/12 + 7*h**3/6 - 10*h. Let q be k(5). Let w = 20 + q. Is w a multiple of 2?
False
Suppose 0 = -35*p + 56*p - 70497. Does 59 divide p?
False
Let c(x) = 4*x - 7. Let r(p) = 4*p - 5. Let v(d) = 3*d - 4. Let k(l) = -2*r(l) + 3*v(l). Let b(m) = -4*c(m) + 11*k(m). Is 6 a factor of b(-6)?
True
Suppose -6*v + 10 = -v. Suppose 6*w = v*w + 120. Let p = 60 - w. Is 8 a factor of p?
False
Suppose 4*b - 6 = 6*b, 0 = -2*c + 3*b + 15. Suppose 4*z + c*o = 8, -3*z + 10 - 4 = -o. Suppose 0 = r - z*r + 64. Is r a multiple of 32?
True
Let k be (-117)/36 - (-3)/(-4). Let x be (1 - (3 + k)) + -2. Suppose x = -5*o + 2*o + 180. Does 15 divide o?
True
Suppose 0*n - 137 = 2*n + 3*f, -4*n + 5*f = 219. Let i = n - -149. Is i a multiple of 22?
True
Suppose -6872 - 5788 = -20*b. Is b a multiple of 22?
False
Let p(h) = 7*h**2 - 46*h - 20. Is p(15) a multiple of 20?
False
Suppose -2*d - 2952 = -4*c, c - 738 = 6*d - 8*d. Does 18 divide c?
True
Let u(f) = f**2 + 2*f + 3. Suppose -c + 2*s = 8, -3*c = 2*s - 5 - 3. Suppose 0 = 3*d + 12 - c. Is 11 a factor of u(d)?
True
Let b(o) = 88*o - 1. Let w(d) = -d. Let i(u) = -b(u) - 6*w(u). Is 19 a factor of i(-1)?
False
Suppose -4*a - 43 = -11. Let r(m) = m + 13. Let v be r(a). Suppose -29 = -4*s - 3*k + 24, 0 = 3*s + v*k - 48. Does 11 divide s?
True
Suppose 32 = 8*k - 24. Suppose 2*s = 3*z + 228, -k*s + 4*z = -5*s - 228. Is 13 a factor of s?
False
Suppose -m - 6475 = -3*c, 17*c = 22*c - 4*m - 10780. Is c a multiple of 40?
True
Let c = 5 + 182. Is c a multiple of 17?
True
Suppose -1844 - 1621 = -7*z. Is 45 a factor of z?
True
Suppose 0 = 5*s - 4*h - 2250, 0 = s - 0*h + 3*h - 431. Does 28 divide s?
False
Suppose 4*c - 313 = -2*j + 3*c, 298 = 2*j - 4*c. Is 33 a factor of j?
False
Let l(m) = 3*m**3 + 3*m**2 + m + 2. Let b be l(-2). Let v(d) = -d - 4. Let c be v(-2). Is 13 a factor of b/18*(-80 - c)?
True
Let d = -172 - -85. Let m = 127 + d. Is m a multiple of 9?
False
Let t = 63 + -65. Is ((208/(-12))/2)/(t/6) a multiple of 6?
False
Suppose 2 + 2 = q. Let w(s) = -9*s. Let g be w(q). Let n = -25 - g. Does 11 divide n?
True
Let m = -1990 - -2044. Is 15 a factor of m?
False
Suppose -2*m = -10, 27*c - 3415 = 22*c - m. Does 18 divide c?
False
Let y(n) = -n**3 + 9*n**2 - 3*n + 3. Let z(c) = 3*c**3 - 19*c**2 + 6*c - 5. Let k(a) = -5*y(a) - 2*z(a). Let o be k(-7). Let v = 36 + o. Does 5 divide v?
True
Let w(a) = -a - 9. Let l be w(11). Let c be (l - 0)*(-2 + 1). Suppose 2*q = 4*y + 3*q - 88, -c = -5*q. Is 9 a factor of y?
False
Is (-75)/(-30)*(-1272)/(-15) a multiple of 73?
False
Let s = 9 - 6. Let x be (0 - -1)*6/s. Suppose -31 = -3*d + x*d. Is d a multiple of 8?
False
Suppose -j + g + 91 = 0, -3*j + 278 = 4*g - 2*g. Suppose 0 = 3*u + 11 - j. Does 5 divide (u + -3)/2 - 4?
False
Suppose -x + 3*d + 314 = -0*d, 3*x - 4*d - 942 = 0. Is 29 a factor of x?
False
Let r = 3 - 35. Let h = r - -80. Does 24 divide h?
True
Suppose -18 = -k - 2*k. Let l(o) = o**3 + 15*o**2 + 23*o + 5. Let x be l(-13). Let c = x - k. Does 11 divide c?
False
Suppose -56 = -3*b - 44. Suppose -15 = -2*l - 5*u, l + 5*u + 60 = 4*l. Let y = b + l. Does 19 divide y?
True
Let t(v) = -v**2 + 6*v - 6. Let z be t(3). Suppose 0*d - z*g + 10 = -d, -4 = -4*d + g. Suppose -4*f - d = -5*r + 16, r - 3*f = 8. Is r even?
True
Suppose -2*s - 5*d = -62 - 19, 0 = -5*s + d + 243. Is 42 a factor of s?
False
Suppose 4*q + 0*q - 52 = 0. Let o(m) = 3 + 12*m**2 - 1 - m**3 + 14*m - 6. Is o(q) a multiple of 4?
False
Suppose -45*c = -4*f - 42*c + 2944, 4*f - 2948 = 2*c. Is f a multiple of 17?
False
Is 20/(-40) + (-42)/(-4) a multiple of 10?
True
Let d = 5056 + -2704. Is 6 a factor of d?
True
Suppose -4*s - 3*u = s - 1928, -5*u = 2*s - 756. Does 34 divide s?
False
Suppose 0 = a - 4, -a = 4*q - 2*a - 32. Let d be 10/45 - (-25)/q. Suppose d*r - 2*j = 47, -3*r - j - 2*j + 72 = 0. Does 19 divide r?
True
Let x = -82 - -116. Let h = 63 - x. Does 12 divide h?
False
Let m(t) = -t**3 + 10*t**2 - 9*t - 6. Suppose -5*g + 16 = 3*k - 28, 5*k + 4*g - 56 = 0. Is m(k) a multiple of 5?
True
Let d = -4 - -8. Let a(y) = -y - 5. Let o be a(-5). Suppose -d*b + o*b = -28. Is 2 a factor of b?
False
Let c = 4 + -1. Suppose -u = c*u - 156. Is u/(-3 - 18/(-4)) a multiple of 13?
True
Let s(y) = -4*y**2 + 198*y + 60. Is 57 a factor of s(38)?
False
Let l = 6 - 5. Let y be (l + 11)*1/4. Suppose z - y*m = 60, -2*z + m + 3*m + 122 = 0. Is 21 a factor of z?
True
Let j(g) = g**2 - 7*g + 4. Let b be j(6). Let a be 9 + -10 + 6 + 1. Is a/(404/(-208) - b) a multiple of 26?
True
Let f = 394 + -26. Is 46 a factor of f?
True
Suppose 0 = 181*l - 178*l - 2565. Does 10 divide l?
False
Let i(p) = -2*p**2 - 2*p + 15. Let h be i(-5). Is (-632)/(-10) - (-5)/h a multiple of 18?
False
Let j(p) = p**3 + 13*p**2 + 8*p - 8. Suppose -4*g = -9*g + 30. Suppose -45 - 27 = g*q. Is 8 a factor of j(q)?
True
Let p = 2 - -3. Suppose -p*v = -x - 4*x + 230, -2*x + 4*v = -82. Does 3 divide x?
True
Let x(b) = b**3 + 26*b**2 - 69*b - 28. Does 3 divide x(-28)?
True
Let v(c) = 96*c + 23. Is v(3) a multiple of 6?
False
Let m = -87 + 112. Let a(d) = d**3 - 24*d**2 - 22*d + 16. Does 17 divide a(m)?
False
Is 168 - -67 - -3*2 a multiple of 65?
False
Let q(d) = -22*d + 33. Let a be (-32)/7 - ((-31)/(-7) + -4). Is 22 a factor of q(a)?
False
Suppose -4*o + 7 = 11. Is 3 a factor of (o/(-5) - -1)*(-230)/(-46)?
True
Suppose -3*x + 93 = 3*m, 36*m + 4*x + 65 = 39*m. Is m a multiple of 3?
True
Does 2 divide (-5 - 1330/21)/((-6)/18)?
False
Suppose 3*d - 4*d - 14 = 0. Suppose -n - 5*o = -4*o - 23, -108 = -4*n + 4*o. Let y = n - d. Does 13 divide y?
True
Let m = -2 - -5. Suppose -3*n - 27 = m. Does 17 divide 768/40 - (-2)/n?
False
Suppose -64 = -3*j - 25. Suppose u + 4*z + 7 = -4, -2*u + j = z. Does 7 divide u/(-6) - 325/(-10)?
False
Suppose -5*g = -10*u + 13*u - 10101, 5*u + 3*g - 16835 = 0. Is u a multiple of 78?
False
Let s(n) = -2*n**3 - 5*n**2 + 2*n + 9. Let g be s(-6). Suppose 3*l + 33 = g. Suppose -t - l = -4*t. Is 12 a factor of t?
True
Let k(c) = 13*c + 29. Let u = 59 + -47. Is k(u) a multiple of 37?
True
Does 9 divide (1100/15 + 2/3)/1?
False
Let o(a) = -a. Let u(b) = b**2 - 9*b + 12. Let p(x) = -2*o(x) - u(x). Let d be p(9).