 (-3)/5 - 1243/(-5). Suppose 0 = -2*n - 2*n + g. Let h = n + -30. Is h a multiple of 16?
True
Let j(q) = -q**3 + 10*q**2 - 8*q - 6. Let w be j(9). Suppose 85 = 5*c + p, -5*c + 0*p + w*p = -65. Is 8 a factor of c?
True
Suppose -5*z = 2*u - 14, 3*u = -z - 1 - 4. Let v be -10 + 2/z*2. Let r = 15 + v. Is 3 a factor of r?
True
Let d(r) = r**2 - 8*r + 2. Let t be d(5). Let u = 21 - t. Is 8 a factor of u?
False
Suppose 2*l + 6 = 4*t, 3*l + 10 = 5*t + 4. Suppose t*i + i - 180 = 0. Does 15 divide i?
True
Let o(n) = -3*n**3 + n**2 + 2*n + 1. Let d be o(-1). Is 17 a factor of d/(-6) + 35/2?
True
Let i be (-2)/4 + 18/4. Suppose i = -2*v - 2*v. Does 13 divide v/4 - 351/(-12)?
False
Let z(q) = q**3 + 12*q**2 - 18*q + 15. Is 20 a factor of z(-13)?
True
Let w(x) = 3*x**3 - x**2 + 3*x - 5. Is w(2) a multiple of 21?
True
Suppose -93 = -3*i + q + 2*q, 0 = -2*i - 5*q + 34. Does 9 divide i?
True
Let n be (-12)/(-15)*(-10)/(-4). Suppose -2 = 3*h - 5*y, 3*h + 3*y - 18 = n*h. Is h a multiple of 3?
True
Let f be 3 + -3 + (-1 - -3). Let j(u) = -u**3 + u**2. Let s(m) = m**3 - 8*m**2 - 4*m - 1. Let a(x) = f*j(x) + s(x). Does 10 divide a(-6)?
False
Suppose -2*c + 42 = -292. Is 32 a factor of c?
False
Let s(f) = 15*f + 3. Is s(3) a multiple of 8?
True
Suppose 4*f - 3*v - 119 = 0, 4*f + f - 151 = 3*v. Is 16 a factor of f?
True
Suppose 0 = 20*b - 16*b. Suppose b = -t - 5 + 25. Is t a multiple of 7?
False
Suppose b - 30 + 0 = 0. Suppose -t = -w + b, 0 = -w + 3*t - 1 + 27. Is w a multiple of 9?
False
Let z = -8 - -18. Does 2 divide z?
True
Let i be (-40)/(-18) + 6/(-27). Let x = i - 2. Suppose x*t = t - 27. Is t a multiple of 11?
False
Let c(h) = 11*h**2 - h + 1. Does 4 divide c(1)?
False
Let t(m) be the third derivative of 1/120*m**6 + 7/60*m**5 + 3/2*m**3 + 5/24*m**4 + 0*m + 0 - m**2. Is 5 a factor of t(-6)?
True
Suppose 5*i - 9 = 4*f, 4*f - 4*i + 1 = -3. Suppose 64 - 200 = -f*v. Is v a multiple of 10?
False
Let h(o) = o**2 + 6*o. Suppose 0 = 6*l - 4*l - 24. Let u be 1/3 + (-100)/l. Is 16 a factor of h(u)?
True
Suppose 5*w + 3*l - 191 = -12, -4*w + 3*l + 127 = 0. Is w a multiple of 5?
False
Let s = -96 + 161. Does 32 divide s?
False
Let m = -6 - -8. Suppose -4*i = -m*i - 44. Is i a multiple of 17?
False
Suppose 0 = -2*y - y. Suppose y*r = 3*r - h - 58, -2*r = -h - 38. Let i = r - 11. Does 7 divide i?
False
Let x be 6/9 + 124/(-6). Let s = -13 - x. Is 6 a factor of s?
False
Is (1 - 15)*(13 - 14) a multiple of 7?
True
Let z(v) = 4*v**3 - v**2 - 2*v. Let t be z(2). Suppose 4*l - 3*c = -7*c + t, 0 = -l + 4*c + 31. Does 11 divide l?
True
Suppose -15 = 3*v, 4*v + 25 = -r - v. Suppose r = -5*c + 5*x + 19 + 231, 2*x = -3*c + 165. Is 14 a factor of c?
False
Let u be (-2 + 3)*(2 + -2). Suppose u = -g - 5*a + 10 + 11, -3*g + 51 = 3*a. Does 4 divide g?
True
Let g = -1 - -1. Suppose -5*c - 5*b + 39 + 6 = g, -c + 21 = 5*b. Does 3 divide c?
True
Let s(m) = -2*m - 3. Let h be s(0). Let w(o) = 2*o**2 + 3*o + 1. Let j be w(-4). Let u = j + h. Is 9 a factor of u?
True
Let x(z) = 9*z + 7 + 7 - z**2 + 0*z**2. Let d be x(10). Suppose v - p - 149 = -3*v, -3*p + 129 = d*v. Is 10 a factor of v?
False
Let r(x) = x**3 + 5*x**2 + 1. Let q be r(-3). Let h = 30 - q. Is 5 a factor of h?
False
Suppose -m + 6 = 2*j - 7, 3*m - 55 = -2*j. Does 4 divide m?
False
Suppose 0 = 3*v + 5*j - 18, 5*v - 2*j = -5 + 4. Let b(g) = g - 6. Let y be b(-7). Does 13 divide (1/v)/((-1)/y)?
True
Suppose 5*r - 56 = 459. Suppose 5*i = 2*g + 205, -2*i = -8*g + 3*g - r. Is 8 a factor of (i/6)/(3/6)?
False
Suppose -h + 1 = o - 6, 2*o - 6 = 0. Suppose -4 = -3*t - t. Let z = h + t. Does 5 divide z?
True
Let z be (-46)/(-10) + 4/10. Is 11 a factor of (-2)/z - (-685)/25?
False
Let t = 73 - 17. Does 8 divide t?
True
Let q(k) = k**2 + 9*k - 1. Let n be q(-9). Let p(r) = -13*r - 1. Is p(n) a multiple of 6?
True
Let b(j) = j**2 + 5*j - 4. Let s be b(-6). Suppose s*m + 14 - 38 = 0. Does 4 divide m?
True
Suppose 298 = 5*j - 2*x - 6, -j = x - 58. Suppose 0 = -g - 2*g + j. Suppose g - 3 = d. Is 12 a factor of d?
False
Let n be 14/(-4) + (-6)/12. Let o = 12 + n. Does 4 divide o?
True
Suppose -3 + 51 = 4*k. Is k a multiple of 12?
True
Does 10 divide (-6 + 9)/(3/10)?
True
Let f be (3 - 2) + (-2 - 0). Let v = 1 + f. Let h = v - -3. Is h even?
False
Let v(w) = -1 + 3*w - 1 + w**2 - 3. Let g be v(-5). Suppose 37 = g*n - 4*s, 0*n - 2*s = -3*n + 21. Does 5 divide n?
True
Suppose 0 = b + 3 + 8. Let z = -3 - b. Is z a multiple of 4?
True
Let p(q) = -q**3 - 2*q**2 + 3*q + 10. Is p(-4) a multiple of 17?
False
Suppose -p - 3*k + 19 = 0, 5*k - 45 - 52 = -4*p. Does 14 divide p?
True
Suppose 5 + 5 = -2*u + k, -4*u - 36 = 2*k. Let o = -5 - u. Let p(j) = 6*j**3 - 2*j**2 - j - 2. Is p(o) a multiple of 12?
True
Suppose -5*i = 4*y - 154, -4*i + 3*y + 57 = -2*i. Let l = 7 - 4. Suppose l*j - i = -2*j. Is j a multiple of 6?
True
Let m(u) = u + 11. Let w be m(-6). Suppose 3*q - 2*b - 6 - 11 = 0, -2*b + 39 = w*q. Does 3 divide q?
False
Suppose 4*h - 4 - 4 = 0. Suppose -26 = -c - 6*f + h*f, -3*f - 85 = -4*c. Is c a multiple of 22?
True
Let v be (-2)/(-5) - 52/(-20). Suppose 3*i = v - 9. Let p = i - -19. Does 11 divide p?
False
Let f(p) = -2*p - 4. Is f(-7) a multiple of 2?
True
Let h be 10/(-25) - (-39)/(-15). Does 12 divide (12/4 - 8)*h?
False
Let z(r) = r**3 - 6*r**2 + r + 6. Let q = -6 - -12. Does 6 divide z(q)?
True
Let g = 2 + 2. Let d(j) = j**3 - 2*j**2 + 7*j - 6. Is d(g) a multiple of 27?
True
Let j(i) = -i**3 - i + 1. Let r = -3 + 5. Let u be j(r). Does 8 divide (-46)/(-6) + (-3)/u?
True
Let z be (1/(-3))/(1/(-99)). Suppose -z = -t + 9. Does 21 divide t?
True
Let i(t) be the second derivative of t**5/20 + 5*t**4/6 - t**3/3 + t**2/2 + 2*t. Does 7 divide i(-10)?
True
Let r(y) = y**3 - 15*y**2 + y + 25. Is r(15) a multiple of 8?
True
Let o(d) = 25*d. Is 5 a factor of o(2)?
True
Suppose 2 = -z + 5. Suppose 0 = z*x - 3*c - 72 - 12, 4*x = 3*c + 110. Is 13 a factor of x?
True
Suppose 6*q = -0*q + 444. Is q a multiple of 10?
False
Let c = 4 + 2. Suppose -z + 20 = -c. Does 19 divide z?
False
Let q be -1 - (-1*5 - 0). Suppose 0*h - 3*g = 5*h - q, 5 = -2*h + g. Is 6 a factor of ((-6)/(-3)*-6)/h?
True
Let s = -20 - -43. Is 8 a factor of s?
False
Let g(t) be the third derivative of t**6/120 + t**5/10 + t**4/24 + t**3 + 2*t**2. Let i be g(-6). Suppose 0 = -i*m + 5*m - 60. Is m a multiple of 8?
False
Let q = 72 + -61. Is q a multiple of 11?
True
Let o(v) = -2*v**2 + 4 + 7*v + 0*v**2 + 4 + v**2. Does 5 divide o(6)?
False
Let n(k) = 50*k**2 - 1. Is 18 a factor of n(-1)?
False
Let m be 6 + -2 + -3 - 2. Does 11 divide 54/5 - m/5?
True
Suppose 3*y - 5*q + 13 = 0, 2*q = -3*y + 4 + 18. Is 32/y - 1/(-1) a multiple of 2?
False
Let c(l) = -l**3 + l**2 - l + 5. Let h be c(0). Suppose -h*n + 62 - 2 = 0. Is n a multiple of 12?
True
Let o(t) = t**2 + t + 72. Is o(0) a multiple of 20?
False
Suppose -5*k + 109 = -51. Is 8 a factor of k?
True
Suppose 0 = 5*f - 248 + 3. Does 10 divide f?
False
Let a(t) = 3 + 11*t**2 - t + 3*t + 8*t**2. Is 25 a factor of a(-2)?
True
Suppose -2*w = w + 12, -5*w + 22 = 3*g. Suppose -g = -2*y - 4. Does 2 divide y?
False
Suppose -6*s + 3*s + 4*f + 25 = 0, 0 = 2*f + 2. Let y(l) = -2*l + 6. Let b be y(s). Does 21 divide b + 8 - (-61 - 1)?
False
Let i be 1/2 - (-3)/6. Let d(p) = 40*p**3 + p - 1. Let m be d(i). Suppose 2*y - m = -3*y. Does 3 divide y?
False
Is 21 a factor of 85 + (-4)/4 + -3?
False
Suppose v - 3*u - 13 = 3, 4*v - 28 = 3*u. Does 12 divide (-37)/((1 - v)/3)?
False
Let t(l) = -l**2 - 4*l + 1. Let a be t(-4). Let s be (2/(-2))/(a/(-3)). Suppose -2*n + o + 28 = 2*n, -n + s*o - 4 = 0. Is 4 a factor of n?
True
Suppose -3*y = -2*h + 5, -y + 3*h = h - 1. Is 7 a factor of 16 + 2 - 9/y?
True
Let u be (-4)/(2*(-3 + 2)). Suppose 2*h + 5*w - 52 = 0, 4*h - u = 3*w + 76. Suppose 0 = -4*f + f + h. Does 7 divide f?
True
Let y(g) = -g + 7. Let o be y(4). Suppose -3*c + 3*n + 3 = 0, c - 6 = -o*n - 1. Suppose 8*r - 2*t = 3*r + 76, -4*t + c = r. Does 14 divide r?
True
Let j be 1/(2 - (-2 - -5)). Let x be 1/(j - (0 - 0)). Let n = 4 + x. Is 3 a factor of n?
True
Let t(l) = -l**3 - 11*l**2 - 11*l + 9. Let i be t(-11). Suppose 4*r = -q - 21 + i, 155 = 5*r - 5*q. Is r a multiple of 15?
False
Suppose 0 = -2*t - 4*a + 252, 0*a - 8 = -2*a. Is 35 a factor of t?
False
Let f be 1 +