4*a - 5. Does 11 divide h(x)?
True
Suppose -5*l - 15 = -4*s, -4*s + 1 = -3*s - 4*l. Let a be (4/6)/((-8)/(-12)). Does 2 divide s*((-2)/a - -3)?
False
Let c(d) = 2 - 4*d + 1 + 0*d**2 + 2*d**2. Does 6 divide c(3)?
False
Suppose 0 = 3*x - 57. Suppose 5*z + 54 = x. Is 5 a factor of (-2)/z - 183/(-21)?
False
Suppose -3*z + 147 = -2*x, 4*x + 0*x + 5*z + 239 = 0. Does 11 divide (x/4)/(9/(-12))?
True
Let g = 1 + 4. Suppose -l = -g*l + 4, -2*l + 302 = 5*x. Is 8 a factor of (x/9)/((-1)/(-3))?
False
Let o = 30 - -3. Does 18 divide o?
False
Suppose 0*t + 4*t - 80 = 0. Let i = t + -5. Is 10 a factor of i?
False
Suppose 3*q = 12, -o + 7 = -5*q + 3*q. Is 5 a factor of o?
True
Let p be 56/(-3) - (-3)/(-9). Let z = p - -56. Does 14 divide z?
False
Let v(r) = r - 2. Let i be v(5). Let m be (-6)/(-5)*(i + 2). Let u = m + 2. Is u a multiple of 3?
False
Let p = -13 - -18. Suppose 0 = -3*r + 4*g + 44, -g + 12 = r - p*g. Is r a multiple of 8?
True
Suppose 162 = 4*f + 34. Let g = f - 13. Is g a multiple of 5?
False
Let b(p) = -11*p**2 - 11*p + 5 - 3 + 4*p**2. Let a(s) = -8*s**2 - 12*s + 3. Let t(y) = 6*a(y) - 7*b(y). Does 2 divide t(-5)?
True
Let t = 55 + 295. Is 50 a factor of t?
True
Let b(l) = -l**2 + 9*l + 9. Let k(s) = s**2 + s + 9. Let p be k(0). Let u be b(p). Is (21/u + -1)*3 a multiple of 2?
True
Let v = -2 - -5. Suppose -15 = -v*s - 0*s. Suppose -s*z + 71 + 109 = 0. Does 17 divide z?
False
Suppose 0 = -2*x - 0*x + 10. Suppose -x*c + 60 = -c. Let h = c - 10. Is h a multiple of 4?
False
Let w = 168 - 114. Is w a multiple of 18?
True
Suppose 5 - 3 = -2*q. Is (-1 - q - -2) + 7 a multiple of 3?
True
Suppose -5*b = 15, 0 = 7*c - 3*c + 5*b - 113. Is 12 a factor of c?
False
Suppose -117 = -5*h - 3*s, h - 3*s = 2*h - 33. Does 7 divide h?
True
Let u(s) = -s**2 - 6*s - 1. Let c be u(-9). Let a = c + 46. Does 7 divide a?
False
Suppose 2*r = 3*r - 1. Is 2 a factor of (r/(-3))/((-7)/42)?
True
Let q = -9 + 13. Let b be q/(-18) - 74/(-9). Is 2/b - 141/(-12) a multiple of 6?
True
Let w = 8 + -6. Is 18 a factor of -1*(w/2 + -30)?
False
Suppose 34 - 310 = -4*n. Is 12 a factor of n?
False
Let v be (-2924)/85 - 2/(-5). Is 10 a factor of (-1 + -5)/(v/85)?
False
Let t(f) = 2*f - 1. Let a be t(3). Let g(x) = 21*x. Let p(s) = 32*s. Let y(c) = a*p(c) - 8*g(c). Is 16 a factor of y(-4)?
True
Let v(z) = -11*z + 36. Is 24 a factor of v(-12)?
True
Let m = -6 + 7. Let z be (-2 + m)*(4 - 66). Suppose -4*c + 14 = j, 2*j + 4*c = -18 + z. Is 10 a factor of j?
True
Let i = 101 - 36. Does 5 divide i?
True
Is (3 - -53)*3/6 a multiple of 9?
False
Let z(q) be the first derivative of -2*q**2 + 4*q - 5. Does 16 divide z(-3)?
True
Let s(i) = 3*i**2 + i + 1. Let t be s(-1). Let d be -2 + 3/t - -2. Is 14 a factor of 5*d/(10/28)?
True
Suppose 2*r + 2*m = 8, -5*m = r - 2*r + 16. Let n be r/(-24) - (-9)/4. Suppose -n*u + 17 + 12 = -3*v, 0 = 5*u - 2*v - 45. Is u a multiple of 7?
True
Let k be 6*((-70)/4)/(-1). Let a = k - 13. Suppose 5*l - a = -4*t + t, t + 4*l = 40. Does 12 divide t?
True
Suppose 0 = -2*x + x + 2, 5*i - 410 = -5*x. Is 16 a factor of i?
True
Let u(i) = 12*i - 8. Is u(9) a multiple of 20?
True
Let p(u) = u - 2*u - 3 + 3*u**3 + 4. Let x be 0/3 + 0 + 1. Does 3 divide p(x)?
True
Let b(r) = -r**2 + 9*r + 26. Is b(11) a multiple of 2?
True
Let v(q) = 16*q + 14. Let j be v(11). Suppose -5*a = -5*z + j, -2*a = 3 - 9. Does 19 divide z?
False
Let y(q) = -3 + 1 + q - 12*q. Let o be y(-7). Suppose 2*f + 3*f - o = 0. Is f a multiple of 15?
True
Suppose 5*m = 36 + 84. Does 7 divide m?
False
Does 19 divide ((-1)/(-2))/(2/228)?
True
Suppose 0 = -2*s - 0*s + 120. Suppose -5*u + 12 = -3*u - 4*w, 4*u - 5*w - 18 = 0. Suppose u*z = 6*z - s. Is z a multiple of 5?
True
Suppose 9 = 4*r + 53. Let q = 16 + r. Suppose 0 = 2*c - 6, q*z - 9 = 3*z + c. Is 3 a factor of z?
True
Let g = 802 - 403. Does 50 divide g?
False
Let j(v) = -v**3 + 3*v**2 + 2*v + 3. Let i be j(3). Suppose -i = -2*t - 23. Is (-1 - (-1 + 1))*t a multiple of 4?
False
Let q = 76 - 46. Suppose 10 - q = 5*v, -4*g + 2*v + 16 = 0. Is 5 a factor of (20/12)/(g/12)?
True
Does 12 divide 2/6 - 154/(-6)?
False
Suppose 0 = u - 39 - 60. Suppose u = -3*t + 6*t. Is t a multiple of 11?
True
Let g = -208 - -332. Is g a multiple of 33?
False
Suppose 45 = 4*a + a. Is 13 a factor of 5/((-15)/a) + 31?
False
Suppose -8*v = -44 + 4. Does 2 divide v?
False
Suppose 32 = -0*n - 4*n. Let i(c) = -c**2 - 9*c + 9. Is i(n) a multiple of 14?
False
Let t = 31 - -11. Does 21 divide t?
True
Let q = 12 - 8. Let f be ((-82)/q)/(3/(-6)). Suppose -5*i + f = -29. Is i a multiple of 14?
True
Suppose -2*x - 3*n = n - 436, -4*x + 893 = n. Is 32 a factor of x?
True
Suppose 5*j - y + 11 - 86 = 0, 4*j = 2*y + 60. Suppose 0 = -0*i + 5*i - j. Is 3 a factor of i?
True
Let r(t) = -6*t - 26. Is r(-16) a multiple of 10?
True
Let g(s) = s**2 - 11*s + 2. Let q be -44*2/(-3 + -5). Let x be g(q). Suppose 49 = x*c - 3. Is c a multiple of 17?
False
Suppose -3*u + 4*q + 116 = 0, -2*u = -2*q + 3*q - 92. Is u a multiple of 2?
True
Suppose -c - 5 = 2*h - 0*h, -h + 8 = -3*c. Does 4 divide 7*(h - (-6)/3)?
False
Let i be (-250)/(3/6 - 1). Is 21 a factor of i/12 - 3/(-9)?
True
Let s = 105 - 67. Is 6 a factor of s?
False
Let l be 1/((-10)/(-3) - 3). Suppose -l*u + u = -228. Is u a multiple of 29?
False
Suppose 4*l + 3 = 2*j - 9, 0 = -5*j - 4*l + 30. Let r(t) = 6 + 2*t - j. Is r(4) a multiple of 8?
True
Let w = -97 - -217. Is 24 a factor of w?
True
Let j(l) = l**2 - l + 2. Let n be j(4). Let m = -8 + n. Suppose m*t = t + 120. Is t a multiple of 8?
True
Suppose -238 = -3*m + 122. Suppose -4*q = q - m. Is q a multiple of 8?
True
Let h(q) = q**3 - 4*q**2 + q - 1. Let y(j) = -j + 4. Let v be y(6). Let f be (13 - 5)*v/(-4). Is h(f) a multiple of 2?
False
Let w(h) = -4*h**2 + h**2 + 8 - 3*h + 0*h**3 - h**3 - 6. Is 9 a factor of w(-3)?
False
Suppose 5*k = 2*q + 8, 3*k + 2*q = q - 4. Is 3 a factor of 6 - (k + -2 + 2)?
True
Let u = 40 - 20. Is u a multiple of 11?
False
Suppose 4*j + 3*o - 1047 + 60 = 0, -3*j - 3*o + 744 = 0. Suppose -5*w = j + 12. Is (1 + w)*(-2)/4 a multiple of 9?
False
Let v(c) = 2*c**3 + 4*c**2 - 5*c + 4. Let i be v(3). Suppose -y - 33 = -h - h, y = -5*h + i. Is h a multiple of 10?
False
Let v(l) = 44*l - 46. Is 29 a factor of v(10)?
False
Suppose -2*j = -4*j + 14. Let u = j - 2. Suppose -2*s + 4 + 2 = 0, 4*o - 77 = u*s. Is o a multiple of 10?
False
Suppose 2*q + 2*q = -48. Let t = -8 - q. Is (-62)/(-6) + t/6 a multiple of 11?
True
Let h = 64 + -36. Is h a multiple of 8?
False
Does 24 divide (192*(1 + 9/(-6)))/(-1)?
True
Suppose -5*v - 4*a = -29, -2*a + 22 = v + 3*v. Is v a multiple of 2?
False
Let i(u) = -u**3 - 9*u**2 + 4*u - 9. Let s be i(-9). Let p = s + 77. Does 11 divide p?
False
Let l(v) = v**3 - 10*v**2 + v + 4. Let w(u) = u**3 - 10*u**2 + 3. Let o(k) = -7*l(k) + 6*w(k). Is 4 a factor of o(9)?
True
Let l(t) = 3 + 3*t**2 + 6*t + 5*t**2 - 6*t**2. Is 14 a factor of l(5)?
False
Let h(y) = 4 + 3*y**2 - 4 + y**3 + 2 + 4*y. Let d be h(-2). Does 3 divide (-48)/(-30)*(-5)/d?
False
Let x be 28/6 - (-1)/3. Suppose 4*u + 70 = -3*b + 191, x*b - 71 = -2*u. Is u a multiple of 19?
False
Let o = 2 + 0. Suppose 5*x + 32 - 174 = -f, o*x - 5*f = 46. Is 19 a factor of x?
False
Let v be (0 - 2) + 5 - -1. Suppose 2*q - 4*q = -5*u + v, 2*q = 3*u. Suppose -q*f + 3*j + 2 + 28 = 0, 3*f = 4*j + 28. Does 12 divide f?
True
Suppose 2*q + 0*q = -3*i + 6, -3*q = -i - 20. Let c = 39 - 32. Suppose q*l - l - 77 = b, 0 = l - 3*b - c. Does 11 divide l?
False
Let o(k) = 5*k - 14. Let b be o(12). Let p = b - -13. Is 20 a factor of p?
False
Suppose 3*l - 9 = 0, -7*s + 3*l + 261 = -4*s. Is 11 a factor of s?
False
Let l(b) = -24*b - 44. Let w(h) = -5*h - 9. Let t(j) = 3*l(j) - 14*w(j). Does 12 divide t(-9)?
True
Let s(p) = -p**3 + 4*p**2 - 4*p. Let l be s(3). Let h = 1 - l. Suppose h*n - 80 = -0*n. Is n a multiple of 20?
True
Let t(d) = -2*d**3 + 3*d**3 + 6 - 2*d**2 - 2*d - 4*d**2. Let w be t(6). Let r(o) = o + 10. Does 2 divide r(w)?
True
Let m be 1/4 - (-843)/4. Suppose -4*r = 5*t - m, -4*t + 183 - 39 = -3*r. Is 13 a factor of t?
True
Let p be (-6)/2*(-2 - -3). Is 13 a factor of (-124)/12*1*p?
False
Let m(v) = v**3 + 3*v**2 - 3*v + 2. Suppose 2*a = -2*o + 40, -4*o - 10 = -3*o - 5*a. Suppose o = 5*h + 3*t, -6 = -0*h - 2*h + 3*t. Is 1