Is 2 - (-19 + f + 1) a multiple of 15?
False
Let d(z) = -4*z - 1. Let s be d(-2). Let q = s - 3. Is q a multiple of 2?
True
Is ((-40)/(-25))/((-2)/(-40)) a multiple of 5?
False
Let i(o) = -o**3 - 5*o**2 - 2*o. Let s be i(-3). Let h = s - -20. Suppose 29 = n + 5*k, -2*k - h = -n - 0. Is n a multiple of 11?
False
Let o(d) = d**3 + d**2 + d + 12. Let x be o(0). Suppose -2*z + 40 = 3*z. Suppose 4*r + x = z*r. Is 3 a factor of r?
True
Suppose 5*s + 30 = 2*s. Let d = -9 - s. Is 2 - (0 + d) - -17 a multiple of 6?
True
Suppose -2*s + 18 + 8 = 0. Let d = -8 + s. Let x(l) = 5*l - 1. Is 12 a factor of x(d)?
True
Suppose 0 = -3*q + q. Let f(s) = -s**2 - s + 13. Let j be f(q). Let a = j + -9. Is 4 a factor of a?
True
Let a(p) = -p**3 + p**2 - 3*p + 120. Is a(0) a multiple of 12?
True
Let y be 5 + 0 + -2 - 0. Suppose -g + 3*q = -4 - 26, -4*q + 116 = y*g. Is g a multiple of 18?
True
Suppose -5*l - 14 = -5*p + 11, -4*l - 2 = 5*p. Let v = p - 2. Suppose v = 5*g - 16 - 19. Is g a multiple of 3?
False
Let l(u) = 5*u**3 - 2*u**2 - 2*u. Suppose 2*i + 3*i = 5*p - 50, -4*i - 24 = -2*p. Suppose 0 = d - 5*d + p. Is l(d) a multiple of 14?
True
Suppose -f = 2*f - 72. Is (-20)/6*f/(-1) a multiple of 20?
True
Let f = 48 + 15. Is 21 a factor of f?
True
Suppose -6*m + 47 = -19. Is 9 a factor of m?
False
Suppose 0*f + 5*f = 530. Suppose 0 = 3*k - 14 - f. Does 30 divide k?
False
Suppose -x - 2*x + 5*y - 132 = 0, 5*x + 239 = 2*y. Let q be (-1209)/(-15) - 6/(-15). Let r = x + q. Is r a multiple of 13?
False
Let k = -16 - -31. Let g(i) = -i + 11. Let a be g(9). Suppose -k = -a*f - 1. Does 3 divide f?
False
Does 4 divide (4/10)/(1/140)?
True
Let w(r) be the second derivative of -19*r**3/6 - 6*r. Does 19 divide w(-2)?
True
Let k(f) be the third derivative of f**6/120 + f**5/12 - f**4/3 - 4*f**3/3 + 2*f**2. Let g be k(-6). Suppose g*j + j = 5, -3*j + 163 = 5*r. Does 16 divide r?
True
Let s = 565 - 266. Is 13 a factor of s?
True
Let o = 11 + 9. Is 6 a factor of o?
False
Let p(x) = -2*x**2 + 9*x - 6. Let f be p(6). Suppose -9 = 2*d - 105. Let v = d + f. Is 12 a factor of v?
True
Let x(u) = 2*u**2 + 10*u + 7. Is x(-6) a multiple of 9?
False
Let m = -56 - -80. Is 9 a factor of m?
False
Let m = 49 - 13. Is m a multiple of 36?
True
Does 13 divide (830/(-15) - 1/6)*-2?
False
Suppose -c = 3*c - 20. Suppose -179 = -c*m + 21. Is 8 a factor of m?
True
Suppose z + 3*z = -v + 206, 3*v - 5*z - 703 = 0. Is v a multiple of 33?
False
Suppose -649 = -20*f + 2791. Does 11 divide f?
False
Suppose -19 + 83 = l. Is l a multiple of 16?
True
Let j(b) = 5*b**3 + 2*b**2 - 4*b + 6. Let l(w) = -6*w**3 - 2*w**2 + 5*w - 7. Let n(t) = -5*j(t) - 4*l(t). Is 3 a factor of n(-3)?
False
Let q = 15 + 8. Suppose 0 = -5*p - 40 + 230. Suppose 3*g = x + p, -q = -2*g - 0*x + 3*x. Is 6 a factor of g?
False
Does 13 divide 211/1 - 2 - (18 - 17)?
True
Let w(u) be the second derivative of -u**5/20 - u**4/12 + u**3 + 3*u**2 - 2*u. Is w(-4) a multiple of 13?
False
Suppose 2*f = m - 20, 3*m + 2*m - 2*f - 140 = 0. Is m a multiple of 15?
True
Suppose 528 = 4*l + 4*z - 8*z, 3*z = -3*l + 366. Is l a multiple of 47?
False
Let p = -225 - -352. Let l = p - 89. Is 10 a factor of l?
False
Let l(k) = -k + 4. Let u be 2/(-2) - 10/(-2). Let g be l(u). Suppose -2*o - 54 = -4*f, g*f - 57 = -2*f - 5*o. Is 8 a factor of f?
True
Let p(f) be the first derivative of 26*f**3/3 + f**2/2 - 2*f + 3. Let g be p(-2). Suppose 0*x = -5*x + 4*u + g, x + 2*u - 20 = 0. Is 10 a factor of x?
True
Let q = -65 + 92. Suppose -4*g + o + 42 = -o, o - q = -4*g. Is 4 a factor of g?
True
Let s(a) = 6 - 14 + 2*a + 3*a. Is s(8) a multiple of 15?
False
Let w(k) = -k - 1. Let g(h) = -3*h**2 + h. Let u be g(1). Let f be w(u). Is 7/14*(f + 61) a multiple of 20?
False
Let l(x) = x**2 + 8*x - 15. Does 3 divide l(-11)?
True
Let t = -86 - -28. Let b = -34 - t. Is 6 a factor of b?
True
Let m(r) be the first derivative of r**4/4 - 2*r**3 - 4*r**2 - 7*r - 5. Is 11 a factor of m(8)?
False
Let t(b) = -b + 5. Let w be t(4). Suppose 0*y - 17 = 3*r - y, 0 = 4*r + y + 11. Let h = w - r. Does 5 divide h?
True
Let j be (-2)/7 + 184/7. Suppose -c + 5 = 4*i, -4*c - j = i - 106. Does 21 divide c?
True
Let h(w) = 20*w - 9. Let r be h(6). Let g = 61 - r. Does 11 divide ((-4)/(-10))/((-1)/g)?
False
Let a = -7 - -21. Is a a multiple of 9?
False
Let g(v) = 2*v - 1. Let a be g(2). Suppose 21 = 4*j - a. Is j a multiple of 2?
True
Let i(f) = -12*f + 1. Let h be i(-2). Let g = -14 + h. Is 11 a factor of g?
True
Let h(o) = -3*o**3 + 6*o**2 + 12*o. Does 10 divide h(-4)?
True
Let r(s) = s**2 - 8*s - 1. Let b be r(8). Let m be 4 + (1 - 1) + b. Suppose 0 = m*a - 27 - 57. Is a a multiple of 12?
False
Suppose w + 4 - 60 = 0. Is 28 a factor of w?
True
Suppose 2*k = k + 2. Let x be k + -2 + -1 + 49. Suppose 5*r - x = r. Is 5 a factor of r?
False
Suppose -w + 6 = w. Suppose -w*x = -0*x. Let f = 11 + x. Does 4 divide f?
False
Let j = -18 - -13. Let f(a) = a + 8. Let w be f(j). Suppose 72 = 5*u - w*y, u + y = 3*u - 29. Is u a multiple of 9?
False
Let u = 59 + -12. Let q = 51 - 26. Let l = u - q. Is l a multiple of 11?
True
Let f(q) = q + 1. Let a(u) = 4*u + 12. Let t(o) = a(o) - 2*f(o). Is t(8) a multiple of 12?
False
Suppose 5*v - 2*y = 614, -6*v + v + 616 = -3*y. Does 13 divide v?
False
Let a(c) = c**2 + 2*c + 2. Is 6 a factor of a(5)?
False
Let r(x) = x + 30. Is r(20) a multiple of 16?
False
Let t = -1 + 4. Let m(l) = -t + 5 + 9*l - 3. Does 17 divide m(2)?
True
Let q = -84 - -183. Is 11 a factor of (-2)/3*q/(-6)?
True
Let r(v) = -7*v**3 + v**2. Let p be r(1). Let j = -12 - p. Let o(q) = q**2 + q - 2. Does 14 divide o(j)?
True
Let z = 116 + -54. Is 13 a factor of z?
False
Let c be (3 - (3 + 1))*38. Let s = -12 - c. Is 13 a factor of s?
True
Let s(c) be the first derivative of -c**3/3 - 2*c**2 - 1. Let f be s(-3). Suppose -j + 3*j = 4*u + 10, -3*u - 27 = -f*j. Is j a multiple of 8?
False
Let t be ((-4)/(-10))/(4/20). Suppose t*m = 1 - 11. Is (4/(-5))/(2/m) even?
True
Let m(v) = v**2 - 8*v - 3. Let p(u) = -2*u**2 + 12*u + 5. Let q(k) = 8*m(k) + 5*p(k). Let z be q(-3). Does 13 divide -1 + 27 + (-5 - z)?
True
Let s(w) = w**3 + 11*w**2 + 8*w - 8. Let m(i) = -i**2 - 16*i + 26. Let v be m(-18). Is s(v) a multiple of 12?
True
Suppose 2*y - 7*y + 45 = 0. Suppose y = 2*d + d. Is 3 a factor of d?
True
Let d be (-1 - -6) + -1 + -1. Suppose 4*j - 22 = 2*b, 0*j - 7 = -4*j - d*b. Suppose j*r = 50 + 22. Does 18 divide r?
True
Let d = -29 + 36. Let w(f) = 3*f**2 - 8*f - 4. Is 12 a factor of w(d)?
False
Suppose v - 24 = -5*w, 0*w = 2*w + 4*v - 24. Let a(l) = l**2 - 4. Does 8 divide a(w)?
False
Let j(w) = -2*w**3 + w**2 + w + 264. Does 33 divide j(0)?
True
Suppose 2*m = -3*x - m + 156, 0 = 2*x + m - 104. Does 26 divide x?
True
Let j(k) = -k**3 + k**2 + 4*k - 2. Let v be j(3). Let i = 5 + v. Let x = i + 10. Is 7 a factor of x?
True
Let t(a) = -a**2 + a + 1. Let h be t(-2). Let v = h - -22. Is 6 a factor of v?
False
Suppose -5*l = -322 + 82. Is 32 a factor of l?
False
Suppose -3*z + 63 = 4*h - h, -93 = -4*z - h. Is 24 a factor of z?
True
Let x = -11 - -19. Is 15 a factor of -68*(20/x + -3)?
False
Let m(s) = 35*s + 2. Let p(h) = -36*h - 2. Let t(k) = 4*m(k) + 5*p(k). Is 26 a factor of t(-2)?
True
Is 12 + 0/(-1 + -2) a multiple of 12?
True
Suppose 533 - 95 = 6*u. Is u a multiple of 14?
False
Suppose 3*y - 57 = 30. Let l = y - 10. Does 8 divide l?
False
Let r(q) = -7*q - 18. Is r(-15) a multiple of 29?
True
Let f(w) = -9*w + 35. Is 36 a factor of f(-8)?
False
Let p(c) = 13*c**2 - 2*c + 2. Let d be p(1). Suppose d*k = 8*k + 220. Is 9 a factor of k?
False
Let h = 4 - 1. Let j = h - 5. Let v = j - -17. Does 10 divide v?
False
Let z be 0*((-12)/9)/(-4). Suppose -4*m + 0*m + 120 = z. Suppose -3*p + 5*r = -4*p + m, 0 = -p + 3*r + 14. Is 10 a factor of p?
True
Suppose p = -2*v - 0*p + 5, 4*v + 3*p - 7 = 0. Suppose -2*a + 4*a - 3*t - 17 = 0, 0 = -v*a + 4*t + 32. Is 5 a factor of a?
False
Suppose -1 = -3*v + 4*c + 5, -3*v + 6 = 2*c. Suppose 0 = -v*o + 4*l + 28, 3*l - 19 = -o - 0*l. Is o a multiple of 6?
False
Let b = 55 - 33. Is 7 a factor of b?
False
Suppose 4*z = -f + 52, -5*f - 2*z + 188 + 0 = 0. Is f a multiple of 8?
False
Let u(d) = 2*d**2 - 4*d + 9. Let m be 3/(-12) + 75/12. Let c be u(m). Does 5 divide 2*(c/6 + -1)?
False
Let q be (