Let c(v) = -57*v**3 - 5*v**2 - 11*v - 9. Let o be c(-3). Suppose -3*q - 1038 + o = 0. Does 4 divide q?
True
Let y(d) = -d + 1. Let q(n) = -15*n - 37. Let f(o) = 2*q(o) - 22*y(o). Does 38 divide f(-17)?
False
Let l = 3328 - 731. Does 18 divide l?
False
Suppose 3*m - 2 = 4*m. Let g = -303 - -279. Is 3 a factor of ((-3)/m)/(-6 - 146/g)?
True
Let t = -128 + 130. Is 316/t - (-5 + (0 - -3)) a multiple of 32?
True
Suppose -5*z + 4*z - 7 = 0. Let v(c) = -c**3 - 6*c**2 + 8*c + 13. Let w be v(z). Is 11 a factor of (-1228)/(-14) - w/(-21)?
True
Does 40 divide (-18)/(-2)*((-11)/(88/(-72)) - -22)?
False
Suppose 884*d + 11855 = 889*d. Is d even?
False
Suppose -3*b = -x - 0*x + 74, -4*b = -2*x + 102. Let u = b - -69. Is 23 a factor of u?
True
Let s(n) = -2*n + 15. Let d be s(6). Let r(o) = 31*o**2 + 9*o - 16. Is r(d) a multiple of 10?
True
Let x(y) = y**3 - 32*y**2 + 32*y - 27. Let z be x(31). Does 13 divide -10*(-8)/20*533/z?
True
Let m(f) = 3*f + 165. Suppose w - 109 = -4*w + g, 3*w - g = 65. Suppose 0 = -w*h + 17*h. Is 35 a factor of m(h)?
False
Let o be (-1 + 3)*(13 + -11) + -1. Let f(i) = -4*i + i**2 + 2 + 3*i + 33*i**o + 2 - 3. Does 17 divide f(1)?
True
Let x = 39 - 39. Suppose -2*p - 5*r - 6 = x, -p = p - 2*r - 8. Suppose 45 = p*i - 1. Is 11 a factor of i?
False
Suppose 5*x + 3175 = -5*s, 6*x + 2504 = -4*s + 11*x. Let n = -235 - s. Is n a multiple of 36?
True
Let d(w) = -2 + 2*w - 3*w**2 + 5*w**2 + 9 - 21. Let a be d(6). Suppose -6*q - q = -a. Does 5 divide q?
True
Let u(i) = -2*i**3 + 3*i**2 + 2*i + 4175. Does 25 divide u(0)?
True
Let a = -3 + 7. Suppose -20*i - 10*i = 33*i. Suppose -220 = -a*q + 4*v, i*v + 303 = 5*q + 2*v. Is 22 a factor of q?
False
Let o = 6099 - -569. Is 112 a factor of o?
False
Let i(s) = 2398*s + 1144. Is 22 a factor of i(6)?
True
Let c = 418 - 174. Let x be (1030/(-30))/(1/3). Let q = c + x. Does 47 divide q?
True
Let c(q) be the second derivative of q**4/12 - 2*q**3 + 11*q**2 + 8*q. Let j be c(10). Suppose 0 = -j*h + 4*h - 100. Is h a multiple of 13?
False
Let g = 92799 - 60683. Is 31 a factor of g?
True
Let z = 7950 - -973. Is 15 a factor of z?
False
Let z = -65 - -114. Let n = z + -49. Suppose 3*t = -n*i - 3*i + 51, 2*i - 13 = -t. Is 3 a factor of t?
True
Let s(y) be the first derivative of 11*y**5/60 + y**4/24 - y**3/2 + 11*y**2/2 - 15. Let j(m) be the second derivative of s(m). Is j(2) a multiple of 22?
False
Let y(m) = 3*m**2 - 5*m - 5. Let c be y(3). Is 19 a factor of ((-16)/(-6))/(c - 4070/582)?
False
Suppose 452*d + 347 = 453*d - 3*h, -3*d + 1111 = 5*h. Is 5 a factor of d?
False
Let n be 6/(-15) + 204/60. Suppose -l + 5*k - 6 = 12, -k - 2 = -n*l. Is (364/l)/(-1 - -3) a multiple of 9?
False
Does 245 divide -16 - (-57530)/((-5)/(-1))?
False
Suppose 3*o = 5*u - 19, 43*u - o + 5 = 47*u. Let h = 33 + -4. Suppose -h = -u*j + 91. Is 10 a factor of j?
True
Is 30 a factor of ((-6)/(-9)*360/14)/(6/8001)?
True
Let q(b) = 6*b**2 - 18*b + 15. Let c(a) = 18*a**2 - 55*a + 43. Let d(g) = 4*c(g) - 11*q(g). Is 24 a factor of d(11)?
False
Let t = -2 - -5. Suppose 14*a - 9*a - 5*j - 40 = 0, 4*j - 3 = -3*a. Suppose 95 = a*s - 4*r, -t*r = 2*r. Is s a multiple of 19?
True
Let p(d) = 2*d + 20. Let s be p(-9). Let f be (-7 + 6)*73/(-2)*s. Suppose -f - 123 = -4*x. Is x a multiple of 49?
True
Suppose 0 = 7*s + 5*s - 48. Suppose -s*m + 3 = c, -m + 27 = 8*c - 4*c. Is c a multiple of 2?
False
Let p(a) be the third derivative of -a**6/60 - a**5/5 + 7*a**4/24 + a**3/6 + 16*a**2. Is p(-9) a multiple of 21?
False
Let n = 3996 - 108. Does 67 divide n?
False
Suppose 0 = -5*a + 5*y - 390, 3*a + 3*y = 5*a + 160. Let l = a - -79. Suppose -3*b + 7*b = l*v - 327, -5*b + 174 = 3*v. Is v a multiple of 7?
True
Does 62 divide ((-312455)/(-69) - 23)*6?
True
Let f = -9 - -37. Let s be (-17)/((-4)/f - 0). Suppose 3*h = -2*a + 47 + 41, a = -4*h + s. Is 15 a factor of h?
True
Let a = -193 + 346. Let n = a - 93. Is n a multiple of 15?
True
Does 24 divide 9 + (1858 - -5 - 0)?
True
Let g = 2620 - 848. Is 31 a factor of g?
False
Suppose 0 + 0 = -14*x. Suppose -13*l + 11906 + 1952 = x. Does 57 divide l?
False
Let x be ((-16)/(-10))/((-1)/5). Let d = 2244 - 2227. Let i = x + d. Is i a multiple of 3?
True
Let h = -45096 - -81715. Is 93 a factor of h?
False
Let n = 45 - 43. Suppose -565 = n*q - 5*q - o, q - 183 = 5*o. Let j = q + -132. Is 7 a factor of j?
True
Does 10 divide -6 - 9666/(-4)*18/3 - 5?
False
Let j be -3 + 3 - (-18 - -1). Let p(l) = l**2 - l. Let x(f) = -4*f**2 - 11*f - 24. Let t(i) = -5*p(i) - x(i). Is t(j) a multiple of 3?
False
Suppose 4*t - 6*a = -7*a + 15842, 3952 = t - 4*a. Does 9 divide t?
True
Let r(l) = 4*l**2 - 56*l - 330. Is 15 a factor of r(-15)?
True
Let i = 22127 + -18067. Is i a multiple of 9?
False
Suppose 55*c - 24*c = -88*c + 2345014. Does 167 divide c?
True
Suppose 2*z + 46 = -2*k, -3*z + 5*k - k - 55 = 0. Is 6 a factor of (-1077)/z + -2 + (-8)/28?
False
Let x = 232 + -228. Is 10 a factor of x + 257/2 + (-85)/34?
True
Is 59 a factor of ((-3)/((-48)/57788) - 2)*(-20)/(-15)?
False
Let k(c) = -c**3 + 35*c + 13. Let y be k(-13). Suppose -5*l - 5*i + y = 0, 327 = 5*l - 2*i - 1435. Does 44 divide l?
True
Is 4 a factor of ((-5480)/6*-2)/(39/(25272/144))?
True
Let i(r) = -9*r - 83. Let w(b) = 11*b**2 - 62*b - 2. Let k be w(5). Is i(k) a multiple of 10?
True
Does 5 divide 878*(-6 + 5/((-40)/(-76)))?
False
Let z(m) = 11*m + 9*m + 21*m - 8. Let d(i) = -10*i + 2. Let g(b) = 22*d(b) + 6*z(b). Is g(5) a multiple of 7?
True
Suppose 0 = k + 18*b - 21*b - 106, 2*k = b + 212. Does 20 divide (5615/(-2))/(-5) - 159/k?
True
Let q(p) = p**3 + 24*p**2 + 54*p - 9. Suppose -g - 3 - 18 = 0. Is 9 a factor of q(g)?
True
Let c(r) = 3*r**3 - 20*r**2 - 11*r - 24. Is c(10) even?
True
Let c(a) = -a**3 + 6*a**2 + 3*a - 13. Let w be c(7). Let z = w - -40. Does 19 divide -4 - z*77 - -3?
True
Let s(g) = g**2 - 9*g + 2. Let u(d) = d**2 - 10*d - 13. Let k be u(12). Is s(k) a multiple of 6?
True
Let p be (16 + -1)*(-55)/(-11). Let z = 315 - p. Let r = z + -132. Is r a multiple of 12?
True
Let o(c) = c**2 - 2*c - 22. Let f be o(6). Suppose -3*t + 15 = 5*s + 2*t, -f = t. Suppose 5*k = 3*i + 247, s*k - 253 = -0*k - 3*i. Is k a multiple of 12?
False
Let i(x) be the first derivative of x**4/4 + 23*x**3/3 + 59*x**2/2 + 30*x + 43. Does 23 divide i(-20)?
False
Let p(q) = q**3 - 3*q**2 - 5*q - 6. Let l(o) = -10*o - 5. Let m be 2*3*(-1)/6. Let h be l(m). Is 17 a factor of p(h)?
False
Suppose -2*p = -2*z + 306, 3*p = 6*p + 4*z + 466. Let s = 300 - p. Is 7 a factor of s?
False
Let j(y) = -277*y + 2245. Does 13 divide j(-14)?
True
Let s be (-4 - -7)*4/(-4). Let r be (4 - (7 + s))/3. Suppose -4*c - w + 104 = r, -4*c + 0*c + 2*w + 116 = 0. Does 3 divide c?
True
Does 27 divide (3/(36/840))/(2/27)?
True
Let a(r) = -r**3 + 5*r**2 + 7*r - 13. Let b be a(4). Suppose 645 = -28*k + b*k. Does 43 divide k?
True
Suppose -9*p + 32662 = -6*p - 2*m, 0 = -5*p - 5*m + 54470. Is 15 a factor of p?
True
Does 11 divide -22*((-12)/30)/(12/20985)?
True
Let a(m) be the third derivative of m**5/60 + m**4/12 + 4*m**3/3 - 13*m**2. Let h be a(7). Is 3 + h + 0/2 a multiple of 31?
False
Suppose 10 = 2041*r - 2046*r, -2*x - r = -38738. Is 130 a factor of x?
True
Suppose 0 = -5*m + 9*m - 504. Suppose 0 = 5*p - 926 + m. Suppose k = -4*k + p. Is k a multiple of 5?
False
Let i(p) = -39*p + 285. Is i(-40) a multiple of 41?
True
Let v(m) = -m**2 - 13*m - 23. Let z be v(-12). Let x(s) = s**2 + 8*s - 35. Let u be x(z). Does 29 divide (6/(-4))/(357/(-174) - u)?
True
Let l be (34 + -4)*3/3. Does 2 divide ((-198)/(-21))/(l/210)?
True
Suppose 2*g = 7*g - 15. Let w = g - 0. Suppose -4*q + t = -180, 4*q + 5*t - 66 = w*q. Is 13 a factor of q?
False
Let m = 2311 + 21055. Does 174 divide m?
False
Let o = 196 - 138. Let f = o - -14. Is 9 a factor of f?
True
Let u(s) be the third derivative of -67*s**4/24 - s**3/3 + 33*s**2. Let n be u(-2). Suppose n = -4*x + 368. Does 52 divide x?
False
Let x(m) = -91 - 5*m - 18*m - 13*m - 107. Is x(-16) a multiple of 42?
True
Suppose -3*a - 16 = -7*a. Suppose c = 5*q - a*c - 660, 4*q - 526 = 5*c. Suppose y = -3*i + 412, -i - 8*y = -6*y - q. Does 5 divide i?
False
Is 5 a factor of ((-3475)/2)/(305/(-4270))?
True
Let p(c) = 91*c - 134. Let l(j) = -90*j + 135. Let r(f) = -4*l(f) - 5*p(f). Is r(-6) a multiple