8 - 3 = -5*s, -5*j - s = 1. Suppose 3*c = -j*c + 90. Is 15 a factor of c?
True
Suppose 0*s - 5*s + 240 = 0. Does 24 divide s?
True
Let l = 183 - 93. Suppose -7*y = -4*y - l. Is 15 a factor of y?
True
Let k(z) = -z**3 + 7*z**2 - 8*z + 6. Let d be k(5). Suppose 4*p - 4*m = -d, -p - 4*m - m - 16 = 0. Does 5 divide (-1 + 2/(-4))*p?
False
Let s(k) = -k**2 - 10*k - 12. Let m be s(-8). Let r(o) = o**3 - o**2 - 3*o + 6. Is 18 a factor of r(m)?
False
Let p(b) = -b**3 + 5*b**2 - 2*b + 3. Let i be p(2). Let c = i - 3. Does 5 divide c?
False
Let z be (6/(-4))/((-6)/16). Suppose z*u - 8 = 0, -2*p - 4*u + 116 = p. Is 2/(1 + (-33)/p) a multiple of 12?
True
Let r(d) = d**2 + 85. Let u be 4/(-26) - (-4)/26. Does 23 divide r(u)?
False
Let j(n) = 2*n**3 - 3 + 0*n**3 + 5*n - n**3 + 0 - 2*n**2. Is 7 a factor of j(3)?
True
Let j be (-4)/14 - 18/(-14). Does 9 divide j*5/((-15)/(-54))?
True
Let j(i) = i**3 - 8*i**2 + 10*i + 3. Let u = -11 + 18. Does 5 divide j(u)?
False
Suppose 5*p = -5 - 5. Let o(g) = 14*g**2 + 3*g + 2. Is 14 a factor of o(p)?
False
Let y(h) = h**2 - 2. Let x be y(2). Suppose 4 - 60 = -x*m. Is m a multiple of 14?
True
Suppose i - 5*p = -3*i - 8, -3*p = -4*i. Let t(y) = -9*y**2 + y**3 - 13 + 0*y**i + 0*y**3 + 4*y. Does 10 divide t(9)?
False
Let a(x) = -x**3 - 1 - x**3 - 2*x**2 - x**3 + 2*x. Let b be a(1). Is 4 a factor of (2/b)/((-1)/10)?
False
Let k = 6 - 2. Suppose -w + 4*w - 23 = -5*t, k*t = 16. Suppose -4*j + w - 9 = 0, 4*j = 3*g - 44. Does 7 divide g?
False
Suppose 4*b = 5*i - 104, 3*b + 2 - 79 = -4*i. Let o = i + -8. Does 7 divide o?
False
Let d be (-2)/(-3)*9 + 1. Suppose -2*y - d = 13. Is 12 a factor of (-246)/y - 9/15?
True
Let i = -13 - -41. Does 28 divide i?
True
Let m be (-6)/(-21) - (-27)/(-21). Is 8 a factor of m/((-2 - -5)/(-54))?
False
Suppose -5*d = -m + 68, -3*d - 232 = -3*m - 2*d. Does 6 divide m?
True
Suppose 0*j - 2*j + 8 = 0. Suppose 2*q = 2*r - j, -4*r - 3*q + 18 = -11. Suppose -5*u - 5*n = 5, -2*n - r = -3*u - 3*n. Is u even?
False
Suppose -2*h + 4 = 2*a + a, 3*h = 5*a + 25. Is a/4 - 485/(-10) a multiple of 16?
True
Suppose 4*n + 5*r = -n - 15, -5*n = r + 7. Suppose v + 3*m = 31, 5*m - 35 = -2*v + 28. Does 8 divide v/2 + n/1?
True
Is 14 a factor of (10 - 0)*(1 + 1 - -33)?
True
Suppose -2*r = 5*c - 301, -c + 2*r = -3*r - 44. Is 30 a factor of c?
False
Let n(p) = -p - 45. Let u(q) = -q - 46. Let o(y) = -3*n(y) + 2*u(y). Is 23 a factor of o(0)?
False
Let u(g) = 2*g**2 - 2*g - 4. Does 12 divide u(-6)?
False
Does 19 divide (-473)/(-5) + (1 - 6/10)?
True
Let a(f) be the first derivative of f**3/3 + 5*f**2/2 - 3*f + 3. Does 7 divide a(3)?
True
Let o be 36/(-3)*1/(-2). Is 3 a factor of (6 + o)*1/2?
True
Let m be (-3)/(-12) + (-766)/(-8). Suppose -5*k - 237 - 73 = 0. Let g = k + m. Is 17 a factor of g?
True
Suppose 10*a - 11*a + 48 = 0. Is a a multiple of 48?
True
Let j(k) = 4*k**2 + k - 1. Let z be j(1). Let u be 6/4 - 6/z. Suppose p + 2 - 10 = u. Is 8 a factor of p?
True
Suppose -4*l - 2*w - 16 = 2, 0 = -2*w - 6. Let v(d) = 3*d + 3. Let t(j) = -3*j - 3. Let o(i) = -2*t(i) - 3*v(i). Does 5 divide o(l)?
False
Let x(c) = -4*c - 9. Is x(-7) a multiple of 4?
False
Let t = -39 - -60. Suppose 3*q = -0*q - t. Let u = -2 - q. Is u a multiple of 3?
False
Let d(i) = -4*i + 5*i + 2 - 3. Let q be d(5). Suppose 0*r - 23 = -2*r + 3*s, -r + q*s = -4. Is 11 a factor of r?
False
Suppose -16 = 2*l - 0. Let a(p) = p + 3. Let t be a(l). Let r(s) = -s**3 - 5*s**2 - 5*s - 7. Is r(t) a multiple of 18?
True
Let l = -14 - 4. Let j = 7 - l. Does 10 divide j?
False
Suppose -2*r + 3*r + 93 = 4*o, 0 = 5*o + 5*r - 85. Let i(d) = d**2 - 2. Let s be i(2). Suppose -o = -s*x + 12. Does 7 divide x?
False
Suppose -2*q + t + 70 = -3*t, -q - t = -26. Does 7 divide q/3 - 8/12?
False
Let r = 76 - 43. Is 22 a factor of r?
False
Suppose -7 = -2*o + 7. Suppose 0 = v - o - 8. Is 12 a factor of v?
False
Let t(r) = 103*r**2. Suppose -4*d - 4 = -0. Let z be t(d). Let j = -70 + z. Is j a multiple of 13?
False
Suppose 3*l + 24 = -2*h + 4*h, 5*l = 2*h - 24. Is 6 a factor of h?
True
Let v be 0 - (-15)/(-6)*6. Let i = v + 51. Is i a multiple of 18?
True
Let s(w) = 6*w - 22. Is s(13) a multiple of 25?
False
Let z(g) = -5*g + 10. Let x be z(-11). Let v = x + -25. Is 20 a factor of v?
True
Let s(i) = -i**3 - 2*i**2 + 2*i. Let z be s(-6). Suppose -2*d = -0*d - z. Does 22 divide d?
True
Let z(y) = -y**2 + 13*y - 10. Let p be z(11). Suppose 3*s - 3*o = 48, -2*s + 44 = 3*o + p. Is 6 a factor of s?
False
Let f(z) = -z - 5. Suppose 0 = 3*o - 6 - 0. Let a be 1*(o + -10) - 1. Is 3 a factor of f(a)?
False
Let m = -1 - -3. Let l(f) = -f + 17. Let k be l(0). Is 11 a factor of 0 + (m - 0) + k?
False
Is 46 a factor of (13*2)/((-174)/(-34) - 5)?
False
Let y = 4 + -1. Is -2*(-4 - (-3 + y)) a multiple of 5?
False
Let m be -4 + 1 + (3 - -54). Suppose m = 2*f - f. Is f a multiple of 18?
True
Is 92 + 4 + (-1 - 2) a multiple of 31?
True
Let v = 141 + -222. Let d be (-4)/3*v/2. Suppose d = 2*n + n. Is 9 a factor of n?
True
Let v(b) = 21*b - 31. Is 8 a factor of v(4)?
False
Let a(v) = -3*v - 3 + v**3 + v**2 + 1 + 3*v. Does 9 divide a(2)?
False
Suppose -2*u - 13 = u + 4*y, 18 = 2*u - 4*y. Suppose -16 = -l + 4*z - u, 0 = -l + 5*z + 11. Let q = 0 + l. Does 15 divide q?
False
Let m = 14 + -2. Is m a multiple of 4?
True
Let c(s) = -3*s - 15. Does 8 divide c(-13)?
True
Let i = 592 + -397. Is 39 a factor of i?
True
Suppose 0 = -56*f + 60*f - 324. Is f a multiple of 4?
False
Suppose -y + 0*i = -2*i - 43, 4*y = i + 144. Is y a multiple of 11?
False
Let v(m) = -m**2 + 7*m - 7. Let i(q) = q**2 - 7*q + 6. Let r(t) = -3*i(t) - 4*v(t). Is 6 a factor of r(7)?
False
Suppose 4*x - 9 = 3*v, 5*x + 3*v = -5 - 4. Let w(s) = -s**3 + 3*s**2 - 3*s + 4. Let a be w(2). Suppose 3*c - a*c - 22 = x. Does 11 divide c?
True
Let s(j) = 3*j + 6. Let y(l) = 3*l + 7. Let o(a) = -4*s(a) + 3*y(a). Let p be o(-2). Suppose 0 = -p*w - z + 16, 0*w + 4*z = 3*w - 26. Is w a multiple of 2?
True
Let o(w) = 3*w**2 - 4*w + 3. Let n be o(2). Suppose -n = -4*g + 5. Suppose -g*r + r = -98. Is 17 a factor of r?
False
Suppose 4*i + 4 = 3*i, 2*h + 4*i = 18. Is 7 a factor of h?
False
Suppose 2*n - c - 24 = 2*c, n = 3*c + 18. Does 6 divide n?
True
Is 30/4*(-7 + 55/5) a multiple of 5?
True
Let j(l) = -2*l - 9. Let c be j(-6). Suppose 0 = -m + 3*m, 0 = -c*r - 5*m + 75. Let a = r - 10. Is a a multiple of 6?
False
Let x = 51 - 27. Suppose -o + 6*d + x = d, -2*o = -5*d - 68. Is o a multiple of 15?
False
Suppose -9 = -2*t + 5. Let r = t - -25. Is r a multiple of 16?
True
Let d = 42 - 97. Suppose -3*s + 5*a = -0*s - 264, -369 = -4*s + a. Let y = s + d. Is 14 a factor of y?
False
Let m(g) = g**3 - 6*g**2 + 7*g - 3. Let x(i) = 3*i**3 - 18*i**2 + 20*i - 9. Let q(w) = -11*m(w) + 4*x(w). Let d be q(5). Let t = d - -19. Is 6 a factor of t?
True
Let x(s) = -s**2 - 5*s - 4. Let j be x(-4). Is 7 + j + (-2)/(-1) a multiple of 3?
True
Suppose w = -6 - 12. Let o = -26 - w. Let k = 15 + o. Does 6 divide k?
False
Suppose 0 = -0*x + 2*x - 24. Suppose 0*q = -4*q + x. Suppose -f = -q*f + 26. Is f a multiple of 7?
False
Let x = -4 - -4. Let q be (-1 - 0) + (x - -3). Suppose 31 + 29 = q*z. Is z a multiple of 15?
True
Suppose -u + 5*u = 0. Suppose u = -4*f + 2*f + 92. Does 16 divide f?
False
Suppose -175 = -3*o + w, 3*o = 6*w - w + 167. Is o a multiple of 3?
False
Suppose 0 = 5*y + 15, -8 = -2*s + y + 3. Suppose s = p - 1. Suppose -4*m = 2*v - 26, 0*m + m + 43 = p*v. Is 4 a factor of v?
False
Suppose -5*q + 48 = -f, 0*q - 4*f - 30 = -2*q. Suppose -q = -3*l - 3. Suppose 0*x + 28 = l*x. Is 7 a factor of x?
True
Let b = 11 + -7. Suppose -b*n = -3*a - a - 524, 3*a = -3. Suppose -3*y + 8*y = n. Is y a multiple of 13?
True
Suppose 946 = 18*i + 82. Does 12 divide i?
True
Let i(f) = f**3 + 9*f**2 + 7*f - 5. Suppose 0 = -q - 3*c - 4, -6*c + 2*c = 5*q + 31. Is i(q) a multiple of 12?
False
Let i = 6 - 6. Suppose i = 3*s - 12, 4*s = -o + 53 - 3. Is o a multiple of 17?
True
Is -2 + (2 - 0)/(8/28) a multiple of 3?
False
Let d(l) = 6*l**3 - l**2 + l - 1. Let t = -7 - -8. Is 5 a factor of d(t)?
True
Let u = 13 + 81. Suppose -l = b - 0*l - u, 0 = 3*b + 5*l - 282. Is 20 a factor of b?
False
Let i(h) = 15*h - 5. Is i(4) a multiple of 8?
False
Let p = 17 - 10. Suppose p*q - 2*q = 0. Does 12 divide 2*(10 -