f v?
False
Let s(z) = z**2 - z - 4. Let j be s(3). Let a be 0*(-6)/(-4)*4/18. Suppose -j*h + 10 = a, 0*w + 2*w - h = 1. Is 3 a factor of w?
True
Let o(l) be the first derivative of l**4/2 - l**3 + 3*l**2/2 - 2*l - 4. Is 8 a factor of o(2)?
True
Let o(h) = -9*h + 4. Let a(w) = 45*w - 21. Let f(j) = -2*a(j) - 11*o(j). Is f(2) a multiple of 16?
True
Does 5 divide 1 - (-27 + -3 - 3)?
False
Suppose -h - 70 = -6*h. Is 12 a factor of h?
False
Suppose -3 = 3*i + z, 3*i - 3*z - 12 = z. Let h = 8 + i. Is 3 a factor of h?
False
Let d(s) = -s. Let o be d(-2). Suppose 2*b + z = -4*z - 227, -3*z = -o*b - 187. Let n = -70 - b. Does 12 divide n?
False
Suppose -p = 3*p. Is (p/1)/(-1) - -8 a multiple of 4?
True
Let g(i) be the first derivative of i**2 + 7/3*i**3 - 2 - i + 1/4*i**4. Does 15 divide g(-5)?
False
Suppose -2*t + 35 = a, 0 = -2*a - 0 - 2. Is 9 a factor of t?
True
Let j(l) = -4*l + 12. Suppose -5*g = 38 + 27. Is j(g) a multiple of 16?
True
Suppose 3*c - 27 = -6. Let a(g) = g**2 - 3*g + 4. Is a(c) a multiple of 16?
True
Suppose 2*f - 20 = -2*f, f - 25 = -5*l. Let z be (-2 + 22/l)*2. Suppose -25 = 5*b, -3*j + 3*b = -z - 95. Does 14 divide j?
False
Suppose -5*m + 60 = 2*i, -3*m + 16 + 21 = i. Does 7 divide m?
True
Let h(m) = m**3 + 6*m**2 - m + 3. Is h(-6) a multiple of 3?
True
Let u(h) = -h - 2. Suppose 1 = g - 3*o, 3*g = -2*g + o - 9. Let w be u(g). Is (1 - w)/(3/72) a multiple of 12?
True
Suppose -2*k = 4*p - 9 + 1, -4*k + 5*p = -3. Suppose -5*c = -3*s + 8, 0*c + 22 = k*s + 5*c. Is 3 a factor of s?
True
Let d = -17 + 22. Suppose -d*v + 200 = 5*t - 0*t, 0 = -v - 2. Is t a multiple of 7?
True
Let q(b) = b + 2. Let u be q(0). Suppose u*d - 6 = 5*d. Does 12 divide d + 20 + (-1 - 1)?
False
Suppose -11*s + 336 = s. Does 11 divide s?
False
Suppose 0*t - 223 = -3*r + t, -5*r + t = -369. Is 3 a factor of 7/(-28) + r/4?
True
Let p(g) = -8*g - 45. Is p(-20) a multiple of 23?
True
Let o = 170 - 83. Is o a multiple of 26?
False
Suppose -2*i = -5*o - 191, i + i - 3*o - 193 = 0. Suppose 5*x - i = -2*t, -2*t + 0*x + 2*x = -84. Is 22 a factor of t?
True
Let w be (2/(-5))/((-3)/15). Suppose 0 = -3*j, -214 = -3*s + w*j - 61. Does 17 divide s?
True
Let t(h) = -h**3 + 7*h**2 - 10. Let k be t(7). Let m = 19 + k. Is m a multiple of 3?
True
Suppose 0 = 2*s - 4*k - 46, 5*s - k - 142 = -0*k. Let i = 26 - 10. Let u = s - i. Does 13 divide u?
True
Suppose 3*s - 3*r - 494 = r, s - 170 = 4*r. Suppose -4*w + s = 5*d + 40, -d - 2*w + 28 = 0. Is 6 a factor of d?
False
Let k = 123 + -39. Does 28 divide k?
True
Suppose -2*y - 2*y - m = -474, -486 = -4*y + 5*m. Does 11 divide y?
False
Let o(u) = 3*u**2 + 10*u + 2. Let b(n) = -7*n**2 - 21*n - 3. Let m(a) = -2*b(a) - 5*o(a). Is 8 a factor of m(-6)?
True
Let n = -3 - -5. Let k(h) = -3*h**3 + 2*h**2 - h + 3. Let f(b) = 14*b**3 - 11*b**2 + 6*b - 16. Let w(z) = n*f(z) + 11*k(z). Is w(-1) a multiple of 4?
False
Let p(j) = j - 1. Let n be p(-8). Let m = n + 22. Is m a multiple of 13?
True
Let x(b) = -3 - 1 - 4*b**2 - b**2 - 3*b**3 + 4*b**3. Let i be x(5). Let s = i - -36. Does 11 divide s?
False
Suppose 7*k = 9*k - 18. Is 7 a factor of 358/k + 4/18?
False
Suppose 2*n = -0*n - 2. Let y(f) = -f**3 - 2*f + 2. Let s(a) = -a**2 + a - 1. Let b(v) = n*y(v) + 5*s(v). Is 14 a factor of b(5)?
True
Does 7 divide 1/2*3*28?
True
Let w(o) = o**2. Suppose -3*j + 7*r - 4*r = 3, 7 = 5*j - r. Let b be w(j). Suppose 3*d = -b + 7, d + 19 = 4*x. Does 5 divide x?
True
Let k(c) = -2*c**2 - c + 22. Is k(0) a multiple of 22?
True
Let d = 8 - -10. Is d a multiple of 9?
True
Suppose -4*r - 40 = -9*r. Does 5 divide 2/r + 46/8?
False
Suppose 8*x - 388 = -92. Is 7 a factor of x?
False
Let y(c) = -c**3 + 4*c**2 + c + 2. Let f be -2*(1 + (-5)/2). Let h be y(f). Is 8/((-10)/h + 1) a multiple of 14?
True
Let n(d) be the first derivative of -1/4*d**4 + 0*d**2 - 2*d**3 + 6*d - 3. Is n(-6) a multiple of 5?
False
Suppose 5*t = 2*y + 42, -t + 4*y - 2 = -14. Suppose -5 = 5*k, v - 4*k - 1 - t = 0. Suppose 4 - 34 = -v*c. Is c a multiple of 6?
True
Let l(y) = 5*y**2 + 10*y - 10. Let c(n) = 9*n**2 + 20*n - 20. Let i(z) = -6*c(z) + 11*l(z). Let h be i(9). Suppose -5 + h = -k. Does 2 divide k?
True
Let c = -8 - -3. Let h(g) = 14 - 6*g + 0*g**3 + 4*g**2 - 10 + g**3. Is 9 a factor of h(c)?
True
Suppose -4*d = -4*v - 24, 2*v - v + 4*d = -31. Let g = v + 27. Suppose 2*c - 8 = 4*s - 4, -2*s = 2*c - g. Is 6 a factor of c?
True
Is 12 a factor of 16/(-1*2/(-6))?
True
Let z be ((-496)/24)/(4/18). Let v = 144 + z. Let s = v - 4. Is 21 a factor of s?
False
Suppose p + p - 32 = -2*c, -3*p = -5*c - 8. Does 3 divide p?
False
Let a(z) = z**3 + 5*z**2 - z - 4. Suppose 5*v = -3*t - 9 - 28, -2*t = 3*v + 23. Let p be a(v). Does 5 divide (p/(-2))/((-2)/20)?
True
Let z(t) = -30*t - 3. Let r be z(-2). Let u(k) = -9*k - 3. Let b be u(4). Let f = r + b. Is 16 a factor of f?
False
Let y = 43 - 74. Let b = y - -54. Is b a multiple of 9?
False
Suppose -5*o - 319 - 551 = 0. Let z = -92 - o. Does 32 divide z?
False
Suppose 2*l - 4*i - 16 = 0, 3*l - 7*i = -2*i + 22. Let z be (-2)/(-2 + 1) + 14. Suppose h - j = -6 + z, l*j = 0. Is 4 a factor of h?
False
Let s(f) be the first derivative of 59*f**4 - 2*f**3/3 + f**2 - f + 2. Let q be s(1). Suppose -2*j + 83 = 2*d - j, -3*j - q = -5*d. Does 13 divide d?
False
Suppose -m + 123 = 2*m. Suppose 0 = 3*h - 43 - m. Is h a multiple of 12?
False
Suppose 2*m = 5*k + 4*m - 184, -5*k + 5*m = -170. Does 18 divide k?
True
Let g = -38 + 69. Suppose -91 + g = -4*r. Is r a multiple of 15?
True
Suppose 0 = 4*k - 4*z - 4, 2*z = -3*k + k - 10. Is k - (-2 + 132/(-3)) a multiple of 22?
True
Let a = 22 - 18. Does 3 divide a?
False
Let r(v) = 3*v**2 - 8*v + 2. Is 6 a factor of r(4)?
True
Let f(g) = 2*g**2 - 4*g + 2. Let q be f(2). Suppose 5*z = -q*k - 8, -2*k + k + 2 = z. Does 5 divide k?
False
Suppose -12 + 36 = c. Is 22 a factor of c?
False
Let k = 64 - 17. Let s = 67 - k. Is s a multiple of 10?
True
Suppose -2*s = -3*v - 41, 0 = 3*s - v - 57 + 6. Suppose -2*b - 199 = -4*t - 19, -4*b + s = 0. Is t a multiple of 15?
False
Let y(u) = -196*u + 2. Is y(-1) a multiple of 22?
True
Suppose 5*n + 2*z = -0*z + 590, -2*z - 10 = 0. Suppose -6*x + n = -x. Is 8 a factor of x?
True
Let t = 95 + -40. Let a = -37 + t. Is 8 a factor of a?
False
Suppose 0 = 4*i + i - 195. Let s(o) = -2*o**3 + 2*o**2 + 5*o - 7. Let l be s(3). Let m = l + i. Does 7 divide m?
False
Let t(g) be the first derivative of -3*g**2 - 4*g + 2. Suppose -6*c = -4*c + 12. Is t(c) a multiple of 14?
False
Let v(i) = i + 2. Let q be v(-8). Let p(s) = s**3 + 7*s**2 + 2*s - 4. Is p(q) a multiple of 13?
False
Let h = 5 + 0. Does 8 divide 7/(-35) + 121/h?
True
Let a(h) = h**3 + 9*h**2 + 6*h - 12. Does 32 divide a(-6)?
False
Suppose 0*p - p = 2*j + 3, -4*j + p + 3 = 0. Suppose 3*y + 2 = l + 5*y, 3*l - y - 6 = j. Suppose -2*f = 3*f + 15, 4*u = l*f + 166. Is u a multiple of 12?
False
Suppose -3*q + 0*q - 81 = -3*m, 4*q = -4*m + 132. Is 30 a factor of m?
True
Suppose 3*q + 46 = 187. Is 19 a factor of 2 + q + (-3)/1?
False
Suppose 4 = -m - 11. Let i = 41 + m. Is i a multiple of 13?
True
Let h be (171/12 - 0)*-4. Let l = h - -23. Let s = 66 + l. Is 16 a factor of s?
True
Suppose -37 = 4*o - c, -4*o - 5 - 41 = 2*c. Let n(u) = -u**2 - 4*u + 4. Let s be n(o). Is (-3)/(-6)*-1*s a multiple of 14?
True
Let l = -41 - -159. Is l a multiple of 15?
False
Suppose 0 = y - 4*y + 3. Does 3 divide -3 + 3 - (y - 4)?
True
Suppose 0 = -s - 4*s + 80. Is 4 a factor of s?
True
Let h = -1 - -3. Suppose -3*y + 5 = -4. Suppose -y*f = -4*a, -4*f - 4 = -h*a - 14. Is a even?
False
Let j(l) = l**2 - l + 10. Let f(o) = -3 + 10 + 3 + o**2 - o. Let d(h) = -3*f(h) + 4*j(h). Is 4 a factor of d(0)?
False
Suppose -59 = -2*q + 81. Suppose -2*m + 3*m = q. Let n = -40 + m. Is n a multiple of 15?
True
Let o(k) = -2*k**3 + 19*k**2 + 17*k + 23. Let b(x) = -x**3 + 10*x**2 + 9*x + 11. Let n(i) = -7*b(i) + 3*o(i). Is n(14) a multiple of 10?
True
Let w = -7 - -11. Suppose w*z = -0*z + 32. Does 2 divide z?
True
Let p = 5 - -27. Suppose 0*c = -4*c + p. Let a(h) = h**2 - 4*h + 9. Does 14 divide a(c)?
False
Let d = -5 + 3. Does 11 divide -3 + (-100)/(-2) - d?
False
Suppose 5*w - 595 = 160. Suppose -5*n = -w + 31. Is 8 a factor of n?
True
Let r(w) = w + 1. Let p be r(1). Suppose -i + k = -10, -i + 5