f). Suppose 9 = -b + 5*h, 5*h = 5*b + 12 - k. Is b a multiple of 8?
True
Suppose -2*l = l. Suppose 9 = 2*b - 27. Suppose l = -r + b - 0. Does 6 divide r?
True
Let j = -68 - -65. Is (3 - 7) + 17 - j a multiple of 4?
True
Let z(i) = i**3 + 9*i**2 - 6*i - 7. Let h(m) = m + 12. Let a be h(-10). Let x be (1/a)/((-6)/108). Does 17 divide z(x)?
False
Is 13 a factor of (-1939)/(-7) - 20/5?
True
Suppose -v + 1152 = 5*o, v - 200 - 952 = -3*o. Is v a multiple of 24?
True
Let g be 0 - ((2 - -1) + -7). Let n be 1 + (1 - -62) - g. Does 36 divide n/20*(1 - -23)?
True
Let v = 1 + -6. Does 10 divide 84 + (1 - -19)/v?
True
Let q(t) = t**3 - 6*t**2 + 4*t + 6. Let r be q(5). Let d(u) = 26*u. Is d(r) a multiple of 26?
True
Let a(i) = 6*i + 1. Let o = -11 + 15. Suppose o*h + 7 = 11. Is a(h) a multiple of 7?
True
Suppose 5*x - 1620 = 1275. Is x a multiple of 53?
False
Let g(j) = 1551*j**3 - 3*j**2 + 5*j - 4. Does 11 divide g(1)?
False
Let z = -51 + 43. Is 3/12 - 334/z a multiple of 42?
True
Let b = 104 + -42. Suppose -11*g - 84 = 4. Is 8 a factor of (-4)/g - b/(-4)?
True
Let o = -604 + 1180. Is 32 a factor of o?
True
Suppose 2*j + j - 3*k = 381, -659 = -5*j - k. Let b = j + -71. Does 10 divide b?
True
Suppose 3*s + 3*k - 9 = 0, 3*s - 4 + 1 = 3*k. Does 34 divide ((3/2)/3)/(s/860)?
False
Let p(y) = -y**3 + 15*y**2 - 24*y + 15. Let d be p(9). Let c = d - 123. Does 18 divide c?
True
Let o = 31 + -67. Let f = -15 - o. Is f a multiple of 6?
False
Suppose 4*z = 3*p + 24, -p = 2*z + 3*z + 8. Let i = -7 - p. Let x = 1 + i. Is x even?
True
Let p(r) = 18*r**2 - 16*r + 83. Is 5 a factor of p(6)?
True
Let w(t) = -t**3 - 13*t**2 + 2. Let x be w(-13). Suppose x*c - 2 = 3*c. Let s = 11 + c. Does 4 divide s?
False
Suppose 0*o - 40 = -2*o. Let y = -16 + o. Is (-2 - -4) + (y - -100) a multiple of 31?
False
Suppose 5*q - 3 - 22 = 0. Suppose -5*n = y - 14, 0 = y + y - q*n - 28. Let p = y + 2. Is p a multiple of 8?
True
Suppose 0 = -13*b + 1344 + 1893. Is 2 a factor of b?
False
Let p(x) = x**3 + 4*x**2 + 3*x - 4. Suppose 3*u = -4*s - 8 - 9, -2*u - 4*s - 14 = 0. Let b be p(u). Does 5 divide b/16 + 63/12?
True
Let a = 12 + -10. Suppose -9 = -3*c + a*c. Let b = -3 + c. Does 6 divide b?
True
Let f = 3350 - 1577. Is 15 a factor of f?
False
Let v be 2/(-3 - -2)*-2. Suppose 0 = -3*f - v*w + 28, -3*f - 3*w - 42 = -6*f. Does 6 divide f?
True
Suppose 3*u + 3 + 9 = 0, 4 = -f - 5*u. Suppose 3*l = f + 2. Is 2 a factor of (3/(-3))/((-1)/l)?
True
Suppose 10*i - 1207 - 33 = 0. Is 30 a factor of i?
False
Let s be 1/((-8)/12) + 483/6. Suppose s = p - 33. Is 27 a factor of p?
False
Suppose -5*x + 2*v - 1903 = -7913, -5*v = 4*x - 4775. Suppose 10*p - x = 4*p. Does 38 divide p?
False
Suppose 8 = 2*o - 2, -5*b - 155 = 5*o. Does 10 divide b/126*(-182)/2?
False
Let d(b) = b + 19. Let t be d(-12). Suppose -46 = t*n - 578. Does 9 divide n?
False
Let f be (-2 - 32)*(-6 - -7). Let x = 7 + f. Let b = 83 + x. Is b a multiple of 14?
True
Let g(s) = -s**2 - 5*s - 4. Let f be g(-2). Suppose -2*q + 3*w + 25 = -0*q, -w - 19 = -f*q. Does 8 divide q/(4 + 54/(-14))?
True
Suppose 5*u - 15 = -3*g + 15, -2*g + 25 = 5*u. Let z = u + -3. Suppose -60 = -z*q - 2*q. Does 29 divide q?
False
Suppose -4*s + 99 = 4*k - s, k = 2*s + 33. Suppose 17 = 2*l + k. Does 5 divide (-152)/l + (-4)/10?
True
Suppose -4*x = 4*r - 9952, -r + 1878 + 612 = -x. Is r a multiple of 19?
True
Is 82 + 6/1 - -2 a multiple of 9?
True
Suppose -2*k = -13*i + 9*i - 174, -249 = -3*k + 3*i. Is 14 a factor of k?
False
Let l(p) = 10*p**3 - 6*p**2 + 2*p - 7. Let q(r) = 12*r**3 - 7*r**2 + 2*r - 8. Let f(h) = 5*l(h) - 4*q(h). Suppose -c + 3 = 1. Is 8 a factor of f(c)?
False
Let r = -222 + 371. Is r a multiple of 20?
False
Suppose 1290 + 1284 = 9*t. Is t a multiple of 26?
True
Suppose 0 = 72*a - 68*a + 5*z - 5307, 0 = 3*z + 15. Does 43 divide a?
True
Let d be 4/3*(-360)/(-32). Let y(x) = x**2 - 5*x - 2. Let w be y(6). Suppose -1 - d = -w*v. Does 4 divide v?
True
Suppose -5*x + 3*g = 5 - 0, 4*x + 41 = -5*g. Is (7/x)/((-22)/176) a multiple of 4?
False
Let x = 46 + -25. Suppose x - 399 = -7*y. Does 9 divide y?
True
Let n(a) = -5*a**3 + 6*a**2 + 69*a - 2. Is 44 a factor of n(-6)?
True
Let a(l) = -19*l - 132. Does 11 divide a(-22)?
True
Suppose -2*q - 219 = 2*s - 5*s, -s + 3*q = -66. Let y = 21 + s. Is 24 a factor of y?
True
Suppose -3*a = -8*a + 70. Let o = -12 + a. Is o/(-8) + (-116)/(-16) a multiple of 7?
True
Let x = -164 + 218. Is 4 a factor of x?
False
Suppose -n - 3*z = -6*z - 1030, -5*z = -15. Is n a multiple of 49?
False
Suppose -5*n + 2236 = -4*d, -4*d + 428 = -19*n + 20*n. Does 12 divide n?
True
Let w = -1093 - -2643. Does 50 divide w?
True
Suppose 2*g = 7*g - 270. Let c = 103 - g. Is 9 a factor of c?
False
Let w = 16 - -117. Is w a multiple of 4?
False
Suppose 4*b = 5*j + 1189, -5*b - 4*j + 113 = -1322. Is 26 a factor of b?
False
Let z(l) = 2*l**2 + l - 4. Suppose 2*t = s - 7, -3*s = -4*t + 2*t - 1. Does 11 divide z(s)?
True
Suppose -4*x + 2 = i - 4, -3*i + 25 = 5*x. Suppose o = 5*w + 8, 0*w + o = -4*w - i. Is 0/w - 264/(-4) a multiple of 22?
True
Suppose -2*l - 3 = -l, 0 = -3*y + 5*l + 1347. Is 7 a factor of y?
False
Suppose -2*l + 56 = 5*l. Suppose 7 = 5*w - l. Suppose h - w*d + 4 = -2, d + 20 = 4*h. Does 3 divide h?
True
Let m(y) = 32*y - 37. Let p be m(4). Let t = p + -61. Is t a multiple of 3?
True
Suppose -3*k - 1 = -10. Let h(i) = i**2 - 32. Let u be h(0). Is u/(-3)*1*k a multiple of 16?
True
Is 4 a factor of (-1827)/(-18) + 28/(-8)?
False
Let x(o) = -o + 9. Let m be x(3). Suppose 0 = 3*n - 102 - m. Does 9 divide n?
True
Let d(s) = -2*s - 21. Let f be d(0). Let y(t) = -t**2 - 30*t + 52. Does 37 divide y(f)?
False
Let x(t) = 4*t**2 + 12*t - 18. Let y(l) = -l**2 - l + 1. Let m(j) = -x(j) - 3*y(j). Is m(-9) a multiple of 4?
False
Let s be (15/(-5))/(-3 - 462/(-152)). Let f = -61 - s. Is 5 a factor of f?
True
Suppose 3*n = 4*n - 0*n. Suppose n = -17*p + 6*p + 528. Does 12 divide p?
True
Suppose -10*v + 8910 = -0*v. Is v a multiple of 35?
False
Let s(b) = b**2. Let m(r) = 6*r**2 + 2. Let u(l) = m(l) + 5*s(l). Let w be u(2). Is (3 + -4 - -2) + w a multiple of 14?
False
Let p(n) = n**2 - n - 1. Let c(a) = 3*a**2 - 5*a - 7. Let m(h) = c(h) - 2*p(h). Is m(-5) a multiple of 23?
False
Suppose 0 = -m + j + 267, -3*m + j + 645 + 150 = 0. Does 8 divide m?
True
Let x(i) = -598*i - 232. Is x(-2) a multiple of 7?
False
Let u(x) = -59*x - 511. Does 3 divide u(-11)?
True
Let w(j) = -j**2 + 9*j. Let a be w(4). Let u = a - 13. Does 7 divide u?
True
Let x(c) = -3*c**3 - 24*c**2 + 24*c + 13. Is 10 a factor of x(-9)?
True
Let j = -62 - -65. Is (j - 2)/(1/66) a multiple of 6?
True
Let k(w) = -w**2 + 10*w - 10. Let t be k(8). Suppose -2*p = -t - 118. Does 15 divide p?
False
Suppose r - 9*r + 24 = 0. Suppose 0 = -p - x + 19, 0 = 5*p - r*x - 23 - 32. Is 11 a factor of p?
False
Let j = 591 + 46. Does 7 divide j?
True
Suppose 0 = 4*i - 4*v - 76 - 20, i - 3*v - 32 = 0. Let b be 16/2 + (4 - 3). Is 4 a factor of b/(-6)*i/(-3)?
False
Let f = 16 + -81. Is 35 a factor of (-112)/(-3 + f/(-25))?
True
Let s(l) = l - 21. Let c be s(-11). Let h be 184/c + 1/(-4). Is h/(184/(-44) + 4) a multiple of 33?
True
Suppose 5*w - 131 = -2*x, -82 = -3*w + 5*x - 22. Suppose 0*q - w = 5*q. Is (5/q)/(2/(-108)) a multiple of 27?
True
Suppose 0 = 2*g - 67 + 49. Let r(p) = 2*p**2 - 6*p + 26. Is 42 a factor of r(g)?
False
Let a be (15/(-6))/((-3)/(-18)). Let f = -30 - -57. Let z = a + f. Is z a multiple of 7?
False
Let n(b) = 2*b**2 + 13*b - 3. Let g be n(13). Suppose 4*w - g = 4*v, 4*w - 5*v = w + 374. Is w a multiple of 16?
True
Let v(i) = i**2 - 14*i + 2. Suppose -3*m - 16 = -5*b, 2*m + 2 = m. Suppose h + 4*h + 20 = b*j, 32 = 2*j + h. Is v(j) a multiple of 17?
True
Suppose -2224 = -5*h + 3*h - 4*v, -4*v = 4*h - 4444. Is h a multiple of 15?
True
Suppose p - 3*r + 67 = 0, 2*p = -0*p + 4*r - 124. Let y = 192 + p. Is y a multiple of 14?
True
Is (-142)/(-6) - (-5 + 84/18) a multiple of 12?
True
Let t(l) = 4*l**2 - 6*l - 14. Let h be t(6). Suppose -y + h = -20. Is y a multiple of 28?
False
Let j(c) = -33*c - 5. Let q be j(-9). Let z = q - 112. Is 30 a factor of z?
True
Let i(w) = 3*w**3 - 2*w**2 + w + 13. Let m be i(0). Let v(n) be the first derivative of n**3/3 - 5*n**2 - 5*n - 1. Does 23 divide v(m)?
False
Let n