 - 265 - 37 = -4*j. Let g = j + -45. Does 30 divide g?
True
Let d(v) be the third derivative of -v**5/20 + 5*v**4/12 + v**3 - 5*v**2. Let n be d(7). Is 24 a factor of n*(4 + 0 + -5)?
False
Suppose 121 - 33 = y. Let v = 129 - y. Is 41 a factor of v?
True
Let g be (-5)/((-75)/(-20))*39. Does 4 divide 10/g*-20 - (-2)/13?
True
Let s(x) = -22*x - 119. Is s(-35) a multiple of 44?
False
Suppose -4*r + 15 = 7*w - 6*w, -4*w - 2*r = -32. Suppose -2*d = -w*d + 1125. Is d a multiple of 21?
False
Let x(d) = 25*d**2 + 34*d + 9. Is x(-6) a multiple of 8?
False
Let i(q) = -14*q**3 + q**3 + 3*q**3 - 5 + 0*q**2 - 3*q**2 - 3*q. Does 12 divide i(-3)?
False
Let b be ((-1414)/42)/((-1)/3). Suppose -a + b = 4*x, 0 = 3*x + 2*a - 0*a - 82. Is 17 a factor of x?
False
Suppose 4*m - 9 = -5*i - 2, 4*i = 4*m - 16. Suppose m*a = -s + 59, 5*a + 3 = 4*a. Does 17 divide s?
True
Let i(v) = 2*v**3 - 2*v**2 - 2*v - 6. Let y be i(4). Suppose 5*r + y = 3*u - 2, 2*u - 5*r - 61 = 0. Does 11 divide u?
False
Is 3 a factor of (-3 + 1)*(-309)/6?
False
Let x = 1 - -1. Suppose x*c + 2*c + 5*u = 230, -161 = -3*c + 2*u. Is 11 a factor of c?
True
Let w = -84 - -183. Is 9 a factor of w?
True
Let m be 15/((-22)/(-4) - 4). Let c be 4/8*m + -1. Is -20*(6/c + -2) a multiple of 5?
True
Let h = -2 - -1. Let t be h/4 + 24/(-32). Does 4 divide (t*1)/((-6)/24)?
True
Suppose 3*y + 3*y - 12 = 0. Suppose -y*k = 2*i + 2*i - 168, 3*k + 3*i - 261 = 0. Does 18 divide k?
True
Let u = 26 + -26. Let r be 3 + u + -45 - -4. Let d = r - -68. Is 6 a factor of d?
True
Let l(m) = -11*m + 0*m**2 + 12*m**2 + m**3 + 2 - 2*m**3. Let p be l(11). Suppose -o - 2*o = -2*k + 61, -k - p*o = -34. Is k a multiple of 23?
False
Let s(w) = w**2 - 4*w + 5. Let h be s(0). Suppose h*l - 2*l + 5*z = 53, 4*l - 2*z - 36 = 0. Does 3 divide l?
False
Let q(m) = -3*m**3 + m**2 + 21*m + 95. Is q(-5) a multiple of 6?
True
Let s = 2 + 141. Does 19 divide s?
False
Let q(r) = 10*r**2 - 46*r - 1. Is q(5) a multiple of 19?
True
Suppose -5*b = -3*b + 5*h - 129, b - 48 = 3*h. Let x = b + -15. Is x a multiple of 7?
True
Suppose 0*m + m = -5*y - 19, 2*m + y - 7 = 0. Suppose m*z - 4*z = 80. Does 9 divide z?
False
Suppose 4*r - 3*f = f + 16, 0 = 3*f - 6. Let n = 68 - r. Is n a multiple of 31?
True
Let n = 142 - -17. Suppose -3*x + n = 3*i, -x = -i - 44 - 11. Does 27 divide x?
True
Let w be 2796/68 - (-4)/(-34). Suppose 0 = -n - w + 51. Is n a multiple of 5?
True
Let f(z) = -4*z**3 - z**2 + 7*z - 4*z**2 - 2 - 6 + 5*z**3. Let q be f(4). Does 9 divide 9*-1*(q + -5)?
True
Let c(i) = -28*i - 22. Is 18 a factor of c(-8)?
False
Let i = 64 - 64. Is -20*(0 - (i - -5)) a multiple of 10?
True
Does 4 divide 1520/14 + (-40)/70?
True
Let w(o) = 6*o**2 - 3*o + 23. Does 26 divide w(-6)?
False
Let z = 18 + -11. Suppose 45 = 10*x - z*x. Does 9 divide ((-27)/x)/(4/(-20))?
True
Let c(f) = -5*f + 2. Let g be c(0). Suppose 0 = g*m + 4*m - 558. Is m a multiple of 13?
False
Suppose 3*p + 0 = 12. Let g(i) = i**3 - 4*i**2 + i. Let f be g(p). Suppose 96 = j - 3*y, -f*y - 4 = 4. Is j a multiple of 26?
False
Is ((-1)/1)/((-11)/66) a multiple of 2?
True
Is 20 a factor of (4 - -32)*(1/1 - -1)?
False
Suppose -4*k = -540 - 16. Let y = 259 - k. Is 18 a factor of y?
False
Suppose 4*v + v - f - 77 = 0, -3*v + 35 = 5*f. Suppose -17*z = -v*z + 20. Does 20 divide -4*z*(-2)/(-1)?
True
Let n be (51/5)/(1/5). Suppose 31*p - 2*p = -7*p. Suppose o - 55 = -p*r - 4*r, 4*r = -5*o + n. Is r a multiple of 14?
True
Suppose 0 = 3*b - 6*b - 45. Let f be ((-2)/3)/(2/b). Suppose f*m - 251 - 34 = 0. Is 16 a factor of m?
False
Suppose 420 - 20 = 4*t. Suppose 3*v = -3*s + 6, 10 = 4*v + 5*s - 3*s. Suppose m + v*m = t. Does 11 divide m?
False
Suppose -3234 = 10*v - 794. Does 26 divide v/(-2)*(-5)/(-10)?
False
Let a(j) be the second derivative of j**4/3 + j**3/2 - j**2/2 + 2*j. Let q(x) = -x**3 + 4*x**2 + 2*x - 5. Let n be q(4). Is 9 a factor of a(n)?
False
Let n(j) = j**2 + 3*j - 1. Suppose -3*v = -5*o - 2, 4*o = -0*v - 3*v + 20. Let c(r) = -r**3 + 2*r - 3. Let p be c(o). Is n(p) a multiple of 9?
True
Let g = -57 - -90. Is (4 - 2)/(6/g) a multiple of 2?
False
Let y = -17 - -47. Let u(z) = -11*z - 13. Let j be u(-6). Let r = j - y. Is r a multiple of 5?
False
Suppose 199 + 71 = -9*i. Suppose 0*z = -2*z + t + 25, 0 = 2*z + 4*t - 10. Let l = z - i. Does 10 divide l?
False
Let u(x) = 8*x**3 - 3*x**2 - 24*x + 116. Is 7 a factor of u(6)?
False
Suppose 2*x = 554 - 112. Let w = 88 + x. Suppose 5*i = 2*f + w, 0 = 4*i - 2*f + 6*f - 264. Is 18 a factor of i?
False
Suppose 2*t - 243 = -2*t + 3*m, 104 = 2*t + 2*m. Is t a multiple of 7?
False
Let s(b) = -21*b - 3. Let t be s(-3). Suppose -t = -2*f + 6. Suppose 9 + f = 3*a. Is a a multiple of 5?
False
Let b be 1*2/18*6*-393. Is (4/(-16)*b)/((-5)/(-10)) a multiple of 7?
False
Let u = -3 + 5. Suppose -39 = -p + 4*p - 5*o, 2*p = -u*o - 10. Does 11 divide (-424)/p - (0 - 0)?
False
Let p(o) = 4*o - 13. Let t be ((-4)/(-12))/(2/24). Let n be p(t). Suppose -n*d + 4 - 19 = -m, -2*d + 45 = 3*m. Is m a multiple of 11?
False
Let u be (-4)/10 - 1708/(-20). Is (-1840)/(-34) + (-10)/u a multiple of 11?
False
Let c(g) be the first derivative of 7*g + 2 + 1/2*g**2. Is c(13) a multiple of 4?
True
Let r(d) = -107*d + 290. Is r(-3) a multiple of 22?
False
Let z(m) = 9*m**2. Let i be z(-1). Let r = 47 + i. Is r a multiple of 7?
True
Let f(h) = -h. Let x(m) = 21*m**2 + 7*m. Let v(q) = 6*f(q) + x(q). Let o be 8/28 + 1/((-21)/(-15)). Is v(o) a multiple of 11?
True
Let z be (-95)/(-10) - (-2)/4. Suppose z*f - 189 = 11*f. Does 14 divide (-1*2)/(9/f)?
True
Let y = 218 + 2. Is 22 a factor of y?
True
Let l(r) = -r**2 - 13*r - 13. Let i be l(-10). Suppose 8 + i = 5*d. Suppose 3*b = 2*s - 4*s + 138, -s - d*b = -62. Does 18 divide s?
True
Is 75 a factor of -18 - 70/(-5) - 1279*-1?
True
Suppose 21*j - 60 = 276. Is 8 a factor of j?
True
Suppose 0 = 13*u + 25*u - 48070. Is u a multiple of 65?
False
Let h = 1638 + -917. Is h a multiple of 11?
False
Let p be 1 + (-3)/((-6)/(-4)) + 3. Suppose p*g + r = 133, -4*g + 0*r + r = -269. Is g a multiple of 5?
False
Suppose 0 = 3*w + 3*c - 456 - 540, 5*w - 2*c - 1646 = 0. Let v = w + -190. Suppose 0 = -2*d + 10 + v. Is d a multiple of 19?
False
Suppose -20 = 4*x - 0*x. Is -4 - (-161 - x - 4) a multiple of 13?
True
Suppose -3*z = -69 - 57. Let d = 94 - z. Suppose 4*o + d = 148. Is o a multiple of 17?
False
Suppose 2*l - 7*l + 20 = 0. Suppose -b + l*o - 870 = -6*b, 3*o = 15. Is b a multiple of 17?
True
Let y be 1/(3/(-36)*2) - -3. Let h = 29 + y. Is h a multiple of 13?
True
Let i = 1000 + -640. Is 36 a factor of i?
True
Is 2 a factor of (-3)/(-9) + (-595)/(-15)?
True
Suppose -5*d = 4*g - 556, -295 = -4*d - 3*g + 149. Does 6 divide d?
True
Let g(x) = -10*x + 198. Is g(10) a multiple of 25?
False
Let f(q) = 2*q**2 - 25*q + 30. Let l = 52 - 40. Is 6 a factor of f(l)?
True
Let j(a) = 2*a**3 - 42*a**2 + 72*a + 20. Does 11 divide j(20)?
True
Suppose 3*g + l - 168 - 191 = 0, -4*g = -3*l - 483. Let t = g - 74. Is 23 a factor of t?
True
Let x be -44 - -9 - (1 + -1). Let v = x - -71. Does 9 divide v?
True
Let q be 29/(-1)*(1 + 0). Suppose 2 - 39 = 3*m + 2*x, 3*m = 3*x - 27. Let p = m - q. Is p a multiple of 11?
False
Let v be 4 + -6 + 82 - -2. Let p = -34 - -73. Let x = v - p. Does 11 divide x?
False
Let x = 25 + -15. Suppose g + x = -g. Let i(q) = -12*q. Does 15 divide i(g)?
True
Suppose -3*h - 661 + 238 = 0. Let z(r) = -2*r**2 - 9*r + 2. Let u be z(-4). Is -2 + (-2)/(u/h) a multiple of 14?
False
Let i = -137 - -392. Let r = 418 - i. Is r a multiple of 18?
False
Let p(r) = 17*r**2 + r - 39. Does 8 divide p(7)?
False
Let n(u) = 64*u - 39. Is 36 a factor of n(3)?
False
Let o be -13 + 10 - (-48)/(-2). Let r = o - -33. Is r a multiple of 5?
False
Let p(d) = 0*d - d**3 - 6*d**2 + d**2 - 86 + 91 + 5*d. Is 9 a factor of p(-7)?
False
Suppose -4*p - v + 6 + 3 = 0, -p - 3*v - 6 = 0. Suppose -y = -0 + 2, 2*z = p*y + 786. Suppose -5*q - 395 = -4*n - 2*q, 4*n - z = -2*q. Is 12 a factor of n?
False
Let w(a) = -35*a - 32 + 7*a + 9*a. Does 7 divide w(-9)?
False
Suppose -5*z = 16*s - 13*s - 812, 4*z = 2*s - 578. Is 12 a factor of s?
False
Suppose 8888 = 13*k - 5477. Is k a multiple of 7?
False
Suppose -3*b + 54 = -4*k, k + b + 17 = -0*b. Does 13 divide (-26)/(5/k + (-1 - -1))?
True
Let c be (1 +