False
Suppose -769 = -2*z + u, -z - 5*u + 138 = -219. Suppose 107 - z = -25*d. Is d a multiple of 2?
False
Suppose -a + 1148 = -2*a. Let r be (-2)/5 - a/20. Let c = r + -24. Is c a multiple of 15?
False
Let m(t) = 14*t + 27. Let s be m(-3). Let u(q) = q**2 - 9*q - 12. Let o be u(s). Suppose -3*p = -4*c - 0*c + o, 2*p + 176 = 2*c. Is c a multiple of 14?
True
Let i be (-15067)/(-39) - (-4)/6. Suppose i*n = 381*n + 1152. Is n a multiple of 12?
True
Let g(i) = 5*i**2 - 433*i - 19042. Is 33 a factor of g(-47)?
False
Let d(r) = 6*r + 2*r - r**2 + 0*r**2 + 9*r - 28. Let c be d(15). Suppose 3*j - 30 = c*j. Does 9 divide j?
False
Suppose 31*y - 28*y + 5361 = 3*h, 5*h = -4*y + 8917. Is h a multiple of 14?
False
Suppose -1158 = -5*c - 4*w, 12*w - 9*w = -4*c + 927. Is 16 a factor of (c/(-7))/(1*(-2)/14)?
False
Let z = -461 + 459. Does 73 divide 5/z - 152490/(-260)?
True
Let y be (-2)/((-20)/(-2)) - 3198/(-390). Let d(b) = -3*b**3 - 18*b + 0*b**3 + 2*b**3 + 12*b**2 + 7. Is 25 a factor of d(y)?
False
Let l(s) = 848*s - 713. Does 6 divide l(4)?
False
Let v be ((-8)/5)/(16/40). Let x = -1 - v. Suppose 39 = 3*i - x. Does 2 divide i?
True
Let j(s) = 3*s**2 - 35*s + 88. Let b be j(15). Let d = b - -297. Is 60 a factor of d?
False
Suppose -24*c = -132*c + 82887 + 1526745. Is 12 a factor of c?
True
Let h(b) = -19 - b - 2*b - 3*b + 2*b. Suppose 2*q + 2*i + 14 = 0, 0*i + i - 38 = 4*q. Is 17 a factor of h(q)?
True
Let t be 30/(-1 - 311/(-308)). Let w be 13/5 + (-12 - 992/(-80)). Is 16 a factor of (-1)/w - t/(-15)?
False
Suppose 0*u = 5*u - 75. Suppose 2*h + h + r + 487 = 0, u = 3*r. Let y = h - -311. Is y a multiple of 21?
True
Let z(h) = h**2 - 8*h - 15. Let o be z(10). Suppose k - 7 = -c + 95, 531 = o*c - 2*k. Does 21 divide c?
True
Suppose 27*a = 8*a + 139061. Is a a multiple of 121?
False
Let b(v) = 3*v**2 - 6. Suppose 5*d - 5*p = 5, -4*d + 11 = -2*d - 5*p. Let z(k) = 4*k**2 + k - 5. Let n(c) = d*z(c) + 3*b(c). Does 7 divide n(7)?
False
Let y = 1545 + -677. Is y a multiple of 11?
False
Let d be 8 + 0 - 2/(-1). Let a(i) = 25*i - 17*i**2 + 43*i**2 - 14*i**2 - 22 - 14*i**2. Is a(d) a multiple of 16?
False
Let y(j) = j**3 - 13*j**2 + 13*j - 25. Let l be (26/4)/(2/4). Is y(l) a multiple of 36?
True
Let c(x) = -x**2 + 4*x + 2. Let o be c(5). Does 26 divide (-938)/o + 114/(-171)?
True
Let s(v) = 365*v**2 + 219*v + 1579. Is s(-7) a multiple of 129?
True
Suppose 0 = 10*n - 44 - 16. Let v(x) be the second derivative of x**5/10 - 2*x**4/3 + 7*x**3/6 + 2*x**2 - 2*x - 21. Is 10 a factor of v(n)?
True
Let k(t) be the third derivative of 11/8*t**4 - 11/3*t**3 + 15*t**2 + 0 + 0*t - 1/60*t**5. Is 14 a factor of k(13)?
True
Let j = -11 - 39. Let x(m) = -m**3 + 11*m**2 - 12*m + 7. Let s be x(9). Let n = s + j. Is 4 a factor of n?
False
Suppose 2*y = 5*c + 20511, -55*y + 50*y + 51234 = 2*c. Does 183 divide y?
True
Let x = -62 + 65. Let d(p) = 8 - 7*p**2 + 18*p**2 - x*p - 10*p**2. Is 16 a factor of d(-8)?
True
Suppose 103818 = -59*g + 72*g. Is 157 a factor of g?
False
Let y be (46/4)/(164/32 + -5). Suppose -k = k - y. Suppose 5*u = -4*v + 272, 0*v - 2*v - k = -u. Is u a multiple of 26?
True
Let s(z) = 10*z - 84. Let f be s(9). Suppose 2*v = -4*k + 62, 12*k = 10*k + f. Is v a multiple of 2?
False
Suppose 3*i = -u + 1 + 6, i - u - 5 = 0. Suppose 11*g = 6*g + 3*d + 121, -i = -d. Does 4 divide g?
False
Let m be 1 + 3172 - 0 - 5. Suppose -2*g = p - 1584, -4*g - 3*p + m = -6*p. Is g a multiple of 36?
True
Suppose 5*g + 5*d - 45 = 0, 3*g - 4*g = 5*d - 25. Let z = g - -174. Let u = -91 + z. Does 14 divide u?
False
Let w(f) = 1919*f**3 - 2*f**2 - f + 1. Let s be w(1). Suppose 3*d - s = -3*h - 501, -2*h + 4*d + 932 = 0. Does 12 divide (1/2)/(5/h)?
False
Suppose -145*l + 133*l - 3912 = 0. Is 17 a factor of l/(-6)*(-27)/(-9)?
False
Let v = -56231 + 100695. Is v a multiple of 112?
True
Suppose 3*f - a - 4 + 10 = 0, -4*a = 4*f + 24. Let c be f + -4 + 16 + -4. Suppose 0 = 2*o - 12 + 2, -c*o + 220 = 5*h. Is 20 a factor of h?
False
Suppose 5*g - 3634 = -o + 841, 0 = -3*o + 4*g + 13349. Suppose 15*w - 3810 = o. Is 29 a factor of w?
True
Let j(o) = -o**3 + 10*o**2 + 30*o - 5. Let f be j(12). Suppose -9*i + 211 - f = 0. Does 16 divide i?
True
Let x be -30 + 33 - (-20)/(-2). Does 8 divide 846/14 - ((-31)/x + -4)?
False
Let o(x) be the first derivative of -x**3/3 + 4*x**2 - 8*x + 2. Let y be o(6). Suppose -2*i - y*j = -184, -2*i + j + 460 = 3*i. Is i a multiple of 13?
False
Let c(g) = g**3 - 104*g**2 + 119*g - 1141. Is 3 a factor of c(103)?
True
Let f(j) be the first derivative of 5*j**3/3 + 23*j**2/2 - 12*j + 14. Let l be f(-9). Let q = l - 69. Is q a multiple of 13?
True
Let p be 4/(-18) + (-2576)/72. Let f = 41 + p. Suppose -f*i = -r - 122 - 103, 0 = i - r - 45. Is i a multiple of 4?
False
Let q(s) = -s**3 - 31*s**2 + 30*s - 57. Let o be q(-32). Suppose -a + 3*i + 186 = 0, -12 = -4*i + o*i. Is a a multiple of 6?
True
Let p(q) = -1176*q - 213. Is p(-4) a multiple of 9?
True
Let p = -566 - -626. Suppose p*r - 32*r - 19208 = 0. Is 34 a factor of r?
False
Let h(s) = -18*s - 102. Let w be h(-24). Suppose 5*n + 2*d - 317 = w, -382 = -3*n + 5*d. Is 8 a factor of n?
False
Let y(c) = -c**3 - 44*c**2 + 46*c + 39. Let s be y(-45). Does 18 divide 60 - 10 - s - (3 + -1)?
True
Suppose 0 = -5*b + 1883 - 1983. Is -5 - -287 - 8/b*-5 a multiple of 40?
True
Let j(z) be the second derivative of 8*z**3/3 - 43*z**2 + 75*z. Is 5 a factor of j(12)?
False
Let u be ((-30)/(-4))/((-57)/(-190)). Suppose q - 1336 = -2*t, -3*t + 22*q + 2010 = u*q. Is t a multiple of 40?
False
Let h = 171 + -1536. Let f = -965 - h. Does 16 divide f?
True
Suppose -3*j = -285 - 36. Let y = -32 + j. Is 15 a factor of y?
True
Let y(o) be the second derivative of o**6/120 + o**5/15 + 7*o**4/24 - 2*o**3 - 38*o. Let s(l) be the second derivative of y(l). Does 42 divide s(-5)?
True
Let f = 6485 - 655. Is 106 a factor of f?
True
Let s = -14462 - -22993. Is 11 a factor of s?
False
Let g = 711 - -144. Suppose g = -44*x + 53*x. Does 19 divide x?
True
Suppose -3*a = -4*r + 2895, 3*r + 54*a - 2173 = 56*a. Is 27 a factor of r?
True
Let l(m) = -3*m**3 - 8*m**2 + 17 - 2 - 2*m + 0. Does 8 divide l(-6)?
False
Let h = -57 + 71. Suppose h*p - 2590 + 42 = 0. Is 14 a factor of p?
True
Let s = -254 - -256. Suppose 4*m + s*k = 3094, k - 5*k + 756 = m. Does 7 divide m?
False
Let c = 32998 + 4018. Is c a multiple of 28?
True
Let y(f) = -372*f**2 + f**3 + 376*f**2 - 4 + 1. Let c be y(-4). Let w = c - -34. Does 10 divide w?
False
Suppose 3*n - 2*z - 21759 = 0, -5*n + 1759 + 34514 = -2*z. Is n a multiple of 59?
True
Let c(n) = -73*n**2 + 5*n + 18. Let s be c(-6). Let i = s + 4080. Suppose 4*l + i = 13*l. Is l a multiple of 10?
True
Let k be (-3)/(-2)*-2 - 0. Let w(b) = -b**2 - 4*b + 1. Let q be w(k). Suppose -q*v - 8*j + 231 = -3*j, -5*v + 258 = -4*j. Is 9 a factor of v?
True
Let g(a) be the first derivative of -a**4/4 + 5*a**3/3 - 2*a**2 - 6*a + 9. Let b be g(3). Suppose b = 2*l - 3*l + 15. Is 2 a factor of l?
False
Suppose 0 = -m + 8 + 107. Suppose -944*n = -940*n + 108. Let f = m + n. Is 40 a factor of f?
False
Suppose -84*z = 112*z - 35672. Does 26 divide z?
True
Is 14 a factor of (1 + 366/(-4) + 64/(-8))*-106?
False
Does 25 divide (19 + 6293/87)/((-2)/(-63))?
False
Let s = 12382 + -9265. Is 48 a factor of s?
False
Suppose -5*z - 5*a - 5460 = 0, 5 = -3*a - 7. Let p = 593 + z. Is ((-3)/(-5))/((-3)/p) a multiple of 31?
False
Let o = -86 + 92. Suppose -5*l + o*l - q - 236 = 0, -l + 226 = 4*q. Does 17 divide l?
False
Let u(r) = -39*r**3 - 3 + 34*r**3 + r**2 + 4*r + 20*r**3. Does 42 divide u(2)?
False
Suppose 2*a - 10 = -2*u, -5*u = -4*a - 3 + 14. Suppose 17*p - 12*p + 1930 = 4*y, -5*y - a*p + 2392 = 0. Is 24 a factor of y?
True
Let q = 40278 + -24896. Is q a multiple of 31?
False
Let q(o) = 2*o**2 + 200*o + 9168. Does 25 divide q(-79)?
True
Let i(m) = 700*m**2 + 147*m - 582. Is 26 a factor of i(4)?
True
Let d be 28/(-70)*(12 + -72). Suppose -c + 135 = 2*s - 0*c, 3*s - 3*c - 207 = 0. Let p = s - d. Is 44 a factor of p?
True
Let j be (-36)/(-10) - (-48)/(-80). Suppose -4*t = -4*k + 148, 0 = j*k - 0*k + 2*t - 121. Is k a multiple of 6?
False
Let z = 1209 - 835. Does 17 divide z/(-3 + (7 - 2))?
True
Suppose -391 = -4*f - 3. Let c = 307 - f. Let k = c - 115. Does 6 divide k?
Fal