pose -186 = 2*n - 2*a, -3*n + 4*a - 5*a - 263 = 0. Let f = b - n. Is 14 a factor of f?
True
Suppose -5*m + 0*h = 4*h - 12, -5*m - 2*h + 16 = 0. Is 3/(3*m/36) a multiple of 4?
False
Let t = 8 - 12. Let h be 2 + 9 - (-8)/t. Is 228/(-8)*(-6)/h a multiple of 10?
False
Suppose -4*b + 105 = b. Suppose -3*s + b = -3*r, 0 = -2*s - 2*s - r + 8. Is s a multiple of 2?
False
Let j be 10/4 - (-18)/12. Let v be j/(-10) + (-4)/(-10). Suppose -4*y - 4 = v, -4*q + 75 = -3*y + 4*y. Is 19 a factor of q?
True
Let x = 41 - -23. Is 8 a factor of x?
True
Let o = -19 - -15. Is 17 a factor of (8/(-12))/(o/186)?
False
Let x(g) = -3*g - 1. Is x(-8) a multiple of 23?
True
Let t be -3 - (-1)/(4 - 3). Is (-10)/((-2)/(2 - t)) a multiple of 10?
True
Suppose -4*d - 4*v = -64, -4*d - v + 54 = v. Let c = 41 - d. Is c a multiple of 16?
False
Is (-69)/(-12)*(-64)/(-8) a multiple of 12?
False
Is 7 a factor of 1 + -5*11/(-1)?
True
Let d = 177 + -60. Is 39 a factor of d?
True
Let c be (-2)/((-51)/(-57) + -1). Let x = -5 + c. Is 5 a factor of x?
False
Let i(h) = -h**2 - 6*h - 6. Let b be i(-4). Suppose 18 = 2*t + 3*m, -b*m = -t - 3*m + 11. Is 15 a factor of t?
True
Let c(s) be the third derivative of 0*s**3 - 2*s**2 + 0 + 7/20*s**5 + 0*s + 1/24*s**4. Is c(1) a multiple of 7?
False
Suppose -5*x = -y - 603, 4*x - 328 - 150 = 3*y. Is 13 a factor of x?
False
Let j(s) = -4*s - 2. Let b be j(-3). Let a = -10 + b. Suppose 3*h - 2*h - 6 = a. Does 3 divide h?
True
Let c = -51 + 31. Does 9 divide ((-32)/c)/(2/40)?
False
Suppose -28 = -2*k + 2*n, -5*k - 2*n + n = -52. Is k a multiple of 11?
True
Suppose -5*t + t = -48. Does 6 divide t?
True
Let x(c) = 7*c**2 - c - 3. Let d(a) = -a**2 - a. Let w(b) = 6*d(b) + x(b). Let z be (-1 + (-1 - -3))*8. Is w(z) even?
False
Let v = 3 - -3. Let c be (-8)/36 - 20/(-9). Let w = c + v. Does 8 divide w?
True
Let l = 2 - 18. Let m = -50 - l. Let i = m + 59. Does 12 divide i?
False
Let y(s) = -2*s**2 - 8*s - 7. Suppose -3*p = 2*g, -p + 38 = -3*g + 4*p. Let j be y(g). Let l = -21 - j. Is l a multiple of 10?
True
Let x(p) = 9*p + 3. Is 5 a factor of x(4)?
False
Suppose -2*g + 0*g + 100 = 4*i, 0 = -i + 2*g + 35. Does 27 divide i?
True
Suppose 5*g + j = 272, -g + 0*j = -2*j - 50. Let s(w) = -w**3 + 2*w**2 + w - 5. Let o be s(4). Let y = g + o. Is 8 a factor of y?
False
Let r(g) = -g**2 + 6*g - 3. Let c be r(6). Let j be 4 - (0 - (-2 - c)). Suppose j*t - 18 = -2*o, -2*o + 2*t = 2*o - 12. Is o even?
True
Is (23/2)/((6/3)/12) a multiple of 7?
False
Let v = -10 - -15. Suppose -5*h + 125 = v*a, a + 137 = 6*a - h. Does 9 divide a?
True
Suppose -151 = 3*c + 38. Let r = -30 - c. Is r a multiple of 12?
False
Let l(a) = -a - 2. Let x be l(-2). Suppose 2*i = r + 42 + 10, -i + 3*r + 16 = x. Is 14 a factor of i?
True
Let a = -115 + 162. Is a a multiple of 13?
False
Let o be (3 + -2)/((-1)/(-3)). Suppose c + 2*w - 201 = 0, 0*w + 198 = c + o*w. Suppose -c + 82 = -5*g. Does 20 divide g?
False
Let g(s) = -4*s + 4. Let d be (-4)/6 - (-14)/(-6). Does 16 divide g(d)?
True
Let l be -68 - (-4)/((-8)/(-6)). Let z = 113 + l. Does 24 divide z?
True
Suppose 0*i + 1045 = 5*i. Suppose -54 = 5*c - i. Is c a multiple of 8?
False
Let g be (-2)/(-4) - 63/(-18). Suppose -4*l + 216 = g*o, -4*l - 2*o + 158 = -l. Does 25 divide l?
True
Let v = 184 + -112. Does 8 divide v?
True
Let w(x) = -2*x + 11. Does 9 divide w(-9)?
False
Suppose -q = -4*q. Suppose -68 = -q*l + 4*l. Let w = -3 - l. Is w a multiple of 5?
False
Let z = 5 - 3. Let s = z - -1. Suppose -s*x = 2*x - 35. Is x a multiple of 7?
True
Let d = 35 - 16. Is d a multiple of 19?
True
Let j = 2 - -2. Let i be j*2/4 + 1. Is 68/i - (-8)/(-12) a multiple of 11?
True
Suppose -d - 3*x = 2*d - 12, 5*x - 18 = -4*d. Is ((-16)/(-12))/(d/18) a multiple of 3?
True
Let l = 4 - 4. Suppose l = 7*x - 2*x. Suppose 0*b + 85 = 5*k + 3*b, -2*b = x. Is 17 a factor of k?
True
Suppose -3 = -4*y + 3*d, 0 = d - 2 + 3. Let v(a) = -a + 15. Let s be v(y). Suppose -3*c - s = 0, -c = -0*o - 4*o + 25. Is 5 a factor of o?
True
Let x(y) be the first derivative of -y**5/20 + 5*y**2 + 4*y - 3. Let t(r) be the first derivative of x(r). Is t(0) a multiple of 10?
True
Let v = -8 - -13. Suppose -7 = v*d + 23. Is (-64)/(-10) + d/15 a multiple of 6?
True
Let d(z) = -z + 8. Suppose -5*r - v + 5*v = 68, -3*v + 71 = -5*r. Does 24 divide d(r)?
True
Suppose 9 = -o - 8. Let j = o + 55. Does 19 divide j?
True
Suppose 3*c - 6*c = 4*l - 439, 4*c + 124 = l. Is 7 a factor of l?
True
Let b = -64 + 106. Does 14 divide b?
True
Let b(v) = 6*v - 1. Let h(l) = 3*l - 1. Let u(w) = 2*b(w) - 5*h(w). Does 18 divide u(-5)?
True
Suppose -13*r = -704 - 3352. Does 13 divide r?
True
Let o be 2/(0 + (-3)/(-3)). Let k = o + 5. Is 2 a factor of k?
False
Let a(b) = -b**3 + 11*b**2 - 12*b - 12. Does 6 divide a(9)?
True
Let o = 12 - 18. Does 6 divide (19 - 1)*(-2)/o?
True
Let d(s) = 2*s**2 + 5*s - 1. Is d(-5) a multiple of 6?
True
Let v(i) = i**3 - 5*i**2 + 11*i + 17. Let l(p) = -p**3 + 4*p**2 - 12*p - 18. Let r(b) = 5*l(b) + 6*v(b). Let o be r(9). Let j = o - -28. Is j a multiple of 13?
True
Let f = -31 + -2. Let w = f - -54. Suppose -w + 3 = -2*c. Is 6 a factor of c?
False
Suppose 4*t - 3 = r + t, t = -2*r - 6. Let u be (5 + 0)*(4 + r). Is 17 a factor of ((-34)/u)/(2/(-5))?
True
Let d = 2 + -3. Is 3 a factor of (5/(-4))/(d/4)?
False
Let h(m) be the second derivative of 0 - m + 5/12*m**4 + 1/3*m**3 - m**2. Is 12 a factor of h(-2)?
False
Let y(k) = 140*k**3 - k**2 + k - 1. Does 21 divide y(1)?
False
Suppose 24 = 5*y - 2*y. Suppose -4*x - 128 = -y*x. Let t = -20 + x. Is 12 a factor of t?
True
Let k be (-63)/(-14)*(-4)/(-6). Does 6 divide 4 - (-6)/k*1?
True
Let q = 0 + -1. Let k(j) be the second derivative of 7*j**4/2 + j. Does 21 divide k(q)?
True
Suppose q = 4*s - 11 - 3, -q - 18 = -5*s. Suppose 0 = 2*o + q*o - 92. Is o a multiple of 11?
False
Does 16 divide 2/(-12)*-4*141?
False
Let u = -11 + 12. Is 10 a factor of ((-15)/(-12))/(u/16)?
True
Let q = -188 - -350. Is q a multiple of 25?
False
Let g = 100 + -65. Is 2 a factor of g?
False
Let h(z) = -9 - 3*z + 3*z + 6*z. Does 11 divide h(6)?
False
Let k be (1 - -146)/((-2)/(-2)). Suppose -3*i = -a + 27, 3*i - 6*i = -5*a + k. Does 10 divide a?
True
Suppose 403 + 165 = 4*v. Is 19 a factor of v?
False
Let i(p) = p**2 - p - 6. Does 22 divide i(-8)?
True
Let t be (6 - 2)*(-20)/16. Is 5 a factor of (-2 - -17) + (t - -4)?
False
Suppose 0 = 5*o + k - 24 - 55, -3*k - 48 = -4*o. Is 24 a factor of 725/o + 3/(-9)?
True
Let k(l) = -l**2 + 4*l - 3. Let a be k(2). Suppose -m + 4 = a. Does 3 divide m?
True
Suppose -4*u + 5*u = 0. Suppose u*s = -4*s + 40. Is 5 a factor of s?
True
Is 4 a factor of ((-1)/4)/((-14)/2408)?
False
Is (-4)/10 + (-68)/(-20) a multiple of 3?
True
Let v(y) = -y - 2. Let o be v(-7). Suppose 2*m = o*m - 75. Is m a multiple of 7?
False
Let a = 20 + -12. Let w = 9 - a. Suppose 0 = -4*j - 2*r + 72, 3*r - 9 + w = -j. Does 7 divide j?
False
Suppose -5*y = -v + 143, y + 8 = 3*y. Suppose -46 = 3*l - v. Is l a multiple of 13?
True
Is (2 + -1)*(42 + -1) a multiple of 28?
False
Suppose 2*w = -4*i + 5*w - 3, -4*i - 18 = 2*w. Let s be (7 + i)*30/8. Suppose 0 = -b + s + 1. Is 8 a factor of b?
True
Let k = -4 + -10. Does 4 divide 2 - 3/(6/k)?
False
Let k(i) = 3*i**2 - 2*i + 2. Is 13 a factor of k(4)?
False
Let u be 34/10 + (-16)/40. Suppose -39 = -u*z + 45. Is z a multiple of 14?
True
Let t(d) = -d**3 - 3*d**2 - 3. Let u be t(-3). Is 1*(u - -3 - -15) a multiple of 5?
True
Let i(n) = -n + 9. Let b be i(4). Suppose -4*l - b*o - 3 + 0 = 0, -l + 5*o - 7 = 0. Does 14 divide 111/l*4/(-6)?
False
Let t(o) = o**2 + 9*o + 21. Let p(n) = -n**2 - 6*n - 14. Let d(v) = -7*p(v) - 5*t(v). Does 15 divide d(-5)?
False
Let z(q) = 14*q - 2. Let s be z(8). Suppose -4*l - 2 = -s. Is 9 a factor of l?
True
Is 11 a factor of 2 - (3 + -167 + 1)?
True
Suppose 2*k + s = 60, -k - 4*s + 2*s = -27. Suppose 4*a + 24 + 52 = 0. Let x = k + a. Is 6 a factor of x?
True
Let o = -10 + 16. Suppose 25*y = 24*y + o. Does 3 divide y?
True
Let g be 1/5 + (-195)/(-25). Let l = -4 + g. Suppose -6 = -2*n - d, -l*d + 7 + 2 = 3*n. Is n even?
False
Let r(d) = -d**3 + 5*d**2 - d + 5. Let a be r(5). Suppose 4*c + b = 3*b + 46, -2*c + 4*b + 32 = a. Does 3 divide c?
False
Let p(q) = -48*q**3 + q + 1. Let v be p(-1). Suppose -4*y 