+ -45. Does 10 divide k?
True
Suppose 3*m - 26 = -3*w + m, 73 = 4*w - 5*m. Is w a multiple of 12?
True
Suppose 5*n = 3*t + 2535, n - 4*t + t - 519 = 0. Suppose -i - 3*i = -n. Suppose 0 = -3*j + 24 + i. Does 18 divide j?
False
Let v(l) = 2*l**2 + 10*l + 9. Is v(-8) a multiple of 19?
True
Let z = 104 + -45. Does 5 divide z?
False
Let v(w) = -w**3 + 6*w**2 - 7*w - 1. Let m(o) = -2*o**3 + 12*o**2 - 15*o - 2. Let t(y) = -4*m(y) + 9*v(y). Let a be t(5). Is 12 a factor of (5 + a)*(-2)/(-2)?
False
Let z be ((0 - 0) + -2)*-2. Suppose -4*x = 3*p - 36, 3*p + 28 = z*x + 8*p. Does 6 divide x?
True
Suppose 0 = -5*a - 124 + 699. Does 23 divide a?
True
Let x = -210 - -345. Does 27 divide x?
True
Is 10 a factor of (2/5)/((-2)/(-830) + 0)?
False
Let j(r) be the second derivative of -r**5/20 - r**4/3 - 2*r**3/3 - 3*r**2/2 - 4*r. Let i(p) = -p**3 - 6*p**2 + p + 1. Let a be i(-6). Does 22 divide j(a)?
False
Let t(k) = -4 - 2*k + 5 - 2. Let b be t(-5). Suppose -z + 0*q + b = q, 36 = 4*z + q. Is 9 a factor of z?
True
Is 25 a factor of (-14 - 3)*3*3*-1?
False
Let i be (-3)/(4/(8/(-3))). Suppose l + i*x - 36 = -2*x, -2*l + 88 = 4*x. Suppose c + l = 5*c. Is 13 a factor of c?
True
Suppose 5*j + 4*h = 1087, 3*j - 2*h = 3*h + 630. Suppose 3*v + 2*v = j. Is v a multiple of 11?
False
Let u be 10*((-6)/(-4) - 1). Suppose -2 = -4*a + h, -u*a + 4*h + 4 + 4 = 0. Suppose z - 5*g + 7 = a, -12 = -4*g + g. Is z a multiple of 13?
True
Let l(a) = -3*a - 4. Let w(z) = -3*z - 5. Let m(u) = 3*l(u) - 2*w(u). Let p be m(2). Let x(j) = -j**2 - 9*j + 9. Is x(p) a multiple of 9?
False
Is 3 a factor of ((-20)/50)/(1/(-35))?
False
Is 13 a factor of ((-18)/10)/((-20)/200)?
False
Suppose a + 3*y + 23 = -y, -5*a - 5 = -2*y. Let c(k) be the third derivative of -k**4/12 - k**3/6 - 2*k**2. Is 5 a factor of c(a)?
True
Let j = -4 + 11. Let t(z) = z**3 - 6*z**2 - 7*z + 10. Is 4 a factor of t(j)?
False
Let z(q) = -5*q + 3. Let t be z(7). Let w = -20 - t. Is 4 a factor of w?
True
Let h be 2*-5*15/6. Let v = -5 - h. Is 7 a factor of v?
False
Is 9 a factor of 59/1 - (-4)/1?
True
Let m = 3 - -11. Is m a multiple of 4?
False
Let n = 9 + -15. Let c be n/(-3) + -3 - 0. Let y = c - -7. Is 6 a factor of y?
True
Suppose -4 = q + w, 5*q = 3*w + 28 - 8. Suppose -4*s - q = -5*s, -3*z + 19 = 4*s. Suppose -30 - 15 = -z*f. Is f a multiple of 9?
True
Let m be (-1 - 1*-2)*0. Let b = m - 1. Is (-5)/4*b*4 even?
False
Let b(z) = -z**2 + z + 1. Let d(c) = 2*c**3 + 9*c**2 - 7*c - 6. Let h(y) = 5*b(y) + d(y). Does 16 divide h(2)?
False
Is 2 + 4/(-8) - 282/(-4) a multiple of 36?
True
Let z(w) = -2*w. Let p be z(-3). Suppose 2*g + 5*x = 50, -66 = 4*g - p*g - x. Is 15 a factor of g?
False
Let x(g) = 2*g**2 - 6*g + 1. Let y be (-20)/(-6) - 4/(-6). Is 9 a factor of x(y)?
True
Let r(u) = -u + 24. Let c = 0 + 0. Let j be r(c). Suppose 5*f - j = -3*t, f + 2*f - 12 = -t. Does 2 divide t?
False
Let d be ((-2)/(-2))/((-2)/4). Let c be (-6)/d + -8 + -3. Let p(j) = j**3 + 8*j**2 - 2*j - 10. Does 6 divide p(c)?
True
Let b(f) be the second derivative of -f**6/120 - f**5/12 - f**4/12 - f**3/6 - f**2 + 2*f. Let y(d) be the first derivative of b(d). Is y(-5) a multiple of 4?
False
Let o(g) = g**3 + 6*g**2 + g. Let f be o(-6). Let h = f - -10. Let m(q) = -q**3 + 4*q**2 + 4*q + 5. Is m(h) a multiple of 9?
False
Suppose -7*k + 3*k = -12. Let t = k + 0. Suppose -t*x + 28 = x. Does 2 divide x?
False
Let d(z) = -6*z + 4. Suppose 2*m + 18 = -2. Does 30 divide d(m)?
False
Let t(v) = -125*v + 2. Let y be t(4). Let o(z) = 4*z + 18. Let u be o(-11). Does 19 divide y/u + 6/(-39)?
True
Suppose 11 = -3*x + 5. Let m be x - 22/((-3)/3). Is 19 a factor of m - (-2)/(2*-1)?
True
Suppose p + 48 = 5*p. Is 4 a factor of p?
True
Let i(n) = -n**3 - 13*n**2 - 12*n + 5. Let x be i(-12). Let q(t) = 9*t + 2. Is 15 a factor of q(x)?
False
Let a = 11 - 5. Is a a multiple of 5?
False
Let d(m) = 3*m**2 - 7*m - 10. Let r(j) = 5*j**2 - 15*j - 19. Let y(w) = -7*d(w) + 4*r(w). Is y(-6) a multiple of 12?
True
Is 13 a factor of (-216)/(-45)*(-15)/(-2)?
False
Let q(z) = 3*z - 1. Let l be q(4). Let t(p) = -p**3 + 10*p**2 + 14*p - 10. Is t(l) a multiple of 13?
False
Let a(j) = -6*j + 29. Does 19 divide a(-11)?
True
Suppose 0 = -2*w + 153 + 29. Is w a multiple of 14?
False
Let q = -17 + 32. Does 4 divide q?
False
Suppose -4 = 4*r, 0*u - u + 3*r = 1. Let b = -2 - u. Is b a multiple of 2?
True
Let h(m) = 24*m - 3. Let l be h(4). Suppose 21 = -3*c + l. Does 24 divide c?
True
Suppose 5*h - 25 = 0, 18 = -0*g - g + 4*h. Let s(c) = 2*c**g - 14*c - 1 - 6 + 6*c. Does 13 divide s(7)?
False
Let a(r) = -2*r**3 - 6*r**2 - 12*r - 6. Does 11 divide a(-5)?
True
Let h = -5 - -8. Suppose 2*w + 2*w = -h*s + 14, -3*w + 23 = -4*s. Does 5 divide w?
True
Suppose 165 = -3*d - 0*d. Let n = -21 - d. Does 17 divide n?
True
Let b(g) = -g**3 - 2*g**2 + 4*g + 6. Does 17 divide b(-4)?
False
Suppose 51 = 2*x + x. Does 17 divide x?
True
Suppose k + 4*d - 8 = -d, 0 = k + 3*d - 4. Let w be 161/k*(-60)/35. Suppose -5*x + w = 3*l, -5*x - 2*l + 137 = -0*x. Does 17 divide x?
False
Is 7 a factor of -1*(-2 + (-12 - 0))?
True
Let m(k) = k**3 - 11*k**2 + 12*k - 10. Let w be (-4)/(-22) + (-756)/(-77). Is m(w) a multiple of 5?
True
Suppose -2*i + 8 + 0 = 0. Let w = -41 - -16. Is 4 - i - (w + 1) a multiple of 12?
True
Is 53 a factor of 2235/21 - (-18)/(-42)?
True
Let w = 2 + -7. Let s(n) = n + 10. Let z be s(w). Suppose -35 = -z*m + 105. Is m a multiple of 14?
True
Let v(c) = 2*c**2 + 2*c. Let k be v(3). Let t(z) = -z**2 + z - 9. Let n be t(0). Let q = k + n. Is q a multiple of 7?
False
Let j(q) = 20*q - 1. Is j(4) a multiple of 17?
False
Let w = 9 + -6. Suppose -w*f - f + 12 = 0. Suppose 3*y + 36 = f*g, 5*g + 40 - 120 = -5*y. Is g a multiple of 11?
False
Let a(p) be the second derivative of -p**3/6 - 2*p**2 - 4*p. Let w be a(4). Does 13 divide 2/(-4) + (-108)/w?
True
Suppose -d - 12 = -4*o, -3*o + 4*d - 3*d + 10 = 0. Suppose -y + 3*u = -37, o*u + 29 = y + 3*u. Is 18 a factor of y?
False
Suppose 0 = -5*s - 3*f - 10, 4*s - 9*s - 10 = -3*f. Let z be 1 + 1 + -11 + s. Let l = z + 43. Is 16 a factor of l?
True
Suppose 8*r = 4*r - 36. Let v(t) = -t**3 - 8*t**2 + 8*t + 9. Does 5 divide v(r)?
False
Let q(c) = 4*c**2 - 4*c. Let p(s) = -5*s**2 + 4*s. Let a(j) = -5*p(j) - 6*q(j). Suppose 0 = -v - 0 - 6. Is 6 a factor of a(v)?
True
Let w = 12 + 6. Does 9 divide w?
True
Let z be -1 - 31 - (0 + 0). Let i = -6 - z. Suppose i = x - 2*l, -5*x - 47 = -2*l - 145. Is 9 a factor of x?
True
Let v(y) = 10*y + 2. Let u = -1 + 6. Is v(u) a multiple of 13?
True
Suppose -4 = -5*k + y, 0*y - 8 = 4*k + 2*y. Is 19 a factor of 2*(-38)/(-4) - k?
True
Suppose 0 = 2*x - 317 + 85. Does 4 divide x?
True
Let v(c) = c**3 + 12*c**2 + 21*c + 11. Does 18 divide v(-9)?
False
Let j(b) = b**2 + 5*b + 5. Suppose -6*y + 11*y = -30. Let t be j(y). Suppose 5*a - t = 69. Is a a multiple of 16?
True
Suppose c = -5, c = -4*j - 0*j + 3. Suppose j*p = -21 + 143. Is 16 a factor of p?
False
Suppose 2*o = 4 + 310. Does 7 divide o?
False
Suppose -2*x = -3*r - 134 + 14, 5*x + 3*r - 279 = 0. Is 12 a factor of x?
False
Let x(f) = 4*f**2 - 7*f - 19. Does 22 divide x(-6)?
False
Suppose -2 + 4 = -p, -2*p = y + 3. Let w = 7 + y. Is w a multiple of 8?
True
Is (-3)/(-12)*0 - -19 a multiple of 10?
False
Let w(t) = -8*t + 1. Let x(l) = 7*l. Let k(y) = 6*w(y) + 7*x(y). Let f(r) = 7*r + 49. Let q(v) = 6*f(v) - 49*k(v). Does 14 divide q(-2)?
True
Let j(k) be the third derivative of -2/3*k**3 - 1/24*k**4 + 0*k - 3*k**2 + 0. Is j(-6) even?
True
Let k(l) = -20*l**2 - 2. Suppose 2*z = 2*q, 2*q = q + 5*z + 8. Let m be k(q). Does 7 divide 1/3 - m/6?
True
Suppose 4*i = -2*r + 62, 4*r - 4*i - 106 = -42. Let o = 7 - r. Is 2*(1 + 0) - o a multiple of 13?
False
Let j(t) = -2*t**2 + 2*t**3 - t + 5 - 4*t - 4*t**2 - 3*t**3. Does 4 divide j(-5)?
False
Let h(o) = -o**3 - 3*o**2 + o + 200. Does 40 divide h(0)?
True
Let s(o) = -o**3 + 2*o**2 + 6*o - 3. Let y be s(4). Let z = 31 + y. Is 10 a factor of z?
True
Suppose -99 = -3*r + 4*z, 0*z = -2*r + z + 71. Is r a multiple of 4?
False
Is 4 a factor of (-2)/(212/(-68) + 3)?
False
Suppose 0 = 2*h + 3*h - 25. Is h a multiple of 3?
False
Suppose 7 = 5*j - j - 3*c, 4 = -2*j + 4*c. Suppose 5*f = 4 - 14, j*a = -5*f + 118. Let k = a + -16. Is 8 a factor of k?
True
Suppose 4