pose 5*o = 7*o - 22. Let u = 7 + o. Is 9 a factor of u?
True
Let c = 754 - 278. Is 28 a factor of c?
True
Suppose 3*l - 21 = -4*l. Let r = 8 - l. Suppose -1 = -y - 3*m + 9, -4*y + 40 = r*m. Does 6 divide y?
False
Let h(a) = a**3 + 6*a**2 - 4. Let k be h(-6). Let v(c) = c**2 - 8. Let p be v(k). Suppose -18 = -p*q + 7*q. Is 18 a factor of q?
True
Suppose -1 - 7 = 4*x. Let j = x + 17. Let f = j + -4. Is 3 a factor of f?
False
Is (1 + 489)*(-4)/(-8) a multiple of 35?
True
Let r be 0/(-1) + (-4 - 77). Let g = r - -137. Does 28 divide g?
True
Suppose 14*y = 12*y + 12. Suppose 38 = 2*h - y. Is h a multiple of 10?
False
Let p(s) = 22*s - 93. Is 28 a factor of p(7)?
False
Suppose 4*t = -2*y + 3*t + 1, t - 7 = -4*y. Suppose -5*o + 560 = 5*z, 0 = z + y*o - 71 - 35. Is z a multiple of 23?
True
Let m be 3 - -1 - (6 - 6). Suppose 4*d - 2*g = 262, 188 + 80 = 4*d + m*g. Is 24 a factor of d?
False
Let i(j) = 26*j**2 + 52*j - 102. Does 12 divide i(7)?
True
Let n(b) = -12*b + 1. Does 23 divide n(-8)?
False
Is 780/18*-546*5/(-25) a multiple of 14?
True
Let s = -13 + 17. Suppose -626 = -l - 3*l + g, -622 = -s*l + 3*g. Is 33 a factor of l?
False
Let x(w) = w**2 + 6. Let a be x(-3). Let f be (-1338)/(-78) + 2/(-13). Suppose -2*t + f = -a. Does 10 divide t?
False
Suppose -4*v - 2*w - 34 = 0, w - 7 = 3*v - v. Let q(z) = z**2 - 3*z + 6. Let s be q(5). Let r = v + s. Is r a multiple of 3?
False
Let x(y) be the first derivative of -2*y**3/3 - 9*y**2/2 - 12*y + 10. Let r be x(-6). Is (-275)/r + (-1)/6 a multiple of 4?
False
Suppose -1782 = -g + t, 4*g - 7*g + 5316 = 3*t. Is 18 a factor of g?
False
Let y(c) = c + 2. Let o(v) = -v**2 + 15*v + 3. Let z be 10/35 - (-103)/7. Let f be o(z). Is 3 a factor of y(f)?
False
Let i = -280 - -192. Let v = 129 + i. Does 6 divide v?
False
Let p(o) be the first derivative of 2*o**3/3 - 15*o**2/2 + 9*o - 6. Is 34 a factor of p(10)?
False
Let t(m) = m + 1. Let z(r) = -2*r - 1. Let w(i) = t(i) + z(i). Let a be w(-6). Suppose 0 = c - a - 13. Is 18 a factor of c?
False
Suppose -4*z + 325 + 135 = 0. Suppose 5*i - z = -g + 17, -g + 144 = i. Is 21 a factor of g?
True
Let x(b) = 43*b**2 - 2*b - 1. Let s be x(-1). Suppose 3*p - 3*v - 12 = 0, p - v - 2*v = 2. Suppose -p*j + s = -j. Is 8 a factor of j?
False
Let o be 1 + -4*(-15)/20. Suppose 2*b - 16 = -4*u, -2*u + 4*u - o*b - 8 = 0. Suppose u*k - 7 - 573 = 0. Does 30 divide k?
False
Let u(g) = -g**2 - 9*g + 1. Let o(n) = -2 - 6*n + 10 + n**2 - 3*n. Let f be o(7). Is 7 a factor of u(f)?
False
Let v(h) = h**3 + 4*h**2 - 4*h + 4. Let i be v(-5). Let t be (2 - 3) + 3 + i. Is ((-12)/18)/(t/(-3)) a multiple of 2?
True
Suppose -5*t = 3*o - 229, -5 + 166 = 4*t - 5*o. Does 22 divide t?
True
Let o(v) be the third derivative of -v**7/1008 - v**6/144 - v**5/20 + v**2. Let b(t) be the third derivative of o(t). Does 9 divide b(-6)?
False
Let b be 314/2 + -6 + 8. Suppose d - 75 = 2*k, 0 = 4*k + 3*d - 8*d + b. Does 18 divide (-17)/((-3)/(k/(-4)))?
False
Suppose 4*d - 12 = -0*d. Suppose -d*g - 127 = -406. Is g a multiple of 31?
True
Let c = -25 + 28. Suppose -c*i - 2*s = -19, -i - 6*s = -2*s + 7. Does 9 divide i?
True
Suppose k - 64 + 57 = 0. Suppose -2*i = 8, -i - 166 = -10*m + k*m. Is m a multiple of 7?
False
Suppose -6*p + 4*p + 40 = 0. Suppose 76 = d + p. Is 7 a factor of d?
True
Let t(s) be the third derivative of -s**4/6 - 13*s**3/3 - 42*s**2. Does 6 divide t(-11)?
True
Let d = 47 + -44. Does 13 divide 24 - 1 - (-1 - d)?
False
Does 14 divide -3 + (0/2 - (23 + -1151))?
False
Is 39 a factor of -26*(126/12)/(-7)?
True
Suppose -4*g = -4*i + 928, -i = -0*i - 4*g - 232. Suppose 3*h - i = -52. Does 6 divide h?
True
Suppose d + 5*u + 354 = 132, 20 = -5*u. Is 1/6 + (-14)/12 - d a multiple of 21?
False
Let c(p) = 1626*p**3 - p**2 + p - 2. Is 25 a factor of c(1)?
False
Suppose p - 15 = -11. Suppose -51 = -7*y + p*y. Is 10 a factor of y?
False
Let n(m) = 3*m - 26 + 8 + 8*m. Let d = -279 + 283. Is n(d) a multiple of 8?
False
Let q = 7 + -5. Suppose -q*b + 49 = -45. Does 47 divide b?
True
Let z be (-1 - (-582 + -1)) + -53 + 57. Let u = z + -339. Does 19 divide u?
True
Suppose -4 - 6 = -2*m + 4*g, -2*m - g - 5 = 0. Is (5 - 3)*(m + 2) a multiple of 2?
True
Let k(m) = m**3 - 3*m**2 + m + 2. Let s be k(2). Suppose s = -3*h + 7*h - 20. Suppose -110 = -h*c - 0*c. Is c a multiple of 11?
True
Suppose 3*w + 0*w - 9 = 0. Suppose -6 = 4*a - 2*a, w*a = 3*f - 51. Is f a multiple of 14?
True
Suppose 169*j = 165*j, 0 = 2*n + 5*j - 1494. Is n a multiple of 8?
False
Let q(g) = 124*g - 253. Does 47 divide q(10)?
True
Let z be (-448)/(-9) + 50/(-18) + 3. Let p = 90 - z. Does 5 divide p?
True
Suppose -1716 = -29*n + 25*n. Is n a multiple of 13?
True
Let g(w) = -w**3 - 10*w**2 - w + 44. Does 11 divide g(-11)?
True
Suppose 0 = -3*v, 0 = -3*p - v - v + 1026. Is p a multiple of 18?
True
Does 16 divide 10/(-4) - (-4)/(104/1053)?
False
Suppose -4*m = 2*m + 30. Let y = m - -12. Does 7 divide y?
True
Let a be -4 + (350/5)/5. Is -80*(15/a)/((-6)/14) a multiple of 27?
False
Let w = -636 - -1204. Is 27 a factor of w?
False
Let p(s) = -s**2 - 13*s + 2. Let b be p(-15). Let u be (-2)/(-5) + b/(-5). Suppose -u*n = -2*n - 176. Is 10 a factor of n?
False
Let o be -17*-4*1 + -2. Let p = 21 - -72. Let z = p - o. Is z a multiple of 9?
True
Does 9 divide (203 + 16)*3/1?
True
Suppose 3*a = -5*c + 6*c + 9407, -c = -a + 3133. Does 17 divide a?
False
Let f = 87 - 73. Suppose f*o + 369 = 4709. Is o a multiple of 31?
True
Let y(m) = -m**2 + 11*m + 7. Let z be y(9). Let a = 14 + z. Is 13 a factor of a?
True
Is (-160)/(-70) + 4/(-14) + 922 a multiple of 28?
True
Is (-2)/(-8) - (-10 + (-2726)/8) a multiple of 13?
True
Let r(t) = -t**3 - t**2 - 2*t. Let x be r(0). Suppose 4*b = 3*i - x*i + 1373, 2*b = -4*i + 670. Suppose -3*d - 71 = -b. Is 18 a factor of d?
True
Let k be -6*(3/2)/(-3). Let l(q) = -7*q - k*q - 3*q - 10*q. Does 10 divide l(-1)?
False
Let f = 2 - 0. Suppose -4*t + f*t = 3*y - 4, y - t = 8. Suppose 14 = k + y*c, k = 2*c - 3*c + 20. Is 22 a factor of k?
True
Suppose 21*c - 5800 = -1579. Is c a multiple of 17?
False
Let z(o) = 8*o**2 + 5*o - 25. Does 5 divide z(-5)?
True
Let u(n) = -n**2 + 8*n. Let l be u(7). Let f(o) = 8*o - 4. Let c be f(l). Suppose 4*x - 8 = c. Does 10 divide x?
False
Let i be 6 - (48/4)/(-4). Suppose 0 = -0*j + 3*j - i. Suppose -2*w - 2*q + 47 = -17, 0 = -j*q. Does 11 divide w?
False
Suppose -n - 17 = -4*n + 2*v, 0 = 4*n + 5*v + 8. Suppose -776 = -n*x + 124. Suppose -b = 4*b - x. Does 10 divide b?
True
Let x(c) = 4*c**2 + 19*c - 135. Is x(9) a multiple of 49?
False
Let s be 45/(-10)*2/(-3). Suppose -2*n - 26 = 4*p, -1 = -2*p + 6*p - s*n. Does 19 divide 0/4 - (-69 - p)?
False
Let v(q) be the first derivative of 5*q**4/6 - q**3/6 - q**2 + q - 7. Let f(c) be the first derivative of v(c). Is 10 a factor of f(3)?
False
Suppose 0 = 3*i + 10*i - 6045. Is i a multiple of 15?
True
Let p(x) = -x**3 + 6*x**2 - 2. Let o be p(5). Let b(k) = k**2 - 10*k + 9. Let z be b(6). Let l = o + z. Does 8 divide l?
True
Let z(b) be the second derivative of b**6/360 - b**5/60 + 3*b**4/8 + 4*b**3/3 - 9*b. Let c(r) be the second derivative of z(r). Does 11 divide c(7)?
True
Suppose -44 = 2*m - 4*m. Suppose 1 = -3*p + m. Suppose -p*g + 10 = x - 2*g, -g - 1 = 0. Is 5 a factor of x?
True
Suppose m - 2 = 0, 236 = 4*x - 5*m + 3*m. Is x a multiple of 10?
True
Suppose 0 = -9*m + 1355 + 436. Does 8 divide m?
False
Suppose -c + 2*c - 7 = 0. Let s(u) = -u**3 + 7*u**2 + 7*u + 5. Does 30 divide s(c)?
False
Let z be 4/(-18) - (-5170)/99. Suppose 0 = 5*h - z - 323. Suppose c - 4*c = -h. Does 11 divide c?
False
Let n(c) = c - 1. Let t be 4/(-32) + (-1)/(-8). Let o be n(t). Is (11 - (2 + o)) + -3 a multiple of 2?
False
Let p = 33 + -21. Suppose -2*b + p = -12. Is b a multiple of 7?
False
Let f(o) = -2*o**3. Let x be f(-1). Suppose 3*q = -q, -x*q - 495 = -5*d. Does 6 divide 2/((-3)/d*-3)?
False
Let c = -32 - -24. Let j be (-12)/27*36/c. Suppose 5*r - 2*z - 175 = 2*z, 0 = 5*r + j*z - 205. Is 10 a factor of r?
False
Let p(q) = -3*q**2 - 2*q. Let c be p(1). Let r(j) = -j**2 - 4*j + 5. Let h be r(c). Suppose h = 2*i - 48 - 0. Does 8 divide i?
True
Let g(d) = -d**3 - 8*d**2 + 10*d - 9. Let w be g(-9). Suppose 12*c = 180 + 204. Let q = c - w. Is 13 a factor of q?
False
Suppose -8*w = -1