4*f = 3*g + 26, -5*f + g = -0*g - 27. Let i(n) = n**2 - 5*n - 10. Let k be i(7). Suppose -k*x - f*s + 65 + 31 = 0, x = 3*s + 24. Is 12 a factor of x?
True
Is (27/18)/((-3)/(-10)) a multiple of 5?
True
Suppose 25 = -0*p + 5*p. Suppose -p = -3*h + 22. Let v = h - -15. Does 12 divide v?
True
Suppose -t + 0*t + 132 = 0. Is 22 a factor of t?
True
Let l(d) be the first derivative of -d**4/2 - d**3/3 - d + 5. Is l(-2) a multiple of 3?
False
Let s(x) = -x**3 + 2*x**2 - 1. Let o be s(-1). Suppose -4*t + o*t + 126 = 0. Does 21 divide t?
True
Suppose 0 = 2*b - 39 - 55. Does 9 divide b?
False
Let g = 27 - 29. Suppose -4*r + 72 = 12. Does 13 divide 24/g*(-25)/r?
False
Let s(c) = -c**2 + 5*c + 12. Let n be s(9). Is (n/(-9) - 3)*-45 a multiple of 9?
False
Let x = 1 + 2. Let t(c) = -c**3 + 4*c**2 - 3*c + 2. Let b be t(x). Suppose 0 = n - 1 - 0, -b*k = -4*n - 66. Is 13 a factor of k?
False
Let g be 1 - (-3 - 2*-1). Suppose 5 = -5*t, -7 = -u - g*t + 3. Is 8 a factor of u?
False
Let r(b) = -b**2 - 4*b + 3. Suppose -2*y + 4*y + 8 = 0. Let x be r(y). Does 3 divide x/15 - (-58)/10?
True
Let c be (3 - (2 + -2)) + 27. Let o = -6 + c. Does 5 divide o?
False
Is -1*6*15/(-6) a multiple of 14?
False
Let x be 3 - ((-6)/3)/2. Suppose 6*o + 9 = 3*o, -4*b + x*o = -20. Suppose -f = b*f - 57. Does 8 divide f?
False
Let l be 6/9 - (-1)/3. Suppose -5*p + 4 = -l. Is 12 a factor of (-1 - p)*37/(-2)?
False
Suppose 12*m + 731 - 2411 = 0. Does 14 divide m?
True
Let m = 820 + -385. Suppose 135 - m = -4*x. Is x a multiple of 25?
True
Let i(h) = 3*h**2 + 12*h + 13. Does 18 divide i(6)?
False
Let c(h) = -2*h**3 + 2*h**2 - h - 2. Let j be c(3). Let f = -6 - j. Is 11 a factor of f?
False
Suppose 5*m - 7*u = -5*u + 398, -5*m = u - 386. Does 13 divide m?
True
Let s be (-1264)/(-18) - (-4)/(-18). Let o = -6 + 16. Suppose -4*k - o + s = 0. Is 7 a factor of k?
False
Suppose -3*a = 4*p - 9 - 108, 2*a = -4*p + 82. Does 10 divide a?
False
Suppose -4*v = -0*v - 16. Suppose -24 = -8*b + v*b. Suppose 4*l + q = 31, -2*l = 5*q + b + 1. Is 6 a factor of l?
False
Let i(t) = 5*t - 30. Let h be i(7). Suppose 2*o + 8 = 2*b, 2*b + 0*o - 8 = o. Suppose -b*v + 37 = h*s - 53, 4*v - 4*s = 72. Is v a multiple of 10?
True
Suppose c = -5*q + 355, -42 = -4*q + c + 251. Is q a multiple of 18?
True
Suppose 4*k + 3*p = 11, 4*k + 2 = 4*p + 6. Suppose 3*y = -5*d + 37, -3*y = -k*d - 55 + 11. Is y a multiple of 7?
True
Suppose -115 = -4*j - j. Suppose n - c - j = c, 4*c - 4 = 0. Is n a multiple of 15?
False
Suppose -3*d = d + 16. Let b(i) = 2*i**2 + 4*i + 2. Is b(d) a multiple of 18?
True
Suppose 0 = 3*h - 9 + 3. Let s(f) = 2 + h*f**3 + 4*f - f**3 - 10*f**2 - 12. Does 11 divide s(10)?
False
Let y = -23 - -32. Is y a multiple of 9?
True
Let m = 5 - 14. Let v be 1 - 2/1 - m. Suppose -3*q = 4*k - 215, 3*q + 27 = k - v. Is k a multiple of 25?
True
Is 6 a factor of (0 - 2)*(0 + -24)?
True
Let s(w) = w**3 + 15*w**2 - 21*w + 7. Is s(-16) a multiple of 16?
False
Suppose -2*o + 168 = -5*x, 3*x + 82 = -4*o - 24. Let c = x + 82. Is c a multiple of 24?
True
Let c(s) be the second derivative of 2*s**3/3 + 5*s**2/2 + 2*s. Let f be c(-4). Let r = f + 21. Does 5 divide r?
True
Suppose -d - 57 = -4*d. Does 7 divide d?
False
Let l(x) = 3*x - 4 + 4. Does 15 divide l(5)?
True
Let r(n) = n**3 - 8*n**2 - 7*n + 1. Let g(z) = z**3 - 10*z**2 + 2*z - 11. Let o be g(10). Is r(o) a multiple of 14?
False
Suppose -2*i + 7 + 1 = -2*x, 2*x = -4. Let r be (1 - 1 - i) + 2. Does 7 divide (r + -3)/(-3) + 6?
True
Suppose 0 = 4*o + 3*f - 7 - 8, 3*o - 11 = -2*f. Suppose 0 = -5*r + o*h + 195, -4*r + 60 = 5*h - 59. Does 12 divide r?
True
Let b = -4 - -8. Suppose -53 = r + b*t - 2, -2*r - t - 74 = 0. Let d = -22 - r. Is 13 a factor of d?
True
Let s = -63 + 97. Is 17 a factor of s?
True
Suppose 0 = -4*v, -v - 695 = 5*h + 3*v. Let q = h + 81. Let p = -36 - q. Does 12 divide p?
False
Is (100 - 4)/(1/1) a multiple of 16?
True
Suppose 0 = 4*i + 4*o - 64, 4*o = 2*i + 4 - 18. Is i a multiple of 13?
True
Let s be -1*-27*(-2)/2. Let o = s - -39. Is o even?
True
Suppose 0 = -2*y - v + 250, 2*v - 542 - 81 = -5*y. Is y a multiple of 31?
False
Suppose -4*w = 5*i - 616, 0*i - 3*i - 648 = -4*w. Is 23 a factor of w?
False
Let t be (-3)/(0 - 9/24). Suppose 0 = x - 5 - t. Is 13 a factor of x?
True
Let h(f) = f**2 + 26*f - 21. Does 6 divide h(-27)?
True
Suppose -4*m + 6 = -2. Suppose -3*h + 78 = 3*r, -5*h = -m*r - 59 - 85. Does 14 divide h?
True
Let g(p) = -p**3 + 3*p**2 + 2*p - 1. Let t = -21 + 19. Does 4 divide g(t)?
False
Suppose 12 = -0*t + 5*t + m, 2*t + 3 = -3*m. Suppose 3 = j + l - t, -48 = -5*j + 4*l. Is 4 a factor of j?
True
Suppose t = -4*z + 43, -52 = -4*z + t - 5*t. Is z a multiple of 9?
False
Suppose 8*t + 32 = 3*t + 3*m, 17 = -2*t - 3*m. Let x(l) = -l**2 - 8*l + 7. Is 14 a factor of x(t)?
True
Let d(s) = -s**2 - 4*s - 3. Let m be d(-3). Let o be (0 + -3 + 2)*-1. Is 10 a factor of (11 - (o - m))*1?
True
Let r(z) = -z**3 - 9*z**2 + 14*z + 2. Is 10 a factor of r(-11)?
True
Is (-2 - (-86)/(-3))/((-58)/261) a multiple of 23?
True
Let y be (-2)/(-3) - (-1074)/9. Suppose 0 = 5*l - 2*l - 12. Suppose l*w - w = y. Does 20 divide w?
True
Suppose 0 = -2*g - 0 - 58. Suppose 3*s = -0*s - 57. Let x = s - g. Is 6 a factor of x?
False
Let h(g) = -7*g + 13. Let y(s) be the second derivative of 4*s**3/3 - 6*s**2 - 2*s. Let n(u) = 7*h(u) + 6*y(u). Does 9 divide n(0)?
False
Let g = 1 + 141. Suppose 2*x = 3*s - 96, s - 2*x + g = 5*s. Let f = 3 + s. Is f a multiple of 20?
False
Let k(w) be the third derivative of 7*w**5/10 + w**4/24 + 2*w**2. Is k(1) a multiple of 19?
False
Suppose -l - 3*q = -1, -2*l - 2*l + 2*q = 10. Let t = 2 + l. Does 8 divide 1 + t + 7*2?
False
Suppose 5*n = -2*x + 7*x + 395, -3*x = n - 59. Does 19 divide n?
False
Let o(b) = -223*b + 4. Is o(-1) a multiple of 43?
False
Let m be (1/2)/((-2)/(-28)). Let c = 21 - m. Is c a multiple of 3?
False
Let p = 4 + -2. Suppose -p*d + 26 = -4. Is 15 a factor of d?
True
Let w(i) = 5*i**2 + 4*i - 1. Let u be w(-5). Suppose -4*n + 20 = 0, -u = -2*c - 3*n - n. Does 21 divide c?
True
Let y = -105 + 179. Is 20 a factor of y?
False
Suppose -f + 6 = 2*f. Let y be f + 0 + (0 - -2). Suppose 25 = y*r - 3. Does 7 divide r?
True
Suppose 4*b + 40 = -4*i, b + b - 29 = 5*i. Let x = i - -15. Suppose 52 + x = 4*u. Is u a multiple of 15?
True
Let x be (-6)/(-21) + 52/14. Let c = -7 + x. Let q = 9 + c. Is q a multiple of 6?
True
Suppose -4*g + 80 = -9*g. Is 10 a factor of (-668)/g + 3/12?
False
Suppose 0 = -4*d - 3 + 131. Is d a multiple of 16?
True
Suppose -v - 10 = -5*v - z, -2*z = -2*v. Suppose -i = -v*i + 5*f, 4*f = 4*i - 32. Does 10 divide i?
True
Suppose 5*p + 725 = 5*c, 0 = -3*c - 0*c - 3*p + 429. Does 36 divide c?
True
Let m = 265 + -180. Is m a multiple of 35?
False
Let q = 1 - 5. Let u be ((-26)/(-4))/(q/32). Let y = -28 - u. Is 12 a factor of y?
True
Let s = 197 - 37. Is s a multiple of 17?
False
Let s = -66 - -125. Is s a multiple of 23?
False
Let r(o) be the third derivative of o**6/120 + 7*o**5/60 - o**4/12 - 4*o**3/3 + 3*o**2. Let t be r(-7). Suppose -40 = -t*p + 2*p. Does 10 divide p?
True
Let y = 10 - 8. Suppose 29 = -y*s + 3*s. Does 13 divide s?
False
Let k(x) = -x**2 + 15*x - 10. Is 17 a factor of k(11)?
True
Let l = -8 + 12. Suppose 79 + 65 = l*c. Let y = -22 + c. Is y a multiple of 7?
True
Let q = 4 + -4. Suppose q*y = 4*y - 92. Is 9 a factor of y?
False
Let y be 2 + (-3 - (0 + -3)). Suppose y*h - 2*o = 72, 0 = 3*h - 2*o + o - 114. Does 25 divide h?
False
Let b be 2*(-1 - 5/(-2)). Suppose b*m + t - 7 = 0, -m + 5*t = 3*t. Suppose 0 = -d - 2*z + 3, 2*d + 5*z + 1 - m = 0. Is d a multiple of 5?
False
Suppose -2*g + 168 = g. Suppose -2*n = -y - 5, -n + 7 = 4*y - 9. Suppose n*z = -0*z + g. Is 14 a factor of z?
True
Let v = -3 + 5. Let w be (3/v)/(-3)*0. Suppose w = 2*k + k - 39. Is k a multiple of 6?
False
Does 12 divide ((-3)/6)/((-2)/48)?
True
Let x be (-2)/(-6) + 28/6. Suppose x*f = 4*t + 33, 4*f = -0*f + 2*t + 24. Let y = f - 2. Does 3 divide y?
True
Let o be (-12)/6 + (-2 - -4). Suppose -i - 12 + 53 = o. Does 19 divide i?
False
Let y = 22 + -9. Is y a multiple of 3?
False
Let v = -17 + 26. Suppose 4*s - v*s + 130 = 0. Does 7 divide s?
False
Suppose 190 = -t - 4*t. Let d = -95 - -152. Let b = t + d. Is 6 a factor of b?
False
Supp