Let o = -56 + 122. Suppose -k - 2*k = -o. Is k a multiple of 22?
True
Let s = 1279 - 1249. Is 21 a factor of s?
False
Suppose 0 = w - 2*t - 2041, -3*t = 3*w - t - 6099. Does 55 divide w?
True
Let z be (-97)/19 - (-6)/57. Let a(j) = -j**3 - 4*j**2 - 5*j + 9. Does 11 divide a(z)?
False
Let i(l) = -9*l + 8. Suppose 3*k = 4*s - 2, -4*s - 27 - 13 = 4*k. Does 11 divide i(k)?
False
Suppose -15*a - 3*o = -20*a + 5766, 3*a - 3*o = 3462. Is a a multiple of 9?
True
Suppose 6*u = -u + 3094. Does 26 divide u?
True
Let h(s) = -13*s + 23. Let c be h(4). Let o = c - -96. Does 12 divide o?
False
Suppose -6*f + 1275 = -3*f. Suppose 6*m = m + f. Let q = m - 48. Is 11 a factor of q?
False
Let z(q) = -q**2 + 2*q - 870. Let t be z(0). Is 16 a factor of (3 - 2)/(-3) + t/(-18)?
True
Let m(q) = 16*q**2 - 32*q + 376. Does 41 divide m(12)?
True
Let k(g) = -g**2 + 5*g - 6. Let h be k(4). Let w be 4 - (5 + -6) - 4. Let l = w - h. Is l a multiple of 2?
False
Let b = 33 - 21. Let m = -10 + b. Suppose -3*c - 4*t + 221 = 0, -76 + 195 = m*c - 3*t. Does 13 divide c?
False
Let g be 17/((-102)/(-36)) - 4. Suppose 2*h = 5*l + 717, 5*h + 3*l - 1779 = g*l. Does 20 divide h?
False
Let g(q) = q**3 - 7*q**2 + 6*q - 20. Let b(n) = n**3 - 6*n**2 + 7*n - 21. Let f(s) = 3*b(s) - 4*g(s). Is 5 a factor of f(6)?
False
Let j(k) = -20*k + 14. Let a = 12 + -14. Does 5 divide j(a)?
False
Suppose -14*i = -5*i - 9. Let s(l) = 24*l**3 - l**2 + 1. Does 6 divide s(i)?
True
Let t(b) = -37*b - 116. Is t(-8) a multiple of 45?
True
Suppose -2*d + a = 6*a - 95, -3*a + 93 = 2*d. Let g = d - -75. Is 15 a factor of g?
True
Is 55/(-22)*(-6296)/10 a multiple of 19?
False
Let c = 97 + -50. Let u = c + -5. Does 19 divide u/1 - (-3)/1?
False
Let x(b) = -b - 8. Let r be x(-3). Let h be r*(1 + -4)/(-1). Let n = h - -26. Is 2 a factor of n?
False
Let k = 28 + -23. Suppose -k*q = -0*q - 50. Let i(s) = -s**3 + 11*s**2 - 5*s - 6. Does 12 divide i(q)?
False
Let d(z) = 2*z. Let w be d(1). Suppose -w*o + 5 = -o. Suppose 0*u - 55 = -o*u. Does 11 divide u?
True
Let w(l) = -9*l**3 - l**2 - 4*l + 2. Is 23 a factor of w(-3)?
False
Suppose 4*u + 23*u - 6480 = 0. Is 24 a factor of u?
True
Let d be (27/(-18))/(6*2/(-32)). Let f = -1 + 4. Suppose d*m - 16 = f*m + 5*j, 3*j - 56 = -m. Does 19 divide m?
False
Suppose 0 = 5*x - 10, 0 = -3*z - z - 2*x + 1204. Suppose 3*l = -2*l + z. Is 12 a factor of l?
True
Let g = -7 + 2. Let s(c) = 5*c - 7. Let h(t) = -t. Let q(f) = 6*h(f) - s(f). Is q(g) a multiple of 20?
False
Let p(a) = -a**3 + 10*a**2 - 10*a - 1. Let u be p(9). Let v be (-230)/(-4) + 5/u. Suppose 0*x = 3*j + 3*x - v, 2*j = x + 23. Is j a multiple of 7?
True
Suppose g - 175 = 6*g. Let k = -582 + 709. Let p = k + g. Is 23 a factor of p?
True
Let f(l) = -l**2 - 11*l + 1. Let y(x) = -25*x - 6. Let d be y(-3). Suppose 5*w - 29 = -d. Is f(w) a multiple of 10?
False
Let z be (-4)/2*-47*4. Suppose 3*l - 452 = -5*x, -2*x + z - 68 = 2*l. Suppose 4*c - 53 = l. Is c a multiple of 20?
False
Suppose -737 = -14*s + 3*s. Suppose 2*o - 150 = -3*x, x - s = o + 4*o. Is 4 a factor of x?
True
Let b be (-3)/(-21) + (-835)/(-35). Let f be (-12)/4*208/(-6). Suppose 0 = -4*l - b + f. Does 5 divide l?
True
Let p = 835 + -445. Suppose p = k + 4*k. Let f = k - 36. Does 12 divide f?
False
Let m(c) be the second derivative of -c**5/20 + 2*c**4/3 - 7*c**3/6 + 9*c**2/2 + 88*c. Let d be -1*10/(-2) - -1. Does 13 divide m(d)?
True
Suppose 4*y - 25*m = -28*m + 1901, m = y - 484. Is y a multiple of 11?
False
Let b = -63 - -68. Suppose -b*h = 38 - 263. Is h a multiple of 9?
True
Let v(o) = -2*o - 36. Let n(y) = y + 12. Let m(c) = -7*n(c) - 2*v(c). Let t = -26 + 18. Does 4 divide m(t)?
True
Let t(y) = -2*y**3 + 142*y**2 - 275*y + 4. Is t(69) a multiple of 3?
False
Suppose 765 = -547*l + 548*l. Is 45 a factor of l?
True
Let t(r) = -r + 16. Let v be t(13). Suppose -v*f = 80 - 200. Does 10 divide f?
True
Suppose 8 = -2*q - 34. Let v = 761 + -636. Let k = q + v. Is 26 a factor of k?
True
Let h(w) = 9*w**2 + 24*w - 4. Let q(y) = -11*y**2 - 25*y + 3. Let d(f) = -5*h(f) - 4*q(f). Is d(-18) a multiple of 11?
True
Let j(t) = -71*t - 48. Let y(o) = -355*o - 241. Let z(r) = 11*j(r) - 2*y(r). Does 22 divide z(-4)?
False
Suppose 11 = -u + 16. Suppose u*o - 3*f - 24 = 0, -4*f - 2 = -4*o + 22. Suppose -o*t + 51 = -0*t. Is t a multiple of 7?
False
Let i(b) = 4*b + 3. Let w be i(5). Let q = 56 - w. Does 11 divide q?
True
Let a(p) = -13*p + 13. Let r be a(0). Suppose 16*g - r*g = 576. Is 8 a factor of g?
True
Let l(d) = 7*d**2 - 9*d - 9. Let v be l(-6). Suppose -6*t = -9*t + v. Is 11 a factor of t?
True
Suppose -7*f + 522 + 1550 = 0. Does 20 divide f?
False
Let b = -19 + 9. Let c be (b/(-6))/((-2)/(-6)). Suppose -116 = -c*m + 4*f, m - 28 = 6*f - 4*f. Is 17 a factor of m?
False
Suppose -m = -4*i - i + 863, 0 = -4*i + 4*m + 684. Let k = -134 + i. Is 2 a factor of k?
False
Let y = -12 - -16. Suppose i - y*x - 441 = -157, i + 2*x = 278. Suppose 0 = 8*p - 3*p - i. Does 19 divide p?
False
Let z = -1473 + 3340. Is 6 a factor of z?
False
Let m(n) = 5*n**3 - 2*n**2 - 3*n + 3. Let o = 10 + -8. Suppose 23 = 4*a - 3*z, 2*z = o*a - 3*a - 8. Is m(a) a multiple of 13?
False
Does 35 divide 2695/(-7)*2/4*-2?
True
Let b = -13 + 11. Let i = b - -2. Suppose 36 = u + 4*a - i*a, -4*u = 3*a - 79. Is 10 a factor of u?
False
Suppose 0 = 12*w - 36 + 36. Suppose 0 = 3*l, 3*r = -3*l + 5*l + 9. Suppose -r*z + 114 = -w*z. Is 5 a factor of z?
False
Let t be ((-48)/(-40))/(2/50). Suppose 2*n + t = -4*i, -4*i - 4*n = n + 21. Is (i + 11)/((-4)/(-6)) a multiple of 2?
False
Let m = 748 + -353. Does 72 divide m?
False
Let p(w) = -148*w + 339. Does 20 divide p(-5)?
False
Let m be 3/((-1)/((-5)/3)). Suppose -40 = -q - 2*j, 0*q - m*q + 3*j = -213. Is 21 a factor of q?
True
Let h(q) = q**3 - 4*q**2 - 2*q + 4. Let b be h(4). Does 11 divide (-43)/((2 - 0)/b)?
False
Let m = -2002 - -4101. Suppose 18*q = 1231 + m. Is q a multiple of 23?
False
Let b(l) = l**3 - 10*l**2 + 8*l + 26. Does 50 divide b(15)?
False
Let u be (213/18)/((-4)/(-24)). Let z = u - 47. Is z a multiple of 6?
True
Suppose -4*c - 356 = -2*l, -5*l = 2*c - 54 - 872. Does 14 divide l?
False
Let q(l) be the first derivative of -l**3/3 - 6*l**2 + 9*l + 8. Let d be q(-9). Suppose -d - 204 = -3*f. Is f a multiple of 20?
True
Suppose -4*o - 224 = -8*o. Suppose 10*m = 9*m + o. Is 11 a factor of m?
False
Suppose -3*z + 2*j = -340, -4*z - j - 155 = -623. Let p = z - 63. Is 11 a factor of p?
False
Suppose 1765 = 13*c - 4319. Is 36 a factor of c?
True
Let z(a) = -a - 3. Let m be z(-7). Suppose 0 = h - 4*d + 2, 4*h = 3*d - m + 9. Suppose 0*y + 79 = 3*y - o, -h*o = -y + 33. Is 5 a factor of y?
True
Let p(z) = z**3 - 11*z**2 + 6*z - 6. Let d be p(10). Let o = 18 - d. Does 4 divide o?
True
Suppose 360 = q - 5*f - 198, -5*q + 5*f + 2790 = 0. Is q a multiple of 10?
False
Suppose -4*a + 6*a - 7 = -5*w, 5*a - 34 = 4*w. Let j = -103 + 260. Does 13 divide (-2)/12 + j/a?
True
Suppose 413 = 6*y + 89. Is y a multiple of 18?
True
Suppose x = -6 + 12. Suppose -67 = -x*h + 263. Is 7 a factor of h?
False
Suppose -3*u - 2*a + 19 = 3, 3*a = u + 13. Let g(l) = -3 - 2*l**2 + 2 + l**u + 2*l**2. Is g(5) a multiple of 12?
True
Suppose 4*x - 90 = -3*g, -5*x - 2*g + 84 + 25 = 0. Suppose p - x = 72. Is p a multiple of 21?
False
Let m = 827 + -807. Let l(w) = w + 1. Let j be l(5). Suppose -5 = c + 2*x, -j*x - m = -2*x. Is c a multiple of 3?
False
Suppose -2*i = i - 729. Let v be (160/(-12) - -2)/(2/(-3)). Suppose 5*k - r - v - i = 0, -3*k + 3*r = -168. Does 12 divide k?
False
Suppose a + 4*a = 2*v + 34, -3*a - 2*v + 30 = 0. Suppose 2*l + 3*k = 3*l - 1, -3*l + a = -4*k. Is 23 a factor of (-2685)/(-39) - l/(-26)?
True
Is 7 a factor of 7/(7*(-6)/(-168))?
True
Let d be (-63)/(-18)*(-2 + -24). Let w = d - -181. Is 30 a factor of w?
True
Suppose 2*f - 12 = -3*f + 3*s, 20 = 3*f - 5*s. Suppose f = -3*v + 3*m + 12, 0 = -v + 2*m + 5. Suppose -v*o + 163 = 1. Is o a multiple of 14?
False
Suppose 2*r + 20 = r. Let n = r - -22. Suppose -3*f + 241 = n*g, -5*f - g + 390 = -0*g. Does 27 divide f?
False
Let x be ((-6)/(-3))/((-2)/(-12)). Is 5 - ((x/1)/(-3) - 0) a multiple of 3?
True
Suppose 0 = -152*l + 151*l + 760. Does 10 divide l?
True
Let b = 907 - 232. Is b a multiple of 65?
False
Let m = -4 - -8. Let a = 762 - 