. Is m a multiple of 15?
False
Let f = 84 - 31. Let p = f - 26. Is p a multiple of 15?
False
Suppose -4*f - 3*m + 8 = 0, -f - 2*m = 3 - 5. Is f even?
True
Is 11 a factor of (-19 + (-4 - -1))*-1?
True
Suppose -o = o - 164. Suppose 5*h - 33 - o = 0. Is 6 a factor of h?
False
Let v be 0*(-1 - (-3 - -1)). Let f = v - -11. Is f a multiple of 9?
False
Let t(k) = 9*k - 12. Let w(n) = -4*n + 1. Let c be w(-1). Does 9 divide t(c)?
False
Let s(k) be the third derivative of k**8/1008 - k**7/2520 + k**6/720 + k**5/30 - 2*k**2. Let c(j) be the third derivative of s(j). Does 11 divide c(1)?
False
Suppose 0 = -5*p - 2*f + 306, -3*f - 80 - 151 = -4*p. Is p a multiple of 5?
True
Suppose -352 + 37 = -3*y. Let f = y - 75. Suppose f = p + 4*p. Is p a multiple of 3?
True
Let t(p) = -2*p**2 + 13*p + 5. Let j(w) = -w**2 - w. Let i(b) = 3*j(b) - t(b). Is 17 a factor of i(-13)?
True
Suppose 5*t + 5*n - 53 = n, -n - 29 = -2*t. Suppose 3*g - t = -5*l + 3*l, 3*l = -3*g + 24. Suppose -5*w + 129 + l = 0. Is 14 a factor of w?
True
Suppose -2*t = -5*k - 4*t + 32, 7 = 2*k - 5*t. Is (-22)/(-2)*(k - 5) a multiple of 6?
False
Let i = -19 + 27. Let u(v) = 3*v**3 + 4*v**2 + 4*v + 7. Let q(h) = 7*h**3 + 7*h**2 + 9*h + 14. Let g(s) = -4*q(s) + 9*u(s). Does 5 divide g(i)?
False
Let o = -4 - -9. Let n(l) = 361*l + 3. Let a be n(1). Suppose 29 = -o*y + 5*v + a, -3*y + 181 = 2*v. Is 21 a factor of y?
True
Let o(x) = x**3 - 6*x**2 + 5*x + 3. Let p be o(5). Let k = p + -2. Let u = 17 + k. Does 8 divide u?
False
Suppose 2*w + 41 + 23 = 0. Let y = -53 - w. Let i = -15 - y. Is i a multiple of 6?
True
Let g = -4 - -4. Suppose -4*z = -0*z - 16, g = -5*t - 5*z + 105. Does 17 divide t?
True
Suppose 5*t - 20 = -5. Suppose -2*l = 3*v - 58, 0 = 5*v - t*v + 3*l - 47. Does 16 divide v?
True
Suppose 0 = -2*r - 5 - 1, 2*g = -2*r. Suppose g*j + 2*j = 60. Suppose -2*x - j = -5*x. Does 4 divide x?
True
Suppose c - 34 = -15. Does 5 divide c?
False
Let c(w) = -6 + 25*w - 30*w - 2. Is c(-4) a multiple of 4?
True
Suppose 10*l + 12 = 13*l. Suppose l*w = 52 + 156. Is w a multiple of 18?
False
Suppose -25 = 5*u, -2*u = 3*a + 4 + 6. Suppose a*d = q - 2*d - 36, -102 = -3*q + 4*d. Is 8 a factor of q?
False
Let x(o) = o**2 + 12*o - 11. Let t be x(-13). Let y(b) = -2*b + 2*b - 2*b + 9*b**t + 1. Does 17 divide y(-2)?
False
Suppose 5*r + 9 = 34. Does 2 divide r?
False
Suppose 3*s = b - 27, 0*b = b + 4*s - 13. Suppose -3*v + 0*v + b = 0. Suppose -v*j + 3*j = -12. Does 2 divide j?
False
Suppose 0*f - 5*f + 24 = -r, -2*f = 5*r - 15. Suppose 4*y = -2*o, 5*y - 16 = -f*o + 3*y. Is o a multiple of 4?
True
Let f = 190 + -86. Does 24 divide f?
False
Let l = 7 + -3. Let n = l - -6. Suppose -3*j - 5*m = 3, 2*m = -j - 3*j + n. Is j a multiple of 3?
False
Let t(k) = -3*k**3 - 4*k**2 - 7*k + 136. Let h be (0 + -10)/(-5 - -3). Let f(o) = 2*o**3 + 3*o**2 + 5*o - 91. Let a(w) = h*t(w) + 7*f(w). Does 12 divide a(0)?
False
Let f be 12 - (-3)/(2 + -3). Let l = f - -1. Does 7 divide l?
False
Suppose y - 5*y - 2*h + 38 = 0, -85 = -5*y + 5*h. Let w(c) = -c**2 + 16*c - 8. Is 16 a factor of w(y)?
False
Let v be 0 + (-1 - -2) + 1. Let k(s) = -4*s + 0*s - v - 3*s. Does 9 divide k(-2)?
False
Suppose 2*k + 4 = 3*k. Suppose 0 = -4*z + 4*u + 72, 0 = -z - k*u + 13 + 25. Is 19 a factor of z?
False
Does 41 divide (-32202)/(-162) - 2/(-9)?
False
Let x(g) = g - 6. Let q be x(10). Suppose -w + 2*v = -0*v + 23, -q*v = w + 35. Let n = 45 + w. Is n a multiple of 11?
False
Suppose 60*i - 144 = 56*i. Is i a multiple of 18?
True
Let s be (-64)/(-28) - 2/7. Does 5 divide s - -9 - 2 - 1?
False
Let u(p) = -p**2 + 10*p + 13. Does 7 divide u(10)?
False
Let p = 4 + -2. Suppose -p*i + 34 = -i. Is 15 a factor of i?
False
Let x = 3 - -1. Suppose -z + 2 = -k - 1, x*z - k = 24. Is z a multiple of 7?
True
Let p(s) = 4*s**2 + 3*s + 5. Does 4 divide p(-3)?
True
Suppose -7 + 40 = 3*z. Is (-6)/(-2) + z/1 a multiple of 7?
True
Let r(i) = -i**3 + 7*i**2 - 4*i + 7. Let o be r(5). Let b = o + -21. Is b a multiple of 5?
False
Let f = 101 - -95. Is 7 a factor of f?
True
Suppose -2*l = -14 - 0. Is l a multiple of 7?
True
Let g = 9 + -10. Let m(l) = -4*l**3 - 1. Let f be m(g). Let h = 7 - f. Is h a multiple of 2?
True
Let o(m) = -51*m + 1. Does 11 divide o(-1)?
False
Let x(p) = 18*p + 5. Let l(m) = 7*m**3 + m**2 - m - 1. Let u be l(-1). Let r be x(u). Let k = 144 + r. Is 12 a factor of k?
False
Let l be ((-6)/(-8))/((-1)/(-4)). Suppose l*r = 3 + 3. Is r a multiple of 2?
True
Suppose -n - 6 = -2*n. Suppose d - 2*r + n - 1 = 0, -3*d + r = 0. Let b(v) = 7*v**3 + v**2 - 1. Does 3 divide b(d)?
False
Suppose -5*h = 1 + 9, -528 = -5*w + 4*h. Is 13 a factor of w?
True
Let m(b) = b**2 - 8*b + 10. Let o be m(7). Suppose -o*g - 2*g + 190 = 0. Is 10 a factor of g?
False
Let r = -29 - -42. Let c = 21 - r. Is 5 a factor of c?
False
Suppose -424 = -5*s - 4*t, 0*s = 2*s + 2*t - 170. Suppose -22 + s = 2*x. Does 31 divide x?
True
Let h be -3 + 3 - (-165 + 0). Suppose 0 = 5*f - h + 5. Is 8 a factor of f?
True
Suppose 5*g - 721 = -26. Is 12 a factor of g?
False
Let n = -18 + 37. Let b = -4 + n. Does 4 divide b?
False
Let i(w) = w**3 + 3*w**2 - w - 1. Let t be i(-2). Let m(l) = -2 - 3 + 3*l + 6*l. Is m(t) a multiple of 13?
False
Let u(q) = -q**3 + 5*q**2 + 7*q - 1. Let c = 15 - 10. Is 17 a factor of u(c)?
True
Suppose 0 = s - 4*s - 27. Let m = -13 - s. Let q(y) = y**2 - 3*y. Is q(m) a multiple of 14?
True
Is 7 a factor of 3 - (150/2)/(-3)?
True
Suppose 0 = 4*h - 0*x + 2*x - 130, -133 = -4*h + x. Does 11 divide h?
True
Let c = -11 - -15. Suppose 0 = -c*q + 2 + 6. Is q even?
True
Let g(r) be the third derivative of r**6/120 + 2*r**5/15 + r**4/4 + r**3/6 - 3*r**2. Is g(-7) a multiple of 4?
True
Let o(x) = x + 1. Let d be o(3). Suppose -2*q + 2*m = 42, d*q - m + 75 = -0*m. Let t = 66 + q. Is t a multiple of 13?
False
Let o(a) = -a**2 - 19*a + 20. Is o(-17) a multiple of 32?
False
Let n(w) be the third derivative of w**5/60 + 20*w**3/3 - 3*w**2. Is 18 a factor of n(0)?
False
Let d = -73 + 283. Is d a multiple of 56?
False
Suppose 0 = -h + 4*h - 6. Suppose -5*o - v + 21 = -4*v, -2*o = 3*v. Let u = h + o. Does 3 divide u?
False
Let j(s) = -2*s + 5. Let p be j(-4). Let t = p + 15. Does 7 divide t?
True
Let i(r) = -2*r**3 - 8*r**2 - r + 3. Let y(k) = -2*k**3 - 9*k**2 - k + 4. Let o(h) = 6*i(h) - 5*y(h). Is 14 a factor of o(-3)?
True
Let q be (-1086)/(-21) - 2/(-7). Suppose -4*y = -0*y - q. Is y a multiple of 7?
False
Suppose -356 = -i - 2*b, -5*i + 2*b = -2*b - 1808. Does 40 divide i?
True
Let b(s) = -s**3 + 4*s**2 + 4*s + 5. Let g = 6 + -1. Let k be b(g). Suppose 4*j - 55 - 73 = k. Does 16 divide j?
True
Suppose 5*c + 5 = a + 3, -5*a + 10 = 0. Suppose c*m = -m + 35. Is m a multiple of 9?
False
Suppose -3*r - 2*w - 88 = -4*r, 4*w + 8 = 0. Is 12 a factor of r?
True
Suppose 29 = 5*p - 31. Does 6 divide p?
True
Let i be (16/10 + -2)*-5. Is 16 a factor of (2 - (-24 + 0))*i?
False
Suppose -4*i + 480 = -5*w, 2*i + 2*w - 39 - 201 = 0. Is 20 a factor of i?
True
Suppose 0 + 5 = k. Suppose -k = -2*q + q. Suppose -2*w - 26 - 14 = -4*o, 0 = -2*o + q*w + 28. Is 4 a factor of o?
False
Suppose -32 = 4*y - 5*y. Let s = -7 - -12. Suppose 0 = s*c + 2*v - 160, 0*c - c + 2*v = -y. Is c a multiple of 10?
False
Let k(a) = -9*a - 7*a - 256 + 243. Is 33 a factor of k(-7)?
True
Let p(v) = v**2 - 7*v - 24. Is 6 a factor of p(10)?
True
Let t(b) = -b**2 - 2*b - 2. Let v be t(-2). Let l be (v/(-5))/(1/65). Suppose 0 = -5*g + 29 + l. Does 9 divide g?
False
Suppose r + 0 - 9 = t, 0 = -3*t - 3*r + 3. Let f = t + 20. Is f a multiple of 16?
True
Let s(v) = v**2 - 6*v + 7. Let w be s(5). Suppose -w*a = -4*a + 4. Is a - (1 + -2 + -1) a multiple of 3?
False
Suppose -3*z - 5*c + 61 + 27 = 0, -c + 47 = 2*z. Does 5 divide z?
False
Let p be 0 - (-1*5 + 2). Let w be (-72)/15*(-10)/p. Let r = -10 + w. Is 3 a factor of r?
True
Let g = 1255 - 512. Let p be (-4)/(-10) + g/5. Suppose z + 88 = 3*q, -4*q - 5*z + 0*z = -p. Is q a multiple of 15?
False
Suppose -7*k = -2*k + 5. Let o be k/(2/(-148)) - 0. Suppose -4*n + y + o = 0, 21 - 5 = n + y. Is 18 a factor of n?
True
Let n = -58 - -154. Does 8 divide n?
True
Let p be 1 + 2 + -1 - -1. Let j(u) = 4*u - 3. Does 3 divide j(p)?
True
Suppose 0 = 6*k - 118 - 86. Is 16 a factor of k?
False
Let j(f) = f**2 - 6*f - 