 - 2) + 54*(2 + 1)?
True
Suppose 2*a - 3*a = 10. Is 16 a factor of (-316)/(-10) + (-4)/a?
True
Suppose 10 = 3*h + 3*s - 29, 0 = -4*h + 5*s + 52. Is 2 a factor of h?
False
Let i = -11 - -32. Let z be ((-3)/(-4))/((-2)/16). Let g = i + z. Is 15 a factor of g?
True
Let m(n) = 7*n**2 - 5*n. Does 4 divide m(2)?
False
Suppose -4*q - 4 = 5*n, q - 12 = -n + 3*n. Suppose 0 = -h - h + 5*t + 104, -q*h + 180 = -3*t. Is h a multiple of 21?
True
Suppose 4*w = -12, 2*j + 0*j + 33 = w. Is (j/15)/(3/(-50)) a multiple of 8?
False
Suppose 17 = 2*i - 39. Is 14 a factor of i?
True
Suppose 0 = z + 2*z - 450. Let w = z + -100. Suppose 0*c + w = 3*c - 4*x, -5*c - 5*x + 25 = 0. Does 10 divide c?
True
Let w = 53 + -42. Does 4 divide w?
False
Suppose -5*n = -3*s + 123, 5*n + 2*s + 60 = -58. Suppose -3*q - 46 = -5*v, v - 38 = -2*q + 5*q. Let u = q - n. Is 4 a factor of u?
True
Let w(a) = a + 7. Let o be w(-6). Does 15 divide (-198)/(-8) + o/4?
False
Suppose 358 = 2*l + 128. Is l a multiple of 15?
False
Let f(b) = b**3 - b + 1. Let m(s) = 3*s**3 + 8*s**2 + 4*s + 4. Let o(r) = -2*f(r) + m(r). Is 14 a factor of o(-6)?
False
Suppose c - j - 391 = 0, -2*c - 6*j + 817 = -j. Does 12 divide c?
True
Is 5 a factor of (-1 + 0)/(14/(-70))?
True
Suppose 5*o - 82 = 153. Is 6 a factor of o?
False
Let o = -2 + 7. Suppose 3*m = -o*i + 130, 3*i - 5*m = 14 + 98. Is i a multiple of 10?
False
Let p = 15 - -52. Does 20 divide p?
False
Let w(o) = -8*o**2 + 2*o + 7. Let i be (-21)/(-6) - 2/(-4). Let c(p) = -3*p**2 + p + 2. Let l(s) = i*w(s) - 11*c(s). Does 10 divide l(4)?
True
Suppose -11 = 2*w + q, -w - 4*w - 5*q - 35 = 0. Let n(r) = r**2 - r - 4. Does 8 divide n(w)?
True
Suppose 0 = -2*k - 0*n - 5*n + 31, 0 = 3*n - 15. Let d(m) = m**2 + 4*m - 3. Is 5 a factor of d(k)?
False
Let r be -43*(0/2 + 1). Let o(c) = -9*c**2 - 2*c + 2. Let m be o(-3). Let x = r - m. Is x a multiple of 15?
True
Suppose y - 10 = -y. Suppose 5*v = 6*b - b, -36 = -4*b - y*v. Does 2 divide b?
True
Suppose 3*t = 2*t - 15. Let g = -11 - -9. Let k = g - t. Is k a multiple of 5?
False
Suppose 3*m = -4*s - 67, 35 = -2*s - 5*m - 16. Let v = s - -27. Is v a multiple of 14?
True
Let i(v) = -4*v**2 + 1. Let j be i(6). Let g = j - -313. Suppose -m - 5*y = -54, -y - 2*y = -4*m + g. Is m a multiple of 22?
True
Suppose 2*g - 650 = -4*p, -2*p - 3*g = 71 - 402. Is 26 a factor of p?
False
Suppose -2*b - 2*b = 2*q - 906, -5*b = 2*q - 908. Suppose -2*v - q = -3*x, 5*v = 2*v - 3. Suppose -2*a = o - 49 - 13, -5*a - o = -x. Does 10 divide a?
False
Suppose -3*u = 10*p - 7*p - 15, 2*u = -10. Does 10 divide p?
True
Let o(i) = 3*i**2 - 2*i - 1. Let m be o(-1). Let n(k) = -k**3 + 3*k**2 + 5*k - 2. Let g be n(4). Suppose g*f - 57 = -5*c, -2*c - m*f + 27 = 1. Does 7 divide c?
False
Let u(v) = v**3 + 8*v**2 - 14*v - 7. Is 14 a factor of u(-9)?
False
Is (56/(-6))/(20/(-30)) a multiple of 7?
True
Suppose 2*s - 2*n + 2 = 0, -5*s + 2*n - 3 = -n. Suppose 0 = -s*q - q + 14. Is q a multiple of 7?
True
Let a(p) = -3 - 5*p**3 + 6*p**3 - 4*p - 2*p + 6*p**2 - p. Does 21 divide a(-6)?
False
Let x(p) be the third derivative of -p**6/120 + p**5/10 + p**4/24 - p**3/6 + p**2. Let h be x(5). Let m = h + -21. Does 8 divide m?
True
Let w be (-1)/(2 + (-5)/2). Suppose -w*a = 3*a - 65. Suppose m + a - 37 = -3*l, -4*m + 3*l = -96. Is m a multiple of 10?
False
Let a(d) = -5*d + 6. Let u be a(4). Let r = u + 8. Does 10 divide (2 + -11)/3*r?
False
Suppose 12 = -i - f, -10 = i + 4*f + 8. Is 10 a factor of 1*(0/2 - i)?
True
Let o = -4 + 58. Suppose 4*a = 0, -2*v - o = -6*a + 4*a. Let p = v + 39. Is p a multiple of 12?
True
Suppose s + u - 8 = -0*s, 4*s - u - 7 = 0. Suppose -s*y + 8 = -10. Is (-4)/y + 322/6 a multiple of 18?
False
Let x(o) = -20*o - 3. Let m be (-32)/(-14) + (-22)/77. Suppose -2*k - 4*p + 3*p - m = 0, -2*k = -3*p + 10. Is 15 a factor of x(k)?
False
Let j be 7 - (-1)/((-2)/4). Let x = -104 + 184. Suppose -j*p + x = -55. Does 7 divide p?
False
Suppose 4*v - 12 = 8. Suppose v*r - 3*r = 0, -4*k + r = -100. Is k a multiple of 7?
False
Let c(s) = 16*s + 3. Suppose 5*f + 1 = -14. Let y be (-1)/(7/f - -2). Does 14 divide c(y)?
False
Let k(a) = -38*a - 2. Let r be k(-1). Let d be ((-8)/(-6))/((-1)/(-3)). Suppose -4*b = -4*x + r, -d*x + 2*b = 7*b - 18. Is 7 a factor of x?
True
Let g(u) = 28*u**2 - 2*u - 2. Let l be g(2). Suppose 30 = 4*c - l. Does 17 divide c?
True
Let r(y) = y**2 + 7*y + 8. Let z be r(-6). Suppose 0 = -z*c + 8, 2*a = 3*c - 11 + 95. Does 12 divide a?
True
Suppose 4*h - 25 = 151. Is 8 a factor of h?
False
Let l be (2/(-1))/2 + 9. Let m be (6/(-5))/(l/(-20)). Does 16 divide -1*m + 50 + 0?
False
Let v(f) = -f**3 + 6*f**2 - 3*f - 8. Let y be v(5). Suppose y*x + 28 = 3*x. Is x a multiple of 14?
True
Does 7 divide 0 - 149/(-7) - 2/7?
True
Let d(x) = x + 6. Let y be d(-4). Suppose 0 = -y*a + a + 2. Suppose a*b = 2*f + 16, 4*f + 8 = -5*b + b. Is b a multiple of 2?
False
Suppose 52 = 49*u - 45*u. Does 7 divide u?
False
Let j = -4 + 46. Is j even?
True
Let d be (-6)/(-8)*2*-4. Let z be 6 - 2*(-1 + 2). Does 9 divide (54/(-2))/(d/z)?
True
Let o be (-2 - -5) + 7 + -7. Let d(b) = b**3 - b**2 - 2*b - 2. Is d(o) a multiple of 7?
False
Let r be (40/4 + 0)/2. Suppose 0 = r*j - 20, 0*d - 5*d + j = -186. Is d a multiple of 8?
False
Let q(i) = -i**2 - i + 3. Let t(h) = -2. Let j(u) = -3*q(u) - 5*t(u). Is j(-3) a multiple of 19?
True
Suppose 578 = -h + 6*h + 4*m, -5*h = 3*m - 581. Does 12 divide h?
False
Let q be (3*-19 - 1) + -2. Let v(x) = 96*x**3 + x**2 - x. Let a be v(1). Let m = a + q. Is m a multiple of 14?
False
Let g = -13 + 13. Suppose 112 = 2*h + 4*v, g*h + 152 = 3*h + 2*v. Is h a multiple of 18?
False
Let d(v) = v**3 - 3*v**2 - 3*v - 2. Let n be d(4). Let w(h) = h**3 + 7*h**2 + h + 10. Let y be w(-7). Suppose n*c = -y*c + 100. Is 10 a factor of c?
True
Suppose 3*c = -4*c + 525. Does 25 divide c?
True
Suppose 0 = -6*w + 410 + 250. Does 22 divide w?
True
Let c(k) = -5*k**3 + k**2 + 6*k. Let v(t) = -9*t**3 + t**2 + 11*t - 1. Let r(j) = 7*c(j) - 4*v(j). Let n be 1*(-1 + 1*-2). Is 6 a factor of r(n)?
False
Suppose -5*z + 5*k = -200, 4*k = 2*z - 7*z + 182. Is 19 a factor of (-3 - -4)/(2/z)?
True
Suppose 0*s + s = -10. Let o = -3 - -9. Let q = o - s. Is q a multiple of 8?
True
Let k(m) = -m. Let v = -11 - -8. Let f be k(v). Suppose -8 = f*g - 23. Does 3 divide g?
False
Let l(x) = -2*x**2 - 3*x - 5. Let m(f) = 3*f**2 + 10 + 5*f + 2 - 4. Let h(z) = -8*l(z) - 5*m(z). Is 10 a factor of h(-5)?
True
Let g(c) = 3*c**2 - 2. Let t be g(-3). Suppose 0 = -5*x + t, -2*m + 6*x - 50 = 2*x. Let o = m + 21. Is 6 a factor of o?
True
Let l(r) = -2*r**3 + 4*r - 9. Let n(j) = j**3 - j + 1. Let z(d) = -l(d) - 3*n(d). Let f be z(0). Does 3 divide f + (-11 + 2)/3?
True
Let q(o) = -o**2 + o - 3. Let y be q(0). Let g be 2 - (-3)/y - -43. Let b = g + -24. Does 7 divide b?
False
Let i be 8/(3/(-3))*-16. Suppose f = -b + 28, -4*f + i = b + 1. Is 11 a factor of f?
True
Suppose -103 = -5*z + 247. Is 14 a factor of z?
True
Let d = 81 + -18. Does 9 divide d?
True
Is 25 a factor of (3/(54/192))/(2/39)?
False
Let g = 380 - 125. Is 26 a factor of g?
False
Let h = 3 + 27. Is 10 a factor of h?
True
Let k be 17*(-1)/(-1) - (0 + 1). Let s(h) = -h**2 + 6*h - 6. Let b be s(6). Let m = k + b. Is 5 a factor of m?
True
Suppose k - 5 = -1. Let m = 38 - k. Is m a multiple of 11?
False
Let p be 10/(5 - (5 + -2)). Let o(n) be the second derivative of 4*n**3/3 - n**2 + n. Is 16 a factor of o(p)?
False
Let s = -7 + 12. Suppose s*p - 83 - 2 = 0. Is p a multiple of 17?
True
Suppose 3*x - 1 = 4*k, -2*x - 3 = x. Let q(u) = 73*u**2 + u. Let v be q(k). Suppose 0 = -0*c + 3*c - v. Is c a multiple of 11?
False
Let u(z) = z + 12. Let j be u(0). Let s(l) = -l**3 + 11*l**2 + 16*l - 8. Is 8 a factor of s(j)?
True
Suppose m - 15 = 8. Suppose 0 = -0*u + u - m. Is 8 a factor of u?
False
Suppose p - 5*p + 48 = 0. Is 114/p + 2/(-4) a multiple of 9?
True
Let i(z) = -z**2 + z - 5. Let c be i(0). Let r = c - -2. Does 6 divide ((-45)/20)/(r/16)?
True
Let v(g) = -g - 1. Let c be v(-6). Suppose -4*l = -3*w - 31, -2*w + 1 + c = 4*l. Suppose -32 = 2*o - l*o. Is o a multiple of 12?
False
Does 26 divide (18 - 15)*(-3)/(18/(-260))?
True
Suppose 18 = 3*h - 3*c + 2*c, 3*h + c = 12. Suppose -3*g = -5*y - 130, -h*g + 2*y - 45 = -249. Is g a multipl