, 3*g - 159 = -4*l. Is 3 a factor of l?
True
Let f(j) = 38*j**2 - 14*j + 27. Does 19 divide f(6)?
True
Let g be 2*2 - (-2 + 3). Let r be (-126)/105*80/6. Is (r/g)/(20/(-150)) a multiple of 8?
True
Suppose 8 = -4*y - 12. Let j be ((-135)/(-18))/((-2)/(-4)). Let f = y + j. Does 5 divide f?
True
Suppose 3*v + 106 = 490. Does 9 divide v?
False
Let k = -98 - -102. Suppose 2*h - 197 - 59 = -5*r, 3*r + 486 = k*h. Does 27 divide h?
False
Suppose p = -p + 24. Let c be 0*(-3)/p - 0. Suppose -v = 4*v + 4*o - 189, 5*o + 20 = c. Is 11 a factor of v?
False
Let c(w) = -3 - 4*w + 5*w + 1 + 6*w. Let h be c(1). Suppose 3*n + 10 = n, 3*b = h*n + 241. Is b a multiple of 19?
False
Let p = 31 + -20. Let y = -9 + p. Suppose -2*a + 0*s + 58 = 2*s, -2 = -y*s. Is 14 a factor of a?
True
Is 2 a factor of (-175)/(-5)*(7 + (-6 - -2))?
False
Suppose -k = 3*a + 3 - 19, 3*k + 17 = 4*a. Suppose -5*c = a*d - d - 30, -6 = 2*c - 2*d. Suppose 3*w - 2 = c*w. Is w even?
True
Suppose 5*w - 1230 = -4*v - 120, 0 = 5*w + 2*v - 1120. Does 25 divide w?
False
Suppose 0 = 27*f - 26*f - 2*y - 3343, 13354 = 4*f - 2*y. Does 47 divide f?
True
Suppose 0 = -2*m + 27*m - 2250. Is 10 a factor of m?
True
Is 7 a factor of ((-894)/18 + -2 + -1)*-9?
False
Suppose 6*h + 2*g - 5230 = 2*h, -4*g = -4*h + 5200. Is h a multiple of 71?
False
Let z(h) = -h**2 - 21*h + 40. Let i be z(-25). Let y = -15 + 60. Is 17 a factor of (i/(-9))/(6/y)?
False
Suppose 10 = 4*y + 2*x, 4 = -2*y + 2*x - 6. Suppose -f = -y*f - 18. Is 3 a factor of f?
True
Let x(b) be the third derivative of -b**6/120 - b**4/12 - 4*b**3/3 - 7*b**2. Let p be x(-6). Suppose t = 6*t - p. Does 14 divide t?
False
Let s be (8/10)/(2/535). Suppose -4*n + 6*n - s = 0. Suppose -5*k - 4*p + n = -365, p - 371 = -4*k. Is k a multiple of 15?
False
Is -106*(-7 - 36/12) a multiple of 14?
False
Let x be (-22 - 1)*(17 + -16). Let s = -3 - x. Is s a multiple of 8?
False
Does 39 divide 2334/4 - (-30)/20?
True
Let f be 2/4 + 6/4 - 50. Let z = f - -64. Is z even?
True
Does 6 divide (-7 + 6 - 4) + 37?
False
Suppose 2*a - l = -42, -5*l = 5*a - 0*l + 135. Suppose 3*n + 5*g - 110 = 0, 4*g - 2*g = 5*n - 204. Let d = n + a. Is d a multiple of 5?
False
Let g = 380 - 376. Suppose 2*x - 292 = -5*f, 42 + 26 = f - 2*x. Suppose 7*u = g*u + f. Does 6 divide u?
False
Let n(b) = -4*b - 5. Let k be n(6). Let s(x) = -5*x - 55. Does 9 divide s(k)?
True
Let n(y) be the third derivative of y**4/6 - 19*y**3/6 + 4*y**2. Let d be n(14). Let h = 74 - d. Is h a multiple of 13?
False
Let r = -10 + -10. Let z = r - -30. Is 3 a factor of z?
False
Let c = 373 + 119. Does 12 divide c?
True
Let u be 9/((-18)/(-32)) - 1. Is 52 a factor of 0 - (6/u - 844/10)?
False
Let l(w) = -37*w**3 - 2*w**2 - 2*w. Suppose -4*y + 3*p - 8 = -p, 0 = 2*y + 2*p. Is 20 a factor of l(y)?
False
Suppose 0*p = -2*i - p - 6952, 5*i = 4*p - 17393. Does 19 divide (4/(-6))/(19/i)?
False
Suppose -3*i - 61 = -7*x + 5*x, 3*x + 3*i - 54 = 0. Suppose -145 + x = -2*g. Is g a multiple of 6?
False
Suppose 0 = -p + 4*p + 123. Let y = p - -93. Does 23 divide y?
False
Is 204/(-68) - (0 - 30 - 2) a multiple of 23?
False
Let q(y) = 3*y. Let r be q(1). Suppose -r*j + 245 = 5*t, 4*j - 9*j + 79 = 2*t. Suppose -184 + t = -4*x. Is 11 a factor of x?
True
Suppose 0*q + 2*q = -5*p + 293, -q = 4*p - 154. Is 13 a factor of q/3 + 5/15?
False
Let d be (26 + 1)/((-6)/(-4)). Let q be 85/(-17)*(-4)/(-5). Does 2 divide q/6*(-81)/d?
False
Suppose 13*q - 3*r = 3*q + 464, 0 = -5*q - 5*r + 245. Is q a multiple of 19?
False
Suppose 15 = 5*s, p - s - 31 = 95. Let q be (-2 + 5)/(-3)*-74. Let t = p - q. Is 13 a factor of t?
False
Let j(w) = w**3 + w**2 + w - 12. Let f be j(0). Let v be (-200)/f + 2/6. Suppose -v*a + 13*a = -340. Is 36 a factor of a?
False
Let q be (9/(-2) - -3)*200. Let r = 560 + q. Suppose r = 3*b + 92. Does 23 divide b?
False
Suppose -5*s + 55 = -260. Let p = 122 - s. Does 15 divide p?
False
Suppose 12*m = 870 + 2214. Is m a multiple of 38?
False
Let j(k) = -k**3 + 13*k**2 - 10*k - 9. Let w = 43 - 32. Is 13 a factor of j(w)?
False
Let t(z) = 5 + 5 - 4 - z**2 + 21*z. Is 11 a factor of t(18)?
False
Let i(z) = 13*z**2 - 19*z - 10. Is i(23) a multiple of 49?
False
Let m(q) be the second derivative of 5*q**3/6 - 5*q**2/2 - 5*q. Is 11 a factor of m(9)?
False
Let n(o) = -o - 5. Let i be n(-10). Let d(j) = 4*j**2 - 2*j - 4. Does 6 divide d(i)?
False
Let s be 1/(6/4) + 4/3. Suppose j + 4*j - 951 = 2*n, -2*j + s*n + 384 = 0. Is 27 a factor of j?
True
Let s(y) = -y**3 - 4*y**2 + y + 2. Let o be s(-4). Let l be o/(-11) + (-186)/(-66). Suppose -2*u = -q - 12, q = l*u + 7 - 26. Is u a multiple of 7?
True
Let u(q) be the second derivative of q**4/12 - q**3 - 3*q**2 + q. Suppose z + 6 = 18. Does 22 divide u(z)?
True
Suppose -2*k - 31 = -89. Suppose 0 = 9*z - 29 + 11. Suppose z*f + 2*f = b - k, b - 4 = -f. Is 2 a factor of b?
False
Let l(i) be the second derivative of i**4/12 + i**3/2 - 7*i**2/2 - 23*i. Is 7 a factor of l(4)?
True
Let o = 864 - -609. Is 21 a factor of o?
False
Does 19 divide 97 - 4*2/4?
True
Let a(g) = -3*g + 1. Let d be a(-1). Suppose -2*z + 4*y + 114 = 0, 318 = 5*z - 3*y + d*y. Is z a multiple of 7?
True
Let j = 331 - 163. Suppose 2*q - j = -2*f + 6*f, 5*q - 402 = 4*f. Does 14 divide q?
False
Is 7 a factor of 1740/45*(1 - -5)?
False
Let q = 1 + -5. Let l(v) = -15*v - 6. Let i(z) = -13*z - 7. Let f(t) = -2*i(t) + 3*l(t). Is f(q) a multiple of 24?
True
Let o(r) = r**2 - 4*r + 3. Let c be o(2). Let g(y) = -y**3 - y**2 + 2. Let z(b) = -4*b**3 - 5*b**2 + 9. Let v(k) = 9*g(k) - 2*z(k). Is v(c) even?
True
Let b(r) = -13*r**3 - 4*r**2 + 4*r + 7. Is 10 a factor of b(-3)?
True
Let t = -542 - -916. Is t a multiple of 22?
True
Suppose -214 = 6*j - 58. Let q = j + 146. Is 24 a factor of q?
True
Suppose 29*f + 4*p = 27*f + 5984, -2*p - 8 = 0. Is 21 a factor of f?
False
Let g(i) be the first derivative of 1/2*i**4 + 0*i - 1/2*i**2 + 3 - i**3. Does 24 divide g(3)?
True
Let p(f) = 85*f**2 - 1. Let c be p(-1). Suppose a = -a + c. Is a a multiple of 21?
True
Suppose 6 = 8*c - 10. Suppose -4 = 2*z, -c*d + 52 + 132 = -2*z. Is d a multiple of 18?
True
Let s(f) = f**3 - f**2 + f + 1. Let k(r) = 7*r**3 + 3*r**2 + 17*r + 5. Let o(n) = -k(n) + 6*s(n). Is o(-9) a multiple of 25?
True
Let o be 30*(3 - 27*3/(-15)). Suppose -3*u - 4*u + o = 0. Is u a multiple of 12?
True
Let b(y) = y**2 - 4*y. Suppose 12*d = 7*d + 15. Let m be b(d). Does 12 divide 3/3*(33 + m)?
False
Suppose 6 = -4*i - 2, 0 = 2*w + 5*i - 268. Let q = -1 - -4. Suppose -5*v + w = q*z, 5*z + 7*v - 237 = 4*v. Is 12 a factor of z?
True
Let h = -116 - -121. Suppose h = -2*g + 3, -155 = -3*o - g. Does 16 divide o?
False
Suppose 0 = -3*c - 2*c + 25. Suppose -c*m = -m. Suppose -2*b + 44 + 60 = m. Does 11 divide b?
False
Let i be 8/(-10)*45/(-18). Let u(w) = -1 - 1 + 5*w + 4 + 3*w. Is u(i) a multiple of 6?
True
Let z = 27 - 23. Suppose 4 + 13 = 2*c - 5*n, 49 = z*c - 5*n. Is 5 a factor of c?
False
Let b = 9808 - 6632. Is 146 a factor of b?
False
Let c = 7 - 10. Let i = 32 + c. Suppose -2*o + 1 = -i. Is 3 a factor of o?
True
Let j(d) = 38*d - 641. Is j(20) a multiple of 2?
False
Let z be (-6)/2*(-830)/30. Is 1 + z + (3 - 7) a multiple of 16?
True
Let z be (-8)/(-40) - (-554)/5. Let j = z + -163. Does 10 divide 2/(-13) - 528/j?
True
Let j(q) = -q**2 + 6*q + 2. Let v be j(6). Suppose 4*f - 17 - 23 = 0. Suppose -s = v, -k + s - 2*s = -f. Is k a multiple of 6?
True
Let s = 2187 + -1523. Does 17 divide s?
False
Suppose 8*u = 4*u + 88. Is 5 a factor of u?
False
Let t(b) = 2*b**3 + 42*b**2 + 41*b. Is 19 a factor of t(-19)?
True
Suppose 2*l = 0, -4*c + 0*l + 4*l = -2300. Let m = c + -365. Is m a multiple of 42?
True
Does 48 divide (252/(-40)*-38)/((-36)/(-120))?
False
Let d(c) = c**3 - 4*c**2 - 5*c - 1. Let t be d(5). Let l(z) = -z**3 + 7*z - 2. Let p be l(-4). Let r = p - t. Does 16 divide r?
False
Let r(j) be the second derivative of 13*j**4/12 + j**3/3 + 3*j**2 + j. Is r(-2) a multiple of 15?
False
Suppose 6*g + 20 = 11*g. Suppose 3*z - 230 = -5*c, -g*c + 104 = z - 73. Does 15 divide c?
False
Does 17 divide 2*(-8 - 1197/(-6))?
False
Let g be ((-4)/5)/((-2)/5). Suppose 0 = -3*z, -12 - 133 = -m + g*z. Is m a multiple of 38?
False
Suppose -9*z + 3*z = -1992. Suppose -2*y - 18 - 42 = -x, 2*y + z = 5*x. Is x a multiple of