 + 463. Let t = n - -191. Does 17 divide t?
False
Let t be 15/4 - (-2)/8. Suppose -3*m - 8 = 5*f + 7, 0 = f - 5*m + 31. Does 8 divide (-12)/5*(f - t)?
True
Suppose 4*x = 27 + 97. Let k = 35 - x. Is 26 a factor of -3 + (74 - (k + -1))?
False
Let u be (59/(-3) - 8/(-12)) + 2. Is 2/u - 478/(-17) a multiple of 20?
False
Let p(c) = c + 3. Let f(b) = -b + 5. Let a be f(5). Let o be p(a). Suppose 0*t + o*t = 24. Does 8 divide t?
True
Let p = 18 + -9. Suppose p = 3*n - 6. Does 5 divide n?
True
Let s(h) = 3*h + 31. Let r be s(-12). Let d(c) = 3*c - 7*c**2 + 4*c - 2*c**3 - 4 - 2*c - 4*c. Is 22 a factor of d(r)?
True
Let k be (-15)/(-6) - 1/2. Suppose i + p = -4*p + 30, k*i - p = 82. Is i a multiple of 4?
True
Suppose 2*j = -10*h + 7*h + 5107, 0 = h + 2*j - 1697. Is h a multiple of 31?
True
Let r = 1928 + -962. Is 76 a factor of r?
False
Let c = 370 + -215. Let u = 43 + c. Does 22 divide u?
True
Let v be (-1)/((3/(-139))/3). Suppose 0 = -4*g + 20, g - 8 = -2*a - v. Let i = -41 - a. Is i a multiple of 10?
False
Let i(f) = -f**3 - 4*f**2 - f - 6. Suppose 3*p - p - 60 = 0. Suppose o = -4*o - g - p, 0 = 3*o + 4*g + 35. Does 24 divide i(o)?
True
Suppose 5*l - 5*p - 25 = 0, l - 3*l - 5*p = 4. Suppose 3*h - f - 95 = 0, -2*h + 156 = l*h - 4*f. Does 4 divide h?
True
Suppose x - 526 + 81 = -2*c, 0 = -3*c + 4*x + 640. Does 22 divide c?
True
Suppose -9 = -x + 21. Is x a multiple of 10?
True
Suppose 3*p - 2*n + 5*n - 15 = 0, 0 = -4*p + n + 25. Let a(s) be the first derivative of s**2 + 8*s - 103. Does 5 divide a(p)?
True
Is (-10)/(-75) + 132204/45 a multiple of 26?
True
Let o(w) = -84*w - 3. Let h be o(-1). Let b be -9 - (2/(-2) - -1). Let g = h + b. Is 24 a factor of g?
True
Let r = 10 + -5. Suppose -r*q - 20 = -0*q - 4*d, 0 = 5*q + d - 5. Suppose -6*c + 5*c + 13 = q. Does 13 divide c?
True
Let m = -13 - -15. Suppose 3*h = 3*r - 84, -2*r + 101 = m*h + 33. Is 16/24 - r/(-3) a multiple of 11?
True
Let v(a) = -a**2 + 11*a - 12. Let l be v(7). Suppose 12*o - 92 - l = 0. Is 3 a factor of o?
True
Suppose 15*t - 859 = 3851. Is 29 a factor of t?
False
Let b be ((-132)/5)/(4/(-20)). Suppose 9*c = -3*c + b. Is c even?
False
Suppose 0 = -11*d + 2*d + 3645. Does 81 divide d?
True
Suppose -2*n + 4 + 0 = 0. Suppose -50 = -n*u + 18. Is u a multiple of 34?
True
Let n = -992 + 1409. Suppose -5*s = -n + 72. Does 13 divide s?
False
Let b(n) be the third derivative of n**6/120 - n**5/3 + 5*n**4/6 - 3*n**3/2 + 9*n**2. Is 8 a factor of b(19)?
False
Suppose -5*f + 2473 = 5*l - 9*l, 489 = f + 2*l. Is f a multiple of 15?
False
Suppose 2*l + 62 = -4*t - 0*l, 0 = 4*t + 3*l + 67. Let w = t - -46. Is 17 a factor of w?
False
Suppose 0 = -x + 3 + 7. Suppose -x*j - j + 2464 = 0. Does 17 divide j?
False
Suppose 4*k + 167 = 23. Is 5 a factor of (-23)/(-5) + k/(-90)?
True
Let f(j) = -7*j + 37. Let q be f(6). Is 1256/12 - q*4/(-30) a multiple of 13?
True
Let z be 185/10 + 1/(-2). Let b be ((-6)/z)/((-1)/18). Suppose 2*j + 0*j = b, -3*m - 3*j + 189 = 0. Is 25 a factor of m?
False
Suppose 4*p = 12, 4*f + 6*p = 2*p - 68. Let b(h) = h**3 + 2*h**2 - 4*h. Let c be b(3). Let d = f + c. Does 5 divide d?
False
Suppose 42*s - 44*s + 434 = 0. Suppose -5*b = -0*w + 2*w + s, -5*w = -3*b - 155. Let o = b + 69. Is o a multiple of 7?
False
Let g(c) = 3*c + 49. Let d(q) = -5*q - 73. Let l(p) = 5*d(p) + 7*g(p). Is 3 a factor of l(-7)?
True
Let n = -310 - -361. Is n a multiple of 9?
False
Let l(a) = a. Let u be l(-10). Does 9 divide -1*2/u - 12922/(-65)?
False
Suppose 10*y - 11789 - 1841 = 0. Does 37 divide y?
False
Let m(s) = 8*s**2 + s - 124. Does 12 divide m(17)?
False
Let q = -64 + 1473. Does 43 divide q?
False
Suppose -6*p = -22 - 2. Suppose 0 = -2*n + 10, -p*d + 204 = 4*n - 276. Does 17 divide d?
False
Let a(s) be the third derivative of s**6/120 + 3*s**5/20 - s**4/24 + 2*s**3/3 + 2*s**2. Suppose 5*g + 0*g - 3 = 2*m, -4*g - 30 = 2*m. Is 3 a factor of a(m)?
False
Suppose 0 = -2*g + 5*t - 73, -g + 2*g + 3*t = -64. Suppose 0*r - 5*r = 15. Does 8 divide 1/(r + g/(-16))?
True
Let i be 1/8 + 164/(-32). Let v be (i/(-15))/((-1)/813). Is v/(-7) - (-8)/28 a multiple of 10?
False
Suppose -1597 = 10*h - 6437. Does 11 divide h?
True
Suppose -3 = s - 7. Suppose 3*d - s*q = -0*d + 161, 3*q - 3 = 0. Is 5 a factor of d?
True
Suppose 4*z - j + 6*j = 6, 4*j = -z + 7. Does 4 divide 22 + z + -1 + 0?
True
Suppose x + k + 3 = 9, x - k - 14 = 0. Suppose 5*r - x = 0, l - 70 = 2*r - 0*r. Let a = l + -36. Is 11 a factor of a?
False
Suppose 0 = z + 5*t - 109, -z + 14 = -5*t - 105. Let m = 152 + -71. Let c = z - m. Is 10 a factor of c?
False
Let p(d) = -2*d + 3*d - d**2 + 5 - 5*d - 6*d. Is p(-9) a multiple of 14?
True
Is 83902/24 - (73/(-12) + 6) a multiple of 76?
True
Suppose -728 = 28*c - 32*c. Does 13 divide c?
True
Let g be ((-6)/(-2))/(3/2). Let t be 4 + g/2 + 0. Suppose 4*x + t*u - 54 = 3*u, x + 4*u = -4. Does 8 divide x?
True
Let n(a) = 2*a + 1. Let q(x) = -x**2 + 2*x - 2. Let z be q(2). Let c be ((-3)/z)/(3/4). Is n(c) a multiple of 4?
False
Let i be (-5 - 8/(-4))*(-705)/9. Suppose -o = -5*v - i, 5*o - 6*o - v + 211 = 0. Is o a multiple of 24?
False
Suppose 0 = 4*y + 8, 2*y = -5*t - 2*y + 32. Let c(h) = h**3 - 7*h**2 + 17*h - 74. Is 7 a factor of c(t)?
True
Let j(m) = 24*m + 187. Is j(33) a multiple of 87?
False
Let w(d) = 2*d**3 - 4*d**2 + 4*d - 2. Suppose -20 = -5*b - 4*f, -2*b = f - 3 - 5. Let n be w(b). Suppose -2*u = u - n. Does 13 divide u?
True
Suppose 14*m + 61 + 191 = 0. Is 7 a factor of 37*((-22)/m + (-12)/54)?
False
Let n(o) be the third derivative of o**4/24 + 13*o**3/6 + 9*o**2. Let a be n(-10). Suppose -a*w - 31 = -f, f - 2*w = -2*f + 114. Is 20 a factor of f?
True
Let f be -1*5/10*12. Is 5 a factor of 1 - 0 - (f + -28)?
True
Suppose 5250 = 20*q + 5*q. Is 30 a factor of q?
True
Suppose -128 = -2*d + 22. Let x = -21 + d. Is x a multiple of 23?
False
Suppose -4*v - 2*k = 8, 5*v + 2*k - 4*k + 1 = 0. Is 16 a factor of 61 - ((-12)/(-20))/(v/5)?
True
Let i = 10 - 13. Let d be (5 - 0) + i/(-3). Suppose d*z = z + 95. Is z a multiple of 7?
False
Let i be 2 - (1 - (2 + -49)). Let h = -29 - i. Let c = 29 - h. Does 4 divide c?
True
Let h(k) = -7 + 32*k - 67*k + 33*k. Is h(-9) a multiple of 11?
True
Suppose -3*l + 1 = -5. Suppose -24 = l*i - 3*i. Suppose 4*y - 36 = 2*q + 2*q, 2*q - i = -y. Is y a multiple of 3?
False
Let y(i) = 3*i - 3. Suppose -o = -0*o + 4. Let x be y(o). Does 2 divide ((-2)/2)/(3/x)?
False
Let c = 1 + -2. Let p(n) = 2*n**3 - 5 - n - 2*n**3 + 4 - 8*n**3. Is 7 a factor of p(c)?
False
Let w(d) = 20*d**2 - d. Let u be w(2). Suppose -5*k = -0*b - 5*b - 130, k = -b - 16. Let q = b + u. Does 19 divide q?
True
Let q(t) = -20*t**2 - 2*t + 2. Let s be q(1). Is 5 a factor of s/2*(-5)/10?
True
Suppose -5*q + 5475 = -5*g + 10*g, -5*g = q - 1115. Does 109 divide q?
True
Let g(q) = -2*q + 12. Let b be g(5). Suppose -h + 189 = b*h. Does 19 divide h?
False
Suppose -2*f + 5*f = -24. Let g(y) = y**2 + 7*y + 5. Is g(f) a multiple of 7?
False
Suppose -4*j = 4*d - 176, -5 = -d - 3*j + 31. Let z = d + 15. Is z a multiple of 20?
False
Is (-4977)/(-12) + (-3)/4 a multiple of 13?
False
Let k(v) = -65*v - 90. Does 12 divide k(-6)?
True
Suppose 5*o - o = 600. Let d = 225 - o. Is 15 a factor of d?
True
Let k(b) = 142*b + 94. Does 9 divide k(7)?
False
Let f(u) = 2*u + 5. Suppose v - 1 = 5. Let y be f(v). Is 17 a factor of 2/(((-4)/y)/(-4))?
True
Let j(r) = r**2 + 12*r - 9. Let n be j(-13). Suppose -3*l - 4 = -f, -n + 50 = 4*f - 2*l. Suppose -26 - f = -3*i. Is i a multiple of 3?
False
Let z(i) = 28 - i + 0*i + 0*i - 26 + i**3. Let b be z(0). Does 19 divide 0/b - -75*1?
False
Let z = -20 - -54. Is 14 a factor of (27*-3)/((-51)/z)?
False
Let u(y) be the third derivative of y**6/120 + y**5/12 + y**4/12 - y**3/2 + 37*y**2. Let f = -5 - -2. Does 3 divide u(f)?
True
Let j = -11 + 15. Suppose 66 = j*o - o. Is 11 a factor of o?
True
Suppose -41*o - 30 = -46*o. Let g(u) = -2*u + 3*u - 1 + u. Is g(o) a multiple of 4?
False
Let b(u) = -17*u - 26. Let i be b(-17). Is 21 a factor of i/5 + (-32)/(-80)?
False
Let v(y) = -4*y + 5*y - 23*y**3 - 3 + 24*y**3 + 4*y**2. Let t be v(-3). Suppose -t*c - 2*u = -56, 0*c - c - 5*u + 10 = 0. Does 7 divide c?
False
Let b be (28/(-5))/((-16)/(-80)). Let y be (-3)/(6*(-3)/240). Let d = b + y. Is d a multiple of 3?
True