pose 3*l = -35 + 44. Suppose 4*c - 110 = l*c. Does 10 divide c?
True
Suppose 4*y - 9090 = -2*n, -5*y + 9110 = -y - 2*n. Does 16 divide y?
False
Suppose -2*r + x = -207, -r - 66 = 4*x - 174. Is 52 a factor of r?
True
Suppose -4*f + 2*w = 7*w - 1415, -2*f + w + 697 = 0. Does 10 divide f?
True
Suppose 4*i - 2030 = -2*r, -4*r = 2*i - 1942 - 2148. Is r a multiple of 41?
True
Let u(w) = -w**3 + w + 628. Let s be u(0). Suppose -7*r - 138 = -s. Is r a multiple of 12?
False
Let l be 1/2*(14 + -2). Let k(c) = 3 + 2*c - 6 - l + 4*c**2 + 2. Is 13 a factor of k(-5)?
False
Suppose -25*b + 47293 = -20557. Is b a multiple of 23?
True
Let y = -148 + 82. Let q = -53 - y. Is 3 a factor of q?
False
Let y(q) = q**3 - 10*q**2 + 10*q - 12. Let z be y(8). Let n = -36 - z. Is n a multiple of 8?
True
Suppose 4 = -10*m + 9*m. Let d be 6/m*(-28)/42. Let f(s) = 23*s**2 + 3*s - 2. Is f(d) a multiple of 5?
False
Let b(f) = 2*f**2 + 14*f - 2. Let u be b(-11). Let c = u + -60. Is 13 a factor of c?
True
Let f(l) = -3*l**3 - 5*l**2 + 5*l + 4. Let r(i) = 2*i**3 + 4*i**2 - 4*i - 3. Let x(b) = -5*f(b) - 6*r(b). Is 18 a factor of x(3)?
False
Let x be 350/45 + 2/9. Let v(b) = -3*b - 16. Let m(o) = 2*o + 11. Let d(j) = x*m(j) + 5*v(j). Does 9 divide d(9)?
False
Let t be 57 - -1*(0 - -1). Let k(a) = -a**2 - a + 93. Let q be k(-10). Suppose -q*l + 43 = b, 3*l + b = 3*b + t. Does 3 divide l?
False
Let c(u) = u**2 + 4*u + 1. Let r = 23 + -20. Suppose -r*b = 0, -2*b = -3*p + 17 - 8. Does 22 divide c(p)?
True
Suppose -13 = 2*c - 9. Is (-39)/c + (-24)/(-48) a multiple of 20?
True
Suppose 3*q = -3*a, -q + 18 = -3*a + 2. Suppose q*p = 2*d - 274, 0 = -5*d + p + 3*p + 697. Is 46 a factor of d?
False
Suppose 0 = r - 3 - 22. Suppose -7*h = 8*h - 75. Suppose -2*g + r = 3*m - 6*g, h*m = 5*g + 50. Is 6 a factor of m?
False
Let k = -19 - -23. Suppose -k*p = 4*w - 476, -96 = -p + 5*w + 5. Is p a multiple of 29?
True
Let v = 2299 + -231. Does 23 divide v?
False
Suppose 280 = -2*p + 4*p + 5*l, 0 = 5*p + l - 746. Suppose 4*s + p = 5*a, -2*s + 90 = 3*a - s. Is a a multiple of 10?
True
Suppose 0 = -28*a - 10*a + 3648. Is a a multiple of 3?
True
Let f be 16/(-20) - (-29)/5. Suppose -f*m + 235 = 70. Is 8 a factor of m?
False
Suppose 19 = o - 5*f, -3*o + 2*o + 10 = 4*f. Suppose o = 5*s - 1. Let x = 8 - s. Does 2 divide x?
False
Suppose 5*h = -3*o + 1373, 2*h - 3621 = -5*o - 1320. Is 11 a factor of o?
False
Let d(a) = -a**2 + 21*a + 20. Let n(q) = -q**2 - 9*q - 5. Let u be n(-4). Does 11 divide d(u)?
True
Let f = 353 - 269. Is f a multiple of 14?
True
Suppose 5*i + 3*p - 59 - 48 = 0, -4*p = 4. Suppose 18*r + 128 = i*r. Is 8 a factor of r?
True
Suppose -w - 2*c - 2 = -0, 5*w + 2 = -2*c. Suppose -5*k - 362 + 1172 = w. Suppose 5*d = 7*d - k. Does 23 divide d?
False
Suppose 367 = 2*k - 135. Is 24 a factor of k?
False
Suppose -q + 5*f - 43 = -466, -f = -3*q + 1255. Is q a multiple of 26?
False
Let d be (18 + -1)/(4/56*-1). Let a = d + 368. Does 26 divide a?
True
Suppose 3 + 3 = m. Suppose -w + 13 = -m. Does 3 divide w?
False
Suppose 3*c + 11 - 5 = 0. Is 6 a factor of 240/4 - (4 + 4)/c?
False
Suppose -5*j + 21 = 11. Suppose 46 + j = y. Is 25 a factor of y/(-36) + 313/3?
False
Let p = 14947 - 10074. Is p a multiple of 24?
False
Suppose 0 = -5*c - 25, -5*c - 30 = 3*i - 4*i. Suppose 4*n + 16 = 0, 5*p + 2*n - i - 2 = 0. Suppose -p*k + 30 = -108. Is 11 a factor of k?
False
Let u be -3 + 2 + 1 + 3. Let h be (-30)/(-20)*26/u. Does 12 divide (h - -3)/(2/3)?
True
Let o = 215 + -66. Does 4 divide o?
False
Let g(i) = -44*i + 4226. Is 53 a factor of g(0)?
False
Does 47 divide (-82108)/(-32) + 7/56?
False
Suppose 3*s = 2*q - 13, s - 2*q + 1 = -6. Does 5 divide (14 - 22)*(s + 0)?
False
Let w(h) = -6*h + 552. Does 8 divide w(48)?
True
Let t(r) be the third derivative of r**4/24 + 3*r**3/2 + 2*r**2. Suppose -4*l - 8 = 4*n + 12, 2*n = 0. Is t(l) a multiple of 2?
True
Suppose 2*u + 15*u = 5950. Is u a multiple of 35?
True
Let a = -12 - -108. Is 6 a factor of a?
True
Suppose -4*b - 1912 = -v, -23*v - b - 9503 = -28*v. Is v a multiple of 19?
True
Let q(o) = -2*o. Let z be q(3). Suppose 0 = g - 2*u - 54, 2*g + 2*g + 4*u - 180 = 0. Let s = z + g. Does 12 divide s?
False
Suppose -3*y = 2*x - 2401, x + 1697 = 2*y + 108. Is y a multiple of 8?
False
Does 12 divide (-17 + 3)/14*-911?
False
Let r(c) be the second derivative of -7*c**3/6 - 22*c**2 + 19*c. Is 5 a factor of r(-7)?
True
Suppose -3*d - 22*d = -37675. Is 47 a factor of d?
False
Suppose 3*c - 8 = 4*i, 4*c + 6 = -2*i - i. Suppose -q + 5*q - 12 = c. Suppose -5*h = -b - 316, 0*h = -2*h + q*b + 129. Is 21 a factor of h?
True
Suppose -3*o - 1828 = -3*c - 4*o, 0 = -2*c + 3*o + 1204. Is c a multiple of 32?
True
Let a be ((-2)/6)/(10/210). Let s(n) = 2*n**2 + 3*n + 3. Is 20 a factor of s(a)?
True
Let q = 750 - 527. Suppose 4*h - q = u, -3*h + 6*h - 162 = -u. Is 5 a factor of h?
True
Suppose 44 = -32*h + 33*h. Suppose -3*o + 5*o = h. Is 7 a factor of o?
False
Let l(t) = -2*t**3 - 6*t**2 + 10*t + 15. Let b be l(-5). Let v = 8 - 8. Suppose v = y - 4 + 2, -y = n - b. Is 21 a factor of n?
True
Suppose 0 = -m + 6*m - 20. Suppose 3*p = -4*j + 269, m*p + j = 2*j + 346. Is p a multiple of 29?
True
Suppose 2*q = 3*y + 4, 5*q = 2*y - 3*y + 27. Suppose 2*v - 8 = 0, -q*f - 5*v + 71 = -139. Is 8 a factor of f?
False
Let i be (-6 - -3)*(-4)/6. Suppose -19 + 222 = 7*g. Suppose -2*x = p - 17, 5*p = -i*x - 0*p + g. Is x a multiple of 4?
False
Let x(p) = -p + 3. Let f be x(0). Suppose f*r - 5*b - 166 = 0, -5*b + 83 = -4*r + 301. Is 9 a factor of r?
False
Let p(k) = -k**2 - 2*k + 1. Let a be p(-3). Is 18 + (-1 + a - -4) even?
False
Suppose 0 = 8*l - 9481 - 9423. Does 14 divide l?
False
Is (-105)/(-9)*(-13560)/(-100) a multiple of 15?
False
Is 5 a factor of (-174)/(-3) - (11 - (-1 - -7))?
False
Suppose -5*w = -3*v + 7, w - 3 = -3*v + 10. Let u(d) = 3*d**2 - 1. Let a be u(-1). Suppose 2*x - a*z = 14, z - 2*z = -v*x + 28. Does 3 divide x?
False
Let m(b) = b**2 + 2*b + 33. Let t(g) = 2*g + 32. Let j(s) = -2*m(s) + 3*t(s). Let y be j(-9). Does 8 divide 2/(-4) - y/4?
False
Suppose 0 = 5*v - b - 625, 210*b - 209*b = 5. Is v a multiple of 9?
True
Suppose -3*q + v - 333 = -0*v, 2*v = -2*q - 214. Is 11 a factor of 10/(-4)*q/5?
True
Let d = 47 - 15. Is 3 a factor of d?
False
Suppose 8*b = -b - 126. Suppose -5*z = 3*c + 43, -2*z - 20 = 4*c - 0. Let g = z - b. Does 3 divide g?
True
Suppose 4*b + c - 4 = -21, -3*c = 15. Let y be b/((-939)/(-237) + -4). Let f = y - 56. Is 13 a factor of f?
False
Suppose 1478 = 8*m - 5746. Is 9 a factor of m?
False
Let q be (2 - (2 + -2))/((-2)/1). Let i = 136 + q. Is i a multiple of 15?
True
Let i(d) = d**3 - 5*d**2 - 2*d - 22. Let w be i(6). Let o = 3 - -5. Suppose w*k + o = 0, 0*k = -2*v + k + 68. Is v a multiple of 21?
False
Suppose 3*z + 4*w - 7 = -26, z + 17 = 4*w. Let o = z - -17. Let g = -6 + o. Is g even?
True
Let p = 21 + -9. Is (12/45*p)/((-1)/(-25)) a multiple of 8?
True
Let d(a) be the second derivative of a**3/2 - a**2 - 7*a. Let c be d(2). Suppose -c*z + 3*t + 200 = -0*t, 5*t = 0. Is z a multiple of 25?
True
Suppose -2*v = 13 - 205. Let u be 2/(-7) - v/(-42). Is 15 a factor of 75/u + 1/2?
False
Suppose -3*q + 1 = -17. Suppose -l + q*l = 160. Suppose -4*c + l = -0*c. Is c a multiple of 8?
True
Suppose -4*k = -l - 0*l - 812, -4*k + 5*l = -812. Does 24 divide k?
False
Let l(y) = 4*y**3 - y**2 - 2*y - 6. Let t be l(-2). Let o = 138 + t. Is o a multiple of 10?
True
Let w(g) be the first derivative of 2*g**2 + 2/3*g**3 - 3 + g. Does 10 divide w(3)?
False
Let x = -145 - -203. Suppose 53*t + 460 = x*t. Does 46 divide t?
True
Let z = -418 - -1282. Is z a multiple of 23?
False
Let q(z) = z**3 - 6*z**2 + 8*z. Let v be q(4). Let i(u) = -2*u**2 + u + 54. Is i(v) a multiple of 11?
False
Suppose 8*k - 10 = 10*k. Let q(f) = -40*f + 20. Does 55 divide q(k)?
True
Let l(b) = b**3 + 8*b**2 - b + 10. Let r(i) = -2*i**3 - 15*i**2 + 3*i - 21. Let n(a) = 5*l(a) + 2*r(a). Let h be n(-10). Is 16 a factor of (-2)/(h/32*1)?
True
Let k be ((-6)/(-2))/(1/10). Suppose z + 4 = k. Does 13 divide z?
True
Let p = 33 + 110. Let f = 175 - p. Is f a multiple of 8?
True
Let j = 20 - 21. Let s be j/(-2) - 745/10. Let p = -30 - s. Is p a multiple of 11?
True
Let s(x) = 206*x**3 + 36*x**2 + 8*x. Let v(z) = -69*z**3