2*z - 15, -2*b - n = -2*z. Is 14 a factor of 4/(b/(98/(-4)))?
True
Let c be (-56)/21*(-9)/2. Let x(z) = -z**3 + 11*z**2 + 9*z + 17. Let o be x(c). Let f = 26 - o. Is 21 a factor of f?
False
Let m(j) = j**3 + 1. Let s(p) = 5*p**3 - 12*p**2 - 3*p + 3. Let l(v) = 3*v + 12. Let c be l(-6). Let q(r) = c*m(r) + s(r). Does 5 divide q(-12)?
False
Let p(l) = 8*l**2 + 28*l + 139. Is p(-12) a multiple of 43?
False
Let f be (-4)/(-10) + (-4002)/30. Let h = f + 196. Does 21 divide h?
True
Suppose -1007 = -5*a + 43. Is 11 a factor of a?
False
Let t(z) = 2153*z + 58. Is t(1) a multiple of 11?
True
Suppose -4*u - m + 65 = 0, -u + m = -24 + 4. Suppose 5 = -o + u. Suppose f = 2 + o. Is f a multiple of 7?
True
Let p = 802 + -807. Let b(j) be the first derivative of 2*j**3/3 + 6*j + 1. Does 24 divide b(p)?
False
Let y(z) = 307*z**2 - 15*z + 5. Does 90 divide y(2)?
False
Let c(a) = -11*a - 10. Suppose 9 = -3*s, -s + 0*s - 83 = -4*y. Suppose 4*k + y = -0. Is c(k) a multiple of 15?
True
Let y(m) = -4*m. Let q be y(-8). Let l = 56 - q. Suppose 4*z + l = 5*z. Does 7 divide z?
False
Let v = -758 + 774. Is 16 a factor of v?
True
Suppose -5 = 2*j - c - 33, -10 = 5*c. Suppose j*k = 4*k + 378. Is 24 a factor of k?
False
Let c(k) = -k + 1. Suppose 30 = -54*z + 49*z. Does 4 divide c(z)?
False
Suppose -2042 = -13*l + 1858. Is 30 a factor of l?
True
Suppose 0*s - s - 227 = 0. Let v = -117 - s. Is v a multiple of 21?
False
Suppose -i - 3*i = 5*z - 2629, 5*i = 4*z + 3276. Does 38 divide i?
False
Let t be 16 + -3 + (2 - 5). Suppose -t - 53 = -7*r. Is r a multiple of 3?
True
Suppose 0 = -12*f + 10229 + 6763. Is f a multiple of 11?
False
Suppose 345 = 11*w - 315. Is 10 a factor of w?
True
Let b(s) = -s**3 + 5*s**2 + 2*s - 10. Let u be b(5). Let x(f) = -f**3 + f**2 + f. Let l be x(-1). Suppose u = 3*d - 103 + l. Is 8 a factor of d?
False
Let t = -32 + 35. Suppose -a + 38 = -v, -5*v = -a - t*v + 40. Does 12 divide a?
True
Let c(w) = w**3 + 7*w**2 + 5*w. Let n be c(-6). Suppose -n*z + 314 = -466. Is z a multiple of 13?
True
Suppose -4*q + 15 = 7. Suppose -300 = -5*r - f + 3*f, r + q*f - 60 = 0. Does 10 divide r?
True
Let v(l) = -l**3 + 22*l**2 - l + 26. Let f be v(22). Suppose 4*r + 18 = 6*r - 2*d, 5*d = -f*r + 27. Does 8 divide r?
True
Let x(u) be the first derivative of u**4/4 + 13*u**3/3 - 7*u**2 + 15*u + 5. Is x(-14) a multiple of 7?
False
Suppose 0 = a + 3 - 2, 3*a - 81 = -w. Is 28 a factor of w?
True
Suppose 18 = -5*c - 27. Let x = 13 + c. Let k = 4 + x. Is 8 a factor of k?
True
Suppose 199*v + 11970 = 214*v. Does 19 divide v?
True
Let x(z) = -941*z + 208. Is x(-3) a multiple of 133?
False
Let k(f) = -35*f**3 + f - 1. Let t be k(-1). Suppose -v = -t - 13. Is v a multiple of 4?
False
Let o = 546 + 276. Is 69 a factor of o?
False
Let s = 163 - 44. Is s a multiple of 17?
True
Let w = -231 + 920. Does 13 divide w?
True
Suppose 5*k = -0*k. Suppose k = -b + 3*b. Suppose -5*a = -b*a - 45. Is 6 a factor of a?
False
Suppose 26 = 4*y + 2*w, 4*y + 5*w = -4 + 27. Suppose 3*c = y*c - 700. Is c a multiple of 35?
True
Let r be (-8)/(-12) + 38/6. Is 14 a factor of (6*r*-2)/(-1)?
True
Is 58 + -1 + 7/(7/(-3)) a multiple of 3?
True
Let v be (15/(-20))/((-3)/(-108)). Is 16 a factor of 36/v*-4*9*1?
True
Suppose -3*h + 12 + 6 = 0. Is 36 a factor of ((-64)/(-5))/(h/60)?
False
Let q(a) be the third derivative of -1/12*a**4 + 2/15*a**6 + 0*a + 0 + 1/60*a**5 + 3*a**2 + 1/6*a**3. Does 8 divide q(1)?
True
Let d = -4 + 4. Suppose d = 3*q - 5*p - 8, 3 = 4*q - 3*p + 4*p. Is 16 a factor of (-24)/q*(-25)/20?
False
Let i(r) = 4*r**2 - 7*r + 16. Let s be i(8). Suppose -5*a - 5*w + s = -a, a = 3*w + 71. Is a a multiple of 17?
False
Suppose -2*o - 8 = 0, o - 2 = -s + 14. Does 4 divide (-75)/s*-4 - -1?
True
Let u(w) be the first derivative of w**3 - 2*w**2 + w - 11. Does 21 divide u(-2)?
True
Let t be ((-35)/28)/(1/(-8)). Suppose -5*r + 10 + t = 0. Suppose -2*y - 17 + 5 = -a, -4*y - r = -a. Is 20 a factor of a?
True
Let p(v) = -122*v - 98. Is p(-3) a multiple of 13?
False
Let f(g) = -12 + g**3 + 11*g**2 + 3*g**2 - 3*g**2 - 2*g. Let t(w) = -2*w - 3. Let z be t(4). Is f(z) a multiple of 10?
True
Let k = -297 - -1269. Does 36 divide k?
True
Let v = -16 - -20. Suppose 0 = -3*f + 2 + v. Is (-33)/f*(-32)/24 a multiple of 11?
True
Let f(y) = -26*y**2 + 46*y + 56. Let j(x) = 5*x**2 - 9*x - 11. Let h(p) = 3*f(p) + 16*j(p). Is 8 a factor of h(8)?
True
Suppose 0 = 57*k - 70*k + 1092. Is 3 a factor of k?
True
Let v(w) = -21*w + 30. Is 20 a factor of v(-10)?
True
Let a = 674 - 499. Does 12 divide a?
False
Suppose 0 = -2*m - 4*f + 768, 0 = 6*m - 2*m - 4*f - 1584. Is m a multiple of 14?
True
Suppose 0 = 3*m + 15, 3*m + 208 = 5*r - 277. Let k = r - 40. Is k a multiple of 13?
False
Let x = -20 - -23. Suppose 0 = -4*s - 3*m - x, 2*m = 2*s + 7*m + 5. Suppose 0 = a - s*a - 3*d - 81, -2*a + 5*d = -167. Does 11 divide a?
False
Let z(w) = -w**3 - 12*w**2 + 15*w + 18. Let g be z(-13). Is 9 a factor of g/20 - (-224)/10?
False
Suppose 10*l - 7729 = 3581. Does 46 divide l?
False
Let s = 22 + -18. Let g be 83/4 + 1/s. Suppose 0 = -4*h - 4*u + 20, -3*u = h - 4*h + g. Is 2 a factor of h?
True
Let x(l) = 41*l**3 - 2*l + 11. Is x(3) a multiple of 4?
True
Is 13 a factor of 40/14*(5 - 1215/(-30))?
True
Let l(c) = 7*c. Suppose 2*s - 15 = -3*s. Suppose s*w - 2 = w. Is 7 a factor of l(w)?
True
Let n = 6771 + -2991. Is 20 a factor of n?
True
Let g be 2 + -1 - (-2 - 1). Suppose -8 = -2*d + 4*n, -5 = g*d - 3*n - 26. Let l(b) = -b**3 + 7*b**2 + b. Does 17 divide l(d)?
False
Let d(b) = -7*b**2 + 0*b + 3 - b**3 + 6 - 2 + b. Let h be d(-7). Suppose 5*z - 3*p - 259 = h, 0*p - 203 = -4*z + p. Is z a multiple of 13?
False
Suppose x + 4*u - 2568 = 0, u = 2*u + 4. Suppose -x = 14*g - 22*g. Is 19 a factor of g?
True
Let z(c) = -c**2 + 6*c - 6. Let g be z(4). Let j(m) = 10*m + 0*m**2 + 2*m**2 - 3*m**2 - g + 5. Is 7 a factor of j(7)?
False
Let i(f) = -f**2 + 10*f. Let h be i(10). Suppose 2*m + 536 = -h*m. Let j = -166 - m. Does 26 divide j?
False
Suppose -3*o = 3*w - 315, -o = -3 - 1. Suppose -4*j - 79 = -3*i, j = -4*i + 2*j + w. Suppose v + 2*l - i = 0, 0 = 4*v - 4*l - 34 - 66. Is 16 a factor of v?
False
Let w be (-1)/(-2)*(18 + -20). Let b(l) = -7*l**3 + l**2 + l + 1. Let n be b(w). Let r(o) = o**3 - 8*o**2 + 5*o - 12. Is 14 a factor of r(n)?
True
Let t = 610 + -425. Let i = t - 74. Is 6 a factor of i?
False
Suppose 3*t + 200 = -2*t. Suppose 0 = -3*v + 189. Let i = t + v. Is 14 a factor of i?
False
Suppose 0 = 5*c - 4*s - 210, -s - 61 = -2*c - 4*s. Let x be -10*(1 - 6/4). Suppose -4*f - c = -2*o - 0, x*o + f = 84. Does 15 divide o?
False
Suppose c - 116 = -0*c - z, 4*z + 8 = 0. Let l = 214 - c. Is 32 a factor of l?
True
Let m = -532 + 1012. Does 12 divide (16/(-10))/((-16)/m)?
True
Suppose d - 2285 = 6*d. Let u = -284 - d. Is 19 a factor of u?
False
Suppose 3*a - 3*t - 287 = 2*t, 374 = 4*a + 2*t. Suppose 4*v - a = -2*c, 0*c = -5*v + c + 135. Is 12 a factor of v?
False
Let l be (-2 - 2/(-3))*3. Let v be l - -1 - (0 + -20). Let k = -13 + v. Does 3 divide k?
False
Suppose -2*p + 5*p - 410 = -5*o, -5*p + 4*o + 671 = 0. Is 42 a factor of p?
False
Let n = 43 + -85. Let c = 60 - n. Is 9 a factor of c?
False
Let i = -131 - -157. Is i a multiple of 26?
True
Let r = 100 + -100. Suppose 3*y + 195 + 761 = 5*i, r = -y + 3. Is i a multiple of 19?
False
Let t = 676 - 237. Is 14 a factor of t?
False
Let b(r) = r - 3. Let u be b(-6). Let d(p) = -p - 9. Let k be d(u). Suppose -36 = -k*m - m. Is 9 a factor of m?
True
Let v = 770 + -745. Is 3 a factor of v?
False
Suppose -900 = -4*d - 5*t, -200 = -d + t + 34. Does 5 divide d?
True
Suppose 2*s = -2*l + 770, -249 = 2*l + s - 1018. Is l a multiple of 64?
True
Suppose 8 = 2*c, c - 26 = -5*h + 2*c. Suppose -h*o + 2*o = -52. Does 13 divide o?
True
Let x be ((-9)/12)/(3/(-12)). Does 12 divide x + -4 + 420/3?
False
Suppose -11*j + 7*j - 40 = 0. Let d(r) = r**3 + 10*r**2 + r + 14. Is 4 a factor of d(j)?
True
Suppose 3*w = -g + 559, -5*g = 2*w + w - 575. Is 16 a factor of w?
False
Let w = -142 - -118. Suppose 3*t - 3*k + 174 = -2*t, 40 = -t - 2*k. Let l = w - t. Does 4 divide l?
True
Let g(i) = -13*i + 3. Let x be g(-4). Let b = -33 + x. Is 3 a factor of b?
False
Suppose 52*i - 13888 = -4*i. Is 4 a factor of i?
True
Suppose 5*a - 39 = -3*u