ivide h?
True
Let n be 2 + (-2)/1 - 2. Is 5/n*10/(-1) a multiple of 12?
False
Suppose 0*v - 2*v = a + 4, -a - 4*v - 12 = 0. Suppose -3*t - 4*q = -16, -a*t + 0*t + 5*q + 11 = 0. Is t even?
True
Suppose -8 = -f - f. Suppose -5*p + 4*k + 2 = -3*p, -p - f*k = 5. Is 16 a factor of 23 - (-1 + p)/(-2)?
False
Let y(f) = f + 12. Does 2 divide y(-6)?
True
Let c(d) = d**2 - 5*d + 2. Let z be c(5). Suppose o - z = -0*o. Suppose -5*f - o*y = -180, 5*y + 70 = 2*f - 2. Is f a multiple of 12?
True
Let a be ((-2)/(-6))/(4/60). Let m = a - 3. Suppose 2*r - 22 = m. Is 7 a factor of r?
False
Suppose 6 = 2*n + 2. Suppose -k + 3*k + 4*y + 120 = 0, -2*y + 324 = -5*k. Is 10 a factor of ((-3)/6)/(n/k)?
False
Let w = 15 - 7. Is 8 a factor of w?
True
Suppose -2*a + 6 = 0, l = -5*a + 32 - 7. Is l a multiple of 3?
False
Let r be 1/2 + 38/4. Suppose 5*b - r = 5. Suppose 4*i + 4*z - 140 = 0, 4*z - b = -7. Does 11 divide i?
False
Let j = -42 + 85. Does 8 divide j?
False
Suppose -5*h + 2*q + 498 = -374, -2*h - 2*q = -346. Is 58 a factor of h?
True
Let i(y) = -3*y**2 - y + 7. Let l be i(-8). Let z be (-2)/8 + l/(-4). Suppose 0 = -4*r - 4*h - 16 + 96, -2*r - h + z = 0. Does 8 divide r?
True
Suppose -6*m + 2*a + 56 = -3*m, 4*m - 3*a = 75. Is m a multiple of 13?
False
Suppose 18 = 3*j - 0*j. Is j a multiple of 5?
False
Let f(w) = -w + 9. Let h(a) = a + 6. Let i be h(0). Let c be f(i). Does 6 divide (1/(-2))/(c/(-78))?
False
Is (15/(-4))/((-2)/16) a multiple of 27?
False
Suppose 0 = -0*q - 3*q. Let v = 4 + q. Suppose 0 = v*l - 71 - 69. Is l a multiple of 16?
False
Suppose i + 100 = -2*r, -2*i + 194 = -4*r - 7*i. Let j = r - -98. Is j a multiple of 21?
False
Let j(h) = -h**3 + h**2 - h + 14. Let k be j(0). Let y = 18 + -11. Let d = k - y. Is d a multiple of 7?
True
Let m(k) = -11*k. Does 44 divide m(-16)?
True
Let c(s) = -s**3 + 4*s**2 + 4*s + 6. Let r be c(5). Let t = r - 1. Suppose 5*i - 70 = -t*i. Is i a multiple of 14?
True
Let k = 17 + -8. Suppose 3*f + 2*j = 3, 3*f = f - 5*j - k. Is 13/(f*(-1)/(-3)) a multiple of 9?
False
Let x(r) = -2*r - 23. Is x(-17) a multiple of 3?
False
Let g = -219 + 332. Let t = g - 67. Is t a multiple of 23?
True
Suppose c + 1 = 2. Does 15 divide c/(-3) - (-322)/21?
True
Let i(s) = 5*s**2 - 4*s - 17. Is i(-3) a multiple of 20?
True
Let o(u) = u**3 + 8*u**2 + 5*u + 2. Let z be o(-6). Let h = 79 - z. Suppose 2*c + 2*y - 20 = 0, -4*c - y = 2*y - h. Is 5 a factor of c?
True
Let l be (-46)/14 + 4/14. Suppose 25 = -5*b, -502 = 3*a + a + 2*b. Is -2*l/((-18)/a) a multiple of 19?
False
Suppose o = -4*o + 2*a + 25, -5*a = 0. Suppose 2*t + 3*u - 1 - 17 = 0, -o*t + 45 = 4*u. Suppose 0 = -2*p + p + t. Does 5 divide p?
False
Let z(d) = 41*d**2 + d. Is z(1) a multiple of 14?
True
Suppose 0*d + 239 = d. Suppose -1 - d = -4*c. Is 18 a factor of c?
False
Let z(s) = -1. Let t(m) = 7*m + 8. Let d(g) = -t(g) - 6*z(g). Let a(x) = -x + 1. Let l be a(4). Is d(l) a multiple of 8?
False
Let y = 3 + 1. Suppose -3*c - 45 = -2*t, -t + 68 = 2*t - y*c. Is t a multiple of 8?
True
Let w(o) = 5*o - 4*o + 0*o + 16. Let g be w(0). Is (13/(-4))/((-4)/g) a multiple of 10?
False
Let i be 33/1*(-2 + 1). Let u = i - -49. Suppose -4*k - 6*c + 3*c = -u, 2*k - 6 = -2*c. Is k even?
False
Let q(l) = 3*l - 3. Let m(h) = 4*h - 3. Let i(c) = 4*m(c) - 5*q(c). Let y be i(0). Suppose -6*s = -y*s - 12. Does 4 divide s?
True
Suppose 76 = 14*a - 13*a. Does 19 divide a?
True
Let p = -13 - -24. Let z(m) = -m**3 + 10*m**2 + 11*m - 5. Let j be z(p). Let t = j + 12. Does 7 divide t?
True
Let p(r) = -r**2 - r + 2. Let h be p(0). Suppose 4*q - 2*t - t - 17 = 0, -5*q - h*t = -50. Is q a multiple of 4?
True
Let h(j) = j**2 + 1. Let l be h(-3). Let g(s) = s**3 - 11*s**2 + 12*s - 7. Is 13 a factor of g(l)?
True
Suppose -3*o = -5*o - 60. Let l = 26 - o. Is 28 a factor of l?
True
Let g(q) = q**2 - 7*q + 8. Let v be g(6). Suppose -3*i - 2*i = -5*r - 330, 5*i = -v*r + 365. Is 18 a factor of i?
False
Let o(s) = -s**3 + 10*s**2 - 6*s - 9. Let p be o(8). Suppose 4*w = -3*f + 66, 22 + p = 5*f + w. Is 9 a factor of f?
True
Suppose 8*j = 3*j + 225. Suppose -j = -5*f - 5*v, 0 = v + 3*v + 8. Is f a multiple of 4?
False
Let v be (-38)/(-5) + 4/10. Suppose v*z - 4*z = 144. Is z a multiple of 12?
True
Suppose -1 = -2*v + 9. Let o = -78 + 122. Suppose -v*w + w = -o. Is 11 a factor of w?
True
Suppose -5*f - 9 = -3*o, -2*f = 2*o - 5*o + 9. Let y = 15 + o. Is y a multiple of 5?
False
Suppose 3 = -3*r, 5*g - 5*r + 13 = 143. Suppose m - g = 42. Is 18 a factor of m?
False
Let w(a) = a. Let g be w(2). Does 6 divide ((-2)/g - 1) + 14?
True
Let y be 3033/(-6) - (-2)/(-4). Let n be (-1)/4 - y/8. Let m = n + -37. Does 19 divide m?
False
Let d be (-148)/(-2) - (1 + -2). Let f = -45 + d. Suppose 0 = -5*c + 3*c + f. Does 13 divide c?
False
Let z(m) = -2*m - 1. Let j be z(1). Let d = j - -9. Let r = d - 2. Does 2 divide r?
True
Let c(b) = -2*b**2 - 2*b. Let v be c(2). Is 19 a factor of (4/v)/((-2)/114)?
True
Let m = 67 + -40. Is m a multiple of 3?
True
Let g(l) be the second derivative of -23*l**3/6 - 3*l**2/2 - 4*l. Let j(i) = 70*i + 10. Let p(r) = 10*g(r) + 3*j(r). Does 20 divide p(-1)?
True
Let z(l) = l**2 - 3*l + 5. Let n be ((-4)/(-3))/((-3)/(-9)). Does 8 divide z(n)?
False
Let a(z) = -z**2 + 7*z + 8. Is 8 a factor of a(6)?
False
Suppose -12*z = -14*z + 62. Is 12 a factor of z + 1 + 20/5?
True
Let u = 34 + -21. Is 13 a factor of u?
True
Let g = 28 - 15. Let u(d) = d - 2. Is u(g) a multiple of 4?
False
Suppose 0 = -4*r + r + 15. Let y = r - 3. Is 11 a factor of (3 - y)/(1/11)?
True
Let n(g) be the second derivative of 2*g - 3*g**2 - 1/2*g**3 + 0. Is n(-9) a multiple of 8?
False
Suppose -224 = -4*w - 0*m - 5*m, 199 = 3*w - 4*m. Is w a multiple of 19?
False
Let z(d) = -d**2 + d. Let i(t) = t**3 + 2*t**2 - 8*t - 3. Let k(u) = i(u) + 6*z(u). Does 6 divide k(5)?
True
Let i = -3 - -7. Suppose -i*z = -9*z + 70. Suppose -z = -q - c, -3*q - c = -0*c - 40. Is q a multiple of 13?
True
Suppose 3*v = 4*s - v + 32, 0 = 2*s + 2*v - 4. Let u = 8 + s. Let c = u - -2. Is c even?
False
Let z = 0 - -3. Suppose 7 = -z*u + 1. Does 11 divide (-66)/((-4)/u + -4)?
True
Let u(y) = 2*y**2 + y + 4. Let p be (6/(-4))/((-12)/16). Let d(l) = -l**2 + l - 1. Let a be d(p). Is 19 a factor of u(a)?
True
Let b(w) = -w**3 - 17*w**2 + 14*w + 15. Does 15 divide b(-18)?
False
Let p be 20*2/(4/9). Let l be (-2)/(0 - 3/p). Suppose 4*h + 5*m - 28 = 0, m = -4*h + 4*m + l. Is h a multiple of 6?
True
Let m be (-1 - -1)*(4 - 5). Suppose -4*h = -m*h. Is 20 a factor of 8*(h + 6 - 1)?
True
Let z(h) be the second derivative of h**4/12 - h**3/6 + 9*h**2 - 2*h. Is 7 a factor of z(0)?
False
Suppose 420 = -3*h + 6*h. Does 17 divide h?
False
Let s(p) = 112*p**3 + 6*p**2 - 14*p + 17. Let l(h) = 37*h**3 + 2*h**2 - 5*h + 6. Let t(q) = 17*l(q) - 6*s(q). Is 14 a factor of t(-1)?
True
Let c(i) = -i**3 - 6*i**2 + 9*i + 5. Let x be c(-6). Let p = x + 90. Does 15 divide p?
False
Suppose -2 = 2*o - 4, 0 = 5*i + 3*o - 18. Let t(a) = a**3 - 6*a**2 - 11*a + 2. Let h be t(8). Suppose h = -0*p + i*p. Is p a multiple of 14?
True
Suppose 4*t - 4*c = 176, 0*t - 2*c - 133 = -3*t. Is 9 a factor of t?
True
Let j(i) = 2*i - 1. Let q be j(3). Does 12 divide (-60)/(-1)*2/q?
True
Let r = 533 - 373. Suppose -n = -6*n + r. Does 20 divide n?
False
Let r(s) = -s**2 - 8. Let p be r(0). Let l = p - -10. Is 2 a factor of l?
True
Let z(n) = n**2 + 5*n. Let p be z(-8). Suppose -m - 12 = -2*c, m = -6*c + 2*c + p. Does 3 divide c?
True
Suppose 3*h + 1 = 31. Does 13 divide (-1 + 16/h)*65?
True
Let q be 8*-1*(-3)/6. Let z be 7 + 0 + 4/4. Suppose -z = -h + q. Does 12 divide h?
True
Suppose 7 + 1 = 4*i. Suppose 2*o - 20 = -0*u + i*u, -u = -5*o + 14. Let d = u + 13. Is d a multiple of 2?
True
Let t(u) = 25*u**2 - 7*u - 22. Is 28 a factor of t(-3)?
True
Suppose -2*v + 2 + 2 = 0. Suppose 4*x = u + 1 + 3, -2*x + 2*u = -v. Does 12 divide 3 - 1 - (-30 + x)?
False
Let w = 39 - -30. Is 27 a factor of w?
False
Let d(i) = -i**3 - 10*i**2 - 11*i - 6. Is d(-9) a multiple of 4?
True
Let f(u) = -u**2 + 7*u - 10. Let w(v) = v**2 - 7*v + 9. Let i(l) = 4*f(l) + 5*w(l). Let y be i(6). Is 4 a factor of (-4 + y)*8/(-5)?
True
Suppose -p + 12 = r + 4*r, r - 10 = -4*p. Suppose 0 = -r*v + 121 - 25. Is 12 a factor of v?
True
Let i = 12 - 7. Let d = 1 + 33