 2*f**2 - 11*f - 15. Is y(-6) a multiple of 28?
False
Let v(i) = 3*i**2 + 4*i**2 - 2*i - 8 + 0 - 4*i**2. Is v(6) a multiple of 31?
False
Suppose 0 = -4*f + 13 + 11. Is (-3)/f - (-87)/2 a multiple of 24?
False
Let c = 189 + -117. Let t = -42 + c. Does 10 divide t?
True
Let y(g) = -g**3 - 10*g**2 - 13*g. Let x be (-12)/(-8)*(-4 - 2). Is y(x) a multiple of 12?
True
Let d = 30 - -32. Suppose d - 10 = 4*g. Is g a multiple of 13?
True
Suppose -4*v + 8 = -0. Suppose 0 = -q - u + 16 + 16, v*q - 74 = 3*u. Does 17 divide q?
True
Let k(s) = s**3 - 7*s**2 + s + 4. Let h(x) = -1. Let q(t) = -3*h(t) + k(t). Is 8 a factor of q(7)?
False
Let x(o) = o**3 - 7*o**2 - o + 7. Let t(g) = -6*g**3 + 35*g**2 + 5*g - 36. Let q(l) = -2*t(l) - 11*x(l). Let a be q(-7). Is 4 a factor of 8/a*39/(-2)?
False
Let l = 16 + -9. Let j = 4 - l. Does 17 divide -11*(10 + -1)/j?
False
Let i(l) = 13*l - 49. Is 42 a factor of i(7)?
True
Let u be (-12)/(-42) - (-89)/7. Suppose 0 = -2*i - 2*w + 10, 4*i - 3*w - 14 = u. Is i a multiple of 4?
False
Let y = -5 - -104. Is 9 a factor of y?
True
Let r = -13 + 17. Is r even?
True
Suppose -2*s = -104 + 54. Is s a multiple of 7?
False
Suppose -2*z = 5*b - 542, -b = z - 5*z - 126. Does 29 divide b?
False
Let q = 53 + -3. Is 38 a factor of q?
False
Does 22 divide (-2 + 1 + 0)*-66?
True
Suppose -7 = -3*n - 1. Does 18 divide 1 + n/(4/70)?
True
Suppose 0 = -4*b + 5*g + 45, -3*b = -7*b + 3*g + 43. Is b a multiple of 2?
True
Suppose -18*d = -20*d + 600. Is d a multiple of 19?
False
Let d = 8 + -5. Suppose -d*h = h - 284. Does 17 divide h?
False
Suppose 832 = 17*z - 9*z. Is z a multiple of 13?
True
Let p be ((1 - 3)/(-2))/1. Let q(s) = 26*s**3 + s**2 - s. Is 13 a factor of q(p)?
True
Suppose 0*d - 2*q = 5*d - 22, -4*d + 12 = 3*q. Does 2 divide (-3 - (-3)/d)*-2?
False
Let x be (6/10)/(8/(-40)). Is x/(-3 + 0)*4 a multiple of 4?
True
Suppose 5*b = 4*b, b = -5*v - 5. Is -21*(-3)/(10 + v) a multiple of 7?
True
Let p(s) = 4*s**2 + 5 + 0*s**2 - 5. Does 4 divide p(1)?
True
Suppose -3*q = 2*v - 9, -3*v - q - q + 21 = 0. Let b = v + -5. Suppose b*p + p - 30 = 0. Is p a multiple of 6?
True
Let i be (1/3)/(3/27). Suppose 23 = i*b - 25. Suppose -d - b = -3*d. Is d a multiple of 4?
True
Suppose 90 = -4*t + 10*t. Does 14 divide t?
False
Suppose 5*v - 37 = 13. Suppose p + 0 = v. Is 9 a factor of p?
False
Let n = 4 - 4. Let m be (2/(-8) - n)*-12. Suppose 0 = 3*z - 0*t + t - 52, -z + m*t = -24. Is 18 a factor of z?
True
Let z be (2 - 0) + (1 - 28). Let s = -10 - z. Is ((-2)/(-6))/(1/s) a multiple of 3?
False
Suppose -4*t = -20, -3*p - t + 300 = 2*t. Let z = p - 59. Is 9 a factor of z?
True
Let n(a) = a**2 + 3*a. Let b be n(-4). Let v(h) be the third derivative of h**6/120 - h**5/30 - h**4/24 - h**3/3 + h**2. Does 26 divide v(b)?
True
Let z(y) = -6*y**3 - 6*y**2 - 2*y - 7. Let k(v) = -v**3 - v**2 - 1. Let q(j) = -5*k(j) + z(j). Let h be q(-2). Let d = h + 1. Is d a multiple of 4?
False
Let o(b) be the second derivative of -3*b**3 + b**2 + 5*b. Is o(-2) a multiple of 19?
True
Let b(j) = 3*j**2 + 3*j + 2. Is b(-4) a multiple of 6?
False
Let q(y) = -y**2 - 30*y + 3. Is q(-6) a multiple of 14?
False
Let x(q) = -14*q**2 + 2*q + 1. Let y be x(-1). Is 3 a factor of (-6)/y + (-66)/(-10)?
False
Does 10 divide 20/(-8)*(-15 - -3)?
True
Does 3 divide ((-16)/12)/((-1)/3)?
False
Let t(k) = -k**2 - k + 2. Let i be t(0). Suppose 0 = 4*j + 12, -i*w - j = -w + 1. Let b = w - -3. Is 5 a factor of b?
True
Is (-2)/8 + (-516)/(-16) a multiple of 9?
False
Suppose 0 = z - 9 + 4. Let c = 0 - z. Is 2 a factor of (1 - 4)/3 - c?
True
Suppose 3*n + f = -11, 4*n - f + 1 = -2. Is 13 - ((-9)/(-3) + n) a multiple of 5?
False
Suppose k = -4*k. Let h = -15 + k. Is 1/(-5) + (-198)/h a multiple of 6?
False
Suppose 4*t + 0 = 8. Let l be 93 - t*3/6. Suppose -l = -4*d + u, 3*d - 43 = 3*u + 35. Does 10 divide d?
False
Let a(b) = 10*b**2 + 21*b**2 + 7*b**2. Let o = -6 + 5. Is 19 a factor of a(o)?
True
Let a be (6/(-3))/((-2)/90). Suppose 2*t - 10 = -3*t. Suppose y = -t*y + a. Is y a multiple of 13?
False
Suppose 0 = -2*y + 3*y - 5. Suppose -d + 18 = -2*p, 45 + 25 = y*d - 5*p. Does 5 divide d?
True
Let i(n) = n**3 + 12*n**2 - 17*n + 4. Does 28 divide i(-13)?
True
Let s(r) = -12*r + 1. Let f = -4 - -1. Is 15 a factor of s(f)?
False
Suppose 2*p - 89 + 29 = 0. Is 12 a factor of p?
False
Let t(v) = -v**2 + 4*v + 4. Let o(f) = -f**2 + 9*f + 9. Let s(d) = 3*o(d) - 7*t(d). Suppose 2*m + 0*m - 5*u - 3 = 0, -4*u = -4*m. Does 2 divide s(m)?
True
Let h = -24 + 35. Suppose -4 = -3*x + h. Suppose x*u = -0*u + 20. Does 3 divide u?
False
Let c = 242 + -146. Does 24 divide c?
True
Let n(p) = p**2 + 5*p - 9. Is n(-7) even?
False
Is -2 + 45/20 + 694/8 a multiple of 11?
False
Let i = -604 - -954. Is 50 a factor of i?
True
Let p(r) be the third derivative of -r**6/120 + r**5/10 + 7*r**4/24 + r**3 + 3*r**2. Does 6 divide p(7)?
True
Suppose z = -2*z + 27. Let g(r) = r**2 + 15*r + 8. Let o be g(-14). Is (-3)/z - 68/o a multiple of 11?
True
Suppose -102*w = -104*w + 672. Is 42 a factor of w?
True
Suppose -15 = 3*n, n + 41 = 3*o - 24. Is 4 a factor of o?
True
Suppose 2 + 23 = o. Is o a multiple of 5?
True
Let l = 722 + -401. Is l a multiple of 23?
False
Let v be 6/(-4) + 894/12. Suppose 2*p + j - 4*j = v, 2*j + 122 = 3*p. Is p a multiple of 11?
True
Suppose 0 = -4*h - h + 40. Let l be h/2*(-1 - -2). Suppose l*d - 5*v - 15 = -d, -4*v + 28 = 4*d. Is d even?
False
Let i = 13 + -21. Let v be i/((-2)/(-2) - 3). Suppose 108 = 4*n - v*u, -4*n - 3*u = -2*n - 54. Is n a multiple of 10?
False
Suppose 2*c + 5 = 3*o, 3*o - 2*o = 5*c - 7. Suppose 0 = -2*a - o*a - 25. Let b(n) = n**2 - n + 6. Does 16 divide b(a)?
False
Let i be (-12)/(-8) - (-2)/4. Does 9 divide 16/i + (4 - 3)?
True
Let g = -268 + 590. Suppose -2*l = -g + 132. Is l a multiple of 21?
False
Suppose 4 = f, 4*l + 3*f = 50 + 234. Suppose 2*d + 0*m - l = -2*m, 2*m = 0. Is d a multiple of 8?
False
Suppose 139 = 5*f + 3*q, 4*f = -q + 176 - 69. Let l = 2 + -14. Let u = l + f. Is u a multiple of 5?
False
Let b(k) = k**2 - 2. Let q be b(-5). Suppose -5*s + 42 + q = 0. Is s a multiple of 9?
False
Suppose -58 = -z - b, -70 = -4*z + 4*b + 202. Is z a multiple of 21?
True
Suppose 3*y + 607 = 5*k + 7*y, -y + 490 = 4*k. Does 15 divide k?
False
Let a(h) = 2*h. Let j be a(7). Suppose 2*d + 8 = -0*d, -j = -3*x - d. Is x a multiple of 2?
True
Let y be (2*-4 - -2) + -2. Let s = 13 + y. Suppose 0 = 3*x - 6*d + 2*d - 105, -4*x + s*d + 141 = 0. Does 13 divide x?
True
Suppose 3 = -8*r + 9*r. Let j be ((-2)/(-3))/(r/(-351)). Does 7 divide (2/4)/((-3)/j)?
False
Let d(c) = 3*c**3 - 11*c**2 - 15*c + 25. Let v(n) = -n**3 + 6*n**2 + 8*n - 12. Let x(u) = -2*d(u) - 5*v(u). Does 30 divide x(-8)?
True
Suppose 3*l + 12 = 0, -y + l - 6 = 4*y. Let z be (-4)/(-6)*3/y. Let t(d) = -23*d + 1. Is 12 a factor of t(z)?
True
Let q(g) be the third derivative of 0 + 1/30*g**5 + 0*g + 1/6*g**3 - 1/8*g**4 + 1/120*g**6 - 2*g**2. Does 6 divide q(2)?
False
Let k = -10 + 29. Is 9 a factor of k?
False
Suppose -p - 4 = -5. Is 5 a factor of 8/p + (-9)/3?
True
Let g = -59 + 104. Does 9 divide g?
True
Let k(t) = -25*t - 18. Does 12 divide k(-6)?
True
Let c be 194 - ((-2)/2)/1. Suppose -w - 4*w + c = 0. Is w a multiple of 13?
True
Let j = 8 + -6. Suppose -4*f - j*o + 300 = 44, -2*f = 2*o - 126. Suppose -5*q + 2*d + f = 0, 3*q + 4*d - 7 = 6. Does 4 divide q?
False
Let q(u) be the second derivative of -u**4/12 - u**3/2 - 2*u. Let s be q(-3). Suppose 4*w + 4*j - 44 = s, 3*j = -w - j + 20. Does 3 divide w?
False
Suppose 0 = -11*r + 4*r + 175. Is 25 a factor of r?
True
Suppose 5 = -3*y - 7. Is 6 a factor of (3 + y)/(-1) + 5?
True
Suppose -5*j = 4*c + c + 25, 5*c - 2*j = 3. Let r = c + 0. Is 6 a factor of (-14)/(-3 - r) + -1?
True
Suppose 0*o - 9 = -3*o + 3*b, 2*b = -4*o. Let q(c) = 6*c**2 + o + c - 3*c - 2*c**2 - 2. Is 7 a factor of q(-2)?
False
Let y = -2 - -4. Suppose y = g - 2. Suppose -4*x - g*a + 137 = -7*a, 0 = -a - 3. Does 16 divide x?
True
Let i(n) = 4*n**2 - 4*n + 2*n - 3*n. Let y be i(-4). Is (y/(-20))/((-1)/5) a multiple of 9?
False
Let g(y) = 2*y. Let h be g(-3). Let t = h + 11. Is t a multiple of 4?
False
Suppose 4*c + 3*w - 7 = 0, 10*w = 5*c + 5*w. Let f = c + -1. Suppose f = 2*n - n - 14. Does 7 divide n?
True
Let q(t) = -21*t + 4. 