- 223 = -4*t, -3*t = -4*v + 162 + 35. Let c = -33 + v. Does 14 divide c?
True
Suppose -g = 2*g - 126. Is g a multiple of 7?
True
Let x = -16 + 10. Let c = 10 + x. Is -5*2/(-8)*c even?
False
Let n(s) = -s**2 - 5*s - 3. Let v be n(-3). Suppose 3*t = 145 + 71. Suppose -p + 2*f + t = v*p, -f = -3*p + 52. Is p a multiple of 8?
True
Let x(p) = p**3 - 6*p**2 - 3*p - 8. Let n be x(7). Suppose 5*y + 12 = 4*y. Let b = n + y. Is b a multiple of 5?
False
Suppose 7*z - 2*z - 442 = i, 2*z - 168 = -4*i. Suppose -3*x = -7*x + z. Is 7 a factor of x?
False
Suppose -7 - 5 = -4*u. Let f = u + -3. Suppose f = q - 6 - 2. Does 4 divide q?
True
Let q(n) = 74*n**3 - 2*n**2 + 2*n - 1. Let l be q(1). Suppose -3*z + l = -2. Does 9 divide z?
False
Suppose 0 = 4*l - 16, 0*z + 14 = -3*z + 5*l. Suppose 6 = z*x, -12 = -m + 2*x - 4*x. Is m a multiple of 6?
True
Let r = -245 - -390. Is 51 a factor of r?
False
Let v = 98 - 67. Is 5 a factor of v?
False
Let k(m) = -6*m + 9. Let l(n) = -13*n + 19. Let b(u) = 5*k(u) - 2*l(u). Suppose -5*i + 4 = 29. Is 8 a factor of b(i)?
False
Let y = 7 - 17. Is (-8)/(-20) - 156/y a multiple of 9?
False
Let n = 149 - 69. Is n a multiple of 12?
False
Let a be ((-4)/(-6))/((-10)/(-30)). Suppose -96 = -2*u - n, 4*n = a*n. Is 9 a factor of u?
False
Let l(d) be the first derivative of -7*d**3/6 - 5*d**2/2 - d + 2. Let c(a) be the first derivative of l(a). Does 15 divide c(-5)?
True
Does 9 divide ((-6)/(-7) + 0)/((-13)/(-819))?
True
Suppose 5*p + 8 = -b, 3*b + 21 + 3 = p. Let x = b + 1. Let a = x + 28. Is 8 a factor of a?
False
Suppose -372 = -4*x + p + 4*p, -2*x - 3*p = -164. Does 4 divide x?
True
Let h be (-2 - 8/4) + 4. Suppose -4*a + f + 354 = 3*f, 2*a - f - 187 = h. Does 23 divide a?
False
Let v(y) be the third derivative of -y**6/120 - y**5/30 + 2*y**3/3 + y**2. Does 13 divide v(-3)?
True
Suppose w - 2 = 0, -4*p + 2*w = -7 - 133. Does 18 divide p?
True
Let x = -40 + -2. Let q = x + 104. Does 16 divide q?
False
Let v(s) be the first derivative of -s**2/2 + s + 5. Is 7 a factor of v(-12)?
False
Let z = 100 - 22. Does 26 divide z?
True
Let f be (-35)/(-2) + (-5)/10. Let t(z) = 7*z - 5. Let i(j) = -20*j + 15. Let u(k) = f*t(k) + 6*i(k). Is 5 a factor of u(0)?
True
Suppose -5*p + 5*n = 165, -5*p + 3*n - 76 = 81. Let g = p + 85. Is g a multiple of 28?
True
Suppose -900 = -5*w + 4*a, 3*w - 657 = 2*a - 117. Suppose 4*t - w = -0*t. Suppose 3*c + 3 = t. Is 5 a factor of c?
False
Suppose -j + 4*p + 26 = 0, -5*j + 0*p - 3*p + 107 = 0. Does 11 divide j?
True
Let i be 3 - 3*2/(-3). Let q(t) = -t**3 + 7*t**2 - 6*t - 6. Is 12 a factor of q(i)?
False
Suppose 3*g - 8 = -4*a, -g - 5*a + 12 = 2. Let p(j) = j**2 - 6*j. Let q be p(-6). Suppose g = -5*f - q + 207. Does 17 divide f?
False
Is ((-50)/(-4))/((-1)/(-2)) a multiple of 4?
False
Suppose 5*l = -3*p + 4*l + 4, 2*p - 3*l = 10. Suppose -28 = -p*i + 14. Is 18 a factor of i?
False
Let f(z) = -z + 6. Let n be f(6). Suppose -3*x - 151 = -2*w, n*w - 2*x = -w + 78. Is w a multiple of 34?
True
Is -23 - -37 - (-2 + 1 + -2) even?
False
Suppose 0 = 3*f + n - 254, -5*f + 4*n + 220 = -209. Does 17 divide f?
True
Suppose -3*c + 4*n + 25 = -1, -2*c - 3*n + 23 = 0. Does 6 divide c?
False
Does 15 divide (-3 - (-174)/(-9))/((-1)/6)?
False
Suppose -t - 5 = -2*h, -h + 3*h - 10 = -4*t. Suppose 2*c = 4*c + h*k - 11, 0 = c + 3*k + 2. Is c a multiple of 12?
False
Let i = -21 + -21. Let g = i - -94. Does 30 divide g?
False
Suppose 0 = 5*w - 3*m - 25, -4*m = -2*w + 5*w - 44. Does 7 divide w?
False
Let d = -73 + 117. Does 5 divide d?
False
Let j(h) be the third derivative of h**5/30 - h**4/24 + h**3/6 + 2*h**2. Let q be j(3). Let n = q - -2. Is 9 a factor of n?
True
Does 35 divide (-398)/(-9) - 16/72?
False
Suppose 162 = 3*o - 2*f + 24, 5*f = 2*o - 81. Does 4 divide o?
True
Suppose 6*j - 377 = -2*g + j, 0 = -2*j + 2. Is g a multiple of 17?
False
Let o(q) be the second derivative of 5*q**3/6 + 2*q**2 - q. Is o(3) a multiple of 18?
False
Let g = 23 - 8. Is 3 a factor of g?
True
Let h = -2 - -6. Suppose -h*n + 10 = -2*n. Is n a multiple of 5?
True
Let u(f) be the first derivative of -f**4/2 - 5*f**3/3 - f**2/2 + 6*f - 5. Is u(-3) a multiple of 18?
True
Let j = 1 + 14. Does 11 divide j?
False
Let f be 93/33 + 4/22. Let j(q) = -f*q**2 + 6*q + 4*q**2 - 1 + 0. Is 5 a factor of j(-7)?
False
Let o(d) = 2*d**2 + 21*d + 4. Is 30 a factor of o(-14)?
False
Suppose -c + 5*c + 3*b - 141 = 0, 20 = -4*b. Is 13 a factor of c?
True
Let g(o) = -o**2 + 7*o - 8. Let z be g(4). Suppose -4*y + z*b = -12, -2*y + y + 28 = 4*b. Does 2 divide y?
True
Let d(c) = c - 4. Let l be d(7). Let v(b) = b + 4. Let f be v(l). Suppose -3*z + 20 = -s, -2*z + f*z - 5*s - 40 = 0. Is 6 a factor of z?
True
Suppose -4*x + 2 = -10, -4*x - 212 = -4*u. Let t = u + 40. Is 32 a factor of t?
True
Suppose 5*h = -q + 113, -h + 0*h = q - 117. Is 15 a factor of q?
False
Let q = 10 - -2. Is 5 a factor of q?
False
Let t(k) = -3*k**2 - k. Let v be t(2). Is 13 a factor of (-3 - v/4)*148?
False
Is (-16)/(-10) - 1 - 4128/(-20) a multiple of 44?
False
Let a be 0/((-2)/3*-3). Suppose -4*o - 3*t = -81, a = -o - 0*o + 5*t + 3. Does 9 divide o?
True
Suppose 0 = 2*i - 2 - 2. Is i a multiple of 2?
True
Let m be -2 + 18/1 + -2. Suppose 2*u - 3 = b, -3*b - 6 - 3 = -4*u. Let p = b + m. Is p a multiple of 11?
True
Suppose v = -0*v + 26. Let z = v + -14. Is z a multiple of 6?
True
Let u = 31 - 4. Suppose 3*q + u = -5*c + 3*c, 5*q + 25 = 0. Let n = c + 30. Does 12 divide n?
True
Suppose 4*y + 7 - 299 = 0. Is 14 a factor of y?
False
Let a(f) = 2*f - 2. Let k be a(3). Suppose -3*x + 4 = k*y, 2*x - y - 2 + 3 = 0. Suppose x = h + 2*h - 9. Is 3 a factor of h?
True
Let t be 45/20 + 4/(-16). Suppose -f = -n - 4*f + 7, -n = -t*f - 22. Does 6 divide n?
False
Suppose 258 + 190 = 14*o. Is o a multiple of 6?
False
Let y(v) = -v**3 - 3*v**2 + 5*v + 5. Let n be y(-4). Let a = 16 - n. Suppose -3*b - 2*b + a = 0. Is 2 a factor of b?
False
Is 26 a factor of (-6)/(-9)*(118 + -1)?
True
Let v = 0 + -5. Does 32 divide (32 - -2)*v/(-2)?
False
Let b(c) = -c + 11. Let x be b(5). Let u = x - -25. Is u a multiple of 12?
False
Let x = -13 - -31. Is x a multiple of 8?
False
Let v(l) = 6*l**2 + 3*l + 3. Suppose 2*s + 6 = -2. Let m be v(s). Suppose 2*y + d = 75, -4*y = -d - 72 - m. Is y a multiple of 13?
True
Suppose 4*g - 2*g = 6. Suppose -4*v + 3*v = -4*w - 2, g*w = 6. Does 10 divide v?
True
Let u(z) = -z - 1. Let w(i) = -i**3 + 8*i**2 - 6*i - 5. Let k be w(7). Let h be u(k). Let c = h + 9. Is c a multiple of 6?
True
Suppose -3*v = 2*l - v + 10, -2*v = -l - 2. Let h(y) = 2*y. Let o be h(l). Let g = 13 + o. Is 3 a factor of g?
False
Let f(p) = 2*p**2 - 5*p - 7. Let y be f(5). Is 10 a factor of (-86)/(-4) - y/(-12)?
False
Suppose z - 12 = 4*z. Let v = z + 23. Is v a multiple of 11?
False
Suppose 3*x + 3*u = 0, -11 - 1 = 2*x + 5*u. Suppose 2*q = 3*a + 35, 19 - 64 = -x*q + a. Does 3 divide 5/q + 42/4?
False
Suppose -3*g = -2*u + 45, -2*g = 4*u - g - 83. Is 14 a factor of u?
False
Let y = 0 + -1. Let s(z) = -17*z + 1. Let j be s(y). Suppose 0 = h + 4*c - 10, 3*h - 65 = 5*c - j. Is h a multiple of 7?
True
Let u(w) be the first derivative of w**3/3 + w**2/2 + 2*w + 6. Does 15 divide u(7)?
False
Suppose l - 90 = -2*j, 48 = -2*l - 2*j + 220. Let k = l - 11. Suppose -q + 60 = 2*q + 3*z, 4*q = 5*z + k. Does 9 divide q?
False
Does 3 divide ((-50)/15)/(3/(-9))?
False
Let g(m) = -m**3 + 4*m**2 + 6*m + 3. Is g(5) a multiple of 3?
False
Let n = 66 + -45. Is (-6)/n - 344/(-28) a multiple of 6?
True
Is 1/((-2)/(-6))*434/6 a multiple of 11?
False
Suppose 2*i = i + 24. Suppose -a = a - i. Is a a multiple of 6?
True
Suppose 4*m - 434 = -5*d, -m - 4*m = 5*d - 430. Is d a multiple of 18?
True
Let q(m) = m**2 + 2*m - 3. Let a be q(-3). Suppose -6*w + 2*w + 176 = a. Is w a multiple of 22?
True
Let l = 0 - -4. Let z = l - 3. Is z + 15 - (-2)/(-1) a multiple of 5?
False
Let v(b) = -2*b**3 + b - 1. Let n be v(2). Let g be 2 - -1*(-36)/3. Let h = g - n. Does 2 divide h?
False
Let h be ((-3 - -1) + -12)/(-2). Let z(i) be the first derivative of i**2 - 6*i + 3. Does 7 divide z(h)?
False
Let i be (8 - 6)/(1 - 0). Let s = 25 - i. Does 21 divide s?
False
Suppose s - 2*s = 20. Let h = s - -41. Is 7 a factor of h?
True
Let a(r) be the first derivative of r**4/4 + 5*r**3/3 