l. Is 8 a factor of s(-6)?
True
Let b(a) = 5*a + 1. Let j be b(-2). Let y = j + 3. Let z(u) = -4*u - 6. Is z(y) a multiple of 13?
False
Suppose -13*k - 1069 = -5047. Is 34 a factor of k?
True
Let p(b) = -b**2 - 5*b + 6. Let q be p(-6). Suppose -c + q*c = -2. Suppose 3*u + 0*u = -9, -c*l + 61 = -5*u. Does 9 divide l?
False
Suppose 2 = 2*p, 2*p + 49 - 165 = -2*x. Does 6 divide x?
False
Let m(g) = 6*g**2 - 3*g + 3. Suppose 0*l = 5*z - 5*l - 20, 0 = z + l - 4. Suppose -2*t - 8 = z*d, -5*d - 2 = t + 11. Is m(t) a multiple of 14?
False
Suppose 2*g = 108 + 20. Does 16 divide g?
True
Let p = -27 + 75. Is 12 a factor of p?
True
Let w = -40 + 183. Is 26 a factor of w?
False
Let v = -246 - -370. Is 10 a factor of v?
False
Suppose -3*h + 285 = -i, -h + 43 + 36 = 5*i. Is h a multiple of 19?
False
Suppose -2*v - 663 = -3*w, -w + 63 = -3*v - 165. Does 18 divide w?
False
Is 5 a factor of ((-114)/9)/(4/(-6))?
False
Let n be (-6)/27*-3*6. Suppose 2*h = -2 + 6, 2*d - n = 5*h. Is d a multiple of 6?
False
Let s = 13 - 8. Let r be (1 - s)*(-15)/12. Suppose 5*t - 50 = r*q, 0*t - 5*q = -4*t + 44. Does 6 divide t?
True
Let y(w) = -w - 6. Is y(-16) a multiple of 2?
True
Suppose -2*x + 18 = 3*x + y, 0 = y + 2. Let d be 1/(-2) + 50/x. Suppose 0 - d = -2*m. Is m a multiple of 3?
True
Let j(b) = -33*b + 1. Let t(g) = g**3 - g - 1. Let v be t(0). Is 17 a factor of j(v)?
True
Let j(o) = -o**3 + 8*o**2 - 5*o - 9. Let x be j(7). Suppose -4*t - u = 30, 21 = -x*t - 3*u - 20. Let l = 16 + t. Is 8 a factor of l?
False
Let r(o) = o**2 - o - 2. Let j = -2 + 4. Let d be r(j). Suppose d = 2*h + 17 - 41. Does 6 divide h?
True
Suppose 5*h = 4*i + 11, 5*h - 13 = -i + 3. Suppose -2*m - 233 = -53. Is (i/(-3))/(6/m) a multiple of 2?
False
Let s = 26 - -56. Is 14 a factor of s?
False
Let a be 1*-1 + (-1 - -402). Suppose 9*s - 4*s - a = 0. Is 11 a factor of ((-4)/(-5))/(4/s)?
False
Suppose 9*b - 6*b - 399 = 0. Is 23 a factor of b?
False
Let h = 7 + -4. Suppose 2*x + x = h. Is (53 + x)*(-8)/(-12) a multiple of 13?
False
Let s(x) = 3*x + 5. Suppose -16 = -a - 3*a. Suppose -3*r - 5 = -a*r. Is s(r) a multiple of 11?
False
Suppose 0 = -c - 2*l + 53, 3*c + l = 203 - 29. Is 4 a factor of c?
False
Suppose 0 = -5*f + 4*w + 369, -3*f = w - 0*w - 218. Is 25 a factor of f?
False
Let t(w) = -15*w**3 + 2*w**2 + 2*w + 1. Let f(d) = -d + 4. Let b be f(5). Is 16 a factor of t(b)?
True
Let r = -12 - -16. Does 4 divide r?
True
Is ((-1104)/3)/(-4) + 0 a multiple of 17?
False
Let d = 4 + -4. Let t = d + -7. Let k = t - -29. Does 12 divide k?
False
Suppose 2*l - 64 = q + 56, 2*l = 4*q + 120. Is 20 a factor of l/((-1)/(3 - 4))?
True
Let x be ((-9)/(-6))/((-9)/(-24)). Suppose m + x*c = -1 - 7, 3*c + 29 = 5*m. Suppose 9 = -m*k + 49. Does 6 divide k?
False
Let r = 17 - 16. Is 16 a factor of 32 + r + 1 - 2?
True
Suppose 5*c = -0*c + 15. Let t(q) = -q**3 + 3*q**2 + 2*q + 2. Let j be t(c). Is 22 a factor of ((-6)/j)/(2/(-168))?
False
Suppose 4*x - 4 + 3 = 5*w, -5*w - 5 = -5*x. Suppose -2*z = 3*z + 2*y - 236, -2*y - 100 = -2*z. Suppose w*q = -q + z. Is q a multiple of 12?
True
Suppose 5*a - 8 = 3*a. Suppose 10 = 2*g - 3*v + a*v, -5*v = 0. Suppose m = -g*i - 20, -m + 0*i = i. Is m a multiple of 5?
True
Suppose 0 = -2*r - r + 9. Let w be r*(-1 - 1*-2). Suppose 104 = 2*d - 3*c, -w*d + 2*d = 4*c - 52. Is 18 a factor of d?
False
Let h be 4/(-4)*-5*1. Let a(v) = -v**2 + 6*v. Does 5 divide a(h)?
True
Let l(q) = q**3 - 12*q**2 - 12*q - 9. Let t be l(13). Suppose 7 = -t*b + 183. Does 11 divide b?
True
Suppose j - l - 103 = 4*l, 0 = -j + l + 123. Suppose 7*x - 3*x = j. Is 8 a factor of x?
True
Let h(z) = -6 - 3*z - 8 + 2*z. Let o be h(-8). Is 2 a factor of (-15)/2*o/9?
False
Let i(y) = -10*y - 4. Suppose -5*z - 12 = -4*s, 5*z - 3*s - 2*s = -10. Is i(z) a multiple of 12?
True
Suppose 2*x - 168 = -5*m, -4*x - 420 = -9*x - 3*m. Is 24 a factor of x?
False
Suppose -k + 6 = -0*k. Is (260/(-39))/((-1)/k) a multiple of 20?
True
Let x(t) be the third derivative of t**4/12 - t**3 + 3*t**2. Let y be x(5). Suppose -o + 6*v = 4*v + y, 2*o + 3*v = 27. Is o a multiple of 3?
True
Let z(p) = 2*p**2 + 1. Is 11 a factor of z(-4)?
True
Let j(z) be the third derivative of -1/6*z**4 + 1/20*z**5 - 3*z**2 + 0 + 0*z + 1/2*z**3. Does 13 divide j(3)?
False
Let h = 306 + -163. Is 19 a factor of h?
False
Suppose 93 = 3*f - 30. Is f a multiple of 41?
True
Let l(i) = -i**2 + 12*i - 13. Suppose 0 = 2*d + 3*d - 50. Is 5 a factor of l(d)?
False
Let l = 124 + -4. Suppose -g - 6 = -2*z + 1, 3*g = -4*z + 19. Suppose 0 = z*a + a - l. Is 10 a factor of a?
False
Suppose -z - 46 = -3*z. Is 7 a factor of z?
False
Let k(y) = y**3 - 5*y**2 + 1. Let f be k(5). Let r(x) = -2*x**2 + 14*x + 3. Let z be r(7). Suppose -5*h + 89 = -4*b, f = h + z*b - 13. Is 9 a factor of h?
False
Let q = 17 - -13. Is 15 a factor of q?
True
Let l(u) be the first derivative of u**3/3 - 6*u - 2. Let m be l(6). Suppose -m - 30 = -4*o. Is o a multiple of 8?
False
Let s(o) = 3*o**2 + 3*o - 1. Let b be s(-5). Let k = b - 39. Is 4 a factor of k?
True
Let y(x) = x**3 - 8*x**2 + 5*x + 8. Suppose -1 = -5*o + 94. Let k = 27 - o. Is y(k) a multiple of 24?
True
Suppose -v + 2*b + 5 = 0, -3*b = 2*v + 2*b - 1. Is 28 a factor of v + (-3 - 0) - -71?
False
Suppose -2*g + 4*v + 23 = 3*g, 0 = 2*v + 4. Let x(r) = -14*r**3 + 9*r**3 - 2 - g*r**2 + 0*r - 3*r. Is 14 a factor of x(-2)?
False
Let y be (4/10)/((-2)/(-10)). Suppose 5*f = y*f. Let s(x) = -x**2 + x + 17. Does 6 divide s(f)?
False
Let q = 176 + -124. Suppose 0 = 3*a - q - 32. Is 14 a factor of a?
True
Suppose 4*u - 6*u + 32 = 0. Let i = 30 - u. Does 14 divide i?
True
Let j(a) = a**3 + 8*a**2 + 6*a - 4. Does 13 divide j(-5)?
False
Suppose -3*j = -5*f - 0*f + 114, 0 = -4*f + 2*j + 92. Is 8 a factor of f?
True
Suppose 7*x - 3*x + 119 = 3*p, 80 = 2*p - 3*x. Does 20 divide p?
False
Let t(v) be the third derivative of -v**6/60 + v**4/24 + v**3/6 - 2*v**2. Let z be t(-1). Suppose 3*s - 31 = -z*a, -2*s - 16 = -3*a + 24. Is 14 a factor of a?
True
Let l(v) = v + 1. Let w be l(2). Suppose -w*d + 5*d = 210. Does 35 divide d?
True
Suppose -2*f = -4*f + 24. Is f a multiple of 3?
True
Suppose -1 = -2*z + 3. Let p be (1/z - 0)*12. Let f(q) = 6*q - 2. Does 17 divide f(p)?
True
Let x = -5 - -3. Let q = x - -39. Is q a multiple of 14?
False
Let c(q) = q**3 - 9*q**2 - 7*q - 8. Is 19 a factor of c(10)?
False
Suppose 4*w - w - 12 = 0. Suppose 14 = j + 3*j - 2*m, m - 11 = -w*j. Suppose 0*b + 25 = j*k + 4*b, -4*b = 4*k - 28. Is k a multiple of 3?
True
Let s be -50*3*(-2)/4. Suppose g - s = -2*g. Does 15 divide g?
False
Let b(t) = -t. Is b(-2) even?
True
Suppose 66 = g + 3*n, 3*n + 146 = 2*g + 2*n. Does 24 divide g?
True
Suppose 1 = 3*q + 16. Let c be (-4)/q*(-190)/4. Let h = c - -61. Is 12 a factor of h?
False
Let y be (-2)/(-2)*4 + -1. Is 54/2 + -2 + y a multiple of 22?
False
Suppose 5*u + y = -17, -3*u + 0*u = 4*y + 17. Suppose 7*a = 2*a - 25. Let k = u - a. Does 2 divide k?
True
Suppose -2*k = k - 3*y - 15, -4*y + 4 = -k. Let x = 15 - k. Suppose -40 = -x*m + 2*m. Is 4 a factor of m?
True
Let h = 21 + -12. Suppose -7*q - 76 = -h*q. Is q a multiple of 19?
True
Suppose 2*v + 0*v + 2*w = 80, -2*v + 82 = 3*w. Does 4 divide v?
False
Let z(f) = -f + 2. Let c be z(4). Suppose -5*a = -2*a - 48. Let g = a + c. Is 11 a factor of g?
False
Let y(b) = -b**3 - 2*b. Let z be y(3). Let k = z + 51. Does 9 divide k?
True
Let o(y) be the second derivative of 7*y**3/6 - 11*y**2 - y. Is o(10) a multiple of 12?
True
Is 4 a factor of ((-810)/72)/(((-9)/16)/3)?
True
Let g(y) = y**3 - 4*y**2 + 3*y - 5. Let b be g(4). Suppose 0 = 3*q + f - b, -5*q + 0*f = 5*f - 15. Suppose -q*z = -5*z + 6. Is z even?
True
Let d(l) = -l**3 + 3*l**2 + 14*l + 8. Is d(5) a multiple of 14?
True
Let u(n) = 6*n**2 + 11 - 5*n + 21 - 28. Is 9 a factor of u(2)?
True
Let q be 18/(-10)*(-10)/3. Suppose 2*a - 5*s = -q, 3*s - 40 = -0*a - 4*a. Is 2 a factor of a?
False
Let n = 12 - 7. Let y(m) = -2*m**3 - 3*m - n*m**2 - 2*m**3 + 3*m**3 + 4. Does 19 divide y(-5)?
True
Let r be (-267)/(-9) + 1/3. Is r - (3 + -2 - 3) a multiple of 14?
False
Let p(x) = -x**2 + x + 20. Let d = -20 + 20. Does 11 divide p(d)?
False
Suppose 87 = 4*t - 77. Is 17 a factor of t?
False
Let q(h) = 0 + h**2 + 9*h + 8 + 2. Let m be q(-8). Does 4 divide 5 - 1/(m/2)?
Tru