 Let r = 31 + -44. Is k(r) a multiple of 10?
True
Suppose 26*o + 1600 = 31*o. Is 30 a factor of o?
False
Let c = 4 + 0. Suppose z + z = -3*l + 56, 0 = -c*z + l + 112. Does 7 divide z?
True
Let x(s) be the second derivative of -17*s**3/6 - s**2/2 + s. Does 20 divide x(-2)?
False
Suppose 0 = 2*c - 3*c + 76. Let x = -43 + c. Suppose -x = -2*w - 9. Does 6 divide w?
True
Suppose -5*v = y + 129, -5*v = 2*y + 64 + 69. Let j be (-8)/(-20) + 714/15. Let h = v + j. Is 23 a factor of h?
True
Let m(g) = -2 + 0*g + 4 + g + g. Let x be m(3). Is 15 a factor of ((-4)/x)/((-2)/68)?
False
Suppose -12 = -3*q, 3*q + q = -4*z + 396. Is z a multiple of 19?
True
Suppose 0 = -2*y + 2 - 0. Does 15 divide (y*-43)/((-2)/2)?
False
Let s(l) = l**2 + 2 + 0*l**2 - 1. Let y be s(2). Suppose 4*c + 36 = 5*j, -4*j - 12 = -y*j - 4*c. Is 8 a factor of j?
True
Let f be 1*-11 + (1 - 0). Let x = -5 - f. Suppose -x*z + 162 = -u, 5*z = -u + 6*u + 150. Is z a multiple of 12?
False
Let d(g) = -3 - 1 - 18*g**2 + 0 - 4*g. Let l be d(-4). Does 6 divide l/(-16) + (-1)/4?
False
Is (104/(-20))/((-2)/30) a multiple of 22?
False
Suppose 5*q + 2*y = -0*y + 40, 4*q - 32 = y. Does 2 divide q?
True
Let w be 2 + -24*(1 - 2). Suppose -n = -2*j + w, j - 28 = -3*j - 4*n. Suppose 0 = g - 0*g - j. Does 11 divide g?
True
Let f(t) = -t - 13. Let k be f(0). Let c = -3 - k. Is c a multiple of 3?
False
Let w be (38/(-6))/(2/(-6)). Suppose -5*i = -0 + 15, -4*m + 5*i + w = 0. Let s = 3 - m. Is s a multiple of 2?
True
Let c(m) = -m**3 - 20*m**2 - 5*m + 17. Is 13 a factor of c(-20)?
True
Is 9 a factor of -60*-2*(9/(-12))/(-3)?
False
Suppose 0 = -11*c + 5*c + 588. Is c a multiple of 49?
True
Suppose 3*l = 2*t + 74, -4*t + 3*l + 2*l = 144. Suppose 2 + 1 = -i. Does 13 divide i/4*(t - 5)?
False
Let a = -173 + 267. Let m = 137 - a. Is m a multiple of 12?
False
Let q be (-1)/((6/(-9))/2). Suppose -h - q*u = 30, -4*u + 9*u = 5*h + 70. Is 4 a factor of 40/(-6)*h/15?
True
Let x(l) = 10*l + 52. Does 32 divide x(14)?
True
Let s be (11 + -1)/((-10)/(-15)). Let k = s + 6. Does 7 divide k?
True
Let s = 288 - 155. Is 13 a factor of s?
False
Let j be (3 - 11/3)*-3. Let f = j + 0. Suppose -f*a = -a - 28. Is a a multiple of 12?
False
Suppose -o - o = -4. Suppose -2*w + o*m = 3*w - 2, -24 = -2*w - 5*m. Is 12 a factor of (19 - w) + -1 + 1?
False
Suppose 0*p = p + 15. Let w = 25 + p. Does 9 divide w?
False
Let v = 19 + 9. Does 24 divide v?
False
Let k(f) = f**2 + 5*f - 6. Does 3 divide k(-7)?
False
Let a(w) = 4*w**2 - 2*w - 27. Is a(5) a multiple of 3?
True
Let h(c) = -c + 9. Let b be h(6). Suppose b*r = -r + 8. Suppose 2*p = -r*s + 16, 4*s - 5*p - 32 = -0*p. Is s a multiple of 4?
True
Suppose -2*t - 20 = -6*t. Suppose y - t = 1. Is y a multiple of 2?
True
Suppose -6*w + 2*w + 620 = 0. Suppose 5*m - 195 = -3*b, -5*b + 38 = -3*m + w. Is 11 a factor of m?
False
Let y(l) = 7*l - 11. Is 53 a factor of y(12)?
False
Does 39 divide (182/21)/(2*2/72)?
True
Does 3 divide (-1 + -2 + 8)*2?
False
Let u(a) be the second derivative of a**5/10 - a**4/6 + a**3/3 - 3*a**2/2 + a. Does 13 divide u(3)?
True
Let v(u) = 3*u**2 + 2*u - 1. Let j be v(-4). Suppose 18 + j = 3*t. Does 13 divide t?
False
Suppose -4*s = -12*s + 264. Is 11 a factor of s?
True
Does 44 divide 12/5*((-220)/(-3) - 0)?
True
Let n = -12 + 10. Is 19 a factor of (1 + n)/((-1)/54)?
False
Let u be ((-9)/(-15))/((-4)/(-20)). Let c = 352 + -230. Suppose u*w = s + 121, 3*w = 4*s - 2*s + c. Does 23 divide w?
False
Let o(p) = -p**2 - 11*p - 21. Let s be o(-9). Is 24 a factor of (-92 + s)*(3 + -4)?
False
Let w = -6 + 11. Suppose 0 = l - w*l - 8, 5*j = 5*l + 70. Is 4 a factor of j?
True
Suppose 4*x - 32 = -0*x. Suppose -2*o = 2 - x. Suppose -16 = -o*y + 14. Is y a multiple of 4?
False
Let t = 5 - 4. Let f be 6 - (-1 + (0 - t)). Is 8 a factor of ((-36)/(-2))/(6/f)?
True
Let v be (-4 + 1)/(9/(-24)). Suppose -m + 3*j + 2 = 0, 4*m - v = -0*j + 4*j. Suppose -m*r + 8 = -0*r. Is r a multiple of 2?
True
Suppose -4*i + 6 = 2*h, 12 = 4*h + 3*i - 0*i. Suppose -h = o + 2. Let l(p) = 2*p**2 + 4*p + 3. Does 11 divide l(o)?
True
Suppose -2*p = -167 - 83. Is p a multiple of 25?
True
Let t(l) = -l**2 + 6*l + 10. Let j be t(7). Suppose 10 = -2*m - j*m. Let h = m - -22. Is 10 a factor of h?
True
Let d = 89 + -23. Is d a multiple of 33?
True
Let v = 6 + -1. Suppose 0 = -j - u - 4, 0 = 4*u - u + 12. Suppose v*r - 2*d = 5, j*r - 2*d = 3*r - 19. Is 3 a factor of r?
True
Let m(h) = 20*h**2 - h - 1. Let a = 4 + 0. Suppose -k + 11 = 3*i, i + a*i = -3*k + 17. Does 10 divide m(k)?
True
Let h = -34 - -76. Is 14 a factor of h?
True
Suppose 2 = -j - 1. Let v be 2/(j + 789/261). Suppose 0 = t + 2*t - v. Does 11 divide t?
False
Let k = 5 + -1. Suppose k = -4*p + 24. Let o = p - 2. Does 3 divide o?
True
Suppose m + 5*f + 0 = 31, -2*m - 3*f + 69 = 0. Does 3 divide m?
True
Suppose -2*w + 104 = -5*u, -5*w + 0*u = -2*u - 218. Is w a multiple of 8?
False
Let q = 35 + 18. Suppose -5*j + q = 4*c + 1, -2*c - 3*j = -24. Is 8 a factor of c?
False
Let q(d) = 6*d + 1. Let a(p) = -p + 6. Let c be a(5). Let n be q(c). Let v = 0 + n. Is v a multiple of 3?
False
Let f(w) = -2*w - 12. Let i be f(-16). Let d be (7/2 - 2)*2. Let x = i - d. Is 12 a factor of x?
False
Suppose 233 + 1211 = 4*m. Let p = m + -244. Suppose 0 = 3*d - 3*x - 99, -4*d - x + p = -30. Is 10 a factor of d?
False
Let i(f) = 2*f**2 - 4*f + 6. Suppose 3*g - 12 = r, 0*r - 8 = 5*r - 2*g. Let z = r - -4. Is i(z) a multiple of 11?
True
Let c(y) = 3*y**2 - y - 1. Let b be c(-1). Suppose -5*a + 94 = 2*p, 2*p = 3*a - b*p - 75. Suppose -x + a = x. Does 5 divide x?
True
Suppose -3*o = o - 4*k + 4, -4*o + 3*k = 0. Suppose v + 5*f - 2 = o*v, -2*v + 4*f = 2. Is -2 - 0 - v*31 a multiple of 11?
False
Let d(t) = -t**2 + 33. Suppose 0*f = -4*f. Is d(f) a multiple of 11?
True
Let s(x) be the third derivative of x**4/24 + 5*x**3/3 + 3*x**2. Let v be s(-8). Suppose -v*c - 5 = -13. Does 4 divide c?
True
Suppose 208 = 109*t - 107*t. Does 26 divide t?
True
Let h = 8 + -6. Suppose 3*y + 3*c = h*y + 10, -c = 5*y - 22. Suppose 3*v + y*a - 7 = 0, 2 = -a - 3. Does 9 divide v?
True
Let n be -2*1 - (-7 + 1). Suppose -7*q = -9*q + 6. Suppose 23 = n*u + q. Is 2 a factor of u?
False
Let z = -30 + 60. Is 15 a factor of z?
True
Let x(q) = -15*q + 1. Is 4 a factor of x(-1)?
True
Suppose -x + 3*z = 0, -x = -0*x + z + 4. Suppose 3*p - 8*p = 65. Let i = x - p. Is 5 a factor of i?
True
Suppose 5 = -a + 3*y - 10, -3*a - 5*y + 25 = 0. Let v = -24 + 35. Suppose -3*l = -0*l - h - v, -2*l - h + 14 = a. Is 4 a factor of l?
False
Suppose -3*u + 5*u - 6 = 0. Suppose u*i + 32 = 4*i. Does 11 divide i?
False
Suppose 2*g = -2*z + 3 + 7, 5*g + 4*z - 22 = 0. Suppose -43 + 11 = -g*l. Is 16 a factor of l?
True
Is 2/8 + 869/44 a multiple of 20?
True
Suppose 0 = -2*z - 29 - 17. Let h = 9 + z. Let t = 3 - h. Is t a multiple of 7?
False
Let h be (-1 - -11)/(-1*1). Let b(f) = -f - 2. Does 4 divide b(h)?
True
Let k(u) = 9*u + 6. Is k(11) a multiple of 9?
False
Let p = -47 - -51. Let u(h) be the third derivative of h**4/8 - 2*h**3/3 + 2*h**2. Does 8 divide u(p)?
True
Let o(n) = -n**3 - 7*n**2 + n - 12. Let f be o(-9). Is 12 a factor of 2/(-3 - (-429)/f)?
False
Is -3 - -7 - (-168 - (1 + -3)) a multiple of 10?
True
Let g be (2/2)/(1/7). Suppose 0 = -4*h - 16, 3*u + 6 = -4*h - g. Does 13 divide ((-81)/(-12))/(u/4)?
False
Let q = -4 - -71. Suppose 3*d - 5 = q. Suppose 0 = -x + 5*x - d. Is x a multiple of 6?
True
Let p = 310 - 195. Is p a multiple of 29?
False
Let u be (-3)/5 + 6/10. Suppose v = -u*v + 13. Does 10 divide v?
False
Let o = 120 + -48. Is 13 a factor of o?
False
Let n = -28 - -47. Does 19 divide n?
True
Suppose -105 + 99 = -2*q. Let d(c) = -2*c**2 - 4*c - 3. Let m(o) = -2*o**2 - 3*o - 2. Let y(a) = 4*d(a) - 5*m(a). Is 13 a factor of y(q)?
True
Let v be 44 + 3 + (0 - -2). Let q be v/3 - 4/(-6). Let m = -9 + q. Does 6 divide m?
False
Suppose 5*t - 73 = v + 506, -5*v = 3*t - 353. Is t a multiple of 29?
True
Let x(c) = 2*c. Let s be x(1). Suppose -s*d - 16 = -6*d. Suppose d*h - 3*h - 8 = 0. Does 5 divide h?
False
Suppose 0 = -2*b + 7 + 3. Suppose b*y = 36 + 109. Let g = y - 21. Is 5 a factor of g?
False
Suppose 0*q + q = 0. Suppose q = b + b - 52. Is 13 a factor of b?
True
Let q be (-12)/(-1 - -5) - -228. Does 5 divide ((-4)/6)/((-6