 of 88?
True
Let i(p) = -p**3 + 7*p**2 - 2*p - 2. Let f(g) = g + 5. Let d be f(-5). Suppose d = -3*x - x + 16. Does 8 divide i(x)?
False
Suppose -5427 = 9*x - 18*x. Is x a multiple of 67?
True
Let p(s) = -s**3 - 2*s**2 + s + 4. Let z be p(-2). Suppose -f = -2*b - 44, z*b - b = -4*f + 185. Does 3 divide f?
False
Let y = 1985 - 1409. Is 32 a factor of y?
True
Suppose -2*a + 2351 - 793 = 0. Is 19 a factor of a?
True
Suppose -t + 29 = 4*p, 3*p - 190 = -5*t - 2*p. Suppose -t = -n - l, 4*l = 12 - 4. Is n a multiple of 4?
False
Let t(z) = 13*z**2 - 7*z + 5. Let s(q) = q**2 - 2*q + 4. Let o be s(0). Let k be t(o). Suppose 2*j - k = -17. Is 22 a factor of j?
False
Let k = 14 - 13. Does 12 divide 6/2 - (k - 34)?
True
Suppose 22*z = 8*z - 112. Is (24/(-9))/(z/504) a multiple of 56?
True
Let s = -332 + 590. Let y = -98 + s. Suppose -5*h = -3*k - 168, 5*h - y = -4*k - k. Is 10 a factor of h?
False
Suppose -2*r + 2*a = -66, -3*a + 83 = 2*r + 12. Let q = -28 + 29. Let j = r - q. Is 11 a factor of j?
True
Let s(h) = -2*h**2 + 5*h + 2. Let g be s(4). Let z = g - -15. Suppose z*y - 285 = 3*p, -4*p + 200 = -5*y + 8*y. Is 20 a factor of y?
True
Suppose -325*l + 336*l = 2695. Does 49 divide l?
True
Let q(s) = s**2 - 3*s + 1. Let x be q(4). Let v = -688 + 709. Suppose v + 159 = x*m. Is 11 a factor of m?
False
Suppose -r = 42 - 42. Suppose -5*q - 3*u + u + 1254 = r, q + 2*u = 254. Is q a multiple of 50?
True
Is 1610/23 + (-2 - (0 + 1)) a multiple of 14?
False
Let g(x) = -77*x + 3. Is 16 a factor of g(-4)?
False
Let n be 46 + 4 + -7 + -1. Suppose q = -3*d + 12 + 19, 4*d + q = n. Does 3 divide d?
False
Let m = 73 + -64. Suppose -m*s + 2*s = -420. Does 5 divide s?
True
Suppose 0 = 3*q - 2919 - 14025. Suppose 0*r - 3*f + q = -4*r, 2*r + 2824 = 5*f. Does 16 divide r/(-22) - (-14)/(-77)?
True
Suppose 0 = -4*d, v = -4*d - d + 4. Let a be 2/v - (-10)/4. Does 10 divide ((-32)/(-12) - a)*-147?
False
Let c(i) = i**2 - 1. Let b(w) = -5*w**2 + 4. Let z(x) = b(x) + 4*c(x). Let m be z(5). Let h = 36 + m. Is 7 a factor of h?
False
Suppose -3*w - 12 = -6*w. Is 6 a factor of (17/3)/((w/1)/72)?
True
Suppose -11*u = -8*u + 3, 0 = 3*j - 4*u - 862. Is 10 a factor of j?
False
Let m(u) = -4*u - 99. Is m(-30) a multiple of 15?
False
Let t(z) = -3*z - 4 - 2*z + 4*z**2 - 3*z**2. Let o be t(6). Suppose -f = -o*u - u - 104, -4*f - 5*u = -501. Is 32 a factor of f?
False
Let t(d) = 5*d + 3. Suppose -3*a = -4*a + 3. Is 9 a factor of t(a)?
True
Let f be (23/(-4))/(4/(-16)). Let s = 32 - f. Suppose c - s = 7. Is c a multiple of 6?
False
Let p = -42 + 68. Suppose 3*k - u = -0*u + p, 16 = 4*u. Does 5 divide k?
True
Suppose -17*u - 13*u = -3360. Is u a multiple of 10?
False
Does 5 divide ((-6)/7)/(30/(-7980))?
False
Let c be (2/5)/((-4)/(-20)). Suppose -2*i = j - 217, -c*i + 0 = -10. Is 11 a factor of j?
False
Suppose -2*y = 4*y - 126. Suppose -2*f - y = -59. Suppose -2*c + 15 + f = 0. Is 3 a factor of c?
False
Let b = 2005 + -1824. Is b a multiple of 4?
False
Let q(b) = b**3 - 6*b**2 + 3*b + 4. Let j be q(5). Let g(l) = l**3 + 11*l**2 - l + 70. Let m be g(-12). Is 10 a factor of j/9 + m/(-3)?
True
Suppose 44*i = 55*i - 7744. Does 16 divide i?
True
Let q be ((-9)/(-6))/(4/104). Let c = q - 30. Is c a multiple of 3?
True
Let a be (-1)/(-2*(-2)/28). Let k(h) = -h**3 - 5*h**2 - 15*h + 5. Is 46 a factor of k(a)?
False
Let g(o) = -o - 26. Let j be g(-18). Let u be (28/16)/(1/j). Is 5 a factor of 66/4 + 21/u?
True
Let u = 600 - 427. Is u a multiple of 25?
False
Let m be -72*((-3)/(-12) + -1). Suppose -3*g + m = 5*q + 17, 3*g + 3 = 3*q. Suppose 68 = g*f - 48. Is f a multiple of 13?
False
Let d(b) = 11*b**2 - 46*b - 246. Is 44 a factor of d(-5)?
False
Let f(v) = 2*v**2 + 4*v - 2. Let k be f(7). Suppose 216 + 4 = 4*h. Suppose 0*u + 2*u - o - h = 0, 2*o - k = -5*u. Is 13 a factor of u?
True
Suppose 0 = 5*z - 4 - 16. Suppose -157 = -z*k + 83. Is k a multiple of 10?
True
Let f = 2 - -13. Let h be (-10)/25 + 36/f. Suppose h*a = 2*c - 0*a - 80, 0 = -c + 5*a + 20. Is c a multiple of 15?
True
Suppose 0 = 5*v - 221 - 99. Let s = -33 + v. Does 31 divide s?
True
Suppose -t - 4*x + 3*x - 1 = 0, 4*t + 3*x + 2 = 0. Let i be (-1 - 7*-2) + t. Let u = i + 16. Is 6 a factor of u?
True
Let z be (0 - 3 - -1)*-1. Suppose 3*p + z*o + 30 = 0, 2*p - 50 = 7*p + 4*o. Let b = -4 - p. Does 3 divide b?
True
Suppose -4230 = -7*m + 1076. Is 29 a factor of m?
False
Suppose 5*q - 9*q - 4*g = -13768, -5*g = -15. Is q a multiple of 19?
True
Let b(h) be the third derivative of h**4/8 + 19*h**3/6 + 2*h**2. Is 13 a factor of b(6)?
False
Let m = 43 - 39. Suppose -b + 1 + 4 = 0, m*w + 1 = 5*b. Suppose 9*c - 135 = w*c. Is 7 a factor of c?
False
Suppose u - 2*k = 178, -5*u + 6*k + 842 = 8*k. Is 10 a factor of u?
True
Let o be ((-3)/(-3)*-7)/1. Let b = o - -6. Let v = b + 6. Is v a multiple of 4?
False
Let q = -15 + 14. Is (q/3)/(6/(-306)) a multiple of 4?
False
Suppose -6 = 2*q, -7*j + 39 = -2*j - 3*q. Is (2 - (-88)/16)/(j/56) a multiple of 14?
True
Suppose v = -3*n + 4732, -4*n - 6*v = -v - 6291. Does 29 divide n?
False
Suppose -14*c = -5*v - 10*c + 376, 3*v + 2*c - 208 = 0. Does 5 divide v?
False
Suppose -3*f + 288 = -4*r, 0*r = 2*f - r - 197. Does 20 divide f?
True
Let o(u) = -7*u**3 + 10*u**2 + 7*u + 47. Does 107 divide o(-7)?
True
Suppose -n + 5*h - 22 = 0, 2*n + 18 = 4*h + 4. Let x be n/15 - 549/(-5). Suppose w - 34 = -4*u, 0 = -4*w - 7*u + 4*u + x. Is w a multiple of 13?
True
Is 8 a factor of (-22)/(8556/1716 - 5)?
False
Does 23 divide -4*(-226)/(-1)*-1?
False
Does 11 divide 4*-1*125493/(-236)?
False
Let g = -52 + 451. Is g a multiple of 21?
True
Let b(s) = -s**2 + 8*s - 5. Let g be b(7). Is g/4 + (-42)/12*-5 a multiple of 18?
True
Let k be (-6)/12 + (-362)/4*1. Let d = 298 + k. Does 29 divide d?
False
Let v = -20 - -25. Suppose 3*z = -0*z - 21. Let g = v - z. Is 11 a factor of g?
False
Let q(n) = n**3 + 10*n**2 + 1. Let r = -18 - -8. Let t be q(r). Is 12 a factor of 2 + t + -1 - -41?
False
Suppose -2*p + 17 = 5*z, 4 = -5*p + 9. Suppose z*s = -s + 260. Is 13 a factor of s?
True
Let p = 355 + -261. Is p a multiple of 12?
False
Suppose -2*k = -k - 11. Suppose 3*h - 23 = -5*x, -x + 0*h + h = -k. Suppose 0 = 10*c - x*c - 102. Does 17 divide c?
True
Let a(l) = 15*l - 246. Does 16 divide a(37)?
False
Suppose s + s = -10, -2*c + 4*s + 746 = 0. Is 13 a factor of c?
False
Let r(n) = n**3 - 9*n**2 - 3*n - 2. Let t be r(4). Let c be -8*184/16*(-1)/(-2). Let o = c - t. Does 24 divide o?
True
Let g = 72 + -36. Let i = g - 8. Is 7 a factor of i?
True
Suppose 2*c = -4, -3*c - 2372 = -2*w - 0*w. Does 18 divide w?
False
Let k = 2 - 5. Suppose 5*m - 5 = -u + 16, -5*m - 2*u + 22 = 0. Is m + 6/((-6)/k) a multiple of 2?
False
Let p(l) = 24 - 18*l + 41*l - 11*l. Does 4 divide p(7)?
True
Suppose -3*f = f - 120. Let g = -17 + f. Does 3 divide g?
False
Suppose 8 = -p + 7. Let v be (-406)/(-6) + p/(-3). Is 28 a factor of v/16*2*16?
False
Let l be (-33)/(-2)*24/18. Suppose m - l = -5. Is m a multiple of 6?
False
Let t(g) = -16*g - 4. Let h(c) = -16*c - 4. Let k(o) = 4*h(o) - 5*t(o). Is k(2) a multiple of 12?
True
Suppose 2*a - 98 = c, -3*a + 189 = -3*c + 39. Is a a multiple of 19?
False
Suppose 4*m = 3*t - 0*t + 9, -5*t = -5*m + 10. Suppose -288 = 2*r - m*r. Does 16 divide 1/(579/r - 2)?
True
Let n = 53 + -38. Suppose n*u + 156 = 18*u. Is u a multiple of 18?
False
Suppose -2*f = -7 - 1. Suppose f*b + 227 = 755. Is 22 a factor of b?
True
Let y be 40/12 - 1/3. Let h be (-7)/y + (-6)/(-18). Is 9 a factor of h/14 + (-506)/(-14)?
True
Suppose 22*r - 26*r = -28. Suppose -r*i = -4*i - 288. Is 24 a factor of i?
True
Let d = -251 - -427. Suppose 0*a + 3*a + 3*w = 27, 0 = 5*a + 2*w - 30. Suppose a*y - 8*y = -d. Is 11 a factor of y?
True
Let d(a) = -4*a + 9. Suppose 2*q + q + 2*g - 59 = 0, -5*q - 5*g = -100. Let n = -25 + q. Is 9 a factor of d(n)?
False
Let y(v) = 2*v - 32. Suppose 0 = -2*k + t + 41, -3*k - 3*t = -2*k - 31. Does 5 divide y(k)?
False
Let z(y) = 20*y + 16. Let g be 228/24 + (-6)/4. Is 44 a factor of z(g)?
True
Does 5 divide 310 - (0 + 3 - (-1 + -1))?
True
Let n be -1*8 + 5 + -3. Let k be (4/8)/(3/n). Does 3 divide 68/8*(k - -3)?
False
Is 7 a factor of (-4)/(-14) - (-1066)/91?
False
Suppose -4*s + 3*d = -18, d - 4 = -4*s + 2*s. Suppose -8*z + 85 = -s*z. Suppose -