73. Suppose 4*k - 15*k = -j. Suppose 90 = 3*b + 4*y - 262, -y + k = 5*b. Does 28 divide b?
True
Let j be (140/(-15))/(6/(-9)). Suppose 0 = s - 4*z - j, 5*s = -2*z - 35 - 5. Does 16 divide ((-73)/4)/(s/24)?
False
Suppose -133785 = -27*s + 85158. Does 15 divide s?
False
Let m be 391040/110 + 8/88. Let j = m + -2106. Is 69 a factor of j?
True
Is ((-20)/25 + 6)/((-2)/(-940)) a multiple of 94?
True
Let f(l) = l**3 - 8*l**2 - 2*l. Let c be f(8). Let z be -3*1*(-568)/(-12). Is 11 a factor of c + 12 + (1 - z)?
False
Let h(p) = 5*p - 14. Let z(t) = 2*t**2 - 3*t - 3. Let q be z(3). Let g be h(q). Let k(u) = 8*u + 6. Is k(g) a multiple of 16?
False
Is (-22 - -20) + 14 - -11822 a multiple of 8?
False
Is 23 a factor of (237/6)/((-4)/(-368))?
True
Let s = -153 - -236. Suppose 0 = 2*c + 35 - s. Is c a multiple of 6?
True
Does 53 divide 473178/24 - 51/(-204)?
True
Let o(k) = 313*k**3 + 11*k**2 + 93*k - 413. Does 43 divide o(4)?
True
Let g(h) be the third derivative of 0*h + h**2 + 0 + 11/6*h**4 + 4/3*h**3. Is g(4) a multiple of 22?
False
Let x(q) = 51*q + 6143. Is 2 a factor of x(-112)?
False
Suppose i + 663 = -2*l, l + 0*i = -3*i - 344. Let k = -40 - l. Is 21 a factor of k?
False
Suppose -2*y + 3 + 2 = 3*p, 0 = -4*y - 3*p + 1. Let o(q) = 42*q**2 - q. Is 28 a factor of o(y)?
False
Let g(q) = 7*q. Let l(y) = 7*y + 1. Let m(k) = -2*g(k) + 3*l(k). Does 6 divide m(15)?
True
Let t(v) = 8 - 9 + 6 + 6 - 3*v. Let j be t(2). Suppose 0 = -5*x - j*m + 1005, 43 - 865 = -4*x + 2*m. Is 34 a factor of x?
True
Does 21 divide 10 - (-59096)/12 - (-4)/12?
True
Let l(u) be the second derivative of 55*u**4/12 - 3*u**3/2 - 3*u**2 + 196*u. Is l(-4) a multiple of 70?
True
Let j(x) = 1356*x**2 + 4*x + 13. Let m(p) = 1358*p**2 + 5*p + 12. Let o(l) = -4*j(l) + 5*m(l). Does 41 divide o(-1)?
False
Let a = 835 + -547. Let c = a + 216. Is c a multiple of 12?
True
Let u = -3 + 13. Let n(t) = -36*t + 282. Let f be n(12). Let s = u - f. Does 40 divide s?
True
Suppose 8*c + 19 = -11*c. Is -15 + 13 - (c - (1 + 497)) a multiple of 16?
False
Let b(v) = -v**2 - 8*v + 7. Let o = -43 - -36. Let d be b(o). Suppose w - d = -6. Does 8 divide w?
True
Suppose 4*r - 3*i - 10818 = 0, 5430 = 2*r + 71*i - 76*i. Is r a multiple of 60?
True
Let i = 185 - 132. Suppose -143 - i = -2*q. Is 7 a factor of q?
True
Let f = -19 + 35. Let u be (6/8)/((-250)/(-40) + (-8 - -2)). Suppose 91 = -u*j + f*j. Is j a multiple of 2?
False
Let j(s) = 0*s + 39 + 3*s + s - 2*s - s. Is 37 a factor of j(4)?
False
Suppose -5*w = -5*n - w - 252, 2*n + 102 = 2*w. Suppose 0 = -2*l + 6, 3*l = 5*p + 4*l + 42. Does 15 divide n*(1 + 21/p)?
False
Suppose -141*r + 288794 = -119*r. Is 6 a factor of r?
False
Suppose 364*z - 369*z = 445. Let k = z + 154. Does 2 divide k?
False
Suppose -35*r - 4*r + 17255 = -4*r. Is r a multiple of 9?
False
Let s = -108784 - -167996. Is s a multiple of 113?
True
Let h(q) = -q**3 - 3*q**2 - 3*q - 5. Let c be h(-2). Let b be 161/c + 12/18. Let y = 93 + b. Is y a multiple of 5?
True
Let d = 59 - 41. Suppose -4*t + 2 + d = 2*o, -24 = -2*o - 5*t. Suppose 5*z = 15, p - 4*z - 120 = -o*p. Is 22 a factor of p?
True
Let d(i) = -2*i**2 + 9*i - 18. Let r be d(6). Let h = r + 6. Let b = -6 - h. Is b a multiple of 6?
True
Suppose 0 = -14*b - 2092 + 5522. Let k = b - 128. Is 17 a factor of k?
False
Let o be 164/(33/6 - 5). Suppose -3*n = -5*i + 2*n + 1540, 5*n = i - o. Does 21 divide i?
False
Let h(o) = -4*o + 12. Let s be h(2). Suppose -4*x + 689 = 3*d, 5*d = -s*x + 1785 - 626. Is 27 a factor of d?
False
Is 13 a factor of ((-148920)/(-12) + 5)/1 + 13?
True
Let u = -8 + 4. Let g be (-2264)/(-54) + 110/1485. Is g/u*(76/(-12) - -1) a multiple of 10?
False
Suppose z - 6015 = 4*l, -4034*z - 12018 = -4036*z - 4*l. Does 14 divide z?
False
Let d = 1013 - 707. Suppose 3*s + s - d = -c, c = -2*s + 314. Does 23 divide c?
True
Suppose -2*b - 3*c = -7*b + 24, -b - c = 0. Let p be (-1)/b - ((-515)/15 - -3). Let w = p - -98. Is 21 a factor of w?
False
Let b(i) = 6326*i**2 + 43*i - 49. Is 16 a factor of b(1)?
True
Let k = -444 + -453. Let s = k - -1820. Is s a multiple of 17?
False
Let g(p) = 4*p**2 + 15*p + 18. Does 74 divide g(-14)?
True
Suppose -6*x + 1143 = -375. Is 28 a factor of 25001/x + 2/11?
False
Suppose 4*l = 4*i + 986 + 4094, 5*i + 1274 = l. Is l a multiple of 6?
False
Let l(b) = -41*b - 215. Let x be l(-6). Suppose x*m - 2*t - 506 = 30*m, 2*m = 2*t + 1012. Is 23 a factor of m?
True
Let t = -59 - -111. Let y = t - -80. Is 66 a factor of y?
True
Let u be (-362)/(-6) - 4/(-6). Let j(k) = k**2 - 33*k - 323. Let d be j(41). Suppose -d*a + 359 = -u. Does 12 divide a?
True
Let a(m) = 298*m + 267 - 300 + 387*m - 58*m. Is 11 a factor of a(2)?
True
Suppose 0 = -19*v - 7*v + 5*v. Suppose v = 16*f - 6*f - 2640. Is f a multiple of 14?
False
Suppose 5*y - x - 193040 = 0, -118*x + 116*x - 38617 = -y. Is 14 a factor of y?
False
Suppose -2*z = 3*w - 13, -4*w + 2 = -8*z + 3*z. Suppose -3*d + 629 = -2*u, d - u - 208 = -z*u. Is 19 a factor of d?
True
Let w = 165 - 105. Let a be 1/(-4) + 143/(-4). Let u = w + a. Does 13 divide u?
False
Let r be -1*(0 + 1 - 1). Suppose b + 2 = r, b + 682 = -l + 5*l. Is 5 a factor of l?
True
Is (-15650)/(-1) - 13*4/(-13) a multiple of 6?
True
Let l = -15916 - -34655. Does 15 divide l?
False
Suppose -s = -k - 10 + 56, k + 4*s = 21. Suppose 311 + 1102 = 9*c. Suppose -c - k = -3*y. Is 12 a factor of y?
False
Let y(k) = k**2 - 5*k + 16. Suppose -3*i - 10 - 14 = 0. Is y(i) a multiple of 7?
False
Suppose 1005 = 3*y + 8*h - 11*h, -2*h + 1358 = 4*y. Let j = y - 56. Is j a multiple of 10?
False
Suppose -10*m = -12*m + 6164. Suppose -22*b = -m - 1296. Does 28 divide b?
False
Suppose 40*u + 57*u = 149*u - 671424. Is u a multiple of 172?
False
Let d be 37 + 1*(-2)/4*0. Suppose -5*r - 27 = -d. Suppose -r*w = 4*w - 180. Is w a multiple of 8?
False
Let k = -4813 - -9443. Is 26 a factor of k?
False
Let p = -8961 - -10361. Is p a multiple of 12?
False
Let f(k) = 6325*k**2 - 52*k - 9. Does 174 divide f(-3)?
True
Let s(j) = -5 - j**3 + 2*j + 3*j - j**2 + 0*j + 2*j. Let b be s(-4). Let k = -5 + b. Is 5 a factor of k?
True
Is 3 a factor of 2062*(3 + 2)/(-10)*-1?
False
Let c(f) = -f**3 - 49*f**2 - 596*f + 35. Is 116 a factor of c(-12)?
False
Suppose 9 = 4*n + 1. Suppose n*s = -579 + 2619. Is s a multiple of 85?
True
Let h = -1645 - -938. Let a = h + 1131. Is 46 a factor of a?
False
Suppose 5*r + 3*s = 22017, 0 = -5*s - 10 + 55. Is 82 a factor of r?
False
Suppose -65 = -5*j - 3*i, 3*j - 58 = 4*i - 2*i. Let g be (j/(-24))/(-4*(-1)/(-1734)). Let v = g - 130. Is v a multiple of 23?
False
Suppose -3*w + t + 24 - 5 = 0, -2*w - 5*t - 10 = 0. Let x(i) = i**2 + 644. Let y be x(0). Suppose j = -2*h + 168 + 65, 3*j - y = w*h. Is 38 a factor of j?
False
Let m(h) = 2*h**2 + 21*h + 30. Let w(d) = d**2 + d + 2. Let c(g) = -m(g) + 4*w(g). Is 11 a factor of c(19)?
False
Suppose -7280 = 3935*w - 3948*w. Is 112 a factor of w?
True
Let x = -576 + 1061. Suppose 5*d = -4*n + x, -634 = -8*n + 3*n + 3*d. Is 8 a factor of n?
False
Let o be 2 + 27 + (-105)/(-21). Let y(a) = 2*a**2 - 57*a - 50. Is 35 a factor of y(o)?
False
Suppose -3*c - f = -28, 3*f = c + 7*f - 2. Let k = 15 + c. Is 68/(-85)*k/(-2) a multiple of 3?
False
Suppose -4*s + 27 + 43 = -2*i, 5*i = 2*s - 47. Suppose s*x - 2538 = -11*x. Does 13 divide x?
False
Let d(q) = -424*q**3 - 17*q**2 - 66*q - 8. Is d(-4) a multiple of 30?
True
Let g = 123 + -117. Let p(v) = 18 + 5*v**2 - 3*v**2 + 2*v - 10*v. Is p(g) a multiple of 21?
True
Suppose 3*m - 9 = 0, v - 4*m = -0*v - 10. Let t be ((-9)/v)/((-36)/(-1536)). Is (-8)/(-8) + t/(-2) a multiple of 20?
False
Does 24 divide (-1)/(6/(-40))*1*1953768/4064?
False
Is 54 a factor of (3600/(-14))/(((-224)/3528)/(2/3))?
True
Let w(c) = 5*c**2 + 2*c**3 - c**2 - 3*c**2. Let f be w(2). Is 0/f + -1 + 19 a multiple of 4?
False
Let r(q) = -17*q - 67. Let i(t) = 4*t + 16. Let y(h) = 26*i(h) + 6*r(h). Let n = 5 + 0. Does 6 divide y(n)?
True
Let z(p) = p**2 + 23*p + 59. Is 4 a factor of z(-44)?
False
Let v(l) = 134*l**3 + l**2 - 3*l + 2. Let f be v(1). Suppose -i = i - f. Suppose -2*j = -i - 157. Does 16 divide j?
True
Let r be 7 - 15/(15/8). Is 111/(-74)*24/r a multiple of 4?
True
Suppose -167 = -11*p + 603. Let n be (-100)/16 + 6 + p/(-8). Let w(l) = l**2 + 4*l - 10. Is 15 a f