e
Is 46*(-3)/12*-6 a multiple of 23?
True
Let i = -42 + 61. Let u = i - 14. Is 4 a factor of u?
False
Suppose -n - h = -68, 9*h - 4*h + 80 = n. Is n a multiple of 18?
False
Suppose -2*f = -54 - 146. Suppose -5*s = 2*b - 3*b - f, 5*b = -5*s + 70. Is s a multiple of 9?
False
Let o = 28 + -18. Let w(k) = 5*k - 7. Is 21 a factor of w(o)?
False
Let y(f) = 3*f + 1. Does 16 divide y(5)?
True
Let v be 8/(-32) - 18/(-8). Suppose 3*u - 136 = v*u. Suppose -u = -7*t + 3*t. Is t a multiple of 12?
False
Let m(r) = -r**3 + 9*r**2 - 4*r - 10. Does 11 divide m(8)?
True
Suppose 12*l = 9*l + 135. Is l a multiple of 15?
True
Let y = -7 - -11. Suppose l - s - 6 = 0, -2*s + 5*s = -3*l. Suppose l*x - y = g, 0*g = 2*x - 2*g. Does 2 divide x?
True
Let a(z) = 1 + z + 8*z**2 - 1 - z**3 + 5. Let m be a(8). Suppose -15 - m = -2*k. Is 7 a factor of k?
True
Let f = -12 - -22. Does 7 divide f?
False
Let o(r) = 8*r**3 + r**2 - r - 1. Let c(d) = 2*d**2 + d - 1. Let v be c(1). Let y be o(v). Suppose 1 = -s - 3*h + 44, -2*s = -h - y. Is 13 a factor of s?
False
Let w be (-6 - 0) + 4/2. Is (-27)/w*64/12 a multiple of 18?
True
Let c be (-9*1/5)/(3/(-15)). Let h = 0 - 0. Suppose h*l = 2*l + t - 38, 3*t = -l + c. Is 21 a factor of l?
True
Let y(p) = p**2 - 12*p + 16. Let z be y(11). Let k be (-14)/(-3) - (-1)/3. Suppose 243 = k*v + 2*h, z*v - 3*v = 2*h + 100. Does 17 divide v?
False
Let n be (-9)/3 + (1 - 1). Let a(u) = 3*u**2 + 3*u + 1. Does 19 divide a(n)?
True
Suppose 5*u + 2*s - 124 = 722, -u - 2*s + 174 = 0. Does 59 divide u?
False
Suppose 0 = x + x + 4. Let c be 3/(-3)*x - -3. Does 3 divide c + -2 + 2 + 1?
True
Suppose -p = -0*p - 2. Suppose p*j = 22 + 18. Is j a multiple of 6?
False
Suppose -3*i + 18 = 3*z - 21, -3*i + 5*z + 7 = 0. Is i a multiple of 2?
False
Let q(x) = 2*x**2 - x - 1. Let g be q(-1). Suppose 4*u + g = 5*u. Suppose u*n = -n + 60. Does 8 divide n?
False
Let b = 6 + -4. Suppose k - 9 - 7 = -2*i, 4*k - 24 = b*i. Does 5 divide k?
False
Let s(k) = k**2 - 8*k - 6. Let x be s(9). Suppose w = -x*w + 64. Does 4 divide w?
True
Suppose -114 = -4*j - 5*i, -5*j - i - 8 = -161. Is j a multiple of 4?
False
Suppose 364 = 7*s - 609. Is s a multiple of 12?
False
Let c(m) = m**2 - 6*m + 7. Let v be c(5). Suppose -3*y + v*n + 20 = 0, y - 2 - 3 = n. Does 4 divide y?
False
Let t = -68 - -82. Is 2 a factor of t?
True
Suppose -3*i + g - 4 = -5, 4*i = g + 3. Suppose 0 = -3*o - i*d + 37, 5*o + 3*d - 39 = 2*o. Is o a multiple of 4?
False
Let q(s) = s**3 + 9*s**2 - 5*s + 12. Is 15 a factor of q(-9)?
False
Let r = -1 + 1. Suppose 2*s + 9 = -2*k + 55, s + 4*k = 32. Suppose r - s = -5*d. Is d a multiple of 4?
True
Suppose 4*k = 5 + 27. Let r be (4/(-6))/(k/(-492)). Suppose r = 5*f + 11. Is 6 a factor of f?
True
Let q(m) = -m**3 - 4*m**2 + m + 1. Let p be q(-4). Does 32 divide (0 - -32)/((-3)/p)?
True
Suppose 8 = 2*n + x, 16 = 4*n + 3*x - 0. Suppose n = -2*l + 6*l. Does 11 divide 3 - ((-18)/l + -1)?
True
Let z be 4/(-6) + 2/3. Let s = 3 - z. Suppose 4*m - 102 = -s*u, -m = -3*m - 2*u + 52. Does 8 divide m?
True
Suppose -6 = 2*g, 4*h + 2*g = -2 + 4. Is 10 a factor of h/(-3)*-27 + 2?
True
Let q(c) = 4*c - 5. Let f(d) = d**2 + 4*d + 5. Let x be f(-4). Does 13 divide q(x)?
False
Let o(s) = 8*s**2 - 4*s + 2. Is 26 a factor of o(2)?
True
Let f = 14 - 8. Let s be ((-4)/f)/(4/6). Let z = 3 - s. Is z even?
True
Suppose 5*a + 4*d + 6 = 0, -2*a + d + 3 + 5 = 0. Suppose 0 = a*b + 5*c - 18, -4*b - 2*c - c = -64. Is b a multiple of 17?
False
Let c be (2/6)/((-1)/(-36)). Let l be (0 - -1)/1 - -22. Let p = l - c. Does 8 divide p?
False
Does 8 divide (-426)/(-21) + (-6)/21?
False
Let u(w) = -6*w**2 + 2*w - 4*w + w**2 + 8*w**2. Is 10 a factor of u(-3)?
False
Does 20 divide 225/10*2 + 0?
False
Let u(o) = 2*o**2 + 4*o - 10. Is u(-7) a multiple of 12?
True
Let l(p) = 34*p**2 - 2*p - 3. Let f be l(-2). Let n = f + -93. Is n a multiple of 18?
False
Let g = 28 - 17. Let f = g + 1. Does 5 divide f?
False
Suppose 2*n - p = -n - 9, 2*p = 6. Is 2 a factor of ((-6)/(-15))/(n/(-10))?
True
Let y(g) = -2 - 4 + g + g. Let k be y(5). Suppose k*t = -4*n + 76, 0*t = -3*t + 2*n + 32. Is t a multiple of 7?
True
Let t be ((-26)/(-6))/(2/(-18)). Let o = 23 + 44. Let x = t + o. Does 15 divide x?
False
Is 25 a factor of (46 - -4)/(2/4)?
True
Let b = 10 + -2. Let i = -5 + b. Is i even?
False
Suppose 4*q + 24 = 2*g - 26, 0 = -4*g - q + 91. Is 4 a factor of g?
False
Suppose 5*s - s = 552. Suppose -m + s = m. Does 23 divide m?
True
Suppose 2*y + 120 - 456 = 0. Let f = y + -89. Is f a multiple of 20?
False
Let m = 18 - 0. Let j be 1180/36 + 4/m. Suppose 5*h - j = 92. Does 16 divide h?
False
Let k = -17 - -17. Let o = k - -26. Is 10 a factor of o?
False
Does 11 divide (4/(-3))/((-2)/528)?
True
Suppose 5*s = 5*a + 8 + 27, 25 = -5*a. Let r = 5 - -12. Suppose -20 = -s*v + 4*h, -h + 0*h = 5*v - r. Is 2 a factor of v?
True
Suppose -3*o + o + 56 = 0. Suppose -j + 4*j = g - 71, 0 = g + 2*j - 46. Suppose -o = -4*s + g. Does 8 divide s?
False
Does 17 divide (-28 - -2)*15/(-6)?
False
Let k(c) = -5*c**2 - 2*c + 1. Let v be k(1). Is (-6)/9 + (-298)/v a multiple of 11?
False
Suppose 0 = 2*w + 6 - 18. Suppose -5*h - 280 = -5*y, -y + 2*h = w*h - 31. Is y a multiple of 17?
True
Suppose -135 = -4*t + 2*t + 5*v, -t = -5*v - 70. Does 13 divide t?
True
Suppose a = 6*a - 385. Does 7 divide a?
True
Does 19 divide (7 - 6) + 1*18?
True
Suppose 2 = -3*s + s. Let z = 3 - s. Let j(i) = 2*i**2 - 3*i + 6. Is j(z) a multiple of 10?
False
Let b(y) = y - 2*y + y**2 + 0*y - 5*y. Let z be b(8). Suppose -4*w + 92 = z. Is 19 a factor of w?
True
Suppose 3*y + 18 = -r - 3*r, 5*r = y - 13. Does 10 divide -4 + (38 - 3) + y?
False
Suppose -2*r - 40 = 2*r. Let q = -1 - r. Is q a multiple of 9?
True
Let i(k) be the first derivative of 39*k**2/2 + k + 10. Does 20 divide i(1)?
True
Let r be (3 - 1) + (0 - 0). Suppose 2*l = -5*u + 2, l + 6 = -2*l - 3*u. Is (5 - r)*l/(-2) a multiple of 3?
True
Suppose 0 = 4*q + 4*i - 84, -3*q + 4*i + 15 + 48 = 0. Does 7 divide q?
True
Let w be (16/3)/((-2)/21). Is 12 a factor of 3*(w/(-6))/1?
False
Let t(p) = -2*p - 3. Is t(-6) a multiple of 9?
True
Let k(d) = -d**3 + 15*d**2 - 19*d + 10. Does 15 divide k(13)?
False
Let u = 0 + 1. Let j be ((-3)/u)/(-1) - 4. Is -39*((-6)/(-9) + j) a multiple of 5?
False
Suppose 0 = -4*h + 3*u + 217, -5*h = -0*h + 3*u - 251. Is 26 a factor of h?
True
Suppose l - 67 = -2*h - 7, -87 = -3*h - 3*l. Is h a multiple of 5?
False
Suppose 5*z + 3*n - 21 = 0, 3*n - 7*n = 2*z - 14. Is z a multiple of 3?
True
Suppose 0 = 8*o - 4*o + 8. Does 13 divide (-16 + 9/3)*o?
True
Suppose w + 5*d - 5 - 8 = 0, 0 = -5*d + 10. Suppose -w*m + 47 = -h, -4*h + 2*m + 124 = 342. Let z = 0 - h. Is 23 a factor of z?
False
Suppose -2*b - 3*b = -j - 27, -2*b = 4*j - 2. Let s(a) = -a**2 + 5*a. Let z be s(b). Suppose z*p - 47 = -2*p - 3*v, 5*p - v - 109 = 0. Does 11 divide p?
True
Suppose q - 5 = 6*q. Let v(d) = d**2 - 7*d + 2. Let a be v(6). Is 9 a factor of 22 - (q - a)*-1?
False
Let y = -109 + 181. Let p(k) = k**2 + 4*k + 3. Let q be p(-3). Suppose -5*x - 7 + y = q. Is x a multiple of 13?
True
Let s = -6 + 42. Is s a multiple of 12?
True
Does 27 divide (14/3)/((-19)/(-228))?
False
Is 15 a factor of 704/6 - (10/(-6) + 3)?
False
Suppose -2*l - 2 = -4*l + f, 0 = -3*l + 3*f + 9. Let s(a) = -21*a**3 + 2*a + 1. Is s(l) a multiple of 9?
False
Let w(n) = 5*n**2 + n. Let t be w(-1). Suppose 4*f + 3*a = 409, t*f - 293 = f - 5*a. Suppose -4*m - 16 = 0, -d - d + f = -4*m. Is d a multiple of 12?
False
Suppose 4*b = 256 + 64. Does 5 divide b?
True
Let d = 40 - 122. Is 13 a factor of 10/(-3 + d/(-26))?
True
Let k(t) = -2*t + 4. Let s be k(6). Let m = -8 - s. Suppose -x + 21 = 2*v, -5*x + 3*v + 66 - 13 = m. Does 8 divide x?
False
Let w(h) be the third derivative of -h**6/120 + 2*h**5/15 + 7*h**4/24 - h**3/6 - 4*h**2. Is 16 a factor of w(8)?
False
Let x(h) = 5*h - 1. Let i be x(1). Suppose -i*j + 11 = 3*b, -2*j - 3*b = 2*b - 23. Does 7 divide -1 + 1 + (-26)/j?
False
Let n = 23 - -28. Does 3 divide n?
True
Let w(l) = -10*l + 3. Let o(v) = -5*v + 2. Let d(s) = 5*o(s) - 2*w(s). Is d(-6) a multiple of 15?
False
Suppose 0 = -4*b - 4*t + 136, 4*b = 2*b + 2*t + 52. Does 3 divide b?
True
Let v be 42 + (-2 - (-3 - -1)). Let f = v + -27. Is f a multiple of 7?
False
Let b(p) 