 = 2*q + k*q. Does 3 divide q?
True
Let u(a) = -16*a**3 - 1. Let w be u(1). Let v = -27 - -57. Let y = w + v. Is 13 a factor of y?
True
Let z(p) = 3*p + 2. Let u be z(-8). Is (-2 + u/4)*-10 a multiple of 19?
False
Let y(u) = -u**2 + u. Suppose -2 = m - 3*m. Let v(h) = 6*h**2 + 2*h - 1. Let f(j) = m*v(j) - 3*y(j). Does 9 divide f(-1)?
True
Let v be ((-209)/(-22))/((-2)/(-8)). Let c = v - 11. Is c a multiple of 16?
False
Is 14 a factor of (-151)/8*-2 - 4/(-16)?
False
Let n(p) = 2*p - 12. Does 5 divide n(16)?
True
Let g be (23/(-5) + 3)*15. Is (136/g)/(2/(-36)) a multiple of 26?
False
Suppose 16*g = 11*g + 645. Does 23 divide g?
False
Let v be 5/((-15)/(-117)) - 1. Let z = v - 5. Is 19 a factor of z?
False
Let z be (-1 - -5)/((-2)/(-5)). Let h(b) = b**3 + 10*b**2 - 4. Let i be h(-10). Does 7 divide i/z - (-74)/10?
True
Let y(a) = -2*a + 9. Let w be y(8). Let q = -9 - w. Does 4 divide ((-44)/(-6))/(q/(-3))?
False
Let g(d) = 6*d + 10. Does 11 divide g(10)?
False
Let q(m) = m + 6. Suppose 9 = -z - 2*a, -5*z - 1 = 4*a + 14. Let j = z + 4. Does 11 divide q(j)?
True
Is 5 a factor of ((-34)/10 + 3)/(5/(-150))?
False
Suppose 6 + 54 = 5*p - 2*m, -m = p - 12. Is p a multiple of 4?
True
Let v(g) = 35*g**2 - g + 2. Does 9 divide v(1)?
True
Let w(q) = q**2 - 11. Let r be w(0). Let l = r - -15. Suppose -l*b + 28 = -0*b. Does 7 divide b?
True
Let q = 16 + -6. Let z(c) = c + 1. Let s be z(2). Suppose s*g = 26 + q. Is g a multiple of 5?
False
Let h = -13 + 8. Is 22 a factor of (-344)/(-10) - 3/h?
False
Suppose -5 = -5*g + 2*a + 3, 0 = 2*g + 4*a - 8. Let n = 32 - 28. Suppose -l + g*h - h = -13, -5*l + n*h = -69. Is 17 a factor of l?
True
Let d(i) = -7*i + 6. Let r(k) = -k. Let h(b) = d(b) - 6*r(b). Let g be h(3). Suppose 0 = 5*j + 5*o - 140, -g*o = -5*j - 6*o + 144. Is 9 a factor of j?
False
Let n(b) = -6*b**3 + 10*b**2 + 9*b - 4. Let u(c) = 5*c**3 - 10*c**2 - 9*c + 4. Let q(a) = 6*n(a) + 7*u(a). Let y be (2 - -1)/(2/(-6)). Is q(y) a multiple of 2?
True
Suppose -2*x - 2 - 4 = 0. Let k = 5 + x. Suppose 2*l - 4*v = 4, -3*l - 5*v = -k*v - 42. Is 10 a factor of l?
True
Suppose -s + 35 = 6*s. Is s even?
False
Let o = 18 - 33. Is ((-9)/o - 3)*-15 a multiple of 12?
True
Suppose -3*y + 0*y = 150. Let c = y - -90. Is c a multiple of 10?
True
Let s = -7 + 5. Let z be 2/(s - 8/(-5)). Is 10 a factor of z/2*(-4 + -4)?
True
Suppose -4*d + 2*d + 38 = 0. Is 6 a factor of d?
False
Let l = -5 + 8. Suppose l*x = -2*m - 10, 0 = -5*x + 3*m - 5*m - 18. Does 6 divide 468/28 - x/14?
False
Let j(y) = -y - 2. Let v be j(0). Let n(f) = 2*f**2 - f - 2. Is 3 a factor of n(v)?
False
Let c(i) = 3*i + 27. Does 27 divide c(9)?
True
Let t(v) = -v**3 + v**2 + 5*v - 2. Let s be t(3). Let i be 14/21*(s - 1). Is ((-18)/3)/(2/i) a multiple of 4?
True
Let s(l) = l**3 + 0*l**2 - 1 + 6*l**2 - l + 1. Let x(d) = 4*d**3 + d. Let k be x(-1). Is 10 a factor of s(k)?
True
Let n(z) = z + 2. Let d be n(3). Let m(f) = f**3 - 7*f**2 + 2*f - 6. Let j(r) = r**3 - 8*r**2 + r - 6. Let h(c) = -2*j(c) + 3*m(c). Is h(d) a multiple of 7?
True
Let x(j) = -j**3 - 9*j**2 - j - 6. Let a be x(-9). Suppose -4*m + 3*g + 26 = -a*m, 0 = -4*g - 12. Is 5 a factor of m?
False
Suppose 12 = 3*m + 3, 0 = 2*w + m + 27. Let x = w - -24. Does 9 divide x?
True
Let y = 18 - -438. Does 38 divide y?
True
Let z = -6 + 11. Suppose 53 = -z*x + 198. Is x a multiple of 13?
False
Suppose 4*m - 6 - 2 = t, -4*m - 4*t = -8. Suppose -m*x - 172 = -5*l, 0 = 4*x + 4 - 0. Does 17 divide l?
True
Let t = -13 + 21. Let b = t + 13. Is b a multiple of 12?
False
Suppose 0 = -3*t + 4*f + 181, -3*f - 192 + 70 = -2*t. Is t a multiple of 11?
True
Let h = 4 - 4. Suppose 4*q - w - 2*w = 57, w + 3 = h. Is 12 a factor of q?
True
Suppose -2*h - 3*h - 30 = 0. Let u = h - -8. Suppose u*q - 41 = -2*q - 5*x, 2*x + 20 = q. Is 9 a factor of q?
False
Suppose 5*w + 7 = -2*d + 29, 3*d + 6 = -w. Suppose 3*i + w = -18. Let x(y) = y**3 + 9*y**2 + 6*y - 8. Does 5 divide x(i)?
False
Let x(v) = -v**3 + 4*v**2 + 2. Let a be x(4). Suppose a*z = 3*j + 8, 3*j = 6*z - z - 38. Is 3 a factor of z?
False
Suppose -s = -2*s - 4*m + 187, 0 = -m + 2. Is 24 a factor of s?
False
Let p be -2*(-1)/(-2) - -1. Suppose -2 = 2*y + 2*o, 3*y - o + 6 - 23 = p. Let w(s) = 2*s**2 - 2*s - 4. Does 9 divide w(y)?
False
Suppose -3*t + 4*t + s = -22, -5*t - 98 = -s. Let i = -7 - t. Suppose 0 + 11 = b + 2*o, -5*b + i = -4*o. Is b a multiple of 5?
True
Let z be (10/(-15))/((-4)/18). Suppose -3*l + 22 = -2*n + 7*n, -z*n + 2*l + 17 = 0. Is n a multiple of 3?
False
Suppose -2*a = -3*f + 3*a + 7, -13 = -2*f - 5*a. Does 2 divide f?
True
Let l = 218 - 130. Does 11 divide l?
True
Let c = 9 - 3. Suppose -c*q + 7600 = -q. Is q/45 + (-2)/(-9) a multiple of 17?
True
Suppose 8 = 2*i + 2*m, -11 = -4*i - 3*m + 5. Suppose -180 = -i*s - 60. Is 8 a factor of s?
False
Suppose -2 - 4 = -3*k. Is k even?
True
Let l(n) = -n**2 - 14*n + 11. Does 14 divide l(-9)?
True
Suppose -3*w = -4*h - 34, -5*h - 5 = w + 9. Suppose -3*z + 12 = 4*c, 5*c - z - w - 9 = 0. Suppose -108 = -5*f - c. Is f a multiple of 8?
False
Let q = -43 + 103. Is q a multiple of 10?
True
Let l(v) = 40*v. Suppose 0 = -d - d + 2. Does 19 divide l(d)?
False
Let k(f) be the first derivative of 4*f**2 + 1. Let g = -70 - -71. Does 3 divide k(g)?
False
Let h(j) = 4*j + 7 - 5*j - 2*j. Is h(-6) a multiple of 9?
False
Let d(r) = -r + 12. Let y be d(6). Let i(j) = -j**3 + 6*j**2 + j - 3. Let k be i(y). Suppose -94 = -k*t - 4*f, -5 = -t + 3*f + 9. Does 13 divide t?
True
Suppose -32 = -0*s - s. Does 12 divide s?
False
Suppose 0 = -4*r, 5*d + 2*r = -2*r + 50. Does 5 divide 125/10*8/d?
True
Let z(c) = c**3 + 7*c**2 - c + 8. Is z(-7) a multiple of 12?
False
Let i(o) = -o**3 + 17*o**2 + 19*o + 26. Is 10 a factor of i(18)?
False
Let o = -58 - -237. Is o a multiple of 17?
False
Suppose -2*i = -5*i. Suppose 0*r + 4*r - 8 = i. Suppose 5*a = 5*f - 125, -r*f + a - 18 + 65 = 0. Is 11 a factor of f?
True
Suppose 2*q = 5*q - 9. Suppose 4*d - 165 = -z, 4*d = q*d + z + 35. Does 21 divide d?
False
Let z(s) = s - 3. Let v be z(7). Suppose 20 = 3*h - h - v*w, -5*w = 5*h - 35. Does 4 divide h?
True
Suppose -r = -u - 5, 2*u + 6*r = 2*r + 14. Let b be (u - 2 - -3)/1. Let l(f) = f**3 + f**2 + f + 14. Is 7 a factor of l(b)?
True
Let j = -5 + -3. Let z be (j - (-3 + 2)) + 3. Let c = z + 27. Does 23 divide c?
True
Suppose -4*a + 110 = a. Suppose j - c - 6 = 0, -5*j + a = 5*c + 2. Is 2 a factor of j?
False
Let k = -8 - -9. Suppose -a = -m - m - k, 4*a - 3*m + 16 = 0. Let w = 12 + a. Is 4 a factor of w?
False
Suppose 0 = -4*u + 141 - 5. Does 7 divide u?
False
Let m be (0 - -94)/(2/4). Suppose c - 3*c + 6 = 0. Suppose -5*i - c = -m. Is 15 a factor of i?
False
Let u(p) = 4*p**2 - p + 4. Does 32 divide u(4)?
True
Let p = 141 + -22. Does 17 divide p?
True
Let f = -1 - -6. Suppose 0 = -4*t + 2*k + 24, -2*t + 5*k + 8 = -f*t. Suppose -5*m = -p - 31, t*m - 24 = -0*m + p. Is m a multiple of 2?
False
Let u = 2 - -3. Suppose -5*q = 5*m - 100, u*q - 3*m = m + 55. Let w = q + 19. Is 17 a factor of w?
True
Let q = 271 - 190. Suppose -q = w - 4*w. Is 7 a factor of w?
False
Let s(f) = -63*f - 21. Let n(y) = -9*y - 3. Let b(h) = -27*n(h) + 4*s(h). Is b(-2) a multiple of 6?
False
Suppose 332 = 5*k - 5*c - 253, -2*c - 120 = -k. Is 38 a factor of k?
True
Suppose f + 3*f = -5*u - 4, 3*f - 20 = 2*u. Suppose 0 = -m + f*m - 12. Is m a multiple of 4?
True
Suppose 0*t = -t, -4*t = v - 40. Is v a multiple of 6?
False
Does 7 divide 35/(4 + -6 + 3)?
True
Suppose 0 = 3*p + 3*p - 432. Is 6 a factor of p?
True
Suppose 4*j = 3*j + 2*b + 4, -35 = -2*j - 5*b. Does 2 divide j?
True
Let h(s) = -s**3 - 12*s**2 + 12*s + 15. Does 14 divide h(-13)?
True
Let h(p) = -p + 9. Let v be h(6). Is 10 a factor of 40/(-3)*v/(-2)?
True
Let f(t) = 5*t**2 + 10. Does 28 divide f(6)?
False
Suppose 0 = 2*g + 5*y + 2, g - 2 - 4 = y. Let f be (-706)/(-8) - 1/g. Let q = -57 + f. Is 15 a factor of q?
False
Let s(g) = -7*g - g**2 + 2*g**2 + 14*g + 6 + 0*g**2. Does 12 divide s(-9)?
True
Let s = -79 + 146. Is 17 a factor of s?
False
Suppose 5*y = 3*y + 146. Let i = 111 - y. Is i a multiple of 19?
True
Suppose -5*f = -3*f - 10. Suppose -25 = -5*m, 4*r - f*m - 65 = r. Is 8 a factor of r?
False
Let b(a) = -3*a - 2. Let g(q) = -2*q**2 + q - 1. Let z be g(1). Let r be b(z). Sup