5 = -k. Does 27 divide v?
True
Let z(g) = -129*g - 546. Does 15 divide z(-14)?
True
Let t(f) = -f**2 - 2*f + 118. Let v be t(0). Suppose r - v - 1 = 0. Is 34 a factor of r?
False
Does 4 divide ((-36)/(-72))/((-2)/(-492))?
False
Suppose 2*z + 9 = r - 2*z, 4*z + 19 = 3*r. Suppose -r*n + 90 = 20. Does 14 divide n?
True
Suppose -r - 1 = -5. Does 10 divide (-4 + 2)*(-2)/r + 189?
True
Does 15 divide (4/((-16)/(-35)))/((-34)/(-4080))?
True
Let s(g) be the first derivative of -g**2 + 1/4*g**4 + 24*g - 3 + 1/3*g**3. Is 12 a factor of s(0)?
True
Let r = 569 + -331. Let s = -142 + r. Is s a multiple of 12?
True
Suppose o + 35*x = 40*x + 495, 0 = -4*o + x + 2075. Is o a multiple of 13?
True
Suppose 0 = 5*l + 45 - 160. Let k = 17 + l. Is 14 a factor of k?
False
Suppose 0 = -4*z + 5*y + 9, 4*y + 7 = -4*z + 43. Is 18 a factor of (0 + z/12)/(2/360)?
True
Let o(x) = 32*x + 229. Is o(0) a multiple of 12?
False
Suppose 48*z = 51*z - 384. Is z a multiple of 4?
True
Let t = 30 - -9. Let i = t + -20. Let l = 17 + i. Does 18 divide l?
True
Let v be 248/(-40) + 8/(-10). Let m(k) = -14*k - 4. Is m(v) a multiple of 47?
True
Suppose -u + 4*s = -296, u + 853 = 4*u - 5*s. Let x = 411 - u. Is 27 a factor of x?
True
Let c be (-4 - 52/8)*3*-8. Is 1 + c + (-10 - -8) + -1 a multiple of 25?
True
Suppose -3*o = -12 - 24. Let b(c) = c**2 - 3*c - 1. Is b(o) a multiple of 26?
False
Suppose -4*c - 3*i = -0*i - 13, c + 3*i = -8. Suppose 0*z + c*z - 1778 = 0. Does 37 divide z?
False
Let q = 248 - 54. Suppose -q - 134 = -4*p. Let j = p - 50. Does 16 divide j?
True
Let b = 88 + -50. Suppose 0 = 7*r - 9*r + b. Is 5 a factor of r?
False
Let d(i) = 337*i - 254. Does 26 divide d(8)?
False
Suppose 0 = k + 4*t + 4, -k + 2 = 2*k + 5*t. Let y(b) = -2*b + k + 1 + b**2 - 4*b + 1. Is 10 a factor of y(8)?
False
Let v be (-4 - -9) + (-1)/(-1). Suppose v*a - 3*a = 84. Does 11 divide a?
False
Let f(k) = k**3 - 9*k**2 - 9*k - 6. Let j be f(10). Let t = -12 - 2. Let w = j - t. Does 5 divide w?
False
Suppose -5*b = 5*f + 5, 1 = -b + 2*b + 2*f. Let x be -3 - (-1 - (b + 5)). Let s(q) = q**2 + q + 36. Does 18 divide s(x)?
True
Suppose d + 5*f + 67 = 0, 6*d = 4*d - f - 89. Let o = -20 - d. Is o a multiple of 11?
True
Let h be (22/4)/(6/12). Suppose -i + 194 = 54. Suppose -h*d + 7*d + i = 0. Does 21 divide d?
False
Let u(c) = 2*c**2 + 11*c - 5. Suppose 2*o + o - 16 = 5*d, -4*d = -4*o + 24. Let a be u(o). Suppose 3*x - 64 = a. Is x a multiple of 26?
True
Let v be 5/(-10) - 31/(-2). Let f = v - 15. Suppose -2*i = 6, f*p + 5*p - 3*i - 204 = 0. Is 19 a factor of p?
False
Let r(l) = -3*l**2 + 13*l + 6. Let z(a) = -a**2. Let m(w) = r(w) - 2*z(w). Suppose g + 35 = 3*p - g, -3*p + 5*g + 38 = 0. Does 13 divide m(p)?
False
Let k = -166 + 281. Let g = k + -95. Is 5 a factor of g?
True
Suppose 0 = -c + 3, -2*f - f = -2*c + 9. Let w = f - -13. Let a = 51 - w. Is 13 a factor of a?
True
Let q be 72*(1 - (-3)/(-12)). Suppose -l + 2*l = -5*p + q, 40 = 2*p + 5*l. Is 2 a factor of p?
True
Let l(s) = s**3 + 5*s**2 + s - 2. Suppose 0 = -2*z + 4*m + 4, 4*z = 2*z - 2*m - 14. Let i be l(z). Let d = i + 3. Is d a multiple of 4?
False
Suppose 3*x - 228 = -b, -50 - 26 = -x + 5*b. Suppose 5*d = 2*j - x, -2*d - 2*j = 2*j + 40. Let r = d - -31. Is r a multiple of 5?
True
Let n = -316 - -64. Let w = n - -450. Does 26 divide w?
False
Let h(n) = -n**3 + 9*n**2 - 9*n + 44. Does 7 divide h(6)?
True
Let j be ((-10)/6)/(1/(-48)). Suppose -6*c = -23 + 5. Suppose -5*y = -5*d + j, -4*d - 2*y + c*y = -79. Is d a multiple of 7?
True
Let m = -952 - -959. Suppose -k = -10 - 15. Suppose -m*w - 4 = -k. Does 3 divide w?
True
Let u = -174 - -301. Is u a multiple of 17?
False
Suppose -7*u - c = -3*u - 2455, 2*u - 2*c - 1220 = 0. Is u a multiple of 26?
False
Let g = -8 + -7. Let d = -16 - g. Let o(f) = -10*f**3 - f**2 - 2*f - 1. Is o(d) a multiple of 5?
True
Let l = 700 - 330. Let h = 679 - l. Does 42 divide h?
False
Let q(o) = -2*o - 7*o**2 + 2*o**3 + 8*o**2 + 2*o**3. Suppose w + 2*w = 6. Does 16 divide q(w)?
True
Is 28 a factor of (3 - -2075) + -4 + (2 - 0)?
False
Let u be (-4)/(-6) + 78/(-9). Let q = -16 + 1. Let f = u - q. Is f a multiple of 7?
True
Let i = -141 - -281. Does 35 divide i?
True
Let s(l) = -l**2 - 2*l - 116. Let n be s(0). Is 37 a factor of ((-25)/20)/(1/n)?
False
Let q be 1/((-11)/2) + (-620)/220. Is 6 a factor of q/12 - (-2214)/24?
False
Let v(f) = 12*f + 3 + 0 - 1 - 13*f. Let j be v(0). Suppose 327 = 5*k - 0*k + j*c, 3*k = -c + 196. Does 13 divide k?
True
Let l(a) = a**3 + 10*a**2 + 7*a - 13. Let y be l(-9). Suppose 4*k - 15 = y. Suppose 0 = -5*g - 5, s = g + 8 + k. Is 9 a factor of s?
False
Let a(d) = 19*d**3 + 3*d**2 - 2*d. Let u be a(1). Suppose -h + u = -61. Is 27 a factor of h?
True
Suppose -10 = 7*t - 9*t. Suppose 5 = t*d + 10. Is (d + -2)/(9/(-93)) a multiple of 14?
False
Suppose -k - 1060 = -6*k. Suppose 2*n - k = -68. Is 12 a factor of n?
True
Suppose 26*r - 29*r + 2*b = -5776, -3*r + 5*b = -5764. Is r a multiple of 24?
False
Suppose 0 = 2*o + o - 204. Let l = -33 + o. Is l a multiple of 7?
True
Suppose 14*d - 611 = 775. Is 2 a factor of d?
False
Let x = 278 + -129. Suppose -t = 5*s - x, 2*t + 2*s - 137 = 121. Let f = -76 + t. Is 16 a factor of f?
True
Let t be 4/((-40)/6)*(-42 + -3). Suppose 2*y - t - 193 = 0. Is y a multiple of 22?
True
Let j(n) = -n**2 + 22*n - 21. Let x be j(21). Suppose x = 7*m + 87 - 822. Does 7 divide m?
True
Suppose -2*g - 15 = -7*g. Suppose -3*c - g*o + 78 = 0, 58 = c + c + 5*o. Suppose -4*d - k = -0*d - c, 5*d - k = 30. Does 2 divide d?
True
Suppose 0 = z - 2*j - 14, 2*j + 44 = 3*z - 3*j. Suppose -13*l + z*l = 535. Is l a multiple of 7?
False
Suppose 3*j + 2*s = 2*j + 1015, 5*j - s = 5042. Is j a multiple of 75?
False
Let r(d) = 442*d + 650. Is r(14) a multiple of 14?
False
Suppose -5*t + o + 1352 = -0*o, 3*t - 818 = 4*o. Suppose t = 12*n - 3*n. Is 30 a factor of n?
True
Let g(u) = 9*u - 13. Let r(z) = -5*z + 6. Let q(j) = -6*g(j) - 11*r(j). Let y(i) = -i**3 - 8*i**2 - 6*i + 7. Let k be y(-7). Is q(k) a multiple of 7?
False
Let l be ((-7)/(-2))/((7/1)/(-14)). Let r(h) be the first derivative of -11*h**2/2 - 3*h - 1. Does 15 divide r(l)?
False
Suppose 240*l - 256*l + 2288 = 0. Is l a multiple of 11?
True
Is (-18 - (-330)/18)*(1 + 770) a multiple of 64?
False
Suppose -4*u - v = -55, -2*v = -u - 5*v. Is 38 a factor of (-288)/u*20/(-3)?
False
Let d(m) = -24*m**3 + m**2 + 2*m + 11. Is 29 a factor of d(-2)?
True
Let a(o) = -o**2 + o + 3. Let r be a(0). Let t(b) = 7*b**3 - b**2 - b - 2. Let x be t(r). Suppose 0 = 5*v - x - 110. Does 19 divide v?
True
Suppose 32 = 4*m - 4*f, 3*m + f - 18 = 2*f. Suppose 0 = -3*b + 3*l - 6, m*b - 3 = 2*l - 1. Suppose b*t - 121 = -1. Is 15 a factor of t?
True
Let p = 118 + -163. Let i = 19 - p. Is i a multiple of 16?
True
Let p = 895 - -502. Is p a multiple of 10?
False
Suppose -117*p = -162*p + 63000. Is p a multiple of 7?
True
Let z = -851 + 1445. Is 25 a factor of z?
False
Let n be ((-4)/(-6))/((-6)/(-81)). Let f = -9 + n. Suppose -2*v + 4*v - 126 = f. Is v a multiple of 9?
True
Suppose 0 = 4*o + 25 - 269. Let p = o + -10. Is 5 a factor of p?
False
Suppose 4*v = -5*b - 534 + 6370, -4 = -v. Suppose 6*m = b - 336. Does 46 divide m?
True
Let g(v) = 2*v + 5. Let x(t) = t**2 + 10*t - 14. Let d be x(-12). Suppose -25 = 5*y - d*y. Is g(y) a multiple of 14?
False
Let s be 69 + 1 + (0 - 3). Let m = -28 + s. Is 23 a factor of m?
False
Suppose 0*x + 10 = x. Suppose x + 38 = 4*z. Suppose 8*j = 10*j - z. Does 4 divide j?
False
Let m be 2/4*2*4. Let p(c) = -c**3 + 4*c**2 + c - 4. Let w be p(m). Does 7 divide w/4 - (-27 - 0)?
False
Suppose -2115 = -3*z - 3*s, -9*s + 5*s = 0. Is z a multiple of 15?
True
Let w = 47 - 26. Let d = w + -19. Suppose 4*a - 4*c - 570 = -154, -4*a - d*c = -392. Is a a multiple of 25?
True
Let y be 4 + -2 + -4 - 536/(-4). Suppose 35*g - y = 33*g. Does 9 divide g?
False
Suppose 0 = 4*l + l - 1780. Is 28 a factor of (-32)/(-24) + l/3?
False
Let h(g) = 5*g - 10. Let y be h(7). Suppose y = 5*n - 50. Is n a multiple of 3?
True
Let a(v) = -v**2 + 9*v - 17. Let h be a(5). Suppose -151 = -h*b + q, -q + 50 = 2*b - 54. Is 17 a factor of b?
True
Let r(o) be the third derivative of o**5/60 - 7*o**4/12 + o**3/6 + 7*o**2. Let d be r(14). Is 70 - ((2 - 3) + d) a multiple of 25?