uppose -l = -4*v - v. Suppose n + 216 = v*n. Is 24 a factor of n?
True
Let h be (-29)/(0/1 + -1). Let c be (-4)/(-22) + (-492)/(-33)*2. Let f = h + c. Does 17 divide f?
False
Is 1/(2/(-6))*(-8 + -1042) a multiple of 42?
True
Let a(n) = 2*n**3 + 3*n + 6. Let g be a(-3). Let q = -27 - g. Does 6 divide q?
True
Let y(d) = d**3 - 17*d**2 + d - 6. Let f(l) = l + 27. Let c be f(-10). Is y(c) a multiple of 3?
False
Let p(t) = 15*t**2 - 5*t - 16. Does 14 divide p(4)?
False
Suppose 3*d = -2*j + 361 + 175, 5*d - 910 = 5*j. Is 18 a factor of d?
True
Let p(a) = 13*a**3 + 6*a**2 - 30*a + 14. Does 39 divide p(4)?
False
Suppose -4726 = -4*h + 1742. Is 14 a factor of h?
False
Let y(a) = 3*a - 12. Let x(o) = 1. Let t(n) = -6*x(n) - y(n). Suppose 0*z - 4*g - 18 = 2*z, 0 = 3*g. Does 9 divide t(z)?
False
Suppose 0 = -5*m - 25, 5*n = -2*m - 0*m + 135. Let v = 43 - n. Is v a multiple of 7?
True
Let h(d) = d. Let n(c) = -7*c - 5. Let a(b) = 1. Let r(m) = 4*a(m) + n(m). Let z(g) = 4*h(g) + r(g). Does 4 divide z(-8)?
False
Let x(l) = 9*l**2 + 11*l - 19. Let z be x(5). Let g = -153 + z. Is g a multiple of 27?
True
Suppose 0 = 5*z + v - 179 - 75, -3*z = -v - 154. Is z a multiple of 17?
True
Let k = 1319 + -1103. Is k a multiple of 108?
True
Suppose 9*r - 1625 = 1435. Is 25 a factor of r?
False
Let t(g) = -109*g - 233. Does 67 divide t(-9)?
False
Suppose -809 = 8*o - 4137. Does 18 divide o?
False
Let d(v) be the third derivative of -v**4/24 - v**3/3 + 6*v**2. Let w be d(-7). Suppose -5*s - 22 + 4 = -3*f, w*f - 3*s - 30 = 0. Does 5 divide f?
False
Suppose -23*p - 16 = -27*p, f = 5*p + 883. Is f a multiple of 60?
False
Let r be (-107)/(-3 + (-2 - -4)). Suppose 2*w + 3 - r = 0. Is 13 a factor of w?
True
Let t = -6 - -10. Suppose -t*z = -y + 24, -z = z + 6. Is 6 a factor of y?
True
Let s(x) = -x**3 + 8*x**2 + x - 3. Let p be s(8). Suppose p*a + t + 16 = 0, 5*a + 12 = 3*t - 0*t. Is 12 a factor of 36 + a*8/(-12)?
False
Let z = 1307 - 1150. Is 6 a factor of z?
False
Let x be (2 - 1)*22/(-11). Let k(l) = 2*l**2 - 1. Is k(x) a multiple of 6?
False
Let i = -42 + 63. Is 4/14 - (-1317)/i a multiple of 20?
False
Suppose 7*m = 10 - 3. Is (-164)/(-10) - m - (-4)/(-10) a multiple of 8?
False
Let j(m) = m**3 - 8*m**2 - 2*m + 17. Let x be j(8). Is 19 a factor of (-4*x)/((-26)/247)?
True
Let g be 2 + (-16)/6 - (-160)/15. Suppose -95 + 25 = -g*r. Is r a multiple of 3?
False
Let u = 645 - 185. Suppose -b - b + u = 4*j, 0 = -j - 5*b + 124. Is 19 a factor of j?
True
Let r(u) = 3 - 1 - 5 + 2*u + 1. Suppose 5*w = 19 + 1. Is r(w) a multiple of 5?
False
Let o = -7 + 6. Let a be 12/(-4) - (o + 16). Is 18 a factor of (-328)/a - 14/63?
True
Is 5 a factor of 6*(-8)/264 - (-717)/11?
True
Is 22 a factor of (-6)/21*7 + 2070?
True
Let z(j) = j**2 - 3*j - 5. Let h be z(-2). Suppose -2*c + h*n = 4*n - 13, -5*c + n + 40 = 0. Is 3*(-3 + 69/c) a multiple of 5?
False
Let o = 6 - -6. Let h be (-9 + o)*(-4)/(-6). Suppose 3 = w + 3*m, 3*w - 5*m - 19 = h*w. Is w a multiple of 6?
False
Let c = 61 + -87. Let i = -50 - c. Let p = i + 51. Is 15 a factor of p?
False
Let f(u) = -3*u + 442. Does 7 divide f(-14)?
False
Let z be 3 + -2 - (1 - 3). Let m = z + -12. Is 192/9 - (-3)/m a multiple of 7?
True
Suppose 4*n = -g - 20 + 123, -53 = -2*n - g. Let r be (1 + -4)/((-15)/n). Is 3 a factor of (-17)/(-5) - 2/r?
True
Suppose 2*r = -3*c + 13, 0*c + 21 = 4*r + c. Suppose r*a - 17 = -7. Suppose 4*f + 3*j - 164 = 0, -a*j + 7*j = -20. Is f a multiple of 11?
True
Let c(n) = 0 - 7 + 21*n - 3. Let z be c(5). Suppose 3*w = v + z, -w - 4*w - 5*v = -165. Does 10 divide w?
False
Let w = 123 - 200. Let n = 201 + w. Does 13 divide n?
False
Suppose 86 = -3*r + 2*r. Let n = -38 - r. Is 8 a factor of n?
True
Let d = 49 + -47. Does 4 divide d*((2 - 3) + 3)?
True
Let f(t) = -t**3 - 3*t**2 + 13*t + 30. Is 5 a factor of f(-7)?
True
Suppose 0 = 16*k - 1311 - 673. Is k a multiple of 23?
False
Let q be ((-2)/(-4))/((-6)/(-285 - -9)). Suppose -2*r = 2*r - 8. Suppose -q = r*z - 81. Is 6 a factor of z?
False
Let u = 26 - -526. Is 12 a factor of u?
True
Let v = 42 - 35. Suppose -v*d = -182 - 280. Is 11 a factor of d?
True
Suppose 86*r - 85*r + 6242 = 3*z, 3*z - 3*r - 6246 = 0. Does 17 divide z?
False
Suppose 2*q + r - 1766 = 0, -4*q = 4*r - 2503 - 1033. Does 5 divide q?
False
Let j = 5 + -11. Let f be (-6 - 12)/(j/68). Does 17 divide (f/18)/(6/27)?
True
Let b(m) = -14*m**2 + m + 1. Let y be b(1). Does 17 divide 325/20 + y/(-16)?
True
Let f be (200/(-12))/(-5)*-6. Let z be (-628)/(-5) + (-8)/f. Suppose 4*g - z = 194. Is 19 a factor of g?
False
Suppose 243 = -5*g - 52. Let i = -41 - g. Suppose a - i = -11. Is a a multiple of 4?
False
Suppose -82*i = -99*i + 459. Is i a multiple of 8?
False
Suppose 2*t = 5*j - 71, -5*j + t + 73 = -0*j. Suppose 0 = 3*q - 267 - j. Let a = -67 + q. Is a a multiple of 9?
True
Let j(o) = o. Let f be j(-2). Let q be -5 - f - 35*1. Let a = q + 69. Is a a multiple of 12?
False
Let d(h) = h**2 + 15*h - 12. Let z be d(-16). Suppose g - 16 = 3*w, -z*w = -5*g + 4*g + 14. Suppose -40 = -3*q - g. Does 3 divide q?
True
Suppose 6 = -4*w + 6*w. Let o = w + -24. Is 4 a factor of (-328)/(-28) - 6/o?
True
Suppose 0*b - 3*b - 2*w = -535, 2*b - 358 = -2*w. Suppose b = 4*u - 115. Is 16 a factor of u?
False
Does 2 divide (-10 - 3)*3/(5 + -8)?
False
Let h(r) = r**2 - 14*r + 25. Let u be h(12). Let g be (4*18)/4*u. Does 3 divide 3/g - 164/(-24)?
False
Suppose 6*d - 5*d - 2*v = -37, -108 = 3*d - 3*v. Is (-390)/(-7) + (-10)/d a multiple of 11?
False
Let q(m) = m**3 + m**2 + m + 1. Let d(c) = -2*c**3 - 16*c - 8. Let i(o) = -d(o) - 3*q(o). Is 7 a factor of i(-6)?
True
Let p = 310 + -110. Let s = -124 + p. Is 38 a factor of s?
True
Let g be ((-1125)/6)/((-3)/6). Let t = g + -256. Does 17 divide t?
True
Does 11 divide ((-4)/2)/((-28)/1554)?
False
Suppose -4*b = -7*b. Suppose b = 5*s - s - 92. Does 7 divide s?
False
Suppose -2*a - 8 = -4*s, -6 = -5*a - 26. Suppose -247 = -4*k - c + 122, k - 2*c - 90 = s. Suppose k = 2*d - 0*d. Is 10 a factor of d?
False
Let c = 421 + -338. Is c a multiple of 9?
False
Let o(j) = 6*j - 45. Let d be o(7). Is 14 a factor of d/(15/(-700)) + 3?
False
Suppose w - 4*x = x + 22, 0 = 5*w + 3*x + 2. Let c(o) = -w*o + 0*o + 3*o - 14 + o**2 + 0*o. Is c(6) a multiple of 13?
False
Let d = 68 + 7. Does 26 divide d?
False
Suppose -28 = 5*m - 12*m. Suppose -572 = -8*t + m. Does 24 divide t?
True
Let g(i) = -i**3 - 15*i**2 + 27*i + 31. Is g(-17) a multiple of 30?
True
Let q be (3/1 - 4)/(1/(-2)). Suppose -135 = -3*v + 5*l, q*l - 256 = -5*v - 0*v. Is 5 a factor of v?
True
Suppose 0 = -0*y + y - 2*k - 757, 5*y - 3750 = 3*k. Is y a multiple of 48?
False
Suppose 0 = 3*v + 7*i - 5*i - 143, 0 = -4*i + 4. Is v a multiple of 2?
False
Let i(f) = 40*f**2 - 6*f - 8. Let k be i(-4). Suppose 0*d = 4*t - 2*d - k, -t + 178 = -4*d. Is 27 a factor of t?
True
Suppose -2*w - 2*f + 5*f + 5012 = 0, -10002 = -4*w - 5*f. Does 119 divide w?
False
Suppose -6 = -2*f, -2*u - 67 - 10 = -f. Is (0 - u/3)*3 a multiple of 4?
False
Let j(h) = h**3 + 3 - h - 7*h**2 - 4*h**2 - 4*h - 5. Let c be j(12). Suppose c + 62 = 4*i. Is 12 a factor of i?
True
Let j(h) = -2*h**2 + 3*h + 6. Let n be j(4). Let p be (-4)/n + (-5930)/(-70). Suppose -q - 5 = 0, -3*u + 3*q + p = 4*q. Does 15 divide u?
True
Let f(d) = 6*d**2 - 2*d - 1. Let j be f(-1). Suppose j = 4*s - 3*s. Suppose 202 = 4*q + 3*x, s*q = 4*q - 3*x + 150. Does 17 divide q?
False
Let f = -16 + 4. Let h be 18/(-15)*40/f. Suppose -3*m + 0*m - 254 = -h*g, 4*m = -8. Is g a multiple of 16?
False
Is -183*(40/(-420) - 327/21) a multiple of 88?
False
Let f = -349 - -501. Suppose -154*u = -f*u - 70. Is 2 a factor of u?
False
Suppose 4*m = -0*m + 20, -2*n - 5*m = -47. Suppose -25 - n = -3*d - 2*f, -4*d = -3*f - 48. Is 4/4 + (d - 1) a multiple of 4?
True
Let n(y) = -4*y**3 - 9*y**2 - 33*y - 31. Is 39 a factor of n(-7)?
True
Let g be ((-11)/(-4))/(2/(-8)). Let b = g + 12. Does 13 divide b + (1 - 0 - -58)?
False
Let f(g) = 2*g**2 - 3*g - 47. Let y be f(17). Suppose 0 = -11*t + 16*t - y. Does 9 divide t?
False
Let k(z) = -14*z - 2. Let f be k(-5). Suppose -4*d = 4*n - f, 0*n + 2*d + 46 = 2*n. Is 8 a factor of n?
False
Suppose 6808 = 5*s + l, -2*s - 2*s + l + 5450 = 0. Suppose 4*q + 42 = s. Is q/9*24/10 a multiple of 22?
True
Let h be (-5 -