= g + 4*a - a. Let t = 85 - g. Does 16 divide t?
True
Let l(h) = h**3 + 11*h**2 - h - 19. Let k(t) = 1. Let f(v) = -6*k(v) - l(v). Let g be f(-11). Suppose g*n - n = 3. Is 2 a factor of n?
False
Let y = 16 - 12. Suppose -60 = y*r - 5*r. Does 15 divide r?
True
Let t(m) be the third derivative of m**5/60 + m**4/6 + m**3/3 - 2*m**2. Let d be t(-4). Suppose 5*r - 36 = q, 4*r - 27 = -3*q + d*q. Is 7 a factor of r?
True
Let h be ((-90)/(-8))/(-3)*4. Does 9 divide 12/h*(-90)/4?
True
Suppose 4*f - 64 = -0*f. Suppose -7*i + 3*i = -f. Does 2 divide i?
True
Is (4 - 5)/(1/(-26)) a multiple of 7?
False
Suppose -2*s - 4*n = -28, 20 = 4*s + 5*n - 21. Let d be 4*1/s*3. Suppose 0 = 2*r + d*r - 205. Is 14 a factor of r?
False
Suppose 3*o = 0, -6*f + 70 = -f + 5*o. Is f a multiple of 14?
True
Let c be 1*-30 + (0 - 1). Let g = -21 - c. Is 10 a factor of g?
True
Let t(a) = a**3 + 5*a**2 + 5*a - 2. Let o be t(-4). Is 15 a factor of -80*(3 + 21/o)?
False
Let s(t) = -t**2 + 10*t. Let g be s(7). Let f = 42 - g. Does 15 divide f?
False
Suppose 0 = -5*f + 3*f - 56. Is 5 a factor of (f/3)/((-18)/27)?
False
Let d = -45 + 265. Suppose d = s + 4*s. Is 22 a factor of s?
True
Does 19 divide (164 - 0)*1/2?
False
Let v = -28 - -57. Let d = v + 8. Does 18 divide d?
False
Let o(x) be the third derivative of -x**4/12 - 5*x**3/6 + 4*x**2. Is 13 a factor of o(-9)?
True
Suppose -8*q = -5*q - 216. Suppose d + 2 = q. Is d a multiple of 12?
False
Let u be 90/25 - (-3)/(-5). Suppose -i - 49 = -u*w, -5*w - 4*i + 9*i + 65 = 0. Is w a multiple of 9?
True
Let x be 2 + -1 + -1 + -36. Let y be 52/(-6)*x/8. Let c = 63 - y. Is 13 a factor of c?
False
Let x(h) = 5*h - 9. Is 21 a factor of x(6)?
True
Let o(t) = 2*t + 19. Let x be o(-6). Suppose 4*h - w - x = -2*w, 2*h = -2*w - 4. Is h a multiple of 3?
True
Suppose -3*g = 20 - 86. Let d = -8 + g. Suppose -4*q + 10 = 2*n + n, 3*n + 2*q - d = 0. Is n a multiple of 3?
True
Let v(l) = 4*l**3 - 6*l**2 + 8*l + 13. Let t(d) = d**3. Let m(a) = 5*t(a) - v(a). Does 6 divide m(-6)?
False
Is ((-177)/(-9) - -1)/(10/105) a multiple of 57?
False
Let s(j) = 8*j + 21. Is s(6) a multiple of 10?
False
Let a(z) = -2*z + 67. Is a(-9) a multiple of 17?
True
Let z be -6*(-1 + (-1)/(-2)). Is (15/(-10))/(z/(-16)) a multiple of 8?
True
Let b(u) = -16*u + 10. Does 16 divide b(-6)?
False
Let q(d) be the first derivative of -d**4/4 - 2*d**3 + 3*d**2/2 + 2*d - 2. Let x be q(-7). Let b = x + -18. Is 6 a factor of b?
True
Let k(u) = u**3 - 7*u**2 + 6*u + 7. Let s be k(6). Suppose -z + s + 5 = 0. Does 9 divide z?
False
Let x(w) = 5*w**3 - 3*w**2 + w + 12. Is x(4) a multiple of 10?
False
Suppose 2*b - 5 = -4*g + 5*b, -5*g - 5*b + 50 = 0. Let p be (-3 + 18/g)*5. Is ((-7)/p)/((-4)/12) even?
False
Let b be (10/(-6))/((-1)/30). Suppose 6 = -s - 2*q + 21, 4*s + 3*q - b = 0. Is s a multiple of 11?
True
Suppose 0 = -2*b - m + 185, m + 275 = 3*b + 5*m. Does 7 divide b?
False
Suppose 4*k = -3*t + 620, 6*k = 4*t + k - 775. Suppose h = 4*o + 54, 4*h = -5*o + t + 16. Suppose -c + 24 = 2*u - 4, 0 = -2*c - 3*u + h. Is 12 a factor of c?
True
Is (34 - 2) + (0 + 2)/(-1) a multiple of 15?
True
Suppose -4*k + 4 = -3*k. Let r(h) be the third derivative of h**6/120 - h**5/20 + h**4/4 - 5*h**3/6 + h**2. Does 14 divide r(k)?
False
Suppose -3*c - 2*m - m = -714, -3*m + 242 = c. Is c a multiple of 31?
False
Let o = -2 + 3. Is 7 a factor of 14 + 1/o - 1?
True
Suppose -2*v + v + z = 13, 3*v + 36 = 4*z. Let o be (6/8)/(2/v). Let t(s) = 2*s**2 + 8*s - 1. Is t(o) a multiple of 12?
False
Let q(n) = n**3 + 8*n**2 - 2*n**3 + 8 + n**2 - 2*n**2 - 6*n. Is 7 a factor of q(5)?
True
Let k(l) = -7*l - 1. Let u(r) = 27*r + 3. Let s(q) = 15*k(q) + 4*u(q). Let d be s(3). Suppose z = d*z + 5*j - 175, 4*j + 25 = z. Does 17 divide z?
False
Let u = -37 - -67. Is 30 a factor of u?
True
Let o(i) = 5*i**3 - 2*i**2 + 2*i - 1. Let c be o(1). Let n be 19/c + (-6)/8. Suppose 3*q - 3*d = 84, 4*q - q = n*d + 88. Is q a multiple of 24?
True
Suppose -q - 2 = -2*q. Let u(s) = 3*s**3 - s**2 - 2*s - 1. Let p be u(q). Let d = p - 10. Does 2 divide d?
False
Let m(j) = -j**3 - 3*j**2 + 5*j - 5. Let a(g) = 4*g**3 - g**2 + g + 1. Let o be a(-1). Is m(o) a multiple of 8?
False
Let p(f) = -3*f + f + 10*f**2 + 4 - 3*f**2 + 5*f**2. Is 16 a factor of p(2)?
True
Let s(t) = t**3 + 7*t**2 + 6*t. Let i = 9 - 13. Let q be s(i). Is 11 a factor of ((-22)/(-8))/(3/q)?
True
Let v(n) = -n**3 + 7*n**2 + 2*n + 4. Let w be v(7). Let m be (w/8)/(9/264). Suppose 57 = 3*j - m. Is j a multiple of 20?
False
Let f(j) = j**3 + 15*j**2 + 17*j + 11. Let q be f(-14). Is -1*(-2 + q) + -1 a multiple of 8?
True
Let h be (-5 - -7) + 2 + 1. Suppose -24 = -h*p - 9. Suppose -12 = -p*r, -5*r + 33 = o - r. Is 6 a factor of o?
False
Let f be ((-8)/(-24))/(1/(-9)). Does 28 divide (-2 - f - -61) + 3?
False
Let d(z) = z + 5. Let l be d(-3). Does 4 divide 2/(-3)*(-27)/l?
False
Suppose -r - 273 = -4*r. Does 13 divide r?
True
Suppose -2*p - 2*s - 2 = 4, -2*p + 2*s + 14 = 0. Let x(v) = 11*v**2 - 3*v + 2. Is x(p) a multiple of 13?
False
Let u be (-3)/12 + 153/(-12). Let h = u + 27. Is h a multiple of 7?
True
Let i(u) = -74*u. Let p be i(-1). Let a = 126 - p. Is a a multiple of 23?
False
Let x(a) = -a**3 + 18*a**2 - 16*a - 2. Is x(17) a multiple of 5?
True
Is (-1276)/(-10) + -4*(-1)/10 a multiple of 11?
False
Suppose 39 = 3*q - 3*v, -3*v + 21 = 9. Is q a multiple of 17?
True
Suppose 9*s - 705 = 4*s. Let a be s/2 + 5/(-10). Suppose -j + 5*v = -35, -2*j - v - v = -a. Is j a multiple of 19?
False
Let r(o) = -2*o - 4. Let s be r(-9). Let n = s - 6. Does 6 divide n?
False
Let j(a) = -3*a - 6. Let v be j(-5). Let b(z) = z**2 - 7*z - 9. Let s be b(v). Suppose h - 29 = -u, -4*h + 145 = 5*u - s*h. Does 16 divide u?
False
Let q = 62 - 18. Suppose 0 = -3*s + s + q. Is s a multiple of 18?
False
Let k(b) = 6*b**2 + 4 + 2*b + 14*b**2 - 17*b**2. Is k(4) a multiple of 36?
False
Let x = 66 + -39. Does 11 divide x?
False
Suppose 4*h + 4*d - 40 = 0, -3*h + 4*d + 5 = 2*h. Suppose h*o - 68 = 32. Is o a multiple of 14?
False
Let b = 25 - 15. Does 8 divide 324/b - 14/35?
True
Suppose 8 = -f - f, -y - 3*f = 16. Is 40/y*(-18)/4 a multiple of 15?
True
Suppose s - 13 = -2*v, -6*v + 12 = -3*v. Suppose -s*w - g = -0*w - 79, -65 = -4*w + g. Does 16 divide w?
True
Let j(l) = -9*l**2 + l + 1. Let i be j(-1). Let v(b) = -5*b - 5. Is v(i) a multiple of 12?
False
Let x = 170 + -104. Is 22 a factor of x?
True
Is (-3)/2 - (-1 + (-414)/12) a multiple of 17?
True
Suppose y = -y + 32. Suppose c - 43 = -y. Does 9 divide c?
True
Let h(x) = -x**3 - x**2 + 75. Is 15 a factor of h(0)?
True
Suppose 3*h - 4*h = 4*j - 40, j - 175 = -3*h. Is h a multiple of 10?
True
Let i = 51 + 39. Is i a multiple of 30?
True
Let k = -10 + 14. Let x(z) = -8 + 8 + k*z. Is 6 a factor of x(3)?
True
Let h(r) = r**3 + 10*r**2 - 10*r - 11. Does 19 divide h(-10)?
False
Let i(u) = u**3 - 7*u**2 - 7*u + 12. Does 10 divide i(8)?
True
Let i(l) = -17*l - 5. Let p be i(-4). Let c be (-1)/5 + (-382)/(-10). Let o = p - c. Is 7 a factor of o?
False
Let x(n) = -n + 14. Let p be (8/(-10))/(4/(-30)). Is x(p) a multiple of 3?
False
Let q = 1 - -11. Suppose 0 = -2*c + 6*c - q. Suppose -l + 2 = -c. Is l a multiple of 4?
False
Let f = 9 + -4. Suppose f*g - 3*l - 121 = 20, 0 = g + 5*l - 17. Does 16 divide g?
False
Suppose -3*t = -t - 108. Is 15 a factor of t?
False
Let f(y) = -14*y**2 + 5*y. Let o(c) = 7*c**2 - 3*c. Let n(t) = -4*f(t) - 7*o(t). Is 3 a factor of n(-1)?
True
Let l be ((-531)/(-9))/(0 - 1). Let t = 88 + l. Is 21 a factor of t?
False
Suppose 0*c - 6*c + 522 = 0. Is c a multiple of 29?
True
Let c(y) = -y. Let b(w) be the second derivative of -w**3 - w**2 - 2*w. Let s(g) = b(g) - 10*c(g). Does 6 divide s(5)?
True
Let o(g) = g**2 + 10*g - 8. Let r be o(-7). Let y = 19 - r. Is y a multiple of 16?
True
Suppose 7 = 5*p - 18. Is p a multiple of 3?
False
Suppose r + 3 = 2*l - 5, 18 = l - 4*r. Suppose l*n + 8 = -3*d, -3*d = -2*n - 2*n + 20. Let a = 9 + d. Is 5 a factor of a?
True
Suppose a + 0*a - 4*b = -17, -17 = 5*a - 3*b. Let w(c) = -c**3 - 6*c**2 + 6*c + 7. Let h be w(-7). Is (a - -2)/(2/h) a multiple of 7?
True
Let g be 8/(-2)*(-5)/4. Suppose 9 + 1 = g*b. Suppose -l + 14 = -3*c, 3*l - 30 = 2*c - b. Is l a multiple of 7?
False
Let b(m) = -m**3 - m - 9. Let x be b(0).