es 5 divide h?
False
Suppose -5*n = 1191 - 81. Does 18 divide (2/3)/((-4)/n)?
False
Let g = -7 + 76. Does 23 divide g?
True
Does 6 divide (4 - -20) + -4 - -4?
True
Suppose -v + 225 = 4*v. Suppose 3*t - u = v, -2*t + u + 30 = -4*u. Does 12 divide t?
False
Let w(f) = -f - 5. Let v be w(-5). Let z be (12 - v) + -2 + 0. Suppose -5*l + 60 = z. Does 10 divide l?
True
Let a(u) = 10*u**2 + 0*u**3 - 3*u**2 + 3*u**3 - 2*u**3. Let m be 6/(-4)*4*1. Is 21 a factor of a(m)?
False
Suppose 3*q + 0*s = s + 16, -4*s + 32 = 4*q. Suppose -v + 0*v = -q. Is v a multiple of 2?
True
Suppose i - 2 = -0*i. Let b(l) = 0*l + i*l + 5 - 3. Is 8 a factor of b(4)?
False
Let q = -34 + 47. Suppose 5*i - 3 = -q. Let c(g) = -7*g - 3. Is 11 a factor of c(i)?
True
Let z(m) = -m**3 - m**2 + m - 2. Is z(-5) a multiple of 31?
True
Let z(v) = -v**3 - 4*v**2 + 6*v - 2. Is 17 a factor of z(-6)?
True
Suppose -b - 1 + 9 = 0. Let n be 4/b*0/(-1). Does 5 divide 18 - (-3)/(n - 1)?
True
Let i be (-24)/16*(-17 + 1). Suppose 0*s + i = 4*s. Is 3 a factor of s?
True
Let r(h) = -7*h**2 - 8*h - 1. Let u(w) = -3*w**2 - 4*w - 1. Let c(p) = -4*r(p) + 9*u(p). Let j be c(9). Suppose -4*s = -0*s - j. Does 10 divide s?
True
Suppose 5*b = v + 214, -2*v - 2*v + 110 = 3*b. Is 13 a factor of b?
False
Let t(f) = -2*f + 2. Let r = 21 + -24. Is 2 a factor of t(r)?
True
Suppose -p = -0*p + 4. Let a = -4 - p. Suppose -5*h - 4*n + 31 + 73 = a, -4*n + 8 = h. Does 9 divide h?
False
Let g be (-4)/18 + (-79)/9. Let u = 35 + g. Does 12 divide u?
False
Let h(d) = d**3 + 2*d**2 - d. Let k(u) = u**2 - 5*u + 4. Let a be k(3). Let m be h(a). Suppose 0 = -5*g - r + 72, m*g + 17 = 2*r + 53. Is g a multiple of 14?
False
Let l = -79 - -39. Is 15 a factor of (3/4)/((-2)/l)?
True
Suppose -2*x - 2 - 3 = y, -2*y - 14 = 5*x. Let g(m) = -m**3 - 2*m**2 + 4*m + 3. Does 19 divide g(x)?
True
Let d(v) = -v - 3. Let c be d(-6). Suppose c*y + 13 = 67. Is y a multiple of 14?
False
Suppose -b = 2*b - 33. Let m = b + 31. Is 13 a factor of m?
False
Let m(w) = 2*w**3 + 3*w**2 - 9*w + 6. Is 18 a factor of m(4)?
False
Let w = -24 - -37. Is 4 a factor of w?
False
Suppose 135 = 3*j + 3*r, -44 + 5 = -j + 5*r. Is 11 a factor of j?
True
Let o(a) = a - 14. Let q be (-15*(3 - 2))/(-1). Let j(r) = 3. Let l(m) = q*j(m) + 3*o(m). Does 18 divide l(5)?
True
Let w(f) = -f**3 - 4*f**2 + f + 3. Let c be w(-3). Is 27 a factor of (c/4)/((-3)/36)?
True
Suppose 4*p + p = 270. Does 18 divide p?
True
Suppose -35 = -5*h - 2*g, 0 = -8*h + 3*h + 5*g. Suppose 0*z - 2*u + 90 = z, -h*u - 97 = -z. Does 19 divide z?
False
Let g(a) = a**3 - a + 6*a - 3*a + 4. Does 18 divide g(4)?
False
Suppose 4*f = 4*m + 668, -2*f + 208 + 134 = 2*m. Let l = f - 109. Does 19 divide l?
False
Let a(b) = -123*b**3 + b**2 + b - 1. Is 20 a factor of a(-1)?
False
Let z(g) be the second derivative of 2*g**3 - g. Suppose -2*r = 2*a - 3*r - 3, 3*a + 3*r = 18. Is z(a) a multiple of 18?
True
Suppose -5*w = -1 + 6. Let o be (-1)/(2/(-8)*2). Does 5 divide (-2)/(o/10*w)?
True
Suppose -3*g - 113 = -4*h, 5*g + 256 = 5*h + 61. Let x = -25 - g. Does 6 divide x?
True
Let p(h) be the first derivative of h**3/3 - h**2/2 - h + 2. Let l be p(1). Let m(f) = -9*f. Does 5 divide m(l)?
False
Let b(z) = 2*z + 306. Is b(0) a multiple of 51?
True
Let k be 30*(2/(-5) + 0). Is 10 a factor of ((-15)/9)/(2/k)?
True
Let y(q) = -8*q - 5. Is 4 a factor of y(-3)?
False
Suppose 0 = -4*x - z + 72, 2*x - 29 = 3*z - 7. Suppose 4*u - 78 + 30 = 0. Let d = x - u. Is d a multiple of 5?
True
Let k(m) = m - 3. Let a be k(7). Suppose 5*y + 12 = a*p - 8, 2*p - 10 = 4*y. Is p a multiple of 4?
False
Suppose 0 = -0*r + 4*r - 236. Is r a multiple of 10?
False
Let w(n) = n**3 + 18*n**2 + 13*n + 36. Is 7 a factor of w(-17)?
False
Let d = 115 + -175. Let l = 93 + d. Does 9 divide l?
False
Let h(w) = -w**3 + 6*w**2 - w + 6. Let z(q) = q**2 - 1. Let c be z(-2). Suppose -18 = -c*b - 3. Is 26 a factor of h(b)?
True
Suppose 8 = 2*g, 0*g = -5*x + 3*g + 228. Suppose 2*r + 2 = x. Is r a multiple of 18?
False
Suppose -m - 2*w + 6 = m, 2*m - 7 = -3*w. Suppose 2*s = 0, -m*y = -5*y - 5*s + 63. Is 7 a factor of y?
True
Suppose -740 = -5*h - a, -4*h - 3*a + 307 = -274. Is h a multiple of 26?
False
Let u be (-2)/((-154)/(-52) - 3). Suppose 3*g + 54 = 5*g - 2*x, 0 = 2*g - 3*x - u. Is 6 a factor of g?
False
Suppose 3*x - 5*q = 110, -5*q = 6 + 14. Let r be 3*(-4)/(-18)*6. Does 10 divide (r - 0)*x/4?
True
Is 21 a factor of 2/(-6) + 155/30*26?
False
Suppose 29 = y - 3*g - 38, -5*y = 3*g - 317. Let d = -66 + 22. Let l = d + y. Is 8 a factor of l?
False
Suppose 2*o + 0*o - 12 = 0. Suppose 5*s - 3*z = 31, 2*z = s - o*s + 21. Suppose -2*x - 3*c = s, -4*c - 19 = x - 4. Does 3 divide x?
False
Let b(j) = 8*j**3 + j**2 - j - 1. Let c be b(-1). Let v = 14 + c. Is 7 a factor of v?
True
Let n = -24 - -46. Does 6 divide n?
False
Let s be (-2)/9 + 4/18. Let r = s + 3. Suppose -r*q - 63 = -4*x + x, -85 = -5*x + q. Does 13 divide x?
False
Let x(a) = -9*a - 4. Let c be (2/(-6))/(2/(-12)). Suppose c*j = 3*y + 10, 0*y + 4*j = -y - 8. Does 16 divide x(y)?
True
Let k be (-3)/2 + 76/8. Let x be (-12)/k*(-40)/6. Does 15 divide 4/x + 444/15?
True
Let c be ((-1)/(-3))/((-1)/(-6)). Let w(q) = -17*q - 1. Let d be w(c). Let y = -20 - d. Is y a multiple of 15?
True
Let c(m) = -35*m - 3. Is c(-1) a multiple of 4?
True
Let x be (-453)/(-9) - 4/(-6). Suppose 1 = -5*l + x. Is 10 a factor of l?
True
Does 24 divide (5 - 13/3) + (-140)/(-6)?
True
Suppose 3*j = -f - 9, 4*j = f + f - 12. Let s(v) = f*v**2 + 0*v**2 + 30 + v + v**2. Does 12 divide s(0)?
False
Let h(z) = z**3 - 14*z**2 + 16*z + 8. Is h(13) a multiple of 13?
False
Let y(x) = x**3 + x - 1. Let g(t) = 3*t**3 + 4*t**2 - 7*t - 10. Let c(i) = -g(i) + 2*y(i). Does 13 divide c(-6)?
True
Let r(t) = -44*t + 3. Is r(-2) a multiple of 32?
False
Let b(z) = z**2 - z - 1. Suppose 0 = -2*g, 3*h - 4*g = -2 - 7. Is 3 a factor of b(h)?
False
Suppose -4*g = -0*g + 3*d - 5, 3*g - 4 = -2*d. Let m be g/4 - (-21)/6. Suppose 0 = y - 3 + 2, 5*l - 69 = -m*y. Is 13 a factor of l?
True
Is 2 a factor of -1 + (2 - 4) - (-11 + 1)?
False
Suppose -5*d + 150 + 60 = 0. Let i = 8 + d. Does 25 divide i?
True
Suppose 0 = -8*t + 262 + 218. Does 14 divide t?
False
Let r be ((-4)/6)/((-4)/6). Does 18 divide (-1)/(2/(-72))*r?
True
Let x(i) = 3*i**2 - 11*i + 7. Is 7 a factor of x(7)?
True
Suppose -2*m = -6*m + 12. Suppose -4*b + 11 = 5*y, -2*b = 3*b + m*y - 17. Suppose 0*h = -b*h + 56. Is h a multiple of 9?
False
Let a be (0 - (-63)/6)*2. Let h = -14 + a. Suppose 0 = -3*l + h*l - 112. Is l a multiple of 14?
True
Suppose -39 = 3*q + 2*g + g, 0 = -3*q + 3*g - 51. Suppose -4*v - 42 = 42. Let u = q - v. Is 6 a factor of u?
True
Let l(a) = a**3 + 6*a**2 + 5*a + 5. Let w be l(-5). Suppose 100 = w*n - 25. Is 11 a factor of n?
False
Suppose -25 = 5*y, 3*i - y - 134 = -3*y. Is 16 a factor of i?
True
Is 23 a factor of (-986)/(-10) - (-78)/195?
False
Suppose -126 = -2*f - f. Is f a multiple of 7?
True
Let m(j) = -j**3 - 4*j**2 - 4*j + 7. Let i be m(-5). Suppose -4*c = 5*h - i - 68, 0 = 5*c - 5*h - 150. Is 15 a factor of c?
True
Let h be 5*4*30/40. Suppose h = -m + 4*m. Is m a multiple of 5?
True
Let l(o) be the third derivative of -o**4/8 - 5*o**3/6 + 2*o**2. Suppose 0 = -5*p - 20 - 5. Does 9 divide l(p)?
False
Let a(j) = j**3 + 10*j**2 - 7*j - 7. Let m be a(-5). Suppose 0*f - m = -3*f. Is f a multiple of 17?
True
Let f(v) = -4*v - 1. Let l be f(1). Let z = -5 - l. Suppose -y - 10 = -z*y + 3*d, 10 = -2*d. Does 4 divide y?
False
Let v(l) = -2*l - 2. Let b be v(-3). Suppose 0 = -5*c + b*c + 3*a + 76, -5*c + 354 = -2*a. Suppose 7*m = 2*m + c. Is m a multiple of 7?
True
Let z = 90 - 45. Is 14 a factor of z?
False
Let q(z) = -15*z**3 - 2*z**2 + 1. Let h(k) = -k**2 + 4*k + 4. Let v be h(5). Is 7 a factor of q(v)?
True
Is 11 a factor of 4 + (-2)/(-8) + (-2403)/(-36)?
False
Does 8 divide -2*(-2 - -1) + -4 + 90?
True
Let z = -34 + 4. Let n = 4 - z. Does 17 divide n?
True
Suppose -18 = -q - 2*q. Suppose q = t + 1. Is 18 a factor of 182/t - 6/15?
True
Let k(u) = u**2 + 13*u - 15. Let y be k(8). Suppose -5*o + 222 + y = 0. Is o a multiple of 16?
False
Let l be ((-182)/(-4))/(4/(-8)). Let v = 130 + l. Suppose -3*h + 5*w = -33, -3*w - 2*w = -4*h + v. Is 6 a factor of h?
True
Let o(q) = q**3 - 5*q**2 - q -