 f - 2 = 5*o + 5, o - 3 = -2*f. Is 12 a factor of 24/4*21/f?
False
Let j be ((-8)/(-5))/(8/60). Let h = j - 7. Suppose -258 = -h*k - 53. Is k a multiple of 17?
False
Let i(s) = -2*s**2 - 8*s + 5. Suppose -5*l = -3*r + 13, -2*l = -3*r - 5*l + 21. Let n be i(r). Let p = -59 - n. Is p a multiple of 14?
True
Suppose 5*j - 2*g = -4 - 11, 0 = 5*g - 25. Let v(s) = 125*s - 2. Let w be v(j). Let o = -87 - w. Does 15 divide o?
False
Let p = -46 - -71. Suppose 3*f = 62 + p. Does 13 divide f?
False
Let m(n) = 41*n + 3. Let c(q) = 204*q + 14. Let o(r) = 2*c(r) - 11*m(r). Does 17 divide o(-2)?
False
Suppose 685 = 3*q - t, -2*q - 2*t + 192 = -262. Does 10 divide q?
False
Let u(n) = -3*n**3 + n**2 + 2*n - 4. Let y be u(5). Let f = 612 + y. Is 18/81 + f/9 a multiple of 11?
False
Let m = 12 + -8. Suppose 3*t = -2*f + 151, m*f = -0*t - t + 287. Is f a multiple of 13?
False
Let a be ((-78)/18)/(1/9). Let y be 3/(-9) + a/(-9). Is (y/(-8))/1*-16 a multiple of 4?
True
Let h be -2 - (-4)/(12/9). Suppose -3*j + h = -4*j. Is 2 a factor of 175/30 + j/(-6)?
True
Let w be -2 - ((-2 - 44) + 1). Let q = w - 7. Suppose 12 = 2*c - q. Is 6 a factor of c?
True
Let v be 1/(-6) - (-334)/(-12). Let j = -20 - v. Is 3 a factor of j?
False
Let t(d) = -d**2 + 8*d - 8. Let j be t(6). Let q = 28 - -76. Suppose 2*y - q = j*x, 3*x = 5*y - 0*x - 260. Is y a multiple of 15?
False
Let y be 42/(-6*(4/(-3) + 1)). Let l = y - -7. Is 14 a factor of l?
True
Let i = -10 - -16. Suppose -1 = -k + i. Suppose 0 + k = w. Does 7 divide w?
True
Suppose 0 = -0*y + 5*y - 420. Let w = y - 56. Is 9 a factor of w?
False
Let n = 538 - 199. Suppose 0 = -3*y + 2*s + 199, 6*s - 2*s = -5*y + n. Does 20 divide y?
False
Let w = 2817 - 2016. Does 29 divide w?
False
Suppose 0 = 2*r - 5 - 3, 4*f + 4*r - 192 = 0. Let w = 105 + f. Is 10 a factor of w?
False
Suppose 3*k - 109 = -2*q + 2*k, -4*q + 4*k + 212 = 0. Suppose -j = b + 4, -4*j + 3*j = -3*b. Does 25 divide (b - q/(-4))*6?
True
Let r be (-14)/(-4) + 3/2. Suppose -4*b + 5*g = -b - 24, -r*b - g = -12. Suppose -36 - 6 = -b*v. Does 5 divide v?
False
Let r = 88 + -56. Suppose 5*k - 17 = 2*s, -2*k = -3*s - 11 + 2. Suppose k*y = 7*y - r. Is 4 a factor of y?
True
Suppose -2399 = 5*p - 3*c, -p - 208 - 275 = c. Let k = p - -675. Is 17 a factor of k?
False
Let t be (-2)/2*1*(-1)/(-1). Let z(p) = 32*p**2 - p - 1. Is 3 a factor of z(t)?
False
Let y(m) = 31*m - 22. Let h be y(11). Let q(j) = -24*j**2 - j - 4. Let d be q(3). Let l = d + h. Is l a multiple of 25?
False
Let m be (-4)/14 + (-2948)/(-77). Suppose -40*c + m*c = -96. Is c a multiple of 6?
True
Suppose -8*k = -11*k. Is 32/(-8) + (47 - k) a multiple of 5?
False
Suppose -3*d = 4*g - 287, -4*g + 2*d + 131 + 171 = 0. Is g a multiple of 13?
False
Let m = 1203 - 560. Does 54 divide m?
False
Let z = -137 - -43. Let q be (z - (1 + 1))/(-1). Suppose -j + q = 3*j. Is j a multiple of 9?
False
Let m be (4 + -3)/((-2)/(-6)). Let i be (-232)/(-6)*m/2. Suppose 3*w - d = -w + 46, 5*w - i = d. Is 6 a factor of w?
True
Suppose -2*j = p - 8 - 0, 4*p - 14 = -2*j. Suppose -w = z + 4, 3*z + z = -w + p. Does 17 divide (-236)/w + (-2)/6?
False
Let f(c) = -c**2 - 27*c + 28. Does 28 divide f(-7)?
True
Let k be -4 + (-3 - -5 - -4). Suppose -4*c + 2*c = -5*h - 124, 0 = -k*c + h + 140. Does 24 divide c?
True
Let h = -89 + 113. Suppose -33*g + 1890 = -h*g. Is 35 a factor of g?
True
Let m be (-3)/(5 + -2) - -6. Let r = m - -1. Is r even?
True
Suppose -h = 3*h + 132. Let y be (h/22)/((-1)/2). Let a(k) = -k**3 + 3*k**2 + 4*k + 1. Is a(y) a multiple of 3?
False
Is 12 a factor of (77 - 77) + -3 + 2 + 2701?
True
Let r(h) = -h**3 - 7*h**2 + 18*h + 5. Let u be r(-9). Suppose u*d - 64 = 3*d. Is d a multiple of 16?
True
Let k(h) = 51*h + 4. Let s(p) = 102*p + 9. Let x(y) = -7*k(y) + 3*s(y). Does 47 divide x(-2)?
False
Let x = 265 + -164. Suppose x = c - 79. Suppose 0 = -8*n + 3*n + c. Is n a multiple of 12?
True
Suppose -3*y = -b + 3*b + 280, -700 = 5*b - 3*y. Is (b/(-16) - 5)*4 a multiple of 9?
False
Let l be (-4 - 44/(-12))*0. Suppose -5*k + 19 = -1. Suppose l = -k*m + 6*m - 32. Is m a multiple of 16?
True
Let m(w) = w**2 - 1. Let q(y) = y**3 + 11*y**2 + 5*y + 8. Let h(d) = -2*m(d) + q(d). Does 17 divide h(-8)?
True
Let j(q) = -q**3 - 17*q**2 + 19*q + 17. Let t be j(-18). Suppose 3*x + 19 = -x + 5*m, 16 = -4*x + 4*m. Does 30 divide (-5 + t)/(x/15)?
True
Let u = -9 + 11. Let f be 6/4 + u/4. Does 14 divide (-1 + -6)/(f/(-6))?
False
Let q = -171 + 263. Is 10 a factor of -1 + q - 3/3?
True
Let f = -20 + 23. Suppose f*v - 32 = 2*v. Is 13 a factor of v?
False
Let r(k) = 6*k**2 - 22*k - 345. Is r(-12) a multiple of 19?
False
Suppose 3*i = f - 26, 2*i + 8 = 2*f - 16. Let u = -39 - i. Let y = -3 - u. Is 7 a factor of y?
False
Suppose -5*t + 741 = 2*f, 2*t + 1470 = -11*f + 15*f. Does 31 divide f?
False
Suppose -6*a - 25 = -3*x - a, -4*x + 4*a = -36. Let p(w) = w**3 - 9*w**2 - 4*w - 6. Is 9 a factor of p(x)?
True
Let g be 14 + -15 - 3*-2. Suppose -4*z - v = -7, g*z - 2*z + 1 = -2*v. Suppose -z*l + l = -28. Does 14 divide l?
True
Let s(c) = -c**3 - c**2 + 6. Let n(l) = l**2 + 2*l + 1. Let v(o) = o - 4. Let i be v(3). Let p be n(i). Is 4 a factor of s(p)?
False
Suppose 3*q = -115 + 841. Let d be (q/10)/((-14)/(-70)). Suppose -d - 39 = -5*o. Does 8 divide o?
True
Is (217 - 1) + -15 + 9 + 3 a multiple of 11?
False
Is (-1236)/(-78) + 3 + 2/13 a multiple of 2?
False
Suppose 2037 = 4*x - 411. Is 17 a factor of x?
True
Suppose -117 = -3*f - 15. Suppose 3*v - 110 = f. Does 12 divide v?
True
Let n(o) = -3*o - 5. Let f(s) = -s. Let m(j) = 2*f(j) - n(j). Let x be m(-5). Does 5 divide 36/(-12) - (x - 8)?
True
Let q(n) = -340*n - 40. Is 4 a factor of q(-1)?
True
Suppose 180 = 32*c - 26*c. Is 1 + c - (3 + -8) a multiple of 9?
True
Let f be 3 - 4/(16/12). Let w = f + 22. Does 11 divide w?
True
Let p(b) = 4*b - 4. Let r be p(1). Suppose r = 3*w + 3*w - 30. Suppose 2*n = w*o - 147, 135 = -2*o + 7*o - 5*n. Is o a multiple of 16?
False
Suppose -2*w + 295 = 3*g, -2*w = -3*g - 7*w + 310. Is g a multiple of 19?
True
Suppose -5*w + 345 = 5*d, 4*d + 0*d = 0. Suppose t = -2*y - t + 88, 4*y = 5*t + 185. Let l = w - y. Is 12 a factor of l?
True
Let r = -48 + 508. Does 40 divide r?
False
Suppose -3*t = u - 21, 25 = u + 4*u - t. Let q(x) = -x**2 + 8*x - 15. Let o be q(u). Does 4 divide -1*(-1 - -46)/o?
False
Suppose -9*m + 5205 + 3156 = 0. Is 18 a factor of m?
False
Let d be -2*(2 - 1 - 3). Suppose 3*s = d*r - 607, -2*r = -6*r + 4*s + 608. Is 50 a factor of r?
False
Let j(k) = 18 - 6*k + k**3 - 14 - 4*k + 11*k**2 - 4*k. Let g(v) = v**3 + 6*v**2 - 4*v + 9. Let y be g(-7). Does 14 divide j(y)?
True
Let i = -2147 + 1523. Let j = -414 - i. Let m = -148 + j. Does 24 divide m?
False
Is 5/(-115)*2 - (-30297)/69 a multiple of 26?
False
Let r = -3 - 12. Let w be r/(-25) + (-107)/(-5). Suppose -4*y = -w - 50. Is y a multiple of 9?
True
Let s(p) = -p**3 + 6*p**2 - 4*p - 7. Let z be s(5). Let w be 172/((-4)/z + 0). Let y = w + -44. Is 14 a factor of y?
True
Suppose -4*b + j - 4 = -2*j, -3*b = -3*j + 6. Suppose 0 = m - b*i - 127, -5*i = -m - 2*i + 128. Does 25 divide m?
True
Let c(v) = v**3 - 6*v**2 - 7*v + 1. Let d be c(7). Let t = 11 - d. Let m = t + 3. Does 4 divide m?
False
Suppose -2*v = 7*k - 6*k - 64, -k - 4*v = -70. Does 29 divide k?
True
Let d(w) = -w**2 + 12*w + 15. Let t(j) = j**2 + 4*j - 9. Let p(g) = g - 18. Let n be p(11). Let v be t(n). Is d(v) a multiple of 15?
True
Suppose 6*t = -739 - 29. Let j = -72 - t. Is 14 a factor of j?
True
Suppose -7*z - 28 = -3*z - 2*b, -20 = 3*z - b. Let w be (-74)/(-4) - (-3)/z. Suppose 13*t + 105 = w*t. Is t a multiple of 8?
False
Let c(a) = -a**2 + 17*a + 5. Let r be (-340)/(-25) + 4/10. Let l be c(r). Let b = l + -11. Is b a multiple of 11?
False
Suppose -2*j - 3*y = -3828, -j + 953 = -5*y - 987. Does 80 divide j?
True
Let k(x) = x**3 + 14*x**2 + 11*x. Let s be (-6)/(-9) + (-164)/12. Is k(s) a multiple of 9?
False
Let z = -1099 + 1883. Is z a multiple of 56?
True
Suppose -5*r - 4*m + 69 = -109, 40 = r + 3*m. Is r even?
True
Suppose 5*f - 30 = o + 52, -18 = -f + o. Does 7 divide (-70)/4*f/(-10)?
True
Let p = 3 - 1. Suppose 3*c - 5*b = 601, -2*c + p*b + 398 = -2*b. Is 43 a factor of c?
False
Let m be 0/(4/2 + 0). Suppose m = -5*h - 0*h + 390. Is 26 a factor o