ue
Let l be 2*(-2)/4 + 28. Let b = l + -17. Is 10 a factor of b?
True
Let h = -12 + 52. Does 8 divide (h/(-16))/((-2)/36)?
False
Let l(u) = u - 3. Let j be l(2). Let g be j - ((-1 - 70) + -2). Suppose 3*o + o = g. Is 18 a factor of o?
True
Suppose 0 = -4*o - 19 + 187. Is o a multiple of 10?
False
Let x be 2/7 + 426/(-21). Is 14 a factor of 9/3 - x/1?
False
Suppose 6*f = -4*j + 2*f - 72, j - 2 = 4*f. Does 21 divide (-594)/j + (-21)/49?
True
Does 8 divide (344/6 - -2) + 26/39?
False
Suppose 4*i + 4*b - 160 = 0, -5*i - 128 = -3*b - 368. Suppose 0*y + 5*s - 51 = -3*y, -5*y = -5*s - i. Is y a multiple of 12?
True
Let p(x) = x**3 + 6*x**2 - 2*x - 8. Is 4 a factor of p(-6)?
True
Let s(h) = h**3 + h**2 - h + 2. Let p be s(0). Suppose -10 + p = -2*r. Suppose n = r, 10*q = 5*q - 4*n + 146. Is 13 a factor of q?
True
Let u be (3/2)/((-9)/(-12)). Suppose 5*b + 4*q = b + 124, -u*q = 4*b - 128. Suppose -79 - b = -4*m. Is m a multiple of 14?
True
Let y(t) = t**3 + t**2. Let f be y(1). Suppose -3*h + 18 = f*k, 4*k + 1 = 3*h - 35. Is h a multiple of 4?
True
Let r be ((-1)/(-2))/((-1)/(-52)). Let w(t) = -t**3 + 8*t**2 - 7*t + 2. Let x be w(7). Suppose -x*g = 5*q - 57, -g - q = q - r. Does 8 divide g?
True
Let i be (-514)/3*3/(-2). Suppose -2*z + 3*b = -3*z + i, 5*b = -5. Does 6 divide (-2)/8 + z/16?
False
Suppose g - 4 - 1 = 0. Suppose 4*j = -2*z - z + 20, -g = z - j. Is z + (37 - (1 + -2)) a multiple of 16?
False
Is 16 a factor of (0 - 0) + (6 - -45)?
False
Suppose 2*o - 47 - 32 = -5*b, 4*b = -2*o + 62. Let i = b + -9. Does 4 divide i?
True
Let z(h) = h**2 + 36. Let x be 15/2*10/15. Suppose 2*w - 12 = -0*w + 4*k, -4*k - 12 = -x*w. Is 18 a factor of z(w)?
True
Does 3 divide 50/3 - (32/(-6) + 6)?
False
Suppose 3*v = -0*v. Let j = v + 2. Suppose 6 = -2*g + c + 3*c, -5*c = j*g - 21. Is g a multiple of 3?
True
Let h be (1/3)/((-3)/(-63)). Let v(p) = p + 3. Let t be v(h). Let o = t + 4. Does 7 divide o?
True
Let h be (9/6 - 1)*0. Suppose 5 = k - h*k. Suppose -5*c - 75 = -5*d, k*d - 4*c = -0*c + 75. Does 7 divide d?
False
Let i = -87 - -153. Suppose 0 = -5*c + 2*c + i. Is c a multiple of 11?
True
Let w = 86 + -30. Does 20 divide w?
False
Suppose 2*u + 3*l = 5*l + 8, -4*l = 2*u - 8. Suppose 0*s = -u*s - 24. Does 4 divide (4 + -7)/(2/s)?
False
Let f = -32 + 74. Let q be ((-8)/(-6))/(4/f). Does 20 divide (q/(-5))/(5/(-75))?
False
Let t be (9/(-6))/(6/80). Let k = -6 - t. Let x = k - 6. Is 8 a factor of x?
True
Let j(g) = -g + 9. Let z be j(11). Let b be 13 - (3/(-1) - z). Is 17 a factor of (-8)/(-28) - (-472)/b?
True
Let h(s) = 85*s**2 - 2*s + 1. Is 12 a factor of h(1)?
True
Is (96/(-160))/((-2)/450) a multiple of 9?
True
Let z = 380 + -58. Does 14 divide z?
True
Suppose -4*r + 7*r + 9 = 0. Does 18 divide r/((-9)/(-3))*-40?
False
Let s(c) = 2*c + 3. Let t = 0 - -6. Let g = t + -1. Does 13 divide s(g)?
True
Suppose -4 = 8*c - 1924. Is 11 a factor of c?
False
Suppose 4*d + 8 = 3*f + f, -d + 5*f = 22. Suppose 4*i - d*i = 91. Does 21 divide i?
False
Let n(q) = q**3 + 5*q**2 - 3*q + 4. Let c(h) = h**3 - 5*h**2 - 6*h + 3. Let m be c(6). Is n(m) a multiple of 12?
False
Let m = 11 - 29. Let a = 33 + m. Is 4 a factor of a?
False
Suppose -5*v - 43 + 373 = 0. Is 22 a factor of v?
True
Let v(l) = l**3 - l + 1. Let y be v(-2). Let i = -7 - y. Is 12 a factor of (-122)/(-10) - i/(-10)?
True
Suppose 0*v + 5*v = 65. Suppose -y - 3 = 2*o - v, 2*o = 3*y - 54. Does 5 divide y?
False
Suppose 6*u - 3*u - 588 = 0. Suppose u = 5*c + 2*s - 0*s, 5*c + 5*s = 205. Is 13 a factor of c?
False
Suppose -4*h + c = -17, 0 = 4*c - 12. Suppose -h*a = -a - 72. Is a a multiple of 6?
True
Let x(z) = 2*z - 2. Let j be x(3). Suppose 3*p = 5 + j. Suppose 0 = p*d - 8 - 1. Is 3 a factor of d?
True
Suppose 2*l + 3*l - 2*u = 159, -4*u - 163 = -5*l. Is 12 a factor of l?
False
Let w(q) be the second derivative of q**5/20 - 5*q**4/6 - 11*q**3/6 + 15*q**2/2 + 4*q. Is w(11) a multiple of 5?
True
Let a(l) = l**3 - 7*l**2 - 7. Let q(n) = n**3 - 7*n**2 + n - 8. Let z(g) = -4*a(g) + 3*q(g). Is z(4) a multiple of 16?
True
Suppose 4*n + 161 = 3*q, -n = 2*q - 2*n - 109. Does 5 divide q?
True
Let r(k) = k**2 - 4*k - 5. Let c be r(8). Suppose -2*q + c = -q - l, q - 42 = -2*l. Is q a multiple of 12?
False
Let v(f) be the second derivative of f**4/12 - f**3/3 + f**2 - f. Let d(p) = p**3 - 3*p**2 + 2*p - 4. Let r be d(3). Is v(r) even?
True
Let k(z) = 5*z**3 + 7*z**2 + 5*z - 1. Let p(a) = -6*a**3 - 7*a**2 - 4*a + 2. Let l(g) = -5*k(g) - 4*p(g). Is l(-7) a multiple of 28?
False
Let t(k) be the third derivative of -k**5/60 + 5*k**4/12 - k**3/2 - k**2. Suppose 3 = 3*d - 18. Is t(d) a multiple of 18?
True
Is ((-16)/(-6))/(2/6) a multiple of 8?
True
Let a(m) = -m**2. Suppose -5*q - 3 = 7. Let h(w) = w**2 + w + 1. Let c(g) = q*a(g) - h(g). Is c(-3) a multiple of 6?
False
Is 13 a factor of (9 + -7)/((-1)/(-26))?
True
Let i = 25 - 47. Let h = -12 - i. Does 10 divide h?
True
Let j = 16 + 14. Does 13 divide 18/j*(2 + 63)?
True
Let n(l) = -7 + 5 - 2*l - 2*l**2 - 7*l**3 + l. Does 16 divide n(-2)?
True
Let h(l) = l + 15. Let g be h(-10). Suppose -j - 5*v = 2, 0 = -3*j + 2*j + g*v + 48. Is j a multiple of 23?
True
Let v be ((-6)/8)/((-6)/(-24)). Let i be 2/1*(-12)/v. Suppose -2 + i = 2*w. Is w even?
False
Is 5*(-2 + 88/20) a multiple of 10?
False
Let x(j) = -18*j - 25. Is x(-18) a multiple of 23?
True
Let l(w) = w**2 - 4*w + 7. Let k be l(6). Let p = k - 35. Let t = 11 - p. Is 11 a factor of t?
False
Let u be (-320)/(-18) - (-6)/27. Suppose -4*v = 2 - u. Suppose v*p - 2 = y, -4*p = y - 10 - 20. Does 7 divide y?
True
Suppose 0 = -2*w + 3*w - 11. Let m = -5 + w. Does 3 divide m?
True
Suppose -4 = -2*i - 4*d - 0*d, -i = -d - 2. Suppose 3*v + 100 = -i*v. Let u = 44 + v. Is u a multiple of 12?
True
Let z(u) = -4*u + 0 + 11*u + 5 - 4. Is 8 a factor of z(3)?
False
Let g = 6 + -2. Suppose -5*x + 20 = -3*k, 0 = -3*x - 0*x + g*k + 1. Is x a multiple of 2?
False
Let x(s) be the first derivative of -s**3/3 + 4*s**2 - 3*s + 3. Let i be x(5). Does 10 divide 3/4 + 111/i?
True
Suppose -10 = -3*v + 4*b - 3, 2*b - 4 = 0. Suppose -5*q - 5*f + 4*f + 113 = 0, -2*q + 36 = v*f. Does 16 divide q?
False
Let h = 146 + -228. Let c = 43 - h. Does 33 divide c?
False
Let j(h) = 14*h**2 - h + 1. Let f(r) = -r + 6. Let q be f(5). Is j(q) a multiple of 7?
True
Suppose 16*j = 12*j + 56. Is j a multiple of 3?
False
Suppose 4*d - 110 = 14. Let w = d + 1. Does 16 divide w?
True
Let c(g) = 2*g**2 - g - 56. Is c(7) even?
False
Does 12 divide (-2)/(-5) - (-590)/25?
True
Suppose -2*h = u + 144, 5*h + u + 206 + 157 = 0. Does 14 divide (h + 1)*15/(-20)?
False
Let n be (3 + 0)*16/3. Let r be n/(-6) + 4/(-12). Is 7 a factor of (-21)/2*2/r?
True
Suppose 31 = 2*v + 3. Suppose -y + 15 = -2*g, 0 = 3*y + 3*g - 103 + 22. Let z = y - v. Is z a multiple of 5?
False
Suppose 9*b - 266 = 454. Is 14 a factor of b?
False
Let s(r) = r**3 - r - 1. Let g(c) = -4*c**3 - 3*c**2 + c - 1. Let b(j) = g(j) + 3*s(j). Let k be b(-3). Suppose k*u = 27 + 11. Does 11 divide u?
False
Let s(q) = q**2 + 2*q + 1. Does 25 divide s(7)?
False
Suppose 0 = -u + 3*u. Is (u + -10)*(-1)/2 a multiple of 5?
True
Is 20 a factor of 4 + 6/((-30)/(-1475))?
False
Suppose -3*s = d + 4*d + 82, 2*d - 4*s + 38 = 0. Suppose -2*h - 20 = 3*h, -4*b + 5*h + 12 = 0. Is 15 a factor of (b - d)*(-12)/(-10)?
False
Let m(h) = h**2 + 2. Let o be m(2). Does 5 divide 56/(-6)*o/(-4)?
False
Is 32 a factor of 1224/(-27)*(-9)/4?
False
Let q(o) = -o**3 - 7*o**2 + 2 - 5*o - 4 + 4. Is q(-7) a multiple of 12?
False
Suppose -3*v - v + 74 = -2*j, -5*j + 4*v = 209. Let u = -30 - j. Does 7 divide u?
False
Suppose 0 = 3*o - 233 - 121. Suppose 4*p = o + 130. Is p a multiple of 21?
False
Suppose -2*s + 480 = 5*d - 7*s, 3*d = -4*s + 302. Is 7 a factor of d?
True
Suppose 4*w = 5*m + 75, -5*w + 90 = -w - 2*m. Suppose -y = -2 - w. Is 11 a factor of y?
False
Let q be 8/(-6) + (-76)/(-12). Suppose -3*o + 4*m = -2*o + 6, -o = 5*m - 21. Suppose q*d - o = 4*d. Does 6 divide d?
True
Does 9 divide 1/(-4) + (-218)/(-8)?
True
Suppose -j + 2*s = -30, 2*j + 0*s = -s + 75. Suppose 0 = -3*d + 3*a - j + 165, 5*a - 89 = -3*d. Suppose 4*p - d = 2. Is 6 a factor of p?
False
Let o(n) = -n**3 - n**2 - 2*n - 1. Does 5 divide o(-2)?
False
Does 11 divide 1150/12 + 12/72 + 1?
False
Suppose