+ 95, 4*x - 65 = -3*d + 5*x. Let p be (-556)/(-16) + (-6)/8. Let f = p + d. Does 26 divide f?
False
Suppose -354 = -r - 0*r + 2*v, 0 = -2*v + 6. Is r a multiple of 12?
True
Suppose 31*k = 297 + 2059. Is k even?
True
Let w be -2 + 2 + 3 + -30. Let d = w + 47. Does 5 divide d?
True
Let m be 7 - (3 - 3 - 1). Suppose 3*l + r + 0 - m = 0, 3*l - r - 10 = 0. Suppose 0 = -3*v + l + 39. Is 7 a factor of v?
True
Suppose -3*i = 7*i + 370. Let w = i - -93. Is 8 a factor of w?
True
Let g(x) = x**2 + 30*x + 33. Is 6 a factor of g(-33)?
True
Suppose 270 = 14*h - 5*h. Let r = 6 + h. Does 3 divide r?
True
Suppose 4*n = n + 33. Let s(p) = -2*p**2 + 24*p + 33. Let l be s(13). Suppose -l*d = -n*d + 144. Does 12 divide d?
True
Suppose -6*v - 33 = 21. Is 494/4 + v/6 a multiple of 61?
True
Let m = 354 - -231. Does 75 divide m?
False
Suppose 3*v = 3*k - 72, 2*k = -2*v + 6*v + 88. Suppose -6*m - 63 - 111 = 0. Let o = v - m. Is 9 a factor of o?
True
Let t(n) = n**3 + 6*n**2 - 3*n - 1. Suppose 5*m + 12 = -2*j - 14, 5*j + 31 = -4*m. Does 5 divide t(j)?
True
Let r = -66 - -120. Suppose -4*g + i + 273 = 0, 2*g - g - 5*i - r = 0. Does 30 divide g?
False
Let c(s) = -s**3 + 13*s**2 - 11*s + 8. Suppose 0*p + 24 = 3*p. Let b be c(p). Suppose -b - 85 = -5*f. Is f a multiple of 18?
False
Suppose -5*o + 17 = v, o - 2*o - 12 = -2*v. Suppose -v*p = -p - 396. Is p a multiple of 11?
True
Suppose -5*p + 52 = 21*p. Let v(n) = -120*n. Let r be v(-1). Suppose -p*b = 4*o - 76, -b - 2*b - 3*o = -r. Is b a multiple of 8?
False
Suppose -5*g = -4*n + 27 + 22, 5*g = 5*n - 55. Let i be -2 + 2/(n/15). Let t(u) = 3*u**2 + 2*u - 1. Does 16 divide t(i)?
True
Let p be (7 + -3 - 2) + -5. Let r be p/(-18) - (-1337)/6. Suppose -13 = 5*h - r. Does 11 divide h?
False
Let t(o) = -5*o - 37. Let p be t(-14). Suppose 0*l = 3*g - 5*l - 149, p = g - 5*l. Is 3 a factor of g?
False
Let c be (2 + -4)*3 - 0. Let b(n) = -n**2 + n - 1. Let i(v) = -v**3 - 8*v**2 + 8*v - 3. Let p(q) = 2*b(q) - i(q). Is 15 a factor of p(c)?
False
Suppose 0 = -22*j + 25*j - 60. Let l = 0 + j. Is l a multiple of 9?
False
Suppose 1087 = 3*w + o - 6957, 0 = -4*w - 2*o + 10724. Is 29 a factor of w?
False
Let j(k) be the first derivative of k**4/3 - k**3/6 - 2*k**2 - 8*k + 5. Let h(y) be the first derivative of j(y). Does 13 divide h(-3)?
False
Let q = -1249 + 1379. Does 65 divide q?
True
Suppose 4*u = v + 3*u - 8, -3*u = 4*v - 46. Suppose 0 = 5*i - v*i - 15. Let y(p) = -7*p - 1. Does 20 divide y(i)?
True
Suppose -29 + 88 = w. Suppose -4*p + 3*j = -272, w = p + j - 4*j. Does 15 divide p?
False
Suppose -999 - 2620 = -11*u. Is u a multiple of 24?
False
Does 6 divide (-18)/12 + (-243)/(-2)?
True
Suppose 3*b - 15*b + 108 = 0. Is 3 a factor of b?
True
Suppose 0*f = f + 4*t - 40, 0 = -f + 5*t + 40. Let n = -39 - -42. Suppose -u + 3*l = -n*u + 25, 4*u = 4*l + f. Does 10 divide u?
False
Let g = -2 - -6. Suppose 2*u = 2*n - 86, g*n = n - 4*u + 101. Suppose -n = -3*b + 3. Does 13 divide b?
False
Is 140 a factor of (-7 - 33)*30*(-126)/27?
True
Let y(x) be the second derivative of -x**4/12 + 5*x**3/2 - x**2 + 11*x. Is 2 a factor of y(14)?
True
Let i = 9 - 5. Suppose -3*q - q = -i. Suppose 0 = -2*k - 3*w + 11, -25 = -4*k - 2*w + q. Is k even?
False
Let c be 7 + (-3 + 3 - -2). Let w(o) = 0*o + 1 + 4*o + c - 4. Is 10 a factor of w(6)?
True
Let r(o) = 2 + 23*o - 28*o - 5 + 18. Does 15 divide r(-9)?
True
Suppose -35*x + 37*x = 784. Suppose k - x = -3*k. Is k a multiple of 14?
True
Let q(v) = v**3 + 4*v**2 + 2*v - 3. Let t be q(-3). Suppose -5*z = 4*h - 615, 4*z = 2*h - t*z - 340. Is h a multiple of 32?
True
Does 86 divide (-2)/((25/(-33675))/((-4)/(-3)))?
False
Let i(m) = 632*m**2 + 3*m + 2. Is 22 a factor of i(-1)?
False
Let l(g) = g + 19. Let m be l(-20). Is (-1 - -13*m/2)*-2 a multiple of 15?
True
Suppose 573 = 3*i - 2*l, 4*i + l = 4*l + 764. Suppose -2*c + 3*m = -i, -5*m = 3*c - 122 - 155. Is 5 a factor of c?
False
Suppose i = 2, 5*i = -4*s + 4*i - 134. Let u = s - -61. Does 9 divide u?
True
Suppose x + 0*m = -4*m + 6, 5*x + 2*m = 12. Suppose -g - 3*g + 563 = -a, -x*a - 6 = 0. Is g a multiple of 28?
True
Let r be (-2)/(-5) - 12138/(-30). Suppose 10*q = 13*q - r. Does 27 divide q?
True
Let t = -108 + 41. Let z = t - -124. Suppose 2*r - 4 = 6*r, -v - r = -z. Is v a multiple of 29?
True
Let c(l) = -10*l**2 + 5*l - 6. Let p(g) = g**2 + g - 1. Let i(o) = -c(o) + 4*p(o). Is i(-2) a multiple of 30?
True
Suppose -3*a = -5*z - 24, 0*a - 30 = 4*z + 3*a. Is (-2)/(z/9) - -116 a multiple of 17?
True
Let y be -2*(-3)/6 - -13. Let c be (y/21)/(2/3). Suppose g - 2*i = 0, 3*i - 2*i = g - c. Is g even?
True
Let v be 0/2*28/(-56). Suppose v*n + 696 = 12*n. Does 11 divide n?
False
Let v be (-2)/4*0/3. Suppose 4*g + 4*n - 72 = v, -4*n + 6*n = g - 21. Does 14 divide 6*(g/2 - 2)?
False
Let z be (4/(-4)*4)/(-1). Suppose z*a = 3*a - 9. Let u(s) = s**3 + 9*s**2 - 6*s + 6. Is 14 a factor of u(a)?
False
Let v = -101 + 167. Is v a multiple of 33?
True
Let r(w) = 107*w**3 - 3*w**2 - 5*w + 7. Let k(p) = 53*p**3 - 2*p**2 - 3*p + 4. Let t(d) = 7*k(d) - 4*r(d). Does 14 divide t(-1)?
True
Suppose -3*k + 0*x + 3*x = 0, -8 = 4*k - 2*x. Does 12 divide 1 - 6/9*150/k?
False
Let c(f) be the second derivative of f**4/4 - f**3/6 - f**2/2 - 5*f. Let v be c(-1). Suppose -v*u + 4*y + 37 = 0, 0*u - 5*u - 3*y = -81. Is u a multiple of 3?
True
Suppose 3*s - 93 = -3*x, -3*x + 0*s = -5*s - 133. Suppose -15 = -4*f + 1. Suppose -f*k = -k - x. Does 6 divide k?
True
Let o(k) = -15*k**3 - 8*k**2 - 15*k. Let y(b) = -7*b**3 - 4*b**2 - 7*b. Let n(m) = -6*o(m) + 13*y(m). Let r be n(-4). Suppose -r*l = -l - 15. Does 3 divide l?
False
Does 40 divide (32/(-6))/(2/(-210))?
True
Let g be ((-2)/(-6) + 1)/(12/36). Suppose 16*w - 336 = g*w. Does 28 divide w?
True
Let l = -258 + 379. Does 11 divide l?
True
Suppose 0 = 13*j + 700 - 3586. Does 4 divide j?
False
Suppose 0 = 3*t + t - 100. Is 49 a factor of 1*-2 - (-273 + t)?
False
Let l be 1*(129/(-3) + 1). Let a = l + 13. Let m = a + 40. Is 11 a factor of m?
True
Let d(v) = -v**3 + 8*v**2 - 7*v + 7. Let y be d(6). Suppose -y = -2*p + 37. Suppose b + 5*q = p, b - 7 = 4*q + q. Does 14 divide b?
False
Suppose -304*p = -300*p - 6428. Does 51 divide p?
False
Let w(m) = -m**2 - 6*m + 7. Let y = -10 + 4. Let q be w(y). Suppose q*j - 26 = 6*j. Does 8 divide j?
False
Suppose 118 = 4*k - 2*x, 4*x + 0*x + 74 = 2*k. Let r = k - -93. Is 24 a factor of r?
True
Let z(y) = -y**3 + 5*y**2 + 14*y + 3. Let w be z(7). Suppose w*l + u = 228, -3*l - 2*u = -106 - 119. Is 3 a factor of l?
False
Suppose 14 = -7*v + 35. Let w = v - -27. Is 18 a factor of w?
False
Let q = -22 - -25. Suppose -q*b + 3*n = -99, 5 = n - 6*n. Is 5 a factor of b?
False
Suppose -5*u - 482 = -4*v, -462 = -4*v + 6*u - 11*u. Is v even?
True
Let l(p) = 4*p**3 - 2*p + 9. Is 25 a factor of l(3)?
False
Let k = -9 - -16. Let s(m) = 5*m + 10. Is s(k) a multiple of 15?
True
Let f(d) = d**3 - 13*d**2 + 11*d + 16. Let t be f(12). Suppose t = -4*l + 20. Is l a multiple of 4?
True
Let s(v) = 3*v**2 + 15*v - 12. Let f(i) = -4*i**2 - 22*i + 18. Let x(k) = 5*f(k) + 7*s(k). Is 8 a factor of x(11)?
True
Let o = -53 + -396. Let w = -214 - o. Is 10 a factor of w?
False
Suppose 10*j - 4674 = 5076. Is j a multiple of 40?
False
Is 22152/15 + 138/115 a multiple of 38?
False
Let w be 3 + 0 - -1 - 36. Let g = 16 - w. Is g a multiple of 11?
False
Let l be ((-24)/(-4))/(-2) - -535. Is l/6 - 12/(-9) a multiple of 29?
False
Let g(q) = 91*q**2 + q. Let h(s) = -2*s**2 + 11*s - 6. Let x be h(5). Is 15 a factor of g(x)?
True
Suppose k - 2 = 3*k - 4*h, -h = 2*k - 13. Suppose k*i + 58 = -3*l + 319, -3*l - i = -273. Is 23 a factor of l?
True
Suppose 3*z + 3*x + 12 = 0, -4 - 1 = -5*x. Let o(r) = -r**3 - 5*r**2. Let m be o(z). Suppose f + m = 27. Does 9 divide f?
True
Let k(i) = -i**3 - 7*i**2 + 8*i - 1. Let c be k(-8). Let l be 4/((-2)/c) - -2. Let n(g) = g**2 - g - 2. Is 3 a factor of n(l)?
False
Suppose 0 = -0*j - 17*j + 51. Suppose 0 = -5*i + j*z + 235, -z + 47 = -2*i + 3*i. Does 17 divide i?
False
Let j(x) be the second derivative of -5*x**3/6 + 3*x**2/2 + x. Let l(g) = g**2 - 5*g + 2. Let f be l(3). Is 9 a factor of j(f)?
False
Suppose t = l + 4 - 1, 0 = -5*t + l - 1. Is 5 a factor of t + 132/9 - 6/(-18)?
False
Suppose 0 = -5*s - 3*y + 185, -2*s + 2*y -