6?
False
Let n(t) = t**2 - 11*t + 21. Let q be n(9). Suppose -15 = -2*i + 3*b, q*i + 0*i + 4*b = -3. Suppose -d = -i*p - 78, 2*d - p - 162 = 2*p. Is d a multiple of 21?
True
Suppose v - 32 = -4*j, -2*v + 2*j + 50 = -v. Is 6 a factor of v?
False
Suppose -3*k + 5*o = -1349, -k = 4*k + 4*o - 2199. Is k a multiple of 2?
False
Does 20 divide (-31160)/246*(-3 + 0)?
True
Let l be 12/5 + (-45)/(-75). Suppose l*a - 135 = -4*w, -1 - 2 = a. Is 17 a factor of w?
False
Suppose -2*t = 7 - 1, 3*n - 3*t = 111. Suppose -5*w - 247 = 8. Let s = n - w. Does 20 divide s?
False
Let y(j) = -2889*j + 17. Let r be y(3). Does 9 divide r/(-40) - 2*(-1)/(-8)?
True
Let n(i) = -i**2 - 21*i + 92. Is n(-20) a multiple of 28?
True
Suppose -5*s + 4*s - 216 = 0. Let l = s + 367. Does 8 divide l?
False
Let v(g) = 3*g - 11. Let j be v(7). Suppose -k - 10 = a, -2*a = 3*a - j. Is (16 + k/(-4))*2 a multiple of 19?
True
Let m(g) = g**2 + 12*g + 20. Let y be m(-10). Suppose a - 22 + 6 = y. Is 4 a factor of a?
True
Let a(n) = -n**3 + 10*n**2 - 7*n - 18. Let j be a(9). Suppose -5*g = 2*y - 163, j = -4*y - 10*g + 15*g + 311. Is y a multiple of 8?
False
Is -2*(0 + (-348)/8) a multiple of 14?
False
Suppose 1547 = 7*m + 126. Is m a multiple of 29?
True
Let r(s) = s**2 + 6*s + 7. Let a be r(-5). Let j be 54 + ((-3)/3 - a). Let z = -22 + j. Is z a multiple of 13?
False
Let g be 8/10*(-15)/(-2). Let q be 2/g + 268/(-3). Let b = -28 - q. Does 26 divide b?
False
Suppose -14*s + 32164 = 29*s. Is s a multiple of 11?
True
Let d(f) = -f + 5. Let x be d(6). Let t = 5 - x. Is 8 a factor of 12/(-5)*(-20)/t?
True
Let a be (9/4)/(5/(-40)). Let c(x) = x**3 + 18*x**2 - x + 19. Is 9 a factor of c(a)?
False
Let l(b) = -b**3 - b**2 + 3*b + 2. Let k be l(4). Let j = -22 - k. Suppose -m + 12 = -j. Is 14 a factor of m?
True
Let y(t) = 3*t - 21. Let f be y(8). Suppose f*d - i - 78 = 0, -3*i = -2*i - 3. Is d a multiple of 27?
True
Let p(g) = 3*g + 7. Let f be p(6). Let b be (-1)/((-50)/(-55) + -1). Let u = f - b. Is 5 a factor of u?
False
Does 17 divide 4693/7 + (-8 - 901/(-119))?
False
Let r(m) = -3*m**3 - 11*m**2 + 6*m + 29. Is 13 a factor of r(-8)?
False
Let z be (-2)/4*0 - 1. Let x(v) = 1 - 5*v + 4*v - 76*v. Does 13 divide x(z)?
True
Suppose 3*u = n + 151, -n - 33 = -u - 5*n. Let v = -3 - -4. Suppose -v + u = c. Does 14 divide c?
False
Suppose 19*n + 5*n = 10272. Is n a multiple of 29?
False
Suppose 348*q - 4516 = 344*q. Is q a multiple of 26?
False
Let w(q) = q**3 + 7*q**2 - 5*q - 16. Let x be 14*-2*(-4)/(-16). Is w(x) a multiple of 4?
False
Suppose -21 = -x - 3*g, -x = -5*x - 5*g + 77. Suppose 17*n - x*n + 46 = 0. Is 13 a factor of n?
False
Let u(o) = -o - 13. Let b(h) = h. Let n(w) = -5*b(w) + u(w). Does 25 divide n(-14)?
False
Does 29 divide ((-89)/(-356))/(3510/(-3512) - -1)?
False
Suppose 2*k - t - 10 = 0, 5*t - 10 + 45 = 5*k. Suppose -270 = -6*o + k*o. Does 18 divide o?
True
Let c = 147 + -88. Let m(l) = l**3 - 3*l**2 + l + 2. Let d be m(3). Suppose -d*n + c = 3*w, 5*w - 115 + 38 = -3*n. Does 8 divide w?
False
Is -2 - 41058/(-15) - (-48)/60 a multiple of 114?
True
Suppose -4*d + 4*l = -320, 0*l - 5*l + 125 = 2*d. Suppose -2*f - 413 = 5*n - 3*f, 4*f - d = n. Let g = -44 - n. Does 13 divide g?
True
Let w(j) = j**3 + 9*j**2 - 9*j + 5. Let r be w(-9). Let p = 19 - r. Let x = 124 + p. Is 21 a factor of x?
False
Let j(u) = u**3 - 8*u**2 - 15*u + 22. Is j(11) a multiple of 10?
True
Suppose -4*a - 4*f + 123 + 637 = 0, 5*f + 345 = 2*a. Suppose c - 6*c = -a. Is 37 a factor of c?
True
Suppose 168*w + 139384 = 196*w. Is w a multiple of 19?
True
Let b(p) = 8*p**2 + 133*p - 18. Does 46 divide b(-18)?
False
Suppose 3*u - 545 = l, u + l = -l + 191. Let w = u + -103. Does 20 divide w?
True
Suppose -2*s + 49 = -5*k + 2*k, -4*k = 4*s - 108. Is 26 a factor of s?
True
Let z be (2 - 28/10)*15. Is (-2)/6 + (-724)/z a multiple of 19?
False
Let s(z) = -z**2 + 6*z + 9. Let c be s(-3). Let y be 6/c + 30/9. Suppose -2*q = -y*q + 88. Does 23 divide q?
False
Let t(n) = 91*n**3 + 2*n**2 - 4*n + 3. Suppose -6 = -5*f - f. Is t(f) a multiple of 23?
True
Let q = 83 - 83. Suppose -8*v - 55 + 191 = q. Is v a multiple of 17?
True
Let v be (-3)/(1 - 2) + 4. Suppose -v*j - 20 = -76. Suppose -t = t + j, -236 = -3*i - t. Is i a multiple of 14?
False
Let o(t) = t**2 - 13*t - 22. Let f be o(15). Let j be 4/(f/4) + 1. Does 6 divide -3 - 3/(-1)*j?
True
Let q(f) = 7*f**3 - 14*f**2 + 5*f - 15. Let j(x) = 13*x**3 - 27*x**2 + 9*x - 29. Let r(c) = 6*j(c) - 11*q(c). Let b be r(7). Does 10 divide (-637)/b - (-1)/5?
True
Let o be (108/(-21))/(3/(-21)). Suppose 2*u = -2*u + o. Let i = 16 - u. Is i even?
False
Suppose -31 + 87 = 14*y. Suppose -y*p - 17 + 857 = 0. Does 30 divide p?
True
Suppose -100 = 16*v - 21*v. Is v a multiple of 6?
False
Let f(d) = -d**3 + 25*d**2 - 30*d - 26. Does 73 divide f(10)?
False
Suppose -2*j + 3 = -3*p, j - 3*j - 3 = -p. Let f(n) = -2*n**3 - 3*n**2 - 4*n - 1. Does 10 divide f(j)?
False
Let y(i) = 9*i**2 + 14*i - 79. Is 124 a factor of y(18)?
False
Let l(w) = -6*w + 5. Let h be l(0). Suppose 3*x - 444 = -h*q, -3*q + 0*x = x - 268. Is 18 a factor of q?
True
Let r be (-1 - -18) + -1 + 1. Suppose 4*v - 209 + r = 0. Suppose 2*s + 61 = -5*n + 265, 2*s = n - v. Is n a multiple of 7?
True
Suppose -3*c + 5*i = -2, c - 2 = 6*c - 3*i. Let h(m) = -33*m. Let g be h(c). Suppose -4*s - g = -237. Is s a multiple of 17?
True
Let o = 20 + -12. Is (13 + 1)*4/o a multiple of 4?
False
Let i = 201 + 699. Is i a multiple of 36?
True
Suppose -4*v + 4*l + 6848 = 0, -3583 - 1573 = -3*v - 2*l. Is 33 a factor of v?
True
Suppose 86 - 31 = -r. Is 11 a factor of -2 - ((r - 0) + 2 - -4)?
False
Let t = -435 + 2134. Is 39 a factor of t?
False
Suppose 120 = 124*v - 122*v. Does 20 divide v?
True
Suppose 7*p = 1779 + 7251. Does 15 divide p?
True
Let i be 0 - -3 - (-2)/2. Suppose 3*j + 13*j - 128 = 0. Let f = j + i. Does 5 divide f?
False
Let h = 13 - 8. Let w = h - 17. Is 3 a factor of 3/12 - 117/w?
False
Suppose -3*p + g + 51 = 16, 0 = -3*g - 15. Suppose -p*c = -501 - 379. Is c a multiple of 39?
False
Suppose 2*o - 369 = -3*j, -345 = -2*o + 4*j + j. Is -2 + 2 + o/2 a multiple of 18?
True
Let k(p) = -p**3 - 8*p**2 + 9*p - 6. Let n be k(-9). Let j(r) = r - 5. Let q be j(n). Let i(d) = -d**3 - 10*d**2 + 4*d + 1. Does 26 divide i(q)?
True
Suppose 10*q = 66*q - 40768. Is 8 a factor of q?
True
Let l(g) = -57*g - 136. Is 8 a factor of l(-8)?
True
Suppose 3*f - 1466 = -4*d, -4*f + 4*d = 9*d - 1954. Does 34 divide f?
False
Let v be (-2)/(-9) - (-86)/18. Let x(c) = 223*c - 107*c - 17 - 107*c. Is x(v) a multiple of 6?
False
Suppose 0 = -311*f + 320*f - 27. Is f a multiple of 3?
True
Let s = -1373 - -2086. Is 23 a factor of s?
True
Let b(p) = p**2 + 22*p - 5. Let g be b(-11). Let r = g + 222. Is 16 a factor of r?
True
Suppose 2*k + a - 7503 = 0, -3*k + a = -2*a - 11241. Is 75 a factor of k?
True
Let b be (1 - -2)*4/18*-48. Let a(o) = -4*o**2 - o + 1. Let c be a(2). Let j = c - b. Does 2 divide j?
False
Let i(n) = 48*n - 11*n + 16 - 26*n. Does 42 divide i(10)?
True
Suppose -5*g - 6*f = -3*f - 1175, -f + 469 = 2*g. Let u = -223 - -228. Suppose -u*k = -k - g. Is k a multiple of 18?
False
Let h = -31 - -26. Let p = -85 - h. Is 18 a factor of p/(-3) - (-48)/36?
False
Let k = -810 + 1585. Suppose -3*o = -8*o + k. Does 5 divide o?
True
Let o(t) = t**3 - 18*t**2 + 25*t - 6. Does 10 divide o(17)?
True
Let p be 8/6*81/36. Suppose 5*k + s = 509, 4*s + 1 = -p. Is 17 a factor of k?
True
Is 44 a factor of ((-1094)/(-6) - 1)/(30/180)?
False
Suppose 2*i + 27 = -5*n, n + 2*i + 1 = 6*i. Let o be (-18)/45 - (-223)/n. Is 1*86 - o/(-15) a multiple of 14?
False
Let m be 10/(-5)*(-2 - -1). Suppose m*x - 513 = -117. Suppose 0 = -z - 2*z + x. Is 19 a factor of z?
False
Let j(a) = -7*a - 328 + 0*a + 309. Is j(-11) a multiple of 12?
False
Suppose 8 = 2*v - 0. Suppose 3*w - 4*d - d = 27, 0 = 4*w + v*d - 4. Suppose -w*z + 9*z - 4*f = 206, 209 = 5*z - f. Does 6 divide z?
True
Let i = 2861 - 2523. Is i a multiple of 60?
False
Let v = 8 - 0. Let o(u) = -2*u**2 + v*u + 12*u**2 - 6 + 3*u**3 - 1 - 2*u**3. Does 28 divide o(-7)?
True
Let p be 288/60 + 3/15*1. Suppose -p*o + 836 = 16. Is o a multiple of 31?
False
Suppose 6 = -2*l + 4*k, 5*l + 4*k - 13 - 28 = 0. Suppose 0 = 4*y + 3*x - 69, 2*y - 15 = -0*y + l*