60. Does 13 divide f?
True
Let a(s) = -s**3 - 5*s**2 - 6*s + 3. Let x be (-45)/(-75) - (-28)/(-5). Is 11 a factor of a(x)?
True
Let i(k) = k - 11. Let r be i(11). Suppose -3*c + r + 6 = -3*o, -21 = -3*c - 2*o. Let g(x) = 7*x + 1. Is 12 a factor of g(c)?
True
Let i(c) = c**3 - 4*c**2 + 3*c + 7. Is 14 a factor of i(5)?
False
Suppose 0 = 3*n + 3*a - 3, -4*a + 32 = -n - 2*n. Let j = n - -4. Let v(y) = -y**3 + y**2 - y + 14. Does 6 divide v(j)?
False
Let d be 30/((-10)/12 - -1). Suppose 5*k - w - 372 = 90, 0 = -2*k + 2*w + d. Is k a multiple of 29?
False
Suppose -4*h + 74 + 54 = 0. Is 14 a factor of h?
False
Suppose 2*b - 8 = 0, 0 = 8*a - 3*a + 5*b - 95. Does 3 divide a?
True
Let a(x) = x**2 + 9*x - 10. Let j be a(-10). Suppose -4*m = -0*m - 20. Suppose m*c = -j*u + u + 161, 2*c + 5*u = 59. Does 12 divide c?
False
Let d = -4 - -14. Suppose u = 4*t - u + d, -t = 2*u - 10. Suppose -2*a + t = -18. Is 3 a factor of a?
True
Let o be -3 - ((-26)/2 - 2). Is (2 + 18)*o/8 a multiple of 10?
True
Let h(n) = 4*n**3 - 5*n**2 + 4*n + 3. Let l(g) = -3*g**3 + 6*g**2 - 4*g - 3. Let u(k) = 2*h(k) + 3*l(k). Does 16 divide u(6)?
False
Suppose -y + 3*h = -18, -2*y - 2*y = 3*h + 3. Let t be 528/9 + (-2)/y. Let g = t + -13. Is g a multiple of 15?
True
Let f(v) = -3*v + 12. Let h = -10 + 1. Is f(h) a multiple of 13?
True
Let f(o) = -4*o + 7. Let m(n) = 12*n - 22. Let p(l) = -16*f(l) - 5*m(l). Is p(7) a multiple of 13?
True
Is 6 a factor of -12*(4 - (-38)/(-8))?
False
Suppose 3*p - 6*p = -2*a - 145, -a - 95 = -2*p. Is 6 a factor of p?
False
Let r(d) = -d**2 - 10*d + 4. Is r(-7) a multiple of 25?
True
Suppose -7*o + 5*o + 38 = 0. Is 9 a factor of o?
False
Let l = 99 + 153. Does 14 divide l?
True
Suppose -8*a + 552 = -5*a - 3*q, a - 208 = -5*q. Does 47 divide a?
True
Let j(k) = -k**2 + 3*k**2 - k**2 + 11*k - 17. Is j(-13) a multiple of 9?
True
Let a(c) = -c**3 + 3*c**2 + 5*c - 4. Let n be a(4). Suppose -3*v + 12 = -n*v. Suppose -v*j + 2*j + 2*t + 62 = 0, j - 5*t = 11. Is j a multiple of 18?
True
Suppose 45 = 4*o - 107. Is 14 a factor of o?
False
Let f = 2 - 0. Suppose 3*q + 2 = -2*q - 4*r, 2*r + 6 = 0. Suppose f*w = -8, -q*v + w + 46 = -v. Is 16 a factor of v?
False
Suppose -5*v + 16 = 1. Suppose -v*o = a - 36, 4*o + 6 = o. Does 21 divide a?
True
Let l(i) = -i**3 - 6*i**2 - 3*i. Let y(r) = r**3 + r**2 + 2*r. Let p be y(-2). Let h(j) = -j - 14. Let a be h(p). Is l(a) a multiple of 15?
False
Suppose -129 - 196 = -5*g. Is 15 a factor of g?
False
Let r(t) = t**3 - 6*t**2 + 5*t - 5. Does 20 divide r(6)?
False
Let x be 0 + 0 + 3 + 13. Let s = 36 - x. Is 17 a factor of s?
False
Let y(b) = -2*b + b**3 - 2 - 3*b + 3*b. Let q be y(4). Suppose -4*v + 5*w - 15 = -65, q = 5*v - 2*w. Does 6 divide v?
False
Let u = 4 - 8. Is u/10 - (-384)/10 a multiple of 20?
False
Let v(s) = 2*s**2 + 12*s - 4. Is v(-9) a multiple of 25?
True
Suppose -5*l + 2*l - 2*r + 262 = 0, -4*l = r - 346. Does 4 divide l?
False
Let v(z) = 28*z. Suppose -4*u + 3 = -1. Let k be v(u). Suppose 3*c = 3*s, -2*s = -0*c + 5*c - k. Is s a multiple of 2?
True
Suppose -2*s = 5*g - 22, 0*g - 3*s - 18 = -g. Let u = 17 - 10. Suppose -u = -n + g. Is 13 a factor of n?
True
Let b(c) = c**2 - c + 22. Does 5 divide b(0)?
False
Let x(b) = -b**2 - 6*b + 2. Let c be x(-6). Suppose n + 3*n = -c*l + 76, 4*l = -n + 152. Does 18 divide l + 1*(-6)/3?
True
Let y be ((-3)/2)/((-3)/8). Suppose y = j, -6*j + 11 = -r - 2*j. Suppose r*t - 44 - 71 = 0. Does 10 divide t?
False
Suppose 0 = 2*h + 3*r + 6, -3*h + 5*r - 28 = -0*r. Let l be (-4)/14 - (-1592)/(-14). Is 19 a factor of (l/(-4))/(h/(-8))?
True
Let a(m) = m + 1. Let v be a(2). Suppose -2*o - v*o + 25 = 2*j, 0 = 4*o - 5*j + 13. Suppose 42 = o*k - 21. Does 8 divide k?
False
Let f(g) = -3*g + 7. Is f(-7) a multiple of 5?
False
Let o = 17 + -9. Let y = 323 - o. Is (y/(-6))/5*-2 a multiple of 14?
False
Suppose -2*p = -4*p + 62. Does 8 divide p?
False
Let y = 42 - 30. Is 6 a factor of y?
True
Let f be 2/6 - (-49)/(-21). Let i(d) = -d**2 - 7*d - 5. Let w be i(f). Suppose q - 16 = w*h, 2*q - 5*h - 23 = -1. Is 4 a factor of q?
False
Suppose -44 = -4*g - 2*r, -4 = -3*r + 8. Suppose -2*k = k - g. Suppose a + k = 25. Is 11 a factor of a?
True
Suppose 0 = -3*g + 21 - 3. Suppose -13 = g*i - 7*i. Does 5 divide i?
False
Let m be 1/5 - 28/(-10). Suppose -c + m*c = 52. Does 8 divide c?
False
Suppose 2*m + 4*u = -2, -3*m + 3*u - u = 19. Let t = 10 + m. Is t a multiple of 3?
False
Suppose -5*u + 10 = -0. Suppose -u*s - 3*s + 2 = 2*o, 0 = -5*s - o + 6. Suppose 18 = s*v + 2. Is 5 a factor of v?
False
Let f(g) = g**2 + 2*g**2 - 4*g + 4*g + 1 - 2*g. Is f(-3) a multiple of 17?
True
Let o be (-249)/15 - 3/(-5). Let x = 59 + o. Suppose 5*b + x = 153. Is b a multiple of 11?
True
Suppose -3*m + 33 = 3*j, -2*j + 79 = 5*m - 3*j. Does 3 divide m?
True
Let w be 0 - ((6 - 3) + -5). Suppose 10 = 6*x - x - 5*p, w*x - p - 8 = 0. Does 5 divide 4/x + (-68)/(-6)?
False
Let j = 125 + -75. Suppose -k = 5*t - 0*t - 10, -3*k + j = 5*t. Does 21 divide k - (-3)/(6 + -3)?
True
Does 8 divide 196/10 - (-20)/50?
False
Suppose l + 4*x = 22, 2*x - 12 = l - 4. Let a = 6 - l. Suppose 0 = 3*n - 2*u - 14, -a*u = -3*n - 5 + 15. Is 6 a factor of n?
True
Let d be (-1048)/(-16) - (-6)/(-4). Let w = -5 + 8. Suppose 0 = w*g + 13 - d. Is g a multiple of 7?
False
Suppose 4*g - 3*g = 4*s + 19, -4*s = 12. Is g a multiple of 2?
False
Suppose w - 48 = -4*l - l, 0 = 4*w - 2*l - 258. Is w a multiple of 19?
False
Suppose -d = -5, -125 = -4*m + 3*d + 112. Let u be (m/(-6))/((-1)/6). Suppose -3 = 5*l - u. Is l a multiple of 6?
True
Let h(a) = -a - 6. Let w be h(-7). Let t be 0 + (2 - 3) + w. Is (23 + 1)/1 + t a multiple of 12?
True
Let s = 2 + -2. Suppose 12 = y - 4*d + d, 4*y - 4*d - 32 = s. Does 6 divide y?
True
Suppose -3 + 9 = 3*t. Is 2 a factor of t?
True
Let z(n) = n**3 + 8*n**2 - n - 1. Let s be z(-6). Let l = s - 51. Does 13 divide l?
True
Suppose 2*d + 64 = 4*m, 4*m = d - 4*d + 54. Is m a multiple of 15?
True
Let w = -16 - -22. Does 4 divide 34/6 + w/18?
False
Suppose 0 = 6*c - 4*c - 20. Does 10 divide c?
True
Let g = 3 - 3. Suppose -4*f - 4 - 4 = g. Is 19 a factor of 55 + 1/(1/f)?
False
Let b(i) = -i**2 - 2*i. Let c be b(-5). Let a = c + 5. Does 14 divide (-1 + 18/a)*-5?
True
Let p(o) = 2*o**3 - 2*o**2 - o - 2. Let d be p(4). Let v = d + -61. Is v a multiple of 10?
False
Suppose -5*j - t = -2*t - 212, -3*t - 34 = -j. Is j a multiple of 3?
False
Let p(u) = u + 12. Is p(16) a multiple of 14?
True
Suppose -11*o + 8*o - 9 = 0. Suppose 0 + 9 = -k - 4*u, -3*k - 55 = -2*u. Let s = o - k. Is s a multiple of 14?
True
Is 14 a factor of (-8196)/(-21) - -2 - (-4)/(-14)?
True
Suppose 2*j - 58 = d, -5*j + 4*d = 2*d - 146. Is 15 a factor of j?
True
Suppose 3*a - 8 = -a. Let w be 50/5 - a/1. Suppose 5*u = c + 3*u - 2, u = -c + w. Is c a multiple of 3?
True
Suppose 48 - 232 = -4*x. Is 23 a factor of x?
True
Suppose 30 = -2*p - 3*p. Suppose 36 = 4*m - 5*a, -4*m + 4*a = 6*a - 8. Let w = m - p. Does 9 divide w?
False
Let n = 72 - 33. Let f = n - -25. Does 11 divide (f/(-10) + 2)*-5?
True
Let v(k) = -k**3 + k**2 - k - 1. Let p be v(-2). Let z = p - 22. Is 6/z + (-274)/(-6) a multiple of 16?
False
Suppose 0 = -5*g + 25, -3*g - 2*g + 45 = 5*f. Is 4 a factor of (3 - (-4)/(-16))*f?
False
Let w(p) = p**2 - 3*p + 3. Let s be 1088/(-20) + (-4)/(-10). Let h be s/(-10) + 6/(-15). Is 13 a factor of w(h)?
True
Let d(m) be the first derivative of -6*m**2 - m + 2. Is d(-2) a multiple of 4?
False
Let o(y) = y + 4. Let d be o(-3). Let s = -55 + 58. Let j = d + s. Is 3 a factor of j?
False
Suppose -4*i + 25 = 13. Suppose 17 = 2*y - p, -8 - 30 = -i*y - p. Does 11 divide y?
True
Suppose 3*v = -v + 116. Suppose -2*p + v = 4*u + 237, -2*u = -8. Does 10 divide p/(-11) - (-4)/(-22)?
True
Suppose 0 = k - 4 + 7. Let v(f) = -f**3 - 5*f - 3. Let g be v(k). Suppose 5*l - 4*j = 162, -2*l + g = -l - 3*j. Is l a multiple of 15?
True
Let f be ((-22)/1)/(-1 + 0). Suppose -2*q + f = -q - 2*l, -5*l = 4*q - 75. Suppose 5*r - q = 4*r. Is 10 a factor of r?
True
Suppose -5*q + 34 = -6. Suppose q = -4*w + 5*w. Is 17 a factor of ((-51)/6)/((-2)/w)?
True
Is 6/12*3 - 142/(-4) a multiple of 5?
False
Suppose -o + 5 = -2*b, 4*o + 3*b - 90 = -o. Is 15 a factor of o?
True
Let g = 2 - 2. Is -1*(-8 + g + -1) a multiple o