 - 171, -4*p + 2782 = 3*n. Does 41 divide p?
True
Suppose -3151 = -5*t - o, 0*t - 4*t + 5*o = -2515. Is 19 a factor of t?
False
Suppose 13*r - 7235 - 4712 = 0. Is 72 a factor of r?
False
Let u be 385/10 + 2/4. Suppose -u = z - 185. Suppose 0 = 3*x - 5*o - z, -o - 50 = -4*x + 3*x. Does 11 divide x?
False
Let w(x) be the second derivative of x + 1/2*x**3 - x**2 - 1/4*x**4 - 1/20*x**5 + 0. Is w(-5) a multiple of 10?
False
Let j(v) = v**3 - 6*v**2 + v + 22. Is j(9) a multiple of 9?
False
Let b be 2 + 7/(21/6). Suppose 2*c + 4*a - 8 - b = 0, -c - 5*a = -6. Is c a multiple of 6?
True
Suppose 0 = -5*x + 6*x - 34. Let i = 2 + 2. Suppose 0 = -r + i*j + j + x, -j = 3*r - 54. Is 19 a factor of r?
True
Suppose 3*j + 6 = 0, 3*y + 0*y = 4*j + 581. Suppose -4*g = -209 - y. Is g a multiple of 30?
False
Let u(j) = j**2 - j - 5. Suppose -5*z - 55 = 5*o, -2*z + 7*z + 3*o + 63 = 0. Let x be 2/8 + z/(-4). Does 3 divide u(x)?
False
Let z(q) = -q + 7*q + 0*q - q**2 - 1 - 2. Let t be z(5). Suppose 4*u - u + r - 36 = 0, t*r = -4*u + 46. Is 6 a factor of u?
False
Let l = 169 - 68. Suppose -2*q + l = -15. Is q a multiple of 10?
False
Let s(q) = -4*q**3 + 7*q**2 + 55*q + 36. Is s(-9) a multiple of 18?
True
Suppose -t = p - 544, 0*p = 3*p + 5*t - 1640. Suppose 0*f - 9*f = -p. Does 10 divide f?
True
Suppose -40080 = -31*z + 17239. Does 40 divide z?
False
Let v(l) = 10. Let p(c) = -c + 29. Let n(u) = 6*p(u) - 21*v(u). Does 7 divide n(-16)?
False
Suppose 17 = 4*i + 1. Suppose i*p - 2*p = -t + 50, p = -4*t + 11. Suppose 4*w + p = 4*a - a, -5*a = -4*w - 53. Does 13 divide a?
True
Suppose -n + 2*f + 19 = 2*n, 0 = 4*n + 2*f - 2. Let z = n + 0. Suppose -z*l + l = -52. Is 9 a factor of l?
False
Let g = -16 - -60. Suppose 0 = -v + 1, v + g = 2*a - v. Does 23 divide a?
True
Let t be 43 + -2 + (3 - 3). Let z = t + 10. Is z a multiple of 25?
False
Suppose 0*y + 2*r + 1183 = 3*y, 0 = -3*y + 5*r + 1171. Is 11 a factor of y?
False
Suppose 14*q = 21*q - 42. Let o(g) = g**2 - 6*g - 5. Let t be o(7). Suppose -t*m - 3*u - q = 0, m = 3*u - 6 + 21. Does 2 divide m?
False
Suppose 3*y = 4*x - 11, -4*x + y + 11 = x. Suppose 3*v - x*z = 125, 15 + 28 = v - z. Suppose g + 2*g - v = 0. Does 13 divide g?
True
Let y = 719 + -652. Is y a multiple of 2?
False
Let d = 764 + -356. Is 31 a factor of d?
False
Suppose 4*x + 4*k - 8 = 0, 0*x - 8 = -x - 3*k. Let p(f) = f + 28. Let l be p(-6). Does 9 divide (-165)/l*(x - 1)?
False
Suppose 2*d + d = 6. Let x(u) = d + 1 + 22*u - 7*u. Does 32 divide x(4)?
False
Let c = 13 - 21. Let y = c - -11. Does 5 divide 2 - (-1 + -8 + y)?
False
Suppose 10*g - 2*g - 616 = 0. Is 3 a factor of g?
False
Let g be -12 + (-1)/(-1 - 0). Is 3 a factor of 505/55 - (-2)/g?
True
Let w(o) = -o**2 - 44*o - 13. Is w(-35) a multiple of 14?
False
Suppose -231*o = -235*o + 604. Does 4 divide o?
False
Let w(y) = y - 3. Let i be w(5). Suppose i*b + 11 = b + 5*q, -b = -4*q + 9. Is ((-6)/(-2))/b + 14 a multiple of 4?
False
Does 7 divide (6 + (-6 - -25))*114/15?
False
Let s(d) = -36*d + 187. Is 10 a factor of s(-7)?
False
Let p = 212 + 109. Is 3 a factor of p?
True
Let o = -56 - -104. Suppose 3*a - o = -a. Is 6 a factor of a?
True
Suppose -2744 = -57*g + 50*g. Is 56 a factor of g?
True
Let o be (12/(-9))/(-2)*-3. Let h(p) = -3*p - 1. Let j be h(o). Suppose -j*l + 48 = -37. Is 5 a factor of l?
False
Let x(i) = -24*i + 2. Let n be x(2). Is n/(-3) - (-2)/(-6) a multiple of 15?
True
Let v be -10*(12/8 + -2). Suppose 0*k - 3*f = -2*k - 12, -30 = v*k + 4*f. Does 11 divide 8/1 - (k - -3)?
True
Suppose 0 = -34*q - 13573 + 50225. Does 77 divide q?
True
Suppose -11*c - 12 = -5*c. Is (-70)/21*15*1/c a multiple of 3?
False
Let f = -41 - 19. Let g = 7 - f. Let b = g - 17. Is 25 a factor of b?
True
Suppose -b + 0 = -2. Suppose b*r + r = -24. Is r/3*243/(-18) a multiple of 12?
True
Let i(q) = -119*q + 31. Does 16 divide i(-1)?
False
Let m(o) = 3*o + 5. Let x(w) = -w**3 - 5*w**2 + 6*w. Let c be x(-6). Suppose l + 0*l = 5*i - 31, i + 5*l - 1 = c. Is 8 a factor of m(i)?
False
Suppose 5*i - 9*i + 20 = 0. Suppose i*v - 240 = -v. Does 8 divide v?
True
Let m = -1732 + 1932. Is m a multiple of 50?
True
Let v(f) = 78*f - 15. Let x be v(8). Suppose 3*a - x = -3*g, -613 = -2*a - 4*g - 217. Does 13 divide a?
True
Let r(p) = 2*p + 5. Let m be r(-2). Suppose -m - 4 = -w + g, -5*g = -4*w + 21. Is w even?
True
Let d(v) = 3*v + 23. Let n be d(5). Let r = n - -22. Is 20 a factor of r?
True
Suppose -i = q - 4 - 1, 5*i = 2*q + 39. Let o be ((-38)/1)/1 + 0. Does 17 divide ((-14)/4)/i*o?
False
Let b = 296 + -165. Is 36 a factor of b?
False
Let j(n) = -3*n**3 - 2*n**2 + n + 1. Let c be 4 - (7 - 2)*2. Let p be (3 + 0)*4/c. Is 4 a factor of j(p)?
False
Let h(x) = -4*x + 116. Let z(d) = -d. Let w(o) = h(o) - 2*z(o). Is w(0) a multiple of 30?
False
Let o be 1*-4*(-2)/(-2). Does 28 divide 42/(-4 - 22/o)?
True
Let y = -34 - -34. Suppose 5*d - 5*l - 435 = 0, 5*d + 0*d - 4*l - 438 = y. Does 18 divide d?
True
Let i be -12*2/(9 - 3). Let q = 10 + i. Is ((-9)/q)/((-12)/352) a multiple of 11?
True
Let c(w) = 43*w**2 + 51*w + 215. Does 6 divide c(-4)?
False
Let u = 2022 - 1719. Does 18 divide u?
False
Let a be 4 + (-88)/20 + (-24)/(-10). Suppose 170 + 24 = a*n. Is n a multiple of 17?
False
Is ((-7)/28)/((-6)/28200) a multiple of 7?
False
Let d(l) = 3 + 33*l + 5 - 1 - 26. Is d(3) a multiple of 10?
True
Let c be ((-16)/(-10))/(2/(-45)). Let v = 1 - c. Does 3 divide v?
False
Let p(x) = 3*x**2 - 3*x + 1. Let f = 15 + -11. Does 9 divide p(f)?
False
Let b = 5843 + -3922. Does 58 divide b?
False
Let m(t) = 5*t**2 - 35*t + 6. Is m(-10) a multiple of 25?
False
Let h be (4 + 2 + -4)*3. Suppose 3 = -5*a + h*a. Suppose 2*q + a = 103. Does 19 divide q?
False
Suppose -181350 = -5*r - 25*r. Is r a multiple of 13?
True
Let a(w) = 45*w**2 + 6*w - 4. Does 4 divide a(3)?
False
Let q(x) = 2*x**2 + 9*x + 55. Is q(-6) even?
False
Is (-18 + -2)*(420/16)/(-7) a multiple of 2?
False
Let g be 2/4 + (-153)/34. Let m(s) = -2*s**2 + 2*s - 1. Let u be m(g). Let x = 9 - u. Is 25 a factor of x?
True
Let o(s) = -7*s + 18. Suppose -2*q - 21 = 4*b + 7, 4*q + 32 = -2*b. Does 24 divide o(q)?
False
Let s(l) = -141*l - 272. Is 22 a factor of s(-9)?
False
Suppose -356*p + 357*p = 18. Does 9 divide p?
True
Let l(q) = 3*q**2 + 62*q + 92. Does 18 divide l(-24)?
False
Suppose -17578 = -19*c - 3*c. Is 28 a factor of c?
False
Let l = 719 + 2845. Does 27 divide l?
True
Let g(c) = -c**3 + c**2 - c + 31. Let i be g(0). Suppose 4*y + 5*a = 40, 6*y + 4*a - i = 3*y. Suppose w = -2*w - 12, y*w = 5*s - 95. Is s a multiple of 5?
True
Let n(t) = -t**3 - t**2 + 440. Let y be n(0). Suppose 0 = 5*i + 2*p - 615 + 184, -5*i + y = 5*p. Does 5 divide i?
True
Suppose 4*r - 3 = 33. Let f = -3 - -1. Let m = f + r. Is m a multiple of 2?
False
Suppose 0 = -j - 3*j - 88. Let o = -40 - -95. Let q = o + j. Does 33 divide q?
True
Suppose 7*n - 1080 = 208. Does 8 divide n?
True
Suppose -j + 1675 = 5*w, 3*w = -3*j + 670 + 4367. Is j a multiple of 8?
True
Let n(z) = -5*z**3 - 15*z**2 + 4*z - 15. Let l(t) = 9*t**3 + 29*t**2 - 7*t + 29. Let u(m) = 4*l(m) + 7*n(m). Does 11 divide u(-11)?
True
Let m(w) = 3*w**2 - 7*w + 2. Let a be m(7). Suppose 4*k + 5*q - a = 0, 5*q + 0 = -5*k + 125. Is k a multiple of 25?
True
Let k be (-4 + 3)/(-2)*0. Suppose k = -3*h - 6*o + 10*o + 293, -2*h + o = -197. Is 11 a factor of h?
True
Suppose -4*w + 6*w = 58. Let n = 42 - w. Is n a multiple of 13?
True
Suppose 5*u - 127 = -407. Let q = u - -133. Is q/5 - (-10)/(-25) a multiple of 5?
True
Suppose 2*w + 24 = 10*w. Let h be (w + -12)*(0 - 7). Suppose 3*m - 6*m = -h. Does 7 divide m?
True
Suppose 3*j + 5*y = -16, j = -5*y - 35 + 13. Suppose -9 = -j*p - 0. Suppose 0 = -b - 2*w + 29, -p*w = -b + 1 + 3. Does 15 divide b?
False
Suppose 12*d = 7*d. Suppose 0 = -d*u - 2*u + 80. Suppose 2*f + 4*m - u = 0, -m + 5*m - 16 = 0. Is 10 a factor of f?
False
Let r = -30 - -33. Suppose -212 - 499 = -r*n. Is 26 a factor of n?
False
Suppose 6*g - 2*g + 4*r = 960, -3*g = -4*r - 734. Is 11 a factor of g?
True
Let t = -2734 + 2838. Does 2 divide t?
True
Let h(l) = -6*l + 35*l**3 + 11*l + 6 - 10*l. Does 46 divide h(2)?
True
Let c = -432 + 438. Is 6 a factor of c?
True
Let b(h) = -h**3 + 6*h**2 - 6*h - 15. Let a(s) = -3*s**3 + 13*s**2 - 13*s - 31. Let d(o) = 3*a(o) -