se
Is (7/2)/((-6)/(6 - 234)) a multiple of 19?
True
Let z(u) = u**2 + 5*u - 1. Is z(-7) even?
False
Suppose 9*n + 36 = 10*n. Does 12 divide n?
True
Let o be 2 - (1 - 0)*-2. Let d be o/(-14) + (-74)/(-14). Suppose 2*w + d = 4*g + 1, -2*g + 8 = 0. Does 3 divide w?
True
Suppose 0 = 4*r, -3*m - 4*r = 54 + 12. Is 8/(-4) - (m - -1) a multiple of 5?
False
Suppose 2*p + 8 = 2*q, -11 = -3*q + p + 3*p. Suppose 5*d + 5 = -q. Let v(c) = -c**3 + c**2 - 3*c - 3. Is v(d) a multiple of 9?
False
Let p(y) = 8*y + 4. Is 21 a factor of p(10)?
True
Does 5 divide 10/(-14) + 1 - (-138)/7?
True
Let j(p) = 5*p - 1. Let r be j(-1). Let a = -3 - r. Suppose a*s - 12 = 3. Is s a multiple of 5?
True
Suppose 0*n = 5*n + 105. Suppose 0 = d + 2*d + 132. Let r = n - d. Is 6 a factor of r?
False
Let u(x) = -4*x**2 + 3*x + 3. Let s(j) = -2*j**2 + j + 1. Let p(k) = -5*s(k) + 2*u(k). Let t be p(2). Suppose -15 = -5*b, -4*b + t = 3*a - 16. Does 5 divide a?
True
Let g = 20 - -94. Let k = g + -42. Suppose k = 3*p + 2*u, -38 = -p - 3*u + 7*u. Is p a multiple of 16?
False
Suppose -4*w - w + 5*p = -15, 0 = -3*w - 3*p + 33. Is 7 a factor of w?
True
Let y(p) = -p - 6. Let m be y(-6). Suppose m*t + 75 = 3*o - 2*t, -o + 29 = -2*t. Is 8 a factor of o?
False
Let o(t) = t**3 - 8*t**2 + 7*t + 17. Is 23 a factor of o(9)?
True
Let h = -5 + 5. Let w = h - -6. Is w even?
True
Let h(n) = -n**3 + 5*n**2 - 3*n - 4. Let b be h(3). Let l be ((-6)/15)/((-1)/b). Does 3 divide (l - 1)/(3/18)?
True
Let o be -2*6/8*-6. Suppose 3*i + 2*r = 3 + 4, 3*r - 6 = 0. Let u = o + i. Does 4 divide u?
False
Let q = 6 + -6. Suppose -y - 9 = -q*y. Let g(a) = -a**2 - 14*a - 12. Does 11 divide g(y)?
True
Let t be (-3)/(1*(-3 + 2)). Suppose 20 = x - 3*m, t*x - 28 = -5*m + 4. Is x a multiple of 14?
True
Let y = 8 + -5. Suppose 0*f - 3*f = -p + 74, y*p - 207 = 4*f. Let r = p - 39. Is 10 a factor of r?
False
Let i(f) = -4 - 2*f + 4*f + 4*f. Let j be i(7). Suppose 4*v - 2*v = j. Is v a multiple of 8?
False
Suppose 0 = -n + 4*n - 3*z - 282, 0 = -2*n + z + 190. Is 12 a factor of n?
True
Suppose -5*s + 25 = -2*m, 2*s = s - m - 2. Let z = s - 0. Suppose -z*l + 16 = 3*k + 2*l, l = 4*k - 52. Is 6 a factor of k?
True
Suppose 5*q = 4*o - 212, 181 = 4*o + q - 7. Is 3 a factor of o?
True
Let j = 6 + -1. Suppose 5*q + 6 = -4, -j*i - q + 1158 = 0. Suppose -i = -4*y - 2*z, -7*y + 5*z + 260 = -2*y. Does 28 divide y?
True
Let n be (-7 + -2)/(-1 - 0). Suppose 0 = 4*b + 2*z + 8, -z = -b + 2*z - n. Is 11 a factor of (7/b)/(2/(-18))?
False
Suppose 8 = -i - 3*p + 44, 0 = -2*i + 3*p + 99. Does 13 divide i?
False
Suppose 0 = s + 5*z - 9, 0 = -4*s - s - 2*z - 24. Is 7 a factor of (-63)/s*(-4)/(-6)?
True
Let b(m) be the first derivative of m**3/3 - 3*m**2/2 - 8*m + 4. Let v be b(-6). Suppose v = f + f. Is f a multiple of 15?
False
Let y(j) = -j**3 - 13*j**2 - 17*j. Does 19 divide y(-12)?
False
Suppose -4*i - f + 464 = 11, 222 = 2*i - 4*f. Is 22 a factor of i?
False
Does 4 divide 4/(-14) + (-457)/(-21)*3?
False
Suppose 0 = -6*u + 3*u + 12. Suppose x + 4*r = u, -x + r + 53 = x. Is 12 a factor of x?
True
Is 7 a factor of 11/(4/(6 + -2))?
False
Suppose 3*v = -0*v + z + 224, 4*v + 3*z - 316 = 0. Is 19 a factor of v?
True
Let s(q) = -4*q - 1. Let m be s(-1). Suppose -j = -m*j + 18. Let o(v) = -v + 11. Does 2 divide o(j)?
True
Let d(n) = -3*n**3 + 4*n**2 + 2*n - 1. Let y be d(-2). Let m = y + -10. Does 6 divide m?
False
Let f(c) = c + 10. Let d be f(0). Suppose -5*x + d*x - 70 = 0. Is 14 a factor of x?
True
Suppose -5*v = -3*s - 518 + 72, 2*s = -2*v + 172. Let h = 0 - 0. Suppose 3*o - 3*q - 75 = 0, 0 = -4*o - h*q - 2*q + v. Is o a multiple of 8?
False
Suppose -18 = 3*f - 0*f. Let h = f + 38. Is 12 a factor of h?
False
Suppose -5*w + 3*j + 413 = -215, -w = -j - 126. Does 10 divide w?
False
Suppose 0*o + o = 0. Suppose -2*t = -o*t. Suppose -4*p + a = -8*p + 29, 5*a - 25 = t. Is p a multiple of 3?
True
Suppose -2*k + 3*u + 5 = -2*u, 2*k - 8 = 2*u. Let q(h) = h**2 - h - 2. Is 6 a factor of q(k)?
True
Suppose 0 = 4*p + 4*u - 32, -4*u + 0 + 2 = -p. Let v be 0 - -6*(-8)/(-12). Suppose -v*j + p*j - 48 = 0. Does 10 divide j?
False
Suppose 3*t = 5*t - 8. Suppose -t*u = -2*p - 20, -7*p = -2*p + 5*u - 25. Is 1 + p + 25/5 a multiple of 3?
True
Let x be 10 - 2 - 3 - -1. Suppose -3*b = -g - 16, -5*b + 8 = 4*g + 4. Let l = x + g. Is l even?
True
Let j(t) = 20*t**2 - t - 1. Let a be j(2). Let u = -27 + a. Is u a multiple of 9?
False
Let j(x) = -x**3 + 3*x**2 - 2*x + 4. Let n be j(3). Let o(i) = -2*i**3 - i**2 + 2*i + 2. Is o(n) a multiple of 5?
True
Let a(s) = 32*s - 9. Is a(4) a multiple of 17?
True
Let w = 47 - 11. Does 12 divide w?
True
Let k be (-3)/(-6 - -3)*1. Does 14 divide -7*k*2/(-1)?
True
Does 4 divide 1840/(-30)*(-6)/4?
True
Let p = 9 - 5. Suppose 3*s + 51 = p*u, -4*s + 7 = 6*u - 3*u. Is 9 a factor of u?
True
Suppose 5*n - p - 105 = 4*p, -4*n + 5*p + 81 = 0. Is 6 a factor of n?
True
Let u = 43 - -53. Is u a multiple of 16?
True
Let w(v) = v**2 - 3*v - 1. Let k be w(4). Suppose -k*m - 24 = 21. Is 4 a factor of m/2*6/(-5)?
False
Does 6 divide (-70)/4*(-12 + 10)?
False
Suppose 46 = 6*l - 5*l. Does 46 divide l?
True
Let p be (3/(-2))/((-6)/64). Suppose 4*v - k = 2*k + 14, 2*k + p = 4*v. Is 6 a factor of ((-5)/v)/((-1)/6)?
True
Suppose p = -4*p - 2*t + 20, 4*t = -4*p + 16. Let k(d) = -2*d**2 - 2*d + 2. Let u(y) = y**2. Let n(c) = -k(c) - u(c). Does 11 divide n(p)?
True
Let b = 24 - -46. Suppose 0 = 2*a - 4*a + b. Is a a multiple of 8?
False
Let l be 47/9 + 4/(-18). Let g(t) = 9*t. Let q(w) = 9*w. Let a(u) = l*g(u) - 4*q(u). Does 13 divide a(2)?
False
Let g be ((-9)/6)/(9/(-168)). Suppose 7*u = 3*u + g. Is 2 a factor of u?
False
Let x(a) = -2*a**3 - 3*a**2 - a + 5. Does 10 divide x(-4)?
False
Let l = -139 + 200. Is l a multiple of 29?
False
Let n(o) = -2*o**3 + o**2 + 3*o + 6. Is 20 a factor of n(-2)?
True
Suppose 0 = 6*b - 21*b + 765. Is b even?
False
Let d(t) = 3*t**3 - t**2 - t + 1. Let a be d(1). Suppose -a*u - h + 40 = 0, 4*u - 90 = -h + 4*h. Is 13 a factor of u?
False
Let p be ((-5)/(-2))/(3/6). Suppose p*m = m + 96. Is 12 a factor of m?
True
Let q = 34 + -11. Is 4 a factor of q?
False
Suppose -10 = 5*c - 7*c. Let h = c - -58. Suppose -5*o + 317 = -z, -h = -2*o + 5*z + 73. Is 24 a factor of o?
False
Let y be -2 - ((-6)/2 - 2). Let l = -8 - y. Let o = l - -21. Is o a multiple of 10?
True
Suppose 0 = -2*b + 4, 4*v + 2*b = 93 - 549. Let p = v + 163. Is 24 a factor of p?
True
Let k(v) = -v**2 + 4*v + 5. Let n be k(5). Let y = 2 + n. Suppose -255 = -5*r - 5*c, 2*r - 3*c = y*c + 137. Is 20 a factor of r?
False
Let h(b) = -b**3 + 4*b**2 + 4*b + 7. Let z be h(5). Suppose 0 = 3*w + z*w - 20. Is 4 a factor of w?
True
Let x(w) = 52*w. Let t be x(1). Suppose 5*b = 4*r + 441 + 83, 0 = -4*r - 4. Let u = b - t. Is 17 a factor of u?
False
Suppose 4 = 2*x + f, -x + 8 = -4*f - 12. Suppose -g = 5*r - 5, -10 = 3*r - x*g + 2*g. Is (-18)/(-2) - r/2 a multiple of 9?
True
Let m be 497/5 - (-2)/(-5). Let p = m + -33. Is 22 a factor of p?
True
Let x = -20 - -57. Does 8 divide x?
False
Suppose 0 = -3*g + 4*v + 54 + 25, -2*g + 34 = 2*v. Let h = 34 - g. Does 5 divide h?
False
Suppose 0*d - 16 = 4*d, 2*f - 348 = 2*d. Is 44 a factor of f?
False
Let i = 41 + -33. Is 2 a factor of i?
True
Suppose 228 = 5*i + 3*u - 70, i = 3*u + 56. Is i a multiple of 9?
False
Let v be 2*(-1 + 2) - -309. Suppose -4*r = 15 - v. Suppose 0 = 3*t + 4*n - r, 6*n + 28 = t + 4*n. Does 13 divide t?
True
Let c(m) = -m**3 + 9*m**2 + 17*m - 21. Is c(10) a multiple of 7?
True
Suppose 0 = 8*y - 127 - 73. Is y a multiple of 25?
True
Does 9 divide (-45)/(-2)*(-18)/(-15)?
True
Suppose 0 = 2*t + t - 9. Suppose 3*m + 3*h = 9, t*m - 3*h - 7 = -8*h. Let l = 4 + m. Is l a multiple of 7?
False
Suppose 0 = -5*l + 8 + 7. Suppose l*a - 4*a = -3. Suppose -3*x + a*y = -45, -35 = -5*x + y + 44. Is x a multiple of 8?
True
Let x(j) = -j + 1. Let s be 1/((-14)/4)*-7. Let v be x(s). Does 7 divide v + (2 - 2) + 18?
False
Let s = 182 - 22. Is s a multiple of 16?
True
Is -4*(0 - (-2)/(-2)) a multiple of 2?
True
Let k(z) = -z**3 + z**2 + z + 136. Is k(0) a multiple of 20?
False
Let x(b) = b**2 - 8*b - 4. Let m be x(10). Let l be ((-6)/(-4))/((-3)/m). Let q = 1 - l. Is q a multiple of 9?
True
Suppose 5*a + 3*z = 733 + 82, 2*a - 340 = -4*z. Is a a