a factor of (-1 - 21)/(0 + a)?
False
Let v(a) = a**3 + 2*a**2 - 2*a. Let y be v(-3). Let d be ((-10)/y)/(10/15). Suppose 2*m = 2*b - 6*b + 20, 4*m = d*b + 66. Is m a multiple of 14?
True
Let p(q) = -q**2 + 2. Let o be p(-3). Let d = o - -46. Suppose 3*g - 5*z + 6 = d, -22 = -2*g + 5*z. Does 11 divide g?
True
Suppose -4*w = 2 - 14. Suppose w*a = -z - 2*z + 105, -5*a - 125 = -5*z. Does 8 divide z?
False
Let p = 2 - 2. Let x = p - -11. Is x a multiple of 11?
True
Suppose d = -d + 4. Is 10 a factor of d + 0 + (-18)/(-1)?
True
Let d(a) = a**2 + 2*a - 7. Let x(m) = -3*m**2 - 7*m + 21. Let p(i) = 8*d(i) + 3*x(i). Does 7 divide p(-5)?
True
Let l = 11 + 9. Let n = -11 + l. Suppose 3*f - n = 6. Is 3 a factor of f?
False
Suppose 4*v - 9 = 15. Suppose -2*f - 208 = -v*f. Is f a multiple of 26?
True
Suppose -21 = -4*a + 23. Suppose -w = -5*w - c + a, -4*c = w - 14. Is 2 a factor of w?
True
Suppose 0 = 2*w - 4*w - 8. Let g(b) = b**2 - b - 5. Does 15 divide g(w)?
True
Suppose 3*m - 4 = -2*p, 8 = -0*m + 2*m + 4*p. Let x(b) be the second derivative of -b**4/12 + b**3/6 + 4*b**2 + 8*b. Is x(m) a multiple of 8?
True
Suppose 5*h = -5 - 0. Let y(d) be the second derivative of -5*d**3/6 - 3*d. Is y(h) even?
False
Let n(y) = -6*y - 1. Is 15 a factor of n(-3)?
False
Let a be 33/12 + (-3)/(-12). Let m be (-1 - -10)*1/a. Does 13 divide (-3)/((18/(-28))/m)?
False
Let x(l) = -l**3 + 3*l**2 + 3*l + 3. Let w be x(4). Let j be 8/(-6)*(-12)/8. Does 20 divide w/(j/(-4))*10?
True
Suppose 3*k - 279 = -69. Does 14 divide k?
True
Let z be (-4)/(-2) - (-6 - -6). Let s = z - -1. Let k(o) = 2*o**3 - 5*o**2 + 2*o + 4. Is 19 a factor of k(s)?
True
Suppose 65 = 5*a - 0. Is 13 a factor of a?
True
Let d = -55 - -133. Is 10 a factor of d?
False
Is 44 a factor of -3 + (-3 - -2 - -268)?
True
Let k(u) = 7*u - 69. Is 13 a factor of k(15)?
False
Let m(y) = y**2 + y - 2. Let a be m(-2). Let v(z) = -5*z - 6. Let i be v(-6). Suppose 4*q - i = -a*q. Is q even?
True
Suppose -s - 44 = -128. Is 28 a factor of s?
True
Let c = -97 - -153. Does 14 divide c?
True
Let a be 2/(-8) + (-354)/(-8). Suppose -7*j + 2 = -6*j + 2*d, -4*j + a = -4*d. Is j a multiple of 4?
True
Let o(n) = 3*n - 29. Is o(13) a multiple of 7?
False
Let d = 8 - 3. Suppose d*o + 5 - 15 = 0. Suppose -v + o*l + 29 = -l, -3*l = 4*v - 71. Is 7 a factor of v?
False
Suppose -2*z = 9 + 15. Is 9*(2 - 56/z) a multiple of 20?
True
Suppose 100 = 2*l + 32. Is l a multiple of 9?
False
Let x(o) be the second derivative of 13*o**3/6 - o**2 + 3*o. Let n be (6/(-4))/((-15)/20). Is x(n) a multiple of 12?
True
Let b = -18 - -18. Suppose -3*f + 21 - 3 = b. Does 4 divide f?
False
Let p(n) = 2*n - 2 + 0 - 6. Let m be p(8). Suppose -5*a = 2*o - 59, -a = -3*o - m - 14. Does 13 divide a?
True
Suppose 3*w + 14*g - 10*g - 447 = 0, -5*g = -3*w + 474. Does 17 divide w?
True
Suppose 32 = -0*z - 5*z - 2*c, 0 = 4*z - 5*c + 52. Let t(w) = -w - 1 + 2*w - 2*w. Does 3 divide t(z)?
False
Let s(d) = -d**2 + 14*d - 4. Let o be s(13). Suppose -186 = 6*a - o*a. Does 16 divide a?
False
Suppose -4*p = -0*p. Let f be (0 - -1 - p) + 8. Let o = 14 - f. Is o even?
False
Suppose -j = j + 84. Let t = -8 - j. Does 12 divide t?
False
Suppose -9*f + 736 = -5*f + 3*q, 3*f + 3*q - 555 = 0. Is 26 a factor of f?
False
Suppose o + 2*w - 115 = 0, 0 = -2*w - 8 - 2. Suppose -7*u + 85 = -o. Does 6 divide u?
True
Let w(l) = -l**2 - l + 1. Let c(g) = -4*g**2 - 16*g + 1. Let n(i) = -c(i) + 5*w(i). Does 7 divide n(10)?
True
Let r(y) = 3*y**3 + 3*y - 2. Let o be r(-3). Let s = -48 - o. Is 9 a factor of s?
False
Let u(t) = 7*t**3 + 3*t**2 - 2*t + 1. Let z be u(2). Suppose 0*k - k + z = 0. Suppose -k = -2*d - 3*d. Is 13 a factor of d?
True
Suppose -4*p + 6 = -10. Suppose -4*l + 5 = l - p*u, 4 = 4*l - 5*u. Let s(b) = 10*b. Is 5 a factor of s(l)?
True
Let y(u) = -u**3 + 6*u**2 - 5*u + 6. Let o be y(5). Let s = o + -4. Is 16 a factor of 1/2 + 63/s?
True
Suppose 0 = -0*h + 4*h - 16. Let f(z) = 1. Let v(b) = 4*b - 3. Let j(d) = -3*f(d) + v(d). Is 5 a factor of j(h)?
True
Let t(o) = -o**3 - 7*o**2 - 8*o - 9. Let k be t(-6). Suppose k*n - 8 = -n. Is 2 a factor of n?
True
Let i(k) = 2*k**3 - 3*k**2. Let s be i(2). Suppose 4*l - 9 - 11 = 0, -5 = -s*d + 3*l. Let t(r) = r**3 - 4*r**2 + r. Is t(d) a multiple of 15?
True
Suppose -5*i + 3*y = 6*y - 9, 2*y + 1 = -i. Suppose -4*a - b + 15 = 0, 0 = i*a + b + 4*b - 24. Suppose -a*t = -52 + 7. Is 15 a factor of t?
True
Suppose 2*o = -2*o - 3*m + 45, -3*m + 9 = 0. Let d(p) = 4*p**2 - p - o*p**2 + 4*p**2 + 18. Does 12 divide d(0)?
False
Let n = -18 + 25. Suppose 0 = -6*b + n*b - 63. Is b a multiple of 21?
True
Suppose 10*z = 5*z + 60. Does 5 divide z?
False
Suppose -2*o = -5*f - 64, -24 = -4*o + 2*o - 5*f. Is 11 a factor of o?
True
Suppose -3*l = -8*l + 10. Suppose -l*b + 4 = -b. Does 4 divide b?
True
Suppose 5*k + 154 = 14. Let b = k + 42. Is b a multiple of 14?
True
Let x be 1*(1 - 1)*1. Suppose x = -v + 2 + 4. Does 2 divide v?
True
Let y = -2 - -9. Suppose 0 = t - 4*x + 1, 0 = -5*x + y + 3. Is t a multiple of 7?
True
Suppose 3*x = 4*x - 23. Suppose x = 3*n - 4*a, 3*a = n + 4*a - 3. Is 2 a factor of n?
False
Let b = -6 - -9. Is (-200)/(-15) + (-1)/b a multiple of 13?
True
Suppose 0 = 3*q - 0*q + 3*l + 12, -2*q + 1 = -l. Let s = q + 24. Suppose 0 = x + 4 - s. Is 8 a factor of x?
False
Let u(s) = 2*s**3 - 2*s**2 - s - 3. Is 27 a factor of u(4)?
False
Let y(x) = -3*x + 7. Let d be y(-7). Suppose h = 2*h - d. Does 14 divide h?
True
Suppose -3*t + 207 = 3*q, -t - 138 = -2*q - 2*t. Is 23 a factor of q?
True
Let q(s) = s**2 + 21*s + 26. Is 6 a factor of q(-22)?
True
Suppose -4*q = -2*t + q + 176, -t + 88 = 5*q. Is (-6)/3 + -1 + t a multiple of 22?
False
Suppose 121 = i - 5*n, 3*i = -n - n + 329. Does 16 divide i?
False
Let g(s) = 7*s**2 + 8*s - 17. Let l(x) = 2*x**2 + 3*x - 6. Let c(m) = 3*g(m) - 8*l(m). Let d be c(3). Suppose -d = -3*o + 66. Is 18 a factor of o?
True
Let o(f) = -2*f**2 + f + 2. Let i(p) = -4*p**2 + p + 4. Let l(z) = -3*i(z) + 5*o(z). Suppose -3 - 9 = -4*j. Is 11 a factor of l(j)?
True
Suppose -5*x + 103 + 407 = 0. Is 4/(-6) + x/18 a multiple of 3?
False
Let l(i) = 5*i**3 - 5*i**2 + i. Let t(o) = -11*o**3 + 10*o**2 - o + 1. Let h(b) = 9*l(b) + 4*t(b). Does 4 divide h(4)?
True
Let v = -11 + 0. Let c = -8 - v. Suppose -39 = -4*m + z, -3*m - z + 15 = c*z. Is 8 a factor of m?
False
Let c(p) = 2*p**2 - 2*p + 2. Let w be c(2). Let l be w/15 - (-6)/(-15). Suppose -3*j + 5*u + 70 = l, 5*j + 3*u - 166 = -u. Does 13 divide j?
False
Let z = 0 - -4. Let i be 7/2 - 2/4. Suppose -i*u + 5*y - 36 = -5*u, 0 = 2*y - z. Does 11 divide u?
False
Let v = 2 + 5. Is 6 a factor of v?
False
Suppose -1 + 7 = -2*l. Is 2 a factor of (l*1)/((-15)/20)?
True
Suppose -3*a - 137 = -v, 2*v + 3 - 252 = a. Does 25 divide v?
False
Let b(u) = 2*u**2 + 15*u + 28. Does 9 divide b(-8)?
True
Suppose h + 4*a + 2 = -1, 2*h - 21 = a. Is 3 a factor of h?
True
Suppose 2*j = -j. Suppose 0 = 5*a - 90 + 30. Suppose 0 = -j*p - p + a. Does 6 divide p?
True
Let y = -41 - -70. Is y a multiple of 6?
False
Suppose -171 = 12*z - 15*z. Is 8 a factor of z?
False
Suppose s + 4*m = -13 + 105, 328 = 4*s - 4*m. Is s a multiple of 21?
True
Let s = 11 - 9. Suppose -s + 4 = d. Suppose 2 = d*r - 6. Is 4 a factor of r?
True
Suppose -5 = -2*k - 3*y, -3*k - 2*y + 3*y + 24 = 0. Is k even?
False
Let r = -7 - -6. Is 43 - ((r - -2) + 1) a multiple of 12?
False
Let c be (31 + 0)/(2/2). Suppose c = p + 7. Does 10 divide p?
False
Let f(d) be the first derivative of d**4/4 - 5*d**3/3 + 5*d**2/2 - 7*d + 2. Is f(5) a multiple of 4?
False
Suppose 3*q + 2*g - 17 = -3, -4*q = -g - 15. Suppose -2*y + q*d + 261 = 31, -5*y + 530 = -d. Suppose -4*i + y + 31 = 0. Is i a multiple of 14?
False
Suppose 4*c + 51 = -1. Let m(i) = -i**2 - 16*i + 5. Is 33 a factor of m(c)?
False
Let y(c) = 7*c**2 + 3*c - 3. Let s(v) = 20*v**2 + 10*v - 10. Let p(g) = -3*s(g) + 10*y(g). Suppose -4*l + 2 = 6. Does 10 divide p(l)?
True
Let p(y) = 34*y**2 - y - 2. Let z be p(-2). Suppose f - 4*n - 24 = -0*n, -5*f = -4*n - z. Is 14 a factor of f?
True
Let f = -89 - -410. Suppose -f = -4*b + 5*n + 5, 0 = 5*b - 2*n - 416. Is b a multiple of 28?
True
Suppose 2*g = -7 + 17. Suppose -g*z = -10*z + 105. Does 15 divide z?
False
Let o(p) = -7*p**3 - 8*p**2 + 4*p - 16. Let u(l) = 20