111 + 4)*(-10)/(-25) a multiple of 23?
True
Let g = -2 - -2. Suppose g = -0*f - 2*f + 14. Does 3 divide f?
False
Suppose -2*b = -0*b - 144. Is b a multiple of 24?
True
Suppose -11 = -2*w + 25. Is w a multiple of 9?
True
Suppose 4*l = -0*l + 8. Suppose -2*m = -5*m + 3*q - 9, -2*m - l*q = 10. Does 10 divide (-29)/(-2) + 2/m?
False
Suppose 0 = -4*k + b + 10, 0 = k + 4*k - 4*b - 18. Let p = -79 + 147. Suppose -w - 3*s + 4 = 0, w - 5*s = -k*w + p. Is 8 a factor of w?
True
Let u(f) = 5*f + 5. Is 10 a factor of u(7)?
True
Let s = -21 - -41. Let w = -7 + 13. Let a = s + w. Does 13 divide a?
True
Let k(v) = -v**2 + 6*v - 4. Let n be k(4). Let z be (-45)/75 - (-2126)/10 - 4. Is 14 a factor of n/(-6) - z/(-6)?
False
Does 25 divide ((-4)/(-22) - (-3720)/(-132))*-13?
False
Let s = 6 - 6. Suppose -4*n - n + 3*m + 33 = s, -4*n = -2*m - 26. Suppose 3*l - 36 = n. Is 4 a factor of l?
False
Let x(l) = -l**3 - l**2 + l + 19. Let o be ((-8)/4)/(3/(-6)). Suppose 0 = o*t + u - 3, 5*u - 2*u = 5*t + 9. Is 12 a factor of x(t)?
False
Let g(k) = k**3 + k**2 + k + 8. Let u(i) = -i**3 - i**2. Let v(r) = 7*r**3 + 10*r**2 - r - 4. Let p(a) = -6*u(a) - v(a). Let n be p(-4). Is 4 a factor of g(n)?
True
Let h(o) = o**3 - 14*o**2 + 10*o - 17. Does 14 divide h(14)?
False
Suppose -6*m + m = -155. Is 4 a factor of m?
False
Suppose -187 = -5*l - 4*v + 107, -176 = -3*l - 2*v. Let r = l + -27. Let t = r + -22. Does 3 divide t?
True
Let j be 8/(-16) - (-30)/4. Let b = j + 21. Is 14 a factor of b?
True
Let w(j) = -j**2 + 7*j - 5. Let f be w(5). Suppose 0 = -f*v + 6 + 19. Is 5 a factor of v?
True
Let u = 0 + 4. Suppose 2*o = -3*o - u*d - 37, 0 = 5*o + 5*d + 40. Let j = 16 - o. Is 21 a factor of j?
True
Let v(i) = 2*i**2 + 22*i - 4. Let t(d) = -d**2 - 11*d + 2. Let f(q) = -5*t(q) - 3*v(q). Let b be 49/(-14)*2*1. Does 13 divide f(b)?
False
Let o(c) = -c**3 - 12*c**2 - 13*c - 7. Let y be o(-9). Let x = 188 + y. Does 17 divide x?
False
Let i(r) = 5*r**2 + 2*r + 1. Let p be i(2). Let f be 2/(0 + 2) + 26. Suppose 3*b + f = 3*j, 3*j - p = -b + 2*b. Is 8 a factor of j?
True
Suppose 3*x - 37 = 5*u + 83, 2*x - 79 = 3*u. Suppose -5*v = 25, -5*v = -0*n - 5*n + x. Suppose -n + 92 = 3*k. Is k a multiple of 15?
True
Let q = 3 - -1. Suppose i = -3*z - 24, -4*z + q*i = -0*i + 32. Let m(c) = -c**3 - 9*c**2 - 10*c. Is m(z) a multiple of 16?
True
Suppose 4*p = p + 18. Suppose -7*i = -4*i - p. Suppose 0 = -3*w - 0*w + 3*t + 12, 5*t + 5 = i*w. Is 3 a factor of w?
False
Suppose -5*p - 18 - 7 = 0. Let o(l) = l**2 + 6*l - 1. Let v be o(p). Is 2/v - 44/(-6) a multiple of 3?
False
Suppose 2*y - 3*z = -z, -3*y = 3*z - 12. Let r(j) = 4*j**3 - 3*j. Let c(p) = -20*p**3 + 16*p. Let a(i) = 2*c(i) + 11*r(i). Is 15 a factor of a(y)?
True
Let x = 2 - -1. Suppose -q + 9 = -3*m - 13, x*q = 4*m + 61. Does 6 divide q?
False
Suppose 83 = -4*q + 779. Does 58 divide q?
True
Suppose 50 - 12 = 2*p. Suppose -9 - p = -4*f. Suppose 2*k - 21 = -f. Does 3 divide k?
False
Let g(a) = a**2 - 13*a + 8. Does 4 divide g(13)?
True
Let q(f) = 6*f**2 + 5*f - 2. Let w(n) = -13*n**2 - 9*n + 4. Let r(a) = -7*q(a) - 4*w(a). Does 12 divide r(-2)?
True
Suppose -5*y = -320 - 215. Is 8 a factor of y?
False
Suppose 322 = 3*j + 4*f, 7*f - 20 = 2*f. Let m = -8 + j. Is m a multiple of 26?
False
Suppose 70 = -x + 6*x. Suppose -6*v = -8*v + x. Is v a multiple of 4?
False
Let v(j) = -3*j**2 + 8*j + 4. Let u be v(6). Let z = u - -116. Let a = z + -24. Is a a multiple of 18?
True
Let o(s) = s + 81. Let m be o(0). Let w = m - 48. Is 11 a factor of w?
True
Let k(h) = -h**2 - 9*h + 9. Let n be k(-7). Is 23 a factor of -2*1*n/(-2)?
True
Let w = 8 - 5. Suppose -w*d + 15 = -36. Is d a multiple of 17?
True
Let g(r) = 2*r**2 + 2*r - 1. Let k be g(-2). Let n(c) = c + k*c + 2 - c**2 - 3. Is 2 a factor of n(3)?
True
Let f(t) be the third derivative of -t**6/120 + t**5/10 - t**4/6 + 2*t**3/3 - 4*t**2. Let m be (-60)/(-14) + 4/(-14). Does 8 divide f(m)?
False
Suppose z + 3*q = 5*q + 20, -4*q = -3*z + 60. Does 10 divide z?
True
Is 6 a factor of -1*1*-18 + (3 - 3)?
True
Let c be 16/6*153/12. Is 12 a factor of (c/4)/((-2)/(-8))?
False
Let q = 27 + 66. Is q a multiple of 11?
False
Let a be (-1 + (4 - -1))*1. Suppose 2*y + y - 22 = 5*d, 2*y + 2*d = a. Suppose -y*g - 26 - 58 = -4*b, -5*b + 2*g = -105. Is 14 a factor of b?
False
Suppose -3*p + 8*p = 180. Let v be (-2)/(4*2/p). Is 12 a factor of (16/(-6))/(2/v)?
True
Suppose 2*w = 95 + 19. Is w a multiple of 19?
True
Let j be (0 + -2)/(21 + -19). Let b = 9 - j. Is 3 a factor of b?
False
Suppose -f = -3*f. Let v = 3 - f. Suppose -4*q - h + 0*h + 49 = 0, -5*h + 58 = v*q. Does 11 divide q?
True
Suppose -2*a + 3*b = -6*a - 8, 0 = -3*b - 12. Let i = 22 - a. Does 21 divide i?
True
Suppose -2*s + 4*s = -8. Is 26 a factor of s/26 + 9846/117?
False
Let n(d) = -d - 6. Let s be n(-5). Let c be s/(3/6) - -42. Suppose -b = -3*b + c. Is b a multiple of 20?
True
Suppose 95 = 3*l + 35. Is 2 a factor of 8/l + 56/10?
True
Let u(n) = -n**2 + 12*n + 3. Let i be (-45)/(-10)*4/3. Let v be u(i). Let r = v + 3. Is r a multiple of 21?
True
Is (126 - 15) + 1*-1 a multiple of 22?
True
Is (28/12 + -2)*39 a multiple of 7?
False
Suppose -3*o = -12*o + 216. Is o a multiple of 4?
True
Let p(o) = -o**3 - 3*o**2 - 5*o - 1. Suppose 0 = 2*f + 7 + 1. Let g be p(f). Suppose -4*x = x - g. Is x a multiple of 4?
False
Let s be 3/(3 - (-33)/(-12)). Is 2 a factor of (s/8 - 2)*-22?
False
Suppose 0 = g - 2*g + 295. Suppose -g = 5*d + 515. Is 11 a factor of 2/(-8) - d/8?
False
Let i = 24 + 2. Is i a multiple of 4?
False
Let i = -11 + 24. Suppose 16*c - 162 = i*c. Is 14 a factor of c?
False
Suppose -3*y = -2*d - 3*d - 54, 31 = 2*y - 5*d. Does 23 divide y?
True
Suppose 23 = x - 63. Let q = x - 18. Is q a multiple of 17?
True
Let v(x) = 9*x**2 + x - 11. Does 12 divide v(3)?
False
Let a = -12 - -17. Let f(j) = 4*j**3 + 2*j - a*j**3 - 4 + 6*j**2 - j. Does 2 divide f(6)?
True
Suppose -1 - 3 = -2*z. Suppose z*t - 9 = 27. Suppose -d + 2 = -t. Is d a multiple of 20?
True
Let p(r) = r + 5*r + 2*r + 2. Does 9 divide p(2)?
True
Is (42/(-10))/((-15)/225) a multiple of 21?
True
Suppose 4*k = 21 - 9. Let w(c) = -k*c + 4*c - 2 - 27*c**3 + c**2 + 3. Is 14 a factor of w(-1)?
True
Suppose c - k - 12 = -0*k, 0 = 3*c + 2*k - 16. Is 4 a factor of c?
True
Let n = -108 + 158. Is 10 a factor of n?
True
Let u(m) = m**2 + 2*m**2 + 4*m**3 + 1 - 5*m**2. Does 2 divide u(1)?
False
Let f(x) = 364*x - 10. Let r(g) = -243*g + 7. Let k(n) = -5*f(n) - 7*r(n). Let w be k(-1). Suppose -5*y + w = -5*b, -y - 5*b = y - 27. Is 14 a factor of y?
False
Let f = 173 - 134. Is f a multiple of 2?
False
Let f(q) = -q**2 + 5*q - 4. Let v be f(3). Let m be 3/v - (-786)/(-4). Does 15 divide (-4)/3*m/10?
False
Let d = 14 - -4. Is 9 a factor of d?
True
Let b(w) = 3*w**2 + 2*w + 4. Let l be b(6). Let x = 200 - 93. Suppose 2*u = -5*y + l, u - 2*u = -4*y + x. Does 13 divide y?
True
Let t(x) = -5*x - 8. Let y = 4 - 11. Does 9 divide t(y)?
True
Suppose 0 = 5*h + 4*s - 44, 3*h - s = 2*s + 48. Is h a multiple of 6?
True
Let m(v) = -2*v + 3*v - 2*v - v**2 + 2*v + 2 - v**3. Is 3 a factor of m(-2)?
False
Let t be (2/4)/(4/24). Suppose -t*l + 28 = -q, -28 = -2*l + q + 2*q. Does 3 divide l?
False
Is 10 a factor of (-52)/(-20)*(4 - -1)?
False
Let g = 37 + -10. Is g a multiple of 9?
True
Let n(u) = -7*u**2 - 13*u + 9. Let f(x) = -4*x**2 - 7*x + 5. Let b(z) = -5*f(z) + 3*n(z). Let h be b(-5). Is 2 + 72/h*-1 a multiple of 11?
False
Suppose 4*s = 4*m + 88, -s = 2*s + 2*m - 51. Is 5 a factor of s?
False
Suppose k = -k + 3*z + 9, 14 = 4*k - 2*z. Suppose 51 = -0*o + k*o. Is o a multiple of 13?
False
Let f = -87 + 164. Is f a multiple of 11?
True
Let n(c) = -c - 4. Let f be n(-7). Let b(u) = -u**2 + 0 + f*u + 3*u**2 - 1 - 4*u. Does 9 divide b(3)?
False
Let i be ((-112)/(-12))/(1/(-6)). Let v = 82 + i. Does 22 divide v?
False
Let v(c) = 3*c**2 + 7*c + 4. Let s be v(-4). Let d(k) = 5*k**2 - 3*k + 3. Let f be d(2). Let z = s - f. Does 6 divide z?
False
Let b be (-2)/8 + (-2)/(-8). Suppose -4 + b = r. Is 14 a factor of (-513)/(-18) - (-2)/r?
True
Let i be (3 - (-1)/(-2))*2. Let r(j) = j**2 - 3*j - 2. Let z be r(i). Let x(h) = h**3 - 7*h**2 - 6*h - 11. Is x(z) even?
False
Let j(k) = k**3 + 6*k**2 - 3*k - 6. Let d be ((-8)/(-3))/4*9. Let t(f) = f**2 - 