f 2?
True
Suppose 3*h + 2*h = -10. Is 15 + (-3 - 1)/h a multiple of 6?
False
Let i(u) = -u**2 + 20*u + 21. Does 20 divide i(9)?
True
Suppose 183 = 3*q - 2*i - i, -q = -3*i - 63. Does 15 divide q?
True
Suppose -11*u + 85 = -234. Is u a multiple of 6?
False
Let f be ((-18)/(-8))/((-3)/8). Let h(b) = -2*b - 9. Is h(f) a multiple of 2?
False
Let w(m) = -m**3 + 7*m**2 - 2*m + 2. Let t(g) = -g**3 - g**2 + 4*g. Let q be t(-3). Does 13 divide w(q)?
True
Let v(d) = -4*d**3 - 2*d - 1. Let u = 3 + -4. Let r be v(u). Let p = 8 + r. Is 13 a factor of p?
True
Suppose -3*k = -8 - 1. Suppose 6*s = k*s + 48. Is s a multiple of 14?
False
Let q be (-388)/(-5) - (-6)/(-10). Let x = 111 - q. Does 17 divide x?
True
Let f(y) = -y**3 + 15*y**2 - 20*y - 5. Is f(9) a multiple of 23?
False
Suppose 2*a + 2*a = 20. Suppose -a*f + 23 + 7 = 0. Is f a multiple of 3?
True
Let s(w) = -w + 10. Let a be s(7). Let x be (-2)/(-1*2/a). Suppose -25 - x = -4*g. Does 7 divide g?
True
Suppose y = 3*y + 728. Is (y/8)/(-7)*10 a multiple of 12?
False
Suppose 3*x - 54 = 183. Suppose -x = -2*f - t, -3*f + 4*t + 108 = 2*t. Is f a multiple of 13?
False
Does 25 divide -1*(2 - (69 - 4) - -2)?
False
Let s(z) = 7*z**2 + 5*z + 11. Is s(-6) a multiple of 28?
False
Suppose 16*p - 736 - 112 = 0. Is 5 a factor of p?
False
Let o be 0/(4/2 + 0). Is 10/(1 + o/2) a multiple of 10?
True
Let o be 42/(-10) - 1/(-5). Let t be 0/(o/2*-1). Suppose -2*k - 7 + 47 = t. Is 7 a factor of k?
False
Let u = -12 - -31. Suppose -4 = -q + 2*k, -u = 4*q - 0*k - k. Is 5 a factor of 2*2 + q + 7?
True
Suppose -18 = -4*x + 6. Suppose -4*v - 34 - x = -3*y, -3*v = -4*y + 65. Does 20 divide y?
True
Suppose 20 = 8*r - 7*r. Is r a multiple of 5?
True
Let l(y) = 5*y + 2 - 5*y - 2*y. Suppose -2 = i + 1. Is l(i) a multiple of 5?
False
Let z(r) = -r**3 - 15*r**2 - 17*r + 14. Is z(-14) a multiple of 14?
True
Let r be (-4)/(-2) - (2 - -14). Let n be r/(-8) + 1/4. Suppose 0 = n*d - 15 + 3. Does 6 divide d?
True
Suppose -4 = 3*q - 13. Suppose 0 = 3*y + i - 123, 3*y - 117 = -0*i - q*i. Is y a multiple of 14?
True
Suppose -9*f = -17*f + 200. Is f a multiple of 5?
True
Let g(m) = m**3 + 5*m**2 - m + 7. Let i(k) = -k**3 + 14*k**2 - 14*k + 8. Let c be i(13). Is 5 a factor of g(c)?
False
Suppose 0 = g + 2 - 16. Let b = g - -6. Does 11 divide b?
False
Let t(l) = -l**3 + 13*l**2 - 12*l + 50. Is 19 a factor of t(12)?
False
Suppose -2*j - 69 = 4*p + 13, 5*j + 43 = -p. Let v be (-4)/(-18) + (-20)/9. Let g = v - p. Is g a multiple of 9?
False
Let u be (-7 + 3)/(-4) - 10. Is (23 - 0)*(10 + u) a multiple of 14?
False
Let y = -11 - -6. Let w = y + 5. Suppose -c + 2*c - 4*r - 1 = w, 20 = 4*r. Is 8 a factor of c?
False
Suppose 4*s + o - 366 = 91, 477 = 4*s + 5*o. Suppose 0 = -4*q + x + s, 0 = -4*q + x - 2*x + 119. Is q a multiple of 18?
False
Suppose 34 - 4 = 3*x. Let d = x - 6. Suppose 0*m - 68 = -d*m - 4*k, 3*k = -5*m + 75. Is m a multiple of 6?
True
Suppose -3*g - 13 = -85. Is 11 a factor of g?
False
Let y(r) be the second derivative of -r**3/3 - 5*r**2 + 2*r. Let p be y(-9). Is 2 a factor of 1 + (p + 0)/2?
False
Let f = 3 + -7. Let y = f - -8. Suppose 2*h - y*r = 34, 5*r = -h + 3*h - 37. Is 8 a factor of h?
False
Let a be (-2 + (-9)/(-2))*2. Suppose 0 = -4*r + a*d + 96, 0 = -5*d + d - 16. Is 8 a factor of r?
False
Let r(g) = -g**2 + g - 3. Let b be r(0). Let y = 5 + b. Suppose y*i - 35 = -3*i. Is 6 a factor of i?
False
Let p(v) = 6*v**2 + v - 1. Let m be (-6)/(-4) + (-4)/(-8). Let s be p(m). Suppose -4*u + t = -7*u + s, 3*u + 2*t = 26. Is 3 a factor of u?
False
Let l = -82 + 188. Is 20 a factor of l?
False
Let j be 26*3*(-2)/2. Let h = j - -173. Is h a multiple of 19?
True
Suppose 15*u + 372 = 16*u. Is 14 a factor of u?
False
Let s(r) = 28*r**3 + r**2 - 8*r + 11. Is 9 a factor of s(2)?
False
Let n(w) = 0 + w**2 + 5*w - 3 + w**2 + w**2. Does 18 divide n(3)?
False
Suppose -6 = -3*r - 0, 2*r - 34 = -3*p. Let j be ((-15)/p)/((-3)/4). Suppose 3*f = 4*m - 209, -4*f - 63 = -j*m + 49. Is 19 a factor of m?
False
Suppose 4*f + 0*q = -2*q + 6, -2*f - 5*q - 9 = 0. Suppose -f*w = -3, -2*z + 4*z - 2*w = 52. Let c = z - 12. Does 12 divide c?
False
Let r(y) = 3*y**3 - 2*y**2 - 2*y + 2. Let f be r(-2). Let u = 2 - f. Suppose 0 = 3*o - u - 83. Does 19 divide o?
False
Let u(l) = -9*l - 9. Let w be u(13). Does 15 divide 1130/18 - 28/w?
False
Suppose -2 = -4*c + 6. Suppose -c*v = -0*v. Suppose v = 5*t - 0*k - 5*k - 145, 0 = -4*t + 3*k + 117. Is 10 a factor of t?
True
Let j(n) = 4*n**3 + n**2 - 9*n + 9. Let d(o) = 6*o**3 + o**2 - 14*o + 14. Let p(i) = 5*d(i) - 8*j(i). Is 19 a factor of p(-3)?
True
Let p be (-18)/(-2 + 22/12). Does 12 divide 70/(-4)*p/(-45)?
False
Suppose -j + 151 = 2*a - 2*j, 0 = a + j - 74. Is a a multiple of 9?
False
Let q = -193 + 226. Is 3 a factor of q?
True
Suppose d + 2*c + 2*c = 16, 0 = 5*d + 3*c - 63. Is d a multiple of 4?
True
Let v = 2 + -20. Let k = 132 - 76. Let t = k + v. Is t a multiple of 19?
True
Let c = -1 - -7. Is 12 a factor of (-2)/c*-2*36?
True
Let g(a) = -a**2 - 9*a - 4. Let i be g(-8). Suppose -3*t + 4*z + 69 = 0, i*t - 3*z - 111 = -4*z. Is t a multiple of 6?
False
Let q(n) = 2*n**2 + 18*n - 14. Does 15 divide q(-13)?
True
Let z = 270 + -111. Suppose -4*b + z = 43. Does 19 divide b?
False
Suppose -4*r = 2 - 146. Is 5 a factor of ((-8)/12)/((-3)/r)?
False
Let y = 3 - -2. Suppose 2*v = 5*v + 2*f - 124, y*v = f + 211. Does 7 divide v?
True
Let o(x) be the second derivative of x**4/24 + 23*x**3/3 - x**2 - x. Let c(q) be the first derivative of o(q). Is c(0) a multiple of 17?
False
Suppose -27 = 4*r - 91. Suppose m + m = r. Is 6 a factor of m + (1 - (-2 + 0))?
False
Let u(m) = -3*m. Suppose 0 = -2*o - o - 12. Let t(k) = k**3 + 3*k**2 - 3*k + 2. Let g be t(o). Is 4 a factor of u(g)?
False
Let j(b) = -22*b + 1. Let k be j(1). Let x = k + 54. Does 11 divide x?
True
Let g(k) = k**3 - 3*k**2 - 3*k. Let j be g(4). Let i = 120 + -60. Suppose j*f = -f + i. Does 9 divide f?
False
Let s = -5 - -8. Let j be 6*((-42)/4 + s). Does 2 divide 1/(-2 + j/(-21))?
False
Suppose 3*y + 2*y = -50. Does 9 divide 90/4*(-16)/y?
True
Let q(n) be the first derivative of -8*n**2 - 3*n + 1. Is q(-2) a multiple of 11?
False
Let b = -55 + -7. Suppose 4*v + 4*o + 140 = 0, v - o + 109 = -2*v. Let w = v - b. Does 10 divide w?
False
Let c = -2 + 7. Suppose 2*d = 0, c*u + 3*d = 5*d + 10. Suppose 5*o = u*r - 36, -5*o - 7 = 3. Does 7 divide r?
False
Let p = 5 + 0. Suppose 0 = -p*l + 4*l + 9. Is l a multiple of 9?
True
Does 20 divide -50*(72/20 - 4)?
True
Suppose 2*h + 20 = 5*o + 2, 4*o = -h + 4. Let d = -15 + 30. Does 10 divide h*d/(-3)*1?
True
Let u(k) = 17*k + 4. Is 41 a factor of u(7)?
True
Let h be 2/1*126 - -3. Suppose o = 6*o - h. Is o a multiple of 9?
False
Does 17 divide (-2 + -1)*136/(-12)?
True
Let w(v) = -v**2 + 4. Let h be w(0). Suppose 7*u - 1267 = 28. Suppose h*a = -a + u. Is 11 a factor of a?
False
Suppose -j - 5 = g, 3*j + g = -5 - 2. Let v(c) = 20*c**2 - c - 7. Let q(d) = 19*d**2 - d - 6. Let p(l) = 6*q(l) - 5*v(l). Is 7 a factor of p(j)?
True
Let n(r) = 4*r**2 - 27*r + 15. Let o(d) = -2*d**2 + 13*d - 7. Let k(a) = -6*n(a) - 13*o(a). Is k(5) a multiple of 16?
True
Let m(h) = h**3 + 7*h**2 + 7*h + 7. Let t = -3 - 3. Let y be m(t). Suppose -12 = -k + y. Is k a multiple of 5?
False
Let r be (4/(-6))/(4/30). Is 135/6*(-6)/r a multiple of 16?
False
Suppose 3*l + m - 74 = 0, 4*l - 3*m - 2 = 114. Is 15 a factor of l?
False
Let o(r) = -8*r**3 - r**2 + 6*r + 1. Let y(i) = -7*i**3 - i**2 + 5*i + 1. Let b(c) = -4*o(c) + 5*y(c). Let j = 2 + -3. Is b(j) a multiple of 2?
True
Let d(v) = v**2 + 6*v + 3. Suppose h + 21 = -2*h. Is d(h) a multiple of 5?
True
Suppose -5*i + 3 = 33. Let t(d) = d**2 + 6*d. Let v be t(i). Does 13 divide -2 + v - (0 - 28)?
True
Let k(u) = -u + 3. Let t be k(7). Is 2 a factor of (-35)/(-11) - t/(-22)?
False
Is 12 a factor of (54/21)/((-15)/(-140))?
True
Let s(w) = -9*w + 6. Is s(-10) a multiple of 13?
False
Let w = 47 + -112. Let f = 101 + w. Does 12 divide f?
True
Let d(o) = 17*o**2 + 1. Let z = 4 + -4. Suppose 3*m - 6 + 3 = z. Does 18 divide d(m)?
True
Let m(w) = w**3 - 4*w**2 + w + 1. Let o be m(3). Let a = o - -56. Does 24 divide a?
False
Suppose 4 = -4*z - l + 3, -5 = -4*z - 3*l. Let b be z + 0 + 0 + -1. Is 16 a factor of 13*3 - b/(-1)?
Fal