 - 5*f = -44. Let s = o + d. Is 14 a factor of s?
False
Let r = 5 + 28. Does 4 divide r?
False
Suppose -6*j + j + 20 = 0. Suppose -2*o = 2*h - 24, -j*h + 2*o = -o - 76. Does 8 divide h?
True
Let k(m) be the third derivative of m**5/60 - 5*m**4/24 + 2*m**3/3 - 4*m**2. Let h be k(4). Suppose -3*c + 8*c - 70 = h. Is c a multiple of 14?
True
Suppose -252 = -v + 3*v. Let i = -128 + 41. Let y = i - v. Is 20 a factor of y?
False
Let z = 22 - -56. Does 39 divide z?
True
Let x be (0 - -5)*12/15. Does 8 divide (x - 2)/((-2)/(-8))?
True
Suppose 3*p - 3*k + 14 - 245 = 0, -5*p + 394 = -2*k. Does 16 divide p?
True
Let z = -99 - -114. Is 3 a factor of z?
True
Suppose -5*a + 104 = -71. Is a a multiple of 7?
True
Let s = -15 - -21. Does 6 divide s?
True
Suppose 10 = -2*r, -4*u + 2*r - 4*r = 2. Suppose 0*t = u*t - 30. Is t a multiple of 8?
False
Let o be 6/4*(-4)/6. Does 14 divide 7*(3 + 0 - o)?
True
Let z = -14 + 6. Let c = 14 + z. Does 6 divide c?
True
Does 14 divide -2 + 0 + 5 - -18?
False
Let h(n) = n**2 + 3*n + 5. Let r be h(-4). Let x(m) = -m + 12. Let d be x(r). Suppose 5*l - 15 = 0, 2*b - d*l - 2 = 1. Is 3 a factor of b?
True
Let r be (-2)/(-5) - 1268/(-5). Is 14 a factor of (-4)/18 - r/(-9)?
True
Suppose 5*v = 3*p + 83, 12 = 3*v - 2*v + 4*p. Does 16 divide v?
True
Let y(s) = s**2 + 9*s + 5. Does 5 divide y(-10)?
True
Let b(i) = -6*i + 4. Suppose 4*p = -2*q - 2*q - 28, 12 = -4*p. Is 11 a factor of b(q)?
False
Suppose 0*r = 5*r - 80. Suppose b = -3*b + r. Suppose 92 = 4*w - b*n, 4*w - 59 = -3*n - 2. Is 6 a factor of w?
True
Suppose -219 = -4*c - c + 2*f, -5*c = -5*f - 210. Does 15 divide c?
True
Let m be (-2)/7 + (-95)/35. Let s = 4 + m. Suppose 0 = -i + s, 2*p + 0*i = i + 21. Is 11 a factor of p?
True
Let c = 102 - -30. Is c a multiple of 11?
True
Let y be (7 - 1)*1 - 0. Let z = -6 + y. Suppose 5*q - 69 = -r, z*r - 4*r - 74 = -5*q. Is q a multiple of 14?
True
Let m(c) = c**3 + 7*c**2 + c + 5. Let u = 9 + -16. Let y be m(u). Let g = 7 - y. Is 7 a factor of g?
False
Suppose -a - 3 = -2*a. Does 9 divide 1 - 0 - (-16 + a)?
False
Let v be 10/((-58)/(-56) + -1). Suppose 0*i = 4*n + i - v, -i = -3*n + 210. Suppose 0*m - 5*m = -n. Is 10 a factor of m?
False
Let i = -47 + 96. Is i a multiple of 7?
True
Let n = -103 - -128. Does 5 divide n?
True
Let a = -2 + 8. Suppose -4*w + 12 = 0, -a*w = -4*o - w + 33. Is 6 a factor of o?
True
Let l(v) = 5*v + v**2 - 4 - 3*v**2 + 4*v**2. Is 5 a factor of l(-5)?
False
Let s be (-6)/(-9)*(-73 + -2). Does 26 divide s/(-3)*(-5 + 8)?
False
Let c(g) = g**3 - 2*g**2 + g. Let i be c(1). Let r(t) = -t. Let x be r(i). Suppose 0*k + 2*k - 88 = x. Does 22 divide k?
True
Let m = 75 - 33. Is m a multiple of 7?
True
Suppose -46 + 130 = -4*b. Is ((-6)/5)/(b/70) a multiple of 2?
True
Suppose 3*u + 3*k = 21, -3*k = 3*u + 2*k - 31. Let z(v) = 2*v - 21. Let g be z(15). Suppose -10 = -2*a + 5*m + g, 4*a + u*m - 50 = 0. Is a a multiple of 12?
True
Suppose 2*g - 206 = -3*q + 416, g = -q + 207. Is q a multiple of 16?
True
Does 7 divide (126/(-15))/(9/(-30))?
True
Let v(f) = -2*f - 5. Let k be v(5). Is 7 a factor of (k/10)/((-3)/64)?
False
Suppose -5*k = -6*p + 3*p - 127, k + 5*p = 31. Let j = -4 - -4. Suppose j = -x + k. Is 13 a factor of x?
True
Let n = -7 + 17. Suppose -8*k = -n*k + 116. Is 29 a factor of k?
True
Let u = 154 - 51. Does 35 divide u?
False
Let l(h) = -h**3 + 7*h**2 - 6*h - 3. Let k be l(6). Let q(y) = -4*y + 3 - 2 + 3. Does 8 divide q(k)?
True
Suppose w + 15 = 7*p - 3*p, -4*w = -4. Suppose 5*x = 3*t - 34, -p*t - 2*x + 2 = -0*t. Suppose c - t*c = -12. Does 2 divide c?
True
Suppose 432 = -65*z + 69*z. Is 15 a factor of z?
False
Let n(g) = -g**2 + 6*g - 4. Let p be n(6). Let z be p/18 + 195/27. Let j = z + -3. Is 3 a factor of j?
False
Let a be (-9)/2*(-24)/3. Let u be -2 - 7/((-14)/a). Does 7 divide 1/(2/(u - 2))?
True
Let v(d) = -35*d. Is v(-1) a multiple of 6?
False
Let v be (-6)/(-4)*(4 + 0). Let u(k) = 2*k**2 - k - 2. Let s be u(v). Let r = -22 + s. Is r a multiple of 21?
True
Suppose 0*o - 2*x - 19 = -3*o, -x + 22 = 3*o. Does 7 divide o?
True
Let c(x) = -5*x - 1. Let q be c(-1). Is 19 a factor of 34/3*(-1 + q)?
False
Suppose 4*i = 2*p - p - 31, -2*p - i + 44 = 0. Suppose -3*v = 5*g - 82, 3*g - p = -3*v + 31. Is 3 a factor of g?
False
Let s(a) = -a**3 + 9*a**2 + 37*a + 9. Is 57 a factor of s(9)?
True
Let g(u) = 2*u**2 + 17*u + 35. Is 10 a factor of g(-9)?
False
Suppose -4*n - 10 - 2 = 4*d, -2*d = -n + 6. Let k be (-2)/d*(-9)/(-2). Is (-1)/(-1)*(10 - k) a multiple of 7?
True
Let u(m) = 9*m + 9. Let y be -6 + 4 + 14 + -2. Does 29 divide u(y)?
False
Does 4 divide (-2)/2*(0 + 9)*-4?
True
Suppose -3*r - n = -2*n + 6, 2*r + 5*n = -4. Is (-219)/(-6) + r/4 a multiple of 9?
True
Suppose 11 = 3*r - m, 3*r + 5*m + 0 = -19. Suppose r*n = 24 + 40. Does 9 divide n?
False
Let h(s) = 22*s**2 + s - 1. Suppose -3*b + 1 + 2 = 0. Is h(b) a multiple of 11?
True
Let j(i) = -i**2 - 11*i + 4. Suppose 4 + 1 = o. Suppose o*g + 16 = -14. Is 17 a factor of j(g)?
True
Let k(p) be the third derivative of -11*p**4/8 + 4*p**2. Does 11 divide k(-1)?
True
Suppose -4*z + 26 = 6. Suppose -10 = z*s - 10*s. Suppose s*q - 46 = 6. Is 10 a factor of q?
False
Let x = 79 - 40. Does 15 divide x?
False
Suppose 7 = v - 4. Suppose 5*n = j - v, 4*j - 49 = -n + 58. Does 14 divide j?
False
Suppose -2*f - 36 = o, 5*o = f - 20 - 149. Is (-8)/1*o/4 a multiple of 14?
False
Let s(j) = 3*j + 47. Is 6 a factor of s(34)?
False
Let c = -26 + 30. Suppose c*v = -v + 495. Does 20 divide v?
False
Let k = 95 + 67. Is 18 a factor of k?
True
Let s be ((-3)/2)/(3/(-2)). Is 25 + s + 1 + -1 a multiple of 12?
False
Suppose 9 = 4*y + 1. Suppose -15 = y*d - 3. Does 20 divide 2*(-1 + (-153)/d)?
False
Is 156/(4/1) + 3 a multiple of 10?
False
Suppose -2*t + 33 = u, -4*t + 2*u - 37 = -107. Let h = 2 + t. Let x = 27 - h. Does 8 divide x?
True
Suppose -2*c - 12 = -5*c. Suppose 2*f + 1 = -c*x - 1, -3*x - 2*f - 4 = 0. Does 19 divide x/5 - (-188)/5?
True
Let g be -2 + 2 + -2*3. Let v be (-8)/12 + 46/(-3). Let u = g - v. Is u a multiple of 10?
True
Let r(g) = 5*g**2 - 3*g - 2. Is r(-2) a multiple of 12?
True
Let j(c) = -615*c**3 + c**2. Let k be j(-1). Is ((-3)/(-4))/(11/k) a multiple of 15?
False
Let x(z) = -z + 8. Let v be x(8). Suppose -2*t - 4 = n - 20, -4*n - t + 64 = v. Does 5 divide n?
False
Let n be (-1 - -4) + -1 + -2. Suppose n*z = 5*z - 290. Is z a multiple of 13?
False
Let d be (-9)/(-5) + 2/10. Suppose 3*g = -d*g. Let y = g + 16. Is 6 a factor of y?
False
Suppose d - 2*w = 13, 2*d - 5 = -0*d - 3*w. Suppose -d = 2*c - 11. Is c a multiple of 2?
True
Suppose -3*v - f = -5 - 6, -f = v - 7. Suppose h = v*h - 13. Is 13 a factor of h?
True
Let t(g) = -g**2 + 6*g - 7. Let s(w) = 2*w**2 - 11*w + 14. Let a(h) = 2*s(h) + 5*t(h). Is 2 a factor of a(6)?
False
Is 35 a factor of ((-90)/(-3))/(15/70)?
True
Let z(m) = m. Suppose 3 = -3*j - 5*a - 1, 2*j + 3*a + 2 = 0. Is z(j) even?
True
Suppose 0*a + 2 = a. Suppose 0*y - 3*y = -5*f - 28, -y = 4*f + a. Let q(p) = 3*p + 2. Does 17 divide q(y)?
False
Let z = 35 + -18. Suppose z = -2*w + 51. Let n = w + 5. Is n a multiple of 11?
True
Let x = -24 + 96. Is 18 a factor of x?
True
Let x(o) = -12*o + 1 + 18*o + 11. Is 15 a factor of x(8)?
True
Let r(n) = 2*n**3 + n**2 - 2*n - 1. Let w be r(-2). Is 7 a factor of 28/3*w/(-6)?
True
Suppose -j + 2*j - 2*m - 3 = 0, -4*j - 10 = 3*m. Is 22 a factor of 24/(-2 - (-2 + j))?
False
Let f(q) = 23*q + 21. Is f(5) a multiple of 33?
False
Suppose 79*t - 2058 = 72*t. Does 8 divide t?
False
Let l be 0 + 4 + 3 + 1. Suppose l = -q + 2*q. Does 4 divide q?
True
Suppose 2*k - 34 = -2. Is k a multiple of 7?
False
Let n = 27 + -22. Does 4 divide n?
False
Suppose -7*i + 12*i - 10 = 0. Suppose -3*r - 5*z = -99, -15 = -7*z + i*z. Is r a multiple of 9?
False
Suppose 3*l - z + 5*z - 161 = 0, -167 = -3*l + 2*z. Does 28 divide l?
False
Let g(u) = u**2 + 11*u + 9. Is 3 a factor of g(-12)?
True
Suppose -4*o = 5*k + 313, 3*o - 3*k = -2*k - 249. Let m be o + (-1)/1*3. Let n = -54 - m. Is n a multiple of 10?
False
Let d be ((-10)/(-4))/(10/20). Suppose 0 = 4*a - 2*a + 3*x - 24, 0 = -4*a - d*x + 48. Is a a multiple of 12?
True
Suppose 4*h - 12*h + 1152 = 0. Is 11 a factor of h?
False
Let i(h) = -h**3 + 6*h**2 - 4*h - 4. Let r be i(5). Let c(x) = 38*x**2 + x 