iple of 7?
False
Let u(b) = -13*b**2 - 1. Let d(v) = v + 1. Let m(n) = -4*d(n) - u(n). Let p be (4/(-3))/(10/15). Does 19 divide m(p)?
True
Let m be (-6 + 3 - -3) + 14. Suppose -130 + m = f. Let o = -77 - f. Is 15 a factor of o?
False
Suppose -d - 3*g = 17, d = 6*d - g + 21. Does 6 divide d/(0 + -1) - -1?
True
Let l(n) = -n**2 + 12*n - 2. Is 5 a factor of l(9)?
True
Let r(t) = -t - 1. Let f(g) = -3*g. Let y(s) = -f(s) + 6*r(s). Does 13 divide y(-12)?
False
Let x(y) = 2*y - 8. Let m be x(6). Does 5 divide (-37 - 1)*(-2)/m?
False
Let s(y) = y**3 + 3*y**2 + 3*y + 1. Let j be s(-3). Let l = j - -11. Suppose 0 = 2*r + l*r - 130. Does 13 divide r?
True
Let z(r) = 4*r**2 + 122 - 5*r**2 + 22. Let l be z(0). Is l/15 - 2/(-5) a multiple of 7?
False
Let b = 6 + -2. Suppose 0 = 3*d + 6, 212 = h + b*h - d. Does 21 divide h?
True
Let c(r) = -2*r**3 + r - 2. Let i be c(2). Does 6 divide (-2 - i/10)*-45?
True
Suppose 0*g - 53 = -g. Let t = 8 + g. Is t a multiple of 19?
False
Let k(u) = -5 + 2*u**2 - 3*u**2 - 2*u**2 + u + 4*u**2. Let o = 10 - 5. Does 13 divide k(o)?
False
Let o = -17 - -78. Does 19 divide o?
False
Suppose 16 = -2*q + 6*q. Suppose 4*k + 3*p = 24, 0*p - q*p + 10 = -2*k. Suppose r + 0*n = -k*n - 10, 0 = 2*r + 4*n + 10. Does 5 divide r?
True
Let n(q) = -q**2 + 3*q + 3. Suppose 3*c - 1 = -f, 2*f + 6 + 0 = -2*c. Suppose 6 = c*v - g + 3*g, 15 = 5*v - 5*g. Does 2 divide n(v)?
False
Let v be 4 + 0 + -6 + 5. Let y(j) = j**2 - 1. Is y(v) a multiple of 3?
False
Let n = 54 + 54. Let w = 1 + 4. Suppose 0*v - 5*v = -4*u - n, 2*u = w*v - 114. Does 14 divide v?
False
Suppose 4*f - 56 = -2*w, -5*w - 5*f = 29 - 144. Suppose 3*s - 9 = 3*a, -5*s + a = -w - 1. Is 4 a factor of s?
True
Let j(a) = -a**2 - 2*a - 3. Let m be j(-3). Let y(r) = -1 + 0 - 1 - r - r. Does 4 divide y(m)?
False
Suppose -5*u = -2*v - 18 - 5, -u + 2 = -3*v. Is u - (2 + 1 + -2) a multiple of 2?
True
Is -35*(136/(-28) + 4) a multiple of 6?
True
Suppose 0 = 2*s + 2*r, 11 = s - 3*r - 5. Is 9 a factor of (-1358)/(-49) - s/(-14)?
False
Let u = 3 - 2. Does 4 divide 4/u + -3 + 11?
True
Let s(x) = -x**3 - 10*x**2 - 9*x. Let c be s(-9). Suppose -4*y = -c*y - 16. Is 4 a factor of y?
True
Let g be 3*3/(27/(-12)). Is (10/g)/5*-18 a multiple of 4?
False
Let v = -27 - 181. Does 13 divide 6/4*v/(-12)?
True
Suppose 5*s - 384 = -3*s. Is s a multiple of 8?
True
Suppose -w + 0*w + 47 = 5*z, 4*w = z + 209. Let m = -36 + w. Is m a multiple of 16?
True
Suppose 2*f + 0*t = -t + 85, 4*t = -4. Is f a multiple of 8?
False
Let y(l) = -11*l. Let x = 1 - 2. Let s = -3 - x. Is y(s) a multiple of 9?
False
Let i = 99 - 55. Let s = -8 + i. Is s a multiple of 18?
True
Suppose 0 = -3*d + 4 + 11. Suppose -d*p = -26 + 1. Is p a multiple of 5?
True
Let a(v) = -v**2 - 5*v + 8. Let d be a(-6). Let r = d - 31. Let x = r - -44. Is 14 a factor of x?
False
Suppose -4*u + 3*u = -k + 2, 2*u - 3*k + 6 = 0. Let q(y) = -6*y + 1. Let w(j) = j - 1. Let c(p) = -q(p) - 5*w(p). Is c(u) a multiple of 4?
True
Let p(b) = -3*b + b**2 + 17 + 2*b - 2*b**2. Let i(y) = -y - 6. Let r be i(-6). Does 12 divide p(r)?
False
Suppose 0 = -5*h - 23 + 173. Does 5 divide h?
True
Suppose -2*y + 2*d = 0, -3*d + 6 = y - d. Suppose y*v + 14 = 4*v. Does 6 divide (-2)/(-2 - -4) + v?
True
Let m(i) = -i**3 + 9*i**2 + 9*i + 9. Let z be (-52)/(-5) - (-2)/(-5). Let y be m(z). Let t = y - -16. Does 5 divide t?
True
Let m be (-606)/(-14) + 4/(-14). Suppose 3*a - m = 8. Is 5 a factor of a?
False
Suppose -f + h = -2*h - 7, 5*h = -2*f + 25. Suppose 2*r + 7 = 3*p + r, 2*r = 5*p - f. Is 2 a factor of p?
True
Let r(y) = -6*y**3 - 2*y**2 + 2*y. Let x(b) = -b**3 + 3*b**2 - 3*b. Let s be x(2). Is 18 a factor of r(s)?
True
Suppose 4*a + 3*k = 593, a = -3*k + k + 152. Is 12 a factor of a?
False
Let s(j) = -2*j**2 + 7*j - 4. Let d be s(4). Let u(a) = -a**3 - 7*a**2 + 9*a + 6. Let i be u(d). Let v(p) = -p**3 + p**2 - 2*p - 3. Does 13 divide v(i)?
True
Suppose -2*h = -2*k - 4*h + 8, 4*k + h - 19 = 0. Let g be (-1)/k + 22/10. Suppose -g*x + 27 + 9 = 0. Is x a multiple of 6?
True
Let x be 3/12 + (-6)/(-8). Let i(r) = 95*r**3 + 2*r**2 - 1. Let k be i(x). Let z = k + -62. Is 12 a factor of z?
False
Let k(u) = 6*u**2 - 6*u + 4. Let q be k(4). Suppose -2*w + q = -3*r, 2*w + 156 = -5*r - 2*w. Is 242/14 + 8/r a multiple of 17?
True
Let r = 5 + -5. Suppose -2*m + 3*m - 12 = r. Suppose -p + m = -6. Does 14 divide p?
False
Let y(u) = -u**3 + 6*u**2 - 5*u + 7. Let g be y(5). Let t(o) = 7*o + 16. Is 13 a factor of t(g)?
True
Suppose -5*i - 4 - 1 = -5*s, 0 = -5*s + 3*i + 9. Suppose 2*z - 18 = -5*b + 6, -4*z + 100 = -s*b. Is 6 a factor of z?
False
Let n = 14 - 11. Suppose -n*o + 20 = -4*k, 4*o - k = 4*k + 28. Is o a multiple of 9?
False
Let a(v) = -33*v**3. Does 11 divide a(-1)?
True
Let u = -10 - -22. Does 11 divide u?
False
Let p be 0 + (0/(-2))/(-2). Suppose -3*h + 4*h - 14 = p. Is 14 a factor of h?
True
Let y(z) = 267*z**2 - z - 1. Let b be y(-1). Suppose -b = -5*c + 3*r, 0*c - 247 = -5*c - 2*r. Does 17 divide c?
True
Let l be (0 + -4)*14/(-8). Let x be (l - 1)*81/6. Suppose 2*a + 3*a = -3*n + x, 0 = -2*a + 4*n + 22. Is 6 a factor of a?
False
Let s be (-2)/(3 + -1)*-3. Suppose -85 = -2*h - s*h. Does 3 divide h?
False
Suppose 3*x - 4*x + 53 = 0. Suppose -5*s + x = -57. Is 8 a factor of s?
False
Let s be (-2)/6 + (-2596)/33. Suppose -64 = 2*x + 22. Let g = x - s. Is g a multiple of 12?
True
Let f be 102/(-4)*6*12/(-27). Let g(y) = y**3 - 5*y**2 - 6*y + 3. Let w be g(6). Suppose c = w*c - f. Is c a multiple of 17?
True
Let o(c) = c**3 - 12*c**2 + 4*c - 11. Let f be o(12). Suppose -f = 4*z - 245. Is 11 a factor of z?
False
Let i(c) = 19*c**2 - 2*c - 1. Let d(h) = -3*h**2 - 3*h**2 - h + 4*h**2. Let s be d(-1). Is i(s) a multiple of 10?
True
Is 19 a factor of (2 - (32/6 + 3))*-15?
True
Suppose 4*k - 2 = 3*k. Suppose k*m = -2*j + 34, 5*j + 41 = m + m. Does 9 divide m?
True
Suppose 4*b + 10 = 2. Does 18 divide (-1)/(-1)*b - -49?
False
Suppose -l = -4 - 16. Let w be -2*1/(-4)*-18. Let y = l + w. Does 11 divide y?
True
Let k(v) = 2*v**2 + v - 2. Let l be k(-2). Let p be (-184)/12 + l/(-6). Does 5 divide p/(-3)*9/4?
False
Let q = -26 - -56. Does 15 divide q?
True
Suppose -2*z + 4*x = 38, z = -4*z + x - 50. Let b be (63/6)/(z/(-12)). Is 3/(3/b) - 0 a multiple of 7?
True
Let g(y) = -2*y - 5. Let k be g(-5). Suppose 0 = k*x + 20, -6*x = 4*a - 2*x - 56. Suppose 0 = 5*v - a - 2. Is v a multiple of 2?
True
Suppose 54*y = 49*y + 60. Is 6 a factor of y?
True
Suppose 0 = -0*b + 3*b - 69. Let n = b - 33. Is 9 a factor of (-267)/(-15) + (-2)/n?
True
Suppose 15 = -j + 3*i, 4*j + 2*i - 4*i + 10 = 0. Suppose -5*x + 0*x + 100 = j. Is x a multiple of 10?
True
Suppose -15*b = -11*b. Suppose -3*c - 262 = -5*d, -3*d + c + 158 = -b*c. Is d a multiple of 11?
False
Let j(b) = -b**2 - 9*b - 2. Let t be j(-6). Suppose 4*w - 13 = 79. Let x = w - t. Is 3 a factor of x?
False
Let x(i) = i**2 + 2*i + 5. Let q be x(-5). Suppose 6 = -l - 0*o + 3*o, 0 = 2*l - 2*o + q. Let k = 17 + l. Is k a multiple of 2?
False
Suppose -4*q - 39 = -2*t - 793, 5*t = 2*q - 389. Suppose -4*d + q = -29. Is d a multiple of 15?
False
Suppose 3 = f - 0*f. Suppose f*v + 15 = 3*d, 4*v = d - 0*d - 5. Does 2 divide 5*(1 + 0 - v)?
False
Let l(v) = -v + 2. Let i be l(2). Let n(t) = 0*t**2 + 4*t**2 + t + t**3 + 3 - 3*t**2. Is 3 a factor of n(i)?
True
Let w be -3*(1 - 2) - 0. Suppose -3*u - 3*x + 27 = 0, w*u + 4*x - 3*x - 21 = 0. Does 3 divide u?
True
Let u = 183 + -107. Is 19 a factor of u?
True
Suppose 5*t + 3*y = 109, -4*t + 3*y = y - 74. Let q = t + -3. Is q a multiple of 6?
False
Let z = -49 + 61. Is 6 a factor of z?
True
Let o be 14/(-63) + 590/(-18). Let m = 54 + o. Is 7 a factor of m?
True
Suppose -2*s = -4*s + 442. Is 41 a factor of s?
False
Let g be (-16 - -6)*(-2)/4. Suppose -4*y = -3*x + 41, -5*y - 69 = -g*x + 1. Does 15 divide x?
True
Let i(r) = -4*r + 2. Let b be i(-6). Let x = -14 + b. Does 12 divide x?
True
Suppose -3*h + 75 = d, 0 = -h - 4 + 1. Suppose 0 = -m + 5*m - d. Is 7 a factor of m?
True
Suppose -19*y + 69 = -16*y. Is 6 a factor of y?
False
Suppose 3*r = 2*i + 559, 3*i - 656 = -4*r + 112. Suppose -v + 2*u = -44, -u - 4*u = 4*v - r. Suppose 5*h - 82 + 8 = -4*l, -4*l = 3*h - v. Is 5 a factor of h?
False
Suppose 296 = 3*m - 13. Suppose 18 = -5*l + m.