*x - 2*g - 13 = -1, 3*g + 3 = x. Suppose -135 + 24 = -x*w. Is 17 a factor of w?
False
Let l(x) = 14*x. Let j(y) = -y - 11. Let s(b) = -b - 12. Let u(t) = -6*j(t) + 5*s(t). Let r be u(-5). Is 7 a factor of l(r)?
True
Let q(j) = -6*j - 3. Let p be q(2). Let r(s) = -s + 1. Let h be r(2). Does 4 divide (-63)/p + h/5?
True
Is (-1510)/(-14) - (-5)/35 a multiple of 54?
True
Suppose 0 = o - 10 - 2. Does 6 divide o?
True
Does 29 divide (-2)/8 + 1974/24?
False
Let g = -5 + -3. Let r(h) = -h**3 - 8*h**2 - 2*h - 4. Is r(g) a multiple of 12?
True
Suppose 5*f - 3*w + 9 = 0, -1 = -5*f - 5*w + 14. Suppose f = o - 3*o + 102. Let l = o + -31. Does 17 divide l?
False
Let a = -73 + -1. Is 13 a factor of a/(-2) + (-3 - -5)?
True
Suppose -2*h - 4*w - 4 = 0, 3*w - 12 = -0*h - 4*h. Suppose v - h = 3*v - 4*n, -3*n + 29 = 2*v. Is v a multiple of 7?
True
Let o be (2/3)/((-4)/6). Let c be (2 - -1)*o - 1. Is 10 a factor of 87/4 + (-1)/c?
False
Let x = -34 - -60. Is 13 a factor of x?
True
Suppose -243 = 3*f + 45. Let i = f + 165. Is i a multiple of 23?
True
Is 9/(27/(-21))*150/(-7) a multiple of 13?
False
Let h(w) = w**3 + 2*w**2 + 2*w + 8. Let b be h(-6). Let t = -78 - b. Does 16 divide t?
False
Let m be -7 + 7 + 0 + 240. Suppose -5*l + 9*l = m. Is l a multiple of 20?
True
Suppose 0 = -4*b + 2*b + 12. Suppose -b*k = -7*k + 28. Is k a multiple of 13?
False
Suppose -5*r = 2*c + 3*c - 40, r = -3*c. Suppose 0 = x + 84 + r. Let z = 141 + x. Is 19 a factor of z?
False
Let k be 2/6 + 22/6. Suppose -3*c + 2 = -k*t + 9, 0 = 3*c - t + 4. Is 10 a factor of (c/2)/((-1)/52)?
False
Let y be 14/3 + 1/3. Does 8 divide (-23)/(-4 + y + -2)?
False
Let h(z) be the first derivative of z**5/5 - z**4/3 + 2*z**3/3 - 3*z**2/2 - z + 2. Let t(x) be the first derivative of h(x). Is 8 a factor of t(2)?
False
Let w = 10 + 0. Let k(o) = 2*o + 10. Does 8 divide k(w)?
False
Suppose -3*s - 2*d = 24 + 20, -4*s - d - 52 = 0. Let o be -1 + s/(-3) + -2. Let a = 1 + o. Is 2 a factor of a?
True
Let a be (24 - (1 + -1)) + 0. Suppose -3*i + 45 = -3*h, 2*h + 20 = 5*i - 16. Let w = h + a. Does 11 divide w?
True
Suppose 6*t + 45 = 8*t - 3*k, 0 = -2*k - 10. Is t a multiple of 3?
True
Suppose -5*l = -z - 193, 0 = 2*l + 3*l - 5*z - 185. Is l a multiple of 11?
False
Suppose 4*q = -l, l + 3*q - 3 - 1 = 0. Is l a multiple of 8?
True
Let u(c) = c**2 - 3*c - 2. Let n be u(4). Suppose -g = -n*g + 48. Does 16 divide g?
True
Let o be (-3 - -6) + -1 + 1. Let i be ((-1)/(-3))/(o/18). Is -2 + 8/i - -14 a multiple of 16?
True
Let s = -7 - -14. Suppose -s = -5*d + 2*j, -5*d + d = -2*j - 4. Does 8 divide (2/d)/((-4)/(-126))?
False
Let c = -49 + 70. Does 6 divide c?
False
Suppose 5*s = 3*a + 650, 0*s - 3*s + 376 = a. Is 15 a factor of s?
False
Suppose 5*l = 2*l + 6. Let q(d) = d**3 - d**2 + 2*d - 1. Let t be q(l). Suppose 0 = -3*r + t*r - 172. Is 15 a factor of r?
False
Let b(a) = -2 + 0*a + 3*a + a. Suppose 8 = c + c. Is b(c) a multiple of 6?
False
Let y be 2/(10/6 + -1). Suppose y = -r + 21. Is r a multiple of 13?
False
Let r(k) = 9*k**2 + k. Let x be r(-2). Suppose -250 + x = 3*p. Let z = -25 - p. Is z a multiple of 13?
False
Let p be 4/(-18) - 40/(-18). Let r be (-3 + p)/(3/72). Let x = r - -40. Is 8 a factor of x?
True
Let t = 297 - 179. Does 14 divide t?
False
Let j be (-317)/(-9) - (-4)/(-18). Let n = j - 3. Let z = n - 12. Is 10 a factor of z?
True
Suppose 4*j - 10 = -j. Suppose 4*a - w + j*w = -13, -2*a = 5*w + 29. Does 11 divide 456/20 + a/(-10)?
False
Let i(m) = 84*m**2 + m. Let u be i(1). Let z = 0 + 0. Suppose 5*k = -z*k + u. Does 16 divide k?
False
Let l(p) = p**2 + 8*p + 2. Let r be l(-8). Suppose -y + 3*y + 10 = -5*z, r*z - 17 = -5*y. Let x = y - -9. Is 6 a factor of x?
False
Let l(c) = 3*c**2 - 2*c + 12. Is l(-5) a multiple of 10?
False
Let h(y) = y**3 - 7*y**2 + 6*y + 4. Let b be h(6). Suppose b*u - 31 = 61. Suppose 29 = 2*k - u. Is 12 a factor of k?
False
Let w = 54 + 1. Is 15 a factor of w?
False
Suppose -23 - 85 = -3*a. Suppose -f + 23 = -4*s + 3*s, 0 = -2*f - 3*s + a. Is 6 a factor of f?
False
Suppose 67 = -0*b + 2*b + t, t = 3. Is b a multiple of 22?
False
Suppose 2*s = 0, 3*m + 0*s - 2*s + 9 = 0. Let x be (m - 20/(-6))*63. Suppose -3*g + a = -5*g + 51, -x = -g - 5*a. Does 13 divide g?
True
Suppose -4 = w - 3*w. Is 17 a factor of w/9 - 565/(-9)?
False
Suppose -12 = -5*c + 2*c. Suppose -b + 74 = 3*z + 9, -114 = -5*z + c*b. Does 17 divide z?
False
Let c = 5 + -2. Does 8 divide 2 + (c - 1 - -12)?
True
Let v(m) = -38*m + 12. Let j be v(-6). Let l = 337 - j. Is 17 a factor of l?
False
Is 11 a factor of 22/(-4)*(40/(-4) - 2)?
True
Let y(n) = -n**2 + 2*n - 1. Let w be y(2). Suppose l + m - 35 = -3*l, -13 = -2*l - 5*m. Let p = l - w. Is 10 a factor of p?
True
Let w = 27 + -18. Suppose w*b = 7*b - 204. Let c = -66 - b. Is 18 a factor of c?
True
Let l(a) = -3*a**2 + a - 1. Let x be l(1). Is 9 a factor of (-79)/x - (-4)/6?
True
Suppose -7 = -2*k - 3. Suppose 0 = k*t - 5*i + 2 + 8, 2 = 2*t - 2*i. Suppose 0*m - 25 = -t*m. Is 2 a factor of m?
False
Let j(f) = 3*f**3 - 18*f**2 + 5*f - 1. Does 8 divide j(6)?
False
Let f(n) = n**2 - n. Let p(i) = -i**3 - 5*i**2 + 6*i + 8. Let j(c) = -3*f(c) + p(c). Suppose 3*m + 2*a + 33 = -a, -5*m - 2*a = 49. Is 4 a factor of j(m)?
True
Let n(c) = -6*c - 2. Let q be n(-3). Let v be q/6*15/4. Suppose 4*p = -t - v, -2*p = -2*t + p + 24. Does 3 divide t?
True
Let w(i) = -i**3 - 2*i**2 - 4*i - 3. Let u be w(-4). Suppose 5*m - 42 = -2*v, 0*v + 3*v + 3*m - u = 0. Does 4 divide v - (-2)/(0 + -2)?
False
Let v be (-3)/(-1)*(-8)/(-3). Let i = v - 1. Is i a multiple of 7?
True
Let g(n) = 4*n - 9. Let c = 7 - -1. Does 6 divide g(c)?
False
Let x = -28 - -15. Let z be 21 + 3*2/3. Let y = z - x. Is y a multiple of 14?
False
Let y(d) = 21*d - 65. Does 11 divide y(12)?
True
Let k be 3/1*(1 - 2). Let z be (3 + -36)/(k/8). Suppose z = 5*y - 12. Is y a multiple of 8?
False
Let t(x) = 6*x**2 - 7*x - 7. Let l be t(5). Suppose 0*h - w = 3*h - l, 0 = -5*h - 4*w + 180. Is 6 a factor of h?
True
Suppose 0 = -11*r + 324 + 424. Is 17 a factor of r?
True
Suppose 4*i = -5*w + i - 17, 2*i = -8. Let t = 21 + w. Does 8 divide t?
False
Suppose o = 2*y - 6, -3*o + 8 + 14 = 4*y. Does 4 divide y?
True
Let b(j) = j**2 - 4*j + 3. Let y be b(3). Suppose s + y*s - 6 = 0. Does 6 divide s?
True
Suppose -w + 3*k = -3*w, 4*w + 5*k = 2. Let h be (w + 1)*111/6. Suppose -10 = -2*c + h. Is c a multiple of 18?
False
Let i be 5/((-15)/2)*-3. Let h be ((-9)/(-3))/3 + i. Does 5 divide (10/h)/(1/3)?
True
Suppose -2*q - 4*o + 10 = -0*q, 3*q - 4*o + 5 = 0. Suppose -4*j = 4*b, -7 = -b + 2*j - 1. Does 9 divide (-11 + q)/(b/(-5))?
False
Suppose -3*k = k. Let d = 2 - k. Is 24 a factor of d/(-3) - 262/(-6)?
False
Suppose 2*r + 51 = 5*r. Is 17 a factor of r?
True
Let r(p) = 102*p - 1. Does 5 divide r(1)?
False
Let g(m) = m**2 - 6*m + 16. Is g(8) a multiple of 8?
True
Let p(d) = 3*d + 2 - 2 - 5 + 3. Is 8 a factor of p(6)?
True
Let t = 51 - -11. Does 21 divide t?
False
Suppose 2*t + 5*r = -9, -2*t = 2*t - 2*r - 18. Suppose -3*o = -2*i - t*i + 13, 5*o + 2*i - 30 = 0. Suppose -61 = -o*l - 5. Does 7 divide l?
True
Suppose 4*d - u - 15 - 29 = 0, 5*u + 4 = 2*d. Is 6 a factor of d?
True
Suppose 3*p + 5*b = 1039, -2*b - b - 1395 = -4*p. Is 29 a factor of p?
True
Let p = -128 + 352. Suppose 4*b = p + 76. Does 23 divide b?
False
Let k(p) = p**2 + 3. Let j be 0/(5 - 2 - 1). Let h be k(j). Suppose -2*w - 21 = -h*w. Is 12 a factor of w?
False
Let u = -70 + 101. Let h = 45 - u. Is (-12)/(-6) + 0 + h a multiple of 16?
True
Suppose 1996 = -5*r + 56. Let g be -4 + 1 + 9 + 1 + -3. Is 19 a factor of g/6 - r/12?
False
Let q = 295 + -111. Suppose x + q = 5*x. Is x a multiple of 23?
True
Is ((-32)/(-6))/(30/1125) a multiple of 40?
True
Let p = -6 + 0. Let u(c) = -100*c - 8. Let z be u(p). Is 12 a factor of (-2)/3 + z/24?
True
Let l(v) = v - 6. Let w be l(8). Let a(i) = 6*i**w - 3*i**2 - 5 - 2*i**2. Is 13 a factor of a(6)?
False
Let f be (8/(-3))/((-16)/(-648)). Let c = -60 - f. Does 16 divide c?
True
Suppose -2*q + 3*z = 2*q - 492, -240 = -2*q + 3*z. Does 42 divide q?
True
Let i be 0*4/12 + -9. Let c = -6 + 4. Is 5 a factor of c/(-9) - 115/i?
False
Let c(g) = 2*g - 20. Is c(15) a multiple of 5?
True
Is 6894/42 + (-3)/21 a multiple of 14?
False
Suppose 0*c = c - 4. Let o = 