))/(10/15). Suppose x*j + 3*y = 11, 8 = 2*j - y + 5*y. Does 22 divide 6/(-4) + 143/j?
False
Let g = -1103 + 1985. Is 16 a factor of g?
False
Is 41592/84 + 3/(-21) a multiple of 5?
True
Suppose 2*t + 4652 = 6*t - 4*g, -3*g + 1151 = t. Is 116 a factor of t?
True
Let s be 1 + 107/1 - -1. Suppose 0 = 4*g - 3*d - 18, g + 9 = -5*d + 2. Is s/g - (-3)/(-9) a multiple of 18?
True
Suppose 2*j + 5*l = 138, -16 + 85 = j + 2*l. Suppose -386 = -4*m - 2*o, 2*m - 3*o = 2*o + 199. Let p = m - j. Does 14 divide p?
True
Suppose -8 = -5*h + 2. Is 4 a factor of (2 - h - -2)*3?
False
Let x be 68/2 + -6*(-3)/6. Let f = 158 - x. Does 11 divide f?
True
Suppose 4*i = 2*b + 456, -i - 3*b = -7*b - 114. Suppose -k - i = -4*k. Let s = k - 11. Is 27 a factor of s?
True
Let q be 152/(-2) + -2 + 0. Let h = 21 - q. Is h a multiple of 9?
True
Let w(j) = -j**3 + 12*j**2 + 2*j - 23. Is 12 a factor of w(9)?
False
Let y = -78 - -55. Let q = -138 - y. Let f = q + 193. Does 26 divide f?
True
Let b(v) = 20*v - 6. Suppose -4*m - 6*c = -2*c + 20, -5*m - 17 = -3*c. Let o be (m - -3)*(2 + -6). Is b(o) a multiple of 16?
False
Let l = 79 + -36. Suppose 4*z = 1 + l. Is 9 a factor of z?
False
Let c(r) = 13*r**2 + 2*r - 3. Let s be 18/(-3) + -1 - -4. Is 18 a factor of c(s)?
True
Is (-2 - 19 - -16) + (1333 - -1) a multiple of 3?
True
Suppose 13 = 5*k - 2. Suppose 0 = -k*s - 0*s + 393. Suppose s = 4*i + 47. Does 15 divide i?
False
Is ((-74)/5)/((-35)/1925) a multiple of 15?
False
Let j(x) = -x**2 + 9*x - 3. Let d be j(8). Suppose 4*o + 2*i = 244, -o - 10*i + d*i = -70. Is 20 a factor of o?
True
Let j(d) = 31*d**2 - 90*d - 27. Does 33 divide j(15)?
False
Let k(h) = 7*h**2 + 24*h - 3. Is k(4) a multiple of 12?
False
Let k(v) = 3*v**2 + 4*v - 6. Let r(t) = -8*t**2 - 11*t + 18. Let n(s) = 11*k(s) + 4*r(s). Is n(-8) a multiple of 23?
False
Suppose 2*k - 3*q = 52, q = -5*k - 2*q + 88. Is 20 a factor of k?
True
Let n(h) = -2*h**2 - 25*h - 17. Let t be n(-11). Let k = 133 + t. Is 9 a factor of k?
False
Suppose 5*a - 8*a = -12. Is -1 - (-35 - (a + (1 - 3))) a multiple of 12?
True
Let x(g) = -g**3 - 8*g**2 + g + 8. Is x(-9) a multiple of 4?
True
Let v = 11 + -6. Suppose -2*a + 401 - 127 = 3*w, 727 = v*a - 3*w. Is a a multiple of 13?
True
Let c(z) = -z + 7. Let b(k) = k**3 - 5*k**2 + 4*k + 5. Let m be b(4). Let h be c(m). Suppose -3*j - 2*v - 4 = -100, 0 = -h*v + 6. Is j a multiple of 10?
True
Let u(y) = -15*y - 2. Let l be u(-1). Suppose 1 = -m + l. Is 2 a factor of m?
True
Let l(j) = -j**3 + 25*j**2 - 33*j + 94. Is l(23) a multiple of 3?
True
Let t(a) = a**2 + 7*a + 4. Let m be t(17). Suppose 9*q + m = 13*q. Is q a multiple of 27?
False
Suppose -2*h + 14 + 22 = 0. Suppose h = -5*j + 38. Suppose -26 - 202 = -j*q. Is q a multiple of 9?
False
Let a be (0 - 1)*1*-1. Let p(i) = i. Let v(j) = -j + 5. Let d(u) = a*v(u) + 2*p(u). Is d(7) a multiple of 5?
False
Suppose -366 = -3*x - 60. Let f = x + -60. Is 14 a factor of f?
True
Let f = -47 + 45. Is 12 a factor of 2/(-5)*(-87 - f)?
False
Let a = 1128 + -999. Does 3 divide a?
True
Does 27 divide 1*5 - (-490 - 119/(-17))?
False
Let d(b) = b**2 + 5*b + 2. Let y(j) = j**2 - 5. Let k be y(0). Let w be d(k). Suppose -w*t + 5 = -5. Is 5 a factor of t?
True
Suppose 0 = r + 5*u - 319, 50*u - 54*u = -3*r + 862. Is r a multiple of 21?
True
Let k = -28 + 244. Suppose -4*x + 3*x = -k. Is x a multiple of 12?
True
Let y be ((-2)/3 - -1)/(13/156). Suppose y*a = -0*a + 216. Is a a multiple of 9?
True
Let z = -233 - -441. Does 16 divide z?
True
Suppose -5*y + 3055 = -2*n, 0 = -2*y - 5*n + 2*n + 1241. Let j = y + -346. Suppose 0 = -4*v - 5*c + j, v - 2*c - 274 = -3*v. Is 14 a factor of v?
False
Let r(i) = -4*i**3 - 29*i**2 - 24*i - 38. Is 23 a factor of r(-11)?
False
Let r be 3/3*1*83. Let i(q) = -136*q**3 - 2*q - 1. Let f be i(-1). Let u = f - r. Is 18 a factor of u?
True
Let p = 11 + 0. Suppose p*n = -6*n + 714. Does 7 divide n?
True
Let v = -7 - 16. Let u(f) = -4*f - 47. Does 5 divide u(v)?
True
Let k(w) = 3*w**3 - 7*w**2 - w + 10. Is 20 a factor of k(6)?
True
Let d be 3*-1 + (-140)/(-14). Let u = 31 - d. Is 7 a factor of u?
False
Let q = 31 - 21. Let j = q + -14. Let o = j - -10. Is 5 a factor of o?
False
Suppose 19*w = 22*w - 1200. Is w a multiple of 26?
False
Suppose -13*c + 6000 + 28320 = 0. Does 15 divide c?
True
Suppose 8*y + 45 = 13. Is 32 a factor of (-51 - 1 - y)*8/(-6)?
True
Let z = 1998 + 1394. Is 96 a factor of z?
False
Is (-30)/70 + (-53212)/(-28) a multiple of 50?
True
Suppose 5*s = 2*s + 39. Suppose 16*g = s*g. Suppose g = -c + 3*c - 44. Is c a multiple of 5?
False
Let j = 72 - -17. Does 27 divide (-5)/(-15) - j/(-3)?
False
Suppose -4*i + 1032 = f, 3*f + 265 = i + 5*f. Let j = 393 - i. Is 25 a factor of j?
False
Let f(x) = 74*x - 30. Is f(6) a multiple of 46?
True
Suppose 4*u = -5*v + 3220, -3915 = -4*v - 2*u - 1345. Does 4 divide v?
True
Let l = 3283 - 2210. Is 38 a factor of l?
False
Let b(l) be the first derivative of -l**4/4 - 2*l**3/3 + 3*l**2 + 4*l - 1. Let t = 771 + -775. Is 12 a factor of b(t)?
True
Suppose 4*c + 50 = 242. Does 24 divide c?
True
Let m be (3 - 2) + 24/3. Let i(r) = -3*r**2 + 21*r + 11. Let x(z) = 7*z**2 - 43*z - 22. Let o(b) = m*i(b) + 4*x(b). Does 2 divide o(-17)?
False
Let v be (7 - -2)/3 + -13. Let g be (-17)/(-5) + (-6)/v. Suppose g*i + 19 = 5*i. Does 6 divide i?
False
Let z = -380 - -406. Suppose l + 0*l + 10 = 0. Is 15 a factor of -25*(z/l - -2)?
True
Suppose 30*l - 25*l - 3*h = 76, -4*h = 4*l - 48. Is 14 a factor of l?
True
Suppose -5*m = 5, -3*b = -m - 1110 + 17. Is b a multiple of 28?
True
Let m(b) be the second derivative of 9*b**3/2 + 4*b. Let x be 10/4 - 1/2. Does 14 divide m(x)?
False
Let m(r) = 217*r**2 + 1. Let b be m(1). Suppose 5*v - 2*z = -3*z + 226, -5*v + b = 3*z. Does 23 divide v?
True
Let z be 20/8 - (-1)/(-2). Suppose -z*v = -0*g - 2*g, 10 = -v + 3*g. Let y(h) = h**3 - 5*h**2 + 4*h + 2. Is y(v) a multiple of 13?
False
Let u(w) = -w**2 - 12*w - 5. Let k be u(-10). Suppose -2*m + 5 = -5*i + k, 0 = 5*m - 4*i + 25. Does 2 divide 6/(-15) + (-22)/m?
True
Suppose 0*l + 5*l - 60 = 0. Let y(p) = p**3 - 13*p**2 + 18*p - 4. Let w be y(l). Suppose -11*b = -9*b - w. Does 17 divide b?
True
Let h be 9/12 + (-29)/(-4). Suppose n = -h*n + 1800. Is n a multiple of 25?
True
Let z = 7 - 31. Let i = -91 - -190. Let p = i + z. Is 23 a factor of p?
False
Let b = 2567 - 1110. Is 54 a factor of b?
False
Let n(h) = h**3 + 10*h**2 + h + 11. Let j = 1 + -7. Does 34 divide n(j)?
False
Let s = -14 + 71. Suppose 0 = 5*a - 4*a + 2*y - s, -a = 4*y - 59. Is a a multiple of 10?
False
Let u = 41 - 19. Suppose 0 = -4*b + 118 - u. Does 14 divide b?
False
Let q(i) = -54*i - 6. Let a be q(-2). Let z = -1 + a. Is z a multiple of 38?
False
Let t(n) = 3*n**2 - 3*n + 7. Let j be 2/(1 - (-4)/(-8)). Is t(j) a multiple of 10?
False
Is (11840/6)/((-42)/(-63)) a multiple of 74?
True
Suppose v + 7 = -w, 2*v + 3 = 5*v - 5*w. Let t be (-96)/(-40) - v/(-10). Suppose -7*i + 50 = -t*i. Is 3 a factor of i?
False
Let f(b) = -2*b - 12. Let l be f(-5). Let s = -7 + 45. Let k = s + l. Is k a multiple of 6?
True
Suppose -4*z + 2*w - 1 - 13 = 0, z = w - 3. Does 14 divide ((-91)/21 + 5)/(z/(-1362))?
False
Let s = -46 + 19. Let i = 104 + s. Suppose 5 = 5*r, 9*r = 2*m + 4*r - i. Is 18 a factor of m?
False
Let z = -565 + 368. Let m = z + 313. Does 15 divide m?
False
Let o(r) = -r - 1. Let l(s) = 3*s - 20. Let j(q) = l(q) - 5*o(q). Is j(5) a multiple of 3?
False
Suppose 114 = -4*x + 6*x. Does 3 divide x?
True
Let d(g) be the second derivative of -g**5/20 + 11*g**4/12 + 5*g**3/6 - 2*g**2 + 6*g. Let s be d(11). Suppose 0 = 3*a + 6 - s. Is a a multiple of 15?
True
Let d(l) = l**2 + 2*l + 21. Let t = 72 - 79. Is 14 a factor of d(t)?
True
Let g(l) = -l**3 - l**2 + 2*l + 84. Let k be (1 + -1)/(10 - 12). Is g(k) a multiple of 28?
True
Suppose 0 = x - 6*x + 1015. Is x a multiple of 2?
False
Let i = -41 - -101. Is 8 a factor of (-20)/3*i/(-8)?
False
Suppose -44*x + 46*x = -4. Does 33 divide (88/x)/((-6)/9)?
True
Suppose -24*u = -26*u + 8. Let q be 0 - 45/(u/4). Does 15 divide (-2)/(1*3/q)?
True
Let l = 9 + -4. Suppose 2*u - 116 = -f + 5*u, l*u = 3*f - 344. Is f a multiple of 29?
False
Suppose 3*j - 5*k = 0, -4*j + 3*k + k + 8 = 0. Let g(u) = -2*u + 3*u + j*u - 2. Does 4 divide g(2)?
Fals