 ((-14)/6)/((-4)/a)?
False
Suppose o + 5*c - 6 = 16, 3*o + c = 108. Does 17 divide 3 + -3 + -3 + o?
True
Suppose -10*z = -957 + 147. Does 13 divide z?
False
Let a be 8/(-10)*10/2. Let x be -4*(0 - (-2)/a). Suppose -4*w + 12 = 0, 0*v + x*v + 3*w - 53 = 0. Does 11 divide v?
True
Let o = 99 + -26. Suppose 22 = 5*m - o. Is 9 a factor of m?
False
Let g(l) = l + 5. Let d be g(-10). Let w = d - -4. Is 29*((-2 - w) + 2) a multiple of 11?
False
Let v(m) = -23*m**3 - 2*m**2 + 1. Let g be v(-1). Suppose 2*n - g = 34. Is 10 a factor of n?
False
Let t(q) = 8*q**2 - 4*q + 18. Let m(w) = -3*w**2 + w - 6. Let g(o) = -11*m(o) - 4*t(o). Suppose n = -u + 8 - 1, -3*u = -3*n - 3. Is 13 a factor of g(u)?
False
Suppose 3*g - 5 = 8*g. Let v be (-5 - (-2 + g)) + 5. Suppose 11 = v*w - 1. Is w a multiple of 4?
True
Suppose -5*o - 69 - 316 = 0. Is 2 a factor of 1/2 + o/(-14)?
True
Let z(v) = v + 38. Let w be z(0). Suppose -4*d + w + 62 = 0. Is 11 a factor of d?
False
Let o(h) = -h**2 - 13*h - 7. Let m be o(-8). Suppose x - m = 4*v + 23, 3*v + 15 = 0. Does 12 divide x?
True
Let w be (-4)/(-14)*42/6. Suppose 2*u = w + 4. Is 69/u*1 - -1 a multiple of 12?
True
Let u(i) = i**3 - i**2 - 4*i - 3. Is u(5) a multiple of 11?
True
Let p = 18 - -48. Does 33 divide p?
True
Suppose 5*s + z + 29 = 0, -5*s - 2*z - 37 = z. Let o = s - -3. Is 9 a factor of -4 - (o + -1) - -19?
True
Let c(f) = -f**2 - 7*f + 9. Let b be c(-8). Suppose 0 = 5*n - 54 + 14. Let o = b + n. Is 5 a factor of o?
False
Let p(m) = -20*m + 2. Let y(g) = 41*g - 5. Let j(w) = 13*p(w) + 6*y(w). Is j(-5) a multiple of 22?
True
Let x(r) = -r + 3. Let a(h) = -1. Let j(v) = 5*a(v) + 2*x(v). Is j(-5) a multiple of 11?
True
Let u = 8 - 6. Suppose -u*i - 4 = 0, m + 2*i - 15 - 5 = 0. Does 12 divide m?
True
Let j = 583 - 378. Does 43 divide j?
False
Is 6 a factor of 3 + 0 + 55 + -4?
True
Does 10 divide (-1057)/(-35) - 1/5?
True
Let m(d) = -d**2 + 10*d + 3. Let n be m(10). Suppose -2*q = -n*i - 61, 5*q - 5*i - 55 = 85. Is 6 a factor of q?
False
Let y = 2 + 20. Is 22 a factor of y?
True
Let l(j) = -85*j + 3. Is 22 a factor of l(-1)?
True
Let g(m) = m**2 - 11*m + 2. Let a be (-5)/(-25) - 69/(-5). Is g(a) a multiple of 11?
True
Let j be -1 - 18/(-3 - -1). Is j/(-6)*(-102)/4 a multiple of 15?
False
Suppose 3*x = -0*x. Let o(k) = k - 5 - 3*k**2 + 33 + 2*k**2. Is o(x) a multiple of 14?
True
Let g(r) = 7*r**2 - 1. Is g(1) even?
True
Suppose 4*k - 26 = x - 125, 4*k = -4*x + 396. Does 12 divide x?
False
Let j(f) = -28*f**3 - f**2 - f. Let h be j(-1). Let c = h - 19. Does 9 divide c?
True
Is 15 a factor of 89 - (-3)/(6/4)?
False
Suppose 4*d = 2*d + 130. Is 5 a factor of d?
True
Let n = 775 - 376. Is 14 a factor of n?
False
Let y(b) = -b**3 + 7*b**2 + b - 7. Let g be y(7). Does 9 divide 7*(g + 0 + 2)?
False
Let g = 15 - 25. Is 3 a factor of (52/(-10))/(4/g)?
False
Is ((-82)/(-3))/(2*2/24) a multiple of 41?
True
Is 12 a factor of 40/15*(-18)/(-4)?
True
Let d = 43 + 216. Suppose 71 = -4*x + d. Is x a multiple of 11?
False
Suppose b - 3*o - 11 = -3, 4*b + 4*o - 16 = 0. Suppose -x - 3*x + 4*n + 128 = 0, b = 5*n. Suppose 0*t + x = t. Is 11 a factor of t?
True
Suppose -4*b + 2*t - 14 = 0, 0*b = -2*b - t - 5. Is (-1 - -43)*b/(-6) a multiple of 21?
True
Suppose -5*q + 17 = 4*t - 16, 24 = 2*t + 4*q. Is t a multiple of 2?
True
Let m = 26 - 43. Let i = 1 - m. Is i a multiple of 7?
False
Let a(z) = z**3 + 5*z**2 - 6*z - 2. Let n be (4/12)/(1/(-15)). Is a(n) a multiple of 14?
True
Suppose 0 = 5*v + 5*h, v = -2*h - 0 + 4. Let o(w) = 2*w**2 + 4. Is o(v) a multiple of 13?
False
Is 3 a factor of 2/(-10) + 656/80?
False
Let r(w) = -w**2 - 10*w + 1. Let x(m) = 0*m**2 - 3*m - 2*m**2 + 1 - 4*m + 6*m. Let k be x(2). Does 10 divide r(k)?
True
Suppose 0 = 5*g + 121 - 631. Is 25 a factor of g?
False
Let j(v) = v**3 + 9*v**2 + 7*v + 2. Let n = -10 - -2. Let l be j(n). Let s(a) = a + 6. Does 8 divide s(l)?
True
Let f = 9 - 7. Suppose -f = -q + 3. Is q a multiple of 5?
True
Suppose 0 = 3*d - 0*d + 18. Let c = d + 25. Is 8 a factor of c + (2/2 - 2)?
False
Let b(v) be the third derivative of -v**6/40 - v**4/12 - v**3/3 - 3*v**2. Does 13 divide b(-2)?
True
Let b(w) = 14*w + 4. Let k be b(-5). Let l be (-1 - 5)/(9/(-6)). Is 11 a factor of k/l*12/(-9)?
True
Suppose g - 232 = -g. Does 29 divide g?
True
Suppose 2*s = -0*s - 4*v + 40, 3*s = 3*v + 78. Is 8 a factor of s?
True
Suppose 8*l = 5*l + 18. Is 6 a factor of l?
True
Let f(u) = 4*u - 3. Let w be -4*(9/(-6) + 1). Let a be f(w). Suppose -a*i + 74 = -4*n, 0 = -i - 5*n + 19 + 19. Does 10 divide i?
False
Let s = 56 - 40. Does 3 divide s?
False
Let g = 2 - 1. Suppose -2*v + 63 - g = 0. Is v a multiple of 18?
False
Let x(m) = m**3 - 25*m**2 + 5*m - 13. Is x(25) a multiple of 4?
True
Is 4 a factor of (-2)/(-3)*(-30)/(-5)?
True
Let b be (2 - 0) + (-1 - -3). Suppose 4*s = -4*f - 24, -b*s + 3*f = -f + 16. Is 6 a factor of s/((-15)/54) + 0?
True
Let s be -4 + 9/3 - -50. Let m be (48/(-15))/((-2)/(-10)). Let l = s + m. Is l a multiple of 14?
False
Let n(h) = 13*h**2 - 3*h. Is n(1) a multiple of 2?
True
Suppose -2*p + 4*p = 18. Suppose 0 = -m + 7 + 9. Let c = m - p. Is c a multiple of 6?
False
Suppose -5*c - 5*d + 545 - 125 = 0, -c + 84 = -4*d. Is 21 a factor of c?
True
Does 8 divide 22*6*(-5)/(-15)?
False
Suppose -60 = 5*x - 225. Is 11 a factor of x?
True
Let w = 210 - 98. Does 16 divide w?
True
Let m(i) = 2*i**2 - i - 6. Is m(6) a multiple of 20?
True
Let c(n) = -4*n. Let f(p) = -p - 1. Let d(h) = -c(h) + 3*f(h). Does 2 divide d(6)?
False
Let l be -2 + (-12)/(-2 - 0). Suppose -2*g = l + 24. Does 7 divide ((-3)/6)/(1/g)?
True
Let p(d) = -12*d - 2. Let k be p(-7). Suppose -4*m + 29 + 35 = 4*b, -4*m + 5*b + k = 0. Is m a multiple of 18?
True
Let o = 10 + -5. Suppose -6*v = -o*v - 17. Is 17 a factor of v?
True
Let w(m) = 2*m - 3. Let t be (-6)/27*3*-6. Is 2 a factor of w(t)?
False
Suppose -6 = -4*l + 2*o, l - o + 3 = 4. Suppose -l = -b + 2. Suppose -5*m + 41 = 3*f, 0*m = 4*f + b*m - 68. Does 8 divide f?
False
Suppose 3*z - 5 = 4, 0 = 5*d + 5*z - 335. Does 12 divide d?
False
Suppose -11*h = 5*h - 768. Is 12 a factor of h?
True
Suppose 0 = -0*y - y - 5*u + 20, -4*u - 80 = -4*y. Does 18 divide y?
False
Suppose -2*z = 3*z - 320. Is 7 a factor of z?
False
Suppose 2*h = h. Suppose d + 10 - 26 = h. Is d a multiple of 16?
True
Suppose -3 = -3*v, -4*u + 2*u + v + 99 = 0. Is u a multiple of 20?
False
Let l = -13 - -25. Is 12 a factor of l?
True
Suppose u + 6 = 3*u. Does 4 divide (1/u)/((-2)/(-24))?
True
Suppose 0 + 4 = 4*z. Is (6/4 - z)*122 a multiple of 29?
False
Suppose -n - 205 = -6*n. Does 13 divide n?
False
Let n = 1 - -35. Is n a multiple of 31?
False
Let l(c) = 7*c + 1. Let i be l(1). Let o(p) = 2*p + i*p - 3*p + p - 6. Does 11 divide o(4)?
False
Let t = 70 - 54. Does 4 divide t?
True
Suppose -3*w - 56 = -2*p - 330, 92 = w - p. Is w a multiple of 18?
True
Let n(p) = 4*p + 2 + 3 - p**2 + 0*p**2. Let l be n(4). Suppose -5*m + 5*w + 85 = 0, -l*m + 0*w - 3*w + 77 = 0. Is 5 a factor of m?
False
Suppose 3*d + 5*t = -5, -t + 16 = 7*d - 3*d. Suppose 14 = c + d*a, -c - 5*a - 2 = -4*a. Is (12*2)/((-9)/c) a multiple of 11?
False
Suppose t - 13 = 5*s, -4*s + s + 5*t - 21 = 0. Let r be (-2 + -1 - s)*-1. Is r - (2*-7 - -2) a multiple of 8?
False
Is 23 a factor of 22 + 2 + 3 + -2?
False
Let o(g) = -2*g**2 - 30*g - 8. Does 4 divide o(-14)?
True
Let d = 5 - 0. Suppose -4*c = -12, -26 = -d*u + 3*u + 2*c. Does 16 divide u?
True
Let f be (0 + -1)/((-7)/14). Let r = 1 + f. Suppose 3*j - 2*j + 49 = 2*d, 0 = j + r. Does 12 divide d?
False
Let c = 78 - 46. Suppose c = 3*w - 2*w. Is 16 a factor of w?
True
Suppose 2*k = -q + 11, 5 = k - 4*q + 4. Is 17 a factor of 2/5 + 253/k?
True
Suppose -1 = -2*p + p. Suppose 0 = -r - 0*r + p. Does 3 divide (3/r - 1) + 2?
False
Does 16 divide -3 - (-208 + 4 + -2)?
False
Let r = -73 - -127. Suppose -5*l + p + r = 4*p, 3*p = 3*l - 42. Is l a multiple of 6?
True
Let l be (-172)/3 - (-1)/3. Let x = l - -108. Let k = 76 - x. Is k a multiple of 10?
False
Let z be -9*1/((-6)/14). Suppose -z = h - 2*h. Suppose -4*o + 7 = -h. Is o even?
False
Suppose 60 = -6*g + 2*g. Let l be (g/20)/(1/(-68)). Suppose -3*x = -l - 0. Does 17 divide x?
True
Let j(x) = 5*x**2 + 9*x + 14. Is j(-4) a multiple of 29?
True
Suppose 0*n - 2*p - 9 = -n, 105 = 