Let a be z(1). Suppose 0 = -5*g + a + 36. Does 8 divide g?
False
Suppose 2*t + 114 = 3*v + 29, -3*v + 80 = -t. Does 5 divide v?
True
Let d(t) = 28*t**2 - t - 6. Is 12 a factor of d(-2)?
True
Let s(k) = 22*k**2 + 1. Is s(-1) a multiple of 7?
False
Suppose -4*t + 20 + 20 = 0. Suppose 4*w - 88 = -4*f, -w + 3*f = -32 - t. Is w a multiple of 9?
True
Let z = 288 - 78. Is 30 a factor of z?
True
Suppose q = -5*m - 0*m + 12, -m - 4*q = -10. Suppose m*f = 4*f - 4. Is f a multiple of 2?
True
Suppose -26 = w + 5*n, 0 = 2*w - 0*n + n + 7. Let u = w - -8. Let g = u - 3. Is 2 a factor of g?
True
Let v = -5 + 12. Suppose -v = i - 5*a + 15, -5*i - 3*a = -2. Let k = i - -5. Is 3 a factor of k?
True
Let z = -6 - -9. Suppose z*h = -4*l + 14, l - 2*h = -0*l - 2. Suppose 0 = l*c - 3*c + 19. Does 16 divide c?
False
Let i(b) = 3*b + 4. Let m be i(7). Let g = m + 28. Is 12 a factor of g?
False
Suppose 6*b + 3 = 3*b, 4*g + 5*b = 83. Is g a multiple of 3?
False
Suppose 3*b = b + 136. Suppose -3*m = m - b. Does 16 divide m?
False
Let q = 200 + -107. Is q a multiple of 17?
False
Let i = 2 + 4. Let r be (-9)/i*4/3. Let s(v) = -v**3 - v. Does 10 divide s(r)?
True
Let n = 61 - 43. Let u = 0 - -4. Does 16 divide u/n - (-259)/9?
False
Is 457/9 - (-14)/63 a multiple of 17?
True
Let s(f) = -f**2 + 6*f - 5. Suppose 3*m = m + 10. Let o be s(m). Suppose 3*x - 2*h = -x + 64, o = 5*x - 3*h - 81. Is x a multiple of 6?
False
Let g be 356/24 + (-1)/(-6). Suppose -2*m - m = -g. Let s = m + 5. Is s a multiple of 8?
False
Suppose -t - o + 12 = t, 0 = -2*t - 3*o + 16. Does 13 divide 3/(30/52)*t?
True
Suppose -5*g + 503 = -5*k - 37, -5*k + 560 = 5*g. Is g a multiple of 11?
True
Let w = 13 - 11. Is 13 a factor of (1 - (-3 + w))*25?
False
Let z = -6 - -16. Suppose 4*x - 34 + z = 0. Is 4 a factor of x?
False
Let s = 170 - 101. Is s a multiple of 14?
False
Suppose -24 = -0*v - 4*v. Let f(s) = 1 + 7*s**2 + 0 - s**3 - 3*s - 2. Is f(v) a multiple of 17?
True
Let y(w) = w**3 + 28. Is 7 a factor of y(0)?
True
Let s(t) = 6*t - 2. Let m(l) = -5*l + 2. Let u(q) = -3*m(q) - 2*s(q). Let c be u(2). Suppose b - 2 = -c*i, -47 = -b + 6*i - i. Is b a multiple of 22?
True
Let a be (-1 + 1)*(-1)/(-2). Is 25 a factor of 25 + (0 + a - -1)?
False
Let u(l) = -l**2 + 3*l + 2. Let i be u(2). Let p(w) = -w**2 + 5*w - 4. Let g be p(i). Suppose -34 = -2*y - g*y. Is 13 a factor of y?
False
Does 8 divide (-32)/(-1)*(1 + 0)?
True
Let z(x) = -x**2 - 14*x + 6. Let f be z(-10). Suppose -3*m = -f - 89. Suppose 2*o + l - 77 = 0, -3 = o + 4*l - m. Is 15 a factor of o?
False
Let l be (26/(-4))/((-3)/6). Let h = 26 - l. Is h a multiple of 6?
False
Suppose a = -2*u + 1, 25 = 5*a - 4*u + 6. Let l(o) = 2*o - 2. Let y be l(-2). Is a/y*8/(-1) a multiple of 4?
True
Let s(r) = 10*r**2 + r. Suppose -2*k + 11 = 3. Suppose k*u - 4 = -0. Does 11 divide s(u)?
True
Let h(y) = -y**2 + 7*y + 6. Is h(6) a multiple of 12?
True
Let q(s) = -10*s + 26. Is 17 a factor of q(-6)?
False
Suppose m - 415 = -3*d - 2*d, 89 = d - m. Is 14 a factor of d?
True
Suppose r = u + 8, -r - u - 16 = 4*u. Let v(t) = -t - 4. Let m be v(-6). Suppose h = 5*n + r, -101 = -5*h - m*n - 0*n. Does 19 divide h?
True
Suppose 5*l - 166 = -2*p, -3*p = l + p - 26. Is l a multiple of 10?
False
Suppose 3*d - 3*a - 9 = 0, 2*a - a = -2*d + 3. Suppose -14 - 36 = -x - 5*p, 0 = -4*x + d*p + 178. Is x a multiple of 12?
False
Suppose -4*j - 36 + 188 = 0. Does 13 divide j?
False
Let p be (-1)/1*9*-4. Suppose -2*c - 3*b = -5*c + p, -c = -4*b - 3. Does 5 divide c?
True
Let x(w) = 8*w**2 - 6*w + 7. Is x(2) a multiple of 4?
False
Let w = -11 - -20. Is 2 a factor of w?
False
Let s(q) = -q + 1. Let h(t) = 6*t - 6. Let i(d) = 2*h(d) + 15*s(d). Let f be -3 - 1/(1 + 0). Is 13 a factor of i(f)?
False
Let s(i) = 6*i - 4*i - 2*i - i. Let n be s(0). Suppose -h + n*h = -9. Does 9 divide h?
True
Let s(m) be the second derivative of m**3/6 - m**2 + 3*m. Is s(6) even?
True
Let s(v) = v**3 + 8*v**2 - 14*v - 9. Let g be s(-9). Suppose 2*d + g = 164. Does 18 divide d?
False
Suppose 4*w + 20 = 0, -y - 3*w - 160 = -6*y. Suppose 3*r - 5*g - 33 = y, 0 = 4*r - 3*g - 68. Does 14 divide r?
True
Suppose -h + 5*h - 32 = 0. Is 2 a factor of h?
True
Suppose 5*b = 1 + 9. Suppose 3*u - 6 + 3 = -4*v, -4*u = -b*v - 4. Let o(d) = 31*d**2 - 1. Does 15 divide o(u)?
True
Let w(o) = -o + 29. Let g be w(0). Suppose 2*d - 73 = -g. Is d a multiple of 11?
True
Let i(u) be the first derivative of -u**2/2 + 2*u - 2. Let v be i(5). Let p = v - -7. Is 4 a factor of p?
True
Let u(j) = j**3 + 2 - 10 + 2 - j**2 + 3*j - 4*j**2. Does 12 divide u(6)?
True
Let f(h) = -h**3 + 11*h**2 - 10*h - 6. Is 40 a factor of f(7)?
True
Let q(g) = -g + 21. Is q(-18) a multiple of 16?
False
Let h = -11 - -44. Let m(i) = -i - 15. Let g be m(0). Let q = g + h. Is 6 a factor of q?
True
Suppose 5*j = 3 + 7. Is j/3 - (-920)/24 a multiple of 13?
True
Let n = 7 + -13. Does 22 divide n/(-3) - 192/(-3)?
True
Let m(o) = 6*o + 2. Is 15 a factor of m(7)?
False
Let n = 9 + -6. Let o(w) = 3 - n - w**2 - 1 + 3*w**2 + 2*w. Does 15 divide o(3)?
False
Suppose 4*n - 2*v - 260 = 0, 0 = 5*v - 3*v - 8. Is 17 a factor of n?
False
Let v = 122 - 73. Does 16 divide v?
False
Let n(l) = -l**3 + l**2 - l. Let x(p) = 5*p**3 - 5*p**2 + 5*p - 4. Let a(h) = 4*n(h) + x(h). Is a(4) a multiple of 16?
True
Let r = 7 + -2. Does 3 divide r?
False
Let p be 2*(-1)/4*2. Let b be 4/(-10) + (-265)/25. Let r = p - b. Is 6 a factor of r?
False
Let s(r) be the third derivative of r**6/120 - r**5/15 - r**4/3 + r**3/2 + 4*r**2. Is s(6) a multiple of 7?
False
Let d be 1 + (-4 - -4) + 15. Let k = d + -6. Is k a multiple of 5?
True
Suppose -3*n = p - 163, 4*p = -n + 2*p + 46. Suppose 5*z - n - 29 = 0. Is z a multiple of 13?
False
Let g be -86*133/126 - 2/9. Suppose 0 = -4*i - 16, 4*i - 1 + 144 = -y. Let n = g - y. Is n a multiple of 18?
True
Let d = 452 - 299. Is 9 a factor of d?
True
Let k be (-112)/(-21)*(1 - -2). Let n = -10 + k. Is (-75)/(-9) - 2/n a multiple of 4?
True
Does 4 divide -1 + 9 + (-1 - 3)?
True
Let c(r) be the first derivative of 17*r**2 - r - 1. Let m be 20/28 + (-2)/(-7). Does 13 divide c(m)?
False
Suppose 0 = -0*g + g, -4*m - 3*g + 480 = 0. Is m a multiple of 20?
True
Suppose -5*r + 0 = -20. Is r a multiple of 2?
True
Suppose 5*j + 20 = -o - 30, 10 = -2*o. Let q = j + 31. Is 11 a factor of q?
True
Suppose -109 - 46 = -q. Let y = -99 + q. Suppose 5*s - 4*h + 5*h - y = 0, 0 = -5*s - 5*h + 40. Is 11 a factor of s?
False
Let z(n) be the third derivative of n**4/8 - 2*n**3 - n**2. Suppose -2*f - 2*s = -24, -f - 2*s + 11 = -4. Is 8 a factor of z(f)?
False
Let m be (1 + -7)*(-8)/12. Is 6/m*8/3 a multiple of 4?
True
Let r(p) = 4*p**2 + 9*p + 29. Is r(9) a multiple of 62?
True
Let q be (0 + -2)*(-61)/(-2). Let c = q + 96. Let k = c + -21. Does 14 divide k?
True
Let h be (-3)/(0 + 9/(-6)). Suppose b = h*o + 13, 2*o - 20 = -5*b - 3*o. Is b a multiple of 4?
False
Let r(i) = i + 64. Is 9 a factor of r(-20)?
False
Let k = 3 + 1. Suppose 3*s + k*z = -2*s - 31, 0 = -4*z + 4. Let p(j) = 2*j**2 + 9*j + 1. Is 18 a factor of p(s)?
True
Let a(i) = -i - 2. Is 3 a factor of a(-8)?
True
Let q(p) = -3*p**2 + 2*p + 6. Let j be q(5). Let n = -20 - j. Is n a multiple of 13?
True
Let p(w) = -w**2 + 1 - 2*w**2 + 16*w**2 - 3*w. Is 15 a factor of p(2)?
False
Let n(g) = 2*g**3 + 7*g**2 - 6*g. Let i(c) = 3*c**3 + 7*c**2 - 6*c + 1. Let t(l) = 3*i(l) - 4*n(l). Let k be t(6). Suppose x - k*x = -22. Is 4 a factor of x?
False
Let d(t) = -3*t + 41. Is d(9) a multiple of 7?
True
Let n(a) = a**2 - 6*a - 12. Let t be n(9). Let i = 52 - t. Is i a multiple of 13?
False
Let f(k) = -k**3 + 6*k**2 - 3*k. Let t be (-63)/49 + (-2)/(-7). Let p be 8/2*t/(-2). Is 10 a factor of f(p)?
True
Let t = -43 - -89. Is t a multiple of 17?
False
Suppose 6*m + 60 = m. Let a be (1/3)/((-4)/m). Is (3 - (-1 + a))*7 a multiple of 7?
True
Let v = -44 - -69. Is 5 a factor of v?
True
Let r(h) = 15*h + 1. Let s be (-2)/5 - (-7)/5. Is 11 a factor of r(s)?
False
Suppose x = 3*p - 7, 4*x + 4*p + 45 = -p. Let f = x + 19. Does 9 divide f?
True
Suppose -24 = -0*x - x. Let c = x + 12. Is c a multiple of 12?
True
Let s be 69/(-2*3/(-4)). Let k(c) = -c**2 - 8*c - 9. Let z be k(-6). Suppose 50 = z*l + 2*o, -l - l + s = -5*o. Does 9 divide l?
True
Does 39 divide ((-12)