 -4*j - 254. Does 18 divide y?
True
Let a be (-326 + -1)*7/(-21). Let x be 2 + a - (-4)/(-4). Suppose -x = -4*w - 30. Is 12 a factor of w?
False
Let a = 969 - 529. Is 12 a factor of a/3 + 13/39?
False
Suppose -5*x + l = 4*l - 3501, 3*l = 3*x - 2091. Is 60 a factor of x?
False
Let g(q) = 32*q**3 - 6*q**2 + 7*q + 1. Does 5 divide g(2)?
False
Let q(r) = -r**2 + r + 4. Let a be q(0). Suppose a*b - 5*b = -17. Suppose -b = 2*i - 43. Is i a multiple of 13?
True
Let t(j) = -2*j + 3. Let u be t(0). Let f = 11 + -10. Let v = u + f. Does 2 divide v?
True
Suppose 16 = 4*f - 6*f - 4*p, 4*p = -20. Suppose 5*b - f*b = 0. Let r(k) = k**2 + 2*k + 24. Does 7 divide r(b)?
False
Let k = 789 - -110. Let x = k - 547. Is x a multiple of 39?
False
Suppose 5*k - 4*y = 1707, 13*k - 12*k = 5*y + 354. Is k a multiple of 60?
False
Let i(g) = -g**3 - 4*g**2 + 5*g + 3. Let p be i(-5). Suppose 0 = -q + 2*j - 2, 4*q = 2*j - p + 1. Suppose -22 + q = -2*h. Does 4 divide h?
False
Let l be 0/(-2)*(-2)/4. Suppose -p - v - 2 = -l*p, p = 4*v + 23. Suppose -2*q - 92 = -2*x - x, q + 88 = p*x. Is 12 a factor of x?
False
Let i = -74 + 138. Let v = i - 23. Does 6 divide v?
False
Let i = -988 - -1104. Is 29 a factor of i?
True
Let w(m) = -3*m + 15. Let n be w(6). Let u = n - -14. Suppose 4*a - u = 21. Is 7 a factor of a?
False
Suppose -9 = -3*c - 3. Suppose -l - 3*l - 4*k = 0, -k = c*l. Let u(z) = z**3 - z**2 - z + 70. Does 10 divide u(l)?
True
Suppose 0 = 2*s + 73 + 157. Let m = s - -128. Is 12 a factor of m?
False
Let w(i) = i + 15. Suppose 0 = -t - 3. Let x = 3 + t. Does 3 divide w(x)?
True
Is 12 a factor of 31/(93/102) - (2 - -1)?
False
Let o(z) = -z**2 + 7*z + 1. Let d be o(6). Let u = -2 + d. Suppose -2*c + u = 4*k - 23, c + k - 13 = 0. Is 3 a factor of c?
True
Let l(p) = 54*p + 135. Is 8 a factor of l(4)?
False
Let m(p) = p**3 + 6*p**2 + 13*p - 8. Let a = -6 + 12. Let f(g) = g**3 + 7*g**2 + 12*g - 7. Let q(d) = a*f(d) - 5*m(d). Is 15 a factor of q(-11)?
False
Let g(f) = 2*f - 23. Let k be g(12). Suppose d - 5*u - 43 = 0, -u - k - 2 = 0. Is 28 a factor of d?
True
Suppose -25 = -5*p + 40. Let y = -8 + p. Suppose c = i - 4*i + 16, 0 = -y*c - 4*i + 102. Does 11 divide c?
True
Let t(l) = l**3 + 9*l**2 + 7*l - 6. Let p(k) = -2*k**2 + k + 2. Let f be p(-2). Let n be t(f). Suppose 0*s - n*x = -s + 4, 2*s + x = 23. Is s a multiple of 3?
False
Let n(r) = -3*r**3 - 5*r**2 - 8*r - 1. Let d be n(-5). Suppose -6*j = -j + 4*v - 359, -5*v + d = 4*j. Is j a multiple of 15?
False
Let l be (-5)/5*6/(-2). Suppose l - 11 = -k. Let m = 11 - k. Does 3 divide m?
True
Suppose 3*g = -0*g. Suppose n - 3 - 6 = g. Is n a multiple of 2?
False
Let m(g) be the first derivative of -g**3/3 - 7*g**2 + 2*g - 11. Is 6 a factor of m(-10)?
True
Let o(h) = -h**2 + 2*h + 43. Let d = 14 + -14. Suppose d*j + 5*j = 0. Is 14 a factor of o(j)?
False
Let x(z) = z**3 - 8*z**2 - 9*z + 10. Suppose 3*m + 84 = n + 2*n, n - 19 = -2*m. Let l = n + -16. Does 3 divide x(l)?
False
Let x = -1 - 12. Let c = 40 + x. Is 27 a factor of c?
True
Let y be ((-6)/36*3)/((-2)/28). Suppose y*r - 2*r = 5*f + 55, -5*f = -2*r + 25. Is r even?
True
Let p be 3 + -4 + -1 + -227. Let n = -126 - p. Is 11 a factor of n?
False
Is (-313)/(10/30 + (-8)/6) a multiple of 13?
False
Suppose -5*w - 310 = -5*b, 0 = w - 5*b + 52 + 10. Let v(s) = -s**3 - s**2 + 112. Let x be v(0). Let d = x + w. Is 32 a factor of d?
False
Suppose 4*x - 308 = -72. Let p = x - -51. Suppose -46 = -4*t + p. Is t a multiple of 13?
True
Let k(u) = 4*u**2 + 5*u - 13. Is 23 a factor of k(6)?
True
Is 30 a factor of 140/1*(-46 + 49)?
True
Suppose 0*t + 135 = 3*t. Let k be ((-54)/t)/(2/(-30)). Let v = k - 2. Is v a multiple of 4?
True
Let s = -55 + 68. Does 3 divide s?
False
Let l = 12 - 7. Suppose 7*h + 196 = l*h. Let p = -53 - h. Does 11 divide p?
False
Let w(i) = 81*i - 14. Let d(f) = 1. Let n(c) = -5*d(c) - w(c). Let v be n(-4). Suppose -4*z - z - 5*j + 415 = 0, v = 4*z + 3*j. Does 28 divide z?
True
Suppose -26*l + 32*l - 1026 = 0. Is l a multiple of 7?
False
Suppose -19*b - 32 = -15*b. Is 92 - -2*(-12)/b a multiple of 11?
False
Suppose 7 = 2*q - 1. Let d = 7 - q. Suppose 12 = g + d*t - 1, -2*g + 27 = 5*t. Is 4 a factor of g?
True
Let w = 96 - 47. Suppose -5*r + 2*r - n + 81 = 0, 0 = -4*n. Suppose w = 2*y - r. Is 19 a factor of y?
True
Let g be (-2)/(-4) - 9/18. Let t be -3 + g - (-45 - -1). Suppose -4*l + r = -44, l + 11 = 5*r + t. Does 10 divide l?
True
Suppose -20*d + 16*d + 4128 = 4*j, j - 2 = 0. Does 5 divide d?
True
Let g(j) = -j - 5. Let z be g(-9). Let l(o) be the second derivative of o**5/20 - 5*o**4/12 + o**3 - 2*o. Is 6 a factor of l(z)?
False
Let u(i) be the second derivative of i**7/2520 + i**6/90 - 7*i**5/120 + i**4/6 - 4*i. Let k(c) be the third derivative of u(c). Is 2 a factor of k(-9)?
True
Let m(z) = 72*z + 614. Is 74 a factor of m(11)?
True
Let q(g) = -g + 16. Let r be q(5). Suppose r*h = 10*h + 68. Does 11 divide h?
False
Suppose -2*s - 3 = -15. Suppose -9*v + s*v + 414 = 0. Is v a multiple of 35?
False
Let t = 126 - 90. Suppose -2*i + t = -i. Does 18 divide i?
True
Let w be -57 + 12 - 4/(4/3). Let x = 51 + w. Is 2 a factor of x?
False
Let g = 23 + -22. Let z(x) = -1 + 42*x + g - 3 + 0. Is z(1) a multiple of 10?
False
Let v = -17 + 27. Let f = v - 12. Let w(r) = -4*r**3 - 4*r**2 - 3*r. Is 11 a factor of w(f)?
True
Let c be 8/(-16)*(0 + 0 + -2). Is 14 a factor of 3 + -6 + (c - (-200)/2)?
True
Let d(t) = -t**3 + 7*t**2 + 36*t + 4. Is 5 a factor of d(8)?
False
Let b = 4487 + -1409. Is 38 a factor of b?
True
Let m(r) = -20*r + 14. Let i(g) = 1. Let v(j) = 6*i(j) - m(j). Is 30 a factor of v(3)?
False
Suppose -91*s - 25 = -96*s. Suppose s*o + 36 = 2*y, -2*y - y + 28 = -o. Is 2 a factor of y?
True
Suppose 30*k = 8*k + 13794. Does 17 divide k?
False
Is (293 + 0 - (13 - 13)) + 0 a multiple of 4?
False
Let m(x) = 194*x**2 - 26*x - 82. Is m(-3) a multiple of 42?
False
Let o(c) be the second derivative of c**5/20 + c**4/4 - c**3/3 - 2*c**2 - 4*c. Let t be o(-3). Suppose 8 = -6*g + t*g, -y + 68 = -5*g. Is 16 a factor of y?
False
Let n(v) = 15*v**2 - 4*v + 8. Suppose 0*m - 4*m + 4 = 0. Let w(b) = b**2 + 1. Let o(q) = m*n(q) - 6*w(q). Does 5 divide o(2)?
True
Let b(u) = 30*u**2 - 3*u - 3. Does 46 divide b(-3)?
True
Let t = 695 + 662. Is t a multiple of 61?
False
Let g(f) be the first derivative of -25*f**2/2 + 32*f - 24. Is g(-9) a multiple of 8?
False
Let i(k) = 5*k**3 + 3*k**2 - 5*k + 8. Let b be ((-4)/16 - 0)/(1/(-8)). Is i(b) a multiple of 10?
True
Let j(u) = 1. Let z(f) = -8*f**2 + 3*f + 4. Let t(m) = 2*j(m) - z(m). Does 12 divide t(-2)?
True
Let g(x) = 4*x**2 - 11*x + 21. Let u(a) = -a**2 - 12*a + 35. Let t be u(-14). Is g(t) a multiple of 14?
True
Let o be 0 - (2 + (-6 - -4)). Suppose o*v - 206 = -2*v. Let y = -5 + v. Is y a multiple of 24?
False
Suppose 102 = 3*t + 42. Suppose 0 = -2*l - 2*l + t. Suppose -3*z = j - 17, -2*z = -l*z - 4*j + 5. Does 3 divide z?
False
Is (-5 + 31)*(7 + 1) a multiple of 10?
False
Let x(g) = 2*g**3 - 17*g**2 + 7*g + 8. Let f be x(8). Let j(k) = -k**2 - 2*k + 27. Does 9 divide j(f)?
True
Is 17 a factor of 2/(-2) + 3 - (0 - 167)?
False
Let g be 8/36 - (-68)/18. Suppose -f = -g*a - 58, -f - a = 2*a - 23. Suppose -2 = 3*u - f. Does 5 divide u?
False
Let m be (-40)/10 - (-2 - 146). Suppose -w + 0 = -5. Suppose w*f = m + 21. Is 6 a factor of f?
False
Suppose 6*j - 4 = 4*j. Suppose -j*w = 4*b - 94, 2*b - 98 = -2*b + 2*w. Is 12 a factor of b?
True
Let k be ((-15)/5)/(-3) - 11. Let j = k + 92. Does 41 divide j?
True
Suppose -235 = -15*q - 10. Is 21 a factor of -3*10/q - -37?
False
Let j be ((-8)/(-24))/((-2)/(-6)). Suppose -29 = -d - j. Is d a multiple of 7?
True
Let y = -530 - -122. Is (2/6)/((-2)/y) a multiple of 17?
True
Suppose 77*x - 3240 = 73*x. Is 27 a factor of x?
True
Does 23 divide (-6)/27 + 25892*4/144?
False
Let o be 1/(-4) - 425/(-68). Let s = 10 - o. Is 9 a factor of s + (-12)/(-9)*24?
True
Let k = 10 + -6. Let l be k*-4*-1 - -2. Suppose 0 = a - 2 - l. Is 5 a factor of a?
True
Let t(r) = -32*r + 152. Does 10 divide t(-19)?
True
Suppose 5 - 8 = -d. Suppose 87 = d*h - 30. Is 13 a factor of h?
True
Let j = -491 - -566. Is j a multiple of 59?
False
Let d(i) = -i**3 + 6*i**2 - 2*i + 3. Let a(j) = -3*j**2. Let g be a(-2). Let l be 10/(-3)*g/10. Is