3. Let g be p(-7). Let q = g + -5. Suppose 2*c + 2 = -q*k + 48, 3*k + 5*c = 20. Does 5 divide k?
True
Is 6 a factor of (-1 - 0)/((-4)/72*3)?
True
Let q = -8 - -4. Is 7 a factor of (-1 - q)*34/6?
False
Let g(d) = d**2 - 9*d + 9. Let i be g(7). Let f(p) = p**3 + 5*p**2 + 2. Let r be f(i). Suppose 0 = r*t - 24. Does 6 divide t?
True
Let a(q) = -q**3 + q**2 - 3*q - 4. Let s be a(-4). Suppose -z = 3*z - s. Is z a multiple of 16?
False
Let o(m) = -m**2 + 17*m - 2. Is 7 a factor of o(8)?
True
Suppose -4*j - 12 = 0, 3*b = -2*j + 27 + 30. Does 21 divide b?
True
Let t(w) be the first derivative of -w**4/4 - w**3/3 + 26*w + 5. Does 6 divide t(0)?
False
Let s(p) = -p**3 - 10*p**2 - 9*p + 9. Is s(-10) a multiple of 11?
True
Is 14 a factor of 40/3 + (-8)/(-12)?
True
Let w(t) = -t + 13. Let b be w(9). Is (2/(-6))/(b/(-108)) a multiple of 9?
True
Let p = 0 - -2. Suppose 0 = -g + 2, 5*g - 16 = -p*b + 2*g. Suppose b*k - 6 = 2*k. Is k a multiple of 2?
True
Is (-252)/(-45)*10/4 a multiple of 7?
True
Is 13 a factor of -5 + 17 + 4/4?
True
Let s = -12 - -15. Let g(w) = 13*w - 4 - w + 4*w. Is 18 a factor of g(s)?
False
Let r(h) be the first derivative of h**3 - h**2 + 4*h + 8. Is 5 a factor of r(3)?
True
Let p(r) = r**3 + 3*r**2 - 3*r + 4. Let a(z) = -z**3 + z**2 - z + 1. Let u(o) = -5*a(o) + p(o). Let i be u(1). Suppose 0 = 4*k - 37 + i. Does 8 divide k?
True
Let c = -1 + 2. Suppose 3 + c = f. Suppose -f*g = -2*g - 12. Is 4 a factor of g?
False
Let f(p) = p. Let y be f(-1). Let q be 3 - (y + -1 + 13). Let j = 21 - q. Is j a multiple of 9?
False
Let o(m) be the third derivative of m**6/120 - m**5/30 + m**3/6 - 2*m**2. Let k be o(1). Suppose 5*f + z - 10 = k, -2*z = -2*f - 3*z + 1. Does 3 divide f?
True
Does 19 divide -1*1/(-2)*38?
True
Let x(a) = 43*a + 1. Let m be x(5). Suppose f + 3*f - m = 0. Is f a multiple of 27?
True
Let t(c) = -3*c**3 + 2*c**2 - 3*c + 4. Let o be t(-4). Let k = -88 + o. Suppose k = 4*p + 2*l, -p + 2*p = 3*l + 24. Is p a multiple of 12?
True
Is 4 a factor of (-2)/(2/(-12) + 30/324)?
False
Suppose t - 1 = -2. Let b be -1*11*-3 + t. Suppose -2*d + b = -0. Does 14 divide d?
False
Let k = -23 - -25. Suppose -k*f + 5*f - 129 = 0. Is 15 a factor of f?
False
Suppose 2*r - 8 = -0*r. Is r/(-10) + (-246)/(-15) a multiple of 4?
True
Suppose 2*k - 139 = -y, 3*k + 2*y + 0*y = 208. Does 14 divide k?
True
Let y be -2 + (9 - (3 + -2)). Let t = 8 - y. Suppose 32 = t*n - 10. Is n a multiple of 21?
True
Let i(a) = 5*a**3 - 4*a**2 + 7*a - 8. Let l(x) = x**3 - x**2 + x - 1. Let g(b) = i(b) - 6*l(b). Let m be g(2). Is (14/2 - m) + -2 a multiple of 2?
False
Suppose -4 = -4*m + 3*m. Does 2 divide m?
True
Let k(c) be the first derivative of -3 + 15*c + 1/3*c**3 + 0*c**2 - 1/4*c**4. Does 12 divide k(0)?
False
Let l(v) = v**3 + 9*v**2 - 5*v - 3. Let g be l(-9). Is 14 a factor of g - 0/(1 - -2)?
True
Let c = 9 - -39. Is 24 a factor of c?
True
Let z = 268 + -187. Does 26 divide z?
False
Suppose -2*l - 3*b + 30 = 0, 3*b = 3*l - 17 - 58. Is l a multiple of 9?
False
Let c(a) = -45*a**3 - a**2 - 2*a + 3. Let u be c(2). Does 10 divide (-1)/4 + u/(-20)?
False
Suppose 0 = -3*m + 21 - 162. Let b be m/(-7) - (-2)/7. Suppose 3*t = -q + 41 - b, -3*t - 2*q = -38. Is 7 a factor of t?
False
Suppose 15 = 5*g - 2*f, -12 = -5*g + g + 3*f. Is (-21)/g*(-18)/7 a multiple of 7?
False
Let a(c) = c**3 + 6*c**2 + 6*c + 5. Let l be a(-5). Let k(p) = p + 1. Let u(q) = -4*q + 26. Let t(v) = 5*k(v) + u(v). Does 11 divide t(l)?
False
Let w be (2 + 3)*9/5. Let q = w + -1. Is q a multiple of 4?
True
Let n(c) = -7*c - 5. Is 3 a factor of n(-4)?
False
Let l = 8 - 6. Suppose -2*z - l*z = 0. Suppose z = -r + 8 + 7. Is r a multiple of 7?
False
Suppose 6*v - 200 = v. Let l = -16 + 22. Suppose y + v = l*y. Is 8 a factor of y?
True
Let f(s) = -s + 1. Let b(m) = 3*m - 5. Let y(d) = -b(d) - f(d). Let t be y(4). Let n = t + 39. Does 16 divide n?
False
Let n = 82 - 63. Is n a multiple of 3?
False
Suppose 0 = -3*g - 0 - 12. Does 11 divide ((-2)/4)/(g/384)?
False
Let i be (1/(-3))/(-1)*3. Let f(s) be the second derivative of 5*s**4/12 + s**3/6 - s**2/2 - 13*s. Is 2 a factor of f(i)?
False
Let p be (-2)/(-1)*(-3)/(-2). Let u be 18/(-4) - p/(-6). Let b = u - -11. Is b a multiple of 6?
False
Let z = 2 + 1. Suppose -2*n = z*n. Suppose 5*t = 4*r + 35, 2*t + n*r - 11 = r. Does 2 divide t?
False
Let g(j) = -4*j + 4. Does 6 divide g(-2)?
True
Let m be (-14)/8*(-24)/(-3). Let y = m - -31. Let x = 42 - y. Is x a multiple of 10?
False
Let v(t) = t**2 - t - 3. Let q(w) = -3*w. Let y be q(-3). Suppose 15 + y = 4*n. Is 16 a factor of v(n)?
False
Suppose 3*t - 64 = 5*o, 4*o + o = 5*t - 100. Let r be t/(-27)*(-15)/(-2). Let i = 30 + r. Does 9 divide i?
False
Does 28 divide 24/(-64) - (-5385)/24?
True
Suppose 20 = 5*v + 5*w, 0 = -2*v - v + w - 8. Is 7 a factor of 21*(v + 12/9)?
True
Let a be (-12)/42 + (-2)/(-7). Is a/2 + (-1 - -17) a multiple of 7?
False
Let j(u) = u**2 - 6*u + 7. Suppose 0 = 4*h - 5*n - 40, -4*n = 2*h - 2*n - 2. Let o be j(h). Suppose -w + 86 = o*w + 4*y, w - 42 = -4*y. Is 11 a factor of w?
True
Suppose 0 = 5*s - 203 + 33. Is s a multiple of 10?
False
Let v(t) = t**3 + 4*t**2 - 6*t - 2. Is v(-4) a multiple of 6?
False
Let k = -40 + 52. Does 3 divide k?
True
Let y = 7 - 2. Suppose 0 = 4*z - y - 3. Suppose -k + 24 = 2*w, z = w + 5*k - 1. Is w a multiple of 13?
True
Let b = 18 + -17. Does 7 divide 29/(1 - 0) - b?
True
Let o be (-2)/9 - 222/(-27). Let w = 5 - o. Let x = w - -14. Is 6 a factor of x?
False
Let i(l) = l**3 + 16*l**2 - 6. Let v be i(-16). Let a = 3 - v. Is 4 a factor of a?
False
Suppose 0 = -5*n + 277 - 7. Let g = n + -17. Is 14 a factor of g?
False
Suppose -k - 2 + 9 = 0. Does 4 divide k?
False
Suppose 8*s = 201 - 41. Is s a multiple of 4?
True
Let c(h) = -h**2 - 13. Let s be c(-9). Let x = 160 + s. Is x a multiple of 22?
True
Is 8 a factor of 127/6 - (-6)/(-36)?
False
Let l = 11 - 6. Suppose l*r - 15 - 120 = 0. Does 13 divide r?
False
Suppose 0 = y - 4*y + z + 94, -y + z + 30 = 0. Suppose y = 3*k - k. Is 16 a factor of k?
True
Suppose 5*k - 615 = 190. Is k a multiple of 23?
True
Suppose -4*a + 488 = 4*h - 0*a, 5*h - 592 = a. Does 17 divide h?
True
Suppose 0 = 3*m - 1 - 5. Let p = 57 - -58. Suppose -5*w - m*u + p = -2*w, -w + 5*u = -27. Is w a multiple of 18?
False
Suppose -i + 0*i - 95 = 0. Let k = -47 - i. Is 15 a factor of k?
False
Let c = 268 + 31. Is 41 a factor of c?
False
Suppose -2*z + 4*y - 4 = 0, 3*z + 3*y = y + 18. Suppose 0 = 3*r - z*t + 21, 0 = 3*r - t - t + 21. Let k = r + 11. Is k a multiple of 3?
False
Suppose -2*j + 98 = 2*v, 5*v = -4*j - 73 + 314. Is 9 a factor of v?
True
Suppose -4*y + 28 = k - 5*k, -5*k + 13 = y. Let z(l) = -l + 10 + 4*l + 0*l. Is 13 a factor of z(y)?
False
Suppose -3*q = -1 - 14. Suppose -q = -3*f + 10. Does 18 divide ((-104)/(-20))/(1/f)?
False
Let f(k) = k**2 - 9*k + 11. Suppose 3*l - 10 = -2*z + 12, -3*z + 29 = 4*l. Let o be f(l). Is 0 - (-1 + -5*o) a multiple of 8?
True
Is 11 a factor of (-10)/(-15) + (-97)/(-3)?
True
Suppose 4*p = 3*p + 4. Suppose -5*v + 54 = 5*l + 9, 2*l = p*v - 42. Let k = v - -6. Is k a multiple of 7?
False
Let l be 1 + 28/(3 + -2). Suppose 3*q = -l - 25. Let o = -11 - q. Is 3 a factor of o?
False
Let v = -1 + 2. Is 15 a factor of (-21 + v)/(6/(-9))?
True
Suppose -3*a + 5*a - 10 = 0. Suppose -140 = a*l - 12*l. Is l a multiple of 10?
True
Suppose -5*a = -28 + 8. Suppose -a*t + t + 258 = 0. Is 30 a factor of t?
False
Suppose 3*l = l - 2, 0 = 2*b + 4*l + 24. Suppose 3*j = -2*j - 85. Let u = b - j. Is 2 a factor of u?
False
Is (-433)/(-8) + (-6)/48 a multiple of 18?
True
Let o(t) = -7. Let j(r) = r - 1. Let b be ((-3)/6)/((-1)/2). Let n(a) = b*j(a) - o(a). Does 5 divide n(9)?
True
Suppose 4*g - 4 = m, 4*g - 4*m = 3*g - 14. Let x(y) = -y + g*y + 1 - 7 + 3. Is x(6) even?
False
Suppose 0 = 5*l + 4*t + 29, 2*l - 2*t + 13 = -l. Let j = 21 + l. Is j a multiple of 7?
False
Let f(j) = -j + 9. Let o be f(7). Let d(t) = -2*t + 2*t**o + 0*t - t**2 + 0*t**2 + 6. Does 7 divide d(4)?
True
Suppose -5*j = 4*z - 3, 2*j + 3 = 3*z + 5*j. Is z even?
True
Suppose -6*i = -i - 15. Suppose -3*m - i*p + 12 + 3 = 0, 0 = -2*m - 5*p + 4. Is 2 a factor of m?
False
Let s(r) = -r**2 + 5*r + 8. Let a be s(6). Suppose 14 = 2*y + 5*n - n, 3*y + a*n - 13 = 0. Does 3 divide y?
