 5*b + 4, -b = 3*q - 12. Suppose -u - 2*u + 13 = q*r, r - 10 = -3*u. Suppose -u*p - p + 240 = 0. Is p a multiple of 15?
True
Let z = 950 + -284. Is z a multiple of 9?
True
Does 9 divide (272/(-48))/((20/1215)/(-4))?
True
Suppose -5*d - 60*c + 58*c + 7912 = 0, d = -3*c + 1585. Is 14 a factor of d?
True
Suppose i = -4*p - 0*p - 17, 68 = -3*i + 5*p. Let q = 30 - -36. Let m = q + i. Does 16 divide m?
False
Let c(x) = x**2 + 2*x - 3. Let y be c(2). Suppose 19 = -2*g - 3*w + 3, g = 5*w + y. Is 4 a factor of 42/4 - g/10?
False
Let m be 2*(-1)/2*(0 + -3). Suppose -3*g = 3*a - 375, 615 = 5*a - 0*a + m*g. Is 30 a factor of a?
True
Let t(f) = f**3 - 7*f**2 + 3*f + 7. Let x be t(7). Let d be 0/(-1)*(-14)/x. Suppose -3*s + d*s = -5*h + 130, 5*s = h - 4. Does 14 divide h?
False
Let t be 1/(4 + 87/(-21)). Let b = t - -63. Is 8 a factor of b?
True
Let x(u) = 15*u - 1. Let r be x(4). Suppose -8*v = -7*v - r. Does 10 divide v?
False
Let y(f) = -49*f - 858. Does 4 divide y(-35)?
False
Is 23 a factor of ((-16)/(-3))/((-2)/(-36))?
False
Suppose 0 = 4*f + 6*f + 10. Let g = f + 30. Is g a multiple of 7?
False
Is 428 + (66/17 - (-4)/34) a multiple of 5?
False
Let f(k) = 5*k**2 + 33*k + 101. Is f(-8) a multiple of 34?
False
Suppose -226*g + 312 = -222*g. Does 38 divide g?
False
Let w be 0/(2/(-3 + 5)). Suppose -l + 2*o + 56 = 0, w = 4*o - 3*o - 5. Does 11 divide l?
True
Suppose 15 + 69 = 4*t. Let z(k) = k - t*k**2 + 34*k**2 - 3*k**2 + 39*k**2. Does 9 divide z(1)?
False
Suppose 3*t - 5*r + 172 = 4*t, -5*t = -r - 964. Is t a multiple of 24?
True
Suppose 5*r - 5*l + 0*l = -195, -3*l = -15. Is 4 a factor of -3*(0/13 + r/6)?
False
Let c be ((-206)/(-6))/((-1)/3). Let b = 185 + c. Does 13 divide b?
False
Let a(b) = 0*b - 6*b - 9 + b**2 - b. Let y be -9*(-1 + -1 + 1). Is a(y) a multiple of 9?
True
Suppose 4*c - 9*c = 20. Let r(k) = -k**2 - 10*k - 5. Let l be r(c). Does 8 divide 2 + (l - (-6 - -3))?
True
Suppose b = 6*b - 25. Suppose -2*c - s = -1, -b*c + 0*s - 3*s = -1. Suppose c*i = i + 61. Is i a multiple of 16?
False
Let a = -149 + 90. Let x = 22 - a. Is x a multiple of 27?
True
Suppose 0 = 59*l - 56*l - 156. Does 13 divide l?
True
Suppose -q - 3*z + 108 - 1 = 0, 0 = 4*q + 5*z - 421. Does 25 divide q?
False
Suppose -f = 3*b + 14, 0 = -f + 3*b + 18 - 2. Suppose 0 = c + f, -r + 9 = -5*c - 112. Does 29 divide r?
True
Suppose 4*c - 8 - 4 = 0. Suppose a + c*a + 26 = 2*i, 3*i - a = 14. Suppose -9 = i*y - 5*p, -8*p + 3*p + 11 = -2*y. Does 2 divide y?
True
Suppose 5*v = -3*l - l + 26, -4*l + 10 = -3*v. Suppose -v*t - 16 = 2*t, -3*t = 4*m. Is 6 + (-3 - (2 - m)) a multiple of 4?
True
Suppose -3017*c = -3015*c - 3300. Does 30 divide c?
True
Is (-16)/(-4) + 2 - (-1092)/2 a multiple of 8?
True
Suppose 51*c = 31*c + 18760. Is 10 a factor of c?
False
Suppose 5*i + 4*h + 135 = 0, -4*i - 9 = h + 99. Let u = 50 + i. Does 12 divide u?
False
Suppose -38*k = -33*k + 4*t - 579, 0 = 3*k - 5*t - 340. Is k a multiple of 5?
True
Let z(k) = 4*k**3 - 3*k - 3. Let g be z(-2). Let o = -26 - g. Suppose 80 = o*d - d. Is d a multiple of 8?
True
Let c(z) = 6*z**2 - 17*z - 3. Is c(9) a multiple of 33?
True
Suppose 6*p = 2*p + 524. Let a = -74 + p. Does 27 divide (-1 + 2)*(a + -3)?
True
Let b(l) = l**2. Let o(c) = -2*c**2 - 19*c - 23. Let m(x) = 5*b(x) + o(x). Does 21 divide m(11)?
False
Let k(o) = o - 58. Let l be k(-26). Let y = l - -109. Is 5 a factor of y?
True
Suppose w + 12 - 45 = 0. Is w a multiple of 5?
False
Is 74/16*-2*2632/(-7) a multiple of 13?
False
Let c(i) = 3*i**2 + 17*i + 24. Let d(v) = 4*v**2 + 18*v + 25. Let q(r) = -5*c(r) + 4*d(r). Is 4 a factor of q(16)?
True
Let p = -3 - -2. Let z = 63 - p. Is z a multiple of 15?
False
Let s = -333 - -2072. Is 14 a factor of s?
False
Let t = 1040 - 193. Is 33 a factor of t?
False
Let i = 806 + -113. Does 77 divide i?
True
Suppose -m - 27 = -4*m - 3*x, 0 = 2*m - 3*x + 7. Suppose m*n + 3*j = -74 + 689, 2*j - 774 = -5*n. Is 12 a factor of n?
True
Suppose 15*c - 541 - 3059 = 0. Does 25 divide c?
False
Suppose 3*u - 898 = 5*q + 594, 5*q = 2*u - 998. Is u a multiple of 38?
True
Suppose -22*a + 138240 = 8*a. Does 18 divide a?
True
Let t(l) = l**3 - 6*l**2 + 5*l + 2. Let z be t(5). Let r = -94 + 96. Suppose -r*b = -c + 9 - 45, -z*b = 4*c - 26. Is 17 a factor of b?
True
Let p(l) = -2*l - 8. Let q be p(-5). Suppose 3*c + 3*f = c + 97, -154 = -4*c + q*f. Suppose 4*r = -w + c, -7*r = 5*w - 2*r - 220. Is 15 a factor of w?
True
Let b be 1/5 + (-99)/(-55). Suppose -i + 116 = 2*c - 64, -b*i - 468 = -5*c. Is c a multiple of 46?
True
Let c(o) be the second derivative of o**3/6 - 7*o**2/2 - o. Let z be c(6). Let w(l) = 105*l**2 + 1. Is 32 a factor of w(z)?
False
Let n(t) be the first derivative of -t**4/4 - 4*t**3 - 3*t**2 - 10*t - 8. Let k be n(-8). Let y = -133 - k. Does 17 divide y?
True
Let k(c) = -c**3 + 2*c**2 - 4*c - 3. Does 54 divide k(-3)?
True
Let k(g) = -78*g - 5. Let r be k(-1). Let s = r + -46. Is s a multiple of 6?
False
Does 6 divide -8*16*(-672)/128?
True
Let r(x) = -x**3 - 4*x**2 + 40*x - 16. Is 32 a factor of r(-13)?
False
Let t(s) = -105*s - 69. Does 16 divide t(-13)?
True
Is 19 a factor of (522/(-232))/((-1037)/(-1040) + -1)?
False
Suppose 3960 = 15*t - 1305. Is 3 a factor of t?
True
Does 63 divide -58*(6*95/(-20) - -6)?
False
Suppose 0 = 5*b + 2*a + 3*a - 35, -4*a + 16 = 0. Let w be (b/5)/((-1)/(-25)). Suppose -f = l - w, -3*f = l - 3*l + 15. Is 4 a factor of l?
True
Let z(q) = q - 4 - 3*q**2 - 2 + 3. Let r be z(-6). Let n = r - -171. Does 27 divide n?
True
Let z(a) = -54*a - 144. Is z(-5) a multiple of 5?
False
Let u(z) be the second derivative of z**6/120 + 3*z**5/20 - 5*z**4/24 + 3*z**2/2 + 6*z. Let p(q) be the first derivative of u(q). Is p(-9) a multiple of 15?
True
Let p(j) = j - 2. Let c be p(-5). Let i = 12 + c. Suppose i*w + 3*o = -o + 66, -3*w + 38 = 4*o. Does 6 divide w?
False
Suppose -5*v + 1 = 4*p - 27, -5*v - 8 = p. Let z = 15 - p. Suppose -5*b = -z*d - 0*b + 80, -86 = -3*d + 2*b. Does 13 divide d?
False
Suppose 8*b = 4*b - 4. Let o be -55 + 1 - (b - -4). Let c = -29 - o. Does 14 divide c?
True
Let z be (-1090 - 4)/(5 - 6). Suppose 4*j - 6*s + 8*s - z = 0, s = -5*j + 1363. Is j a multiple of 17?
True
Suppose 3*y + 153 = 8*t - 7*t, -483 = -3*t + 3*y. Is 3 a factor of t?
True
Let l(t) = 16*t**2 + 4*t**2 + 2*t**2 + 2*t. Let w be l(4). Suppose 5*d + w = 10*d. Is 20 a factor of d?
False
Does 11 divide (-8)/20 - (-774)/10?
True
Let k(s) = -20*s - 86. Does 7 divide k(-11)?
False
Suppose -4*d = -4*k - 20, -d - d = 3*k - 5. Suppose 5*h - d*h = 0. Suppose h*m = m - 10. Is 3 a factor of m?
False
Let t(r) = 13*r - 12. Suppose 0 = 2*y - y - 4. Is t(y) a multiple of 17?
False
Suppose 2*u - 15 = -3*u. Suppose 2*p + 3*x - 108 = -p, u*x - 15 = 0. Suppose 0 = 5*r - 4*m - p, 2*r = -5*m + 9 + 10. Is 5 a factor of r?
False
Let a(m) = -m**2 + m - 4. Let y be a(-3). Let p(s) = -6 - 16 + s + 45. Is 5 a factor of p(y)?
False
Let k be 0 + (0 + -3 - -1). Let h(r) = -3*r**3 - 2*r**2 - 2*r. Is h(k) a multiple of 10?
True
Let r(c) = 3*c**3 - 3*c**2 + 13*c + 8. Is r(6) a multiple of 74?
False
Let g = -3 - -9. Suppose -o + 5*r - 5 = 0, -g - 9 = -3*r. Let j = 34 + o. Is j a multiple of 24?
False
Let f(t) = -t**2 + t**2 + 2*t**2 + 3 - 39*t + 43*t. Does 3 divide f(-2)?
True
Let a be (6 - 1)*(13 - 12). Suppose -2*p + m = -3*m - 28, -a*p + 81 = m. Suppose -50 = -2*b - p. Does 4 divide b?
False
Let k(a) = a**3 - 13*a**2 + 22*a - 256. Does 4 divide k(15)?
True
Let l(b) = -3*b - 2. Let o be l(-2). Let u = 91 + -25. Suppose 5*j - o*x = 113 + 199, u = j + x. Does 24 divide j?
False
Suppose -i - 335 = 4*i. Let f = i + 163. Is f a multiple of 16?
True
Let v = -93 + 62. Suppose -5*q - 8 - 29 = m, 2*m + 18 = 4*q. Let t = m - v. Is 14 a factor of t?
True
Let d = -538 + 876. Is d a multiple of 8?
False
Let q(y) = 17 + 53*y + 11 - 49*y. Is 8 a factor of q(12)?
False
Suppose -3*y + 1 = 5*n, -14 = -7*y + 2*y + 4*n. Suppose 4*m - 2*z - 902 = 0, -y*z = -m + z + 213. Is m a multiple of 20?
False
Suppose -15*y = 1365 - 3930. Is y a multiple of 19?
True
Suppose -x + 11 = -z, 5*x - 3 = z + 56. Is 4 a factor of (x/(-7))/((-30)/315)?
False
Let x be (-2)/3 - 10/(-15). Suppose -2*b + 129 + 25 = x. Let s = -24 + b. Does 13 divide s?
False
Suppose 0 = -3*l - 3*k + 3, 0 = -4*l + 7*k - 2*k + 4. 