 0. Suppose -n*c + c = -21. Is c a multiple of 12?
False
Let a(r) = 3*r - 9*r + 7*r + 86*r**2. Does 23 divide a(-1)?
False
Is ((3 - 4) + 2)*15 a multiple of 3?
True
Let g = -37 + 62. Suppose -6*c + c = -g. Suppose 2*d - 97 = -c*w, w - 37 = -w + d. Is 8 a factor of w?
False
Is 7 a factor of (172/(-30))/(9/90)*-3?
False
Let b = 6 + -5. Let g(t) = b - 7 + 2 - 3*t. Is 17 a factor of g(-8)?
False
Let r = 145 - 100. Suppose -2*t - r = -3*t. Suppose 2*k + 1 = 5*i - t, -4*k = -2*i + 28. Is i a multiple of 8?
True
Suppose -2*a = 2 - 22. Is (-34)/(-4)*(a + -4) a multiple of 10?
False
Let o(t) = -2*t**3 - 12*t**2 + 11*t + 7. Does 7 divide o(-7)?
True
Suppose -2*w + s = 2*s - 196, 2*s - 8 = 0. Does 12 divide w?
True
Suppose -3*i = 24 - 294. Is 11 a factor of i?
False
Let m be -1 - 12/(-2 - 1). Suppose 2*p - 3 = m. Suppose 2*j - 179 = -5*b, 0*b + p*j - 76 = -2*b. Does 15 divide b?
False
Suppose 5*v = 596 + 54. Suppose -2*k - 3*k = n - 730, k = 3*n + v. Is (-2)/(-10) - k/(-25) a multiple of 6?
True
Suppose -4*n + 356 + 460 = 0. Is 5 a factor of 2/10 - n/(-30)?
False
Let q(o) be the second derivative of -o**5/20 + o**4/4 - o**3/2 + 3*o. Let a be q(3). Is 2/(-3) - 420/a a multiple of 23?
True
Suppose -3*y + 4*n - 6 = -y, 3*n = -5*y - 2. Let q(p) = -3 + 3 - 21*p**3 - p**2. Does 12 divide q(y)?
False
Let a be (48/4)/3 + 198. Suppose 7*l - 25 = 2*l, 4*h - 2*l - a = 0. Does 28 divide h?
False
Let r be -3*(-1 - (-1)/3). Let y be 14 + r + -1 + -1. Let j = y + -4. Does 10 divide j?
True
Is ((-2)/(-3))/(6/279) a multiple of 17?
False
Let n be (4/(-5))/(2/15). Is 8 a factor of (4/n)/((-3)/72)?
True
Let n be 2/10 + (-116)/(-20). Suppose -n*z - 3 = -33. Is 5 a factor of z?
True
Let t(c) = 18*c**2 - 2*c - 1. Let o be t(-2). Suppose o = 5*x - 0*x. Is 15 a factor of x?
True
Is 16 a factor of (1 - -2 - -202) + -4?
False
Suppose -4*g + 12 = -2*r, -r = -g - 2*g + 5. Let u be ((-10)/(-8))/((-2)/r). Suppose 0 = u*x - 25, -3*d + 5*x - 3 = -11. Is 11 a factor of d?
True
Suppose -3*t - 5 = 2*j, 5*t = -5*j + j - 7. Is (-152)/(-2 - j) + 3 a multiple of 16?
False
Let g = -9 - -13. Suppose 2*k - 12 = v, -5*k = -0*v + v - 16. Suppose -g*c - 2 = -5*x - 23, 0 = 4*c + k*x - 48. Is c a multiple of 9?
True
Suppose -4*w - x = 2 - 1, -2*w - 5*x - 23 = 0. Suppose 4*a - w = -17. Let f(j) = -3*j - 4. Is 7 a factor of f(a)?
False
Suppose 0 = -3*h - 19 + 1. Let t = 8 + h. Suppose y - 9 = t. Is y a multiple of 6?
False
Let q(g) be the third derivative of g**5/60 + 5*g**4/24 + g**3/2 + 4*g**2. Let k be q(-5). Does 6 divide k/1 + 1 + 2?
True
Suppose 0 = -p + 3*p - 2*a - 8, -5*a = -4*p + 17. Suppose -j + p = 1. Is j/9 - 64/(-36) even?
True
Let u = 59 + -3. Is u a multiple of 13?
False
Suppose 4*q + 4*l - 16 = 0, l - 2 = 2. Let m be 5/(-2)*(-1 - 17). Suppose q = -u - 4*u + m. Does 9 divide u?
True
Let y(h) = h - 4 + 5*h + 3. Is 7 a factor of y(4)?
False
Suppose 5*c + 2*w = 190, 4*c + 2*w = -2*w + 140. Does 10 divide c?
True
Let q be (-2)/(-4)*(-16)/(-2). Let w be (-28)/(-3)*6/q. Suppose 2*y - w = y. Is 7 a factor of y?
True
Let m be 3/((-4 - -3)*-1). Let n(x) = x**3 - x**2 - 3*x - 2. Does 2 divide n(m)?
False
Suppose 0 = b - 2*b + 36. Is 9 a factor of b?
True
Let m(i) = i**3 + 14*i - 7*i - 37*i**2 + 31*i**2. Is m(6) a multiple of 14?
True
Let l = 133 + -50. Does 14 divide l?
False
Let m(a) = 9*a**3 + 16*a**2 + 16*a + 12. Let p(j) = -5*j**3 - 8*j**2 - 8*j - 6. Let s(i) = 4*m(i) + 7*p(i). Does 9 divide s(-6)?
False
Let n = -36 + 54. Is 3 a factor of n?
True
Let o = 34 - -68. Is o a multiple of 26?
False
Let n = 1 + 3. Let c = -1 + n. Let f = 35 + c. Is f a multiple of 14?
False
Let q(z) = -z**2 - 9*z + 16. Is q(-8) a multiple of 3?
True
Suppose 3*m = 17 - 2. Let c(o) = 5*o**2 - o + 6. Let x(r) = 6*r**2 - r + 7. Let v(i) = m*c(i) - 4*x(i). Does 8 divide v(3)?
True
Suppose 36 - 4 = 4*r. Suppose -r = -5*v + 4*c, v - 3*v + 14 = 2*c. Suppose v*x - 96 = 108. Is 17 a factor of x?
True
Suppose 0 = -7*p - 10*p + 1921. Is p a multiple of 18?
False
Let o(g) be the first derivative of 1/3*g**3 + 10*g - 2 + 7/2*g**2. Is o(-7) a multiple of 10?
True
Suppose 0 = -m - v + 9, -3*m - 2*v + 24 - 2 = 0. Suppose l = -4*w - 131, -m*w - 34 = 4*l + 94. Let o = 69 + w. Is o a multiple of 19?
False
Let f(s) be the third derivative of -s**8/6720 + s**7/504 + s**6/720 + s**5/24 - s**4/8 + s**2. Let x(m) be the second derivative of f(m). Does 3 divide x(5)?
False
Suppose 0 = q + 3*q - 4*a - 8, 2*a - 4 = 0. Suppose -2*i + 113 = q*t + t, i = 2*t + 43. Is 13 a factor of i?
False
Let j = -18 - -13. Let q = j - -17. Is 4 a factor of q?
True
Let a(j) = j**3 + 4*j**2 - 5*j - 4. Suppose -32 = 5*f - 0*v - 3*v, 2*f = -2*v. Let m be a(f). Does 20 divide 135/4 - (-4)/m?
False
Let w(r) = -1. Let q(c) = c - 2. Let j(t) = q(t) - 2*w(t). Let i be j(4). Suppose 0*n = -i*n + 64. Is n a multiple of 16?
True
Let m be 46/14 + 2/(-7). Suppose 4*f = m*r - 6 - 5, 2*r - 9 = f. Suppose -3*v - r*k = -28, 5*v - 3*k + 5*k = 53. Is 11 a factor of v?
True
Does 6 divide (-6 - -63 - 7) + (1 - 3)?
True
Suppose 4*z + z = 3*f + 45, 2*z - 4*f = 32. Suppose -188 = 2*x - z*x. Does 13 divide x?
False
Suppose 0 = 3*g - 44 - 127. Does 19 divide g?
True
Suppose -5 = -g - 7, -4*g = t - 57. Is 12 a factor of t?
False
Let c be (-20)/10 - -1*1. Let x = c + 18. Is x a multiple of 11?
False
Let g = -183 - -384. Is 18 a factor of g?
False
Let z(i) = 6*i - 3. Let f(a) = 17*a - 10. Let c(s) = -3*f(s) + 8*z(s). Is c(-6) a multiple of 12?
True
Let o(l) = -11*l. Let h = -9 - -7. Is o(h) a multiple of 11?
True
Suppose -q + k = -13, 3*k + 0 = q - 11. Does 7 divide q?
True
Let y(a) = -a**2 + 12*a - 10. Let f be y(11). Suppose -5*r + 9 = -f. Suppose -u - 4*n = -3*u + 36, -2 = -u - r*n. Is u a multiple of 9?
False
Let p be ((-8)/10)/((-2)/5). Suppose -5*b - p - 16 = -4*h, -5*b = 3*h + 4. Is 20 a factor of h/(-6)*0 - -20?
True
Let l be 6 - (-4 + 1 + 1). Suppose 4*r - 4 = l. Let n(v) = 5*v**2 - 3*v - 1. Is n(r) a multiple of 12?
False
Suppose -30 = -3*g - 0*g. Suppose -2*r = -3*r + g. Does 10 divide r?
True
Let j(u) = -2*u**2 + 8*u - 4. Let o be j(7). Let d = o + 90. Does 22 divide d?
True
Let i be ((4 - 1) + 17)/2. Let d(s) = s**3 - 11*s**2 + 13*s - 15. Is 5 a factor of d(i)?
True
Suppose u + 345 = 5*y + 10, -178 = -3*y - 4*u. Does 11 divide y?
True
Suppose 5*h - 10*h + 185 = -5*n, -4*h + 148 = -2*n. Does 23 divide h?
False
Let m(h) = 7*h**2 + 5*h + 4. Let l = 6 - 9. Let x be m(l). Suppose 0 = 4*q - 192 + x. Is q a multiple of 20?
False
Suppose 5*g - 3*b - 21 = 0, b = -2*g - g + 7. Suppose -p - 8 = -g*z, 4 = -4*z + 5*p - 0. Is 3 a factor of z?
False
Is 22 a factor of (-1048)/(-12) - (-4)/6?
True
Suppose -4*t - 110 = 4*d - 7*d, 0 = 5*d + 2*t - 140. Is 5 a factor of d?
True
Let m(k) = k**3 - 9*k**2 + 12*k - 4. Is m(8) a multiple of 7?
True
Let i be (-446)/(-10) + (-2)/(-5). Let d = i - 22. Does 23 divide d?
True
Let k = 8 - 3. Suppose 2*a - 3*t + 7*t - 28 = 0, -k*a - 5*t + 70 = 0. Does 14 divide a?
True
Let y(l) = -l**2 - 2 + 1 + l - l**2 + 23*l**2. Is y(1) a multiple of 20?
False
Let p(w) = w**3 - 7*w**2 + w - 5. Let f be p(7). Let l(k) = 2*k**f - 12 - 3*k**2 + 12*k + 9. Is l(7) a multiple of 14?
False
Let u(x) = 12*x + 1. Suppose r + 4*r - 10 = 0. Is 13 a factor of u(r)?
False
Suppose 54 = 2*n - 2*m, 2*m - 37 = -2*n + 5. Is n a multiple of 24?
True
Suppose 0 = -3*m + 57 + 6. Does 5 divide m?
False
Let x be (-1)/(-3) + 64/(-3). Let c = 3 - x. Does 8 divide c?
True
Suppose -s = -4*g - 44, -3*g - 73 = -2*s - 0*g. Suppose -6*l + s = -5*l. Suppose -3*p - l = -5*u - p, -3*u + 20 = -2*p. Is 2 a factor of u?
True
Let k = -56 - -86. Does 10 divide k?
True
Suppose -5*b + 64 = 274. Let t be ((-21)/9)/((-5)/150). Let x = b + t. Is 14 a factor of x?
True
Let m be (0/(0 - 2))/1. Suppose 0 = -m*y - y + 24. Is y a multiple of 12?
True
Suppose 0 = -9*o + 4*o + 35. Is 6 a factor of o?
False
Suppose -32*n - 204 = -36*n. Does 17 divide n?
True
Let y(p) = 1 + 6 - 10*p + 0*p**2 - p**2. Is 7 a factor of y(-10)?
True
Suppose -3*f = -0*f - 6. Is 26 a factor of 12*13*1/f?
True
Let l = 14 + -8. Does 4 divide l?
False
Let n = 44 - 40. Is 4 a factor of n?
True
Let h(i) = 14*i - 14. Let n be h(12). Suppose 71 = w - 5*v, 2*w - 4*v + 36 = n. Is w a multiple of 17?
True
Does 57 divide (-1 - -3)*(-399)/(-2) - 1?
False
Le