*t - 7*t + u - y = 0. Let q(o) = 67*o**2 - o - 1. Does 26 divide q(t)?
False
Let n = 84 - 48. Let c = -31 + n. Suppose -35 = -2*z + 3*g, c*g - 26 = -4*z + 11. Is 4 a factor of z?
False
Suppose 12 = 4*x - 0*x + h, -5*h = 0. Suppose -5*k - s + 580 = 0, -x*k + s - 11 = -359. Is 26 a factor of k?
False
Let u be (4/6 - -2) + (-1)/(-3). Suppose u*p + 5*a - 69 = 0, 4*p - 5*a = -0*p + 127. Does 18 divide p?
False
Suppose -5*s + 6 = -2*s. Suppose s*g + 3*g + 205 = 0. Is 10/(-8)*(1 + g) a multiple of 27?
False
Suppose -9 = -4*z - 1. Suppose 31 - 1 = z*f. Is f a multiple of 7?
False
Let n = -2 - -2. Suppose n = 2*u - 4*z - 26, 3*u + 3*z - 59 = -z. Let r = 27 - u. Is r a multiple of 3?
False
Let v(r) = -22*r + 25. Let l be v(1). Let n(o) = o + 21. Let c be n(0). Let t = c + l. Does 4 divide t?
True
Let p be (-269)/(-2) + (-2)/(-4). Suppose 0*w = 10*w + 930. Let l = w + p. Does 10 divide l?
False
Let y = 1414 + -211. Does 13 divide y?
False
Let l(u) be the third derivative of -u**4/6 - u**3/2 - 5*u**2. Is l(-10) a multiple of 20?
False
Suppose 455 = 7*k - 133. Does 4 divide k?
True
Let h be 9 + (1 - (4 - 0)). Suppose -m - 402 = -5*f, 250 = 3*f + h*m - 11*m. Does 40 divide f?
True
Suppose 0 = 31*x - 34*x - 2*i + 1077, -2*x = -2*i - 708. Does 51 divide x?
True
Let x be -2 - (-6 + 0)*-3. Let u = -24 - x. Is 19 a factor of 1 + 0 - (u - 14)?
True
Let p(a) = -2*a**3 + 62*a**2 - 41*a - 41. Is 11 a factor of p(30)?
False
Let v = -772 + 1287. Is 8 a factor of v?
False
Let y(q) = q + 11. Let r be y(-7). Suppose 4*m - 3*w - 11 + 3 = 0, 5*m - 10 = -r*w. Suppose 0*h + 3*h = -p + 13, -m*p + 59 = -5*h. Does 10 divide p?
False
Let x(b) = -b**3 - 9*b**2 + b - 2. Let i be x(-10). Let p = -67 + i. Is p even?
False
Suppose -124 = -5*i + 896. Is i a multiple of 67?
False
Suppose 5*n = -n + 3012. Is 16 a factor of n?
False
Let i = -69 + 44. Is 18 a factor of 627/5 + (-15)/i?
True
Let c(x) = x - 2. Let z be c(13). Let f(y) = y**2 - 6*y - 5. Does 15 divide f(z)?
False
Let r(f) = 17*f + 6 - 9*f - 10*f + 20. Is r(8) a multiple of 5?
True
Does 15 divide (-7 - 15706/(-14))*(-21)/(-6)?
False
Suppose -621 - 354 = -15*p. Is p a multiple of 4?
False
Let u = -350 - -950. Is 40 a factor of u?
True
Suppose 5*x + 45 = n, 2*n + 3*n = 0. Let y be (4/1)/((-12)/x). Suppose -160 = -5*k + y*q, 3*k - 4*k + 3*q = -32. Does 16 divide k?
True
Suppose -5*f + 2*q - 4*q - 4 = 0, -q = -3. Is f + -1 - (-1 + -12) a multiple of 2?
True
Let o be 42 - (3 + (-5 - 1)). Suppose m = 31 + o. Suppose 5*u = 4*v + 148, -3*u + 4*v = -5*u + m. Is 23 a factor of u?
False
Suppose 0 = -3*t - 3*t + 2808. Suppose -13*r = -4*r - t. Is r a multiple of 13?
True
Does 35 divide (1/(-3))/((-2)/(-18)) + 69?
False
Let y = 91 - -67. Suppose -2*j + y + 82 = 0. Does 10 divide j?
True
Let y(j) = j**3 + 19*j**2 - 27*j - 48. Let g(r) = 3*r**3 + 58*r**2 - 82*r - 144. Let f(b) = 3*g(b) - 8*y(b). Does 7 divide f(-23)?
False
Let h(n) = n**3 - 10*n**2 + 9*n + 11. Let d be h(8). Let f = d + 100. Is f a multiple of 11?
True
Let m(s) = -2*s - 15. Let b be m(11). Let x = 147 + b. Suppose 0 = -c + 5*k + 17, -6*c - k = -2*c - x. Does 7 divide c?
False
Let z be (30/(-10) - 1*61) + -2. Let i = z - -156. Is i a multiple of 6?
True
Let s = -252 + 408. Is 5 a factor of s?
False
Let w = -643 + 808. Let i = 156 - -199. Suppose -w - i = -5*d. Does 13 divide d?
True
Suppose -46 = b - 74. Let l = b - 8. Does 8 divide l?
False
Suppose -17*t = -35*t + 29664. Is 12 a factor of t?
False
Let z be -14*((0 - 5) + 1). Let v = 155 - 151. Suppose 0*g - z = -v*g. Is 7 a factor of g?
True
Let c(o) be the first derivative of 4*o**2 + 44*o - 25. Is c(6) a multiple of 23?
True
Suppose k - 5*o - 747 = 0, -115*o - 2205 = -3*k - 118*o. Is k a multiple of 4?
False
Suppose 13*w = -3*w + 208. Suppose 36 + 1537 = w*y. Is 5 a factor of y?
False
Let p = 5064 + -2531. Is 36 a factor of p?
False
Suppose -4*j - 8 = -64. Let n be 2/(-4) - j/(-4). Suppose -n*x = -3*r - 10 + 40, -2*r = 5*x - 27. Does 4 divide r?
False
Suppose 35*a - 122906 - 20769 = 0. Is a a multiple of 49?
False
Let w = 38 - 18. Suppose 4*g + w = 0, 0 = 3*s - 2*s + 4*g - 46. Is s a multiple of 4?
False
Let a = -460 - -909. Let n = 24 + -19. Suppose z + n*f - 133 = 0, -a = -5*z + f + 86. Is 16 a factor of z?
False
Let x = -13 - -24. Let g = 11 - x. Suppose 2*o - 7*o - 25 = g, -5*o + 127 = 2*a. Is a a multiple of 19?
True
Let v(z) = z**2 + 14*z + 17. Suppose x + n - 14 = 0, n = x - n - 5. Suppose -k - 5 - x = 0. Is 23 a factor of v(k)?
False
Let h(o) = -o**2 - o + 1. Let n(x) = 114*x**2 - 5*x + 7. Let c(p) = -6*h(p) + n(p). Is 18 a factor of c(1)?
False
Suppose -2 = -k - 4*s, -3*k + 3*s - s - 22 = 0. Let v(g) = g**2 + 4*g - 6. Let h be v(k). Suppose 5*w - 141 = -h. Is 15 a factor of w?
False
Let d(s) = -11*s**3 - s**2 - s - 1. Let z be d(-1). Let x(m) = 22*m - 58. Let i be x(4). Suppose 5*n - i = -z*y + 5*y, -4*y + 9 = n. Is n a multiple of 5?
True
Suppose 0 = 29*m - 36*m + 693. Is m even?
False
Let x be (2 + -3)*1 + 1. Let r(d) = 6*d + x*d**2 + 16 + 7*d**2 - 14. Is 12 a factor of r(-2)?
False
Is -53 - -58 - (1 + -549) a multiple of 79?
True
Let h = -1198 + 2098. Is h a multiple of 50?
True
Let h = 51 - 28. Suppose -23 - h = -i. Is 23 a factor of i?
True
Suppose 0 = a + 90 - 79. Let o(u) = -8*u + 76. Does 15 divide o(a)?
False
Suppose -m + 4064 = 5*d, -4*d + 2836 = -5*m - 392. Is 14 a factor of d?
True
Let y = -216 + 596. Is 10 a factor of y?
True
Suppose -3*g + 0*w = 2*w - 922, -608 = -2*g - 3*w. Let m = -184 + g. Does 12 divide m?
False
Suppose 0 = 45*c - c - 24244. Does 9 divide c?
False
Let v(p) = -8*p**2 + 3*p**2 + 2*p**2 + 7 - p + 2*p**2. Let z be v(0). Suppose -z*y + 200 = -2*y. Is y a multiple of 12?
False
Suppose -5*b + 182 = -3*b + 2*y, 2*y = -4*b + 374. Is b a multiple of 12?
True
Let f be (-4 + 3 + 0)/(2/(-412)). Let g = -106 + f. Does 20 divide g?
True
Let r be (-6)/9 - 2/(-3). Suppose r*f = 2*f - 10. Suppose f*t - 4*t = 35. Is 16 a factor of t?
False
Suppose -3*w + 555 = -5*p, 2*w - w = -p + 177. Suppose 0 = 14*c - 2*c - w. Is 5 a factor of c?
True
Does 5 divide 2/(28/126 + 950/(-4356))?
False
Let y(t) = 12 - 3*t**3 + 11*t**2 + 2*t**3 - 26*t**2 - 5*t. Let u be y(-16). Suppose 3*v = -v + u. Does 29 divide v?
True
Let i be (-62)/(-10) + 1/(-5). Suppose 0 = 2*p + 3*x - 19, i*p - 3*x = 2*p - 7. Suppose 2*k + k = 2*n + p, 5*n = k + 8. Does 2 divide k?
True
Suppose 0 = -15*s + 16*s - 6. Suppose 8*d - 3*d = -2*g + 599, 5*d - 608 = g. Suppose -s*v + d + 149 = 0. Does 17 divide v?
False
Is 54 a factor of -1 + 10 - -693 - (4 - -2)?
False
Let g(b) = -10*b + 3. Let s(w) = w**3 - 5*w**2 - 8*w + 9. Let h = 15 - 9. Let m be s(h). Is 11 a factor of g(m)?
True
Suppose -5*l = -5*x + 2*x + 3784, -5*l = 2*x - 2481. Is 56 a factor of x?
False
Suppose -26350 = 540*g - 550*g. Is g a multiple of 17?
True
Let q(x) = 8*x + 6. Let t(o) = -32*o - 23. Let z(v) = -9*q(v) - 2*t(v). Is 8 a factor of z(-8)?
True
Let v(n) = -58*n + 76. Does 9 divide v(-5)?
False
Let b(u) = 14*u**2 + 4. Is 5 a factor of b(-3)?
True
Let f(c) = -c**3 - 25*c**2 + 53*c - 23. Let t be f(-27). Suppose -t*j + 87 = -5. Does 23 divide j?
True
Let o = -34 - -26. Let z(g) = -5*g. Is 10 a factor of z(o)?
True
Let f(s) = s**3 + 10*s**2 - 27*s - 67. Is f(-11) a multiple of 19?
False
Let s(z) = 36*z**2 + 20*z + 218. Does 119 divide s(-10)?
False
Suppose 2*i + s - 4 + 14 = 0, 5*s + 2 = -2*i. Let x = 31 + -57. Let t = i - x. Is t a multiple of 20?
True
Suppose -38*m + 32736 = -7468. Is m a multiple of 23?
True
Let o(n) = n**2 - n - 6. Let t = 54 + -46. Is o(t) a multiple of 25?
True
Suppose -3*y - g = -1179, -5*y + 1073 + 892 = 2*g. Is 7 a factor of y?
False
Suppose -2732 - 1524 = -7*l. Suppose -v = 0, -4*o + 44 = -2*v - l. Does 10 divide o?
False
Let y(b) = b**2 + 11*b - 8. Let c be y(-11). Let g(h) = -h + 13. Is 21 a factor of g(c)?
True
Suppose 11*o = 18*o - 17136. Does 16 divide o?
True
Is 2/(-7) - 43*69/(-21) a multiple of 5?
False
Let q = 615 - 421. Does 30 divide q?
False
Let k(v) = -v**3 + 7*v**2 + 11*v - 8. Let y be k(7). Let l be y/15 - (-6)/15. Let p = 4 + l. Is p even?
False
Let h be 3/(-6) + 7/(-2). Let i be (h - -1)*(-305)/15. Let n = i - 37. Is 8 a factor of n?
True
Let i = 1090 - 1018. Does 6 divide i?
True
Suppose q + 12 = -z - 166, 0 = 5*z - 3*q + 850. 