 - 2. Let u(q) = -7*o(q) + 6*s(q). Is 20 a factor of u(3)?
True
Suppose -19 = 4*s + 4*c + 9, 3*s - 5*c = 19. Is 2/8 - (s - (-426)/(-24)) a multiple of 3?
False
Suppose -9*d + 514 = -2726. Is 24 a factor of d?
True
Let k(c) = -2*c + 24. Suppose -3*i - 2*n - 11 = 0, -i - 3*i - n = 23. Is 19 a factor of k(i)?
True
Let c(f) = 5*f**3 + f**2 + f - 2. Let l be c(1). Suppose -10*a + l*a + 1000 = 0. Is a a multiple of 20?
True
Let a(u) = u**3 + 27*u**2 + 6*u + 20. Is a(-6) a multiple of 10?
True
Let x = -12 + 20. Suppose 0*d + 2*d = -x. Does 12 divide -7*(d + (-9)/3)?
False
Suppose -z + 1628 = 1247. Is z a multiple of 22?
False
Suppose 7*u = 5*t + 2*u + 75, -5*t + 3*u = 69. Let m(r) = -r**2 - 11*r + 30. Is m(t) a multiple of 6?
True
Suppose 4*i - 136 = -3*k + 5*k, 4*k - 2*i + 254 = 0. Let f = 67 + k. Is 4 a factor of f?
False
Let b = 569 - 344. Does 3 divide b?
True
Let n(y) = -y**3 - 4*y**2 + 9*y + 1. Suppose 3*x = -0*x - 18. Let c be n(x). Suppose c + 11 = 3*i. Does 6 divide i?
False
Let c = 6 - 4. Let z be c*-2*(-30)/(-20). Is (-3)/z - (-78)/4 a multiple of 10?
True
Let y(h) = 3 + 9*h + 6*h**2 - 8*h - 4. Let j be y(1). Is (-1208)/(-12) - 4/j a multiple of 20?
True
Let n = 3458 + -2124. Is n a multiple of 29?
True
Let b(s) = 5*s**3 - 8*s**2 + s + 14. Let p be b(6). Suppose m = -3*m + p. Does 18 divide m?
False
Let h(i) = 100*i**3 + 2*i**2 - 11*i - 13. Is h(3) a multiple of 17?
False
Let c(a) = -a**2 + 9*a - 10. Let i be c(7). Let u = 100 + -98. Suppose -k + 34 = -5*l, -i*k + u*l + 88 = -12. Does 8 divide k?
True
Let b(u) be the first derivative of -u**4/4 + 17*u**3/3 - 7*u**2 - 12*u + 2. Suppose y - 4 = 12. Is 20 a factor of b(y)?
True
Suppose -10*d + 11241 = -6099. Is d a multiple of 16?
False
Suppose -3*w - 4*i = 0, -17 = -5*w - i - 0. Suppose 8 - 4 = w*n. Does 17 divide n*3/(-3) - -22?
False
Suppose 360 = 247*i - 237*i. Is i a multiple of 9?
True
Is (-28700)/(-196) + 3*(-1)/7 a multiple of 8?
False
Suppose 0 = -4*g, -2*g + 27 = 2*j - 11. Suppose -96 = -4*f + 4*m, -2*m + 4*m + 2 = 0. Let a = f - j. Is 4 a factor of a?
True
Suppose 9*c + 149 + 40 = 0. Does 15 divide (-6)/21 - 1266/c?
True
Let m(u) = -6*u + 24. Let y(i) = i**3 + 3*i**2 - 3*i - 6. Let h be y(-4). Is m(h) a multiple of 14?
True
Let i = 1011 + -866. Does 9 divide i?
False
Let j = 17 + -16. Let s = 3 + j. Suppose 2*c + s*c - 42 = 0. Is c a multiple of 4?
False
Suppose -9*n + 8 = -13*n. Let d = n - -5. Suppose -i + 0*i = -d. Is i even?
False
Let g(z) = z**2 + 4*z - 1. Let q be g(-3). Let c be (q/(-4))/(1/129). Suppose -c + 39 = -3*p. Is 10 a factor of p?
True
Let z = 172 - 176. Let v(p) be the first derivative of -p**4/4 - 2*p**3/3 + p**2 - 3*p - 1. Does 21 divide v(z)?
True
Suppose 15*x = 386 + 784. Is x a multiple of 13?
True
Suppose -1434 - 342 = -4*m. Is m a multiple of 15?
False
Suppose 30*j + 294 = 3*f + 33*j, -2*f = 3*j - 199. Is f a multiple of 19?
True
Let y(w) = -5*w**2 - 4. Let v = -2 - -5. Let t be y(v). Is 14 a factor of 124/7 - 14/t?
False
Let q(w) = -w + 6. Let a be q(4). Suppose 4*u - 2*x = a*x + 32, 2*u - x - 16 = 0. Does 3 divide u?
False
Let y be (-12864)/(-54) + -1 + (-14)/(-18). Suppose 4*c - 322 - y = 0. Does 15 divide c?
False
Let w = -9 + 14. Let r(n) = n**3 - 9*n**2 - 24*n - 5. Let u be r(12). Suppose 3*h + w*c - 85 = c, -5*h - 4*c = -u. Is h a multiple of 9?
True
Let j(d) = 52*d - 12. Let g be j(10). Suppose 3*s - 5*a = 587 + 177, -g = -2*s + 3*a. Suppose 2*m = 6*m + 4*y - s, -5*m + 280 = -5*y. Does 26 divide m?
False
Let p = -29 - -32. Suppose 28 = p*d - 3*w + 5*w, -2*w - 22 = -2*d. Let f(m) = 7*m - 1. Is 18 a factor of f(d)?
False
Suppose 61 = q - 3*s - 354, 4*s = 4*q - 1620. Is q a multiple of 10?
True
Let c = -1 + 7. Suppose -b = 2*b - c. Suppose 0*r - r + s + 66 = 0, -b*s - 69 = -r. Is 21 a factor of r?
True
Let m(a) = 308*a + 4. Does 26 divide m(1)?
True
Let y(p) be the third derivative of 193*p**5/60 + 10*p**2. Is y(1) a multiple of 18?
False
Suppose -2*t - 81 = -247. Does 18 divide t?
False
Suppose 0 = 3*p + 4*p - 14. Suppose -n + p = -3, 234 = 4*g + 2*n. Is 28 a factor of g?
True
Let g be (-584)/(-36) - -2*(-1)/9. Does 19 divide 1622/8 + 4/g?
False
Let z(b) = 7*b - 7 + 0*b - 3*b. Suppose 9*c = 62 - 26. Does 2 divide z(c)?
False
Is 5*(1292/(-20))/(-1) a multiple of 17?
True
Let p(g) = -5 - 6 - 1 - 4*g + 5. Does 9 divide p(-4)?
True
Let q(y) = 2*y**2 + y + 10. Let c(j) = -j - 2. Let m be c(-5). Is q(m) a multiple of 5?
False
Suppose -7*t + 11*t = 4. Suppose -5*a + t = -204. Is a a multiple of 13?
False
Suppose 2*s + 671 + 742 = 3*a, 2*s + 944 = 2*a. Does 10 divide a?
False
Suppose -2*p - 7 = k, 4*p + 7 = -k - 2. Let f be (8/24)/(p/(-66)). Suppose -j + 14 - 6 = -d, 2*j - 4*d = f. Is j a multiple of 2?
False
Does 6 divide ((2 + 0)*2)/(16/24)?
True
Let y be (-2)/7 + 5/(-7). Is y/(-2)*-2*-23 a multiple of 5?
False
Suppose 0 = -4*q + 59 + 13. Let o(p) = -p + 20. Let g be o(q). Suppose g*w = -5*f - 2*w + 25, f = -3*w + 5. Is f a multiple of 3?
False
Let t be 12/16 - 11*(-4)/(-16). Does 6 divide -10*t/(-4)*-7?
False
Suppose n = 5*n + 4*g, 5*g = 3*n + 24. Let i(o) = 9*o**2 + 1. Let z be i(-1). Let c = z + n. Does 7 divide c?
True
Suppose 0 = 3*z - 12*z + 837. Is z even?
False
Let j(d) = -d**3 - 5*d**2 - 2*d - 4. Let k be 17/(-4) - (-21)/(-28). Let s be j(k). Suppose 0 = n - s - 3. Is n a multiple of 4?
False
Let q be (-15318)/(-33) + 3/66*-4. Let b = q + -328. Is b a multiple of 26?
False
Let n(z) = -z**2 - 12*z + 2. Let a be n(-12). Suppose -6*x + a*x + b + 9 = 0, 5*x + 2*b - 21 = 0. Suppose -x = v - 59. Does 14 divide v?
True
Let w = 282 + -168. Let u = w + -67. Is 6 a factor of u?
False
Suppose -4*u = -3 + 43. Let b = u - -12. Suppose -2 = -b*a + 16. Is a a multiple of 4?
False
Let k = -5056 + 10229. Is k a multiple of 25?
False
Let x = 592 - -285. Is 15 a factor of x?
False
Let o = 25 - 8. Let x = o + 21. Let b = x - 18. Is 10 a factor of b?
True
Suppose -6*p - 3849 = -4*c - 5*p, -15 = -5*p. Is 73 a factor of c?
False
Suppose -162 = -2*x + 4*y + 44, 2*x = -2*y + 218. Suppose 0 = -x*h + 104*h + 57. Does 4 divide h?
False
Suppose 23*t - 55319 = -19876. Does 23 divide t?
True
Suppose -5*v = d + 258, -3*v + 8*v + 266 = 3*d. Let h = 2 - v. Does 22 divide h?
False
Let i = 2065 + -1161. Is i a multiple of 25?
False
Let a = 713 - 443. Is a a multiple of 6?
True
Let y(o) = -12*o + 45. Let g(f) = f**2 - 22*f + 14. Let z be g(21). Is y(z) a multiple of 15?
False
Let t be 138 + (1 - 0)*(0 + 2). Suppose -2*u + 4*i = -t, -u - 7 = 2*i - 85. Is u a multiple of 21?
False
Let d = -435 - -633. Is 9 a factor of d?
True
Let s(m) = -m**3 + 4*m**2 - 7*m - 4. Let x(y) = y**3 - 3*y**2 + 8*y + 3. Let u(h) = 4*s(h) + 3*x(h). Let j = 14 - 9. Is 23 a factor of u(j)?
True
Suppose -6*c + 8*c = 14. Suppose -c*w + 168 = -5*w. Is w a multiple of 20?
False
Let i = 1821 + -313. Does 29 divide i?
True
Let d(r) = -r**3 + 13*r**2 + 42*r + 34. Is 55 a factor of d(15)?
False
Let k(w) = w**3 + 6*w**2 - 8*w. Let r be k(-7). Let p = r + 12. Let t = p + -4. Does 5 divide t?
True
Suppose -f = -4*m + 2*m - 76, -5*m - 5*f - 205 = 0. Let v = 7 - m. Is 10 a factor of v?
False
Suppose 8*z - 245 - 267 = 0. Is 16 a factor of z?
True
Let r = -197 + 782. Is 39 a factor of r?
True
Let v = 1762 + -342. Is v a multiple of 71?
True
Let p = -185 + 408. Let u = -119 + p. Is 28 a factor of (9/6)/(3/u)?
False
Let s be (-2 + 165/(-10))*-4. Suppose -2*w + 4*w - s = 0. Does 18 divide w?
False
Suppose 3*n = d - n - 692, -2*d + 1332 = 5*n. Is 22 a factor of d?
False
Let z be (6/(-12))/(1/2). Is 5 a factor of (-341)/(-11) + (z - 2)?
False
Suppose -6*c + 87 = -9*c. Let v = c - -118. Is 27 a factor of v?
False
Let b = 771 + -284. Is b a multiple of 21?
False
Let x(k) = k**2 + 5*k - 2. Let i be x(-5). Let h be 5 + (-3 - i - -3). Suppose -11 = -3*c + h. Is 6 a factor of c?
True
Suppose 0 = -3*y + 5*j + 19, 0*y - 2*y - 4*j + 20 = 0. Let f = y - -7. Does 15 divide f?
True
Does 29 divide 192/320 + (-3)/(15/(-7612))?
False
Let t(l) = -225*l**3 - 5*l - 6. Is t(-1) a multiple of 14?
True
Let f(n) = -n - 3. Let l be f(-7). Suppose 5*y - 6 = -3*r, -r + 10 = -5*y + l*r. Suppose 3*u + 5*s - 74 = y, -2*u - 4*s - 22 = -74. Is 18 a factor of u?
True
Let o be (4/(-14))/(1/(-14)). Suppose -z - 3*z = -2*n + 96, 0 = 2*n + o*z - 96. Does 17 div