1762, i = -2*j + q + 567. Is j a multiple of 22?
True
Suppose 85*w = 89*w - 16. Is (3 - w)/((-3)/(-189)*-1) a multiple of 12?
False
Let x(n) = -n**3 + 5*n**2 + 6*n - 4. Let l be x(6). Let z be (3 + -2 - 3)*l. Let c(t) = -t**3 + 8*t**2 + 3*t - 11. Is 9 a factor of c(z)?
False
Does 4 divide (210/(-315))/(2/(-1278))?
False
Let a(n) = -2*n**3 - 19*n**2 - 21*n + 18. Is a(-9) a multiple of 14?
True
Is 1 + -7 + (24 - -35) a multiple of 4?
False
Let w = -27 - -15. Let s = 8 - w. Does 20 divide s?
True
Let w = -418 + 450. Is 19 a factor of w?
False
Suppose -l - 9 = -h + 65, -2*h = -3*l - 145. Is 11 a factor of h?
True
Let u be -3 - -4 - (1 - 2). Suppose -5*t = u*n - 230, 5*t + 5*n - 127 = 88. Is 8 a factor of t?
True
Suppose -4*o - 208 = -12*o. Suppose -2*p = 2*i - o, p - 4*i - 15 + 7 = 0. Is p a multiple of 2?
True
Let w = 1051 - 627. Is 53 a factor of w?
True
Suppose 0 = -18*g + 22*g - 72. Let d be 6/(-27) - 104/g. Let n(x) = -x**2 - 8*x - 8. Is n(d) a multiple of 3?
False
Suppose -h - 2*j + 9 = 0, 3 - 24 = -5*h + 2*j. Let y be (0 + 6)/2 - h. Does 21 divide (y + (-21)/(-3))*11?
False
Is (-3)/(-1) - (-1635)/(3 - -2) a multiple of 15?
True
Suppose -50 + 2 = -3*t. Let o = -9 + t. Is 172/14 + (-2)/o a multiple of 12?
True
Suppose -3*r + 15 = 5*j, 2*j + 7 = r + 2. Suppose -r*o - c = -407, 2*o - 3*c + 7*c = 170. Does 39 divide o?
False
Suppose 230 = 2*a - 4*m, 5*a + 9*m = 4*m + 530. Is 18 a factor of a?
False
Suppose 0 = d + 4, -2*b = 4*d - 3*d - 144. Suppose -106 - b = -3*k. Does 18 divide k?
False
Let z(t) = 5*t - 5. Let y = 5 - 2. Suppose q - 5*i = 26, 5*q - y*i - 42 = 2*q. Does 9 divide z(q)?
False
Let c(p) = -10*p**3 + p - 5*p**3 - 28*p**3. Let z be -6 - -1 - -3 - (-1 - 0). Is 14 a factor of c(z)?
True
Let m be 0/(-2 - (-1 + 0)). Suppose m = t - 3*t. Suppose 7 + t = y. Does 6 divide y?
False
Let p = 87 - 79. Suppose -110 = -p*y + 7*y. Is 13 a factor of y?
False
Let z(j) = -j**2 - 9*j + 2. Let w be z(-8). Let l = w + -32. Let g = 87 + l. Does 12 divide g?
False
Suppose -32 - 40 = -3*a. Let j = a - 63. Let p = j - -46. Does 6 divide p?
False
Let z(r) = r**3 + 10*r**2 + 3*r + 2. Let o(d) = d**3 + 10*d**2 + 2*d + 1. Let s(c) = -4*o(c) + 5*z(c). Is s(-9) a multiple of 12?
True
Suppose 4*o + o - 30 = 0. Let i(p) = -p**3 + 8*p**2 - 9*p + 9. Let m be i(7). Is 5 a factor of 350/(-21)*o/m?
True
Let m(q) = 74*q - 12. Suppose 4*p - 12 = 2*f, 4*f - 2*p = -0*f. Does 34 divide m(f)?
True
Suppose -1060 = -26*a + 16*a. Is a a multiple of 3?
False
Let k(r) = -r**2 + 46*r - 93. Is 14 a factor of k(33)?
True
Does 8 divide (-52 - -51)/(1/(-101))?
False
Let n = -37 - -210. Is n a multiple of 31?
False
Let i = -356 - -551. Does 7 divide i?
False
Let b(s) = -s**2 - 23*s + 10. Does 8 divide b(-7)?
False
Suppose 3*s - 5*r = 710 - 31, 2*r - 2 = 0. Is 76 a factor of s?
True
Let z(b) = 4*b**2 - 7*b + 1. Let y be z(2). Suppose -y*c + 345 = 5*t - 266, 0 = -3*c - 3*t + 615. Does 41 divide c?
False
Does 7 divide (19/(-57))/((-1)/1818)?
False
Let z be 52/(-39) + 4/(-6). Let g be 36 - (0/3 + z). Suppose 2*y = 3*y - l - g, -5*y = 3*l - 214. Does 13 divide y?
False
Suppose 4*n - 4*g = -n - 1300, 0 = -2*n - 5*g - 520. Let s = n + 364. Does 11 divide s?
False
Suppose -3*m + 0*i = 4*i + 3, -4*m + i - 4 = 0. Does 21 divide 1044/8 + -4 - m/(-2)?
True
Suppose -3*a + 11 = -4. Suppose 2*p - 2*j + 17 = -5*j, 3*p + 25 = -a*j. Does 12 divide (-142)/(-4) + (-5)/p?
True
Let d = 2979 + -2412. Is 9 a factor of d?
True
Let q(t) = -t**3 - 7*t**2 + 4*t + 11. Let r be 17/1 - (-9 + 13). Suppose 4*u - r = 2*i + u, -4*u - 4 = 0. Is 13 a factor of q(i)?
False
Is 10 a factor of (197 - (7 + -5))/((-9)/(-6))?
True
Suppose -7*v + 4*v + 18 = 0. Is (-7*(-2)/v)/(1/6) a multiple of 2?
True
Suppose 9*z = 5*y + 5*z - 14842, 5*y = -z + 14852. Is y a multiple of 90?
True
Suppose 3*g - 4 - 6 = -4*l, -4*l + 24 = -4*g. Does 21 divide (g + -4)*-1*49/14?
True
Let w be (-2860)/40*(3 + -1). Let r = 363 + w. Is r a multiple of 23?
False
Let l be 2/(-4) + (-68)/(-8). Let p be (8 - 2)*l/6. Is (p/10)/((-2)/(-10)) even?
True
Let p(j) = -j**2 - j - 1. Let h(d) = d**3 + 3*d**2 - 8*d - 8. Let w(y) = -h(y) + p(y). Let l be w(-5). Is (-10 - l)*(-54)/21 a multiple of 11?
False
Suppose -z = -3 - 15. Suppose -3*o + 3*d + z = -0*d, -2*d = o + 3. Suppose -83 = -5*f - o*s + 232, -4*f + 2*s = -230. Is 10 a factor of f?
True
Let s(t) = 21*t + 5. Let v be s(2). Let o = -23 + v. Is 14 a factor of o?
False
Suppose -6*f = -9*f + 9. Suppose -f*t + 216 = -t. Is t a multiple of 12?
True
Let n = 21 + 6. Let p = n - 15. Is 12 a factor of p?
True
Let s = 14 - 14. Let f(t) = t**3 + t + 6. Let z be f(s). Suppose -x + 36 + z = 0. Does 21 divide x?
True
Suppose -20*j - 85 + 345 = 0. Let b = j - -91. Is 13 a factor of b?
True
Is 12 a factor of (3 - (-8 + 12))*-1627?
False
Let c(u) = 3*u**2 + u + 2. Let a be c(-2). Suppose 27 = a*q - 15*q. Is 16 a factor of (-542)/(-12) - q/(-54)?
False
Let m be (-2 - -3)/((-127)/(-128) - 1). Let k = m + 186. Is 29 a factor of k?
True
Let f = -31 - -34. Suppose 0 = -3*h - 9, -r - 3*h + 991 = f*r. Is r a multiple of 25?
True
Let h(v) = 12*v**2 + v + 17. Does 12 divide h(-5)?
True
Let y(j) = -j + 4. Let s be y(5). Let r be 6728/(-56) - s/7. Is (r/50)/((-2)/45) a multiple of 14?
False
Suppose 2*d + 3*d + g - 7 = 0, 0 = -2*g - 6. Suppose d*r - 30 - 8 = 0. Is r a multiple of 9?
False
Is (-4)/(-6) - (-140)/(-84) - -7 a multiple of 3?
True
Let u(d) = d**2. Let m be u(-1). Suppose -4*o - 975 = -b, -3*o + 214 = 4*b + 931. Does 22 divide (m/(-3))/(3/o)?
False
Let o(j) = j**2 + 3*j - 6. Let b be o(-5). Suppose 4*h + 2*i - 146 = 0, -87 = -3*h - b*i + 25. Is (-9)/(-12)*h/3 a multiple of 2?
False
Is 19 a factor of ((-60)/(-25))/((-6)/(-700))?
False
Suppose -20 = -2*b - 2*f + 14, 0 = 3*b - 4*f - 37. Let w(d) = d - 18. Let o be w(11). Let m = o + b. Is m a multiple of 4?
True
Is (-30)/(-4)*216/60 a multiple of 9?
True
Let x(z) = -z**3 - 7*z**2 + 9*z - 4. Let h(v) = 2*v**3 + 6*v**2 - 9*v + 3. Let n(b) = -2*h(b) - 3*x(b). Is n(6) a multiple of 5?
True
Suppose 9 = 3*b - 0. Let m(x) = 43*x - 7. Let a be m(b). Let n = a + -62. Does 12 divide n?
True
Let w be 238/(-63) - 4/18. Is 10 a factor of (3295/50 - w/(-10))*2?
False
Suppose 3*h - 5*j - 5 = -2*h, -h - 5*j - 23 = 0. Let b be 2/(h - 11/(-3)). Let g(c) = 2*c**2 + 5*c - 5. Is g(b) a multiple of 5?
False
Does 9 divide (1078/(-21))/(-2)*(3 + 36)?
False
Suppose 7*l = 2*l - 50. Is 2*(1 + (-865)/l) a multiple of 35?
True
Let u = 3296 - 2416. Is 40 a factor of u?
True
Let y(w) be the third derivative of w**4/6 + w**3/2 - 11*w**2. Is y(8) a multiple of 34?
False
Let o(v) = -v**3 - 36*v**2 - 100*v + 67. Does 25 divide o(-33)?
True
Let b(h) = -h**3 - 37*h**2 + 2*h + 253. Is 15 a factor of b(-37)?
False
Let h(p) be the third derivative of p**4/12 + 2*p**3/3 + 16*p**2. Let i be 3 - -5 - 0/2. Is h(i) a multiple of 19?
False
Let l = 62 + -67. Let t(u) = -u**3 - 5*u**2 - 6*u - 2. Is t(l) a multiple of 14?
True
Suppose 2*n + 6 = 5*n. Does 7 divide (34/(-16)*-2)/(n/48)?
False
Suppose -32 = -3*g - 7*q + 3*q, -28 = -2*g - 4*q. Let y be ((-45)/30)/(1/(-6)) - 4. Suppose 1 = -h - g*k, y*k = -h - 2 - 1. Is 7 a factor of h?
True
Let j = 1164 - 264. Is 25 a factor of j?
True
Let p(z) = 7*z**3 + 4*z**2 - 27*z + 7. Does 77 divide p(5)?
True
Suppose -y + 3823 = -2*z + 865, -z - 8854 = -3*y. Is 59 a factor of y?
True
Let o = 480 - 321. Suppose -9*m + o - 24 = 0. Does 9 divide m?
False
Let b(t) = 79*t - 2. Let o be b(2). Let c be -3*(0 + o/(-9)). Let w = c + 11. Does 29 divide w?
False
Suppose -3*g + 223 = 2*y - 839, -2*y = -5*g - 1030. Suppose 0 = 5*r + 65 - y. Is 23 a factor of r?
True
Let p(x) be the third derivative of 13*x**5/60 + x**4/24 - x**3/6 + 2*x**2. Let b be (3 + (-5)/2)*-10 + 3. Is p(b) a multiple of 29?
False
Let i(k) = -152*k + 45. Let d be i(-7). Suppose -4*o - 2*g + d = -g, -2*g = 3*o - 833. Is 36 a factor of o?
False
Let v be 10/(-2) + 2 + 15. Suppose -y - v = -4*t, -2*y + 5*t - 3 - 9 = 0. Let u = y + 6. Is u a multiple of 10?
True
Let c = 332 - 286. Is c a multiple of 25?
False
Let h be ((-416)/24)/((-2)/6). Let k = h + -20. Is k a multiple of 22?
False
Let m = 704 + -335. Is 25 a factor of m?
False
Let c(h) = -h**2 + 8*h + 5. Suppose p - 16 = 5*p. Let g be 4*(-1)/2*p. Does 3 divide c(g)?
False
Suppose