6 = -l. Let a = 193 - l. Is 9 a factor of a?
True
Is 58 a factor of ((-17)/((-272)/(-24)))/((-9)/348)?
True
Let t(z) = z**3 + 12*z**2 - 10*z - 1. Let q be t(-11). Suppose o = -3*d + 6*o - q, 0 = -2*d - 5*o - 170. Let k = -45 - d. Is 4 a factor of k?
False
Suppose w + 0*w = 363. Suppose 0 = -5*d - 20, -3*s - 2*s + w = -2*d. Suppose -m + 41 = -s. Is 32 a factor of m?
False
Suppose 1 = -2*b - 3*v - 3, -5*b + 12 = 2*v. Does 23 divide 575/(-10)*(b - 140/25)?
True
Suppose 159*k = 154*k - 1250. Is 14 a factor of (-10)/(k/195)*5?
False
Let d(q) = -2*q**3 + 2*q**2 + q - 1. Let b be d(-1). Let g(j) = 0*j + b*j**2 + j - 5*j + 8 + 0*j. Is 18 a factor of g(-7)?
False
Suppose 3*a = 5*w + 819, -2*w = 6*a - 10*a + 1106. Suppose 0 = 27*y - 29*y + a. Is y a multiple of 29?
False
Let g be 104/(-13)*2/(-4). Let i(d) = -d**3 + 5*d**2 - 5*d + 5. Let x be i(g). Does 25 divide (x - 12/16)*(-296)/(-2)?
False
Is 36 a factor of ((-66)/(-55))/((-3*7/1330)/(-691))?
False
Let v(w) = -358*w + 102. Does 19 divide v(-2)?
False
Suppose 1 = r + 2*d, -8 + 0 = -2*r - d. Suppose -20 = -5*h - r. Suppose -4*x + 4*y = -x - 346, -h*y = 3. Is 18 a factor of x?
False
Suppose -21028 = -3*l - 2*h, 2*l - 24*h + 18*h = 14026. Is 137 a factor of l?
False
Let s(r) = 2*r**2 + 49*r + 933. Does 18 divide s(-41)?
True
Suppose -14*i = -4*i - 210. Suppose 18*s - 228 = i*s. Let y = s - -110. Is 8 a factor of y?
False
Let h be (-36 - 31) + 3*1. Is h*(-3)/6 - (-3 + -1) a multiple of 36?
True
Let m(y) = -54*y**2 - 5*y - 13. Let n be m(4). Let o = n + 1285. Suppose -2*p + o = -240. Is p a multiple of 29?
False
Let a(d) = 77*d - 84. Let p be a(33). Suppose 36*l = 49*l - p. Is l a multiple of 7?
True
Suppose 98*s - 54320 = 90*s. Does 34 divide s?
False
Let j(t) = -9*t + 14 - 5 - 25*t. Let b be ((-42)/(-28) + 1)*8/(-5). Does 17 divide j(b)?
False
Suppose -4*k = -y - 33918, 0 = 46*k - 45*k - y - 8478. Is k a multiple of 32?
True
Suppose -7*o + 341 = 26. Let g = 61 - o. Suppose 0 = -2*z + 5*s + 128, -z - 5*s = -18 - g. Is z a multiple of 6?
True
Suppose -94 = l - 97. Suppose 3*q + q - 4*t = 820, -601 = -l*q - 4*t. Is q a multiple of 5?
False
Suppose -56806 - 66534 = -18*s + 56138. Does 13 divide s?
True
Is 7 a factor of (4/10)/(-3 - (-1278170)/426050)?
False
Let z be (8/6)/(12/27). Suppose 0 = z*g + 2*k + 1, 5*k + 3 = -4*g - 10. Suppose g*o - j = 19, -5*o + 0*j = 3*j - 13. Is o a multiple of 5?
True
Suppose 12*i = 4112 + 4180. Let p = i + -210. Is p a multiple of 29?
False
Let t = 16 - 9. Suppose 2*p + 65 = t*p. Let i = p + 29. Is 21 a factor of i?
True
Let v be (-24)/(-18)*36/8. Suppose -3*c = -5*c + v. Suppose -q + 3*l + 113 = 21, -c*l = -2*q + 172. Is 17 a factor of q?
False
Is 39 a factor of (((-48)/9 - 2)*3)/((-46)/8096)?
False
Is 5304/(-2)*(-176)/48 a multiple of 221?
True
Let c(y) = -15*y + 55. Let t be c(4). Does 8 divide 2 - -1 - 2875/t?
False
Suppose -2*k - 3*w + 1880 = 0, 0 = 3*w + 10 + 2. Suppose 33*r - 2519 = k. Is r a multiple of 21?
True
Let p(f) = -f**2 - 48*f + 48. Suppose 162 = -12*x - 306. Is 19 a factor of p(x)?
True
Let c be (-1)/(-3 - (-33)/12). Suppose 0 = 3*y + 2*y - c*v + 20, -v + 5 = y. Suppose 4*w + 4*n = 136, y*n - 64 = -w + 5*n. Is w a multiple of 13?
True
Suppose -6*j + 4040 = -1252. Suppose -2*h + j = -178. Is h a multiple of 53?
True
Let j(b) = 9*b + 90. Let v be j(-13). Let s = -9 - v. Does 3 divide s?
True
Let s(p) = 3059*p + 2022. Is s(19) a multiple of 137?
True
Let o(g) = -4*g**2 - 21*g - 11. Let u(b) = -5*b**2 - 22*b - 12. Let s(x) = -6*o(x) + 5*u(x). Let w be (-16 + 4)/(12/(-9)). Is s(w) a multiple of 23?
True
Suppose -4*r + 2*q + 22 = 0, 3*q + 3 = 3*r - 7*r. Suppose -r*d + 35 = -4*z - 8, -4*d + 2*z = -54. Suppose d*x = 1859 - 104. Does 45 divide x?
True
Suppose 0 = v + h - 9381, -68 = -4*h - 80. Is 92 a factor of v?
True
Let h = 326 + -322. Let b(w) = 15*w**2 - 10*w + 2. Is 32 a factor of b(h)?
False
Suppose 5*y - 4*g = -26, -2*g = 5*y - y. Does 11 divide ((-3)/(12/1232))/y?
True
Let y be 0 - (-16)/6 - (-28)/84. Suppose y*r - 6*r = -1878. Is r a multiple of 12?
False
Let a = -319 - -334. Suppose -3714 + 11709 = a*g. Is 25 a factor of g?
False
Let p(a) = 24 + 1025*a - a**2 - 1025*a. Let x be p(0). Does 2 divide x + (-4 + 2 - -4)?
True
Let v be 1/(-1) - -1*234/2. Suppose 2*u = 4*c - 0*c + v, 184 = 4*u + 4*c. Suppose -3*b + u + 52 = 0. Does 8 divide b?
False
Suppose 153*h - o + 54419 = 157*h, -68015 = -5*h - 3*o. Does 25 divide h?
False
Let g = -6911 - -10926. Does 7 divide g?
False
Let i(s) = -s**3 - 77*s**2 + 147*s - 375. Is i(-79) a multiple of 38?
True
Let k(g) = -60*g**3 + 12*g**2 + 48*g + 10. Is 16 a factor of k(-9)?
False
Let g(l) = l**3 + 2*l**2 - 19*l + 50. Let c be 6 - -1 - (2 - 4). Is 10 a factor of g(c)?
True
Let n = -3225 + 3549. Does 54 divide n?
True
Let d(b) = -3*b**3 - 9*b**2 - 29*b - 92. Is d(-12) a multiple of 56?
True
Let o(u) = 3026*u**2 - 13*u + 11. Is 72 a factor of o(1)?
True
Let f be 0 + 1 - 4108/(-13). Let v = f - 158. Is 4 a factor of v?
False
Let z = 60 - 56. Suppose -3*b + 0*s - 2*s = -106, z*s = 4*b - 168. Suppose 2*t + 4*c - 128 = -2*t, -t + 5*c + b = 0. Is t a multiple of 11?
True
Let l(i) = i**2 - 19*i + 86. Let w be l(12). Suppose w*t + 3 = h - 185, -370 = -2*h - 2*t. Is 6 a factor of h?
True
Does 40 divide 9645 - (10 - (363/33 - 12/2))?
True
Let n(k) = -4*k - 17*k + 136 + 24 - 43 + 177. Is 14 a factor of n(11)?
False
Suppose -3 = -6*g + 39. Let v(r) = -4*r**2 + 9*r - 7. Let n be v(g). Let f = -74 - n. Is 33 a factor of f?
True
Let p = 5595 - 2715. Is p a multiple of 53?
False
Suppose 22 + 5 = z. Let v = z - 24. Suppose -3*k + v*j + 288 = 0, -5*k + 2*j = -k - 392. Does 20 divide k?
True
Let q(i) = 112*i**2 - 7*i - 31. Let f be q(-7). Suppose 25*a - f + 1306 = 0. Is a a multiple of 6?
True
Suppose 0 = 15*c - 1685 - 70. Let t = c - 0. Suppose -34*h + t = -31*h. Is h a multiple of 22?
False
Suppose 202606 = 20*m + 8966. Is m a multiple of 132?
False
Let y(o) = 40*o - 24 + 116 - 125*o + 63. Is y(-3) a multiple of 47?
False
Suppose -20*t + 7 = -13*t. Let d be (t - -4) + (-4 - -2). Suppose 7*o = 3*o, -3*o = -d*u + 354. Is 9 a factor of u?
False
Let t = 133 - 140. Is 31 a factor of 19313/14 + t + 2/4?
False
Let g(z) = -z**2 + 14*z - 13. Let c(t) = -13*t. Let r be c(-1). Let h be g(r). Let s = h - -9. Is 9 a factor of s?
True
Let g(r) = 16*r - 168. Let q be g(11). Does 53 divide (1 - q) + 1154 + -1?
False
Let a(t) = -2*t**3 + 24*t**2 - 46*t + 13. Does 5 divide a(9)?
True
Let d = 2277 - -873. Is d a multiple of 126?
True
Suppose -k - 7 = -9. Suppose -2*u = -0*u + 6, -4*u = k*g + 50. Let w = 62 - g. Is w a multiple of 27?
True
Suppose 0 = -i + n + 562, 2*i - 346*n = -348*n + 1128. Is i a multiple of 5?
False
Let l(q) = q**2 - 29*q + 196. Let n be l(8). Is 163 - 7*8/n a multiple of 3?
False
Let f(s) be the first derivative of 9*s**2/2 - 15*s + 59. Does 13 divide f(8)?
False
Suppose -7*t - 4930 + 39236 = j, -j + 6 = 0. Is t a multiple of 25?
True
Suppose k - 2*k - 5 = -2*q, 4*k = -2*q + 10. Suppose 48 = 5*r + 2*s, 3 = -r + q*s - 1. Suppose 0 = 6*p - 5*p - r. Is p a multiple of 4?
True
Let i(f) = -f**2 + 5*f + 2028. Does 13 divide i(0)?
True
Let t = -59 - -62. Does 12 divide (-432)/((-9)/t)*80/24?
True
Let g be 0 + 30/5 - -242. Suppose -5*i = -3*i - g. Is i a multiple of 6?
False
Let p = 5 + -2. Let z(f) = 14*f + 187. Let s be z(-13). Suppose -3*o = 3*m - 243, p*o - s*o = -5*m + 405. Does 12 divide m?
False
Suppose k + 0*k - 5*z - 11 = 0, -3*k - 5*z = -13. Let x(u) = 3*u - 9. Let l(s) = -2*s + 4. Let b(f) = -5*l(f) - 3*x(f). Is b(k) a multiple of 13?
True
Suppose m = -2*j, m - 4 = -j - 3*j. Suppose 0 = 2*f + p - 6 - 2, j*p = f - 14. Does 3 divide f?
True
Does 29 divide ((-7)/((-147)/(-6)))/(50/(-735700))?
False
Let u(b) = -b + 36. Let r(q) = -18. Let y(n) = 9*r(n) + 4*u(n). Let z be y(13). Let s = z - -148. Is s a multiple of 9?
False
Is ((-19)/(-342)*531)/((-1)/(-184)) a multiple of 92?
True
Suppose 13*g = -28 + 80. Let b(r) = 391*r - 94. Is 15 a factor of b(g)?
True
Suppose -3*k + 2*u + 32 = 0, -u + 17 = k - 2. Let s be 3/(-2) + (-1225)/k. Let i = 128 + s. Is 27 a factor of i?
False
Let x(a) = a - 6*a**2 - 3*a - 3*a**2 - 9*a**2 + 15 - a**3. Let k be -3 - 3/(-2)*-10. Is 6 a factor of x(k)?
False
Suppose -2*g + 304 + 1384 = 0. Suppose 16*h - 3*h 