y. Is 8 a factor of v(y)?
True
Let w = 63 + -44. Is 19 a factor of w?
True
Let r = -2 + 7. Let p = 15 - r. Is 6 a factor of p?
False
Let s(l) = 13*l**2 + 13*l + 2. Does 37 divide s(-5)?
False
Let z = -19 + 25. Is 5 a factor of z?
False
Suppose 23 = 3*t + 2*c, -4*t + 10 = 2*c - 18. Suppose o - 2*j = 9, 0 = -0*o - o + t*j + 9. Is 9 a factor of o?
True
Let v(i) = i**3 - i**2 + i - 18. Let n = -2 - -2. Let o be v(n). Does 6 divide (24/o)/((-2)/18)?
True
Let g be (-18)/(-8) + (-1)/4. Suppose -g*o = -5*y - 31, -2*o - y + 4*y = -37. Is o a multiple of 13?
False
Let a(x) = 5*x**3 + 2*x**2 - 8*x - 11. Let f(m) = -6*m**3 - m**2 + 8*m + 12. Let n(v) = -5*a(v) - 4*f(v). Let b be n(-7). Does 10 divide 19 + 2 + b + -1?
True
Let j(d) = -d**3 + 8*d**2 + 3*d - 12. Let a(b) = b**3 - 4*b**2 + 3*b - 1. Let u be a(2). Let r be u/((-3)/10) - 2. Is 6 a factor of j(r)?
True
Let y(i) = -i**2 + i + 23. Let w be (-4)/(-20) + (-3)/15. Does 15 divide y(w)?
False
Let k be 4/(-18) + 40/18. Suppose -k*l = -1 - 7. Suppose -l*g = -0*g - 3*w + 4, 0 = w - 4. Is g a multiple of 2?
True
Let u(r) = -8*r - 4. Is u(-4) a multiple of 19?
False
Let k(l) = -3*l**3 - 21*l**2 + 15*l - 17. Let s(o) = 5*o**3 + 32*o**2 - 22*o + 26. Let d(t) = 8*k(t) + 5*s(t). Does 8 divide d(7)?
False
Let x be 5*((-4)/(-1))/4. Suppose 0 = -n - 4*m + 12, x*n + 3*m - 27 = 2*n. Does 4 divide n?
True
Let j(v) = v**3 + 6*v**2 + 6*v - 3. Let c be j(-5). Let u = -2 - c. Is u a multiple of 6?
True
Let z = 51 - -42. Is z a multiple of 15?
False
Let y(k) = -53*k - 7. Let n(s) = -27*s + 0 + 1 + 2 - 6. Let u(o) = -9*n(o) + 4*y(o). Is u(1) a multiple of 15?
True
Is (-2)/(-3) + 906/18 a multiple of 35?
False
Suppose 100 - 4 = 4*n. Is n a multiple of 6?
True
Suppose 9*k - 102 = 6*k. Suppose 2*h - 3*h = -4, 3*n = -3*h - 24. Let c = n + k. Is 11 a factor of c?
True
Let k = 57 - 53. Is k a multiple of 4?
True
Let p(r) = 27*r**3 - 2*r**2 - 3*r - 2. Let s be p(-1). Let f = 41 + s. Is f a multiple of 3?
False
Let i be 4/10 + 323/5. Suppose 7 + 11 = 3*g - l, -g = -2*l - 6. Suppose m = g*m - i. Is m a multiple of 13?
True
Let v(n) = -n + 20. Let j be v(-15). Suppose -m = 4*m - 4*x - j, 3*m - 4*x = 13. Is 11 a factor of m?
True
Suppose -h + 6*h = 20. Is h a multiple of 4?
True
Suppose 2*x + 4 = 4*x. Let h be 0*(1/x)/(-1). Does 13 divide -3 + (21 - h) - 3?
False
Let z(k) be the first derivative of -k**2 - 2*k - 1. Let i be z(-4). Let h = i + -4. Is h even?
True
Let n(k) = 2*k - 33 + 3*k + 33. Is n(5) a multiple of 15?
False
Let f(q) = -q**2 - 12*q - 15. Let t be f(-10). Let x = 11 - t. Is x a multiple of 6?
True
Suppose 0 = m - 19 - 3. Suppose 7 = 5*r + m, 0 = -2*q + 5*r + 43. Suppose 3*g + 3*y + 2*y = 26, -g + 4*y - q = 0. Is 2 a factor of g?
True
Let d = -45 - -99. Is 17 a factor of d?
False
Let j(k) = -3*k**2 + 3*k. Let m(t) = -5*t**2 + 7*t + 1. Let c(h) = 7*j(h) - 4*m(h). Is 6 a factor of c(-5)?
True
Let q = -119 + 206. Let f = -30 + q. Is 23 a factor of f?
False
Let n = -4 - -6. Let b = n + 8. Suppose 5*o - 35 + b = 0. Is o even?
False
Let a(s) = -8 - 6*s - 4 + 4 - 7. Is 7 a factor of a(-6)?
True
Let q(m) = -2*m + 0*m**3 - 2*m**2 + 0 + m**3 + 2 + 3*m**2. Is 8 a factor of q(3)?
True
Let u be 1/(-3) - (-94)/(-6). Let f = -4 - u. Suppose -4*c = 16, -c - 13 = -3*p + f. Does 7 divide p?
True
Suppose -3*h = 3*s - 6, -6*s + 2 = 2*h - 2*s. Suppose 38 = 4*c + 5*o, h*c + 2*o - 27 = -o. Is c a multiple of 3?
False
Let q(g) = 16*g**2 - 1. Let h(o) = -33*o**2 + 2. Suppose -1 = a - 4. Let y(s) = a*h(s) + 7*q(s). Does 6 divide y(-1)?
True
Suppose -4*z + h + 78 = 0, -h = -2*z - 4*h + 32. Suppose -3*f + 26 = -z. Does 5 divide f?
True
Suppose -10*y + 40 = -8*y. Is 5 a factor of y?
True
Let w = -13 + 3. Let b be w/(-1)*(-1)/(-2). Suppose -b*q + 10 = -4*j, 0*j = -j. Is q even?
True
Let x = 0 - -5. Let c = x + -3. Let r(u) = 9*u + 2. Is 15 a factor of r(c)?
False
Let y be (2 - -1)/((-18)/12). Is 21 a factor of y - -5 - (0 + -39)?
True
Let w(y) be the third derivative of -y**6/120 + y**5/30 + 3*y**4/8 + 9*y**2. Is 12 a factor of w(-4)?
True
Let c(l) = 32*l**3. Let k be c(1). Let j = 7 + -21. Let q = k + j. Is q a multiple of 6?
True
Let o(n) = 43*n + 9. Let r(b) = 171*b + 37. Let x(p) = 9*o(p) - 2*r(p). Let l(y) = -44*y - 6. Let u(z) = 6*l(z) + 5*x(z). Does 19 divide u(-1)?
True
Let f(q) be the second derivative of -q**4/12 + 7*q**3/3 - 9*q**2/2 - 9*q. Is f(5) a multiple of 12?
True
Let s(o) = o**3 - 3*o**2 + 5*o + 4. Let c be s(4). Suppose c = 4*w + 4*r, -4*r = -0*w - w. Suppose 2*v = -w*d + 3*d, -3*d = -v + 11. Is v a multiple of 5?
True
Is ((-14)/(-5))/((-2)/(-20)) a multiple of 7?
True
Let n(u) = -51*u + 1. Does 26 divide n(-1)?
True
Suppose 5*j = 25, -3*w + j + 160 = 2*w. Does 11 divide w?
True
Suppose -3*c + 42 = -3*z, 5*z - 8 = 2. Is 16 a factor of c?
True
Suppose 35 = -2*w + 85. Is 17 a factor of w?
False
Let h be (-48)/(-21) + (-4)/14. Suppose h*b = 3*b - 42. Is 19 a factor of b?
False
Suppose -2*b + 4*v = -142, -b - 2*v + 77 = 2*v. Is 24 a factor of 1/1*b - 1?
True
Let g = -117 + 183. Suppose j - 3*j = -5*t + g, -2*j + 18 = t. Is 3 a factor of t?
False
Let i(j) = j**3 - 9*j**2 + 10*j - 7. Let k be i(8). Let n = -5 + k. Suppose -t - 8 = -5*q - 20, n*t = -5*q + 73. Is 8 a factor of t?
False
Let i = 37 + -20. Is i a multiple of 8?
False
Suppose -3*b + 102 = -4*d - 0*d, -2*b + d = -63. Is 30 a factor of b?
True
Let l = 1 + -1. Suppose l = -3*s + 116 + 49. Let y = s - 34. Does 8 divide y?
False
Suppose -h - 13 = -3*a - 6*h, -4*h + 6 = -2*a. Suppose 4*m - a - 339 = 0. Suppose 34 = 4*n - 2*n + 5*s, -5*n = -3*s - m. Does 17 divide n?
True
Let o(b) = b - 4. Let l be (1/(-1))/((-3)/27). Let m be o(l). Suppose 4*z - 11 - 72 = -5*t, m*z = -2*t + 125. Is 9 a factor of z?
True
Suppose 4*t = 8*t. Let b(z) = -z**2 + z + 6. Does 3 divide b(t)?
True
Let z = -18 + 62. Is z a multiple of 12?
False
Let h(z) = 0*z**2 - 3*z - z**2 + 2*z**2 + 3 + 0*z**2. Let d be h(3). Suppose d*f = 5*f - 48. Is 21 a factor of f?
False
Let w be (-1 - -1 - 0)*1. Suppose 16 = 4*o - w*o. Let f = o - -7. Is f a multiple of 10?
False
Is 15 a factor of 4674/39 - 14/(-91)?
True
Let b(j) = 19 + j**3 - 9 + 4*j + j**2 + 13 - 5*j. Does 14 divide b(0)?
False
Suppose t = 2*d + 2, -2 = -2*t - 3*d + 2. Suppose -5*n = 4*s - 27, -t*s - 3*n + 12 = -n. Suppose -2*v + 57 = 5*b, 36 = -b + 4*b + s*v. Is b a multiple of 6?
False
Suppose -19 = 4*h + 41. Let b = 45 + h. Does 16 divide b?
False
Let o(u) = u. Let k be o(-3). Let h(q) = 4*q**2 + 2. Is h(k) a multiple of 19?
True
Suppose 0 = 5*h + 2*c - 69, -64 = -2*h + 5*c - 19. Does 6 divide h?
False
Does 11 divide (4/6)/((-8)/(-168))?
False
Let b = 30 + -95. Let z = b + 99. Is 17 a factor of z?
True
Let c = 89 - 53. Suppose -3*l - 271 = -4*k, -5*l - 145 - 136 = -4*k. Let a = k - c. Is a a multiple of 14?
True
Let f = 29 + -11. Suppose 24 = 5*g - 7*g. Let w = f - g. Is 10 a factor of w?
True
Suppose 5*z + 20 + 15 = 0. Let f be 1404/14 + 2/z. Is 10 a factor of f/6*(-6)/(-5)?
True
Let d(h) = 3*h**2 + 4*h - 3. Is 17 a factor of d(4)?
False
Suppose -9 = -3*v + 27. Does 3 divide v?
True
Suppose -s + 6*s - 146 = -b, 0 = -2*b + s + 248. Does 18 divide b?
True
Suppose 5 = y - 3*w, -2*y + 4*w + 0*w + 8 = 0. Suppose n + 0*n = 3*h - 190, 0 = -2*h + y*n + 132. Is h a multiple of 16?
False
Suppose -t = 4*k - 100, 4*k = t - 0*t + 92. Is k a multiple of 12?
True
Let v = 2 + 163. Is v a multiple of 33?
True
Suppose 0*h - h + 32 = 0. Is 8 a factor of h?
True
Suppose -4*i - i = 0, 3*m - 15 = -i. Suppose 3*l - w - 137 = 0, -4*w + w = -m*l + 227. Let x = 99 - l. Is 18 a factor of x?
False
Suppose -p + 536 = 4*n, 0 = -5*n + 5*p + 328 + 367. Is 45 a factor of n?
True
Is 1404/91 + (-4)/(-7) a multiple of 16?
True
Suppose 131 = 2*c + 2*p - 37, 0 = -5*c + 3*p + 420. Let u = c + -44. Suppose -8 = a - u. Is 16 a factor of a?
True
Suppose 0 = 2*s + 16 + 8. Let q = 31 - s. Is 15 a factor of q?
False
Suppose 11*c = 6*c + 30. Suppose 5*b - c = 84. Does 6 divide b?
True
Suppose 3*v - 4*v = 2*t + 30, 0 = -3*t + 15. Is 184/10 - (-16)/v a multiple of 9?
True
Let d = -13 - -9. Let h be d/(-2) - 0/(-1). Suppose 2*a - 108 = -h*a. Is 9 a factor of a?
True
Let d = 10 - 9. Does 13 divide d - (-34 + -1 + 3)?
False
Suppose 6*m - 2*m - 116 = 0. Let q = m + 7. Does 18 divide q?
True
Suppose 0*v 