n + 108. Is n a multiple of 18?
True
Let x(s) = 2*s - 2. Is x(5) a multiple of 3?
False
Let x(s) = s**2 - 2. Let f be x(2). Let o = 2 - 1. Is 7 a factor of f + -1 + 13/o?
True
Let h(i) be the third derivative of i**5/20 - i**4/8 - i**3/3 + 3*i**2. Is 10 a factor of h(3)?
False
Suppose 3*j + 0*j = -9. Let o be (30/9)/((-2)/j). Suppose -6*q + 58 = 5*p - 4*q, -o*q + 20 = 0. Is 5 a factor of p?
True
Let w be ((-1)/(3/(-9)))/1. Suppose w*b = 6*b + 3. Is 2 a factor of (2 + -1 - b) + 2?
True
Let p(f) = -f**3 - 2*f**2 - 4*f - 1. Let i be p(-3). Suppose -j = -2*x + 57, -4*x + 97 = -3*j - i. Is x a multiple of 7?
False
Suppose -5*q + 5*c = -3*q - 167, -2*c = -5*q + 470. Is q a multiple of 26?
False
Suppose -j - 2 = -10. Suppose -2*v = -v - j. Is 8 a factor of v?
True
Let x(k) = k**3 - 5*k**2 + k - 5. Let f be x(5). Suppose 8*l - l - 56 = f. Is 8 a factor of l?
True
Let t(j) = -j**3 - 8*j**2 + 11*j + 1. Let m(h) = -h**3 - 7*h**2 + 10*h + 2. Let u(q) = -5*m(q) + 4*t(q). Let o = 19 + -23. Is u(o) even?
True
Let g be (0/((-6)/3))/(-1). Suppose 2*u + 1 = -g*w + 3*w, 0 = -u + 5*w - 11. Suppose -u*x + h + 18 = -68, -5*x = 2*h - 114. Is x a multiple of 8?
False
Suppose -6*x + 91 - 25 = 0. Is x a multiple of 3?
False
Let g = -13 + 18. Let r(z) = 2*z - 6. Let q be r(g). Suppose q*n + 9 = 3*t, -4*t - 5*n + 43 = -0*n. Is 3 a factor of t?
False
Let w(q) = 2*q**2 - 6*q + 4. Is 13 a factor of w(5)?
False
Suppose 29 + 145 = 2*h. Is 42 a factor of h?
False
Suppose 15*g - 160 = 14*g. Is 32 a factor of g?
True
Let l be 0 - 1/(2/(-8)). Suppose -4 = -0*k + l*k, -v + 5*k + 98 = 0. Suppose 5*s - v = 3*a, -2*s + 47 = s - 4*a. Is s a multiple of 9?
False
Suppose 3*w - 3*a - 210 = -a, 5*w - 345 = 5*a. Does 36 divide w?
True
Suppose 85 = 3*u - 23. Does 15 divide u?
False
Does 12 divide 86/6 + 2/3?
False
Suppose -2*q = -s + 164, -3*s + 6*q = 3*q - 477. Is 9 a factor of s?
False
Let w = 54 + -36. Suppose -20 - w = -p. Is p a multiple of 10?
False
Let l(k) = -3*k - 30*k + 1 - 1 - 1. Does 12 divide l(-1)?
False
Let o(u) be the third derivative of u**6/120 - 3*u**5/20 + 4*u**2. Let v be o(9). Suppose 0 = -v*z - 3*z + 150. Is 17 a factor of z?
False
Let c = -24 + 67. Is 11 a factor of c?
False
Suppose -31 = -5*l + 2*b, -4*l + 4*b = -8 - 24. Suppose 2 - 37 = -l*w. Is 7 a factor of w?
True
Suppose 1076 + 684 = 8*o. Does 10 divide o?
True
Let h(p) = -p**3 - 9*p**2 - 8*p + 5. Is h(-8) a multiple of 5?
True
Let q = -20 - -56. Is 7 a factor of q?
False
Let s(k) = 45 - 18 - 2 + 2*k + 47. Is s(0) a multiple of 20?
False
Suppose -7 + 119 = 2*g. Does 15 divide g?
False
Let l(h) = -h**3 - 3*h - 4. Suppose v + 3*x + 3 = 0, 3*v + 0*v - 2*x + 9 = 0. Is 8 a factor of l(v)?
True
Let b(a) = -a**3 + 9*a**2 + 19*a - 15. Does 13 divide b(9)?
True
Let v(s) = -s**2 + 10*s - 8. Let c be v(9). Suppose 2*x - c - 3 = 0. Suppose 5*y + x - 22 = 0. Does 4 divide y?
True
Let p(v) be the first derivative of -v**4/4 - 8*v**3/3 - 4*v**2 - 5*v + 3. Is p(-7) even?
True
Let l = -14 - -22. Does 4 divide l?
True
Let k = 18 + -13. Suppose -k*m + 126 - 16 = 0. Does 11 divide m?
True
Let m = 7 - 4. Suppose 35 = m*w - 2*s, 48 = 3*w + 2*s - 7. Is w a multiple of 15?
True
Does 14 divide (18/(-4) + 5)*280?
True
Let n be ((-12)/(-14))/(16/56). Suppose -3*t + 2 = -2*i - 3, n*i - 12 = -2*t. Is i even?
True
Suppose -16*k + 104 = -12*k. Does 6 divide k?
False
Suppose 0 = -2*l - 2*y + 20 - 6, 0 = 4*l - 4*y - 52. Let n = l - 7. Is (-2)/n + (-23)/(-3) a multiple of 3?
False
Suppose 4 = -v + 2*v. Suppose v*r = 97 - 29. Is r a multiple of 17?
True
Suppose 0 = -3*b - b - 8. Let u(z) = 4*z**2 - z - 4. Does 4 divide u(b)?
False
Suppose -726 = -19*p + 13*p. Is p a multiple of 9?
False
Suppose -5*b + 5*g + 15 = 0, 3*g - 54 = -5*b - 15. Let n(i) = -i**3 + 7*i**2 - 2*i. Is n(b) a multiple of 12?
True
Let t be 1 + -1 - (-2 - 11). Suppose -4*q = -t - 3. Does 2 divide q?
True
Let k = -10 + 12. Let c(x) = 8*x**k + 3*x + x**2 + 0*x**2 + 0*x**2. Is c(-2) a multiple of 10?
True
Let v(a) = -a**3 - 2*a**2 - 5*a - 2. Let l be v(-3). Let m(o) = -o - 13. Let u be m(0). Let b = u + l. Does 9 divide b?
True
Suppose 0 = 28*r - 26*r - 32. Does 11 divide r?
False
Suppose -4*o - 5*a + 105 = -4*a, 2*o - 3*a - 35 = 0. Let q be (30/o)/(6/(-80)). Let u = q - -39. Is 20 a factor of u?
False
Let i be 6/9 + (-14)/(-6). Suppose -i*p = -2*p. Suppose -l = -5*f + 2*l + 85, p = -2*l. Does 17 divide f?
True
Suppose d + 1 - 12 = 4*r, -2*d - 11 = 3*r. Let n = 15 - r. Does 9 divide n?
True
Let s(y) = 29*y. Let l be s(1). Let v = l + 2. Is 14 a factor of v?
False
Let i(f) = f**3 + 5*f**2 + 2*f - 4. Let g be i(-4). Does 9 divide 1130/35 + g/(-14)?
False
Let c be 7/((4/(-2))/(-8)). Let t = c + -16. Does 10 divide t?
False
Suppose 0*d = 5*d + 2*m - 90, -3*d = -3*m - 75. Is d a multiple of 19?
False
Does 13 divide (-6)/8*2*26/(-3)?
True
Let n = -182 - -303. Is n a multiple of 26?
False
Suppose 5*d = -3*x + 2 + 8, -2*x = 0. Suppose r + 33 = d*r. Does 11 divide r?
True
Does 4 divide 3 - (6/2)/(-3)?
True
Let t = 80 + -54. Does 13 divide t?
True
Let l(o) = o**2 + 5*o + 4. Is 8 a factor of l(-9)?
True
Suppose 4*t + 0 - 6 = -2*m, -5*t - 4*m = -6. Let d = 6 - 1. Is 11 a factor of 5 + d - (-2)/t?
True
Let x(v) = v**3 - v**2 - 4. Let c be x(0). Let r = 10 + c. Does 5 divide r?
False
Let h(i) = i + 2. Let c be h(0). Let l be 4 + (-1 - -1)/c. Suppose 3*w = -l*s + 116, -3*s + 76 = -2*w - 28. Is 16 a factor of s?
True
Suppose 0 = 3*m - 3*p - 111, 4*p + 31 - 114 = -3*m. Let t(h) = -h + 600. Let o be t(0). Does 9 divide o/m + (-6)/33?
True
Let c = -5 + 7. Suppose 6*p - 104 = c*p. Does 13 divide p?
True
Suppose -3*p - 3*b = -8*b - 21, 2*p - 4*b = 16. Let q(f) = -p + 0 + 6*f + 1. Does 4 divide q(1)?
False
Is (-72 + 3)/(-1) + -1 a multiple of 16?
False
Let j = 339 - 227. Does 14 divide j?
True
Suppose 0*k = -3*k + 156. Is k a multiple of 13?
True
Suppose 10 + 45 = -t. Let f(w) = w**3 - 5*w**2 - 6*w + 1. Let l be f(5). Let n = l - t. Does 11 divide n?
False
Suppose -28 = 4*p - 5*p. Suppose 0 = -4*z + 76 + p. Does 13 divide z?
True
Suppose n - 2*w - 1 = 21, -5*n - 4*w + 82 = 0. Is 6 a factor of n?
True
Suppose 0 = -h + 2*h - 4. Suppose 0 = h*w + 5*i - 33, -15 - 24 = -3*w + i. Suppose -3*f = -w - 69. Is 10 a factor of f?
False
Suppose 559 - 4 = 5*q - 5*z, 5*z - 222 = -2*q. Is 37 a factor of q?
True
Suppose -2*t - 4*t = -252. Is 9 a factor of t?
False
Suppose 16 = -2*m - 2*o, -2*m = m - 5*o. Let t = m - -8. Suppose 120 = 2*d + t*d. Is d a multiple of 20?
False
Let y(q) = 24*q - 1. Is 4 a factor of y(2)?
False
Let d(x) = 7*x**3 + x**2 - x - 1. Let n be d(-1). Let f = 3 + n. Does 3 divide (0 + f/(-12))*12?
True
Let i(v) = -v**3 + 3*v**2 - 1. Let t be i(3). Let g(j) = -55*j**3 + 2*j + 1. Is 20 a factor of g(t)?
False
Is 1 + 72/(0 + 3) a multiple of 11?
False
Let d(c) = 30*c**2 + 3*c + 2. Is 16 a factor of d(-1)?
False
Suppose -4*o - o = -300. Suppose -c = 2*c - o. Is c a multiple of 10?
True
Suppose -u - 4*g + 19 = -0*u, -5*g = -25. Is 8 a factor of ((-72)/16)/(u/4)?
False
Suppose 9 - 4 = i. Is i even?
False
Suppose 2*k + 2*u = -2, 0*u = 4*k + 3*u - 1. Is (94/k)/((-1)/(-2)) a multiple of 19?
False
Let x(l) = -l**2 + 4 - 7*l + 5*l**2 - 2*l**2. Let g be x(4). Is 16 a factor of 444/14 + g/28?
True
Suppose 0 = 4*h + 3*l - 535, 5*l - 21 - 134 = -h. Does 26 divide h?
True
Suppose 6 = 5*y + 4*c, 0*c = 2*y + 5*c + 1. Suppose -24 = -y*r + 6. Does 7 divide r?
False
Suppose 5*q + 19 = -3*m, 1 = -3*m - 2*q + 6*q. Is ((-44)/m)/(4/6) a multiple of 11?
True
Suppose -a - 1 = -3. Suppose -w = -a*w. Does 18 divide (w/3 + -86)/(-2)?
False
Suppose -2*g = 3*n - 480 + 122, 0 = 3*n + g - 359. Is 16 a factor of n?
False
Let r = 32 - 22. Suppose -5*z = -5*q + 175, -5*q + 205 = -z + r. Is 11 a factor of q?
False
Is 11 a factor of 2/4 + 260/8?
True
Let w(j) be the second derivative of j**5/20 - j**4/3 + 5*j**3/6 - 3*j**2/2 - 2*j. Let n be w(5). Suppose -n + 15 = -4*p. Is 8 a factor of p?
True
Let a be (-1)/(-3)*(0 - 0). Suppose a = 5*o + 9 + 11. Let x = o + 9. Does 5 divide x?
True
Suppose -5*r - 4*j - 2 = 0, 6*r - 2*r - 2*j + 12 = 0. Let v = 2 + r. Suppose 2*z = -v*z + 40. Is 15 a factor of z?
False
Suppose 5*y - 26 = -1. Suppose 3*s - 3*u - 26 = -y, 5*u = -5*s + 55. Does 15 divide 3/(s/111) + 1?
False
Let r = -2 + -2. Let b = 8 