 - 2. Does 23 divide b?
True
Suppose -4*w + 7*s - 2*s = -6, 4 = 2*s. Let x(l) = 2*l**3 + 4*l**2 - l - 1. Let u be x(3). Suppose -4*a + 52 = w*i, 5*a - u = 2*i - 0*i. Does 8 divide a?
True
Is 17 a factor of (102/(-16))/((-207)/(-4692))*-8?
True
Let w(b) = 938*b. Does 28 divide w(1)?
False
Suppose -2*o - 4*n + 1092 = 0, 0*o - 5*o = -2*n - 2670. Suppose 6*g - o = -2*g. Is g a multiple of 11?
False
Suppose -7*n = 4*n - 30140. Suppose -2848 - n = -22*d. Is d a multiple of 15?
False
Suppose 0*c - 12 = -3*c. Let k be (-21)/14*(-4)/6. Is 0 + (15 - (k - c)) a multiple of 9?
True
Let d(j) = j**3 - 10*j**2 + 5*j - 1. Let n be d(8). Let c = n - -158. Does 20 divide c?
False
Let m(h) = 15*h - 9. Is m(4) a multiple of 3?
True
Suppose 5*i + s + 24 = 93, 3*i - 2*s = 31. Suppose c = 3*j - i, 0*j + 17 = 5*j + 3*c. Suppose 5*f + 2*k + k = 527, -j*f - 4*k + 420 = 0. Is f a multiple of 22?
False
Suppose 3*f - 1050 + 1026 = 0. Is 8 a factor of f?
True
Let k be ((-16)/(-10))/(2/15). Suppose -22*w + 2*n = -23*w + 160, -2*w = -3*n - 285. Suppose k*r - w = 7*r. Does 10 divide r?
True
Suppose -21 - 209 = -5*l + 3*k, -3*l + 3*k + 138 = 0. Suppose 15*m = 17*m - l. Suppose m = 5*v - 142. Is v a multiple of 14?
False
Suppose 0 = -4*o + 3*w - 4*w - 3, -9 = -5*o + 3*w. Let u = -201 - -204. Suppose -2*b = -u*r - 0*b + 180, o = r + 4*b - 60. Does 12 divide r?
True
Let x(r) = 87*r + 3. Let g be x(4). Let c = -231 + g. Suppose -5*z + h + 131 + 39 = 0, -4*z + 4*h + c = 0. Is 7 a factor of z?
True
Suppose 0 = -1487*q + 1478*q + 30816. Does 85 divide q?
False
Let s(z) = -z**2 - z + 15. Let j be s(4). Does 11 divide ((-790)/3)/j + (-4)/6?
False
Let k(o) = -8*o**3 - 3*o**2 - 2*o - 2. Suppose 5*q = -13 + 3. Is k(q) a multiple of 18?
True
Let c = -1329 + 2327. Is c a multiple of 56?
False
Suppose -4*w + 3*x - 162 = 0, 2*x + 10 + 36 = -w. Is 10 a factor of (-1)/(15/w)*25?
True
Suppose -9397 - 11043 = -20*o. Does 26 divide o?
False
Suppose 0 = -3*r - 2*r. Suppose -t + 6*t = r. Suppose 2*b = b + 2*p + 46, -b - 3*p + 56 = t. Is 10 a factor of b?
True
Let r be (-25 - -9) + (-2 - -1). Let q = 33 + r. Does 4 divide q?
True
Suppose 0 = 2*m - 4*m - 8. Is m/(-10)*(126 + -16) a multiple of 12?
False
Let y(k) = -3*k**3 - 15*k**2 + 7*k. Let c(o) = 13*o**3 + 59*o**2 - 29*o - 1. Let w(u) = -2*c(u) - 9*y(u). Let h be 2/(2 + 108/(-51)). Is 19 a factor of w(h)?
False
Let s(l) = 15*l - 15*l - 2 + l**2. Let w be s(2). Suppose 2*f - 10 = -p, -p + w + 8 = -5*f. Does 10 divide p?
True
Let u(y) = 13*y - 6. Let x be u(2). Is (x - 9) + (1 - (-1 - -1)) a multiple of 12?
True
Suppose 0 = -2*x + 5*f + 17, -3*f - 1 - 11 = -3*x. Is -5 + (x - (-135 + 0)) a multiple of 13?
False
Is 3*(-4)/((-32)/2008) a multiple of 16?
False
Suppose -f = 4*f - 140. Let q be (1 - 1) + f/14. Suppose v - 71 = -q*l - 3*l, 253 = 3*v - 5*l. Does 27 divide v?
True
Let h = -2 + 2. Suppose 3*c - 105 = 3*i, 2*c + 5*i - 8 - 41 = h. Suppose -3*f + 13 = -c. Is f a multiple of 15?
True
Let i = -92 - -96. Suppose 2*p = 2*l - 7*l + 171, 0 = i*p - 3*l - 407. Is 7 a factor of p?
True
Suppose 3*v + 2*v = -2*z, 2*z - 16 = 3*v. Let m be (-10)/(v*(-2)/(-32)). Suppose i - m = -i. Is i a multiple of 8?
True
Suppose -4944 = 31*p - 47*p. Is p a multiple of 51?
False
Suppose 7*g + 9 = 93. Is 13 a factor of 1806/g - (-2)/(-4)?
False
Let v = -150 + 400. Suppose -3*t = -v - 89. Does 34 divide t?
False
Let i(p) = -17*p**3 - 2*p**2 - p. Let s be i(-1). Is 13 a factor of (-5)/((s/(-20))/4)?
False
Is 11 a factor of 8/24 + 8/(-36)*-1956?
False
Let j(h) = 22*h. Let r be -4 - -8 - (3 - 3). Let v be r/10*(0 + 5). Does 11 divide j(v)?
True
Let q = -278 - -915. Does 25 divide q?
False
Let m = -698 + 1543. Is m a multiple of 13?
True
Let x(o) = -183*o + 66. Does 18 divide x(-2)?
True
Suppose -26*c = 11*c - 38036. Is 8 a factor of c?
False
Let m(b) = b**2 + 2*b + 22. Let o(y) = -y - 1. Let j(q) = m(q) + 5*o(q). Is j(-7) a multiple of 3?
True
Let z(y) = 5*y + 9. Let n be z(-2). Does 12 divide n + 87 - (-33)/(-11)?
False
Let n(y) = -2*y**3 - 2*y**2 + y. Let o be n(-2). Suppose 0 = -5*p, -o*i + 3*i = 4*p - 312. Does 26 divide i?
True
Let p be (-2)/((-6)/(-4) - 2). Let y(m) = -m - 19*m**2 + 18*m**2 + 6*m + 3. Is y(p) a multiple of 2?
False
Suppose -4*j + 275 = r, 5*r = 2*j - 7 - 158. Is 35 a factor of j?
True
Suppose -7*i = -314 - 463. Is 7 a factor of i?
False
Let f(l) = -2*l**3 + 3*l**2 + 2*l + 1. Let h be f(4). Let r = 152 - h. Is r a multiple of 15?
False
Let m(d) = -d**3 + 8*d**2 - d + 6. Let j be m(8). Let p be 3 + 8/(j + 6). Suppose 160 = p*s - 5*f, 9*f = 4*s + 4*f - 128. Is 15 a factor of s?
False
Let b(z) = 2*z**2 - 2*z - 6. Let a be b(6). Let q = a + -23. Is q a multiple of 11?
False
Suppose -w = -5*w. Suppose -12*o + 2*o + 1620 = 0. Suppose 13*a - 11*a - o = w. Does 13 divide a?
False
Let f(z) = z**3 + 4*z**2 - 2*z + 11. Let x be f(-5). Is 43 a factor of x/(12/301)*(-1 - 2)?
True
Suppose -28*r + 6340 = -2620. Is r a multiple of 80?
True
Let z(r) be the second derivative of r**4/3 + r**3/6 - 9*r**2/2 + 48*r. Is 24 a factor of z(-3)?
True
Let t(w) = -4*w**3 - w**2. Let f be t(-1). Let h be f/(-4) + 46/8. Suppose -h*d + 164 - 14 = 0. Is d a multiple of 10?
True
Let w(s) = -18*s**2 + 6*s - 1. Let z(j) = j**2 - 1. Suppose -7 = -2*r - 9. Let a(f) = r*w(f) - 5*z(f). Is 14 a factor of a(2)?
False
Let j(l) = l**2 - 6*l - 3. Let w be j(7). Let q be (1 + 10/w)*28. Let d = -68 + q. Is d a multiple of 15?
True
Suppose -8 = -2*o + 2*k - 6*k, 3*o = 2*k + 28. Let s be o/28 + (-12)/(-7). Suppose 5*u + 195 = 5*p, -s*p - p - u = -101. Does 17 divide p?
False
Let p = -254 + 322. Does 7 divide p?
False
Let y = -9 - -13. Let d = y + -4. Is (-2 + d/(-4))*-6 a multiple of 6?
True
Let c(y) = y**2 - 27*y - 85. Does 10 divide c(-14)?
False
Let b(f) be the second derivative of 0 - 11/6*f**3 + 3*f - 1/2*f**2. Is b(-1) a multiple of 7?
False
Let m be 7721/28 - (-3)/(-4). Suppose 0 = 3*u - m - 49. Is u a multiple of 8?
False
Let m = 10 - -212. Does 42 divide m?
False
Let l(a) be the second derivative of -2*a**3/3 + 21*a**2/2 - 13*a. Let y(c) = -c - 3. Let h be y(14). Is l(h) a multiple of 14?
False
Let m(j) = -2*j + 4. Let z be m(2). Let g be z/((-1)/4*-4). Suppose 0 = -i - g*i + 24. Is 24 a factor of i?
True
Let v = 1311 - 580. Does 64 divide v?
False
Suppose -3*g - 88 - 152 = 0. Let c = 166 + -302. Let q = g - c. Does 14 divide q?
True
Suppose -15*x = -13*x - 14. Let m = 14 + x. Suppose 11*p = 8*p + m. Is p a multiple of 4?
False
Does 34 divide (-3)/11 + (-195942)/(-561)?
False
Let q(s) = -s - 11. Let m be q(-10). Let g be -298*((-3)/(-6))/m. Suppose -3*k = 5*f - g, 4*f = -f + 2*k + 134. Is f a multiple of 7?
True
Let y(h) = -h**3 - 4*h**2 + 10*h + 9. Let o be y(-6). Let u be 9 + -7 + (1 - -2). Suppose u*c - 96 = -o. Does 11 divide c?
False
Suppose -14*u + 3514 = -9*u - 3*k, u - 702 = k. Does 16 divide u?
True
Let m(b) = 1009*b - 21. Is 52 a factor of m(1)?
True
Suppose 32*t = -1052 + 18012. Is t a multiple of 5?
True
Suppose 2*d = 2*l - 8, -5*d + 2*l = -d + 8. Suppose d = -7*b + 2*b. Does 8 divide b + (-2)/(4/(-22))?
False
Suppose -4*g - 16 - 24 = 0. Is 13 a factor of (112/g)/(30/(-75))?
False
Let u(y) = -752*y**3 - 2*y**2 - 4*y. Does 9 divide u(-1)?
False
Let o(q) = 8 + 11 - 2*q**2 - 8*q - 23. Let m be o(-3). Suppose m*y - 33 - 3 = 3*n, -4*y - 5*n + 28 = 0. Is y a multiple of 6?
True
Let b(p) = p**3 + 4*p**2 + 3*p. Let x be b(-2). Let w(c) = -6*c**x - 3*c - 8 - c**3 + 8 + 1. Is 6 a factor of w(-6)?
False
Let k be 4 + -8 - -1*18. Let d(n) = n + 7. Let v be d(k). Does 2 divide ((-13)/(-3))/(7/v)?
False
Let k = -575 + 674. Is 46 a factor of k?
False
Suppose h + 3*r = 159, -12 = 12*r - 8*r. Is 24 a factor of h?
True
Let s(l) = 4*l**2 - 16*l + 16. Is 10 a factor of s(6)?
False
Suppose -5*f + 429 - 54 = 0. Suppose -3*g = -c - 0*c - 145, -g - 5*c = -f. Does 12 divide g?
False
Is 10 a factor of 884/28 - -4 - (-3)/7?
False
Let d be 1392/78 - 4/(-26). Suppose -d*v = -3*v - 195. Does 5 divide v?
False
Let x(s) = 65*s**2 - 12*s + 27. Is 32 a factor of x(3)?
True
Is 27 a factor of 12/(-48) + 1033/4?
False
Suppose 4 = 4*w - 0. Let k(a) = -4*a + w + 6 - a**3 + 6*a**2 + 3 - 5. Does 21 divide k(4)?
True
Suppose -6*n = -169 - 17. Suppose 0 = -27*w + n*w - 360. Does 45 divide w?
True
Let w = -4 + -3. Let k(b) 