pose 0 = b + y - 2970, -14*b + 9*b + 14838 = 2*y. Is b a multiple of 55?
False
Let s = 21 - 13. Suppose 2*b - s = 2. Suppose 4*j = -3*y + 25, 0 = b*y + 3*j - 0*j - 38. Is y a multiple of 2?
False
Let p = -710 - -2224. Does 100 divide p?
False
Suppose 0 = 2*n - 4 - 16. Is 18 a factor of (-53)/(-1) + n + -9?
True
Suppose -29 + 89 = -3*v. Let l = v + 24. Let q(x) = 7*x - 9. Does 15 divide q(l)?
False
Let a(y) = 12*y**2 + 3. Let b(c) be the first derivative of c**2/2 + 10*c - 10. Let i be b(-8). Does 25 divide a(i)?
False
Suppose -36 = 4*r + 5*r. Let x(m) be the third derivative of -m**6/120 - m**5/30 + 5*m**4/24 - m**3/6 + m**2. Is x(r) a multiple of 5?
False
Suppose 14*t - 136 = 10*t. Suppose -n + 2*a = -t, 2*n - n + 2*a - 42 = 0. Is n a multiple of 8?
False
Suppose -4*v = -4*j - 3844, -2*v - 624 = j - 2555. Is v a multiple of 42?
False
Suppose -4*u - 139 - 43 = 2*k, -u = 3*k + 248. Let n = k - -119. Does 19 divide n?
True
Is 59 a factor of 4/20 - 4/((-60)/1767)?
True
Let h(q) = 5*q**3 + 2*q**2 + 8*q - 13. Let m(k) = 3*k**3 + k**2 + 4*k - 7. Let j(p) = 6*h(p) - 11*m(p). Let y be j(-2). Let g = 1 + y. Is 5 a factor of g?
True
Let n(t) = 4*t**2. Let c be n(-1). Suppose -2*g = -a - 4*g + 57, c*a = 2*g + 178. Is a a multiple of 16?
False
Let t(g) = -13*g - 7. Let s be t(4). Let j = s - -64. Does 2 divide j?
False
Suppose 5*i + c + 4*c - 2230 = 0, 5*i - 2240 = -3*c. Is 67 a factor of i?
False
Let r = 1640 + -960. Is 40 a factor of r?
True
Suppose -3*o = 2*d - 454, 0 = 3*d + d + 5*o - 910. Suppose -4*g + 428 = 4*p - 2*p, 2*g + 5*p - d = 0. Is g a multiple of 18?
False
Suppose 4*y - 3267 = c, 10*y = 8*y - c + 1629. Does 136 divide y?
True
Let b(k) = -2*k + 36. Let l be b(20). Let u = 53 + l. Is u a multiple of 7?
True
Suppose 2*x - 203 = 2*p - 15, 0 = -3*p + x - 290. Let w be (1*p)/(-1 + 3). Let i = 89 + w. Is i a multiple of 20?
True
Let w = -177 + 260. Suppose -w = 4*v - 367. Does 19 divide v?
False
Suppose 649 = 5*k + 2*r, 5*r = 2*k - 7*k + 640. Suppose 3*n = -3*y - 2*y + k, 130 = 3*n + 4*y. Let m = n - 18. Does 13 divide m?
False
Suppose 6*g - 7*g = -4. Is 13 a factor of (1 - 10/g)*(-260)/6?
True
Suppose 3*t - 2 + 0 = -2*v, -4*t + 12 = 5*v. Is 22 a factor of 66/t*16/(-6)?
True
Let n(t) = t**3 - 9*t**2 - 22*t + 7. Let j(l) = -l**2 - 13*l + 11. Suppose 0 = -x + 2*x + 13. Let r be j(x). Is n(r) even?
False
Let r = -11 + 92. Is 9 a factor of r?
True
Let w be 6/2 + (1 - 1). Is (-152)/w*(4 + (-11)/2) a multiple of 30?
False
Does 5 divide ((-274)/(-6))/((-17)/(-51))?
False
Let p(m) = -m**3 - 8*m**2 + 14*m + 13. Let y be p(-9). Let q = y - -39. Is q a multiple of 7?
True
Suppose -2*b = 5*b - 1148. Is b a multiple of 12?
False
Suppose 5*z - 4*n + 7 = 0, 3*z - n = 6*z - 6. Is (-1 - z)*(-2 - 6) a multiple of 8?
True
Let i(y) = -y**3 + 3*y**2 + 16*y + 18. Let a be i(6). Suppose 11*x = a*x + 320. Does 8 divide x?
True
Let d = -57 - -57. Suppose -3*y - 59 = -4*y + 3*j, d = 4*y + 4*j - 236. Is 4 a factor of y?
False
Suppose -2*n = a - 4 - 23, 5*n - 69 = -3*a. Let r = n - 12. Suppose 4*h - 4*y - 72 = r, 3*h + y - 26 - 8 = 0. Is 13 a factor of h?
True
Let s(j) = 7*j**2 - 12*j + 36. Let n(g) = -20*g**2 + 37*g - 108. Let x(y) = -6*n(y) - 17*s(y). Is x(16) even?
True
Let p = 14 + -13. Let b be (1/p + 5)/2. Suppose 2*z + b*c = 2*c + 147, 3*z = -3*c + 225. Does 18 divide z?
True
Let w(v) = v**2 + 241. Let m be w(0). Let r = m - 106. Suppose -635 = -4*s - r. Is 33 a factor of s?
False
Is 14 a factor of 20202/296*(-56)/(-3)?
True
Let a = 29 - 23. Suppose 2*l + m - a - 10 = 0, -l + 2*m = -3. Suppose 0 = -5*v + 5, -5*v + 114 = 2*d + l. Is d a multiple of 16?
False
Suppose -5*q + 154 = 84. Does 5 divide q?
False
Let f(q) = -q - 1. Let n(z) = 6*z - 4. Let b(s) = 4*f(s) + n(s). Let g be b(6). Suppose -3*i = -g*i + 27. Does 12 divide i?
False
Let h(k) = 2*k**2 + 33*k - 250. Does 24 divide h(14)?
False
Let v be 4/(-3 + -1) + -1 + 636. Suppose -6*s + v = -s - 2*k, 5*k - 368 = -3*s. Is 18 a factor of s?
True
Let r(u) = -11*u - 22. Let q(s) = -5*s + 15. Let x(h) = -1. Let p(c) = q(c) - 6*x(c). Let a be p(6). Does 17 divide r(a)?
False
Suppose m - 282 = 7*m. Let w = m + 58. Is w a multiple of 2?
False
Suppose -4*t + 5*t = 2. Suppose -t*n + 27 = -n. Is 3 a factor of n?
True
Suppose 4*z + 2869 = -279. Let o = z - 356. Is o/(-9) - (0 - -1) a multiple of 28?
False
Suppose -3*s - 8 = -2. Does 18 divide 37 - -1 - s/(-1)?
True
Let q(d) = 2*d**2 + 5*d. Let y be q(-4). Let s(u) = u**3 - 10*u**2 - 12*u + 7. Let c be s(y). Suppose 4*p + 155 = 5*h - p, -p - c = -5*h. Is 30 a factor of h?
True
Suppose 4*p + 464 = 4*d, 4*d = -p + 187 + 287. Let o = d + 30. Does 37 divide o?
True
Let f(i) = 4*i**2 - 20. Does 22 divide f(7)?
True
Suppose -4*d + 264 = -b - 0*b, 4*d + 3*b - 280 = 0. Let u = 131 - d. Does 8 divide u?
True
Let m = 1540 - 1080. Is 52 a factor of m?
False
Let l(y) = -7*y**2 - 8*y - 9. Let u be l(-6). Does 4 divide (u/12)/(10/(-8) - -1)?
False
Is (27/(-81))/(1/(-414)) a multiple of 5?
False
Let t = -28 + 33. Suppose t*x + 23 - 138 = 0. Is 9 a factor of x?
False
Let o(t) = -7 + 19 + 3*t**2 + t**3 - 17 + 3*t**2. Let q be ((-4)/3)/(2/6). Is 9 a factor of o(q)?
True
Let w = -7 + 363. Let o = -245 + w. Does 37 divide o?
True
Suppose 0 = 4*m + 4*z - 20, -5*m - z + 6 = -7. Let y(l) = l + 8. Let b be y(-8). Suppose -5*v + m*v + 117 = b. Does 14 divide v?
False
Let p = 1 - -1. Suppose p*a + 115 = -3*a. Let l = a + 67. Is 22 a factor of l?
True
Let a(q) = -402*q**3 + q**2 + q - 1. Let p be a(-1). Let m = -239 + p. Is m a multiple of 27?
True
Is 16 a factor of 660/(-25)*(-520)/39?
True
Let w = -330 + -122. Let h = -293 - w. Is 20 a factor of h?
False
Suppose -7*g + 12 = -37. Suppose 0 = g*a - 12*a - d + 602, -4*a = 4*d - 488. Is 60 a factor of a?
True
Let q(g) = -g**2 + 9*g + 4. Is q(4) a multiple of 24?
True
Let v = 302 - 38. Is 8 a factor of v?
True
Let c(r) = r**2 + 3*r + 4. Let a be c(-2). Suppose -5*t - 117 = -3*j, 5*j - 79 - 147 = -a*t. Does 13 divide j?
False
Is 9*(88 - 5) - (2 + -7) a multiple of 64?
False
Suppose 41*u + 318 = 43*u. Is u a multiple of 21?
False
Let v be -2*(-3)/12*0. Suppose 3*d + 3*f - 72 = v, -5*f + 1 = 6. Suppose i = j + 29, i + 2*j - j = d. Does 13 divide i?
False
Suppose -b = 5*c - 2*c - 36, 4*c + 42 = 2*b. Let p = 315 + b. Is 41 a factor of p?
False
Let b(h) = -h**2 - 7*h + 24. Suppose -3*v + v + l - 17 = 0, -5*v - l - 32 = 0. Is b(v) a multiple of 4?
True
Let q(i) be the third derivative of 9*i**5/20 + i**4/24 - i**3/3 + 2*i**2. Is q(-2) a multiple of 26?
True
Let b = -628 - -808. Is b a multiple of 19?
False
Let q(p) = p**2 - 44*p - 297. Is q(-46) a multiple of 61?
True
Let f be 2/((-24)/(-4))*-6*-1. Suppose 4*c + 11*h - 6*h = 590, -4*c + 596 = f*h. Is c a multiple of 18?
False
Suppose 50*i - 20363 = 94937. Does 124 divide i?
False
Suppose 2*a - 647 = -0*a - c, 3*a - 968 = -c. Is a a multiple of 9?
False
Let p(j) be the first derivative of -10*j**3/3 + 4*j**2 - 9*j + 6. Let d be p(9). Does 25 divide d/(-6) + 3/(-6)?
False
Suppose -6 = -5*j + 2*j, 0 = 3*b + 4*j - 194. Let x = 206 - b. Is x a multiple of 18?
True
Suppose 230 = 4*l - 174. Is 31 a factor of l?
False
Let s be -2 + 3/(-3) + 3. Suppose s = -6*d + 7*d. Suppose -5*b + 3*b - 8 = d, -5*b + 15 = 5*n. Does 3 divide n?
False
Let s = -88 + 613. Is 14 a factor of s?
False
Let i = 11 - 6. Suppose 0 = i*s - 3*r - 454, -s = -0*s + r - 94. Let j = s + -46. Does 23 divide j?
True
Suppose 8577 = -270*y + 279*y. Is 62 a factor of y?
False
Let g = -2679 - -1539. Is ((-1)/3)/(5/g*2) a multiple of 19?
True
Let j(y) = -y**2 + 9*y - 6. Let d(g) = g + 4. Let a be d(4). Let z be j(a). Does 15 divide z*(-3 + 29 + 2)?
False
Let u(p) = -3*p + 6. Suppose 0 = 2*s - 4*k + 4, 3*s + 2*k + 20 + 2 = 0. Let h(i) = 4*i - 7. Let j(g) = s*u(g) - 5*h(g). Does 6 divide j(-10)?
False
Let b be 4*(-1)/(-2) - -15. Let f = b + -7. Is 3 a factor of f?
False
Let f(a) = -a**3 + 11*a**2 + 3. Let o be f(11). Suppose -4*y - 2*z = -1442, 3*y - 569 = -o*z + 514. Suppose p + 3*p - y = 0. Is p a multiple of 30?
True
Suppose -21*p + 182294 = 37*p. Is p a multiple of 9?
False
Suppose -24*c - 19602 = -35*c. Does 11 divide c?
True
Let n = 2 - 5. Let c be (n*(-2)/(-3))/(-2). Is 10 a factor of (10*c)/(5/10)?
True
Let z(q) = -15*q + 1. Let y be z(-7). Let m = y 