et s be 1/7 - (-54)/14. Suppose -4*n = -s*g - 124, -n + 3*g = -5*n + 131. Is n a multiple of 16?
True
Let l(s) = s**3 - 9*s**2 - 9*s - 5. Let q be l(10). Suppose 96 = -x + q*x. Is 12 a factor of x?
True
Suppose 0 = -2*s + 134 - 38. Does 11 divide s?
False
Let w(q) = 11*q + 5. Let r be w(7). Let k = -58 + r. Is 12 a factor of k?
True
Let r be (-282)/10 - (-5)/25. Let g = r + 54. Is g a multiple of 13?
True
Suppose 90 = -4*l + 486. Is l a multiple of 32?
False
Let k(j) = 0*j + 3*j**2 - 4*j**2 + 0*j**2 - 2*j - 5*j**3. Does 12 divide k(-2)?
False
Let d = -54 + 89. Is d a multiple of 6?
False
Let g(i) = 415*i + 2. Is g(1) a multiple of 15?
False
Let l = -76 - -172. Is l a multiple of 20?
False
Let h(n) = 3*n - 7. Let j be h(4). Suppose -j*b + 0*w + 258 = 4*w, 4*b - 192 = 4*w. Is 10 a factor of b?
True
Let d(k) = k**2 - 4*k - 8. Let m be d(6). Suppose 0 = 4*v + 5*b + 6 + 4, -3*v + 2*b = -m. Let a = 3 + v. Is a a multiple of 2?
False
Let r(z) = z - 1 + 0*z + 2. Let y(m) = -m - 1. Let u(k) = -7*r(k) - 4*y(k). Is 5 a factor of u(-4)?
False
Suppose -7*m + 4*m = -309. Is 12 a factor of m?
False
Let a(y) = -2*y**3 - 4*y**2 - 2*y + 1. Let l = 0 - 2. Does 2 divide a(l)?
False
Let b = 25 - -20. Does 9 divide b?
True
Let t = 3 - 1. Let n = 4 - t. Suppose -f = -n*j - 0*f + 47, 5*j = -3*f + 101. Is 11 a factor of j?
True
Let b(p) = 22*p - 10. Does 8 divide b(3)?
True
Let q = -39 - 2. Let i = q + 59. Does 6 divide i?
True
Let c = -11 + 25. Let w = 22 - c. Is 4 a factor of w?
True
Let b = 28 + 47. Does 9 divide b?
False
Let w(f) = f - 3. Let g be w(10). Suppose 3*r = 2*r - 7. Let u = g - r. Is u a multiple of 14?
True
Let m be (207/(-9))/(2/(-6)). Let g = m - 40. Is 29 a factor of g?
True
Let y = -3 + 5. Let b be (7/7)/(1/3). Suppose y*q + b = -0*x + x, -q - 6 = -2*x. Is 2 a factor of x?
False
Let d(k) = -11*k**3 - 2*k**2 + 2*k + 1. Let c be d(-2). Let p = c - 53. Does 9 divide p?
False
Suppose -3*h + 3*q = -h - 2, -3*h + 5*q = -1. Let c(f) = f**3 - 8*f**2 + 7*f + 9. Let a be c(h). Suppose -119 - a = -4*l. Is 13 a factor of l?
False
Let b(r) = r - 3. Let a be b(5). Suppose 2*x + a*x + 452 = 0. Let j = x + 161. Does 21 divide j?
False
Suppose 0 = -4*x + 2*h - 2 - 0, 0 = x + h - 4. Let a be (x/2)/(3/(-102)). Is 1 + -1 - (a - -1) a multiple of 16?
True
Suppose 3*l - 25 = -4*j, 5*j - 2*j = -l + 15. Suppose -l*w + 8 = -w. Suppose w*y - 10 - 30 = 0. Is 10 a factor of y?
True
Is 11 a factor of 1/(-1*(-2)/22)?
True
Let a(q) = -q**2 + 9*q + 1. Let x be a(5). Let s = 3 + x. Does 9 divide s?
False
Let r(j) = -j**3 - j + 2. Let u be r(2). Does 11 divide (-138)/(-8) - (-2)/u?
False
Let o(j) = 16*j**3 + 2*j**2 - 1. Let r be o(1). Suppose r = 4*q - 3. Does 5 divide q?
True
Let c(o) = o**2 + 5*o. Let z be 106/(-22) - 4/22. Let i be c(z). Is 5 a factor of (4/6 - i)*15?
True
Let i be -3 + 4 + 2/(-1). Let q(b) = 15*b + 7. Let z(y) = 46*y + 20. Let n(m) = 17*q(m) - 6*z(m). Is 10 a factor of n(i)?
True
Suppose -4*z - 152 = -4*y, -73 = -2*y + 2*z + z. Does 8 divide y?
False
Suppose l + 0*r + r = 23, 0 = l + 5*r - 35. Suppose j - l = -3*j. Does 5 divide j?
True
Let g = -12 - -9. Let q = 33 - g. Does 18 divide q?
True
Let c be 3*(-4)/6*1. Let b be 0 + (c - 9/(-3)). Is 29 + b + 1 + 0 a multiple of 14?
False
Let q = 3 - -37. Is 16 a factor of q?
False
Let r = 56 + -17. Is 11 a factor of (0 + r/(-5))*-5?
False
Suppose 5*k + 0 - 15 = 0. Let t = 4 - k. Does 12 divide (-2 - t) + 2 + 47?
False
Let a(g) = -g**3 + 4*g**2 - 3*g + 2. Let j(t) = -t**2 + 7*t - 7. Let i be j(5). Let w be a(i). Is (16/(-10))/(w/(-15)) a multiple of 4?
True
Let p be (-88)/(-14) - (-4)/(-14). Suppose 0 = -l - 6 + 22. Suppose -t + l = -p. Does 11 divide t?
True
Let i = -1 - -4. Suppose 12 = 5*d - i, 3*d - 489 = -5*k. Let x = -66 + k. Is 11 a factor of x?
False
Let x(m) = 15*m + 3. Does 13 divide x(3)?
False
Let d(n) be the second derivative of n**4/12 - n**3/2 - 2*n**2 + 2*n. Does 6 divide d(-3)?
False
Let b be (-2)/(-8)*-2*0. Suppose 0 = 3*k - b*k - 24. Suppose 2*t = -2*w + 4 + 14, -4*t = -k. Does 7 divide w?
True
Let z(g) = -5*g - 14. Suppose -d - 4*a + 4 = -3*d, -5*d - 38 = 4*a. Does 16 divide z(d)?
True
Suppose 5*w - 97 = 23. Is w a multiple of 12?
True
Let d = 26 + 2. Is d a multiple of 14?
True
Let m(x) = -x**3 - 7*x**2 - 10*x - 9. Suppose 5*t = 2*t - 18. Let v be m(t). Let n = v + -1. Does 14 divide n?
True
Suppose p = -h + 12, -5*h + 3*p - 19 = -79. Let a = 5 + h. Let t = a + -8. Is t a multiple of 9?
True
Let g(w) = w**3 + 25*w**2 + 21*w + 48. Is 24 a factor of g(-24)?
True
Let k(i) = 2*i + 6. Suppose -2*p - 14 = -0*p. Let d be (4 - p) + -1*1. Does 11 divide k(d)?
False
Suppose 40 = -4*r - 180. Let z = r + 91. Is 12 a factor of z?
True
Suppose -5*p + 12 = 2. Suppose -y + 24 = -0*y - p*q, -5*y + 64 = 4*q. Is y a multiple of 12?
False
Let o(z) = 29*z + 2. Let d be o(6). Suppose -2*s - 100 = -2*p, d = 5*p - p + 4*s. Suppose -v = -2*q - p, v + q = -2*q + 42. Does 15 divide v?
True
Suppose 5*n - 2*b - 7 = 0, 0 = -5*n + 2*n - 4*b + 25. Suppose -c = 4*s - 47, -c = n*s - 2*s - 14. Does 7 divide s?
False
Let t(o) = -o + 7. Let m be t(5). Suppose -3*h = -m*u + u - 11, -5*h + u + 15 = 0. Suppose -h*s + 12 = -94. Is s a multiple of 20?
False
Suppose -9*q + 5*q = -80. Is q a multiple of 5?
True
Suppose -2*j - 226 - 34 = -2*d, 0 = -d - 5*j + 142. Is d a multiple of 12?
True
Suppose 4*p + 4*v - 64 = 0, 4*p - 16 = p + 5*v. Suppose -2*a - 5*i = 52, -40 = 4*a - 3*i + 38. Is (a/9)/((-2)/p) a multiple of 6?
False
Let r = -100 + 232. Let b = -1 - -8. Suppose 5*u - r = -b. Is 13 a factor of u?
False
Let o be (49/2)/7*2. Is ((-22)/(-3))/(o/21) a multiple of 21?
False
Is (-36)/84 + (-73)/(-7) a multiple of 4?
False
Let v(z) = -48*z**3. Let x be v(-1). Suppose 0 = -6*h + 3*h + x. Is 8 a factor of h?
True
Let v = 14 - -10. Is v a multiple of 6?
True
Suppose 2*a = -a + 81. Is a a multiple of 7?
False
Let l(h) = 24*h**2 + h + 1. Is l(-1) a multiple of 12?
True
Let v(o) = 2*o**2 + 3*o + 3 - 8 + 2*o**2 - 3*o**2. Does 10 divide v(5)?
False
Let t be -1*3*(6 + -7). Let s(d) = -2*d**3 + 3*d**2 - 6*d - 8. Let l(r) = -r**3 + 2*r**2 - 3*r - 4. Let b(q) = t*s(q) - 5*l(q). Does 13 divide b(-3)?
False
Is 15 a factor of (-990)/12*(3 - (-2 - -7))?
True
Let i be (-6)/(-27) - (-1024)/9. Suppose -2*q - 66 = -2*n - 4*q, 2*q + i = 3*n. Let k = -15 + n. Is 11 a factor of k?
False
Suppose -3*u = -4*u - 78. Let l be 12/u - (-1226)/26. Suppose 2*n - l = -3. Does 11 divide n?
True
Is 1/((-4)/6 - 155/(-225)) a multiple of 15?
True
Let q(f) = f**3 + 10*f**2 + f + 14. Let h be q(-10). Suppose h*c - 36 = -m, -c + 4*m + 6 = -2*c. Does 5 divide c?
True
Suppose 0*v = -2*v + 4. Suppose -v*g + 2 = -g. Suppose 6*l = g*l + 24. Is l a multiple of 6?
True
Suppose 3*h = -2*h + 160. Suppose h - 2 = 3*m. Suppose 3*r = -5*b + 3*b + 82, -5*b = -m. Does 13 divide r?
True
Suppose 0 = -2*z + 82 + 58. Does 10 divide z?
True
Suppose -2*p + 7 = -11. Suppose 2*y = -3*y + 35. Let g = p + y. Is g a multiple of 6?
False
Let z be (-6)/3 - (1 - 5). Suppose -4*p + 16 = -5*u, 0 = 3*p - z*u - 21 + 2. Is p a multiple of 9?
True
Let v be 1*(-1)/(-2)*-10. Is 7*v*6/(-5) a multiple of 24?
False
Let z(w) = w**2 - 7*w + 3. Let h(o) = o**2 + 2*o - 7. Let x be h(-5). Let i = 0 + x. Does 4 divide z(i)?
False
Let s(g) = g**2 + 7*g + 9. Is 7 a factor of s(-8)?
False
Let k(t) = -t + 5. Let q be k(3). Is 15 a factor of q/(1/(15/2))?
True
Is -61*(-1)/(5/10) a multiple of 24?
False
Let h = -7 - -11. Suppose -3*b + 2*x = -28, -1 = -5*b - 5*x + h. Is 2 a factor of b?
True
Suppose -2*w - 58 = -226. Suppose 5*r - w = 86. Does 12 divide r?
False
Let z be (-25)/(-10)*(-12)/(-10). Suppose -2*k = -0*p - p + 10, 6 = -z*k - 3*p. Is 8 a factor of 2/(-8) - 45/k?
False
Suppose 3*m - 5*m = -2. Suppose m = -3*q + 19. Is 3 a factor of q?
True
Let d be 12/15*10/4. Suppose -5*x - j = -2, -3*x + d = -8*x + j. Suppose -2*m = -x*m - 88. Does 22 divide m?
True
Suppose -3*k - 19 = -79. Let j = 35 - k. Is j a multiple of 9?
False
Let u(r) = r + 21. Let i be u(0). Suppose -2*v + 4*z + i = 3*v, 0 = -2*v + 4*z + 18. Suppose 3*h = n + v, -4*n = 3*h + 2*h - 30. Is n a multiple of 3?
False
Let j(m) = -31*m + 6. Let t be j(-3). Suppose 2*h = 7 + t. Does 14 divide h?
False
Suppose 2 - 72 = -5*g. Is 7 a factor of g?
True
Let q = 11 - 12. 