-15)?
True
Let q = 23 + -20. Let h = q - -5. Does 6 divide h?
False
Let l(r) = r**2 - 4*r + 2. Let g be 12/7 + 2/7. Let s be l(g). Is 3/s*-8 - -1 a multiple of 12?
False
Let v = 40 - 29. Is v a multiple of 7?
False
Let p(q) = 20*q**3 + 2*q**2 - q. Suppose 0*l + 3 = 3*l. Is p(l) a multiple of 21?
True
Is 13 a factor of 3 + 22 + -3 + 7?
False
Let v(w) = -w**3 + 3*w**2 - w - 1. Let c be v(2). Let a(l) = 13*l**2 + 2*l - 1. Is 7 a factor of a(c)?
True
Suppose -214 + 16 = -3*b. Suppose 5*q - 214 = b. Does 14 divide q?
True
Let d(y) = y**2 + 6*y + 4. Let l be d(-5). Let i be l/(-4) + 14/8. Suppose -3 = -3*x + i*o + 49, 3*o + 15 = 0. Does 8 divide x?
False
Suppose -5 = -b - 5*d, -2*b - d + 0*d + 37 = 0. Is b even?
True
Suppose -4*q + 203 = -53. Is q a multiple of 15?
False
Suppose 9*b - 269 = 4*b - w, b = 2*w + 56. Is b a multiple of 27?
True
Suppose -5*k + 17 = -123. Does 5 divide k?
False
Let c(h) = h**2 + 9*h - 7. Let l be c(-13). Is 12 a factor of ((-44)/(-55))/(1/l)?
True
Suppose 4*v - 65 = 91. Let d = v + -11. Is d a multiple of 16?
False
Let c be (-16)/10*(-60)/(-8). Let p be c/66 - (-2)/11. Suppose 36 = 2*y - p*n - 5*n, -5*y + 24 = 4*n. Does 8 divide y?
True
Let j be (-2)/6 + (-366)/(-18). Let u = j + 12. Is u a multiple of 5?
False
Let z be (9/3)/((-6)/(-16)). Does 9 divide z*((-6)/4 + 3)?
False
Let l be 3 + 6 - 3 - -1. Suppose -l = -a + 5. Is 3 a factor of a?
True
Is 25 a factor of 600/(-14)*(16 + -23)?
True
Let f(z) be the first derivative of -3*z**4/4 + z**3/3 - 3*z + 7. Does 29 divide f(-3)?
True
Let r = -19 - -47. Does 28 divide r?
True
Let j be ((-2)/6)/((-2)/30). Is ((-14)/(-8))/(j/20) a multiple of 2?
False
Let k(p) = 38*p - 35. Is 15 a factor of k(10)?
True
Suppose -3*f = 2 + 1, 3*f = 5*d - 73. Let m = -6 + d. Does 3 divide m?
False
Let d = 24 + 9. Does 11 divide d?
True
Let v(o) = -5*o - 2. Let y(w) = -w. Let n be y(6). Let s be v(n). Let b = s + -2. Is 13 a factor of b?
True
Let j(t) = -t**3 - 3*t**2 - 2*t - 3. Let x be j(-3). Suppose -1 = 4*q + x*z, -5*z = 3*q - 0*z - 13. Does 11 divide (-3)/(-12) - 43/q?
True
Let m(q) = -11*q - 2. Let f(k) = 45*k + 9. Let o(u) = 5*f(u) + 21*m(u). Does 10 divide o(-3)?
False
Let b(x) = 3*x + 0*x**2 - x - 1 + 2*x**2. Is b(1) a multiple of 2?
False
Let u(l) = l**3 + 8*l**2 - l + 14. Is u(-7) a multiple of 13?
False
Suppose -264 = -8*t + 2*t. Is t a multiple of 22?
True
Suppose -265 - 197 = -7*r. Is 22 a factor of r?
True
Suppose 0 = -7*j + 2*j + 10. Let s = -2 + j. Suppose -5*u + 9 + 26 = s. Is u a multiple of 7?
True
Suppose o + x - 7 = 0, x + 5 = 6*x. Is o a multiple of 6?
True
Let i be -1*(1 - (-5)/(-1)). Is 8/(-10)*(-70)/i a multiple of 6?
False
Suppose -3*i = s - 254, 3*i + 5*s - 165 = i. Is i a multiple of 12?
False
Suppose -4*i = 12, 4*c = 4*i + i + 23. Suppose 0 = 2*a + c*a - 68. Does 16 divide a?
False
Let z(d) = -17*d + 5. Let h be z(-7). Suppose 5*q - 5*f - h = 141, 3*f = 0. Suppose 4*t + 1 - q = 0. Is t a multiple of 13?
True
Let t = -19 - -35. Let h(w) = 2 - 2 + t*w. Is 16 a factor of h(1)?
True
Let l = 22 - 22. Suppose 5*b - 146 - 14 = l. Is 16 a factor of b?
True
Suppose -v + 36 = -0*v. Suppose 3*b - v = -0*b. Is 6 a factor of b?
True
Let x = -34 - -52. Is 9 a factor of x?
True
Let t be (-3)/2*13*2. Does 13 divide (1 + (-4)/3)*t?
True
Suppose 0 = 4*a + 4*b - 20 - 0, 0 = a + 4*b - 5. Suppose 0 = -a*z + 371 - 56. Does 15 divide z?
False
Let o(g) = -g**3 - g**2 - g - 2. Let p be o(-2). Suppose -p*z - 4*l = -40, z - 19 = 4*l + 1. Is 9 a factor of z?
False
Let j(z) be the first derivative of z**4/4 + 5*z**3/3 + 5*z**2/2 - 1. Let v be j(-4). Let f = v + 9. Is f a multiple of 2?
False
Let q(j) = 75*j - 1. Let g be q(1). Is 23 a factor of (g/4)/(3/12)?
False
Let v = 78 + -120. Is 15 a factor of -10*v/15*1?
False
Let h(j) = j**2 - 6*j + 27. Does 25 divide h(8)?
False
Let f = 48 + 65. Suppose 4*n - v - f = 2*n, 49 = n + v. Is 28 a factor of n?
False
Let i = -106 - -186. Does 36 divide i?
False
Suppose -2*s = 5*a - 83, 5*a - 4*a - 19 = 2*s. Does 3 divide a?
False
Is (3 - (-15)/(-4))*-4 a multiple of 3?
True
Suppose 3*t + 0*t = 39. Let z = -5 + t. Is 6 a factor of z?
False
Does 10 divide (-2)/10 + (-3 - (-632)/10)?
True
Suppose 6*t - 81 = 159. Does 10 divide t?
True
Let m = 153 - 81. Is m a multiple of 24?
True
Suppose 4*c + 6 = -18. Let y(o) be the first derivative of -o**2/2 + 6*o - 1. Does 6 divide y(c)?
True
Let i(v) = -v**3 + 4*v**2 - 3*v. Let r be i(2). Suppose -3*d = 7*w - 2*w - 25, 11 = -r*w + 3*d. Suppose -n + 30 = w*n. Is n a multiple of 4?
False
Let r(a) = a**3 - 9*a**2 - 8*a + 9. Let p be 3*(0 - 30/(-9)). Is 21 a factor of r(p)?
False
Let o(d) = 7*d**3 - 5*d**2 + d - 111. Let s(t) = 4*t**3 - 3*t**2 + t - 55. Let k(j) = -3*o(j) + 5*s(j). Is 14 a factor of k(0)?
False
Let h(w) = -119*w - 4. Let k be h(-4). Suppose -4*r - 2*b = -74, 45 - 138 = -5*r - 3*b. Is (-4)/r - k/(-18) a multiple of 9?
False
Suppose -8*l = -9*l + 14. Does 14 divide l?
True
Let s(d) = 4*d**2 + 3*d. Let h be s(-3). Let j be (-3)/(-2) + 1/2. Does 7 divide h/j - (-12)/(-8)?
False
Let u(b) = -b**3 - 7*b**2 - 5*b + 8. Let f be u(-6). Suppose -3*h + 8*h - 3*m = 87, -f*m + 22 = 2*h. Does 10 divide h?
False
Let a be (-1)/(-3) + 64/24. Let j(d) = d**2. Let h(u) = 7*u**2 - 2*u - 1. Let z(y) = h(y) - 6*j(y). Is z(a) even?
True
Let h(n) = 8*n**3 - 3*n**2 + 4*n - 2. Is 15 a factor of h(2)?
False
Suppose -2*y + 7*y = 3*x - 28, 60 = 5*x - 5*y. Is x a multiple of 4?
True
Let q be 3/(9/(-3)) + 1. Suppose l - 623 = -2*s + 4*l, -s - l + 319 = q. Suppose 5*h = -126 + s. Is h a multiple of 15?
False
Let m(f) = f - 5. Let p be m(5). Suppose -t + z + 18 = p, t + 3*z - 33 = -z. Suppose -t = -4*g - 5. Is g a multiple of 2?
True
Suppose 3*r = -j + 15, 4*j - r + 10 = r. Does 7 divide 23 + (3 - j) + -3?
False
Suppose 3*a = 5*a + 62. Let y = -18 - a. Is 3 a factor of y?
False
Let q = 49 + -29. Does 10 divide q?
True
Let z = -8 + 11. Suppose 0*s + 4*t = -s + 17, 3*s - z*t = 126. Is 16 a factor of s?
False
Let a(q) = -22*q - 6. Let p be a(-5). Suppose -2*o + 3*t - 9 = -p, o - 43 = -3*t. Suppose 0*b + 2*b = o. Is b a multiple of 12?
False
Let f(l) = -2*l**3 + 6*l**2 - 4*l + 1. Let j be f(4). Let r = j - -75. Does 7 divide r?
True
Let v(c) = -25*c + 7. Let g be v(-5). Let o = g - 93. Suppose -m - 2*m = -o. Is 9 a factor of m?
False
Let i(g) = -2 - g**2 + 4*g**2 - 2*g**2 + 2*g. Let s(a) = 6*a. Let m be s(-1). Is 11 a factor of i(m)?
True
Suppose p + 0*p - 5 = 0, 4*w + 3*p = 207. Is w a multiple of 12?
True
Let h be (0 - 2/6)*-9. Let o(w) = 2*w**3 - 4*w**2 - w. Is o(h) a multiple of 4?
False
Is (-1)/(-2 - (-7)/4) a multiple of 3?
False
Suppose -5*i + 84 = -3*m - 70, -61 = 2*m + 5*i. Let r = 76 + m. Does 15 divide r?
False
Let f = -28 - -88. Is 20 a factor of f?
True
Let p(z) = -z**3 + 9*z**2 - 7*z + 7. Let r be p(7). Let a = -40 + r. Is a a multiple of 6?
False
Is 21 a factor of 1/5 - 314*(-4)/20?
True
Let s be 15 - (-1 - (-1 + -1)). Is (-2 + 0)*(-18 + s) a multiple of 4?
True
Suppose -5*z + 432 = -z + 2*f, -108 = -z - f. Let l = -45 + z. Is l a multiple of 21?
True
Let a = 216 + -179. Is 8 a factor of a?
False
Suppose 38 = -l - 3*n, 2*l - n + 90 = -0*n. Let i = l - -79. Is 7 a factor of i?
True
Suppose 0 = -2*z - 0*z + 6. Suppose -z*c = 2*c. Let g = 9 + c. Is 9 a factor of g?
True
Let s(q) = -q**2 - 6*q - 1. Does 7 divide s(-4)?
True
Let z = -66 + 54. Suppose -5*r - 13 = 2*x + 1, -r = 2. Is 17 a factor of (-68)/z*(1 - x)?
True
Let n(q) = 8*q - 32. Is 8 a factor of n(13)?
True
Let v = 146 - 56. Is 30 a factor of v?
True
Let a = 9 + -9. Suppose a*t = -2*t + 126. Is t a multiple of 21?
True
Let j(o) = o + 9. Let u be j(-4). Suppose 0 = -u*d - 4*h + 114, 6 + 12 = d - 4*h. Suppose 8 + d = 3*w. Is w a multiple of 5?
True
Let m(v) = 81*v. Let h = 1 + 0. Is m(h) a multiple of 18?
False
Let d be (-730)/(-15) + (-4)/6. Suppose 2*w = -2*i + d, 3*w = i - 7 - 33. Is i a multiple of 10?
False
Let f(g) be the second derivative of 0 + g**2 + 1/3*g**4 - 2/3*g**3 + 2*g. Is f(2) a multiple of 10?
True
Let u(w) = w**2 - w - 21. Does 6 divide u(-5)?
False
Suppose 3*t - p - 18 = 4*p, 3 = p. Suppose -u = -1 - t. Does 12 divide u?
True
Let x be ((-4)/6)/((-4)/114). Suppose -q + 5 = -x. Suppose -5*o = -11 - q. Is o a multiple of 4?
False
Is ((-270)/(-40))/((-3)/(-32)) 