. Suppose 5*n - 1008 = -s. Is n a multiple of 36?
False
Let s be ((-2)/6)/(1/(-663)). Let d = s + -121. Does 10 divide d?
True
Let o be 416/(-42)*-39 - (-2)/(-7). Let j = -267 + o. Is 43 a factor of j?
False
Suppose 11*g + 24 = 14*g. Suppose -9*f = -g*f - 104. Is f a multiple of 13?
True
Let k = 17 + -33. Let c = 18 + k. Suppose c*y = -3*x + 67, -y - 32 = -3*x + 4*y. Is x a multiple of 18?
False
Does 13 divide (-15)/45 - 154/(-3)?
False
Is (17 + 296)*(2 - 0) a multiple of 10?
False
Let f(k) = -k**2 + 19*k. Let p be (45/(-12))/(-3)*(0 - -8). Does 45 divide f(p)?
True
Let b(h) = h**3 - 12*h**2 + 4*h - 13. Let f be b(12). Is 14 a factor of 3409/f - ((-6)/(-15) - 1)?
True
Let v(x) = 3*x - 4. Let q(n) = 7*n - 9. Let d(r) = -2*q(r) + 5*v(r). Let t be d(-4). Let p(u) = u**2 + 6*u + 11. Is p(t) a multiple of 3?
False
Suppose -3*s - 2*x = 2*s - 930, 5*x = 0. Is 26 a factor of s?
False
Let w be -4 + 36 + 4/(-1). Does 32 divide 385/4 - 7/w?
True
Suppose 2*c - 6*c - 12 = 0. Let v = c + 5. Is 2 a factor of -1 + 2 - (v - 5)?
True
Let w(s) = -s - 6. Let y be w(-8). Suppose -b - 5*u + y = 0, 5*u - 18 + 4 = 3*b. Let q(g) = -2*g**3 - 3*g**2 + 2*g + 4. Is q(b) a multiple of 7?
False
Suppose -b + 0 = -4. Is 12 a factor of (14 + -18)*(-151)/b?
False
Let v = -669 + 1365. Is v a multiple of 24?
True
Is 4 a factor of (2 - 0)*(580/8 + -4)?
False
Suppose -5*y + 4*p = -y - 16, 4 = -p. Does 16 divide 9/(-6)*(y - (-320)/(-15))?
True
Let y(b) = 7*b**3 - 2*b. Let w(z) = 6*z**3 + z**2 - z - 1. Suppose -l - 4*k = 2, -l = 2*l - k + 19. Let j(s) = l*w(s) + 5*y(s). Is j(-6) a multiple of 10?
True
Let n(o) = -o**3 + 31*o**2 - 9*o - 49. Is n(29) a multiple of 49?
True
Let n = -49 + 143. Let p = n - -76. Is 22 a factor of p?
False
Let a(x) = x - 14. Let p be a(11). Let h be (-3)/(p*(-1)/4). Let y = 22 + h. Is 5 a factor of y?
False
Suppose -5*p = -3*n + 488, -2*n + 327 = -2*p - p. Let q = n - 35. Does 34 divide q?
True
Let x(m) = -m - 11. Let d(k) be the third derivative of -k**4/24 - 5*k**3/3 + 5*k**2. Let h(f) = 2*d(f) - 3*x(f). Is 3 a factor of h(-7)?
True
Let d(i) = 7*i**3 - 5*i**2 - 19*i + 1. Let c(w) = 4*w**3 - 2*w**2 - 10*w + 1. Let t(y) = -5*c(y) + 3*d(y). Let z be t(6). Let h = 26 + z. Is 11 a factor of h?
False
Let v(s) = 5 + 51*s + 55*s - 106*s + 5*s**2. Is 13 a factor of v(5)?
True
Suppose -2*d - 10 = -2*s + 128, 0 = -d - s - 73. Let v = d + 134. Suppose 0*m = m - v. Is m a multiple of 21?
True
Suppose 14*x - 45*x + 4464 = 0. Is x a multiple of 16?
True
Let p be 2 + -3 + 2 - 3. Let t be 1/((-2)/4) + 8. Let q = t + p. Does 2 divide q?
True
Suppose -4*i - 2 = -3*o, 5*o - 6*i + i = 5. Suppose -2*k + o*r = 3*r - 161, 3*k - 241 = -r. Is k a multiple of 5?
True
Let o = 1385 - 782. Is o a multiple of 45?
False
Let s(u) = 13*u + 2. Let z(r) = -10*r - 1. Let c(b) = 5*s(b) + 8*z(b). Let k(a) = a**2 + 5*a + 3. Let d be k(-4). Does 7 divide c(d)?
False
Let f(m) = m**2 + 2*m - 5. Let t be f(-4). Suppose -t*l + 8 = -2*l. Let k = 54 - l. Is k a multiple of 23?
True
Let m(g) = 156*g**3 - g**2 + 6*g - 8. Is 8 a factor of m(2)?
True
Let i(u) = -822*u - 9. Let p be i(-3). Let c be (-2)/3*p/(-26). Suppose -c = -3*s + 129. Does 8 divide s?
True
Let u = 39 - -207. Does 6 divide u?
True
Suppose -20*r + 3*o - 189 = -23*r, -179 = -3*r - o. Is 2 a factor of r?
True
Let r(f) = -9*f - 5. Let n be r(-2). Let b = n + -20. Let t = b - -18. Is t a multiple of 4?
False
Let y(u) = u + 7. Let n be y(-4). Let d = -3 + n. Suppose d = -2*w + 19 + 1. Is w a multiple of 5?
True
Let z(m) = -m**3 - 1. Let a(b) = 84*b**3 + b + 1. Let j(t) = a(t) + 3*z(t). Does 10 divide j(1)?
True
Let s(j) = -4*j**3 - 5*j**2 + 15. Is 39 a factor of s(-5)?
True
Let a(x) = 5*x**3 + 2*x**2 + 3*x - 4. Let v(u) = 5*u**3 + u**2 + 2*u - 3. Let m(g) = -3*a(g) + 4*v(g). Let h be m(-1). Is 18 a factor of (-4)/h - 106/(-3)?
True
Does 8 divide (9/(-2))/(-1)*32?
True
Let x(g) = -g**3 - 8*g**2 - 59*g + 21. Is 15 a factor of x(-12)?
True
Suppose 32 + 13 = 5*l. Let u(a) = a**2 - 8*a - 6. Let j be u(l). Does 11 divide (3 - j/1) + 61?
False
Let t(l) = -29*l - 79. Does 3 divide t(-11)?
True
Does 6 divide 6 - 3 - 27*-9?
True
Suppose -10*b + 766 = 3*i - 6*b, 4*i - 988 = 3*b. Is 10 a factor of i?
True
Let d be (-20 - -21)/(1/(-133)). Let w = 244 + d. Is 37 a factor of w?
True
Suppose -14*y = -10*y - 4708. Does 32 divide y?
False
Let r(p) = p**3 - 6*p**2 + 6*p - 32. Does 12 divide r(8)?
True
Suppose 31*n = 42*n + 264. Let p(x) = 6*x**2 + x + 1. Let z be p(3). Let f = n + z. Does 17 divide f?
True
Let h(y) = -y**2 - 15*y - 7. Let z be h(-14). Let s = z - 4. Suppose 18 = s*x - 2*x. Does 6 divide x?
True
Let p be (-50)/75*(-18)/4. Suppose 106 = p*r + 2*c, -5*r - 3*c = -107 - 70. Is r even?
True
Suppose -2738 - 1827 = -5*g. Is 23 a factor of g?
False
Suppose 2*l - 24 = -5*g, -5*g + 0*l = -l - 18. Suppose -5*p = g*d - 55, p + 27 = d + 2*d. Let v = d - 5. Is 5 a factor of v?
True
Suppose -i + 13 = 8. Suppose -i*o + 0*o = -850. Let b = o - 95. Is 13 a factor of b?
False
Does 21 divide (-3)/(3/394)*(-172 - -171)?
False
Suppose -69*n + 1351 = -857. Let k(q) = q**3 + q**2 - q + 1. Let y be k(2). Let b = y + n. Is 18 a factor of b?
False
Let p = -26 - -31. Suppose r = -2*v + 245, r = -3*v + p*r + 340. Is v a multiple of 30?
True
Let b = -88 - -90. Suppose -3*f = -b*f - 25. Is 2 a factor of f?
False
Let f = 303 + -179. Suppose 3*s = -s - f. Let u = s - -46. Is u a multiple of 4?
False
Suppose -540 = -5*v - 2*h, -2*v + 4*h = -6*v + 432. Suppose 5*i - 6 = o + v, 4*i - 76 = -3*o. Is 18 a factor of i?
False
Is 13 a factor of (608 + -5)/(-9)*-2?
False
Suppose 0 = 2*u - 63 + 25. Let d = 28 - u. Does 4 divide d?
False
Suppose 43*c - 40432 = 5*c. Does 71 divide c?
False
Suppose j - 5*g = 44, 0 = 3*j - 3*g - 192 + 48. Suppose 0 = 3*c - 20 - 16. Is 15 a factor of (c/3 - 3) + j?
False
Let y = 224 + 123. Does 25 divide y?
False
Let n = 2097 - 225. Is 12 a factor of n?
True
Suppose 0 = -5*p + d - 0*d - 1053, 424 = -2*p - d. Let r = -124 - p. Is 29 a factor of r?
True
Let v be -19 - ((0 - -3) + -3). Let g = v - -20. Is -18*(g - 2)*1 a multiple of 6?
True
Suppose -5*w = -13 - 12. Suppose 9*n - 308 = w*n. Does 11 divide n?
True
Suppose -x + v = 0, -x + 0*v = -2*v. Suppose x = -3*l + 6*l - 9. Suppose 0*b + 157 = l*b + 2*m, 105 = 2*b + m. Is 12 a factor of b?
False
Suppose 3*b = 4*t + 89, -5*t + t = b + 77. Let i be (-1)/(t/6 + 3). Suppose 0 = 5*y + 2*w - 12, 4*y = i*w + 7 - 2. Is 2 a factor of y?
True
Suppose 5*h = h - 5*w - 38, 3 = h - 5*w. Let a = -9 - h. Let i = a - -8. Does 2 divide i?
True
Suppose -8 = 2*j - 4*j - 4*s, -3*s = 2*j - 5. Is 6 a factor of j + 54 + 24/(-6)?
True
Let q = 32 + -28. Let w(r) = -r**3 + 7*r**2 - 8*r + 8. Is 6 a factor of w(q)?
True
Suppose -4*q + 0*n + 259 = 5*n, -73 = -q - 4*n. Is 39 a factor of q?
False
Suppose -3*x - 2 = -2*x, -272 = -2*a + x. Does 9 divide a?
True
Let h = 14 + 40. Suppose -z - 32 = -0*f - 2*f, 5*f = -z - 4. Let u = h + z. Does 6 divide u?
True
Is 33 a factor of -1 - -1 - 2864/8*-1?
False
Does 8 divide 18/30 - 1637/(-5)?
True
Let k(j) = -2*j**2 + j - 5. Let m be k(-3). Let r be ((-13)/m)/(1/(-2)). Let u = r - -8. Is u a multiple of 2?
False
Suppose -5*f = 4*v - 25, -23 = -5*v - f + 3*f. Let x = -3 - v. Is (12/x - 0)*-8 a multiple of 7?
False
Let j(k) = 149*k - 72. Is j(4) a multiple of 20?
False
Suppose 3*d + 28 - 7 = -2*g, 5*d + 5*g + 35 = 0. Let r(b) = 5*b - 6*b**2 - 1 + b - 3*b - b**3. Does 14 divide r(d)?
False
Let h = -984 - -1270. Does 16 divide h?
False
Let t = -2370 + 3700. Does 19 divide t?
True
Is 19 a factor of (-110)/44 - (-1)/(4/7686)?
True
Let n(w) = -w**3 - 2*w**2 + w - 7. Let y be (-8)/14 - 72/21. Does 7 divide n(y)?
True
Suppose 0 = 12*a - 10*a - 4. Suppose 0 = a*q - 16 - 136. Is q a multiple of 12?
False
Suppose 6935 = 5*q - 4030. Is q a multiple of 9?
False
Let n(t) = t + 6. Suppose 0*d + d + b = -5, -16 = 3*d + 4*b. Let c be n(d). Suppose 2*w = -c*k - k + 25, 4*w + 71 = 5*k. Is k a multiple of 9?
False
Suppose -81*j - 2200 = -83*j. Is j a multiple of 16?
False
Let y(j) = j**2 - 23*j + 51. Let w be y(26). Let k = w - 77. Does 10 divide k?
False
Suppose 78*u - 82*u = -3620. Does 75 divide u?
False
Let p be (-2)/(-10) + 5/(-25). Suppose 3*l = -p*l + 33. Suppose 0 = -b - 1 + l. Is 8 a factor of b?
False
Let z =