ose -q - 2*p = o*q, q = -p. Suppose q = 2*n - 69 + 21. Does 8 divide n?
True
Suppose 11 = 2*j + 3. Suppose 4*b = 5*b + 5*h - 6, j*b - 3 = h. Does 11 divide -2 + (1 + 30 - b)?
False
Suppose 0 = 3*n - 6*n - 36. Let t be n/(-7) + 2/7. Suppose -4*y = -0*s + 5*s - 125, -2*s - t*y = -52. Is s a multiple of 21?
True
Let s(p) = 2*p + 1. Suppose m - 4 + 1 = n, -2*n - 4 = 0. Let x be s(m). Suppose x*l + 11 = i - 0*l, -4 = -2*i - 3*l. Does 4 divide i?
False
Let m(p) = 5*p + 2. Let g(t) = 7*t + 3. Let j be g(-2). Let d(q) = 14*q + 7. Let z(u) = j*m(u) + 4*d(u). Is z(0) a multiple of 3?
True
Let g(j) = -7*j + 23. Is g(-16) a multiple of 14?
False
Suppose f - t - 2 = 0, 2*f + 3*t + 6 = -f. Suppose 5*p - 190 = -f*p. Is p a multiple of 26?
False
Let g = 1 + -8. Is -21*(5/g - 1) a multiple of 12?
True
Is 6 a factor of (5 + -6)*-78 - -4*1?
False
Let h(o) = -14*o + 37. Is h(-8) a multiple of 25?
False
Suppose -2*b = -2*u - 216, 5*b - 544 = -2*u + 5*u. Suppose -5*m + 290 = b. Is m a multiple of 9?
True
Suppose 5*a - 23 = -2*u, -3*u + a = u - 13. Suppose -u*f = -176 + 48. Does 9 divide f?
False
Let t be 3/(32/36 - 1). Is 4 a factor of -15*3/t*3?
False
Let g(x) = -x**2 - 4*x - 1. Let a be g(-5). Is 8 a factor of (a/(-4) - 1)*32?
True
Let q = -22 - -106. Suppose 4*u + 104 = l + 3*l, -3*l = -u - q. Does 11 divide l?
False
Let o(m) = 4*m**2 - 3*m + 2. Let c be o(1). Let i = 29 - -11. Suppose -j - i = -c*j. Is j a multiple of 10?
True
Is 16 a factor of (12/(-10))/((-33)/880)?
True
Suppose -j = 1 - 0. Is 12 a factor of 141/6 - j/(-2)?
False
Let h(b) = b**3 - b**2 - 2*b + 4. Let i be (-1)/((-3)/18) - 3. Suppose -i*q + 7 = -2. Is h(q) a multiple of 16?
True
Let o = 6 - -66. Is 18 a factor of o?
True
Suppose -3*i = -6 - 3. Let f be -1 - i/(5 + -2). Is (-1)/(f/(22 + 2)) a multiple of 6?
True
Let p be 62/14 + (-9)/21. Suppose p*x - 90 = -x. Is 9 a factor of x?
True
Let o be (-3)/1 - 7/(-1). Is (o/6)/(9/135) a multiple of 3?
False
Suppose 2*d + k + 151 = -d, -3*k + 47 = -d. Let x = d - -88. Is x a multiple of 22?
False
Let n(l) = -3*l + 2. Is n(-16) a multiple of 11?
False
Let i = 9 - 12. Let s = 7 - i. Does 10 divide s?
True
Suppose -2*p - 8 = -2*y, 4*p + 3 = -5*y + 23. Suppose 2*u - 24 + p = 0. Is u a multiple of 9?
False
Let g(a) = 5 - 12 + 0 + 4*a. Does 17 divide g(6)?
True
Let l(u) = u**2 + 5*u + 4. Let j be l(-5). Let i be (-1)/j + 933/(-12). Let g = -44 - i. Is g a multiple of 13?
False
Let g(f) = -4*f + 10. Let c be g(8). Let u = c + 58. Does 15 divide u?
False
Let y(i) = i**2 + 2*i**2 - 6*i + 5*i - 2. Does 11 divide y(3)?
True
Suppose -x - 5 = -f - 2*f, -3*f = -4*x - 20. Let b = f - -35. Is b a multiple of 23?
False
Let k = -7 - 4. Does 16 divide (-166)/(-3) - k/(-33)?
False
Let m(a) = -a**2 + 5*a + 7. Does 11 divide m(4)?
True
Let k = -9 - -11. Let p be (4 - 46)*k/(-3). Let b = p + -7. Does 7 divide b?
True
Let j be (3/4)/(1/(-4)). Let z be ((-15)/(-6))/(1/2). Let g = j + z. Does 2 divide g?
True
Suppose 3*u = -462 + 75. Let x = -24 - u. Does 31 divide x?
False
Suppose 0 = -0*g + 5*g - 540. Is g a multiple of 54?
True
Suppose -6 - 2 = u. Let c = u + -7. Let n = c - -21. Is 3 a factor of n?
True
Suppose -296 = -3*x - q, 0*q + 4*q = 2*x - 202. Does 9 divide x?
True
Let h(v) = 2*v + 1. Let y be h(1). Suppose 0 = 3*f - 2*f - 5*k - y, -k - 3 = -f. Suppose -f*d + 11 + 13 = 0. Is 6 a factor of d?
False
Suppose -4*b + 2*r = -6, 5*r = b + r + 16. Suppose 3*k - 40 = 2*p, 0 = k + 3*k - b*p - 52. Is 7 a factor of k?
True
Let o = -67 - -178. Is o a multiple of 19?
False
Let x = 103 - 70. Does 11 divide x?
True
Let f(q) = 6*q + 3. Let i be f(-4). Let w = i + 39. Is 18 a factor of w?
True
Let h(c) = -c - 4. Let o be h(-6). Is 2 a factor of o*1*(-49)/(-14)?
False
Suppose -4*p = p - 65. Is 13 a factor of p?
True
Is 8 a factor of (-95)/(-7) - (-12)/(-21)?
False
Let v = 0 - -5. Let n(g) = g**3 - 6*g**2 - 3. Let p be n(v). Is p/(-3) + (-4)/(-6) a multiple of 10?
True
Let a(r) = r**3 - 6*r**2 - 6*r - 7. Let g be a(7). Suppose 4*n + 8 = -g, -4*n + 11 = o. Is 19 a factor of o?
True
Is 5 a factor of (10/(-4))/(1/(-10))?
True
Let z = -4 + 7. Suppose -2*i + z*k + 11 = -27, i - 19 = -4*k. Does 4 divide i?
False
Suppose 30 = 19*c - 14*c. Does 6 divide c?
True
Let k(h) = h**2 - 2. Let l be k(2). Suppose -w - l + 1 = -2*i, 2*i - 8 = 0. Is 2 a factor of w?
False
Let g(d) = -d**3 - 7*d**2 - 6*d + 30. Does 8 divide g(-7)?
True
Suppose 4*w = -4*o - 36, 2*w = 5*o - 2*w. Suppose 55 = -2*z - 3*z - v, 5*z - 4*v + 80 = 0. Let k = o - z. Is k a multiple of 8?
True
Does 2 divide (3 + -2 + -3)/(2/(-3))?
False
Let z(n) = -3*n - 1. Let r be z(-1). Suppose 5*a - 76 = -r*j, -5*j + 0*j - 26 = -a. Does 8 divide a?
True
Let m = 123 + -79. Is m a multiple of 3?
False
Let x be 56/10 - (-12)/(-20). Suppose -3*t + 52 = x*p, 0 = 3*p - 6. Is 6 a factor of t?
False
Let a(f) = 4*f**2 + 5*f**2 - 5*f**2 - 2*f. Is 15 a factor of a(3)?
True
Let f = -65 - -92. Is f a multiple of 24?
False
Let m(p) = -p**2 + 5*p - 6. Let d be m(4). Let b = 32 - 19. Is 9 a factor of (d - 1) + -1 + b?
True
Suppose 0 = -5*o - 3*b + 1491, 5*o = -b + 454 + 1043. Is o a multiple of 50?
True
Let o(x) = 13*x**2 + 3*x + 1. Is 3 a factor of o(-1)?
False
Suppose -4*g + 33 = w, 0*w - w = -1. Let j = g + 51. Does 12 divide j?
False
Suppose -37 = -2*m + 4*j + 87, -2*m - 4*j + 164 = 0. Is m a multiple of 19?
False
Let n = -29 + 21. Let k = n - -15. Does 7 divide k?
True
Let k = -3 - -6. Does 9 divide 2/k*(-120)/(-8)?
False
Let t(f) = f**2 + f + 0*f**2 + 5 + 24. Let i be t(0). Suppose -i = -2*k + k. Is 12 a factor of k?
False
Suppose -4*s + 8*s + 3*k - 43 = 0, s - 4*k - 6 = 0. Is 4 a factor of s?
False
Let s = -19 + 28. Let n = s - 7. Is 2 a factor of n?
True
Let y(c) = 2*c**2 - 13*c. Suppose -3*h + 6*h - 30 = 0. Is y(h) a multiple of 11?
False
Let v(g) = -g**2 - 5*g - 3. Suppose -16 + 1 = 5*s. Let m be v(s). Is (2/m)/(4/42) a multiple of 4?
False
Suppose 2*u - 3*o + 8*o = -9, 2*o = -3*u + 3. Let g(y) = 4*y + 3. Does 15 divide g(u)?
True
Suppose w + b = -4*b + 61, 2*w - 4*b = 66. Is w a multiple of 5?
False
Let r = -254 + 407. Is r a multiple of 51?
True
Let w(f) = f**3 + 8*f**2 - 2*f + 6. Is w(-8) a multiple of 7?
False
Suppose -x - 169 = -3*j + 4*x, -4*x = 2*j - 76. Is j a multiple of 16?
True
Suppose 24 = -0*a - 2*a. Is 2/(a/(-10))*6 a multiple of 5?
True
Does 6 divide ((-9)/(-18))/((-1)/(-42))?
False
Suppose -5*z = -4*p + p + 19, 2*p = -5*z - 4. Suppose 0 = -2*i + 3 + p. Suppose i*m + 21 = 57. Is 12 a factor of m?
True
Suppose 9 = 2*b + 5*f, 4*b - 7 = -3*f + 4*f. Suppose b*w + 3 = -w. Let a = w - -15. Is 7 a factor of a?
True
Let m = 0 - 2. Let y be (-2 + 2)*1/m. Suppose -2*t + 42 + 2 = y. Is t a multiple of 11?
True
Let z(u) = -135*u - 3. Is 33 a factor of z(-1)?
True
Let c(m) = m - 1. Let y be c(8). Let f = y - -3. Is 5 a factor of f?
True
Let c be (32/(-12))/(1/3). Let k(x) = x**2 + 7*x - 3. Does 5 divide k(c)?
True
Suppose 3*s = 2*s + 24. Let f = -20 + s. Is 2 a factor of f?
True
Suppose g + g = 0. Suppose g = 2*l - 25 - 31. Suppose l = 2*y - y. Is 12 a factor of y?
False
Suppose -2*r - 4 = 2. Let c(u) = -u**3 - 4*u**2 - 3*u - 3. Let s be c(r). Does 22 divide (20/s)/(2/(-12))?
False
Let m = -4 + 4. Let o be (-9)/(2/(2 + m)). Does 10 divide (-183)/o - (-1)/(-3)?
True
Let y be (2/(-3))/(1/(-3)). Let w = y - 6. Does 9 divide (-1)/(-1) + (w - -12)?
True
Let g be (1 - (0 + 2)) + 5. Suppose -5*t - g*x = -23, -t + 2 = -2*t - 3*x. Does 4 divide t?
False
Let c(p) = p**2 - 3*p - 6. Let q be c(5). Suppose w + q = -1. Does 6 divide w/(-10) - 23/(-2)?
True
Is 21 a factor of (-6704)/(-80) + (-2)/(-10)?
True
Is 87/(-4 + 5)*(-1)/(-3) a multiple of 2?
False
Let q(o) = 4*o**2 - 14*o - 22. Is 16 a factor of q(9)?
True
Suppose 2*c = 7 - 3. Suppose 5*q = -w + 3*q + 43, -2 = c*q. Is w a multiple of 15?
True
Let v(k) = -k - 2. Let a be v(0). Is (4 - 3) + a + 43 a multiple of 13?
False
Suppose 0 = -w + 3*w - 50. Let t = w + -7. Suppose 4*g = -t + 154. Is g a multiple of 17?
True
Suppose 4*g + 4*c = 3*g + 195, -5*g + c = -1080. Is 46 a factor of g?
False
Let d = 7 - 5. Let f = 11 + -10. Does 2 divide 3*(f - d/(-6))?
True
Suppose -3*h + 19 = 3*n - 2*n, 2*n - h - 73 = 0. Let m(z) = -2*z**3 - 4*z**2 - 1. Let p be m(-4). Let f = p - n. Is 19 a factor of f?
False
Let c(m) = -8