se
Let s(j) = -j + 43. Let y(l) = -l**2 - l. Let o be y(-1). Let b be s(o). Suppose -b = -4*m + 65. Does 11 divide m?
False
Let n(j) = j**3 - 5*j**2 + 4*j. Suppose -3*i + 4*v = 1, -4*i + 37 = i + 3*v. Is 10 a factor of n(i)?
True
Let u = 0 - -5. Is 5 a factor of u?
True
Suppose -35 = -5*q - 0. Suppose 0 = -n + q - 3. Is n a multiple of 4?
True
Suppose 2 - 20 = -5*g + m, -g - m = -6. Suppose 2*t = g*t - 12. Is 6 a factor of t?
True
Suppose -4*b + 4*a = -3*b - 2, -26 = 2*b + 2*a. Is (b/(-4))/((-2)/(-8)) a multiple of 8?
False
Let z = -17 + 31. Is z a multiple of 4?
False
Suppose -w + 3*w - 60 = 0. Suppose u - w = -u. Is 15 a factor of u?
True
Does 10 divide -60*5/30*-2?
True
Let v be 9/12*2*6. Let p = -4 + v. Is p a multiple of 2?
False
Let q(l) = l**3 + 5*l**2 + 3*l - 10. Does 18 divide q(4)?
False
Let b be ((-9)/15)/(1/(-5)). Let r(o) = o**2 - o - 2. Let a be r(b). Suppose g - u - a*u = 51, 0 = 3*g + 3*u - 63. Is g a multiple of 13?
True
Let t = -22 - -31. Is 98/4 - t/18 a multiple of 11?
False
Let m be (1/(-2))/(3/(-306)). Let i = 91 - m. Is i a multiple of 20?
True
Let b(x) = 3*x**2 + 9*x + 22. Is 25 a factor of b(-4)?
False
Let a be (-1 + 1)*8/24. Suppose 4*s - 3 + 15 = a. Is 17 a factor of 19 + (-6)/(-9)*s?
True
Let i = -1 + -17. Is 12 a factor of (-220)/i + 4/(-18)?
True
Suppose -3*o + 4*b + 1 = -20, -4*o - 4*b = 0. Suppose -o*s + 3*i = -2*i - 44, 0 = -s + 5*i + 8. Is 6 a factor of s?
True
Let m = -94 - -144. Does 10 divide m?
True
Let u be (-6)/(-4)*(-22)/(-3). Let c = u + -2. Suppose -4*v - 2*j = -50, 0 = v + 5*j - 17 - c. Is 7 a factor of v?
False
Let a = -31 + 36. Let m(n) = -n**2 + n + 4. Let s be m(0). Suppose 51 + s = a*h. Is h a multiple of 5?
False
Suppose -5*k + 1116 = -4. Does 28 divide k?
True
Let o = 4 - -2. Let a(j) = -j**3 + 5*j**2 + 4*j. Let r be a(o). Let s = -6 - r. Is 5 a factor of s?
False
Let i = 4 + -2. Suppose 3*g = -3*q + 12, 5*g - 3*q + i*q = 14. Does 2 divide g?
False
Let p be 0*(-3)/6 - 1. Let t = p - 0. Is 3*(1 - (t + 1)) a multiple of 3?
True
Suppose 3*h = 4*h - 118. Does 37 divide h?
False
Let b(y) = y**3 - 6*y**2 + 6*y - 5. Let h be b(5). Suppose -o + 2*o - 2 = h. Suppose 0*p + o*p = 22. Does 6 divide p?
False
Let u(r) = -r**3 - 8*r**2 + r + 8. Let n be u(-8). Let t = 5 - n. Does 5 divide (t + 0)/(2 + -1)?
True
Let a = 377 - 205. Does 23 divide a?
False
Let k(p) = p**3 - 4*p**2 - 5*p - 2. Let i be k(4). Let m = 5 - i. Is m a multiple of 9?
True
Suppose 0 = 4*d + b + 3 - 14, -4*b + 14 = d. Suppose -d*r + 3*n + 98 = 0, -4*n + 112 = 2*r - 0*n. Is 18 a factor of r?
False
Let u(g) = g**3 + 7*g**2 + 4*g + 6. Does 9 divide u(-5)?
True
Suppose 64 = -q + 5*q. Suppose q = 3*d - 41. Is 17 a factor of d?
False
Suppose -t = -3*b - 29, 0 = -2*t + 3*b + 37 + 30. Does 38 divide t?
True
Let o(v) = 11*v**2 + 2 - 3 + 4 - 7*v**2 + 3*v. Is o(-5) a multiple of 22?
True
Let o be 4/(-8) - 3/2. Let a be o/(-3) - (-406)/3. Is 10 a factor of a/14 - (-2)/7?
True
Let n(q) = 4*q**3 + q**2. Let x be n(1). Does 9 divide 1/(-5) + 46/x?
True
Let z be ((-5)/3)/((-2)/6). Let m(u) = u**2 + u - 2. Is 14 a factor of m(z)?
True
Let c = -13 + 6. Let h(q) = 9*q - 3. Let l be h(5). Let n = c + l. Is 12 a factor of n?
False
Let v = -307 - -507. Is v a multiple of 27?
False
Suppose 2*s - 9 = 3*f - 2*f, 15 = -4*f + s. Let i(n) = 5*n**2 - 6*n - 7. Is 14 a factor of i(f)?
True
Suppose -d - d + 6 = 0. Suppose -d*a - 2 = w - 5, 3*w = 0. Suppose a = -y - j - 3*j, -35 = -4*y - 3*j. Is 8 a factor of y?
False
Let l(b) = b - 3. Suppose -3*g + 9 = 4*t - 0*t, 4*g = -4*t + 4. Does 3 divide l(t)?
True
Let w be 4/((-16)/(-22))*8. Let l = 85 - w. Is l a multiple of 22?
False
Suppose 0 = -2*d - 2*u + 198, -216 = -5*d - 3*u + 273. Is d a multiple of 16?
True
Suppose 5*y - 58 = 12. Suppose -4*n + 6 = -y. Does 16 divide (-3)/(-15) + 239/n?
True
Suppose 2*r = 3*r + 64. Let f = 46 + r. Is 14 a factor of (f/(-4))/((-2)/(-12))?
False
Let u(b) = 2*b**2 - 7*b - 4. Is u(7) a multiple of 22?
False
Let b be (-8)/(-10)*(-460)/8. Let p = b - -67. Is 21 a factor of p?
True
Let w be (-3)/(150/52 + -3). Suppose 5 = -0*p + p, j + p = w. Does 10 divide j?
False
Let l(v) = -v**3 + 7*v**2 - 3*v - 4. Suppose 0 = -k - 2, 4*a + 3*k - 68 = k. Let y be (a/(-4))/((-15)/20). Is 7 a factor of l(y)?
True
Let w(z) = z + 10. Let f be w(-6). Let r = -3 - f. Let u(x) = -3*x - 6. Is 4 a factor of u(r)?
False
Let w be (3 - 4)/((-1)/(-21)). Let h = w - -34. Is h a multiple of 13?
True
Suppose -4*g = -4 + 16. Let t be -3 - g - (-2 + -4). Suppose -3*v - 36 = -t*v. Does 11 divide v?
False
Suppose -2 = -g + 3. Suppose -11 = -a + 2*c - 4, g*c + 7 = a. Is 3 a factor of a?
False
Suppose -2*g - 2*l + 78 = 0, 5*g - 4*l - 184 = -25. Is 7 a factor of g?
True
Let f(w) = 2*w**3 - 5*w**2 + 4*w. Let i be f(3). Let p = -5 + i. Is 8 a factor of p?
True
Suppose 5*z = 4*u + 87 + 23, 0 = 5*u - 3*z + 131. Let j = 43 + u. Does 18 divide j?
True
Let g be 2/3*30/4. Suppose g*o + 60 = -4*z + 238, 78 = 2*z - 3*o. Is 14 a factor of z?
True
Let u = -13 + 7. Let g = u - -8. Suppose w - 2 + 3 = 0, -g*w + 70 = 3*o. Is o a multiple of 12?
True
Let y = 121 + -40. Is 17 a factor of y?
False
Does 4 divide (15 - 11) + (-19)/(-1)?
False
Suppose -2*j + 0*j = m + 20, 5*m - 8 = 2*j. Is 8 a factor of j*(20/3)/(-5)?
False
Suppose -3*c - 10 + 25 = 0. Suppose -5*n = -2*n - 3*f - 99, -c*f + 150 = 4*n. Is n a multiple of 31?
False
Suppose 68 = 2*g - 3*o, 0*o = 2*o - 4. Is 5 a factor of g?
False
Let y(w) = -w**3 - 2*w**2 + 2. Is y(-2) even?
True
Let g be (15/(-6))/((-2)/4). Suppose 0 = -3*z + 6*z + g*h + 11, 0 = 2*z + 3*h + 6. Is 2 a factor of z?
False
Suppose -d + 45 - 21 = 0. Is d a multiple of 2?
True
Suppose 2*z + 6 = 4*n, -2*z = -z - 5*n + 9. Let t(f) = 72*f**3 + f**2 - 1. Let i be t(z). Suppose -v + i = 3*v. Is 9 a factor of v?
True
Suppose -5 + 0 = 5*m. Is 16 a factor of 52 + m - (1 + 2)?
True
Let n(l) = -l**3 - l**2 + l + 54. Does 27 divide n(0)?
True
Let y(s) be the first derivative of s**4/4 + 2*s**3 - s**2/2 - 4*s + 2. Let t be 2 - (-4 - 48/(-4)). Is y(t) even?
True
Suppose -2*k - 2 - 2 = -g, -3*k = 0. Let q = g - 2. Does 12 divide (19 + q)*(2 + -1)?
False
Suppose 366 = -3*r + 75. Is 19 a factor of (-8)/20 + r/(-5)?
True
Is (32/(-20))/((-92)/30 - -3) a multiple of 2?
True
Let s(g) = 5*g**2 - 2*g - 22. Does 22 divide s(-4)?
True
Let t = -6 + 12. Let k(g) = -3*g**3 - 18 + 0*g**3 + 5*g**2 + 7*g + 19 + 2*g**3. Is k(t) a multiple of 5?
False
Let p be 23/5 + (-6)/(-15). Suppose 3*x - 1 = p. Does 17 divide 2 + 22 - x/(-1)?
False
Let j(r) = r - 3. Let p be j(4). Let g be (-1*(-22)/2)/p. Suppose 0 = -3*w + g + 4. Is 5 a factor of w?
True
Let g be (-15)/(-2)*(-12)/(-9). Suppose -3*o + 2 + g = 0. Suppose -14 = -r - 0*r - o*m, 3*r - 3*m - 87 = 0. Does 9 divide r?
False
Suppose -3*o + 159 = -5*k, 5*k = -5*o + 85 + 140. Suppose 3*h - 180 + o = 0. Suppose 0*q - 4*q + 2*g = -164, q - h = -g. Is q a multiple of 21?
True
Suppose -28 - 40 = 4*s. Let m be 16/2*(-25)/4. Let a = s - m. Is a a multiple of 14?
False
Let t(v) = 10*v + 7. Let k(l) = -21*l - 14. Let w(z) = -6*k(z) - 13*t(z). Does 15 divide w(-13)?
True
Let k(t) = t**3 + 12*t**2 - 13*t + 3. Let n be k(-13). Does 6 divide n/3 + 8*1?
False
Let a = 20 - -11. Suppose 4*i - 3*i = -18. Let j = i + a. Is 13 a factor of j?
True
Suppose 2*o = -o + 9. Suppose -3*c = 5*b - 177, 3*b = -o*c + 2*c + 103. Suppose -2*h + 2 = 4*z - 54, 3*h = 3*z - b. Is z a multiple of 13?
True
Let g be 364/(-21) + 2/6. Let z = 34 + g. Is z a multiple of 6?
False
Let v(n) = 7*n**3 + 4*n - 4. Does 20 divide v(2)?
True
Let x(z) = -z**2 + z. Let y(c) = 56*c**2 - c - 1. Let n(j) = 3*x(j) + y(j). Let o be n(1). Suppose -2*m = -0*m - o. Does 14 divide m?
False
Let g be 3/(-3*1/(-2)). Let s = g - 4. Let m = 2 - s. Is 2 a factor of m?
True
Is 23 + (7 + -1 - 3) a multiple of 13?
True
Suppose p - 8*d - 237 = -3*d, 5*p - 1131 = -2*d. Let h = p + -157. Is h a multiple of 14?
True
Suppose -2*g = 3*y - 179, -5*y + y = -g - 246. Is 5 a factor of y?
False
Let z(m) = -2*m**3 - m. Let r be z(-1). Suppose -r*j = j - 20. Suppose 3*i - 3*g = 15, 0*i + j*g = 2*i - 10. Does 2 divide i?
False
Suppose 0 = -5*x - 1 + 26, -2*x = s - 25. Suppose g - 4*g + s = 0. Suppose -2*a - 48 = -g*a. Is a a multiple of 8?
True
Suppose 0 = 4*l - 0*l - 40. Suppose l*a - 1