de i?
False
Let g = 10 - 5. Suppose -k + 3*a + 4 = 0, 6 = -3*k - g*a + 18. Suppose k*b - b - 87 = 0. Is b a multiple of 17?
False
Let l(f) = 3*f + 5. Let r be l(-6). Let g = r + 45. Is 16 a factor of g?
True
Let f(b) = -2*b**3 - 3*b**2 + 3*b + 2. Let j be f(-4). Let x be (3 - 2)/((-2)/j). Let r = x - -73. Does 17 divide r?
False
Suppose -4*o - 93 = 5*x - 28, -3*o = -x + 44. Let q = 27 + o. Is 4 a factor of q?
True
Let s(k) = -k**3 + 2*k**2 + 4*k - 3. Let y be s(2). Suppose -j = 4*j + a - 59, -y*a = 5*j - 75. Is j a multiple of 7?
False
Let q(x) = -15*x + 1. Let d(u) = u**3 + 3*u**2 + 4*u + 3. Suppose 3*f + 4 = z, -2*z + f + 0 - 2 = 0. Let i be d(z). Is q(i) a multiple of 10?
False
Let r be ((-3)/4)/((-1)/4). Let y = r - -1. Suppose -27 = -4*c + 3*c - 4*d, 48 = y*c + 4*d. Does 2 divide c?
False
Let o(c) = 5*c**3 + c**2 - c. Is o(2) a multiple of 21?
True
Let x(l) = 12*l + 15. Is x(9) a multiple of 15?
False
Let r = 27 - -21. Suppose 5*d - r = d. Does 6 divide d?
True
Let j(f) = 29*f**2 - 2. Let u be j(-2). Suppose 0 = 5*r - u + 9. Is r a multiple of 7?
True
Let d(p) = -2*p**2 - 3*p - 3. Let w be d(5). Let c = -37 - w. Does 8 divide c?
False
Let w be (-2)/(-7) + 884/91. Let t = 27 + -7. Suppose 5*p - t - w = 0. Does 2 divide p?
True
Suppose 49 = -z + 123. Is z a multiple of 7?
False
Let i(x) = 9*x**2. Let v be (4 - 7) + 4 - 0. Does 9 divide i(v)?
True
Let x(j) = j - 9. Let d be x(8). Let n(q) = -23*q + 1. Does 12 divide n(d)?
True
Let x(j) = -j**3 - 16*j**2 - 4*j + 17. Does 27 divide x(-16)?
True
Let g = 199 + -122. Is g a multiple of 22?
False
Let r be 3*(0 - (-3 - -2)). Suppose -3*c = -4*c + r. Suppose -h + 2 = -c. Is h a multiple of 3?
False
Let s(p) = -p**3 + 8*p**2 + 9*p + 5. Suppose -4*i + 3*i + 9 = 0. Does 5 divide s(i)?
True
Let u(q) = -9*q + 5. Let h be u(-4). Suppose 2*p = h + 11. Is 11 a factor of p?
False
Let l(r) be the second derivative of r**4/3 - r**3/3 + 3*r**2/2 - r. Is l(2) a multiple of 9?
False
Suppose -2*u - 2*s - 2*s = -20, s + 22 = 4*u. Does 5 divide u?
False
Let f = 4 + -3. Let d be (5/f)/(3/108). Suppose -2*w + d = 3*w. Is w a multiple of 15?
False
Let g be -1*11 + (0 - -1). Suppose 17 = 5*k - 33. Does 3 divide (-74)/g + (-4)/k?
False
Let v be 2 - 4 - (38 + 3). Does 11 divide v*2*9/(-18)?
False
Let u be 5 - ((-4)/(-1) + -1). Suppose 4*m - m = 5*y + u, 0 = 2*m - 2*y - 4. Suppose 3*z + 33 = -g + 177, 2*g = -m*z + 194. Is 16 a factor of z?
False
Suppose 7*w - 1084 = -244. Is w a multiple of 10?
True
Suppose -o + 2*o = 0. Suppose -4*t - 12 = -o. Does 4 divide 1/t*(-12 - 0)?
True
Let w be 8/6*(-6 + 3). Let a = 12 - w. Suppose 13 = 2*t - 0*z - 5*z, 4*z = -5*t + a. Is t even?
True
Let w be 32/20 + 4/10. Suppose d - w*q - q - 16 = 0, -4*d + 2*q = -104. Suppose 4*n - 5*n + d = 5*y, -2*y + n = -7. Does 3 divide y?
False
Let z = -3 + 5. Let m be 10/z + -3 + 21. Let p = m - 8. Is 7 a factor of p?
False
Let w = 2 - 2. Suppose 2*q = -w*q - 10. Is 16 a factor of (q/2)/((-2)/20)?
False
Suppose 9*t = 348 - 78. Is 5 a factor of t?
True
Is 9 a factor of (36/(-10))/(3*18/(-675))?
True
Let z be ((-30)/25)/((-2)/5). Suppose 12 = z*b - 0*b. Suppose -10 = -r + y - 0*y, b*y = -3*r + 30. Is r a multiple of 10?
True
Suppose 20*r = 17*r + 216. Is 10 a factor of r?
False
Let p(l) = 23*l**3 - l**2 - l + 1. Let d be 10/4 - 3/6. Suppose 2*o = -f - d*o - 15, 0 = 4*f + 5*o + 16. Does 11 divide p(f)?
True
Let t = -11 + 17. Let a be 2/t - (-4)/(-3). Let q = 7 - a. Does 4 divide q?
True
Suppose 0 = -x - x - 2. Let a be -4*-6*x/(-1). Let b = -12 + a. Does 6 divide b?
True
Let j = -57 - -130. Does 2 divide j?
False
Suppose -3*h + f = -6, 0*f - 15 = -4*h - f. Suppose -h*v + k - 5*k = 12, k + 3 = -v. Suppose v = w - 2, -3*x - 2*w = w - 87. Is x a multiple of 16?
False
Does 35 divide ((-3780)/144)/(3*(-1)/16)?
True
Does 18 divide (-36)/(-8)*((-58)/(-2) + -1)?
True
Let k(v) = 4*v + 4. Does 8 divide k(13)?
True
Suppose -3*q - 29 + 260 = 5*d, -2*d = -5*q - 80. Is 15 a factor of d?
True
Let a = 75 + -71. Does 4 divide a?
True
Let l(x) = -2*x**3 + 13*x**2 - 4*x + 7. Does 19 divide l(6)?
True
Let n(j) = 2*j + 2*j - 6*j + 0*j**2 + j**2 + 1. Let y be n(3). Suppose 4*i + y = k, -k - i + 4*i = -6. Is 12 a factor of k?
True
Let v(n) = 5*n - 12. Let z(i) = 10*i - 25. Let y(l) = -5*v(l) + 3*z(l). Let x = -16 - -27. Is y(x) a multiple of 20?
True
Suppose 2*v = -3*i + 834, 0*v + 558 = 2*i + 2*v. Is 23 a factor of i?
True
Let a(n) = n**3 + 6*n**2 + 6*n + 7. Let l be a(-5). Suppose -l*t - u = -23, 6*u - 2*u - 27 = -3*t. Is t a multiple of 3?
False
Let u(d) = -10*d - 3. Does 7 divide u(-1)?
True
Let n be (-56)/(-10) - 6/(-15). Is 12 a factor of (-4)/6*(-60 + n)?
True
Let t(s) = -4*s**3 + s**2 + 2*s + 3. Is 11 a factor of t(-2)?
False
Suppose 5*n - 5*i + 20 = -i, -3*n - i = 29. Let t = 8 + n. Suppose t*b + 3*b = 60. Is 20 a factor of b?
True
Suppose 0 = 4*i - 9*i. Suppose -38 = -2*b - 3*y - y, 4*b + 4*y - 72 = i. Does 7 divide b?
False
Let g(u) = 9 + 2*u**2 - 6*u - 10*u - 4*u**2 + u**2. Is g(-12) a multiple of 16?
False
Suppose 14 = 2*w - 10. Does 4 divide w?
True
Let h(s) = -s**3 - 13*s**2 - 15*s - 2. Suppose 0*j + 5*j = -60. Is h(j) a multiple of 17?
True
Suppose -3*r = -r. Suppose -v + 72 = -r*v. Is v a multiple of 18?
True
Let q(i) be the first derivative of -23*i**2/2 + i + 2. Is 14 a factor of q(-3)?
True
Suppose -2*z - k + 2*k = -4, 0 = -5*z - 4*k + 10. Suppose z*o + 18 = 5*o. Let x(s) = 2*s**2 - 7*s + 8. Is 19 a factor of x(o)?
True
Suppose 4*j - k - 164 = 3*k, 0 = 5*j + 3*k - 165. Does 18 divide j?
True
Suppose -i + l = -19, -i + 0*i - 3*l = -35. Does 14 divide i?
False
Suppose -28 = -a - 215. Does 4 divide a/(-34)*(1 + 1)?
False
Let q(k) = -3*k - 13. Is q(-6) a multiple of 5?
True
Suppose 0 = 5*w + 5 - 285. Is 7 a factor of w?
True
Suppose p = s + 20, 0 = s - 4. Is p a multiple of 12?
True
Suppose 234 = 5*v - 3*k, v - 3*k = -2*v + 138. Is 24 a factor of v?
True
Let d(t) = 12*t**2 - t + 3. Is 27 a factor of d(3)?
True
Let c(l) = l + 32. Is c(21) a multiple of 12?
False
Let r(v) = 2*v - 2. Let z(p) = -p**2 - 6*p - 2. Let o be z(-5). Let g be r(o). Let f = 22 + g. Is f a multiple of 9?
False
Let j = -12 - -45. Does 7 divide j?
False
Let f = 11 - 7. Suppose -3*z - 11 = -f*z. Is 5 a factor of z?
False
Is 21 a factor of ((-453)/2 - 5/10)/(-1)?
False
Let s(g) = 6*g**3 + 10*g**2 - 9*g - 1. Let k(j) = 5*j**3 + 9*j**2 - 8*j - 1. Let a(d) = -7*k(d) + 6*s(d). Is 7 a factor of a(4)?
False
Let b be 3/(-5 + -1)*-46. Let q be (0/1 - -1)*-13. Let y = b + q. Does 10 divide y?
True
Let z(s) = -s**2 + 11*s - 6. Is 8 a factor of z(5)?
True
Let f = -12 - -22. Let s be (3/(-2))/(9/(-12)). Suppose -f = -2*g + s. Is 3 a factor of g?
True
Let c = -111 + 78. Let l = 47 + c. Does 6 divide l?
False
Suppose 0 = 2*q - 5*k - 52, -q = -3*k - k - 29. Is q a multiple of 7?
True
Let r be 1/4 - (-58)/(-8). Let k(y) = -6*y - 5. Let q(c) = -7*c - 6. Let d(f) = 6*k(f) - 5*q(f). Is 6 a factor of d(r)?
False
Suppose -3*r = -4*r + 3. Suppose -114 = -r*g - 24. Is 6 a factor of g?
True
Suppose -3 = 5*j - 2*j. Does 9 divide 17 - (-3 + j)/4?
True
Suppose 5*a + 15 = 0, 3*b + 2 = -3*a + 5. Suppose 7*x + 2*u - 266 = 2*x, -b*x + 5*u = -193. Does 26 divide x?
True
Suppose -10 + 0 = -5*p. Suppose -3*n = -p - 25. Is n a multiple of 2?
False
Suppose 3*i - 128 = 436. Is 32 a factor of i?
False
Suppose -5*o - 4*x + 80 = -o, 2*o - 49 = -5*x. Suppose -o + 9 = -4*p. Suppose -2*n + 64 = 4*z, -p*z - 5*n = -4*z + 20. Does 7 divide z?
False
Let z(i) = i**2 - 6*i - 9. Does 20 divide z(-6)?
False
Does 8 divide (-380)/(-16) + (-1)/(-4)?
True
Suppose -a = -4*n + 3*n - 171, -3*a + n = -503. Is 29 a factor of a?
False
Let f(d) = -d**2 + 13*d - 11. Is 19 a factor of f(10)?
True
Let l(z) = -4*z**3 - 5*z**2 - 4*z + 0*z**3 - 4 + 3. Let j be l(-3). Suppose -5*q = -v + 2 - 4, -5*v + 4*q + j = 0. Is v a multiple of 9?
True
Let i(v) = 19*v + 1. Let l(u) = 2*u**3 - 5*u**2 + 4*u. Let t be l(3). Suppose -t = -4*b - 9. Is i(b) a multiple of 20?
False
Let a(z) = z**2 - 6*z - 10. Does 3 divide a(-4)?
True
Let c(m) = -5*m + 5. Let w be c(2). Let n = w - -15. Is 5 a factor of n?
True
Let n(z) = -5*z + 12. Let b be n(8). Let i = 61 + b. Suppose -2*m + i = 2*g - m, -3*m = -2*g + 45. Is g a multiple of 7?
False
Let g(x) = -2*x**2 + x**3 - 10*x**2 + 21*