= -0 - b. Is p(h) a multiple of 17?
True
Let x = 127 - 63. Let r = x - 42. Suppose -2*i + 12 = -r. Does 17 divide i?
True
Suppose 0 = v - 5*a + a - 20, 3*v - a = 16. Suppose -5*p - 9 = k - 33, -4*k = -p - 12. Suppose v = 4*q - p, -3 = -c + q. Is c a multiple of 4?
False
Let a(p) = -p**3 - 3*p**2 + 7*p + 1. Suppose -4*o - 20 = 0, -3*q = -q + 3*o + 25. Let v be a(q). Is 8 a factor of (-1)/(((-2)/v)/1)?
True
Let s(t) = t. Let r be s(2). Let x = 5 - r. Is 3 a factor of x?
True
Let n = 475 + -207. Suppose -6*u = -2*u - n. Is 25 a factor of u?
False
Suppose 0 = 3*p + 4*g - 20, 4*p - 2*g - 56 = -0*p. Suppose w + p = 32. Is w a multiple of 16?
False
Suppose -5*f + 2*f = 0. Let c be 3 + (-2)/(2 - f). Suppose -4*h + 5*p = -191, -c*h = -4*p - 66 - 22. Is h a multiple of 24?
False
Let f = 4 - 4. Suppose s - 23 = 4*z, f = -4*s + 3*z + 82 - 16. Does 15 divide s?
True
Let c(w) = w**2 - w - 1. Let l be c(3). Suppose -r + 47 = l. Is 14 a factor of r?
True
Let c(l) = l**2 - 4*l + 2. Let d be c(4). Suppose 2*b - 24 + 4 = -d*m, 100 = 5*m - 5*b. Does 9 divide m?
False
Let w(s) = -s**2 + 6*s + 31. Does 2 divide w(9)?
True
Let z(s) = -s**2 - 8*s - 6. Let f be z(-6). Is 3 a factor of (14/(-3))/((-4)/f)?
False
Suppose f + 5*t = 155, -t + 301 = -3*f + 5*f. Is 10 a factor of f?
True
Let c = 7 - 5. Does 21 divide (80/(-24))/(c/(-27))?
False
Let w(o) = -o**2 - 9*o + 7. Let v be 2/(-1) + -1 + -4. Let n be w(v). Suppose -2*y - 2*l + 30 = -4, 0 = -y - 3*l + n. Is y a multiple of 15?
True
Suppose 3*v + 0*v = -12. Is 127/2 - (-6)/v a multiple of 31?
True
Suppose -5*q - 75 = -0. Let f = q - -29. Is 10 a factor of f?
False
Suppose j = -0*j + 239. Is 30 a factor of j?
False
Let h be (3 - (-3 - -1)) + -3. Suppose 0 = 4*g - h*g - 58. Is g a multiple of 9?
False
Suppose 6*w + 78 = 5*m + 3*w, 4*m - 3*w = 63. Suppose 5*z = -0*z + m. Suppose -2*f + 135 = z*f + 5*y, 27 = f - y. Does 11 divide f?
False
Let g(a) = -a**2 + 16*a - 9. Does 17 divide g(6)?
True
Let v(f) = -19 + 6 + 4*f - f. Is 5 a factor of v(6)?
True
Let g = 25 + -11. Is 10 a factor of g?
False
Let p be (-2 - -2)*2/(-4). Let w be (1 + p)*(4 - 2). Is 14 a factor of w/6 - (-172)/6?
False
Is (-20)/(-30) + 158/6 a multiple of 18?
False
Suppose 163 = 3*d - 527. Does 46 divide d?
True
Suppose 0 = -3*y + 2*d + 2, d + 5 = 2*y + 2. Suppose -y*g + 5*g = 1. Is 5 a factor of (-44)/(-8)*(g + 1)?
False
Suppose -2*g - 4*u - 2 = 2, -4*g + u + 28 = 0. Let f(x) be the second derivative of x**4/12 - x**3/2 + 3*x**2 - 4*x. Does 12 divide f(g)?
True
Let j = -6 + 5. Let p = j + 1. Suppose p = 4*s - o - 26, -1 + 11 = 5*o. Is 7 a factor of s?
True
Let k be 4/5*(-5)/(-2). Suppose 0 = 4*y - 6 + 2. Does 4 divide ((-22)/(-2))/(k - y)?
False
Let m be 3*(510/9)/5. Suppose -m = -n - 10. Does 12 divide n?
True
Let v = -6 + -2. Let u(d) = d + 10. Let y be u(v). Does 5 divide y/(-3)*(-39)/2?
False
Suppose 3*t - 5*v + 810 = 8*t, 165 = t + 4*v. Is t a multiple of 17?
False
Let q be -3 + 3 + 0 - -12. Does 22 divide 1*q*(-110)/(-20)?
True
Let z be (74/(-6))/(2/(-18)). Let q = 159 - z. Suppose -5*t + 32 = -q. Is t a multiple of 8?
True
Let r = -8 + 14. Let b = r - 2. Suppose -19 = -b*a + 9. Does 7 divide a?
True
Let m(g) = g**2 - g - 9. Let s be m(6). Suppose -2*p + s + 69 = 0. Is 19 a factor of p?
False
Let p = -107 - -196. Is p a multiple of 6?
False
Does 4 divide 1 - -15 - 1/(3/9)?
False
Suppose -u = 3*u + 84. Let b = u + 29. Let y = 11 - b. Is y even?
False
Is (-3 + 1)*(-3 - (-7)/(-2)) even?
False
Suppose 0 = -3*g + 25 + 14. Is g even?
False
Suppose 3*i - 1 - 125 = 0. Does 21 divide i?
True
Let x(j) = -3*j + 3. Let l be x(-3). Let v = -7 + l. Is v a multiple of 3?
False
Suppose -5*m + 5*r = -25, 0 = -4*m - 4*r - 32 + 12. Let j be -1 - (1 + -1) - -40. Suppose -b + 5*v = -j, -3*b + m*b + 27 = 3*v. Is b a multiple of 14?
True
Suppose 0 = -k + 4*v + 56, 0 = 2*k + k + 2*v - 238. Is 28 a factor of k?
False
Let i = 8 + 2. Suppose 5 + 37 = g. Let d = g - i. Is 16 a factor of d?
True
Let l(i) be the second derivative of -i + 1/2*i**2 + 0 + 5/6*i**3. Is l(5) a multiple of 10?
False
Let h = 96 - -3. Is 11 a factor of h?
True
Let d be ((-8)/5)/((-2)/(-10)). Let k(b) = b**3 + 7*b**2 - 6*b + 8. Let v be k(d). Let m = v - -13. Is m a multiple of 3?
False
Is 27 a factor of (111/2)/(8/16) + -3?
True
Let d(w) = -5*w. Suppose -7 = 2*c - 3*l + 5, 13 = -c + 5*l. Does 15 divide d(c)?
True
Suppose -17 = 3*k + 1. Is -2*(-3)/k*-4 a multiple of 3?
False
Suppose -5*g + 0*g - 105 = 0. Let m = -8 - g. Is 5 a factor of m*(6/(-2))/(-3)?
False
Let m(g) = -10*g**3 + 2*g**2 + g + 2. Let k be m(2). Let v(l) = 3*l**2 + 8*l + 32. Let a be v(-7). Let h = a + k. Is h a multiple of 14?
False
Let f(j) = -7*j - 2. Let d(z) = -6*z - 1. Let g(o) = 3*d(o) - 2*f(o). Let m be g(-1). Suppose -n + 36 = m. Is n a multiple of 15?
False
Does 6 divide 32/(-80) - 32/(-5)?
True
Let h(m) = 2*m**2 + m + 3. Does 31 divide h(-4)?
True
Suppose 0 = -2*c - 73 + 435. Is c a multiple of 57?
False
Suppose 0*j - 4*j = -3*i - 5, -30 = -4*j - 2*i. Suppose -q = j*d - 2*q - 475, -4*d - q = -389. Suppose 3*c - 6*c = -d. Does 11 divide c?
False
Suppose -m = 3*m - 324. Does 17 divide m?
False
Let d = -2 - -2. Suppose -2*u + 40 + 54 = d. Is 21 a factor of u?
False
Suppose 0 = 3*t + 2*d + 16, -2*t + 0*d + 3*d - 28 = 0. Let n be (123/(-2))/(6/t). Let p = n + -58. Is 14 a factor of p?
False
Let q(c) = c**2 - 8*c + 4. Is 21 a factor of q(11)?
False
Let n = -5 - -21. Let x = n + -39. Let d = 35 + x. Does 12 divide d?
True
Suppose 0 = -2*p - 4*r + 66, 4*p + r - 144 = -3*r. Is p a multiple of 13?
True
Let b = -6 + 14. Is b a multiple of 3?
False
Let w(v) = v**2 + 6*v + 2. Is 19 a factor of w(-11)?
True
Let a(z) = z**2 - 3*z + 3. Is 2 a factor of a(5)?
False
Suppose 0*o - 3*o + 43 = -a, a + 49 = -3*o. Let z = -32 - a. Does 14 divide z?
True
Let g = 32 - 45. Let o be 2 + (g - -1) - 2. Does 2 divide (4/6)/((-2)/o)?
True
Suppose 36 = 2*o + 2*o. Let j be (o/(-6))/((-2)/(-4)). Does 3 divide (-2)/j + (-10)/(-3)?
False
Suppose 0 = -5*r - k + 170, -4*k + 263 = 5*r + 78. Is r a multiple of 13?
False
Suppose -5*w - 181 = -3*z + z, -5*z - w = -439. Suppose -5*b = -z - 32. Is 10 a factor of b?
False
Suppose o - 5*o = t - 141, -5*t - 9 = -o. Is o a multiple of 12?
False
Suppose 68 = 5*p - 0*p - 3*y, -5*p + 4*y + 64 = 0. Is p a multiple of 7?
False
Let d = 115 - 249. Let m = 197 + d. Is m a multiple of 21?
True
Is 3 a factor of 4/4 + 10*2?
True
Let n(l) be the second derivative of l**4/12 - l**3/6 + l**2/2 - 2*l. Let g be n(2). Suppose -2*i + 17 = -g. Does 5 divide i?
True
Let j(w) = -66*w**3 + 2*w + 2. Does 11 divide j(-1)?
True
Let v = 80 - 20. Does 12 divide v?
True
Let q(m) = -m**3 + 5*m**2 + m - 3. Let c be q(5). Suppose 0 = -c*i + 4*i - 14. Is (3 + 9)*i/3 a multiple of 18?
False
Let c = -19 - -13. Let a = 6 - c. Does 5 divide a?
False
Suppose -v = 3 - 1. Let g be ((-1)/v)/(1/12). Suppose 2*p - g*p + 40 = 0. Does 10 divide p?
True
Let r(l) be the third derivative of l**6/120 + l**4/12 - l**2. Is 7 a factor of r(2)?
False
Suppose -6*d + 135 = -d. Is 36/d*(-102)/(-4) a multiple of 12?
False
Let n(d) = -151*d**2 + d. Let m be n(1). Is 11 a factor of m/(-14) + 8/28?
True
Let z = 1 - 0. Let n be (z - 6)*(-4)/(-10). Is (-14)/(n + 2 + -1) a multiple of 11?
False
Let o(x) be the second derivative of x**6/40 + x**4/24 - x**3/6 - 2*x. Let l(s) be the second derivative of o(s). Is l(2) a multiple of 18?
False
Let a(x) be the first derivative of -7*x**2 + 2*x - 2. Let p be a(-2). Suppose -p = -5*b + 15. Is b a multiple of 5?
False
Let k be 2/(-9) + 440/36. Let i(a) = 3*a**3 + k*a**2 - 2*a - 12*a**2. Does 20 divide i(2)?
True
Let f = -15 + 25. Is 7 a factor of f?
False
Let n(s) = -8*s - 10. Is n(-8) a multiple of 15?
False
Let m = -3 + 7. Suppose t = 2*b + 46, 2*t + 3*t - 212 = m*b. Is 20 a factor of t?
True
Let m(r) = -r**3 - 9*r**2 + 8*r - 10. Let h be m(-10). Suppose -5*c = -70 - h. Is c a multiple of 4?
True
Suppose -24 = -3*a + 21. Is a a multiple of 9?
False
Suppose 4*i + 15 = 111. Is 4 a factor of i?
True
Let o(m) = 2*m**3 - 2*m**2 - 3*m + 3. Let x be o(2). Suppose 0 = x*f - 5*s - 55, -f - 27 = -3*f + s. Suppose 0*v + 4*v = f. Is v a multiple of 2?
True
Suppose 0 = 3*z + 2*z - 550. Suppose -2*u + 0*u = -z. Does 21 divide u?
False
Suppose 2*y - b - 1