96*r + 10. Let b be d(-13). Let l = b + 545. Is l a multiple of 23?
False
Is 71 a factor of (142/4)/(4/22*5/60)?
True
Let w(f) = 3*f**2 - 12*f - 13. Suppose 0 = -5*k + 104 - 9. Let b = k - 12. Is 9 a factor of w(b)?
False
Let f(q) = 3*q**3 - 23*q**2 + 4*q - 3. Let j be f(9). Suppose -5*m + j = 4*b, -4*m - 387 = -4*b + m. Does 3 divide b?
True
Let q be (160/(-30))/(((-10)/(-6))/5). Does 21 divide 6 - q/(-4) - -19?
True
Let h = 475 - 438. Let i = h + 167. Is 26 a factor of i?
False
Suppose -x = -4*o + 528 + 2034, -4*o = -3*x - 2558. Does 6 divide o?
False
Let g = -17245 + 21777. Is g a multiple of 7?
False
Let c = -66 + 68. Suppose -234 = -2*f - 3*y, c*f + 4*y - 226 = -y. Let u = f + -18. Does 25 divide u?
False
Let d be 9/(-6)*(0 - (-24)/(-9)). Let q be (-4)/((-16)/d) + 3. Suppose -2*o + q*o = 64. Is o a multiple of 9?
False
Let j(q) = -q**2 + 59. Let v(y) = y**3 - y**2 + y + 6. Let d be v(-2). Let m be j(d). Is ((-8)/m)/(2/10) a multiple of 8?
True
Suppose -308 = 3*j - 5*j. Suppose 68*s + j = 70*s. Is 4 a factor of -1 + (s - 2) + -2?
True
Suppose -k - 47*q = -43*q - 7396, -4*q - 14852 = -2*k. Is k a multiple of 122?
False
Suppose 9*y - 5 = 2*v + 4*y, 0 = v - y - 2. Suppose -v*s = -s - 2196. Is 61 a factor of s?
True
Let t = -37 + 41. Suppose t*p + 594 = 13*p. Suppose -9*x + 8*x + p = 0. Is 11 a factor of x?
True
Let j = -7 + 12. Suppose -u - 3 = -1, u + 2 = -3*k. Let y = j + k. Is y a multiple of 5?
True
Suppose -27*f + 65597 = 11*f - 80171. Is f a multiple of 7?
True
Does 18 divide 65/8 + (-129)/1032 + 0 + 2962?
True
Let o(f) = -f**3 - 4*f**2 + 12*f - 8. Let y be o(-7). Suppose 62*h - y*h - 672 = 0. Is h a multiple of 48?
True
Let o(x) = -16*x - 1. Let i(d) = d**2 + 4*d + 1. Let l be i(-3). Let m be o(l). Suppose 0 = -5*w + m + 54. Is 17 a factor of w?
True
Let s(r) = 17*r - 12. Let v be s(5). Suppose -4*j = t - v, -4*t + 0*t = -4*j + 48. Let w(b) = b**2 - 11*b - 18. Is w(j) a multiple of 12?
True
Let v(t) = -1093*t + 4369. Does 4 divide v(-10)?
False
Let p(n) = n**3 + 8*n**2 - 23*n - 7. Let r be p(-10). Does 20 divide (-3831)/(-8) + r/184?
False
Let h(j) = -94*j + 2619. Does 12 divide h(0)?
False
Let d(r) = -4*r - 1. Let g(a) = 1. Let v(j) = -d(j) + 3*g(j). Let i be v(-2). Does 6 divide 3 + i + (1 - 4) - -100?
True
Suppose 189*w - 8100 = 73926. Does 3 divide w?
False
Suppose 20 + 6 = -2*n - 3*g, 4*g = 8. Does 24 divide n/80 - (-481)/5?
True
Let w be (-4)/(-6) + 500/(-12). Let p = 61 - w. Let j = p - -38. Does 12 divide j?
False
Let v be (-10)/85 - 468/68. Does 16 divide 2 - (v + -1 - 486)?
True
Let h(s) = s**3 - 4*s**2 - 11*s - 20. Suppose 4*u - 2*o - 48 = 0, -5*u - 4*o - 6 + 40 = 0. Is 34 a factor of h(u)?
False
Let n(h) be the first derivative of -14 - 3/2*h**2 - 38*h. Does 9 divide n(-19)?
False
Let d be (-430)/(-6) + 16/(-24). Suppose 3*t + 5*w + 40 - 253 = 0, t - 4*w - d = 0. Is t a multiple of 15?
False
Suppose z = -5*m - 13, 2*z - 4*m + 26 = -0. Let c(d) = 5*d**2 + 10*d - 19. Let x be c(z). Suppose x = -2*j + 8*j. Does 13 divide j?
False
Let y(s) = s**3 + 10*s**2 + 8*s - 6. Let j be y(-6). Suppose 0*u - 5*m + 49 = u, -3*u = -4*m - j. Is u a multiple of 34?
True
Let s(r) = -7*r**3 + 5*r**2 - 5*r. Let z(y) be the first derivative of -3*y**4/2 + 4*y**3/3 - 2*y**2 - y - 1. Let m(t) = 5*s(t) - 6*z(t). Is 4 a factor of m(0)?
False
Let v(i) = i**3 - 5*i**2 + 4*i + 7. Let n be v(4). Does 27 divide (1 - n/4)/((-1)/324)?
True
Suppose 237*k + 402*k + 20*k = 23247543. Is 207 a factor of k?
False
Let i be (-24)/(-56) + 146/(-14). Let k(x) = -x**3 - 8*x**2 + 6*x - 47. Is 31 a factor of k(i)?
True
Suppose -2*s - 5 + 44 = 3*r, 0 = -5*s + 3*r + 87. Suppose 0 = s*u - 0*u - 5904. Is u a multiple of 41?
True
Suppose -z + 7*z = 24. Suppose 18*y = -z*y + 3806. Is 19 a factor of y?
False
Let d = 9065 - 5537. Suppose 3*y = -5*y + d. Does 49 divide y?
True
Let y(f) = -f**2 - 3*f - 210. Let z(v) = 2*v**2 + 7*v + 422. Let q(w) = -7*y(w) - 3*z(w). Is q(0) a multiple of 3?
True
Let h(z) = -2*z - 2 + 4*z**2 + 0*z + 2*z**2. Suppose 14*a = 104*a + 180. Is h(a) a multiple of 25?
False
Let n(m) = -12*m**3 + 7*m**2 + 20*m + 14. Does 8 divide n(-3)?
False
Let k(t) be the first derivative of -5*t**2/2 - 45*t + 50. Does 5 divide k(-22)?
True
Let u(j) = 3*j**3 - 7*j**2 + 50*j + 100. Is 50 a factor of u(15)?
True
Let x be ((-3)/(-6))/((-6)/(-72)). Suppose 14*y - x*y = 2880. Does 15 divide y?
True
Suppose -3*w = -5*z - w + 1045, 836 = 4*z + 3*w. Let n = 334 - z. Is n a multiple of 5?
True
Let n = 19578 - 11185. Is 8 a factor of n?
False
Let b = -58 - -114. Let v = -29 + b. Let x = 91 - v. Is x a multiple of 8?
True
Suppose 0*f = -f - g + 1216, f - 1222 = -3*g. Suppose -26*m - 277 = -f. Is 4 a factor of m?
True
Suppose s = 2*l + 344, -2*l - 1117 + 89 = -3*s. Let a be (-46)/(-8) - 5 - s/8. Let b = 55 - a. Is b a multiple of 6?
False
Let m = 1 - -1. Let k = -24366 + 24369. Suppose 2*c = -m*c - 4, 5*n - k*c - 38 = 0. Does 5 divide n?
False
Let l = 7 + -7. Suppose 3*c + 3 = 4*j, -2*j + l*j + 5*c = -19. Is 196*(3/(-2))/j a multiple of 14?
True
Let s be (-4)/18 + 992/(-72). Let p be (s/(-5))/(20/50). Suppose 0 = p*b - 2*b - 55. Does 2 divide b?
False
Is 161 a factor of ((((-32200)/(-42))/20)/(3/(-1953)))/(-1)?
True
Suppose 3*w - 5*c - 18547 = 0, 3*w - 9*c + 14*c = 18587. Does 33 divide w?
False
Suppose 76*d - 58589 = -18993. Does 33 divide d?
False
Let k be ((-273)/(-6) + 1)/(54/144). Let v(x) = -14*x**2 + 2. Let f be v(2). Let y = k + f. Is 6 a factor of y?
False
Let n(s) = s**3 + 10*s**2 - 2*s - 12. Let k be n(-10). Suppose -251 = k*p - 1075. Does 3 divide p?
False
Suppose -24 = -s + 5*y, 3*s + 2*s - 4*y = 36. Suppose 7*x - k - 100 = 4*x, 2*x - s*k = 50. Does 5 divide x?
True
Let x = -702 + 727. Is 11 a factor of (-2)/x + 124135/125?
False
Suppose -11*c - 2119 = -3*w - 16*c, -5*c = 2*w - 1421. Suppose -w*f - 4208 = -702*f. Is 46 a factor of f?
False
Let o = 752 - 1143. Let s = o - -1224. Is 11 a factor of s?
False
Let r(z) = z**3 - 2*z + 2. Let x be r(0). Let m be (x/3)/((-1)/12). Does 21 divide 23 - (m + 0)/(-4)?
True
Suppose 2*h - 7*h + 1757 = -t, -4*h + 1402 = -2*t. Suppose -5*s = -25, -3*m + h + 229 = 4*s. Is m a multiple of 46?
False
Suppose 253*w = 141*w + 5672800. Is 340 a factor of w?
False
Let g(v) = 2*v**2 + 5*v + 3*v + 4*v - 6*v + 4. Let r be g(-3). Suppose 4*i = -r*w + 232, i = 3*i - 4. Is w a multiple of 14?
True
Let d(f) = 12*f - 5. Let k be d(-8). Suppose -25*c - 2303 + 203 = 0. Let u = c - k. Is 9 a factor of u?
False
Let p(n) = n**2 - 7*n + 4. Let v be p(7). Let f be (v + (-181)/2)*-2. Let l = f + -119. Is 34 a factor of l?
False
Let u = -2873 + 4432. Does 3 divide u?
False
Suppose -77076*w = -77105*w + 1088109. Is 7 a factor of w?
False
Let g = 48371 + -27497. Does 213 divide g?
True
Let f = -279 + 733. Suppose -t = 4*a + 4*t - 881, 2*a - 2*t = f. Suppose -4*s + 3*l = l - a, -2*l - 8 = 0. Does 9 divide s?
True
Let w = -15305 - -15911. Is w a multiple of 7?
False
Suppose -4*b - j + 4965 = -12814, 0 = 2*b - 2*j - 8902. Does 78 divide b?
True
Let m(d) = 6*d**2 + 21*d + 73. Let h(f) = -2*f - 37. Let y be h(-14). Is m(y) a multiple of 11?
False
Let k be (3 - 6/4) + 485721/18. Suppose 7176 = 38*i - k. Does 31 divide i?
True
Is (-185612)/(-24) - (-30)/180 a multiple of 119?
False
Suppose -9*v + 10 = -4*v, -2*w + 506 = 2*v. Suppose w = 3*i + 2*y + 7, -330 = -4*i + 2*y. Is i a multiple of 63?
False
Suppose 275*l - 801003 = 264347. Does 19 divide l?
False
Let t be (-50 + -5 - -1)*(-22)/6. Suppose 744 = 5*x + 2*r - 263, 0 = x - 3*r - t. Is 67 a factor of x?
True
Let u be (6 + -5)/(3/6). Let n(z) = 35*z**3 - z**2 + 7*z - 5. Is 57 a factor of n(u)?
True
Let q(l) = -2*l - 28. Let o be q(-10). Let a be (-6)/(-2)*o/(-18)*6. Suppose -a*c + 6*c = -108. Is c a multiple of 9?
True
Suppose -3*l + l + 28 = 2*g, 0 = -5*l + 2*g + 35. Suppose -2*k - 4*j = -772, -3*k + 1208 = 5*j - l*j. Is k a multiple of 22?
True
Let u(i) = 143*i - 229. Let q be u(-9). Is q/(-12) + (-10)/30 a multiple of 42?
True
Let c = 3495 + -2291. Suppose 19*v + c = 23*v. Does 34 divide v?
False
Suppose 1127 = -12*o + 5*o. Let a = 188 + o. Does 4 divide a?
False
Suppose 5*u = -10*u - 615. Is 12*u*(64/(-12) - -5) a multiple of 4?
True
Let c(a) = -2*a**3 + 27*a**2 - 14*a + 16. Let x be c(13). Suppose -x*j + 100 -