0*o**2 + o + 3. Let i(n) = -n**3 + n**2 + n. Let y(j) = 5*i(j) - l(j). Is 9 a factor of y(3)?
True
Suppose 4*w - 6 = -4*f + 2*w, 15 = -3*f + 5*w. Suppose n = -f*n + 12. Is 5 a factor of n?
False
Suppose -2*b - b = 3. Let h be b/1*(-2 + -28). Suppose h = 4*p - 26. Does 7 divide p?
True
Suppose -4*x + 2 = -2*n - 2, -4*n = -4*x - 4. Suppose -2 = 2*i + n. Let j(f) = f + 7. Is 4 a factor of j(i)?
True
Suppose 0 + 4 = 2*d. Suppose 0 = -2*s - d. Does 18 divide s/(-2 - 97/(-49))?
False
Let o(c) = -c**3 + 4*c**2 - 2. Let p be o(3). Suppose p = 3*q + 1. Suppose 0 = -3*r - q*v + 55, 0 = -4*r - 2*v - 45 + 119. Is 8 a factor of r?
False
Let q = -111 - -276. Is q a multiple of 11?
True
Suppose o - 6*m - 35 = -m, -4*m + 162 = 3*o. Suppose 9*w - 8*w = 91. Let f = w - o. Is 18 a factor of f?
False
Let y(d) = d**3 - 6*d**2 + 2*d + 3. Let x be y(5). Let b = -5 - x. Does 3 divide b?
False
Let v(p) = -p**3 - 5*p**2 - 2. Let i be v(-5). Let u be i*(1 + 46/(-4)). Let l = u - 12. Is 9 a factor of l?
True
Does 15 divide (-11 + 1)/(4/(-6))?
True
Let a(l) = -l + 4. Let j be a(0). Suppose 9*d - j*d - 4*v = 80, -4*d = -3*v - 63. Is d a multiple of 5?
False
Is 12 a factor of (-72)/(-21)*-91*(-3)/6?
True
Let z = -339 - -554. Is z a multiple of 29?
False
Let v(k) = -70*k + 6. Let t be v(6). Let w = -264 - t. Suppose 0 = o - 1, w = 5*x - 5*o + 35. Does 24 divide x?
True
Suppose 0 = 3*q - 0*q + 9. Let c be q/(-3)*1*75. Suppose -c = -3*t - 3*u, -t - u + 6*u = -13. Does 18 divide t?
False
Let s(h) = h**2 + 20. Let g(m) = -m - 5. Let n be g(-5). Let o be n - 0/(1 + 0). Does 7 divide s(o)?
False
Let h = -26 - -64. Suppose 3*t + 5*z - 146 = 0, t + 4*z = 13 + h. Does 14 divide t?
False
Suppose 2*a + 749 = 5*p, -4*a - 376 = -4*p + 228. Is 29 a factor of p?
False
Let h(x) = 2*x**2 + 7*x + 5. Suppose -z = 5, 4*j - 14 = 3*j + 3*z. Let k be ((-4)/5)/(j/(-5)). Is h(k) a multiple of 4?
False
Suppose -2*s + 0 = 2*r - 8, r = 3*s - 4. Let u(v) = v + v**2 + 1 - 7 + 8. Does 8 divide u(s)?
True
Let u(r) = -3*r - 10. Let w be ((-8)/16)/((-2)/(-48)). Does 13 divide u(w)?
True
Let v(b) = -b - 11. Let q be v(-5). Let g be (6*(-6)/(-4))/1. Does 6 divide -2*g/q*7?
False
Let q(x) = -x**2 + 7*x - 3. Let z be q(3). Let y = z + 2. Is 5 a factor of y?
False
Let o be 2/3 + (-10)/(-3). Is 2/o + (-89)/(-2) a multiple of 15?
True
Let q(w) = -2*w + 2. Let k(b) = -4*b + 3. Let t(l) = 4*k(l) - 7*q(l). Let p be t(-2). Suppose 5*o + 4 = -2*x, o - 2*o = -p*x + 20. Is x a multiple of 8?
True
Let j = -25 - -32. Is 4 a factor of j?
False
Let c(o) = o**2 - 4*o + 220. Is 20 a factor of c(0)?
True
Let m = -8 - -13. Suppose d - m*d - 120 = -5*i, 0 = 2*i + d - 61. Is i a multiple of 13?
False
Is 2 a factor of 15 - ((-15)/(-5) + 1)?
False
Let g(o) = -o**2 - 9*o - 1. Suppose 0*c - 3*c - 12 = 0. Is g(c) a multiple of 19?
True
Is 48 a factor of 3/(-12) + (-1149)/(-4) - -1?
True
Suppose 6*s - 4 = 4*s. Let l be 92/s - (3 + 0). Let z = -28 + l. Is 10 a factor of z?
False
Let q(y) = y**3 + 11*y**2 + 3*y - 16. Does 18 divide q(-10)?
True
Let p(f) = -236*f - 4. Let h be p(-2). Suppose h = 3*q + 3*q. Does 21 divide q?
False
Suppose p - 27 = -2*p. Is 42/p*(-6)/(-4) a multiple of 7?
True
Let q be 724/24 + (-2)/12. Let o = q + -2. Does 10 divide o?
False
Let f(u) = 4*u**3 + 2*u. Is f(2) a multiple of 19?
False
Is 10 a factor of -14*1/((-14)/20)?
True
Suppose 4*u + 3*t - 42 = 2*t, -2*u - 3*t = -16. Suppose 0 = -g - u - 16. Let f = -2 - g. Does 11 divide f?
False
Suppose 6*p + 240 = 11*p. Is p a multiple of 12?
True
Let q(i) be the first derivative of i**2 - 4*i + 1. Let t be q(3). Suppose -t*x + 5*w + 3 + 9 = 0, -8 = -4*w. Does 4 divide x?
False
Suppose 305 = -14*w + 19*w. Is w a multiple of 12?
False
Does 4 divide 2/(((-2)/4)/(-1))?
True
Let i be (6/(-4))/((-3)/4). Suppose 0 = t + i*t - 9. Suppose 0*k = -3*q + 4*k + 25, 2*q - t*k = 18. Is q a multiple of 2?
False
Let d = 157 + -103. Does 7 divide d?
False
Is 35 - 38 - (-14 - (-1 - 0)) a multiple of 10?
True
Let u(y) = y**2 - y - 1. Let g be u(1). Is 15 a factor of (-1)/(g*2/62)?
False
Let t = 76 - 40. Does 12 divide 14/3*t/8?
False
Let s(m) = 2*m**2 + 5. Does 11 divide s(-5)?
True
Suppose -107 - 64 = -3*m. Suppose -2*w - 4*i = -2, i + 23 = 5*w + 7. Suppose 5*u = w*y - 92, y + y + u - m = 0. Does 10 divide y?
False
Let u(g) = g**3 + 14*g**2 + 8*g - 12. Is u(-13) a multiple of 23?
False
Let s(c) = 38*c**2 + c - 1. Does 11 divide s(1)?
False
Suppose -6*x = 9 - 219. Is x a multiple of 12?
False
Suppose v + 0*v - 56 = 0. Suppose -g + 2 = -0. Suppose 0 = 3*z - g*z + 5*n - 4, 3*z = -4*n + v. Is 24 a factor of z?
True
Let g = -3 - -6. Let h be (2/g)/(4/666). Suppose -4*a + 41 + h = 0. Is 14 a factor of a?
False
Let f(m) = 5*m + 2. Suppose 0 = -4*y + 19 - 3. Does 8 divide f(y)?
False
Suppose f - 10 = -2*d - 0, 0 = -4*f + 2*d + 10. Suppose -3*b - 3 = 12, -4*b + 4 = f*q. Is q a multiple of 3?
True
Let l(c) = c - 2. Is l(11) a multiple of 9?
True
Let b(h) = 4*h + 21. Let r(n) = n + 1. Let l(w) = b(w) - 5*r(w). Let c(d) = d**2 + 2*d + 4. Let j be c(-3). Is l(j) a multiple of 8?
False
Suppose b = 4*x - 192, -x + 4*b - 192 = -5*x. Is 16 a factor of x?
True
Let h(i) be the third derivative of -i**7/840 + i**6/180 + i**5/60 - i**4/24 + i**3/3 + 2*i**2. Let w(m) be the first derivative of h(m). Is 3 a factor of w(2)?
True
Let o(k) = 3*k**2 - 14*k - 4*k**2 - 15 + k + 0. Let d be o(-10). Is (1 - 1 - -1)*d a multiple of 15?
True
Suppose 4*b - u - 321 = 45, 0 = b + 3*u - 85. Does 13 divide b?
True
Let c = 30 + 25. Is 11 a factor of c?
True
Is (-1002)/(-18) - -2 - 1/(-3) a multiple of 21?
False
Let z(h) = -7*h - 5. Does 8 divide z(-3)?
True
Let h(p) = -p**3 + 8*p**2 - 8. Is 7 a factor of h(7)?
False
Suppose -315 = 33*j - 36*j. Is 21 a factor of j?
True
Suppose -3*c + 124 = 5*z - 113, 5*c + 5 = 0. Does 24 divide z?
True
Let q = -1 + 21. Is q a multiple of 7?
False
Let f(y) = -38*y - 10. Is 15 a factor of f(-6)?
False
Suppose 2*a - 3 - 3 = 0. Suppose 48 = 2*f - 6*t + 3*t, 0 = a*f + 3*t - 42. Let i = 34 - f. Does 8 divide i?
True
Suppose 2*q - 1 = 4*v - 13, -3*v + 3*q = -3. Suppose 3*y = 3*j - 2*y - 97, 63 = 2*j - v*y. Is 11 a factor of j?
False
Is 12 a factor of 138*(-4)/28*35/(-5)?
False
Let g(q) = -q**3 + 8*q**2 + 10*q - 1. Let h be ((-2 + 3)*-18)/(-2). Is 8 a factor of g(h)?
True
Let q(m) = -m**2 - 15*m + 11. Let i(x) = 4*x + 7. Let j be i(-5). Is q(j) a multiple of 11?
False
Suppose -3*n + 5*l = -281, -n + 4*l - 1 = -83. Is n a multiple of 15?
False
Let q(v) = -v**2 + 6*v - 6. Let z be q(4). Does 5 divide ((-21 + 1)/z)/(-1)?
True
Suppose -n + 40 = 2*n - 4*r, -3*n + 54 = 3*r. Let d = 9 - n. Is d + 10 + (-3)/(-1) a multiple of 3?
True
Let y = 0 + 3. Suppose y*d - x = d + 112, 0 = x. Is d a multiple of 14?
True
Let a(h) = 12*h**2 - 2*h - 2. Let z be a(-2). Let x = z + -17. Is x a multiple of 14?
False
Let a be (0 + 2)/1*1. Suppose -a*t = -22 - 54. Is (-2)/(8/t)*-2 a multiple of 18?
False
Let g(t) = 12*t**2 + 5*t + 3. Is 25 a factor of g(-2)?
False
Suppose -3*o = 3*r - 18, -o = 3*r - 0 - 6. Is 12 a factor of 3*1/o*58?
False
Let o(j) = -j**3 + j + 30. Does 15 divide o(0)?
True
Suppose 4 = -2*r, -4*b = -b + r - 70. Is b a multiple of 8?
True
Let c = 23 - 17. Is c a multiple of 3?
True
Let t be (-2 + 5)/((-1)/(-8)). Suppose 5*v - 2*r = 72, 4*v = 5*r + 20 + t. Is v a multiple of 5?
False
Let s = -117 + 181. Is 5 a factor of s?
False
Let v(z) = -z**3 - z - 2. Does 8 divide v(-2)?
True
Let u be (-1)/((-2)/(-4))*6. Let v be (-10)/(-3) + (-8)/u. Is 9 a factor of 4*(-2)/v - -11?
True
Let n(t) = -11*t**2 + 27*t + 22. Let g(f) = 5*f**2 - 13*f - 11. Let y(w) = -13*g(w) - 6*n(w). Is y(-8) a multiple of 8?
False
Is (-1)/6 - (-1490)/12 a multiple of 14?
False
Suppose f = -5, i + 2*i - f - 23 = 0. Suppose 0*w + 3*w = i. Is 2 a factor of w?
True
Suppose 0 = 2*y - 3*i - 189, 3*i + 98 - 8 = y. Does 31 divide y?
False
Let x(c) = -c**3 + 23 - c + 24*c**2 - 25*c**2 + 17. Does 8 divide x(0)?
True
Let k = 7 - 5. Suppose 0 = k*z - 3*z. Suppose -l - 1 + 7 = -b, 4*l - 3*b - 26 = z. Is 8 a factor of l?
True
Is 28 a factor of (3 - 6) + 85 + 2?
True
Let i be 69 + (3 + -11)/2. Suppose 9 = -4*m + i. Does 7 divide m?
True
Let z = -6 + 3. Is 10 a factor of -3 - (z - 21 - -1)?
True
Suppose 9*t - 14 = 8*t. Is 14 a factor of t?
True
Let w(n) =