et m(k) = -k**2 - 6*k. Let g be m(-6). Suppose 3*o + g*y - 81 = -y, 2*y + 20 = o. Is o a multiple of 14?
False
Let x(a) be the second derivative of 0 + 0*a**3 - 3/20*a**5 - 1/12*a**4 + 1/2*a**2 + 2*a. Does 2 divide x(-1)?
False
Let t(y) = 3*y**2 - 4*y + 2. Let s be t(2). Let f(j) = 5*j - 4. Is f(s) a multiple of 13?
True
Let p(b) = b + 29. Let o(r) = -r**3 + 7*r**2 + 9*r - 8. Let t be o(8). Let i be p(t). Let d = -11 + i. Is 15 a factor of d?
False
Let n = 3 - -11. Suppose 91 = 5*h - n. Let w = h + 17. Is 19 a factor of w?
True
Let w(n) = -n**2 - 4*n + 3. Let i be w(-3). Let u(k) = -k - 2. Let c be u(i). Let z = -1 - c. Is z a multiple of 4?
False
Let f(u) = -u**2 - 6*u - 2. Let b be f(-5). Suppose -4*x - 8 = -4*t + 2*t, -b*t - 5*x + 1 = 0. Is t/3 - (-75)/9 a multiple of 3?
True
Let c(v) = -2*v**3 - 2*v**2 + 3*v + 3. Let z be c(-2). Suppose 0 = -f - 4*f, -f = z*d - 40. Is d a multiple of 3?
False
Let d(w) = 6*w**2 + 17*w + 21. Is 9 a factor of d(-4)?
False
Suppose -3 = k, -5*k + 37 = -5*r + 12. Is 3 a factor of (r/6)/((-6)/45)?
False
Let g = 7 - 4. Suppose 0 = -5*x + 5, 4*d - 5*x + 3 = g*d. Does 7 divide 3*(14 - 0)/d?
True
Let n(o) = o**3 - 7*o**2 - 7*o - 49. Does 10 divide n(9)?
True
Suppose -4*r - 60 = -5*r. Is r a multiple of 4?
True
Let f(w) = w**2 - w - 6. Let q(g) = -1. Let v(r) = f(r) + 2*q(r). Let l = 0 + 6. Is v(l) a multiple of 13?
False
Let v(c) = -5*c. Suppose -s + 2*w + 0 = -4, 0 = s + 2*w. Suppose 6 = i + s*b, i + 5*b - 41 = 5*i. Is 10 a factor of v(i)?
True
Let h = -8 + 14. Let f = h - 4. Suppose 2*c = -f*r + 42, -c - 3*r - 2*r = -37. Is c a multiple of 10?
False
Let t(q) = 8*q - 4. Let b(i) = 7*i - 5. Let r(u) = 6*b(u) - 5*t(u). Let c be r(7). Suppose 4*o - 3*h = 2*o + 7, c*o = -2*h + 38. Is o a multiple of 7?
False
Suppose -2 = 2*d, -5*w + 91 = -2*w - 4*d. Does 20 divide w?
False
Let y(q) = -q**3 - 6*q**2 - 4*q + 4. Let l be y(-4). Does 6 divide l/4 + 3 + 22?
False
Let q = -72 + 104. Is q a multiple of 8?
True
Suppose 4*v + 0*v - 220 = 0. Does 10 divide v?
False
Let z(m) = 3*m + 4. Is 13 a factor of z(3)?
True
Suppose 0 = 5*k + 5*r - 221 + 26, 15 = -3*r. Is 8 a factor of k?
False
Suppose 9 = 3*r - 6, 4*r = 5*i + 20. Suppose -k - 2*k + 33 = i. Let m = k - 8. Does 3 divide m?
True
Let n be 4 + -2 + 2 + -1. Suppose -q = 3*u + 29, n*u + 3*q + 7 = 2*u. Let i(h) = -2*h - 12. Is i(u) a multiple of 4?
True
Suppose 15 = 7*c - 2*c. Suppose 3*v = 3*d - 40 + 4, -3*d - c*v = -6. Is d even?
False
Let l = 21 - -5. Is l a multiple of 24?
False
Suppose -13 - 2 = -3*k, -189 = -2*u + 3*k. Is u a multiple of 17?
True
Suppose -5*b = -3*r + 66, -91 = -8*r + 3*r + 2*b. Is 14 a factor of r?
False
Let u be 12/8*12/9. Let l = -101 - -173. Suppose -u*p + 36 = 3*k, 3*p - l = -p - k. Is 9 a factor of p?
True
Suppose 22*y - 3 = 21*y. Is 3 a factor of y?
True
Let l(j) be the first derivative of -53*j**2/2 + j + 2. Let p be l(-1). Suppose q + 2*q = p. Is q a multiple of 9?
True
Suppose 0 = 5*s - h + 16, 0 = 3*s + 2*h - 8 + 28. Let o = s - -6. Suppose 2*g - 88 = -o*g. Is 8 a factor of g?
False
Suppose 0 = -5*t + 11 + 109. Let c = -14 + t. Does 3 divide c?
False
Is 16 a factor of 169/3 - (-3)/(-9)?
False
Let z be 4/12 - 34/(-6). Let p be 10/(-25) - z/10. Does 2 divide (p - (-4)/6)*-21?
False
Let a(j) = 17*j**2 + 2*j - 1. Let g be a(1). Let t = -7 + g. Does 2 divide t?
False
Does 3 divide 8 + ((-8)/(-2))/(-2)?
True
Let q = 39 - 26. Is 13 a factor of q?
True
Let m be 2/6 + 98/21. Suppose 2*p + p = 0. Suppose p = -0*l - m*l + 70. Is l a multiple of 9?
False
Let w(u) = -8*u - 7. Let z(j) = 8*j + 8. Let t(v) = 6*w(v) + 5*z(v). Let x be t(-9). Is x/(-7)*(-24)/10 a multiple of 8?
True
Suppose 0 = 2*q - 3*o + 33, 3*q + 3*o - 3 = -15. Let z = q + 48. Is 14 a factor of z?
False
Suppose 57 = 3*o - 0*o. Does 14 divide o?
False
Suppose -4*l = -9*l + 210. Does 14 divide l?
True
Suppose 2*b + q + 17 = 0, 3*b - q + 13 + 0 = 0. Let n(o) = -o**2 + 8*o + 8. Let i be n(b). Is 24 a factor of (3/2)/((-2)/i)?
False
Let f(d) be the second derivative of -d**4/12 - 3*d**3/2 - 5*d**2 - 2*d. Let q be f(-8). Is 18 a factor of 1*q*1 + 20?
True
Suppose -5*d + d + 184 = 2*x, 3*d = 2*x - 212. Does 5 divide x?
True
Let v be (-4)/(-20) - 429/(-5). Suppose -4*i + v + 114 = 0. Does 25 divide i?
True
Suppose -121 - 299 = -6*y. Does 14 divide y?
True
Let w be ((-5)/(-10))/((-3)/(-18)). Let s be (-71)/(-3) - 2/(-6). Suppose -w*y + 0*y = -s. Does 4 divide y?
True
Let l(n) = -n**3 + 9*n**2 - 7*n - 10. Suppose 4*c + 3*z - 8 = -z, -3*z = 4*c - 7. Suppose -3*g + 20 = -c. Does 26 divide l(g)?
False
Let g(i) = -i**2 + 7*i + 7. Let q be g(7). Suppose 5*z = q + 98. Is 7 a factor of z?
True
Is 30 a factor of (-916)/(-6) - 2/3?
False
Suppose 4 = -t + k + 12, 2*k + 13 = t. Suppose 0 = u - t*u + 60. Is u a multiple of 19?
False
Is (-304)/(-19) + 0/2 a multiple of 16?
True
Let q = -1 - 1. Let g be q/(-8) - 11/(-4). Is 16 a factor of g/(-9) + 49/3?
True
Let v(o) be the third derivative of o**6/120 + o**4/8 - 2*o**3/3 - 2*o**2. Let w be v(3). Suppose 5*q - q - w = 0. Is q a multiple of 3?
False
Let c = 168 + 91. Is 37 a factor of c?
True
Let n be 16/2*(-5)/(-10). Suppose -8 = -n*u + 48. Is 5 a factor of u?
False
Let l(a) = 4*a**2 + a + 4. Does 18 divide l(-2)?
True
Suppose -12 = -4*i + u, 10 = -i - 3*u - 0*u. Suppose 3*s + 3*p + 3 = -0*s, 0 = 5*s - p - 19. Suppose -i*d - 14 = -s*d. Does 13 divide d?
False
Let k be (1/1)/((-2)/(-418)). Suppose -4*r - x + k = -0*r, -157 = -3*r - x. Is r a multiple of 26?
True
Suppose 3*p - 8*p + 90 = -3*m, -3*p - 4*m + 54 = 0. Suppose -26 - p = -4*j. Suppose -y + j = -3. Is 7 a factor of y?
True
Suppose -2*o - 2*o + i + 235 = 0, -4*o - 3*i + 239 = 0. Let t = o + 4. Suppose 5*y - 3*p - t = 0, -y + 3*p - 57 = -6*y. Does 6 divide y?
True
Suppose 3*s - 24 = -0*s - 3*g, -2*s + 5*g = 19. Let m(h) = 4*h + 3. Let v be m(s). Suppose v = 5*a - 2*a. Is a even?
False
Does 17 divide (1 - 2)/((-2)/64)?
False
Let p = -106 - -176. Let x = -30 + p. Is 10 a factor of x?
True
Let p(j) = j**2 - 3. Let h be p(3). Suppose h*x - 180 = x. Is (-4)/3*x/(-2) a multiple of 12?
True
Let m be (-1)/(-3) - 7/3. Let k be -1 - (m - -4 - 3). Is (-2 + k)/4*-22 a multiple of 9?
False
Suppose 0 = -5*j + 5*i + 50, 2*j - 30 = -5*i - 10. Does 3 divide j?
False
Let x(v) = 2 - 14*v - 10*v**2 - 6*v + 14*v**3 - 27*v. Let w(k) = 5*k**3 - 3*k**2 - 16*k + 1. Let r(g) = -17*w(g) + 6*x(g). Is 5 a factor of r(-8)?
False
Let m(j) = 26*j**2 + 1. Let f = 5 - 4. Is m(f) a multiple of 9?
True
Let b be 39/33 - 4/22. Let s(w) = 0*w**2 - b + 6 + 9*w + w**2. Is 2 a factor of s(-9)?
False
Let l(o) = o**3 + 5*o**2 + 2*o - 4. Let n be l(-4). Suppose 0 = 3*h - n*h + 34. Suppose 4*y - h = 2. Is y a multiple of 9?
True
Let q = 38 + -71. Let n = -12 - q. Suppose 0 = 3*l - n. Is l a multiple of 5?
False
Let k be (0/(1 + -2))/(-2). Suppose c + t = 11, k = 2*c - 6*t + 4*t - 6. Does 11 divide 4/14 - (-75)/c?
True
Let j = -5 - -5. Let k be (2 + -1 - 106) + j. Is 21 a factor of k/3*6/(-5)?
True
Let m(z) = 3*z - 1. Let f be m(-4). Let a = f - -43. Is 10 a factor of a?
True
Let w = -4 + 2. Let b be -1 - (4 + w)*-1. Suppose -b = 5*f - 21. Is 3 a factor of f?
False
Let x(t) = -t + 1. Let r(y) = -5*y + 10. Let a(v) = -5*r(v) + 50*x(v). Suppose 0 = -z - 3*z - 4. Does 25 divide a(z)?
True
Suppose 2*k - 4 - 4 = 0. Suppose 40 = k*i - 0*i. Does 5 divide i?
True
Suppose 5*x + d - 183 = 0, -d - 69 = -2*x - 0*d. Is 4 a factor of x?
True
Suppose 3*t - 2*t = -k + 4, 0 = k - t. Suppose 2*b = -5*q + k, -3*b - 8 = -2*q - 2*b. Let m = q - -8. Does 5 divide m?
True
Suppose 0 = -i - 5, -4*i - 36 = -o - 1. Does 6 divide o?
False
Suppose l = 2*h + 19, -4*h + h - 12 = 0. Let k = 5 + -9. Let n = l - k. Is 14 a factor of n?
False
Let t(y) = 42*y + 45. Does 22 divide t(6)?
False
Let i(z) = -z**2 + 4*z - 3. Let r be i(4). Let c(m) = -m. Let y be c(r). Suppose y*q + 3*n = 39, 2*q - 38 = -0*q + 2*n. Is q a multiple of 9?
False
Suppose t - 2*c = -t - 2, 5*t - 23 = -2*c. Suppose 24 = 3*b + 2*j, -3*b + t*j - 2*j = -15. Is 2 a factor of b?
True
Let d = 8 - 13. Let y(t) = -t - 6. Let f be y(d). Is 9 a factor of f + (-3 - -17) + -2?
False
Let h(k) = 2. Let g(u) = -1. Let o(r) = -7*g(r) - 3*h(r). Let y(t) = t - 9. Let p(c) = 2*o(c) - y(c). Is p(5) a multiple of 5?
False
Let r = 13 - 8. 