x + 146. Is s a multiple of 29?
False
Let s(n) = 97*n**3 - 3*n**2 + 4*n - 2. Let q be s(1). Let x = -72 + q. Suppose -8 = -u + x. Does 5 divide u?
False
Let c(o) = 2*o**2 + 29*o - 10. Let f be c(-15). Let y(k) = 8*k**2 - 6*k + 10. Does 8 divide y(f)?
False
Suppose -t + 3 = 0, 4*u = -39*t + 44*t + 489. Is 18 a factor of u?
True
Does 126 divide (-45)/(-315) + (7937/28)/((-7)/(-28))?
True
Suppose -30*c + 20*c = 200. Does 11 divide 810 - -2 - c/(-20)?
False
Let z = 41 + -39. Suppose 0 = -z*x - 3*x + 55. Suppose f - 104 = x. Does 23 divide f?
True
Let q(y) = -y**2 - 9*y - 1. Suppose 2*x - 126 = 5*u, -u + 3*x - 12 = 21. Let v = u + 16. Is q(v) even?
False
Suppose 6*a - 11*a = -720. Let s = 288 - a. Suppose -f + s = 3*f. Is f a multiple of 16?
False
Let x = -6952 + 9376. Is x a multiple of 24?
True
Let x(b) = -b**3 + 27*b**2 - 49*b + 250. Does 33 divide x(14)?
True
Let t(u) = -26*u + 6. Let c be t(-3). Let x be c/9 + 8/12. Suppose 12*y = x*y + 492. Is 9 a factor of y?
False
Does 40 divide (-312010)/(-65) - (-4)/(-26)?
True
Let r be ((0 - 0) + -1)*(-1563 + 80). Suppose 49*j = 85 + r. Does 4 divide j?
True
Let u(l) = -12*l - 2. Let x(c) = -26*c - 5. Let v(q) = 5*u(q) - 2*x(q). Let w = 9 + -25. Is 8 a factor of v(w)?
True
Suppose -6*w + w = 3*n + 11, -n - 2*w = 4. Let m be (n - -2 - 0)*1. Suppose 25 = -5*i, -3*h + i + 0*i + 293 = m. Is 8 a factor of h?
True
Suppose -4*j - 6 = -2*j. Let v be j/(3/(-15)*3). Suppose -3*s + k + 178 = -k, -301 = -v*s - k. Is s a multiple of 12?
True
Suppose 0 = -3*y - 3*u + 36795, -26*u + 29*u = 0. Does 61 divide y?
False
Let i be (-8)/(-12)*1*-3. Let j be (-575)/i + (0 - (-6)/(-4)). Let q = j + -111. Is q a multiple of 55?
False
Let o(b) = 21*b**2 - b - 2. Let y = 55 + -57. Is 18 a factor of o(y)?
False
Let x = 10166 + -4842. Does 39 divide x?
False
Is ((-54)/(-40))/((-28)/(-672))*(130 + 0) a multiple of 3?
True
Let c be (-10)/15*2226/(-4). Let q = 260 - c. Let z = q + 165. Is 9 a factor of z?
True
Let j = 13378 - 7162. Does 37 divide j?
True
Suppose -230*i - 113478 = -75289 - 2849019. Is i a multiple of 178?
False
Does 48 divide ((216/(-10))/1)/(990/(-33000))?
True
Suppose -40 = -3*l - 2*l. Let b be -38*(1 - 12/l). Is 2 a factor of (6 - 2)/2 + b/1?
False
Suppose 4*z = -48 - 68. Does 14 divide (-7)/(7/(-114)) + 145/z?
False
Let o = -4140 - -6442. Is 8 a factor of o?
False
Let k(y) = 42*y**2 + 2*y + 30540. Does 60 divide k(0)?
True
Suppose -4*q + 13 = -z - 40, q = -2*z - 88. Let b be (-4)/((-12)/z)*(-2)/6. Does 18 divide (-2756)/65*b/(-2)?
False
Suppose 2*j - 24 = -y + 3*y, 4*y = -4*j + 56. Suppose -21*o + 736 = -j*o. Does 38 divide o?
False
Let p(y) = -77*y - 15. Let n be p(5). Let r = 742 + n. Is r a multiple of 32?
False
Suppose 0 = t - 131 + 129. Suppose -4*g = 3*u - 887 - 1037, t*u - 1277 = 3*g. Is u a multiple of 32?
True
Let t = -30 + -150. Let l = t - -461. Does 24 divide l?
False
Let h(y) = -3*y + 3. Let l be h(-3). Let g be 1/(-2 - 4/(-4)). Is 12 a factor of g/(-3)*l/(-8)*-108?
False
Let a be (6 - 10) + 4 - (-151 + -1). Let j = a - 86. Suppose k = -k + j. Is 8 a factor of k?
False
Let t be 6 + 2 + (1 - 5)/2. Suppose 310 = t*a - 1346. Is 15 a factor of a?
False
Suppose 0 = -5*s + 25, 2*s = 5*n - 13 - 12. Is 5/n - 1 - (-2178)/126 even?
False
Let a(k) = 2*k**2 - 21*k - 8. Let s be a(11). Suppose -2*h + s*b - 25 = -3*h, 0 = -2*h - 5*b + 51. Is 11 a factor of h?
False
Let r = -1289 - -2285. Suppose -32*o + r = -924. Is 3 a factor of o?
True
Let p = 67 + -64. Suppose -p*n + 5*n = 8. Suppose 0 = -2*a - 0*a - n, -k = 3*a - 107. Is 24 a factor of k?
False
Suppose 0 = -3*d - n + 752, -46*d + 3*n - 756 = -49*d. Suppose 268*j - d*j = 15102. Does 29 divide j?
False
Is (-3)/(-18) + 18640446/396 a multiple of 21?
False
Let a = -32 - -44. Let b(k) = -2 - 2*k + 3 - 2*k + k**2 + a. Is b(6) a multiple of 5?
True
Let z(j) = 4*j**2 + 32*j - 160. Let s be z(16). Suppose 0 = -5*r + s + 199. Is 35 a factor of r?
True
Let n(v) be the third derivative of v**5/60 - v**4/8 + 2*v**3/3 + v**2. Let t = 243 + -232. Is n(t) a multiple of 23?
True
Let w(h) = -3*h**2 - 13*h - 49. Let l(z) = 32 - 5 + 9*z + 1 + 5 + 2*z**2. Let v(n) = 8*l(n) + 5*w(n). Is v(-6) even?
False
Let j be 19/(-38)*(1 - -1)*-1. Let r be (-18)/(-2) + (-2)/(-2) + j. Suppose -162 = -r*p + 8*p. Does 18 divide p?
True
Suppose b - a = -1724, -2*b + 3*a = -3*b - 1716. Does 19 divide -5*9/(-60) + b/(-8)?
False
Let j be (-3)/2 + 2 - (-4020)/24. Is (-172)/(-6)*j/16 a multiple of 7?
True
Suppose -3*h + 0*h - 15 = 0, 2*c = -3*h - 643. Suppose 2 = n, -23*n + 2238 = 5*i - 19*n. Let z = c + i. Is 12 a factor of z?
True
Suppose 118*m - 526731 = 142329. Does 18 divide m?
True
Let a = -10482 - -30441. Is 16 a factor of a?
False
Let b = -20137 + 35556. Does 17 divide b?
True
Let h = -335 - -478. Suppose h = 7*y - 732. Is 9 a factor of y?
False
Let t(g) = 40*g**2 - 2382*g + 78. Is 68 a factor of t(63)?
True
Suppose 484277 = 33*k + 260295 - 505516. Is 111 a factor of k?
False
Let j(m) = 898*m**2 - 17*m + 4. Is j(1) a multiple of 6?
False
Let y be (-1 - 1)/(6 + (-80)/12). Suppose 4*s - h = -y*h + 3466, -3*s + h + 2587 = 0. Is s a multiple of 24?
True
Suppose 0 = 49*d - 33692 - 5116. Suppose -5*m + d = -1383. Is m a multiple of 29?
True
Suppose 5*a + 2*c - 2807 = 0, 720 = -4*a + 2*c + 2944. Is 17 a factor of a?
False
Let w be 164/20 - (-2)/(-10). Suppose -3*s + 0*s - w = -4*f, 4*f - 5*s - 8 = 0. Suppose -4*p - 296 = -2*q, 142 = f*q + p - 174. Does 52 divide q?
True
Let u(b) = 10*b**2 - 16*b + 18. Let d be u(11). Suppose -3*j + 5*f = -609, 5*j - f - d = -5*f. Is 26 a factor of j?
True
Let a(b) = -24*b - 211. Suppose 4*l + 53 = -7. Is a(l) a multiple of 32?
False
Let u = -5097 - -7795. Let j = -1873 + u. Does 75 divide j?
True
Suppose 0 = -7*q + 31 - 10. Suppose 5*r = -q*k + 4938, -21*k + 19*k = -4*r + 3946. Is r a multiple of 14?
False
Let v(o) be the first derivative of 19*o**3/3 + o**2 - 5*o + 7. Suppose -5*s = 4*m - 8*s - 8, 5*m + 3*s = 10. Is v(m) a multiple of 6?
False
Let n(p) = -p - 1. Let v(g) = 8. Let f(i) = 6*n(i) + 3*v(i). Let a be f(3). Is 10 a factor of 4 + (-2 - a) - -25?
False
Let h = 11476 - 2818. Is h a multiple of 37?
True
Let y be (102/(-9))/(4/180*-3). Let d = 274 - y. Is 11 a factor of d?
False
Suppose 3*x + 5 = w, 0 = -2*w - 3*x - 2 + 3. Suppose 620 = 5*h + 2*j + 2*j, w*j = 5*h - 620. Let n = h - 82. Is 14 a factor of n?
True
Let a be (-1 + 5)/8*-10. Let z be ((a - -3) + 3)*-67. Let r = -25 - z. Does 6 divide r?
True
Is 12 a factor of -3*(-151)/3 + (8 - 15)?
True
Let a(q) = 8*q**2 + 72*q - 411. Does 20 divide a(46)?
False
Let j be ((2 + -2)/(-4))/(-2). Let r(w) = 2*w**2 - 7*w + 114. Is 57 a factor of r(j)?
True
Let z(c) = 5*c**3 - 189*c**2 + 30*c - 204. Is z(38) a multiple of 35?
True
Let u(d) = d**3 - 5*d**2 + 9*d - 9. Let c(w) = w + 1. Let x be c(-2). Let k = x - -7. Does 27 divide u(k)?
True
Suppose -2477107 = -324*r + 61*r + 862993. Is r a multiple of 41?
False
Let z = 18135 - -1338. Is z a multiple of 24?
False
Let x = 50717 + -36947. Is x a multiple of 5?
True
Suppose 2*i - 20 = -2*p, -4*i + 1 = -3*p - 4. Suppose -i*q + 2*q = 9, -3*q - 702 = -3*g. Is g a multiple of 33?
True
Suppose u - 2*u + 2840 = -5*v, -v = -3*u + 554. Let t = -174 - v. Is 68 a factor of t?
False
Let b(q) = 99*q + 4440. Is 16 a factor of b(-40)?
True
Suppose n - u - 167 = -6*u, -4*n = 5*u - 683. Let w = -11 + n. Does 23 divide w?
True
Let k(u) = -u**3 - 29*u**2 - 13*u + 416. Is 29 a factor of k(-29)?
False
Let y = 11157 + -1947. Is 14 a factor of y?
False
Suppose 5*h - 4*o = 136834, 316*o - 313*o = 2*h - 54728. Does 10 divide h?
True
Let w = 28118 + -18551. Is 48 a factor of (w/(-18) - 5)*-2?
False
Suppose 46*t = -74520 + 493534. Does 75 divide t?
False
Suppose 0 = -2*d + 6*d + 84. Let g = d - -202. Does 58 divide g?
False
Let i = 3019 - 2141. Suppose 1776 = 2*w + 2*b, -i - 16 = -w + b. Is 33 a factor of w?
True
Let d be (35/20)/((-1)/4). Let y(l) be the first derivative of l**4/4 + 8*l**3/3 + 5*l**2/2 + 14*l - 1. Is y(d) a multiple of 24?
False
Let b(z) = 57*z - 2. Let g be 46/10 + (-8)/(-20). Suppose -2*p + 1 = -g. Does 17 divide b(p)?
False
Let n(p) = 1 - 10 + 243*p**2 + 7*p - 192*p**2. Is n(2) a multiple of 11?
True
Suppose 0*w - 4*w = 328. Suppose 0 = 3*o - 1025 + 332. Let d = o + w. Is d a mul