= -4*o + 2*m, 4*o + 12 = 3*o + 2*m. Is 10/35 + o/7*-11 a multiple of 8?
True
Let k(g) = -g**3 - 8*g**2 - 2*g - 11. Let i be k(-8). Suppose i*u = -y - 62 + 487, 3*u + 3*y = 267. Does 21 divide u?
True
Let p = -10 - -24. Let f(x) = -p*x + 3 - 2 - 53*x + 11*x. Is 14 a factor of f(-1)?
False
Is (22/(-8))/((-64)/18432) a multiple of 4?
True
Let c = 158 + 73. Is c a multiple of 21?
True
Suppose 3*t + 0*t - 27 = 0. Let p be (-3)/6*1*-2. Let q = p + t. Does 10 divide q?
True
Let w(y) = 4*y**2 + 2*y. Let m be w(-4). Suppose m = 6*l - 4*l. Is l a multiple of 8?
False
Let w = 20 - 25. Let r(l) = l**3 + 4*l**2 - 5*l + 9. Is 4 a factor of r(w)?
False
Let b(l) = -9*l + 96. Is b(10) a multiple of 6?
True
Let a = -11 - -15. Suppose 2*g = a*g - 6. Suppose -8 - 22 = -g*f. Is f a multiple of 4?
False
Let t be 6*-4*(-3)/(-6). Let b = -11 - t. Suppose -i + 2*k = i - 62, 0 = -k + b. Is i a multiple of 16?
True
Suppose 776 + 2608 = 2*x. Is x a multiple of 12?
True
Suppose 3*m = -6*m + 36. Suppose y - 144 = -2*y. Suppose -5*g = -m*g - y. Is g a multiple of 16?
True
Suppose 25 = -5*w, -5*d + w - 5 = -w. Let a be -32 + (3 - 0) + -6. Let s = d - a. Is s a multiple of 18?
False
Let j = -417 - -595. Let g = -3 - -7. Suppose -2*y = g*t - 123 + 11, 3*y = -t + j. Is y a multiple of 28?
False
Let u(o) = -o**3 - 9*o**2 - 8*o - 5. Let k be u(-8). Is 22 a factor of (67 - -3) + 1 + k?
True
Let o be 16 - 4*(-12)/(-16). Let q = -10 + o. Suppose -2*y = -q*w + 149, -3*w - 4*y + 216 - 73 = 0. Is 9 a factor of w?
False
Let p = -5 - -7. Suppose -p*q - q + 210 = 0. Suppose -5*d + q = -0*d. Does 14 divide d?
True
Let a = -1330 - -697. Let l = a + 948. Is l a multiple of 45?
True
Let m(g) = g**2 + 8*g - 8. Let n be m(14). Let l be ((-1)/3)/((-10)/n). Let r = -1 + l. Is 3 a factor of r?
True
Let w(k) = 2*k**3 - k**2 - 8*k - 9. Is 22 a factor of w(7)?
True
Suppose -u = -3*w - 2*u + 1219, -2*w = u - 814. Is 15 a factor of w?
True
Suppose 15*n - 10202 = -2402. Let o = -369 + n. Is 17 a factor of o?
False
Let f(v) = v**2 - 4*v + 4. Let j be f(3). Let h(b) be the second derivative of 5*b**3 + b**2 - 113*b. Does 10 divide h(j)?
False
Suppose 127*n + 2808 = 135*n. Is n a multiple of 9?
True
Suppose -2*t = 2*t. Suppose -4*p = 6*g - g + 71, t = -2*g + p - 31. Let c = g + 27. Is c a multiple of 8?
False
Suppose -24 + 4 = -r. Suppose 15*a - r*a = -1260. Is 28 a factor of a?
True
Let j(v) = -23*v - 53. Does 24 divide j(-5)?
False
Let j(i) = -80*i - 72. Is 8 a factor of j(-11)?
True
Let b(p) = -p**3 + 23*p**2 + 9*p - 21. Suppose -s + 138 = 5*s. Is b(s) a multiple of 31?
True
Does 35 divide ((-20)/(-16))/((-15)/(-4620))?
True
Let w(x) = 3*x**2 + 39*x - 495. Is w(-41) a multiple of 55?
False
Is 14 a factor of (180 - 8)/(2/4)?
False
Let c(s) = s**3 - s - 2. Let t be c(-4). Let k = t + 95. Is 11 a factor of k?
True
Suppose -2 = 3*v - 17. Suppose 147 = 5*j - 2*p, 3*p - 5*p - 116 = -4*j. Suppose x - j = -x + v*u, 4*x - 2*u = 70. Is x a multiple of 18?
True
Suppose q = 3*h + 6 + 41, 4*q + 5*h - 205 = 0. Does 10 divide q + 1 + (-2)/2?
True
Let c = 61 - 61. Suppose c = 4*m - 157 + 1. Is m a multiple of 5?
False
Let c(n) be the second derivative of -2*n**5/5 - n**4/12 + n**3/2 + n**2 - 39*n. Does 40 divide c(-3)?
True
Let m(i) = -i**2 - 42*i - 17. Is m(-20) a multiple of 5?
False
Let x = -599 - -927. Is x a multiple of 82?
True
Suppose 0 = 3*j - 123 - 132. Suppose 0 = 8*p - p - 35. Suppose 5*w - 2*c = -0*w + j, p*w = 5*c + 85. Is w a multiple of 7?
False
Let m(k) = -88*k + 24. Is m(-8) a multiple of 26?
True
Let d(a) = a**3 - 2*a + 1. Let v(y) = -y**2 + 9*y + 11. Let q be v(10). Let l be d(q). Suppose 2*g - 24 - 10 = l. Is 17 a factor of g?
True
Let u(q) = q**3 + 12*q**2 + 7*q + 1. Let n be u(-5). Let h be (n - 2) + -4 + 0. Let w = h + -78. Does 22 divide w?
False
Suppose 5*x = 2*k - 213, -10*x - 9 = -13*x. Is 19 a factor of k?
True
Is 2 a factor of 439 - (-63)/((-63)/(-7))?
True
Let j(d) = d**3 + 5*d**2 + 4*d + 3. Let l be 60/(-14) + (-2)/(-7). Let w be j(l). Suppose -2*i - 3*r + 5 = 0, 4*r = i - 5 - w. Is i a multiple of 3?
False
Let l(o) = 322*o**3 - o**2 + 1. Let w be l(1). Suppose -w = -4*n + 86. Is n a multiple of 9?
False
Let b = -594 - -1726. Does 44 divide b?
False
Let t(c) = -c + 4. Let r be t(0). Suppose -r*o + 3*i + 24 = -2*i, -o = 5*i - 6. Does 14 divide (28/10)/(o/60)?
True
Let l be ((-6)/(-24))/(1/(-4)). Is 8 a factor of 9 + 3/(l + -2)?
True
Let i(f) = -37*f + 45. Let l be i(-5). Suppose -c + l = -0*c. Does 14 divide c?
False
Let q(w) be the third derivative of w**7/840 + 7*w**6/360 + w**5/40 - w**4/4 + w**3 - 2*w**2. Let s(z) be the first derivative of q(z). Does 4 divide s(-6)?
True
Suppose -140 = -m - 6*m. Is 4 a factor of m?
True
Let a be (-1 - 3) + -1 + (-164)/41. Is a - -7 - (2 - 11) a multiple of 7?
True
Suppose 0 = -4*k - 4*i + 48, -2*i = -2 + 6. Let y be (k/8)/(5/(-260)). Let d = y - -138. Does 9 divide d?
False
Let b = -250 - -433. Is b a multiple of 16?
False
Let y = 650 + 400. Does 25 divide y?
True
Let i be 129/2 - (-2)/(-4). Suppose -32*r + 96 = -35*r. Let f = i + r. Does 15 divide f?
False
Is 18 a factor of (27/(-12)*-14 + 5)*26?
False
Let k = -1391 - -1410. Is 2 a factor of k?
False
Suppose 10 = 2*o - 0, 0 = 4*w - 5*o - 6263. Is 131 a factor of w?
True
Let i = 785 - 476. Let y be i - (4 + (-15)/3). Suppose 5*d - y = -a + 3*a, 40 = d + 4*a. Is 15 a factor of d?
True
Let b(q) = 39*q - 8. Let l be b(-6). Let f(n) = -2*n + 13. Let a be f(4). Is 25 a factor of l/(-10) + 4/a?
True
Let d(r) = -r**2 - 48*r + 387. Let x be d(7). Suppose 0 = 4*u - 17 - 15. Suppose -x*p - 2*p - u = 0, -h + 19 = -p. Is h a multiple of 12?
False
Let h = -172 - -173. Does 6 divide h/4 + (-955)/(-20)?
True
Let m(b) = 3*b**2 + 45*b + 16. Does 8 divide m(-23)?
True
Let q(f) = -6*f + 4*f + 3 - 2*f - 4*f. Let a = 10 - 14. Is 33 a factor of q(a)?
False
Let w be 10/4*190/25. Let d = 68 - w. Is 7 a factor of d?
True
Let a be (-7)/(-14) + 250/4. Suppose 8*i + 15 = 11*i. Suppose -2*q + h = 3*q - 79, -i*q = 3*h - a. Does 15 divide q?
True
Let d(z) = z**2 - 13*z + 3. Let m be 4 + 1*(-2 + 0). Suppose -3*y + 14 = -m*y. Is d(y) a multiple of 11?
False
Let g(t) = 4*t - 49. Let x be g(13). Let v(i) = 16*i**2 + 1. Is 31 a factor of v(x)?
False
Let n = -66 + 91. Does 10 divide (-15 + n)/(1/6)?
True
Let u(n) = n**2 + 9*n. Let r be u(-10). Suppose 828 = 3*v - 4*j, j = -v - j + 286. Does 9 divide (-15)/r*v/(-12)?
False
Let m(n) = -n + 4. Let a be m(0). Suppose 49 = -2*t + 175. Suppose 2*k + 54 = 2*w, -a*w - 3*k + t = -17. Is w a multiple of 8?
False
Let o(l) be the first derivative of l**2 - 9*l - 11. Suppose -w + 2 = -6. Is 2 a factor of o(w)?
False
Let z(m) = 27*m - 7. Suppose 21*x = 26*x - 10. Let u be z(x). Suppose v - 2*v + u = -4*l, -12 = 4*l. Is v a multiple of 15?
False
Let o be 34/12 + (-14)/(-84). Suppose -o*l + 92 = -7*l. Let j = l + 54. Is 22 a factor of j?
False
Suppose 7440 = -140*j + 156*j. Is j a multiple of 5?
True
Suppose 3*l + 615 = -3*o, -o = -2*l + 3*o - 440. Does 5 divide (l/(-12))/((-3)/(-6))?
True
Suppose -404 + 984 = 2*y. Is y a multiple of 10?
True
Let c(s) = -56*s - 71. Is c(-14) a multiple of 23?
True
Let n(i) = 2*i**2 - 10*i + 3. Let z be n(5). Suppose 3*b + 14 = l - 0*b, 0 = 2*l + z*b - 55. Is 6 a factor of l?
False
Let j(w) = w**2 - 4*w + 8. Suppose x + 39 = 5*p, 2*p - 29 + 8 = -5*x. Is j(p) a multiple of 6?
False
Does 15 divide 194/(-1455) + 8584/30?
False
Let i(h) = 761*h - 9. Is i(1) a multiple of 8?
True
Let a(n) = -27*n + 6 - 32*n + 52*n. Is a(-9) a multiple of 23?
True
Suppose -x + 5 = -0*x, -4*x = 2*b - 2. Does 15 divide b - -8 - 1*-106?
True
Let w be 4/4*19 - 0 - 0. Let n = 29 + w. Is 16 a factor of n?
True
Let f(q) = q**2 - 4*q - 7. Let j be 8*(-3 + 9/4). Let p be f(j). Let o = -23 + p. Does 30 divide o?
True
Let h = 0 - -2. Suppose 63 = -0*c + h*c - 5*t, -3*t = -4*c + 133. Is 8 a factor of c?
False
Let k be (-96)/(-12) - (0 - 0). Suppose -3*t + k = -t. Suppose 0 = 10*r - t*r - 66. Is r a multiple of 5?
False
Let f(j) be the second derivative of 5*j**4/12 - j**3/3 + 28*j. Let u be (-33)/(-9) + (-4)/6. Does 18 divide f(u)?
False
Let v(w) = -w - 8. Let j be v(6). Let z = j + 10. Is 12 a factor of 35 + 1/(-4)*z?
True
Let v = 278 - 113. Does 55 divide v?
True
Let s = 758 - 437. Is 50 a factor o