*t + 14, -4*t + 4*o = 64. Let p = 7 - t. Suppose 0 = -4*v - 2*m + p, -3*m - 20 = -3*v + v. Does 7 divide v?
True
Let m = -33 - -33. Suppose -5*z + 2*z = -15. Suppose m = 3*l + z*d - 3*d - 98, -154 = -5*l - d. Is l a multiple of 15?
True
Let j(x) = -2*x**3 - 6*x**2 + 6*x - 7. Let g be j(-5). Is 1183/g - 2/(-9) a multiple of 9?
False
Let y(b) = b**3 - 2*b**2 - 8*b + 6. Does 3 divide y(4)?
True
Suppose j = 2 + 2. Suppose 0*x - 656 = -j*x. Suppose -g - x = -2*t - 2*t, 0 = g + 4. Is 14 a factor of t?
False
Let m(k) = 3*k - k**2 + 0*k + 14*k. Let w be m(9). Suppose -p + w = 2*p. Does 8 divide p?
True
Let n = 7 + -5. Let v(z) = 3*z**2 - 2. Does 4 divide v(n)?
False
Suppose -4 = -2*m + 2. Suppose m*x - 5 = 4. Suppose -x*q + 164 = -a + 18, 4*a = -3*q + 136. Does 16 divide q?
True
Suppose -2*m = -m + 5. Let t(b) = 4*b**2 + 2*b - 1. Is 24 a factor of t(m)?
False
Let x = 12 + -8. Suppose -h + 19 - 4 = -3*f, x*h = -4*f + 28. Is 4 a factor of h?
False
Let b(f) = 3*f**2 + 9*f + 6. Does 9 divide b(-6)?
False
Let q(m) = 9*m**2 - 8*m - 17. Is 15 a factor of q(7)?
False
Is 22 a factor of 6/3*(-4)/12*-348?
False
Let x = 51 - 7. Is 22 a factor of x?
True
Suppose 0 = o + 3*h - 55, 0 = -2*h + 8. Is o a multiple of 43?
True
Let q be 0 + -2 + 9*2. Suppose -5*s = o - 64 - q, -3*o + 15 = 0. Does 13 divide ((-3)/2)/(s/(-260))?
True
Let j = 42 + 113. Is j a multiple of 14?
False
Suppose 0 = 3*d - 5*d + 24. Does 3 divide d?
True
Suppose -1 = 4*c - 5. Let w(g) = 8*g**2 - 1. Does 6 divide w(c)?
False
Let x(k) be the first derivative of -2*k**2 + 2*k + 2. Is x(-3) a multiple of 5?
False
Let k(q) = -q**2 + q + 54 - 2*q + 86 + 0*q**2. Let d be k(0). Suppose -3*a + 7*a = d. Does 15 divide a?
False
Does 10 divide (-3*60/9)/(-2)?
True
Let y(f) = f**3 - 8*f**2 + 7*f + 5. Let a be y(7). Suppose a*n = -2*x + 238, -2*n = -4*x - 6 - 94. Does 16 divide n?
True
Let g(t) = -6*t + 72. Is 2 a factor of g(0)?
True
Let y = -11 - -28. Does 17 divide y?
True
Let y(f) be the second derivative of 5*f**3/3 - 2*f**2 + 2*f. Does 12 divide y(3)?
False
Suppose 5*u - 2*a + 5*a = 51, -4*a = 5*u - 53. Suppose -3*g - 144 = -u*g. Is 12 a factor of g?
True
Let t(q) = 8*q - 44. Does 4 divide t(7)?
True
Let a(v) = v**3 + v - 4. Let x be a(0). Is 46 + (-3 + x - -4) a multiple of 12?
False
Let m = 9 + 50. Is m a multiple of 6?
False
Let i be ((-28)/(-6))/((-5)/(-15)). Let a = 10 + i. Is a a multiple of 6?
True
Let y(z) = z**2 + 2*z + 5. Let r be y(4). Let q = r - 10. Is q a multiple of 19?
True
Suppose -4*n + 86 - 14 = 0. Is 15 a factor of n?
False
Let u(j) = j**3 + 23*j**2 - 4*j + 8. Is 50 a factor of u(-23)?
True
Let c(t) = -5*t. Let m(y) = 8*y**3 - 5*y**2 - 3*y + 6. Let g(u) = 7*u**3 - 5*u**2 - 2*u + 5. Let x(j) = 7*g(j) - 6*m(j). Let k be x(4). Is c(k) a multiple of 5?
True
Suppose 3*d - 2*q - 115 = 0, 2*q + 16 + 29 = d. Is 20 a factor of d?
False
Let z(o) = 2*o**2 - 4*o. Let j be z(3). Let w(l) = l**2 + l + 2. Is w(j) a multiple of 13?
False
Let m(i) = 27*i + 1. Suppose 2*w + 3 = 5*w. Does 14 divide m(w)?
True
Let a = -9 - -18. Let d(b) = 2 - b**3 + 1 + 9*b + 2*b**3 - a*b**2. Is 11 a factor of d(8)?
True
Let w = 3 - -2. Let z(u) = -u**3 - 5*u + 2*u**3 + 8 - w*u**2 + 0*u**3. Is z(6) a multiple of 6?
False
Let v(b) = 2*b**3 - 7*b**2 + 3*b + 4. Is 20 a factor of v(5)?
False
Suppose -137 = -3*g + 2*r + 666, -r = -g + 269. Is 53 a factor of g?
True
Let w(s) be the third derivative of s**5/60 + s**4/24 - 3*s**3/2 + s**2. Let x be w(8). Let c = -39 + x. Is 12 a factor of c?
True
Let r = -1 - -21. Does 6 divide r?
False
Let i(z) = -z**2 + 4*z + 9. Let r be i(7). Is 7 a factor of ((-20)/3)/(4/r)?
False
Let q(x) = -4*x**2 + 7*x - 6. Let p be q(4). Let j = -25 - p. Let c = j - 10. Is 6 a factor of c?
False
Does 9 divide ((-16)/12)/(4/(-54))?
True
Let a(p) = 8*p**2 - 5*p - 13. Does 19 divide a(4)?
True
Suppose 7 = 4*x + 23, 2*h + x - 58 = 0. Is 7 a factor of h?
False
Let p be 0 - (1 + (-2 - 81)). Suppose 3*u - p = 20. Does 17 divide u?
True
Suppose 0 = -2*z - 3*l + 55, z - l = -4*l + 26. Does 23 divide z?
False
Suppose -f + 17 - 5 = 0. Does 4 divide f?
True
Let p(o) = -18*o - 6. Is 12 a factor of p(-5)?
True
Let l = 16 - -137. Is l a multiple of 51?
True
Suppose y - 60 = -2*y. Let k = -13 + y. Does 3 divide k?
False
Let q(v) = 3*v**2 - v - 2. Let t be q(6). Suppose -f + d - t = 0, -4*f - d = -3*f + 94. Does 11 divide f/(-5) - 8/20?
False
Suppose -3*m + 9 - 3 = 0. Let o(p) = m - 3 + 4*p - 3. Does 13 divide o(5)?
False
Does 12 divide ((-4)/8)/(2/(-204))?
False
Let q(t) = -t**2 - 14*t + 27. Does 5 divide q(-11)?
True
Let s(x) be the first derivative of x**4/6 + x**3/6 + x**2 - 2*x + 1. Let c(r) be the first derivative of s(r). Does 6 divide c(2)?
True
Let v(h) = -15*h**2 + h - 1. Let p be v(1). Let f = -7 - p. Is 3 a factor of f?
False
Let j(x) = 4 - 2*x + 5 - 3 + 0. Does 9 divide j(-5)?
False
Suppose -4*f = 4*g + 6 - 18, 2*g - 2*f = -6. Suppose 3*p - 9 = 3. Suppose u + p = g, 0*k + 58 = k - 5*u. Is k a multiple of 19?
True
Let u(v) = -v**3 + 7*v**2 - 4*v - 3. Suppose -2*r + 6 = -2. Is 14 a factor of u(r)?
False
Let r(y) = 3*y + 7*y + 2*y**2 + 3*y**2 + 0*y**2 - y**3 - 9. Is r(6) a multiple of 4?
False
Suppose 5*i - 67 = i + w, 49 = 3*i - w. Is i a multiple of 6?
True
Let s be 2/(-6) + (-2)/(-6). Suppose -d - 39 = -s*i - 3*i, -4*d - 44 = -4*i. Is i a multiple of 7?
True
Let w(t) = t**3 - 3*t**2 - 3*t + 11. Is 15 a factor of w(4)?
True
Suppose q - 11 = 3. Does 6 divide q?
False
Let q(i) = 4*i - 3. Suppose 1 = -h + 6. Does 17 divide q(h)?
True
Let l(z) = 2*z**2 - 2*z - 8. Is l(5) a multiple of 6?
False
Let o = -9 + 11. Suppose 0*c + 42 = o*c. Is c a multiple of 7?
True
Suppose 3*k = -2*w + 129, 14 + 53 = w + 2*k. Let g = w - 36. Let n = -12 + g. Does 9 divide n?
True
Let s(q) = 2 - 2*q + q**3 - q**2 + 6*q**2 + 3*q**2. Does 12 divide s(-8)?
False
Suppose -312 = -4*u - 4*d, -220 = -2*u - u + 4*d. Is u a multiple of 16?
False
Let d(g) = -2*g**3 - 4*g**2 - 2*g. Let b be d(-2). Suppose 6*t = 2*t - 3*n + 18, 26 = 3*t - b*n. Does 3 divide t?
True
Let f(o) = -o - 6. Let v be f(-3). Let m(r) = -5*r**2 - 5*r - 3. Let l be m(v). Let j = 59 + l. Is 14 a factor of j?
False
Let a(f) = f**3 + 10*f**2 + 9*f - 8. Let m be a(-7). Let v = -31 + m. Does 9 divide v?
True
Suppose m - 63 = -13. Let j = 18 - 45. Let i = m + j. Is 11 a factor of i?
False
Let r = -149 - -228. Suppose -121 = -4*m - 3*o, -3*m + r = 3*o - 14. Is 14 a factor of m?
True
Let i = -8 - -14. Is 12 a factor of (2/i)/(1/48)?
False
Let m(y) = -y**3 - 9*y**2 - 4*y - 2. Does 17 divide m(-9)?
True
Let b(x) = x**2 + 11. Let h be b(0). Let w(m) = m**2 - 13*m + 6. Let z be w(h). Let f = z - -27. Is 4 a factor of f?
False
Suppose -60 = -2*h + 64. Let u = h - 36. Is u a multiple of 13?
True
Let j(r) = -r**3 + 13 - 3 + 9*r - 7*r**2 + 2. Does 4 divide j(-8)?
True
Suppose -82 = -3*u + 137. Does 4 divide u/4 + (-3)/(-4)?
False
Does 25 divide 1102/6 - (-14)/(-21)?
False
Let u = 127 - 31. Suppose 0 = b + 2*b - u. Let c = -17 + b. Is c a multiple of 6?
False
Let f(h) = -h**2 + 7*h - 2. Let k be f(5). Suppose 5*w - k = 4*w. Is w a multiple of 4?
True
Suppose -4*q + 406 = 5*l, 5*q - 15 - 5 = 0. Is 23 a factor of l?
False
Let k(n) be the first derivative of n**4/4 + 7*n**3/3 + 5*n**2/2 + 3*n + 3. Does 9 divide k(-6)?
True
Suppose -2*q - 2*q + 16 = 0. Suppose q*l = -l + 20. Suppose 0 = -0*d - l*d + 220. Is 14 a factor of d?
False
Let b = -9 + 25. Does 5 divide b?
False
Let z be (10*(1 + -2))/1. Let x(c) = -c - 4. Is 2 a factor of x(z)?
True
Suppose -3*q = 9, -4*v - q = 3*q - 212. Is 4 a factor of v?
True
Does 16 divide (-2)/15 + 13660/75?
False
Let k(h) = -h**3 - 11*h**2 - 10*h + 3. Let r be k(-10). Suppose -i = -r*i + 4. Suppose -1 = i*j - 3*j - 4*x, j - 13 = 2*x. Is 9 a factor of j?
True
Suppose 4*f - 18 = 2*p, -p + 4*p + 5 = -5*f. Let y be 3 + (-3 - p - 1). Suppose 0 = -3*b + 2*b + 4*a + 75, -y*b + 235 = -3*a. Is 15 a factor of b?
False
Suppose -5*o + 31 = -x + 5*x, 3*x - 21 = -3*o. Let t(i) = i + 7. Let n be t(-5). Suppose o = -n*d + 25. Is 11 a factor of d?
True
Is ((-15)/3 - 3)/(3/(-48)) a multiple of 16?
True
Let p(l) = -l**3 + 8*l**2 - 8*l - 1. Let v be p(7). Let o(m) be the second derivative of m**4/12 + 3*m**3/2 + 11*m**2/2 - 2*m. Is 3 a factor of o(v)?
True
Let a(x) = -x**2 + 3*x*