tor of g?
False
Let k = 49 - -1. Let y = k + -16. Does 5 divide y?
False
Let x = 961 + -961. Let i(c) be the first derivative of c**2 + 100*c - 1. Is i(x) a multiple of 12?
False
Suppose 10219 = 18*c - 671. Does 55 divide c?
True
Let c = 447 - -34. Is 8 a factor of c?
False
Let i(x) = 2*x - 15. Let r be i(10). Let f(d) = -4 + 0*d + 6*d + 0*d - d. Is f(r) a multiple of 21?
True
Let z(n) = -n**3 - 13*n**2 + n - 28. Let i be z(-14). Let r = 224 - i. Is r a multiple of 5?
True
Let b = -169 + 739. Is 30 a factor of b?
True
Is (3843/(-35) + 7)*-5 a multiple of 28?
False
Let w be (-15)/25 + 333/5. Does 6 divide 32/12*w/4?
False
Suppose 3*p = 2*g - 2*p, -g = 3*p. Suppose g = y - 2*q - 3, 0 = 5*y - 3*q - 6 - 2. Is 26 a factor of 3 - (0 + y + -72)?
False
Let o = -141 + 206. Is 13 a factor of o?
True
Suppose d - 16 - 3 = 0. Is d a multiple of 19?
True
Let f(h) = -5*h - 23. Let k be 38/(-4) - 21/(-14). Let o be f(k). Suppose 3 + o = i. Does 20 divide i?
True
Does 14 divide 7278/5 + (12 - 116/10)?
True
Does 6 divide ((-20)/8 - 2)/(3/(-132))?
True
Let i(o) = -2*o + 452. Is 12 a factor of i(70)?
True
Let p = 11 + -1. Suppose -12*a + p*a = 0. Suppose a = 2*t + 2*t - 108. Is 12 a factor of t?
False
Suppose 0 = -31*h + 33*h - 340. Let q be (95 + 2)*-1 + -1. Let i = q + h. Does 15 divide i?
False
Let t(g) = g**2 + 8*g + 134. Is t(0) a multiple of 4?
False
Let i = 1914 - 1259. Is 32 a factor of i?
False
Let u(a) = -272*a - 8. Does 33 divide u(-1)?
True
Suppose 0 = -q - 2*q. Suppose -z - 3*k + 9 = q, 2*z - k + 9 = 27. Suppose 0 = 3*i - z, 3*s + 0*s + 5*i - 42 = 0. Is s a multiple of 3?
True
Suppose -4*b - b = -2*t + 1, 5*t - b = 14. Let k(j) = 0*j**2 - j**2 + 5*j - j**3 + 4 - t*j**2 - j**2. Is 5 a factor of k(-6)?
True
Let p(c) be the second derivative of c**4/2 - 9*c**2/2 - 3*c. Does 35 divide p(4)?
False
Suppose -2*f = -7*f - 5*h + 2215, 0 = h + 2. Is f a multiple of 12?
False
Let m(o) = -22*o**3 + o**2 - 2*o + 3. Let d be m(-3). Is 11 a factor of d/8 + (-2)/4*-1?
True
Let t = 578 + 12. Is t a multiple of 4?
False
Let f = 230 + -161. Is 3 a factor of f?
True
Suppose -37*m + 9814 + 54122 = 0. Does 54 divide m?
True
Let s(i) = -i**3 + 13*i**2 - 2*i + 14. Let y be s(13). Is 3 + (y/(-3) - -51) a multiple of 29?
True
Suppose 19*g - 24*g = -405. Suppose -2*o - 369 = -4*b - 7*o, -b + o = -g. Is 9 a factor of b?
False
Let x = -30 - -4. Let y be ((-429)/x)/((-6)/(-16)). Is 14 a factor of y - (3 + -3 + 2)?
True
Let k be (-29 - 1)/2 - -1. Let m = k + 33. Is 19 a factor of m?
True
Let j(a) = a**2 - 5*a + 1. Let z(w) = w**3 - w**2 - 3*w + 3. Let n be z(3). Does 17 divide j(n)?
True
Suppose 0*q = -2*q + 370. Let s = q - 317. Let a = -77 - s. Is 11 a factor of a?
True
Let s(o) = -16*o - 71. Is s(-36) a multiple of 30?
False
Let i be -1 + 44 - 4 - 3. Suppose 5*n - 34 - i = 0. Does 7 divide n?
True
Let a be (-108)/(-3)*803/22. Suppose 4*t + a = 13*t. Is 33 a factor of t?
False
Let j = 15 + -11. Suppose i + c + 15 = 6*c, -25 = -j*i + 3*c. Suppose 5 + i = p. Does 14 divide p?
False
Let o = -104 - -74. Let k(m) = -m + 12. Let c be k(6). Does 9 divide c/45 + (-1616)/o?
True
Let x(b) be the third derivative of -b**5/15 + b**4/8 + b**3/3 - 4*b**2. Let y be x(-12). Is 39 a factor of (8/10)/((-4)/y)?
False
Let u(r) = -r**3 - 9*r**2 - 15*r + 19. Let v(z) = 2*z + 2. Let f be v(-5). Does 34 divide u(f)?
False
Suppose -4*u - 15 = -3*z, 6*z - 3*z = -4*u + 39. Does 57 divide (-3)/9 - ((-1056)/z + 3)?
True
Suppose 2048 = 5*a - g, 174 + 659 = 2*a - 5*g. Is 10 a factor of a?
False
Let l(j) = -j**3 + 10*j**2 - 5*j - 12. Let y be l(10). Let v = 1 - y. Does 11 divide v?
False
Let k = -546 + 904. Is k a multiple of 8?
False
Let a be (-2 + -7)/((-2)/16). Let p(m) = -105*m + 1. Let h be p(-1). Let f = h - a. Is 17 a factor of f?
True
Let u(w) = -169*w - 258. Is u(-3) a multiple of 42?
False
Let q(h) = -18*h + 18 + 3*h**2 + 0*h**2 - h**2 - 5*h. Is q(12) a multiple of 7?
False
Suppose 4 = -q, 3*b + 2*q - 5 - 59 = 0. Does 5 divide ((b/9)/4)/(6/1233)?
False
Let s(q) = 25*q**2 - 2*q - 23. Let t be s(-7). Suppose -4*f = 4*p - t, 2*p + 2*p = f + 1211. Does 16 divide p?
False
Suppose 3*w - 25 = -4*d + 6*w, 20 = 4*d - 4*w. Is d a multiple of 4?
False
Let t = -71 + 43. Let q be (-8 + 3)*t/10. Does 3 divide 8/q - (-216)/14?
False
Suppose 1 = 2*v - 9. Suppose 0*q + q - 31 = -t, -v*q = 25. Does 12 divide t?
True
Suppose -5*m - 25 = 0, -4*b + m - 103 = 32. Let g = b - -14. Let h = g - -43. Is 11 a factor of h?
True
Let z = 2689 - 1891. Is z a multiple of 22?
False
Let n = -39 - -182. Does 6 divide n/13 - 8/2?
False
Let o be 2*1 + -2*3/3. Is 2 a factor of 3*(o - -1*(-3)/(-3))?
False
Let r(l) = l**3 - 10*l**2. Let b be r(10). Let j be b/(-3 + 6 + 0). Suppose -v + 127 = 5*o - o, 5*v + 5 = j. Is o a multiple of 17?
False
Let p be ((-12)/18)/(4/(-1068)). Suppose -3*a = -i - 3, 3*a - 23 = -5*i - a. Suppose -10 = i*v - p. Is v a multiple of 19?
False
Let q = -15 - -94. Is 15 a factor of q?
False
Suppose 4*l = 5*w + 4369, 4*w = -3*l - 0*l + 3269. Is l a multiple of 8?
False
Suppose -5*r - 195 = -0*r. Let o = -25 - r. Suppose -b + 57 + 35 = 5*u, 2*b + o = u. Is u a multiple of 5?
False
Is (116/(-3))/((-3)/9) a multiple of 8?
False
Suppose 3*d = x - 2*x + 1, 5 = 5*x + 4*d. Let o be (2/(-4))/(x/(-4)). Is 14 a factor of 25 - (-4 - o/(-2))?
True
Let l be (369/(-2))/((-6)/12). Suppose 2*f = -3*o + 7*f + l, 244 = 2*o - 4*f. Does 20 divide o?
False
Let n be -6*((-5)/2 - -2). Let a(h) = -4*h + h - 8 - n*h + 0*h. Is a(-6) a multiple of 7?
True
Let r = 58 - 51. Suppose -2*n - 5*k + 87 = 0, r*n - 6*n = -4*k + 39. Is n a multiple of 17?
True
Suppose -j + 2*j = 10. Let d(x) = x**3 - 8*x**2 - 8*x + 7. Let p be d(j). Let m = p - 73. Does 18 divide m?
True
Suppose -21*u - 16812 = -57*u. Does 29 divide u?
False
Let q be 110 - (-6 + 1) - (1 + -1). Suppose -2*t - q = -h, 0*t + 4*t - 109 = -h. Does 16 divide h?
False
Suppose -9*f + 20 = -8*f. Does 11 divide f?
False
Suppose 0 = 4*w - 2*w - 6. Suppose -q + w*m + 171 - 21 = 0, 0 = -5*q + 2*m + 737. Does 26 divide q?
False
Suppose 0 = -5*v + 5*d + 11 + 14, 2*v + 4*d - 10 = 0. Suppose 10 = -5*i - 5*j, -2 = 3*i - 0*i + 2*j. Suppose v*g - 93 = i*g. Is g a multiple of 8?
False
Let g(v) be the third derivative of v**4/24 + 4*v**3/3 - 4*v**2. Let t be g(-5). Let j(s) = s**3 - 3*s**2 + s + 3. Is 3 a factor of j(t)?
True
Let b = 1420 + -629. Is 7 a factor of b?
True
Is (2205/14)/(-5)*-20 a multiple of 14?
True
Suppose -9 - 18 = 3*m. Let y(g) = g**3 + 9*g**2 - g - 3. Does 6 divide y(m)?
True
Let z = -25 + -116. Let p = -6 - z. Is p a multiple of 32?
False
Let d(j) = 6*j - 7*j**2 + 9*j**2 + 1 + j**3 + 5*j**2 + 2. Let h be d(-6). Suppose 0*a = 4*a + 2*r - 158, -3*a = -h*r - 114. Is a a multiple of 17?
False
Let o = 403 - -34. Is o a multiple of 23?
True
Suppose 3*a + 5*x = 7519, 3*a = -3*x + 9024 - 1515. Does 42 divide a?
False
Let z = 5659 + -3239. Does 44 divide z?
True
Suppose 5*k - 4*k = 0. Suppose 14*t - 11*t - 9 = k. Suppose i = u + 11, -4*i + t*u - 2*u + 50 = 0. Is 6 a factor of i?
False
Suppose -4*x = -3*x. Suppose -12 = -4*w, 2*k + x*k - 54 = 4*w. Suppose -4*h = 5*g - 39, 4*h - 2*h + k = 5*g. Is g a multiple of 2?
False
Let l(q) = 6*q**2 + 5*q**2 + 0*q**3 + q**3 - 2*q**2 - 9 + 5*q. Does 5 divide l(-8)?
True
Suppose -4*a - 4*k + 0*k + 2236 = 0, -4*a + 2234 = 2*k. Does 18 divide a?
True
Suppose -2*o - 589 = -3*o. Is 16 a factor of o?
False
Is 410/(-30)*(5 + -14) a multiple of 16?
False
Let g be (-2)/9 - (-14)/(-18). Let t(j) = -41*j - 1. Is 10 a factor of t(g)?
True
Let y(t) = -4*t + 183. Is 11 a factor of y(-12)?
True
Suppose 0 = -g + 5*k + 7, -4*g + 9*g - 3*k = 57. Suppose -4*w + 348 = g. Is w a multiple of 14?
True
Let s = -279 - -486. Is 9 a factor of s?
True
Let p(f) = f + 1. Let y(s) = -s**2 - 4*s + 16. Let a(l) = 2*p(l) + y(l). Suppose -2*u + 0*u = 0. Is a(u) a multiple of 9?
True
Suppose 4*h - 248 = -4*b, -112 = -2*b + h + 18. Does 64 divide b?
True
Is 6049/7 - 12*2/168 a multiple of 12?
True
Let z(l) = -l**2 - 6*l + 5. Let a be z(-4). Suppose -a = -p - 3. Is 7 a factor of p?
False
Let w be (-7)/(-3) + (-160)/(-24) + -6. Let m be 2*15/(-18)*-3. Suppose w*y + j = -3*j + 172, 0 = -m*y + 4*j + 308. Is y a multiple of 14?
False
Let f(q) = q**3 + 8*q**2 - 2*q - 11. Let h be f(-8). Suppose 0 =