(7/(-14)) + -4. Suppose 3*c = -3*y - 12, 4*y = c + c - 46. Let g = y + k. Is 18 a factor of g?
False
Suppose 94 = -x + 2*x. Suppose -5*m = 4*q - 394, m + 0*q = 3*q + x. Does 18 divide m?
False
Suppose -5*g - 125 = 4*p + 95, -p = -g + 64. Let f be (p/(-35))/((-1)/(-7)). Is 9/(-2)*(-112)/f a multiple of 21?
True
Let q(g) = g - 7. Let z be q(-8). Let x = 17 + z. Is x a multiple of 2?
True
Let i be ((-4)/7)/(4/(-28)). Suppose 0 = -2*n - 5*r, 5*n + 8 = i*r + 41. Suppose -2*v - n*y = -196, v + y - 71 = 27. Is v a multiple of 14?
True
Let h(o) = o**3 + 4*o**2 + 2*o - 2. Let s be h(-2). Let a be 4 + s/(-4)*-2. Let c(n) = n**2 - n - 6. Does 4 divide c(a)?
False
Let d(b) = -2*b**3 - 4*b**2 + 3*b + 8. Let r be d(-4). Is r*(27/(-4))/(-9) a multiple of 9?
True
Let o(m) = -m + 1. Let p be o(1). Let v(c) = c**2 - 4*c - 43. Let r be v(9). Suppose p = -z - 0*g - 2*g + 16, 0 = -r*g. Does 10 divide z?
False
Does 43 divide (8/(-5))/(6/(-885))?
False
Suppose -184 = -u + b, 0 = -u - 5*b + 232 - 42. Suppose -u = -5*a + 165. Is 14 a factor of a?
True
Suppose 12998 = 13*g - 1315. Is g a multiple of 105?
False
Suppose 5*m + t = 169, 2*m - 4*t = -0*m + 50. Let p = 130 - 63. Suppose 5*s - p = m. Is 10 a factor of s?
True
Let a(f) be the third derivative of -13*f**4/24 + 2*f**3/3 - f**2. Let i(v) = v**3 + 6*v**2 + 5*v - 2. Let l be i(-5). Does 8 divide a(l)?
False
Let t(r) = -r - 11. Let i be t(-17). Let d(j) = -j**2 + 7*j + 4. Does 8 divide d(i)?
False
Let s = 619 + -339. Does 15 divide s?
False
Let u(l) = 11*l**3 - 19*l**2 + 5*l + 20. Let x(d) = -4*d**3 + 6*d**2 - 2*d - 7. Let f(c) = 3*u(c) + 8*x(c). Is 26 a factor of f(10)?
False
Let i = 58 + -56. Suppose 0 = -u + i*c + 46, c = -4 + 1. Is 8 a factor of u?
True
Suppose y - 4*s = -7*s + 84, 291 = 3*y - 4*s. Is 3 a factor of y?
True
Suppose -945 = -4*v - b + 718, 3*v + 5*b - 1260 = 0. Is 5 a factor of v?
True
Suppose -2*c + 4*c = 212. Does 28 divide c?
False
Suppose 0 = -n - 6*n + 224. Does 5 divide n?
False
Let h be (-9)/(-2) - (-5)/10. Suppose -4*i = -217 + h. Is 21 a factor of i?
False
Let d(o) = -9*o + 22. Let h be d(2). Suppose h*z = g - 2*g + 683, 688 = 4*z - 4*g. Is z a multiple of 19?
True
Let j(h) = -2*h**2 - 5*h + 1. Let s be j(-7). Let g = s + 98. Does 12 divide g?
True
Let v be (332/15)/1 - (-4)/(-30). Suppose -v*r - 216 = -25*r. Is r a multiple of 9?
True
Suppose 26 = -2*a + 4*a. Let p(u) = -u**2 + 11*u + 16. Let r be p(a). Is 13 a factor of (195/r)/(1/(-2))?
True
Let g(b) = -12*b + 10 - b + 8*b. Let h be g(-8). Suppose h = -4*p + 206. Is p a multiple of 39?
True
Let o = 62 - -194. Is 13 a factor of o?
False
Suppose 0 = o - 5*s - 17, -s = s + 6. Suppose 0 = 3*r + 5*g - 5, 3*g = o*r + 3 - 0. Suppose r = n + 3*n - 5*w - 297, 88 = n - 4*w. Does 17 divide n?
True
Let o(v) = -v**2 - 10*v + 10. Let n = -34 - -22. Let s be o(n). Is 13 a factor of (-1 - 11/2)*s?
True
Let x(p) = -2*p + 14. Suppose 58 = 5*u + 3*m, 0 = -6*u + u + 3*m + 52. Let o be x(u). Let z = o + 13. Is z even?
False
Suppose t + 6 - 2 = 5*d, -2*d = -5*t - 20. Suppose 3*z + z - 16 = d. Is 212/6 - z/(-6) a multiple of 16?
False
Let m(o) = -o**2 + 13*o + 11. Let l be m(14). Let s = l - -15. Does 10 divide s?
False
Suppose 3*s - 69 = -5*t - 20, -28 = -s - 4*t. Suppose c - 5*c = -s. Suppose g = 3*n + 47, 4*g - 3*n = c*n + 195. Is 25 a factor of g?
True
Suppose -4*f + 32 = -4*k, 3*f - 12 = -f - k. Let u(m) = -m + f*m**2 - 12*m**2 - 4 + 0*m + m**3. Is u(9) a multiple of 14?
False
Let y(s) = -s**2 + 8*s + 68. Let u be y(13). Suppose -u*t = -5*d + 365, 2*d = -3*t + 78 + 47. Does 26 divide d?
False
Is 27 a factor of (10/4)/((-6 + 7)/134)?
False
Let g = 528 - -6. Let l = g + -374. Is 20 a factor of l?
True
Suppose -4*l + 3*j = -1944, -972 = -2*l - j - 3*j. Is l a multiple of 18?
True
Let o be 502/(-22) + (-12)/66. Let v = o - -65. Is v a multiple of 10?
False
Let r(u) be the second derivative of -5*u**3/6 + 7*u**2 - 4*u. Is r(-4) a multiple of 17?
True
Suppose 3*o + 75 = 2*o. Let k = -58 - o. Is k a multiple of 17?
True
Suppose -21*p - 16 = -25*p. Is 452*(28/(-8) + p) a multiple of 21?
False
Suppose 5*w - 9 = 2*w. Suppose -2*r - w*s + 21 = 0, 5*r = -3*s + 83 - 26. Is 12 a factor of -5*r*9/(-30)?
False
Suppose 29*q - 12540 = 20926. Does 4 divide q?
False
Suppose p - 4 = 4*c - 3*p, -c + 4*p - 10 = 0. Suppose -k - 98 = -f + c, -k = 4*f - 425. Is 16 a factor of f?
False
Let w(p) = 37*p**3 - 2*p**2 + 11*p - 16. Does 6 divide w(2)?
True
Suppose -f - 2*d + 202 = 0, 2*f - 769 = -2*f + 5*d. Let n = f - 115. Does 27 divide n?
True
Let s(c) = 5*c**2 - c**3 - 2*c + c**2 + 2*c**2 - 12 + 5*c. Is 10 a factor of s(7)?
False
Suppose -14*f + 11*f - 57 = 0. Let b be (-4)/2*f/2. Is 0 + 0 + b + 9 a multiple of 11?
False
Does 11 divide ((-139986)/84)/((-4)/8)?
True
Suppose -8 + 33 = 5*i. Let h = i + 5. Is h a multiple of 2?
True
Let s = 4 + -3. Let j be (-4)/(-3 + 3 + s). Is -8*j/((-32)/(-36)) a multiple of 11?
False
Let i be 4/8*0 + 3. Let a(l) = 20*l - 1. Does 11 divide a(i)?
False
Let n(g) = g**2 - 16*g - 56. Let l be n(19). Let c(i) = 34*i - 4 + 4. Does 17 divide c(l)?
True
Suppose 26*c + 11556 = 56380. Is 10 a factor of c?
False
Suppose g + 8227 = 5*s, 6*s + g - 7236 - 2632 = 0. Does 35 divide s?
True
Suppose -5*u + 77 + 178 = 0. Let z = u + -39. Is 4 a factor of z?
True
Let r(p) = -15*p - 18. Is r(-3) a multiple of 14?
False
Let c be 2*1 + 1708/(-14). Is (-1764)/(-22) - (-2 + c/(-55)) a multiple of 16?
True
Let y = -24 - -27. Suppose 3*g + y*z = 84, -6*g + 143 = -g + 2*z. Does 11 divide g?
False
Let t be 5 + 75/10 - (-2)/4. Suppose 4*n + 0*n = 5*j - 17, -t = n - 3*j. Is n even?
True
Let a(c) = -c - 2. Let g be a(-5). Suppose -6*p = -g - 183. Let d = 9 + p. Is d a multiple of 10?
True
Does 36 divide 2 + -4 + (-7 - -801)?
True
Let n(j) = -j**2 - 8*j - 6. Let y be n(-6). Suppose 45 = -y*m + 3*m. Does 14 divide 112/1*m/(-30)?
True
Let u = -8 - -15. Suppose -2*c + u*c - 290 = 0. Let s = c - 33. Is s a multiple of 19?
False
Does 10 divide (-1 - 1*-7)*(76 + 24)?
True
Let o = -246 + 540. Does 12 divide o?
False
Let l(h) = h - 1. Suppose -9 = -3*y, 23 - 1 = 2*g + 4*y. Let u be l(g). Suppose -55 = -u*j + 21. Is j a multiple of 19?
True
Let b be 0 + (-2 + 6)/2. Suppose -b*r + 3*y - 7 = 0, y + 5 = -3*r - 0. Is r*(-1)/1 - -3 even?
False
Let j = 971 + -634. Let q = j - 238. Does 12 divide q?
False
Let f(x) = -x**3 - 2*x + 20. Suppose 6*i + 5 = 5. Is 10 a factor of f(i)?
True
Let o(k) = 5*k**2 - 3*k + 4. Let f = 1 + 2. Suppose -5*x = -3*d + 19, -f*d + 7*d = 4*x + 20. Is 6 a factor of o(d)?
False
Let r = 1 - -4. Suppose r*i = 2*q - 22, -2*q - 1 = 7. Let f(w) = w**2 - 8*w + 1. Is 22 a factor of f(i)?
False
Let t = 861 + -36. Is t a multiple of 3?
True
Let v = -85 - -311. Is v a multiple of 2?
True
Let v(w) = 22*w + 5. Let d(i) = -23*i - 4. Let b(u) = 6*d(u) + 5*v(u). Let o be b(-2). Suppose -5*h + 126 = 2*t - o, 4*h = -3*t + 145. Is h a multiple of 15?
False
Suppose 23*i + 31580 = 43*i. Does 34 divide i?
False
Let t(p) = -p**3 + 8*p**2 - 3*p - 3. Suppose -4*k + 19 = 4*n - 3*k, -28 = -3*n + 2*k. Let m = n + -2. Does 24 divide t(m)?
False
Let f(c) = -c**3 + 43*c**2 + 45*c + 105. Does 24 divide f(43)?
True
Suppose -4*m = -4*c + 23 - 203, 0 = 5*m - 15. Let a be (-7)/(c/(-200))*3. Let s = 154 + a. Is 19 a factor of s?
False
Suppose -92*h = -112*h + 28520. Does 31 divide h?
True
Let q(t) = -t**3 + t**2 - t + 8. Let m be -4*2*(-4)/8. Suppose -2*w - 4 = 4*y + 4, -m*y - 8 = 4*w. Is 2 a factor of q(w)?
True
Let m(y) = y**2 - 6*y - 82. Does 9 divide m(20)?
True
Let l(d) = -773*d - 34. Is l(-1) a multiple of 8?
False
Suppose 4 = -6*a + 64. Is 3 a factor of a?
False
Let n(o) = 6*o - 31. Let g(s) = -7*s + 32. Let f(w) = -5*g(w) - 6*n(w). Is 19 a factor of f(-19)?
False
Suppose 0 = 2*i - 19 + 7. Let n(s) be the third derivative of s**4/24 + 13*s**3/6 - 10*s**2. Does 18 divide n(i)?
False
Let d(r) = -6*r**2 - r - 5. Let w(q) = -11*q**2 - q - 11. Let c(y) = -5*d(y) + 2*w(y). Is 12 a factor of c(3)?
True
Let k(w) be the second derivative of -w**4/12 + 3*w**3 + 3*w**2/2 - 8*w. Is 12 a factor of k(15)?
True
Let u be (-3)/(3 + 0)*-1*2. Suppose -120 = -u*t + 60. Is t a multiple of 8?
False
Let f(n) = 44*n**2 + 10*n + 103. Is 11 a factor of f(-7)?
True
Let t be -7*(-3 + 15/7). Let m = t + -3. Suppose -m*g - 73 