 Does 20 divide k(22)?
False
Let d = -3 - -7. Suppose 3*v = 3*a + 63, -v + d*v = -3*a + 81. Is 9 a factor of v?
False
Let s(f) = -f**3 + 5*f**2 + f + 4. Let q be s(4). Let o = 48 - q. Is o a multiple of 10?
False
Let r = -42 - -38. Is 32 a factor of r/(-18) + (-574)/(-9)?
True
Let o = 3390 - 2447. Does 15 divide o?
False
Let t = 403 + -172. Is t a multiple of 47?
False
Suppose 3*f - 4*s = 223, 5*f - 22 = -3*s + 311. Let o = -26 + f. Let w = o - 31. Is 10 a factor of w?
False
Let h be -1 + 5 + 13/((-26)/(-84)). Let o = h + -31. Is o a multiple of 6?
False
Let w(f) = f**2 + 6*f - 6. Let a be w(-8). Let m = -14 + a. Does 19 divide 2*2/m + 69?
False
Suppose 19 = -3*a - 23. Let i = -9 - a. Suppose c - i*c + 36 = 0. Does 4 divide c?
False
Suppose 18 - 3 = -3*n. Let d(o) = 6*o**2 + 6*o + 6. Let x be d(n). Suppose x = 4*y - j, -4*y + 60 = -2*y + j. Is y a multiple of 9?
False
Let h be (57/(-38))/(6/(-16)). Is 6 a factor of (-1)/(h + (-218)/54)?
False
Let s = -22 - -28. Let v be 18/21*28/s. Suppose -3*n + 22 = -3*k - 50, 4*k - 112 = -v*n. Is n a multiple of 13?
True
Is (-369)/(-1599) - (-40089)/13 a multiple of 12?
True
Let c(y) = y**3 + 45*y**2 - 157*y - 45. Is c(-47) a multiple of 81?
True
Let s = 12 - 7. Suppose 0*h = -2*c - 2*h + 10, 0 = -s*h + 10. Does 2 divide c?
False
Let n(g) = -17*g + 62 - 148 + 65 - g**2. Is 45 a factor of n(-6)?
True
Suppose 12*l = 30*l - 91746. Is 36 a factor of l?
False
Let u be 3/(-7) - (-906)/(-42). Is -2 - ((-2)/(-1) - (-5 - u)) a multiple of 13?
True
Suppose 3*x = -n + 289, -2*n - 114 = -2*x + 92. Is 9 a factor of x?
False
Let j = -1 + 4. Suppose -4*s = j*g - 116, 0 = -0*s - s - g + 28. Does 4 divide s?
True
Let k(f) = 2*f**2 - 13*f - 3. Let q be k(7). Suppose -v = -2*n - 39, 0 = q*n - 8. Is v a multiple of 10?
False
Let r(y) = y**2 + y + 1. Let p(o) = 7*o**2 + 8*o + 3. Let z(a) = -p(a) + 6*r(a). Does 3 divide z(-2)?
True
Let t = -738 + 2786. Is 16 a factor of t?
True
Let j be 1650/(-18) - (-6)/9. Let q = j + 155. Is 16 a factor of q?
True
Suppose 17*g - 9050 = 7*g. Does 40 divide g?
False
Let x be -14*((-2)/(-7) + 234/(-84)). Let n = x - 10. Is n a multiple of 5?
True
Suppose 0 = 43*o - 8*o - 350. Let d = -117 + 56. Let u = o - d. Is u a multiple of 12?
False
Let z = -91 - -94. Is (41 + -5 - z)*3 a multiple of 6?
False
Let k(w) = w**2 - 3*w + 2. Let r be k(0). Suppose -h - 22 = -r*s, -3*s = -h + 2*h - 43. Does 3 divide s?
False
Let f(w) = 2*w**2 + 10*w - 18. Let a be f(-14). Suppose -r + a = r. Is r a multiple of 39?
True
Let y(v) = -307*v + 14. Is y(-1) a multiple of 5?
False
Suppose -2*f + 20 = 3*f - h, -5*f - 5*h = 10. Suppose 2*q + 2*q - 18 = -2*v, -3*v + 11 = -2*q. Suppose f*w - 4 = q*w. Is 3 a factor of w?
False
Let y = 183 + -100. Is y a multiple of 3?
False
Suppose 0 = -3*q - 3, 3*j + q + q - 976 = 0. Is j/4 + ((-28)/(-8) - 4) a multiple of 27?
True
Suppose -5*t = -12 + 2. Suppose -o + t*o = 4. Does 11 divide o/16 - 86/(-8)?
True
Let q(n) = -n**2 - 10*n - 37. Let a(j) = -3*j**2 - 29*j - 110. Let s(r) = 2*a(r) - 7*q(r). Does 7 divide s(-11)?
True
Let g be (2/(-6) - -1)*3. Suppose -g*w + 6*w - 156 = 0. Does 12 divide w?
False
Suppose 42 = -12*m + 18*m. Is 2 a factor of m?
False
Let z(s) = 8*s**3 + 3*s**2 - 3*s - 4. Is 22 a factor of z(2)?
True
Suppose 13*m - 18*m = -25. Is 10 a factor of m/(-2)*24/(-2)?
True
Let o(m) = 296*m**3 + m**2 - m + 6. Let n(u) = 297*u**3 + u**2 + 5. Let h(a) = -4*n(a) + 3*o(a). Is h(-1) a multiple of 60?
True
Suppose -c = -5*i + 24 + 16, -3*i + c + 24 = 0. Let m be 6/9*(-12)/i. Does 9 divide m*(0 - -1) - -19?
True
Suppose 2574 = -19*t + 30*t. Is t a multiple of 39?
True
Suppose 26*q = -5*m + 29*q + 168, -4*m = -5*q - 124. Is 3 a factor of m?
True
Let g(y) be the third derivative of -y**6/360 - y**5/20 + y**4/4 + 5*y**3/6 + 4*y**2. Let m(l) be the first derivative of g(l). Is m(-6) a multiple of 3?
True
Let u = 28 - 25. Is (2/u)/((-4)/(-432)) a multiple of 18?
True
Let w(c) = -41*c - 44. Let b be w(-6). Let h = 312 - b. Does 35 divide h?
False
Suppose y + 425 = 2*z, y + 855 = -15*z + 19*z. Does 4 divide z?
False
Suppose -8*i = 21 - 13. Does 5 divide 670/8 - (-4)/16 - i?
True
Suppose 0 = -4*f + 7*f - 9. Suppose p = -f*p + 8. Suppose 3*l - 23 = p*l. Does 16 divide l?
False
Let v(h) = -h**3 + 21*h**2 - 11*h + 9. Is 13 a factor of v(20)?
False
Let z(p) = -p**2 - 6*p - 7. Let s be z(-10). Let a = 3 - s. Is a a multiple of 11?
False
Suppose 2*h = 3*g - 25, -3*g - 2*g = 3*h - 10. Suppose 4*x = 5*z + 247, 154 = 4*x + g*z - 63. Is 14 a factor of x?
False
Is 25 a factor of (-40)/18 - -2 - 4504/(-18)?
True
Suppose 4*z + 20 = 8*z. Suppose z*j = v - 3, -5*j - 9 = -3*v - 0. Suppose j = 3*t - 90 - 87. Does 20 divide t?
False
Let t(b) be the third derivative of b**4/24 + 49*b**3/2 - 16*b**2. Is 19 a factor of t(0)?
False
Let c = -109 + 122. Let w(h) = 9*h**2 + 6*h**2 - h**3 - 2*h**2 + 9. Does 2 divide w(c)?
False
Let x = 0 - -7. Let m(v) = 3 - v + 2*v - 9 + v. Does 4 divide m(x)?
True
Let v = -489 - -731. Is 32 a factor of v?
False
Is 3 + (1 - 6) - -772 a multiple of 35?
True
Let x(o) = o**3 - 9*o**2 - 3*o - 13. Let n be x(9). Let q = -12 - n. Does 12 divide q?
False
Does 13 divide (-1 - 1565/(-4)) + (-45)/(-60)?
False
Let u(i) be the second derivative of i**4/12 + i**3/6 - 4*i**2 - 4*i. Suppose -4*v + 2 = 5*q + 6, -2*v - 24 = -3*q. Does 22 divide u(v)?
True
Let w(t) = 2*t**3 - 15*t**2 - 23*t - 27. Does 63 divide w(11)?
True
Let z be (-3 - (-34)/12) + 362/12. Suppose -z*f = -23*f - 490. Does 10 divide f?
True
Suppose -j = 12*j - 117. Suppose 147 = -2*d + j*d. Does 2 divide d?
False
Suppose -7*d + 6*d + 14 = 0. Suppose 19*s - 615 = d*s. Is 20 a factor of s?
False
Suppose -4*y - 476 = -3*o, -35*o + 803 = -30*o + 3*y. Does 20 divide o?
True
Suppose -4 = -2*q, 2*u + 4*q = -302 + 2046. Is u a multiple of 32?
False
Let t(y) = -y**2 + y + 8. Let r be t(-2). Suppose -3*n = 4*x - 523, 0 = -5*x - 0*n - r*n + 659. Is 39 a factor of x?
False
Suppose 33 = 10*l - 27. Let i = l - 0. Is i a multiple of 6?
True
Let d(i) = 3*i**3 + i**2 - 2*i - 1. Let k be d(2). Let r = k - -6. Is r a multiple of 11?
False
Suppose -97*u = -107*u + 15670. Is 27 a factor of u?
False
Suppose -3626 = -5*h + y, -4*h = -19*y + 16*y - 2903. Is h a multiple of 29?
True
Suppose 7*j = 4*j - 3. Let t = j + 4. Suppose 30 = b + b - 4*l, 45 = t*b - 5*l. Does 11 divide b?
False
Let u(i) be the third derivative of 13*i**6/720 - i**5/120 - i**4/4 - 9*i**2. Let t(y) be the second derivative of u(y). Does 12 divide t(1)?
True
Is ((-4)/48*-66)/((-2)/(-132)) a multiple of 21?
False
Let j(z) = -z + 30 + 10 - 7 + 0. Is j(-16) a multiple of 7?
True
Suppose -t - 1041 = 2*t. Let g = 495 + t. Suppose 4 = -4*n + g. Is n a multiple of 12?
True
Let k(x) be the second derivative of x**4/6 - x**3/3 + x**2/2 - 9*x. Let s(b) be the first derivative of k(b). Is s(5) a multiple of 3?
True
Let w(u) = u**2 - 13*u + 10. Let z be w(12). Let t be (-260)/(-25) - z/(-5). Does 10 divide (11 - 8)/(3/t)?
True
Suppose -3*y - 224 - 178 = 0. Let d = y + 219. Let v = d - 41. Is 22 a factor of v?
True
Suppose -87*c - 26055 = -102*c. Is c a multiple of 13?
False
Suppose w + 3112 = 4*s, 0 = -4*s + 4*w + 1525 + 1587. Is s a multiple of 65?
False
Suppose r - 4 = -3*r. Suppose -4*j + 4 = -2*j, -2 = 4*z + 5*j. Is 13 a factor of (z + 5)*r + 15?
False
Is (-46)/138 - ((-410)/6 + -1) even?
False
Let n(j) = -13*j + 3. Let t(a) = 9*a - 2. Let k(h) = 5*n(h) + 7*t(h). Suppose 32 = -c - 3*c. Is 17 a factor of k(c)?
True
Let k(l) = 32*l**3 - l + 1. Let b be k(1). Suppose 4*v - b - 160 = 0. Does 12 divide v?
True
Let i(v) = 6*v**3 - 14*v**2 - 17*v + 5. Is 20 a factor of i(5)?
True
Is 15 a factor of (-600)/5*14*(-4)/16?
True
Let k(d) = -d**2 - 6*d - 3. Let i be k(-4). Let p = 46 - 14. Suppose -4*n + 2*c = -6*n + p, -5*n + 60 = -i*c. Is n a multiple of 7?
True
Suppose -4*p = 5*t, 6*p - 4*p - 2 = -3*t. Suppose t*x + 16 = 0, -4*x = 4*k - 167 + 23. Does 8 divide k?
True
Let x(k) = 3*k**2 + 6*k - 2. Let l be x(-5). Suppose 4*a - 195 = -l. Is 19 a factor of a?
True
Suppose 11*j - 3123 = -131. Let z = j - 111. Is 7 a factor of z?
True
Let w(a) = -a**3 + 9*a**2 + 14*a - 14. Let h(i) = -i**2 - 15*i - 16. Let y be h(-13). Is 7 a factor of w(y)?
False
Let l(c) = -c**2 + 20 + 3*c**2 + 0*c + 16*c. Is l(-11) a mul