0. Let q be -1*a/6*-3. Suppose -2*t + 99 = -g - 2*g, 4*t - q*g = 178. Does 34 divide t?
False
Suppose 0 = i + 2*i. Suppose -5*k + 123 - 15 = 3*n, i = -3*k + 5*n + 58. Does 25 divide (-30)/k*(-70)/2?
True
Suppose 5*r - 25 = 0, -5*l - 2*r + 3049 = -3451. Is 22 a factor of l?
True
Suppose 8*u - 3*u = 25. Suppose -q + 3 = 0, o + 2*q = u*q. Does 15 divide (-14)/(-63) - (-295)/o?
False
Let j(r) = r**2 + 10*r + 13. Let m be j(-9). Suppose m*k - 23 = 5*k. Let x = -9 - k. Does 14 divide x?
True
Suppose 4*f + 296 = 64. Is 0 - f - -3*(-10)/(-15) a multiple of 14?
False
Let m(r) = -6*r**3 + 3*r + 2. Let u be m(-1). Suppose b - 2*q - u = -2*b, 3*q + 16 = -4*b. Is ((-10)/(-30))/(b/(-66)) a multiple of 6?
False
Let t(q) = 2*q**2 + 43*q - 16. Is 13 a factor of t(-28)?
False
Does 14 divide ((-2)/(-6))/((-115)/(-1412085))?
False
Let v = 308 - 257. Is v a multiple of 51?
True
Suppose p = -3 + 5. Suppose 2*s + p*s = -104. Is 4768/104 + (-4)/s a multiple of 23?
True
Suppose 0 = 3*v - 5*v + 8. Suppose -h - b + 51 = 0, -216 = -0*h - v*h - b. Is h a multiple of 13?
False
Suppose -4*f + f + 9 = 0. Suppose 3*o - 297 = -f*j, 4*j = -5*o + 562 - 72. Let m = -67 + o. Is 27 a factor of m?
True
Let f = 3982 - 846. Is f a multiple of 16?
True
Let c be (0 + -12)/(-4) - 5. Let k = c - -3. Is (-1)/(((-4)/8)/k) a multiple of 2?
True
Suppose 0 = 3*i + 12, n - 8*i + 7*i = 364. Does 36 divide n?
True
Let b = -233 + 547. Suppose 0 = 3*j + 35 - b. Is j a multiple of 10?
False
Let x be 2/(-6) - 56/(-24). Suppose u = x*u - 12. Is (-4)/(u/(-93)) + 1 a multiple of 16?
True
Let d(w) = w**3 + 23*w**2 + 17*w - 46. Let c be (-87)/4 + 30/(-120). Does 9 divide d(c)?
False
Suppose -5*z + 823 = q + 98, 2*q + 448 = 3*z. Suppose -362 = -3*a - z. Does 13 divide (12/(-18))/((-2)/a)?
False
Let h(o) = -o**2 + 31. Let l be h(-6). Let q(p) = 2*p**2 - 2*p + 4. Is 8 a factor of q(l)?
True
Let g(l) = l - 10. Let z be g(-7). Let m = z - -18. Does 21 divide (m - (-28)/(-8))*-24?
False
Suppose 3700 = 36*k - 16*k. Does 4 divide k?
False
Suppose 5*j + 2080 = 18*j. Is j a multiple of 7?
False
Let b(f) = 6*f**2 + 16*f - 14. Let z(h) = 14 - 12*h - 3*h - 7*h**2 + 0 + 2*h**2. Let k(n) = -3*b(n) - 4*z(n). Is k(-10) a multiple of 14?
False
Suppose 4*s + p + 5 = 0, -2*s = s - 3*p - 15. Suppose s = -4*x + 2*k + 38, 17 = 2*x + k - 0*k. Is x a multiple of 3?
True
Suppose 3*w = -w - 2*c + 8, 3*w = -c + 4. Suppose -q = -w*q. Suppose -4*x - 5*o + 28 = -53, q = -4*o - 12. Does 12 divide x?
True
Does 12 divide 1874 + 5/(-3) + (-3)/9?
True
Let i(j) = 12 + j**3 + 7*j**2 - 2*j**3 - 52*j + 58*j. Let m be i(-5). Suppose 58 = -2*p + m. Is 28 a factor of p?
True
Suppose 7*t - 4 = 24. Suppose 0 = -2*o + t*l + 48, -o - 3*l + 24 = 5. Is o a multiple of 11?
True
Suppose -108*p + 97*p = -6490. Is 59 a factor of p?
True
Let g be ((-1)/((-14)/24))/(3/(-21)). Let p(a) = -13*a + 30. Is 31 a factor of p(g)?
True
Suppose -143 = -n + 4*y, 0*y - 107 = -n - 5*y. Does 10 divide n?
False
Let i(n) = -n - 7 - 9*n - 2. Let d be i(6). Let y = -15 - d. Is 25 a factor of y?
False
Let s(u) be the third derivative of -u**4/12 + 15*u**3/2 + 29*u**2. Is 7 a factor of s(0)?
False
Let a = 2679 - 1704. Does 25 divide a?
True
Let o be (-5)/(-10) - 7/(-2). Let g be 20*(3 + (-10)/o). Is g + 0 + 3 + 0 a multiple of 3?
False
Let f = -11 + 16. Suppose 0 = -4*v + l + 132, -l + 0*l = -f*v + 166. Suppose 0 = 5*o + v - 159. Is o a multiple of 13?
False
Let j = -123 - -93. Let n = -18 - j. Does 5 divide n?
False
Suppose -2*v + 1748 = 5*p, -2*p + 883 = v - 4*p. Is v a multiple of 7?
False
Suppose 6*i - 7 = 5. Suppose 0 = i*a - 4, 76 = 3*v - 4*a - 0*a. Let f = 64 - v. Is 12 a factor of f?
True
Let h be 27/18*80/(-6). Let m = h - -12. Let i(x) = -10*x + 9. Is i(m) a multiple of 23?
False
Let f(a) = -a**2 + 8*a - 3. Let x be f(7). Suppose -x*v + 202 + 70 = 0. Is v a multiple of 17?
True
Suppose 3*c - 2*c + 2 = 0. Let n = c + -2. Is 40 a factor of 75 + (-6 - 16/n)?
False
Let h be 4/(2 - 4) + 144. Suppose -4*s = t - 40, -3*t + h - 14 = 4*s. Suppose 0 = -10*d + 6*d + t. Is 7 a factor of d?
False
Let g be (-246)/(-9) + 4/6. Suppose -57*c = -53*c + 16. Let f = g - c. Is f a multiple of 8?
True
Suppose -14 = -3*r - 2. Suppose 2*k = -r*z - z + 38, 2*k - 44 = -2*z. Is k a multiple of 12?
True
Let s be 3*(-3)/6*-2. Suppose 2*k + s*x - 7 + 2 = 0, 2*x = 5*k + 16. Is (-6 + -14)/(k/3) a multiple of 14?
False
Suppose -79*v + 72*v + 7728 = 0. Is v a multiple of 6?
True
Let h = 1619 - 565. Does 17 divide h?
True
Suppose 1 = -6*u + 31. Suppose 530 = 4*s + u*f - 10*f, 5*s - 656 = 3*f. Does 15 divide s?
False
Suppose -1856 = -2*r + w, r - 7*w + 5*w - 928 = 0. Does 16 divide r?
True
Let o(b) = 21*b + 40. Let k be o(9). Suppose -2*q + k = 5*j - 2*j, -4*q - 142 = -2*j. Is 15 a factor of j?
True
Let c be (0 + 2)*(-50)/4. Let w = c + 43. Does 7 divide w?
False
Suppose 6*w = 9*w + 6*w. Suppose w = -m + 59 - 11. Does 16 divide m?
True
Let i(l) = -36*l - 5. Let u(p) = 882*p + 126. Let k(s) = 252*s + 36. Let z(r) = -18*k(r) + 5*u(r). Let j(b) = 18*i(b) - 5*z(b). Is 12 a factor of j(-1)?
False
Suppose -2*z - 4*x - 23 - 17 = 0, 0 = 3*z - 3*x + 51. Does 7 divide (21/(-2))/(7/(588/z))?
True
Let z = -28 - -33. Suppose 0*o + z*b + 175 = 3*o, 0 = o + 4*b - 64. Does 15 divide o?
True
Does 25 divide (914 - -36)*(-2)/(-4)?
True
Suppose -1329 = -3*y + 2*l + 547, -1862 = -3*y - 5*l. Is y a multiple of 13?
True
Let t be 48/14 + (-2 - 54/(-21)). Suppose 0 = -o + t*a + 48, -o - 3*o + 192 = -2*a. Is o a multiple of 16?
True
Let t = -3 - -6. Let g be -12*1*2/t. Does 7 divide (-6)/g - (-265)/20?
True
Suppose -30*j - 8 = -32*j. Suppose -m + 5*c - 10*c + 157 = 0, -5*m = j*c - 869. Does 16 divide m?
False
Let j(t) = 12*t - 17. Let f = -40 + 45. Does 23 divide j(f)?
False
Suppose d + 1 = 12. Suppose 3*h + d = -1. Is 25 a factor of (-82)/h*(-6 - -10)?
False
Let n(c) be the second derivative of c**4/12 - 2*c**3 - c**2 - c. Suppose -38*y + 32*y + 78 = 0. Is n(y) a multiple of 11?
True
Suppose 207 + 108 = 3*p - 5*n, -291 = -3*p - 3*n. Suppose -2*d = -4*v - p, -d - 5*v + 33 = 4. Is 22 a factor of d?
True
Let r = 26 + -21. Suppose -r*c + 19 = -81. Does 10 divide c?
True
Let v(l) = l**2 + 3*l - 9. Let r be (1 + 0 - 1) + 6. Let a be v(r). Suppose 2*o + a = -5*q + 111, 5*q = -o + 28. Is o a multiple of 14?
False
Let s(d) = -30*d - 185. Does 5 divide s(-7)?
True
Suppose -2*w - s - 49 = 0, 5*w + 125 = -10*s + 5*s. Let n = w - -46. Is n a multiple of 11?
True
Let u = 7 - 10. Let t(o) = -2*o - 2. Let f(c) = 4*c + 6. Let k(r) = 4*f(r) + 14*t(r). Is k(u) a multiple of 18?
False
Suppose t + 730 = 6*t. Suppose 8*p = 9*p. Suppose -2*d = -4*z + t, 5*z = -d - p*d + 179. Is 12 a factor of z?
True
Let m be 5/((-5)/(-6))*(7 + 13). Suppose m = -29*a + 33*a. Does 21 divide a?
False
Suppose -2 = -3*n + 31. Suppose 0 = 4*x - n + 143. Is 9 a factor of -1 - 0 - x - 0?
False
Suppose -6*t - 660 = -0*t. Is 5 a factor of (t/(-44))/((-25)/26 + 1)?
True
Let x = 3 + -3. Suppose 156 = 2*g + z - 43, -3*g + 3*z + 285 = x. Suppose 2*v - 2*o = -v + g, -3*o + 123 = 3*v. Is v a multiple of 23?
False
Suppose 0 = 7*o + 3*o - 1150. Does 8 divide (-46)/o + (-564)/(-10) + 0?
True
Let d(p) = -19*p + 66. Let w be d(-24). Let g = w - 266. Is 16 a factor of g?
True
Let p(t) = t**3 + 21*t**2 - 71*t - 28. Does 31 divide p(-23)?
False
Let r(b) = b**3 - 2*b**2 + 2*b + 8. Is r(0) even?
True
Suppose 64*p - 3300 = 60*p. Is p a multiple of 11?
True
Let o = 7 - 2. Suppose -3*a = r - o, -3*a - 2*r + 4 = 3. Is 42 - (a + 0 + -6) a multiple of 13?
False
Let y be -2 + (33 - 1) - -3. Suppose -y + 3 = -3*i. Is i even?
True
Let n(u) = -u**2 + 18*u. Let x be n(17). Does 10 divide -12*(x/(-2) - -4)?
False
Let y = -75 + 45. Is (-22*(-4)/24)/((-2)/y) a multiple of 11?
True
Suppose 26*w - 30*w + 67 = n, n + 2*w = 57. Is n a multiple of 7?
False
Let s(m) = m**2 + 6*m - 2. Suppose 2*x = -t - 1, -5*t + 2*x - 19 = -2*t. Let z be s(t). Is 12 a factor of (-2)/z - 1162/(-49)?
True
Is (-8)/(-36) - (43645/(-63) + -6) a multiple of 15?
False
Let f be (-2)/(4/2 + -3). Suppose -5*z = -538 - f. Is z a multiple of 20?
False
Is 2 a factor of 205 - 7*16/56?
False
Let r be 8*((-3)/6 - -1). Suppose -r*w + 24 = -36. Suppose 4*o - 2*m - 55 = -w, -2*m + 20 = 2*o. Is o even?
True
Let c(f) be the first derivative of 