*k - v*k = 56, -3*k = -5*f + 161. Does 15 divide f?
False
Suppose 4*v - 11 = j, 3*v + v = -j + 21. Suppose -v*o + 2*o + 36 = 0. Is o a multiple of 13?
False
Let a = -81 + 113. Does 4 divide a?
True
Let k(d) = -12*d + 1. Is k(-4) a multiple of 17?
False
Let n(m) = -23*m - 24. Is 5 a factor of n(-3)?
True
Suppose 0 = 3*c - 2*c. Suppose 5*a = 3*a - u + 10, 5*u - 6 = a. Suppose 32 = -c*i + a*i. Does 8 divide i?
True
Suppose 0 = i + 2*g - 8, 3*g = i - 4*i + 21. Let b(z) = -z**3 + 7*z**2 - 4*z + 8. Does 8 divide b(i)?
False
Let m(p) = -12*p**2 + p - 2. Let f be m(1). Let q = 47 - f. Does 30 divide q?
True
Suppose -97 = 4*r + 223. Let p = r + 143. Is p a multiple of 14?
False
Let s = 1 - -2. Let u be (1/(-2))/(s/(-6)). Does 5 divide u/1*(3 + 2)?
True
Let v = 15 - -225. Is v a multiple of 15?
True
Let j(w) = 2*w**2 - 2. Let r be j(-2). Let l be (2/r)/((-2)/(-18)). Suppose -4*n + 12 = 0, l*y + 5*n - 6 - 63 = 0. Does 9 divide y?
True
Suppose 3*v + 1 - 4 = 0. Let w be (v - 2)*6/3. Is 3 a factor of w*1/1 + 10?
False
Suppose -j = -2*s + 39, s - 4*j = -s + 24. Suppose -s = 3*x - 5*x. Is x a multiple of 11?
True
Let w(i) = i + 96. Let q be -2 - -4 - (-1 + 3). Is 25 a factor of w(q)?
False
Is (-6)/(-16) - (-4531)/184 a multiple of 7?
False
Let l(n) = 2*n**2 - 7*n + 6. Is 10 a factor of l(4)?
True
Let k(w) = 7*w**2 + w - 2. Let d be k(-2). Suppose 13 = -5*b + 2*m + 41, -3*m = -3*b + d. Is b a multiple of 2?
True
Suppose -k - 120 = -5*k. Suppose -2*d - k = -4*b - 4, -5*b = 4*d. Let c(h) = -h**3 - 4*h**2 + 4*h + 1. Does 3 divide c(d)?
True
Is 88/12 - ((-4)/(-3) + -1) a multiple of 7?
True
Suppose -10 = -5*z - 2*s, 3 = -z - s + 2. Suppose -39 = i - z*i. Is 6 a factor of i?
False
Let j be (-4)/(-3)*(-18)/4. Let x(d) = d**3 + 7*d**2 + 5*d - 4. Let c be x(j). Suppose 5*z - 44 = -c*k, -k + 3*k = -2*z + 14. Is 5 a factor of z?
True
Suppose 7*x + 4*j - 116 = 5*x, 5*j = -5*x + 305. Is x a multiple of 17?
False
Suppose 3*b + 7 - 43 = 0. Let u = 22 + b. Is u a multiple of 13?
False
Let w(o) be the third derivative of 1/8*o**4 + 0*o - 2*o**2 + 2/3*o**3 + 0. Is w(5) a multiple of 13?
False
Does 11 divide (3/2)/((-1)/(-44)*2)?
True
Suppose 4*b - 74 = 142. Let y = b - 18. Does 12 divide y?
True
Let v = 9 - -2. Does 6 divide v?
False
Let i(x) = -4*x + 4. Let j(p) = -p - 1. Let k(r) = i(r) + j(r). Let f(h) = -h**3 + 12*h**2 - 2*h + 18. Let l be f(12). Is k(l) a multiple of 9?
False
Let g(o) = o**3 + 13*o**2 + 11*o - 2. Let x = -14 + 2. Is g(x) a multiple of 8?
False
Let g be (-1)/((-9)/(-5) + -2). Suppose 87 = g*r - 158. Is r a multiple of 13?
False
Is 6 a factor of -1 + 4/((-16)/(-140))?
False
Let u(a) = -a**2. Let l be u(0). Suppose 0*t - t + 26 = l. Does 12 divide t?
False
Let x(q) = -2*q**3 - 3*q**2 + 5*q + 6. Is x(-4) a multiple of 8?
False
Let m(l) = -4*l - 3. Suppose 3*a - 14 = -2*p - 0*p, -1 = -p. Let t(w) = -w**2 + 2*w. Let r be t(a). Is m(r) a multiple of 9?
False
Let m be (18/8)/(1/(-4)). Is 2/(-9) + (-65)/m even?
False
Suppose -2*v + 0*v + 8 = -4*x, -3*v = -3*x - 12. Let f = -2 + v. Let m = f + 4. Does 3 divide m?
True
Let r(k) = -2*k + 2. Let f(x) = -16*x + 17. Let i(n) = 6*f(n) - 51*r(n). Let t be i(2). Suppose -h - 2*q + t = 0, -2*q = 4*h - 44 - 10. Is h a multiple of 5?
False
Let k be (-4)/2*-10*3. Suppose -o + k = 3*o. Suppose -3*g - o = -6*g. Does 5 divide g?
True
Let z = -56 + 88. Is 16 a factor of z?
True
Suppose 0*w + 2*k = 4*w - 30, w + k = 0. Suppose -3*z + 130 = 5*t, -w*z + 71 = 5*t - 3*t. Let r = -5 + t. Is 9 a factor of r?
True
Let z be (-6)/(-4) + (-15895)/(-22). Is 9 a factor of z/14 - (-16)/56?
False
Let u = -23 - -92. Suppose -55 = -4*d + u. Is d a multiple of 12?
False
Let w = -9 + 2. Let f = -3 - w. Suppose 8 = 5*n + y - 6, -f*n - y = -11. Does 3 divide n?
True
Suppose 4*j - 8*j + 208 = 0. Suppose 4*m + 16 = 4*k - j, m + 49 = 3*k. Is k a multiple of 9?
False
Suppose 0 = -4*l - l + 10. Suppose 0*i - 5*i = -2*v - 142, 0 = -5*i - 5*v + 135. Suppose l*g - 4 = i. Is g a multiple of 16?
True
Suppose -3*v + 966 = 3*x + 2*x, 0 = 2*x - v - 382. Is 16 a factor of x?
True
Let y = 7 - 7. Suppose y = -4*g + 20, 10 + 7 = q + g. Is 12 a factor of q?
True
Let w(u) = -u**2 + 7*u - 9. Let n be w(6). Does 19 divide (n - -22)/((-1)/(-3))?
True
Is -30*1*-1 - 3 a multiple of 9?
True
Suppose -f + 12 = 3*f. Suppose -3*p = -4*p + 39. Suppose 0 = u - 0*a - 3*a - p, -4*a = f*u - 78. Is u a multiple of 23?
False
Suppose 0 = 7*d - 13 - 260. Does 11 divide d?
False
Let b(q) = 4*q**2 + 1. Let w be b(-1). Let c be w/2*4/2. Let f = 30 - c. Is 16 a factor of f?
False
Suppose 5*x - 84 - 6 = 0. Is x a multiple of 3?
True
Suppose 6*j - 612 = 42. Does 24 divide j?
False
Suppose -9*g + 6 = -6*g. Suppose 0*z + g*x - 30 = -4*z, -2*z + 9 = 3*x. Is 5 a factor of z?
False
Suppose -q = -28 - 17. Is q a multiple of 9?
True
Let o = -22 + 9. Let m = o - -55. Does 9 divide m?
False
Suppose 4*o - 4*p = 2*o, 0 = 3*o - 5*p + 1. Let j be (-3)/o*(4 + -2). Suppose -k = -4 - j. Does 7 divide k?
True
Let d be 225/18*(-8)/(-5). Let l = 41 - d. Is l a multiple of 7?
True
Let x = -5 - -10. Suppose 3*t = -x*b - 10, -5*t + 5*b = 2*b - 6. Let j(z) = -z**3 + 7. Is j(t) a multiple of 4?
False
Suppose -5*j + 1825 + 175 = 0. Does 25 divide j?
True
Let i = 417 + -165. Is 11 a factor of i?
False
Let g = -40 - -104. Is 22 a factor of g?
False
Let q(w) = 11*w - 22*w - 2 + 8*w. Let m = -1 + -4. Is q(m) a multiple of 13?
True
Let v(y) = 3*y**2 - y - 3. Does 7 divide v(-4)?
True
Let i(m) = -m + 7. Suppose 32 = 3*x + 8. Let z be i(x). Is 17 a factor of z*1 - (-5 + -13)?
True
Suppose 0 = 5*o - 2*o - 45. Suppose 0 = -a + 3 - o. Is 12 a factor of a/(-10)*10*2?
True
Let j(x) = 2*x + 3. Let b be j(-2). Let k be (-2)/(b + 15/9). Let d = 19 + k. Is 15 a factor of d?
False
Let r be -3 + 5 - (1 - 2). Suppose 0 = -r*x + 5*b + 73, 2*x - 27 = b + 10. Is 8 a factor of x?
True
Let v(m) = m**2 - m. Let p be v(2). Suppose -w = 4*y - 0*y - 40, -2*w + p*y + 40 = 0. Does 8 divide w?
True
Let v = 397 + -228. Is 16 a factor of v?
False
Let x = 6 + -5. Let u = 11 - x. Is u a multiple of 10?
True
Let m(k) = k**2 - 2*k**2 - 5*k + 26 + 4*k. Does 13 divide m(0)?
True
Suppose -k - 70 = 38. Let t = k - -175. Does 15 divide t?
False
Suppose g = 6*g. Let h be -4*(g/(-2) + -16). Suppose 4*z = -0*z + h. Is 12 a factor of z?
False
Suppose 2*g + 2*g = 4*w + 48, 2*w + 32 = 4*g. Let j(s) = -s**2 + 6*s + 3. Let m be j(6). Is 6 a factor of (m/2)/((-1)/w)?
True
Is 31 a factor of 8480/72 - (-4)/54*3?
False
Let y(b) = 7*b**2 - 4*b - 11. Let c(n) = 3*n**2 - 2*n - 5. Let j(t) = -9*c(t) + 4*y(t). Let r be j(5). Let l = 71 - r. Is l a multiple of 13?
False
Let q be (-2)/8 - 66/(-8). Is 7 a factor of (-5)/((-50)/q)*25?
False
Let h(w) = w**3 - 5*w**2 - w - 13. Is 17 a factor of h(6)?
True
Suppose -2*l - 3*z - 13 = 2*z, 0 = -z - 3. Let q = l + 4. Suppose -q*d - 1 = -91. Is d a multiple of 18?
True
Suppose 0 = -4*z + 3*x + 662, -5*z + 2*x + x + 826 = 0. Suppose -4*k + z = -0*k. Does 12 divide k?
False
Suppose -3*y + 5*y = 36. Does 3 divide y?
True
Let c = 12 - 22. Let n = 30 + c. Does 10 divide n?
True
Let h(w) = -w**3 + 16*w**2 - 4*w + 11. Does 38 divide h(15)?
False
Let n = 2 - -20. Let m = 14 - n. Does 4 divide 2/m*-18*2?
False
Suppose 6 + 60 = q. Let f = q - 42. Does 8 divide f?
True
Let u = 9 - 9. Let l(i) = -7*i - 17. Let w(b) = 4*b + 9. Let c(x) = -3*l(x) - 5*w(x). Is c(u) a multiple of 6?
True
Let g be ((-2 - -2)*1)/(-2). Let t be g + 2/3*21. Suppose c = 3*c - t. Is c a multiple of 6?
False
Let m = 2 + 2. Let u(j) = -j + 8. Is u(m) a multiple of 3?
False
Suppose -5*x = -0*x + 125. Let l = x + 60. Does 7 divide l?
True
Suppose -3*b = -2*y - 3 - 2, -2*b + 3*y = 5. Let r(g) = 23*g - 7. Let w be r(b). Does 12 divide ((-1)/2)/((-2)/w)?
False
Let b(r) = r**2 + r. Let v be b(0). Suppose v = -4*m - 2*f - 40, 3*m - f + 44 = -6*f. Let h = 10 - m. Is 6 a factor of h?
True
Let d(s) = -s - 16. Let j be d(-11). Is 9 a factor of (36/(-15) + -3)*j?
True
Let r(l) = l**2 - 4*l + 1. Is 11 a factor of r(7)?
True
Let l = 87 + -51. Suppose 3*h - l = h. Suppose m = -2*j + h, -m + 3*j - 2 = j. Is 8 a factor of m?
True
Does 22 divide (24/30)/(2/655)?
False
Let y = 22 + -35. Let w(r) = r**3 + 14*r**2 + 14*r + 10. Let q be w(y). Does 18 divide (-53)/q + 3/9?
True
Let x(l) = l**3 - 