- l - 3*h = -w, 0 = s*l - 5*h - 102. Is 17 a factor of l?
True
Suppose 3*k + 17 = -1. Let m be ((-8)/k)/(6/18). Suppose m + 12 = 2*w. Is 6 a factor of w?
False
Suppose -27*u + 25*u + 790 = 0. Does 16 divide u?
False
Let q(z) = 1334*z + 157. Is 113 a factor of q(2)?
True
Suppose r - 77181 = -38*r. Does 22 divide r?
False
Is 82 a factor of 20 + -14 + 3/(6/1156)?
False
Is 36*13/312*(-2758)/(-1) a multiple of 9?
False
Let i(w) = -2 - 3*w + 15*w - 5. Is i(6) a multiple of 23?
False
Suppose -3*v = -6 - 0. Suppose b + 5*f - 5 = 0, v*b = -3*b - 3*f + 91. Is 9 a factor of b?
False
Suppose 0 = 5*h - l - 845, h - 169 = -13*l + 8*l. Does 3 divide h?
False
Let t = 16295 + -11171. Is t a multiple of 21?
True
Suppose -3*y + 38 = -3*a + 326, -2*a + 3*y + 190 = 0. Let l = a + -56. Is l a multiple of 21?
True
Suppose -3*w - 4*i = -2*w - 11, -4*w = 3*i + 8. Is (-8)/(-20) + (-238)/w a multiple of 11?
False
Let m(r) = 3*r - 16. Let s be m(12). Let k be (-856)/(-10) - 12/s. Suppose -61 = -d + 5*u + 16, k = d - u. Is d a multiple of 29?
True
Let x = -17 + 25. Suppose -x*d + 120 = -4*d. Is d a multiple of 10?
True
Suppose -x + 2*m = -3*x + 200, x = 3*m + 108. Does 17 divide x?
True
Let x be (-8 + (-1)/1)*-2. Suppose 4*c + x = 5*r, -r + 1 = 5*c + 9. Suppose -45 = -7*d + r*d. Is 4 a factor of d?
False
Let o = 390 - -260. Is o a multiple of 32?
False
Does 3 divide 16/(-56) + (-289)/(-7)?
False
Let b(m) = 27*m**3 + m**2 - 9*m - 8. Let q(t) = 13*t**3 - 5*t - 4. Let r(g) = -3*b(g) + 5*q(g). Does 22 divide r(-2)?
False
Suppose 2*p - 91 - 85 = 0. Let b be (-20)/(-6) - 2/(-3). Suppose -5*o + 89 = -3*g + g, p = b*o + 4*g. Does 5 divide o?
False
Let i = 50 - 50. Suppose -4*k + 54 + 34 = i. Is 11 a factor of k?
True
Suppose -204*m = -186*m - 23130. Does 4 divide m?
False
Suppose 1536 = -10*w + 576. Is (6/4)/((-18)/w) a multiple of 8?
True
Let z = 1620 + -2598. Is 32 a factor of 10/(-15)*z/4?
False
Let v(f) = -f**3 - 5*f**2 - 2*f + 4. Let c be v(-3). Suppose -h = 3*r - 16, 6 + 6 = -h + 4*r. Is 4 a factor of (-1)/h - 130/c?
True
Let a(o) = -2*o - 4. Let x = -11 - -8. Let f be a(x). Suppose -4*h + f*w + 52 = 0, 3*h + 2*w - 83 = -2*h. Is h a multiple of 9?
False
Suppose a = 2*a + 2*g, 0 = a - g - 6. Suppose 5*s + 82 - 12 = -5*m, -5*s - 58 = a*m. Does 6 divide (-33)/(-4) + 3/m?
False
Let x = 82 + 558. Is x a multiple of 41?
False
Does 3 divide -2*(-2)/10*440?
False
Let k be 1/(-5*(-4)/120). Suppose -3*s + k = -57. Does 16 divide s?
False
Let x = 323 - 175. Is x a multiple of 8?
False
Suppose l = 3*s - 972 + 169, -3*l = -3*s + 807. Suppose -c - 95 + s = 0. Suppose 5*p - 30 - 175 = 5*o, 2*o + c = 4*p. Is 17 a factor of p?
False
Let d(p) = p + 4. Suppose -5*i = 1 - 21. Let k = i + 1. Is d(k) a multiple of 3?
True
Let c(h) = h**3 - h**2 + h + 266. Suppose -2*u + 12*u = 0. Is c(u) a multiple of 19?
True
Let y be (-28)/8*24/(-14). Suppose -y*c + 5 = -5*c. Let k = 12 + c. Is k a multiple of 6?
False
Let m = 10 - 43. Let n = m + 77. Does 44 divide n?
True
Suppose -12*l = -l - 22781. Suppose 5*r = -346 + l. Is 26 a factor of r?
False
Suppose -4*d - 5 = 4*f - 5*f, 15 = 3*f + 3*d. Is 5 a factor of -4*f/(-5) + 28?
False
Suppose 5*l - 150 = -0*l. Suppose -10 + l = 5*y. Suppose 2*z + 3*z - 41 = -y*f, 5*f + 3*z - 61 = 0. Is f a multiple of 8?
False
Suppose r + 4*u = 0, 5*r = -4*u + 2*u. Suppose -3*p + 552 = -0*p + 5*a, r = 3*p + 4*a - 552. Suppose -l = 5*n - 12 - 21, -3*l = -2*n - p. Is l a multiple of 12?
False
Suppose 5*f = -28 - 22. Is (f*1)/((-36)/234) a multiple of 5?
True
Suppose 0 = -6*t + 11*t. Suppose 698 = -t*f - 5*f - 4*l, -12 = -4*l. Is f/(-6) - 7/(-21) a multiple of 12?
True
Suppose 0*t = -5*v - 2*t + 265, -t = 0. Let u be (4/6)/((-2)/6). Is -3 + v - (-4)/u a multiple of 24?
True
Suppose -10*g + 18*g = 5416. Is 15 a factor of g?
False
Let b(o) = -6*o + 105. Is b(15) a multiple of 2?
False
Let c = -60 - -58. Is 11 a factor of c - (2 + -4 + -45)?
False
Suppose 1860 = -10*s + 20*s. Is 62 a factor of s?
True
Suppose -8 = 3*q - 5*y, -5*q + y - 40 + 12 = 0. Let d = q - -15. Is 3 a factor of d?
True
Suppose 196 + 166 = 2*q. Suppose 2*m - q = -3*d + 191, -5*m - 4*d = -930. Is m a multiple of 20?
False
Suppose 13*r + 160 = 3*r. Let h = 85 + r. Does 7 divide h?
False
Let s be (-1 + 2 - 2)/((-1)/12). Let r(k) = -k**3 + 13*k**2 - 7*k - 13. Is r(s) a multiple of 12?
False
Let l(t) = t**3 + 9*t**2 + 9*t + 1. Let g be l(-8). Is g/(-49) - (-502)/14 a multiple of 6?
True
Let x = -285 + 407. Is x a multiple of 61?
True
Is 8319/21 - (-6)/(-42) a multiple of 12?
True
Suppose -4*x + 0*q - q = -4, 3*x - 2 = -q. Suppose -x*d - 62 = -176. Is 19 a factor of d?
True
Suppose -5*s - 3*i = 105, -5*s - 69 = -4*i + 36. Let c = 23 - s. Suppose c = v + 2*h, 5*h = -4*v + v + 131. Is v a multiple of 14?
True
Let p(w) = 7*w - 2. Let c be p(1). Suppose c*n - 2 - 8 = 0. Suppose -n*f + b = -9 - 6, 0 = 2*f - 5*b - 11. Is f a multiple of 3?
False
Let a(t) = 4*t**3 - 7*t**2 + 4*t + 5. Is a(5) a multiple of 14?
True
Let n(r) = -r**2 + r - 38. Let f be n(0). Let v = -2 - f. Let c = -29 + v. Is c a multiple of 2?
False
Let g be (-20)/(-50) + (-98)/(-5). Let f = g - -18. Is f a multiple of 17?
False
Let z = 1 - -1. Does 12 divide (99/22)/(z/20)?
False
Let u(h) = h**2 - 2*h - 7. Let y be u(5). Suppose -5*g = -0*i + 3*i - y, -4*i = 16. Suppose g*c + 0*v - v = 78, 0 = -5*c + 3*v + 101. Does 15 divide c?
False
Is 18 a factor of ((-6)/(-2))/(3/234)?
True
Suppose -7*x + 6*x + 35 = 0. Let c = 39 - x. Is -2*(c + (-69)/6) a multiple of 8?
False
Suppose -6*f + 7015 = 103. Is f a multiple of 5?
False
Suppose 3*o = -12, 2*x - o = 4*x - 18. Let h = x - 11. Let q = h - -10. Is q a multiple of 3?
False
Suppose 0 = -3*x + 5*x + 4. Is (x - -3)*(-6 + 16) a multiple of 4?
False
Let l(f) = f**3 - 2*f**2 + 3*f + 3. Let a be (-4)/6 + 16/(-12). Let u = a + 5. Does 7 divide l(u)?
True
Is (-1562)/(-5) - (-42)/(-105) a multiple of 13?
True
Let j(i) = i**3 - 9*i**2 - 14*i + 19. Let q be j(10). Is 39 a factor of (21654/q)/(-3) + (-6)/(-21)?
False
Let q(d) = d**3 - 6*d**2 + 5*d - 1. Let m be q(5). Let j = m + 1. Suppose j = -0*t - 2*t + 96. Does 17 divide t?
False
Let h(x) = x**3 + 14*x - 142. Is h(8) a multiple of 24?
False
Let k be (-12)/(-16) + (-5)/(-20). Is 128/k - (3 + -4 + 4) a multiple of 8?
False
Let b be 2/(3/(-6)*-1). Suppose 2*a + 188 = -b*z, -4*a + 33 = -z - 14. Let c = z - -78. Is c a multiple of 8?
False
Suppose w - 152 = -3152. Does 7 divide 2/12 - w/144?
True
Let y(a) = 27*a + 7. Let z(n) = -54*n - 13. Let w(c) = 5*y(c) + 3*z(c). Is w(-2) a multiple of 15?
False
Let p be (-1 - 2)*5/(-15)*2. Suppose 5*g + j = -0*j + 225, -3*g + p*j + 148 = 0. Does 3 divide g?
False
Let b(t) = -100*t**3 - 2*t**2 - 2*t. Suppose 0 = -12*h + 13*h + 1. Is 20 a factor of b(h)?
True
Suppose -3*x + 1081 = -5*p + 65, 2*x + p - 660 = 0. Suppose 4*z + 0*z - x = -2*l, 0 = 5*z - 5*l - 430. Is z a multiple of 5?
False
Let u(l) = -12*l**3 - l**2 + 3*l - 2. Let q be u(1). Suppose -2*h - 4*w + 30 = 0, 4*w = -5*h - 0*w + 99. Let v = q + h. Does 11 divide v?
True
Let j(v) = -3*v**2 + 2*v - 4. Let s(a) = -a**2 + a - 1. Let q(i) = j(i) - 4*s(i). Let z be q(6). Let d = 36 - z. Does 2 divide d?
True
Suppose -3*b - 294 = -5*n + 269, n = 4*b + 116. Does 56 divide n?
True
Let p(n) = -n**2 + 11*n + 8. Let d be p(18). Let w = 32 - d. Suppose 0 = -10*i + 5*i + w. Is 9 a factor of i?
False
Let o be -38 - (-4 + 4 - 0). Let j = o - -91. Is 9 a factor of j?
False
Let v(t) = t**2 + 6*t + 10. Let z be v(-6). Let d = z - -9. Does 19 divide d?
True
Let v = 437 + -51. Let x = v + -164. Suppose -20*u + 17*u + x = 0. Is 37 a factor of u?
True
Let v(q) = -2*q**3 - 6*q**2 - 17. Is v(-7) a multiple of 15?
True
Let v(k) = -k**2 - 5*k + 6. Suppose 30 = -j - 4*j. Let d be v(j). Suppose d = t - 3*w - 32, 4*w - 38 + 14 = -2*t. Is 5 a factor of t?
True
Let n be 1/((-2 - 0)/(-22)). Let l(u) be the first derivative of -u**3/3 + 8*u**2 - 11*u - 132. Does 11 divide l(n)?
True
Suppose 7*f + 106 - 1506 = 0. Is f a multiple of 65?
False
Is (-8)/1 + (-1833)/(-13) a multiple of 6?
False
Let m be 32*(-5)/4*(-10 - -12). Is (-1950)/m + 9/(-24) a multiple of 16?
False
Suppose -g = -855 - 2197. Is 7 a factor of g?
True
Suppose -9*m + 647 + 379 = 0. Is 19 a factor of m?
True
Let d = -970 - -1378. Let h be (-2 - 2)*4/1