rue
Let w(s) = s**3 - 4*s**2 + 2. Does 2 divide w(4)?
True
Suppose 2*s + 2*f - 38 = 0, 0 = 2*s - 2*f - f - 13. Is s a multiple of 3?
False
Let i(d) = d - 2. Let g be i(13). Let r = g - -3. Is 3 a factor of r?
False
Let z = 298 + -162. Does 17 divide z?
True
Suppose 2*j - 21 = -i, 2*i = -0*j + j + 52. Is i a multiple of 14?
False
Let m = -3 + 23. Does 7 divide m?
False
Suppose 3*o - 198 - 246 = 0. Is o a multiple of 37?
True
Let j = -28 - -59. Is 7 a factor of j?
False
Let t = -125 - -321. Suppose 2*x - t - 6 = 0. Suppose 0 = -z + 1, 3*n + 2*z = -3*z + x. Is n a multiple of 14?
False
Suppose 53 = -2*v + v. Let g = -23 - v. Does 15 divide g?
True
Let a(o) = -6*o - 6. Is a(-6) a multiple of 10?
True
Suppose 2*x + 9 - 37 = 0. Does 13 divide x?
False
Let b(j) be the third derivative of j**4/24 + j**3 + 3*j**2. Let s be b(-6). Suppose -k + 28 = 4*y - s*k, -2*y + 16 = k. Is 6 a factor of y?
True
Let c be (-3)/(27/6)*-6. Suppose 3*w = -4*i - 8, 8 = -2*w + c*i - 24. Does 13 divide (-1)/(-2) + (-140)/w?
False
Let o be 58/(-6) + 2/(-6). Let y = o + 15. Suppose 0 = -0*w - y*w - 3*n + 77, -4*w - 2*n = -62. Does 16 divide w?
True
Is (-48)/20*(-5)/2*43 a multiple of 40?
False
Is (-736)/(-9) - 18/(-81) a multiple of 29?
False
Let g(x) = x**2 - 10*x - 9. Let a be g(11). Let h(c) = 2 + 2*c**2 - c - 3*c**a + 12 + 0*c**2. Does 7 divide h(0)?
True
Let s = 5 - -1. Is 6 a factor of s?
True
Suppose 1 = 3*l - 35. Let b = 0 + l. Does 8 divide b?
False
Let l(b) = b**3 + 4*b**2 + b. Suppose -4*n + 1 = 5*q, 5*q - 4*n + 50 - 19 = 0. Is l(q) a multiple of 6?
True
Suppose 0 = -3*a - 12, 0 = -u - u - 4*a + 110. Is 4/18 - (-364)/u even?
True
Let w(v) be the second derivative of -v**3 - 3*v**2/2 - 2*v. Let h be w(3). Does 10 divide -1 - -2 - (-2 + h)?
False
Let u(r) = -r**3 - 4*r**2 - r. Let g be u(-4). Suppose -4*c - 28 = g*y + 60, 4*c + 88 = -3*y. Let o = c - -38. Does 8 divide o?
True
Let x(g) = 7*g**3 + 10 - 10. Let a be (-3 - (0 + -3)) + 1. Does 6 divide x(a)?
False
Does 5 divide (-2 + -3 + 10)*4?
True
Suppose -2*g + 5*g - 102 = 0. Suppose -g = -l - l. Suppose -l + 5 = -3*p. Is p even?
True
Let r(v) = 18*v**3 + 2*v**2 - v. Is r(1) a multiple of 11?
False
Suppose o + 7*o - 472 = 0. Is 36 a factor of o?
False
Let g(r) be the third derivative of -r**6/120 + 7*r**5/60 + r**4/2 - 4*r**3/3 + r**2. Let t(f) = -f**3 + 2*f**2 + 4*f. Let i be t(2). Is 8 a factor of g(i)?
True
Is 9 a factor of ((-140)/(-15))/((-2)/(-9))?
False
Let y be (13 - 8)*(-8)/5. Let u be -7 - -4 - (y - 1). Suppose -8*z = -u*z - 58. Does 15 divide z?
False
Suppose 4*p = c + 2*p + 3, 0 = 2*p - 8. Suppose -c*b + 0*b = -10. Is 2/b - (-26 - 3) a multiple of 15?
True
Let p = -1 - 2. Let l be 2 + 3/((-9)/p). Suppose -93 = -0*f - l*f. Is 13 a factor of f?
False
Suppose -5*j = 14 + 26. Let p = j + 14. Is p/1 + -2 + 2 a multiple of 3?
True
Let y = -2 - -2. Suppose y*k = 5*k - 40. Suppose 0 = u - 2*u + k. Does 4 divide u?
True
Is 6805/35 - 9/21 a multiple of 32?
False
Let f = -4 - -4. Let t be 9/(9/24 + f). Let q = t - 10. Does 14 divide q?
True
Let d be 2 + (2 + 0)/(-2). Let c = 1 + -2. Let q = d - c. Is q a multiple of 2?
True
Suppose 2*j + 1 = -3. Does 2 divide 18*((-14)/(-6) + j)?
True
Suppose 0 = -0*c - 3*c + 12. Suppose a = c*a - 30. Does 6 divide a?
False
Let h(z) = z**3 + 3*z**2 - 2. Let x(r) = -3*r**2 + 2*r - 1. Let o be x(1). Let k be h(o). Suppose 3*j - 170 = -k*j. Does 12 divide j?
False
Suppose -24 = -5*l + 16. Is 20 a factor of l/12 - 58/(-3)?
True
Let f(q) = 4*q + 6*q - 3*q. Let j(o) = o - 1. Let r(h) = -2*f(h) + 6*j(h). Is 15 a factor of r(-6)?
False
Suppose 0 = -2*k + 322 + 110. Is k a multiple of 8?
True
Suppose -5*p - 2*v + 305 = 0, 4*p - 259 = 2*v + 3. Does 21 divide p?
True
Suppose 2*n = -0*n + 8. Suppose 2*l - 4*l + n*i = -72, 0 = -4*l + i + 130. Let g = -2 + l. Is 15 a factor of g?
True
Let q = 224 - 149. Is q a multiple of 28?
False
Let a(r) = 7*r. Let c be (-1)/(1*(-1)/(-2)). Let v be a(c). Let i = -10 - v. Is i a multiple of 4?
True
Suppose -2*b = 4*q - 104, 0 = 2*q - 0*b - b - 48. Is 25 a factor of q?
True
Suppose -5*x + 31 = 4*w, -x = 2*w + 2*x - 17. Let y(p) = 5 - 2*p - p**3 + 6*p**2 + 6*p - 2*p**2. Is y(w) a multiple of 10?
False
Let n be (-3)/3 - 0 - -6. Let k = n - -35. Suppose k = 5*i - 35. Is i a multiple of 15?
True
Let i(q) = -13*q**3 - 3*q**2 - 3*q - 2. Is i(-2) a multiple of 16?
True
Suppose 5*u = -5*q + 1100, -4*u + 3*q = -2*q - 862. Is u a multiple of 9?
False
Let g(r) = -r**3 + 8*r**2 - 9*r + 6. Is g(6) a multiple of 7?
False
Suppose 0 = 2*j - 7 - 3. Suppose -4*g + 8*o - 4*o = -412, -206 = -2*g + j*o. Does 24 divide g?
False
Suppose 0 = 4*l - 3 + 11. Let u be (l/5)/((-1)/70). Suppose i - 2*o - u = 0, 0 = -4*i - 0*o + o + 119. Is 15 a factor of i?
True
Let b = 10 + -6. Let q(a) = -b - a**3 + 5*a**2 - 5*a**2 - a**2. Is q(-3) a multiple of 14?
True
Let t(w) = w**2 + 7*w. Let g be (-4 - -1)*10/3. Does 10 divide t(g)?
True
Let q(w) = 17*w**3 - w. Suppose -3*b = -2*v - 1, 2*v - 4 = -2*b - 0. Is q(b) a multiple of 16?
True
Let j = -103 - -171. Let t = j - 44. Is 12 a factor of t?
True
Let t(p) = 11*p. Is t(3) a multiple of 15?
False
Suppose -3*m + 2*r = -3, 0 = -4*m + 5*r - r. Let a(j) = 10*j - 1. Is a(m) a multiple of 6?
False
Let c(f) be the third derivative of -f**6/30 - f**5/20 + f**3/3 - f**2. Is c(-2) a multiple of 7?
False
Let s = -25 - -14. Let j = -1 - s. Does 5 divide j?
True
Let o(s) = 22*s**2 - s - 1. Let t be o(-1). Suppose f - 3*f = t. Let v(u) = u**3 + 10*u**2 - 13*u - 12. Is 4 a factor of v(f)?
False
Let j(h) = -h - 4. Let m be j(6). Let u be (-28 - 2)*24/m. Suppose u = -2*n + 6*n. Does 18 divide n?
True
Suppose 0 = -5*f - h + 6, -4*f + 2*h = 5*h + 4. Suppose -f*y + 1 + 21 = 0. Does 5 divide y?
False
Let q = -5 - -11. Is 0 - (-2 - q)*4 a multiple of 16?
True
Let t = -6 - -43. Suppose 3*h = 4*s - 51, -3*s + 5 + t = -h. Does 4 divide s?
False
Let o(q) = q**3 - 5*q**2 - 2*q + 4. Let p(l) = -l**3 + 5*l**2 - l - 4. Let j be p(3). Let d = j - 5. Does 14 divide o(d)?
True
Let o = 29 - 20. Let l = o + 14. Is l a multiple of 11?
False
Let u = 8 + 83. Is 13 a factor of u?
True
Suppose -5*y + 11 = 71. Let r = 12 - y. Does 9 divide r?
False
Suppose 0 = 2*m - 7*m - 3*t + 3, 2*t - 7 = -5*m. Suppose -m = 2*r - 13. Let h(z) = z**2 - 2*z - 4. Is 11 a factor of h(r)?
True
Let b = 4 + -15. Let k = 5 - b. Suppose 0 = -3*r + 20 + k. Is 12 a factor of r?
True
Let c = 33 - 57. Suppose 23 - 68 = 5*s. Is 4 a factor of (-1 + 4)/(s/c)?
True
Let l be (0 + 10/4)*8. Suppose 0*a = 5*a - l. Suppose a*k = -k + 200. Does 20 divide k?
True
Let d(r) = 8*r + 6. Is d(7) a multiple of 62?
True
Let w(q) = 5*q - 11. Let h be w(6). Let z = h + -14. Is z a multiple of 4?
False
Suppose 11*v - 12*v = -13. Suppose -4*a + 57 = s, 4*s - 4*a - 135 = v. Is 12 a factor of s?
False
Is (-28 + 2)*10/(-20) a multiple of 4?
False
Does 5 divide -3 + 55 + 3 + 4?
False
Let n(f) = -f + 2. Let h be -4 - (0 - 1)*2. Let u be n(h). Suppose -4*r - 36 = -u*l, 5*l + r + 14 = 53. Does 4 divide l?
True
Let o = -3 - 5. Let d = -5 - o. Suppose -f - 38 = -d*f. Does 19 divide f?
True
Suppose 0*z + 2*z = 6. Let c be -3*z/(18/(-8)). Is 20 a factor of 5*c/(20/33)?
False
Let l = -1 + 3. Let h be 43 - (0 + l - 1). Suppose -5*k - h + 192 = 0. Is 15 a factor of k?
True
Suppose 7*i - 142 = 82. Is 32 a factor of i?
True
Suppose -5*r - 45 + 15 = 5*o, 0 = r + 4. Let i be 4/o + 0 + 0. Is ((-58)/4 - 0)*i a multiple of 13?
False
Let f = -25 - -59. Is f a multiple of 14?
False
Let v(h) = 2*h**2 - 17*h + 10. Is v(11) a multiple of 9?
False
Let w = 816 - 468. Suppose -3*d + 2*z - 186 = -5*d, 4*d - 4*z = w. Let f = 126 - d. Is 18 a factor of f?
True
Let z be (-2)/(1 - 15/9). Suppose -z*j = 5*n - 33, -5*n + 7 = 5*j - 18. Does 3 divide n?
True
Suppose 3*l - 90 = 108. Is l a multiple of 30?
False
Let l(t) = -t**2 + 3*t + 2. Let c be l(3). Suppose -4*z + 68 = c*g, 5*g + 25 = 2*z - 21. Does 11 divide z?
False
Is ((-1)/4)/(6/(-4296)) a multiple of 27?
False
Suppose -84 = -3*p - 4*k + 17, 5*k = -p + 52. Does 9 divide p?
True
Let r = 17 - 7. Let n be ((-64)/r)/((-2)/10). Let z = -2 + n. Does 10 divide z?
True
Let k = -57 + 84. Is 2 a factor of k?
False
Let h = 10 + -1. Suppose -4*a - 2*z = -14, 4*a + 0*a - 11 = -5*z. Suppose -16 = -4*o + q, h = 5*o - 5*q + a. Is o