 - 1. Let o = v - -1. Does 4 divide 16/(-4*2/o)?
True
Let g(v) = v**3 + 7*v**2 - 4*v + 1. Let m be g(-5). Let r = 166 - m. Suppose -4*s + r = 35. Is s a multiple of 15?
True
Let l(a) = a**3 - 8*a**2 + a - 11. Let d be l(8). Does 11 divide (-1)/(d/6) + 28?
False
Let s(m) = -4*m + 7. Does 12 divide s(-3)?
False
Let g(u) = -6*u**2 - 22. Let a(l) = -5*l**2 - 23. Let j(o) = 5*o**2 - 2*o - 1. Let r be j(-1). Let m(w) = r*g(w) - 7*a(w). Is m(0) a multiple of 13?
False
Let w(y) = 2*y**2 - 3*y + 1. Is 10 a factor of w(-7)?
True
Suppose -l = y - 0 - 2, -3*l = -3*y + 6. Suppose -3*f + 15 = i, i - 19 = -y*f - 2*f. Is 1/(-3) - (-127)/i a multiple of 20?
False
Let x = 33 + 26. Is 13 a factor of x?
False
Let n = -126 - -197. Is n a multiple of 14?
False
Suppose 7 = -3*i + 16. Suppose 2*d + i = -d. Let g(z) = -32*z. Does 16 divide g(d)?
True
Suppose -4*l + 590 = -l + 5*a, -2*a = -2. Let f = l + -126. Suppose b - 4*b = 3*j - 48, -4*b - f = -3*j. Is 19 a factor of j?
True
Let j(i) = 11*i**2 - 2*i - 1. Let p be j(3). Suppose -p = -4*h + 8. Is h a multiple of 9?
False
Suppose 4*x + 167 = 719. Suppose -3*g = -4*k - g + x, 91 = 3*k + g. Is 16 a factor of k?
True
Suppose -2 = 3*q - 4*t - 24, -8 = 2*q + 3*t. Suppose -6 = -4*g + q*v, 4 = -g + 3*g - 2*v. Is 2/(g + 9/(-12)) a multiple of 8?
True
Suppose 2*o - 4*g = -16, 3*o + 0*o = 2*g - 32. Let a be 14/10 + o/(-20). Is 22 a factor of 135/(6/a) - 1?
True
Let g(t) = -2*t + 7. Let r be g(0). Suppose q + 4*b - 17 = 0, -3*q - b + 22 + r = 0. Is 6 a factor of q?
False
Let l(i) = -i**3 - i**2 - 1. Let w be l(2). Let n = w + 23. Does 6 divide n?
False
Let k(z) be the first derivative of 5*z**4/4 - z + 2. Is 4 a factor of k(1)?
True
Let f = 9 + -13. Is 21 a factor of (-1)/f - 167/(-4)?
True
Suppose -2*i - 5 = 5*f + 3*i, 11 = f - 5*i. Let o = 12 - f. Is 11 a factor of o?
True
Let j(s) = -s**3 - 5*s**2 + 2*s - 1. Suppose -4*d + 3*g - g - 22 = 0, 4*d - 4*g + 24 = 0. Let p be j(d). Let i = -1 - p. Is 10 a factor of i?
True
Let n(w) be the first derivative of -w**3/3 - 2*w**2 + 5*w + 3. Is 5 a factor of n(-4)?
True
Let s(b) = 3*b**2 + 6*b + 4. Let a be s(-4). Suppose -a = -v - 75. Let p = -7 - v. Is 18 a factor of p?
False
Let u(a) = 2*a**3 - 5*a**2 + 4*a - 5. Let f(v) = -2*v - 8. Let r be f(-6). Is u(r) a multiple of 13?
False
Let q = -70 - -99. Is q even?
False
Let a = -6 + 8. Let b be a/(-4) + 83/2. Let j = b - 23. Does 18 divide j?
True
Let d = -74 + 50. Let s = -13 - d. Is 6 a factor of s?
False
Let o(t) = 23*t**2 - 1 - 6*t**2 - 5 + 5. Is o(1) a multiple of 16?
True
Let a = 7 - -4. Is a even?
False
Let a(d) = -d + 6. Let b(y) = y - 6. Let m(t) = 5*a(t) + 4*b(t). Does 5 divide m(-9)?
True
Let c = 20 + -12. Let g be -4*(-6)/8*1. Does 3 divide c - (-3)/(g/(-2))?
True
Is 14 a factor of 7/((-14)/(-4)) - -42?
False
Let s be (-2)/5 - 21/(-15). Let t(x) = -x**2 + 7*x - 8. Let p be t(6). Is (s - -5)*(-4)/p a multiple of 12?
True
Let r(z) = -z**2 + 8*z + 8. Let k be r(7). Suppose 3*p - 15 = -0*x - 2*x, 3*p = 4*x + k. Suppose -p*y - 8 = -88. Does 8 divide y?
True
Suppose -7 - 33 = 4*m. Let r(c) = -4*c. Does 18 divide r(m)?
False
Let x(o) = -4*o**2 + 5*o - 51. Let k(z) = -5*z**2 + 6*z - 51. Let b(n) = 5*k(n) - 6*x(n). Is 20 a factor of b(0)?
False
Let i(a) = -a**2 + 5*a + 1. Suppose 3*d - 5*j = -8, -4*j - j = -5*d. Let n be i(d). Suppose -n*z + 60 = -80. Is z a multiple of 14?
True
Suppose -u - 57 + 186 = 0. Is 19 a factor of u?
False
Let m(g) = 3*g**3 + 2*g**2 + 5*g - 4. Does 10 divide m(3)?
True
Let f be (-2 - 0)/2*-3. Suppose -2*w + 6 = 2*k, 6*w - 3 = -2*k + w. Suppose 0 = f*s - k - 20. Does 8 divide s?
True
Suppose 4*r = -5 - 3. Let z = 5 + r. Suppose -2*y + 4*g + 138 = 0, y + 64 = 2*y + z*g. Does 24 divide y?
False
Let r be -6*1*(-3)/9. Suppose 2*k - 76 = 4*g, -93 = -r*k + 5*g - 19. Is k a multiple of 21?
True
Let z(t) = t**3 + 6*t**2 - 2*t - 5. Let o be z(-6). Suppose 0 = 5*v + 3*u + 15, 2*u - 25 = o*u. Suppose v = -4*q + 5*q - 5. Is 4 a factor of q?
False
Is 2 a factor of 6/((-7)/28 + 26/40)?
False
Let a = 3 + -7. Let c be (-67)/(-3) + a/12. Suppose 2*k = c + 28. Is 10 a factor of k?
False
Does 13 divide (-4)/(-8) + ((-4635)/(-10))/9?
True
Let a(c) = -c + 53. Is a(0) a multiple of 14?
False
Suppose z + 223 = 5*s - 166, 20 = -5*z. Does 20 divide s?
False
Suppose -48*v + 51*v = 690. Does 17 divide v?
False
Let z be (2 + -2 + -6)/(-1). Let v(a) = -a**2 + 7*a - 3. Is v(z) a multiple of 3?
True
Let w(b) = b**2 + 3*b + 3. Let c be w(-2). Let x be 2/c*3/2. Suppose x*t - 24 = -2*p, -4*p + 22 = p - 2*t. Is 5 a factor of p?
False
Suppose 2*f - 71 = 3*t, 0*f - f + 63 = 4*t. Is f a multiple of 10?
False
Does 15 divide -6*(-1)/(-2) - -37?
False
Let h = -45 - -4. Let q = 67 + h. Is q a multiple of 13?
True
Let x = 9 - 4. Let o(z) = z**2 - 17*z + 32. Let j be o(16). Suppose v - j = x*f - 5, -f - 11 = -v. Does 5 divide v?
False
Suppose 0*c + 2*c = 6. Suppose 3*j - 6*j = -c*i - 42, -20 = -j + 3*i. Is j a multiple of 5?
False
Let p(q) = -q + 15. Is p(2) a multiple of 8?
False
Let z(x) = -x + 3 - 5 + 1 + 6*x**2. Let p be z(-1). Let o(g) = g**2 - 4*g - 8. Is 2 a factor of o(p)?
True
Let z = -160 - -276. Suppose -z = -p + 2*f, 5*p - 265 = -f + 271. Is (2/(-4))/((-3)/p) a multiple of 12?
False
Suppose 0 = 4*k - 1 - 3. Let j = -1 + k. Suppose -3*p = -0*p + 3*o, -3*p - 4*o - 3 = j. Does 3 divide p?
True
Let v(x) = x**3 - 12*x**2 - 11*x - 8. Is 18 a factor of v(13)?
True
Suppose 0 = 4*o - o - 864. Suppose 28 = -5*a + o. Suppose -r + 4*u = -34, -5*r + a = -2*r - 2*u. Is r a multiple of 7?
True
Let h(r) = -r**3 - 22*r**2 - 47*r + 4. Does 16 divide h(-20)?
True
Suppose -k - 12 = -5*k. Suppose 0 = -k*t - 2*t + 5*h + 10, 0 = -h + 1. Suppose i - 20 = -t. Is 6 a factor of i?
False
Suppose 0 = -k + 5*x + 3, -2*k = -0*k + 3*x - 71. Let l be (-6)/(-4)*k/6. Suppose -3*w + 22 = v - l, -3*v - w + 47 = 0. Is v a multiple of 10?
False
Let m(b) = 10*b + 12. Is m(9) a multiple of 30?
False
Let m(j) = 3*j. Let a be m(7). Let h = a + 25. Does 12 divide h?
False
Let p(z) = 9*z - 27. Is 3 a factor of p(6)?
True
Suppose 3 = -q + 2*o + 1, 3*o = -5*q + 3. Suppose j - 4 = -q. Suppose -3*m = -2*m - j. Does 2 divide m?
True
Suppose -35 - 77 = -m. Does 16 divide m?
True
Let s = 48 + -42. Is s a multiple of 3?
True
Let u = 116 + -31. Does 17 divide u?
True
Suppose -x = 0, 10 = -u + 3*x + 2. Let j(q) = q**2 - 6*q + 1. Let t be j(7). Let w = t - u. Is w a multiple of 10?
False
Suppose 3*y - 5*n = -n + 124, 5*n - 265 = -5*y. Suppose -4*o = 2*v - 32, 71 = 5*v - 3*o - y. Is 15 a factor of v?
False
Suppose -7*k - 3*k + 1950 = 0. Is k a multiple of 13?
True
Let n(c) be the first derivative of -1/4*c**4 + 4*c**2 + 2*c**3 - 9*c - 2. Is n(6) a multiple of 17?
False
Suppose -42 = -2*a - 2*d, 0*d + 84 = 4*a + 2*d. Is 7 a factor of a?
True
Let s(i) = -23*i**2 - i + 4. Let g(r) = 22*r**2 + r - 3. Let u(w) = 4*g(w) + 3*s(w). Let a = -5 - -4. Is 7 a factor of u(a)?
False
Suppose -d + 220 = c - 163, -d - 5*c + 375 = 0. Is 11 a factor of d?
True
Let a(x) = 2*x**2 - 4*x - 2. Let q be a(-3). Let y = 9 - 5. Let d = q - y. Is 17 a factor of d?
False
Let s be (88/10)/(4/(-20)). Is 5 a factor of 334/22 - (-8)/s?
True
Suppose -p + 171 = 2*p. Is p a multiple of 19?
True
Let r be (-21)/7 - 62/(-2). Does 8 divide (-90)/(-21)*r/4?
False
Suppose 2*l = 5*z - 21, 0*l + 15 = 2*z - 3*l. Suppose -3*c - 4*m + m + 9 = 0, 4*c - 4*m = -4. Let n = z - c. Does 2 divide n?
True
Suppose 4*o - 3*c = -5, 5*o + 16 = -2*c - 19. Let j(t) = t**2 + 6*t + 7. Let g be j(o). Is (-65)/(-4) + g/(-8) a multiple of 8?
True
Let i(p) = -p**2 - p - 1. Let t(s) = s**3 - 4*s**2 - 6*s. Let n(z) = -2*i(z) + t(z). Does 18 divide n(4)?
True
Suppose 5*h - 413 = 2*l, 4*l = -13 - 3. Is 7 a factor of h?
False
Let x(a) = -3*a + 7*a**2 - 4*a**2 - 1 + 0*a**3 + a**3. Let h(j) = -j**3 + 4*j**2 + 4*j + 2. Let d be h(5). Is x(d) a multiple of 8?
True
Let a(r) = -6*r. Let o(w) = w**3 - 8*w**2 - w + 3. Let f be 2/4 - 75/(-10). Let l be o(f). Is 11 a factor of a(l)?
False
Let c(t) = t**3 - t**2 - 2*t - 6. Is 26 a factor of c(5)?
False
Let r be (-1 + 2/2)/2. Suppose 4*w - j + 3*j = r, 2*w + 3*j + 4 = 0. Does 12 divide (51/(-9))/(w/(-6))?
False
Suppose 0*o - 83 = -2*t - o, -t + 4*o + 55 = 0. Let z = t + -25. Is 9 a factor of z?
True
Suppose 0 = -2*y + 34 + 38. 