*i - 4. Let z be k(5). Let y = z + -3. Is 3 a factor of y?
True
Let b(p) = p**3 + 4*p**2 - 2*p - 2. Let j be b(-4). Let m = 12 - j. Is 4 a factor of m?
False
Is ((-72)/(-14))/(10/105) a multiple of 4?
False
Suppose -12 = x - 2*x. Is 7 a factor of x?
False
Suppose 2*j - 14 = -k, 8*j + 42 = 3*k + 5*j. Is 10 a factor of k?
False
Suppose 0 = -3*r - 9. Let n = 5 - r. Is 4 a factor of n?
True
Let p(z) = z**2 + 25. Let w be p(0). Suppose 5*i = w, 5*t + i = 2*t + 17. Let u(a) = a**2 + 3*a - 2. Does 13 divide u(t)?
True
Let q = 7 - -13. Let y be 5*2/(q/6). Is -16*y/((-9)/6) a multiple of 12?
False
Let k(j) = j**3 - 9*j**2 - j - 7. Let g be k(9). Let m = 9 + g. Let x = -2 - m. Is x a multiple of 3?
False
Let f(t) = -t**3 + 3*t**2 + 16*t + 2. Does 8 divide f(5)?
True
Let o(b) = -28*b**3 - b - 1. Suppose -7 = 3*t + 4*a, -t + 5*a = 21 - 6. Let d be t/(-5)*1/(-1). Does 14 divide o(d)?
True
Let l = -1 - -8. Let n = 1 + l. Is 3 a factor of n?
False
Let v be (25/(-5))/(-1*1). Suppose -396 = 2*g - v*g. Is 14 a factor of (-4)/6 + g/9?
True
Is 30 a factor of -30*(-2 - -3)*-3?
True
Let h = 47 + -21. Does 13 divide h?
True
Let u(i) be the third derivative of i**6/120 - 6*i**2. Is 8 a factor of u(3)?
False
Suppose -t + 0*t + 5*v - 25 = 0, 5*v - 25 = 3*t. Suppose -2*c + 26 = -4*q, -2*c + t*q + 8 = 5*q. Is 9 a factor of c?
True
Let a = -31 + 19. Let b = 22 + a. Is b a multiple of 5?
True
Let m(c) = 3*c + 18. Let h be m(8). Suppose a - h = 10. Does 13 divide a?
True
Let w(i) = -2*i + 8*i - 9*i. Does 6 divide w(-8)?
True
Is (-3)/((-2)/(-3)*(-15)/100) a multiple of 22?
False
Let f = -4 - -6. Suppose -d + f = 1. Is 3 a factor of (16/(-10))/(d/(-5))?
False
Let n(g) = -g**2 + g + 18. Let w be (-2)/(-6) + 2/(-6). Let o be n(w). Let q = o + -2. Is q a multiple of 8?
True
Is (442/(-51))/(2/(-27)) a multiple of 15?
False
Let z = -12 - -46. Suppose 4*h = -6 + z. Suppose -6*p + 5*p = -h. Is p a multiple of 7?
True
Let g be (-1)/(0 - 2/6). Let b = 1 + 5. Let r = b - g. Does 3 divide r?
True
Let k be ((-6)/10)/(2/(-10)). Suppose -k*f - 17 = -u - f, 4*u - 18 = -2*f. Is 7 a factor of u?
True
Let h = 0 - -2. Suppose 0 = -q - h + 6. Is 2 a factor of q?
True
Suppose 2*o - 3*m - 9 = -0*o, -5*o - 3*m + 12 = 0. Suppose 7*n - o*n = 8. Suppose -21 = -w - 3*q, -2*q = -n*w + w + 1. Does 6 divide w?
False
Let s = 88 + 52. Is 17 a factor of s?
False
Let n = -33 - -42. Is n a multiple of 9?
True
Let v(m) = m**3 - 4*m**2 + 2*m - 6. Let g be v(4). Let y = -8 - -13. Suppose -71 = -2*a - y*d, 0*a - 90 = -3*a - g*d. Is 12 a factor of a?
False
Suppose 0*s - 149 = -s - q, -2*s + q = -292. Does 29 divide s?
False
Let o be ((-5)/3)/((-2)/6). Let t = o + 65. Is t a multiple of 24?
False
Let i(t) = -30*t + 4. Does 62 divide i(-4)?
True
Let m(a) = 2*a**3 + 3*a**2 + a - 4. Let f be m(-3). Let t be (3 - 1)*(-75)/10. Let w = t - f. Does 19 divide w?
True
Is 28 a factor of (-119 + 1)*(1 - 2)?
False
Let g(c) = -c**3 + 7*c**2 + 4*c - 3. Suppose 6*d - 8*d = -14. Is g(d) a multiple of 11?
False
Let n be 0/(0 + -1) + 5. Suppose 0 = -5*p - 4*k - 6, k + 1 = -4*p + n. Let y = p - -10. Is 6 a factor of y?
True
Suppose 4*j + 3*p = 11, -5*p - 16 = -4*j + 19. Is j a multiple of 3?
False
Let h(s) = -s**2 + s + 1. Let p(l) = -l**2 + 8*l + 7. Let d(c) = -6*h(c) + p(c). Let z = -6 - -4. Does 15 divide d(z)?
False
Let v be 7/14 + (-22)/4. Let n be ((-2)/v)/((-2)/(-20)). Suppose 9 = n*u - 51. Does 4 divide u?
False
Let w be (-10 - 4)*6/4. Is (-384)/w - (-4)/(-14) a multiple of 14?
False
Let d(o) = -o**3 + 29*o**2 - 19*o + 33. Does 12 divide d(28)?
False
Let q(k) be the second derivative of -k**3/3 - 2*k. Let g be q(-1). Is 17 a factor of 2 + g*-2 - -35?
False
Let y(o) = -24*o - 21. Let a(s) = 5*s + 7. Let w(z) = -10*z - 15. Let p(q) = 7*a(q) + 3*w(q). Let d(v) = 11*p(v) + 2*y(v). Does 6 divide d(2)?
False
Suppose 456 = 5*g - 364. Suppose -6*k = -2*k - g. Is 12 a factor of k?
False
Let q = 23 + -19. Does 9 divide (q - -2) + 3 - 0?
True
Does 10 divide -1 + (-30)/(-25) + 99/5?
True
Let r = -19 - -27. Is (r/(-12))/((-2)/72) a multiple of 10?
False
Suppose -d - i = -3*d + 38, -d + 19 = -2*i. Let p = d + -8. Is 5 a factor of p?
False
Let p = 6 - -81. Is p a multiple of 17?
False
Does 20 divide (15/6)/((-2)/(-144))?
True
Suppose 5*n - 1 = 9, -2*r = 2*n + 64. Let a = r + 59. Is a a multiple of 25?
True
Suppose 5*r - 4*q = r + 52, -q = 4*r - 72. Suppose 5*b - r = 3. Suppose 0 = 5*t + 2*m - 121, t - b*t = 3*m - 78. Is t a multiple of 8?
False
Suppose -3*f = -0*p - 3*p + 21, -4*f - 7 = -p. Suppose -4*c + 115 = -57. Let z = c - p. Is z a multiple of 15?
False
Does 28 divide 132 + -28 + (0 - 3)?
False
Let b(c) = 13*c + 4. Is 12 a factor of b(7)?
False
Let a(l) = 150*l**3 - 2*l**2 - 2*l + 4. Is a(1) a multiple of 25?
True
Suppose -5*b + 93 = -4*q, 5*q - 7*b = -3*b - 105. Let w = -9 - q. Is 8 a factor of w?
True
Let a(g) = -8 + 2 - 5 - 2 - 5*g. Does 16 divide a(-9)?
True
Let x be (5 + -1)/(6 + -7). Is 11 a factor of 2*((-26)/x - 1)?
True
Let r = -6 + 7. Let a be -6 - -9 - r/1. Is 4 a factor of -5*(-3 + a) + 3?
True
Suppose 3*a + 3*p + 42 = -0, -64 = 5*a - p. Let r = a - -23. Is 4 a factor of r?
False
Let g(m) = 4*m - 12. Let a(s) be the third derivative of s**4/24 - 2*s**3/3 + s**2. Let z(d) = 16*a(d) - 5*g(d). Does 16 divide z(-5)?
True
Let m = -41 - -181. Is m a multiple of 28?
True
Let v(p) = -p**3 - p**2 - p - 1. Let m be v(-2). Suppose 5*g - m - 15 = 0. Suppose -68 = -g*r + 80. Does 16 divide r?
False
Let q(r) = 2*r**3 + r**2 - 3*r. Is 6 a factor of q(3)?
True
Let k(b) be the second derivative of -b**8/6720 - b**7/1260 - b**4/12 - 2*b. Let p(h) be the third derivative of k(h). Is 3 a factor of p(-3)?
True
Let a = 2 - -26. Is 14 a factor of a?
True
Let l = -8 + 15. Let x = 42 + l. Is x a multiple of 14?
False
Suppose 0 = 3*z - 5*z + 96. Let n = z + -27. Does 15 divide n?
False
Suppose 7 + 1 = -2*z. Does 8 divide 16/5*(z - -9)?
True
Suppose -3*p - 3 = -12. Let d(i) = i**3 - i**2 + 3*i + 1. Is 14 a factor of d(p)?
True
Let f(d) = 4*d + 10. Does 18 divide f(3)?
False
Suppose x + 5 - 4 = 0. Is x/3 + 31/3 a multiple of 5?
True
Suppose -3*u - 5*q = 3, -5*u - 3 = -2*u + q. Is -36*-1*(2 + u) a multiple of 12?
True
Suppose -2*x = x. Suppose -p - 4*p + 660 = x. Suppose s - p = -2*s + g, 31 = s + 4*g. Does 23 divide s?
False
Suppose 5*d - 3*i - 22 = 0, d + i - 2 - 4 = 0. Let x be (-5)/(-20) - (-2)/(-8). Suppose x*s + 5*h = -2*s + 31, d*s - 5*h - 25 = 0. Is 8 a factor of s?
True
Let d be (1*-4)/(1/4). Let v = 9 + d. Is 4 a factor of 2/v + 120/28?
True
Let l be 1 - (2/2 - -1). Let m be (l/(-3))/((-1)/(-3)). Is 9 a factor of m/(2 - 51/27)?
True
Suppose 88 = -3*o + 412. Is 33 a factor of o?
False
Let v be 5 - -15 - 1*-1. Let h be 58/(-8) - (-1)/4. Let q = h + v. Is q a multiple of 7?
True
Let m = 349 - 236. Is 14 a factor of m?
False
Let w = 72 - -46. Does 10 divide w?
False
Let p = 3 + -3. Suppose p = a - 5 + 2. Suppose c = 30 - a. Is 8 a factor of c?
False
Let u be 4/6 + 52/12. Let r = -2 + 7. Suppose 4*j = 2*x + 118, 165 - 10 = u*j - r*x. Does 14 divide j?
True
Let f(g) = 5*g - 4. Let n be f(4). Let m = 4 + n. Does 19 divide m?
False
Suppose 2*u + 0*q + 2 = -5*q, 24 = 5*u - 2*q. Suppose 0*b + 5*b + u*y = -5, -y = 5. Is b a multiple of 3?
True
Let v be (-22)/(-10) + -2 + 672/40. Let c = 96 - 67. Suppose v + c = 2*l. Is l a multiple of 23?
True
Suppose 2*a - 30 = 72. Is a a multiple of 17?
True
Suppose 2*q + 0*s - s = 42, -4*q + 3*s + 88 = 0. Is 2 a factor of q?
False
Suppose 0 = 3*o - 191 - 214. Is o a multiple of 16?
False
Let x(q) = 2*q**3. Let o be x(1). Let t(w) = 2*w**o - 5 - w**3 - 9*w**2 + w + 6*w. Is 2 a factor of t(-8)?
False
Suppose -2*m + 24 = -t, -73 - 21 = 3*t + 5*m. Let u = 39 + t. Is u a multiple of 8?
False
Let y be -3 + 3 - (84 + 1). Suppose 2*q + 33 + 65 = 0. Let k = q - y. Is 12 a factor of k?
True
Suppose -3*x - 216 = -12*x. Is x a multiple of 8?
True
Suppose 29 = 3*c - 4. Is c a multiple of 8?
False
Let x(n) = 2*n - 13 - 4*n + 4*n. Let c be x(9). Suppose 28 = c*h - 147. Does 18 divide h?
False
Let d = 1 + 1. Suppose 4*p = 4*h - 112, -d*h - 2*p = 3*h - 168. Is 13 a factor of h?
False
Let l(q) = 4*q**2 + 3*q + 1. Let f be l(-2). Let u(j) = 2*j**2 - 13*j - 25. Let y(v) = v**2 - 6*v - 13. Let n(a) = -6*u(a) + 11*y(a). Is 5 a factor