 -2*z = 2*y + y - 26, 4*y + 5*z - u = 0. Is y a multiple of 7?
False
Let f(v) = v**2 - 6*v - 5. Let u = 19 + -12. Let t be f(u). Suppose 0 = -0*c + t*c - 30. Is c a multiple of 4?
False
Suppose x + 1983 = f, -x - 9935 = 6*f - 11*f. Does 18 divide f?
False
Let r be -1*8/4 - -2. Suppose -l + 3*w + 60 + 179 = 0, -4*l - 4*w + 940 = r. Suppose 3*m + 240 = 4*d, -4*d + 2*m + l = -2*m. Is d a multiple of 21?
True
Suppose -7*u + 108 = 2*u. Does 3 divide (-65)/(-6) - (-2)/u?
False
Let f(u) = -2*u + 4. Suppose -c + 4 - 5 = -a, 4 = 4*c. Let q be f(a). Suppose -z + 12 + q = 0. Does 11 divide z?
False
Let i = -395 - -458. Does 9 divide i?
True
Let i(s) = 6*s**2 - 1. Let w be i(1). Suppose -15 = -4*q + w*y, -2*y = -3*q - 5*y + 18. Suppose 0*d = 4*d - 16, m + q*d = 64. Is 11 a factor of m?
True
Suppose -16*v = -12*v - 116. Suppose -v = -b - 6. Does 10 divide b?
False
Is 4 a factor of 1032/(-2)*(-44)/33?
True
Suppose -2*j - n = -0*j - 4, j - 8 = n. Suppose 0 = p + 5 - 9. Suppose -p*a = 2*b - 3 - 5, -3*b + 18 = j*a. Is b a multiple of 3?
False
Suppose h - 1835 = -5*z - h, -h = -5*z + 1850. Is 3/(-2) - z/(-6) a multiple of 12?
True
Suppose t + a = -0*t + 31, -a - 35 = -t. Suppose -2*g = t - 85. Suppose -3*m + g = -1. Is m a multiple of 9?
True
Suppose 0 = 5*y + 5, -4*b + 1503 = 5*y - 1900. Is 44 a factor of b?
False
Suppose -44*v - 380 = -46*v. Suppose -30 = 5*h - v. Is 8 a factor of h?
True
Let t(j) be the third derivative of -j**6/20 + j**5/60 - j**4/24 - 3*j**3/2 + 5*j**2. Let k be t(-4). Is ((-2)/(-2))/(5/k) a multiple of 20?
False
Let j = -582 - -820. Is j a multiple of 27?
False
Suppose 0*y = -3*y + 12. Suppose 14 = -y*f + 246. Suppose f = -3*i + 5*i. Does 25 divide i?
False
Suppose 2*j = 4*j + 10. Let a = -9 + j. Is (-964)/a + (-3)/(-21) a multiple of 18?
False
Let o(c) be the second derivative of 13/2*c**2 - 1/20*c**5 + 0 + 3/2*c**3 - 5/6*c**4 - 8*c. Does 13 divide o(-11)?
False
Does 21 divide ((-171)/(-18) - 6)*414?
True
Suppose -6*j = -8009 + 3851. Is 12 a factor of j?
False
Suppose -3*z + 9416 = -4*p + 5*p, -2*z = p - 6276. Is z a multiple of 20?
True
Let l(o) = -o**3 - 8*o**2 + o + 32. Let g be l(-10). Suppose -5*i + v + 408 = 0, 3*i - g - 27 = 2*v. Does 20 divide i?
False
Let v(a) = -11*a**2 - 5*a - 8. Let g(q) = -78*q**2 - 36*q - 57. Let b(x) = 2*g(x) - 15*v(x). Let z = 1007 - 1010. Does 13 divide b(z)?
True
Let q(m) = -105*m + 11. Does 4 divide q(-2)?
False
Let o = 64 - 46. Let z = -40 + o. Let i = 36 + z. Is i a multiple of 9?
False
Let v = -314 + 464. Suppose 4*f - y - 100 = 6*f, 0 = -3*f - 2*y - v. Is f*(-2)/16*8 a multiple of 25?
True
Let n(j) = 1 + 21*j - 2 + 24*j - 6*j. Does 15 divide n(2)?
False
Suppose -w + 5*j - 16 = -4, -2*j + 6 = 0. Suppose 4*f = -2*l + 30, 4*f = w*l - 0 + 25. Does 14 divide 2/f + 1065/21?
False
Let q be (8/6)/((-4)/(-18)). Suppose 0 = p - 3*p - 4*w - q, -3*p + 2*w + 15 = 0. Suppose -g + 33 = p*h - 1, 0 = 4*g + 2*h - 86. Is 4 a factor of g?
False
Let u(m) = 2*m**2 - 66*m + 733. Is 7 a factor of u(11)?
False
Suppose -12*y + 9*y + 963 = 0. Suppose -5*o + y = -2*o + z, -3*z - 9 = 0. Does 18 divide o?
True
Let n = -20 - -22. Let q(l) = -n*l**2 + 12*l**3 + 2*l + l**2 + 2*l**2 + 17 - 19. Is 4 a factor of q(1)?
False
Suppose 3*h - 3*f = 84, 4*h - 3*h = -f + 38. Suppose 35*w = h*w + 206. Is 9 a factor of w?
False
Let g = -1072 - -1700. Does 7 divide g?
False
Suppose 3*f + 0 = 6. Suppose f*j + 0*j - 18 = 0. Is 3 a factor of j?
True
Let s(p) = p**2 + 14*p + 18. Let n be s(-13). Suppose n*q + 2 - 27 = 0, -2*g = -4*q + 20. Suppose g = 4*u - 96 + 4. Does 10 divide u?
False
Let a(r) = -r + 1. Let u be a(-5). Suppose x + u = 114. Does 18 divide x?
True
Let j = 1086 + -822. Is 33 a factor of j?
True
Suppose -2*t = 3*b + 35, -2*b + 5*b - 5 = 2*t. Is 46 a factor of (-31380)/(-150) + 2/t?
False
Let f be 2/5 - (-4392)/20. Suppose f = -125*k + 127*k. Is k a multiple of 11?
True
Suppose 5358 = 4*j - 5*v, -19*v = -3*j - 20*v + 4028. Is j a multiple of 61?
True
Let a = 46 - 36. Is 20 a factor of 114*((-2)/a)/((-8)/20)?
False
Let z(c) be the third derivative of c**5/60 + c**4/8 - 5*c**3/3 - 3*c**2. Let u be z(-10). Suppose 2*y = y + u. Is 15 a factor of y?
True
Let m = -400 + 530. Does 26 divide m?
True
Let j(d) = 174*d - 138. Is 10 a factor of j(2)?
True
Suppose 19*a - 22*a = 2*u - 1572, u - 812 = 5*a. Is 66 a factor of u?
True
Is 20 a factor of 1088 - (-3)/(3/4)?
False
Let y = 89 - 79. Let w(s) = s**3 - 9*s**2 - 4*s + 12. Is w(y) a multiple of 12?
True
Let a(d) = -26*d + 8. Let t be a(-6). Let f = -82 + t. Does 34 divide f?
False
Let l be (-7 - -2)/((-2)/18). Let y be l/((60/(-1168))/5). Is 18 a factor of (-2)/11 - y/132?
False
Let t = -1350 + 2718. Does 57 divide t?
True
Does 9 divide 4093/7 + (-5 - (-74)/14)?
True
Let l be ((-354)/9 - 3)/(6/(-54)). Suppose j - l = -s - 2*s, 369 = 3*s - 3*j. Is 12 a factor of s?
False
Let o(l) = l + 5*l**2 + 0*l**2 - 62 + 67 + l**3. Let d be o(-5). Suppose d = -7*k + 12*k - 260. Does 19 divide k?
False
Let w = 128 - -17. Is 4 a factor of w?
False
Let r = -195 - -251. Is 8 a factor of r?
True
Suppose -5*y - 4 = -9, 0 = -d + 4*y + 444. Does 32 divide d?
True
Let y(c) = 25*c**2 - 6*c - 2. Does 30 divide y(8)?
False
Suppose 4*m = 2*f + 1438, 288 = 2*m - 5*f - 427. Is m a multiple of 14?
False
Suppose 4*t = 2*y + 6398, -5*t + 5*y = 2449 - 10459. Is t a multiple of 69?
False
Suppose h - 5*b - 383 = 0, 0 = -4*h - 0*h + 2*b + 1496. Is h a multiple of 25?
False
Does 26 divide (32/40)/(2/5) - -248?
False
Suppose 7*o = 12*o - 500. Does 12 divide o?
False
Suppose -58*k = -62*k + 16. Suppose f - 27 = -l, k*f + l - 108 = -0*l. Is 9 a factor of f?
True
Suppose 4*d + 354 - 46 = 5*v, 3*v - d - 182 = 0. Is v a multiple of 2?
True
Let a(h) = 4*h + 3*h**2 - h - 4 + 5 - 4*h. Let c be a(1). Suppose 0 = -x + 6*q - q - 14, c*q + 6 = 3*x. Is x even?
True
Let u(s) = -s**2 - 86*s + 10. Is 51 a factor of u(-20)?
False
Suppose -191 = -5*j + 909. Suppose h - 5*l - j = -4*h, -l + 214 = 5*h. Is 8 a factor of h?
False
Let r(j) = -j**3 + 5*j**2 - 7*j. Let b be r(5). Let p = b + 95. Is p a multiple of 15?
True
Suppose -3*f = -2*f. Suppose -3*s + 6*s - 12 = f. Suppose s*o = -4*q + 56, 0 = -o + 2*o - 2*q - 29. Does 7 divide o?
False
Let k(s) be the first derivative of -s**4/4 - 2*s**3 - 3*s**2/2 - 13*s - 3. Does 3 divide k(-6)?
False
Let d = -25 - -29. Suppose -5*o = 0, z + d*z - 2*o - 365 = 0. Does 12 divide z?
False
Does 12 divide -6*(32/(-6) + (-5)/(-15))?
False
Does 9 divide 4735*5/25 + 2?
False
Suppose -4*u + 575 + 1685 = 4*p, 3*p + 1120 = 2*u. Does 47 divide u?
False
Suppose 0 + 1 = -b. Let r = 42 + -28. Let c = r + b. Does 8 divide c?
False
Let i be (-2)/(-6) + (-3)/9. Suppose o - a - 47 = -0*a, i = -2*o - 5*a + 66. Is 11 a factor of o?
False
Suppose -4*o + 8*s = 9*s - 3102, 0 = -o - 5*s + 785. Is 25 a factor of o?
True
Suppose 35*l = 411 + 604. Is l a multiple of 14?
False
Is ((-11)/(-2))/(-11) - (-1287)/6 a multiple of 7?
False
Let u be (-1 - 25/5) + (2 - 1). Is u/((-7)/(-28) + (-7)/12) a multiple of 3?
True
Suppose -3*v + 3*b = -648, 7*b = 3*b + 12. Suppose -3*n + n - 3*p + v = 0, n + 2*p = 110. Is 12 a factor of n?
True
Suppose 0 = m - 7. Suppose -4*x = -m - 1. Suppose q + 3*i = 3*q - 39, x*q - 36 = 4*i. Is q a multiple of 6?
True
Let h = -860 - -1601. Is 38 a factor of h?
False
Suppose 4*v - 34*u - 1340 = -30*u, -4*v + 1340 = -2*u. Is 67 a factor of v?
True
Suppose 78 = -m + 3*l - 73, -m = 2*l + 176. Let h = -25 + -86. Let j = h - m. Does 20 divide j?
False
Let m be 32/(-18) + -5*(-12)/(-270). Is 10 a factor of ((-54)/1)/m + (1 - 3)?
False
Suppose -20 = -5*q + 2*g - 5*g, 0 = 2*q + 4*g + 6. Let x(y) = 8*y - 17. Is 39 a factor of x(q)?
True
Suppose -2*z + 390 = 2*i, -5*z + 967 = -24*i + 21*i. Does 2 divide z?
True
Suppose 17*w - 3704 = 10168. Is w a multiple of 17?
True
Let w(s) = s**2 - 3*s - 13. Let x be w(6). Suppose x*g - 15 = 510. Does 14 divide g?
False
Is (19 - 1945)*1/(-3) a multiple of 4?
False
Let x be (4/(-1))/((-18)/612). Let g = x - 1. Is g a multiple of 29?
False
Suppose 1544 = 3*b - 4*n, -2*b = -b + 4*n - 536. Is 20 a factor of b?
True
Let g(b) = -4*b**2 - 7*b + 5*b**2 - 4 - 2. Suppose 3*t - 2*m = 37, -4*m = t + 6 + 5. Is g(t) a multiple of 2?
True
Suppose 0 = 191*u - 197*u + 180. Is 19 a factor of u?
False
Let h =