w) = -4*c(w) - 3*y(w). Is 4 a factor of s(10)?
True
Let c be 5*(4 + (-51)/15). Suppose -c*g = -2*g - 28. Does 14 divide g?
True
Does 23 divide (207/4)/((-105)/40 - -3)?
True
Let t be 6/10 + 883/(-5). Let b be (-2)/(-7) + t/28. Is 10 a factor of (7 + b)*1*23?
False
Let u be -1 - (0/(-2) + -11). Suppose 0 = t - u + 4. Is 2 a factor of t?
True
Does 63 divide -1 + (3/((-12)/1516))/(-1)?
True
Let h be ((-6)/15)/((-1)/5). Let n be (1 - 0) + 1*h. Suppose 6*d - n*d = 96. Is 16 a factor of d?
True
Let w be ((-6)/5)/(21/(-210)). Suppose -2*v + 3*z + 11 = 0, -5*v + 5*z = -2*v - 17. Is w/(v/(8/3)) a multiple of 4?
True
Suppose 5*z - 40 = -0*z. Suppose -4*m - 40 = -z*m. Does 10 divide m?
True
Suppose -2*x - x + 81 = 0. Let a be (-3454)/9 - 6/x. Does 13 divide a/(-15) - (-4)/10?
True
Suppose -2*x + 8 + 10 = 0. Does 7 divide x?
False
Suppose -5*s + 4*h = -497, -2*h = 4*s - 36 - 346. Does 29 divide s?
False
Suppose -2*l = c - 76, 0 = -5*l + 5 - 25. Is 13 a factor of 1/(2/c) - 3?
True
Let v = -3 - -8. Suppose 11 = -v*i - 4. Is (1 - (-9)/i)*-10 a multiple of 20?
True
Suppose 0 = 2*m + j + 2*j - 76, -j = -4*m + 138. Is 34 a factor of m?
False
Let v(t) = t**3 + 3*t**2 + 5*t + 6. Let q be v(-7). Let z = -133 - q. Is 24 a factor of z?
False
Let m be (-7 + 14)*(-24)/(-14). Let s(i) = i**2 - 12*i + 2. Let l be s(m). Is ((-7)/(-4) - l)*-68 a multiple of 6?
False
Let l(v) = v + 23. Let q = 1 - -3. Suppose q*c = c. Does 13 divide l(c)?
False
Suppose 18 = r - 24. Is r a multiple of 10?
False
Let o = 44 + -31. Is 2 a factor of o?
False
Let t(n) = -n**2 - 5*n + 17. Let z be t(-7). Is 7 a factor of z - 3 - (-10 + 2)?
False
Let w = -9 + 5. Let s = 8 - w. Is 6 a factor of s?
True
Let i(w) = -3*w - 6. Let s be i(2). Is (11 - 9)/((-1)/s) a multiple of 8?
True
Let j(s) be the third derivative of s**4/24 - 26*s**3/3 + 2*s**2. Let a be j(0). Let m = 92 + a. Is 20 a factor of m?
True
Let m(d) = 1. Let z(u) = -u - 3. Let c(t) = -2*m(t) - z(t). Is 9 a factor of c(8)?
True
Suppose -2*h - 8 = -6*h. Suppose -s + 134 = h*g, -9 = 5*g + 1. Suppose 5*j = u - 4*u + s, -3*u - j + 138 = 0. Is 23 a factor of u?
True
Let q(g) = 115*g + 2. Let t be q(1). Let z = -4 - -9. Suppose 5*h - z*w - t = 2*h, -h - 2*w + 50 = 0. Does 16 divide h?
False
Suppose 0 = -2*i - 10, i = -y - 4*i - 19. Is y a multiple of 5?
False
Suppose 2*l - 2*v = 20, 0*l - 38 = -3*l - v. Is l a multiple of 12?
True
Let v(z) = z**3 + 4*z**2 - z - 1. Suppose -2*d = -o - 0*o + 2, 2*o + 5 = d. Let n be v(o). Suppose 16 = 3*s + 2*f, -s + 6*f - n*f = -9. Is 4 a factor of s?
False
Suppose -4*a - 5*p = -2*a - 146, 4*a = -5*p + 302. Does 4 divide a?
False
Let f(x) = 5*x**3 - 3*x**2 - 2*x + 2. Let z be f(-3). Let y = z - -99. Is 9 a factor of y/(-2) + 1/(-2)?
True
Let k = 10 - 6. Let h = k - 2. Suppose u = -h + 11. Is u a multiple of 9?
True
Let i = -17 + 25. Suppose -k - 13 = f + 2*k, -3*f = -2*k + 39. Let a = i - f. Is 9 a factor of a?
False
Suppose -x = s - 4*x - 2, 4*s = -x + 60. Is s a multiple of 14?
True
Let x be (-7048)/5 - 6/15. Does 19 divide (-2)/(-4) - x/20?
False
Suppose -2 = -2*t - 0*t. Does 12 divide ((-5)/t - -3) + 18?
False
Let o(i) = -i**3 + 9*i**2 - 8*i - 2. Let t be o(8). Does 3 divide t/(-3) + 20/6?
False
Let o(p) = 3*p**2 - 3*p + 3. Let t be o(2). Let k be (-2)/t - 364/(-18). Suppose -5*l + 7 = -2*a + 4*a, 3*a - 2*l = k. Is 4 a factor of a?
False
Is 24 a factor of 5/((-20)/(-216)) - -1?
False
Let v(q) = q**3 + 7*q**2 + 3*q - 6. Let p be 2/(-9) + (-52)/9. Let i be v(p). Suppose 4*o - i = 0, -2*o - 36 = -2*s + 2*o. Does 12 divide s?
True
Suppose -3*m - 3 = 0, 0 = -f - m - 3*m - 2. Does 15 divide f/(-8)*2*-60?
True
Suppose -w + 639 = 3*w + 3*z, -4*z - 314 = -2*w. Does 10 divide w?
False
Suppose 0 = 2*i - 1 - 3. Suppose i*x = -2*x + 24. Does 4 divide x?
False
Let a(h) = 3*h**2 + 2*h - 3. Let z be a(4). Let n be (-2 - -1*2) + z. Let o = n + -31. Does 11 divide o?
True
Let o(w) be the second derivative of -w**4/12 - 3*w**3/2 + 4*w**2 + w. Does 8 divide o(-8)?
True
Suppose -2*w + 18 = -0*w. Suppose p = -2*r + w, 3*p + 16 = -2*r + 39. Is 7 a factor of p?
True
Let n(h) = h**2 - 11*h + 9. Is n(11) a multiple of 6?
False
Let y be (-2 - 0) + (-4 - -11). Suppose -100 = y*x - 0*x. Let r = -10 - x. Is 5 a factor of r?
True
Let r = 304 - 211. Is 31 a factor of r?
True
Suppose 3*f + 6 = -9. Let k = 23 + f. Is k a multiple of 18?
True
Suppose 6*g - 4 = -q + 2*g, 3*q + 2 = -5*g. Let t = 1 - 0. Does 3 divide (t + 2)/(q - -5)?
True
Let o = 1 + 4. Suppose 0*u - 2*u + 288 = 0. Suppose o*y = g + u, 46 + 11 = 2*y - g. Does 12 divide y?
False
Let r(t) = t**2 + 3*t + 22. Is r(5) a multiple of 14?
False
Let n(g) = -g**2 + 8*g + 16. Is n(8) a multiple of 12?
False
Suppose 68 = 2*t + 5*f - 51, 5*f = -t + 62. Does 19 divide t?
True
Is 7 a factor of -2 - 2 - (-195)/5?
True
Suppose 5*w + 4*a - 34 = 2*a, 3*w - 30 = 2*a. Suppose 0 = -x - 3*x + w. Suppose x*q + 5*y = 83, -6*y - 2 = -4*y. Is 22 a factor of q?
True
Let q = 3 + 0. Suppose 0 = -3*o - 2*o + 2*g + 62, -52 = -4*o + g. Suppose -n = -2*d - o, q*n = -4*d + 2*d + 58. Does 9 divide n?
True
Suppose 5*q + 8*o - 3*o - 20 = 0, 4*q - 43 = 5*o. Does 2 divide q?
False
Let a be 39/2 + (-7)/14. Suppose -3*v = -35 - a. Is v a multiple of 6?
True
Suppose 0 = 3*s - g - 14, -2*s - 5*g = -g - 14. Suppose 11 = s*u - 59. Is u a multiple of 4?
False
Let m(h) = h**2 + 6*h + 2. Let r be m(-5). Let p be 4/6 + (-10)/r. Suppose n + p*n = 60. Is 8 a factor of n?
False
Suppose 5*s - 2 = 3. Let q(t) = 82*t**2 + t - 1. Does 21 divide q(s)?
False
Let q(a) = a**3 - 7*a**2 + a - 7. Let r be q(7). Let j = r - -7. Let g(b) = -b**2 + 9*b - 6. Does 7 divide g(j)?
False
Suppose -2*f - 3 + 71 = 2*n, -4*n + 5*f + 145 = 0. Does 7 divide n?
True
Let p(v) = 21*v + 14. Let q(d) = 4*d + 2 - 4 - 1 + 6. Let l(w) = -2*p(w) + 11*q(w). Does 4 divide l(4)?
False
Let g(s) = s + 1. Let a be g(-4). Is 1/a*-19*3 a multiple of 7?
False
Let p(f) = 1 - f**2 + 0 + 1. Let y be p(-2). Does 15 divide -15*((1 - 0) + y)?
True
Suppose 2*p - 3*s = -0*p + 12, -4*s = -8. Let q(f) = -2 + 7*f**2 + p - 6*f - f**3 - 2. Is 14 a factor of q(4)?
False
Suppose -j = 4*t - 28, -5*t - 5*j + 4 = -2*t. Is (-1)/4 + 290/t a multiple of 9?
True
Suppose 4*f - 2 - 32 = 3*s, 51 = -5*s + f. Let k be (3 + -4)*s - 0. Suppose -l = -k - 0. Does 7 divide l?
False
Let w be (12/(-9))/2*-15. Let u(l) = 3*l. Does 9 divide u(w)?
False
Does 19 divide 2 - (4/(-14) - 1485/21)?
False
Suppose -25 = -5*g - 0*g, r - 39 = -g. Suppose -13*t - r = -14*t. Is 10 a factor of t?
False
Suppose -r = 2*r, -145 = -q + 2*r. Suppose 0*k + 5*k = q. Is 17 a factor of k?
False
Suppose 4*b + 6 = 5*b - 4*v, 0 = v + 1. Suppose 2*p = 5*j + 13, 0*j + 4*j + 5*p = 16. Is 22/j*b/(-4) a multiple of 8?
False
Let k be (3 - 112) + -1*3. Is 64/k + (-711)/(-7) a multiple of 21?
False
Let q(i) be the first derivative of -i**6/120 - i**5/20 - i**4/24 - i**2/2 - 1. Let p(v) be the second derivative of q(v). Does 10 divide p(-4)?
True
Let q = 102 - 86. Is q a multiple of 9?
False
Suppose -9 = -2*b + 3. Is 4 a factor of b?
False
Suppose -4*k - 27 = -207. Is k a multiple of 12?
False
Suppose -4*p = -0*p - 280. Is 12 a factor of p?
False
Let c be 4/(-6)*3/(-2). Suppose z = -0*z + c. Is 17 a factor of z*2*(-246)/(-12)?
False
Let v(d) = -2*d**3 - 3*d**2 + 6*d + 4. Let a be v(-4). Let t = a + -28. Suppose f = -0*f + t. Is f a multiple of 16?
True
Let m = -5 - -2. Let x(j) = j**2. Let r(c) = -4*c**2 - 1. Let p(t) = -r(t) - x(t). Is 17 a factor of p(m)?
False
Suppose 13*y - 1914 = 2*y. Does 29 divide y?
True
Suppose -5*r = -4*r - 4. Is 2 a factor of 6/r*(11 - 7)?
True
Let u be -2 - ((-213)/3 - -1). Suppose 0 = -3*m + 5*m - u. Is m a multiple of 17?
True
Suppose -o = -4*o + 3*l + 117, l = -2*o + 78. Suppose t + 25 = 7. Let y = o + t. Is 18 a factor of y?
False
Suppose 5*y = 2*y + 5*x + 283, -3*y - 5*x = -263. Is 16 a factor of y?
False
Does 3 divide (-14)/((9/6)/(3*-1))?
False
Suppose 3*q - 5 = l, -3*q + 0*l + 4*l + 2 = 0. Suppose q*y = y. Suppose y = -z - 3*z + 112. Does 14 divide z?
True
Suppose -3*d = -1 - 2. Let u be 17 + (d - 0) - -1. Suppose -3*i = g - 8*i - 31, 4*g - u = -i. Is 6 a factor of g?
True
Let z(y) = -y**3 - 6*y**2 - 2*y - 3. Is 9 a factor of z(-6)?
True
Let k(j) = j**2 + 2*j + 3. Let m(x) = -x**2 + 1. Let i be m(-3).