f**4/6 - 2*f**2 + 2*f. Is h(d) a multiple of 14?
True
Let b(o) = -o**3 + o**2 + 3. Let p be b(0). Suppose -2*a + p*z = -49, -5*a + 0*z + 5*z + 120 = 0. Let u = -9 + a. Is 7 a factor of u?
True
Suppose -4*f + 242 = -o, -2*o - 3*o = f - 71. Let a = f - 19. Is 12 a factor of a?
False
Let o(f) = -f + 10. Let i be o(7). Suppose -2*m = l - 6, -l + i*l + 3*m = 12. Is 6 a factor of l?
True
Let m(a) = -a**2 + 3*a + 2. Let v be m(3). Let d = 5 - 3. Suppose b - v = d*p - 52, -b - 122 = -5*p. Is 11 a factor of p?
False
Let w = 37 - 32. Suppose 0 = 5*g + 4*j - 25, 2 = -2*g + j - 1. Does 5 divide 55/w - (g - -2)?
False
Suppose u = v + 3*u - 177, -u = 3. Does 16 divide v?
False
Let s be (-822)/(-48) + (-2)/16. Suppose -2*l + s = -9. Is l a multiple of 3?
False
Suppose 3*r + r - 176 = 0. Suppose 10*a + j = 5*a + 63, 0 = 5*j - 15. Suppose 2*f = a + r. Is 9 a factor of f?
False
Let l(m) = m**3 - 10*m**2 + 15*m + 7. Does 7 divide l(9)?
False
Let k(j) = -32*j - 4. Let p(l) = -97*l - 11. Let t(h) = 8*k(h) - 3*p(h). Is 12 a factor of t(1)?
True
Let i(w) = -w**3 + 8*w**2 - 3*w - 8. Is 33 a factor of i(4)?
False
Let h = -90 + 54. Let a = h - -51. Is a a multiple of 15?
True
Let v be (10 - 30)*7/(-4). Suppose -12 = -2*h - 48. Let t = h + v. Does 8 divide t?
False
Suppose -y = -35 - 96. Is 21 a factor of y?
False
Let w = -5 - -8. Suppose -3*r + 17 = 2*f, 4*r - w*r + 5*f - 10 = 0. Is r a multiple of 3?
False
Let x be 10/2 + 4 + -6. Suppose -x*h + 3*a = -0*a - 357, -4*a = -3*h + 362. Suppose -2*u + 4*r - 10 = -h, -r = -2*u + 89. Is u a multiple of 11?
False
Let q = -235 - -461. Is 12 a factor of q?
False
Let s = -6 + 10. Suppose 5*m + s*u - 71 = 2*m, 97 = 4*m + 3*u. Is m a multiple of 11?
False
Let h = 78 - 43. Let x = -26 + h. Does 9 divide x?
True
Suppose 0 = 9*s - 13*s + 64. Suppose -3*y - 4*z = -105, -1 + s = 5*z. Does 8 divide y?
False
Suppose -2*s = -47 - 25. Does 18 divide s?
True
Suppose 3*x - 26 = 223. Does 37 divide x?
False
Let t be (-1 - -3)/(1/2). Suppose 5*r - 6 = t. Suppose -r*b + 65 = -1. Does 12 divide b?
False
Suppose t + 15 = 6*t. Let y be t/(-6)*-2 - 0. Does 3 divide y + (4/2 - -2)?
False
Let c(f) = 2*f**2 - f + 7. Let t be c(8). Suppose 4*q + t = 3*d, 0*d + 3*q + 129 = 3*d. Does 9 divide d?
True
Let f(k) = -k**3 + 7*k**2 - 3*k + 3. Is f(3) a multiple of 10?
True
Let s(n) = -2*n + 56. Does 28 divide s(0)?
True
Let s be (-1)/5 + 78/15. Suppose s*k + 2*b - 17 = 0, 2*k - 12 = -k - 3*b. Suppose k*z - 120 = -2*p - 3*p, 5*p + 4*z = 120. Is p a multiple of 9?
False
Suppose -x - 153 = 13. Let m be (2 + -5)/(3/x). Does 4 divide (-2)/9 + m/18?
False
Let s(m) = -m**3 - 2*m**2 - 2*m + 1. Let v be 3/(-1 + (-2)/4). Is s(v) a multiple of 4?
False
Let m = 11 + -5. Suppose -s = -m*s + o + 90, 0 = -2*s - 2*o + 24. Suppose -y - 1 + s = 0. Does 12 divide y?
False
Suppose -4*k + 357 + 383 = 0. Suppose -4*p + 3*f + 233 = -22, -3*p = -f - k. Let a = -43 + p. Is a a multiple of 10?
False
Is 12 a factor of ((-12)/(-5))/((-8)/(-380))?
False
Let c be (-1)/2*2*7. Let q = 1 + c. Does 18 divide (0 - -2)*(-123)/q?
False
Let f = 200 - 127. Does 16 divide f?
False
Suppose 11 = -2*j + j. Let k(p) = p**3 + 17*p**2 + 7*p - 9. Let d(b) = -b**3 - 18*b**2 - 6*b + 9. Let i(x) = -5*d(x) - 6*k(x). Is i(j) a multiple of 15?
False
Suppose 4*v + 140 = 2*p + v, -p - 3*v + 61 = 0. Is p a multiple of 5?
False
Let o be 0 + 6 - (-3 + 6). Let p(t) = 5*t**2 - 4*t - 1. Is 10 a factor of p(o)?
False
Suppose 2*g = 4*g + 4, 3*g = z - 32. Let r = 73 - z. Is r a multiple of 12?
False
Let z(u) = -u + 3. Let b be z(6). Let y be 1 - (-2 + (-3)/b). Suppose -11 = -5*a + a + 5*g, 0 = -y*a - 2*g + 10. Is a a multiple of 4?
True
Suppose 3*p - 4*t + 0*t = 5, -4*p = -3*t - 9. Let u(q) = -q - q**3 + 4*q - 3*q**2 + 0*q**p - 2 + 0*q**2. Is u(-4) a multiple of 2?
True
Let x = -39 - -94. Suppose 57 + x = 2*g. Is g a multiple of 14?
True
Let n(c) = -c**2 + 5*c + 6. Let l be n(5). Let t = l + -11. Let h(a) = -a**3 - 5*a**2 - 2*a - 4. Does 3 divide h(t)?
True
Let z = 48 - 25. Does 19 divide z?
False
Suppose 3*b + 3*r - 32 = -b, -5*r = b - 25. Suppose -b = 3*o - 4*o. Is 17 a factor of ((-238)/35)/((-1)/o)?
True
Let l be 2/(-4) - 286/(-4). Let k = -42 + l. Is k a multiple of 8?
False
Let n(b) = 4*b - 6. Let i = -5 - -12. Does 11 divide n(i)?
True
Let d(t) = -t**3 - 8*t**2 - 9*t - 10. Does 2 divide d(-7)?
True
Let p be 0/(((-16)/4)/(-4)). Suppose m - 2*k + p*k - 15 = 0, -5*m + 19 = 4*k. Is m a multiple of 6?
False
Let a(d) = 24*d - 15. Is a(4) a multiple of 27?
True
Suppose 3*q + 5*k - 10 = 66, 3*k + 38 = 2*q. Let m = q - 9. Is 13 a factor of m?
True
Let l be -1 - -2*(0 + 1). Let t be (-2)/4 + l/2. Suppose -2*h + 21 = 2*o + o, t = 5*h + 4*o - 63. Is 15 a factor of h?
True
Suppose -d + 4*s = -414, -5*d - 2*s + 5*s + 2087 = 0. Is 11 a factor of d?
True
Let w(n) = n**3 + 7*n**2 + 6*n - 2. Does 18 divide w(-5)?
True
Suppose 0 = 5*d - 0*d - 105. Suppose 0*c + c = d. Does 10 divide c?
False
Let p(z) = -19*z + 34. Does 10 divide p(-4)?
True
Suppose 9*v = 900 - 225. Is v a multiple of 52?
False
Suppose 0*o = -3*b - o - 4, -b - o = 0. Suppose 10*z = -2*n + 5*z - 137, -2*z + 196 = -3*n. Is 11 a factor of 0 + (n/b)/3?
True
Let i(b) = 4*b**3 + 11*b**2 - 5*b + 2. Let n(q) = -q**3 - q**2 + 1. Let w(f) = -i(f) - 5*n(f). Let g be w(5). Is (-66)/g - 6/14 a multiple of 3?
True
Suppose -2*n - 4*z = 40, -z - 7 + 2 = 0. Let v(i) = i**2 + 9*i - 5. Is v(n) a multiple of 3?
False
Let r be 7/(2 - (-1 - -2)). Let i(g) = g**3 - 8*g**2 + 10*g - 4. Let x be i(r). Let h = 28 - x. Does 11 divide h?
True
Suppose 4*t + 4 = -60. Let b = 7 - t. Is b a multiple of 23?
True
Let i(s) = s**2 + 7. Let o be i(0). Suppose -2*f - o = -5*m + f, 4*m = 4*f + 4. Suppose -2*g - m*g = -104. Is 11 a factor of g?
False
Let k = 42 - 60. Let z be 31 + -1 - (1 - 1). Let l = z + k. Is 12 a factor of l?
True
Suppose 7*u - 21 = 3*u + 5*s, 5*u - s = 0. Let m be (1 + 0)*(0 + u). Is (13/4)/(m/(-4)) a multiple of 6?
False
Suppose -5 = 2*s - 17. Suppose -1 + s = 5*y. Is 7 a factor of 27/3 - (0 + y)?
False
Suppose -120 + 360 = 8*t. Is t a multiple of 10?
True
Suppose -2*k = 5*g - 23, -3*g + 6*k - k + 20 = 0. Suppose -3*o + 16 = -g. Let f = o + -3. Is f a multiple of 4?
True
Suppose 492 = l + 3*l. Let x = -59 + l. Does 16 divide x?
True
Let i = 6 - 15. Let y = i - -7. Let u(n) = 3*n**2 - n + 1. Does 5 divide u(y)?
True
Let n(c) = 25*c**2 - 3*c - 1. Does 35 divide n(-2)?
True
Suppose n = -2*q - 3, -5*n = -2*n + 3. Let k be (-83)/(-4) + q/(-4). Is 6 a factor of ((-18)/k)/(3/(-21))?
True
Let f(w) = w**2 + 8*w + 7. Let q be f(-5). Is (-482)/q - (-17)/(-68) a multiple of 12?
True
Suppose -4*c - 10 = 2*x + 2, -2*c = -2*x + 6. Let p(b) = 3*b**2 - 3*b. Does 18 divide p(c)?
True
Let k(x) = -21*x**3 + 53*x**3 + x**2 - x**2. Does 11 divide k(1)?
False
Suppose 3*h = -5*b + 11, -h - 13 = -6*h - 3*b. Suppose 0*g = -h*g. Suppose g = 2*k - 35 - 51. Is 13 a factor of k?
False
Suppose 3*m - 61 + 43 = 0. Is 6 a factor of m?
True
Let g = -2 + 4. Let o(z) = -4 - 29*z - g + 5 + 0. Does 14 divide o(-1)?
True
Let n(p) = p**3 + 8*p**2 + 6*p - 2. Let q be n(-7). Suppose d = -2*y - 158, q*y - 246 = 3*d + 217. Is -3 + (d/(-2))/3 a multiple of 15?
False
Let k be 1/5 - (-76)/20. Suppose -2*b = -5*v - 26, -k*v - v = 4*b - 22. Let j = b - -18. Does 13 divide j?
True
Let z(x) = -x**3 + 5*x**2 + 4. Let g be z(4). Let f(h) = -12*h**3 + 1. Let y be f(1). Let p = y + g. Is 7 a factor of p?
False
Let t = 18 + -6. Is ((-15)/(-20))/(1/t) a multiple of 4?
False
Let z(p) = 2*p**2 + 7*p + 4. Let s be z(-6). Let j = s + -20. Is 14 a factor of j?
True
Suppose -j - 23 = -2*j. Let i = j + -10. Is 13 a factor of i?
True
Suppose -6*g = -3*g - 18. Suppose 65 = g*m - m. Does 6 divide m?
False
Suppose 5 + 245 = 5*f. Is f a multiple of 5?
True
Suppose -16 = -2*p + 2*x, -3*x = 2*p - 2*x - 7. Let q = 8 - p. Does 3 divide (6 - q/3) + 2?
False
Let l = -123 - -231. Is l a multiple of 27?
True
Let p(b) = b**2 - 8*b + 6. Let l be p(7). Is 14 a factor of ((19 + -2)/(-1))/l?
False
Is 7 a factor of (-8 - -3)*(-19)/5?
False
Let w(r) = 7*r**3 + 3*r**2 - 2*r + 2. Is w(2) a multiple of 17?
False
Suppose 3*v - 31 = -2*i, 4*v - 50 = -3*i - 3. Suppose -4*l = -3*h - 0*h - 47, -4*l - 3*h + i = 0. Does 4 divide l?
True
Let r(c) = 3*c**2 - 2*c + 6. Does 14 di