k - 132, 2*k - t = 0. Is 14 a factor of c?
True
Suppose -h = 3 - 5. Suppose -4*d = h*d - 1050. Does 25 divide d?
True
Suppose -30 = -3*a - 2*t - 6, 4*t = 5*a - 40. Suppose 0 = 5*r - 52 - a. Is 12 a factor of r?
True
Let l = 1361 + -719. Is l a multiple of 6?
True
Let z(f) be the third derivative of -f**6/120 + 3*f**5/20 + 7*f**4/8 + 11*f**3/6 - 28*f**2. Does 16 divide z(10)?
False
Suppose -17 + 9 = -2*m. Suppose 0 = -t - 4, m*t + 35 = l + 3*t. Is 4 a factor of l?
False
Does 38 divide (1309/(-102) - -12) + (-43107)/(-18)?
True
Let a = 951 - 329. Is a a multiple of 3?
False
Let a(p) = -31*p**2 + 18*p**2 + 17*p**2 - 6 - 7*p. Is a(4) a multiple of 14?
False
Let h = 88 - 79. Let f = 81 + h. Is f a multiple of 15?
True
Let v(z) = 13*z**2 - 19*z + 3. Let c(i) = -20*i**2 + 29*i - 4. Let y(b) = -5*c(b) - 8*v(b). Let p(o) be the first derivative of y(o). Is 13 a factor of p(-5)?
False
Suppose 0 = 15*n - 2812 + 1132. Does 8 divide n?
True
Let r = 16694 - 11130. Does 11 divide r?
False
Let v(h) = -74*h**2 - h - 1. Let k be v(-1). Let m = k - -131. Let l = m + -18. Is 15 a factor of l?
False
Let g = 65 + 230. Suppose 4*i = -3*s + 263, -3*s + 3*i = -g + 46. Is 25 a factor of s?
False
Let c = 94 - 102. Let w(h) = 6*h**2 - 10*h - 14. Let l(u) = 5*u**2 - 9*u - 14. Let o(d) = -7*l(d) + 6*w(d). Does 16 divide o(c)?
False
Let k = 6 - -208. Suppose 4*t = k - 66. Does 5 divide t?
False
Suppose -3*l - 84 - 30 = -5*h, 3*h = -2*l + 76. Let b = h - -3. Suppose 2*x + 14 = o - b, x - 32 = -o. Does 8 divide o?
False
Let s(x) = x**3 - x + 79. Let c(j) = -4*j + 8. Let d be c(6). Let y = -16 - d. Is s(y) a multiple of 26?
False
Suppose 3*y + 2 = 26. Suppose y*h + 3*k = 3*h + 36, 3*k + 45 = 4*h. Is h a multiple of 5?
False
Let k = -291 - -1369. Is 49 a factor of k?
True
Let t = 7 + 21. Suppose 3*g = 47 + t. Does 4 divide g?
False
Suppose 2*d = 7*d - 2*d. Suppose 3*h - 105 = -d. Is h a multiple of 5?
True
Let b(c) = 122*c**2 + 3*c - 22. Is 17 a factor of b(-4)?
False
Suppose -q + 3*z = -13, z - 18 - 21 = -4*q. Is 4 a factor of (-2)/q + (-808)/(-40)?
True
Suppose -4*u + 5*n = -14, 4*n - 4 - 10 = -u. Suppose 0 = 3*d - 3 - u. Suppose 0 = -x - z + 22, d*z + 73 = 3*x - z. Is x a multiple of 14?
False
Let w(r) = r**3 - 8*r**2 + 5*r + 7. Let h be w(7). Let t = 7 - h. Let i = -8 + t. Is i a multiple of 6?
True
Let w = 196 + 45. Does 3 divide w?
False
Let n = -373 + 901. Let c = 353 - n. Let f = c + 250. Does 32 divide f?
False
Suppose -5*y + 0*y = 0. Suppose 3*l + y = 210. Is l a multiple of 14?
True
Let h be 3/(3*1/(-15)). Let y be (9/15)/((-3)/h). Suppose 20 = 6*i - 2*i + 4*b, b = y. Is i even?
True
Let m = -28 - -266. Suppose 82 = o + 2*v, -o = 2*o + 4*v - m. Does 37 divide o?
True
Let w = -91 + 141. Is 10 a factor of w?
True
Is -8 - (3 + -1078) - 1 a multiple of 10?
False
Let a(y) = y - 6. Let k be a(8). Suppose -2*o - 3024 = k*o. Is o/(-16) - (-3)/4 a multiple of 16?
True
Suppose -5*k - 15*m + 19*m + 11485 = 0, -m = 0. Is 25 a factor of k?
False
Let p(c) = 2*c + 69. Is p(-15) a multiple of 8?
False
Let z(l) = l**3 - 7*l**2 + l - 3. Let y be z(7). Let c(v) = 4 + 5*v - 4 + 7 - y*v. Is 4 a factor of c(-3)?
True
Does 71 divide (-712 - (-12 + 10))/(1 - 3)?
True
Suppose -p + 8 = -a, -4*a = -6 - 10. Suppose 4*s + p = -2*x, 4 = -2*s - 0. Is 4 + (x - -3 - 0) a multiple of 4?
False
Let f(c) = -31*c + 7. Let w be f(2). Is 14 a factor of (-2 - w) + 3/1?
True
Let a(u) = -u**2 - 7*u - 6. Let x be a(-6). Suppose x = 10*g - 8*g + 34. Does 5 divide 2 + (4 - (g - -3))?
True
Let a(r) = 73*r**2 - 24*r - 26. Does 43 divide a(3)?
True
Let u(s) = -2*s**2 - 4*s**3 + 0*s**2 - 6*s**2 + 7*s**2 + 3. Does 20 divide u(-2)?
False
Suppose 2*b + 168 = -3*u, -b - 378 = 4*b - 3*u. Let v be b/(-9) + (-2)/3. Let t(h) = -h**2 + 11*h - 7. Does 17 divide t(v)?
True
Suppose -3*l = r + 3*r + 5, -l = r + 3. Let v(u) = -u**3 - 7*u**2 - 2*u - 8. Let d be v(l). Suppose o - d = 1. Is o a multiple of 7?
True
Suppose 3*p + 4*y - 1183 = -345, -5*p + 4*y = -1386. Is p a multiple of 19?
False
Let h = 1113 - -2440. Does 22 divide h?
False
Let u(r) = 7*r + 3. Suppose 4*p - 8 = -24, -3*x = 4*p + 22. Let o be u(x). Let f = o + 19. Is f a multiple of 4?
True
Let q(b) be the first derivative of 3 + 4*b + 7/2*b**2. Is q(5) a multiple of 13?
True
Suppose 9*j - 459 = 6*j. Let m = j - 77. Does 4 divide m?
True
Suppose 2*s = x + 23, -2*s + 9*x + 35 = 12*x. Let j(r) = -r**3 + 14*r**2 - 11*r + 32. Does 5 divide j(s)?
False
Suppose 3*n = 4*n, -3*k + n = -12. Suppose -v + 294 = v + 2*o, -k*v + 595 = -3*o. Does 20 divide v?
False
Let d = -789 - -1966. Is d a multiple of 126?
False
Let y(d) = 10*d + 90. Is y(6) a multiple of 37?
False
Does 17 divide (-3)/2 + (-1603)/(-14) + 6?
True
Let z(x) be the third derivative of -5*x**4/24 + x**3/2 + x**2. Let h be z(-2). Is ((-15)/(-3) - 2)*h a multiple of 15?
False
Let i be (2/3)/(3/90). Suppose -i = -b + 28. Is b a multiple of 8?
True
Let l(q) = -q + 15. Let v be l(-4). Let u = 12 + v. Is u a multiple of 31?
True
Suppose 5*w + t - 3*t = 668, 3*w - 5*t = 397. Is 67 a factor of w?
True
Suppose 21*l = 18*l + 504. Is 11 a factor of l?
False
Suppose 3*g - 17 + 8 = 0. Suppose -2*w = -2*p + 116, -2 = -g*w + 4. Is p a multiple of 21?
False
Let f(i) = i**3 + 10*i**2 + 2*i - 6. Let w be (4 - 4) + (2 + -8)/1. Is 14 a factor of f(w)?
True
Let v(t) be the second derivative of -t**3/6 + 8*t. Let i be v(4). Does 10 divide (-5)/(i/(-4))*-2?
True
Let n(f) = f**3 - 23*f**2 + 24*f + 67. Is n(22) a multiple of 8?
False
Let s(f) = -f**2 + 7*f + 11. Let x be s(8). Suppose 0 = -5*v + q + 253, 218 = 3*v + x*q + 59. Is 17 a factor of v?
True
Suppose -2*y - 540 = -7*y + 5*z, 2*y - 181 = -5*z. Let h = 31 + y. Is h a multiple of 13?
False
Let c = 3 - -1. Suppose -v + 3 = 0, -c*h - 82 = 3*v + 61. Let y = h + 106. Is y a multiple of 17?
True
Let z = 314 + 184. Suppose 3*v - l - 303 = 0, 0 = 3*v - 8*v + 4*l + z. Is 19 a factor of v?
False
Let n = 48 - -340. Is n a multiple of 56?
False
Let p(w) = 11*w - 4. Let k(o) = -o**2 - 2*o + 4. Let g be k(-4). Let j(n) = -n + 1. Let q(x) = g*j(x) - p(x). Is q(-2) a multiple of 13?
False
Let f(k) = -9*k**3 - 9*k**2 + 4*k + 10. Is f(-4) a multiple of 13?
False
Suppose -13*k + 10*k + g = -330, -220 = -2*k + g. Does 10 divide k?
True
Suppose 2*l + 178 + 114 = 2*y, -278 = -2*y - 5*l. Let b = 276 - y. Is 16 a factor of b?
False
Suppose -6 = -b - 3*g, -3*g + 7 = 4*b - 8*g. Suppose 4*n - 314 = -3*q, 238 = b*n - q + 2*q. Is n a multiple of 10?
True
Suppose 10*q - 28 - 292 = 0. Suppose a - k = 3*k + q, 5*a + 3*k = 45. Is a a multiple of 3?
True
Suppose 0 = -16*c + 11*c. Suppose -4*y + c*y = -64. Does 8 divide y?
True
Let s = 28 - 45. Let g = -2 - s. Does 8 divide 59/3 - 10/g?
False
Let p = -44 + 139. Suppose -2*z + p = -f, -2*z - 4*f = -0*z - 120. Is 14 a factor of 4/10 - (-1730)/z?
False
Let a(i) = 6*i - 10. Let c be (-6 + 12)/((-6)/(-4)). Suppose -c*x = -9 - 23. Is a(x) a multiple of 19?
True
Suppose 12*a - 9*a - 5*z = 1723, z - 1 = 0. Does 9 divide a?
True
Let i(a) = 7 - 21 - a**3 - 43*a**2 - 12*a + 37*a**2. Is i(-7) a multiple of 21?
False
Let k(w) = 6*w - 5*w - 5 + 5. Let o(p) = -p**3 + 5*p**2 - 3*p - 6. Let l(j) = 6*k(j) - o(j). Does 17 divide l(5)?
True
Suppose -36 = -r - 9. Is 3 a factor of r?
True
Let s = -1 - -1. Suppose -6*b + b + 2*x + 971 = s, 3*b + 5*x - 595 = 0. Is b a multiple of 28?
False
Suppose -5*i + 20 = 0, -3*l + 5*i - 15 - 20 = 0. Is 28 a factor of ((-248)/5)/(1/l)?
False
Let o = 14 - 9. Suppose o*a + 11 = 4*a + 4*m, 0 = 2*a - 4*m + 14. Does 17 divide -3*(a - 33/9)?
False
Let w(v) = 4*v**2 + 12*v + 40. Let j be w(-12). Suppose -2*y - 2*s + 396 = 0, -3*s - j - 510 = -5*y. Is 41 a factor of y?
False
Suppose -5 - 61 = -3*l. Suppose 2*z - 24 = l. Is z a multiple of 10?
False
Let z be (-14)/(-6) - 2/(-3). Let l = 5 - -184. Suppose -4*i = z*t - 176, -3*t = 2*i + 5 - l. Is t a multiple of 30?
False
Let d(y) = -12 + 4*y - 3*y**2 - 19*y + 3*y**2 - y**2. Suppose 0 = -0*r - 5*r - 50. Is 38 a factor of d(r)?
True
Let z = 4364 - 2305. Does 12 divide z?
False
Suppose -2*h + 6*h - 22 = 2*v, -2 = 2*v + h. Let b(u) = u**3 + 2*u**2 - 2*u + 2. Let d be b(v). Let n = d + 6. Is n even?
False
Suppose 5*t = 25, -q + 6*t + 136 = -0*q. Is q a multiple of 5?
False
Suppose -5*r + 2*t + 3380 = -2*t, 4*t = r