 344. Suppose -b - z = 2*b. Let u = -24 - b. Is 3 a factor of u?
False
Let c = 6 + 257. Is c a multiple of 16?
False
Let i be (-104)/(-28)*(9 + -2). Suppose -176 = i*d - 30*d. Does 12 divide d?
False
Suppose -57 = 5*z - 332. Suppose 3*f - 3*b - z = b, 5*f - 5*b - 95 = 0. Is 3 a factor of f?
True
Suppose -3*l = i + 38, -3*i = -5*l - 46 + 6. Let p = l - -11. Suppose 4*s - 8*s + 40 = p. Does 5 divide s?
True
Let t(o) = -2*o**3 + 4*o**2 - o - 2. Let z be t(2). Is -1 + 17 + 2 + z a multiple of 13?
False
Suppose 5*v - 1750 = -3*d, 2*v = 5*d + 703 - 3. Is v a multiple of 35?
True
Is 13 a factor of (-24)/18*(-4761)/12?
False
Let r(y) = y**3 - 4*y**2 - y - 1. Let w be r(4). Let s be (2 - 0)*w/(-2). Suppose s*u + 2*c = 11 + 55, -2*c = u - 10. Is u a multiple of 14?
True
Suppose -4*a + 177 + 327 = 0. Suppose 0*k + 3*k = a. Does 22 divide k?
False
Suppose 12 - 6 = l. Let g = 9 - l. Is 13 a factor of g*(-44)/(-6) + -3?
False
Does 10 divide -1*742/((-49)/7)?
False
Is 14 a factor of -5*8/20 + (3 - -601)?
True
Suppose -1503 = -16*n + 11*n + q, 2*n - 588 = -4*q. Does 25 divide n?
True
Let j(n) = 84*n - 9. Is 9 a factor of j(6)?
True
Let a(j) = j**2 + 16*j - 141. Is 7 a factor of a(-39)?
True
Let h(p) = -172*p + 949. Is h(-6) a multiple of 9?
False
Let b(g) = -14*g - 7. Let k be b(-3). Let w be 2534/k - (-4)/(-10). Suppose -2*f + 4*f = w. Does 18 divide f?
True
Suppose -t + 12 = 2*t + 5*p, -p + 20 = 5*t. Suppose -132 - 100 = -t*h. Does 13 divide h?
False
Let s be (0 + -3 - -7) + 10. Let k(h) = h**2 - 12*h - 8. Is 10 a factor of k(s)?
True
Suppose j = -2*j + 2*z, -4*j = -3*z. Let w(f) = -f**2 - f + 48. Is 22 a factor of w(j)?
False
Suppose -14872 = -73*l + 62*l. Does 26 divide l?
True
Suppose 342 = -4*v - q + 2876, 2*q + 4 = 0. Is v a multiple of 4?
False
Let k(r) = -2*r**2 + 64*r - 4. Is k(24) a multiple of 19?
True
Let z = 42 + 2. Is 44 a factor of z?
True
Let b(r) = -16*r - 2*r**3 + 2 - 4*r**3 + 0 - 17*r**2 + 4*r**3. Is 11 a factor of b(-8)?
True
Let v be (136 - 1) + (5 + -11 - -6). Let s = -75 + v. Is 15 a factor of s?
True
Suppose -1289 = -3*n + 295. Does 24 divide n?
True
Let p be 3/9*(-7 + 4). Is 6 a factor of (8 - -2) + 1 + p?
False
Suppose -2*y - 14*y = -16000. Is 40 a factor of y?
True
Suppose -9*f - 805 = -4*m - 14*f, -1004 = -5*m - 4*f. Is m a multiple of 20?
True
Suppose -116 = -0*z - 2*z. Is 5 a factor of z?
False
Let y be (-17 + -3)*(-5)/(-4). Suppose 4*s = 5*h - 221, -h - 184 = -5*h + 5*s. Let d = y + h. Is d a multiple of 8?
True
Let n(p) = 148*p**2 + 3*p - 5. Let w be n(1). Suppose -3*i = -i - 150. Let v = w - i. Is v a multiple of 19?
False
Suppose 0 = 8*c + 39 - 7. Let a = -1 + c. Does 8 divide (2/a)/((-6)/1080)?
True
Let b be 1 - (-60)/(8 + -4). Suppose -23*n + b*n + 441 = 0. Is n a multiple of 17?
False
Let z = 27 + -27. Suppose -4*a + 73 + 39 = z. Is a a multiple of 5?
False
Suppose 0 = -36*o + 10*o + 23530. Does 44 divide o?
False
Let f = -6 - -10. Let h = -3 + f. Is 14 a factor of (-11)/(h/4*-2)?
False
Let w be (2824/(-16))/(2/(-4)). Suppose -4*q - 37 = -w. Is q a multiple of 32?
False
Suppose 0*i - 90 = -6*i. Suppose -5*k = -i, -277 = -2*n - k - 4*k. Is n a multiple of 6?
False
Let k = 485 - 300. Is k a multiple of 28?
False
Suppose 4*h - 392 = h + 5*z, -h - 2*z = -127. Suppose -7*c - h = -b - 10*c, 5*b + 2*c - 671 = 0. Is 27 a factor of b?
True
Suppose q = 4*h + 3*q - 1226, 0 = -4*h - 4*q + 1228. Is 50 a factor of h?
False
Suppose -12 = -3*n + j - 2, 5*j = -3*n + 22. Let k(d) = -n + 5*d + 9*d**2 + d**3 + 6*d**2 - 5*d**2. Is k(-9) a multiple of 13?
False
Does 14 divide 4 - ((-12)/(-21) - (-17984)/(-14))?
True
Let q be 7/((8/6)/4). Suppose 5*y - 13 = -3*j - 29, -4*y - 20 = 0. Let r = j + q. Does 8 divide r?
True
Suppose -4*v = -3 + 31. Let f = 10 + v. Let k = 2 + f. Is k even?
False
Let a = -15 - -18. Suppose 0 = o + 44 + a. Let p = 67 + o. Does 12 divide p?
False
Let q(o) = -11*o**3 + 1. Let u be q(-1). Let k be 16*9/u*-3. Let p = k - -61. Is p a multiple of 5?
True
Let c = 11 - 17. Let t(d) = d**2 - 5*d - 13. Is t(c) a multiple of 46?
False
Suppose 0*o + 368 = -4*o. Let l be (o/12)/((-1)/3). Suppose -37 = -b + 5*i, -3*i + l = 2*b - 64. Does 16 divide b?
False
Suppose -151 = -3*t - h, -2*h = 4*t - 5*h - 223. Suppose s + s = t. Is s a multiple of 23?
False
Suppose 40*c = 28*c + 24300. Is 5 a factor of c?
True
Let m(j) = -j**2 - 9*j + 64. Is 3 a factor of m(-11)?
True
Let j(h) = 35*h**2 + 40*h - 67. Is j(-13) a multiple of 72?
True
Suppose 34 = 4*w - 2*w. Let d = w - 14. Suppose 0 = -d*k + 7*k - 52. Is k a multiple of 5?
False
Suppose 0 = 5*s + 2*y - 966, 5*s + 2*y = 4*y + 954. Is 24 a factor of s?
True
Suppose 0 = -9*x + 1370 + 3931. Is 63 a factor of x?
False
Suppose 4*h - 5*y - 2873 = 0, 5*h - 7*y + 3*y = 3589. Does 4 divide h?
False
Let d = 294 + -23. Is d a multiple of 15?
False
Suppose 0 = -347*p + 345*p + 2440. Is p a multiple of 61?
True
Is 7 a factor of (-42)/98 + 597/21?
True
Suppose -4*z + v + 367 = -3*z, -3*v = 2*z - 724. Is z a multiple of 11?
False
Suppose -5*b + 83 = -4*r, -3*r + r = -2*b + 34. Is 13 a factor of -3*(-65)/b*10?
True
Let w(y) = -1. Let r(c) = c + 16. Let u(t) = r(t) + 4*w(t). Let x be u(6). Suppose x*s = 23*s - 350. Is s a multiple of 14?
True
Let o be -12*((-6)/4 + 1). Is 6 a factor of 147/o + (-2)/4?
True
Let b = 3481 - 1424. Does 121 divide b?
True
Let b(g) be the second derivative of -7*g**3/3 - 4*g**2 - 26*g. Is 7 a factor of b(-3)?
False
Let y(l) = 4*l**2 - 14*l + 19. Does 20 divide y(6)?
False
Does 65 divide (-68)/(-6)*390/(-40)*-10?
True
Let u(f) = -2*f**2 + 4*f**2 - 2*f**2 + f**2. Let k(w) = 6*w**2 + 11*w + 17. Let q(i) = k(i) - 4*u(i). Is 19 a factor of q(-9)?
False
Let j(u) = u**2 + 6*u + 3. Let z be (-7)/4*(-16)/4. Let l be (1 + 0)/((-1)/z). Does 10 divide j(l)?
True
Let d = 8 + -13. Let q(z) be the second derivative of z**4/6 - z**3/3 - z**2 - z. Is q(d) a multiple of 29?
True
Suppose 10*z = -1591 + 2711. Does 16 divide z?
True
Suppose g = -3 - 3. Let w(q) = -q**2 - 8*q + 6. Let t be w(g). Suppose 3*k = k + t. Is 2 a factor of k?
False
Let z(f) = 7*f - 1. Let y be z(3). Let w(g) = -g + 39. Does 4 divide w(y)?
False
Suppose 2*s = -3*w + 5 + 1, -5*w + 8 = 3*s. Does 21 divide (-5 - -7)/(s/129)?
False
Let y(k) = -k**3 - 7*k**2 - 4*k - 11. Let p be y(-7). Let j = 35 - p. Is 18 a factor of j?
True
Let y = -685 + 1025. Is 26 a factor of y?
False
Let u(z) = -6*z + 48. Suppose 5*o = 3*o - 40. Is 28 a factor of u(o)?
True
Let b be -2 + 4 - 6/3. Suppose -4*x + 239 - 7 = b. Is 5 a factor of x?
False
Let h = -2985 - -5559. Is 44 a factor of h?
False
Suppose -z + 121 = -4*y - 281, 0 = 2*z - 5*y - 819. Let a = z - 202. Does 8 divide a?
False
Suppose 0 = u + 2*b - 6*b - 484, -b = 4. Suppose 0 = 2*f - 4*h - 496, 3*h = -0*f - 2*f + u. Does 20 divide f?
True
Let q = -15 - -126. Is 10 a factor of q?
False
Let c(q) = -44*q. Suppose -2*o - 4*m + 10 = 34, -2*o - m - 9 = 0. Is c(o) a multiple of 16?
False
Suppose 3667 = 21*j - 3578. Is j a multiple of 6?
False
Let z = 169 - 423. Let d = z - -439. Is d a multiple of 37?
True
Let b(q) = -4*q. Let i be b(-1). Suppose -5*g - i*n + 515 = 0, 2*g - 7*g + n + 490 = 0. Does 21 divide (14/3)/(11/g)?
True
Suppose 5*p - 9450 = 23*f - 24*f, 0 = -p - 4*f + 1909. Is p a multiple of 37?
False
Let w(t) = -9*t - 6. Let h be 5*((-4)/2)/(6/3). Does 10 divide w(h)?
False
Suppose -b = 4*r - 7, -2*b - 4 = -r - 3*b. Does 22 divide 44/(r + 1) - 0?
True
Suppose 1 = t - 1. Let c(b) = -3*b**2 + 3*b - 2. Let v be c(t). Is (-2)/((v/(-34))/(-2)) a multiple of 10?
False
Suppose -1836 = -4*c + 6*a - 2*a, a = -5*c + 2301. Is 23 a factor of c?
True
Let d be 2 + -66 - (-7 + 2). Let l = 95 - d. Does 14 divide l?
True
Let w be (18/(-3))/3 - -36. Let d = -29 + w. Suppose -d*z = -g - 183, 4*z + 0*g - 141 = -g. Is z a multiple of 17?
False
Let p be 18 - ((-12)/1)/(-4). Let d = p - -321. Does 21 divide d?
True
Suppose 0 = 4*r - 8*r + 4. Suppose 2*w + 4*c - 5 + 1 = 0, 3*w = -c + r. Suppose 4*d - 74 - 30 = w. Is d a multiple of 6?
False
Suppose -3*s + 13 = -8. Suppose s*j = 2*j + 700. Does 22 divide j?
False
Suppose -2*r - 4*z + 710 = 0, 0*r - r + 367 = -z. Suppose j = -5*k + r, -4*j + 52 = 3*k - 176. Is k a multiple of 18?
True
Let t be (-67)/(-13) - 8/52. Suppose 4*q - t*v + 176 = 0, 1 = -q - 4*v - 22. Is 