-5*u + 42 + 6 = p*w, -u = 4*w. Does 12 divide u?
True
Let x be -2 - -1 - -2 - 2. Let n be x + (26 - 0/(-2)). Suppose n = -2*g + 3*g. Does 9 divide g?
False
Let z(x) = -x**3 + 10*x**2 + 13*x - 19. Does 58 divide z(10)?
False
Suppose 0 = -2*y + 3*v + 313, 5*v = y - 2*y + 163. Does 15 divide y?
False
Suppose 0*q - 4 = -y + q, 0 = -4*y + 3*q + 17. Suppose 5*h = 2*h + 126. Suppose -y*t + p = -0*p - h, 0 = 3*t - 2*p - 21. Does 9 divide t?
True
Let s be (-1876)/6 - 4/(-6). Let x be s/(-15) - 2/(-10). Let a = x - 3. Does 9 divide a?
True
Let o = 16 + -16. Suppose -4*r + 16 = 6*b - 4*b, 2*r + 4 = o. Does 4 divide b?
True
Suppose -5*u + u + 20 = 0. Suppose a = 3*a + 5*b - 89, -4*a + 2*b + 118 = 0. Suppose 40 = 5*o - 3*l, 2*o + u*l = -2*o + a. Is o a multiple of 6?
False
Let f(p) = p**3 + p**2 + 24. Let h be f(0). Suppose 8 = -2*j + h. Let k = j + -3. Does 2 divide k?
False
Suppose 2*o + 3*y = 25, -47 = -2*o - 2*o - 5*y. Does 13 divide 4/o*4 - -50?
True
Suppose 0 = 3*s + 4*r - 20, 6*r = -4*s + 4*r + 20. Suppose s*c = -2*f + 86, -2*f + 6*f - 100 = -5*c. Does 3 divide 6*(-2 - c/(-9))?
False
Let x(f) = -f**3 + 5*f**2 + 6*f - 12. Suppose 2*r - 9 = 1. Is 5 a factor of x(r)?
False
Let g be (-8)/(-1) - (6 - 3). Suppose -5*o + 4*o = 0. Suppose o*h + g*h - 30 = 0. Does 3 divide h?
True
Let q(r) = 3*r**2 + 2*r + 4. Let x be q(3). Suppose 8 = -b + 55. Suppose 57 = 3*g - a, -5*g - 2*a + b = -x. Is 9 a factor of g?
True
Suppose -2*x + 7 = 9. Does 14 divide 846/30 + x/5?
True
Let g(l) = -13*l - 17. Let q be g(-9). Suppose 4*i - z + 1 = q, -i - 3*z + 41 = 0. Is 11 a factor of i?
False
Let d(v) be the third derivative of 0 + 5/12*v**5 + 1/6*v**3 - v**2 + 0*v + 1/24*v**4. Is 13 a factor of d(-1)?
False
Let w(o) be the second derivative of -o**7/2520 + o**6/720 + 11*o**5/120 - o**4/6 - o. Let n(a) be the third derivative of w(a). Is 6 a factor of n(0)?
False
Let w = -12 + 18. Is 3 a factor of w?
True
Let t = -10 + 26. Is t a multiple of 3?
False
Suppose -84*j - 369 = -87*j. Does 30 divide j?
False
Let o be (-4)/(-1) - (0 - 1). Suppose -o*g + 202 = -4*t, -200 = -5*g + 4*t + t. Is g a multiple of 21?
True
Suppose -228 = -2*a - 2*a - 2*r, r = -4*a + 228. Is 19 a factor of a?
True
Suppose -48 = -v + s, 3*v + 3*s = -2*v + 248. Is 31 a factor of v?
False
Let t(p) = 0*p**3 - 4 + 5 + 5*p**2 + 3*p + p**3. Is 5 a factor of t(-3)?
True
Let t(n) = -n**3 - 6*n**2 + 7*n + 2. Let p = -3 + -4. Let w be t(p). Suppose -2*m = -w*s + 6 + 2, -3*s + 2*m = -13. Is 2 a factor of s?
False
Let h be 2/4 - 2/4. Let z(b) = -121*b - 1. Let p be z(-1). Suppose h = -w + 5*w + 2*u - 122, -4*u - p = -5*w. Does 14 divide w?
True
Let j be 4/(-5)*10/(-2). Suppose 2*z = 14 - j. Does 3 divide z?
False
Suppose -3*v + 93 = 3*w, -3*v + 54 = -v - 2*w. Suppose 4*h + 4*k = -0 + 8, 11 = 4*h + k. Suppose -o = -v - h. Does 16 divide o?
True
Let d(u) = 22*u. Is 22 a factor of d(4)?
True
Is 18 a factor of 43 - (-5 + 2 + 5)?
False
Suppose -115 = -3*n + 152. Does 14 divide n?
False
Suppose 0 = 11*f - 12*f + 87. Is f a multiple of 21?
False
Let y be 13*(-4 - -1 - -5). Suppose 0 = 2*v - s - 41, 0 = -2*v + s - 3*s + y. Is 9 a factor of v?
True
Suppose l + 8 = 3*q, 6*l + 3*q = 3*l + 12. Let a(c) = 61*c - 1. Is 20 a factor of a(l)?
True
Let v = 38 - 8. Suppose -z + 3 = v. Let h = z + 55. Is 11 a factor of h?
False
Suppose 223 = 2*d + d + h, -d = 3*h - 77. Suppose -x + 5*m + 22 + 2 = 0, -5*m = x - d. Is x a multiple of 19?
False
Suppose -2*p + 111 = -5*y, -156 - 26 = -4*p + 2*y. Suppose -p = -2*b + 1. Is 22 a factor of b?
True
Let j(u) = -u - 4. Let a be j(-6). Suppose -2*g - 4 = a*g. Does 7 divide 13/(g/1 - -2)?
False
Suppose 4*y - 26 - 22 = 0. Does 12 divide y?
True
Let j(s) = s**3 + 11*s**2 - 20. Does 21 divide j(-9)?
False
Let i(z) = -z**2 + 8*z - 4. Let k(f) = f**2 - 4*f + 2. Suppose -8 = -x - 2*a, -2*a - 2*a + 12 = 0. Let w(v) = x*i(v) + 5*k(v). Is 5 a factor of w(2)?
False
Let u be (0 + -1)/(-3 + 4). Let z(q) = -18*q**3 + q + 2. Is z(u) a multiple of 19?
True
Let i(p) = -p**3 - p**2 - 2*p + 3. Suppose m - 3 = 4*y + 7, 0 = 5*y - 4*m + 7. Does 18 divide i(y)?
False
Suppose -u + 202 - 40 = -3*k, 0 = -k + 1. Suppose -6*w - 5*t = -w - u, -3*w + t + 87 = 0. Does 15 divide w?
True
Let p be 2*(-5 - -2)/(-3). Let u = p - -11. Does 13 divide u?
True
Suppose b = 40 + 13. Is b a multiple of 8?
False
Let x(j) = -62*j**3 + j**2 + j. Is x(-1) a multiple of 62?
True
Let n(t) = -6*t. Let g be n(2). Let b be g/10*5/(-2). Suppose -60 = -b*m + h, 3*m + 5*h = 3*h + 69. Is m a multiple of 10?
False
Suppose 0 = -4*k - i - 12, 2*k - 8 = 4*k + i. Let v be (2 + k)/(-1) + -3. Is (7/v)/(7/(-42)) a multiple of 14?
True
Let a be (-2)/(-8) + (-6)/(-8). Let h be ((-8)/(-3))/(2/3). Is 13 a factor of 29*a + 4/h?
False
Let q(h) = h**3 + 7*h**2 + h - 4. Let l be (12/(-10))/(4/20). Let r be q(l). Suppose r = 4*z - 26. Is 13 a factor of z?
True
Suppose 0 = 2*r - 3*j - 73, r - 2*j - 3*j - 19 = 0. Is 8 a factor of r?
False
Let b be ((-48)/9)/(-4)*-12. Let u = 18 + b. Is 2 a factor of u?
True
Suppose 2*g + f = 33, 5*f - 19 - 20 = -g. Does 7 divide g?
True
Let w = -32 - -77. Suppose -2*z - w = -5*z - 2*r, 4*z - r = 60. Is z a multiple of 4?
False
Let d = 97 - -14. Is d a multiple of 37?
True
Let z be 1 + -3 + 0 + 3. Let d(t) = 1 + 7*t + 5 - z - 8*t**2 + 2 + t**3. Is 5 a factor of d(7)?
False
Let p be 1/(2/4) + 2. Let f(u) = -p + 9*u - u**2 - 4 + 1 + 2. Does 9 divide f(7)?
True
Suppose 4*h - 13 - 11 = 0. Is 6 a factor of h?
True
Let r(z) = -2*z**3 - 4*z**2 + 2*z. Is r(-4) a multiple of 8?
True
Let l(n) = 56*n - 4. Let r be l(2). Suppose 2*q = 4*q - r. Is q a multiple of 13?
False
Let u(p) = -p**2 - 6*p + 3. Let r be u(-6). Suppose 3*n + r*s - 188 = -s, 5*s - 25 = 0. Is 28 a factor of n?
True
Let t = -8 - -14. Is ((-4)/t)/((-2)/69) a multiple of 23?
True
Suppose 0 = -7*z + 2*z + 2*n + 33, 3*z + n - 22 = 0. Let l = z - 11. Is 22 a factor of -3*l*(-8)/(-3)?
False
Suppose 5*a + 5*t = 3*t + 15, -3*a + 3*t = -30. Is a a multiple of 5?
True
Let y be (-2)/5 + (-28)/(-20). Let l = -14 - y. Is (l - 2)*1/(-1) a multiple of 17?
True
Let t(k) = -5*k**2 - 6*k - 4. Let b(h) = -h - 1. Let m(f) = 4*b(f) - t(f). Let d be m(-2). Suppose -3*r + d = -20. Is 8 a factor of r?
False
Suppose -x + 34 = 3*s - 2*s, s = 3*x - 114. Let c be x + 6/(-2 + -1). Let r = 81 - c. Is r a multiple of 23?
True
Let z(u) = 3*u + 3. Suppose 0 = 8*q - 3*q. Suppose 3*v - x - 16 = q, -2*v - v = 5*x - 10. Is 7 a factor of z(v)?
False
Let h(j) = -44*j + 1. Let l be h(2). Suppose -537 = -4*t + 3*o, -440 = -3*t - 5*o - 59. Let g = t + l. Does 15 divide g?
True
Let a(w) = -7*w**2 - 2*w - 1. Let p be a(-1). Let v be 85/20 + p/(-8). Suppose -3*x - 14 = -v*x. Is 4 a factor of x?
False
Does 15 divide (0 - 15/(-10))*40?
True
Suppose -i - 5*j + 100 = -50, 3*i + 4*j = 428. Is i a multiple of 10?
True
Suppose -5*r + 7 = -2*r + 5*p, 0 = -r - p + 1. Let t be r/(-4 + 2)*10. Let k(q) = q + 2. Is k(t) a multiple of 7?
True
Let y(q) = -2*q + 2. Let r be y(3). Let j(n) = -29*n + 47*n - 29*n + 4. Does 16 divide j(r)?
True
Suppose 20*d - 16*d = 716. Is d a multiple of 15?
False
Let x = -22 - -33. Does 2 divide x?
False
Let i(l) = 3*l**2 - 6*l - 8. Does 32 divide i(6)?
True
Let g(p) = p**3 + 6*p**2 + 4*p - 4. Does 12 divide g(-4)?
True
Let z be (-11 - -41)*(-4)/(-3). Let i = 84 - z. Suppose 0 = 3*k - 37 - i. Is 9 a factor of k?
True
Suppose -8 = -2*l - 4. Let w = -11 - -30. Does 23 divide l*(w + -3 + 3)?
False
Let h = 66 - 22. Suppose 0 = u - h + 8. Is u a multiple of 11?
False
Suppose -7*k + 65 + 117 = 0. Is k a multiple of 5?
False
Let l(p) = -195*p - 1. Let o be l(1). Let j be 2/(-3) + o/(-6). Suppose -a + j = 2*a + 4*f, 3*f - 3 = 3*a. Is a a multiple of 3?
False
Let r(h) = 23*h - 3. Let k(v) = 47*v - 5. Let u(z) = 2*k(z) - 5*r(z). Let l be u(-7). Does 19 divide (l/(-12))/((-2)/6)?
True
Let d = 333 - 13. Is 20 a factor of d?
True
Suppose 317 = 4*q - m, 3*q - 2*m - 213 = 21. Does 11 divide q?
False
Let x be (-332)/(-14) + (-14)/(-49). Let r = 53 - x. Is 17 a factor of r?
False
Suppose -5*x = -3*k, -k + 2*x = -3*k. Suppose -3*b + 12 = k, 3*b + 23 + 53 = 4*i. Is 11 a factor of i?
True
Let q = 19 - 10. Suppose -q*d + 210 = -4*d. Does 13 divide d?
False
Suppose -35 = -5*f - 0*f. Suppose 3*s - f*s = 0. Suppose -3*m = z - 26, s = 