z) = -z**3 - 14*z**2 + 12*z - 17. Suppose -29*g + 4 = -33*g. Let r be -15*(0 - (g + 0)). Is 28 a factor of n(r)?
True
Suppose -2*q + 3*s + 25 + 9 = 0, -s - 17 = -q. Suppose 15*v = q*v + 48. Is 1*28*v/(-7) a multiple of 12?
True
Let x(f) = -164*f - 152. Let u be x(-5). Let k = u + -56. Is 36 a factor of k?
True
Suppose 0*p + 5*i + 120 = -3*p, 3*i = 0. Let l = -46 - p. Let x(v) = -v**3 - 4*v**2 - 5*v - 14. Is 30 a factor of x(l)?
False
Let b(g) be the second derivative of -g**7/840 - g**6/120 - g**5/30 + g**4/6 - 13*g**3/6 + g. Let j(a) be the second derivative of b(a). Does 12 divide j(-4)?
True
Let l(j) = -779*j - 2560. Is 61 a factor of l(-14)?
False
Suppose -d + 1185 = -3*y, d - 828*y + 827*y - 1181 = 0. Does 131 divide d?
True
Let w be (13/(-13) + -2)/(1 + -2). Suppose -2*g = -3*i - 126, 0 = w*g + 3*i - 216 + 27. Is g a multiple of 52?
False
Suppose -5*c - 17 = -2, 0 = -2*u - 4*c - 394. Does 13 divide 1*3 - (-27 + u)?
True
Suppose l - 1342 = -4*c, -16 + 4 = -4*c. Does 5 divide l?
True
Suppose 0 = 266*v - 261*v - 84265. Is v a multiple of 46?
False
Let a = -8005 - -11726. Is 102 a factor of a?
False
Let o(t) = -t**2 - 6*t + 4. Let x be o(-5). Is (-5)/(450/(-40)) + 4127/x a multiple of 59?
False
Let u(j) = -2*j + 22. Let g be u(11). Suppose -4*v + 3*v + 324 = g. Is v a multiple of 18?
True
Let x(c) = 5*c**3 + 7*c**2 - 6*c + 198. Does 32 divide x(10)?
False
Suppose -c - 37 = 4*h - 619, -5*c - 2*h + 2910 = 0. Is c a multiple of 2?
True
Let b = -150 - -153. Suppose -2*o + 301 = 24*l - 21*l, 0 = -b*o - l + 469. Does 7 divide o?
False
Does 47 divide (44058/(-18))/(8 - (175/21 + 0))?
False
Let o = 109 - 95. Is 44/(-77) - (-1674)/o a multiple of 7?
True
Let r(m) = 7*m + 4. Let b be r(0). Suppose 14 = -3*n - o, -5*n + 1 = b*o + 15. Let k(f) = -f**2 - 9*f - 11. Is 2 a factor of k(n)?
False
Let w(s) = -2731 - 3*s**2 + s**2 + 11*s + 2743. Is 6 a factor of w(5)?
False
Let h = 1194 - -1130. Is 102 a factor of h?
False
Let v(x) = x**3 + 33*x**2 + 15*x + 80. Let h be v(-10). Suppose h = 11*z - 1950. Is 20 a factor of z?
True
Let i(r) = -r**3 - 2*r**2 + 12*r. Let s be i(-5). Suppose 8*h - s = 5*h. Suppose -h*y - 53 = -l + 3, 2*l - 2*y = 120. Is 14 a factor of l?
False
Let f = -262 + 250. Does 2 divide -19*(-3 + f/(-6))?
False
Let k(x) = -2*x. Let g(s) = -258*s + 6. Let q(p) = g(p) + 30*k(p). Does 54 divide q(-1)?
True
Suppose 313*f + 108656 = 168*f + 161*f. Is 31 a factor of f?
False
Let s(a) = -30*a + 180. Let f = 3 + -23. Is 5 a factor of s(f)?
True
Suppose -4*a - 73 = -545. Suppose -120*c + 2128 = -a*c. Is c a multiple of 28?
True
Let g(w) = -10*w + 128. Let h = 52 - 52. Does 8 divide g(h)?
True
Suppose -8*z + 222 = -2*z. Let x = z + -16. Suppose x*n + 240 = 24*n. Is 10 a factor of n?
True
Suppose -4*c - p + 7 = -0*c, 0 = -2*c + 4*p - 10. Let g be c + ((-30)/(-8) - 6/8). Is 1261/g - (3 - 66/24) a multiple of 29?
False
Let r be (2 - 1)/((2/(-6))/(-1)). Suppose 3*s + 0*z - 1029 = -r*z, -3*s = 2*z - 1027. Suppose 2*d = 5*d + u - s, -3*d + 326 = -2*u. Is d a multiple of 16?
True
Let s be -2*1 + -14 + 27. Let k(q) = q**2 - 3*q + 3. Let m be k(s). Suppose -2*t + 3*z + 57 = t, 0 = 4*t - z - m. Is 11 a factor of t?
False
Suppose -5*x - 2*r + 18312 = 0, -82*r = -x - 83*r + 3666. Is 15 a factor of x?
True
Suppose -488158 - 217802 = -120*h. Is 90 a factor of h?
False
Suppose 14668 = 12*j + 1144. Let o = 1723 - j. Does 63 divide o?
False
Let q = 3940 - 3779. Does 4 divide q?
False
Let f(g) = -71*g - 13. Suppose 3*d = -2*k + 4*d - 9, 0 = -3*k - 2*d - 24. Is f(k) a multiple of 11?
False
Suppose 132 = -4*b - 4*s, 3*b = -0*b + 2*s - 84. Let o be (8 - 2)*-5*240/72. Does 10 divide (1 + 2*13)*o/b?
True
Let v(n) = n + 90. Let z be v(-9). Suppose 0 = -z*b + 78*b + 1194. Does 30 divide b?
False
Let w = -2087 + 677. Let r = w + 2460. Is 15 a factor of r?
True
Suppose -7*y = -353 - 4729. Is y a multiple of 11?
True
Does 14 divide ((-49)/(4704/345096))/(3/(-16))?
False
Let m(l) = 282*l + 824. Is m(13) a multiple of 36?
False
Suppose 4*h - 2126 = 2838. Does 17 divide h?
True
Let z(m) = 16*m**3 - m. Let x be z(-1). Let a be (-6)/x - (-185)/(-25). Let c(q) = q**3 + 7*q**2 - 3*q - 3. Is c(a) a multiple of 6?
True
Let r(y) = 4*y**2 + 3*y + 49. Let z be r(9). Suppose 5*g + 9*a - z = 14*a, a = -1. Is g a multiple of 7?
False
Suppose 3*q + 67 = 2*q. Let p = q - -79. Suppose p = f - 23. Is f a multiple of 7?
True
Suppose -1857*s = -1875*s + 104972 + 196078. Is s a multiple of 223?
True
Suppose -a = -5*p + 126726, 41*p - 50694 = 39*p + a. Is 11 a factor of p?
True
Let x(n) be the first derivative of n**3/3 + 7*n**2 - 32*n - 57. Is x(-20) a multiple of 8?
True
Let t = -28 + 31. Suppose -6*b + 18 = -b + x, t*x = -b + 12. Suppose b*q = -3*p + 231, -4*p + 2*q + 109 = -223. Is p a multiple of 9?
True
Let q be 2/2*-1*(-12 - 131). Let h = -123 + q. Is h a multiple of 20?
True
Let n = 5663 + 607. Does 18 divide n?
False
Suppose -2*w + p = -459, -3*w - 88 = 3*p - 763. Let t = w + -73. Is 43 a factor of t?
False
Let h = 4350 + 482. Is 32 a factor of h?
True
Let x(u) = 2*u**3 - 10*u**2 + 12*u - 11. Let h be x(5). Let k = h + -45. Suppose -f + 315 = c, -3*f = -f - k. Does 39 divide c?
False
Suppose -6*x + 39 = 9. Let d be ((-8)/16)/(x/6 - 1). Suppose 33 = 3*b - d. Is 4 a factor of b?
True
Let c(d) = 100*d**2 + 30*d - 420. Is 18 a factor of c(14)?
False
Suppose 2*d = t - 1081, 2158 = -3*t + 5*t - 5*d. Suppose 0 = 4*f + 3*v - 1089, -5*v = -5*f + 316 + t. Is 92 a factor of f?
True
Suppose i - 152 = d - 1774, -2*d = 5*i - 3230. Is d a multiple of 10?
True
Let n = 56 - 48. Let v(b) = 16 + 13*b + b**3 - 3*b**2 - 12*b - 5*b - 4*b**2. Does 12 divide v(n)?
True
Let l(x) = 6*x**2 + 209*x - 31. Let b be l(-35). Suppose -4*h + 2*h = -2*w + 36, 3*w = 5*h + 54. Let c = b + w. Does 11 divide c?
True
Suppose -907 = -18*c + 443. Let b = c + -33. Is 12 a factor of b?
False
Let s = 124 + -101. Suppose -14 = 30*y - s*y. Is 10 a factor of -3 + -1 + (y + 3 - -53)?
True
Let x = -49 + 57. Let w be (7 - 12)*x/(-10). Does 2 divide 10/w*-3*(-6)/9?
False
Let q be (6/(-24)*4)/1*-903. Let w = q - 624. Does 11 divide w?
False
Suppose 0 = -4*u + 3*u + 2*n + 86, -4*u - 4*n = -332. Does 3 divide u?
True
Suppose 5*o = b + 109994, 20*o - 21*o + 21990 = 2*b. Is o a multiple of 17?
True
Let n(g) = -17*g + 26 + 81 + 8 + 40*g. Is 11 a factor of n(8)?
False
Let y(l) = -21*l + 126. Let k(j) = j + 37. Let b be k(-42). Does 33 divide y(b)?
True
Is 68 a factor of (-2)/16 + (756/384)/((-6)/(-2728))?
False
Let f(n) = n**3 - 21*n**2 + 18*n + 38. Let x be f(20). Is 42 a factor of ((-73)/(-5) + x)/((-3)/(-10))?
True
Let g = 20476 + -7786. Suppose g = 196*b - 178*b. Does 16 divide b?
False
Let b be (-3608)/(-14) - (54/(-42) + 1). Suppose -3*x - m = -267, b = 8*x - 5*x - 2*m. Is x a multiple of 2?
True
Is 38 a factor of (-1558)/2*(-6)/(-9)*(-90)/60?
False
Suppose 4*r = -4*x + 436, -2*x - 517 = 3*r - 8*r. Let a(d) = -d**3 - 11*d**2 + 4*d - 242. Let y be a(-13). Suppose r = -41*z + y*z. Is 4 a factor of z?
False
Suppose 0 = -6*q + 2*q - 4, -2*q - 2 = -2*r. Suppose -7*a - 1190 + 3276 = r. Does 6 divide a?
False
Suppose -3114*q + 451477 = -3101*q. Is 264 a factor of q?
False
Let s(a) = 16*a + 1. Let h be s(-4). Let m be (-32)/((-4)/26 + (-864)/(-1053)). Let v = m - h. Is v a multiple of 6?
False
Let m = 5209 + -4932. Suppose -3*r = -6*r - t + 3, -4*t = r - 12. Suppose -3*c - 4*i = -682, c + 2*i + 51 - m = r. Is 46 a factor of c?
True
Suppose 7*s = 3*b + 8*s - 12, -4*s = -5*b + 37. Is 19 a factor of b*(2 - (-1116)/4)?
False
Let s = -577 - -984. Suppose s*l + 2908 = 411*l. Does 13 divide l?
False
Suppose 2*v + 2*v + 12 = 0. Let o(w) = w**2 - 4*w + 2. Let t(u) = 2*u**2 - 9*u - 2. Let m(l) = -o(l) + t(l). Does 5 divide m(v)?
True
Let v(u) = -u**3 + 10*u**2 - 9*u - 12. Let p be v(9). Let g be (-6292)/p - -6 - (-2)/(-6). Suppose 0 = 22*s - 27*s + g. Is 30 a factor of s?
False
Let l be -71 + (-4)/(-4)*-3. Let c be (-2*l/6)/(2/3). Suppose -2*w + c = -37. Is w a multiple of 7?
False
Let i = 470 - 662. Let k be (27/(-2))/((3 + 0)/i). Suppose 222*s - 226*s = -k. Is 41 a factor of s?
False
Let z(c) = -6973*c**3 + c**2 + 6*c + 4. Does 83 divide z(-1)?
True
Suppose n + 0*n = -2*h - 419, 5*h = 4*n - 1067. Let c = h - -280. Is c even?
False
Let y = -347 + 347. Let v(