 - 27. Let f be n(6). Does 8 divide x(f)?
True
Let r = 32 + -29. Is 10 a factor of r/(-5) - ((-168)/30 + -7)?
False
Let i(m) = m**3 + 3*m**2 - 3. Let o be i(-3). Let v(s) = -13*s. Let l be v(o). Suppose -4*u + l + 5 = 0. Does 3 divide u?
False
Suppose 0 = 5*n + a - 400 - 546, -2*n + 382 = 4*a. Is n a multiple of 27?
True
Let s be (-4 - -5)/(-1*1). Let i be 115/1*(s + 2). Let z = 162 - i. Does 11 divide z?
False
Let w(o) = -o + 4. Let m(p) = -1. Let b(a) = 6*m(a) - w(a). Let i be b(6). Does 4 divide -1*(i + 3) + 23?
True
Is ((-629)/148)/(1/(-160)) a multiple of 34?
True
Let y(c) be the first derivative of -5*c + 1/2*c**2 - 1 - 1/4*c**4 + 10/3*c**3. Does 3 divide y(10)?
False
Let j = -457 + 919. Is j a multiple of 6?
True
Suppose -5*b = -5*t + 20, -b + 4 = -4*t - t. Let u = b + -2. Does 20 divide -10*26*2/u?
False
Let a be (-2)/4 + 17/2. Let b(q) = -q**2 + 14*q + 14. Is b(a) a multiple of 18?
False
Let u(r) be the third derivative of -3/8*r**4 + 0*r + 5*r**2 + 1/3*r**3 + 0 + 1/30*r**5. Is u(6) a multiple of 5?
True
Let u(t) = -2*t**2 + 12*t + 14. Let w be ((-6)/(-7))/(26/182). Does 4 divide u(w)?
False
Suppose 6 = 3*o - 9. Let k(i) = 3*i**3 + 2*i. Let c be k(2). Suppose o*d - c = 22. Is d a multiple of 10?
True
Let l(u) = u**3 + u**2 - u + 1. Let a = 8 + -8. Let c be l(a). Let g(f) = 6*f**2 - f. Is 5 a factor of g(c)?
True
Suppose -q + v - 4*v - 332 = 0, 2*q + 2*v = -680. Is q/(-10) - (-3)/30*-4 a multiple of 28?
False
Let c(v) = 4*v**2 + 5 + 7*v**2 - v**3 + 13*v + 2*v**3. Is c(-9) a multiple of 10?
True
Let k(x) = -x + 4. Let s(t) = -6*t + 20. Let h(m) = 16*k(m) - 3*s(m). Let p(d) = -d**2 - 5*d + 17. Let y be p(-7). Is h(y) a multiple of 10?
True
Suppose 2*w + 0*r = 4*r - 240, -5*w - 5*r = 525. Let v = w - -182. Is v a multiple of 18?
True
Let v = 42 - 71. Let n = v - -58. Does 8 divide n?
False
Suppose -b + q = -0*q - 3073, 3*b + q = 9239. Is b a multiple of 81?
True
Suppose 0 = -5*h + 3*h + 26. Let a = -8 + h. Suppose -2 = -5*j - 2*v + 14, 0 = -5*j + a*v + 30. Is j a multiple of 4?
True
Let r(l) = -4*l + 1. Suppose 2*i - t = 2, 2*t + 11 = -4*i - 1. Let s be r(i). Let z = 24 + s. Is 11 a factor of z?
False
Suppose -69*k + 71*k = 262. Suppose -i = -87 - k. Is i a multiple of 15?
False
Let x = -6 + 11. Let p = 18 + 21. Suppose p = x*w - 41. Does 16 divide w?
True
Suppose 0 = 2*c - 0*c - 6. Suppose -11 + 1 = 2*r, -5*r = -c*b - 56. Let w = -12 - b. Does 15 divide w?
True
Let i(m) = 3*m + 26. Let w be i(-7). Suppose x = w*n - 149, -3*n = 3*x - 37 - 56. Does 15 divide n?
True
Suppose 0 = 3*m + 5*o - 410, 3*o - 5 + 2 = 0. Let n = 351 - m. Does 12 divide n?
True
Let k be (-1)/(3/(-9) + 0). Suppose k*q - 26 = -11. Suppose -q*h = -0*h - 50. Does 10 divide h?
True
Let d(v) = 22*v**2 - 55*v - 6. Does 74 divide d(8)?
True
Let f(u) = u**3 - 9*u**2 - 11*u + 12. Let n be f(10). Let q(h) = 0*h + 4 + n*h - 10*h. Is q(-2) a multiple of 6?
False
Let z be 1/(-1 - 48/(-51)). Let d = -11 - z. Is 9/d*82/3 a multiple of 18?
False
Let v(g) = g**2 - 9*g + 3. Let p be v(8). Let t = p + 8. Suppose -t*y - x + 15 = 0, 0 = -y + 4*x - 3*x + 9. Does 2 divide y?
True
Let u be 4 - (-4)/(-2) - -3. Suppose t + 5*f - 4*f = 97, -u*t - f + 481 = 0. Does 7 divide t?
False
Let x(u) = -28*u**3 - 13*u**2 + 7*u + 1. Does 3 divide x(-3)?
False
Let h(a) = 91*a**2 - 4 + 6*a - 2*a - 12*a**2 + 9. Is h(-1) a multiple of 16?
True
Let o = -4 - -1. Is (-42)/(-8)*(-32)/o a multiple of 14?
True
Let f be -2 - 1 - -5 - -7. Let a = f - 15. Let b(q) = q**3 + 7*q**2 + 6*q + 6. Is 6 a factor of b(a)?
True
Let n = 434 + -35. Is 16 a factor of n?
False
Suppose 24*d + 17444 - 50468 = 0. Does 16 divide d?
True
Suppose 39*k = 2257 - 385. Is k a multiple of 4?
True
Let i(t) = -t**2 - 23*t - 14. Is 4 a factor of i(-18)?
True
Is 1/(4*(-3)/(-27180)) a multiple of 25?
False
Let m = -109 + 147. Is m a multiple of 2?
True
Let l = 4 + -1. Suppose -r + n = l, 2*n = -4*r + r + 16. Suppose r*b - 144 = -b. Is b a multiple of 14?
False
Suppose -2*t - 830 = -7*t. Suppose 3*i - 2*p - 180 - t = 0, 2*i - 4*p = 228. Is i a multiple of 42?
False
Let a = -1160 + 1495. Does 3 divide a?
False
Suppose -36*z = -39*z + 1011. Suppose -5*h + 336 = y, h + 4*h + 2*y = z. Does 34 divide h?
False
Suppose 281 = -2*g - 429. Let t = -247 - g. Does 27 divide t?
True
Let b be 0 + -1 + (-1)/(-1) - -5. Suppose -4*t = 3*u - 205, 0 = b*t - 0*u + 4*u - 256. Is t a multiple of 14?
False
Let t = -6 - -8. Let o(g) = 2*g**3 + 2*g - 2. Let p be o(t). Let d = p - 5. Is d a multiple of 13?
True
Suppose 0 = 4*d + 5*q + 299, d + d + 148 = -4*q. Let g = d - -107. Is g a multiple of 7?
False
Does 57 divide (-50*(-48 + 6 + 8))/1?
False
Let p = -317 - -573. Is p a multiple of 6?
False
Let v(w) = -7*w + 9. Let d be v(4). Let q = 24 - d. Does 12 divide q?
False
Suppose 11839 + 50855 = 43*z. Is z a multiple of 9?
True
Let b be 1/(-5) + (-372)/15. Let t be (-10)/b + (-86)/(-10). Is 8 a factor of t + (0/3 - 1)?
True
Suppose 0 = 16*g - 4*g - 960. Is g a multiple of 4?
True
Let c = 9830 + -5342. Is c a multiple of 12?
True
Let v(z) = z**3 + 10*z**2 - 11*z + 36. Does 99 divide v(7)?
True
Let q = -2668 - -6403. Does 11 divide q?
False
Let s be (9/(-4))/((-15)/200). Let z be (9/(-3))/((-18)/s). Suppose -z*v + 168 = v. Is v a multiple of 9?
False
Suppose 3*j - 339 = f, 3*f - 2*f = -j + 113. Let h = j + -78. Does 35 divide h?
True
Suppose -4*a + 1 = -4*i - 3, -4*i = 5*a - 5. Let t(n) = -15*n**2 + n. Let r be t(a). Let h = r - -20. Is 3 a factor of h?
True
Let g be (5/2 - 3)*-4. Suppose 0 = -g*z + 3*i + 3, -5*i = -z - 4 + 2. Suppose r - 3*d + 5 = -1, 2*r - 3 = z*d. Is 3 a factor of r?
True
Let o = 28 + -23. Suppose 0 = o*g - 72 - 103. Let q = g - 9. Is 8 a factor of q?
False
Suppose -3*r = -356 - 340. Suppose 3*c = q - 35, 0*c + r = 5*q + 4*c. Does 7 divide q?
False
Suppose -28324 = -11*s + 1662. Is s a multiple of 47?
True
Let a = -1820 - -4526. Does 22 divide a?
True
Suppose -3*a = -o - 1067, -2*a - 2*a + 4*o = -1420. Is a a multiple of 22?
False
Suppose 3*i - 4*i = -511. Is 14 a factor of i?
False
Suppose 3*q - 4*o - 1310 = q, 5*o = -5*q + 3350. Let l = q - 1389. Does 18 divide (-4)/(-6) + l/(-12)?
False
Suppose -w + n = -7, 10*n - 16 = -4*w + 8*n. Suppose -l + 389 = 3*l + t, -w*t - 263 = -3*l. Does 47 divide l?
False
Let p(d) = d**3 + 9*d**2 - 16*d - 71. Does 18 divide p(-8)?
False
Let q be (-3 - -1)/(-2) + 1. Suppose -2*x - 3*u + 5*u = -16, 2*u = -3*x - 1. Suppose -b - 3*f = -q*b - 5, -x*b + 1 = -5*f. Is b a multiple of 5?
False
Let q = -11 - -13. Suppose -4*k - q*g + 530 = 0, -3*g = 2*g + 15. Is 23 a factor of k?
False
Let v = -444 - -795. Does 27 divide v?
True
Let g(h) = -h + 10. Let z be g(3). Suppose 0 = -2*m - z*m + 441. Is m a multiple of 6?
False
Let n be -1 - 1 - (-1 - 1). Suppose -q - q + 244 = n. Suppose 0*c - 3*c = -5*d + q, -d + c + 26 = 0. Is d a multiple of 11?
True
Let a be (1 - 4 - 8)*-4. Suppose 5*r - a = r. Let h = 18 - r. Is 2 a factor of h?
False
Let b = -2 + 4. Suppose -5*f = -b*r + 17, 3*r + 5 + 27 = -4*f. Let x = 38 + f. Is x a multiple of 33?
True
Let s = 3 - 1. Suppose l + 8 = -s. Is 77/4*(-6 - l) a multiple of 27?
False
Let n(k) = 17*k + 10. Let m be n(-5). Does 6 divide (-15)/20 + m/(-4)?
True
Suppose 2*g = -3*k + 8, 3*g - 5 = k - 2*k. Suppose -k*n + 14 + 19 = u, u - 90 = -5*n. Is 2 a factor of n?
False
Let w be (-51)/(-15) + -1 - (-2)/(-5). Suppose 8 = -w*a - 2*a, 4*q + 3*a = 54. Is 5 a factor of q?
True
Let b(c) = c**2 - 11*c + 12. Let q be b(10). Suppose q*g - 182 = -3*k, 4*k + 7*g = 4*g + 241. Does 17 divide k?
False
Does 3 divide 46/(-138) + 259/3?
False
Let r be ((-5)/2)/(15/(-36)). Suppose -3*n + 3*f = -n - 13, 2*n + 4*f = r. Suppose n*b = 98 + 267. Is 15 a factor of b?
False
Let a(u) = u**2 + u + 2. Let c be a(-3). Let j = -585 - -587. Suppose -j = z - c. Does 6 divide z?
True
Let d = -69 + 192. Does 20 divide d?
False
Suppose 0 = -20*b + 19*b + 3. Does 46 divide -368*(b - 6)*3/18?
True
Let v(k) = 35*k - 49. Is 24 a factor of v(8)?
False
Let o = 5 + -3. Is (-1035)/(-92) + o/(-8) a multiple of 10?
False
Suppose -l + s + 67 = -28, -5*s + 515 = 5*l. Let w = -42 + l. Is 19 a factor of w?
True
Suppose 64*n - 62*n - 336 = 0. Is 4 a factor of n?
True
Let j = -495 - -734. Is j a multiple of 12?
False
Let b(m) = 10*m - 30. Is b(26) a multi