e -580 = -f*x - 0*x. Does 6 divide x?
False
Let o(v) = v**2 - 12*v - 25. Let y be o(-4). Suppose -115 = -b + y. Is b a multiple of 14?
True
Suppose -31*d + 26*d + 10 = 0. Suppose 0*a - 2*a - 832 = -4*s, 6 = -3*a. Suppose 3*y = d*j - s, -5*j + 529 = -0*j + 4*y. Does 21 divide j?
True
Let f(h) = -7*h**3 - 28*h**2 - 8*h + 104. Is f(-14) a multiple of 7?
False
Suppose 155*d = 358604 + 210954 + 184207. Is d a multiple of 9?
False
Let d be (-478)/8 - -5 - (-1)/(-4). Let z = 165 - d. Is 22 a factor of z?
True
Let u = -14 - -146. Let c = 4 + -4. Suppose c*z - u = -z. Is z a multiple of 44?
True
Let n(c) = 8*c - 2. Let r(m) = -m**3 + 7 + 2*m + m**2 + 8*m**2 - 11. Let w be r(9). Is n(w) a multiple of 22?
True
Let r(m) = 10*m**3 + 2*m**2 + 7*m - 4. Let s(z) = z**2 + 25*z + 69. Let w be s(-3). Is r(w) a multiple of 4?
False
Suppose -94*p + 225861 = -685563. Is p a multiple of 24?
True
Let a be ((-375)/10)/(-3)*(-1344)/(-10). Suppose -34*u + a + 1312 = 0. Is u a multiple of 11?
True
Let u(d) = 2*d**2 + 37*d - 410. Does 11 divide u(-33)?
False
Let k(z) = 4*z**3 + z**2 - 2*z + 1. Let u be k(1). Let m be -1*(-2 - 8/u). Is m/(8/244 + -2 + 2) a multiple of 20?
False
Let x be (-20)/70 - (-1 + 1413/(-21)). Suppose 19*w + x = 23*w. Suppose 2*n - 13 = 3*k, 2*k - 5*k = 4*n - w. Is n even?
False
Let q(r) = r**3 - r**2 + 30*r + 6637. Does 13 divide q(0)?
False
Let l(d) = 3326*d - 10152. Does 109 divide l(10)?
True
Let q be 19/1 + (-1)/(-1). Suppose c + q = 6*c. Suppose 4*z + 2*t - 142 = -0*t, c*t + 20 = 0. Is 12 a factor of z?
False
Let z(s) = 126*s + 116. Let t(p) = -3*p - 2. Let a(i) = -2*t(i) - z(i). Is 16 a factor of a(-4)?
True
Suppose -3*w + 4 + 32 = 3*i, 0 = -2*w - i + 20. Let a(g) = 17*g - 25. Does 10 divide a(w)?
False
Is (-8)/18*-1427 + -13 + 115/9 a multiple of 111?
False
Let x be (32 - (-10 + 5))/(-1)*-1. Suppose 4*o = -5*n + 470, o = 4*n + 91 + x. Is o a multiple of 20?
True
Suppose 0*n + 2*n = -1110. Let z = n + 1371. Is 34 a factor of z?
True
Suppose 216 - 223 = -7*d. Is 31 a factor of ((-62)/4)/(d/(-30))?
True
Let y(b) = -b**2 + 8*b. Let i be y(13). Let z = -189 - i. Let g = z + 192. Does 17 divide g?
True
Let q = -3651 - -7491. Does 20 divide q?
True
Let b(h) = h**3 - 28*h**2 + 30*h - 35. Let y be b(27). Suppose y*l = 8606 + 3400. Does 11 divide l?
False
Let u(l) = -5*l**2 + 35*l + 49. Let i(s) = -s**2 + 9*s + 12. Let b(f) = -9*i(f) + 2*u(f). Let g be b(-10). Suppose 4*x - 8*x + 284 = g. Is x a multiple of 13?
False
Let f(w) = -w + 9. Let d be f(5). Suppose 0 = -4*j + 2*s + 18, -2*j - d*s = 2 - 6. Suppose 2*t - 207 = -6*x + 3*x, 2*t + j*x - 212 = 0. Does 12 divide t?
True
Let g = -5779 + 8196. Suppose 10*m = 4183 + g. Is m a multiple of 30?
True
Let z(f) = 506*f - 1425. Is z(43) a multiple of 68?
False
Let q be 1/(-5 - (-26)/5) + -783. Let x = -438 - q. Does 7 divide x?
False
Is 43 a factor of (-247422)/(-1233)*(-1 - -4)?
True
Suppose 0 = 562*l - 565*l + 1545. Is l a multiple of 5?
True
Suppose -3*g - 63231 = -5*q, 4*g - 17539 = -2*q + 7717. Is 5 a factor of q?
False
Let u = 3594 + -2586. Is 7 a factor of u?
True
Let o be ((-75)/(-10))/((-1)/(-2)). Let g = 22 - o. Suppose -4*f + g*f - 183 = 0. Is f a multiple of 9?
False
Let r = -10 - -14. Suppose r = w, -4*t - w + 105 = -47. Does 37 divide t?
True
Suppose 2*w + 64 = -42. Let l = w - -80. Let g = l + -8. Does 3 divide g?
False
Let m(v) = 22*v + 37. Let t be m(0). Let j(l) = -2*l - 7. Let i be j(-5). Suppose -4*p - t + 121 = 4*f, -4*f - i*p + 79 = 0. Is f a multiple of 2?
True
Let v(r) = r**3 - 15*r**2 + 16*r + 12. Let t = 75 + -70. Suppose 0 = -2*s + t*k + 23, 4*s + 0*s = -4*k + 60. Does 20 divide v(s)?
True
Let f = 186 - 201. Is (-171)/6*230/f a multiple of 9?
False
Let k be 0/11 + (-4*1 - 1). Let l(z) = -95*z - 35. Is 22 a factor of l(k)?
True
Let q be 20/10 - (-121 + 6/3). Let j = q - 43. Is j a multiple of 13?
True
Let i be -30*(36/240)/((-2)/8). Is (1680/i)/8*(5 - -1) even?
True
Is 25 a factor of (-168)/1176 + 42744/14?
False
Let m be 3/9*21 - 13. Is 17 a factor of 17416/24 + -4 + (-2)/m?
False
Is -1 + 213/(-12)*-788 a multiple of 189?
True
Suppose -3*i = 2*y - 6682, 3*i - 7869 - 2160 = -3*y. Is y a multiple of 39?
False
Let m be -90*4/24*-2. Let u = m - 60. Let v = u - -106. Is v a multiple of 6?
False
Let y = 1440 + -651. Suppose -235 - 251 = -3*w - 3*q, 0 = -5*w + 2*q + y. Suppose -5*c + w + 109 = 2*v, 0 = 4*c + 2*v - 214. Does 11 divide c?
False
Let l = 35 - 11. Let v(i) = -13*i + 37*i - l - 22*i. Does 13 divide v(19)?
False
Let r(d) = -32*d**3 - 2*d**2 - d + 1. Suppose -p + 2*p = 3*h - 58, 5*h - 3*p - 102 = 0. Let f be (-36)/(-126) - h/14. Is r(f) a multiple of 8?
True
Suppose -3*f + 44 = -7*f. Let w(o) = 2*o**2 + 20*o. Let r be w(f). Suppose -z + 4*b + 75 = 8, 5*b = -z + r. Is 2 a factor of z?
False
Let j = 3228 - -7021. Is 14 a factor of j?
False
Let x(n) = n**3 + 24*n**2 + 40*n - 12. Let a be x(-19). Let u = a + -711. Let f = -147 + u. Is f a multiple of 7?
True
Suppose 0 = 7*v - 29*v. Is (v + 192/(-9))/((-54)/567) a multiple of 18?
False
Let n(w) = 3394*w - 111. Let f be n(15). Is 69 a factor of f/147 + (-4)/7?
True
Let o(s) = s**3 - 13*s**2 - s - 11. Let a be (-3 + 165/20)/(3/8). Let m be o(a). Suppose 0*t + 9*t - m = 0. Is 4 a factor of t?
False
Let q(p) = 319*p**3 + 14*p**2 - 39*p + 12. Is q(3) a multiple of 20?
False
Suppose -20*x = -3*x. Let r(n) = 16*n**2 + 7*n + 7. Let f be r(6). Suppose x = 2*u + 3*u - f. Does 25 divide u?
True
Let s(u) = u**2 - 10*u + 11. Let f be s(9). Suppose 73 = m + 2*i - 5*i, 0 = 2*i + f. Does 10 divide m?
True
Does 37 divide (148*(-11)/(-2))/((-2)/(-18))?
True
Is 11 a factor of (14377/5)/((-84)/(-20) - (-116)/(-29))?
True
Let p be (3 - (-2 + 4))/(38/190). Suppose -2*d + 244 = -4*l, -66 = 3*d + p*l - 377. Is 14 a factor of d?
True
Suppose 5*j + 5*z = -33 + 43, 5*z - 20 = 5*j. Let n(h) = -167*h + 1. Does 67 divide n(j)?
False
Let h(m) = 37*m + 5. Let u be ((-5)/15)/((-2)/36). Suppose 5*d - 12 = 2*w, 3*d = 3*w - u + 15. Is h(d) a multiple of 14?
False
Let p(i) = 45*i - 10. Let h(n) = 46*n - 9. Let m(x) = -5*h(x) + 6*p(x). Let j(f) = -20*f + 8. Let y(w) = 5*j(w) + 2*m(w). Does 45 divide y(-3)?
False
Let g(x) = 14*x**3 + x**2 - 4*x + 13. Let a be g(3). Suppose 0 = f - 5*f - n + a, -f + n = -92. Is f a multiple of 53?
False
Let l = -80 - -84. Suppose -l*k + 118 + 210 = 0. Suppose 4*t - k = 18. Is t a multiple of 3?
False
Let d(k) = 32*k + 909. Is d(78) a multiple of 15?
True
Let d(m) = 5*m**2 + 6*m - 8. Suppose 2*k = -b + 2, 3*k = -b + 35 - 37. Is 6 a factor of d(b)?
True
Let l(t) = -122*t + 378. Let f(h) = h - 6. Let w(v) = -2*f(v) - l(v). Does 12 divide w(7)?
False
Let x = 7244 - 2775. Is x a multiple of 15?
False
Suppose 3*z = 5*y - 2*z - 45, 3*z + 23 = 2*y. Suppose 5*d + 5 = -3*r, y*r - d + 1 = 2. Is -2 + r - (-118 + 2 + 6) a multiple of 8?
False
Suppose x = -4*v + 3*x + 48780, 0 = -5*v - x + 60989. Is v a multiple of 16?
False
Is (-21357)/63*17/(-3) a multiple of 2?
False
Let o = 3124 - -528. Is o a multiple of 13?
False
Let z(i) = -i**2 - i + 4. Let b be z(0). Suppose -o + 7*a = b*a + 10, 2*a - 11 = 5*o. Does 11 divide (-82)/o + 22 + -19?
False
Suppose 0 = 9*p + 131 - 338. Suppose -p*o - 9360 = -35*o. Does 20 divide o?
True
Let u = 305 - 73. Suppose 0*l - 4*w = 4*l - 16, 0 = -3*w + 12. Suppose -q + 152 = q - 4*f, -3*q + 4*f + u = l. Does 20 divide q?
True
Suppose 29202 + 8814 = 11*q. Suppose 22*b - 2*v - q = 19*b, 4*b + 2*v = 4608. Does 48 divide b?
True
Let f(o) = 3*o**3 - 273*o**2 + 77*o - 459. Is f(91) a multiple of 4?
True
Suppose 3*n + q - 18 = 94, -3*q = 2*n - 63. Let x = n - 24. Let u(s) = 5*s - 7. Is u(x) a multiple of 17?
True
Let t = -62 + 69. Let o be 26/t - ((-92)/28 - -3). Suppose 8 = 4*i, -o*i = 3*p - p - 156. Is p a multiple of 10?
False
Suppose 0 = 8*i + 12*i + 4960. Let h = -167 - i. Does 2 divide h?
False
Let j = 49 - 44. Suppose 2*g - j*r = 2544, 2*r = -5*g + r + 6306. Suppose 8*i = g + 258. Is i a multiple of 34?
False
Suppose 4*f - 19151 = -i, -40892 = -5*f + 4*i - 16948. Is 6 a factor of f?
True
Let z be 2/((-13)/((-6305)/(-10))). Let j = z - -211. Is 57 a factor of j?
True
Let l(m) = -m**2 + 75*m - 104. Let x = 921 - 890. Does 28 divide l(x)?
True
Suppose 5*a + 41 = w, -3*w - 59 = -4*w - 4*a. Is w/17 - 4*(-1 + -240) a multiple o