. Is 346/6 + r/(-21) a multiple of 20?
False
Let u be (-5)/((-1)/25*-1). Let i = -62 - u. Is 21 a factor of i?
True
Let f be 3/5 + (-317)/(-5). Let p = -33 + f. Suppose 4*w + 73 + p = 5*q, q + w - 19 = 0. Is q a multiple of 10?
True
Let f(k) be the first derivative of k**4/4 - k**3 - 3*k**2/2 - 3*k - 2. Is 16 a factor of f(5)?
True
Let o(w) = 12*w - 4. Let k(t) = -t. Let d(l) = 5*k(l) + o(l). Let u be d(6). Suppose u = 3*s - 28. Is s a multiple of 10?
False
Suppose -5 = -4*j - 21, 3*p - 126 = 3*j. Let a = p - 17. Is a a multiple of 15?
False
Suppose 5*v - 7*v = -8. Suppose q + 5*t = 15, 326 - 106 = 5*q - v*t. Is q a multiple of 16?
False
Suppose -512 = -3*j - 152. Suppose 2*z = 6*z - j. Does 10 divide z?
True
Let i = -6 - -12. Suppose 0 = 3*l - 2*l - 2. Suppose -i = -l*d + 68. Is d a multiple of 11?
False
Suppose -3*z = -5*h + 304, -2*h + 2*z = -0*z - 120. Suppose -5*y - 49 = -3*j, -13 = -4*j - 3*y + h. Is j a multiple of 6?
True
Let n(v) = -v**2 + 7*v + 4. Let j be n(9). Let t be 12/j*(-6 - 1). Is 1/3 + 76/t a multiple of 13?
True
Suppose x + 4 = n + 6, 5*x = -4*n + 28. Is x even?
True
Let g(x) be the third derivative of -7*x**6/120 - x**5/60 + x**4/24 + x**3/6 - 2*x**2. Let a be g(-1). Suppose -v + a*v = 65. Is 13 a factor of v?
True
Let p(z) = -z**2 + 6*z + 6. Let a be p(5). Suppose -t + 4*d + a = 0, 4*t - 161 = -4*d - 57. Is 13 a factor of t?
False
Suppose 2*s - 6*s + 176 = 0. Does 11 divide s?
True
Suppose -g + r + 9 = 0, -3*g - 8 = r - 27. Suppose 0 = -2*m + 5 - 3. Let w = g - m. Is 6 a factor of w?
True
Suppose 18*b - 7*b - 231 = 0. Is 7 a factor of b?
True
Suppose -p = 4*p + 4*x + 129, -5*p - 133 = 3*x. Let i = p + 69. Suppose -r - r = -i. Is r a multiple of 13?
False
Let v = 90 + -60. Is v a multiple of 7?
False
Let w(y) = y + 4. Let m be w(-5). Is 8 a factor of 2/(-2*m/24)?
True
Let f be (-1 - (-9)/6)*4. Suppose 4*x = -5*a + 3 + 184, -x = f. Let d = a - 23. Does 16 divide d?
True
Suppose 2*r = -2*k + 42, 2*k + 72 + 61 = 5*r. Does 8 divide r?
False
Let v = -5 - -12. Suppose -v = -4*j - 4*p + 1, -p = 4. Suppose -9 = -f + j. Is 10 a factor of f?
False
Let h(n) = 20*n - 14. Let f(o) = 7*o - 5. Let p(t) = -17*f(t) + 6*h(t). Let z be p(-4). Is 17 a factor of (12*2)/(z/(-6))?
False
Let a = 25 + -23. Does 27 divide 652/12 - a/6?
True
Is 4/(-26) + (-435)/(-39) even?
False
Suppose -2*o = -4*o + 158. Let g = -55 + o. Is 8 a factor of g?
True
Does 28 divide 12/(-8)*(1 + 1 - 130)?
False
Let i(u) = 4*u**3 - 10*u**2 + 2*u + 2. Let b(h) = -h**3 + h**2 - h. Let k(r) = -5*b(r) - i(r). Let z be k(-4). Is 14 a factor of (39/9)/(z/18)?
False
Suppose 5*c - 3*c = -g + 10, 2*c = -5*g + 10. Suppose 4*o + 54 - 170 = g. Does 17 divide o?
False
Let b be ((-6)/(-4))/((-8)/(-96)). Let p be -1 - ((-8)/2 + 0). Suppose -2*t = -p*t + b. Does 9 divide t?
True
Let j = 5 + -3. Suppose j*p - 60 = -p. Is 10 a factor of p?
True
Suppose -114 = -3*g - 5*c - 0*c, -5*g + 190 = -4*c. Suppose 0 = -2*y + g - 2. Does 18 divide y?
True
Suppose 4*q + 4 + 13 = -m, 2*m + 14 = -4*q. Suppose 0*l + 5*i = -l + 13, 0 = -5*l + m*i + 37. Does 4 divide l?
True
Let l be ((-64)/10)/(3/(-15)). Let h = l + -13. Is h a multiple of 14?
False
Let v = 6 - 2. Suppose -v*w + 8 = 0, -2*g - w + 18 = -12. Is 5 a factor of g?
False
Let o(r) = 5*r**2 + 5*r + 8. Let t be 80/15 - 1/3. Let b(d) = 6*d**2 + 5*d + 8. Let l(x) = t*o(x) - 4*b(x). Does 16 divide l(-8)?
True
Let k(y) = -5*y**3 - 13*y**2 + 23*y - 23. Let o(d) = 3*d**3 + 9*d**2 - 15*d + 15. Let w(a) = -5*k(a) - 8*o(a). Is w(7) a multiple of 10?
True
Let i(h) = -h**2 - h + 21. Let j be i(0). Let w = 60 - j. Is w a multiple of 20?
False
Suppose -d - 2 = v, 2*d + 4 = 2*v - 0*d. Suppose m - 2*l - 6 = v, -4*l - 16 + 0 = 0. Does 18 divide (-22)/(-3)*(4 - m)?
False
Let f(t) = -t**3 - 2*t**2 + 3*t. Is f(-4) a multiple of 4?
True
Let l(f) be the third derivative of -f**6/60 - f**4/24 - f**3/6 - 3*f**2. Is l(-1) a multiple of 2?
True
Suppose a = -3*n + 4*a + 3, -5*a = -3*n - 1. Suppose 0 = n*q + 2*q - 225. Does 9 divide q?
True
Let v(j) = -2*j - 1. Let d be (-7)/(-2)*(-1 + -1). Does 6 divide v(d)?
False
Let f(r) = 2*r**2 - 9*r + 9. Is f(-7) a multiple of 17?
True
Suppose 0*n = 2*n - 26. Is n a multiple of 13?
True
Suppose -29*q + 392 = -25*q. Does 14 divide q?
True
Suppose -4*z + 119 - 47 = 0. Is 17 a factor of z?
False
Is 15 a factor of (13 - -6) + 2 + -1?
False
Suppose -5*x = -6*j + 2*j + 112, j - 28 = 3*x. Let p be (-8)/2*j/(-2). Suppose 5*v + 1 - p = 0. Is v a multiple of 5?
False
Let w be (-184)/(-12) + (-1)/3. Let z = w + -5. Is 6 a factor of z?
False
Suppose 2*n - 29 = n. Is 6 a factor of n?
False
Let m(c) = -2*c**2 + 28*c + 14. Is 16 a factor of m(11)?
True
Suppose 5 + 11 = -3*m - 4*n, 5*m - 2*n + 18 = 0. Let d = m + 22. Is d a multiple of 9?
True
Let z(v) = -2*v - 15. Let f be z(-10). Suppose r = 5*a - 13, 5*r + f*a = a + 80. Is 5 a factor of r?
False
Let k(t) = -t + 47. Is 14 a factor of k(5)?
True
Let y = -26 - -56. Is y a multiple of 10?
True
Let k be 344/5 - 3/(-15). Suppose 5*a - 81 - 124 = 0. Suppose -5*p = -a - k. Is p a multiple of 11?
True
Let b(h) = -4*h - 3. Let d be b(-2). Suppose s = d*w, 0*w - 5*w - 5*s = 0. Suppose 2*t + 0*t - 18 = w. Is 4 a factor of t?
False
Let s = 140 + -98. Is s a multiple of 14?
True
Let w(a) be the third derivative of 0*a + 1/6*a**3 + 0 + 41/24*a**4 - 4*a**2. Is w(1) a multiple of 15?
False
Let f(s) = s**2 + 2*s + 13. Let v be f(12). Let t = v + -118. Is 21 a factor of t?
True
Suppose -4*q - 4*x = -q - 19, 2*x - 17 = -3*q. Suppose 0 = -v - n - 21, -n - 25 + 148 = -q*v. Is v/(14/(-4) + 2) a multiple of 8?
True
Let s(z) = 5*z**2 + 3*z + 2. Suppose -4*d + 12 = -16. Let b = -9 + d. Is 8 a factor of s(b)?
True
Let o be 26/3 + 1/3. Let c(l) = -2 - o*l + 4*l - 1. Does 17 divide c(-4)?
True
Let g be (-6)/(-15) - (-549)/15. Suppose -4*u = -5*b - 6*u + g, -3 = -b + 4*u. Does 4 divide b?
False
Suppose 0 = g + 3*g - 56. Does 14 divide g?
True
Suppose -2*n + 3*z = 8, 5*z = -4*n - 20 + 4. Does 16 divide 6/n*636/(-18)?
False
Is 8*1 - 0/5 a multiple of 4?
True
Let w(a) = -135*a**2 + a + 2. Suppose d + 4*s = 10, -2*s - 2*s + 2 = -3*d. Let p be w(d). Does 19 divide p/(-14) - 4/14?
True
Let y(k) be the third derivative of k**2 + 2/3*k**3 - 1/8*k**4 + 0*k + 1/30*k**5 + 0. Is 12 a factor of y(4)?
True
Suppose 55 = 4*o + 7. Suppose 2*p = 5*p - o. Is 11 a factor of 20 + (2 + p)/3?
True
Suppose 2*c - 27 = -i - 2*i, 95 = 5*c + 2*i. Suppose -3*a + 3 = -c. Does 4 divide ((-12)/a)/((-3)/16)?
True
Suppose 3*h + h = 2*v - 18, 2*v - 18 = -3*h. Is v a multiple of 9?
True
Let u be (0/2)/(-3) + -51. Let l = 30 + u. Let b = -10 - l. Does 5 divide b?
False
Suppose 5*q + 111 = 2*n + 13, 3*q + 64 = -4*n. Let t be (-4)/(-18) + q/90. Let d = t + 8. Does 6 divide d?
False
Suppose 5*f - 7 = -p - 19, -3*p + 2*f = -15. Suppose 0 = -p*i - 2*i + 40. Is i a multiple of 8?
True
Let g(r) = -43*r - 6. Does 4 divide g(-2)?
True
Is 10/20*(71 + 0 - 1) a multiple of 14?
False
Let v(s) = -35*s + 1. Let o be v(-3). Suppose 2*a = o - 14. Suppose k - a = -2*t, 92 = k + k + t. Does 16 divide k?
False
Suppose -560 = 2*r - 7*r. Is 28 a factor of r?
True
Suppose 2*w + 1405 = 7*w. Suppose -5*g = -w + 41. Is 18 a factor of g?
False
Let p be (-8 + 3)*104/(-10). Let b = -5 + 8. Suppose -w + p = b*w. Is w a multiple of 8?
False
Let t(u) = 3*u - 2. Let k be t(3). Let w be (-1*2)/((-14)/k). Does 14 divide (15 + w)*(0 - -1)?
False
Let m = -64 - -109. Does 14 divide m?
False
Suppose 202 - 28 = 3*p - 5*y, -9 = -3*y. Is p a multiple of 6?
False
Suppose -3*w + 46 + 5 = 0. Is 6 a factor of w?
False
Let f be (-2 + -1)/(2/2). Let g = f - -4. Is 15 a factor of 75/(-10)*-4*g?
True
Suppose 2*j - 24 = -p + 4*p, -3*j = -3*p - 42. Is j a multiple of 8?
False
Let s = 6 + 12. Suppose -2*z = -z - s. Is 9 a factor of z?
True
Let f = 183 - -182. Is f a multiple of 32?
False
Let c(d) = d**2 + 1. Let k be c(-1). Suppose 0 = -q - 3*h + 91, 0*q + q - 111 = k*h. Suppose 2*z + 247 = 5*a + z, 0 = -2*a - z + q. Does 15 divide a?
False
Let q(v) = -v**3 + 8*v - 4. Suppose 0 = -o - 6 + 1. Does 27 divide q(o)?
True
Let t = 9 - 6. Suppose 5*j = t*j + 44. Is j a multiple of 8?
False
Let d(o) = -3*o. Let t(b) = 3*b + 1. Let w(p) = -3*d(p) - 4*t(p). Let s = -18 - -13. Is 7 a factor of w(s)?
False
Let t(o) = o + 