 be 9 - c - (0 + 73). Let k = -51 - m. Is 11 a factor of k?
True
Does 16 divide (-12)/(-36)*12897 + -4?
False
Let t(f) = -f**3 - 11*f**2 - f - 6. Let c be 2 + ((-104)/(-2))/(-4). Let i be t(c). Suppose 5*d - 280 = -5*h, i*h = -0*d - 3*d + 160. Does 15 divide d?
True
Suppose 5*q - 531 - 310 = -2*v, -v = 2*q - 418. Is 12 a factor of v?
True
Let s = 464 + -244. Suppose 0*z = z - g - 19, -5*z = -4*g - 95. Suppose z*m - 24*m = -s. Is 12 a factor of m?
False
Suppose 693*t = 700*t - 252. Is 12 a factor of t?
True
Let u(z) = 0 + 29 + 4*z - 6*z + z. Is 2 a factor of u(9)?
True
Let p = -19 - -22. Suppose p*y + 144 = 579. Does 29 divide y?
True
Suppose -5*x - 8621 = 5*f + 2619, 2*x = -4*f - 4486. Is 5/(-30) - x/18 a multiple of 34?
False
Is 31 a factor of (-55)/11*-3*12?
False
Let v be 2*(15/(-2))/(-3). Suppose -6*k = 4*k - 50. Suppose -v*d + k*p = -220, -5*p + p + 88 = 2*d. Is 22 a factor of d?
True
Suppose 5*h - x - 175 = 90, h + x = 47. Is 13 a factor of h?
True
Suppose -2 = 5*f + 18, -m + 148 = -3*f. Is m a multiple of 34?
True
Let v be -3 + (-15)/(-3) - 0. Suppose -18 = -k + 4*d, 2*k - v*d - 7 = 5. Suppose -u = -3*b - 5*u + 88, -u + 57 = k*b. Is b a multiple of 6?
False
Suppose -13*l + 9146 = -10627. Is 9 a factor of l?
True
Let u(c) = 5*c**2 + 13*c - 2. Suppose 0 = 2*k + 8*k + 60. Does 10 divide u(k)?
True
Suppose 76*w - 61*w = 6435. Is 11 a factor of w?
True
Suppose 340 = 3*f - t, 0 = 4*f + 2*t + t - 475. Suppose -2*s - 5*v + 60 = 0, -s = 4*s - 5*v - f. Let l = -11 + s. Is 4 a factor of l?
False
Let f(o) be the third derivative of 1/60*o**5 - 1/2*o**3 - 2*o**2 - 1/6*o**4 + 0 + 0*o. Is 19 a factor of f(10)?
True
Let h = -30 - -76. Suppose m - h = -16. Is m a multiple of 5?
True
Suppose 0*k + 17 = k + 5*g, -2*k - 5*g + 19 = 0. Suppose -k*v + 39 = -m + 13, v = -5*m + 35. Is 8 a factor of v?
False
Suppose 6*i = 33 + 15. Suppose 0 = -5*l + 5*c + 15, -l + 4*c = -2 + i. Is l a multiple of 6?
True
Let c(v) = -v**3 + 5*v**2 + v + 4. Let t(a) be the first derivative of -a**3/3 + 3*a**2 + 5*a + 4. Let m be t(6). Does 3 divide c(m)?
True
Let m be (16/6 + 0)/((-1)/(-3)). Suppose 0 = -m*j - 7*j + 1650. Is 13 a factor of j?
False
Suppose -2*w - 340 = -4*v, -193 = -4*v - 4*w + 171. Does 29 divide v?
True
Suppose -2*x - 13 = -x. Let f be (x + 13)/(-1*2). Suppose 24 = y - f*y. Does 6 divide y?
True
Let q(i) = 51*i**2 + 2*i - 1. Let l be q(-1). Suppose 4*m = 6*m - l. Is 8 a factor of m?
True
Suppose 5*q - 590 + 95 = 0. Suppose q = x + 4*g, 0*x + 286 = 3*x + g. Is 17 a factor of x?
False
Suppose 4 = 4*g, 2*u + 4*g - 5088 = -1068. Does 95 divide u?
False
Let g(p) = -3*p**3 - p**2 + 3*p - 2. Let y be g(2). Let n = y - -15. Let d = n + 73. Is d a multiple of 15?
False
Let d(y) = 23*y + 4. Let b(p) = 58*p + 10. Let c(l) = 5*l + 2. Let m be c(2). Let w(k) = m*d(k) - 5*b(k). Does 14 divide w(-3)?
False
Suppose -60*o + 53*o = -1904. Is o a multiple of 33?
False
Let s be 26/10 - 6/10. Suppose -s*z + 107 = 11. Is z a multiple of 12?
True
Let w = -712 - -960. Is w a multiple of 62?
True
Let i(x) = -x + 16. Let c be i(11). Suppose 3*y = -c*y + 200. Does 5 divide y?
True
Let r(j) = -4*j - 26. Let c be r(-7). Suppose c*w + 0*w - 4*u - 170 = 0, 4*w - 288 = -5*u. Is w a multiple of 32?
False
Let p(j) = -4*j**3 - 9*j**2 + 2*j - 20. Is p(-5) a multiple of 26?
False
Suppose 2*b - 7*r = -6*r + 2796, -4*b + 5*r = -5580. Is 14 a factor of b?
True
Let l(h) = 14*h**3 - 51*h**2 + 4*h + 2. Does 12 divide l(7)?
False
Suppose 137 = 6*y + 41. Let x = y + 0. Does 3 divide x?
False
Suppose x + 3*z - 237 - 316 = 0, 2*z = -x + 548. Is x a multiple of 7?
False
Let n(t) = -4*t - 5. Let r be n(22). Let l = -263 + 128. Let k = r - l. Is k a multiple of 14?
True
Let c be (1 - 0)*0/(-4). Suppose -u - u - 5*a + 196 = c, -3*u + 2*a = -256. Is u a multiple of 11?
True
Let s(d) = d**3 + 3*d**2 + 7*d + 2. Let l be s(-3). Let i = -11 - l. Does 2 divide i?
True
Suppose -i - 2*q = -940, -3*q + 941 = 3*i - 2*i. Is 21 a factor of i?
False
Let q(n) = n**2 - 3*n - 3. Let b be q(5). Let i = b + 1. Does 23 divide 338/5 - i/(-20)?
False
Let l = -13 - -15. Suppose -4*k + 4*u + 20 = 0, 2*u + 7 = l*k + u. Suppose -k*q + 22 + 20 = 0. Is 21 a factor of q?
True
Let p(f) = 62*f - 226. Does 21 divide p(26)?
True
Let k(m) = -19*m - 234. Does 5 divide k(-16)?
True
Does 13 divide (-2 + 3/27*21)*585?
True
Suppose 54 = y - 57. Let r = y + -79. Let o = r + -15. Does 12 divide o?
False
Suppose -68*z + 42563 = -56989. Does 21 divide z?
False
Let m be (-24)/60 + 1067/5. Suppose 5*u = 2*i - m, u - 453 = -4*i + 2*u. Is 20 a factor of i?
False
Suppose 0 = -9*k + 347 + 175. Let o(i) = 4*i**3 + 2*i**2 - i - 1. Let g be o(-2). Let t = k + g. Is t a multiple of 12?
False
Let k(r) = -7*r + 5. Let c(q) = 8*q + 6. Let g be c(3). Suppose -2*v - g = 4*v. Does 8 divide k(v)?
True
Let w = -2805 + 3068. Is w a multiple of 7?
False
Let v(i) = -i**3 - 3*i**2 + 3*i - 4. Let w be v(-4). Suppose w = -5*m + 8 + 12. Suppose -70 = -3*t + 4*d, -3*t + 54 = m*d - 32. Does 13 divide t?
True
Let a(p) = -2*p**2 + 5*p - 4. Suppose 0 = 3*w + 1 - 10. Let d be a(w). Let l = d - -86. Is 13 a factor of l?
False
Let j be 2 + (0 - 1) + -12. Let k = j - 23. Let r = k + 50. Is 8 a factor of r?
True
Let n(i) = -i**2 - 12*i + 3. Let x be n(-12). Suppose g = x*g - 10. Suppose j + 2*j = g*p + 46, 5*j + 2*p = 25. Is 6 a factor of j?
False
Let i be 1 - -1 - (10 + -8). Suppose i = -5*d + 4 + 1, 0 = -2*p - 5*d + 311. Is p a multiple of 17?
True
Suppose 5*w - 14*w + 1458 = 0. Does 18 divide w?
True
Let p(j) = -5 - 3 - j - 2*j. Let s(q) = q**3 - 14*q**2 - 52*q - 2. Let z be s(17). Is 25 a factor of p(z)?
False
Let i = 8 + -8. Suppose -4*d - 8 = -6*g + 2*g, i = -4*d - 4*g + 8. Suppose d = -2*q + 19 + 1. Does 5 divide q?
True
Suppose v + 3636 = -5*v. Let m = v - -849. Is 27 a factor of m?
True
Suppose 3*t = -c + 364, c = 8*t - 10*t + 243. Does 28 divide t?
False
Let s be (15/(-10))/((-9)/6). Let k(z) = -z**3 - 3*z + 2. Let n be k(s). Is 15 a factor of 65/5 + 0 - n?
True
Suppose -3*m + h + h + 17 = 0, -4*m + 3*h = -24. Suppose 0 = -w + 3, w = m*j + j + 123. Let s = j - -43. Does 13 divide s?
True
Let z = -234 - -245. Is z a multiple of 3?
False
Suppose 411 = -2*b + 2*q + 1447, -4*b - 2*q = -2102. Is b a multiple of 32?
False
Let i = 306 - 113. Suppose 0 = -3*f - 0*d + d + 120, 5*f - 4*d - i = 0. Is f a multiple of 22?
False
Let g(w) = -w - 1. Let c(k) = 18*k - 3. Let y(v) = c(v) - 2*g(v). Let q be y(-4). Let h = q - -162. Does 27 divide h?
True
Let g = -9 + 8. Let h = g - -21. Is h a multiple of 3?
False
Let z(p) = -p**2 + 15*p + 3. Let m be z(15). Suppose -q + 49 = m*y + q, -5*y = -q - 86. Suppose 6*j = -3*h + 2*j + y, 2*h - 2*j = 16. Does 4 divide h?
False
Suppose 5*b = -2*i + 771, -24*i + 1159 = -21*i + 5*b. Is 6 a factor of i?
False
Suppose 0 = -7*y - 29 + 50. Suppose h = -m + 205, -5*h + 1040 = y*m - m. Does 21 divide h?
True
Let r(c) = -c**3 - 2*c**2 - 4. Let y be r(-3). Let x be (42/(-24) + 2)*76. Suppose -4*f + x = -y. Is f a multiple of 5?
False
Is 180/15 + (-2 - -165) a multiple of 8?
False
Let z(r) = 14*r. Let s = -42 - -47. Does 7 divide z(s)?
True
Let t be (-4)/(12/33)*-1. Let h = 0 + t. Let n(d) = d + 6. Is n(h) a multiple of 17?
True
Suppose -2*l = -3*f + 24, -2*f + f = -l - 8. Let c be (-3 - -3)*(-4)/f. Suppose 4*z = -3*o - c*o + 150, 4*z - 5*o = 134. Is z a multiple of 9?
True
Let l = -150 - -1638. Is l a multiple of 62?
True
Let m = -536 + 690. Is m a multiple of 3?
False
Let c = 2573 + -1277. Is c a multiple of 16?
True
Suppose 7*f - 14 = -0. Suppose f*q - 28 = 68. Is q a multiple of 12?
True
Let b(t) be the second derivative of 4*t**3/3 - 4*t**2 - 13*t. Does 24 divide b(4)?
True
Let d(j) be the third derivative of 7*j**4/24 + j**3 - 9*j**2. Is d(6) a multiple of 6?
True
Is 20 a factor of 620*13/(39/6)?
True
Let z be 2 + (2 - 4) + 3. Suppose -c = z*c + 452. Let j = 198 + c. Is j a multiple of 22?
False
Suppose -4*x + 3*x + 2*f - 7 = 0, 0 = 3*f - 15. Let v(g) = 9*g + 6 - 6*g**2 + 2*g**3 + 2 - x*g**3. Is 15 a factor of v(-8)?
False
Let t be -5 - (3 + -8 - 4). Suppose 3*w = -0*w - 5*v + 70, 0 = -3*w + t*v + 52. Is w a multiple of 3?
False
Let f be (-102)/(-10) - 4/120*6. Suppose f*u + 205 = 1185. Is 28 a factor of u?
False
Let x = 273 + -138. Is 15 a factor of x?
Tr