= 2 - -54. Is 14 a factor of i?
True
Let l(b) be the first derivative of b**4/4 - 2*b**3/3 + 3*b**2/2 - 2*b - 1. Let t be l(2). Suppose -3*r = 4*h - 33, -12 = -h - r + t*r. Is 9 a factor of h?
True
Does 13 divide 16/(1/4*1)?
False
Let v = 84 + -34. Does 14 divide v?
False
Let k(p) = p**3 - 7*p**2 - 12*p + 8. Let m be k(8). Let z = -13 - m. Let t = -3 + z. Is t a multiple of 8?
True
Is 70 - (-2 + -1 - -1) a multiple of 12?
True
Suppose 79 = 7*h - 47. Does 3 divide h?
True
Let h(m) = 13*m - 1. Is 6 a factor of h(7)?
True
Let f(k) = k + 12. Let h be f(-8). Suppose -3 = c - h. Is c*-3*(-12)/9 a multiple of 2?
True
Let f be (-50)/4*(-4)/(-2). Let m = 2 - f. Suppose -4*j - 11 = -m. Is 2 a factor of j?
True
Suppose -3*n + 108 - 18 = 0. Let m = n + 18. Suppose -3*r + 18 = -m. Is 11 a factor of r?
True
Suppose 6*s + 256 = 8*s. Is 45 a factor of s?
False
Let b be 4/4 + (3 - 0). Suppose b*d - 76 = -4*l, -l + 11 = -0*l + 5*d. Does 7 divide l?
True
Suppose 0 = -3*j + 6*j. Suppose -2*v - 3*v + 40 = j. Is v a multiple of 6?
False
Let s be 16/(-5)*(-20)/8. Is 5*-4*(-26)/s a multiple of 28?
False
Suppose 5*l = 2*u - 36, 5*l + 5*u = -10 - 40. Let a = l - -12. Is a a multiple of 3?
False
Suppose -3*w + 50 = 7*w. Is 4 a factor of w?
False
Let g(i) = 399*i + 9. Is 24 a factor of g(1)?
True
Suppose 5 = -p + 11. Let u = 11 - p. Is 4 a factor of u?
False
Let f(l) = -l**3 + l**2 + l - 1. Is 18 a factor of f(-5)?
True
Is 196 - ((-2)/2*4 + 2) a multiple of 62?
False
Let j = 1 + 0. Let r(a) be the third derivative of 11*a**5/30 + a**4/12 - a**3/6 + 5*a**2. Is r(j) a multiple of 15?
False
Does 15 divide 0*(-2)/8 + 45?
True
Suppose -5*a + 16 - 436 = 0. Let d = -31 - a. Does 32 divide d?
False
Let a be (-16)/10*70/4. Let m = a - -70. Suppose 138 - m = 3*i. Is 16 a factor of i?
True
Let q(o) = -o**3 + 6*o**2. Let j be q(6). Let w be (-17 + j)/(3 - 2). Is (w - -2)*(-2)/1 a multiple of 10?
True
Is 3 a factor of (-264)/16*(-4)/6?
False
Let i(l) = l**3 + 1. Let f(w) = 17*w**3 - 2*w - 3. Let q(r) = f(r) + 4*i(r). Does 5 divide q(1)?
True
Suppose 3 = -o + 19. Does 5 divide o?
False
Is 131 + 0*(-3)/(-15) a multiple of 33?
False
Suppose 3*w - b - 6 = 7, b = 5. Let m(g) = g**2 + 2*g - 4. Does 15 divide m(w)?
False
Does 4 divide (-52)/39*(-18)/4?
False
Let p(z) = -z - 11. Let u be p(-6). Let y = u - -8. Suppose -y*k + 7 + 53 = 0. Does 20 divide k?
True
Let h = -22 + 79. Does 2 divide h?
False
Let z = 10 - 14. Let x(g) = 2*g**2 + 3*g - 6. Is x(z) a multiple of 7?
True
Suppose 4*o + 4 = -0*o. Let y be 2 + o/(-2)*-4. Suppose y = 5*k - 3*k - 82. Is k a multiple of 17?
False
Let f(x) = -x**3 + 7*x**2 - 3*x + 7. Let y = 5 + -2. Suppose -13 = -y*k + 5*g, -6*k = -4*k - 4*g - 8. Is 11 a factor of f(k)?
False
Let i(v) = -v**2 - 3*v + 4. Let u be i(-5). Let j be (-12)/(-9)*u/(-4). Suppose -j*r - 3 = -41. Does 11 divide r?
False
Suppose 7 - 1 = 3*i. Let t(p) = 5*p**2 + 2*p - 2. Is t(i) a multiple of 9?
False
Let p(j) = j**2 - 2*j - 1. Let w be p(-1). Suppose -w*c - 4 = -3*c. Suppose -5 = c*z - 141. Is 17 a factor of z?
True
Let b be (-3)/((-6)/16) + 2. Suppose -2*z + 4 = 2*j - b, -3*z - j + 23 = 0. Is 8 a factor of z?
True
Let r be (-2)/(-1*(-1)/(-2)). Is 5 a factor of (r/5)/((-3)/(-45))?
False
Let k(w) = w**3 - 5*w**2 + 13*w. Does 12 divide k(4)?
True
Let s(n) = -n - 7. Let x be s(-7). Suppose 2*z - 60 = -x*z. Does 10 divide z?
True
Suppose -3*q = -2*q + 10. Let u = q + 33. Is u a multiple of 9?
False
Let t be 0 + 0 - (-4 - -1). Let b(u) = 0 - 1 - t*u + 2*u**2 - 2 + 1. Is b(-2) a multiple of 6?
True
Let k(u) = -2*u - 2. Suppose 4*v + 42 = 7*v. Suppose -v = 2*c + 2. Does 13 divide k(c)?
False
Suppose 0 = 4*f + 4*f - 160. Does 6 divide f?
False
Let g = -36 - -44. Is g a multiple of 2?
True
Let t = 10 + -7. Let y be -2 + t - 0/1. Suppose -14 = -3*m + y. Is 5 a factor of m?
True
Let s = 101 - 70. Is 4 a factor of s?
False
Let g be 4 + 18 - (-1 + 4). Suppose 2 + g = r. Let w = r - 14. Is w a multiple of 2?
False
Let c(p) = -p**2 + 11*p. Let t be c(6). Suppose 24 = -6*a + 8*a. Is ((-14)/(-5))/(a/t) a multiple of 3?
False
Suppose 3*z = -2*z + 480. Is 12 a factor of z?
True
Let f be (-1)/(-2) + 11/(-2). Let d(g) = -g**3 - 4*g**2 + 3*g - 6. Let z be d(f). Suppose z*o + 0*o - 4*m = 32, 5*m = 4*o - 33. Is o even?
False
Let a = -14 - -23. Suppose -60 = 3*r - a. Let x = -10 - r. Does 7 divide x?
True
Suppose -90 = 5*s + 4*r, s + 6*r - 3*r = -18. Let f be (s/15)/((-4)/10). Suppose 3*c - 73 = 2*o, f*c - o = -5*o + 61. Is 23 a factor of c?
True
Let v(t) = t**3 - 4*t**2 + 9*t - 23. Is v(4) a multiple of 2?
False
Suppose -3*x - 3 = 0, 13 = 2*o - 0*o - x. Let m(y) = -1. Let q(b) = -b**2 + 4*b - 1. Let z(s) = -5*m(s) - q(s). Is 18 a factor of z(o)?
True
Suppose 2*g = g - j - 16, g + 3*j = -24. Let p = 1 - g. Is 13 a factor of p?
True
Suppose 20 = 2*d - 0. Let u be 0 - -22 - (8 - d). Is (2 - u)/(1/(-2)) a multiple of 17?
False
Let t = 103 + -82. Does 11 divide t?
False
Let t(u) = -8*u**2 + 4. Let m(y) = -1. Let n(w) = -6*m(w) - t(w). Is n(-2) a multiple of 17?
True
Let z(h) = 6 + 3 - 16 - 5*h. Is z(-5) a multiple of 18?
True
Let a(t) = t**2 + t - 10. Is a(-8) a multiple of 23?
True
Suppose -5*x + 993 = -247. Is x a multiple of 31?
True
Let m(w) = -w**3 - 7*w**2 - 5*w + 1. Is 6 a factor of m(-7)?
True
Let s = -20 + 71. Is s a multiple of 11?
False
Let k(j) = 4*j**2 + 7*j + 4. Is k(4) a multiple of 27?
False
Suppose -74 + 26 = -3*l. Let p be (0 - 5) + 6/2. Let w = l + p. Does 14 divide w?
True
Let v(u) be the third derivative of 11*u**4/12 - 3*u**2. Is 17 a factor of v(1)?
False
Suppose 38 = 4*p - 3*r + 11, 2*p + r - 1 = 0. Let u = 7 + -3. Suppose -p*h - 58 = -3*a - h, 5*a - 60 = -u*h. Is a a multiple of 8?
True
Let u = 124 + -70. Is u a multiple of 24?
False
Suppose 0*o - 3*o + 42 = 0. Let u be 38/14 + 4/o. Suppose u*y - 100 = 3*g + 2*g, -2*y + 5*g = -70. Does 11 divide y?
False
Suppose s = 5*u + 19, 2*s = -0*s - 3*u + 64. Is 11 a factor of s?
False
Let x = -110 + 68. Is 30 a factor of (-18)/4*308/x?
False
Let m be -6*(0 + (-1)/3). Suppose -b + m*j - 6*j = -20, -j = -2. Does 14 divide b/(-2)*(-8)/2?
False
Suppose -5*f = -2*f - 87. Suppose -l = -6*l - 2*z + 17, 5 = l + 2*z. Suppose 0 = 2*t + l - f. Does 13 divide t?
True
Let b(u) = -23*u - 2. Let j be b(-4). Let y = j + -56. Is y a multiple of 18?
False
Let r = 1 + 1. Suppose -2*i - 2*i + 4*p + 12 = 0, -6 = -2*i - r*p. Suppose -i*d = -83 - 31. Is d a multiple of 19?
True
Let p = -91 - -103. Is 4 a factor of p?
True
Let a(d) = 13*d - 5. Let b be a(9). Is 108/(-42)*b/(-6) a multiple of 14?
False
Suppose -4*b + 5*g = -14, 5 + 3 = b + g. Does 3 divide b?
True
Let a(o) = o. Let c be a(3). Let w be -168*(-2)/2 - -2. Suppose -c*d = 2*d - w. Is 12 a factor of d?
False
Let s(d) be the second derivative of -d**3/3 - d**2 + 4*d. Does 3 divide s(-4)?
True
Let n be 3/(9/21) - 1. Suppose -4*w = -n*w + 4*s + 46, -2*s - 53 = -3*w. Does 15 divide w?
True
Let l(z) = 2*z**2 - z + 4. Let m be l(2). Let b(n) = 3*n - 6. Is 12 a factor of b(m)?
True
Suppose 3*f + 36 = 6*f. Does 2 divide f?
True
Suppose -2*q = 3*a - 58, q + 3*a = 21 + 14. Let f = -6 + q. Is 16 a factor of f?
False
Let v = -1 - -10. Let f be (-1 - -3) + v/3. Suppose 4*q = 4*t - q - 144, -f*t = -2*q - 180. Does 17 divide t?
False
Let z(p) = 2*p + 6. Suppose 4 = -n, 2*b - 3*n - 12 = -0*b. Does 6 divide z(b)?
True
Let a(u) = u**2 + 5*u + 12. Let m(y) = -y**2 - 4*y - 13. Let g(t) = -5*a(t) - 4*m(t). Is 7 a factor of g(-6)?
False
Suppose -j = m - 0*m - 142, -5*m + 4*j = -719. Does 20 divide m?
False
Suppose n + 0*n = -5*k + 219, -5*n - 93 = -2*k. Let m = 3 - 3. Suppose 3*a - a - k = m. Is 11 a factor of a?
True
Let c = -21 - -23. Suppose c*y - 135 = -y + 2*z, 74 = 2*y + 4*z. Is y a multiple of 6?
False
Let d = 34 - 11. Is 3 a factor of d?
False
Suppose -4*x - 26 = -r + 6*r, 4 = -x. Let u(j) = 20*j**2 + 2*j + 3. Let b be u(r). Suppose -4*z = -k - b, 4*z + 5*k = 52 + 33. Does 11 divide z?
False
Let i(g) = 2*g**2 + g - 1. Suppose -5*m + 2 = -4*o - 26, -2*o - 24 = -5*m. Is 3 a factor of i(o)?
False
Suppose -b + 57 = 2*m, 0 = b - 5*m - 18 - 18. Does 17 divide b?
True
Let d = -4 + -11. Is 5 a factor of (-48)/18*d/4?
True
Suppose 5*d + 17 = 7, -2*d - 108 = 4*n. Let m = n - -40. Is 5 a factor of m?
False
Suppose 3*r - 11 = 211. Is 38