vide j?
False
Let o = 340 - -328. Does 5 divide o?
False
Let a = 90 - 225. Let t = -54 - a. Suppose 5*v + y - 2*y - 93 = 0, 4*v - 3*y - t = 0. Is v a multiple of 12?
False
Is (-1)/(-2) + (-5891)/(-86) a multiple of 23?
True
Let l = -29 - -29. Does 17 divide l + -2*(-4 + -30)?
True
Suppose 5*h + 3*n - 8*n + 25 = 0, -20 = 4*h + 2*n. Let c = -5 - h. Suppose -2*g - 13 + 139 = c. Does 21 divide g?
True
Suppose 50*p - 53*p - 3*v + 2295 = 0, 4*p + v = 3045. Is 76 a factor of p?
True
Let n be 2 - 1/(2/4). Suppose n = -5*r - 211 - 129. Is 14 a factor of -1*3/(12/r)?
False
Let w = 17 + -27. Let s = w - 13. Let i = s - -86. Is 21 a factor of i?
True
Suppose 686*a - 688*a = -5940. Does 11 divide a?
True
Let x(p) = -p**3 + 18*p - 5*p + 3*p**2 - 7*p. Let g be x(-4). Let z = -18 + g. Is z a multiple of 14?
True
Suppose -12*v - 2360 = -20*v. Is 23 a factor of v?
False
Suppose 0 = -q + 2*q. Let b = 5 + q. Does 5 divide (-4)/10 + 157/b?
False
Let s(c) be the second derivative of c**5/20 - 2*c**4/3 + 7*c**3/6 + 5*c**2/2 + 5*c. Let y be s(7). Suppose 0 = 3*h - y*h + 12. Is h a multiple of 2?
True
Suppose -30 = s + s. Let b be 638/10 - 3/s. Suppose 5*v = 241 + b. Is v a multiple of 18?
False
Let o(p) = -p**3 - 4*p**2 - p - 2. Let l be o(-3). Let q = 28 + l. Let y = q + 13. Is 9 a factor of y?
False
Let u(f) = 5*f**3 - 10*f**2 - 26*f + 16. Let s(q) = -q**3 + 2*q**2 + 5*q - 3. Let o(a) = 11*s(a) + 2*u(a). Let k be o(-3). Let r = 62 - k. Does 4 divide r?
False
Let o(s) = -9*s**3 + 2*s**2 + 2*s + 1. Let m be (12/7)/(19/(-133)). Let a be m/(-30) + (-21)/15. Is 3 a factor of o(a)?
False
Suppose -3058 = -4*y - p, -y + p + 4*p + 775 = 0. Suppose 12*q - 9*q - y = 0. Is q a multiple of 41?
False
Let k = -8 - -10. Suppose 0 = 4*q - 10 - 6. Is 27 a factor of 2/q + 211/k?
False
Let y(o) = -2*o**2 - 4*o + 17. Let a be y(-7). Let u = a + 76. Does 10 divide u?
False
Suppose 0 = g, -w + 4*g = -96 - 36. Suppose -13*t + w = -11*t. Is t a multiple of 11?
True
Suppose 4*l - 1209 = l. Suppose l = 6*z - 1421. Is z a multiple of 19?
True
Let o = -8 - -11. Suppose -o*a = 58 + 23. Let t = a + 66. Does 13 divide t?
True
Let w be 1*0/5*-1. Suppose w = -6*u + 36 + 204. Is 8 a factor of u?
True
Is 32 a factor of 1280/4 + 3 + -3?
True
Suppose -4*j - 2066 = -3*y, -13*j - 657 = -y - 18*j. Is y a multiple of 62?
True
Suppose -21 + 99 = -2*h. Let a be (h/(-13))/((-3)/(-2)). Suppose -30 = -s - a*t, -s - 108 = -5*s + 4*t. Is s a multiple of 14?
True
Let l = -343 - -2888. Is 25 a factor of l?
False
Suppose 8*n - 3*n = 145. Let s = 137 - n. Suppose 23 - s = -5*p. Does 10 divide p?
False
Let s(g) be the second derivative of -g**3/3 + 5*g. Let a be s(0). Suppose a*c - f = 3*c - 23, 5*f = c - 13. Is 4 a factor of c?
True
Let q = -95 + 99. Suppose -3*y = -4*n - q*y + 296, 85 = n + 3*y. Does 5 divide n?
False
Suppose 0 = 4*c - 2*c + 3*b - 2718, 0 = -5*b. Is c a multiple of 151?
True
Let z(f) = -25*f + 514. Is 5 a factor of z(-11)?
False
Let n(j) = j**2 - 4. Let p be n(-3). Let w = p + 0. Suppose 3*h = -3*l, 3*h - 2 - 4 = -w*l. Does 3 divide l?
True
Suppose 0 = 5*i - 3*i - 188. Is i a multiple of 10?
False
Let m(n) be the second derivative of n**5/20 - 7*n**4/12 + 7*n**3/6 - n**2/2 + 8*n. Let x be m(6). Is 15 a factor of 3/5 + 487/x?
False
Let l(v) = 32*v**2 - 8*v + 14. Let c(w) = -96*w**2 + 23*w - 42. Let f(j) = -4*c(j) - 11*l(j). Does 58 divide f(3)?
True
Let m be 3/9 - (-4)/(-3) - -6. Suppose 0 = t + m*z - 17, -5*t + 2*z = 3*z - 37. Is t a multiple of 5?
False
Let o be (-20)/9 - (-2)/9. Let j(l) = -4*l**3 - 2*l**2 + 4*l + 1. Let w(f) = 9*f**3 + 4*f**2 - 7*f - 1. Let m(p) = -5*j(p) - 3*w(p). Is m(o) a multiple of 11?
True
Let u = 40 + -62. Let y = 43 + u. Is y a multiple of 11?
False
Let c = 71 - 73. Does 14 divide ((-26)/39)/(c/282 - 0)?
False
Let s(r) = -r**2 + 31*r - 123. Is 4 a factor of s(8)?
False
Let c(v) = -v**2 - 6*v + 1. Let q be c(-3). Is 339/15 + (-6)/q a multiple of 8?
False
Suppose -2*c - 16 = 5*k, k + 32 = -4*c + 3*k. Let x(i) = 8*i**2 + 58*i + 7. Does 17 divide x(c)?
False
Is 62 a factor of (93/2)/(((-24)/320)/(-1))?
True
Is ((-59928)/(-16))/1 - (-3)/(-2) a multiple of 18?
True
Let h be 12 + (10/5)/(-2). Suppose h*p = 10*p + 44. Does 11 divide p?
True
Is (10/15)/((-16)/(-1848)) a multiple of 39?
False
Let f(o) be the second derivative of -25*o**3/6 + 15*o**2/2 + 13*o. Does 23 divide f(-4)?
True
Let t(o) = -46*o - 1. Suppose -35 = 13*g + 43. Is t(g) a multiple of 60?
False
Suppose -b + 2*f = -180, -f - 755 = 3*b - 7*b. Is 10 a factor of b?
True
Let d(y) = -40*y - 366. Is d(-25) a multiple of 21?
False
Suppose 2*u - 5*j - 306 = 0, 0*u + 4*u - 584 = 3*j. Suppose -2*r + 169 = -u. Is r a multiple of 12?
True
Suppose -3*c + 2 - 14 = 0, 2*d + c = 3580. Does 14 divide d?
True
Let j be 7 - -11 - 0*(0 - -1). Suppose 14*s = j*s - 320. Is 29 a factor of s?
False
Suppose -4*s + b = -196, -3*s + 17*b + 147 = 14*b. Does 7 divide s?
True
Let q(b) = 2*b - 11. Let w be q(8). Suppose -4*l - 16 = -5*i - l, w*i - 5*l = 10. Let m = i - -39. Is 22 a factor of m?
True
Suppose -2*h = 5*b - 204, 0 = 3*b + 2*h + 2*h - 114. Let o = b - 24. Does 3 divide o?
True
Suppose -11*h + 1454 = 376. Is h a multiple of 9?
False
Let o(g) = -3*g**3 - 3*g**2 - 2. Let b be o(3). Let i = b + 156. Does 9 divide i?
False
Let r(i) = 3*i**3 - 13*i**2 - 8*i + 4. Let h(p) = -4*p**3 + 14*p**2 + 8*p - 4. Let v(c) = -4*h(c) - 5*r(c). Is 8 a factor of v(-6)?
True
Suppose -2115 = -2*p + s + 1210, 0 = -p + 4*s + 1652. Is 52 a factor of p?
True
Let l(m) = m. Let q(i) = -10*i**2 - 3*i + 1. Let d(v) = -4*l(v) - q(v). Let k(n) = 4*n**2 - 2*n + 1. Let x be k(1). Does 36 divide d(x)?
False
Let t(z) = 9*z - 23. Let v be t(3). Suppose -22 = -2*a - i, 2*a - 6 = -v*i + 10. Is a a multiple of 2?
True
Suppose d + l = -2*l + 96, -d + 2*l + 111 = 0. Let c be (-30)/d - (-74)/14. Let w(q) = q**3 - 3*q**2 - q - 9. Does 8 divide w(c)?
False
Let u = -543 - -832. Is 17 a factor of u?
True
Suppose 17*c + 1810 = 22*c. Does 26 divide c?
False
Suppose 7*w = 11*w - 240. Let c = -6 + w. Is c a multiple of 18?
True
Let i(b) be the second derivative of -2*b**3 - 10*b**2 - 6*b. Is 9 a factor of i(-9)?
False
Let j = 1145 + -677. Is j a multiple of 52?
True
Let k(g) = -2*g**2 + 17*g + 10. Let z be (6/8)/(1/12). Let w be k(z). Is -2 + 0 - (w + -67) a multiple of 16?
True
Suppose -4 = 2*p - 6, -2*p + 4178 = 4*b. Is b a multiple of 29?
True
Let d be 8244/42 - 6/21. Suppose -2*v + 9*v = d. Is 25 a factor of v?
False
Let u(j) = j - 1. Let l be u(4). Suppose 5*w - 3*w = l*v + 8, 3*w - 2*v = 7. Does 8 divide (w + -37)*(-6)/9?
True
Let q(l) = l**2 - 3*l - 2. Let d be q(2). Let b be -78*(-6 - -2)/d. Is 13 a factor of (b/4)/(8/(-16))?
True
Does 66 divide -6 - (-9 - -828)*-2?
False
Let t be (-76)/(-18) - (-12)/(-54). Let z = t + -7. Is 69/6 - z/(-2) a multiple of 5?
True
Let c = -26 - -36. Let q(n) = -n + 12. Let t be q(c). Suppose 2*r + 3*a - 4*a - 52 = 0, -62 = -t*r - 4*a. Does 9 divide r?
True
Suppose -2*g + 4*z = -390, 3*g - z + 45 - 630 = 0. Does 13 divide g?
True
Does 18 divide -6 - (-1864)/16 - 15/6?
True
Let u be 3*(1 - 0/2). Suppose -13 = -u*b + 2. Suppose 0 = b*j - 2 - 23. Does 5 divide j?
True
Let m(v) = 6*v**2 - 10*v - 36. Does 9 divide m(-10)?
False
Suppose 3*j + 9525 = 5*s, -s + 3*j + 1300 = -617. Is s a multiple of 7?
False
Does 12 divide 4/34 - (-158878)/323?
True
Let x(q) = -5*q + 3. Let a be x(-12). Suppose -c + 136 + a = 0. Does 30 divide c?
False
Let v be 1*(-1 + 9/3). Let z(a) = -5*a**2 + 4*a**v - 6 + 2*a**2. Is 4 a factor of z(-5)?
False
Is (-2)/(-48)*6*(1814 - -2) a multiple of 17?
False
Let u(f) = -f**2 - 15*f + 54. Let i be u(-18). Is 20 a factor of -40*20/(-5 + i)?
True
Let j be (-116*1)/(9/(-27)). Suppose j = 11*a - 7*a. Is a a multiple of 19?
False
Let c be 9*-1 + (-3 - 0). Let x be 4/c*-3 - -17. Suppose 78 = 2*h - x. Is h a multiple of 32?
False
Let c(j) = -6*j**3 + 2*j**2 - 16. Does 8 divide c(-5)?
True
Let z be -2*(-3)/(-12)*0. Suppose z = 4*i - 3*q + 57, -2*i + 3*q + 2*q = 39. Let u(p) = p**2 + 12*p + 9. Does 3 divide u(i)?
True
Suppose 0 = 8*w - 3*w - 1360. Suppose 2*m - w = -2*s, m + 272 = 2*s + 2*m. Suppose -2*l = 4*n - s, 5*l + 27 = n + 2*l. Is n a multiple of 24?
False
Suppose -5*h + 5*o + 5 = 0, -3 = -h + o + o. Let d be -2 - -59 - 3*h. Suppose 