e d(2). Let m = -13 - j. Does 6 divide 158/13 - m/26?
True
Let c = 2604 + -955. Does 17 divide c?
True
Suppose -44*z + 32*z = -17064. Is z a multiple of 66?
False
Let f = -145 + 265. Is 40 a factor of f?
True
Suppose -5*h + 2*u + 20 = 0, -2*u - 13 = -3. Let f be (-162)/h + 4/2. Let n = f - -159. Does 17 divide n?
False
Suppose 21*f = 4586 + 10156. Is 18 a factor of f?
True
Suppose -12*w + 2175 = 459. Let v = w + -93. Is v a multiple of 9?
False
Let b(i) = 10*i**2 - 6*i - 5*i**2 - 13 - 4*i**2. Let n be b(7). Is 250/7 - n/21 a multiple of 12?
True
Let t = -8 + 21. Suppose -2*n + n = 0. Suppose n = 4*d - 39 - t. Is d a multiple of 3?
False
Let k(i) = i - 4. Let r be k(6). Suppose 0 = 3*g - 10 - r. Suppose 0 = g*u - d - 112, 3*d = 5*u + d - 143. Does 22 divide u?
False
Does 5 divide (8/7)/((-2)/(-77))?
False
Let q be 4/(-10) + (8/(-5))/(-4). Suppose -13*z - 7*z + 6280 = q. Is 24 a factor of z?
False
Let w(h) = 8*h**3 - 5*h**2 - 5*h - 1. Let n be w(-2). Let x be (5/3)/((-2)/(-6)). Does 5 divide 6/x*n/(-6)?
True
Let x(k) = k**2 + 6*k - 68. Suppose -9*f = 6*f + 330. Does 32 divide x(f)?
False
Let r = -6 - -7. Suppose 3*s + 0*s = -b - 10, 5*s + 10 = -5*b. Is 16 a factor of (14*2 + r)*b?
False
Let p = -288 + 1806. Is 22 a factor of p?
True
Let y = -65 - -513. Suppose 4*m - 6*m = -y. Is 14 a factor of m?
True
Let s(g) = -12*g**3 + 5*g**2 + 9*g + 31. Is s(-4) a multiple of 15?
False
Let k(v) = v**2 + v - 11. Let j be k(-6). Let i(x) = -x**3 + 20*x**2 - 10*x - 5. Is i(j) a multiple of 13?
False
Suppose 5*h + 130 + 35 = 0. Let g = -88 + h. Let z = g - -169. Is 16 a factor of z?
True
Let q(d) = d**3 + 6*d**2 - 4. Let h be 5/(-10)*(-5 + 1). Suppose 0 = 2*z - 10, -h*o + o = 4*z - 16. Is q(o) a multiple of 28?
True
Suppose -5*w + 0*z + 2*z = -5, -w = -2*z - 9. Let a be 0*(w + 20/16). Suppose a = 4*n - 4*b - 200, -3*b + 2 - 104 = -2*n. Is n a multiple of 8?
True
Is 35 a factor of 244 + (-1 + 6 + -4)*1?
True
Let k be (-8)/(0 + -1) + -4. Suppose -12 = -w - k. Is 4 a factor of w?
True
Let u(z) = -252*z + 1. Let q be u(1). Let n = -105 - q. Suppose -4*t + 32 + 84 = -2*j, 0 = 5*t - 2*j - n. Does 10 divide t?
True
Suppose 0 = 4*a - 4*j - 78 + 14, -a = -3*j - 18. Suppose 11*f - a*f + 356 = 0. Is f a multiple of 24?
False
Let t(d) = -d + 9. Let s be t(13). Let c be -1 - 1 - s/(-4). Let q(o) = 5*o**2 + o - 2. Is q(c) a multiple of 22?
False
Suppose -138*w + 136*w + 616 = 0. Is w a multiple of 28?
True
Let a = 21 + 121. Let p = 202 - a. Does 12 divide p?
True
Suppose -3*n + 13090 = 4*u, -28*n + 23*n = 4*u - 21806. Is n a multiple of 15?
False
Let q = 288 + 716. Is 26 a factor of q?
False
Let a be (2 - 15/(-20))*24. Let q = -54 + a. Is q a multiple of 2?
True
Suppose 0 = 5*l - 15, 0*l + l - 31 = -4*n. Let v = -15 + n. Let k = v - -47. Is 15 a factor of k?
False
Suppose -12*v = -9*v - 15. Suppose -3*d + 4*d = c + 86, -d + v*c + 70 = 0. Is 18 a factor of d?
True
Suppose 3*d - 11*d - 3520 = 0. Let f = -165 - d. Is 38 a factor of f?
False
Suppose 0 = u + 4*u - 15. Suppose -5*m + 99 = u*l, l + 3*l = -5*m + 132. Does 32 divide l?
False
Let s(p) = 85*p**2 - 13*p + 45. Is 34 a factor of s(3)?
False
Let p(m) = 270*m + 5. Let v be p(7). Suppose 16*s - v = -119. Is 6 a factor of s?
False
Suppose -3 = -2*d + 1. Suppose d*n + 4*q + 156 = 0, -3*n - q - 242 = 3*q. Let k = n + 131. Is k a multiple of 9?
True
Let n(s) = -34*s**2 - s. Let m be n(1). Suppose 14*b + 367 = 45. Let q = b - m. Is q a multiple of 3?
True
Suppose y = -1, -2*y = 2*u - 3*u + 5. Suppose 7*q - u*q + 4*p = 256, -2*p = -3*q + 187. Suppose 3*v - q = 4*f - 26, 0 = -v - 2*f - 1. Does 4 divide v?
False
Suppose 5*l - l - 20 = 0. Suppose -312 = -l*b - 62. Suppose 5*q - 2*q = 2*c + b, c = 5. Does 10 divide q?
True
Let r(w) = 0*w + w + 24 - 6. Let n = 24 + -24. Is r(n) a multiple of 15?
False
Does 19 divide (-629)/(-3) - (-5 - (-102)/18)?
True
Suppose 6834 = 137*w - 120*w. Does 27 divide w?
False
Let q(r) = r + 6. Let w be q(0). Does 14 divide 2169/18 + (w/(-4))/3?
False
Let x be (717/11 - 2) + (-4)/22. Suppose -2*b = -3*k + 250, 0 = -k + 5*b + 16 + x. Does 28 divide k?
True
Suppose 1085 = 5*u - 3*p, -4*p = -2*u + p + 453. Suppose -2*c - u = -4*k, 4*k - 7*c + 3*c = 212. Is 27 a factor of k?
True
Suppose 8*n = 3*n - 2*u - 110, -5*n - u = 110. Let i = n + 105. Does 11 divide i?
False
Suppose 3*s = -2*c + 641, -s = 2*s - 3*c - 636. Does 3 divide s?
True
Let b(z) = -4*z**2 - 9*z - 2. Let q(r) = 13*r**2 + 38*r + 8 - 1 - 1 - 10*r. Let m(l) = -7*b(l) - 2*q(l). Is m(-6) a multiple of 13?
False
Let s(x) = -4*x**3 - 1. Let d be s(1). Let g = 13 + d. Suppose -3*v + 77 = g. Is v a multiple of 15?
False
Let v(d) = -8*d - 7. Let x(y) = 8*y + 7. Let b(t) = 5*v(t) + 4*x(t). Let i be b(8). Is (-2)/(-2 + i/(-36)) a multiple of 24?
True
Suppose 3*d = -4*j + 4*d - 4, 3*j = -5*d + 20. Suppose -5*y + j*y + 5 = -5*s, 16 = -4*y. Is 6 a factor of ((-8)/10)/(s/150)?
True
Let d = 921 + -267. Is d a multiple of 46?
False
Suppose -34 + 2 = -2*d. Suppose 7 = -2*h - 5*s, 2*h = 3*h + 5*s + d. Let w = 57 - h. Is 16 a factor of w?
True
Let v(w) = -w + 9. Let l be v(-3). Suppose -p - 2*p + 5*y = -400, 0 = 3*y - l. Is 28 a factor of p?
True
Let r = -7 + 7. Let m = 4 - r. Suppose 296 = m*t - 188. Is t a multiple of 17?
False
Let r = 24 - 22. Let g(s) = -7*s - 4. Let c be g(-5). Suppose -4*q - r*t = q - c, -4*t + 6 = 2*q. Is q a multiple of 2?
False
Suppose 6*d + 2*d - 760 = 0. Suppose 0 - 10 = -5*h. Suppose 3*g = -h*g + d. Is 19 a factor of g?
True
Is 35 a factor of (-7)/(35/(-6655)) - 1?
True
Suppose 15*y = 10*y + 3380. Suppose -y = -3*v - 151. Does 25 divide v?
True
Is (-10)/40 - 113/(-4) a multiple of 14?
True
Let c(k) = 56*k - 84. Is 21 a factor of c(9)?
True
Let b(k) = 7*k + 2. Let u(h) = 1. Let m(v) = b(v) + 6*u(v). Let l be m(16). Suppose -q = 4*q - l. Is q a multiple of 6?
True
Let w be 3 + (-2)/((-2)/147). Let b be (12/(-5))/((-1)/w). Suppose q = 6*q - b. Is q a multiple of 26?
False
Let g(v) be the second derivative of v**5/20 + 13*v**4/12 + 4*v**3/3 - 29*v**2/2 + 39*v. Is 5 a factor of g(-12)?
False
Suppose 5*c = 3*p - 4895, 3290 = 6*p - 4*p + 2*c. Is 10 a factor of p?
True
Suppose 6 + 0 = -6*m. Is 5 a factor of ((-20)/(-6))/(m/(-3))?
True
Let c(r) = -r**3 - 15*r**2 - r - 11. Let k be c(-15). Let b be 1/2 - 10/(-4). Suppose k*t + 107 = 3*w + 2*w, b*w = 5*t + 59. Is 23 a factor of w?
True
Suppose 8*c = 5*c + 1608. Suppose 2*g = -u + 129, -5*g + 3*u - 197 + c = 0. Does 12 divide g?
False
Suppose -4*o - 214 = -622. Is o a multiple of 8?
False
Suppose -3*f - 42 = 4*p, 5*p = -f + 3*p - 16. Is f/4 + (-1917)/(-18) a multiple of 13?
True
Suppose -7*j = -31*j + 27600. Does 67 divide j?
False
Suppose -4*y = -119 - 145. Let m = 111 - y. Is m a multiple of 15?
True
Suppose 5*i - 5*v - 4 - 51 = 0, 4*i + 5*v - 44 = 0. Suppose 14*z = i*z + 300. Does 12 divide z?
False
Let f(w) = 13*w - 67. Is f(12) even?
False
Suppose 120 = 2*q - 4*t - 50, -2*q + 2*t + 170 = 0. Is 17 a factor of q?
True
Let u(b) = 31*b**2 + 7*b - 8. Does 5 divide u(1)?
True
Is 2545/4 + 605/44 + -14 a multiple of 12?
True
Let z be (6/(-2))/(1/(-3)). Suppose -3*g = 4*a + 3, 5*g - 2*a + 3*a = -5. Is (-6 + 1)/(g/z) a multiple of 9?
True
Let y = 177 + -86. Let a be 7532/(-154) + 1/(-11). Let c = y + a. Is c a multiple of 14?
True
Suppose 0 = -5*d + 2*m + 12, -2*d + 17 - 1 = 2*m. Suppose 16 = 4*x, 4*g - 68 = -x - d. Is g a multiple of 15?
True
Does 9 divide (-8921)/(-110) - 5/50?
True
Let p be (-4)/(-2)*81/18. Suppose p*z - 280 = 2*z. Does 8 divide z?
True
Suppose -s = -4*w + 695, -w - 3*s - 519 = -4*w. Is 3 a factor of w?
True
Is ((-350)/15)/(39/(-5850)) a multiple of 100?
True
Let r = 4822 - 3149. Is r a multiple of 22?
False
Is 44 a factor of (-364)/819 + 17018/18?
False
Let d = -1863 + 3022. Is 19 a factor of d?
True
Suppose 0*k = -j + 2*k + 1046, 0 = -2*j + 2*k + 2096. Is 48 a factor of j?
False
Suppose 7*h + 2*p = 4*h + 5514, -2*h - 2*p + 3678 = 0. Is h a multiple of 12?
True
Suppose 7*h + 998 - 4897 = 0. Does 14 divide h?
False
Let f = -2817 + 4643. Does 83 divide f?
True
Suppose -22*u + 25020 = 38*u. Is u even?
False
Let q(k) = 24*k**2 + k - 1. Is 6 a factor of q(-2)?
False
Suppose q = 2*q + 3, 5*q = 3*w - 24. Suppose 2*l = -w*l + 170. Does 3 divide l?
False
Let c = -1140 - -1684. Is 4 a facto