Let a = -347 - h. Does 26 divide a?
True
Let a be 136/(((-10)/45)/((-3)/9)). Suppose -f + a = 2*n - 11, -5*n + 3*f + 521 = 0. Suppose 17*u - 18*u = -n. Is u a multiple of 13?
False
Suppose 3*c = 3*l - 5 + 2, 2*c = -3*l + 23. Suppose -x - 3*u = -303, -x - 3*x = -l*u - 1263. Does 43 divide x?
False
Let t = 74 + -6. Let f = t - 20. Let a = 19 + f. Is 8 a factor of a?
False
Suppose 2*a - 7*a = 4*m - 588, -4*a + 136 = m. Let y be (-7)/(14/m) - -4. Let h = y + 111. Is h a multiple of 13?
True
Suppose -5*t + 3*k + 82 = -281, -3*k - 291 = -4*t. Suppose 68*c - t*c + 1280 = 0. Does 10 divide c?
True
Let g(z) = -243*z - 3. Let o = 7 - 8. Let q be g(o). Suppose 3*u - q = -2*u. Is u a multiple of 24?
True
Let m = -10 - -13. Suppose -3 = 2*o - 2*k + 1, -o = -m*k + 10. Suppose 0 = 6*x + o*x - 168. Is x a multiple of 5?
False
Suppose -16*x - 125 = -285. Is -24*((-63)/x + (-7)/35) a multiple of 6?
True
Let n(w) = w**3 - 14*w**2 - w - 29. Let j(t) = 9*t + 31. Let h be j(6). Suppose -7*v + 11*v + 5*a = h, a - 50 = -3*v. Is 30 a factor of n(v)?
False
Is (3 - (3 - 5))*(217152/30)/6 a multiple of 33?
False
Let l = 3945 - -1613. Is l a multiple of 8?
False
Let r = 235 - 101. Let d = r - 99. Let x = d - -25. Is 12 a factor of x?
True
Suppose 4*c = -x - 10, 4*c = -2*x - 6 - 6. Let i = c + 0. Is 8 a factor of 3 + (i - 2) - -14?
False
Suppose 4*c = 2*k + 2002, -4*c + 0*k - 5*k + 2023 = 0. Suppose -4*h = 5*p - c, -227 = -4*h + 2*p + 261. Is h a multiple of 15?
False
Let s = -206 - -217. Suppose -20*p + s*p + 2133 = 0. Does 6 divide p?
False
Let k be (5 - 2 - (232 + -1))*-1. Suppose 0 = w - 22 - k. Let h = w - 64. Does 42 divide h?
False
Suppose -2*n + 15*v = 17*v - 8632, -5*n + 4*v = -21526. Is n a multiple of 5?
True
Let m = -4 + -277. Let g = -113 - m. Does 14 divide g?
True
Is 19 a factor of ((-332)/8 + 8/(-2))/(6/(-1824))?
True
Let n(s) = 4*s + 42. Let h be n(0). Let l be h/(-7)*(-2 - 21). Let k = -95 + l. Is k a multiple of 14?
False
Suppose 3*o + 24 = -3*u, 3*o = 5*o - 5*u - 5. Let s(y) = 7*y**2 - 3*y - 1. Let p be s(o). Let v = p + -120. Is v a multiple of 15?
False
Let r be (-103)/((7/(-7))/(0 - -1)). Let m = 569 + r. Is m a multiple of 48?
True
Let k(l) = 101*l - 412. Does 3 divide k(5)?
True
Let x(u) be the second derivative of u**4/3 + 3*u**3/2 + 2*u**2 + 31*u. Let b be x(-6). Suppose -2*y - 5*t + 100 = -3*t, 2*y - b = 4*t. Does 12 divide y?
False
Suppose 25*h - 9568 - 61307 = 0. Suppose 5*a + 2827 = -7*o + 11*o, 4*o + 3*a - h = 0. Is o a multiple of 77?
False
Let c(z) = 26*z + 35. Let w(u) be the second derivative of -13*u**3/6 - 9*u**2 + 26*u. Let t(a) = -6*c(a) - 13*w(a). Is t(10) a multiple of 11?
True
Let x(h) = -h**3 - 15*h**2 + 14*h - 34. Let d be x(-16). Let v be 1/d + (-18)/(-36). Suppose -3*r + 72 + 174 = v. Does 8 divide r?
False
Let v be 0/(-2) - (-55)/11. Suppose 0 = -12*h + v*h + 252. Does 21 divide h?
False
Is (54 - 53)*(520 + -7) a multiple of 9?
True
Suppose 15 = 3*h - 3*a, 5*h = -4*a + 9 - 2. Suppose 2*t + 7*d = h*d, 5*t - 8 = -2*d. Is t even?
True
Let r(l) = -1039*l + 10314. Is 21 a factor of r(0)?
False
Let v(h) = 3*h**2 - 5*h - 5. Let c(s) = -2*s - 6. Let f be c(-7). Is 7 a factor of v(f)?
True
Let j be -1 + (3 - 0)/(-3) + 0. Let w be (-2*1/j)/((-7)/(-21)). Is 3 a factor of w/((-46)/(-43) + -1)?
False
Let g be 4 - ((-1)/(-2))/(8/(-656)). Is (-2 + g - -5)/(6/16) a multiple of 16?
True
Let o(h) = 1537*h - 2231. Is 51 a factor of o(20)?
True
Let w(d) = d**3 + 12*d**2 - 11*d - 16. Let p be w(-12). Suppose 230 = 2*z + 2*x, -81 = -z - 5*x + 46. Suppose p*f = z*f + 1536. Is 19 a factor of f?
False
Let a = 561 + -557. Is 4/a - -6 - -539 a multiple of 78?
True
Suppose -12 = 4*c - 36. Let b be (3 - 3)/(-17 + 19). Suppose b = 2*n - c*n + 580. Is 29 a factor of n?
True
Suppose 103376 = 3*r + y, -5 = -9*y + 14*y. Is 158 a factor of r?
False
Suppose -4*w = -5*f + 35469 + 48734, 0 = -3*f + 2*w + 50519. Is 34 a factor of f?
False
Suppose -n = -2*s - 61199 + 22371, -3*n + 2*s = -116492. Is n a multiple of 16?
True
Let y = -2450 + 7800. Does 107 divide y?
True
Suppose 0 = -11*y + 20 + 13. Is (1/y)/(-4*5/(-10680)) a multiple of 13?
False
Let i be (-569)/(-9) + 8/(-36). Let f = i + -117. Let q = f - -70. Does 4 divide q?
True
Let i = 26651 - 19167. Does 126 divide i?
False
Let k(u) be the second derivative of u**4/6 + 29*u**3/6 + 25*u**2 + 25*u. Does 18 divide k(-21)?
False
Let a(s) = -2*s**3 + 12*s**2 - 4*s - 3. Let f be a(5). Suppose f = 4*j - 101. Is j a multiple of 32?
True
Let r = -941 - -1756. Is -4 - (-5 + (-3 - r))*1 a multiple of 63?
True
Suppose -3*p = -3*g + 84, -2*p - 4*g = 6 + 26. Let h = p - -27. Is 7 a factor of 17 + (1 - (h - -1))?
True
Suppose -25*z = -4*p - 29*z + 5552, -4*p - 2*z + 5554 = 0. Is 23 a factor of p?
False
Let k(a) = 59*a**2 + 133*a + 904. Is 34 a factor of k(-7)?
False
Let c(a) = 27*a**2 - 103*a + 474. Is c(5) a multiple of 2?
True
Let f = 25 + -25. Suppose f = -4*u + 96 + 36. Is u a multiple of 3?
True
Suppose -16313 = -248*y + 37503. Is 3 a factor of y?
False
Let x(l) = -l**2 - 4*l. Let y be x(-1). Suppose -203 = y*w - 3*a - 911, 0 = -4*w - a + 934. Suppose -7*m + w + 18 = 0. Is 3 a factor of m?
True
Let q(v) = 8*v**2 - 6*v + 8. Let i be q(16). Suppose -3*a = -17*a + i. Is 28 a factor of a?
True
Is (-302 + 301)/((-5070)/5068 - -1) a multiple of 41?
False
Suppose -5*s + 5*x + 1915 = 0, 2*x = -s + 5*s - 1534. Let u = 574 - s. Suppose 53*c - 54*c = -u. Does 38 divide c?
True
Suppose -3*x + 11664 = p + 1879, 4*p + 9805 = 3*x. Is x a multiple of 10?
False
Let t(c) = -2*c**2 - c + 71. Let h be t(0). Let u = h - 46. Suppose -5*m - 4*a + u = -30, 0 = -4*a - 20. Does 3 divide m?
True
Let d = 3831 - 3681. Is d a multiple of 24?
False
Suppose -l - 10534 = -5*d, 0 = 291*d - 295*d + 5*l + 8444. Is d a multiple of 6?
True
Let b(i) = -i**3 + 5*i. Let s(t) = 2 + 2*t**3 + t - 11*t - t**2 - 1. Let l(w) = -5*b(w) - 2*s(w). Is 4 a factor of l(-3)?
True
Suppose 22*a + 986728 + 215240 = 73*a. Is a a multiple of 48?
True
Let o be -3 + 36/4 + -2. Suppose 2*y - o*q + 28 = 3*y, 0 = 2*q + 6. Let i = y + -24. Is i a multiple of 4?
True
Suppose d = -4*r + 6283, 0 = 3*d + 3*r - 5424 - 13434. Does 5 divide d?
False
Let s(c) = -39*c - 6. Let z be s(-3). Suppose -4*m = -m - z. Let g = 89 - m. Is 15 a factor of g?
False
Suppose -2*s - 3*c - 1 = 0, 0*c - 5*c = -5*s + 60. Let v = -1586 + 1662. Suppose -v = -s*g + 204. Is 10 a factor of g?
True
Let b = 42 - 196. Let m = 302 + b. Is m a multiple of 20?
False
Does 4 divide 130/(7 + -15 + 10)*1*32?
True
Is (2 + -556)/(338/(-4901)) a multiple of 2?
False
Let t = -3931 + 6306. Is 35 a factor of t?
False
Let x = 15 + -12. Suppose -a - x*a = 16. Let w(h) = 3*h**2 - 2*h - 6. Is w(a) a multiple of 17?
False
Let b(v) = -40*v**2 - 15*v - v**3 + 115 + 64*v + 43*v - 13*v. Is b(-42) a multiple of 33?
False
Suppose -21*q = 5*k - 20*q - 15904, -12704 = -4*k - 4*q. Does 74 divide k?
True
Let m = 5 + -3. Let f be 285/76 - 1/(-4). Suppose m*h - 5*t + 5 - 19 = 0, -7 = -h + f*t. Is 6 a factor of h?
False
Let i be (1278/(-4) + 3)/3*-2. Suppose -2*k - 7 = -5, 4*l - 3*k = i. Is 26 a factor of l?
True
Let q(w) = 228*w**2 - 146*w + 1448. Does 13 divide q(11)?
True
Suppose -19*k = -629545 + 247360. Does 15 divide k?
True
Let s = -42 + 87. Let a = -14 + s. Let n = a - 6. Is 19 a factor of n?
False
Suppose -7*w = 32*w + 26*w - 14430. Does 25 divide w?
False
Let m(z) be the first derivative of z**4/4 - 11*z**3/3 - 5*z**2 + 8*z + 1181. Suppose 3*b - 5*k = 36, -2*b + 5*k + 21 = -3. Is m(b) a multiple of 32?
True
Let w(r) = 48*r**3 - 27*r + 52. Does 11 divide w(2)?
False
Let t = -40432 + 103029. Is t a multiple of 69?
False
Let s(z) be the first derivative of -11*z**2/2 + 10*z + 4. Let p be (1 + -1 + 2)/((-78)/156). Is 18 a factor of s(p)?
True
Let o = 1975 + -892. Is o even?
False
Suppose 46*z + 63*z - 13080 = 0. Is 30 a factor of z?
True
Suppose 0 = -24*c - 1 - 23. Is 102/85*((-235)/2)/c a multiple of 4?
False
Let v be 6736/64 + 1*(-2)/8. Is 1*v*(-48)/(-36) a multiple of 4?
True
Let w(s) = -s**2 + 18*s + 16. Suppose q + 3*f = 1 + 28, 0 = -q - 5*f + 39. Let j = q - -4. Is w(j) a multiple of 4?
True
Suppose 10*b - 9*b - 168 = 4*r, -3*b - r = -452. Suppose -7*a - a = -b. Is a even?
False
Let d(g) = -g**3 - 10*g**2 + 3*g + 7. Let j = 64 + -7