 divide j?
True
Suppose 0 = -2*i + 3*i + 4. Let x(h) = -h**3 + 10*h**2 + 13*h - 10. Let q be x(11). Is 15 a factor of 0 - -12 - q/i?
True
Does 11 divide 66*(0 + (-5)/(-10))?
True
Let u(g) = -2*g. Suppose 9 = 3*w - 3*r + 2*r, 3*r = -2*w + 17. Suppose o + 0 = -w. Is u(o) a multiple of 4?
True
Let a(o) = -2 + 2*o + o**2 - o + 2*o. Let q(l) = -l - 1. Let i be q(3). Is 2 a factor of a(i)?
True
Let v = -38 - -22. Let y = v + 28. Suppose -u + y = 1. Does 11 divide u?
True
Suppose j + 141 = f - 3*j, -292 = -2*f + 3*j. Is f a multiple of 12?
False
Let y = -36 + 53. Is 6 a factor of y?
False
Let c(j) = -j**3 + j**2 + 2*j + 1. Let m be c(-2). Let x = -2 + m. Is x a multiple of 7?
True
Let y(l) = -19*l**3 - 3*l**2 - 2*l - 3. Is y(-2) a multiple of 18?
False
Let o be (-2)/(-9) + (-86)/(-18). Suppose 0*l + 15 = o*l. Is l even?
False
Let q = -79 + -11. Let h = -186 - q. Let n = -52 - h. Does 18 divide n?
False
Let y be (-6)/(-12) + 17/(-2). Let a = 19 + y. Suppose 0*b - a = -b - 3*v, 4*b = 3*v + 89. Is 10 a factor of b?
True
Suppose -3*n + b = -50, 4*n + 4*b - 45 = b. Does 3 divide n?
True
Suppose -2*y - 304 = -4*y. Suppose 0 = -2*u - 40 + y. Does 14 divide u?
True
Suppose 0 = 7*h - 3*h - 148. Does 17 divide h?
False
Let w be (-5)/(-2)*(-8)/(-10). Let g(m) = m**2 - 2*m + 3. Let b be g(w). Suppose t - b*t = -10. Is 3 a factor of t?
False
Let u(g) = g**3 + 10*g**2 + 10*g + 12. Let c be u(-9). Suppose c*m + 85 = 5*m + 5*s, m = -4*s + 50. Suppose y - 17 = -k, 0*y - y = 2*k - m. Does 13 divide k?
True
Suppose -5*x + 4*l + 30 = 0, 2*l = 2*x - 0*l - 14. Suppose r - 2 = -2*k, 0*r = -2*k + r + x. Does 12 divide k + (12 - (2 - 3))?
False
Suppose -n + 10*n - 324 = 0. Is 5 a factor of n?
False
Let g(u) = -u**3 + 9*u**2 + 15*u - 24. Does 12 divide g(10)?
False
Let w(o) = o**2 - 2*o + 5. Let j be w(2). Suppose 5*d - 26 = -k - 0*d, 0 = k + 3*d - 16. Suppose 3*t - k - 5 = 0, -4*t + 83 = j*h. Is h a multiple of 15?
True
Let w = -1 + 3. Suppose 0 = r + w*r - 3. Is 8 a factor of -4*(-4 + 2)*r?
True
Does 5 divide (-5)/((-10)/12)*2?
False
Suppose 3*m + 3*w = 36, 0 = 5*m + 4*w + 31 - 86. Let z = m + 13. Let h = 45 - z. Is h a multiple of 10?
False
Is 25 a factor of (-3)/1 - 53/(-1)?
True
Let j = -29 - -48. Does 7 divide j?
False
Suppose 6*s = -66 + 1842. Is 42 a factor of s?
False
Let t(o) = 2*o. Let j be t(-1). Let f = j - -4. Suppose f*q - 50 = -3*q. Does 7 divide q?
False
Suppose f = -0*f - 4*r - 11, f - 14 = r. Let l(w) = -w**2 + 11*w - 1. Does 6 divide l(f)?
False
Is 1 + 7/(21/258) a multiple of 18?
False
Suppose -8 = 2*h, 0*f + 44 = 4*f - h. Let c = 6 - f. Does 9 divide (2/(-4))/(c/176)?
False
Let k(i) = i + 3. Suppose -5*b - 43 + 133 = 0. Suppose 0*q = 3*q - b. Is k(q) a multiple of 9?
True
Let a = 41 + -7. Is 17 a factor of a?
True
Let f(k) = 8*k**2 - 2*k - 1. Let o be f(-1). Suppose -3*w + o = -45. Is w a multiple of 9?
True
Let m(w) = w + 8. Let b(s) = 2*s + 15. Let k(h) = -3*b(h) + 5*m(h). Is 4 a factor of k(-11)?
False
Let a = -1 - -29. Is 14 a factor of a?
True
Suppose 18 - 58 = -5*j. Suppose -m - m + j = 0. Is 3 a factor of (-2 - m)*8/(-6)?
False
Let f be (13 - 2) + (-1)/(-1). Suppose 41 = l + 4*x, 3*l = -2*x + 65 + 8. Is 2 a factor of 4/(f/l) - 2?
False
Does 9 divide 8/12 + (-75)/(-9)?
True
Let y be ((-28)/3)/(5/15). Let h = y + 43. Is 15 a factor of h?
True
Let p = -7 + 10. Suppose 2*r + p = 29. Is 4 a factor of r?
False
Let u(m) = -48*m - 2. Let r = 2 + -4. Let j be u(r). Suppose -j = -4*z - 22. Is z a multiple of 9?
True
Let x be (-57)/(-12) - (-5)/20. Suppose x*c = 3*p - 0 - 59, 4*p - 137 = -5*c. Is p a multiple of 14?
True
Suppose w = 29 - 5. Is w a multiple of 6?
True
Let r(q) = -q + 36. Is 7 a factor of r(18)?
False
Let r(q) = q - 4. Let y be r(5). Suppose -w = -y, 4*w - 34 = 3*d - 0*d. Is d/(-2) + (-6)/3 a multiple of 3?
True
Let d(x) = -x**2 + x + 24. Let u be d(0). Suppose -3*a + 7*a = u. Is 5 a factor of (-8)/(-6)*27/a?
False
Let i = -1 - -8. Let g be (12/14)/(1/i). Does 5 divide 3*g*(-6)/(-18)?
False
Let f(t) = -2*t + 17. Is f(5) a multiple of 2?
False
Let j be (-2)/(1 - 14/10). Suppose 0 = -4*a + j*x - 113, -2*a + 2*x = 2*a + 98. Let i = 43 + a. Is 21 a factor of i?
True
Let p(g) = 3*g**2 - g - 3. Let n be 6/(2 - (-1 - -1)). Does 7 divide p(n)?
True
Let s be 5*16/(-2 + 0). Let i = s - -64. Is i a multiple of 14?
False
Let j(b) = b**2 - b - 1. Let o be j(0). Let y(x) = -49*x - 2. Is 17 a factor of y(o)?
False
Does 33 divide (1 - (-11)/(-13)) + 13712/104?
True
Let p = 12 - 8. Suppose -108 = -2*o - o. Suppose -20 = 5*x, x + o = p*w - 2*x. Does 3 divide w?
True
Let w(q) = q - 1. Let o(k) = -5*k**2 - 2*k + 2. Let f(l) = o(l) + w(l). Let y be f(-2). Let c = y - -39. Is c a multiple of 22?
True
Let n = 2 + -2. Suppose 3*y - 40 = -x, n*x = -2*x - 4*y + 78. Is x a multiple of 11?
False
Suppose 5*q - 83 = -5*c + 2*c, 0 = 4*q + 20. Is c a multiple of 16?
False
Suppose 0 = -3*j + p + 7, j - 4*p = -2*j + 10. Suppose 3*g - 65 = -4*f, -j*g - 3*f + 3 = -40. Let y = -5 + g. Does 18 divide y?
True
Suppose z + 3*z - 200 = 0. Suppose -3*h = z - 131. Is h a multiple of 15?
False
Let a(k) = -4*k**3 + 2*k + 1. Let l be a(-1). Suppose -5*u + l*u + 46 = 0. Is 15 a factor of u?
False
Suppose 3*t - 74 + 2 = 0. Let c be ((-2)/(-3))/(2/t). Suppose k + 5*h = -c, 5 = -h + 3. Is 2 a factor of k?
True
Let g be 5/(-4) + 1/4. Let l = 1 - g. Suppose 0*n + 6 = l*n. Is n a multiple of 2?
False
Suppose 0 = j + 6 - 2. Is (-2)/j + (-18)/(-4) a multiple of 3?
False
Let b(o) be the first derivative of 1/3*o**3 + 1 + 0*o**2 - 2*o - 1/4*o**4. Does 10 divide b(-2)?
True
Let r(u) = -u + 0*u + 33 + 14. Let v = 16 - 16. Is 16 a factor of r(v)?
False
Suppose 7 = 4*m - 1. Suppose 5*p - m*q - 84 = 36, 0 = -5*p - 3*q + 120. Does 15 divide p?
False
Let z(f) = -3*f**3 + f + 1. Let d be z(2). Let v = d - -33. Does 6 divide v?
True
Suppose 3*k - 4 + 15 = -2*m, -2*m - 5 = -3*k. Let h = k - -8. Suppose -j = -0*j - h. Is j a multiple of 3?
False
Suppose 2*l + 118 = 3*f + l, 2*f - 84 = -2*l. Suppose -3*c - 2*c = -f. Is 7 a factor of c?
False
Suppose 3*z + 116 - 325 = -j, -z = -2*j + 453. Is 16 a factor of j?
True
Suppose -1566 + 426 = -12*r. Does 19 divide r?
True
Suppose -2*b + 0*b = 0. Let y = b - -18. Is 9 a factor of y?
True
Let j be 10/4*(-14)/(-1). Let g be 0 - -2 - j/(-5). Suppose 2*f = f + g. Is f a multiple of 7?
False
Suppose 2*h - 43 = -5*u, 2*h + 2*h - 94 = -2*u. Suppose -3*q - h = -2*q. Is 13 a factor of -1 - (q + 1)*1?
False
Suppose -9 = -2*z + 25. Suppose -3*f - l + 1 = -0*l, -3*l = -5*f - 3. Suppose f*s = -s + z. Does 8 divide s?
False
Let t(q) = -q**2 - 6. Let a be t(0). Let y(w) be the first derivative of -w**4/4 - 2*w**3 - w**2 - 6*w - 14. Is y(a) a multiple of 4?
False
Suppose s - 20 = -4*c, -2*s + 5 = c + s. Suppose 4*n = 0, 3*n = -c*o - n - 15. Is 34/((-4 - o)/(-2)) a multiple of 18?
False
Suppose -32*t - 1012 = -43*t. Does 46 divide t?
True
Let m(z) = 2*z + 7. Is m(7) a multiple of 21?
True
Suppose 4*c - 1 = 11. Suppose -s + 5*u = c*u - 6, 6 = 2*u. Is s even?
True
Let c(d) = 24*d - 107. Is c(8) a multiple of 4?
False
Let u(c) = c + 6. Is u(6) a multiple of 6?
True
Let b be ((-1)/(-2))/((-1)/(-50)). Suppose -2*y = -y - b. Does 11 divide y?
False
Let v(l) = l**2 + l + 37. Suppose 0 = 3*z - 0*z. Is v(z) a multiple of 10?
False
Suppose 4*t - 16 = 0, -4*p + 9*t - 4*t - 28 = 0. Let o be -32 + p - (-2)/(-1). Let b = -4 - o. Does 11 divide b?
False
Let w be (-4)/((-12)/(-15)) + -2. Let j(b) = -2*b. Is j(w) a multiple of 8?
False
Suppose -5*v + 1 = 71. Let a = v + 0. Is 274/10 - a/(-35) a multiple of 9?
True
Let o(z) = z - 2. Let n be o(7). Suppose 3*t = n*u + 25, 3*u = 5*t - 22 + 7. Suppose 3*v - 2*v - 24 = t. Does 12 divide v?
True
Let f(h) = -2*h + 2. Let l be f(1). Suppose 2*o - 15 - 17 = l. Does 8 divide o?
True
Let s(i) = -i + 15. Let p(l) be the third derivative of -l**4/24 + 2*l**3/3 + l**2. Let j be p(-3). Does 4 divide s(j)?
True
Suppose 38 = 3*g - 22. Is 5 a factor of (-2)/10 - (-204)/g?
True
Let z = 5 + -3. Suppose i = -z*p - 4 - 1, 2*i + 2*p + 4 = 0. Is 21 a factor of i + 17 + (4 - 1)?
True
Let c(p) be the first derivative of p**6/180 + p**5/60 - p**4/12 + 2*p**3/3 - 1. Let n(t) be the third derivative of c(t). Is 10 a factor of n(2)?
True
Let t = 18 - 8. Is 5 a factor of t?
True
