5*y - 68 + 523. Is y + 0 - d/(-1) a multiple of 23?
True
Let t(a) = -2*a - 5. Let y be t(-5). Suppose -6*o = -5*p - 4*o + 188, 0 = 5*o - y. Is p a multiple of 5?
False
Let w(q) = -q**3 - q**2 - 5*q + 5. Let d be w(-6). Suppose 128 = -4*f + 428. Suppose -d = -5*n + f. Does 13 divide n?
False
Let g(c) = -c**3 + 9*c**2 - 9*c + 10. Let q be g(8). Let s be 0 + (3 - (2 - q)). Suppose p - 21 = -4*d, 2*d + s*d + 2*p - 24 = 0. Is 6 a factor of d?
True
Let j(y) = 14*y + 8. Let k be j(-1). Is (k/(-15))/((-3)/(-120)) a multiple of 8?
True
Suppose -1420 + 82717 = 27*z. Is 56 a factor of z?
False
Suppose -38*j + 33*j = 3*a - 5269, -1760 = -a + 2*j. Does 20 divide a?
False
Suppose 4538 = 34*g - 43776. Does 9 divide g?
False
Let h = -9 - -43. Does 3 divide h*(27/36)/(6/4)?
False
Let k(s) = -2*s**2 - 16*s + 1. Let r be k(-8). Is (26 + r)*(-2)/(-3) a multiple of 9?
True
Suppose -9*s + 11*s = -5*r + 619, -1615 = -5*s + r. Is 19 a factor of s?
False
Let u be (42/10 + -3)/(1/(-10)). Let i = u - -23. Is 10 a factor of i?
False
Let v(s) = -10*s - 9. Suppose 95 + 10 = 5*y. Let g = y + -25. Is v(g) a multiple of 16?
False
Suppose -2*l + 528 = -14*l. Let g = 357 + l. Is 12 a factor of g?
False
Is 16 a factor of -7 + 0 - (-815 + -2)?
False
Suppose 0 = -6*s + 1119 + 1311. Is s a multiple of 81?
True
Let t = 606 - 262. Is 8 a factor of t?
True
Let x = -24 + 26. Let w(j) = 3*j**3 - 2*j**2 - 2*j. Let a be w(x). Suppose -v - 4 = -3*v, -h - 2*v = -a. Is h a multiple of 4?
True
Suppose 0 = -r + 6*r. Let y be r + (-34)/2 + -1. Let h = y - -28. Is h a multiple of 5?
True
Let x(t) = 5*t - 7. Let r(u) = u**2 + 3*u - 14. Let a be r(-6). Is x(a) a multiple of 11?
False
Let a = 39 - 33. Suppose 315 = a*h - h. Is h a multiple of 9?
True
Let f(j) = j**3 - 9*j**2 - 5*j - 101. Is 14 a factor of f(14)?
False
Suppose -1701 = -4*v - 3*v. Is v a multiple of 9?
True
Suppose -7*g + 4354 = -0*g. Is 34 a factor of g?
False
Let c be 23/(5/(-4)*(-4)/100). Suppose 4*i - c = 16. Is i a multiple of 18?
False
Suppose 951 = 8*f + 359. Is 7 a factor of f?
False
Suppose 3*m - 91 = -5*c, -4*c - 12 = m - 89. Let u be c/14 - 80/(-140). Is 3 + 1/u*-2 a multiple of 2?
True
Let w(t) = 23*t**2 - 20*t + 147. Does 42 divide w(7)?
True
Let k = 64 + 183. Suppose 8*q - 727 = -k. Is 7 a factor of q?
False
Let q = -33 + 33. Suppose q*m - 2*m + 290 = 0. Is 23 a factor of m?
False
Let n(g) = -g**3 + 4*g**2 - 3*g + 5. Let q be n(4). Suppose 564*b = 559*b - 95. Let w = q - b. Does 7 divide w?
False
Suppose -15*k = -19*k + 24. Is (-540)/(-8)*(-2)/k*-4 a multiple of 10?
True
Let r(b) = 6*b**3 + 6*b**2 - 7*b + 3. Does 13 divide r(3)?
False
Let n(y) = -38*y + 4. Let w(g) = -g**3 + 10*g**2 + 11*g - 4. Let b be w(11). Is n(b) a multiple of 20?
False
Let h(p) = 14*p**2 + 29*p + 27. Does 21 divide h(-6)?
True
Let c(t) = 14*t - 3. Let l be (-1 - -2)/(21/(-6) + 4). Is c(l) a multiple of 23?
False
Does 36 divide 197 + -3 + (-49)/(-7)?
False
Suppose 3*x - 2*v + 11 = 0, -4*x - 5*v = -7*x + 4. Is 25 a factor of (-150)/(-2) - (7 + x)?
True
Suppose -221 = -3*k + 5*t, k + 2*k + t - 251 = 0. Let z = k + 41. Is 27 a factor of z?
False
Suppose 0 = 3*g + 4*p - 1076, 2*p - 1146 = -3*g - 68. Suppose -6*o + 248 = 4*r - 2*o, 0 = 5*r - 5*o - g. Does 26 divide r?
False
Suppose -4*r + 471 = c, 0*r = -2*c + 4*r + 966. Is c a multiple of 6?
False
Let t = -338 - -1094. Is t a multiple of 4?
True
Suppose -16*r - 188 = -17*r. Does 9 divide r?
False
Suppose -5*v - 870 = -0*n - n, -5*v + 4320 = 5*n. Is 12 a factor of n?
False
Does 18 divide -6 + 2 - (-2 + 4 + -942)?
True
Let t(c) be the third derivative of -c**6/120 + 13*c**5/60 + 17*c**4/24 - c**3 + 13*c**2. Is 9 a factor of t(14)?
True
Let q(y) = -12*y - 18 - 7*y**2 - y**3 - 3 + 3. Does 22 divide q(-7)?
True
Suppose -4*v + v = -1578. Is 20 a factor of v?
False
Suppose 89 = 10*i - 11. Let y(m) = m**3 - 8*m**2 - 21*m + 22. Is 6 a factor of y(i)?
True
Let m = -155 + 182. Is 9 a factor of m?
True
Let c be 24/(-30) + (-18)/(-10). Suppose c = 3*b - 20. Is b even?
False
Let m be (-4)/(-30) - (-2)/(-15). Suppose t + m*t = -3*a, 2*a = 2*t + 40. Is (56/(-3))/(10/t) a multiple of 14?
True
Let s(t) = 3*t + 2. Suppose 2*k + 4 = g, 3*k + 9 - 3 = g. Let b be s(g). Suppose -b*a = -a - 88. Does 17 divide a?
False
Does 12 divide 20/12 + -4250*(-7)/42?
False
Let z(v) = -6*v**3 + 4*v**2 + 2*v - 2. Suppose -3*a + 17 = 5*q, 5*a + 4*q = a + 20. Suppose 3*g + 2*p = a*p, -4*g - p = 11. Is z(g) a multiple of 20?
False
Let h = 3078 + -1316. Does 6 divide h?
False
Suppose 421 = 5*o - 5*j - 604, 2*j - 202 = -o. Is 11 a factor of o?
False
Suppose -54 = o + o. Suppose 11*c - 14*c = 48. Let l = c - o. Is l a multiple of 6?
False
Is 4/6 - 2457/(-81) a multiple of 2?
False
Suppose 13*n + 831 = 5*z + 11*n, -3*n = 5*z - 816. Is 11 a factor of z?
True
Suppose 1568 = 4*c - 2*c. Suppose -u - 6*u = -c. Suppose -3*q - 4*h + u = 0, -3*q - 4*h + 176 = 2*q. Is 19 a factor of q?
False
Let h = -22 + 22. Suppose 2*g - 7*g + 3*f = -328, h = -g - 3*f + 80. Let y = g - 20. Is y a multiple of 10?
False
Let s(j) = 3031*j**2 - j - 1. Does 13 divide s(1)?
True
Let o = -193 + 459. Does 19 divide o?
True
Let y(g) = 18*g + 4. Suppose 7*w = 11*w - 32. Let k(p) = 6*p + 1. Let h(l) = w*k(l) - 3*y(l). Is 13 a factor of h(-5)?
True
Let o = 95 + -92. Suppose 0 = -2*c + c + 4. Suppose 15 = -o*b, 2*b - 77 - 33 = -c*i. Is 25 a factor of i?
False
Let g be (-1344)/(-70) + 1/(-5). Let d = g - 16. Suppose 0*h - d*h = -39. Is h a multiple of 13?
True
Suppose 3*g - 25 = -7. Let n(l) = -l**3 + 12*l**2 - 4*l - 1. Let u be n(g). Suppose -4*c - 15 = -u. Does 11 divide c?
True
Suppose -i - 4*i = -4*c - 75, -2*c - 3*i = 21. Does 17 divide c/9 + (-2320)/(-15)?
True
Suppose -153 = -12*y + 3*y. Does 14 divide y?
False
Let i(o) = -1. Let p(u) = 7*u + 1. Let v(n) = -3*i(n) + p(n). Is v(1) a multiple of 2?
False
Suppose 3*m = 5*m - 1140. Does 30 divide m?
True
Suppose -4*l + 567 = r, -40 = 5*l - 4*r - 733. Is 29 a factor of l?
False
Suppose -17 = -7*t + 18. Suppose -x + z + 15 = 3, t*z = -3*x + 20. Is x a multiple of 3?
False
Let p = -256 + 448. Is 8 a factor of p?
True
Let d(q) = q**3 - 13*q**2 - 2. Let w be d(13). Is (-68)/(-10)*(-10)/w a multiple of 11?
False
Let f = -35 - -49. Suppose -15*q + f*q + 65 = 0. Suppose -q = -h - 3*j, -4*h + 5*j + 292 = j. Is h a multiple of 22?
False
Let v be (-2)/((-26)/22 - -1). Let r(m) = 4 - 7*m + 0 + 2*m**2 - v. Is r(-5) a multiple of 26?
True
Suppose 6*g - 100 = 140. Suppose 18*l = 14*l + g. Is 10 a factor of l?
True
Suppose -12*g = -7*g + 845. Let p = -104 - g. Does 13 divide p?
True
Suppose 2*q - 75 = -u + 627, 5*u - 1053 = -3*q. Does 6 divide q?
False
Let m be 1/((-2)/(-42)*3). Does 10 divide 0 - -19 - (-8 + m)?
True
Suppose 837 = -5*d - 4*a, 2*a + 376 = -4*d - 290. Let t = 73 - d. Is 25 a factor of t?
False
Let i be 3*((-24)/42 + 304/42). Suppose -203 - 252 = -5*s - 3*b, -4*b + i = 0. Is s a multiple of 18?
False
Is 9 a factor of -12 - -13 - (1 + -250)?
False
Suppose 2*j = 3*j - 199. Suppose c - 66 = 5*z, -4*c + 4*z + j = -65. Is c a multiple of 22?
True
Let p(n) = -11*n**2 - 1. Let c be p(-1). Let f = -12 - c. Suppose f = -4*k + 147 - 11. Is k a multiple of 17?
True
Let t(j) = -10*j**2 - 4*j - 1. Let k(z) = z. Let n(w) = -5*k(w) - t(w). Suppose -f + 10 = 4*f. Does 14 divide n(f)?
False
Let q be 3*2/(-3) - 6. Let t be (32/q)/(1/(-4)). Suppose 2*b - t - 28 = 0. Does 15 divide b?
False
Suppose -y + 0*y + 4*s = -900, y + 4*s - 900 = 0. Suppose -8*f = -12*f + y. Does 21 divide f?
False
Suppose -6*y + 3 = o - y, -2*o = 4*y - 6. Suppose n = o*n + 6, -3*k + 39 = -4*n. Is 3 a factor of k?
True
Is (-4 - -2) + 29 + (-57 - -52) a multiple of 22?
True
Let w(g) = g**2 - 13*g + 1. Let o(c) = -c**3 + c + 13. Let b be o(0). Let h be w(b). Is ((-28)/5)/(h/(-15)) a multiple of 14?
True
Suppose 0 = -2*m - 2*b + 8, 5*m + b = -0*m + 24. Is 42 a factor of (-1 + (-85)/(-1))/(2/m)?
True
Let b(u) = -6*u**3 + 8*u**2 - 9*u - 17. Is 78 a factor of b(-7)?
True
Suppose 0*y = 4*y - 20. Suppose 0*i + y*i = w + 484, 0 = -5*w + 5. Is 11 a factor of i?
False
Suppose 5499 = 17*r - 910. Does 18 divide r?
False
Suppose 0 = -94*s + 74*s + 12040. Is s a multiple of 14?
True
Let z(p) = 6*p**2 + 4*p + 6. Let t be (-3 + -2)/(-3 - (4 - 8)). Is 17 a factor of z(t)?
True
Let x(j) = 3*