+ 17, 4*l + 0*l + 20 = 0. Let y = 3 - d. Suppose y*b - 4*b = -26. Does 13 divide b?
True
Let o be (-1)/3*222/2. Let x = o + 99. Is x a multiple of 18?
False
Let p(b) = -b + 11. Is p(7) a multiple of 4?
True
Suppose -2*r - r - 5*s = -196, -8 = -4*s. Let x = -40 + r. Does 6 divide x?
False
Let k(q) = -q**3 + 8*q**2 - q + 5. Let j be k(6). Suppose -5*s = -189 - j. Suppose -s = -5*v + 13. Does 6 divide v?
False
Let s(a) = 80*a + 2. Let v be s(1). Suppose 4*y - 274 + v = 0. Does 17 divide y?
False
Suppose 42*d = 44*d - 186. Does 13 divide d?
False
Let o(s) be the first derivative of -s**4/4 - 2*s**3/3 + 5*s**2/2 + 2*s - 5. Does 4 divide o(-4)?
False
Let k = -19 - -29. Does 27 divide 536/k + 4/10?
True
Suppose -o + 2*o = 9. Let g(n) = -1 + 34*n**2 - 3 + 10*n - 35*n**2. Is g(o) even?
False
Let x = 41 - 19. Is 11 a factor of x?
True
Let l be (3 - 3)/1 + 3. Suppose -4*f - i + 20 = 0, 0 = -l*f + 8*f + 2*i - 28. Is 3 a factor of f?
False
Suppose 4*q + a - 190 = 3*a, 5*q - 245 = -5*a. Let b = 3 - 1. Suppose 6*v - q = b*v. Is 9 a factor of v?
False
Let f(u) = 6*u**2. Let b be f(-1). Suppose -4*s = -5*v + 302, 3*v - b*v - 5*s + 159 = 0. Is v a multiple of 29?
True
Suppose 5*s - 5*c = 3*s + 88, -s + 44 = 4*c. Let g = -15 + s. Is g a multiple of 18?
False
Let l(o) = -160*o - 3. Is l(-1) a multiple of 32?
False
Suppose 4*b - 8 = -4*a, 0 = 3*a + 2*b + 3 - 14. Is 2 a factor of a?
False
Let g(u) = -4*u + 10. Does 4 divide g(-6)?
False
Let m(y) = -y**3 - 6*y**2 + 7*y + 5. Let s be m(-7). Suppose -8*o = -s*o - 27. Is 2 a factor of o?
False
Let y = 62 - 4. Does 22 divide y?
False
Let o(p) = 12 - 14*p + 7*p + 6*p. Does 2 divide o(7)?
False
Let c(q) = -q + 2. Let w be c(2). Let s be (w - -59)/(-1 - -2). Let i = s + -33. Is 13 a factor of i?
True
Let c(u) = u**2 - 6*u + 6. Let t be c(5). Let m be 0/(-4 + t)*-1. Suppose 2*o + m*o = 24. Is o a multiple of 12?
True
Suppose 6 + 130 = 4*i. Is i a multiple of 2?
True
Let c(v) = -19*v + 6. Is 12 a factor of c(-6)?
True
Is (-172 + -5 - 4)*(1 - 2) a multiple of 7?
False
Let x(k) = 16*k**2 - k + 2. Let v be x(2). Suppose 8 = -11*r + 13*r. Suppose -v = -r*h + 8. Is 9 a factor of h?
True
Let k(t) = -4*t**2 + 4*t. Let v(x) = -x**2 + 1. Let u(w) = -k(w) + 3*v(w). Let p be u(5). Is 30/p - (-3)/12 a multiple of 4?
True
Is 12 a factor of (-32)/24*-72*6/3?
True
Does 18 divide -2*(-2)/16 + 861/12?
True
Suppose -3*z = -4*f - 7, -3*z + 2 = 2*f + z. Let q(n) = -274*n. Let r be q(f). Suppose 5*o - a - r = 0, 4*o - 160 = -5*a + 65. Does 19 divide o?
False
Let g = 21 - -4. Does 5 divide g?
True
Let w(i) = i**2 + 8*i - 2. Let f be w(-6). Let o = -4 - f. Is o a multiple of 10?
True
Does 18 divide -1 + 41 - (2 + 2)?
True
Let n = 6 + -4. Suppose -57 = -2*d - 4*z + 15, 0 = -2*d + n*z + 96. Does 6 divide d/3 - (-4)/12?
False
Let u = -1 + 3. Suppose -12 = -3*o, 3*g - o = -u*o + 10. Suppose q - 45 = -g*q. Does 6 divide q?
False
Let i(d) = -4*d**2 + 13. Let o(b) = 3*b**2 - 9. Let m(n) = 5*i(n) + 7*o(n). Let s = 5 + -9. Is 13 a factor of m(s)?
False
Let g(i) = i**2 + 6*i + 2. Let o = -14 - -6. Is 16 a factor of g(o)?
False
Suppose 4*s = z - 3 + 14, z + 2*s = 13. Let w(r) = -r**2 + 9*r - 4. Is w(z) a multiple of 6?
False
Suppose 0 = 4*l - 2*y - 94, 3*l + 2*y = 59 + 15. Does 8 divide l?
True
Suppose -j + 3 = -5*f - 4*j, 0 = f + 3*j + 3. Suppose f = -2*i + 5*m - 2*m + 24, 4*i = m + 38. Is 9 a factor of i?
True
Suppose 4 = g, -2 = 5*n - 2*g - g. Let x be -2 + 0 - -10 - 1. Let v = n + x. Is 3 a factor of v?
True
Let v(h) = 3*h**2 + 15*h - 20. Is 22 a factor of v(-9)?
True
Suppose -152 = 6*u - 530. Is 21 a factor of u?
True
Suppose -d + 3*d - 308 = 0. Suppose -5*b - 3*u + 209 = 0, 4*b - 3*u - d = -u. Suppose -32 - b = -3*i. Does 12 divide i?
True
Suppose p - 6*p + 25 = 0. Suppose -p*f = 3*w + 93 - 294, 2*f = -w + 68. Is 21 a factor of w?
False
Let x(q) = -2*q + 4 + 4*q - 3 + 17*q**2. Let a be x(-1). Let v = a + -4. Is v a multiple of 12?
True
Let s be (-2)/(-6) - (-29)/3. Suppose 2*j = -s, 2*a - a - 2*j = 58. Does 16 divide a?
True
Let s = 59 - 30. Does 10 divide s?
False
Let k = 12 - 11. Let s(l) = 13*l**3 - l**2 + 3*l - 2. Is s(k) a multiple of 13?
True
Let t(f) = 379*f**2 - f + 1. Let x be t(1). Suppose 55 = -3*z + x. Suppose -m + z = 3*m. Does 11 divide m?
False
Suppose 3*w = z + 442, 2*z + 272 = 3*w - 171. Is 30 a factor of w?
False
Let q be 6/3 + -14 + 1. Let u = 15 + q. Is (-2)/(-4) - (-42)/u a multiple of 8?
False
Suppose 5*h + 3*x + x - 378 = 0, -5*h + 376 = 3*x. Does 37 divide h?
True
Let l(x) be the second derivative of -x**4/12 - 3*x**3/2 - 3*x**2 + 3*x. Let q be l(-8). Suppose p - 13 = 3*j, 5*p - q*j = 3*j + 35. Is 4 a factor of p?
True
Is (-172)/((-5)/((-10)/(-4))) a multiple of 16?
False
Suppose -5*z + 25 + 40 = 0. Does 2 divide z?
False
Let q = 42 - 70. Let h = -2 - q. Does 13 divide h?
True
Let h(q) = 16*q - 3. Is 26 a factor of h(2)?
False
Let a(r) = r + 2 + 2*r + 5*r**2 - 4*r**2. Does 10 divide a(3)?
True
Let y be (-66)/(-18) + (-2)/3. Suppose -88 = n - y*n. Is 11 a factor of n?
True
Is (-6)/(-21) + (-369)/(-7) a multiple of 12?
False
Let j(z) = -10*z**3 + z. Let g be j(-1). Let a(f) = f - 5. Let y be a(g). Does 9 divide y/((-60)/(-9))*15?
True
Let d be (6/(-18))/((-1)/15). Suppose d*i = -0*i + 15. Is i even?
False
Let a = -139 + 206. Is 12 a factor of a?
False
Let d = 10 - 13. Let g(s) = -2*s**3 - 5*s**2 - 4*s - 2. Is g(d) a multiple of 8?
False
Let v = 3 - 1. Let s(p) = p**2 - 2*p + 3. Let o be s(v). Suppose o*n - 2*z = 41, 62 = 2*n + 2*n + z. Is 8 a factor of n?
False
Let a(u) = -17*u + 6. Is 19 a factor of a(-3)?
True
Is 1 + 90 + 1 + 1 a multiple of 31?
True
Let k be ((-3)/(-2))/((-8)/(-16)). Suppose 0 = -k*q + 5*q - 10. Suppose 0 = q*u - 0*u - 45. Is u a multiple of 9?
True
Let y(j) = 52*j**2 + j + 2. Is 8 a factor of y(-1)?
False
Suppose -8 = 2*m - 5*q, -3*q - 19 = -5*m - 1. Is 2 a factor of m?
True
Let u(d) = d**3 - 8*d**2 + 10*d - 10. Is 28 a factor of u(8)?
False
Does 7 divide (-2)/((-1)/4 + 5/180)?
False
Suppose 3*u - 4*s = 19 + 13, -5*u + 3*s + 35 = 0. Suppose 2*t - 60 = -u*j, -j + 28 = t + 2*j. Suppose 2*b + 5*k - t = -b, -b + k - 2 = 0. Does 2 divide b?
False
Let z(v) = -v**3 - 7*v**2 - 4*v + 8. Let c be z(-6). Is (174/(-12))/(2/c) a multiple of 19?
False
Suppose 0*o = o - 2. Suppose 5*i - 78 = o*i. Is 13 a factor of i?
True
Let c(y) = 7*y**3 + 4*y - 3. Is 24 a factor of c(2)?
False
Suppose 4*n - 338 = 22. Is n a multiple of 18?
True
Is 5 a factor of (17/(-17))/((-2)/30)?
True
Let p(u) = -u**3 + 7*u**2 - 2*u. Let h be p(6). Let c be (-1 - -3) + 36/(-3). Let i = h + c. Is i a multiple of 11?
False
Suppose 0 = -5*z - 14 - 6. Let a(t) = -15*t - 3. Let l be a(z). Let m = l + -38. Does 15 divide m?
False
Does 2 divide ((-16)/(-6))/((-15)/(-45))?
True
Let z = 2 + -4. Let i(f) be the second derivative of -f**5/10 - f**4/6 + f**3/3 - 2*f. Is i(z) even?
True
Is 6 a factor of (72/(-15))/(4/(-10))?
True
Suppose 3*x - 5*q - 171 = x, 2*q = -5*x + 384. Suppose 2*n - 286 = -4*l + 3*n, -3*n = l - x. Is l a multiple of 22?
False
Let q(w) = w**3 - 6*w**2 + 4*w - 8. Let b(j) = j**2 + 6*j - 10. Let u be (2 + 3)*24/(-15). Let n be b(u). Is q(n) a multiple of 5?
False
Suppose -4*i = -2 - 2. Is 6 a factor of ((-3)/4)/(i/(-8))?
True
Suppose 0 = -3*h - 0 + 6. Suppose 4*i = -w + 139, -3*w - 22 - 37 = -h*i. Does 15 divide i?
False
Suppose 0*p - 17 = -p. Is p a multiple of 17?
True
Let z(x) = 11*x**2 + 2*x - 6. Is 29 a factor of z(-3)?
True
Does 12 divide 7/1 + -6 + 169 + -2?
True
Does 37 divide -18*8/(-2) + 2?
True
Let u = -42 + 72. Is 6 a factor of u?
True
Let s(j) = 41*j - 1. Let c be s(-4). Let t be (-1 - 1)/((-6)/c). Let a = 98 + t. Is 15 a factor of a?
False
Suppose -1 = -5*n + 19. Suppose 5*s = -n*l + 391, -4*s + 356 = 3*l + 62. Suppose -l = -3*w + 35. Is 17 a factor of w?
False
Let f(i) = i**2 + 8*i - 4. Let j be f(-6). Does 5 divide (-64)/(-6) + j/24?
True
Let y = -5 - -5. Suppose 0 = -y*d + 3*d. Suppose 0 = 2*q - d*q - 10. Is q a multiple of 2?
False
Let n(h) = -22*h - 16. Is 9 a factor of n(-6)?
False
Suppose 3*m + 2*m = 10, 0 = 4*p + m - 14. Suppose -u = -0*u - p. Suppose 2*c + u*q - 46 = 0, -115 = -5*c - 0*c + q. Does 9 divide c?
False
Suppose u - 2 + 1 = 0. Let y = u - -1. Suppose 0 = -y*x + 7*x - 3*m - 13, 4*x = m + 9. Is x even?
True
