i - 586. Suppose -5*r - 23 = -3*w - i, r - 24 = w. Does 2 divide r?
False
Let a = 152 - 86. Suppose 0 = -a*v + 63*v + 126. Does 21 divide v?
True
Let c(v) = 4*v**3 + 27*v**2 + 27*v - 54. Let f(k) = 11*k**3 + 81*k**2 + 82*k - 162. Let x(r) = 8*c(r) - 3*f(r). Is x(-26) a multiple of 10?
False
Let j(z) = -z**2 + z + 4. Let m be j(2). Suppose m*i - i - 115 = -2*u, i = -u + 115. Does 15 divide i?
False
Let p = -362 + 468. Is 53 a factor of p?
True
Let a(w) = -w**2 + 119*w - 18. Is a(61) a multiple of 11?
True
Suppose -19*k + 30*k = 2893. Is k a multiple of 8?
False
Let t = 89 + -70. Is t a multiple of 3?
False
Let p be 20/(-30) + (-94)/(-6). Let t = p - 11. Suppose 31 = t*f - 65. Is 6 a factor of f?
True
Let k = 19 + -14. Suppose -k*r + 5*a + 45 = 0, -3*r = r + a - 16. Suppose i - 69 = 4*z, 0*z + r*z = 3*i - 172. Is 10 a factor of i?
False
Is (-74660)/(-140) + (-6)/21 a multiple of 28?
False
Suppose -2*f + 1802 = d, -8*f + 13*f + d - 4499 = 0. Is 31 a factor of f?
True
Let k = 75 + -72. Suppose -27 - 65 = -4*l. Let w = l - k. Is w a multiple of 4?
True
Let z = 351 - 120. Is z a multiple of 33?
True
Let v(m) = m**3 - 7*m**2 + m - 12. Suppose 0 + 2 = -t, -2*t + 32 = 4*g. Let y be 3*((-96)/g)/(-4). Is 15 a factor of v(y)?
True
Suppose -2*q = -q - 240. Suppose i - 5*i + q = 0. Does 5 divide (4/12)/(4/i)?
True
Let b = -8 + 10. Suppose -b*d - o = 4, 1 = -d + o - 1. Let p(f) = 2*f**2 - 2. Is 6 a factor of p(d)?
True
Let i = -70 + 265. Is 5 a factor of i?
True
Does 45 divide (-2)/8 - (3945/(-4) - 3)?
False
Let q(x) = -90*x + 25. Is q(-1) a multiple of 15?
False
Suppose -63189 - 27693 = -51*d. Is 27 a factor of d?
True
Is (1647/5)/(21/70) a multiple of 9?
True
Let o(x) = -7*x**3 - 2*x**2 - 3*x - 3. Let w be o(-2). Suppose 10*d - w = 9*d. Does 35 divide d?
False
Suppose -5*a + q = -20397, q = -2*a - 392 + 8555. Is 16 a factor of a?
True
Suppose -5*w + 3*i + 5478 = 0, -4*w + i + 4256 = -132. Is 73 a factor of w?
False
Suppose -3*y = 1 - 10. Suppose 3*b + 783 = y*f, f - 3*b - 249 = 2*b. Is f a multiple of 24?
True
Let x = 49 - 38. Suppose -x*l + 196 = -7*l. Suppose -m + 38 - 5 = 5*w, -3*m - 5*w = -l. Does 3 divide m?
False
Suppose 94 + 98 = 4*f. Suppose 0 = 2*l + 4*n + 60, -4*l - 2*n - 67 = 47. Let g = f + l. Is g a multiple of 20?
True
Suppose -15*i - 994 = -2884. Is 5 a factor of i?
False
Let d be (-1 + 8/14)/(5/(-35)). Suppose d*h + 2*w - 150 = -49, 2*h - 72 = w. Is h a multiple of 5?
True
Let q(r) = r**3 - 7*r**2 - 2. Let i be q(7). Let g be (-28)/(-6) + i/(-6). Suppose 3*n = g + 7. Does 4 divide n?
True
Suppose -4*q - 2*n + 26 = 0, 5*n = -q - 4*q + 45. Suppose 0 = q*c - 274 - 138. Does 17 divide c?
False
Let f(b) = b + 9. Let v be f(-5). Let t(r) = 13*r - 4. Is 4 a factor of t(v)?
True
Let f(p) be the second derivative of -p**3/6 - 2*p**2 + 6*p. Let o be f(-4). Suppose -2*r - 4*d + 22 = 0, o = 4*r + 5*d - 35. Is r a multiple of 5?
True
Let g be 2*(-1)/4*4 - -8. Suppose 81 = -g*x + 615. Does 21 divide x?
False
Let q(s) = s + 37. Let n be q(0). Let b = 5 + n. Does 14 divide b?
True
Suppose 13 = -5*q - 27. Let n be (1450/(-40))/(2/q). Suppose -5*m + 5 = -n. Is 10 a factor of m?
True
Let a = 8 - 6. Let m = a + 1. Suppose 35 = m*g - 40. Is 11 a factor of g?
False
Suppose 0 + 40 = 4*p - 4*c, -4*p - 5*c = -4. Suppose -p*g - 17 = -545. Is g a multiple of 22?
True
Suppose -8 + 10 = u. Suppose 0 = -2*m + 8 + u. Suppose -n - 1 + m = 0. Does 3 divide n?
False
Let q be 25/15*(-12)/(-10). Suppose g = -3*g - q*w + 246, -g - w + 60 = 0. Is g a multiple of 21?
True
Let q be 0*(1 - 0) - (-2 + 2). Suppose -3*y = y - 4*o - 128, y + 4*o - 22 = q. Is 6 a factor of y?
True
Let j(c) = 80 - 25 - 59*c + 60*c. Is j(-15) a multiple of 4?
True
Let c(m) = -54*m**3 + m**2 - 2*m + 1. Let z be c(1). Let a be (z/45)/(2/(-5)). Suppose 5*f - 2*s + 3*s - 214 = 0, -s = a*f - 128. Is 18 a factor of f?
False
Let s(n) = n**2 + 1. Let x(h) = -151*h**2 - 2*h + 5. Let f(g) = 3*s(g) - x(g). Does 22 divide f(1)?
True
Suppose 794 = 5*o + 4*w, -328 = -2*o - 2*w + 3*w. Does 19 divide o?
False
Suppose -a + 1 + 2 = 3*t, -4*a + 4*t + 12 = 0. Suppose -o - a*i + 29 + 52 = 0, -2*i + 182 = 2*o. Does 12 divide o?
True
Suppose o = -2*o + 15. Let b be (-5)/o*52/(-2). Suppose -b = -s + 4. Is 10 a factor of s?
True
Let b = -19 + 23. Suppose b*l = v - 60, 2*l + v = -2*l - 52. Is 24 a factor of (-170)/(-7) + 4/l?
True
Let u = 3 - 1. Suppose q - 2 = u*q - 2*d, 19 = q + 5*d. Is 6 a factor of (-2)/q - (-186)/4?
False
Suppose -9*w + 14784 = -2046. Is w a multiple of 14?
False
Let t(h) = -9*h**3 - 13*h**2 + 6*h + 8. Does 13 divide t(-4)?
False
Suppose 1 = 2*z - 7. Suppose z*b - 2 + 14 = 0, 2*a + 5*b = 87. Is a a multiple of 17?
True
Suppose -2*s + 977 + 159 = 0. Does 19 divide s?
False
Does 11 divide ((-1512)/5)/(-2) + 1/(-5)?
False
Suppose -5*p = -g - 4145, -2*p - 2*p = 3*g - 3316. Is 13 a factor of p?
False
Suppose -5*h + 5*w + 105 = -0*h, -3*w = 3*h - 39. Is h a multiple of 4?
False
Let p(b) = 25*b**2 + 3*b - 2. Let o = -71 - -72. Is p(o) a multiple of 8?
False
Let j = 16 - 16. Let a(q) = -4*q**2 + q + 0 + 47*q**3 - 50*q**3 + j*q + 3. Is 15 a factor of a(-3)?
True
Let x be (7 - (1 + 1)) + 0. Suppose -32 = -4*p + 4*l, x*l - 8 = -23. Suppose -5*q - 270 = -5*f, 10*q - 216 = -4*f + p*q. Is 18 a factor of f?
True
Let m(s) = -s**2 - 6*s - 11. Let k be m(-5). Let x be 17/((-2 - 0)/2). Is (3 + x/2)*k a multiple of 7?
False
Let v be (32/(-24))/((-2)/135 + 0). Let g = v + -57. Does 3 divide g?
True
Suppose 0 = -2*d + 5*l + 497, -26 + 6 = -4*l. Does 5 divide d?
False
Suppose 17*v + 2*s - 1078 = 12*v, 437 = 2*v - 5*s. Is 9 a factor of v?
True
Let u be ((-16)/36)/(-2) + (-122)/(-18). Suppose 0 = -h - 3*a + 126, -2*a + u - 3 = 0. Is 10 a factor of h?
True
Suppose -2*a - 4*r - 31 = -5*a, -10 = 2*a + 5*r. Suppose -3*z = a*v - 98, -5*z - 5*v + v = -159. Let h = z - 15. Is h a multiple of 16?
True
Let b = 673 + 158. Suppose 13*q - b = 10*q. Does 14 divide q?
False
Let n be 4/2*(-26)/(-4). Suppose -2*m + n = -23. Let c = 30 - m. Is c a multiple of 2?
True
Does 5 divide (-4)/(-16) + (-1461)/(-12)?
False
Is 13 a factor of (-17 - -431) + -3 + 2?
False
Suppose -7*o + 2528 = -594. Is 45 a factor of o?
False
Let l(j) = j**2 + j + 5. Let w(x) = x**3 - 4*x**2 - 4*x - 1. Let g be w(5). Is l(g) a multiple of 14?
False
Let z(m) = 37*m**3 + m**2 + m - 8. Is z(3) a multiple of 27?
False
Suppose v + 3*u + 6 = 0, -4*u - 8 = -0. Let c = v - -8. Does 8 divide c?
True
Let i be ((-3029)/26)/(2/(-8)) - -2. Is (i/16)/((-4)/(-16)) a multiple of 8?
False
Let f(l) = -3*l**2 + l + 13. Let y be f(5). Let k(z) = -2*z**3 - 4*z**2 - 4*z + 4. Let q be k(-4). Let d = y + q. Is 6 a factor of d?
False
Let h be 13/(52/(-456)) - 2. Let w = h + 144. Is w even?
True
Is (-2)/(-4) + 175/50 - -83 a multiple of 87?
True
Let k = -24 - -14. Let m = k + 2. Is 2 a factor of ((-1)/2)/(1/m)?
True
Suppose 0 = 2*v - 1 - 3. Suppose -2*s - 3*p - 15 = -v*p, 3*p - 35 = 2*s. Let r = -2 - s. Is r a multiple of 5?
False
Suppose 5*q + 2*x = -224, -5*q = -3*x - x + 212. Let z = 93 + q. Is 7 a factor of z?
True
Let t(f) be the first derivative of 4*f**3/3 - f + 6. Let j be t(-4). Suppose 9 = 4*d - j. Is 6 a factor of d?
True
Let d = 342 + -218. Does 11 divide d?
False
Let m(a) = -6*a + 12 + 3*a + 9 + 4*a. Is m(7) a multiple of 12?
False
Suppose 28 = h - 178. Suppose -8*z = -h + 46. Does 4 divide z?
True
Suppose 0 = -16*k - 72 + 520. Is 2 a factor of k?
True
Let p = 6 - 4. Suppose u = 4*t + 17 + 3, 4*t + 20 = 5*u. Suppose -5*s + p*h + 342 = u, 3*s = -3*h - 0*h + 222. Does 24 divide s?
False
Let p(f) be the second derivative of -f**5/20 + 2*f**4/3 - 11*f**3/6 + 7*f**2/2 - 11*f. Does 4 divide p(4)?
False
Is 7 a factor of 1397 - (-3 + -3 + 6 + -3)?
True
Let i(z) = 4*z**3 + 4*z**2 - 3*z - 3. Is 8 a factor of i(3)?
False
Let y be (-3)/(-6)*-4*-1. Suppose q - l = y, l + 1 = 3*q - 1. Suppose 2*v + 2*r - 1 = 77, q = 4*r - 20. Is 7 a factor of v?
False
Let u(d) = 29*d + 182. Is u(0) a multiple of 9?
False
Let w be (-21)/(-9) - (4/3 + -1). Suppose 5*h - 3*h + w*i = 126, -2*i = -6. Is 11 a factor of h?
False
Suppose -3*w - 3*q + 30 = -27, 3*q = -3. Let n = 340 - w. Is n a multiple of 16?
True
Let s(b) = -b**3 + 10*b**2 - b + 9. Let d = 9 + 0. Is 25 a factor of s(d)?
False
Suppose 5*r + 31 = -9. Let w =