
True
Let n(i) = 6*i + 1. Let k(c) = -17*c - 4. Let t(d) = 4*k(d) + 14*n(d). Is 15 a factor of t(2)?
True
Is (-3 + 1)*20*(-66)/10 a multiple of 9?
False
Let s(o) = 16*o**3 + 4*o**2 + o - 2. Let d be s(-2). Let x = -58 - d. Let g = x + -20. Is g a multiple of 19?
True
Suppose 63 = l - 3*h, 2*l - h = l + 63. Does 3 divide l?
True
Suppose -156*o = -161*o + 495. Is o a multiple of 6?
False
Let m be ((-2 - 0) + 0)*-2. Suppose -m*j = 2*i - 44 - 0, -2*i = 4. Is 6 a factor of j?
True
Let x be 10*(1 - (-6)/(-10)). Suppose 12 = 3*p - 3*d - 12, -13 = -5*p - x*d. Suppose u = -2*u + 4*k + 134, -2*u + p*k = -94. Is u a multiple of 21?
True
Let f(k) be the third derivative of 1/30*k**5 + 1/3*k**3 + 2*k**2 + 0 + 0*k - 1/12*k**4. Is 16 a factor of f(4)?
False
Let a(o) = -4*o**3 - 5*o**2 - 7*o. Does 3 divide a(-3)?
True
Suppose g - q + 20 = 2*g, 4*g + 2*q = 84. Is 11 a factor of g?
True
Suppose 0 = -0*n - 3*n + 27. Suppose -109 = -5*k - n. Does 20 divide k?
True
Let q = 140 - 84. Is 13 a factor of q?
False
Suppose -c - h = -4 + 12, -3*c + 3*h = 24. Let m(b) = -b**3 - b**2 + b - 11. Let d be m(0). Let a = c - d. Is 3 a factor of a?
True
Suppose 7 = q + 1. Let i = 9 - q. Is i a multiple of 2?
False
Suppose -14*k = -11*k - 768. Does 16 divide k?
True
Suppose -9*u + 7*u = -6. Suppose 5*i - 32 + 0 = 4*j, -u*j + 6 = 0. Is 3 a factor of i?
False
Suppose -4*u - 120 = -5*b, 0 = -3*b - 5*u + 11 + 24. Does 5 divide b?
True
Let i(h) = -11*h + 6. Is 6 a factor of i(-5)?
False
Is 12 a factor of (1 + 1)*(-24)/(-4)?
True
Let x(q) = -3*q**2 + 23*q - 43. Let u(r) = -2*r**2 + 15*r - 29. Let s(t) = 7*u(t) - 5*x(t). Let l be s(9). Is 11*l/((-3)/(-1)) a multiple of 10?
False
Let n be (2 - 3)/((-1)/205). Suppose 5*a - n = 5*y, -37 = -a + 2*y - 0*y. Is 13 a factor of a?
False
Let w(y) = -y**2 + 7*y - 4. Let c be w(3). Let t be (-3)/(((-2)/c)/1). Does 17 divide (-200)/t*-3*1?
False
Let m(p) = -13*p - 5. Is 12 a factor of m(-8)?
False
Let j(m) be the second derivative of m**5/20 + m**4/2 + m**3 - 5*m**2/2 - m. Let l be j(-5). Let y = -7 - l. Does 3 divide y?
True
Let j(o) = o**2 + 5*o + 3. Suppose 2*h - 5 = 3*h. Does 2 divide j(h)?
False
Suppose -5 = -h - 4*h, -4*o - 4*h = 0. Let j(z) = -27*z + 1. Does 13 divide j(o)?
False
Suppose -4*j + 3*j + 4 = 0. Suppose 2*i - 5*i = -3*b + 165, -b + 58 = -j*i. Is 18 a factor of b?
True
Let k = -265 - -397. Does 11 divide 16/(-6)*k/(-16)?
True
Let o(w) = -33*w + 9. Does 50 divide o(-6)?
False
Let j(q) = 19*q**2 - 4*q - 3. Is j(3) a multiple of 39?
True
Let i be (-2 - -15) + -2 + 1. Suppose -5*z = -i + 2. Is z even?
True
Let r(s) = -s**3 + 5*s**2 - 3*s - 2. Let h be r(3). Let w = h + -7. Suppose 3*f + w*f - 70 = -5*v, -7 = -2*v + 3*f. Is 11 a factor of v?
True
Let f = 1 + 2. Is f a multiple of 3?
True
Suppose 1665 = 6*r + 573. Does 13 divide r?
True
Suppose 0*g - 5*u - 40 = 2*g, -5*u = 4*g + 60. Does 11 divide 1 + 15 + 12 + g?
False
Let c = 56 - 28. Does 14 divide c?
True
Let s(v) be the first derivative of 5*v**2 + 4*v + 1. Let y be s(4). Suppose -3*f = -u - y - 13, 3*f + 4*u - 72 = 0. Is f a multiple of 13?
False
Is 506/12 + (-4)/48*2 a multiple of 7?
True
Suppose 6 = 4*w - 6. Suppose -w*h + 2*g = 25 - 3, -h - 9 = -g. Is 19 a factor of (h/3)/(1/(-24))?
False
Suppose 3*j + j + 38 = 2*q, 80 = 5*q - 5*j. Is 2 a factor of q?
False
Suppose 102 = 3*h - 213. Is 7 a factor of h?
True
Let m = -18 - -11. Let g = -29 - -17. Is (-4)/(g/9) - m a multiple of 7?
False
Suppose 3*o - 101 + 20 = 0. Suppose -f - 3*d = -o, 4*d = f + f - 14. Is f a multiple of 5?
True
Suppose 116 = 4*r + 4*g, -2*r + g = -0*r - 73. Let f = r - -21. Is f a multiple of 16?
False
Let z(y) = -y - 5. Let r be z(-9). Suppose r*a - 124 = 4*t, 2*t - 97 - 21 = -3*a. Does 9 divide a?
True
Suppose 5*h = -2*q + q + 13, 0 = q + 2*h - 28. Is 19 a factor of q?
True
Let f(t) = 2*t**2 + 2*t - 2. Let g be f(4). Let l = g - 9. Does 14 divide l?
False
Suppose 21*j - 23*j = 5*l - 688, 0 = -5*l - 4*j + 696. Is 31 a factor of l?
False
Let v = -174 + 261. Let c = v - 22. Is 13 a factor of c?
True
Let y(x) = -x**3 + 9*x**2 - 7*x + 5. Does 13 divide y(8)?
True
Suppose 0*c + 315 = 3*c. Does 35 divide c?
True
Let u(o) = 5 + 2*o**2 + 5*o + 3*o**2 - 4*o**2. Let k be u(-5). Suppose -5*n + 13 + 10 = -4*p, -3*n = k*p + 1. Is n a multiple of 2?
False
Suppose -3*p + 2 = 3*l - 7, 2*l = 2*p - 6. Suppose 3*n - 12 = 3*o, l*n - n - 4*o = 1. Let s = 8 - n. Is s a multiple of 2?
False
Suppose 430 + 65 = 9*l. Suppose g + 1 - 6 = -d, -5*g = -5*d + 15. Suppose 5*f - k - l = 4*k, -k - 53 = -d*f. Is f a multiple of 7?
True
Is 11 a factor of (-16)/6*(-132)/16?
True
Suppose 0 = 3*m + m. Let p(j) = -j**3 - j + 114. Let n be p(m). Let r = n + -71. Is r a multiple of 16?
False
Let z be 54/4 - (-1)/2. Let u = 8 + -6. Suppose -b = -u*d + 46 - 6, -2*b = -d + z. Is d a multiple of 11?
True
Suppose 5*c - 12 = 3*m, 3*c + 1 - 9 = 2*m. Suppose 17 = t - c*o + o, 2*t - 3*o = 39. Does 9 divide t?
True
Let n(v) = v**3 + v + 22. Is n(0) a multiple of 6?
False
Let w = 82 - -66. Suppose 0*z + 3*z + 4*o - 136 = 0, 0 = 4*z - 3*o - w. Is z a multiple of 21?
False
Suppose -2*x + 55 = -3*q, 5*q - 2*q - 5*x + 61 = 0. Let f = q + 24. Is f even?
False
Suppose -12 = 3*x - 48. Does 4 divide x?
True
Suppose -5*f + 263 = h, 3*f - h - 144 = 3*h. Is f a multiple of 11?
False
Let l(r) = -r**2 + 7*r + 2. Suppose -y = -3*y + 10. Does 6 divide l(y)?
True
Suppose 0 = 3*w + 4*q + 26, -12 = -4*w + 5*q + 5. Suppose -g + 57 = 4*l, -2*g = -0*l - l + 21. Is w + l/3 - -16 a multiple of 15?
False
Let f be (1 - -1)/(-2) - 1. Let i = f + 7. Suppose -43 + i = -2*w. Is 19 a factor of w?
True
Suppose -2*a + 5*a = 18. Let m = a - 4. Is 3 a factor of (3 - -6) + (2 - m)?
True
Does 13 divide 450/7 + (-6)/21?
False
Suppose -5 = -w, -4*g + w + 289 = -18. Suppose 475 = -f + 6*f + 5*m, 2*f + m = 189. Suppose 4*r - k - g = 0, 5*r = k + 2*k + f. Is r a multiple of 10?
True
Let c = 0 - 0. Suppose 3*i = -c*i. Suppose i = -3*v + 4*v - 25. Is 15 a factor of v?
False
Let o = 4 + 3. Let i(w) = w**2 - 5*w - 3. Is 5 a factor of i(o)?
False
Let u(s) = -s**3 + 5*s**2 + 14*s - 11. Does 37 divide u(6)?
True
Let n(m) = m**3 - 3*m**2 - 6*m - 5. Let j(i) = -i + 15. Let g be j(12). Suppose 4*v = -a + 18 - 1, -g*a + 21 = 2*v. Is 10 a factor of n(a)?
False
Let y(g) = 5*g**3 - g**2 - 11*g + 6. Is y(4) a multiple of 14?
True
Let o = -40 - -56. Suppose -o = -3*d - d. Suppose -4*u = 5*g - 22, d*g - u = 3*u + 32. Is g a multiple of 6?
True
Let k = 25 + -10. Does 11 divide (-374)/(-10) - 6/k?
False
Suppose z - v + 4 = 6*z, -4*z + 2*v - 8 = 0. Suppose z = -2*a - 0 + 2. Does 12 divide 33 - (-2)/(a + 1)?
False
Let p = -4 - -3. Let l = p - -6. Suppose -4*r = d - 33, -l*d = -r - r - 121. Is d a multiple of 10?
False
Suppose 0 = -l - 3*l + 108. Let n = l + -11. Does 16 divide n?
True
Let y be (2 + -4)*(0 - 1). Suppose 2*z - 4*c - 7 = 9, -3*z = y*c - 64. Is 4 a factor of z?
False
Suppose -h + 6*h - 4*t - 17 = 0, 2*t + 11 = 3*h. Suppose 0 = -h*b, 4*u - 5*b = 2*u. Let g = u + 12. Is g a multiple of 6?
True
Let f = 17 - 16. Does 4 divide (f - 0/(-4))*7?
False
Let n(z) = z**2 - 6*z - 7. Does 16 divide n(11)?
True
Is 18 a factor of (7 + 1)/(-4*4/(-144))?
True
Let z(j) be the second derivative of j**3/6 - 2*j**2 + j. Let p be z(4). Suppose -f + 3*f - 30 = p. Does 15 divide f?
True
Let k(v) = 2*v**3 - v. Let q be k(1). Let z be q + (-3)/(2/(-2)). Suppose p = z*p - 24. Is 3 a factor of p?
False
Suppose -2*g + 31 = 5*y, -2*y + 0*g = -3*g - 1. Is 1/y + 54/5 a multiple of 11?
True
Suppose 4*c - 1801 = -2*p - 247, 5 = p. Is 28 a factor of c?
False
Let h(v) = v**2 - v - 2. Let z be (0 + 0)/((-6)/(-3)). Let u be h(z). Let r = 35 - u. Is 14 a factor of r?
False
Let z(t) = 0*t + 8 - 3 - t. Let u be z(5). Suppose -n + 2*v - 5*v + 35 = u, 0 = 4*v - 16. Does 9 divide n?
False
Suppose b - 114 = -16. Is b a multiple of 30?
False
Let d = -114 - -254. Is 14 a factor of d?
True
Suppose 4*v + 219 = -97. Let o = 119 + v. Is 10 a factor of o?
True
Let g(a) = -a**2 + 20*a + 8. Does 39 divide g(9)?
False
Suppose 18*c + 59 = 19*c. Is 13 a factor of c?
False
Let z(w) = w**3 - 6*w + 3*w + w + 2 + 5*w**2. Let b(c) = -c - 1. Let j(l) = 3*b(l) + z(l). Is 12 a factor of j(-5)?
True
Let x be (-2)/6 + (-1)/(-3). Let q = -59 + 63. Suppose l = -x + q. Is 2 a