o) = -o**2 + o + 19. Is r(z) a multiple of 11?
False
Suppose 128 = 2*q + 50. Is q a multiple of 4?
False
Let r = 21 - 11. Let v = r - 18. Let d = v + 15. Is d a multiple of 7?
True
Suppose -4*q = -5*m - 4836, 0 = -q + 6*q + 3*m - 6045. Is q a multiple of 39?
True
Let i(m) be the third derivative of -m**6/120 - 7*m**5/30 + 3*m**4/4 + m**3/6 + 3*m**2. Is i(-16) a multiple of 28?
False
Let o(r) = -r**3 + 15*r**2 + 19*r + 29. Let s be o(16). Suppose -2*y + 175 = s. Does 8 divide y?
False
Suppose -238*c + 221*c + 10455 = 0. Is 3 a factor of c?
True
Suppose 0 = 3*o - 478 + 253. Is o a multiple of 35?
False
Suppose -2*w - 5*v + 775 = 0, 0 = -2*v - 3 + 1. Is 30 a factor of w?
True
Suppose r - 99 + 10 = -2*z, -r + 2*z = -69. Does 6 divide r?
False
Suppose 4*f = s + 50, -5*s + 0*s - 275 = 5*f. Does 36 divide (-5)/((-30)/(-4))*5*s?
True
Suppose -z + 5*c + 1 = -0, -2*z + 4*c = 28. Let g = -21 - z. Does 3 divide g?
True
Let s(c) = c**2 + 10*c - 9. Let n be s(-11). Suppose 0 = n*m - a - 67, 9*m = 8*m + 2*a + 26. Is 12 a factor of m?
True
Does 5 divide 3*1*55/3?
True
Suppose -3*x + 5*x - 35 = -5*k, -x - 4*k = -25. Suppose 0 = 4*c - 4*p + 4 - 288, 25 = -x*p. Is c a multiple of 11?
True
Let t = 1 + 3. Does 8 divide -10*11*(-2)/t?
False
Suppose -25 = 5*q, y + q + 10 = -2*q. Suppose 3*c - 12 = -3*n, -2*c + 2 = n - y. Does 6 divide -32*n*1/(-2)?
False
Suppose 0 = t - 6*t - 3*c + 1820, -3*t - c + 1088 = 0. Is 40 a factor of t?
False
Suppose 3*a - 4*v = 820, -6*a + 3*a + 5*v + 821 = 0. Is 22 a factor of a?
False
Suppose 0 = 42*l - 47*l + 3*w + 5522, -2*w = l - 1107. Does 17 divide l?
True
Let t be (-6)/4 + 4/8. Is 0 - (0/t - 5) even?
False
Suppose -8*y + 1804 = -2956. Is y a multiple of 35?
True
Suppose 27*b + 10*b = 2738. Is 18 a factor of b?
False
Suppose 0 = 7*p - 2*p - 10. Suppose 0 = p*g - 6*g - 24. Is 12 a factor of ((-78)/2)/(9/g)?
False
Suppose -173*s + 164*s = -5940. Is s a multiple of 44?
True
Does 32 divide 5 + (-11 - 0) - -730?
False
Let b = 436 - 171. Is b even?
False
Suppose 22 + 218 = 15*j. Is 2 a factor of j?
True
Let k = 41 + 19. Let c = k - -18. Let l = -45 + c. Is l a multiple of 11?
True
Let d = 67 - 89. Let v(p) = -p**2 - 22*p + 19. Is v(d) a multiple of 3?
False
Suppose -2*c = 2*s + 6, -4*s + 6*s + 6 = -5*c. Let m = -89 + 33. Is m/12*s/2 even?
False
Suppose 7*t = 3*t + 3*t. Suppose 3*v - 2*h - 64 = 2*h, t = v - h - 23. Is 3 a factor of v?
False
Let q = 22 - 144. Let r = -62 - q. Let k = -30 + r. Is k a multiple of 10?
True
Let d(o) = -49*o + 46*o + 9 + 15. Does 10 divide d(-12)?
True
Let x(i) = -20*i - 148. Is 64 a factor of x(-33)?
True
Is 9/(9/(-14))*(-84)/49 a multiple of 24?
True
Suppose -2*m - 2*n + 7*n + 99 = 0, -2*m + 90 = -2*n. Suppose 40*r - m*r = -38. Is 19 a factor of r?
True
Let q(i) = 6*i**2 - 5*i - 4. Let n be q(-1). Suppose 0*r - 840 = -n*r. Is r a multiple of 40?
True
Suppose -3*n + g = -159, 3*n - 2*g - 132 - 24 = 0. Does 6 divide n?
True
Let x(q) = 16*q - 1. Let i be x(2). Let k = -246 - -291. Let m = k - i. Is m a multiple of 2?
True
Let l = 1090 + -649. Is 21 a factor of l?
True
Let a(p) = 137*p**3 + 2*p**2 + 2*p - 12. Does 127 divide a(2)?
False
Let k(u) = u**3 + 10*u**2 - 2*u - 14. Let x(g) = -g. Let z be x(10). Is 4 a factor of k(z)?
False
Suppose 2*l - a + 8 = 6*l, -2*a = -5*l + 23. Suppose -o + l*y = -3*o + 77, 2*o = 5*y + 85. Is o a multiple of 11?
False
Let o be (-1)/6*-3*0. Suppose o = l + 3*l - 12. Does 14 divide (-1 + 2)/(l/165)?
False
Let l = -3 + -7. Let k be 3/2*l/(-3). Suppose -2*t + 47 = -3*r, -k*r - 36 - 33 = -3*t. Does 6 divide t?
False
Let w = 3 + 2337. Is w a multiple of 20?
True
Suppose -3*z + 7*l + 407 = 3*l, 4*l = 5*z - 681. Is z a multiple of 15?
False
Let l(h) = 7*h**2 + 3*h - 3. Let s be l(6). Suppose -2*t + s + 9 = 0. Suppose -3*z - 173 = -4*w + t, -4*z = -5*w + 389. Is w a multiple of 20?
False
Suppose -24 = -4*o - 4. Suppose -o*u = -u. Suppose 0 = -0*q - q + 2*z + 16, 4*q - 4*z - 68 = u. Is q a multiple of 8?
False
Suppose -5*a = -m + 70 + 32, 4*a - 84 = -m. Suppose -2*i = 4*t + 232, -2*t = -4*t + 5*i - m. Let v = t + 91. Is 9 a factor of v?
False
Let b be (-18)/2*1*-8. Suppose -b = 4*o - 3*o. Is 8/(-12)*(o - 0) a multiple of 12?
True
Is 106*((-1)/(-1) - 3 - -8) a multiple of 40?
False
Suppose -2*h - 3*d + 1631 = 0, 3*h - d + 552 = 3026. Does 4 divide h?
False
Let r = -754 - -1102. Does 58 divide r?
True
Suppose 2*u + 2 = -2*g, -5*g - 4*u - 4 = -0. Suppose g = -4*v + 5*v. Is -1*(v - (1 - -19)) a multiple of 7?
False
Let n = -2718 - -3896. Is n a multiple of 55?
False
Let z(k) = -k - 2. Let j be z(8). Is ((-7)/(-2))/(j/(-200)) a multiple of 14?
True
Let b be (-12)/30 + 81/15. Suppose -89 - 11 = -b*p. Suppose 3*i = 296 - p. Is i a multiple of 23?
True
Suppose 4*o = -7*k + 2*k - 13, 3*k + 2*o + 9 = 0. Let i(h) be the second derivative of -5*h**3/6 - 3*h**2/2 - 81*h. Is 7 a factor of i(k)?
False
Let d(g) = g**2 - g - 5. Let z be d(2). Let f(u) = -3*u - 5. Let h be f(-4). Let b = h + z. Is 4 a factor of b?
True
Let u(p) = 59*p + 146. Let l(m) = -20*m - 49. Let f(i) = 17*l(i) + 6*u(i). Is 11 a factor of f(15)?
True
Let a = -137 - -142. Suppose 810 = a*v + 4*j, 5 = j - 2*j. Is 12 a factor of v?
False
Let c be 6/5*1820/39. Let x be (-47)/(-7) - (-16)/c. Suppose x*k - 4*k = 30. Is 3 a factor of k?
False
Let z(t) be the second derivative of -t**5/20 + t**4/2 - 2*t**3/3 + 3*t**2/2 + 5*t. Let c be z(5). Let o = c - 4. Is 4 a factor of o?
True
Suppose 3*z = 20*z - 272. Suppose -7*g + z + 334 = 0. Is 25 a factor of g?
True
Let y be 124/(-16)*2*-10. Suppose -79 = -3*m + y. Let u = 147 - m. Does 15 divide u?
False
Suppose -18155 = -28*n - 6059. Does 18 divide n?
True
Is (-3 + 5)/(13/637) a multiple of 14?
True
Let j(u) be the second derivative of -2*u**5/5 - u**4/3 - 2*u**3/3 - u**2 - 3*u. Does 27 divide j(-2)?
True
Let h = 447 + 3. Is 45 a factor of h?
True
Let t = -2 + 5. Let y be (-2)/6 + 7/t. Suppose 3*j = y*j + 30. Is j a multiple of 10?
True
Let s = 298 - 66. Is (s/(-145))/((-16)/15 - -1) a multiple of 10?
False
Suppose 0 = 8*y - 3*y. Is 5 a factor of 4*(2/1 + y)?
False
Let z be (72/16)/((-2)/(-8)). Suppose 0 = -3*c - 3*x + 27, 2*c - z = -4*x + 2. Does 4 divide (c + -4)/(2/4)?
True
Does 11 divide (-2 + -3)*20691/(-45)?
True
Let h(v) = -7*v + 21. Does 9 divide h(-10)?
False
Let g(h) = -h**2 + 21*h - 33. Let b be g(19). Suppose b*z = 152 + 78. Is 16 a factor of z?
False
Suppose -5*z = 5*u - 2925 - 25680, -5*z + 11433 = 2*u. Does 53 divide u?
True
Let t(y) = 2*y**3 + 2*y**2 - 2*y + 2. Is t(3) a multiple of 37?
False
Let j(f) = -f**2 - f - 13. Let v(w) = w - 1. Let p(s) = -j(s) + 4*v(s). Does 2 divide p(-6)?
False
Suppose -5*b + o - 78 = 0, -o = -5*b + 3*o - 72. Let y be 2/4 + 296/b. Is 10 a factor of ((-6)/y)/(1/78)?
False
Suppose 5*x + 4*v - 326 = 0, 4*x + x - 335 = 5*v. Suppose -5*d + x = d. Is d a multiple of 2?
False
Suppose 4*v - 4*q = 1236, -3*q = 3*v - 5*v + 619. Is 22 a factor of v?
True
Let h be (-1 + 2)*(-21 + 8). Let r(v) = v**3 + 13*v**2 - 2*v + 10. Is 9 a factor of r(h)?
True
Let o(i) = 2*i + 53. Let l be (-8)/(-2)*108/(-16). Let y = -27 - l. Is o(y) a multiple of 11?
False
Suppose 2*n + 9 = -2*a + 5*n, -a - 9 = -3*n. Let q(s) = -s**2 + s + 14. Let w be q(0). Suppose -v + 14 = -4*u, v + 4*u - w = -a*u. Does 14 divide v?
True
Is 3*(-2)/12*8 - -1674 a multiple of 10?
True
Let k(a) be the first derivative of a**5/20 + a**4/3 - 5*a**3/6 - a**2 - a - 3. Let r(v) be the first derivative of k(v). Is 9 a factor of r(-4)?
True
Let k(s) = -s**3 + 4*s**2 + 2*s - 8. Let h be k(4). Is 6 a factor of 2291/29 + (0 - h)?
False
Suppose -17 + 2 = -3*s, -2*d = 2*s - 124. Let a = d + -21. Is a a multiple of 18?
True
Suppose 15*w = 3*w + 9180. Does 30 divide w?
False
Let a be (-13)/(-2)*6 + -3. Suppose 9*h = 5*h - b + a, -4*b = -3*h + 46. Is 4 a factor of 82/h - 2/10?
True
Let h = -9 - -18. Let n be ((-3)/h)/((-2)/114). Let p = 5 + n. Is p a multiple of 8?
True
Suppose -f - 3 = 5*t, -4*f + 0 = -3*t - 11. Let y = f + 0. Suppose 53 = r - 3*k, y*r + r - 3*k = 141. Does 22 divide r?
True
Let l(u) = 5*u**3 + 10*u**2 - 7*u - 12. Let a(k) = 4*k**3 + 9*k**2 - 6*k - 11. Let w(t) = 4*a(t) - 3*l(t). Let y be w(-5). Let h = y + -11. Is 7 a factor of h?
True
Let w(j) = -j**3 + 11*j**2 - 9*j - 4. Let i be w(10). Suppose 3*b - 