*(-2)/6*-24 a multiple of 8?
True
Suppose 4*c - 868 = -3*c. Is 31 a factor of c?
True
Let r(x) = x**3 + 8*x**2 - 5*x - 6. Is r(-8) a multiple of 17?
True
Suppose 96 = 3*w - 666. Is 22 a factor of w?
False
Let o(g) = g**3 + 7*g**2 + g - 3. Suppose -2*q = -3*q - 6. Let d be o(q). Let r = d - 13. Does 7 divide r?
True
Let c(p) = 2*p**2 + 25*p - 23. Does 15 divide c(-17)?
False
Let j = 3 - 5. Let r(y) = -3*y. Is r(j) a multiple of 4?
False
Let i(h) = h**3 + 6*h**2 - h - 6. Let p be i(-6). Is 2 a factor of -1 - (p + 4)/(-1)?
False
Let q = 0 - -4. Suppose 0*f = -q*x + f + 60, -66 = -5*x - f. Does 10 divide x?
False
Let b(w) = 2*w**3 + 5*w**2 - 13. Let t(r) = -r**3 + r**2 - r + 1. Let m(l) = b(l) + 3*t(l). Is m(7) a multiple of 6?
True
Let w = 136 - 93. Suppose -215 = 3*t + w. Let j = -49 - t. Does 25 divide j?
False
Let r = 14 + 13. Does 7 divide r?
False
Let s = 0 - -1. Is 17 a factor of s/(2 + (-47)/24)?
False
Suppose -83 - 7 = -5*m. Is m a multiple of 18?
True
Let a(p) = p**3 + 9*p**2. Let k be 2 + (-2 - -1) + -9. Does 16 divide a(k)?
True
Let z(x) = 7 + 2 - x**2 + 0*x**2 + 9*x. Does 23 divide z(7)?
True
Let d = -4 + 8. Suppose 0 = -5*g + 49 - d. Does 6 divide 4/(-9)*-3*g?
True
Let b = 171 - 105. Is b a multiple of 6?
True
Suppose 0 = 4*r + 58 - 174. Is 2 a factor of r?
False
Suppose 5*w = 5*h + 242 + 143, 156 = 2*w - 4*h. Does 24 divide w?
False
Let i be 2 + 1 - 3 - -3. Suppose 0 = -2*f - 5*d + 73, -f + 2*f - i*d - 9 = 0. Is 12 a factor of f?
True
Suppose -3*z = -4*v + 7, 6*z - 2*z = 3*v. Is 15 a factor of z/((3 - 2)/15)?
True
Suppose 3*u + 118 = 6*u + 5*h, 4*u = h + 142. Let n = -26 + u. Suppose -n - 2 = -4*w - 4*k, 5*w + k - 23 = 0. Is 5 a factor of w?
True
Suppose 0 = 3*l - 4*l + 235. Let m(d) = -d**3 + d**2 - 3*d + 6. Let s be m(0). Suppose g = s*g - l. Is 14 a factor of g?
False
Let w(i) = 7*i - 3. Let b be w(2). Suppose 5*c - b - 84 = 0. Is c a multiple of 19?
True
Let b(k) = -k**2 + 14*k - 13. Is 11 a factor of b(12)?
True
Let y(l) = l**2 + 5*l - 4. Let h be y(-6). Suppose 2*a + 0*a + 20 = 2*v, 0 = -h*a. Is 2 a factor of v?
True
Suppose 2*u + 2*u - 12 = 0. Suppose -2*w - 4*x + 4 = 2*w, 4*w - 5 = -u*x. Is (-1)/(w - -1)*-6 even?
True
Suppose -5*r = -4*r + 6. Let x = 6 + r. Is 18 a factor of 56/(-2)*(x - 1)?
False
Suppose 2*x + 7 = 17. Suppose 36 = -2*s + x*s. Is 4 a factor of s?
True
Is (32/10)/((-2)/(-85)*1) a multiple of 34?
True
Let d = 1 - -1. Suppose 22 = d*r - 5*n, 2*r - 10 = -0*r + 2*n. Is (r - 0)/(2/26) a multiple of 13?
True
Let n(u) = u**3 + 2*u**2 + 144. Is n(0) a multiple of 24?
True
Suppose 2*s - 27 = -5. Is 14 a factor of (-2)/(-11) + 306/s?
True
Let l be 21/(-6) - (-2)/(-4). Let z(t) = -t**3 - 3*t**2 + t + 3. Does 8 divide z(l)?
False
Let o(f) = f**2 - 6*f + 7. Let w be o(5). Suppose n - p = 75, 7*p = -5*n + w*p + 325. Suppose z = 3*z - n. Is z a multiple of 18?
False
Let v = -6 + 15. Is 2 a factor of v?
False
Let f be 2/(0 - -2) - -16. Let r = f + -11. Is r a multiple of 4?
False
Let r = 16 - 9. Does 3 divide r/4*(9 + -5)?
False
Let u be 3755/(-35) + (-6)/(-21). Let l = u - -206. Is l a multiple of 28?
False
Suppose 0 = 4*z + 2*u + 54, -u + 84 = -4*z + 3*u. Let q = z - -56. Is 11 a factor of q?
False
Let k = -103 + 122. Is k a multiple of 18?
False
Let o = -17 + 67. Let f = -2 + o. Is f a multiple of 12?
True
Let a = -7 - -1. Let g(q) = -7*q**3 - 13*q**2 + 2*q - 15. Let f(c) = 13*c**3 + 25*c**2 - 3*c + 29. Let r(v) = 6*f(v) + 11*g(v). Does 16 divide r(a)?
False
Let n = -6 - -10. Suppose -2*x + n*x - 60 = 0. Suppose x = 4*v + 2. Does 2 divide v?
False
Let u(j) = -73*j - 29. Does 21 divide u(-5)?
True
Suppose 10 = 2*d - 4*d. Let p = 1 - d. Suppose -p + 26 = 2*n. Is n a multiple of 10?
True
Suppose 0 = -d + 5*j + 56, -2*d - d - 4*j = -130. Is 18 a factor of d?
False
Let d(l) = 0 - 4*l + 4 + 5*l + 9*l + l**3 + 15*l**2. Does 12 divide d(-14)?
True
Let b(w) be the second derivative of -w**3/3 - 2*w**2 - 2*w. Let u be b(-3). Is 17 - (1 + u)/3 a multiple of 16?
True
Let o = 34 - 13. Suppose 2*s + 2*u + o = -u, 3*u + 12 = s. Let v(t) = -8*t. Is v(s) a multiple of 12?
True
Suppose s + 30 = q, -2*q - 4*s + 19 = -11. Is 11 a factor of q?
False
Let k be (-2 - 0) + (1 - 0). Let i be (4*k)/2 + 14. Let v = -6 + i. Does 3 divide v?
True
Let f = -4 - -6. Suppose 20 = 3*u - f*n, -5*u = 3*n - 8*n - 25. Does 4 divide u?
False
Let v(i) = -5*i + 1. Let w be v(1). Let s(p) = -p**3 - 4*p**2 - p + 5. Is s(w) a multiple of 3?
True
Let j(c) = -9*c + 12. Does 11 divide j(-6)?
True
Let b = -51 + 71. Is b a multiple of 10?
True
Let b(n) be the first derivative of -3*n**4/4 - n**2/2 - 1. Is 13 a factor of b(-2)?
True
Suppose 2 = 5*m - 4*m. Let j(f) be the first derivative of 3*f**4/4 - 3*f**2/2 + 2*f + 2. Does 10 divide j(m)?
True
Let s = -6 + 11. Suppose i - s*i = -8. Suppose -3*f = 3*u - 18, 4*f - 23 = -i*u - 5. Is 3 a factor of f?
True
Suppose 250 = 3*r + 5*d, 0*r = -r + 3*d + 102. Does 18 divide r?
True
Suppose 5*q = 2*q + 18. Let d = q + -3. Suppose -23 - 44 = -5*k + 2*w, d*k = -3*w + 36. Does 11 divide k?
False
Let z(j) = -8*j**3 - 3*j**2 + j + 2. Let g be z(-2). Suppose 2*r + 0*r = g. Does 13 divide r?
True
Suppose 8 = -2*z, 6*z - 2*z = 2*x - 26. Suppose v - 4 = x. Does 6 divide v?
False
Let u(b) = 108*b + 8. Does 32 divide u(2)?
True
Suppose -5*n - 137 = 4*v - 401, -n + 44 = 3*v. Suppose n = 2*u - 0*u. Is u a multiple of 7?
True
Let v(h) = h**3 + h**2 - h + 34. Is 2 a factor of v(0)?
True
Let b(k) = -k**2 + 16*k + 34. Is b(15) a multiple of 7?
True
Suppose -i - 123 = -307. Is i a multiple of 18?
False
Suppose 3*z - 305 = -5*y, 2*y = 3*z + 86 + 57. Let a = y + -38. Does 13 divide a?
True
Suppose -2*z - 7 = -17. Suppose -4*i = -2*f + 56, z*f + 5*i - 66 = 14. Does 15 divide f?
False
Suppose 0 = -6*s + 8*s - 64. Does 8 divide s?
True
Let k be (-2 - -8)/(3/(-28)). Let p = -12 - k. Does 16 divide p?
False
Suppose -v = -3 - 5. Is 4 a factor of v?
True
Let u(f) = -84*f - 21. Is u(-2) a multiple of 37?
False
Suppose 7*o = 4*o + 6. Let z = o + -4. Is (10/(-15))/(z/12) a multiple of 2?
True
Let r(z) = z**3 - 5*z**2 - z - 4. Let f be r(6). Suppose 3*k + 32 = 4*p, 2*k + 0*p = -p - 14. Let b = f + k. Is b a multiple of 8?
False
Suppose 39 = -10*y + 11*y. Does 6 divide y?
False
Let l(i) = 2*i**2 - 5*i + 2. Let c be l(3). Is 11 a factor of (55/(-2))/c*-4?
True
Is 3/(-2) - (-175)/14 a multiple of 6?
False
Let y = -32 + 51. Is 19 a factor of y?
True
Let a(o) = -o**2 - o + 18. Is a(0) a multiple of 2?
True
Is 1/(-3) - (-596)/6 a multiple of 12?
False
Suppose 117 = 2*p - 171. Is p a multiple of 24?
True
Let i be ((-4)/3)/(14/(-21)). Let r(u) = 7 - 1 - i*u - 1. Does 13 divide r(-4)?
True
Let q be (-2 + 0)*4 + -2. Let o be (q/3 - -1)*3. Let j = o - -16. Is 5 a factor of j?
False
Let m(w) = w + 33. Is m(-11) a multiple of 2?
True
Suppose 2*f - f = 2. Suppose 4*a + f*x + 0*x - 10 = 0, 3*a - 4*x = 13. Suppose -2*n + a*c + c = -18, 2*n + 3*c - 4 = 0. Does 5 divide n?
True
Suppose -3*t + 3 = -0*t. Suppose -4*y + 3*v = 5 - 49, -33 = -3*y + 3*v. Let a = t + y. Is a a multiple of 6?
True
Suppose 10 = -x + 2*w, -4*x + 0*w = w - 5. Let j be (x + (2 - -4))/2. Does 10 divide (19/(-3))/(j/(-9))?
False
Suppose -3*b - 35 = -5*f - 103, -3*f = 12. Let r = 48 - b. Is 11 a factor of r?
False
Is 4 a factor of (-1 + -1)/(1/(-3))?
False
Let z(k) = -2*k**2 + 3*k. Let b be z(2). Let u be 43/9 - b/9. Suppose 0 = -5*d - u*g + 155, -4*d + 47 = -2*d + 5*g. Does 18 divide d?
True
Suppose -1 = -5*w - 3*f + 7, 5*w - 3*f = 2. Let p be (-2)/w - (1 - -6). Is (1 + 5)*(-6)/p a multiple of 4?
True
Suppose -5*a - 20 = -3*v, -5*v - 5*a = -50 - 10. Let z = v + 8. Does 5 divide z?
False
Let i be 38/12 - 1/6. Suppose -241 = -i*y - 58. Is y a multiple of 19?
False
Let t(r) = r - 2. Suppose -k + 6 = -4*v, -5*k = v + 4*v + 70. Let l be t(k). Let p = -4 - l. Is p a multiple of 5?
False
Let f(d) = 0 + 0*d**3 - d**2 + d**3 + 7. Let u be f(0). Is u + (-1)/(-1 + 0) a multiple of 5?
False
Let o(j) = -95*j**2 + j - 6. Let a(y) = y**2 + 1. Let z(t) = -6*a(t) - o(t). Let r be z(1). Suppose -g = -5*s + 78, 5*s + g + 3*g = r. Is 7 a factor of s?
False
Suppose 9 = -5*c + 214. Does 9 divide c?
False
Let b(w) = -2*w**2 + w - 5*w**2 + 4*w**2 + 30 + 4*w**2. Does 15 divide b(0)?
True
Let j(m) = 7*m**2 - m**3 + 2*m**3 + 0*m - 