= -2*c + l. Suppose n - 39 = -c*k, -2*k + k + 23 = n. Does 8 divide n?
False
Let k(u) = -37*u**2 - u. Let r be k(-1). Let y = 52 + r. Does 16 divide y?
True
Suppose 3*l = -z - 16 - 12, 2*l = 2*z - 16. Let n(y) = y**2 + 8*y - 9. Let d be n(l). Let w = d - -14. Does 11 divide w?
False
Let o be 1 - (0/(-2) - 113). Let l(i) = 19*i - 4. Let g be l(-4). Let z = g + o. Is z a multiple of 16?
False
Let k(v) = -8*v + 4. Let f be k(5). Let w = f + 58. Does 10 divide w?
False
Let i be 20/5*(-10)/(-8). Let g(q) = 2*q + 6. Is g(i) a multiple of 9?
False
Let p(s) be the first derivative of -5*s**2/2 + 5*s + 2. Is p(-4) a multiple of 11?
False
Suppose -2*i = -4*i - 96. Let u = i - -75. Does 8 divide u?
False
Let c(l) = 2*l**2 - 3*l + 4. Let p be c(5). Is 0/(-2) + p/3 a multiple of 4?
False
Suppose -3*k + 5*v + 428 = 0, 3*k - 6*k - 4*v + 473 = 0. Suppose -4*s = z + 2*z - k, 3*s + 3*z = 117. Does 6 divide s?
False
Suppose -3*z + 534 = 3*z. Does 16 divide z?
False
Let t = -1 + 44. Does 43 divide t?
True
Suppose 8*u - 1888 = -640. Does 52 divide u?
True
Suppose -o + 4 + 20 = 0. Is 12 a factor of o?
True
Let h = -27 - -4. Suppose 0 = 4*j + 1 - 13. Is h/(-3) - 2/j a multiple of 3?
False
Suppose 262 = 4*l + b - 258, 0 = -5*l - 2*b + 647. Is 12 a factor of l?
False
Let w be -2 + 1 + 17/1. Suppose -5*v - 4*i + 21 + 45 = 0, -3*i = -5*v + 38. Let c = w - v. Is c a multiple of 3?
True
Suppose -3*v - s + 53 = 0, -4*s - 75 = -5*v + s. Is v even?
False
Let t(k) = k**2 + k - 3. Let b be t(0). Let v be (1/b)/(5/(-45)). Suppose v*n + 2*n = 55. Is 11 a factor of n?
True
Let p = -380 + 225. Let f = -88 - p. Does 15 divide f?
False
Let g(h) = h**2 - 3*h + 15. Does 11 divide g(6)?
True
Let o(l) = -112*l**3 - l**2. Let w be o(-1). Suppose -2*h = 4*f - 74, 3*h - w = -f + 3*f. Is h a multiple of 16?
False
Let t = -44 - -28. Let n = 24 + t. Is n a multiple of 4?
True
Let f(z) = -z. Is 6 a factor of f(-6)?
True
Suppose -244 = -5*v - 2*l - 56, 0 = 4*v + 4*l - 160. Is v a multiple of 6?
True
Suppose -2*r + 293 = 5*c - 4*r, 5*c - 291 = 4*r. Is c a multiple of 9?
False
Suppose 0 = 7*h - 2*h - 5. Let x(i) = 8*i**2 + i. Is 3 a factor of x(h)?
True
Let m(s) = 15*s**2 + 1. Is 7 a factor of m(1)?
False
Suppose z = 4*z + 6. Does 14 divide (-55)/z - (-1)/2?
True
Let o = -56 - -128. Let i = o - 34. Is i a multiple of 19?
True
Suppose 106 = 8*a - 110. Is 5 a factor of a?
False
Is 15 a factor of (0 - 21)*24/(-9)?
False
Suppose 4*p + x - 12 = 0, -p + 4*x = -6*p + 26. Suppose 0 = p*j - 4*j. Suppose b - 3*r - 15 = j, 3*b + 5*r = 2*b + 23. Is b a multiple of 18?
True
Let v = -1 - -6. Suppose v*l - 3 = 2. Let w(r) = 9*r**3 + r**2 - r + 1. Does 6 divide w(l)?
False
Let h(w) = w**3 + 7*w**2 + 8*w + 7. Let s be h(-6). Let l(t) = -t - 2. Let f be l(s). Is (-1 + f)*(-20)/(-8) a multiple of 3?
False
Let t = 317 - 93. Is t a multiple of 16?
True
Suppose -3*p + 18 = -2*j, 6*p - 26 = 2*j + p. Let c be 4/j*(-6)/4. Suppose -230 = -4*t + c*g, -30 - 44 = -t - 5*g. Does 22 divide t?
False
Suppose 0 = -5*x + 61 + 14. Is x a multiple of 6?
False
Let v(n) = 13*n - 12*n + 20*n**2 + 9*n**2. Does 17 divide v(1)?
False
Let z be (-6)/(-15) + (-4)/10. Let m be 9/(-3) + 1 + z. Does 15 divide 788/20 - m/(-5)?
False
Let y(i) = 17*i**2 - 4*i - 4. Does 24 divide y(-3)?
False
Let w = -294 - -530. Suppose 0 = 2*b + 5*j - w, -b + 660 = 4*b - 5*j. Suppose b = 5*y - y. Is y a multiple of 16?
True
Let g(o) = o**2 - 6*o - 2. Let f be g(6). Let h be (-1)/(-1)*f - 7. Is (-273)/h - (-2)/(-6) a multiple of 10?
True
Let n(k) = -3*k**2 + 2*k + 5. Let c be n(7). Let o = c - -233. Suppose 11 = 4*t - o. Does 8 divide t?
False
Let v be (10/(-8))/((-2)/(-8)). Is 9 a factor of (-3)/(2 + v) - -17?
True
Let t(b) = -b + 12. Let i be t(9). Let c(w) = 4*w. Let r be c(2). Is (28/i)/(r/36) a multiple of 11?
False
Suppose -174 - 38 = -3*b + 4*d, -363 = -5*b - 3*d. Does 20 divide b?
False
Let w(r) = -r**3 - 5*r**2 + 7*r + 3. Let l be w(-6). Does 14 divide (-6)/(-2) + (-75)/l?
True
Suppose -3*f - 16 - 8 = 0. Let m(z) = z**3 + 8*z**2 + 5. Let i be m(f). Suppose -60 = -8*l + i*l. Is l a multiple of 20?
True
Suppose 3*a - 4*m + 46 = 0, -2*a - 4*m - 11 = 53. Suppose -3*w = -2*t + 84 + 13, -4*w = -t + 41. Let n = a + t. Is n a multiple of 16?
False
Let w = 97 + -69. Is 5 a factor of w?
False
Suppose 2*y = -5*b - 0*y + 275, 4*b = -y + 220. Does 9 divide b?
False
Suppose 27 = 2*y + 5*m, 0 = 2*y + m - 3 - 12. Suppose -y = 4*z + 2. Is z/(-3) - (-176)/6 a multiple of 11?
False
Let f be (-1)/4*2*-4. Suppose g + 5*v - f + 14 = 0, -3*g = -v + 20. Let q = 13 + g. Is q a multiple of 6?
True
Let t(y) = y**2 - 3*y + 2. Let g(j) = -j**2 - 4*j + 1. Let v be g(-2). Does 12 divide t(v)?
True
Suppose 5*n - 105 = 75. Is n a multiple of 20?
False
Let n(y) = 2*y**2 - y - 35. Does 13 divide n(12)?
False
Let k(h) = 2*h - 7. Let a(o) = -o**3 - 2. Let l be a(-2). Let v be k(l). Suppose -2*f = -v - 1. Is f even?
False
Let w be ((-405)/(-10))/((-6)/(-8)). Suppose d + w - 20 = q, 8 = -4*d. Is 20 a factor of q?
False
Suppose 3*k - 4 = 7*k, 0 = 4*d - 4*k - 44. Let i(b) = -2*b + 4*b - b - 2 + 7. Is 15 a factor of i(d)?
True
Let r = -9 - -7. Is r/2*56/(-2) a multiple of 14?
True
Suppose -8 = 5*a - 23. Is 10 a factor of a/(18/(-10))*-6?
True
Let u = 52 + -12. Let w = -28 + u. Is 12 a factor of w?
True
Let b(u) = -1 - 1 + 9 - 4*u**2 + 0 + 3*u. Let x(c) = c**2 - c. Let d(q) = b(q) + 5*x(q). Does 11 divide d(5)?
True
Suppose 4*v - 10 = j, -11 + 1 = -5*j. Suppose 20 = k + v*k. Let c = 9 - k. Is c even?
True
Suppose -i = a - 3*a - 170, -3*a + 669 = 4*i. Is i a multiple of 21?
True
Let s = -23 - -52. Is 6 a factor of s?
False
Let r(q) = -34*q - 51. Is 17 a factor of r(-6)?
True
Let y(h) = h - 2*h - 3 + 3 + 6. Let k be y(4). Suppose -2*z - 4*i = -22, 62 = k*z - i - 3*i. Is z a multiple of 7?
True
Let b = -19 - -24. Is 3 a factor of b?
False
Suppose 88*f - 444 = 84*f. Does 33 divide f?
False
Suppose 2*i - 75 = -i. Is i a multiple of 5?
True
Let s be (-185 + 1)*2/(-4). Let v(a) = a**2 + 2*a - 14. Let t be v(-6). Suppose 3*c - t = s. Is 17 a factor of c?
True
Let b be (0 - 1)*(4 - 4). Suppose b*i - 2*o + 76 = 3*i, 5*o = -4*i + 92. Does 14 divide i?
True
Suppose -470 + 1286 = 6*t. Is 24 a factor of t?
False
Let q(a) = 3*a + 1. Let i be q(1). Suppose -i*m + 0*m + 168 = 0. Is 21 a factor of m?
True
Suppose 4 = -l - 0*l. Let s be (-61)/(-3) - l/(-12). Is 12 a factor of ((-7)/(-4))/(1/s)?
False
Suppose 0 = -0*m - 4*m - 4, -m = -3*i + 7. Suppose 0 = -i*v + 8 + 4. Does 2 divide v?
True
Let f be 9 + -2 - 1/1. Suppose v - 4*v + f = 0. Is v a multiple of 2?
True
Suppose 5*z - 2 = 8. Suppose 3*o = 19 - 7. Suppose 0 = o*j - 4*b - 12, -z*b + 0*b = 5*j - 22. Is 3 a factor of j?
False
Suppose -6*r + 351 + 249 = 0. Is r a multiple of 20?
True
Let l(m) = -m**3 + 9*m**2 - 8*m + 7. Let u be l(7). Suppose 0 = 2*o + 51 + 17. Let j = o + u. Does 6 divide j?
False
Let k be ((-10)/4)/((-3)/6). Suppose w + t - 33 + 13 = 0, 95 = k*w + 4*t. Is 4 a factor of w?
False
Let d = 0 + 4. Suppose 0 = -d*l - 2*x - 2, 3*l + 2*x + 2 - 1 = 0. Is 4 a factor of 10 + -1*(l - -2)?
False
Suppose w - 25 = -269. Does 10 divide w/(-12) - (-2)/(-6)?
True
Let k(z) = 17*z**2 - 2*z + 7. Let b(q) = 35*q**2 - 5*q + 15. Let l(v) = -4*b(v) + 9*k(v). Let c be l(-2). Let h = c + -33. Is h a multiple of 7?
False
Suppose 1 = -3*w + 10. Let l(q) = 6*q**2 - q. Does 17 divide l(w)?
True
Let v = 3 + 4. Is v a multiple of 7?
True
Suppose 3*q + q = 3*r + 390, r = -5*q + 478. Does 12 divide q?
True
Let z be 4/8 - 62/4. Let c be 315/(-6)*(-24)/z. Let n = 121 + c. Is 13 a factor of n?
False
Suppose -j = -2*j + 2*s, 3*s + 10 = 4*j. Suppose -j*x + 3*x + 3 = 0. Suppose x*r = 84 - 36. Is r a multiple of 5?
False
Suppose 5*g - 2*g - 33 = 0. Suppose -4*t + 33 + g = 0. Is t a multiple of 11?
True
Does 22 divide (-176)/(-6)*9/6?
True
Let m(a) = 6 - a - a**3 + 0*a**3 + 2*a. Let v = -1 - -1. Is 3 a factor of m(v)?
True
Suppose -5*y - 2*b = -7*b - 60, -2*b = -5*y + 54. Let s = 0 + 18. Let t = s - y. Is 8 a factor of t?
True
Let u be (-4)/14 - 426/(-21). Suppose 20 = j - 2*y, -j + u = 2*y - 3*y. Does 13 divide j?
False
Suppose -2*o = -p + 5*p - 778, -2*p - 2*o = -388. Is 39 a factor of p?
True
Does 18 divide (0 + (-276)/16)/(4/(-16))?
False
Let m be (-2)/13 - (-150)/(-39). Let f