6*v + 35 = -2*q, r*v = 4*q + 35. Suppose -3*i = -4*t - 25, -v*i + 63 + 2 = -2*t. Is i a multiple of 15?
True
Let y(a) = 3*a + 6. Suppose -4*n = -2*n - 4, 3*n = c. Is 12 a factor of y(c)?
True
Suppose 0 = v - 5*r + 2 + 41, -2*v = -5*r + 66. Suppose -t + 2*u - 30 = 0, -3*u - 3 = -t - 28. Let l = v - t. Is 6 a factor of l?
False
Suppose 3*l - 15 = 0, -g + 2*g = 2*l + 44. Suppose s + g = b, -5*b - 52 = -6*b - s. Is 14 a factor of b?
False
Let o(y) be the second derivative of -y**3/2 - y**2 + 3*y. Is o(-8) a multiple of 22?
True
Let u be (4/(-6))/((-3)/54). Let h(b) = -b**2 + 14*b + 10. Does 17 divide h(u)?
True
Suppose 0 = o - 2 - 0. Suppose g + o*g = 45. Does 15 divide g?
True
Let r(z) = 3*z**2 - 4*z + 2. Let y be r(2). Does 8 divide (-7)/(-3 + 15/y)?
False
Let q = -34 - -40. Does 2 divide q?
True
Let s(l) = 6*l - 3. Let q be s(5). Does 8 divide -3*q/(-2 + -1)?
False
Let j = 6 - 9. Does 3 divide 4*(-1 - 6/j)?
False
Let o(d) be the first derivative of d**4/4 + 2*d**3 - 3*d**2 - 6*d - 6. Is 14 a factor of o(-4)?
False
Suppose 3*o = -13 - 11. Let r be (-6)/8 - 6/o. Let d(z) = z**3 + z + 33. Is d(r) a multiple of 16?
False
Let m(w) = -w**3 - 13*w**2 + 7*w + 10. Does 27 divide m(-14)?
True
Let o = 53 + 7. Does 11 divide o?
False
Let l(o) = -9*o**3 - 8*o**2 + 17*o + 8. Let b(g) = 5*g**3 + 4*g**2 - 9*g - 4. Let t(v) = 7*b(v) + 4*l(v). Let a be t(-5). Suppose r - a = 18. Does 9 divide r?
False
Let v = 5 - 10. Suppose 4*k = -5*o + 59, 7*k = 4*k - o + 36. Let y = v + k. Is 4 a factor of y?
False
Suppose -5*s + 4*f = -40, f = 4*s - 2*s - 16. Suppose -8*l = -3*l + 5*g - 5, -3*l - 4*g = -s. Let p = l - -15. Is p a multiple of 11?
True
Let r = 16 - 7. Let m(x) = x**3 - 8*x**2 - 9*x + 10. Does 5 divide m(r)?
True
Let h be (-2)/6 - 21/(-9). Suppose -h*v + 45 = -39. Is v a multiple of 14?
True
Let s(m) be the first derivative of 7*m**4/4 + 2*m**3/3 + m**2 - 2*m - 2. Let h be s(2). Suppose -2*b + 14 = -5*j, 5*b + j - h = -2*j. Is b a multiple of 12?
True
Let x be 1 - (-2 + (-69)/(-3)). Suppose 0 = 6*n - 3*n - 102. Let c = x + n. Is 14 a factor of c?
True
Is 29 a factor of -1 + -1 + (88 - (-49)/7)?
False
Let k be 1/(3*2/12). Suppose k*m - 195 = -3*m. Is m a multiple of 12?
False
Let y = 67 - 39. Is 10 a factor of y?
False
Suppose g - 285 = -2*g. Suppose x = -3*t + g, -5 + 2 = 3*x. Is t a multiple of 16?
True
Let a(q) = -2*q**3 - 3*q**2 + 2*q + 4. Does 24 divide a(-3)?
False
Let r(v) = -3*v + 6 - 5*v**2 + 12*v**2 + v**3 - 1 + 8*v. Let b be r(-5). Does 9 divide 3 + -5 + -1 + b?
True
Suppose 0 = 2*y + r + 1 - 0, 0 = -y - 2*r - 2. Let l be 2/(-3) + (-56)/(-12). Let i = y + l. Is 2 a factor of i?
True
Suppose 0 = -5*u + 2*g + 110, u - 45 = -u + g. Is 10 a factor of u?
True
Suppose 0 = -5*i + 4 - 29. Let q = -5 - i. Suppose 4*f - 4*b - 52 = -3*b, q = -f + b + 16. Is f a multiple of 6?
True
Let c(o) = 5*o - 5. Let n(h) = 2 + 3*h - h - 1 - 3*h. Let w(y) = -2*c(y) - 9*n(y). Is w(-6) a multiple of 7?
True
Suppose 3*t - h = 5*t - 88, 0 = 5*t + 4*h - 214. Suppose z - 4*v - 41 = 0, -2*z - 3*v + 58 + t = 0. Does 17 divide z?
False
Let i = 9 + 72. Suppose i = 5*c - 84. Let j = 49 - c. Is j a multiple of 8?
True
Let d(p) = 15*p**2 + 3*p + 2. Let v be d(-1). Let o(y) = y**3 + y**2 - y. Let l be o(0). Suppose 5*z + v - 54 = l. Is 4 a factor of z?
True
Let b(o) = 3*o**3 - 3*o**2 - 3*o + 3. Does 14 divide b(3)?
False
Is ((-28)/8)/(-7)*(-1 - -23) a multiple of 11?
True
Suppose 0 = -2*l - 3*p + 146, -6 = -p - 4. Is 25 a factor of l?
False
Suppose 0 = -0*w + 6*w - 42. Is w a multiple of 2?
False
Suppose -3*l - 378 = -57. Let y = 159 + l. Suppose -2*g = -y - 2. Is 13 a factor of g?
False
Suppose 3*s - 5*a + 3*a - 418 = 0, -2*s + a = -279. Is 35 a factor of s?
True
Suppose -3*h = h - x - 46, x = -4*h + 50. Suppose 4*d = 20, -i - d = -h - 34. Is i a multiple of 15?
False
Let d = 42 + -25. Does 2 divide d?
False
Let s(q) = -q**3 - 6*q**2 - 6*q - 1. Let m be s(-5). Suppose -4*o = g - 27, -o + 3 = m*g - 45. Is g a multiple of 8?
False
Suppose w + 5*u = 24, 2*w + 20 = -3*w + 3*u. Let y be -3 - ((-18)/w + 2). Is 8 a factor of 2/((-3)/(y + -1))?
True
Let k be (42/(-15))/((-4)/(-20)). Let n = 23 + k. Does 9 divide n?
True
Let t(g) = -g**2 - 10*g - 11. Let m(a) = -a**3 - 3*a**2 + 4*a + 4. Let r be m(-3). Is 5 a factor of t(r)?
True
Suppose 0 = q - 6*q + 5*t + 600, 0 = -3*q - 4*t + 360. Is q a multiple of 12?
True
Suppose -z + 5*i = -28, -z + i + 12 = -0*z. Does 6 divide z?
False
Is (-1 - 0 - 0) + 9 even?
True
Suppose -24 = -q - 3*q. Does 6 divide q?
True
Let l be 2/(-4) + 9/2. Suppose 0 = -l*v + 24. Does 6 divide v?
True
Let o = 25 + -12. Suppose -o = -2*x + 21. Is 12 a factor of x?
False
Is 12/(-66) + 4 + 9/(-11) a multiple of 2?
False
Suppose w - 5*d + 15 = -0*w, -w = -2*d + 9. Let v(l) = 3 - 14*l + 21*l - 8*l. Is 4 a factor of v(w)?
True
Let n(f) = 2*f**2 - 14*f + 5. Let t be n(7). Suppose 5*r + t*l - 105 = 0, 11*r - 2*l = 6*r + 98. Is 20 a factor of r?
True
Suppose l = 3*l + 6. Let u(w) = 22*w**2 + 2*w. Let t be u(l). Suppose -h - 2*h + t = 0. Is 25 a factor of h?
False
Suppose 0*w = 3*w - 207. Is 23 a factor of w?
True
Suppose 4*b = -2*u + 398, -3*b - 2*u + 322 = 24. Suppose 5*a - b = 75. Suppose 4*c + 89 = 3*f, f - 3*c - a - 3 = 0. Does 8 divide f?
False
Let i = 75 + -48. Is i a multiple of 9?
True
Let b(z) = z**2 - 4*z + 5. Let y be b(3). Let w be 1/2 + 573/6. Suppose -4*x + 3*j = -w, x - y*j = 2*x - 35. Is 17 a factor of x?
False
Suppose -2*j - 42 - 1 = 5*n, -4*j + 2*n = 122. Let y = j - -41. Is 4 a factor of y?
True
Let r = -11 - -17. Suppose -r*c + 5*c + 5 = 0. Is c a multiple of 5?
True
Is 12 a factor of (4 - (-52)/(-7))*-21?
True
Let b = 252 - 172. Is 16 a factor of b?
True
Let x be ((-54)/15)/(-3)*5. Suppose 2*z + 20 = x*z. Suppose 2*u + z = 23. Is 9 a factor of u?
True
Let r = -2 - -3. Let l be 1*6 + 1/r. Let h(g) = 2*g. Is 14 a factor of h(l)?
True
Let b(u) be the second derivative of u**5/20 - 5*u**4/12 - u**3 + 3*u**2 + u. Let i be b(6). Is 3/i - 118/(-4) a multiple of 10?
True
Let t = 442 + -190. Is 9 a factor of t?
True
Suppose -2*f + 291 = f. Is f a multiple of 40?
False
Suppose -5*g + g = -8. Suppose g*s - 120 = -2*s. Is 15 a factor of s?
True
Suppose 2*u = 4*u - 6. Suppose -h + 1 = 0, -3*g - u*h = -14 - 7. Suppose f - g*f = -90. Is 6 a factor of f?
True
Suppose 152 = 4*a - 2*v, 0*a - 3*a + 3*v + 120 = 0. Is a a multiple of 10?
False
Suppose 4*x - 1 - 27 = 0. Suppose 3 = 2*d - i, -d = -5*i + 14 + x. Suppose -3*l + 4*g + 168 = -0*l, d*l = -5*g + 224. Is l a multiple of 25?
False
Is 24 a factor of ((-108)/15)/((-6)/40)?
True
Let n(r) = -2*r + 14. Is n(-6) a multiple of 9?
False
Suppose 0 = -4*y - 4*k + 372, -2*y - 3*k - 35 = -218. Is y a multiple of 17?
False
Let z = 55 - -89. Is 12 a factor of z?
True
Suppose -5*y - 63 = 17. Let o be (-4)/(-6) + y/6. Is 4 a factor of (2/o)/((-1)/4)?
True
Let n(l) = 4*l**3 - 1. Let r be n(1). Suppose 49 = 3*d + 4*a, -97 = -3*d + r*a - 13. Is 18 a factor of d?
False
Let v(k) = 11*k - 1. Does 10 divide v(1)?
True
Let c(t) = t**3 + 4*t**2 + 4*t + 6. Let u be c(-4). Let g be (-15 + 2)/(1/u). Suppose 0 = 7*x - 2*x - g. Does 9 divide x?
False
Let t(h) = 3*h**2 - h - 4. Is 16 a factor of t(-4)?
True
Let q = 13 + 8. Does 17 divide q?
False
Suppose -a - w + 3 = 0, -3*a + 2*w = w - 17. Let i(r) = r**3 - 5*r**2 + 2*r + 7. Is i(a) a multiple of 8?
False
Let m(g) = -g - 16 + 34 - 16*g**2 - 4*g**3 + 3*g**3. Does 17 divide m(-16)?
True
Is 11 a factor of ((-163)/(-2))/(9/18)?
False
Let i be 1/2*(-2 + 2). Let p = -1 + 6. Suppose v = -5*t + 40, -t + i*v + p*v + 8 = 0. Is 5 a factor of t?
False
Does 17 divide (-67)/(-2) - (-9)/18?
True
Suppose 0 = 2*y + 2 + 10. Does 23 divide (-232)/y + 2/6?
False
Does 5 divide 20 - 1 - 1*4?
True
Let h(w) be the third derivative of w**5/10 - 5*w**4/24 + w**3/2 - 6*w**2. Is 29 a factor of h(4)?
False
Suppose -34 = -4*r - 2. Suppose -5*y + 5 = -2*t, 3*y - t = -3*t + 19. Suppose d + 5*h - 54 = 0, r*d - 3*h = y*d + 214. Is 12 a factor of d?
False
Suppose -2*y = -5*y + 30. Does 3 divide y?
False
Let r(d) = 6 + d + 2*d**3 - 6*d**2 - 5*d**3 + 4*d**3. Let i(h) = -h**3 + 5*h**2 + 7*h. Let q be i(6). Does 6 divide r(q)?
True
Let s = -115 - -231. Does 10 divide s?
False
Suppose g = -73 + 222. Let r = g - 106. Is r a multiple of 17?
False