*p - 3*w, 3*p + w = 6*p - 33. Suppose 0 = 4*c + 5*o - 62, 0 = 2*c - 5*o + p - 56. Does 3 divide c?
True
Let m be -2*2/(-18) - 1840/18. Let q = 194 + m. Does 23 divide q?
True
Let l(a) = 49*a - 10. Let p be l(-3). Let x = 289 + p. Is 11 a factor of x?
True
Let o(a) = -60*a + 11. Let x(w) = -60*w + 10. Let n(v) = -6*o(v) + 7*x(v). Is n(-1) a multiple of 16?
True
Suppose -46*r + 35580 = -2738. Does 7 divide r?
True
Let s = -154 - -751. Is s a multiple of 24?
False
Suppose -9*g + 18 = -9. Suppose 0 = 4*b - 3*u - 47, -u = 2*b - g*u - 26. Is 4 a factor of b?
True
Let g(k) = -6*k**2 - 5 - 12*k - 9*k**2 + 16*k**2. Let y be g(13). Does 15 divide ((-116)/y)/((-2)/4)?
False
Suppose 0*c = 3*c + 3. Let q be (c + 1 + 0)*1. Is 49 + -4 + (q - 0) a multiple of 15?
True
Let v = 225 + -90. Suppose 0 = -18*a + 15*a + v. Does 9 divide a?
True
Let q(k) = k**3 - 5*k**2 + 4*k + 3. Let f be q(4). Let i(o) = 0*o - f + 3*o + 2*o. Does 4 divide i(2)?
False
Suppose -3*r - 2*b = 342 - 2410, -2*r + 5*b = -1404. Is 31 a factor of r?
False
Let o = 41 + -5. Suppose f + 4 = -2*v + o, f = 5*v - 94. Is 6 a factor of v?
True
Let n be ((-1)/12 - (-2)/(-3))*-8. Does 28 divide 1 + 1359/15 + n/15?
False
Let k = 11 + -17. Let n(v) = -15*v - 18. Is 9 a factor of n(k)?
True
Let g = -95 + 229. Does 44 divide g?
False
Let j(f) = f**3 - 5*f - 2. Let k = 58 + -55. Does 5 divide j(k)?
True
Let t(g) = g**2 - 18*g + 5. Let k be t(12). Let v = 2 - k. Is 8 a factor of v?
False
Suppose -l = -0*l - 15. Let u = 17 - l. Suppose t - 93 = -5*c, u*t = 4*c + 26 - 106. Is 11 a factor of c?
False
Let c = 10 - 0. Suppose 5*s - c = -0. Suppose -s*q + 33 = -5. Does 10 divide q?
False
Let c(n) be the second derivative of n**4/12 - 11*n**3/6 - 5*n**2 + n + 11. Is c(12) even?
True
Let y(b) = -b**2 + 6*b + 2. Let x be y(6). Suppose -x*s - 4 = -4*c - 0, 0 = 3*c - 3*s. Suppose a + c*a = 171. Does 16 divide a?
False
Suppose -3*u + 2*g = 24 + 10, -15 = -3*g. Does 9 divide -3 - 4/(u/206)?
False
Let x = 40 + -42. Let j(g) = 25*g**2 + 7*g + 5. Is 13 a factor of j(x)?
True
Let s = -8 - -5. Let g(i) = -7*i**2 + 2*i + 2. Let x(o) = -6*o**2 + o + 1. Let p(h) = 3*g(h) - 4*x(h). Is p(s) a multiple of 23?
True
Suppose p + 24 = 5*p. Is -1 - (p/3 + -30) a multiple of 4?
False
Let a be ((-2)/(-6))/1 + (-1540)/(-15). Suppose 2*f - 83 = a. Is f a multiple of 31?
True
Let v = 288 - 212. Is 4 a factor of v?
True
Suppose 30*a + 143 = 43*a. Is 4 a factor of a?
False
Let k(y) = y**2 + 20*y + 201. Is 32 a factor of k(-37)?
False
Let y(o) = -14*o**3 - 5*o**2 + 5*o - 6. Is y(-3) a multiple of 78?
True
Suppose 15*o - 4 = 14*o. Suppose -s = o*j + s + 34, 2*j + 3*s = -7. Let m(f) = f**3 + 10*f**2 - 15*f - 16. Does 15 divide m(j)?
False
Suppose 356*m = 341*m + 13680. Is m a multiple of 38?
True
Let y(p) be the second derivative of -p**4/4 - p**3 - 3*p**2/2 + 5*p. Let k be y(-4). Let x = k + 47. Does 10 divide x?
True
Suppose 0 = 20*t - 480 - 8880. Is t a multiple of 52?
True
Let y = -71 + 73. Is 35 a factor of 418/4 - (-1)/y?
True
Let k be 18/(-12)*16/(-6). Suppose 0*f - 4*o + 300 = 4*f, 0 = -5*f - k*o + 380. Let d = f - 56. Does 7 divide d?
False
Let i = -9 - -10. Let x be (5/i)/((-3)/(-6)). Suppose -5*t + x*t - 380 = 0. Does 22 divide t?
False
Let f be 1/4 + (-4)/16. Let u be 4/22 - 180/(-99). Suppose -3*d - 5*b + 55 = f, -b - u = -5*d + 43. Is 5 a factor of d?
True
Let c(i) = i**2 - 8*i + 4. Let h be c(4). Let g be (-16)/h*15*-2. Let w = 85 + g. Is w a multiple of 15?
True
Suppose 0 = 3*j - 299 - 103. Is j even?
True
Let a be -10*(2 + (-15)/6). Suppose -a*d - 3 + 23 = 0. Suppose -d*k = -6*k + 142. Does 13 divide k?
False
Suppose -6*o = -3*o + 447. Let q = o + 248. Does 11 divide q?
True
Let p = 36 + -76. Suppose -r = -37 - 61. Let z = r + p. Is 11 a factor of z?
False
Let b(h) = 6*h - 14. Let k be b(-9). Suppose -492 = -5*z - d, 6*z - 5*d = z + 480. Let q = z + k. Does 12 divide q?
False
Let w(z) = z**2 + 10*z + 10. Let o = -25 - -13. Let y be w(o). Let k = -25 + y. Does 2 divide k?
False
Let q = -425 - -855. Is q a multiple of 11?
False
Let m = 1453 - 240. Is 20 a factor of m?
False
Let j(h) = h**2 + 4*h - 16. Let p(x) = 3*x + 18. Let m be p(-10). Does 13 divide j(m)?
False
Let c = -496 - -858. Is c a multiple of 20?
False
Let u be 2408/(-60) - 4/(-30). Let g be 3/(-8) - 2175/u. Suppose -q - 231 = -5*q + z, -q + z + g = 0. Is q a multiple of 6?
False
Suppose 456 = 146*p - 144*p. Is 12 a factor of p?
True
Let n be -4 - -103 - (-2 + 2 - 2). Suppose -75 = -2*m + n. Is m a multiple of 8?
True
Let m be (-18)/(-6*(-2)/(-8)). Suppose -m = -4*c, c - 43 = -2*w - 3*w. Is 2 a factor of w?
True
Suppose 10*y - 5*y = 10. Suppose 2*j - 21 = -y*j + t, 5*t + 5 = 0. Suppose 0 = -j*f + f + 224. Does 17 divide f?
False
Is 93 a factor of 224805/70 + (-6)/(-4)?
False
Does 17 divide ((-804)/14)/((-41)/1435)?
False
Let f(g) = 2*g - 5. Let k be f(8). Let m(z) = z**2 - 9*z - 6. Is 16 a factor of m(k)?
True
Let s = -4309 + 6429. Is 106 a factor of s?
True
Let j(i) be the second derivative of -i + 0 + 1/12*i**4 - 1/3*i**3 + 2*i**2. Does 4 divide j(5)?
False
Suppose 0 = -7*o + 1972 + 2508. Is o a multiple of 36?
False
Let j = -54 - -4. Let u = j + 137. Is 12 a factor of u?
False
Let z(x) = x**3 - x**2 + 6*x + 680. Does 20 divide z(0)?
True
Let q = -27 - -86. Let g = q - -96. Is 31 a factor of g?
True
Let l(n) = -30*n + 1. Suppose 13 = -c + 3*f, 3*c - 23 = -c - 3*f. Suppose 0 = -c*b + 6*b + 4. Does 5 divide l(b)?
False
Let j(y) = y**3 - 11*y**2 + 10*y - 1. Let r be j(10). Let o be 3*(2 + r/1). Suppose 0*m + 54 = o*b + 2*m, 0 = -3*b + 3*m + 39. Is b a multiple of 4?
True
Let x = 2 - -5. Suppose 0 = 2*p - 5*q + 23 + x, -2*q - 108 = 4*p. Is 9 a factor of (10/p)/(2/(-50))?
False
Let w = 0 - -191. Is 7 a factor of w?
False
Suppose 0 = 314*v - 319*v + 590. Is v a multiple of 18?
False
Let n = -107 - -98. Suppose 2*f + 23 + 7 = 0. Is 8 a factor of (n/f)/(2/60)?
False
Let p(c) be the first derivative of -c**5/20 + c**4/6 - 6*c + 5. Let r(b) be the first derivative of p(b). Does 8 divide r(-2)?
True
Let q be (0 - -3)*64/48. Suppose 2*o + 37 = 2*c - 25, -o - q = 0. Does 14 divide c?
False
Let l(t) = 25*t - 2. Let q(p) = -p**3 - 5*p**2 + 8*p + 14. Let m be q(-6). Does 17 divide l(m)?
False
Suppose -l = 3*w - 0*w - 20, -5*l = 2*w - 74. Suppose l*n - 15*n = -60. Does 15 divide n?
True
Suppose 2*i - 4*j = 3*i - 4, 5*j - 4 = -i. Suppose -v + i = 1. Suppose w + 29 = 3*r, 2*w = -r - v + 1. Does 3 divide r?
False
Suppose 0*r - 14 = -3*x + 5*r, -r - 10 = -3*x. Suppose -z + 13 + x = 0. Let y = z + -8. Is 5 a factor of y?
False
Suppose -l - 6 = -3*l. Let x(y) = -7*y - 6*y**2 + 0 + 2*y + 3 + y**l - 2. Is x(7) a multiple of 4?
False
Suppose 3*b - w + 2421 = 2*w, 0 = -3*b - w - 2413. Let v = 1183 + b. Does 14 divide v?
True
Let d(p) = -14*p - 5. Let t = -8 + 11. Suppose 0 = -r - t + 1. Is 14 a factor of d(r)?
False
Suppose 3*q = -0 - 9. Is -2 - q - (-2 - 39) a multiple of 7?
True
Let f(u) = 9*u**2 - 9*u + 15. Let c be f(5). Let z(v) = v**2 - v - 2. Let r be z(-3). Suppose c = -r*t + 15*t. Is t a multiple of 13?
True
Is (-3633)/(-2) - (10 - (-69)/(-6)) a multiple of 101?
True
Suppose 2*k = -5*j - 71, -j = 4*k + 40 + 57. Suppose 7*y - 135 = -261. Let i = y - k. Is i even?
False
Let r = 49 - 34. Suppose -5*c + 3*o + 30 = 0, -3*o - r = -0*o. Suppose -c*h + 26 = -37. Is 21 a factor of h?
True
Suppose -3*h = 5*k - 168, -4*h + 216 = 5*k - k. Let j = h - -114. Suppose -j = -m - 4*m. Is 7 a factor of m?
False
Suppose -21*o - 762 = -15*o. Let n = -99 - o. Does 3 divide n?
False
Suppose -6*t = -13*t + 3801. Suppose 2*o + 105 = r - o, -3*o = 5*r - t. Is 45 a factor of r?
False
Let q(z) be the first derivative of -z**3/3 + 11*z**2/2 + 4*z + 3. Is 7 a factor of q(8)?
True
Is (12/(-3) - -5)/((-2)/(-634)) a multiple of 19?
False
Let f(r) = r**2 - 15*r + 28. Let z be f(13). Let o be (1 - -12) + (-8)/z. Is 8 a factor of (o - -4) + (5 - 2)?
True
Let v be 3*(5 - 2 - -6). Let t = v + 10. Does 19 divide t?
False
Let z(x) = -23 + 10*x + 0*x + 4*x - 3*x. Is z(18) a multiple of 5?
True
Let i be 35/21 - 3/(-9). Is 12 a factor of 124 - (i - 4)*-2?
True
Suppose -n + 4*q = 6, -2*n - 3*n + 6 = -2*q. Is 21 a factor of (n - -112) + 2*2?
False
Let a(n) be the second derivative of -n**5/20 + n**4/2 - 4*n**3/3 + 9*n**2/2 