
True
Is 6 a factor of (4/7)/((-44)/(-13706))?
False
Let i = 11 - 7. Suppose 50 = m + i*m. Does 10 divide m?
True
Let o = -97 - -153. Does 18 divide o?
False
Suppose -c - 3*b = 3*c - 154, -c + 44 = -2*b. Suppose 3*s = 2*s + c. Suppose 5*i - s = 50. Is 9 a factor of i?
True
Suppose -14 = 2*d - 70. Suppose -3*t - 473 = -4*v, v + 5*t = d + 119. Let f = -72 + v. Does 17 divide f?
False
Suppose -3*f - 72 = -450. Is 7 a factor of f?
True
Suppose c - 96 = 3*z, 5*c + 2*z + 0*z = 412. Suppose -f - q + 98 = 3*q, 3*q + c = f. Suppose -4*u = -2*v + f, 3*u + 58 = 5*v - 146. Is 14 a factor of v?
False
Let s(v) = 2*v**3 - v**3 + 8 + 0*v**3 + 8*v**2 + 8*v. Does 19 divide s(-6)?
False
Suppose -3*x + m + 94 + 54 = 0, -8 = -4*m. Is x a multiple of 7?
False
Suppose v - f = 63, 5*f + 195 = -5*v + 8*v. Suppose u - 3*n = -2*n + 52, -3*n = u - v. Suppose -2*r + u = r. Does 9 divide r?
True
Suppose -l + 13 + 11 = 0. Suppose 72 = 2*s - l. Is s a multiple of 24?
True
Let d be (-9 + 4)*3/5. Let g be d/2*(-4)/(-3). Is (3/(-6))/(g/8) a multiple of 2?
True
Let l = 30 + -44. Let a = 40 + l. Suppose 0*m = 2*m - a. Does 13 divide m?
True
Suppose -9 = 3*l - 159. Does 14 divide l?
False
Suppose -16*p = -9*p - 252. Does 12 divide p?
True
Suppose h = 3*g - 15 - 6, -2*g = -10. Is (-3 + (-9)/h)*-12 a multiple of 7?
False
Suppose -o = -2*o - 5*a + 24, 0 = -o - 4*a + 19. Let z = o - -5. Suppose -56 = -z*w + 2*w - g, -w + 35 = -3*g. Is w a multiple of 10?
False
Let v(c) = -c - 13. Let r be v(-9). Let k be (-3)/(-9) - r/(-3). Let o(p) = -5*p. Is o(k) a multiple of 5?
True
Let y(q) = -q**2 - 12*q - 3. Is y(-5) a multiple of 11?
False
Let p be 9/2 + (-2)/(-4). Suppose -5 = 3*u - p*v - 0*v, 0 = -u - 4*v + 4. Suppose 2*s = -u*s - h + 41, s + 4*h - 31 = 0. Is s a multiple of 19?
True
Suppose 3*u - h - 128 = 0, -5*u = -2*h + h - 216. Is 36 a factor of u?
False
Let k(s) = 3*s + 2. Let z be k(-3). Let q = 17 + z. Is 5 a factor of q?
True
Let d = 140 + 4. Is 26 a factor of d?
False
Suppose 5*c = -7 - 3. Let i = 12 - c. Is 14 a factor of i?
True
Is (-2 - -3)*2 - (-637)/13 a multiple of 17?
True
Let s be 2/(-3) + 4/6. Suppose s*r - 2 = r. Is 6 a factor of 15 + 3/(-1 - r)?
True
Suppose 8 = -2*t - 2*t. Let a = 0 - t. Suppose a*u + q - 32 = -3*q, 0 = -2*u - 5*q + 29. Does 11 divide u?
True
Does 8 divide (-2)/(60/18) + (-849)/(-15)?
True
Let t = -14 - -17. Suppose -t = c, -5*c - 65 = -2*d - 0*c. Does 15 divide d?
False
Let t(w) be the second derivative of w**4/12 + w**3/2 + 2*w**2 - 14*w. Let k = -7 + 4. Does 4 divide t(k)?
True
Let x(o) = 16*o**2 - o + 2. Does 17 divide x(-2)?
True
Suppose -10*r - 8 = -11*r. Is ((-60)/r)/((-2)/4) a multiple of 6?
False
Suppose -5*s + 18 = -2*s. Let k = 1 + s. Is k a multiple of 7?
True
Suppose -3*i + 33 = -75. Is i a multiple of 20?
False
Suppose -3*n = -4*n - 2*q + 12, 5*n = 5*q. Suppose 0*l + n*l = 0. Suppose l = -2*x - x + 15. Is x a multiple of 5?
True
Let r(y) = 3*y - 6. Suppose -10*p = -15*p + 45. Is 5 a factor of r(p)?
False
Let c(t) = -t**2 - 10*t - 12. Let j(r) = -r**3 + 7*r**2 - 9*r + 12. Let w be j(6). Is 3 a factor of c(w)?
True
Let n(p) = -p**2 + 11*p - 14. Suppose o = -4 - 2. Let h(q) = -q**2 + 12*q - 15. Let b(f) = o*n(f) + 5*h(f). Is b(7) a multiple of 8?
True
Let t(o) = -3*o**3 - 2*o - 1. Let y be t(-1). Let b be (y - 1)/(6/12). Let s(z) = -z**3 + 7*z**2 - 2*z + 8. Does 11 divide s(b)?
False
Let b be ((-8 - -2) + 1)*5. Is 10 a factor of 6/15*b/(-1)?
True
Let i = -3 + 6. Suppose 2*b = i*x + 357, 0 = 5*b + 4*x - 665 - 239. Suppose -4*o = -9*o + b. Does 18 divide o?
True
Let t(n) = -3*n + 6*n + n**3 - 7 + 0*n**3 - 6*n**2. Let k be t(6). Let s = k + 9. Does 10 divide s?
True
Let q(c) = c**2 + 2*c + 5. Let y be q(-2). Let u(r) = r**3 - 4*r**2 - 6*r - 8. Let o be u(6). Suppose 3 + 21 = y*j - d, -o = -3*j + 4*d. Is 2 a factor of j?
True
Let m(y) = 182*y**2 - 3*y - 8. Let v(t) = 61*t**2 - t - 3. Let o(h) = 4*m(h) - 11*v(h). Does 19 divide o(1)?
True
Let z(t) = 2*t - 2. Let i be z(2). Let v be -4*i*(-56)/(-32). Is (-332)/v - 2/(-7) a multiple of 7?
False
Is 12 a factor of (-3)/(-6)*126 - -1?
False
Let w be (-6)/21 + (-1072)/(-28). Suppose 0 = 2*z - 4*z + w. Is z a multiple of 6?
False
Suppose -4*i + 1280 = 5*y, 5*y = i - 0*i + 1305. Is y a multiple of 26?
True
Suppose 0 = -v + 2, -2*z - 4*v + 29 = z. Suppose 2*j + 38 = 3*b, -3*j = -3*b + z*b - 79. Is 12 a factor of b?
False
Suppose -17*y = -21*y + 192. Is 12 a factor of y?
True
Suppose -5*p + 9*p + 2*k - 316 = 0, -k = -3*p + 227. Is 21 a factor of p?
False
Let d(t) be the third derivative of 13*t**4/24 + t**3/3 - 2*t**2. Let n be d(6). Suppose 4*y - n = -0*y. Is 10 a factor of y?
True
Let g(l) = l - 4. Suppose -5*x + 5*c + 30 = -0*x, 4*x + 4*c = 24. Let i be g(x). Is 19 a factor of 57*((-10)/6 + i)?
True
Let c(z) = -3*z - 7. Let a be c(-5). Let u = a - 12. Is ((-39)/u)/(12/32) a multiple of 11?
False
Let s(w) = -8*w + 3. Let j be s(-5). Let i = j + -21. Suppose y - u - i = -4, -y - 12 = 5*u. Is y a multiple of 13?
True
Suppose 0 = -s + f + 5 - 1, 0 = 4*f + 16. Suppose s = 5*c - 5*n + 85, 5*n = 3*c + 4*n + 49. Does 13 divide (-2)/2 + (-2 - c)?
True
Let g = 84 - 33. Suppose 4*y - g = 81. Is 11 a factor of y?
True
Suppose 132 = m + 36. Suppose -4*b - m = -4*y, 46 = 5*y - b - 58. Does 10 divide y?
True
Does 22 divide (-2799)/(-33) - (-14)/77?
False
Let s = 12 - 8. Suppose 20 = j + s*j, -139 = -5*h + 4*j. Is 13 a factor of h?
False
Suppose 2*w + 0 + 2 = z, -w + 17 = -5*z. Is 11 a factor of 21/2 - 2/z?
True
Let w(b) = 15*b**2 + b. Let h(z) be the first derivative of 10*z**3 + z**2 + 3. Let i(r) = -2*h(r) + 5*w(r). Does 5 divide i(-1)?
False
Suppose 0*g = -4*y + 3*g + 7, -y + 3*g = -13. Does 5 divide 14 - (0 - y)/2?
False
Suppose 4*o - j - 23 = -0*j, 3*o - 16 = j. Suppose -25 - o = -2*d. Is d a multiple of 3?
False
Let v be (-230)/((-4)/(-4) + -3). Let i = v - 63. Is 14 a factor of i?
False
Let p = 17 + -14. Suppose -p*a + 0*f - f = -54, 3*a = f + 60. Is a a multiple of 6?
False
Suppose 0 = -10*m + 13*m. Let d = m - -52. Does 14 divide d?
False
Let w = 234 - 109. Does 25 divide w?
True
Let g(k) = -3*k**2 + 24*k + 2. Let r be g(8). Let b be 2/3 - 71/3. Is 10 a factor of r - (2 + 2 + b)?
False
Let h be (-18)/(-2)*(-8)/6. Is 9 a factor of 146/8 - (-3)/h?
True
Let u(w) = w**2 + 5*w + 5. Is u(-7) a multiple of 4?
False
Suppose 0*z + 363 = 3*z + 3*f, -328 = -3*z + 4*f. Is z a multiple of 29?
True
Let g(f) = -3*f + 1. Is 8 a factor of g(-5)?
True
Suppose 2*u + 2*y - 3*y - 59 = 0, 4*y - 115 = -5*u. Does 4 divide u?
False
Suppose -4*r - 1 + 3 = -3*b, -2*b - 6 = 2*r. Is 6 a factor of (-36)/3*-1 - b?
False
Let u = -16 - -38. Suppose 2*k - 6 = u. Is k a multiple of 7?
True
Suppose 24 = 2*l + 3*d, 40 = 2*l - 13*d + 8*d. Does 5 divide l?
True
Does 18 divide (1 + 339/(-15))*(-5)/1?
True
Let u(i) = -2*i - 12. Let q be u(-8). Let v = 5 - q. Suppose 2*k - 39 = -5*g + 23, -k + v = 0. Is 6 a factor of g?
True
Let u = -92 + 137. Is 13 a factor of u?
False
Let i(o) = -21*o + 1. Suppose n = g + 4*n - 16, -2*g + n - 3 = 0. Let h = g - 3. Is 16 a factor of i(h)?
False
Let m be -2*(-3)/((-24)/(-20)). Suppose -m*b + 4*r = r - 272, -2*r = -2*b + 112. Is 13 a factor of b?
True
Let y = -4 + 5. Let k be (0 - -3) + -19*y. Let w = k - -28. Is w a multiple of 12?
True
Let b(u) = -2*u**3 - 5*u**2 - 3*u + 2. Let r(x) = -3*x**3 - 5*x**2 - 4*x + 2. Let v(o) = -4*b(o) + 3*r(o). Is 8 a factor of v(2)?
False
Let y = -1 - -2. Is 14 a factor of (37/(-3))/(y/(-3))?
False
Suppose -8*g + 9*g - 85 = 0. Does 5 divide g?
True
Let t(h) = -h**2 - 11*h + 7. Is 7 a factor of t(-4)?
True
Let n(i) = -10*i + 14. Let s be n(-10). Let c = -62 + s. Does 13 divide c?
True
Suppose 20 = 5*o + 5. Suppose o*s = 2 + 4. Suppose 0 = 5*b + 4*d - 125, s*b - 3*d + 78 = 5*b. Does 10 divide b?
False
Let o be (2/6)/((-1)/(-12)). Let v(x) = -x - 5. Let w be v(-8). Suppose 0 = 3*d + 3*n - 27, 0 = o*n - w*n - 1. Does 8 divide d?
True
Let s(g) be the third derivative of g**8/10080 + g**7/2520 + g**6/120 - g**5/20 - 2*g**2. Let c(n) be the third derivative of s(n). Is 13 a factor of c(-5)?
False
Let u(d) = -d + 15. Does 8 divide u(-9)?
True
Suppose -w = 2*w - 33. Suppose w = 3*r - 31. Does 14 divide r?
True
Let p(k) = -7*k - 4. Is p(-10) a multiple of 14?
False
Let w(p) = -p + 59. Let j 