13*l - 6*l + 5320. Does 34 divide l?
False
Let a(g) = -g**2 + 9*g + 6. Let f be (-62)/(2 + -2 + -2). Let o = -22 + f. Is 6 a factor of a(o)?
True
Let w = 199 - 114. Is 17 a factor of w?
True
Let x be 1*4/(-1)*1. Let f = x + 12. Is f a multiple of 4?
True
Let y(z) = 20*z - 2. Suppose 0 = 2*q - q + 3, -5*l - 2 = 4*q. Is y(l) a multiple of 16?
False
Suppose -5*p + p = 4, h + p = -1. Suppose -2 = 2*d, h = c - 0*d + 3*d - 35. Does 19 divide c?
True
Suppose -79 - 269 = -3*x. Is x a multiple of 17?
False
Let v(z) = -z**2 - 11*z + 11. Is v(-11) a multiple of 11?
True
Let a(f) = 26*f + 3. Let s be a(-2). Let g = -19 - s. Is g a multiple of 15?
True
Let a = 161 - 120. Is 6 a factor of a?
False
Let s(k) = -k + 3 + 3 - 3 - 5 + 6*k**2. Is s(2) a multiple of 10?
True
Let r = -101 - -301. Is 23 a factor of r?
False
Suppose 5*y - 5*n = -15, -3*n = -y - 2 - 3. Is -70*(y - (-8)/5) a multiple of 14?
True
Is 33 a factor of (605/10)/(3/6)?
False
Let y = 94 + -45. Let h = -34 + y. Is (h + -2)/((-2)/(-4)) a multiple of 13?
True
Let v be (4/(-6))/((-7)/(-21)). Let s(c) = 12*c**2 + 5*c. Does 8 divide s(v)?
False
Is -3 - ((-567)/5 + (-18)/(-45)) a multiple of 17?
False
Is -2 + (-148)/(4 + -6) a multiple of 19?
False
Suppose -j - 81 = -4*s, -5*s - 5*j + j = -117. Does 3 divide s?
True
Let f(q) = q**2 + 4*q - 6. Let j be f(4). Let y = j + -13. Is y a multiple of 12?
False
Let m(q) = -q**3 + 8*q**2 + q + 10. Let j(h) = -h**2 - 5*h + 2. Let t be j(-4). Suppose t + 2 = y. Does 11 divide m(y)?
False
Suppose 1092 = -2*w + 15*w. Is w a multiple of 14?
True
Is 12 a factor of (-9)/((-63)/175) - (1 - 0)?
True
Suppose -m + 4*y = -53 - 71, 0 = 5*y - 20. Does 12 divide m?
False
Let g be (-2)/((-5)/(425/2)). Let o = -41 + g. Is o a multiple of 22?
True
Let g(t) = t**2 + 15*t. Is 17 a factor of g(7)?
False
Let b(d) = d + 15. Is 4 a factor of b(-7)?
True
Let w(x) = -x**3 + 8*x**2 - 6*x - 7. Let d be w(7). Suppose d = -2*i - 2. Is (i - -3)*9/6 a multiple of 3?
True
Let h = 8 + -83. Let u = h + 133. Is 16 a factor of u?
False
Let a(s) = -s**2 - 9*s + 10. Let o(h) = -h**2 - 9*h + 9. Let t(f) = -5*a(f) + 6*o(f). Let x(y) = -y - 28. Let m be x(-19). Does 3 divide t(m)?
False
Let i(k) = k**2 + 8*k + 10. Is 2 a factor of i(-8)?
True
Let q = -215 - -310. Does 11 divide q?
False
Let j(k) = -k**3 - 3*k**2 + 4*k + 6. Suppose 6*p + 20 = p. Does 6 divide j(p)?
True
Let m be (27/6)/((-2)/(-4)). Let n = m + 12. Is n a multiple of 21?
True
Let n = -384 + 583. Is n a multiple of 16?
False
Let s(r) be the second derivative of r**5/20 + r**4/3 - r**3/3 + 5*r**2/2 + r. Does 13 divide s(-4)?
True
Suppose -18*q = -19*q + 53. Is q a multiple of 12?
False
Let m = 18 + 6. Does 15 divide m?
False
Suppose 0 = -0*f - 2*f + 44. Suppose -f - 7 = -q. Is q a multiple of 7?
False
Let p(k) = k**3 - 9*k**2 - 9*k. Does 2 divide p(10)?
True
Let c(s) = s**3 + 6*s**2 - 8*s + 1. Is 7 a factor of c(-6)?
True
Let s(k) = k**2 + 5*k - 4. Let q be s(-6). Let d(l) = q*l**2 + 5 - 2*l - 3 - l**2. Does 6 divide d(5)?
False
Suppose 3*q - 2*y - 139 = 231, -110 = -q - 2*y. Suppose -k + 3*k = q. Is k a multiple of 25?
False
Suppose 3*v + 5 + 234 = 2*b, -5*v = 3*b - 368. Let z(y) = -2*y**2 - 3*y - 6. Let k be z(5). Let r = b + k. Is r a multiple of 22?
False
Let o be 14/3 - 14/21. Suppose 0*f = -o*f + 44. Is 11 a factor of f?
True
Let x(m) = m**2 - m + 1. Let c(i) = -2*i + 3. Let n(d) = -c(d) + x(d). Suppose 3*g - 4*o = -19, 5*g - 4*o = -9 - 20. Does 18 divide n(g)?
True
Let v(n) = -3*n**2 - 6*n + 2. Let t(c) = -6*c**2 - 13*c + 4. Let l(h) = 4*t(h) - 9*v(h). Let u(s) = -s**2 + 9*s - 10. Let q be u(8). Does 6 divide l(q)?
True
Does 14 divide ((-12)/9)/(-1)*(1 + 41)?
True
Let o(z) = -z + 6. Let i be o(9). Let r = i - -2. Does 10 divide (-2)/(r - -2) - -12?
True
Is 201/4 - 3/12 a multiple of 17?
False
Let b be 4/6*9/(-6). Let g be (0 - b)/1*2. Suppose f = 2*w, 4*f - g*w - 3*w = 3. Does 2 divide f?
True
Let g = -153 - -79. Let x = g - -107. Does 17 divide x?
False
Let i be 41 - (3/1 + -1). Suppose -h + i = 2*h. Suppose -t + h + 27 = 0. Does 20 divide t?
True
Suppose -v - 18 = 3. Is 7 a factor of 1*-2*v/6?
True
Is 2726/26 - (72/39 - 2) a multiple of 21?
True
Let i(q) = -q**3 - 5*q**2 - q + 1. Let m(n) = -10 + 4*n - n - 2*n. Let c be m(5). Is i(c) a multiple of 4?
False
Let j(k) = -k**3 - 6*k**2 - 7*k - 7. Let z be j(-5). Suppose -z*y + 3 = -2*y. Suppose -8*a = -y*a - 145. Is 11 a factor of a?
False
Let v(h) = 2*h - h**2 - 3 + 1 + 2*h. Let k be v(2). Suppose 3*i + k*x = 72, -2*i + 21 + 27 = -x. Does 12 divide i?
True
Let g(t) be the third derivative of t**4 - t**3/6 + 2*t**2. Let s be g(-1). Let n = 54 + s. Is 15 a factor of n?
False
Let q = -1 - -4. Is (0 + q)*77/3 a multiple of 31?
False
Suppose -10 - 184 = -2*k. Suppose 2*q + 0*r - 2*r = 52, 0 = -4*q - 3*r + k. Does 15 divide q?
False
Let c(y) = -y**2 - 13*y + 1. Suppose -f - 5 = 4. Let k be c(f). Let o = -15 + k. Is 11 a factor of o?
True
Is 19 a factor of (-6)/8 + (-3157)/(-44)?
False
Suppose 3*c - 2*q + 9 = q, 0 = 2*c - 3*q + 11. Let j be 4/(8/234) + 3. Suppose -c*u - 3*u = -j. Does 12 divide u?
True
Let k be ((5 - 2) + -1)*-4. Does 10 divide (-2)/k + (-119)/(-4)?
True
Let i(x) be the first derivative of 3*x**2/2 - x + 4. Is i(4) a multiple of 11?
True
Suppose -55*u + 196 = -48*u. Is u even?
True
Suppose -4*n = 3*g - 5, 41 = n - 5*g + 11. Suppose 12 + 13 = -n*p. Let s = 9 - p. Is s a multiple of 14?
True
Let o(z) = z**3 - 9*z**2 - 9*z - 4. Is o(10) a multiple of 6?
True
Let y(w) = -4*w - 16. Let b be y(-8). Let k = b - -7. Is k a multiple of 15?
False
Suppose 3*n - 6 = -3. Let u = 9 + n. Is u a multiple of 4?
False
Let n = 397 - 207. Does 16 divide n?
False
Let x(w) = 20*w - 4. Let b(r) = -19*r + 3. Let p(g) = -3*b(g) - 2*x(g). Is p(1) a multiple of 4?
True
Is ((-14)/(-2))/(1 + 0) a multiple of 6?
False
Let g(y) = 8 + 0*y - 8 + y. Does 5 divide g(10)?
True
Let q(t) = -t**2 - 2*t. Let r = -6 - -4. Let k be q(r). Does 12 divide (k + 12/1)/1?
True
Let m(v) = v**3 + 8*v**2 - v - 7. Let g be m(-8). Let u be (-2)/(-4) + (-18)/(-4). Let q = u - g. Is 3 a factor of q?
False
Let t be 0 - 5*3/(-3). Suppose 80 = -0*g + t*g. Is g a multiple of 8?
True
Let r(s) = 13*s + 6. Is 3 a factor of r(2)?
False
Let j(w) = -w**3 - 7*w**2 - 7*w - 2. Let x be j(-6). Is 6 a factor of x/3*(-27)/(-2)?
True
Let v(f) = f**3 + 4*f**2 + 3*f + 3. Let l(n) = -n**3 + 3*n**2 + 3*n. Let b be l(4). Let r be v(b). Is 3 a factor of r/(-1) + (-2 - -2)?
True
Does 8 divide (360/4 - -5) + 1?
True
Let u(w) = -w**3 - 4*w**2 + w - 2. Is 13 a factor of u(-5)?
False
Let g(o) = o**2 - 16*o + 19. Is 4 a factor of g(15)?
True
Let n(k) = -k**3 - 2*k**2 - 7*k + 4. Does 5 divide n(-4)?
False
Let b = -11 - -15. Let o be ((-2)/b)/((-1)/10). Is 2/(4 - 2)*o even?
False
Let m(h) = -20*h + 2. Let n be m(-2). Let j(l) = -l**3 + 11*l**2 - 9*l - 16. Let p be j(10). Let a = p + n. Does 18 divide a?
True
Suppose 0*b = b + 4*d - 17, -4*b - 2*d = -12. Let f = -1 - b. Is 2 a factor of 2 + (-1 - f - -1)?
True
Suppose 3*i + 7 - 16 = 0. Suppose -i*c + 15 = s - 2, -3*s + c + 71 = 0. Is 7 a factor of s?
False
Let m(a) = a**3 + 8*a**2 + 8*a + 4. Let y be m(-7). Let w be 2/(-2) + 2 + 0. Is 14 a factor of 18 + y*w/(-3)?
False
Let j(t) = t**2 + 7. Let z = 4 + -9. Let n be j(z). Suppose -d - 3*d = -n. Is d a multiple of 6?
False
Let p(r) = 4*r + 17. Let i(k) = -11*k - 50. Let m(c) = 6*i(c) + 17*p(c). Is 13 a factor of m(12)?
True
Let g(m) be the second derivative of -10*m**3/3 + m. Suppose -3*f - 3 = -0*f. Is g(f) a multiple of 10?
True
Suppose -4*j = a - 44, -4*j - 2*a = -9 - 35. Is j a multiple of 5?
False
Let k(j) = -j + 2. Let w be k(6). Let l(v) = 2*v**2 + 2*v + 1. Let g be l(w). Suppose g = 3*h + 2*h. Is h a multiple of 5?
True
Let k(f) = -16*f - 2*f - 2 - 4*f + 4*f. Let p be k(-4). Let z = 109 - p. Does 13 divide z?
True
Suppose 5*w - 23 = -4*k, k - 4*k = 2*w - 12. Suppose k*l + 19 = 5*d, d + l = 2*d - 2. Suppose -10 = -5*s, -2*n - 2*n = -d*s - 70. Is 7 a factor of n?
False
Let l = 14 + -43. Let o = -11 - l. Is o a multiple of 6?
True
Let l = -54 + 186. Is 11 a factor of l?
True
Let z(p) = -1 + 4 - p**3 - 1 + p**2 + p. Let y be z(0). Suppose 0 = -y*i + 3*t + 85, -5*t = -t + 20. Is 12 a factor of i?
False
Suppose y + 2*y = -3*w + 492, y = 5*w - 844. Is 56 