oes 12 divide 1*2 + k/(-2)?
True
Let k(z) = 5*z - 172*z**2 + 170*z**2 + 9 - 3*z**3 + 2*z**3. Is 21 a factor of k(-4)?
True
Let x be 2 + 0 + 6/(-3). Let m(q) = -3 + 7 + q + 3 + q**2. Is m(x) a multiple of 6?
False
Let d be ((-1)/(-2))/(3/6). Is 5 a factor of (-1)/d - (-11 + 2)?
False
Let m be (-76)/(-18) + 4/(-18). Suppose 0 = 3*o + o - 4*q + m, 3*q = -4*o + 24. Is 15 a factor of 184/6 - 2/o?
True
Let y = -142 + 250. Is y a multiple of 18?
True
Suppose 33 = 4*q + 9. Let s(x) = -x**3 + 6*x**2 - 5*x + 7. Let z be s(q). Let g = z - -53. Does 15 divide g?
True
Suppose 0 = -6*p + 293 + 7. Does 10 divide p?
True
Let w(n) = -n - 74. Let k be w(0). Let h = 52 + k. Let p = h - -32. Is p a multiple of 10?
True
Suppose -2*n + 6 = n. Suppose 7*g - 2*g - 40 = -5*w, n*g - 28 = 2*w. Is 6 a factor of g?
False
Is 5/(20/(-88))*-2 a multiple of 11?
True
Let m(b) = b + 10. Suppose -w = 8 - 1. Does 2 divide m(w)?
False
Let w = 16 + -3. Is 13 a factor of w?
True
Suppose -5*d = 3*p - 15, -3*p = -0*p. Suppose -a - 4*a - 27 = -3*v, -d = -a. Is 14 a factor of v?
True
Let m(w) = 7*w + 5. Let o(q) = 8*q + 6. Let g(a) = 6*m(a) - 5*o(a). Let f(t) = -t. Let b(x) = -3*f(x) - g(x). Is 3 a factor of b(4)?
False
Let x(y) = -5*y - 1. Is x(-4) a multiple of 15?
False
Let z be (-10)/(-4) + (-5)/10. Suppose -5*r - 35 = -x, 0*r = 2*r + z. Does 17 divide x/(1*(-6)/(-4))?
False
Let h be (18/8)/(3/(-16)). Let k be -28*(2 - (-69)/h). Suppose z + 2*z = k. Is 19 a factor of z?
False
Suppose -3*t + 5*t = 14. Suppose 0 = -3*w + 4 - t. Does 5 divide -1*w/1 + 12?
False
Let x(v) = -43*v + 1. Let q be x(1). Is 5 a factor of ((-280)/q)/(2/6)?
True
Suppose -2*c - 4 = -34. Is c a multiple of 10?
False
Let x = -172 - -244. Suppose -3*f = 3*a - x, 3*a = f - a - 44. Is f a multiple of 14?
True
Let w = 3 - -3. Suppose -2*n = -0*n - 240. Suppose -n = t - w*t. Is t a multiple of 12?
True
Suppose 0 = -3*p - j + 227 + 282, -3*j + 687 = 4*p. Does 14 divide p?
True
Suppose -3*q + z + 4 - 5 = 0, 4*q + 10 = -3*z. Is 6 a factor of (16/(-12))/(q/9)?
True
Suppose 0 = 2*k - z - 70, 4*z = -0*k + 3*k - 95. Does 3 divide k?
False
Let n be (-3)/18 + 50/12. Let v(p) = 6*p - 4. Is v(n) a multiple of 9?
False
Let n be -7 + 8 - 3*-1. Suppose -168 = -0*d - n*d. Is 14 a factor of d?
True
Suppose 5*b + 0 = y + 4, -y + 3*b = 0. Does 4 divide y?
False
Suppose 0 = -3*s + k + 42, -5*s + 3*k - 4*k = -78. Is 3 a factor of s?
True
Let d(b) be the third derivative of b**5/60 - 3*b**4/8 - 5*b**3/3 - 2*b**2. Does 4 divide d(11)?
True
Let h(z) = 15*z**2 + 1. Is h(1) a multiple of 4?
True
Let w = 14 - -22. Is w a multiple of 36?
True
Suppose -o = 2*o - 84. Suppose 6*b = 8*b - o. Is b a multiple of 7?
True
Let i = -53 + -13. Let r = -8 - i. Is r a multiple of 23?
False
Let f(k) = -k**3 - 2*k**2 + 2. Let n be f(-2). Let l be 8 - 2 - 4/n. Suppose l*r = g - 3*g + 90, 0 = 5*r - 4*g - 106. Is 7 a factor of r?
False
Let z(v) = v**2 - 6*v + 5. Let u be z(6). Let l = -44 - -96. Suppose -4*s = 4*a - l, 0*a + 3*s = -u*a + 67. Is a a multiple of 14?
True
Let k be 6*1*(-3)/(-6). Suppose -138 = -k*f - 36. Suppose -4*c - 3*z = -172, -c + 5*z + 9 = -f. Is c a multiple of 11?
False
Let b = 1 + 3. Let t = b + -2. Is t even?
True
Let d be 2*(-2 + 14/4). Let v = d + 0. Suppose -v*z = -3*g - 108, -2*g = -3*z + 2*g + 105. Is z a multiple of 13?
True
Let j(p) = 12*p. Let m be j(1). Suppose -m = -4*x - 4. Let v = 26 - x. Is 8 a factor of v?
True
Suppose -2*g + 7*g = 4*t + 1272, 0 = 3*t + 9. Suppose w - g = -2*w. Suppose -w = -3*k + 5*i, -4*k = -4*i + i - 123. Is k a multiple of 11?
True
Let c = 8 - 2. Is 10 a factor of 30/(c/4*1)?
True
Suppose -10 = -4*v - t, -3*v = -5*t - 0*t - 19. Let g be (2 - v)*-2*1. Is 768/54 + g/(-9) a multiple of 14?
True
Let i(q) = q**2 + 6*q + 1. Let n be i(-6). Let r = -4 + n. Is 14 a factor of (0/r - -15)*1?
False
Suppose 0*n - 5*n = 0. Suppose z - 2*z + 36 = n. Is z a multiple of 11?
False
Let g be (1*4)/((-2)/(-29)). Suppose 4*x - 2*x = g. Is x a multiple of 9?
False
Suppose 2*g = -4*a + 192, 0 = 5*a - a - 8. Does 23 divide g?
True
Let n(d) = -2*d + 2. Let o = 5 + -1. Let t be n(o). Let g(i) = -i**3 - 7*i**2 - 7*i + 5. Is 11 a factor of g(t)?
True
Suppose -4*f - 23 = -5*r, 3*r = f + 2*f + 18. Let w = 2 - f. Suppose -7 = -a + w. Is a a multiple of 8?
True
Suppose -5 - 19 = -4*g. Let t be (5/(-2) + 2)*g. Is 3 a factor of 26/5 - t/(-15)?
False
Let y be 148/20 - 4/10. Suppose z - 4*h + 4 = -0*h, 3*h = 2*z - y. Is 4 a factor of z?
True
Let p(d) = -d**2 - 2*d - 3. Let g be p(-2). Let m be ((-28)/(-3))/((-1)/g). Suppose m = 4*t + 8. Is t a multiple of 2?
False
Let j(n) = -n**3 + 5*n**2 + 4*n + 12. Let t be j(6). Suppose t = -0*a - a + 20. Is 10 a factor of a?
True
Suppose 3*g - 77 = 2*z, z + 73 = 3*g + 3*z. Is g a multiple of 9?
False
Let m be -3*(-3 + (1 - -1)). Suppose 4*n + 4*s - 64 = 0, -m*n - n + 4*s + 48 = 0. Suppose -4*t - n = -86. Is 11 a factor of t?
False
Let o(w) = 11*w - 5. Let s be 4*(-3)/9*-3. Does 10 divide o(s)?
False
Let b = -2 + 4. Suppose -2 = b*i - 14. Suppose 4*w - i + 18 = 0, 3*w = v - 20. Is 4 a factor of v?
False
Let x be (80/(-50))/(2/25). Let v = 5 - x. Does 10 divide v?
False
Suppose 26*g = 20*g + 252. Is g a multiple of 7?
True
Let o(z) = -4*z**2 + z. Let c be o(1). Let y be (1/(-2))/(c/12). Is 13 - 0 - y/(-2) a multiple of 7?
True
Suppose 0 = -5*p + 2*g + 2*g + 30, -4*p + 4*g + 24 = 0. Is p a multiple of 3?
True
Let p(j) = -3*j + 3*j - j. Let s be p(-3). Suppose 4*i - s - 109 = 0. Is i a multiple of 12?
False
Let q = 72 - 42. Let i = -14 + 3. Let f = i + q. Is f a multiple of 10?
False
Suppose -4 = 2*x - 12. Let d = 0 + 0. Is 7 a factor of (4 - x) + d + 11?
False
Let n(i) = 6*i - 9*i + i**2 + 13 - 3. Does 5 divide n(4)?
False
Let y = -6 + 5. Is 3 a factor of 2 + 1 + (y - -2)?
False
Suppose 5*d - 2*n = 1096, -3*n - 1094 = -2*d - 3*d. Is 29 a factor of d?
False
Let s(r) = -72*r. Let f = 5 + -6. Let c be s(f). Suppose -3*q = -7*q + c. Does 7 divide q?
False
Let q be -3 + (-588)/(12/(-3)). Suppose q = -4*w + 7*w. Is 13 a factor of w?
False
Suppose -12 = -4*c - 4*j, -2*j - 30 = -4*c + 3*j. Suppose -c*d + 3 = -22. Suppose 6*o - 39 = o + 2*i, 0 = -5*o + d*i + 45. Is o a multiple of 4?
False
Let s be (7 - (-5)/5)*4/8. Suppose 0*a = -a. Suppose 6*n - s*n - 38 = a. Is 8 a factor of n?
False
Let s(a) = a**2 - 2*a + 1. Let r be s(1). Suppose 3*l - 4*z + 11 = 0, r = 4*l - 4*z + 8 + 8. Does 15 divide (l/10)/(2/(-132))?
False
Let z(i) = 13*i**2 + 1. Let s be z(1). Suppose 2*a - 4*a + s = 0. Is a a multiple of 4?
False
Let n = -5 - -3. Is 6 a factor of (n - -1) + 8 + -1?
True
Suppose 9 = 4*t + 3*b, 0 = -4*t + b + 3*b + 16. Suppose 0 = 4*c + t + 1. Is 18 a factor of (48/1 - c) + -2?
False
Suppose 2*z - 5*x = 276, -690 = -5*z + 3*x - 2*x. Does 31 divide z?
False
Suppose 11 = 2*p - g, 26 = 5*p + g - 3*g. Suppose -p = 2*w - 40. Is w a multiple of 18?
True
Let y be 109 + (2 - (0 - -5)). Suppose -2*w + 52 = -2*c + 4*c, 4*w = -5*c + y. Is w a multiple of 8?
True
Suppose 0 = -2*o, 5*u - 2*o + 5*o - 350 = 0. Is 10 a factor of u?
True
Let r = 14 + -9. Suppose r*t - 2*q = -3*q + 55, 0 = -4*t + q + 35. Does 6 divide t?
False
Let p(c) be the third derivative of -c**4/24 + 6*c**3 - 2*c**2. Is p(0) a multiple of 8?
False
Let w(l) = -20*l - 20. Let x(k) = 13*k + 13. Let g(t) = 5*w(t) + 7*x(t). Is g(-4) a multiple of 27?
True
Let g be (2 - (2 + 1))*6. Let s(t) = -3*t - 1. Let r be s(g). Suppose -r = -x + 35. Is 26 a factor of x?
True
Suppose 5*y - 121 = -w, 4*w = y - 15 - 5. Does 6 divide y?
True
Let n(o) = 5*o - 14. Let s be n(-10). Does 12 divide ((-63)/28)/(3/s)?
True
Let w(u) = -u**2 + 7*u - 4. Let r be w(6). Suppose r*o - 2 - 50 = 0. Suppose h = 3*h - o. Is h a multiple of 7?
False
Suppose -k = -23 - 15. Is 19 a factor of k?
True
Suppose 14 = 2*b + 2*d, 0*b + 5*d + 1 = 4*b. Suppose 136 = 5*f + b*t, -f = f - 5*t - 28. Is f a multiple of 7?
False
Let n(h) = h + 1. Suppose 0 = -3*z + 51 + 45. Suppose z = 5*g + 2. Is 7 a factor of n(g)?
True
Let q = 0 - -4. Let p(u) = 2*u - 3. Let y be p(q). Let k(z) = 3*z - 1. Is 7 a factor of k(y)?
True
Let n be (15/(-5))/((-6)/10). Let u(y) = y**3 - 3*y**2 - 4*y - 5. Does 18 divide u(n)?
False
Suppose 9*r - 1347 = 705. Does 38 divide r?
True
Suppose -2*a - v = 11, 0 = a - 2*v + 6*v - 12. Let t(u) =