 - 1. Let g be u(-3). Let x = g - 51. Is x a multiple of 19?
True
Let s = 18 + -13. Suppose 0 = s*x - 6 - 174. Is 9 a factor of x?
True
Suppose -33 = -5*c + 2*c. Is c a multiple of 6?
False
Let x(n) = 2*n**3 - 5*n**2 - 3*n + 2. Let z = 11 - 7. Is x(z) a multiple of 25?
False
Suppose 111 = 4*n + 23. Is n a multiple of 11?
True
Suppose 2*p - 72 = p. Is 16 a factor of p?
False
Suppose 4*y + 5*x - 184 = 2*y, -5*x - 495 = -5*y. Suppose 5*t + 2*i = 269 - y, -2*t - 3*i = -71. Does 17 divide t?
True
Let k = -28 + 92. Let c = k + -39. Is 12 a factor of c?
False
Let b = 199 - 130. Is b a multiple of 10?
False
Let f = 19 - 11. Suppose 12 = -4*n + 6*n. Is (-3)/n*-5*f a multiple of 10?
True
Let b = -50 + 82. Does 8 divide b?
True
Suppose t + 4 = 3*t, 0 = 4*u - 3*t - 218. Is u a multiple of 28?
True
Let c(l) = l**2 - 3*l - 2. Let m be c(6). Does 3 divide (12/m)/((-3)/(-48))?
True
Let v(t) be the second derivative of -5*t**3 + 7*t**2 - 2*t. Let u(y) = -10*y + 5. Let q(h) = 8*u(h) - 3*v(h). Is 9 a factor of q(2)?
True
Suppose -3*n + n + 8 = 0. Is 2 a factor of n?
True
Suppose -t - 4 = -q, -2*q + 0*q + 7 = -3*t. Suppose c - 4*h = h + 73, c - 71 = 3*h. Suppose r + c = q*r. Is 7 a factor of r?
False
Let f be ((-3)/6)/((-2)/(-4)). Let o = 3 - f. Suppose o*d - d - 54 = 0. Is 9 a factor of d?
True
Suppose u = -3*g + 5*u - 14, 5*u = -g + 27. Suppose 0 = -n + 5*v + 32, 0*v - 3 = -4*n - 5*v. Suppose -n + 25 = g*q. Does 9 divide q?
True
Let l(w) be the third derivative of 13*w**4/24 + w**3/3 + 2*w**2. Does 14 divide l(3)?
False
Suppose 2*c = -3*n + 333, -c + 676 = 3*c - 4*n. Does 42 divide c?
True
Suppose 0*l = -4*l + 16. Is 4 a factor of l?
True
Suppose 0 = 2*j + j - 5*v - 22, -10 = 5*v. Suppose -j*x = -3*y + 76, 4*x = 2*y - 4*y + 64. Is y a multiple of 15?
False
Let l = 164 + -32. Let m = l + -68. Suppose m = -3*y + 154. Is y a multiple of 16?
False
Let t = -2 - -6. Suppose 0 = -5*d - t + 9. Let o = 6 - d. Is 5 a factor of o?
True
Suppose -6*i + i = -5*l - 105, 5*l + 41 = i. Suppose 2*j - 45 = -3*j. Let n = i - j. Is n a multiple of 7?
True
Let k = -99 - -183. Is k a multiple of 21?
True
Let q(v) = 18*v - 6. Let y = 3 - -6. Let h be q(y). Suppose 5*j = h + 34. Is j a multiple of 19?
True
Let a = 92 + 63. Let v = 225 - a. Suppose 0 = 4*p + 8, -v = -0*c - 4*c + 3*p. Is 12 a factor of c?
False
Suppose 4*k + 13 + 15 = 0. Let o = 11 + k. Suppose o*w + 0*w - 48 = 0. Is 8 a factor of w?
False
Let h(r) = -r**2 - 11*r - 9. Let v(a) = -a**2 - 7*a - 8. Let c be v(-7). Let t be h(c). Suppose -3*l - t = 0, 67 = 3*f - 4*l - 37. Is 13 a factor of f?
False
Let k(r) = -r + 4. Let p be k(7). Let c(h) = 3*h**2 - 2*h + 2. Is c(p) a multiple of 17?
False
Suppose 5*o + 4*a - 100 = 55, 0 = -2*o - 4*a + 50. Does 7 divide o?
True
Let r = 90 - 62. Suppose 3*n + r = 7*n. Let c(a) = a**2 - 6*a + 1. Is 8 a factor of c(n)?
True
Suppose 3 - 6 = 3*q. Does 6 divide (-1)/q + 4 + 5?
False
Let r = -14 - -17. Let i = r - -51. Does 18 divide i?
True
Suppose -b = 3*l, 0 = 4*b - 3*b + 2*l + 2. Is (-22)/(-3) + (-4)/b a multiple of 4?
True
Let j = 481 - 151. Is j a multiple of 33?
True
Let j(x) = x**3 - 6*x**2 + 13*x - 10. Let s(k) = 3*k**3 - 18*k**2 + 38*k - 29. Let a(i) = -11*j(i) + 4*s(i). Does 12 divide a(6)?
True
Let j be -4 - -1 - (3 + -3). Is 3 a factor of 54/(-6)*5/j?
True
Suppose 0*q - 2*q = 78. Let d = q + 66. Is 11 a factor of d?
False
Let q(n) = 3*n**2 + 4*n - 5. Let y be q(-4). Suppose -2*f + 2*s - 9 = -3*f, -y = -3*f + s. Does 6 divide f?
False
Suppose 0*a - 5*a = 4*p - 36, 4*a - 4 = 3*p. Is a a multiple of 3?
False
Let c = 85 - -62. Is c a multiple of 15?
False
Suppose -5*g = -4*p - 1167, 2*g - 5*p = -p + 462. Suppose 6*s - g = s. Is 12 a factor of s?
False
Let d(l) = -l + 7. Let a be d(-7). Let y = -10 + a. Suppose -5 = 2*u - 3*u, y*b = 5*u + 47. Is 9 a factor of b?
True
Suppose 0 = -3*a - 2*r + 269, 2*a - 182 = -0*a - 2*r. Is 12 a factor of a?
False
Let y(x) = -15*x + 2. Let m be y(3). Let g = m - -75. Suppose g = 5*r - 13. Is r a multiple of 6?
False
Suppose 0 = 5*a - 0*n + 3*n + 48, 0 = n + 1. Let u(t) = -t**2 - 10*t - 4. Let g be u(a). Suppose 0 = j + 5*z - 28, g*j - 2*z = 6 - 1. Is j even?
False
Suppose 2 = k + 1. Does 7 divide k + (-5)/((-20)/24)?
True
Let x = 17 + -52. Let q = x + 137. Is q a multiple of 34?
True
Let m(q) = -2*q + 3. Suppose 14 - 2 = -2*f. Let b be 6/(-4)*(-16)/f. Is m(b) a multiple of 10?
False
Let z(w) = w**2 - 5*w - 3. Is z(11) a multiple of 9?
True
Suppose -5*w - 5*f + 89 = -f, -3*w = -3*f - 48. Is w a multiple of 7?
False
Let v = 16 - 56. Let g = v + -8. Let x = g - -67. Is x a multiple of 7?
False
Let r(z) be the third derivative of 0 + 1/120*z**6 + 2*z**2 + 1/12*z**5 + 0*z + 1/6*z**3 + 1/12*z**4. Does 4 divide r(-4)?
False
Suppose -6*h = 9 - 63. Is 8 a factor of h?
False
Let l(x) = 28*x + 8. Does 16 divide l(6)?
True
Let p be (7 - -1)*2/4. Suppose -2*j - 3*v + 2 - 4 = 0, p*v = j - 10. Suppose 0 = -j*x + o + 51, 0 = -0*x - 5*x + 3*o + 127. Is x a multiple of 13?
True
Is ((-6)/18)/(2/(-354)) a multiple of 24?
False
Let o(i) be the first derivative of i**3/3 + 2*i**2 - 2*i + 2. Let a(m) be the first derivative of o(m). Is a(5) a multiple of 7?
True
Let n(k) = k**2 - 7*k + 4. Does 11 divide n(9)?
True
Suppose -3*c - 94 = -34. Let u be (-2)/5 + (-68)/c. Suppose -u*k - 4 + 28 = 0. Is 8 a factor of k?
True
Let h(v) = -2*v**3 + v**2 - 1. Let i be h(-1). Let l = 220 - 137. Suppose 4*y - 3*c - l = 0, 5 = i*c + 15. Does 7 divide y?
False
Let k(n) = 12*n - 15. Let q be k(8). Let y = -108 + 53. Let o = q + y. Does 13 divide o?
True
Let r = -27 - -51. Is 6 a factor of r?
True
Let t(o) = 2*o - 10. Let a be t(7). Suppose -4*m + 44 + 99 = 3*z, 5*m - a*z = 140. Is 10 a factor of m?
False
Let d(n) = n**3 + n**2 + 9. Is d(0) a multiple of 9?
True
Let r(k) be the third derivative of 2*k**5/15 + k**4/24 - k**3/3 + 4*k**2. Is r(2) a multiple of 7?
False
Suppose -4*q - 104 = -12*q. Does 2 divide q?
False
Let w = 6 + -3. Suppose -m - m = 4*d + 32, m = w*d - 1. Let n = m - -23. Does 6 divide n?
False
Let q be (-315)/30*8/(-14). Suppose -q*l + 2*l = -140. Is l a multiple of 7?
True
Suppose 0 = j + 5*w - 5, -3*w - 3 - 2 = -j. Suppose 5 = 5*i - j. Is 2 a factor of i?
True
Let h be (4/(-6))/(18/81). Let t(u) = -u**2 - 4*u - 3. Let v be t(h). Suppose 4*b + v*b - 140 = 0. Does 11 divide b?
False
Suppose -5*d - 47 = 88. Let c = d + 47. Does 5 divide c?
True
Let h = 12 + -3. Let v be (-6)/(-9)*1*h. Does 15 divide (-2)/6 + 182/v?
True
Let q = 23 + -21. Suppose 20 = q*r + 2*r. Is 5 a factor of r?
True
Let g(d) = -5*d**3 - d**2 - d - 2. Does 12 divide g(-2)?
True
Let x = -32 - -167. Is 15 a factor of x?
True
Let s(v) = 2*v**3 - 4*v**2 + v - 6. Let n be s(6). Is n/20 + 2/(-5) a multiple of 5?
False
Suppose -4*p - 87 = 5. Let r = p - -46. Is r a multiple of 5?
False
Let x(t) = 3*t - 6. Let y be x(4). Suppose -2*v = -y*v + 20. Suppose v*b - q - 40 = 16, -5*q = -5*b + 40. Is b a multiple of 6?
True
Let w(b) = -5*b + 3. Let r be 1/3*(-18)/(-3). Let f be w(r). Let y(x) = -x**2 - 10*x + 1. Is 22 a factor of y(f)?
True
Let t(j) be the first derivative of 4*j**2 - 10*j - 8. Let k(z) = z**3 + 6*z**2 - 2*z - 3. Let o be k(-6). Is 16 a factor of t(o)?
False
Let d(m) = 4*m**3 + m - 1. Suppose -8*n + 5*n = -15, -5*f = -n. Let r be d(f). Suppose -w - 45 = -r*w. Does 15 divide w?
True
Let f(y) = -16*y**3 + y - 1. Let r be f(1). Is 2 a factor of r/(-2) - (9 + -6)?
False
Suppose -255 = -3*v - 5*a, 72 - 537 = -5*v + 5*a. Is v a multiple of 21?
False
Let v(x) = -x + 2. Let u be v(0). Suppose u*w = 4*z + 96, -5*w + w + 198 = -5*z. Is 26 a factor of w?
True
Let n(w) = -w**3 + 8*w**2 - w + 10. Let p be n(8). Let m(i) = i**3 - 3*i**2 + 3*i. Is m(p) a multiple of 2?
True
Suppose -i - 5*u = -83, -6*i + 4*u + 270 = -i. Does 12 divide i?
False
Let k = 197 - 131. Does 33 divide k?
True
Let f(s) = 3*s**3 + 2*s**2 + 3*s - 4. Let i(k) = -4*k**3 - 3*k**2 - 4*k + 6. Let n(c) = 7*f(c) + 5*i(c). Is 18 a factor of n(4)?
True
Suppose -5*m + r - 48 = 0, -r + 42 = -4*m - 2*r. Let t(v) = v**2 - 3 + 7*v + 1 - 6. Is 11 a factor of t(m)?
True
Suppose 0 = -n - 0*n + 8. Is n a multiple of 7?
False
Let l = -51 + 125. Does 16 divide l?
False
Let a = 6 + -3. Suppose -i - 2*i = a. Is ((-2)/6)/(i/27) a multiple of 9?
True
Let m = 39 - -21. Doe