 6 - 1, 0 = -2*a + 3*i + 25. Suppose -2*k - 2*t + 48 = -6*t, 4*k - 70 = -a*t. Does 5 divide k?
True
Let u = 41 - 53. Is 9 a factor of 66/(2 - 0*(-3)/u)?
False
Let i = 1 - 24. Let n = i + 44. Is n a multiple of 2?
False
Let d = 4 - 1. Suppose 2*f = 4*c + 224, -d*f + 5*c + 332 = -0*f. Suppose 0*u - 4*u = -f. Is u a multiple of 11?
False
Let d = 164 + -23. Suppose d = 4*r - 643. Is 14 a factor of r?
True
Let z be (-1 - -2)*(7 - 4). Suppose 4*a = s - a + 127, -s = -z*a + 117. Is 10 a factor of s/(-5)*55/22?
False
Is 14 a factor of 96/80*(3092/6 - 2)?
True
Suppose 11*r = 9*r + 264. Suppose w - 2*j = 52, 3*j - r = -2*w + 7. Is 15 a factor of w?
False
Let i = 8 - 7. Let h be ((-384)/30)/(i/(-5)). Let j = -25 + h. Is j a multiple of 12?
False
Let z = -316 + 976. Is z a multiple of 20?
True
Suppose -3*b = -2*o + 19, -8 = -o + 2*o + 2*b. Suppose -6*z + z = -2*x - 206, 0 = o*z + 5*x - 94. Is 4 a factor of z?
False
Let x be (-1)/(-4) + 665/28. Is 9 a factor of ((-508)/(-6))/(x/36)?
False
Let p(n) = -n**3 - 15*n**2 - 13*n + 17. Let y be p(-14). Suppose w - y*w - 6 = 0, r + 4*w + 2 = 0. Is r a multiple of 2?
True
Suppose 0 = 21*n - 345 - 2259. Is n even?
True
Suppose 4*d = d. Suppose d = -2*c - 3 + 7. Is -6*c/(-3) + 3 a multiple of 3?
False
Let l = 1158 + 1555. Is 19 a factor of l?
False
Let n(q) = -2*q + 3. Let i be n(1). Suppose -2*h - i + 235 = 0. Does 7 divide h?
False
Suppose -4*z + 5*j + 21 - 124 = 0, -z - 37 = -5*j. Let u = 92 - 50. Let b = z + u. Is 10 a factor of b?
True
Suppose -h - 4*p = 8 - 11, -3*p = -5*h + 15. Suppose -f = -2*j + 308, j = -h*f + 6*f + 164. Is j a multiple of 19?
True
Suppose s - 46 = -s. Let k = 28 - s. Suppose -a + 5*j = -55, -a - 5*j = -0*a - k. Is 16 a factor of a?
False
Suppose 0 = n + 17. Let s(c) = -c**2 - 21*c - 18. Does 10 divide s(n)?
True
Let r(s) = 6*s + 3. Let v be r(3). Suppose 7*b - v = 4*b. Suppose 0 = g - b - 8. Does 5 divide g?
True
Suppose -5*f = 5*k - 2745, k + 290 = -5*f + 827. Is 46 a factor of k?
True
Let f be (-41)/(-5) - (130/25 + -5). Suppose -4*p = -f*p + 16. Is 4 a factor of p?
True
Suppose 726 + 2814 = 15*t. Does 33 divide t?
False
Let z be -1 - (-5)/((-10)/(-12)). Suppose 2*q + z = r, q + 0*r + 2*r = 0. Is 22 a factor of 1/((-3)/(-69)) - q?
False
Let g(p) = 51*p**3 - 2*p - 1. Let r be g(-1). Let b(o) = -o**2 - 3*o + 4. Let k be b(5). Let d = k - r. Is d a multiple of 14?
True
Let v(j) = -j**3 + 8*j**2 - 5*j - 14. Let h be v(9). Let q = h - -271. Does 26 divide q?
False
Let k(v) = -9*v - 17. Let j be k(-9). Suppose -2*s + j = 2*s. Does 3 divide s?
False
Let h = -858 + 2037. Suppose w + 2*b = -3*b + 300, 0 = -4*w + b + h. Is 18 a factor of w?
False
Let d(i) be the second derivative of i**4/12 - i**3/2 - i**2/2 + 12*i. Let u be d(4). Suppose 0*p + u*p - 164 = -2*g, -3*g = 2*p - 116. Is 13 a factor of p?
True
Let g = 40 + -37. Suppose -2*u + 1011 = g*u - 2*j, -u + 2*j + 199 = 0. Does 29 divide u?
True
Let s(y) be the first derivative of -y**2 - 14*y - 4. Let n be s(-9). Suppose 0*a = -n*a + 88. Is a a multiple of 4?
False
Let i(q) = q**2 + q + 1. Let l(z) = 6*z**2 - 5*z - 8. Let d(c) = 6*i(c) + l(c). Let f(o) = 3*o + 40. Let s be f(-14). Does 18 divide d(s)?
False
Suppose -g + 6*g = 0. Suppose 5*h - 4 - 26 = g. Let j = 52 + h. Is j a multiple of 16?
False
Let h be 26/(-6)*(-2 - 1). Suppose -n + 588 = h*n. Is 42 a factor of n?
True
Let h(f) = 11*f**2 - 18*f + 5. Let n(o) = 5*o**2 - 9*o + 2. Let z(x) = -6*h(x) + 13*n(x). Does 3 divide z(-6)?
False
Let v(t) = -t**2 - 23*t + 18. Is v(-21) a multiple of 6?
True
Suppose -y - 4*m = -1049, 3*y - 1430 = -m + 1673. Is 20 a factor of y?
False
Does 7 divide 118 + 2/8*4?
True
Let z(t) = 305*t**2 + 14*t - 40. Is 13 a factor of z(3)?
False
Suppose 0 = z - 4*z - 15. Let s(r) = 9 - 7*r - 11 + 0. Does 11 divide s(z)?
True
Let s be 8/(3*6/9). Suppose 5*i - 31 = -3*p, -s*p + 2*i - 1 - 1 = 0. Suppose -h - 20 = -p*h. Does 10 divide h?
True
Let i = -805 + 1255. Does 30 divide i?
True
Suppose 2*b + 5*n = 22, -7*b - n + 9 = -2*b. Let l(d) = 4*d**2 + 2*d - 2. Let a be l(b). Suppose 5*g = -s + 5, 6*g - a*g = -4*s + 20. Is s even?
False
Let u = -1896 - -1896. Let q(w) be the first derivative of -w**4/4 - w**3/3 - w**2 + 87*w - 1. Is 18 a factor of q(u)?
False
Let s(a) = 39*a + 51. Is s(13) a multiple of 18?
True
Suppose -5*q - 11 = 3*h + 20, 0 = -2*h - 4. Let w(a) = -a**3 - 2*a**2 + 6*a + 27. Is w(q) a multiple of 6?
True
Suppose -5*b - 25 = -5*u, 2*u + 2*b - 1 - 5 = 0. Is 26 a factor of 4 - -233 - (u + 1)?
False
Let w(l) = 2*l**3 - 16*l**2 + 24*l + 10. Is w(10) a multiple of 65?
True
Suppose 3*t = -3*t + 30. Suppose -52 = -5*v - y, -2*v + t*y + 2 + 8 = 0. Is 6 a factor of v?
False
Suppose 56*x = 40*x + 560. Does 3 divide x?
False
Let x(g) = g**2 + 4*g - 27. Does 8 divide x(-9)?
False
Let f be (340/(-51))/(2/(-3)). Suppose -r + 6*r = -a - 1, 5*a - 21 = r. Does 4 divide 10/a*68/f?
False
Let a = 216 + -56. Suppose -u - a = -9*u. Does 3 divide u?
False
Let y = -33 + 1146. Is 21 a factor of y?
True
Let r = -2031 - -2803. Is r a multiple of 2?
True
Suppose -t - 4*d - 14 = 0, t - 5*d = 5*t + 23. Let v(n) = -14*n + 2. Is v(t) a multiple of 8?
False
Let x(z) = -z - 5. Let g(h) = -1. Let w(f) = 6*g(f) + x(f). Let q be w(5). Let k = 21 + q. Is 3 a factor of k?
False
Suppose n + 2*o + 12 = 3*n, -4*n = -2*o - 18. Suppose 0 = -n*k + 3*g + 174, 2*k - 98 = 4*g + 14. Is k a multiple of 15?
True
Suppose 2*t = -4*y + 370, -3*y + 309 = -3*t + 873. Suppose 3*b + 19 = t. Suppose 0 = -0*a - 4*a + b. Is 14 a factor of a?
True
Let b be 1/3 - (-3 - 0)/(-9). Suppose -15*i + 20*i - 130 = b. Is i a multiple of 5?
False
Let h = -31 + 78. Let v be (-1 - 0 - -6) + 78. Let y = v - h. Is 18 a factor of y?
True
Suppose 2*q - 111 = -2*r + 243, 0 = 5*r + 2*q - 879. Suppose -4*k + r = 5*p, -p - k = -3*p + 57. Is p a multiple of 10?
False
Let a = 9 + -4. Suppose 32 + 13 = a*z. Does 18 divide 21 + -2*z/6?
True
Let o = 544 + -254. Is 29 a factor of o?
True
Suppose -2*t + 2*p = -24, 3*p - 88 = -5*t + p. Suppose -t = -3*h - 2*o, -h = -o - o. Suppose -24 = -h*m - 0. Is m a multiple of 3?
True
Let z be (-6640)/(-30) + (-3)/9. Let d = z - 88. Is 19 a factor of d?
True
Suppose 0 = -6*d + 2*d + 8. Let r be (-4 + (-26)/(-4))*d. Suppose 3*h + 5*n = 35, 1 = -r*h + 4*n + 10. Is h even?
False
Let v(g) = -138*g - 714. Is v(-25) a multiple of 48?
True
Suppose 0 = -2*p + 4*p - 14. Suppose p*f = 4*f - 5*c + 92, -2*f - 3*c = -60. Is f a multiple of 12?
True
Let t be ((-28)/84)/((-2)/(-24)). Does 5 divide (-1284)/(-15) - t/40*4?
False
Suppose -18 = -2*t + 5*t. Let w be 4/(-6) + (-28)/t. Suppose 2*i - 36 = -3*s - i, 0 = w*i. Is 11 a factor of s?
False
Suppose 220 + 172 = 4*i - 4*x, -3*i + 4*x + 292 = 0. Is i a multiple of 10?
True
Let y(p) = p**3 - 26*p**2 + 50*p - 24. Let g be y(24). Suppose -2*d = -18 - g. Is 3 a factor of d?
True
Let k(h) = -h**3 - 8*h**2 - 6*h + 7. Suppose 0*n + 21 = -3*n. Let i be k(n). Suppose 0 = 5*d - i*d - 50. Is 5 a factor of d?
True
Let w = 8 + -7. Let k = w - 3. Let f(v) = -22*v + 3. Is 23 a factor of f(k)?
False
Is 21 a factor of (2 + 1117)/((-21)/(-8 + 1))?
False
Is ((-71)/4)/(2 - (-171)/(-84)) a multiple of 28?
False
Let f(t) = -24*t**3 + t**2 - 5*t - 26. Is 14 a factor of f(-3)?
False
Let r(v) = -32*v**3 - v + 1. Suppose -6*m = -2*m - p - 1, -m - 2*p = -7. Let w be r(m). Let d = w - -101. Is d a multiple of 23?
True
Let d = 1279 - 910. Is 64 a factor of d?
False
Let g be ((-24)/10)/((-4)/(-120)). Let q = 139 + g. Is q a multiple of 16?
False
Let g = -12 - -17. Suppose -54 = -4*o - 5*j, 9 - g = 2*j. Is o a multiple of 3?
False
Let c = -124 + 125. Suppose 0 = -t + 60 - c. Does 8 divide t?
False
Let u(d) = d**3 - 24*d + 13. Does 17 divide u(6)?
True
Let t(n) = -n - 8. Let k(i) = -i. Let u(z) = -4*k(z) + t(z). Let w be ((-56)/(-6))/(42/(-18) - -3). Is 4 a factor of u(w)?
False
Suppose -13*c = -4*c - 3006. Does 35 divide c?
False
Suppose -c = -0*c - 2. Suppose 2*w = 3*s + 5, -w - 6 = -2*w - c*s. Let h(o) = -2*o**2 + 9*o + 2. Is h(w) a multiple of 6?
True
Suppose 7*d - 2156 = -0*d. Is 52 a factor of d?
False
Let s(j) = -j**3 + 2*j + 1. Let n(t) = t**2 + 6*t + 5. Let g be n(-3). Is s(g) a multiple of 6?
False
Suppose -120 = -2*j + 10. Is (6/15*1)/(1/j) a multiple of 11?
False
Suppose 9*x - 23*x = -34160. Do