de v?
True
Suppose 31*y + 256 = 33*y. Is y a multiple of 21?
False
Let w(u) be the second derivative of u**4/24 + 8*u**3/3 - u**2 - 2*u. Let x(p) be the first derivative of w(p). Does 16 divide x(0)?
True
Let g(o) = 2*o**2 - 14*o + 23. Is g(8) a multiple of 12?
False
Suppose -12 = -f - 2*f, 48 = 2*v - 3*f. Let y = v - 7. Does 7 divide y?
False
Suppose 2*m - 36 = -m. Let w = m + -8. Is w a multiple of 3?
False
Suppose 4*l + 228 = l. Is 19 a factor of 4 + (-3 - l) + -1?
True
Suppose -6 - 10 = -4*i - r, -8 = -2*i + r. Suppose -i*d = d - 150. Does 15 divide -1 + (2 - 1) + d?
True
Let l be -2 + 1 + -3 + 6. Is 2 a factor of (l - 3)/(1/(-6))?
True
Let f = -3 - -1. Let t = f - -5. Suppose 0*l - l = -t. Is l a multiple of 2?
False
Suppose 3 = -2*k - 2*m - 1, 3*k = 2*m - 11. Is 581/7 + k/1 a multiple of 16?
True
Does 67 divide 1*20*(240/25 + -4)?
False
Suppose 23 + 13 = -4*s. Is (-1 - 0)/(s/90) a multiple of 10?
True
Suppose 5*p + 2*f - 3 = -27, -4*f = -2*p. Let z = 2 + -9. Let b = p - z. Is 3 a factor of b?
True
Let v = 176 + 85. Suppose -2*a = a - v. Is 15 a factor of a?
False
Let m(k) = -k**2 - 8*k + 11. Let u be m(-9). Is (-724)/(-20) + u/(-10) a multiple of 12?
True
Suppose -b + 4 + 7 = -3*a, -2*b = -a - 42. Is 22 a factor of b?
False
Suppose -3*s + 4 = -5. Suppose -o = -0*o - s. Suppose -n = 5*y - 82 - 51, -o*y = -4*n - 66. Does 13 divide y?
True
Does 11 divide (-34)/((-4)/(-3 + 5))?
False
Let l(v) = 29*v**2 + 3*v - 2. Is l(1) a multiple of 13?
False
Let m = 3 - 1. Let l = m - -4. Does 3 divide l?
True
Let i(k) = 29*k**3 - 2*k**2 + 2*k + 2. Does 9 divide i(2)?
False
Let p(b) = b**2 + 6*b - 4. Let s be p(-7). Suppose 46 = s*m + 4*u, 17 = -5*m + 3*u + 55. Is m a multiple of 3?
False
Suppose -4*b + 32 = -4. Let a = b + 18. Is 16 a factor of a?
False
Suppose -2*n + 3 + 3 = 0. Let l(p) = -p**2 - 6*p. Let i be l(-5). Suppose n*q = -2*m + 61, i*m - 90 = -q + 6*q. Is 14 a factor of m?
False
Let f be ((-14)/(-21))/(1/3). Suppose -o - 4*o = -v - 330, -2*o + 140 = -f*v. Is 27 a factor of o?
False
Suppose m = 3*u - 6*u + 27, -m - 4*u = -30. Is m a multiple of 6?
True
Let r = 5 - -40. Is 27 a factor of r?
False
Is ((-6)/3)/(-4 + (-292)/(-74)) a multiple of 37?
True
Is 14 a factor of (-3)/(-1)*(-49)/(-7)?
False
Let k(a) = -32*a + 92. Is 28 a factor of k(-10)?
False
Let j(w) = -w**3 - 6*w**2 + 2*w + 5. Does 10 divide j(-7)?
True
Suppose -m - 3*m + 4 = 0. Let w = -4 + m. Does 7 divide (-38)/w - 4/6?
False
Suppose -3*u - 2 = 1. Suppose 15 = -4*j + j. Let z = u - j. Does 2 divide z?
True
Suppose -44 + 9 = -3*s - q, -3*s + 15 = -3*q. Suppose -4*d + 18 = -s. Does 5 divide d?
False
Suppose 3*a + 2*y - 413 = -2*y, 131 = a - 2*y. Does 9 divide a?
True
Suppose -2*q = 5*s - 331, 3*q - 258 - 76 = -5*s. Is s a multiple of 13?
True
Let o(m) = 14*m**2 - 3*m + 13. Is 10 a factor of o(3)?
True
Suppose -4*f = -0*f - 220. Let q = f - 30. Does 24 divide q?
False
Does 11 divide -1 + (76*-1)/(-1)?
False
Suppose 2*q - 28 = -3*r, 0*r + 2*r - 14 = q. Let x = 12 - r. Does 3 divide x?
False
Suppose 5*j - 5*c = 230, 2*j - 23 - 89 = -3*c. Let i = -20 + j. Does 10 divide i?
True
Let n(v) be the first derivative of v**6/360 + v**5/20 + v**4/8 - 2*v**3/3 - 1. Let z(y) be the third derivative of n(y). Is 5 a factor of z(-7)?
True
Let w(i) = i**2 + 2*i + 3. Let y be w(-3). Let n(p) = p - 1. Does 3 divide n(y)?
False
Does 9 divide 4 + (-68)/18 + 2980/36?
False
Let c(k) = -2*k**3 + 15*k**2 + 2*k - 5. Is c(4) a multiple of 10?
False
Suppose 5 = -3*d - 16. Let x(s) = -s**3 - 7*s**2 - 3*s - 6. Is x(d) a multiple of 5?
True
Let y(b) = b**2 + 11*b + 3. Let a(c) = -c**2 - 11*c - 2. Let q(m) = 3*a(m) + 2*y(m). Is 15 a factor of q(-5)?
True
Let h(j) = 9*j + 27*j**2 - 4 - 11*j + 3. Let f(v) = v**3 + 7*v**2 + 5*v - 7. Let x be f(-6). Does 11 divide h(x)?
False
Suppose -3*w + 4*w + 5*h - 20 = 0, -2*w + 12 = 3*h. Suppose -3*p + 2*p - 3 = w. Let x(f) = -f**3 - f**2 + f. Does 5 divide x(p)?
True
Suppose -2*n + f + 353 = 0, -f + 497 = 3*n + 4*f. Is 12 a factor of n?
False
Let g(u) = 7*u**2 - 2 + 9*u - 2 - 4 - u**3. Let l be g(8). Suppose l = n - 5*n - 5*w + 61, 3*n + 3*w - 45 = 0. Is n a multiple of 7?
True
Suppose -5*f = -4*h + 23, f = -3*h - f. Let b(y) = 13*y**2 - 3*y + 3. Does 21 divide b(h)?
False
Let j be ((-8)/20)/((-2)/(-40)). Let t = j + 16. Is t a multiple of 8?
True
Let d = -3 - -6. Let z be (-1)/6 - 15/18. Is 8 a factor of (z + 19/3)*d?
True
Suppose 0 = -7*w + w + 180. Does 6 divide w?
True
Is 12 a factor of (39/15 + -3)*-30?
True
Let u(t) = 5*t - 4 + 0 + 1. Is u(5) a multiple of 22?
True
Let t(u) = -u**3 - 7*u**2 - 9*u + 1. Let v(b) = -b + 3. Let c be v(9). Is t(c) a multiple of 19?
True
Suppose 2*v - 2*q - 18 = -2*v, 3*q + 7 = v. Suppose -8*s = -v*s. Let l(h) = h + 13. Is 13 a factor of l(s)?
True
Let j = 11 - 8. Suppose -5*f + 411 = 3*o, j*o + 75 = f - 0*o. Is 22 a factor of f?
False
Suppose 2*b + 72 = -5*u, 3*u - 2*b + 0*b = -56. Let k = -10 - u. Is 3 a factor of k?
True
Let k = -4 - -26. Does 6 divide k?
False
Let d(h) = h + 10. Let c be d(-9). Does 14 divide (-2410)/(-40) - c/4?
False
Suppose r = -r - 6. Let c be (-8)/(3 + 11/r). Does 4 divide (c/5)/(2/10)?
True
Let v(u) = 8*u + 9. Is v(12) a multiple of 21?
True
Let n be ((-12)/(-15))/(4/10). Suppose 5*y + 137 = 4*u, u + y - 35 = n*y. Is u a multiple of 18?
False
Let h(s) be the second derivative of 0 + 2*s - 1/2*s**2 - 1/3*s**3. Is h(-6) a multiple of 11?
True
Let y(q) be the first derivative of q**4/4 - 5*q**3/3 - 2*q**2 - 7*q + 2. Let t be y(6). Suppose t = a, 3*f - 4*a = -2*f + 260. Is f a multiple of 28?
True
Let s = -11 - -14. Let z(j) = 2*j**2 + 3*j - 2. Does 8 divide z(s)?
False
Let y(f) = 6*f**3 - 3*f**2 + 4*f - 2. Let t be y(2). Suppose 5*h - 108 = t. Is h a multiple of 10?
True
Suppose 0 = 3*v - 80 + 20. Suppose -a = -0*a - v. Is 14 a factor of a?
False
Suppose 12 = 3*v - v. Is 18 a factor of v/27 - (-322)/9?
True
Let r(v) = 2*v**2 - 18*v + 39. Does 38 divide r(16)?
False
Suppose -4*z + 2*z = -204. Let q = z - 70. Is q a multiple of 16?
True
Let s(o) = o + 6. Let z be s(-10). Let r = 30 - z. Is 9 a factor of r?
False
Let t = -24 + 22. Let m(h) = 2 + 2*h**3 + h**2 - 5*h**3 + 2*h + 2*h**2. Does 17 divide m(t)?
True
Suppose -150 = -35*z + 30*z. Does 6 divide z?
True
Is 395/45 - 4/(-18) a multiple of 3?
True
Suppose -l + 15 = 3*x + 2*l, -19 = -4*x - 3*l. Suppose -25 = -5*m, 0 = x*i - 0*i + 2*m - 26. Is 3 a factor of i?
False
Let l be 2 - -1*(4 - -301). Suppose 4*f - f - 2*g = l, f - 5*g - 124 = 0. Is f a multiple of 25?
False
Suppose 3*j + 134 = 2*n, 312 = 5*n - j + 5*j. Does 16 divide n?
True
Let p = 9 + -23. Let u = p - -28. Does 9 divide u?
False
Suppose -2*y - 3*y = -280. Suppose -5*g + y = -g. Is 7 a factor of g?
True
Let x(o) = 3*o + 2. Let q(c) = c + 1. Let j(l) = 7*q(l) - 3*x(l). Let w be j(-2). Suppose 0 = w*v - 58 + 8. Does 10 divide v?
True
Suppose -5*c + 2*l = -58, 5*l + 44 + 11 = 5*c. Let i be (2/6)/((-4)/c). Let k = 9 - i. Is k a multiple of 5?
True
Let j = 231 + -163. Suppose 4*i - j = 2*i. Is i a multiple of 6?
False
Let q(h) be the first derivative of h**6/360 + h**5/30 - h**4/8 - h**3/3 + 1. Let a(j) be the third derivative of q(j). Is 9 a factor of a(2)?
True
Let i = 154 - 100. Let o = -7 + i. Does 23 divide o?
False
Let g(c) = -c**2 + 4*c - 5. Let k be g(2). Suppose 0*n = -2*n + 4. Does 3 divide -1 + -20*k/n?
True
Suppose 2*h - 29 = -3*y, -2*h + 2*y = -h - 4. Is -1 + (1 - -1) + h a multiple of 11?
True
Let n be -1 + 0 + 24/(-4). Let u = n - -10. Suppose -96 = -3*l - u*d, l + 2*l = d + 88. Does 9 divide l?
False
Is 73 + ((-12)/4 - -1) a multiple of 29?
False
Let a be 2/(-7) - (-69)/21. Let o be 2/a - 82/(-3). Suppose -3*p = 4*h - 27, o = 4*h - 5*p - 23. Does 9 divide h?
True
Let f = 24 - 65. Let h = f - -68. Is 16 a factor of h?
False
Let y = -180 - -282. Is 17 a factor of y?
True
Let a(d) = 4*d - 4. Suppose 2*k = -3*k + 15. Let y be a(k). Let j(z) = -z**2 + 10*z - 12. Does 4 divide j(y)?
True
Let m(i) = 2*i**3 + 21*i**2 - 7*i - 4. Let f = 7 - 1. Let k(v) = -v**3 - 11*v**2 + 3*v + 2. Let b(n) = f*m(n) + 11*k(n). Does 8 divide b(-6)?
True
Let u(c) = -c**3 - 10*c**2 - 9*c + 10. Let g be u(-9). Does 12 divide 183/15 - 2/g?
True
Let w(p) = -p**3 - 8*p**2 + 7*p. Does 9 divide w(-9)?
True
Does 3 divide (2/(-3))/(6/(-6