uppose o = q - 5. Suppose 0 = n - 6 - q. Is 10 a factor of n?
True
Let h = 1 + 4. Suppose -25 = -10*k + h*k. Suppose k*v - 11 = 29. Is v a multiple of 8?
True
Suppose 11 = 3*k - 25. Is 2 a factor of (1 + -13)*(-3)/k?
False
Let v = 51 - -279. Does 66 divide v?
True
Let r(s) = 5*s + 28. Does 26 divide r(21)?
False
Let v(j) = -j**2 + 9*j - 6. Is v(7) a multiple of 4?
True
Suppose -v - 5*y - 3 = 0, 4*y - 9 = -25. Does 3 divide v?
False
Let i be -2*(-1 - 1)*1. Suppose -i*z + 3*g - 496 = -2*g, -4*z - 2*g = 496. Is 4 a factor of 2/(-6) - z/12?
False
Let v = 117 + -81. Does 6 divide v?
True
Let z(g) = -g**2 + 5*g - 2. Let p be z(3). Suppose -l + 9 + 0 = p*q, 4*q - 3*l - 5 = 0. Suppose 0 = q*r - u - 3*u - 24, 0 = 4*u + 4. Is 10 a factor of r?
True
Let i(t) = t**3 - 4*t**2 - 3*t - 2. Let c be -1 + 1/((-2)/14). Let g = 13 + c. Is 8 a factor of i(g)?
True
Let m(y) = y**3 + 9*y**2 - y - 6. Let o be m(-9). Suppose o*d - 49 = -2*s, 6 = 2*s + s. Is 15 a factor of d?
True
Let h(r) = -r**3 + 4*r**2 - 3. Let w be h(-3). Let d = w - 35. Does 12 divide d?
False
Suppose -3*a - 35 = 2*v, -v + 0*a + a = 25. Is 12 a factor of (-524)/v - 2/(-11)?
True
Let v = -57 - -85. Is 7 a factor of v?
True
Let c = 71 - 13. Is 6 a factor of c?
False
Let q(w) = 45*w - 1. Does 12 divide q(1)?
False
Suppose 3*t - 3*y + 5 = y, 0 = -2*t - 3*y + 25. Suppose 12 = t*p - 3. Is 3 a factor of p?
True
Suppose -h - 16 = -5*h. Let x = 9 - h. Suppose -x*k + 163 = -17. Is k a multiple of 10?
False
Let t be (0 - 5)*1/(-1). Suppose 4*v = 3*g - 5, t*v - 3*v - 8 = 0. Is (2 + g)/(3/4) a multiple of 12?
True
Let r(y) = 2*y**2 + 37*y - 12. Is 2 a factor of r(-19)?
False
Let v = 176 - 92. Does 14 divide v?
True
Let h(v) = -19*v - 8. Is 17 a factor of h(-4)?
True
Let y(j) = -7*j - 16. Is 26 a factor of y(-6)?
True
Let b(u) = u**2 - 6*u - 4. Suppose -5*g = -4*g - 11. Does 17 divide b(g)?
True
Let g(h) = -h**3 + 6*h**2 + 7*h - 4. Let o be g(7). Let k = o + -11. Let f = k + 23. Is f a multiple of 5?
False
Let n(o) = o**3 + o**2 - o + 4. Let i be n(0). Does 10 divide (-70)/i*12/(-7)?
True
Let y = 129 + -125. Does 4 divide y?
True
Let v(t) = 13 - t**2 + 5 - 4. Is v(0) a multiple of 4?
False
Let n(r) = r**3 + 6*r**2 - 7*r + 4. Let y be n(-7). Suppose 2*l + 3*d + 61 = y*l, 148 = 5*l - 3*d. Does 16 divide l?
False
Suppose 2*f + 2*f = 16. Suppose f*q = -q - 55. Does 6 divide 2/(-2) - (q - 1)?
False
Let k(s) = s**3 + 6*s**2 - 5*s - 5. Let d be k(-6). Suppose 2*t - 2*u + 4 = 0, 0 = -t + 4*u + 8 - d. Suppose -7 = t*f - 34. Is f a multiple of 5?
False
Suppose p - 10 = -0. Does 10 divide p?
True
Let d(a) = 5*a - 7. Is 15 a factor of d(13)?
False
Suppose -2*u + 6 = -0*u. Suppose 0 = -3*n - 2*n. Suppose -u*d - d + 136 = n. Does 11 divide d?
False
Let b(t) = t**2 + 8*t + 10. Let u be b(-7). Is 2/(u - 219/75) a multiple of 11?
False
Let j(n) = -n**3 - n**2 - n + 2. Suppose 5*w + 28 = -4*o - 0*w, 0 = 2*w + 8. Does 8 divide j(o)?
True
Let w be 5*(-2 + 52/20). Suppose -w*g = -r + 39, 4*r - g = g + 136. Is r a multiple of 9?
False
Let y = -12 + 7. Let q(a) = 2*a**2 - 6*a - 1. Let c be q(5). Let v = c + y. Is 7 a factor of v?
True
Let c be 2 + (2 + 1 - 1). Is (2/c)/(1/22) a multiple of 8?
False
Suppose 5 = -3*m - 3*j - j, -m = -3*j - 20. Suppose -d + 130 = 3*b, -3*d = m*b + 2*d - 210. Suppose -p = 5*y - 0*y - 71, 4*y - b = -4*p. Is 7 a factor of y?
False
Let y(g) = 6*g**2 - 6*g - 11. Does 11 divide y(5)?
False
Let v = 11 + -8. Suppose v*k = 0, -21 = -4*w + 3*k + 27. Is w a multiple of 12?
True
Suppose -2*l = 3*l - 195. Suppose 0 = 3*d - l + 9. Does 9 divide d?
False
Let q(z) = -2*z - 14. Is q(-16) a multiple of 3?
True
Is 686/10 + (-4)/(-10) a multiple of 23?
True
Let x = 15 - 3. Let o = x + -6. Is o a multiple of 3?
True
Let w(q) be the second derivative of -q**3/6 - 2*q**2 - 2*q. Let h be w(-7). Let a = h - -10. Is 13 a factor of a?
True
Let i be -1 - 1 - (-24)/4. Let m = i + -1. Is 9 a factor of (-46)/2*(-3)/m?
False
Let x = 3 - -6. Let h = 19 - x. Is 5 a factor of h?
True
Let a = -8 + 13. Suppose -67 = -4*r - 5*u + 8, 95 = 5*r + a*u. Does 20 divide r?
True
Suppose 2*y = -2*y + 8. Suppose 5*h = -0*l + l + 20, -y*h - l + 1 = 0. Suppose 3*v - h*o - 75 = -0*o, -3*v - 2*o = -65. Is v a multiple of 23?
True
Let s be -10 + -1 + 4 - -3. Let x(b) = -8*b - 8. Is x(s) a multiple of 8?
True
Suppose 0 = -0*b + 2*b - 10. Suppose c = 2*d + 1, -c + b*d + 6 = 20. Is 11 a factor of c?
True
Let c = -33 - -50. Does 4 divide c?
False
Suppose 19*a = 2*m + 23*a - 66, -5*a = 5. Is m a multiple of 12?
False
Suppose 4*b = -4, 5*b + 2 = -j + 1. Let v = -1 + j. Suppose 7*a - 52 = v*a. Is 11 a factor of a?
False
Let b(y) = -9*y**3 + 3*y**2 + 6*y. Let a(v) = -5*v**3 + 2*v**2 + 3*v. Let p(x) = -7*a(x) + 4*b(x). Is p(-5) a multiple of 18?
False
Suppose 0 = -4*v - 0*v. Suppose 5 = t - v*t. Suppose -3*f + t*h = -59, -5*h = -f - 3*h + 20. Is 9 a factor of f?
True
Let z be (114/15 + -2)*5. Suppose -5*i = 3 - z. Is i a multiple of 5?
True
Let v be (-588)/(-10) - (-2)/10. Suppose -3*k = -v - 64. Is k a multiple of 19?
False
Let s = 6 + -4. Let j be -10*(s + (-14)/4). Suppose -4*n = -3*o + 11 + 13, -j = -5*n. Is o a multiple of 6?
True
Suppose -b + 2*d = -3*b + 14, -5*d = -3*b + 61. Is 11 a factor of b?
False
Suppose 842 = -9*l + 2606. Does 18 divide l?
False
Let x = 10 - 8. Suppose 5*o - x*o = 72. Is ((-2)/6)/((-2)/o) even?
True
Suppose -2*b - n = -12, -2*b + 3*n = -n - 22. Suppose 0 = -5*w + 4*r + 111, -5*w + 2*r + 75 = b*r. Does 10 divide w?
False
Let l(m) = 4*m**2 + 9*m - 9. Is l(5) a multiple of 8?
True
Let t(g) be the second derivative of -g - 1/12*g**4 + 5/2*g**2 + 0 - g**3. Does 5 divide t(-4)?
False
Suppose -3*t + 210 = 3*t. Does 19 divide t?
False
Suppose 5*l = 2*m + 10, 5*l - 4*m = 3*l - 12. Does 3 divide l?
False
Suppose 0*t = 4*s + 4*t + 228, 3*s + 4*t = -175. Suppose m + 4*m - 405 = 0. Let r = m + s. Is r a multiple of 14?
True
Let k(f) = -f**2 - f + 29. Is 6 a factor of k(0)?
False
Suppose 4*s + 1 + 7 = 0. Let j be 11*2 + (s - -2). Suppose 2*w - 8 = j. Does 15 divide w?
True
Let z(y) = -3*y**3 + 5*y**2 - y - 6. Let w(q) = 3*q**3 - 4*q**2 + 5. Let a(i) = 4*w(i) + 3*z(i). Does 9 divide a(2)?
False
Let h(z) = -z**3 - 9*z**2 - 12*z - 6. Let b = -1 - 7. Is 13 a factor of h(b)?
True
Let d(f) = 11*f**2 + 2*f + 1. Let g be d(-1). Suppose -i = 3*i - 68. Let s = i + g. Is s a multiple of 18?
False
Let g(j) = -j**3 - 2*j**2 + 4*j + 2. Let s be (-10)/(-15) - 14/(-6). Suppose -n - 2*p = -6*n - 16, s*n = -3*p - 18. Is 9 a factor of g(n)?
True
Let q(v) = -v**3 + 8*v**2 - 8*v + 9. Let b be q(7). Is ((-6)/b - -16) + -4 a multiple of 3?
True
Let l(k) = -k**2 - 10*k - 8. Let h(a) = -2*a + 1. Let t be h(5). Let b be l(t). Let q(r) = 18*r**3 - r**2 + 2*r - 1. Does 9 divide q(b)?
True
Let p = -8 - -108. Is 10 a factor of (24/15)/(8/p)?
True
Let p = 54 - 6. Is p a multiple of 8?
True
Is (-1 - -1) + 0 + 26 a multiple of 13?
True
Suppose -10 = 2*h, -2*t - 2*t - 5*h + 143 = 0. Is t a multiple of 3?
True
Suppose -3*x + r = 5, -5*x + 4*r + 1 = 14. Let b = 6 + x. Suppose 3*v - 38 = -i, -b*i - 2*v + 120 = -v. Is 14 a factor of i?
False
Suppose 2*v = 4*p - 322, 4 = -4*v - 0. Does 20 divide p?
True
Suppose -5*p + 5*n = -10, -5*n = -4*p + 4 + 1. Let w(r) = -r**2 - 5*r + r - p + 2*r - 8*r. Is 16 a factor of w(-7)?
True
Let t be (-2)/(-4) + 11/(-2). Let k = 8 + t. Suppose -4*h - k*b = -32, -4*h - 3*b = -h - 27. Is 4 a factor of h?
False
Suppose 3*f - 5*b = -b - 8, -4*f + 5*b = 9. Suppose 0*g + 8 = f*g. Does 16 divide -2 + g + -1 - -33?
True
Let m(y) = -y**3 + 57. Suppose 2*w - 2*g = -4, 0 = 2*g + 2*g - 8. Let f be m(w). Suppose f = 3*r + 15. Does 11 divide r?
False
Suppose t - 10 = 2*z, -4*t - t = z + 5. Let q be 32/14 + (-4)/14. Suppose t = -q*j + 6*j - 92. Is j a multiple of 13?
False
Suppose 3*g = -21 + 117. Let l = -11 + g. Does 21 divide l?
True
Suppose -s - 2*s + 216 = 0. Does 36 divide s?
True
Let c = 7 + -5. Suppose -2*y + 2*b = 0, -2*y + c*b - 6 = -3*b. Suppose 0 = -y*w - 6, -5 = -3*v - 5*w + 4. Does 4 divide v?
True
Suppose 9*g - 6*g = 264. Is g a multiple of 9?
False
Let x(w) = 2*w**2 - w - 2. Let j be x(2). Suppose -j*k = k. Suppose k = 2*r - 44 - 50. Is 17 a factor of r?
False
Suppose 5*f + 0*f = 210. Does 8 divide f?
False
Suppose 2*b = 10*b - 1088. Is 17 a factor