n) be the first derivative of -n**2/2 - 14*n + 2. Let m be t(-10). Is m/(-14) - (-276)/14 a multiple of 10?
True
Let o(l) = l**3 + 6*l**2 - l - 3. Let s be o(-6). Suppose -3*f = s*b + 15, 3*b + 20 = f - b. Suppose 3*v - 6 = f, -3*p = p + 4*v - 64. Is 14 a factor of p?
True
Suppose 0 = -2*u + z + 34, -3*u = -4*u + 4*z + 31. Suppose -u + 0 = -v. Does 14 divide v?
False
Let v(r) = -r**3 + 12*r**2 - 9*r - 10. Let w be 0/1 + 12 + -1. Is 4 a factor of v(w)?
True
Let h(j) = -10*j**2 - 4*j - 3. Let b be h(-3). Is 2 a factor of (-585)/b - 4/18?
False
Let u(i) = i**3 - 2*i**2 + 2. Let f be u(2). Suppose 0 = -6*r + f*r + 32. Is r a multiple of 3?
False
Suppose -3*m - 2*w = -8 - 18, 2*m + w = 18. Suppose -r = 4*g + 22, 2*r + 0*g = -4*g - 24. Does 3 divide r/((-12)/m)*3?
False
Let c(s) = -s**3 + 5*s**2 - s + 6. Let p be c(5). Let f be p + -3 + (-1 - 27). Does 4 divide (-1)/(10/4)*f?
True
Let d be 30/4*(-30)/(-25). Suppose -d = -2*v - 4*j + 9, 2*v - 18 = -3*j. Does 9 divide v?
True
Let a(u) = -u + 5. Let s be a(9). Let n = s + -18. Let f = -13 - n. Is f a multiple of 3?
True
Suppose 4*z - 16 = -0*z. Suppose -4*f + 8 = 4*l, 2*f - f = -z*l + 2. Suppose 0 = 5*v + 3*n - 23 - 38, -v = f*n - 8. Does 7 divide v?
True
Is (-1242)/161*14/(-2) a multiple of 21?
False
Let l = 14 + -3. Does 2 divide l?
False
Let p = 644 - 395. Let u = -138 + p. Does 37 divide u?
True
Suppose 0*v = -5*v. Suppose 2*f - 15 = -3*q - 1, v = 2*q + 2*f - 6. Does 2 divide q?
True
Suppose 0 = 2*t + 4*r - 116, 280 = 3*t + 2*t + 5*r. Let z be t + 0 + (-3 - -4). Suppose 4*u + u = z. Does 11 divide u?
True
Suppose 5*q + 5 = 0, 3*v - 2*q = 80 + 66. Is v a multiple of 16?
True
Let s(d) be the third derivative of d**5/30 - d**4/4 + d**3 - 9*d**2. Is s(6) a multiple of 21?
True
Let p = 39 + 1. Does 8 divide p?
True
Let i(b) = b**2 - 2 - 2 + 1. Suppose -2*r + 8 - 2 = 0. Does 3 divide i(r)?
True
Suppose 178 = 3*j - 4*d, -4*d - 15 = 2*j - 167. Is 22 a factor of j?
True
Let o be ((-40)/(-5))/(2/(-3)). Is 23 a factor of o/(-4) - -34 - 2?
False
Let n(w) = w - 13. Let m be n(9). Is 22*(2 + 6/m) a multiple of 11?
True
Let q(u) = 24*u - 3. Let w be q(2). Suppose -3*a - w + 147 = 0. Suppose 0 = p + p - a. Is p a multiple of 17?
True
Let f be ((-15)/10)/((-3)/14). Let d(w) = -w**3 + 6*w**2 + 10*w - 8. Does 13 divide d(f)?
True
Is 34 a factor of 3/(-1) + (-2)/4*-310?
False
Let r = 9 - 4. Is r a multiple of 3?
False
Let y(w) be the third derivative of w**5/60 + w**4/12 + 2*w**3/3 - 2*w**2. Suppose -3*z + 0*z = 12. Does 6 divide y(z)?
True
Suppose -4*l - 276 = -0*l. Let b = l - -104. Is b a multiple of 13?
False
Does 4 divide ((-136)/(-12))/(4/6)?
False
Suppose 6*i = 16*i - 1860. Is i a multiple of 29?
False
Let n(r) = -2*r**3 - 5*r**2 + 7*r + 1. Let v be n(-5). Suppose v + 217 = 4*h. Suppose -a = -0*a - p - 43, -2*a + 5*p = -h. Is a a multiple of 15?
False
Suppose -54 = -2*u + 3*q, -5*q + 89 = 3*u - 30. Suppose u + 12 = 3*p. Is 15 a factor of p?
True
Suppose 19*s - 15*s - 288 = 0. Is s a multiple of 17?
False
Suppose 0*c = 2*c - 662. Suppose -5 = 5*v + 5, 3*v + c = -5*j. Is 9 a factor of j/(-7) - (-4)/(-14)?
True
Suppose 6*p - 1 = 7*p. Does 10 divide 1*(-1 - p) - -10?
True
Suppose 5*w - 10 = 2*p, -2*w + 0*p - p = -4. Let z = 10 - w. Is z a multiple of 4?
True
Suppose 2 = 3*n - 7. Suppose 2*y - 16 = -4*q, 2*y + 2 = -q + n. Suppose 4*t - 5*k = 30 - 10, 0 = 5*t - q*k - 25. Does 3 divide t?
False
Let s = 12 + -11. Let d(m) = 77*m**2 + 2*m - 1. Does 26 divide d(s)?
True
Suppose 0 = -c - 0*c + 2. Does 14 divide c/4*(-124)/(-2)?
False
Suppose 0 = 8*z - 43 - 221. Does 3 divide z?
True
Is (-2)/(-10) + 3232/40 a multiple of 19?
False
Let v be (-2982)/2*(-6)/18. Suppose v = 4*w - 243. Suppose 0*o - 5*o = -w. Is o a multiple of 14?
False
Let u(o) = 2*o**2 + 10*o - 2. Does 16 divide u(-8)?
False
Let n = 257 - 605. Does 29 divide ((-4)/(-6))/((-4)/n)?
True
Suppose -5*f - 5*s - 4 - 1 = 0, -4*s = f + 13. Suppose 0 = 4*j - 3*j - 2, -f*j = 3*l - 147. Is l a multiple of 19?
False
Let u = 19 + -5. Does 7 divide u?
True
Is 19 a factor of (-57)/2*(-10)/5?
True
Let t(u) = -3*u + 4. Suppose -2*f + 2 = -10. Let c = -1 - f. Is 12 a factor of t(c)?
False
Suppose 285 = 5*p - 30. Is 29 a factor of p?
False
Let a(i) = i**2 - i + 3. Let m be a(6). Suppose -2*w - 4*l + 24 = 0, 4*w + 6*l - l = m. Suppose 7*y - w*y = 140. Is y a multiple of 14?
True
Let x = -139 + 324. Is 12 a factor of x?
False
Let j(k) = -3*k. Let s be j(-1). Let r(m) = m**2 - m. Does 6 divide r(s)?
True
Suppose -v = 3*t - 3 - 52, 2*v = 4*t - 90. Suppose -3*q - 10 = -2*y, y - t = -3*y. Let p(s) = s**3 + s**2 + s + 8. Does 4 divide p(q)?
True
Suppose -2*v + 79 = 9. Does 5 divide v?
True
Let m = -5 + 10. Suppose -3*j = -j - 8, m*t - 87 = -3*j. Does 5 divide t?
True
Let b(i) = 7*i**2 - 3*i - 5. Does 7 divide b(-3)?
False
Let z(o) = o**2 + 4*o - 3. Let r be z(-4). Does 6 divide (-1)/((-1)/((-54)/r))?
True
Let o(a) = -2 - 4 + 3 - a. Let s be o(-6). Suppose -f = 1 + 1, -4*j + s*f = -18. Is 3 a factor of j?
True
Let k be 2/(-7) - (-4367)/(-77). Let o = k + 84. Is 7 a factor of o?
False
Suppose -3*i - 2*y = -3*y - 14, 3*i - 4 = -y. Let j = 6 + i. Suppose 0 = -c + 1 + 2, -2*c = -5*m + j. Is 3 a factor of m?
True
Let c(m) = 5*m + 1. Is c(8) even?
False
Let d(h) = h**2 - 5*h - 2. Let z be d(6). Suppose 8*c - 3*c - 70 = 0. Suppose 5*j + z = c. Is j even?
True
Suppose 2*a - f - 2 = 3*a, 0 = -a + 3*f - 2. Suppose -2*l - 4 = 3*v, 2*l = 4*l + 5*v + 4. Does 16 divide a/(-2) + l - -25?
False
Suppose -2*u = 111 + 23. Let y = u + 111. Is 13 a factor of y?
False
Let b(j) = 17*j + 3. Let d be b(-2). Let m = -16 - d. Is 6 a factor of m?
False
Suppose 0 = 3*c - 2 - 193. Is 13 a factor of c?
True
Let u = 25 + -20. Is 5 a factor of u?
True
Suppose 3*b + 25 + 5 = 3*j, b + 2*j - 2 = 0. Let s = b + 1. Let z = 11 + s. Is z a multiple of 3?
True
Is 4 a factor of 839/9 - -1*6/(-27)?
False
Let v(j) = 73*j + 9. Is v(2) a multiple of 31?
True
Let x(a) = 3*a**2 - 2*a - 3 - 3*a + a**3 + 2. Let l be x(-4). Suppose -5*b + 206 = 2*s + 51, -4*b = l*s - 124. Is 17 a factor of b?
False
Is 6 a factor of (270/120)/(25/24 - 1)?
True
Let z(g) = -g**2 + 16*g - 1. Let s be z(12). Let r = -27 + s. Does 10 divide r?
True
Suppose -5*l = -569 - 571. Is 38 a factor of l?
True
Let x = 5 - -7. Does 12 divide x?
True
Let g = 22 - -14. Suppose 0 = 2*a - 0*a + 6, -3*n - 5*a + g = 0. Suppose 0*q + n = q. Is q a multiple of 7?
False
Let u = 16 - 11. Suppose -g + 7 = -u. Does 4 divide g?
True
Suppose -t = 2*t + 36. Let x = t - -17. Does 17 divide (x - -32) + (-2 - 1)?
True
Let w = -9 + 10. Let i = w - -33. Is i a multiple of 11?
False
Suppose -4*v = -p + 4*p - 161, 5*v - 196 = -2*p. Suppose 0 = -2*x + 5 - 13, -v = -5*h + 2*x. Is 2 a factor of h?
True
Let v = 7 + -4. Let o be ((-20)/v)/(4/(-6)). Does 6 divide 306/30 + (-2)/o?
False
Suppose 3*m = 8*m - 280. Is m a multiple of 14?
True
Let d be ((-4)/(4/3))/(-1). Let r = d + -1. Suppose 22 + r = 2*j. Does 7 divide j?
False
Let v = -10 + 12. Let r(p) = -v + 0 - 2*p + 7*p. Is r(4) a multiple of 18?
True
Let c(v) = -v**3 - 4*v**2 - 2*v - 2. Let t be c(-4). Let s = 11 - t. Suppose s*m = -28 + 93. Does 13 divide m?
True
Suppose -503 + 148 = -5*c. Is c a multiple of 11?
False
Let b(x) = x**2 + 12*x - 16. Is 53 a factor of b(17)?
True
Let s(k) = -3*k. Let n(x) = 1 - 12*x + 0 - 6*x - 2*x. Let r(q) = -3*n(q) + 21*s(q). Is 11 a factor of r(-8)?
False
Suppose 14 = -3*d + 491. Suppose q - 4*q = -d. Does 14 divide q?
False
Suppose z = y + 35, y - 59 - 66 = -4*z. Does 13 divide z?
False
Suppose -2*w + 2*v = v - 9, -23 = w + 5*v. Suppose w*f - 5*f - 27 = 0. Let m = 66 + f. Does 22 divide m?
False
Suppose 0 = 2*z + z - 3. Let v = z - -2. Let j(r) = 2*r**3 - 4*r**2 + r + 2. Is 23 a factor of j(v)?
True
Suppose 2*v - 5*s - 116 = 0, -2*s - 58 = 5*v - 290. Is 24 a factor of v?
True
Suppose m - 2 + 3 = 0. Let g = 3 + m. Let x = g + 13. Is x a multiple of 7?
False
Is 15795/156 - (-3)/4 a multiple of 17?
True
Let w = -7 + 4. Let g be 344/12 - (-2)/w. Suppose -4*s = -8*s + g. Is s a multiple of 3?
False
Let i(q) = -9*q - 4. Let j(y) = 23*y + 11. Let w(n) = -11*n - 5. Let r(b) = 6*j(b) + 13*w(b). Let k be r(1). Is 14 a factor of i(k)?
False
Let h = 12 - 9. Suppose 3*u = -h*v - v + 26, -4*v - 44 = -2*u. Does 14 div