2, 0 = -2*x - 5*o + 610. Let h = -218 + x. Is h a multiple of 23?
True
Suppose -z = -3*z + 10. Suppose -7*u - n = -3*u - 164, 0 = -4*u + z*n + 188. Is 14 a factor of u?
True
Let c = -30 - -93. Let v be (8/12)/(6/c). Does 9 divide v + 30 - (0 + 1)?
True
Suppose 7*r - 54208 = -49*r. Does 22 divide r?
True
Suppose -2*d - 34 = -0*d. Let m be (-70 + 0)/(d - -16). Is 14 a factor of ((-18)/15)/((-2)/m)?
True
Let a be 1*162 + -10 + 12. Suppose 3*u + 2*r = 439, a + 107 = 2*u - 3*r. Does 12 divide u?
False
Suppose -4*s - 185 = s. Let l = s - -65. Let d = 43 - l. Is d a multiple of 7?
False
Suppose -3*l - n + 8 = 71, -5*l = -n + 97. Let m = -15 - l. Does 3 divide m?
False
Suppose -3*z + 5 = 2*u, 3*u + 7*z - 11*z - 33 = 0. Is u a multiple of 7?
True
Let z = 7 - 3. Let q(k) = 4*k**2 - 2*k + 16. Let t be q(-6). Does 17 divide t/5 + z/(-10)?
True
Let t be 161 + 2 + (-3 - -3). Suppose 0 = 2*w - 55 - t. Let c = w + -53. Is c a multiple of 17?
False
Let c(g) = g**3 - 6*g**2 - 3*g - 7. Let r be c(6). Does 32 divide (-10)/r + 278/5?
False
Is (-4)/(-12) - (0 + 3262/(-6)) a multiple of 32?
True
Let s(o) be the third derivative of o**5/30 + o**4/2 + 2*o**3 + 14*o**2. Does 11 divide s(-9)?
True
Let p(w) = 93*w - 36. Is p(4) a multiple of 16?
True
Is (30/6 - 3)/(1/638) a multiple of 44?
True
Let i(g) = 8*g - 17. Let n be i(-7). Let l = -38 - n. Is l a multiple of 6?
False
Is 1449/42*(-3)/(9/(-86)) a multiple of 70?
False
Let c = 8 + 17. Suppose -2*j + 0*j - 20 = -4*k, 3*j = -5*k + c. Suppose 0 = -k*t + 60 - 5. Is t a multiple of 7?
False
Suppose -64 = 22*q - 20*q. Let l = q - -74. Is 11 a factor of l?
False
Let u = 16 - -6. Let x = u - -195. Does 25 divide x?
False
Suppose 2*z = c - 344 - 50, -5*c + 3*z + 1935 = 0. Is c a multiple of 64?
True
Suppose 11*p = 6*p + 25. Suppose -p*d = -27 - 213. Suppose 0 = k - 5*x - d, -4*k + 0*k = -2*x - 138. Does 11 divide k?
True
Suppose 4*b = -b + 10. Suppose 2*p - 287 = -0*n - 5*n, -4*n + 286 = b*p. Suppose -21 + p = 2*r. Is r a multiple of 20?
True
Let f be (-4 - -2)*1 - -13. Suppose f*l = 14*l - 27. Is l a multiple of 9?
True
Let m = 10 - 1. Let p = 3 - m. Let i = p + 15. Is i a multiple of 9?
True
Let z be (8/3)/((-6)/9). Is z/6 + (600/9 - 2) a multiple of 10?
False
Let z be -3*3/18*-10. Suppose 2*u + 127 + 3 = z*o, 0 = -4*u - 3*o - 286. Let c = 101 + u. Is c a multiple of 12?
False
Let b(w) = -w + 6. Let v be b(4). Let o be 29 + v + (-1 - 4). Suppose -p + 1 = -0*j - j, -4*j - 2*p + o = 0. Is j a multiple of 4?
True
Let j be 3/6 + 207/2. Let d = 212 - j. Is 36 a factor of d?
True
Let j = 2129 - 1924. Is j a multiple of 80?
False
Suppose -16 = 4*f, -l - 17 = -2*l + 3*f. Suppose i = -2, -w = -l*w - 2*i + 8. Suppose -w*j + 6*j = 39. Is 3 a factor of j?
False
Let d = -982 - -1537. Does 15 divide d?
True
Let s(j) = -2*j**2 + 31*j - 7. Let g(w) = -w**2 + 16*w - 3. Let z(m) = 5*g(m) - 3*s(m). Let d be z(11). Is 2 a factor of ((-4)/d)/((-3)/(-84))?
False
Suppose -2*a = -3*y - 0*y, -3*a = -2*y - 5. Is 1/(y/182) + 2 a multiple of 11?
False
Suppose 20*z - 19*z = 69. Does 4 divide z?
False
Let f(y) = 9*y**2 + 19*y - 2 - 10*y - y**3 - 3*y. Is f(7) a multiple of 23?
True
Let g = -1504 - -2784. Suppose 13*v - g = 8*v. Suppose -5*f = -v + 16. Is f a multiple of 24?
True
Suppose -7*i = -4*i + 3*v - 366, -4*v + 16 = 0. Let t = i - 27. Is t a multiple of 16?
False
Let s = 2647 - 1973. Does 73 divide s?
False
Let q = -15 + 9. Let z(r) = -r**3 + 23*r**2 + 26*r - 35. Let h be z(24). Is ((-663)/h)/(q/4) a multiple of 34?
True
Suppose v = -0*v + 8. Let i(h) = 16 + 2*h**2 + v*h + 3*h + 2*h**2 - 5*h**2. Is i(11) a multiple of 8?
True
Let k be (7*2)/(11/11). Suppose -k*m = -10*m. Suppose m*a = 2*a - 42. Is a a multiple of 21?
True
Let b(w) = 5*w + 17. Let l be b(-3). Suppose l*d + 2*d - 140 = 0. Does 13 divide d?
False
Let v(d) = -d**3 - 8*d**2 + 13*d - 9. Let n be v(-11). Suppose -2*l = -2*f - 0*l + 144, 3*f = -2*l + n. Does 13 divide f?
False
Let k = 24 + -22. Suppose 0 = k*o - 5*o + 156. Does 13 divide o?
True
Suppose -31 = 4*b - 7. Does 5 divide (-3)/(b/10)*(14 + -4)?
True
Suppose 2*y + 3 = 5*z, -3*z + 6*z + 45 = -4*y. Let k = -14 - y. Does 19 divide (-376)/k + 40/50?
True
Suppose j = -10*j + 1749. Is j a multiple of 3?
True
Suppose 4*l + 5 = 2*j - 29, -11 = -j - 4*l. Suppose -6*x - j*x + 1554 = 0. Is 5 a factor of x?
False
Suppose -5*q = -7*q + 5*w + 146, -193 = -3*q + w. Is q a multiple of 9?
True
Let o(t) = 9*t - 15. Suppose -l - 2*d - 2 = -11, -1 = -d. Does 12 divide o(l)?
True
Suppose 5*f - 3 = 22. Suppose f*n = -23 + 3. Let v = 5 - n. Is 9 a factor of v?
True
Let m(t) = -5*t**2 - 15 + 5*t**2 - t**2 - 12*t + 0*t**2. Let z be m(-10). Is 27 a factor of 134/z + (-2)/(-10)?
True
Let q be 150/250 - 177/(-5). Let s(u) = 2*u - 5. Let i be s(5). Suppose -q - 34 = -i*z. Does 7 divide z?
True
Let j be (3/(-7))/((-7)/49). Suppose -551 = -d - 2*d + 5*a, -2*d + 361 = j*a. Is 14 a factor of d?
True
Suppose -4*v - 2*o + 154 = 0, 5*o = v - 2 - 9. Does 3 divide (v/(-14))/(3/(-21))?
True
Let t(n) be the third derivative of n**4/6 - 11*n**3/6 + 9*n**2. Let o be t(14). Suppose s - o = -u, -2*s + 78 = u - 3*u. Is s a multiple of 14?
True
Suppose -2853 = 12*d - 15*d. Is (-2)/((-24)/d) + 2/(-8) a multiple of 5?
False
Let h(m) = -m**2 + 9*m + 2. Let g be h(9). Suppose y + y = 4*u - 258, g*u - 130 = 2*y. Is 16 a factor of u?
True
Is 2 a factor of (40/(-30))/((-85)/81 - -1)?
False
Let u(f) = f**3 + 8*f**2 - 6*f + 6. Let o be u(-9). Does 19 divide (3 - (-77)/o)/(4/(-1194))?
False
Let l(t) = -t**3 - 7*t**2 - 2*t - 10. Let x be l(-7). Suppose 0 = -x*q + 5*q - 11. Suppose 4*r + j = -q + 114, -113 = -4*r + j. Is r a multiple of 9?
True
Let g(k) = k**2 + 2*k. Let h be (-8)/20 + (-18)/5. Let p be h*(0 + (-6)/(-4)). Does 12 divide g(p)?
True
Let l(k) = k**3 + 4*k**2 - 5*k + 2. Let u be (-2)/9 - (-129)/(-27). Let n be l(u). Is 17 a factor of (n - -1) + -4 + 42?
False
Let o be -6 + 2 - -4 - 0. Suppose -2*t + 5*t - 447 = o. Suppose 3*m - 1 = 2*m, m = 5*g - t. Is 10 a factor of g?
True
Let u(d) = 4*d**2 + 36*d + 219. Is u(-13) a multiple of 7?
True
Suppose 5*j - 5*h + 30 = 0, -2*h + 2 = 3*j - 5. Let z = 4 + j. Suppose -4*o = -z*b + 95, -5*b - o + 56 = -3*b. Does 13 divide b?
False
Let k(c) = 4*c + 3. Let a be k(-10). Let s be -7*-40*(-9)/42. Let d = a - s. Is 7 a factor of d?
False
Suppose 12*x = 1706 + 4678. Does 28 divide x?
True
Is 11 a factor of (98/(-14))/((-1)/79)?
False
Let r(u) = -u**2 + 2*u + 6. Let p be r(-5). Let y = p - -98. Is 15 a factor of y?
False
Let f be (11 + -5)*(-2)/(-6). Suppose -f*z + 6 = -6. Suppose 4*v - 46 + z = 0. Is v a multiple of 10?
True
Suppose -4*t + 17 + 63 = 0. Suppose -q = 19 + t. Let c = -28 - q. Is 11 a factor of c?
True
Suppose 2*q - u - 4*u + 9 = 0, 0 = 3*q + 3*u - 39. Let s(t) = 5*t + 24. Is 8 a factor of s(q)?
True
Suppose 2*y - 5*k = 6*y - 1600, -k = 5*y - 2021. Is y a multiple of 15?
True
Suppose 3*r + 3*i + 207 = 0, 6*i = 4*r + 2*i + 308. Let o = 190 + r. Is o a multiple of 15?
False
Let f(y) = -2*y + 13. Let z(g) = g**2 - 10*g + 9. Let u be z(9). Let n be f(u). Suppose 2*d - n = 47. Is 15 a factor of d?
True
Suppose -5*i - 3*n = -214, -5*i + 0*n + 230 = -5*n. Is 44 a factor of i?
True
Let k(m) = 3*m - 5. Suppose -6*n + 100 = -2*n. Suppose n = 3*l + 2*l. Is 4 a factor of k(l)?
False
Let h(r) = -r**2 + 3. Let a be h(0). Let z be (0 + 2)/(6/a). Let m(w) = 16*w**3 - w**2 + w - 1. Is m(z) a multiple of 4?
False
Suppose 0*c - 24 = -4*c. Suppose -c*b = -2*b - 4. Let m(f) = 26*f**3 + 2*f**2 - f. Is m(b) a multiple of 9?
True
Let k be (-8)/1*(3 + -4 - 1). Suppose -l + 4 = -2*w - k, -8 = 4*w. Does 8 divide l?
True
Suppose -9*n = -24*n + 7200. Does 15 divide n?
True
Let u be -1*(2 + 1 + -18). Let x = 26 + u. Let b = x - 27. Is b a multiple of 14?
True
Let w = -455 + 959. Is 19 a factor of w?
False
Let f(s) = 55*s - 1. Let q be f(2). Suppose -7*r + 94 + q = 0. Is r a multiple of 11?
False
Let n(g) = 2*g**2 - 2*g - 1. Let m be n(-1). Suppose m*f - 4*z = 21 - 0, 7 = f + 4*z. Does 6 divide f?
False
Let g be (2/(-3))/(2/(-9462)). Let y be (-8)/36 - g/(-18). Suppose -4 = 3*s - 1, -5*s = 4*a - y. Is 17 a factor of a?
False
Let t(q) = q**3 + 4*q**2 - 17*q + 16. Does 3 divide t(5)?
True
Suppose c + 52 = f - 94, 5*c = -f + 176. Is 17 a factor of f?
False