 be l(-4). Suppose -152 - 379 = -3*v. Is 11 a factor of v/15 + w/(-5)?
False
Suppose 258 = 3*f - 162. Is 20 a factor of f?
True
Suppose -2*j - 5*a + 11 = 0, 4*j - 3*a - 9 = -0*a. Suppose -3*y = 2*y - 15. Suppose 5*q + 6*v - y*v - 160 = 0, -4*v = j*q - 96. Does 11 divide q?
False
Let z(m) be the second derivative of -2*m + 1/2*m**2 - 1/12*m**4 + 1/5*m**5 + 0*m**3 + 0. Is z(1) even?
True
Let s(q) = -2*q + 69. Is s(20) even?
False
Let i = 13 + -8. Suppose 0 = -2*q + 49 - i. Let v = q + -1. Is v a multiple of 21?
True
Suppose -4*i + 0*y - 67 = -5*y, -5*i - 93 = 3*y. Is 6 a factor of (i/(-8))/(1/8)?
True
Suppose 4 = -u + 8. Suppose 8 = 2*g + 4*r - 8, 0 = 4*g + u*r - 28. Is 6 a factor of g?
True
Let c = 35 + -64. Let t = 3 - c. Is 8 a factor of t?
True
Let j(c) = -c**3 + 3*c**2 + 3*c + 1. Let s be j(3). Suppose p = -3*p. Is (p + 1)*s - 1 a multiple of 6?
False
Suppose -5*n = w - 178, 5*n - 523 = -5*w + 307. Is w a multiple of 17?
False
Let u be ((-6)/(-7))/((-1)/(-7)). Let s be -2*u/(-4) - 2. Let i = s + 3. Is 4 a factor of i?
True
Suppose 3*g - 5*o = 7*g - 392, -3*g + 4*o + 294 = 0. Is g a multiple of 14?
True
Let m be (-4)/(1*8/(-4)). Suppose -16 + 0 = -m*s. Does 4 divide s?
True
Let n be (-4)/(-6) - (-50)/6. Suppose n = -4*f + 105. Suppose 0*q - f = -2*q. Is q a multiple of 5?
False
Let j(y) = -y**2 + 3*y + 3. Let r be j(3). Suppose 3*w = -0*w - 6. Is (-1 - w)/(1/r) a multiple of 2?
False
Let u = -5 + 12. Does 3 divide u?
False
Let s(u) = -7*u - 34. Is s(-11) a multiple of 11?
False
Let p = -7 - -10. Suppose -4*j + 5*j - 78 = 0. Suppose 4*a - 175 = 5*h, -5*h = -p*a + 57 + j. Does 20 divide a?
True
Let x(i) = 5*i**3 + i**2 - 3*i + 2. Let l(k) = k + 1. Let f be l(4). Suppose -f*b - 14 = -2*d, 3*d - 2*d - b = 4. Is x(d) a multiple of 11?
False
Let a(k) = -k**2 - 4*k + 3. Let m be a(-4). Suppose z - 148 = -m*z. Is 23 a factor of z?
False
Does 3 divide (-3 + 4)*(15 + -1)?
False
Suppose g = 2*g - 3. Does 3 divide g?
True
Suppose 3*c = -2*c + 10. Suppose 0 = -c*t + 40 + 82. Let k = -40 + t. Is k a multiple of 10?
False
Suppose -u + 192 = -4*h + 74, 515 = 5*u - 5*h. Let q = u - 55. Suppose -q = -2*r + 5. Is 12 a factor of r?
True
Suppose -2*a - 3 = -63. Is 15 a factor of a?
True
Suppose -25 = -4*g + 3*m, 5 = 4*g - m - 14. Suppose -g*w - 2*j = -16, 3*w + 0 = -j + 13. Suppose 66 + 74 = w*b. Is b a multiple of 18?
False
Let l(h) = -h**2 - 4*h - 1. Let d be l(-2). Suppose -42 = -z - 0*o + d*o, -2*z = o - 119. Is 15 a factor of z?
False
Let u(g) = -95*g**3 - g - 2. Is 34 a factor of u(-1)?
False
Let p(z) be the second derivative of -z**7/840 + z**6/72 + z**5/20 - z**4/12 - z**3/6 + 3*z. Let h(j) be the second derivative of p(j). Is 21 a factor of h(4)?
False
Suppose -16 = 2*t - 4*y, -3*t + 2*y + 4 = 16. Is 9 a factor of t/(-6) + 64/6?
False
Let t = -10 + 12. Suppose -2*h + 80 = 2*u + t*u, h - 2 = 0. Is 11 a factor of u?
False
Is 2 - (1 + (-51)/3) a multiple of 8?
False
Let k(u) = -u + 2 - 12 + 2*u. Let t be k(8). Does 3 divide -1*10*t/2?
False
Suppose 0*i - 12 = 4*i. Is (-3 + -1)*-11 - i a multiple of 19?
False
Let h be ((-6)/5)/((-2)/25). Is (-5)/(h/(-138)) + -1 a multiple of 21?
False
Let k be (-3 + 2)/((-2)/(-6)). Does 12 divide (-1 + 3)/(k/(-36))?
True
Suppose 0*w = 2*w - 226. Let b = -74 + w. Does 13 divide b?
True
Is 5 a factor of -20*5*(3 + 85/(-25))?
True
Suppose 4*q = -3*f + 20, -25 = q - 6*q - 2*f. Suppose 4*i = q*r + 3*i + 330, -3*r - 205 = -2*i. Is r/(-7) + (-12)/42 a multiple of 4?
False
Let h be (29/(-3))/((-2)/30). Suppose h = 6*x - 143. Is 16 a factor of x?
True
Suppose 0 = 11*z - 2*z - 504. Is z a multiple of 16?
False
Does 11 divide -4 - -4*167/2?
True
Let v = -18 - -68. Let f = v + -29. Is 21 a factor of f?
True
Let f(k) = 6*k**2 + 7*k - 7. Let z be f(5). Suppose -4*d - 3*v + 346 = -0*v, 2*d - v = z. Suppose d = 3*s + s. Is 11 a factor of s?
True
Suppose 0 = -t + 5, 5*l = l - 4*t - 332. Let d = -59 - l. Let q = d - 11. Is 8 a factor of q?
False
Suppose 0*u - 2*u = 0, -4*a = -5*u - 20. Does 4 divide a?
False
Let g(i) = i**3 + 4*i**2 + i - 1. Let d be g(-2). Suppose 2*b = b + d. Is b a multiple of 5?
True
Let v(u) = u - 4. Let m be v(3). Let k = 1 - m. Suppose 42 = -k*w + 5*w. Does 14 divide w?
True
Let h be 6/10 + 88/20. Suppose 0 = h*r - 8 - 12. Suppose r*s - 5*n = -0*s + 75, -5*s + 3*n = -97. Is 10 a factor of s?
True
Suppose 0 = 4*y + 5*j - 467, 16 = -y - 4*j + 130. Does 22 divide y?
False
Let s = 44 - 28. Let r = -1 - -1. Suppose s = v - 2*i - r*i, -2*i = 5*v - 80. Is v a multiple of 16?
True
Let h = -50 - -141. Is h a multiple of 22?
False
Let t = -4 + 6. Suppose 0 = 5*a + 10, 0 = -t*j - a + 3*a - 62. Does 17 divide (-2)/(-4) + j/(-2)?
True
Let u(n) = -n**3 + 5*n**2 + 3*n + 5. Let f be u(6). Let h = 6 - f. Suppose -3*i - 7 + h = 0. Is i a multiple of 2?
True
Let j(n) = 6*n - 7. Does 10 divide j(11)?
False
Let v(b) = b - 14. Let n be v(0). Let u be (-10)/(-35) + (-24)/n. Is -1*u - 81/(-3) a multiple of 10?
False
Let m(j) = -4*j**2 + 8*j + 11. Let i(z) = -z**2 + 2*z + 3. Let b(a) = -9*i(a) + 2*m(a). Suppose -44 = -4*r - 16. Is 15 a factor of b(r)?
True
Let q be 2/4 - 22/(-4). Suppose -5*z - 4*v + 18 - 64 = 0, -3*v = -3*z - 33. Is 2 a factor of (z/2)/(-7 + q)?
False
Let r = 124 - 79. Is r a multiple of 9?
True
Let f be 49/14*(-16)/28. Let k(y) be the first derivative of 7*y**3/3 - y**2/2 - y + 1. Is k(f) a multiple of 10?
False
Let w = 190 + -94. Does 24 divide w?
True
Let i be (-5)/(-2)*24/15. Suppose 3*c = -l, l = -3*c + i*c. Does 3 divide c - (-4 + 1)*2?
True
Suppose 6 = -l + 4*l. Is l a multiple of 2?
True
Let r(q) = -q**3 + 2*q**2 + 5*q - 4. Let h be r(3). Suppose -z + h*k = -1, 5*z + k = 2 + 14. Suppose -p - 12 = -z*p. Does 3 divide p?
True
Suppose i + 6 = -5*b - 5, -i + 9 = -5*b. Is 4/(-8) + (-29)/b a multiple of 5?
False
Suppose -a + 3*k - 59 = 0, -5*k - 37 = -4*a - 287. Let m = -30 - a. Does 13 divide m?
False
Let w be ((-2)/6)/((-1)/9). Suppose 3*y + 4*d - 4 - 1 = 0, 14 = w*y - 5*d. Suppose -o - 17 = -2*v + 2*o, 3*v - y*o = 33. Is v a multiple of 8?
True
Let s(g) = 2*g**3 - 3*g**2 + 2*g + 1. Suppose -8 = -0*z - 4*z. Let n be s(z). Suppose -1 = -5*y + n. Does 2 divide y?
True
Let l(s) = -7*s**3 - 10*s**2 + 11*s - 11. Let x(d) = 10*d**3 + 15*d**2 - 16*d + 16. Let w(g) = -7*l(g) - 5*x(g). Is w(-6) a multiple of 13?
False
Let o = 3 - -2. Suppose o*z = 2*f - 285, -3*z = f + 2*z - 135. Suppose -5*m - 20 = 0, 5*g + 3*m - f = g. Is 15 a factor of g?
False
Suppose -4*x = 3*q - 155 - 73, -4*x = -5*q + 348. Is 4 a factor of q?
True
Suppose -2*a - 5 = -t - 17, -3*a = 5*t + 8. Suppose -3*z = 6 + 6, 5*q - a*z = 301. Let g = q + -36. Is g a multiple of 7?
True
Let q = -304 - -508. Is 34 a factor of q?
True
Let b be (((-660)/(-16))/5)/((-2)/(-8)). Let n(z) = -8*z + 1. Let g be n(-1). Suppose b = o - g. Is 15 a factor of o?
False
Let u(o) = 2*o**2 - o + 11. Is 6 a factor of u(6)?
False
Suppose -5*d = 7 + 8. Let j be -64 + 6/(d + 0). Is 11 a factor of (1 - 1) + j/(-6)?
True
Let z(u) = -4*u**2 + 3*u + 1. Let x(c) = -c**2 + 1. Let b(f) = 6*x(f) - z(f). Let h(j) = -j**2 - 1. Let r(q) = -b(q) - 5*h(q). Is r(-2) a multiple of 15?
False
Let y(g) = 12*g - 44. Is 61 a factor of y(16)?
False
Let j(b) = 12*b + 6. Let y(h) = 8*h + 4. Let l(k) = 5*j(k) - 8*y(k). Is 11 a factor of l(-6)?
True
Let k = -77 - -177. Is 25 a factor of k?
True
Let v = 35 - 9. Is v a multiple of 2?
True
Let w = -5 - -9. Suppose -4*t + 16 = w. Suppose 72 = t*u - 0*u. Is u a multiple of 12?
True
Suppose -2*r - 16 = -p, 0 = -2*r - 2*r - 16. Let n be (p/(-10))/((-4)/10). Suppose 14 = n*g - 8. Is 5 a factor of g?
False
Let n = -26 - -105. Let m be n - (2 + -1)/(-1). Suppose t - 299 + 81 = -5*s, -2*s = 4*t - m. Is 22 a factor of s?
True
Let o be (-94)/(-14) + (-10)/(-35). Suppose -4*z = -l - o + 3, 5*l = -2*z - 20. Suppose -148 = -5*h - 4*b, z = -3*h - 5*b - 37 + 118. Does 16 divide h?
True
Let t = 22 + -11. Suppose -t - 85 = -2*y. Is 16 a factor of y?
True
Let a(f) = 4*f + 6. Suppose 5 = k + 2. Let s(y) = 3*y + 5. Let w(l) = k*s(l) - 2*a(l). Does 6 divide w(7)?
False
Is (12/(-7))/((-8)/224) a multiple of 12?
True
Suppose 0 = -2*n - 0*n + 14. Let j be (2 - 1 - n)/(-2). Suppose -6*q + 2*q = 2*u - 116, 2*q + j*u = 58. Is q a multiple of 16?
False
Does 29 divide 0 + 611/7 - (-62)/(-217)?