5. Let c(m) = m**3 + 5*m**2 - 8*m + 3. Let q be c(-6). Let a = q - w. Is a a multiple of 22?
False
Let g be -3 + (-6400)/(-12) + (-4)/(-6). Suppose 4*a = -w - 2*w + g, 3*a = -5*w + 412. Does 43 divide a?
True
Let u(r) = -2*r**3 + 19*r**2 - 10*r + 11. Let m be u(9). Is 8 a factor of m/6 + 0 + 113/3?
False
Let i = -332 + 1064. Does 61 divide i?
True
Suppose -4*m + 8*m = -12. Let y be 30/(-4)*(m + -3). Suppose 5*w = -5 + y. Is 4 a factor of w?
True
Suppose 420 = -219*a + 222*a. Is 10 a factor of a?
True
Suppose -5*f + 0*f - 19 = -3*u, f = 1. Suppose 5*g + 126 = u*g. Does 7 divide g?
True
Let m(o) = -2*o - 6*o - 5 + 2*o. Let v(d) = d - 24. Let f be v(16). Does 17 divide m(f)?
False
Suppose -3*h - 2*h = 30. Let d be (-1)/h + (-92)/(-24). Suppose 2*r - 51 = -4*i + 117, -5*i + 184 = -d*r. Is 20 a factor of i?
True
Let f = 126 + -36. Is f a multiple of 9?
True
Suppose -9*t = -6*t - 483. Is 28 a factor of -1 + (-3 - t*-1)?
False
Suppose 0 = -4*j - 3*z + 8299, -13*j + 15*j - 4*z = 4166. Does 20 divide j?
False
Let a(s) = 2*s**2 - 39*s + 56. Does 45 divide a(24)?
False
Let w(k) = 21*k + 37. Let n be w(-7). Let x = n - -116. Is x a multiple of 4?
False
Let d(f) = 4*f**2 - 2*f. Let w(q) = -q**2 - 4*q + 5. Let g be w(-4). Suppose -g*s + 20 = 5. Does 10 divide d(s)?
True
Suppose -5*l - 2*l = -1197. Let o = -111 + l. Is 9 a factor of o?
False
Let s = 65 + 34. Is 11 a factor of (-1)/(393/s + -4)?
True
Suppose -35*i + 31*i = -8. Suppose i*y - 38 = -5*f, 9*f + 3*y - 37 = 4*f. Does 8 divide f?
True
Let i = -14 - -4. Let q be (-16)/i*(-5)/(-2). Suppose -5*u - 4 = -q*m + 128, 0 = m + u - 24. Does 14 divide m?
True
Let w = 506 - 236. Is 54 a factor of w?
True
Suppose -2*q = 3*q - i + 9, 2*i = q + 9. Let h = 4 + q. Suppose 151 = h*a - 11. Is 28 a factor of a?
False
Let o = 22 + -15. Suppose 36 = 3*k + 3*q, 3*k - 39 - o = -q. Is 13 a factor of k?
False
Let z(v) = -8*v**3 + 3*v + 2. Let o be z(-2). Suppose 30 = s - 4*p + 3, 5*p + o = 2*s. Is 5 a factor of s?
True
Let j be 27/18 + (-667)/(-2). Suppose -2*a = t - j - 7, -4*t = -8. Let n = a + -101. Does 10 divide n?
False
Is 19 a factor of -199*(-3)/(-12)*-1*4?
False
Let g(f) = f**2 - 18*f - 20. Let k be g(17). Let s = k - -63. Is 4 a factor of s?
False
Let f(n) = -n + 1. Let k be f(-19). Let q = 22 + k. Does 21 divide q?
True
Suppose 3*d - d - 5*l = 403, -2*l + 935 = 5*d. Does 6 divide d?
False
Suppose 0 = 3*f + 2*w - 54, 2*w + 208 = 3*f + 142. Is 5 a factor of f?
True
Suppose 4*p = -p + 525. Suppose 4*b - p - 19 = 0. Is b a multiple of 10?
False
Let q be (-291)/(-6) + 2/4. Let g = q - -79. Is g a multiple of 16?
True
Let o be ((-8)/2)/((-11)/22). Suppose -j - 9 = 4*n, -3*j - j = 5*n - o. Suppose 9 + j = v. Is 8 a factor of v?
True
Suppose 1387 = 5*v + b + 549, 5*v - 846 = 3*b. Does 13 divide v?
False
Suppose 2*i - i = -3*k + 117, 5*i - 3*k - 549 = 0. Let z = -84 + i. Is 9 a factor of z?
True
Let s = 107 - -113. Is s a multiple of 7?
False
Suppose 0 = 5*i - 7648 + 2423. Is i a multiple of 95?
True
Let n(s) = -9*s + 5. Does 13 divide n(-13)?
False
Suppose 3*f - 9 = 0, 0 = -5*j + 4*f - 51 - 56. Let n = 30 + j. Is n a multiple of 11?
True
Let n be -7 + (-12120)/56 + (-4)/7. Let l = -8 - n. Is 30 a factor of l?
False
Let y(g) = -2*g + 7. Let i be y(-4). Suppose -18*q + i*q + 180 = 0. Is 20 a factor of q?
True
Let b(u) = -20*u + 3. Let z be b(-1). Suppose -2*x = -0*x - 4. Let r = z - x. Does 21 divide r?
True
Let t(j) = -j - 6. Let k(h) = -h - 7. Let q(m) = -4*k(m) + 3*t(m). Does 19 divide q(9)?
True
Suppose 31*g - 62*g + 25296 = 0. Does 24 divide g?
True
Let o(l) = 533*l - 13. Is 39 a factor of o(5)?
True
Suppose 3*n - 86 = -2*v, 7*v = -2*n + 4*v + 54. Is 6 a factor of n?
True
Let y(u) = -3*u + 165. Is 16 a factor of y(-9)?
True
Let c(u) = 2*u**3 - 5*u**2 - u + 3. Let o be c(2). Does 27 divide (-2)/o - 1292/(-6)?
True
Does 81 divide 11 + -8 - ((-2904)/2 - 3)?
True
Suppose -o + 2*o + 3 = -2*y, 12 = 5*y - 4*o. Suppose 3*k + 3*h - 9 = y, -2*k + 3*h + 39 = k. Suppose -k*r = -5*r - 84. Does 7 divide r?
True
Let t(i) = -10 - 6*i**2 + 7*i + 3 - 5 + i + i**3. Let z be t(5). Suppose z*g + k - 115 = 0, -157 = -5*g + 5*k + 68. Is g a multiple of 20?
True
Suppose -4*x - 1164 = 5*l, -4*x - 5*l + l - 1164 = 0. Let h = 447 + x. Is h a multiple of 12?
True
Let v be (-2)/8*-2*-2*-3. Suppose f = -v*s + 39, -f + 27 = 2*s - 0*f. Does 4 divide s?
True
Let j(u) = -u**3 + 4*u**2 + 4*u + 12. Let m(p) = -p**2 - 4*p + 10. Let a = 22 + -27. Let g be m(a). Does 3 divide j(g)?
False
Suppose -4*l + 6 = -2*u - 18, -2*u + 8 = 4*l. Suppose 0 = v + l*g - 115, 0 = -4*v + g + 400 - 25. Is 10 a factor of (2 - (-8)/(-5))*v?
False
Suppose -81 = -b + 65. Suppose 110 = a + a + 3*r, 0 = -3*a + 5*r + b. Is a a multiple of 13?
True
Is (-4)/3*(-201 - 36/6) a multiple of 12?
True
Let q = 128 + -84. Let o(x) = -2*x**3 - 23*x**2 - 16*x - 35. Let g be o(-11). Suppose 2*k + q = 4*h, 5*k - k - g = -h. Is h a multiple of 6?
True
Let y be 3 - (3 - (-1 - -4)). Let f(i) = -i - 6*i + 3*i - 5 - i + y*i**2. Does 15 divide f(5)?
True
Suppose 4*q - 3*n - 1843 = 0, -4*n + 1379 = 3*q - 3*n. Does 92 divide q?
True
Let c = -79 - -100. Let t = c - -67. Is t a multiple of 22?
True
Let m = -192 + 583. Does 17 divide m?
True
Suppose -20 = 7*b - 6. Let c(h) = -57*h + 6. Is 40 a factor of c(b)?
True
Suppose -3297 = -17*d + 4081. Is d a multiple of 18?
False
Suppose -40 = 4*t - c + 117, -2*t = 3*c + 89. Is 4 a factor of (-464)/t + (-3)/5?
False
Suppose 5*y - 9 = -4, 4*y + 980 = 3*h. Is h a multiple of 49?
False
Let f be 6*2/(-24)*-4. Suppose -7*b + f*b = -3*s + 370, -2*s - 2*b = -236. Is s a multiple of 14?
False
Suppose 2*m = -5*j - m + 16, 0 = 2*j + m - 6. Suppose 0 = s + 4*l - 78, 5*l - 62 = -j*s + 94. Does 26 divide s?
True
Suppose 19*q = 5*q + 1680. Does 25 divide q?
False
Does 8 divide 1/((65/(-430))/(-13))?
False
Suppose 303*t = 296*t + 8673. Is t a multiple of 23?
False
Let k be ((-1)/(-3))/((-12)/(-108)). Suppose z = k*z - 3*y - 149, 0 = 5*z + 2*y - 344. Is 10 a factor of z?
True
Let d = -179 + 773. Is d a multiple of 30?
False
Let v be -12 + (-2 + -1)*-1. Let g(y) = y - 5. Let a be g(v). Does 4 divide (-6)/3 - a*1?
True
Is 345 - (-2 - -7)/1 a multiple of 20?
True
Suppose 6*l - 2*l - 32 = 0. Suppose -5*r = -3*t + 12, 5*r + 4*t + l = 6*t. Suppose r + 108 = 3*y. Is 15 a factor of y?
False
Suppose 53*p + 3300 = 58*p. Does 25 divide p?
False
Suppose 4*g + 4*r - 1464 = 0, 2*g - 10*r - 738 = -15*r. Is g a multiple of 20?
False
Suppose -4*a = -5*w + 3*w, 30 = 3*w + 4*a. Is 3 a factor of w?
True
Let g(z) = 446*z**2 + 3*z + 1. Is g(1) a multiple of 18?
True
Suppose 4*l - 14 = -2*s, -l + 4*s - s = 7. Suppose l*o - 33 = -5. Does 3 divide o?
False
Suppose -k + 5*k = -5*n - 10, 4*k = -20. Suppose 3*q + 1038 = -2*f, 5*q - 1038 = n*f + 3*q. Is 11 a factor of 20/(-110) - f/11?
False
Let m = 8 - 12. Let h(r) = 3*r**3 + 2*r**2 - 5*r - 4. Let x(k) = 7*k**3 + 4*k**2 - 9*k - 7. Let p(o) = -5*h(o) + 2*x(o). Is p(m) even?
True
Suppose -8*z + 1440 = 224. Is 19 a factor of z?
True
Is ((-1053)/162)/(1/(-40)) a multiple of 65?
True
Suppose 64 = 4*d + 16. Let j = d - 10. Suppose -3*t - 3*k = k - 201, -j*k = -2*t + 134. Does 20 divide t?
False
Suppose 0 = 10*z - 13 - 107. Suppose -b + 43 = 5*s - 3*b, -41 = -4*s - 5*b. Does 3 divide -3*(-3)/(s/z)?
True
Let p = 3947 - 2253. Is 21 a factor of p?
False
Suppose 0 = -2*y + 6, g = -0*g - 5*y + 24. Let u(t) = 5*t - 9. Is 9 a factor of u(g)?
True
Suppose 12 = 4*y - y. Suppose -z = -4 - y. Does 14 divide 116/z + (-2)/4?
True
Let t(a) = 4*a**2 - 3*a - 7. Let j be t(-5). Suppose 10 = 5*q, -5*q = -g - q + j. Is 29 a factor of g?
True
Suppose j = -2*j + 12. Suppose 0 = 4*i - i - 2*w - 96, -4*w = -j*i + 124. Does 11 divide (6 + 0)/(i/187)?
True
Suppose -5*t + 42 = -m, -4*m + 32 = -3*t + 8*t. Suppose 2*b = t*b - 120. Is 9 a factor of b?
False
Let i be 9/(-3) - (0 - 3*37). Let r = i - 99. Does 3 divide r?
True
Suppose -3*o = -4*u + 24, 2*u - o + 0 = 10. Suppose -975 = -4*l - 6*b + u*b, b = 3*l - 715. Is 43 a factor of l?
False
Let k(j) = -j**3 + 5*j**2 + 6. Let c be k(3). Suppose -23*v - 11 = -c*v. Is 3 a factor of v?
False
Let d be (-2 - -6)/(16/12). Suppose 227 + 17 = 4*j - 2*a, -5*j + 304 = -d*a. Is j a multiple of 8?
False
Let y = -1 + 6. Suppose 0 = -2*d - 2*o - 3 + y, 