 - 31. Is x a multiple of 35?
True
Let m be -2*12*(-3)/(9/3). Let n be -2 - ((-27)/(-36))/((-2)/m). Suppose 3*u - n*k + 10*k = 801, k + 257 = u. Is u a multiple of 12?
False
Let i = 6858 + -4868. Suppose 9*x + x = i. Is 18 a factor of x?
False
Suppose 1689 = -29*k + 5459. Does 65 divide k?
True
Let t = -149 - -142. Let g = 48 + t. Is 34 a factor of g?
False
Let t = -765 + 806. Suppose -39*p - 3272 = -t*p. Is p a multiple of 12?
False
Suppose -h - 2*h = -5*x + 199, -3*x + 131 = 4*h. Let d = x - 18. Does 23 divide d?
True
Let i(k) be the third derivative of 2*k**5/15 + k**4/12 + 2*k**3/3 + 2*k**2 - 2*k. Is i(4) a multiple of 22?
False
Suppose 2*h + 18 = 8*h. Suppose -t - x = -91, -h*t - 4*x + 318 = 48. Does 3 divide t?
False
Let k = 4459 - -11477. Is 48 a factor of k?
True
Suppose 12*t + 2*z + 54798 = 17*t, -54802 = -5*t - 2*z. Does 40 divide t?
True
Let j(y) = y**3 - 11*y**2 - 55*y - 20. Let n be j(14). Let h = n + 616. Is 6 a factor of h?
True
Let y be (1 + -11)*8/(-16)*2634. Suppose -32*h - 1074 + y = 0. Does 14 divide h?
True
Let c(n) = n**3 + 15*n**2 - 9*n - 33. Let v be -15 + -3 + (2 - -5). Does 10 divide c(v)?
True
Let q(v) = -49*v**3 + 2*v**2 + 5*v + 4. Let t(w) = -2*w**2 + 9*w + 12. Let j be t(-4). Let m = j + 55. Is 14 a factor of q(m)?
False
Suppose 4*b - 5*r - 60 = 0, 14*b + 5*r = 12*b. Is (1683/(-66))/(1/b*-1) a multiple of 19?
False
Suppose 0 = -5*h + 2*y + 490, h - y - 106 = y. Let v = -187 + 285. Suppose -h*b - 28 = -v*b. Is 14 a factor of b?
True
Let t(x) = -19*x + 65. Let r be t(-7). Let l = -113 + r. Suppose -5*k + l = -0*k + 2*p, -4*p = 5*k - 85. Is k a multiple of 4?
False
Suppose -3*z - 3*h - h = -7736, -2*z - 4*h = -5156. Is 28 a factor of z?
False
Let v be ((-174)/132 - (-2)/(-11))*-2. Suppose 0 = -3*k, -2*k + v*k - 5 = -p. Does 26 divide (-156)/p*(-10)/3?
True
Suppose 0*p - x + 1 = -p, 0 = 2*p - 5*x + 11. Suppose 14*w + 9*w = -4*w. Suppose w = p*s + s - 93. Is 31 a factor of s?
True
Let i = 15 - 15. Let u(z) = -z**3 + 290. Let m be u(i). Is m/6 - 11/33 a multiple of 16?
True
Let r(q) = 4*q**2 - 11*q - 2. Let h be r(5). Let m = h - 37. Is 20 a factor of m + 75 - (-3)/(-1)?
False
Suppose 0 = -5*m + 2*r + 41 + 199, -3*r = 3*m - 144. Suppose o + m = -3*v, -239 - 49 = 5*o - v. Let i = o + 152. Does 19 divide i?
True
Let l = -11783 + 16382. Is 7 a factor of l?
True
Suppose 2*i - 3095 = i + k, -3*k = 5*i - 15515. Is i a multiple of 5?
True
Let v be (8/36*-3)/(2/(-165)). Let k be 119 - 0 - (1 + (3 - 4)). Suppose -p + v + k = 0. Is 11 a factor of p?
False
Suppose -193920 = -27*l + 31*l - o, -5*l + 4*o - 242400 = 0. Is 41 a factor of ((-1)/(-2))/(-10*6/l)?
False
Let w(j) = j - 1. Let f be w(1). Let a = -2386 - -2391. Suppose 0 = 5*z + 5, z = -a*u - f*z + 49. Is u a multiple of 2?
True
Let i(r) = -166*r + 7211. Does 35 divide i(31)?
True
Suppose -3923 = -15*g + 3157. Let o = -283 + g. Is 20 a factor of o?
False
Let f = 2207 - 3938. Let z = f - -3291. Suppose -z = -5*k - 10*k. Is k a multiple of 5?
False
Let w(h) = h**3 - 13*h**2 + 6*h - 28. Let o = 170 + -260. Let a be ((-13)/(-5))/((-18)/o). Does 10 divide w(a)?
True
Suppose u - 20524 = -b, 41042 = 2*b - 12*u + 17*u. Is 135 a factor of b?
False
Let z(c) = 158*c**2 - 10*c - 184. Does 24 divide z(-8)?
True
Let p(k) = -k**2 + 2*k + 8*k**2 - 13 - 8*k**2. Let v be p(0). Let f = 73 + v. Does 15 divide f?
True
Suppose 5*h + 2*i - 5143 = 5*i, -3*i - 1019 = -h. Does 99 divide h?
False
Suppose -5*i + i = p - 1084, -5*p + 5*i = -5320. Let z = p + 34. Is z a multiple of 16?
False
Suppose 4*q - 123 = -3*x - 0*x, -x + 4*q + 25 = 0. Let s = -30 + x. Let o(y) = 2*y**2 - 4*y - 2. Is o(s) a multiple of 22?
False
Let q be 6 + (-6 - -2 - -1). Suppose -18 - q = -7*o. Suppose -o*r = -84 - 66. Is r a multiple of 10?
True
Suppose 38*d - 42*d + 28648 = 5*w, 2*d = -w + 5732. Is 75 a factor of w?
False
Suppose 64*f - 246*f - 55*f + 2036067 = 0. Is 11 a factor of f?
True
Let l(n) = 2*n**2 + 37*n - 107. Let p(w) = 45*w - 73. Let x be p(2). Is l(x) a multiple of 22?
True
Let k(v) = -v**3 - 7*v**2 - 23*v - 14. Let t be (-6)/(-1) + -5 + -7. Does 4 divide k(t)?
True
Let z(r) = -5*r**3 + 5*r + 2 - 21*r + 13*r - 5*r**2. Let v be z(-2). Let t = -6 + v. Is t a multiple of 3?
False
Suppose 2*x - 24157 = -5*q, 56*q + 4805 = 57*q - 4*x. Is q a multiple of 2?
False
Let p(g) = 74*g**2 + 9*g - 39. Does 99 divide p(-11)?
False
Let k(n) = -12*n**2 + n - 1. Let m(p) = -53*p**2 - 62*p**2 + 127*p**2. Let d(b) = -3*k(b) - 2*m(b). Does 15 divide d(2)?
True
Let b = 25714 - 18630. Is b a multiple of 14?
True
Suppose 13*p = 14*p - 428. Let x = p - 328. Is x a multiple of 12?
False
Let v(n) = 80*n**2 + 44*n - 604. Let u(o) = 9*o**2 + 5*o - 67. Let x(m) = 28*u(m) - 3*v(m). Is x(10) a multiple of 46?
False
Let q(u) = 6*u - 52. Let w be 3/(2 + 85/(-50)). Let t be q(w). Suppose t*p - 121 = 167. Does 12 divide p?
True
Suppose -4*u - 5*b = -512, 229 - 852 = -5*u - 2*b. Suppose -52 = -2*j - m, 4*m - u = -5*j + 7. Does 6 divide j?
False
Let q(h) = h**3 + 63*h**2 + 4*h + 320. Does 21 divide q(-61)?
True
Let u(b) = 50*b - 5. Let g be u(2). Suppose 2*p - 44 = 2*a - 3*a, 0 = -5*p + 5*a + g. Does 13 divide (-162)/(-4) + p/(-14)?
True
Let c(t) = 197*t**2 - 122*t + 98. Does 184 divide c(9)?
False
Suppose 5*b + 1472 = 9*b. Suppose f = b + 9. Is f a multiple of 13?
True
Suppose 240*d - 300965 = 175195. Is 34 a factor of d?
False
Let x be (-32)/12*(-407 + 1 - -1). Suppose -41*v = -36*v - x. Is 27 a factor of v?
True
Suppose 5*d - 10 = -2*x, 0 = -2*d + 5*x - 22 - 3. Let v be (90/5 - d)*3/(-2). Let b = v - -77. Is b a multiple of 22?
False
Let t(z) = -26*z - 722. Does 4 divide t(-47)?
True
Let r(n) = 12 - 5*n - 5*n + 22 + 5*n. Let t be r(6). Is t/((-6)/(-12)*2/23) a multiple of 17?
False
Let w = -84 + -62. Let a = 151 + w. Does 40 divide 1043/5 + ((-6)/a)/(-3)?
False
Suppose -17*u + 15*u + 20 = 0. Let g(k) = 22 - 4*k**2 + 5*k**2 - 5*k + 2*k + k. Is 17 a factor of g(u)?
True
Let o(h) = -h**3 - 37*h**2 - 78*h + 260. Is o(-35) a multiple of 9?
True
Let v = -85 - -89. Suppose 0 = -5*y + s - 4, v*s = y + s + 12. Suppose 20*d - 13*d - 427 = y. Does 11 divide d?
False
Suppose -8 = -6*p + 4. Suppose 2*a - 4 = p. Suppose -u + a*i + 123 = 0, -2*i = 2*u - i - 211. Is 16 a factor of u?
False
Suppose -112*c - 2*u + 4115 = -107*c, -u - 2480 = -3*c. Is 42 a factor of c?
False
Suppose -24 = -3*f + 2*f + 3*w, -3*f = 4*w - 72. Suppose 28*s + 1211 - 371 = 0. Is 68 + (f/10 - (-12)/s) a multiple of 40?
False
Suppose 2 = -d + 7, d + 15 = -4*t. Let c = -10964 + 10984. Does 3 divide 5/(c/108) + t?
False
Let g(p) = -113*p + 172. Let z be g(-9). Let v = z + 1045. Does 16 divide v?
False
Let t(i) = -i**3 - 10*i**2 + 2*i - 4. Let q be t(-10). Let x be (3/(-6))/((-1)/(-1))*q. Is 3 a factor of ((-42)/x)/(2*(-3)/36)?
True
Let f(c) = -2*c**3 + 8*c - 26. Let g = 389 + -395. Does 26 divide f(g)?
False
Suppose 14*x = c + 9*x - 3555, 4*c = 2*x + 14166. Is c a multiple of 118?
True
Let o = 3436 + -2673. Is o even?
False
Let b(f) = 5*f**2 - 3*f**2 + 1 - 60 + 79*f - 40*f. Does 19 divide b(-27)?
False
Let z(t) = t - 5. Let m be z(7). Suppose -m*f - 7 + 43 = 0. Suppose h + 2*w - f = 0, h - 5*h - 5*w = -81. Does 2 divide h?
True
Is (3 - -703) + 2 + (17 - 8) a multiple of 63?
False
Let q = 9131 + -7651. Is q a multiple of 16?
False
Let a = -31 - -42. Let f be a/2 + (-14)/28. Suppose 4*r = 5*o + 43, -r - 2*r = f*o - 6. Does 7 divide r?
True
Is 61 a factor of (((-11)/3 + 4)*14)/((-6)/(-4923))?
False
Suppose 5*g + 4*t - 294 = 0, 0 = 3*g - g + 4*t - 120. Let q be 4*g/(-28) - (-12)/42. Does 17 divide (2480/(-6))/q - (-2)/(-3)?
True
Let i = 354 - -39. Suppose 5*x = t + 607, -5*t + 42 = -3*x + i. Is x a multiple of 9?
False
Let q = 27884 + -22102. Is q a multiple of 14?
True
Let u = -18 + 21. Let m be 0 + u + 0/(-2). Suppose -129 + 633 = m*c. Is 42 a factor of c?
True
Let o = 625 - 621. Suppose m + 2*c - 2848 = -3*m, o*c = -3*m + 2126. Is m a multiple of 34?
True
Let b = 802 + 2951. Is 27 a factor of b?
True
Let p = -100 - -48. Does 10 divide (3/1)/(-3) - (p - 1)?
False
Suppose -39*r + 5*r + 4284 = 0. Suppose 0 = 3*i - 4*l - r, 2*i - i - 42 = -3*l. Is i a multiple of 6?
True
Let k(u) = 401*u**2 - u - 7. Let l be k(-3). Suppose -1831 = -12*q + l. Is q a multiple of 48?
False
Suppose 2*m - c = -13, 