or of s?
True
Let d = -44 + 43. Is 18/((-4)/(-2) + d) a multiple of 6?
True
Let m = -340 + 1119. Does 54 divide m?
False
Let p be (-6)/4*-2 + 21. Let j = p + -17. Is 3 a factor of j?
False
Suppose 4*m - 435 - 121 = 0. Let h = m + -270. Let x = -29 - h. Does 34 divide x?
True
Let z = 15 - 11. Suppose 10 = n + z. Does 3 divide 2 + 0 + (n - -1)?
True
Let k = 278 + -6. Is k a multiple of 34?
True
Suppose -h - 4*r = -5*h + 124, h + r = 21. Let y = 1 + h. Is y a multiple of 9?
True
Does 11 divide ((-20)/8)/5 - 4227/(-6)?
True
Suppose 5*w - 3*p + 15 = 0, -2*p + 35 = -5*w - 3*p. Let i = w - -125. Is 5 a factor of i?
False
Suppose k - 572 = -4*k + 4*a, a = -3. Let x = k - 3. Is x a multiple of 22?
False
Suppose 0 = w - 1, i - 5*w = -300 + 867. Does 143 divide i?
True
Let y(q) = q - 5. Let a be y(8). Let r be (-8)/(1 + a)*-1. Suppose -114 = -2*h + w, 0 = -r*h + 2*w - 0*w + 116. Does 14 divide h?
True
Let h(k) = -k**3 + 9*k**2 + 11*k + 1. Let i be (7/(14/(-40)))/(-2). Is h(i) even?
False
Let b(i) be the first derivative of 51*i**4/4 + i**3/3 - 3*i**2/2 + i + 23. Is b(1) a multiple of 5?
True
Suppose 13*v - 17260 = -152. Is 14 a factor of v?
True
Suppose -54448 = -2*y - 39*y. Is y a multiple of 8?
True
Let q = 66 - -9. Let c = q - 133. Let f = -33 - c. Is f a multiple of 12?
False
Suppose 5 = -5*l, -127 - 64 = -5*j - 4*l. Let a(q) = q**3 - 2*q**2 + 5*q - 6. Let w be a(4). Suppose -z + 2*i + 5 = -j, -w = -z + 4*i. Is z a multiple of 21?
True
Let s(c) = -18*c + 63. Let i be s(6). Is 2 a factor of (-2)/5 + -3*51/i?
False
Let o(h) = h + 6. Let f be o(-6). Suppose f = -10*z + 3*z + 147. Is 7 a factor of z?
True
Let g be 0/(-7 + 5) - -5. Suppose u = 3*i - 98, -g*u - 15 + 5 = 0. Is i a multiple of 8?
True
Let r be (-660)/2*37/(-111). Let n be 2/(-8) + (-111)/4. Let u = n + r. Is u a multiple of 33?
False
Let i(a) = 2*a + 16. Let f be i(-14). Let y(g) = g**2 + 12*g - 2. Let h be y(f). Does 18 divide (-4 + 31)*(h - -4)?
True
Suppose 12 = 5*b + 2. Suppose -b*a = -0*a - 84. Suppose 0 = -5*h - 3*g + 83, 2*h + g = -9 + a. Is h a multiple of 12?
False
Suppose -5*t + 2*t + 117 = 0. Suppose -3*m + t = -0*m. Does 2 divide m?
False
Let v = 13 - 3. Suppose 0 = -3*a + v + 2. Suppose 44 = 4*i + a*n, -2*n + 29 + 6 = 3*i. Is 13 a factor of i?
True
Let p = 20 - 20. Let q be p*((-5)/2 - -2). Suppose 3*w - 142 - 95 = q. Is 17 a factor of w?
False
Let x be (0 + 12/(-5))/(1/50). Let c = 272 + x. Does 17 divide c?
False
Let a(b) = -b**2 + 5*b + 3. Let r be a(6). Let p be 2/8 + 33/12 + -2. Is p/r + 175/21 a multiple of 3?
False
Let z be -146*5/10*-1. Is 13 a factor of (-6)/(-10)*(z + -8)?
True
Suppose 3*t = -t + 16. Suppose t*o - 124 = 36. Let r = o + -27. Is r a multiple of 6?
False
Let k(o) = -o**3 + 2*o**2 + 16*o - 2. Let w be k(5). Suppose 7*x - 3230 = -w*x. Does 13 divide x?
False
Suppose 110*f - 11544 = 6*f. Is f even?
False
Let i(a) = 2*a**2 - 3*a + 3. Let s(w) = 2*w - 4. Let l be s(3). Is i(l) a multiple of 3?
False
Let m(u) = 5*u**2 + 10*u + 9. Does 9 divide m(6)?
False
Suppose 121 + 214 = 5*q. Suppose 3*y - 164 - q = 0. Does 11 divide y?
True
Let z(y) be the first derivative of -9*y**2/2 + 2*y - 7. Is z(-5) a multiple of 13?
False
Suppose -3*s + 58 = -2*t, -5*s + 94 = -0*t - 2*t. Let x be s/12*(-30)/(-9). Suppose -x*j + 4*z = -115, -4*j + 92 = 4*z - 0*z. Does 10 divide j?
False
Let m(l) = 101*l**2 + 6*l + 18. Is m(6) a multiple of 101?
False
Let h(r) = -2*r**2 + 3*r**2 - 7 - 2*r**2 - 4*r - 6*r. Let w be 30/(-5)*(2 - 1). Is 4 a factor of h(w)?
False
Let w be (-78)/(-8) - 6/8. Let u = w - -48. Suppose -2*y + r + r + 26 = 0, -5*r - u = -4*y. Does 5 divide y?
False
Let m be (-9)/2 + 5/(-10). Let f(r) = -r**3 - 4*r**2 - 2*r - 4. Let c be f(m). Suppose -29 - c = -z. Is 22 a factor of z?
False
Let y be 3*-4*(-12 + -1). Let n be (y/(-8))/(3/(-4)). Suppose -4*t + 31 = 3*u, -3*t - t + 2*u + n = 0. Is t a multiple of 2?
False
Let a(n) = -n + 2. Let q be a(2). Suppose q = -2*c + 4*c - 510. Suppose -5*b - h = -c, -h - 5 = -0*h. Is b a multiple of 26?
True
Is (-1 + -143)/((-73)/2190) a multiple of 24?
True
Suppose 2*i - 4*m = -0*i + 22, -3*m = 12. Suppose x - 2*x + 13 = -i*h, 5*x + 2*h + 20 = 0. Let f = x + 4. Is f a multiple of 2?
True
Suppose -14*z + 6088 - 40 = 0. Does 9 divide z?
True
Suppose -2*s + 5*g + 2765 = 0, g - 8039 = -5*s - 1194. Is 24 a factor of s?
False
Let b be ((-30)/20)/(1/(-6)). Is 7 a factor of 43 - b*4/12?
False
Suppose n + n = 5*u - 68, 3*u - 189 = 5*n. Is (4*1 - 156/18)*n a multiple of 16?
False
Let d(k) = -k**3 + 7*k**2 + 10 - 12*k - 11 + 2*k**3. Suppose -4*v = 15 + 17. Does 24 divide d(v)?
False
Let t(m) be the second derivative of -m**4/12 - 19*m**3/6 - 21*m**2/2 + 7*m. Does 3 divide t(-17)?
False
Let v = 26 - 22. Suppose -5*h = -h + d - 394, v*d = 5*h - 503. Is 26 a factor of h?
False
Suppose -11*f = -15*f + 68. Suppose 0 = s - 5*c - f, 2*c + c - 141 = -3*s. Is 14 a factor of s?
True
Suppose o - 3*o = -2. Let m = -2 - o. Let l(q) = -2*q**3 + q - 2. Is l(m) a multiple of 12?
False
Suppose 8*m - 40 = 6*m. Does 3 divide 0 - (m + -4)/(-1)?
False
Suppose 4104 = 34*z - 26*z. Does 58 divide z?
False
Let l = -169 + 94. Does 23 divide -1 + -3 + (-2 - l)?
True
Let v be -4 - 1*184/(-2). Suppose -4*o + 88 = 4*r, 4*o + 6*r - r - v = 0. Is 6 a factor of o?
False
Let s(f) = 9*f - 39. Let i be s(4). Does 30 divide i + (-2)/((-10)/165)?
True
Suppose -7*g = -6*g - 2. Suppose g*d + 82 = 3*d. Is d a multiple of 41?
True
Suppose 0 = -2*c + f + 928, 5*f - 1868 = -5*c + 482. Is c a multiple of 3?
False
Let f(h) = h + 1. Let v(c) = -6*c + 2. Let r(x) = -5*f(x) - v(x). Let p be r(13). Does 3 divide p/45 + (-146)/(-30)?
False
Suppose -82*x + 77*x = -765. Does 33 divide x?
False
Let p = 10 + -12. Let u be (-2 - (p - -4)) + 7. Suppose -3*w = 3*r - 177, 4*r = 6*r - u*w - 138. Is r a multiple of 21?
True
Suppose 0 = -3*n - 4*j - 1 + 8, -4*n = -2*j - 24. Suppose 5*x - 5*u + 0*u - n = 0, -3*u = 3. Suppose x = -y + 41 - 2. Is 19 a factor of y?
False
Suppose -12*z - 8 = -16*z. Suppose -40 = -2*l - z. Is l a multiple of 7?
False
Let o = 195 - 61. Suppose -c + 4*j - o = -3*c, -76 = -c - 5*j. Is 9 a factor of c?
False
Suppose -6*r + 2684 = 5*r. Is 23 a factor of r?
False
Suppose 0*d = 5*d. Let l(i) = 22*i + 91. Let r be l(-4). Suppose d = -p + 1 + r. Is 4 a factor of p?
True
Let v be (-1)/((-1)/24) - -2. Does 17 divide v + ((-6)/(-1) - 3)?
False
Suppose -24 - 6 = -6*u. Suppose u*t - 7 - 3 = 0. Suppose 5*p - 71 = -c - c, 4*c + t*p = 134. Is 18 a factor of c?
False
Let w be -15*(-3 - (-8)/3). Suppose 342 = 3*a + 4*m, -3*m + 342 = w*a - 2*a. Is (a/(-12))/((-1)/2) a multiple of 12?
False
Let u(g) = -g**3 + 5*g**2 - 1. Let w be u(5). Let x be 7 + -9 + (1 - w). Suppose x*f - 3*v = f - 9, 11 = f + 2*v. Does 15 divide f?
True
Let b be ((-74)/(-6))/(4 - (-1362)/(-342)). Suppose -l = -5*z + b, 0 = -5*z - 2*l + 5*l + 709. Is 10 a factor of z?
True
Does 19 divide 28 + -21 + 183*1?
True
Is 129 + (-24)/(-84) + 23/(-7) a multiple of 6?
True
Suppose 0 = -5*m + 5*a + 415, -m = -4*m + a + 245. Let d = m + -36. Does 21 divide d?
False
Let x be -1 - 4 - (2 - 5). Let v = 10 + x. Suppose 0 = -2*z - 2*b + 14, v*z - 7 = 3*z + 2*b. Is z a multiple of 3?
True
Let i(y) = -3*y - 1. Let b be i(-2). Suppose -b = -0*l + l. Let z = 9 + l. Is z a multiple of 4?
True
Is 20 a factor of (-1226470)/(-840) + 2/(-24)?
True
Let h(c) = -4 - 1 - c + 2*c - 2*c. Let x be h(-10). Suppose 0 = -3*b + 2*p + 47 + 29, x*p + 8 = b. Does 14 divide b?
True
Suppose 5*r = 2*x - 7*x + 80, r = 2*x - 29. Let g(f) = -f**3 + 16*f**2 - 15*f + 18. Is g(x) a multiple of 2?
True
Let f(s) be the first derivative of -s**4/4 - s**3 + s**2/2 - 2*s + 2. Let v be f(-3). Let k = v - -11. Does 3 divide k?
True
Suppose 2*v = -4*s + 14, 0*s + 15 = 3*v + 3*s. Suppose 66 = u + v*z, u - 5*z = -3*u + 264. Does 15 divide u?
False
Let x(q) = -q**3 - 5*q**2 + q - 16. Does 22 divide x(-7)?
False
Let y = -129 - -29. Let w = -41 + y. Is 4/(-10) - w/15 a multiple of 3?
True
Let w(s) be the first derivative of -s**2/2 - s + 3. Let o be w(-4). Let g(y) = 7*y**2 - y + 3. Is g(o) a multiple of 21?
True
Suppose 31 = 3*b - m, -b + m - 5*m = -6. Let j = b - -220. Suppose 2*k + k - 2*d - j = 0, -3 = 3*d. Is 21 a factor of k?
False
Suppose 7*k - 178 = 74. Let c = 3 + k. Is 6 a factor 