
False
Let a(u) = u**3 - 5*u**2 + u + 15. Is 15 a factor of a(7)?
True
Suppose -4*b + 9 = -z, -5*b = -2*z + 6 - 15. Suppose -4*l = -12, -g + 2*l = -b*g + 72. Is g a multiple of 11?
True
Let b be 540/70 - 4/(-14). Suppose 0 = -3*a + 2*a + b. Does 4 divide a?
True
Let f = -29 - -239. Is 30 a factor of f?
True
Let g(h) = -7*h + 2*h**2 + 2*h + h - 11 + 0*h**2. Let o be g(8). Let i = o - 40. Is i a multiple of 17?
False
Let z(b) = -b**2 - 22*b - 10. Is z(-15) a multiple of 19?
True
Suppose -3*f + h + h = -2, 4*f - 5*h = -2. Let a = f - -2. Suppose 0 = -9*j + a*j + 135. Does 10 divide j?
False
Suppose -24 = -5*u + u. Suppose -2*b = -4*b + u. Suppose -b*p + 15 + 12 = 0. Does 9 divide p?
True
Does 26 divide (30/4 + 0)/(9/156)?
True
Suppose -28 = -h + 5*h. Let j = 13 + h. Suppose 0 = -p + j + 4. Is 5 a factor of p?
True
Is (56/20)/(4/140) a multiple of 14?
True
Suppose 93 = 5*y - 7. Is y a multiple of 11?
False
Let q(h) = 3*h**2. Let s be q(1). Suppose -s*f = -4*n + 63, 3*f + 0 = n - 9. Suppose -3*w = -84 + n. Is w a multiple of 8?
False
Let t(k) be the third derivative of k**6/720 + 11*k**5/120 + k**4/12 - k**2. Let f(j) be the second derivative of t(j). Does 8 divide f(0)?
False
Let c = -63 - -132. Let u = -36 + c. Is 11 a factor of u?
True
Let o = 0 - 1. Let k(w) = -121*w. Let y be k(o). Suppose -4*j - a = -y - 43, -4*j + 152 = -2*a. Is 20 a factor of j?
True
Let v = -44 + 103. Suppose 26*g = 27*g - v. Does 9 divide g?
False
Suppose -p = -3*g - 8, 4*p - 2 = -2*g + 2. Suppose -p*l = z + 7, 2*l = 4*z + 7*l + 13. Suppose -2*m = z*m - 25. Is m even?
False
Let o(g) = g**3 + 7*g**2 + 3*g - 2. Does 8 divide o(-5)?
False
Let f = -1 + 6. Suppose f*o = -4*v + 94 + 70, -2*o + 80 = 2*v. Is v a multiple of 23?
False
Let d(z) = z**2 - 4. Is 14 a factor of d(-11)?
False
Let g(r) = 3*r - 9. Is 10 a factor of g(7)?
False
Let p be (-54)/12 + 6/4. Let x be -2 - (0 + 0 + 0). Is 6 a factor of (-4)/(x/(-1))*p?
True
Let y = -22 - -45. Let u = y - -5. Suppose -p + 6 = -u. Is 17 a factor of p?
True
Let w(o) = 6*o - 8. Let f(y) = 2*y - 3. Let d(j) = 7*f(j) - 2*w(j). Is d(5) a multiple of 5?
True
Let d(g) = 3*g**2 - 1. Let z be d(-1). Let j(q) = 1 - 4*q - q**3 - 2*q**2 + 7*q - 3*q**z. Does 8 divide j(-6)?
False
Suppose -f - 4 = 2. Let u(h) = -h**3 - 4*h**2 + 8*h - 2. Is 11 a factor of u(f)?
True
Suppose 4*z - 4*l + 5*l - 95 = 0, 3 = -3*l. Let h = z + -17. Is h a multiple of 7?
True
Suppose 2*l + 93 = 1. Let p = 81 + l. Does 9 divide p?
False
Suppose 7*m + 0*m - 392 = 0. Is m a multiple of 14?
True
Let r be (10*1)/(-5 + 4). Does 3 divide (-75)/r + 2/4?
False
Is ((-8)/6)/(1 - 665/651) a multiple of 25?
False
Is 13 a factor of 51 - 13 - -2*1?
False
Suppose 2*v + 2*v + 40 = 2*j, 0 = 3*j - v - 85. Suppose 2*m - 3*i - j - 48 = 0, 5*i + 20 = 0. Is 11 a factor of m?
True
Suppose -t + 8 = 3*t. Let o = 0 - t. Let r = 11 - o. Does 13 divide r?
True
Suppose -h - 4 = -2*h, 5*z + h - 124 = 0. Does 8 divide z?
True
Let w = 16 + 112. Is w a multiple of 16?
True
Let s(d) = 13*d - 5. Is s(5) a multiple of 4?
True
Suppose -15 = -0*p - 3*p. Suppose -h + 1 = -p. Is h a multiple of 3?
True
Suppose -2*a + 3*a - m + 4 = 0, -2*a = -3*m + 5. Let h(f) = -5*f - 2. Is h(a) a multiple of 10?
False
Suppose -5*j + 0*l = -4*l - 127, 0 = -j - l + 20. Suppose 3*i - 17 = d + j, 0 = -3*i - 2*d + 37. Does 7 divide i?
False
Let q(y) = 4*y**3 + 9*y - 3*y**3 - 2 + 11*y**2 + 2*y - 4*y. Does 14 divide q(-10)?
True
Let x(b) = -2*b**3 - b**2 + 5*b + 2. Let i be x(-3). Suppose -l + i + 6 = 0. Is 11 a factor of l?
False
Suppose -4*j = 3*v - 115 - 800, -4*v = 3*j - 1213. Is 43 a factor of v?
True
Let o(c) = -3*c**3 - 2*c**2 - 2*c - 1. Is 12 a factor of o(-2)?
False
Let m(a) = -4*a + 1 + a**2 - 3 + 8. Is 4 a factor of m(5)?
False
Let y = 2 + -3. Let i = y - -23. Suppose 4*x - 123 = -4*g - 11, -4*x = g - i. Is g a multiple of 15?
True
Let t = -85 + 58. Let j be (-141)/t + 6/(-27). Suppose -j*u + 7 = -13. Does 4 divide u?
True
Let r(a) = a + 5. Let b(n) = n - 10. Let o be b(10). Let j be r(o). Let u = j - 1. Is 4 a factor of u?
True
Let i be 1/(-1)*(-376)/4. Suppose -3*y = -5*y + i. Let t = -11 + y. Is 18 a factor of t?
True
Suppose -4*l + 5*l - 41 = 0. Is 3 a factor of l?
False
Does 40 divide 2 - -40 - (-3 + 5)?
True
Let n = -239 - -339. Suppose 0 = 2*q + 20 - n. Suppose q = -3*z + 148. Is 14 a factor of z?
False
Suppose v = -2*v + 30. Let p(w) = -w**2 + 10*w + 4. Let n be p(v). Suppose 4*i + n*u - 112 = 0, -i - 5*u + 2*u + 24 = 0. Is 16 a factor of i?
False
Let y(i) = -7*i + 4. Let m be y(5). Let j = m - -45. Is j a multiple of 7?
True
Is (-12)/3 + 2706/11 a multiple of 40?
False
Suppose 30 = 2*x - 2. Is 12 a factor of x?
False
Let h(u) = 2*u**3 + 2*u**2 + 5*u + 16. Let w(z) = -z**3 - z**2 - 3*z - 8. Let o(l) = 4*h(l) + 7*w(l). Let q be o(0). Let x = 21 + q. Is 13 a factor of x?
False
Let r = -15 - -19. Suppose 12 = -r*x + 36. Is 3 a factor of x?
True
Suppose -14*k = -15*k + 16. Suppose z - 48 = -k. Is z a multiple of 16?
True
Suppose -25 = 2*w + 1. Let y = w - -21. Does 3 divide y?
False
Let k(z) = -31*z + 2. Let l be k(3). Let h = 143 + l. Is 18 a factor of h?
False
Let q be 3 + (-3)/3 + -19. Let f = 37 + q. Is 20 a factor of f?
True
Suppose 0 = -v - 3 + 8. Let o = v + 27. Suppose t + 3*t = o. Is 3 a factor of t?
False
Suppose 0 = n + 2*v + 3, v + 1 = 2*n - 3. Suppose -g = 2*c + n, -2*g - 1 + 3 = 0. Is 40/(-25)*15/c a multiple of 17?
False
Suppose -5*b = -12 + 2. Suppose -4*k + 100 = 4*a, b*a - k - 55 = -2*k. Is 6 a factor of a?
True
Suppose -5*s + 180 = -3*q, 4*s - 3 = 3*s. Let h be q/3 - (-4)/12. Is (-438)/h + (-2)/6 a multiple of 12?
True
Suppose 0*g - 3*g + 231 = 0. Is g a multiple of 23?
False
Let b(i) = 15*i**3 + 2*i**2 - i. Is 8 a factor of b(1)?
True
Suppose 5*o = 3*a + 799, 0 = 3*o - 5*a - 44 - 429. Let f = o + -83. Does 13 divide f?
True
Suppose 8 = -3*s + q, -12 = 2*s + s - 3*q. Let c(d) = -6*d. Does 6 divide c(s)?
True
Let f(q) = 2*q**3 - 2*q**2 - 4*q + 3. Let t be f(3). Suppose 33 = 4*g - t. Does 10 divide g?
False
Let z = -101 - -183. Does 12 divide z?
False
Let c(b) = 5*b + 8. Let p = 14 - 10. Does 6 divide c(p)?
False
Let m be (-3 - (-2 - 1)) + -8. Let x = 13 - m. Does 7 divide (-190)/(-14) - (-9)/x?
True
Is (2/2)/(8/120) a multiple of 3?
True
Let k be (-24)/18*(-594)/(-4). Does 13 divide 4/(-14) + k/(-7)?
False
Suppose 408 = 6*f - 270. Does 19 divide f?
False
Let o(m) = m**3 + 6*m**2 - 5*m - 3. Does 9 divide o(-6)?
True
Suppose -13 + 5 = -2*g, 4*u + 4*g - 12 = 0. Let t = u - 1. Does 4 divide (-2)/(-1) - 16/t?
False
Let b be 2/6*(-24)/(-8). Let y(n) = 23*n**2 + 2*n - 1. Does 8 divide y(b)?
True
Let d(h) be the first derivative of 4/3*h**3 + 1/4*h**4 - 3 + 3*h + h**2. Is 4 a factor of d(-3)?
False
Suppose -a - 4*a = 0. Suppose 4*v + a*v = 8. Suppose -v*b = -35 - 17. Does 10 divide b?
False
Let i = -21 + 23. Suppose 0 = -i*t - 3*t + 10, -4*t - 22 = -h. Is h a multiple of 15?
True
Suppose 74 = 5*c - 2*s, 2*s + 4 = -3*c + 42. Does 6 divide c?
False
Suppose -3*f + 25 = 2*f. Suppose 0 = 3*v - 111 - 174. Suppose 4*h - 5*q - v = 0, f*h - 4*h - 45 = -3*q. Does 15 divide h?
True
Let q(s) = 7*s**3 + 13*s**2 + 12*s - 13. Let j(k) = -3*k**3 - 7*k**2 - 6*k + 7. Let m(t) = -5*j(t) - 2*q(t). Is m(-8) even?
False
Let z(h) = 2*h**2 + 11*h + 5. Is 14 a factor of z(-7)?
False
Let a(q) = -26*q**2 - 56*q - 20. Let t(m) = -5*m**2 - 11*m - 4. Let s(r) = 3*a(r) - 16*t(r). Suppose 25 = -3*j + 7. Is 13 a factor of s(j)?
False
Let x(s) = s + 7. Let k(p) = -4. Let t(u) = -5*k(u) - 3*x(u). Is 5 a factor of t(-2)?
True
Let s(w) = -w**3 - 2*w**2 + 4*w + 3. Let p be s(-3). Suppose 5*y - 2*x - 245 = -0*x, -4*x = p. Does 14 divide y?
False
Let y(o) = -o**3 + 2*o + 1. Let k be y(-2). Suppose -2*z - 2*s + 15 = k, 4*z - 5*s - 2 = 0. Suppose u = -z*u + 44. Is 10 a factor of u?
False
Let x = 10 - 9. Is -5 - -5 - (-20)/x a multiple of 7?
False
Let g(o) = -4*o**3 - 3*o**2 + 6*o - 2. Let w(s) = 7*s**3 + 7*s**2 - 13*s + 3. Let j(p) = 5*g(p) + 3*w(p). Does 21 divide j(-6)?
False
Let p be (0 + -8)*3/(-2). Let d = p + -8. Suppose 0 = d*k - 28 - 4. Is 5 a factor of k?
False
Suppose -w + 0*w + 20 = -4*j, 6 = -2*j. Is 5 a factor of w?
False
Suppose -12 - 4 = -2*t. Let j(n) = n**2 - 7*n + 20. Is 10 a factor of j(t)?
False
Let l(m) = 9*m + 32. Is l(6) 