e of 9?
False
Let f(v) = v**3 + 3*v**2 - 5*v - 1. Let b be f(-4). Suppose -5 - 19 = -b*l. Does 8 divide l?
True
Let l(n) = -n + 5. Let j be l(5). Suppose 6 = 2*d - j. Is d a multiple of 2?
False
Let b = 9 - 5. Suppose 5*x + 121 + b = 0. Does 12 divide (20/x)/(1/(-30))?
True
Let m = 3 + 18. Does 7 divide m?
True
Is 26/10 - 6/10 - -28 a multiple of 6?
True
Let x(q) = -q**2 - 2. Let i be x(7). Let g = i + 91. Does 15 divide g?
False
Suppose 7 + 53 = 5*q. Is 11 a factor of q?
False
Let y(h) = h**3 - 5*h**2 + 2. Let f be y(5). Suppose x - 17 = -3*g, -2*g + 2 + f = 0. Is 11 a factor of x?
True
Let d be (-7)/((-14)/68) - 0. Suppose -5*y = -4*z + 46, 0*y = -3*z + 4*y + d. Is 6 a factor of z?
False
Let w be -14*(-1 + 2) - 0. Let v = -22 - w. Let r = 32 + v. Is r a multiple of 13?
False
Suppose 4*o - 62 = 262. Suppose 48 = 2*a + 2*b, 0*a - o = -4*a - b. Is a a multiple of 6?
False
Let t = -4 - -2. Let q be 2 - (t - (-1 - -55)). Suppose u + 0*u = q. Does 27 divide u?
False
Let q(u) be the third derivative of -3*u**4/4 - u**3 - 7*u**2. Is q(-5) a multiple of 27?
False
Suppose -2*o - 3*j = 2*j - 28, o = 3*j - 8. Let f be (2 - o)/(4/(-6)). Suppose 2*r + f = r, -c + 4*r + 17 = 0. Is c a multiple of 2?
False
Let w = 531 + -303. Is w a multiple of 12?
True
Suppose -3*o = -5*a + 340, -6*a - 4*o = -4*a - 162. Does 19 divide a?
False
Does 25 divide ((-9)/18)/(2/(-100))?
True
Suppose -4*b = -6*b + 4. Suppose 3*y - 270 = -b*y. Is y a multiple of 18?
True
Suppose 5*v + v = 30. Suppose 48 = v*q - 3*q. Is q a multiple of 11?
False
Suppose -3*x - 3*w = -12, 10 = 2*x + 2*x + 2*w. Suppose -k + 5*m + 25 = -6*k, -3*k - m = 13. Does 16 divide k/(1/x)*-4?
True
Let g = 4 + -2. Suppose -7*i + 2 = q - 3*i, q - 2*i - g = 0. Suppose -2*a = q*a - 48. Is a a multiple of 11?
False
Does 4 divide 7 - 0 - (8 - 10)?
False
Suppose 0 = 3*p - l - 9, l + 2*l = 0. Let d(n) = 0*n - 11*n**3 - n + p*n + 2*n**2 + 1. Is d(-1) a multiple of 8?
False
Suppose 14*h = 18*h - 8. Suppose -n = h*w - 85, -n = -w - 0*n + 50. Is w a multiple of 15?
True
Let a = -182 + 322. Is 6 a factor of a?
False
Let f(u) = 2*u**3 - u**2 + 2*u + 2. Is f(3) a multiple of 6?
False
Suppose -7*m + 4*m = 0. Suppose -3*q = 3*g - 42, -2*q - 3*g = -21 - 7. Suppose y - q = -m*y. Is y a multiple of 7?
True
Let t be 205/9 + 6/27. Does 23 divide (13 + -11)/(1/t)?
True
Suppose 4*q + 177 = 3*k, -q + 5*q + 2*k + 202 = 0. Let s be -1*q/(-4 - -2). Let y = s - -48. Is 21 a factor of y?
False
Suppose 78 = -5*d - 0*d + 2*o, -4*d + 4*o - 72 = 0. Let z = 28 + d. Is 14 a factor of z?
True
Suppose -5*i + 95 = 2*b, 4*b - 2*i + 0*i - 250 = 0. Is b a multiple of 10?
True
Let a(l) = l**3 + 6*l**2 + 4*l - 5. Let w be a(-5). Suppose 12 + 18 = 5*p. Suppose w = h - p. Does 4 divide h?
False
Suppose 23*t = 17*t + 540. Does 15 divide t?
True
Suppose 2*h - 1 = -17. Does 5 divide 21 + h + 4/2?
True
Let c(p) = 2 - 1 - 7*p - 4*p. Let v be c(-1). Let x = v + 31. Is 13 a factor of x?
False
Let z be (-12)/(-6) - 4/2. Suppose a - 57 = 4*n, -5*a + 2*n + 231 = -z*n. Is 13 a factor of a?
False
Let o = -6 - -15. Let z be 2/9 + (-227)/o. Let k = z - -50. Is 9 a factor of k?
False
Let w(f) = 2*f - 6. Let k be w(5). Suppose -5*p + 287 = k*t + 67, 5*p = 4*t + 180. Is 14 a factor of p?
False
Let o(u) = -u**2 - 5*u + 8. Let w be o(-6). Let p(n) = -6*n**2. Let i be p(w). Let t = -12 - i. Is t a multiple of 9?
False
Let k be 108/(-15)*(-19 + -1). Suppose -f - k = -3*f. Does 24 divide f?
True
Suppose -v = v - 56. Does 7 divide v?
True
Let x(c) = -6*c - 8. Is 17 a factor of x(-8)?
False
Let l(m) be the first derivative of m**4/4 + 4*m**3/3 + m**2 + 2*m + 6. Does 2 divide l(-2)?
True
Suppose -2*u + 2*d + 130 = -u, -2*d = 2*u - 242. Let x be u/(-10)*-5*1. Suppose -3*k + 8*k = 3*j + 56, j = 5*k - x. Is 10 a factor of k?
False
Let c(t) = -t**3 + 2*t**2 + t + 10. Is 32 a factor of c(-5)?
False
Let j = 4 + -1. Let v = j - 0. Is 14 a factor of v/(((-45)/(-42))/5)?
True
Let m(y) = y**3 + 2*y**2 - 3*y + 1. Let t be m(-3). Suppose 3*v + t = 2*v. Is (50/(-6))/(v/3) a multiple of 8?
False
Let j(m) = 41*m + 1. Let t be j(3). Suppose 0 = 4*b - t - 12. Suppose 3*x = 3*o - 69, -3*o + 11 = 3*x - b. Is o a multiple of 19?
True
Suppose -3*u + 44 + 19 = 0. Suppose -3*y + 18 + u = 0. Let a = y + -5. Is 5 a factor of a?
False
Let l = 18 - 13. Let a = -26 + l. Let b = a + 39. Is 11 a factor of b?
False
Let s be 4/((1/8)/1). Let m(r) = r + 9. Let w be m(-4). Suppose -w*x + s = -8. Is x a multiple of 8?
True
Let u(d) = -d**3 + 9*d**2 + 5*d - 21. Is 18 a factor of u(8)?
False
Let d = -18 - -29. Does 3 divide d?
False
Let r(p) = 4*p + 1. Let q(m) = -5*m - 1. Let y(s) = -3*q(s) - 4*r(s). Let x be y(-7). Suppose 68 = -2*u + x*u. Is u a multiple of 17?
True
Suppose 15 + 0 = -5*w. Suppose 5*z + 44 = -41. Let n = w - z. Does 14 divide n?
True
Suppose s - 4 = 1, 0 = 4*f + 5*s - 45. Suppose 5*p = 0, 3*p - 280 = -f*g - p. Is 22 a factor of g?
False
Suppose -w + 4 = 2. Suppose w = d - 5. Is 3 a factor of d?
False
Let q(k) = k**3 - 8*k**2 + 5*k - 3. Let h be q(3). Does 33 divide (h/(-6))/(1/6)?
True
Is 31 - ((-12)/6 + 1/(-1)) a multiple of 17?
True
Let r(k) = -5*k + 6. Is 15 a factor of r(-3)?
False
Suppose 3 - 8 = 5*b. Let l be b*(-5)/((-10)/8). Does 7 divide (-3 - 9)/(l/6)?
False
Let w = -71 - -212. Is 13 a factor of w?
False
Let i(w) = 17*w**3 + w**2 - 2*w + 1. Let d be -1*(1 + (-8)/4). Is 17 a factor of i(d)?
True
Suppose 2*h = 25 + 11. Is h a multiple of 9?
True
Suppose 2*m + 3*m = 15. Let s(r) = -2*r**3 + 3*r**m - 3*r - 5*r**2 + 1 + 0. Is 17 a factor of s(6)?
False
Let k(u) = 5*u**3 - 3*u + 4. Is 6 a factor of k(3)?
False
Let b = 0 - 3. Let r(a) = -a**3 - a**2 + 3*a. Is r(b) a multiple of 5?
False
Let y = 202 + -62. Does 20 divide y?
True
Let i be 12/(-2)*(-2 + 8). Suppose -5*z = -k + 16, 0*z + 4*k + 4 = 3*z. Is i/6*z/6 a multiple of 3?
False
Suppose 3*z - 24 = z. Let p(q) = q**3 - 12*q**2 + 8. Is 4 a factor of p(z)?
True
Let z = -2 - -2. Suppose 2*h - 7 + 1 = z. Is 78/8 + h/12 a multiple of 7?
False
Suppose 170 = -4*k - k. Let g = 58 + k. Does 12 divide g?
True
Let m = 37 - 30. Is 2 a factor of m?
False
Let c(d) = 8*d**2. Let f be c(1). Suppose -b + f = -2*b. Let t(l) = -l**2 - 10*l + 11. Is t(b) a multiple of 12?
False
Suppose 40 = 5*o - 40. Suppose -2*p + 3*p - o = 0. Is 8 a factor of p?
True
Let n(m) = -2*m + 1. Let k be n(3). Let d = 39 + k. Is d a multiple of 16?
False
Suppose 2*y - 12 + 2 = 0. Suppose -3*i + 34 = -5*z + i, -y*z = -i + 31. Does 3 divide z/(1 - 4) - -1?
True
Let s = 24 - 10. Does 14 divide (-2 - -5)/(2/s)?
False
Let j(w) = 3*w + 15. Let i be j(13). Suppose -f = -1 - i. Does 11 divide f?
True
Suppose -4*v + 13 = 3*q - 3*v, 0 = -5*q - 4*v + 24. Suppose -4*s + 5*a - 78 + 207 = 0, q*s - a = 109. Is s a multiple of 13?
True
Does 6 divide 62 - (-4)/((-12)/15)?
False
Suppose 0 = -5*j - 4 + 174. Does 9 divide j?
False
Suppose -4*p = -0 + 8. Let c be (-22)/(-4) + p/4. Is (-4)/c*50/(-4) a multiple of 6?
False
Let b(l) = -l**3 + 1 + 0*l**3 + 2*l**2 - 2*l + 4*l. Let x be b(-1). Suppose 20 = 6*i - x*i. Is 5 a factor of i?
True
Let a be 42/12 - 1/(-2). Suppose -10 = -a*b + 22. Does 7 divide b?
False
Let w be 80/(-50)*5/(-2). Is 19 a factor of (-2 + 4)/(w/38)?
True
Suppose 2*d - 6*d + 409 = -5*q, 4*d - 4*q - 412 = 0. Let a = 79 + -151. Let k = a + d. Is 15 a factor of k?
False
Suppose -5*j + 4*j + 17 = 0. Does 5 divide j?
False
Is (-8 - -7)/(2/(-42)) a multiple of 7?
True
Let j(m) = m - 8. Let f be j(-4). Let c = f - -21. Does 9 divide c?
True
Let r(d) = d**3 - 4*d**2 + 2*d - 5. Let i(o) = 2*o - 2. Let s be i(3). Does 3 divide r(s)?
True
Suppose 4*m - m = 0. Suppose 6*b - 3*b - 57 = m. Does 6 divide b?
False
Let k = 11 + -11. Suppose 3*l - 133 - 20 = k. Is l a multiple of 17?
True
Suppose -5*f + 5*r + 15 = 0, 3 = -3*f - 3*r - 0. Let y = 23 - f. Is 6 a factor of y?
False
Let x = 34 + 14. Let p = x - 27. Is 7 a factor of p?
True
Let z(w) be the first derivative of 4*w**2 - w - 1. Is z(2) a multiple of 15?
True
Let o(c) = -6*c - 9. Is 21 a factor of o(-12)?
True
Suppose -5*h - 3*c = -1, -5*c - 8 - 7 = 0. Suppose -h*o + 16 = 2*o. Does 2 divide o?
True
Let y(z) be the first derivative of -z**3/3 + 11*z**2/2 - 6*z + 1. Does 6 divide y(7)?
False
Let q = -66 + 106. Is (-8)/q - 81/(-5) a multiple of 4?
T