be m(-2). Let p = j + q. Does 11 divide p?
True
Let a(u) = -u**2 - 8*u - 9. Let t be a(-7). Does 11 divide (14/t)/((-3)/9)?
False
Suppose r + 3*r = 3*b - 11, 5*b = -3*r - 1. Does 5 divide 0 - b/((-1)/12)?
False
Suppose -2 = 5*p - 3*p, -442 = -4*x - 2*p. Is x a multiple of 16?
False
Suppose -5*s + 19 = -6. Suppose -s*u + w + 34 = -102, 0 = 3*u - 4*w - 85. Is 18 a factor of u?
False
Let j(c) = -15*c - 30*c - 7*c. Suppose 2*i + 7 = 5*f, 4*i - 4*f - 6 + 14 = 0. Does 16 divide j(i)?
False
Let r(s) = -s**3 - 6*s**2 - 3*s + 15. Is 5 a factor of r(-5)?
True
Let c(g) be the third derivative of g**4/6 - 5*g**3/6 + 5*g**2. Is 8 a factor of c(10)?
False
Let t(n) = n**2 + 6*n - 6. Suppose -2*z - 3*i - 49 = 3*z, -5*i - 31 = 2*z. Is t(z) a multiple of 2?
True
Let y(q) = -21*q - 2*q - 8*q. Suppose -3 + 5 = -2*g. Is y(g) a multiple of 12?
False
Suppose 4*v = 4*u - 40, 4*v = 2*u - 0*u - 40. Is 10 a factor of (-2)/v - 138/(-10)?
False
Let p be -10*(2*-1)/4. Suppose 0 = p*o - 20, 4*z - 3*o + 2*o = 52. Is z a multiple of 10?
False
Let v be ((-1)/1)/((-5)/10). Let w be 89/3 - v/(-6). Let j = w + -12. Is j a multiple of 9?
True
Let m be -2 - (2 - (41 - 0)). Let p = -52 + m. Does 7 divide (-10)/p*21*1?
True
Suppose -7*n = -8*n + 15. Does 5 divide n?
True
Suppose -3*a - 656 = -2*o, -o + 14 = -a - 315. Is o a multiple of 34?
False
Let u be (2 + 1)/((-12)/8). Is 7 a factor of (u - -6)*14/8?
True
Let j(m) be the second derivative of 5*m**4/6 - m**3/3 - m**2/2 - 3*m. Is j(2) a multiple of 13?
False
Let i(w) = 45*w + 1. Is 8 a factor of i(1)?
False
Let d = -53 + 96. Let z = 5 + d. Does 24 divide z?
True
Let n(t) = -8*t + 6. Does 12 divide n(-8)?
False
Is 5*2*((-12)/(-8) + 2) a multiple of 5?
True
Suppose -1 = h, -2*d - h + 5 = -6. Is 4 a factor of d?
False
Suppose 0 = -3*y - 0*y. Let x(u) = u**3 - u + 3. Does 3 divide x(y)?
True
Suppose 2*j - 116 + 12 = 0. Does 26 divide j?
True
Let g(n) = -n**3 - 6*n**2 + 7*n + 5. Suppose o = -x + 32, -x + 3*x = -5*o + 55. Suppose -5*c + 10*c = -x. Is 5 a factor of g(c)?
True
Let m = 19 + -5. Is m a multiple of 7?
True
Suppose -5*g = -6*g + 47. Suppose -3*o + 2*o + 5*b + 22 = 0, 5*o - 4*b = g. Is o even?
False
Suppose -9*f = -3*f - 78. Does 13 divide f?
True
Let t(r) = -2*r - 3. Let j be t(-4). Suppose -5*u - 48 = 4*i - 4*u, -4*i = -j*u + 48. Is 2*6*i/(-9) a multiple of 8?
True
Let d = -5 - -7. Suppose -6 = -0*a - a + d*m, 0 = -4*a - 4*m - 12. Suppose 2*j + 5 + 1 = l, -2*j = a. Does 5 divide l?
False
Let z(b) be the third derivative of 1/2*b**3 + 5/24*b**4 + 0 + 1/10*b**5 + 0*b + 1/120*b**6 - b**2. Is 15 a factor of z(-3)?
True
Let s(t) be the second derivative of t**7/90 - t**6/720 + t**5/120 + t**4/12 - 2*t. Let h(w) be the third derivative of s(w). Is h(1) a multiple of 13?
False
Let b = 8 - 9. Let k = 2 - b. Suppose 2*f - 2 = -8*s + k*s, 5*s - 14 = -4*f. Is 2 a factor of f?
True
Let m(c) = 5*c - 4. Let j be m(4). Suppose -q + j = -0*q. Does 3 divide q?
False
Let g(y) be the second derivative of -y**4/12 - 4*y**3/3 + 9*y**2/2 - y. Let u be g(-9). Suppose u = -c + 2, 0*p + p = 3*c + 8. Is p a multiple of 7?
True
Suppose 2*s + 11 = -g, 5*g = -3*s - 0*s - 55. Let j be g/3 + (-10)/(-15). Is 18/(-8)*56/j a multiple of 21?
True
Let j = -29 - -53. Suppose -8*i + 9*i = j. Is i a multiple of 12?
True
Let q(d) = 2*d**3 - 2*d - 1. Let x be q(2). Suppose 2*b + 29 = -x. Let i = b + 48. Is 14 a factor of i?
True
Let p = 600 + -234. Is 37 a factor of p?
False
Let h = 82 + 38. Is 12 a factor of h?
True
Let m(t) = -t - 6. Let x be m(-9). Suppose 0 = k + x*k. Suppose k = 4*c - 101 + 29. Is 18 a factor of c?
True
Suppose 0 = g - 5*g - 1204. Is 11 a factor of (-2)/(-4) - g/14?
True
Suppose 350 = 6*v - v. Is 17 a factor of -14 + 13 - v/(-2)?
True
Suppose -3*i + 172 = 2*f, 3*i - 191 = -i + 5*f. Is i a multiple of 28?
False
Suppose 630 = 4*z - z. Is 42 a factor of z?
True
Let r = 3 - -1. Suppose -3*x - 3 = -0*x - 3*c, 0 = 5*x - r*c. Is (-1)/(1/(-2)) + x even?
True
Suppose -84 = -10*h + 9*h. Is 21 a factor of h?
True
Suppose 3*h + 12 = 3, 603 = 4*j + 3*h. Is 17 a factor of j?
True
Let z(g) = g**3 - 26*g**2 + 2*g + 74. Does 57 divide z(26)?
False
Does 2 divide (-4)/(-10) - 224/(-40)?
True
Let b(t) = 18*t**2 - 5*t - 7. Is 25 a factor of b(-2)?
True
Suppose -76 - 14 = -10*g. Does 5 divide g?
False
Let c be (88 + -2)*3/6. Suppose -5*s + 45 = 5*t, 2 = 5*t + 2*s - c. Is t a multiple of 4?
False
Does 13 divide (-10)/20*-1*30?
False
Let m be (-5)/((-5)/6) - 2. Let r = m + -4. Suppose r = -4*o - 29 + 77. Does 12 divide o?
True
Let q = 3 + 0. Suppose -q*t + 1 = 13. Let r(s) = -s**2 - 5*s + 5. Is r(t) a multiple of 5?
False
Let b = 2 - -6. Suppose b - 64 = -4*h. Is h a multiple of 7?
True
Let m be ((-3)/2)/((-1)/2). Suppose 3*h = -4*o - 4 + 25, 0 = -m*h - 5*o + 24. Suppose 0 = h*t - 3*x - 135, -5*x = 3*t - 3*x - 145. Does 17 divide t?
False
Let q be (-6)/(-15) + 18/5. Suppose 3*x = -2*y + 7, -q*y - y - 2*x + 45 = 0. Is y a multiple of 6?
False
Is 40 + -4 + -3 + 3 a multiple of 18?
True
Let v(a) = a**3 - 3*a**2 - 5*a + 6. Let w be v(4). Let q(i) = -3 - i**3 - i**3 - 4*i**2 + 0*i**w - i. Does 9 divide q(-3)?
True
Let y = 22 + 1. Is 9 a factor of y?
False
Let x(v) = -9*v - 7. Let m(r) = 18*r + 13. Let c(o) = 4*m(o) + 7*x(o). Let z be c(-2). Let a = 3 - z. Is 9 a factor of a?
True
Let u(x) be the third derivative of -x**6/120 - x**5/20 + x**4/4 + x**3/6 - x**2. Let q be u(-5). Suppose q = f + 6. Does 15 divide f?
True
Let r = 3 - -1. Let y be 2 + 2/4*r. Is 3 a factor of 12/(6/y + 0)?
False
Let w = 5 - -5. Is w a multiple of 4?
False
Suppose -5*h + 24 + 61 = 0. Let a = h - 8. Does 4 divide a?
False
Let y = 114 + -67. Does 23 divide y?
False
Suppose a + 3 = 3*i - 3*a, 0 = -3*i + 2*a + 9. Does 7 divide (i/(-10))/((-2)/84)?
True
Suppose w - 4*g = 44, 134 + 0 = 4*w + 5*g. Is 18 a factor of w?
True
Let k(r) = -5*r**3 + 12. Let p(g) = -11*g**3 + 23. Let y(x) = 13*k(x) - 6*p(x). Let q(i) = i**3 - 5*i**2 - 5*i - 6. Let w be q(6). Is y(w) a multiple of 6?
True
Suppose 0*k + 3 = 5*k + 3*j, 4 = -2*k + 4*j. Suppose k = -5*c - 3*q + 320, 3*c - 186 = -q - 2*q. Is 27 a factor of c?
False
Let z be (0 - 1)/(3/33). Let o(h) = -h**3 - 10*h**2 + 8*h - 6. Does 9 divide o(z)?
True
Suppose 5*s - t + 6*t + 30 = 0, -5*s - 18 = t. Let o be 3 + (s - (-1 - 2)). Let m(l) = 8*l + 1. Is m(o) a multiple of 10?
False
Suppose -2*a + i - 5 + 82 = 0, 0 = -a + 4*i + 28. Is a a multiple of 20?
True
Let d be 1/(-1) + 4 + -3. Suppose u - 5*u - 42 = -5*h, 2*h - 5*u - 27 = d. Is 6 a factor of h?
True
Is 552/30 - 2/5 a multiple of 18?
True
Let q(g) = -g. Let d be q(-3). Suppose 5*f = -j + 68, -d*j - 2*f + 254 = j. Is 21 a factor of j?
True
Does 7 divide (-4)/(4/(-31)) - (1 - -2)?
True
Let i(w) = -5*w - 8. Let n be i(-8). Suppose -37 = -3*q + n. Does 23 divide q?
True
Let v(l) = 2*l**2 + 4*l. Let a be v(-4). Is 9 a factor of 3 - (0 + -2)*a?
False
Let z(f) = -43*f + 2. Let i be z(-1). Let o = i + -9. Is 12 a factor of o?
True
Let u(c) = -c. Let j be u(-4). Suppose -5*q = -j*q - 31. Let b = -19 + q. Is 6 a factor of b?
True
Let w(r) = 4*r**2 + 14*r + 4. Is w(-7) a multiple of 28?
False
Let w = -22 - -8. Is 5 a factor of (w/(-6) + -2)*15?
True
Let h be ((-10)/2 + 3)*-5. Let q = -3 + h. Suppose -m - 2*z = -q*z - 13, 2*z + 65 = 3*m. Does 11 divide m?
False
Suppose 0 = 5*m - n - 1, m + 3*n - 6 - 7 = 0. Suppose -u + 43 = -m. Is u a multiple of 10?
False
Let m be (2 + 2/(-2))*4. Suppose 0 = 5*c + 5, m*s - c - 57 = -0*c. Does 10 divide s?
False
Let k(r) = 25*r + 6. Is 31 a factor of k(3)?
False
Let b = -10 + 14. Let x = b + -3. Let y(m) = 35*m**3 + 1. Is 12 a factor of y(x)?
True
Let k(h) = -5*h. Let l be k(-1). Suppose 56 = -3*g + l*g. Is 14 a factor of g?
True
Let l = -25 + 4. Let o be l/(-12) + 3/12. Is 5 a factor of 0 + 2/o - -13?
False
Let s = -69 - -122. Is 18 a factor of s?
False
Let b(y) be the second derivative of y**4/4 + y**3 - 3*y**2 + 2*y. Let u be b(-6). Suppose -i = 15 - u. Is 13 a factor of i?
False
Let r = 67 - -4. Is r a multiple of 14?
False
Is -1*-1*(7 + 2) a multiple of 4?
False
Let i(d) = -d**3 - d + 11. Let w be i(0). Let s(r) = -3 + r**2 - 10*r + 0*r**2 + 0*r**2 + 0*r**2. Is 5 a factor of s(w)?
False
Let m(p) = -2*p + 17. Let u be m(7). Suppose f = o - 26 - 39, -2*o + u*f + 132 = 0. Does 21 divide 