112*k - 101. Is y(8) a multiple of 8?
False
Let y(o) = -o + 14. Let v(g) = g - 29. Let m(a) = -4*v(a) - 7*y(a). Let r be m(-6). Let u(b) = 2*b + 96. Is u(r) a multiple of 24?
True
Suppose 16*w = 2228 - 740. Suppose w + 159 = 2*f. Does 29 divide f?
False
Let f(z) = 3*z. Suppose 0*s + 4*s - 56 = 0. Suppose -s = -4*i + 14. Is 5 a factor of f(i)?
False
Suppose -4*k = -v - 508, 5*k - 276 - 342 = -3*v. Is 9 a factor of k?
True
Does 24 divide (584/(-16))/(3/(-6))?
False
Let u = 505 - 348. Suppose 0 = 3*y - u - 71. Is y a multiple of 19?
True
Suppose -2*i = -3 - 1. Suppose 40 = 5*t + 4*v, -i*t - 4*v + 3 = -25. Is 11 a factor of 44*(4/t)/2?
True
Suppose 39*c - 36275 - 70195 = 0. Does 14 divide c?
True
Let m(n) = -2*n - 2. Let b be m(-3). Let i = b - -31. Let v = i + -16. Does 14 divide v?
False
Let x(z) = z**2 + 4*z. Let w be x(-5). Let h = w + -6. Is 50*(h + 2 - 0) a multiple of 17?
False
Suppose 0 = 9*l - 0*l - 81. Suppose 0 = -9*a + 144 + l. Is a a multiple of 17?
True
Suppose -664 = -g - 0*g. Let b be (g/(-12) - -2)*-3. Suppose 4*r - b = 4*t, -15 = r - 4*t - 43. Is r a multiple of 11?
True
Let t(i) = 11*i - 55. Let n be t(5). Suppose 0 = 4*f - 5*b + 6*b - 84, 4*f - 96 = 2*b. Suppose r - f - 9 = n. Does 31 divide r?
True
Let p be -5*(-7)/(70/4). Suppose p*h - 14 = 14. Is 8 a factor of h?
False
Suppose -y - 2*y = 5*t - 15, -3*y + 3 = 3*t. Let x(o) = o**2 - o - 6. Let i be x(4). Let z = t + i. Is z a multiple of 10?
False
Let n = -7 - -3. Let u be (-2)/n + (-735)/(-14). Let x = u + -4. Is x a multiple of 10?
False
Let i = 383 - 218. Is 5 a factor of i?
True
Suppose -5*s = -10, -4*l + 2*s = -5*l + 134. Is 26 a factor of l?
True
Let j be 40/10 - (1 + -168). Suppose 3*z + 165 = -j. Is 6 a factor of ((-96)/z)/((-2)/(-42))?
True
Suppose -11 = -5*w - y + 15, 2*w - 8 = 2*y. Let u be (-30*w)/(24/(-36)). Is 15 a factor of u/12*1*4?
True
Suppose -273 = -2*w - 3*d, -65 = -w + d + 64. Suppose z + w - 1442 = 0. Is 6 a factor of z/50 - 4/(-5)?
False
Suppose -7*l - 2435 = -4*c - 12*l, -3*c - 4*l + 1827 = 0. Is c a multiple of 11?
True
Let t(c) = 9 + 48*c - 29 + 8 + 13. Let u be t(-2). Does 19 divide ((-24)/(-30))/((-1)/u)?
True
Suppose 4*r = o + 15, -3*o - 20 = r - 8*o. Suppose 0*z - 2*z - 108 = -m, 0 = -r*z - 20. Is 30 a factor of m?
False
Suppose 3*n - 19 = y, -3*y + 0*y = 2*n + 24. Let u(z) = -z - 5. Let a be u(y). Suppose 542 = a*r + 137. Does 27 divide r?
True
Let g(y) = -y**3 - 3*y**2 + 2*y - 4. Let x be g(-4). Let w(b) = b - 3. Let f be w(5). Let k = f + x. Does 3 divide k?
True
Let k = -45 - -46. Let m(d) = 34*d**2. Is m(k) a multiple of 14?
False
Let m(k) = -39*k + 13. Let o be m(-7). Suppose -o + 61 = -h. Does 25 divide h?
True
Let t = 1670 - 822. Does 25 divide t?
False
Let w(t) = -t**3 + 0 + 11*t**2 + 5*t**2 + 24 + 6*t. Is 40 a factor of w(16)?
True
Let b(p) = -2*p**3 - 4*p**2 + 3*p - 4. Let c be b(-4). Suppose 0 = 15*u - 13*u - c. Is u a multiple of 7?
False
Let u = -279 - -479. Suppose 5*x = 2*g - 103 + 23, u = 5*g + 4*x. Is 4 a factor of g?
True
Let r = 39 - 37. Let h(l) = -l**2 + 0*l + 3*l + 95*l**r + 1. Is h(-1) a multiple of 23?
True
Suppose -a = 12*a - 1365. Does 9 divide a?
False
Let l(o) be the third derivative of -7*o**6/40 + o**5/60 - 2*o**3/3 - o**2 - 27. Does 42 divide l(-2)?
True
Suppose 1314 = 5*p + 2*y - 772, -y = 4*p - 1667. Is p a multiple of 10?
False
Let h be 2*(-3)/27 - (-714)/54. Let w = 89 - h. Does 38 divide w?
True
Suppose 5*f = 2*f. Suppose f = -p + 2*p. Suppose -s + 7 - 3 = p. Is s even?
True
Suppose 8*a - 9*a = 14. Does 6 divide 56/a - (-56)/2?
True
Let z = -161 + 245. Is 3 a factor of z?
True
Suppose 3*a - 7*a + 4 = -2*v, 4*a - 16 = -v. Suppose 2*g = -q + 457, -a*g - 244 + 919 = 5*q. Is g a multiple of 27?
False
Let h be (-50)/20*(1 - 3). Suppose -s + 5*j - 4*j = 22, 3*j = -3. Let k = h - s. Is k a multiple of 11?
False
Let k be 2 + 2640/77 + (-2)/7. Let y = 46 - k. Is y a multiple of 4?
False
Let x(t) = -t + 11. Let b be x(9). Suppose -b*p = 3*l - 7, 3*p = -5*l + 4 + 7. Suppose 0 = 4*j - 5*h - 8, -h = -p*h. Is 2 a factor of j?
True
Let a = -135 - -278. Suppose q + a = 6*q - t, -t = 2*q - 53. Is 16 a factor of q?
False
Suppose 5*m + 4*u = 518, u - 2*u - 427 = -4*m. Is m a multiple of 9?
False
Let z(y) be the second derivative of y**4/12 + 5*y**3/6 + 5*y**2 + 6*y. Does 15 divide z(5)?
True
Let s(j) be the second derivative of 2*j**4/3 - j**3/2 - j**2 + 11*j. Is 9 a factor of s(-2)?
True
Suppose s - 5*s + 20 = 0. Suppose -2*a - 12 = -s*a, a - 175 = 3*i. Let o = i + 101. Is o a multiple of 22?
True
Let d = -2 - -7. Suppose -4*v + 0*n = n - 140, 0 = -d*v - n + 174. Suppose 62 = 4*o - v. Is o a multiple of 19?
False
Let o(h) = -h**2 - 7*h - 4. Let p be o(-6). Suppose -7 = -j - p. Suppose 0*b = -f - j*b - 10, 0 = 3*f + 2*b - 35. Is f a multiple of 5?
True
Let l be 5/2 + 9/18. Suppose 4*v + l*v - 154 = 0. Is v a multiple of 3?
False
Let o(l) = 6*l**3 - 2*l**2 + 21*l + 4. Is o(4) a multiple of 11?
True
Let j = 95 + -87. Is j a multiple of 4?
True
Suppose 279 = 22*f - 44161. Does 48 divide f?
False
Let v(n) = n**2 - 4*n - 7. Let o be v(5). Is o/(24/159)*-4 a multiple of 11?
False
Let b be 150/(-35) + (-6)/(-21). Does 11 divide b/1 - (-186)/3?
False
Suppose 0 = -21*g + 17*g + 1624. Does 29 divide g?
True
Suppose 21*p - 16*p + r - 2590 = 0, -5*p - 5*r = -2590. Is 4 a factor of p?
False
Let c(t) = -2*t**2 + 10*t - 5. Let j be c(5). Let o = j + 7. Is 78/12 - o/(-4) a multiple of 7?
True
Suppose 0 = g + 3, 2*i = 5*i - 3*g - 12. Suppose 0 = 3*f - 4*m + 4, -3*f + 6 - i = 5*m. Suppose 2*h + l = 19 + 14, -2*h - 4*l + 18 = f. Does 19 divide h?
True
Let v = -407 + 727. Is 5 a factor of v?
True
Let g be (-9)/(-27)*(-1 - -1). Suppose g = -11*x + 8*x + 9. Suppose -488 = -k - x*k. Is 33 a factor of k?
False
Let t be (-1)/(-6) - (-175)/30. Let z(c) = -c**2 - 9*c + 8. Let y be z(t). Let o = -49 - y. Is 11 a factor of o?
True
Let c = -966 + 2622. Is 36 a factor of c?
True
Let w(u) = -10*u + 127. Is 23 a factor of w(-13)?
False
Let h be (-4)/(4/39) - -4. Let x be ((-132)/(-15))/(7/h). Let d = 78 + x. Does 6 divide d?
False
Suppose 0 = 2*p + 3*p - u, u = 2*p. Suppose 1 - 3 = -b. Does 16 divide 80 - (p + b - 2)?
True
Let q(k) = 5*k - 20. Let d be q(5). Suppose 28 = p - r - 48, d*p + r - 380 = 0. Is 19 a factor of p?
True
Let g(f) = f**2 - 3*f - 4. Let x be g(3). Let b(i) = -2*i - 6. Let u be b(x). Suppose -5*r - 75 = -5*c, u*c + 4*r - 23 = -r. Is c a multiple of 9?
False
Let m(s) = -2*s**3 - 2*s**2 - 2*s. Suppose 3*r = 5*o - 31, -4*r = 5*o - 10 - 7. Is m(r) a multiple of 6?
True
Is (0 - 5)/1 - -71 a multiple of 66?
True
Let r(f) = f - 7. Let m be r(0). Let l = -3 - m. Suppose -l*o + 5*o - 23 = 0. Does 9 divide o?
False
Suppose 2*k + 12 = -k. Let p = k - -38. Does 5 divide p?
False
Is (2/(-24) - 16663/(-228))*4 a multiple of 4?
True
Suppose 5*s - 8 = 3*s. Suppose 16 = s*z, 7*p - 2*p + 2*z = 358. Is p a multiple of 35?
True
Suppose 1395 = 8*f - 829. Does 12 divide f*((-2)/(-12) - 1/(-3))?
False
Suppose -14*q - 1605 = -16*q - 5*h, h = -4*q + 3165. Is q a multiple of 30?
False
Let y = 12 - 12. Suppose y*w - 2*q = -3*w + 20, q = 2. Is w even?
True
Suppose 0 = 3*j - 15, 0 = 6*r - r + j - 4105. Is r a multiple of 20?
True
Let h(z) = z**2 - 31*z - 102. Does 12 divide h(-27)?
True
Suppose 0 = -62*l + 60*l + 332. Does 10 divide l?
False
Does 9 divide (-14)/63 - 4542/(-27)?
False
Let d(q) = -q**3 + 2*q**2 + 8*q + 8. Let l be d(-6). Suppose 0*t = 3*h + t - 146, 5*h + 4*t = l. Is h a multiple of 16?
True
Suppose 3*n = -5*v - 49, n + 0*n = 5*v - 23. Let p(u) = 2*u**2 + 6*u + 4. Let x be p(-6). Let y = x + n. Does 11 divide y?
True
Suppose -4*f + 16 = 0, -3*f = i + f - 21. Suppose -3*u = -4*b + 801, 3*u + 189 = 6*b - i*b. Is b a multiple of 34?
True
Suppose -3*w - 2*w - 5*p = -35, -4*p - 4 = 0. Let v be 684/(-48) - (-2)/w. Let y = 32 + v. Does 9 divide y?
True
Let t(u) = 2*u**2 - 2*u + 7. Let n = -29 + 19. Let y = n - -18. Does 29 divide t(y)?
False
Let b(y) be the second derivative of -4*y + 0 - y**2 + 23/6*y**3. Is 13 a factor of b(2)?
False
Let r be (3 - 0) + 1/1. Suppose -5*z - r*l + 12 = 0, -3*z = -4*l - 0*l - 20. Let w(c) = 9*c + 5. Does 19 divide w(z)?
False
Suppose -20 = 23*s - 27*s. Suppose 5*x - 4*q = 826, 549 - 56 = 3*x - s*q. Is x a multiple of 28?
Fals