se
Let l(v) = -v**3 - 11*v**2 - 30*v - 26. Is 22 a factor of l(-8)?
True
Let x(s) = 4*s**2 - 2*s. Let v be x(-6). Suppose 4*k - v = 5*q, k + 0*q - 5*q = 54. Does 22 divide k?
False
Let v(i) = 3*i + 5. Let l be v(5). Suppose 0 = -3*j + 13 + l. Is 6 a factor of j?
False
Suppose 6*g = 2*g - 2*n + 414, -5*n = 3*g - 300. Is g a multiple of 21?
True
Let z(v) = v - 1. Let o(d) = d + 1. Let y(b) = 5*b - 2. Let k(n) = -2*o(n) + y(n). Let r(j) = 2*k(j) - 7*z(j). Is r(-7) a multiple of 5?
False
Let o(n) = n**2 + n. Let d be o(1). Suppose 48 = -0*p + d*p. Is p a multiple of 6?
True
Suppose 0 = -0*q - q. Suppose q = 3*l - 42 - 0. Is 14 a factor of l?
True
Let p(r) = -r**2 - 3 + 4*r + 2 + 3. Let n be p(4). Suppose n*a = -2*z + 30, -4*z + a = 2*a - 60. Is z a multiple of 8?
False
Let m(r) = -r**2 - 3*r - 2. Let g be m(-4). Is (2 - g*2) + 2 a multiple of 8?
True
Suppose -x - 6 = 2*x. Let k be 7 - 2 - (2 + x). Suppose -276 = -4*y - 4*j, k*y - 2*j - 3*j = 295. Is 24 a factor of y?
False
Suppose 6*u + 131 - 905 = 0. Is 19 a factor of u?
False
Let o = 38 - 77. Does 13 divide o*(-4)/18*3?
True
Suppose 0 = 4*z - o - 4*o + 19, -5*z - 35 = 5*o. Let f(w) = -w**2 - 8*w + 5. Does 17 divide f(z)?
True
Let g(d) = d**2 - 3. Let u be g(3). Is 3 a factor of 21*(8/u)/4?
False
Let r(p) be the first derivative of p**3/3 - p - 2. Is 3 a factor of r(-2)?
True
Let j(z) = -2*z**3 + z**2 + 3*z + 1. Let n be j(-2). Suppose n = 3*f - 21. Is 2*(-75)/f*-2 a multiple of 9?
False
Let v be 32/6*6 + -4. Suppose 0 = -0*q + q - v. Is 5 a factor of q?
False
Let s = 23 - 15. Let b(h) = 4*h + 8. Let l be b(s). Suppose 2*j - l = -f, 0 = -2*f - f + 5*j + 76. Does 18 divide f?
False
Suppose -3*a = -2*c + 103, -2*a = -0*a - 2. Does 10 divide c?
False
Suppose -w + 12 = -5*w. Is (w/(-5))/((-2)/(-10)) a multiple of 3?
True
Suppose 5*v - 112 + 37 = -4*f, -2*f - 3*v = -35. Is f a multiple of 5?
True
Let i(z) = -3*z - 11. Let v be i(-5). Suppose 0 = -0*u - 3*u. Suppose -v*a + 11 + 1 = u. Does 3 divide a?
True
Is 10 a factor of (-10)/(-4)*(-3)/((-6)/28)?
False
Let t = 4 - 0. Suppose -2*u + t*u = 2*z + 56, u + 2*z = 25. Does 20 divide u?
False
Let s = 40 + -12. Suppose s = f + f. Is 4 a factor of f?
False
Suppose 0 = 4*q + t - 36, -t - 12 = 2*t. Suppose 2*m = q, -150 = l - 6*l + 2*m. Is l a multiple of 16?
True
Suppose 0*h = -5*y + 2*h + 626, 2*h = -3*y + 366. Suppose 2*w + 2*c = 4*c + y, 0 = -3*c + 12. Is 26 a factor of w?
False
Let k(o) = -7*o**2 - o + 4. Let q(g) = g**2 - 1. Let u(v) = k(v) + 2*q(v). Let c be u(-2). Let z = 33 + c. Is z a multiple of 7?
False
Let p = 213 + -128. Suppose 3*s + 7 = p. Is 6 a factor of s?
False
Let q = -44 + 111. Is q a multiple of 15?
False
Let l(v) = 8*v + 1. Does 3 divide l(1)?
True
Let m(o) = o**3 - 8*o**2 + 19*o + 1. Is m(6) a multiple of 9?
False
Let j be 7/(-35) + 16/5. Suppose j*v - 208 = -76. Is v a multiple of 22?
True
Suppose -2*c + 5*q + 40 = 0, -5*c - 3*q = -0*c - 131. Is 7 a factor of c?
False
Let g = 102 - 90. Is 4 a factor of g?
True
Let h(m) = -m**3 + 3*m**2 + m - 3. Let y be h(3). Suppose 3*u - 60 = -y*u. Does 20 divide u?
True
Let b = -150 - 96. Let q = b + 354. Is 30 a factor of q?
False
Let j = 7 + -7. Let r(k) = 20*k - 2. Let a be r(5). Suppose -5*o + a + 12 = j. Is 8 a factor of o?
False
Let a be (-144 + 2 - -3)/(-1). Suppose -26 = -3*d + a. Is d a multiple of 12?
False
Let c be 4/(-14) - (-23)/7. Suppose 0 = c*z - z - 56. Does 14 divide z?
True
Let w(p) = -p**3 - 5*p**2 - p - 1. Let f be w(-5). Suppose 0*j + 4*r + 7 = j, f*j - 45 = -r. Is j a multiple of 10?
False
Suppose -2*x = -6*x. Suppose v - 4 = -x. Suppose -3*k + v*p = -65, -5*k - 3*p + 119 = p. Is 23 a factor of k?
True
Suppose 5*n - 3*n - 74 = 0. Is 9 a factor of n?
False
Let c = 2 - -2. Let r = c - -2. Is r a multiple of 2?
True
Suppose -3*b + 0*b = 0. Does 11 divide (-33)/(-3 - (b - 2))?
True
Suppose 9 = 3*h - 6. Suppose -h*d + 0 = -10. Let o(f) = 2*f**3 - f**2 + 2*f + 1. Does 6 divide o(d)?
False
Let r(n) = n**3 + 8*n**2 + 8*n + 9. Let y be r(-7). Suppose 5*f - 21 = -y*i, 6*f - 2*f = 5*i - 135. Is 6 a factor of i?
False
Let b(v) = 8*v - 4. Let l be b(-3). Let a = l + 18. Let g = 18 + a. Is g a multiple of 3?
False
Suppose 0*h - 4*s = h + 13, -5*s = -4*h + 53. Let g(l) = 3*l - 12. Is 9 a factor of g(h)?
True
Let f(y) = 7*y. Let x(a) = a + 4. Let d be x(-2). Does 5 divide f(d)?
False
Let t(m) = m**3 + 18*m**2 - 24*m - 12. Let z(f) = 2*f**3 + 35*f**2 - 47*f - 25. Let d(i) = -11*t(i) + 6*z(i). Is 10 a factor of d(-13)?
False
Let z = -62 - -122. Does 16 divide z?
False
Let q(w) = -w + 1. Let o(n) = -6*n + 11. Let j(s) = -o(s) + 4*q(s). Does 4 divide j(6)?
False
Is (-3)/6 + 19/2 a multiple of 2?
False
Let o(h) = h**2 - 3*h - 9. Is o(10) a multiple of 31?
False
Suppose 4*c = -3*a + 33, -3*c - 3*a + 3 + 21 = 0. Let n be c/(-2)*6/(-9). Suppose -3*s + 29 = 5*x, -6*x = 3*s - n*x - 21. Is s even?
False
Suppose 0 = -2*q - 3*q. Let o be (3 + q - 3)/2. Suppose o = -3*d, -5*c = -d - d - 130. Is c a multiple of 17?
False
Let y = 2 - -2. Suppose 4*i = -4, 3*x = i + y - 6. Let z(a) = -35*a + 1. Does 14 divide z(x)?
False
Suppose 2*f - 44 = -3*l, 3*l - 2*f - 68 = -2*l. Is l a multiple of 14?
True
Suppose 53 = q - 0*q. Is q a multiple of 7?
False
Suppose -25 = -5*k - 0*k. Suppose h + 2*d - 70 = -d, k*d = -20. Suppose 0*x = 2*x - h. Is x a multiple of 12?
False
Does 10 divide (-222)/(-7) - 16/(-56)?
False
Let u(o) = -o**3 + 12*o**2 + 2*o - 18. Is u(12) a multiple of 2?
True
Is 3*1 + (-12 - -74) a multiple of 13?
True
Let x(s) = -s**3 + 9*s**2 + 2*s + 6. Suppose r - 15 + 6 = 0. Is x(r) a multiple of 12?
True
Suppose 0 = -2*w - 2*j - 0 + 6, 5*w - 6 = 4*j. Does 18 divide (2 - (w + -1))*18?
True
Suppose 0 = -2*o - n - 0*n - 4, o = n + 4. Suppose -4*b = -o + 8. Is ((-36)/(-15) + b)*40 a multiple of 13?
False
Let q(a) = a**2 - 4*a + 2. Let v be q(3). Let r(t) = 4*t**3 + 2*t**2 - 2*t - 3. Let w be r(3). Is w/15 - v/5 a multiple of 3?
False
Let r = -2 - -44. Let z(p) = -p**3 + 5*p**2 + 3. Let t be z(5). Suppose -34 = -4*c + o, -2*o + r = 5*c - t*o. Is c a multiple of 8?
True
Let t(w) = -w - 1. Let y be t(-3). Let v be (y/2 - -4) + -1. Does 2 divide ((-6)/v)/((-5)/10)?
False
Suppose 3*p - 324 = -4*n, 3*n + 2*p = 305 - 63. Does 13 divide n?
True
Suppose 0*d + 4*d = -5*a - 25, -5*a - 25 = d. Let s be d/(-4)*(-2)/(-2). Suppose l + s - 8 = 0. Does 8 divide l?
True
Does 14 divide 2/8 - 3345/(-60)?
True
Let y be (0 - 0 - -1) + 2. Suppose 0*t - y*t + 144 = 0. Is t a multiple of 13?
False
Let m be 1 + -2 + -2 + 4. Let o(g) = -5*g**3 + g**2 - g + 1. Let n be o(m). Let c(a) = a**3 + 6*a**2 + 5*a + 5. Does 10 divide c(n)?
False
Let f(k) = k**2 + 5*k - 17. Is f(-19) a multiple of 13?
False
Suppose -q = -3*q + 20. Suppose -2*n + q = 4. Suppose n*f = -f + 36. Is f a multiple of 7?
False
Suppose 0 = -3*h - 13 + 4. Suppose -26 = -d + 2*d + 2*i, -2*i + 8 = 0. Is (-6)/h + (0 - d) a multiple of 18?
True
Suppose 3*q - 351 = 3*m, 5*q - 612 = -11*m + 7*m. Is q a multiple of 24?
True
Suppose 0 = -4*b + 5*b - 33. Is b a multiple of 12?
False
Let l(u) be the second derivative of -11*u**5/20 + u**4/4 + u**3/6 - 4*u. Does 27 divide l(-2)?
False
Suppose 0 = 5*w - 162 - 213. Is w a multiple of 25?
True
Let s = -160 - -183. Is s a multiple of 6?
False
Suppose -2*m + 4 = -4. Suppose m*a + 60 = -a. Let y = a + 26. Is 12 a factor of y?
False
Suppose -3*p - 5 - 28 = 0. Let g = p + 15. Suppose -r - 108 = -g*r. Is 18 a factor of r?
True
Let v = 89 + -47. Is v a multiple of 12?
False
Let s(f) = -f**3 - 7*f**2 - 11*f - 8. Suppose -5*a - 46 = 3*t, 5*a = -0*t + t - 18. Does 23 divide s(t)?
True
Let m = 7 + -6. Suppose q + m = 6. Suppose 240 = -0*p + q*p. Does 24 divide p?
True
Suppose -600 = 25*o - 28*o. Does 34 divide o?
False
Is 12 a factor of (-2)/(-1*5/210)?
True
Let g(r) = 6*r**2 + 5*r. Is g(5) a multiple of 25?
True
Is (52/3)/(7/84) a multiple of 25?
False
Let d = 16 - -6. Is 11 a factor of d?
True
Let v be 73/3 + (-1)/3. Suppose 2*f - 5*f = -v. Is 6 a factor of f?
False
Does 13 divide (33/(-3))/((-4 + 1)/69)?
False
Let w(f) = 2*f**2 - 7*f + 4. Let i be w(4). Let v = 7 - i. Does 5 divide v/((1 + -2)/15)?
True
Suppose -546 = -20*u + 14*u. Is u a multiple of 7?
True
Suppose 4*n - 57 = -d, -3*d + 34 = 5*n - 109. Suppose -2*o - d = -3*r + 2*o, -2*r + 2