 5*d, -2*d + 22 = a. Suppose 5*j - a = j. Is 5 a factor of j?
False
Let l(o) = o**3 + o**2 + 5. Let z be 0 + -4 + 6 + -7. Let u(w) = w**3 + 5*w**2. Let s be u(z). Does 5 divide l(s)?
True
Suppose 0 = -4*u - h + 1295, -h - 1419 - 211 = -5*u. Does 18 divide u?
False
Let r(q) = q**3 - 4*q**2 + 3*q - 1. Let a be r(2). Is a/3*(-6 - 7) a multiple of 13?
True
Let y = -11 + 14. Suppose -39 = -2*g - r + 30, y*g = -5*r + 93. Is 16 a factor of g?
False
Let c = 818 - 582. Suppose -5*q = 4*d - c, -148 = -3*q - 3*d - d. Is 11 a factor of q?
True
Let o(k) = -k**3 - 5*k**2 - 7*k - 4. Does 31 divide o(-5)?
True
Suppose 0*z = 2*z + 18. Let c be -17*(2*z)/(-3). Let m = -46 - c. Is m a multiple of 28?
True
Let f(w) = w**3 + w**2 - 3*w - 1. Let g be f(-2). Suppose -o + g = -0*o + k, -11 = -5*o + k. Does 2 divide o?
True
Suppose -198 = -5*m - 4*d - 44, 2*m + 3*d = 56. Is m a multiple of 17?
True
Suppose -4*w = -8*w. Suppose 2*v = -n, -3*v = -w*n - 4*n. Suppose -3*s + 2*z = -60, 0*z - 2*z = v. Is 10 a factor of s?
True
Let q(r) = -9*r - 1. Suppose -2 = 4*u - 6. Let g be q(u). Let n = 30 + g. Is 7 a factor of n?
False
Suppose -3*w = -4*w + 3*k - 10, -3*k - 2 = 2*w. Let c = w - -35. Is 1/(-2)*(3 - c) a multiple of 8?
False
Does 11 divide ((-3)/(-9))/((-7)/(-630))?
False
Suppose 0 = 5*q - 2*n - 13, -3 = 2*q + 5*n - 14. Suppose -q*s - 84 = -4*s. Suppose 5*m = 3*m + s. Is 20 a factor of m?
False
Suppose 20 = -5*c - 0*c, 0 = -g + 4*c + 13. Is g/((-165)/78 - -2) a multiple of 11?
False
Let c(n) = n**2 - 2. Let g be c(5). Let r be g + 0/1 + 1. Suppose -5*h + r = -h. Is h a multiple of 3?
True
Let g(t) = t - 2. Let q be g(5). Suppose 5*l + x + x = 165, 0 = q*x. Is l a multiple of 11?
True
Let p = -73 + 193. Suppose 4*x - 5*x + 2 = 0. Suppose -x*r + p = -2. Is r a multiple of 21?
False
Let a(n) = -13*n**3 + 2*n**2 + 2*n + 2. Does 35 divide a(-2)?
False
Let w(x) = -9*x + 2. Let s(j) = j + 2. Let g be s(-6). Does 12 divide w(g)?
False
Let p = 55 - -1. Is p a multiple of 28?
True
Suppose -3*c + 4*g = 22, 3*c + 21 = -c - 3*g. Let i(x) = x**2 + 3. Is 13 a factor of i(c)?
True
Let c(s) = -s**2 - 7*s + 10. Let x be c(-6). Let p = x - 4. Is p a multiple of 4?
True
Let o(a) = -35*a + 7. Let k be o(5). Does 4 divide k/(-20) + (-4)/10?
True
Suppose 0 = u - 3*f - 15, 2*u - 5*f = -3*f + 14. Suppose 7 = 2*a - u. Suppose -3*n + 30 = -3*g, 9 = 4*n - a*g - 29. Is 6 a factor of n?
True
Let t = 8 + -4. Let m = 4 + 26. Suppose 4*y - 60 = -t*u - 0*y, u - 4*y = m. Does 8 divide u?
False
Let n(t) = t**3 - 8*t**2 - 8*t - 4. Let r be n(9). Suppose -3*v - r*s = 2*v + 90, -4*s - 30 = v. Is ((-1)/(-2))/((-1)/v) a multiple of 5?
False
Let s be 0 + 11/(-1 + 2). Suppose 0*p = 3*p - 5*f - 150, 0 = 3*f + 9. Let m = p - s. Is m a multiple of 17?
True
Is (-255)/(-3) - (7 + -3) a multiple of 24?
False
Let u(l) = l**3 - 4*l**2 + 4*l - 1. Let i be u(3). Suppose -t + 5 = 2*v - 2, i*t - 6 = 0. Is 2 a factor of v?
True
Let c(x) = x**2 - 9*x + 35. Is c(5) a multiple of 10?
False
Suppose -44 = -2*u + 5*x, -4*u - x = 44 - 176. Is u a multiple of 8?
True
Let r = 6 + -8. Let f be r/(-4) + (-3)/(-2). Is 8 a factor of f/3 - 92/(-6)?
True
Suppose 0*w = 3*h + 2*w - 35, -2*h = 2*w - 20. Is h even?
False
Let g(x) = -x**2 + 9*x + 6. Let r(c) = -2*c + 3. Let f be r(-3). Is 4 a factor of g(f)?
False
Suppose 3*w + 7 = -p, -4*w - 8 = 3*p - 2. Suppose 0 = -p*l - 5*f + 83, 3*l + 3*f - 16 = 104. Does 18 divide l?
False
Suppose 0 = 2*d - 5*s - 26, -23 = -5*d + 5*s + 27. Is 4 a factor of d?
True
Suppose 353 = 2*u + 65. Is 48 a factor of u?
True
Let r(c) = -c**3 - 6*c**2 + 6*c - 2. Let s be r(-7). Let g be 0/(-5) - (-110 + 0). Suppose s*d = -3*m + g, 3*d = -0*d + 4*m + 37. Is d a multiple of 13?
False
Suppose 0 = 5*c + 38 - 228. Is 10 a factor of c?
False
Suppose -3*s = 4*m + 83, 4*s - 5*m = -0*m - 152. Suppose 0*d = 4*o + 2*d + 258, 5*o - 2*d = -336. Let r = s - o. Does 10 divide r?
False
Suppose -27 = 5*n + 18. Let l be (n/3)/(-3)*-4. Is (l - -1) + 4 - -32 a multiple of 11?
True
Let c be ((-9)/12)/(2/(-56)). Suppose -4*o - 1 + c = 0. Suppose -o*j = -0*j - 25, 0 = -2*r + 2*j. Is 2 a factor of r?
False
Let b(t) = t**3 - 9*t**2 + 6*t. Suppose -2*f = 4*q - 8, -16 = -3*f + f + 4*q. Let l be b(f). Is (-8)/28 + l/(-7) a multiple of 5?
True
Suppose 0 = -z + 3*m - 31, 2*m - 8 = -2*m. Let c = z - -41. Is 16 a factor of c?
True
Suppose -2*k - 4*p + 0 = -68, -5*k = -2*p - 158. Let n = 11 + -16. Let z = n + k. Is z a multiple of 12?
False
Let p = -126 - -177. Does 3 divide p?
True
Let k be 134/11 - (-10)/(-55). Suppose 8 = u - k. Is 10 a factor of u?
True
Let v = 43 + -81. Is 19 a factor of 0 + v*3/(-6)?
True
Let q be (8/3)/(12/126). Suppose 0 = 5*h - 3*h - q. Is h a multiple of 14?
True
Let m(a) = -a**3 - a**2 + a + 56. Let n be m(0). Suppose -h + 1 = 3*c - 16, -3*h - 4*c = -n. Let g = h + -14. Does 3 divide g?
True
Let u = -8 + 6. Is 17 a factor of 54 - (2 + (u - -2))?
False
Let i(b) = -7*b**2 + 5*b - 2. Let a be i(-4). Let t = -94 - a. Does 11 divide t?
False
Suppose -4*p + p - 32 = -b, 2*b - 69 = p. Does 5 divide b?
True
Suppose 4*q = -0*q + 148. Suppose -4*r - q = -3*s, s + s - 6 = -2*r. Does 4 divide s?
False
Is ((-5)/(-2))/(-6 + (-579)/(-96)) a multiple of 16?
True
Let p(y) = -y**3 + 8*y**2 + 10*y - 18. Let l be p(8). Let s = 106 - l. Does 22 divide s?
True
Let r(m) = -m**2 - 8*m + 3. Let v be r(-7). Let x be (-4)/v + 17/5. Is 14 a factor of ((-63)/6)/(x/(-4))?
True
Suppose 0 = -n - 4*n + 4*h + 18, 3*n - 6 = 4*h. Let s be (1 - 1) + 0 + n. Is 3 a factor of (-57)/(-9) - 2/s?
True
Does 22 divide (9/21)/1 - 965/(-35)?
False
Let n = 0 + 13. Is n a multiple of 13?
True
Let p(i) = -i + 13. Is p(-2) a multiple of 3?
True
Does 15 divide 488/12*(-3 + 9)?
False
Let s(n) = n**3 + n**2 - 3*n + 3. Suppose 3*j + 3 = 0, -3*w + 3 = 4*j + 1. Is 3 a factor of s(w)?
True
Let d(c) = c**2 + c + 1. Does 21 divide d(4)?
True
Let c be (5*-1)/(3/(-3)). Suppose -6 = -2*r, c*a + 2*r - 18 = r. Is a a multiple of 3?
True
Suppose 3*b + 5*l = b - 165, 185 = -2*b - l. Let w = -67 - b. Suppose 0 = -x + w - 2. Is x a multiple of 17?
False
Let f be -1 + 1 + (0 - -35). Let s be (-8)/((-8)/(-15))*-5. Let q = s - f. Does 20 divide q?
True
Let n = 12 - -13. Is 7 a factor of n?
False
Let h be 7/(7/8) + -3. Suppose -h*p + p = -104. Is p a multiple of 13?
True
Let v be (-4)/(-16) + 18/(-8). Let x be 5/v*(-12)/15. Suppose -3*s = x*s + 2*c - 92, 2*c - 20 = -s. Is s a multiple of 9?
True
Let u be 6 - 6 - (-24 + 1). Suppose 2*b + 5*v = -3*b - 135, b + u = 3*v. Let h = b - -52. Is 13 a factor of h?
True
Let q = -53 + 243. Does 28 divide q?
False
Let g be 1 - -22 - (6 + -4). Let b be 0 + -2 - (-3 + g). Let u = 34 + b. Is 7 a factor of u?
True
Suppose d + 3*m - 19 = 0, -2*d - 7*m + 30 = -3*m. Suppose -2*s - d + 36 = i, 3*i = 3*s + 96. Suppose -o - 4 = -i. Is o a multiple of 9?
True
Let k = 0 + 25. Suppose k + 29 = 3*d. Suppose -m + d = -3*t, -4*m + 0*t + 16 = 2*t. Is 2 a factor of m?
True
Is 2 + 27/(-12) + (-737)/(-4) a multiple of 23?
True
Let y be 4*4 + 2 + 0. Let m be y/12*(-1 - -11). Does 14 divide ((-117)/m)/((-3)/15)?
False
Let g(x) be the third derivative of -x**5/60 + 7*x**4/24 + x**3/2 - 3*x**2. Does 13 divide g(5)?
True
Let v = -707 - -1054. Is v a multiple of 27?
False
Let h be (2*-1)/((-6)/15). Suppose -5*m + 5 = h*a - 70, 4 = -a. Let p = -3 + m. Is 16 a factor of p?
True
Let z be (-2)/(-20)*-4*5. Is 4/((0 + z)/(-2)) a multiple of 3?
False
Is 2 a factor of (-9)/15 - 192/(-20)?
False
Suppose -4*r - 12 = -0*r. Is (352/(-24))/(2/r) a multiple of 11?
True
Suppose 11*y - 727 - 98 = 0. Is y a multiple of 15?
True
Let h = 10 - 4. Suppose g + 55 = h*g. Suppose -d + 2*d = g. Is d a multiple of 11?
True
Suppose 130 = -0*t + 5*t. Suppose -o = -2*o + t. Does 12 divide o?
False
Let n(d) = -d**3 - 4*d**2 - 6*d - 6. Let a be n(-4). Let y = 40 - a. Does 11 divide y?
True
Let x(f) = f**2 - 2*f. Let i(v) = v**3 + 4*v**2 - 7*v - 7. Let l be i(-5). Let n = l - 0. Is x(n) a multiple of 3?
True
Suppose -l - 20 = -2*l. Let o = l + -13. Is o a multiple of 4?
False
Let k be (-12)/(-18)*(-3)/2. Let n be k/4 - 2/(-8). Suppose 5*p = 5*v - 45, 6 + n = -3*p. Is v a multiple of 3?
False
Suppose -x - 4*a = -a - 17, 2*x + 4*a = 26. Does 5 divide x?
True
Suppose 0 = u - 5*u + 32. Suppose -p - u = -3*p. Supp