Suppose 0 = f - 6 + 2, -u + 4*f - 12 = 0. Let v(r) = -r**3 + 5*r**2 + 3*r - 4. Does 6 divide v(u)?
True
Let j be (-4)/14 + 16/7. Is (-37)/(-2) - (-1)/j a multiple of 19?
True
Let z(j) = j**2 - 14*j + 16. Let d be z(13). Is d*(2 - 11/(-1)) a multiple of 12?
False
Let d(m) = m**3 - 11*m**2 - 7*m - 14. Suppose 2*y - 5*i = 5*y - 61, 0 = -5*y + 3*i + 45. Is 15 a factor of d(y)?
False
Suppose -127 - 5 = -4*i. Is 6 a factor of i?
False
Let l be 107 - (1 + 1 + 0). Suppose -5*y + 175 = -l. Suppose -3*n = -52 - y. Is 14 a factor of n?
False
Let s(o) be the third derivative of -o**5/60 - o**4/24 - 2*o**2. Let d be s(0). Suppose -c + 13 + 0 = d. Does 13 divide c?
True
Let g(r) = -2*r**2 + 27. Is g(0) a multiple of 12?
False
Let s(y) = -y**3 + 22*y**2 + 3*y + 33. Does 24 divide s(22)?
False
Let x(s) = -s**3 - 3*s**2 - 3*s. Let j be x(-2). Suppose -j = 3*p - 65. Is 6 a factor of p?
False
Let h = 5 + -2. Suppose 4*z = -3*i + 164, -z + 2*z + h*i = 41. Does 14 divide z?
False
Let c = 22 + 13. Is 5 a factor of c?
True
Let l(y) = -12*y - 6. Is 13 a factor of l(-2)?
False
Is 3 a factor of (3 + -5)/((-2)/31)?
False
Let t = -19 - -57. Let h = t + -3. Suppose 5*x - 5 - h = 0. Is x a multiple of 3?
False
Suppose 2*d - k - 64 = -2*d, k = 4. Does 16 divide d?
False
Let v be 1/(1/(0 - 1)). Let p(u) = -23*u**3 - 2*u - 1. Is 12 a factor of p(v)?
True
Let l(m) = m**2 + 1. Let s be l(-1). Let c(o) = -o. Let r(x) = 3*x**2 + 7*x - 1. Let y(w) = 6*c(w) + r(w). Does 13 divide y(s)?
True
Let v(f) = -f**2 - 35*f - 39. Does 12 divide v(-14)?
False
Let t be (-46)/(-5)*(-5)/(-2). Suppose 0 = -3*u - 3, -5*u = -0*y - 3*y + t. Is 12 a factor of -6 + y - (0 + -42)?
False
Let p(u) = 6*u - 12. Is p(5) a multiple of 6?
True
Suppose i - 6 - 18 = 0. Is i a multiple of 6?
True
Let j(v) = 8*v - 13. Suppose 7 = 5*g - 13. Does 6 divide j(g)?
False
Let v(s) = 13*s**2 - 6*s + 2. Is v(-3) a multiple of 9?
False
Let o = -13 + 1. Does 6 divide o*(1 + 3 + -5)?
True
Let j = -8 + 4. Let z be 6/j*(-8)/6. Suppose 5*c = 5*d - 110, z*c = d - 3*d + 24. Is 6 a factor of d?
False
Suppose -2 = -z, -2*r + 4*z + 84 = -z. Is 10 a factor of r?
False
Let r be 212/6 - 1/3. Let t = r - 25. Let a = 38 - t. Does 14 divide a?
True
Let p be (2 + -2)/(2/2). Let s = -10 + 14. Suppose s*k - 80 = -p*k. Does 20 divide k?
True
Suppose 7 = -v + 41. Is v a multiple of 17?
True
Let v(l) = -6*l + 5. Let p be v(-7). Let c = p + -75. Does 9 divide (-5 + 2)*c/6?
False
Suppose -5*t - 4*d + 1145 = 0, t + 700 = 4*t + 5*d. Is 8 a factor of t?
False
Let j(w) = 3*w - 6. Let q be j(6). Suppose -66 = -2*l + q. Is 13 a factor of l?
True
Let t(j) = -j**3 + 3*j**2 + 4*j + 5. Let r be t(4). Suppose -5*q = -r*n + 14 + 41, 0 = n - 5*q - 11. Does 9 divide n?
False
Let g = -52 - -183. Is 26 a factor of g?
False
Let d(v) be the first derivative of -1/2*v**2 + v + 1. Does 5 divide d(-4)?
True
Suppose -8*u = -3*u - 440. Is 44 a factor of u?
True
Let i = -3 - -3. Suppose -g + 34 = -i*g. Does 17 divide g?
True
Let b(f) = f**2 + f - 1. Let s be b(-3). Suppose -s*z - 4 - 6 = 0. Is ((-4)/z)/(12/66) a multiple of 9?
False
Let x be 3 - (1 - -3) - -2. Is 4 a factor of (-16)/(-4) + 3/x?
False
Let w(b) be the second derivative of b**6/360 - b**5/12 + b**4/12 + 4*b. Let q(g) be the third derivative of w(g). Is 6 a factor of q(12)?
False
Suppose -124 - 20 = -4*r. Does 12 divide r?
True
Let n(p) = -76*p**3 + p**2. Let x be n(-1). Suppose -4*u + h + x = 0, -2*h + 6*h = 12. Is 10 a factor of u?
True
Let q(u) be the second derivative of -u**4/12 + 3*u**3/2 + 13*u**2/2 + 3*u. Let x be q(10). Suppose x*p = p + 18. Is p a multiple of 5?
False
Let s(o) = 4*o**3 - 15*o**2 + 11*o - 29. Let n(g) = g**3 - 4*g**2 + 3*g - 7. Let l(b) = -9*n(b) + 2*s(b). Is l(4) a multiple of 6?
False
Let v(c) = 8*c - 4. Does 15 divide v(8)?
True
Let z be (1/(-3))/(1/(-795)). Suppose -8*m + 13*m - z = 0. Does 12 divide m?
False
Suppose -2*r - 1 = -r. Is 9 a factor of r/4 + 219/12?
True
Suppose 0*h - 4 = -2*h. Suppose 4*q + 3*c - 2*c + 52 = 0, -4*c = q - h. Does 5 divide (-40)/(-7) - 4/q?
False
Suppose 0 = -t - 11 + 3. Let p be 22/5 - t/(-20). Suppose 3*f = -3*b + f + 74, b - 20 = p*f. Is 11 a factor of b?
False
Let c(x) = x**2 - x + 8. Is c(15) a multiple of 41?
False
Let m = 19 - 1. Suppose -2*z + m = 3*u - 5*z, -2*z = -3*u + 21. Is u a multiple of 6?
False
Let w(k) = -128*k. Is 32 a factor of w(-1)?
True
Suppose 3*c = -12, -5*y - 3*c + 659 - 1 = 0. Is 25 a factor of y?
False
Suppose -4*x - 8 = -4*h, 0 = -5*x - h - 0*h + 8. Is 30*(3 - 2) - x a multiple of 10?
False
Suppose 0 = -5*c + 206 - 56. Suppose -r + 5 = -4*f, 5*r + f - 48 = -2*f. Is 2 a factor of (c/r)/((-6)/(-9))?
False
Suppose 0 = -m - 3*s - 1, -5*m + 2*m + 5*s + 11 = 0. Is 8 a factor of m/(-10) - 126/(-5)?
False
Let p(z) = -7*z**3 + 2*z - 1. Let u be p(1). Let r be ((-1)/u)/(2/12). Let c(k) = 30*k**3 - k**2 + k. Does 15 divide c(r)?
True
Let z be 4/10 - 4/10. Let r(l) = l**3 - l**2 + 2. Let t be r(z). Suppose 5*f - 169 = -4*g + t*f, -5*f = g - 55. Is g a multiple of 20?
True
Let f be ((-4)/3)/((-16)/2376). Suppose f - 3 = 5*p. Does 12 divide p?
False
Let b(a) = -a**3 - 7*a**2 + 18*a + 5. Is 3 a factor of b(-9)?
False
Suppose -3*b - 159 = -5*n, 0 = 2*n + b - 60 - 8. Suppose -3*i - i + 14 = -3*q, -4*i = 2*q - 4. Suppose i*x - n = x. Does 15 divide x?
False
Let l(d) = -7*d + 8. Let v(n) = -20*n + 25. Let g(x) = -10*l(x) + 3*v(x). Is 27 a factor of g(11)?
False
Let x(k) = k - 2. Let c be x(5). Suppose -c*y + l = y - 339, l - 263 = -3*y. Suppose 0 = -4*u + 5*d + y, 0*d - 91 = -5*u - 2*d. Does 19 divide u?
True
Suppose 3*j - 3*n = -24, -3*n = 7*j - 2*j + 32. Let o(t) = t**3 + 8*t**2 + 2*t + 10. Let g be o(j). Let d = g + -17. Is 14 a factor of d?
True
Let n = -288 - -426. Is 29 a factor of n?
False
Let x(y) = 62*y**2 - 7*y. Is x(-1) a multiple of 22?
False
Let u(w) = w**3 + 12*w**2 - 15*w - 16. Does 16 divide u(-12)?
False
Suppose -3*a = -5*a + 12. Is a a multiple of 6?
True
Suppose 120 = 4*k - 4*g, g - 69 = -5*k + 51. Let t be 85/k - 3/(-5). Suppose 0 = -w + t*j + 20 + 18, 0 = -2*w + 3*j + 71. Is w a multiple of 10?
False
Is 19 a factor of 4*(-4)/(-16) + 113?
True
Let z(l) = -3*l + 10. Let i be z(8). Is (24/i)/(2/(-63)) a multiple of 27?
True
Suppose 0*y - 5*y = -15. Suppose -2*t = -y*v - 58, 2*t + 3*t = v + 119. Is t a multiple of 7?
False
Suppose -4*d - 20 = 2*n - 86, 6 = -2*n. Is d a multiple of 9?
True
Let l(a) = 8*a**3 - 4*a**2 + 4*a - 2. Is l(2) a multiple of 11?
False
Suppose 2*x = 2*a - 20, 3*a + x - 26 = -0*a. Let r = a + -4. Suppose 30 = s + 5*z, -190 = -r*s - 7*z + 2*z. Does 16 divide s?
False
Let p = 3 - -42. Is 7 a factor of p?
False
Suppose 263 - 863 = -4*f. Is f a multiple of 25?
True
Let r be 0 - ((-2)/2 + -62). Let i be (r/15)/(1/(-15)). Is (i/6)/(6/(-8)) a multiple of 7?
True
Does 26 divide 1/(2 + (-75)/38)?
False
Suppose -4*o + 216 = 4*g, -86 - 120 = -4*g + o. Is 13 a factor of g?
True
Let b = 32 + -17. Is b a multiple of 3?
True
Let f(t) = 4*t**2 + 16*t - 8. Is f(-8) a multiple of 20?
True
Let g be (2/(-4))/(1/(-6)). Suppose -r - 5*v = -3*v + g, -4*r - 4*v = -4. Suppose q + 70 = 6*q - r*c, -3*q = 5*c - 18. Is 5 a factor of q?
False
Suppose 0 = -5*x - 10, 4*w - 3*x + 17 + 1 = 0. Let j = w + 6. Suppose t - 2 - 1 = j. Does 2 divide t?
False
Let w(q) = 3*q**2 + 1. Let c be w(-1). Let f(s) = -s**3 + 4*s**2 + 5*s - 2. Is 9 a factor of f(c)?
True
Suppose 4*y - 4*c = 104, y - 3*y + 24 = 5*c. Is y a multiple of 12?
False
Let o(f) be the second derivative of f**5/20 + 7*f**4/12 - 2*f**3/3 - 5*f**2 + 2*f. Is o(-7) a multiple of 8?
False
Let i = 36 + 21. Is 13 a factor of i?
False
Let p(f) = 0 - 5 - f**2 - 6*f + 4 + 0*f**2. Let y be p(-6). Let n = 13 + y. Does 4 divide n?
True
Let s = -69 - -97. Does 4 divide s?
True
Let q be -8*(0 + -1 + 0). Let u = 6 + q. Is 7 a factor of u?
True
Let b = -109 + 198. Does 15 divide b?
False
Let u be 3/9 - (-24)/9. Is 2 a factor of (-1 + 0)/(u/(-15))?
False
Let x(c) = c**2 + 7*c + 4. Let i(b) = -b**2 - 8*b - 4. Let f(g) = -3*i(g) - 2*x(g). Is f(-12) a multiple of 13?
False
Let t be 6/(36/15 + -2). Let h = 7 + t. Is 2*(-1)/(-2) + h a multiple of 10?
False
Let b = -1 - -2. Let w = 89 - 54. Is 10 a factor of (14/w)/(b/25)?
True
Let l be (-7 - -3)*(4 - 3). Let b = l - -7. Is b a multiple of 3?
True