
Is (4 - 0)/(-2) - -96 a multiple of 17?
False
Suppose -2*o - 5*c = o - 20, 0 = 5*c - 20. Suppose 0 = -o*i + i + 52. Let v = i - -75. Does 9 divide v?
False
Let w = 113 - 188. Let h = w - -105. Does 6 divide h?
True
Suppose 2*h - 26 = -2*m - 2*h, -m + 3*h = 2. Let b(f) = 3*f - 4. Is 6 a factor of b(m)?
False
Let v(z) = -73*z. Is 29 a factor of v(-2)?
False
Let h = -12 + 29. Does 3 divide h?
False
Let u = -31 + 83. Is u a multiple of 20?
False
Let l(w) = -w**3 + 9*w**2 - 9*w + 8. Let i be l(8). Suppose -q + 0*q + 12 = i. Is 4 a factor of q?
True
Suppose 0*u = -u + o + 26, 2*o - 20 = -u. Is 8 a factor of u?
True
Let n(k) = 13*k + 7. Let u be n(6). Suppose 0*p - 3*p = 3*g - 54, 4*p = -5*g + u. Is 6 a factor of g?
False
Suppose 9*u - 5*r = 4*u + 140, 2*r - 10 = 0. Does 33 divide u?
True
Let k = 10 - 6. Suppose k*x + 5*q - 3*q = 24, -2*x - 2*q + 14 = 0. Does 5 divide x?
True
Suppose -o - 4*o + 3*b = 0, -4*o = -5*b + 13. Suppose -5*j = -10 - 15. Suppose -j*k + s = -35, -2*s = 2*k + o*s + 13. Is 4 a factor of k?
False
Let q(z) = z**2 - 10*z + 1. Let s(t) = t**3 + 9*t**2 + 6*t - 5. Let c be s(-8). Let g be q(c). Is 7 a factor of (-2)/g - (-326)/12?
False
Let m(q) = 0*q**2 + 5*q + 1 + 0*q**2 - q + 2*q**2. Is 15 a factor of m(-6)?
False
Suppose -g = -2*g. Suppose g = 4*z - 20 - 20. Suppose 4*h + r = z, -4*h + 2*r + 3 = -1. Is 2 a factor of h?
True
Suppose 5*j - 8 = j. Suppose -i + 13 = j*y, 4*i + i - 4*y + 5 = 0. Does 13 divide (-2 + i)*-3 + 29?
True
Let r(m) = -m + 11. Let z be r(8). Suppose -z*i = -4*i + 2. Does 7 divide (2 - (9 - i))*-2?
False
Suppose 4*l - 60 = 2*l. Does 30 divide l?
True
Suppose -2*r = 6, -3*i + 0*i + 54 = -5*r. Let v = 23 - i. Is v a multiple of 5?
True
Let z = 117 - 113. Does 2 divide z?
True
Suppose 0 = -u + a - 2 + 62, 0 = -4*u + a + 255. Is u a multiple of 19?
False
Let v(j) = 11*j + 38. Is v(13) a multiple of 10?
False
Let a(y) be the first derivative of y**4/12 - y**3/2 + y**2/2 + 2*y - 3. Let c(u) be the first derivative of a(u). Does 11 divide c(5)?
True
Suppose 5*i + 92 = 477. Is 4 a factor of i?
False
Suppose -55*g + 24 = -53*g. Is 2 a factor of g?
True
Let a be (-90)/27*(-9 - 0). Let y = -16 + a. Is 14 a factor of y?
True
Is ((-4)/6)/((-2)/21) a multiple of 7?
True
Let p(l) = l + 2. Let s be p(-2). Let n = -12 - -29. Suppose y = -s*y + n. Is y a multiple of 17?
True
Suppose -3 = v, 0 = -2*d - 2*d + 5*v + 699. Does 44 divide d?
False
Let v(y) = y**2 + 8*y + 4. Let r be v(-8). Suppose 3*g = 5*p - 9, 0*p = 5*p - r*g - 12. Suppose p = -o + 5*o - 28. Is 7 a factor of o?
True
Suppose -s = -0*s - 3*k - 14, 5*k = 3*s - 30. Suppose 0 = -s*z - 25 + 135. Is 11 a factor of z?
True
Let v = 2 + 11. Is 8 a factor of v?
False
Let h be 4/8 + 10/4. Suppose -3*c + h = -2*c. Suppose -5*s + 17 = 5*y - 3*s, -c*y - 4*s - 1 = 0. Does 5 divide y?
True
Let j = 21 + 19. Does 10 divide j?
True
Let o = 85 - 30. Does 11 divide o?
True
Suppose -3*g = 2*v - 225, -2*g + 3*g = -3*v + 327. Let p = 158 - v. Suppose 3*r = -5*m + 214, -4*m - 3*r + p = -3*m. Does 14 divide m?
False
Let p(g) = -2*g + 3. Let z = -1 - -4. Let w be p(z). Is ((-4)/10)/(w/75) a multiple of 5?
True
Let v = -11 + 70. Does 9 divide v?
False
Suppose 0 = -n - 4*n + 10. Suppose -25 = -4*m - 3*f - n*f, f = -3. Does 5 divide m?
True
Let u(p) be the third derivative of p**6/120 + p**5/5 + p**4/3 - 13*p**3/6 - 5*p**2. Does 10 divide u(-11)?
True
Let w(v) = 3*v + 4*v + 5 - v**2 - v**3 - v. Is 9 a factor of w(-4)?
False
Suppose 0*b = 4*b - 312. Suppose 3*h - 3*r - b = 0, 49 - 123 = -3*h + 2*r. Is h a multiple of 22?
True
Suppose 6*t - 4*t = 2*v + 14, 5*t = -5*v - 85. Is v/(-3*3/24) a multiple of 16?
True
Let p(u) be the second derivative of u**4/6 - u**3/3 + 3*u**2 - u. Let l be p(4). Suppose q - l = -4*q. Is q a multiple of 3?
True
Suppose 5*g = 4*x + 13, -g + 2 + 5 = -3*x. Is 9*g*(2 + 1) a multiple of 16?
False
Let y = 0 - -12. Is y a multiple of 3?
True
Let q = -24 - -38. Does 5 divide q?
False
Let l(o) = 7*o - 2. Let r be l(-3). Let d = r - -4. Let y = d - -37. Does 9 divide y?
True
Let h = -7 + 7. Suppose -x + 28 = 3*c, h = -4*c + 3*c - 2*x + 11. Is c a multiple of 3?
True
Suppose 3*i - 5*i = -6. Is 2 a factor of i?
False
Suppose 2*n + n + k - 89 = 0, 2*n + 4*k = 56. Is 23 a factor of n?
False
Is 18 a factor of (-53424)/(-270) - 4/(-30)?
True
Let l be -1*1*(-24)/4. Suppose v = l + 30. Does 12 divide v?
True
Let o = -11 + 14. Suppose o*i + 2*c = 4*i - 53, -5*i + 5*c + 245 = 0. Is 12 a factor of i?
False
Let g(c) = -c - 53 - 15 + 2*c + c**2. Let s be g(0). Does 17 divide (s/6)/(24/(-36))?
True
Let o be (-1 + 0)/((-1)/(-7)). Let h = 100 + -93. Is (-54)/o + 2/h a multiple of 6?
False
Let w(h) be the second derivative of h**5/20 + 7*h**4/12 - 2*h**3/3 - h**2/2 - 5*h. Is w(-6) a multiple of 11?
False
Suppose -32 - 54 = w. Let v = -48 - w. Does 19 divide v?
True
Suppose -22*s + 32 = -18*s. Is s a multiple of 2?
True
Let b(o) = 3*o - 9. Let a be b(4). Suppose -5*j + 148 = 3*q + 15, a*j = q - 21. Is q a multiple of 12?
True
Let y(v) be the first derivative of 2*v**3/3 - v**2/2 - 3*v - 1. Does 15 divide y(4)?
False
Let p be 5/20 + 34/(-8). Is 6 a factor of (-135)/(-18) - 2/p?
False
Let v be (6*1)/((-15)/80). Is (4 + -5)/(2/v) a multiple of 16?
True
Let o be 1 + 5 + (1 - 2). Let b(h) = h - h**2 - h + 0*h + 7 + 5*h. Is 7 a factor of b(o)?
True
Is ((-6)/12)/(397/(-132) - -3) a multiple of 11?
True
Let v(y) = 13*y + 2. Let a be v(1). Let q = 7 + -15. Let u = a + q. Does 3 divide u?
False
Suppose 0 = -5*r + 2*y + 10, 3*y + 5 + 3 = 4*r. Let o(b) = 17*b + 3*b**r - 3*b**2 - 15*b + 4*b**2. Does 14 divide o(3)?
True
Let k = -15 + 49. Is k a multiple of 17?
True
Suppose -5*w - 4*i + 47 = 2, 4*w = 4*i + 72. Is w a multiple of 4?
False
Let j(c) be the third derivative of -7*c**6/240 - c**5/60 + c**4/8 - c**2. Let o(s) be the second derivative of j(s). Is 16 a factor of o(-2)?
False
Let v be (2/(-4))/(3/(-186)). Let o be (-2)/(-2)*(v - 0). Suppose 1 = -q + o. Is q a multiple of 12?
False
Let q(r) = -10*r + 5. Is 3 a factor of q(-4)?
True
Is 7 a factor of (6/(-9))/(((-4)/(-123))/(-4))?
False
Let f be 7 + (-2 - (1 - 0)). Let r = 22 - f. Does 6 divide r?
True
Let j(s) = s**2 + 6*s + 4. Let o be j(-6). Suppose -5*a - o*g = 25, -3*a - 3*g = -2*a + 16. Is 17 a factor of (2/5)/(a/(-50))?
False
Let v(a) = -a**3 - a**2 - a. Let h(z) = -9*z**2 + 8*z - 5. Let t(b) = h(b) - v(b). Is 6 a factor of t(7)?
False
Suppose -2*r - 4*o = o + 6, 4*r - 2*o - 12 = 0. Suppose -13 = -f - r*k, -2 = 5*k - 22. Is f a multiple of 5?
True
Suppose -z - 5*j + 15 = 0, z - j - 1 + 4 = 0. Suppose z = x - 6*x + 470. Suppose -4*a + x = -2*a. Does 16 divide a?
False
Let f = -34 - -28. Is 30 a factor of (-1436)/(-18) - f/27?
False
Suppose -2*m - 1 = 5. Is 12 a factor of (2/m)/((-6)/189)?
False
Let r = -179 - -495. Does 39 divide r?
False
Suppose 179 = 4*h - 5*x, -3*h - 90 = -5*h + 2*x. Suppose 13 = -3*i + h. Is 11 a factor of i?
True
Let s = 2 - 0. Let c(l) = -l**2 + l + 2*l**s + 5 - 3*l. Is 13 a factor of c(4)?
True
Is 6/(-3)*45/(-6) a multiple of 13?
False
Let f(x) = -x**2 - 13*x + 1. Let o be f(-12). Let u = 27 - o. Is 7 a factor of u?
True
Let y(v) be the second derivative of -v**4/6 - v**3/3 + v**2/2 + v. Let c be y(-2). Let h(n) = -n + 3. Does 4 divide h(c)?
False
Let p(n) = 8*n - 12. Does 39 divide p(15)?
False
Is 7 a factor of ((-2)/(-8))/(7/196)?
True
Let s(w) = -w**2 + w + 1. Let m be s(2). Let o be (1 - (1 + m))*2. Suppose -l = o*l - 9. Is 3 a factor of l?
True
Suppose -16 = -a - 3*d, -4*a - d + 19 = 2*d. Let i = a - -1. Suppose 5*v - 25 = 3*q - 0*q, 3*q + 11 = -i*v. Is v even?
True
Suppose 0 = -2*n + 5*h + 7 + 19, 0 = 4*n + 2*h - 52. Does 13 divide n?
True
Let j(l) = -5*l + 5. Does 6 divide j(-4)?
False
Let x = 50 - -54. Does 13 divide x?
True
Let u = -4 + 1. Let l = u + 29. Is l a multiple of 13?
True
Let j(b) = -1 + 0*b + 3*b + 3*b. Is 8 a factor of j(3)?
False
Is 354/9 + 2/(-6) a multiple of 8?
False
Let r(b) = 2*b - 10. Is r(8) a multiple of 3?
True
Suppose 5*p - f - 116 = 64, 3*p - 130 = 5*f. Is 7 a factor of p?
True
Let d = -11 - -14. Does 27 divide (4/d)/(4/216)?
False
Suppose 3*d - 24 = -4*x, -5*d + 14 = -4*x + 2*x. Is 3 a factor of d?
False
Suppose 4*a - 365 = -a. Does 20 divide a?
False
Let p = -2 - -2. Let r be 12*10 - (3 