?
True
Suppose 0 = o - 4*d + 16, -3*o - 3*d - 16 + 43 = 0. Let m = 151 - 89. Suppose o*l + 6 = m. Does 14 divide l?
True
Suppose 2*q = -2*q - 144. Let v(o) = 17*o + 6. Let f be v(-4). Let m = q - f. Does 13 divide m?
True
Let j(w) = -1 - 10*w + 2 + 26*w**2 - w**3 - 36*w**2. Does 10 divide j(-9)?
True
Let k(x) = x**2 - 1. Let r(w) = w**2 - 6*w + 4. Let h(o) = 3*k(o) - r(o). Is 22 a factor of h(4)?
False
Suppose -14*n = -1 - 41. Does 3 divide n?
True
Let p(j) = -j**3 + 14*j**2 - 7*j - 28. Is 4 a factor of p(13)?
False
Let j = 34 - -8. Is j a multiple of 10?
False
Suppose 0 = -11*c + 1866 - 326. Is 18 a factor of c?
False
Does 30 divide ((-20)/(-8))/(4/384)?
True
Suppose -36 = -3*m + m. Is m a multiple of 9?
True
Let y be 2/(-3) - (-80)/30. Suppose 57 = 3*a + 3*h, 2*a - h - 53 = y*h. Is a a multiple of 3?
False
Suppose 0*j - j = -4. Suppose k = 2*k - j. Let r = k - 1. Is 2 a factor of r?
False
Let w(k) = -k**2 - 8*k + 16. Does 3 divide w(-9)?
False
Let g(a) = 5*a**2 + a - 2. Let u = 6 - 4. Is 12 a factor of g(u)?
False
Let a(q) = -q**3 - 7*q**2 - 6*q - 5. Let n be a(-6). Let h = 6 + n. Is h - (1 + 12/(-2)) a multiple of 3?
True
Is 6 a factor of 696/60 - 2/(-5)?
True
Let l(j) = 2*j**2 - 3*j + 6. Suppose 30 = 8*f - 3*f. Is 30 a factor of l(f)?
True
Let o be (-152)/2*(-3)/6. Let s = o + 9. Is s a multiple of 10?
False
Let w(u) = u - 2. Let l be w(6). Let h = l - 1. Suppose 2*v - 4*g = 6, 15 = 5*v - h*g + g. Does 3 divide v?
True
Let l = -93 - -170. Does 4 divide l?
False
Suppose 3*g = 3*q + 5*g - 191, 0 = 5*g + 10. Does 13 divide q?
True
Is 1/(-2)*-50 - 2 a multiple of 3?
False
Suppose 5*w = r - 3*r + 543, 0 = -3*r - 4*w + 818. Is r a multiple of 32?
False
Let w(m) = 2*m**2 - 10*m + 17. Is w(9) a multiple of 17?
False
Let p(m) = m**3 - 14*m**2 + 13*m + 18. Does 9 divide p(13)?
True
Let d be 9/2 - 5/(-10). Suppose 0 = -d*f + 4*f + 2*b + 34, -3*f - 4*b = -52. Is f a multiple of 12?
True
Let z(w) = -w + 3. Is z(-16) a multiple of 19?
True
Let g = 3 - 1. Suppose 0 = -q - g*o + 28, 3*o + 8 = -q + 38. Is q a multiple of 8?
True
Let j = 36 + 11. Does 19 divide 0 + -2 + j + 2?
False
Suppose 8 = -5*p + 9*p. Suppose 8*t - 460 = 3*t - 5*c, p*c + 86 = t. Does 27 divide t?
False
Let g be 2*(5 - 2 - 1). Suppose -3*v = -g*i - v + 56, 0 = -3*v + 12. Is 16 a factor of i?
True
Let s(r) = 2*r**2 - 9*r. Let u be s(7). Suppose u = 3*l - 4*c, -5*l + 15 = 5*c - 20. Does 4 divide l?
False
Let g = -11 - -16. Is g a multiple of 2?
False
Let r(g) = -g**2 - 5*g + 3. Let q be (-68)/18 + (-2)/9. Let w be r(q). Suppose h = 2*u - 121 - w, h + 193 = 3*u. Is 18 a factor of u?
False
Suppose -11*d = 528 - 1364. Does 11 divide d?
False
Suppose -4*y = 0, -r - 4*y - 4 = -14. Let n(b) = -b**3 + 11*b**2 - 9*b - 1. Is n(r) a multiple of 9?
True
Let h(b) = -b + 3. Let m be h(-10). Let a = 49 - m. Is 16 a factor of a?
False
Let g(f) be the second derivative of -f**3/6 - f**2 - 4*f. Let t be g(-6). Suppose -t*o = -0*o - 3*l - 121, -l = -1. Does 9 divide o?
False
Suppose -t = -4*t + 54. Does 6 divide t?
True
Suppose 56*q - 664 = 52*q. Is 15 a factor of q?
False
Suppose -5*k + 74 - 4 = 0. Suppose 0 = 3*l - l - 4. Suppose -m = -l*m + k. Is m a multiple of 11?
False
Let i = 8 - -11. Does 3 divide i?
False
Suppose 20 = 5*r, -6*q + 2*q - 3*r + 44 = 0. Does 13 divide (-1)/(-4) - (-102)/q?
True
Suppose l = -2*l + 165. Let f = l + -20. Is 9 a factor of f?
False
Let r(m) = -m - 2. Let b be r(4). Let s(a) = -a**3 - 6*a**2 - 9*a - 9. Let d be s(b). Suppose -5*g + 50 = -d. Does 7 divide g?
False
Suppose -3*w + 0*w = 0. Suppose 4*v - 156 = -w*v. Does 13 divide v?
True
Let h be (4/5)/((-2)/(-5)). Suppose -4*t = h*g - 4, t + 10 = 3*t - 3*g. Suppose 4*k = 3*a - 7*a + 56, -a + t*k + 14 = 0. Does 5 divide a?
False
Suppose 2*v - 4*v + 2 = 0. Let a be (-2)/2*(-15 - v). Suppose 3*n = -2*f + 4*f + a, 5*f - 5 = 0. Is 4 a factor of n?
False
Let l(f) = -8*f + 33. Does 17 divide l(-6)?
False
Is 15 a factor of (54216/(-30))/(-9) + 1/5?
False
Suppose 2*w = -2*i - 4, 3*i - 7*i + 2*w + 4 = 0. Let v be (-4 - 0)*(i + -1). Suppose -76 = -3*r + v*m, m - 118 = -5*r - m. Is 12 a factor of r?
True
Let a = 253 - 86. Is 21 a factor of a?
False
Suppose b = -2 + 3. Is 7 a factor of b/(0 + (-2)/(-58))?
False
Suppose s + 2 + 0 = 0. Suppose -13 + 37 = -3*h. Let p = s - h. Does 6 divide p?
True
Let j(v) = -v**3 + 10*v**2 + 3*v - 5. Let h(p) = -2*p - 6. Let a be h(-8). Is j(a) a multiple of 25?
True
Suppose u = -5*r - 4, 4*r - 5*u + 4 = 5*r. Let k = r + 21. Is 20 a factor of k?
True
Suppose -4*f - 370 = -h, 4*f - 108 = -4*h + 1392. Does 17 divide h?
True
Let f be (7*10 - 2) + 0. Let x(g) = -g - 1. Let q be x(-4). Suppose 0 = -u + q*u - f. Is u a multiple of 12?
False
Let s(j) be the second derivative of j**4/12 - j**3/2 - 2*j**2 - 5*j. Does 7 divide s(6)?
True
Let w = -2 + 3. Let k(u) = 16*u - 7*u + w + 24*u. Is 12 a factor of k(1)?
False
Let d(h) = -h**2 - 6*h - 3. Suppose 0 = -i - 2. Let p be d(i). Suppose 0 = b - p - 1. Does 3 divide b?
True
Let z(q) be the first derivative of -4*q**2 - 4*q + 1. Does 16 divide z(-8)?
False
Let j(r) = -3. Let f(x) = x - 4. Let c(k) = -3*f(k) + 4*j(k). Let n be c(-1). Suppose -n*v - 3*o + 35 = -v, 15 = 3*o. Is v a multiple of 5?
True
Suppose 4*p = 332 - 92. Is 20 a factor of p?
True
Let g(v) be the second derivative of v**5/20 - v**4/12 - v**3/6 + 16*v**2 - 4*v. Does 8 divide g(0)?
True
Let a = 2 - 2. Let g(v) = -v**3 + v**2 + v + 54. Is 18 a factor of g(a)?
True
Let x = -8 - -11. Suppose 4*r = x*h + 323, 0 = 2*r - 3*h - 39 - 130. Let n = r + -38. Does 10 divide n?
False
Suppose -3 = 3*g - 2*g. Let p = 2 - g. Suppose -92 = -p*d + 38. Does 13 divide d?
True
Suppose 412 = -2*r + 4*r - l, 3*r = 3*l + 624. Does 37 divide r?
False
Suppose 4*z - 6 = -d, -2*d + 3*z = -3 - 9. Suppose d*g - g - 35 = 0. Does 6 divide g?
False
Is 24/(-84) - (-452)/14 a multiple of 8?
True
Let x = -99 - -169. Is 14 a factor of x?
True
Suppose -4*l = 4*v + 4, 0*v + 31 = -4*v + 5*l. Let s(k) be the first derivative of -k**4/4 - 4*k**3/3 - 3*k**2/2 + 4. Is 12 a factor of s(v)?
True
Let h(a) = 2*a + 6 + 0*a + 0*a. Let l be h(-6). Let o = l - -9. Is 3 a factor of o?
True
Let q be (-6 - -5)/((-1)/4). Suppose q*f - 17 = 3. Suppose 3*a = 0, 2*a = f*t + 3*a - 30. Is 6 a factor of t?
True
Let k(d) = -7*d - 1. Let u be k(-8). Let l = -7 + u. Is l a multiple of 21?
False
Let g = -189 + 282. Suppose f + g = -2*y, -2*y = -y + 5*f + 69. Let i = y + 63. Does 19 divide i?
True
Let x(r) = 2*r**3 - 4*r**2 + 4. Suppose -2*u + 3 = 2*f + 5, -3*f - 5*u - 11 = 0. Is x(f) a multiple of 11?
True
Let t be 1 - 4 - 0/1. Let m = t + 5. Suppose -m*k = -0*k - 60. Does 12 divide k?
False
Let j be -1*-2*(-34)/(-4). Suppose -5*t = -8 - j. Suppose 3*l = 2*x - l - 24, 84 = t*x + 2*l. Does 14 divide x?
False
Suppose -k = 4*w - 25 - 2, 2*w = -3*k + 61. Is 19 a factor of k?
True
Let y be 1/(2 - 87/42). Let p be y/4*(-24)/14. Does 17 divide ((-8)/10)/(p/(-255))?
True
Is ((-36)/8 + 2)*-64 a multiple of 8?
True
Let o(t) = -t**3 + 2*t**2 + 3*t + 3. Does 9 divide o(-3)?
False
Suppose -2*p + 214 = 2*k, -5*p + 316 + 222 = 4*k. Does 10 divide p?
True
Suppose -3*j = -s + 39, -2*j + 6*j + 16 = 0. Is 6 a factor of s?
False
Let r = 130 - 85. Is r a multiple of 9?
True
Let j be 2/(5/2 + -2). Does 12 divide (-3 + 6)/(1/j)?
True
Let b(i) = -i**3 + 4*i**2 - 3*i + 1. Let k be 1 - ((-4)/2 - -1). Is 3 a factor of b(k)?
True
Is 19 a factor of (10896/28)/4 - (-10)/(-35)?
False
Let t = 37 - 27. Does 5 divide t?
True
Suppose 0*b = -5*b - 10. Let d(q) = -q**2 - 4*q - 2. Let p be d(b). Let x(h) = 4*h**2 - h + 1. Does 10 divide x(p)?
False
Let c(l) = 2*l**2 - 5*l + 5. Does 6 divide c(5)?
True
Is -1 + 1 + 60 - 1/(-1) a multiple of 14?
False
Let t be 2*(-3)/(-12)*34. Suppose -112 = -3*h + t. Is 13 a factor of h?
False
Does 36 divide (-6 - 3)/(2/(-16))?
True
Let d be ((-4)/8)/((-1)/(-2)). Let g be d - -24 - 6/(-2). Is 1*g/(-4)*-2 a multiple of 13?
True
Suppose 3*u = -2*f + 38, 0 = -5*u + 4*f - 9*f + 55. Is 16 a factor of u?
True
Suppose -5*k + 5*d - 2 = 8, 4*k = -5*d + 10. Suppose -a + k = -4. Suppose 104 = 8*h - a*h. Is 9 a factor of h?
False
Let z = 9 + -5. Suppose 0 = z*p - 151 + 35. Is p a multiple of 12?
False
Let q = 6 + -24. Let c = 8 - q. Is 26 a factor of c?
True
Let f(c) = c + 14. Does 