ppose -95 + 22 = -5*d + 2*h, h + x = 5*d. Does 13 divide d?
True
Let j = 21 + -29. Let l(n) = n**2 + 8*n. Let v be l(j). Is v*(-3)/(-6) - (-53 - -2) a multiple of 32?
False
Suppose -5*a - 43 = 5*h - 163, 5*h + 2*a = 108. Suppose -1768 = -h*w + 4392. Does 22 divide w?
True
Let l(o) = -48*o + 693. Is 5 a factor of l(13)?
False
Suppose 4*v = -i - i - 372, v + 543 = -3*i. Let z = i - -414. Does 39 divide z?
True
Suppose 7475733 = 160*h - 105*h + 212*h. Is 61 a factor of h?
True
Let x = 226 - 84. Let o = 128 + -46. Let m = x - o. Is m a multiple of 12?
True
Is (12/(-42))/(838735/209685 - 4) a multiple of 134?
False
Suppose -3456861 = -198*s - 695056 + 3195223. Is 16 a factor of s?
False
Let z = 8534 + -2437. Does 7 divide z?
True
Let o(r) = 34 + 24*r - 14 + r**3 - 9*r - 17*r**2. Let c be o(16). Suppose -3*t - c = -4*u - 606, 0 = 3*u + 6. Is 32 a factor of t?
False
Let m be 2/(4/6*1). Let l = -1623 + 1627. Is 7 a factor of m/(-6) - (-38)/l?
False
Let r = -8092 + 14288. Is 90 a factor of r?
False
Is 55 a factor of 9/(-72) - 147/56*-17621?
True
Let k(z) = z + 8. Let y be k(-16). Let b be -2*16/y*1/2. Is 47 a factor of b + -6 + 996/4?
False
Let m(f) = -3*f + 18. Let w be m(5). Suppose -q + 63 = 5*h, -2*h - q + 18 = w*q. Does 13 divide h?
True
Suppose -38 = -2*z + 4*o, -z + 43 = 2*o + 2*o. Suppose -1575 = -z*s + 12*s. Does 19 divide s?
False
Let q(l) = -l + 1. Let z(y) = y**3 - y**2 + 1. Let v be z(1). Let g(p) = -4*p**3 - 7*p**2 + 5. Let k(n) = v*g(n) - 2*q(n). Is k(-3) a multiple of 11?
False
Let k(t) = 607*t + 975. Is 16 a factor of k(3)?
False
Let y(d) be the third derivative of d**8/10080 + d**7/315 + 19*d**6/360 - d**5/60 - 13*d**2. Let n(u) be the third derivative of y(u). Is 49 a factor of n(-16)?
True
Suppose 4*s + 5*b - 298 = 0, s = -2*s - 5*b + 221. Let x = s + -44. Is x + -2 + 0/2 a multiple of 6?
False
Suppose 8 = 4*x - r, 0 = 5*x + 4*r - 2*r - 10. Suppose -x*z - 5*y = -556, -3*z - 250 = -4*y - 1130. Is z a multiple of 32?
True
Suppose 5375700 = 24*i + 372*i. Does 218 divide i?
False
Suppose 5*t - t - 5*q - 49 = 0, -5*t - 4*q = -10. Let v be 1*t*(-7)/(-2). Suppose 0 = v*l - 20*l - 68. Does 15 divide l?
False
Suppose -10*n + 332066 = -220874. Is 171 a factor of n?
False
Suppose 3*f - 73 = -2*y, y + 76 = 5*f - 2*f. Suppose -2*i + i + f = 0. Suppose i = n - 131. Is n a multiple of 26?
True
Let a(h) = -12*h + 6. Let t(u) = -12*u + 5. Let i(p) = p**3 + 15*p**2 + 25*p - 16. Let o be i(-13). Let g(s) = o*t(s) + 4*a(s). Is g(-3) a multiple of 9?
True
Let c = 241 + -168. Let b be 1/((-102)/33 - -3). Let f = b + c. Is 23 a factor of f?
False
Suppose 14*w = 10032 + 762. Suppose -9*r + 174 = -w. Is 15 a factor of r?
True
Let x(m) = -6*m**3 - 38*m + 60*m + 23*m**2 + 7*m**3 - 29 + 3*m**2. Is x(-25) a multiple of 11?
False
Let f be (12/(-8))/((-1)/6). Suppose 0 = -8*y + f*y + 64. Is (-5)/(260/y - -4) a multiple of 20?
True
Let w(k) = -13*k + 31. Let i be w(-10). Suppose 0 = -18*y + 55 + i. Let o(t) = -t**3 + 10*t**2 + 27*t + 24. Is o(y) a multiple of 15?
True
Let a = -13904 - -30386. Does 25 divide a?
False
Suppose 8*s = 5*s - 2*v - 10, -2 = 3*s + 4*v. Does 3 divide ((-50)/s)/((-13)/(-39))?
False
Let i = -87 + 190. Suppose -2*g = 23 - i. Does 10 divide g?
True
Does 138 divide (-4 - -11586) + 410/41?
True
Suppose -3263 = -2*o - 13. Let l = o - 1123. Does 14 divide l?
False
Suppose 178*s - 151*s = 863460. Does 246 divide s?
True
Let a be 8/2 + -11 - -4. Let d be (-4 - (-1 - a))*-13. Suppose 5*k - 20 = 0, 2*p + 5*k = -0 + d. Is p a multiple of 9?
False
Let o = 568 + -576. Is 2 a factor of (130/20 - o)/((-2)/(-4))?
False
Suppose 0 = -97*n + 77*n - 53*n + 338428. Does 131 divide n?
False
Let s = -1 + 22. Let i be 23/7 - 6/s. Is 26 a factor of 52/i*(-3)/(-2)?
True
Let z(h) = 29*h**2 + 377*h + 1122. Is 4 a factor of z(-3)?
True
Let o be 14*1*(-13)/(-26). Suppose -4*z + o*z = -48. Let c = 34 + z. Is c a multiple of 2?
True
Suppose 3767 - 1929 = -13*l + 24861. Is l a multiple of 17?
False
Suppose 2*b - 5*k - 16 = 0, -5*b = 17*k - 19*k - 19. Suppose -99 = -n + b*o, -3*n + 327 = -2*o + 9. Does 12 divide n?
True
Let y be (-32)/(10 + -2) - -2449. Suppose p = -3*b + 3169, y = 3*b + 5*p - 728. Does 32 divide b?
True
Let r(d) = 8*d + 11. Let p be (-334)/(-22) - -4*(-2)/44. Suppose 0 = m + 2*m - p. Is r(m) a multiple of 8?
False
Let a = -31081 - -33084. Is a a multiple of 15?
False
Suppose 0 = -86*c - 86*c + 2291040. Is c a multiple of 6?
True
Let p be 2/(6/(-18)*-3). Suppose 0 = 4*u - 12, p*j + j + 5*u - 33 = 0. Suppose j*y = -6*y + 396. Is 10 a factor of y?
False
Let l(h) = -h**2 - 1. Let p(m) = -20*m**2 - 10. Let k(o) = 10*l(o) - p(o). Let b = -2 + 1. Is k(b) a multiple of 8?
False
Let q be ((-4)/7)/(550/(-77) - -7). Does 6 divide 6/(q - (-1695)/(-426))?
False
Let z(o) = -7*o**3 + 41*o**2 + 45*o - 6. Is 77 a factor of z(-5)?
False
Let h(q) = 2*q**2 + 3*q + 4. Let t be h(-3). Suppose 10*a + 6 = t*a. Suppose -66 - 78 = -a*x. Does 6 divide x?
True
Suppose 0*c = -4*w - 2*c + 28, -5*c + 45 = 5*w. Let m be (-1 + -5)*w*(-1)/(-5). Is (-3 - m) + 204 + -4 a multiple of 29?
True
Suppose 0 = 6*c - 16 - 2. Let y be (-1)/((-3)/(3 + c)). Suppose -y*m = 7*m - 981. Is m a multiple of 17?
False
Let c(t) = t**3 - 3*t**2 + 2*t - 2. Let k be c(2). Let i(h) = 44*h**2 - 6*h + 1. Let x be i(k). Is (x - (-2 + 2)) + (-9)/3 a multiple of 31?
True
Let n(z) = z**3 - 55*z**2 - 88*z + 138. Is n(57) a multiple of 90?
True
Suppose 0 = 3*t + 15, 5*t - 293 = -0*z - z. Let d = z - 109. Is 19 a factor of d?
True
Let z(a) = -2*a**2 - 2*a + 13. Let r = 29 + 1. Let b = r + -30. Is 7 a factor of z(b)?
False
Suppose 14*r - 115*r + 3246450 = -256634. Is r a multiple of 28?
False
Let b be (8 - ((1 - -8) + -4)) + 1. Suppose 5*h = -4*w + 852, b*w - 9*h = -11*h + 852. Does 20 divide w?
False
Suppose 5*t = -2*t + 35. Suppose -4*y = t*m - 682, -y + 223 = 3*m + 49. Does 5 divide y?
False
Suppose 0 = -4*k + q + 19, -5*k + 17 = 4*q - 3*q. Let f(z) = -3*z**2 - 29*z - 54. Let t be f(-6). Suppose t*y - 220 = -k. Is y a multiple of 14?
False
Suppose -3*n = g + 20886 - 58705, -g + 2*n + 37804 = 0. Does 398 divide g?
True
Let c(a) be the second derivative of -a**3/3 + 26*a**2 + 22*a + 46. Let n(l) = -l + 16. Let t be n(0). Is c(t) a multiple of 10?
True
Is (156/(-12))/(-26)*11180 a multiple of 49?
False
Let b(d) = -2*d - 1. Let c(j) = -11*j + 58. Let y(u) = -6*b(u) + c(u). Does 12 divide y(-16)?
True
Let z be ((-290)/(-20) - 14)/((-2)/(-68)). Does 34 divide z/(-3)*(-228 - -30)?
True
Is 54 a factor of (-1)/5*-528*(-225)/(-10)?
True
Let u = -526 + 1051. Does 3 divide u?
True
Let k be 6*2*3/12. Suppose -3*r - 3*v = 6, r - k*r = -5*v + 4. Is (-2)/(-4) + -1 - 171/r a multiple of 17?
True
Suppose 2*b = 5*v + 61, 4*b - 3*v - 18 = 83. Suppose 46*n - 8050 = b*n. Is n a multiple of 17?
False
Let l be 0/(((-4)/(-2))/2). Is -4 + (101 + l)*(3 + -2) a multiple of 3?
False
Let w be (-92)/(-40)*2 + 2/5. Suppose -12 - 8 = -2*u + 4*a, 0 = -w*u + a + 5. Suppose u = 2*z + 4, 0 = 3*d + 2*d - 2*z - 164. Does 4 divide d?
True
Let c(h) = h**2 + 4*h + 1. Let x be c(-2). Let j(p) = -8 + 108*p + 21 + 20 - 175*p - 3. Is 13 a factor of j(x)?
False
Suppose -3*v + 632 = 4*y, 3*v - 4*v + 3*y = -202. Is 10 a factor of ((-3)/2)/((-39)/v)*18?
False
Let j = 166 + -151. Let h = j + 65. Is h a multiple of 14?
False
Suppose 5*f - 1 = 19, 2*y - 3*f + 90 = 0. Let o = 554 + y. Is 16 a factor of o?
False
Let o(a) = 13*a**2 + 60*a - 342. Is o(6) a multiple of 18?
True
Is 328/6*((-1005)/(-737))/(2/55) a multiple of 95?
False
Suppose 0 = 5*t + t - 30. Let s(u) = 9*u**2 - 3*u + 5. Let l be s(t). Let m = -119 + l. Is m a multiple of 12?
True
Is 205455/7 - 207/(-161) a multiple of 8?
True
Let s = -21407 + 31262. Is s a multiple of 73?
True
Let l(j) be the first derivative of 5*j**3 - 25*j**2/2 + 15*j - 115. Is 15 a factor of l(-6)?
True
Let t(k) = k**3 - 17*k**2 - 5*k + 11. Let i be t(19). Suppose 5*m - 759 + 120 = s, -5*m + 2*s + i = 0. Is m a multiple of 4?
True
Suppose 3*z - 19 = 2*x, z - 30 = 4*x - 7. Suppose z*n + 5*j = 1455, -5*n = 14*j - 15*j - 2453. Is 25 a factor of n?
False
Suppose 11*d + 2*u - 20748 = 7*d, -d + 5198 = -5*u. Is 38 a factor of d?
False
Let u = 309 + -305. Suppose 4 = 4*h, -u*c + 909 = -2*h - 561. Is 3 a factor of c?
False
Let g(k) = k + 15. Le