et r = -147 - p. Does 18 divide r?
True
Suppose 4*n = 18 + 10. Let d(u) = 11*u + 41. Let l(y) = -5*y - 20. Let b(t) = -6*d(t) - 13*l(t). Is 7 a factor of b(n)?
True
Let l(z) = -z**2 - 9*z - 9. Let g be l(-8). Let k(b) = -97*b + 1. Let i be k(g). Suppose 0 = -4*y + 3*j + i, -3*y + 0*j + 3*j + 72 = 0. Is 10 a factor of y?
False
Suppose -260 = -7*s - 8. Does 36 divide s?
True
Let m(w) = 2*w**2 - w - 3. Let i = 6 - 9. Is 6 a factor of m(i)?
True
Let b be (-1 - (1 + -5))*-1. Let y(h) be the second derivative of -h**5/20 - h**4/6 + h**3/3 + h**2 + 6*h. Is 3 a factor of y(b)?
False
Let a(n) = 6*n**2 + 3*n + 2. Let q = -1 - 4. Let o = q + 3. Is a(o) a multiple of 10?
True
Does 6 divide -2 + 4/(0 + 1) + 22?
True
Let z(g) = 2*g + 8. Does 22 divide z(7)?
True
Suppose 4*z + 239 = 3*x, 3*x - z - 235 = z. Does 15 divide x?
False
Let t(p) = 3*p**2 + 3*p + 2. Suppose -3 = -k - 0. Suppose -1 + k = -l. Does 7 divide t(l)?
False
Suppose 0 = i - 6 + 1. Suppose 3*s - 5*z - 17 = -0*z, s - z - i = 0. Is 4 a factor of s?
True
Suppose 24 = 5*o - 16. Let r = o - 5. Is r even?
False
Let a be (-4)/5*10/(-4). Suppose a*f + 3*f = 155. Is 18 a factor of f?
False
Suppose 2*l - 10 = 0, -3*l - 115 - 30 = -5*z. Suppose 0 = 4*i - z - 44. Is 19 a factor of i?
True
Let q = 183 - 22. Suppose -3*r = 3 - 0, 4*r = -5*b + q. Is 11 a factor of b?
True
Let r(q) = q**2 + 3. Let u be r(0). Is u/1*15/5 a multiple of 9?
True
Is 5 a factor of (-4)/(2 + -1) + 20?
False
Suppose 4*y - 153 = y. Is y a multiple of 9?
False
Let f be 46/4 + (-9)/6. Suppose 0 = 4*s - f - 2. Is 11 a factor of 2/4*s*22?
True
Suppose -591 = -3*g + 3*z, 4*g + 3*z - 714 = 109. Let b = 344 - g. Suppose 147 = 4*a + w, 8*a + 2*w = 4*a + b. Is a a multiple of 12?
False
Let l = 0 - -73. Suppose -2 = 3*w - 14. Suppose q = -q + w*x + 10, -l = -5*q - 2*x. Is q a multiple of 13?
True
Does 7 divide ((-570)/(-5) + -5)*(0 - -1)?
False
Let v = 11 + -10. Let r be ((-14)/v)/((-4)/74). Suppose -2*a = 8, -r = -4*w + 4*a - 83. Is w a multiple of 16?
False
Does 11 divide ((-146)/(-4))/(7/14)?
False
Suppose -3*y = -2 + 5. Let r = -3 - y. Is -1 - (-16 - (1 - r)) a multiple of 18?
True
Let g = 14 + -9. Let c = -5 + g. Does 17 divide (-1 - c)/((-5)/285)?
False
Let p(c) = c**3 + 5*c**2 - 3*c - 4. Does 10 divide p(-4)?
False
Suppose -5*q + 497 = 2*j, 4*j - 801 = 4*q + 263. Is 29 a factor of j?
True
Let y be (30/(-18))/(10/(-36)). Is 24 a factor of ((-496)/(-20))/(y/15)?
False
Let f = -1 + 12. Let q(y) = -y**3 + 12*y**2 - 11*y - 6. Let x be q(f). Is 15 a factor of (0 + x)*(-15)/6?
True
Suppose -280 = -3*y - 4*z, 0 = 2*y + 3*z - 197 + 11. Is y a multiple of 16?
True
Let s be 1/(-5) - (-33)/15. Suppose 0 = s*o - o + 8. Let x = 6 - o. Is x a multiple of 7?
True
Suppose -i - 4*n = -15, -4*i + 3*n = -0*n - 41. Let b = i + -24. Let g = -5 - b. Is 4 a factor of g?
True
Suppose 4*v - l = -5, 4 = 5*v + l - 1. Suppose -5*w + 10 = -v. Suppose 32 = 3*y - w*y + 2*j, 4*y + 4*j = 144. Is 23 a factor of y?
False
Let g(w) = -4*w + 2. Is g(-4) a multiple of 9?
True
Suppose -2 = -2*d + 4. Suppose 3*v + 2*v + w = 48, -34 = -4*v - d*w. Is 10 a factor of v?
True
Let x(j) = j + 3. Let s be x(4). Let p(o) = -o + 1. Let b(i) = -i. Let d(c) = -2*b(c) - 3*p(c). Is 12 a factor of d(s)?
False
Suppose -3*w + 5*w + 10 = 0, w + 50 = 5*b. Suppose b + 47 = 2*f. Is f a multiple of 14?
True
Suppose z + 3*z - 12 = 0, -4*z - 354 = -3*k. Is k a multiple of 25?
False
Let p = 18 + -13. Suppose -2*b - 4*g + 88 = 0, 198 + 7 = 5*b + p*g. Does 19 divide b?
True
Let t = -9 + 40. Does 10 divide t?
False
Let a(l) = -l**3 + 8*l**2 + 3. Let o be a(6). Suppose -3*z = -19 + 7. Suppose -o = s - z*s. Does 18 divide s?
False
Let o = 95 + -147. Is ((-143)/o)/(2/32) a multiple of 11?
True
Let k be (0 - -1)*(-1)/1. Let s(r) = -13*r**3 + r**2 + 2*r. Let u(g) = -39*g**3 + 3*g**2 + 7*g. Let h(t) = 7*s(t) - 2*u(t). Is h(k) a multiple of 7?
True
Suppose 2*c + 3*c = 795. Let y = c - 111. Suppose 0 = 5*v + 2*l - 120, 2*v - 5*l - y = -0*l. Is 9 a factor of v?
False
Let g = 24 - -37. Suppose -4*i = 2*l - 86, -3*i + 0*i + 2*l = -g. Is i a multiple of 7?
True
Suppose -134 = -o - 41. Is o a multiple of 6?
False
Suppose -l + 2 = 5, 5*k - 4*l = 92. Let h = k + -28. Is 4 a factor of (-37)/(-5) + h/30?
False
Suppose 0 = -2*q + 3*g + 47, 2*g + 81 - 13 = 3*q. Suppose -q = -6*y + 4*y. Suppose -n + 3*h - 3 = 0, 0 = 5*h - 36 + y. Does 12 divide n?
True
Suppose 0 = -2*x - 0*x + 522. Let h be (-2)/(-3)*(x + 3). Suppose 5*a + 3*i - 28 = h, 189 = 5*a - 2*i. Is 13 a factor of a?
True
Let u = -34 + 51. Let h = -24 + u. Let i = h - -30. Is i a multiple of 23?
True
Let j be 7/(-21) + 10/3. Does 11 divide 6 - j - 61*-1?
False
Suppose -d + 3 = -0. Is 15 a factor of (21/(-6) + d)*-86?
False
Suppose 0 = p - 5*p + 416. Let o = -52 + p. Does 12 divide o?
False
Let y be ((-28)/6)/((-5)/(-15)). Is (y/(-6) - 2)*102 a multiple of 17?
True
Suppose -9 = -4*z + z. Suppose -z*v + 24 = -v. Suppose -2*m = -2*q + 16 - 50, -v = 4*q. Does 14 divide m?
True
Is 16 a factor of 15/(-10)*(-68)/6?
False
Let l(i) = i**2 + 7*i. Let t be l(-7). Suppose -5*z = 3*a + 31 - 109, t = -2*a - 3*z + 52. Is a a multiple of 13?
True
Let p(y) = -y**2 + 1. Let b be p(2). Let k be -4*-1*b/12. Is 9 a factor of (-40)/(-4) + 2 + k?
False
Suppose a + 10 = 67. Let r = a + -33. Is r a multiple of 8?
True
Is (5/2)/((5 + -8)/(-12)) a multiple of 5?
True
Let t = 60 + -42. Is 18 a factor of t?
True
Let c(y) = -y**2 + 9*y - 1. Let m(v) = v**2 - 5*v + 1. Let g(f) = 4*c(f) + 7*m(f). Does 9 divide g(-3)?
True
Suppose 2*r + 1 + 1 = 0. Let y = r - -19. Is y a multiple of 9?
True
Let n be 12/(-9)*9/(-3). Let t(k) = -k**3 + 8*k**2 - 5*k - 10. Let b be t(7). Is (-1 + 6/b)*n even?
True
Let t = 19 - 25. Suppose 0 = -2*w + 54 + 24. Let f = w - t. Is f a multiple of 15?
True
Let q(u) = 2*u - 1. Suppose o = 7 - 2. Is q(o) a multiple of 3?
True
Suppose 3*f + f = 4. Let t be (-2)/4*(-1 - f). Suppose -5 = -l + t. Does 6 divide l?
True
Let o(g) = -g**3 - 5*g**2 + 5*g + 8. Suppose -4*d + 70 = 5*b, -3*d + 10 = -2*d + 5*b. Suppose -2*w + 5*s + 14 = -6*w, -5*w - d = 5*s. Is o(w) a multiple of 14?
True
Suppose 3*i = 5*n + 5*i - 15, -n + 4*i = -3. Suppose -n*f + 76 = f. Let z = -6 + f. Does 13 divide z?
True
Let g(y) be the third derivative of y**6/120 + 7*y**5/60 + 5*y**4/24 - y**3/6 + y**2. Let l be g(-6). Suppose -i - 52 = -l*i. Is 13 a factor of i?
True
Let w = 152 + -99. Suppose 47 = 2*u - w. Suppose -17 = h - u. Does 14 divide h?
False
Is 123 - 1*(-2 + 5) a multiple of 13?
False
Let m(k) be the first derivative of -k**2/2 - 3*k - 4. Is m(-5) even?
True
Let a(y) = y**3 + 3*y**2 - 6*y - 4. Let n be a(-4). Let l = -8 + 11. Suppose n*o - l - 25 = 0. Is 7 a factor of o?
True
Suppose -3*x + 3 = 2*h, 3*h = 2*x + 2*x + 13. Let v be (-87)/(-6) - x/(-2). Let r = v + -6. Is r a multiple of 3?
False
Suppose -2*f + 6*f + 4 = 0, -5*i + 90 = -5*f. Is i a multiple of 7?
False
Is 4 a factor of 2/(-5) + 893/95?
False
Let s(a) = 2*a**2 + 37*a + 16. Does 6 divide s(-21)?
False
Let m = -1 + 3. Let r = 18 - m. Is 8 a factor of r?
True
Let b(y) = -y**3 + 6*y**2 + 5*y - 3. Let h = 10 + -4. Is 9 a factor of b(h)?
True
Let i(b) = b**2 - 1. Let p be i(-2). Suppose -8*z + 540 = -p*z. Suppose z = 4*y - 0*u + 4*u, 0 = u. Is y a multiple of 10?
False
Let i(y) = 7*y - 2. Let t be i(4). Suppose -3*r = -r - t. Does 13 divide r?
True
Let g be ((-102)/(-4))/(7/(-14)). Let w = g - -71. Is 10 a factor of w?
True
Let s(r) = r**3 - 5*r**2 + r - 2. Let j = 1 - 0. Let f be 6 + -2 + (j - 0). Is 2 a factor of s(f)?
False
Suppose -q - 26 = -2*k + 2*q, 2*q = -8. Suppose -4*n + k*n - 153 = 0. Is n a multiple of 17?
True
Let n(v) = -v**3 - 5*v**2 + v - 4. Does 13 divide n(-6)?
True
Suppose x = -3*x + 20. Suppose -3*r = 3, 2*m = x*m + 2*r - 10. Suppose -m*j = 5*p - 4*p - 26, -4*j + 20 = 0. Is 3 a factor of p?
True
Suppose -2*m = -5 - 19. Let p = m + -4. Is 5 a factor of p?
False
Let b(s) = s + 2. Let z(g) = 4*g + 10. Let w(h) = -2*h - 5. Let d(o) = -11*w(o) - 6*z(o). Let x be d(-4). Does 3 divide b(x)?
False
Let p(c) = 9*c - 14. Does 13 divide p(3)?
True
Let k be 4/(-6) + 173/3. Let s = k - 33. Does 8 divide s?
True
Suppose -5*t + 3*t = -8. Suppose 24 = t*x - 28. Is 4 a factor of x?
False
Suppose 13 = c - 13. Suppose 0*a - a - 2*r + c = 0, a +