- r**2 - 4*r + 1. Suppose -5*u - 9 = 3*x - 1, -5*x + 16 = u. Is a(u) a multiple of 12?
False
Suppose 0 = -6*d + 4*d + 46. Is 5 a factor of d?
False
Let a = -5 - -3. Let z(g) = -32*g + 1. Let l be z(a). Suppose 0 = 5*q + 4*f - 3*f - l, -f = -5*q + 55. Is 9 a factor of q?
False
Let j(s) be the first derivative of -s**3/3 - 4*s**2 - 4*s - 1. Let d be j(-5). Suppose -v + d = -6. Is v a multiple of 17?
True
Let w(q) be the second derivative of -q**3/6 - q**2/2 - q. Let z be w(-6). Suppose 4*b - 8 = -3*k, 0 = -5*b - z*k + 2*k + 13. Is 4 a factor of b?
False
Let m(z) = 21*z**2 + 2*z + 1. Let w be -4*3/(-6) + -3. Is m(w) a multiple of 10?
True
Let b(v) = -v**2 - 7*v. Suppose 0 = 4*r - 3*i - 15, 3*i = -2*r + 8*i + 25. Suppose u + 5 = -4*d, r*u - 2*d = 3*u + 15. Does 10 divide b(u)?
True
Suppose 0 = r + 5*s - 45, -164 - 27 = -3*r - s. Is 13 a factor of r?
True
Suppose 0*b - 3*b + 48 = 0. Is b a multiple of 8?
True
Let b = 376 + -86. Is b a multiple of 29?
True
Let l be 14/7*(-18)/4. Let q(g) = g**3 + 9*g**2 - 2*g + 9. Let c be q(l). Suppose -4 - 1 = -h + m, 4*h + 3*m = c. Does 4 divide h?
False
Let f be 2*2/4*1. Suppose 0 = 2*t - 2*o - 3*o + 65, -2*t - 5*o - 15 = 0. Is 12 a factor of 0*f/2 - t?
False
Suppose -4*r + 118 = 22. Is 7 a factor of r?
False
Let q(x) = 12 - 12 + 4*x. Does 11 divide q(6)?
False
Let g be (-1)/(1 + 160/(-158)). Suppose 4*s + 3*b + 2*b + g = 0, b = 5*s + 77. Let w = 30 + s. Does 8 divide w?
False
Suppose 4*h = -216 + 688. Suppose c = -v - 0 + 1, 2*v - 4*c - 14 = 0. Suppose -5*g = v*k - h, 0 = 3*g + k - 27 - 43. Is 8 a factor of g?
False
Suppose -7 = 4*j + 1, 4*u - 2*j = 0. Is 8 a factor of (-1 - -25)*(3 + u)?
True
Suppose n = 5*n - 480. Is n a multiple of 20?
True
Suppose o - 6*o - 28 = -3*x, -2*x = -3*o - 17. Suppose 5 = 2*i + x. Is 2 a factor of i?
True
Let w be (-3)/2*50/(-15). Let x be w - (0 - (-2)/1). Suppose 2*m - x*g = 35, -3*g = -2*m - g + 32. Is m a multiple of 10?
False
Let v(w) be the first derivative of -w**4/4 + 2*w**3 + 5*w**2/2 - 2*w + 2. Does 14 divide v(6)?
True
Suppose -3*b + 8*b - 455 = 0. Suppose 4*y = 0, -w - b = 4*y - 226. Suppose x = -2*x + w. Is x a multiple of 16?
False
Let s = -1 - -28. Does 10 divide (s - 0/3) + 3?
True
Let v(b) = -b**3 - 13*b**2 + 14*b - 15. Is v(-15) a multiple of 45?
True
Let a(g) = -3*g + 9. Is 26 a factor of a(-11)?
False
Let d = 19 - 16. Let y = 73 + -21. Is y - (d + -2 + -1) a multiple of 14?
False
Let t(s) be the second derivative of s**3/3 + s**2 + 2*s. Is 5 a factor of t(2)?
False
Suppose 0*d = 3*d - 69. Suppose -2*w = -46 - 46. Let o = w - d. Does 15 divide o?
False
Suppose -2*n - 112 = 3*u - 14, -5*n + 5*u - 245 = 0. Let k = n - -35. Is (-150)/k - (-2)/7 a multiple of 11?
True
Let g(h) = -h + 15. Let r be g(7). Let q(c) = -1 + 9*c - r*c**2 + 4*c**3 - 3*c**3 - 2 + 1. Is 4 a factor of q(7)?
True
Let b = 7 - 6. Let h be (-1 + b + 1)*-1. Let x = 10 - h. Is 11 a factor of x?
True
Suppose 0 = -2*j + 15 + 1. Suppose -5*y = -17 - j. Suppose 0 = y*l - 3*b - 128, 3*l = -2*l + 2*b + 132. Is 14 a factor of l?
True
Suppose -2*h - 3*q + 19 = 0, -3*h = 3*q - 29 - 1. Does 10 divide 3*1 + h + -4?
True
Let l(b) = -7*b - 5. Let u be l(-9). Suppose -3*c + 80 = -u. Is 23 a factor of c?
True
Let b(v) be the third derivative of -5*v**4/24 - v**3/2 - 2*v**2. Is 9 a factor of b(-6)?
True
Suppose -2*j + 28 = -4*n, 5*j + 1 = 4*j - n. Let a be (-1)/(-2) - 2/j. Suppose a*u + 2*u + 90 = 5*y, -4*y + 59 = u. Is 12 a factor of y?
False
Let o = 14 + 31. Does 15 divide o?
True
Suppose 7*n = 4*n + 141. Is 11 a factor of n?
False
Let l = 1 - -3. Let s be (-2 + l + -2)/2. Suppose -4*y - 4*h = -56, s*y - 2*h + 64 = 5*y. Does 5 divide y?
False
Let w(l) = -l + 3. Let i be w(3). Let x be 3*(-3)/27*-12. Suppose 188 = x*p - i*p. Does 19 divide p?
False
Let o(v) = 39*v - 4. Let w(a) = -19*a + 2. Let q(t) = -2*o(t) - 5*w(t). Is 16 a factor of q(2)?
True
Let x be 2/(-6) + (-12)/(-9). Let y(m) = -3*m - 1 + 9*m + 12*m. Is y(x) a multiple of 9?
False
Suppose 0 = -5*b - g + 32, -4*b + g = -1 - 21. Suppose -q + b = q. Let m = q - -2. Is m even?
False
Let c be ((-41)/(-4))/((-6)/(-24)). Let h = 75 - c. Does 18 divide h?
False
Let u be (-60)/(-3)*23/2. Suppose 2*h + 4*p + 230 = 7*h, -p - u = -5*h. Suppose 10 = 4*b - h. Is b a multiple of 14?
True
Suppose u + u = 6. Suppose -2*l - 13 = -u. Let s(b) = -b - 2. Is 2 a factor of s(l)?
False
Suppose 0 = -9*b + 886 + 167. Does 12 divide b?
False
Let q = -6 + 13. Suppose -q*j + 16 = -3*j. Does 2 divide j?
True
Let g = -83 - -159. Let a be (0 + -2 + 2)/1. Suppose a*w = 4*w - g. Does 5 divide w?
False
Let h = 115 + -73. Is h a multiple of 7?
True
Let d(z) = 20*z**2 + z - 4. Let m be d(4). Suppose -4*p + 2*u + m = 0, 2*p = 3*p + 3*u - 66. Suppose 0*o - p = -2*o. Does 13 divide o?
True
Does 10 divide (-6)/15*-10 - -46?
True
Suppose -5*q - 24 = -q. Let r(t) = 3*t**2 + 4*t + 4. Is r(q) a multiple of 23?
False
Let g = 61 - 13. Let p = g + -21. Is p a multiple of 7?
False
Suppose -21*w = -22*w + 4. Does 15 divide w/14 - (-309)/21?
True
Let o be -2 + 3/(3/4). Suppose o*i + 3*i - 53 = -p, p + 3*i - 43 = 0. Is p a multiple of 19?
False
Let b(i) be the second derivative of i**4/12 + 4*i**3/3 + 9*i**2/2 - 3*i. Does 2 divide b(-7)?
True
Let k(p) = 3*p + 13. Is 8 a factor of k(6)?
False
Let t(y) = -y**3 - y**2 + y - 3. Let o be t(0). Let x = o + 2. Is 15 - (0 - -2) - x a multiple of 9?
False
Let v be (296/6)/((-10)/(-15)). Let p = v + -46. Does 22 divide p?
False
Suppose -48 = p - 4*p - 2*g, -g + 51 = 3*p. Does 6 divide p?
True
Let a(b) = b**3 - 23*b**2 - 21*b + 60. Is a(24) a multiple of 21?
False
Let t(n) be the second derivative of -7*n**3/6 + n**2/2 - 2*n. Is t(-2) a multiple of 8?
False
Let s be (6 - 18)*2/4. Let r = s + 10. Does 2 divide r?
True
Does 21 divide (-3)/((-12)/(-28))*-3?
True
Let r be 5/(-25) + 1/5. Suppose s + r*s = 0. Suppose 4*u = -s*u + 96. Does 12 divide u?
True
Let h(n) = n**3 + 8*n**2 + 3. Let v be h(-8). Suppose v*j = f + 41, 0 = -j + 6*f - f + 37. Does 9 divide j?
False
Suppose -130 = -7*c + 199. Is c a multiple of 22?
False
Let u = 7 + -6. Let q be (u - 2/3)*9. Suppose -q*c - 22 + 88 = 0. Is 11 a factor of c?
True
Suppose 8*i = 82 + 550. Does 14 divide i?
False
Let v be 4/2*(-5)/(-2). Suppose v*q + 0*q = 20. Is q a multiple of 3?
False
Let u(k) = -k**2 - 18*k - 23. Does 5 divide u(-16)?
False
Suppose -6 = -2*g + 4. Let p(w) = -w**3 + 6*w**2 + 3*w - 5. Does 14 divide p(g)?
False
Let o(t) = 16*t + 4. Does 14 divide o(5)?
True
Let q(i) = -2 + 6 - i - 4. Let r be q(-1). Let p = r + 20. Does 21 divide p?
True
Let x(s) = -4*s**2 + 7*s + 7. Let g be x(6). Let c(f) = -2*f**2 + 15*f - 7. Let z be c(10). Let j = z - g. Does 15 divide j?
False
Let d = -1 + 0. Let g(q) = -q**3 - 5*q**2 - 5*q - 3. Let w be g(-3). Is 5 a factor of d/((w/10)/3)?
True
Let u = 7 - 14. Is (u + 1)*(-2 - 2) a multiple of 6?
True
Let s(l) = 3*l - 7. Is 2 a factor of s(6)?
False
Let i = 101 + 55. Is i a multiple of 13?
True
Let n = 138 + -95. Suppose 4*b - n = 41. Does 10 divide (1 + -2 + b)/1?
True
Let v(y) = y**2 - 4*y - 2. Let n be v(4). Let u(c) = c - 5. Let f be u(4). Does 6 divide n/(-2)*(f + 15)?
False
Does 4 divide -2 + 6 + (10 - -4)?
False
Let q(c) be the second derivative of c**4/12 + 2*c**3/3 - 7*c**2/2 - c. Let h(n) = -n**3 + 4*n**2 + 5*n - 7. Let d be h(5). Is q(d) a multiple of 14?
True
Suppose -20 = -5*r - 0*r. Let u be (r/6)/(4/(-6)). Let v = u + 31. Is 15 a factor of v?
True
Let f = -1 - -2. Let x(q) = 3*q - 1. Let w be x(f). Suppose -p = -5*l + 3*l + 3, 3*l - 22 = -w*p. Is p even?
False
Let k be (6/(-5))/((-1)/(-5)). Let h be k/(-9) - (-20)/6. Is 54/4 - h/8 a multiple of 13?
True
Let y = 3 - 3. Let d = 4 + y. Suppose -2*v + d*a = -3*v + 48, 5*a - 165 = -5*v. Is 19 a factor of v?
False
Let v(r) = -2*r + 4. Let q be v(3). Let d be (-3 - -3)/(q/(-1)). Suppose -2*n + 22 + 30 = d. Is 9 a factor of n?
False
Let x(m) = -3*m + 4. Is 10 a factor of x(-8)?
False
Let i(p) = 30*p - 2. Is i(3) a multiple of 23?
False
Suppose -u = -3*d - 0 + 10, 3*d - 4 = 4*u. Suppose i - d = -2. Let l = i - -4. Is 4 a factor of l?
False
Suppose -5*b + 126 = 4*r, 134 - 24 = 4*r - 3*b. Is 10 a factor of r?
False
Suppose 4*k - 37 = -x, 2*x = 4*x - 4*k - 38. Is 12 a factor of x?
False
Suppose 2*r = -10, -3*p + r + 0*r = -6