ose k + 4*k - 183 = -w*j, 5*j - 486 = -3*k. Is 36 a factor of j?
False
Let y = -22 + 64. Suppose 0 = -l + c + y, 0*l + 4*c = l - 48. Is 9 a factor of l?
False
Let u = -219 + 355. Suppose -2*q - 3 = -5*q, -2*g + 2*q = -2. Suppose -g*x - v - 3*v = -u, -x - 5*v + 62 = 0. Is x a multiple of 15?
False
Let y = -12 - -16. Does 19 divide y/((-8)/220*-5)?
False
Let x(r) = -r**3 - 5*r**2 - 2*r - 13. Let y be x(-5). Let j(i) = 12*i**2 - 8*i - 14. Is 7 a factor of j(y)?
False
Let z(x) = x**2 - 10*x + 13. Let q = -9 + 12. Suppose -w + q = -6. Is 2 a factor of z(w)?
True
Does 15 divide 0/2 - 1500/(-8)*2?
True
Suppose 4*d - 16 = 0, -5*d - 923 = -5*m - 2*d. Does 17 divide m?
True
Suppose -p + 20 = 2*t, -2*p + 3*t - t + 70 = 0. Let m = 44 + p. Does 10 divide m?
False
Let w(p) = -9*p**2 - 8*p + 16. Let l be w(-7). Let b be (0 + -3)*2/6. Is 14 a factor of (-1)/b + l/(-9)?
True
Let m(u) = -10*u - 4 - 5*u - 11*u. Is 8 a factor of m(-2)?
True
Let y(r) = r**3 + 30. Let q be y(0). Suppose 0 = -0*m + 2*m - k - 25, -2*k - q = -2*m. Is 4 a factor of m?
False
Let q(p) = p**2 - 6*p - 8. Let j be q(6). Let a = 17 + j. Suppose -n + a + 21 = 0. Does 10 divide n?
True
Suppose 4*h = 63*b - 64*b + 2296, 0 = 4*h + 16. Is 16 a factor of b?
False
Suppose 10*l - 7*l = 18. Suppose -c + l = -1. Let j(o) = o - 2. Does 2 divide j(c)?
False
Let a = 682 - 360. Does 7 divide a?
True
Is ((-20)/3)/((-2)/189) a multiple of 75?
False
Let m be ((-14)/(-49))/((-2)/(-14)). Let g(v) be the third derivative of 11*v**4/24 - v**3/6 - v**2. Is g(m) a multiple of 7?
True
Let h be 4/4 - (-176)/2. Suppose 2*y - h - 183 = 0. Is y a multiple of 34?
True
Let r = 258 + -133. Let w = r - 81. Suppose j - 5*j + w = p, -3*p - 2*j = -112. Is p a multiple of 36?
True
Let c(a) = a**3 - 9*a**2 - 7*a - 7. Let r(b) = 2*b - 2. Let v be r(6). Does 10 divide c(v)?
False
Suppose 0*o - 271 = -3*p + 4*o, p = 3*o + 87. Is 5 a factor of p?
False
Let r = 472 + -215. Let p = r - 155. Is 17 a factor of p?
True
Let h be (-2004)/(-10) - ((-18)/5 + 3). Suppose -4*k - 20 = 0, -d - 3*k + h = -0*d. Is d a multiple of 24?
True
Let m(d) = -d**2 + 18*d + 42. Let j be m(20). Is 18 a factor of 8/6*36/j?
False
Let v be 369/45 + (4/10)/(-2). Let i(k) = -k**3 + 11*k**2 - 8*k - 15. Does 11 divide i(v)?
False
Let d = 556 - -20. Does 24 divide d?
True
Let d = 343 - 203. Is 7 a factor of d?
True
Let a(p) = -201*p - 2. Is a(-1) a multiple of 33?
False
Let c = 271 - -58. Is c a multiple of 7?
True
Is 18 a factor of (233002/(-44) + 23)*(-2)/3?
False
Let z = -40 + 141. Is 6 a factor of z?
False
Let p(w) = -140*w - 22. Does 12 divide p(-3)?
False
Suppose 4*i = 4*g + 6216, 3*i - 2150 - 2480 = -5*g. Does 25 divide i?
True
Let z(f) = -f**2 + 11*f - 2. Let s be z(13). Let c = s + 33. Suppose c*m - 2*u = u + 135, -81 = -3*m - 3*u. Is 6 a factor of m?
False
Suppose -3*l = -343 - 287. Is l a multiple of 35?
True
Let w = 3 - -1. Suppose -w*j = 2*s - 7 - 19, -3*j - 15 = 0. Let m = s - 13. Is 5 a factor of m?
True
Let g(d) = 2*d + 14. Let c be g(-5). Suppose c*x = 6*x - 140. Is x a multiple of 7?
True
Let b = 521 - 114. Does 11 divide b?
True
Is 12/54 - (1 - (-9572)/(-18)) a multiple of 47?
False
Does 15 divide 4680/16 + 2 - 3/(-6)?
False
Let g be (-1)/4 - (-208)/64. Suppose -g*k = -4*k + 2. Suppose 0 = k*q - 5*q + 63. Is 7 a factor of q?
True
Suppose 0 = -13*v - 1478 + 14348. Suppose 0 = 5*d - 270 - v. Is 14 a factor of d?
True
Does 35 divide 59648/144 + 152/(-36) + 4?
False
Let b be 36/7 - (-4)/(-28). Let i(w) = -b*w - 9*w - 1 - 3*w - 3*w. Does 33 divide i(-5)?
True
Let v(x) = -x**3 + x**2 - x + 2. Let m be v(0). Suppose 4*n - 166 = -3*p - m, 68 = p - 2*n. Does 10 divide p?
True
Let x(s) = 4 - 1 - 2 + 0 - 83*s. Let o be x(-1). Suppose 6*h - 2*h = o. Is h a multiple of 7?
True
Suppose 0*p = -p + s - 6, -12 = -4*p - 5*s. Let n = p - -62. Is n a multiple of 6?
True
Suppose 31*h - 1087 = 28*h - 5*x, 0 = -3*h - 3*x + 1089. Does 7 divide h?
True
Is (-2 - -5)/(21/1799) a multiple of 8?
False
Let f = -89 - -284. Is f a multiple of 15?
True
Let b be -2*((-375)/2 - -1). Let k = b - 263. Is 22 a factor of k?
True
Let b be (-166)/(-6) - 20/30. Suppose 0 = -2*y + 111 - b. Is y a multiple of 7?
True
Let m be (1 + -5)*12/16. Let y be -3*((-76)/(-12) + m). Let b(x) = x**2 + 7*x + 1. Does 31 divide b(y)?
True
Suppose -4*w - 206 - 40 = 3*t, -3*w + t = 191. Let j = w - -137. Does 7 divide j?
False
Let f(c) = -30*c - 36. Is f(-6) a multiple of 8?
True
Let p = 12 - 12. Suppose p = -0*k - 5*k. Suppose k = 3*g - 2*g - 10. Is g a multiple of 10?
True
Let z(i) = -i**2 + 3*i + 133. Suppose 0 = 3*j + 4*y + 12, 3 = j - 2*j - y. Does 19 divide z(j)?
True
Suppose 0 = 326*h - 324*h - 8, 4*h = 3*q - 3281. Does 7 divide q?
True
Let p(h) be the first derivative of h**2/2 + h - 1. Let j be p(4). Suppose 0 = o - j*a - 44, 0 = o - 2*a - 0*a - 32. Is o a multiple of 8?
True
Suppose -6*q - 144 = 2*q. Let u be 48/q*(-210)/8. Suppose -3*y + u = 4*y. Is y a multiple of 2?
True
Let x = -17 - -16. Let u = x + 1. Suppose -3*c - 7 + 43 = u. Does 6 divide c?
True
Suppose 3*f = -0*f - 6, 5*p - 351 = -2*f. Suppose 0 = 3*c - 275 + p. Is c a multiple of 10?
False
Let y = 1496 - 702. Is 68 a factor of y?
False
Let k(d) = 0*d - 1 + 10 + d + 3*d. Suppose -p + 18 = p. Does 14 divide k(p)?
False
Suppose 50 - 50 = 3*z. Suppose -4*x + 2*x + 134 = z. Is 16 a factor of x?
False
Let a = 184 - -661. Does 15 divide a?
False
Let i = -19 - -25. Is 5 + (2 - i) + 3 a multiple of 3?
False
Let q = 2471 + -931. Is q a multiple of 110?
True
Let v = 89 + -125. Is 8 a factor of 70*(-4 - v/8)?
False
Let r = 252 - 134. Let s = r - 100. Is 6 a factor of s?
True
Let b(a) = 2*a - 1. Let s be b(-6). Let k = s - -17. Suppose 3*r = k*m + 1, m - r - 1 = -2. Is m a multiple of 2?
True
Let d be (-90)/(-4) - (-6)/4. Suppose -3*m - 2*i - 42 = 0, 4*i + 48 = -5*m - d. Is 4/(m/(-159)) - 4 a multiple of 23?
False
Let h = 1 + 20. Let r be (-3)/21 - (-66)/h. Is (-2)/r + 1520/30 a multiple of 12?
False
Suppose 3300 = 32*v - 20*v. Does 55 divide v?
True
Let u(n) = -3 + 3 + 5 + 3*n - 1. Suppose 5*b - q = 23, -4*b - 5*q + 30 = -0*q. Is u(b) a multiple of 5?
False
Let w be (72/24)/(2/2). Suppose -73 = -w*h + 17. Is 15 a factor of h?
True
Is 12 a factor of 0 + -2 - 2 - (-2176)/16?
True
Let w be 2/2 + -3 + 2. Let q be (-1 - 0) + w - -5. Suppose 151 = q*x + s, 23 = 3*x + 4*s - 74. Does 6 divide x?
False
Suppose -5*b = -2*w - w + 2423, 0 = 2*w + 4*b - 1608. Does 13 divide w?
True
Let m(v) = -v**2 - 26*v - 93. Is m(-19) a multiple of 40?
True
Suppose -2*u - f - 3 = -5*u, -5*f + 9 = -3*u. Suppose 8 - u = -n. Is 7 a factor of n/4*(-28)/3?
True
Suppose -4*q + 36*w - 31*w = -4085, -3*w = -2*q + 2043. Is 15 a factor of q?
True
Let g be -2 + (-20)/4*-3. Let z = 13 - g. Suppose -t + 2*t - 16 = z. Is 7 a factor of t?
False
Let u = -996 - -1306. Does 5 divide u?
True
Suppose -5*c = 20, 5*c + 278 = 3*b - 150. Is 17 a factor of b?
True
Let s(q) = -q**2 + 2. Let n be s(2). Is (n/8 + 2)/(3/36) a multiple of 3?
True
Let l(z) = -10*z - 6. Let a be l(-2). Is 2 a factor of 1/(16/a + -1)?
False
Let a(h) = h. Suppose 0*k - 78 = -6*k. Does 3 divide a(k)?
False
Let y = 5 - 2. Suppose 4 = -y*u + 13. Suppose 55 = 8*w - u*w. Is w a multiple of 3?
False
Suppose -1991 + 11268 = 3*r - 5*i, -4*r + 12360 = -2*i. Is 103 a factor of r?
False
Let l be (-3)/6*0 + 73. Let m = -13 + l. Does 17 divide (-2 - -1) + m + 1?
False
Suppose -4*i + 1106 = -2*n, 6*i - 4*i = -3*n + 541. Is 25 a factor of i?
True
Suppose 15*n = -1942 + 5587. Does 5 divide n?
False
Let y(h) = 3*h - 6. Let r(f) = 6*f - 11. Let m(j) = -3*r(j) + 7*y(j). Let a = 183 + -177. Is 3 a factor of m(a)?
True
Suppose 4*d = -3*d + 252. Suppose d + 25 = t. Does 27 divide t?
False
Let v(s) = 2*s**2 - 8*s + 13. Let w be v(4). Let h = w - -59. Is h a multiple of 16?
False
Let c(w) = 59*w + 68. Is 10 a factor of c(8)?
True
Let b(k) = -k**2 + 3*k + 8. Let p be b(4). Is -21*(2 - p)/2 a multiple of 7?
True
Let x(f) = -6*f**3 - 13*f**2 - 7*f - 16. Let u(q) = -5*q**3 - 13*q**2 - 8*q - 17. Let o(l) = -5*u(l) + 4*x(l). Is o(-12) a multiple of 4?
False
Suppose 80*y - 86*y + 120 = 0. Is y a multiple of 10?
True
Let v be (1/3)/((-2)/(-18)). Let p(s) = 0*s - s + 3*s**2 + 2 - 4*s + 2*s**2. Is p(v) a multiple of 14?
False
Let o(r) = 4*r**2 + 3. Le