 Suppose y + 2*a - 80 = -x*a, 0 = 2*y - 2*a - 140. Is 24 a factor of y?
True
Let g(w) = w**2 + 10*w + 14. Suppose 0 = 3*r - r + 22. Is g(r) a multiple of 25?
True
Let v = 39 + -2. Does 4 divide v?
False
Let h(g) be the first derivative of g**4/4 - 8*g**3/3 + 6*g - 2. Let n be h(8). Suppose 0 = -w + n + 6. Does 5 divide w?
False
Let u = 13 + -9. Suppose 0 = -u*p - 2*x - 18, 0 = 4*p - x + 5*x + 28. Let r = 23 + p. Is r a multiple of 9?
False
Suppose -2*w + 25 = 5*p - 0, 7 = -p + 2*w. Suppose -3*f + 29 = -2*g, 0 = -4*f + p*f + 2*g + 11. Is f a multiple of 3?
True
Let h = -12 - -8. Let x be h/(-6) + 43/3. Does 8 divide 0 + 0 + x + 1?
True
Let u(y) = 9*y + 1. Let q(o) = 10*o + 1. Let s(k) = -3*q(k) + 4*u(k). Let b be s(-1). Let n = 17 - b. Is n a multiple of 22?
True
Let w(z) be the third derivative of -z**4/24 + 7*z**3/6 - z**2. Let k be w(6). Is (k - -1) + (-69)/(-3) a multiple of 22?
False
Let z(p) = -p**2 + 7*p + 3. Let h be z(4). Is 58/15 + 2/h a multiple of 2?
True
Suppose 2*z - 58 - 188 = 0. Is z a multiple of 11?
False
Let n(w) = -5*w**2 + w - 3. Let h(b) = -5*b**2 - 3. Let c(y) = -5*h(y) + 4*n(y). Let l be c(-3). Suppose -3*g = -l + 3. Does 11 divide g?
True
Let a = 5 + -3. Suppose 26 = -a*n + 4*n. Is n a multiple of 5?
False
Let x = -158 + 99. Let q = 23 + x. Let w = 81 + q. Is w a multiple of 19?
False
Suppose -4*w - 207 = -5*d - 3*w, -76 = -2*d - 3*w. Is 13 a factor of d?
False
Let r = -27 + 46. Does 12 divide r?
False
Let u = -34 - -50. Is 3 a factor of u?
False
Let a = 23 + -19. Suppose 0 = -a*v + 7*v - 21. Is 5 a factor of v?
False
Let y(k) = -3*k + 7. Is 28 a factor of y(-7)?
True
Let u(n) = -n - 11. Let x be u(-14). Suppose -x*w = m - 4*w - 3, -4*w = -m - 9. Does 2 divide m?
False
Let k(g) be the second derivative of g**5/20 - g**4/4 - 5*g**3/6 + 2*g**2 + g. Let m be k(4). Suppose -y + 6 = -h + 24, m = -h + 4*y + 24. Does 16 divide h?
True
Suppose 4*x + 44 - 64 = 0. Is x a multiple of 2?
False
Suppose -5*g + 9 = -4*g. Is g a multiple of 3?
True
Suppose a - 36 = c + c, 94 = 3*a + c. Suppose y = 3*f + 24, f - 5*f = y + a. Let x = 17 + f. Is x a multiple of 4?
False
Suppose 2*u = 5*u. Suppose -t + 2 + 3 = u. Is 2 a factor of t?
False
Let w = -112 - -200. Is w a multiple of 22?
True
Let n be 3 - 0*3/(-6). Suppose 3*w = 4*w - n. Suppose -w*t + t + 67 = -d, 0 = -3*t + 5*d + 118. Is t a multiple of 21?
False
Suppose 0 = 6*m - 4*m - 88. Is 3 a factor of m?
False
Suppose -5*z - 3*j = 12, 4*z - 2*j + 3*j + 11 = 0. Does 11 divide 635/15 + (-2)/z?
False
Suppose 4 = -3*c + 10. Let m = c - 2. Let y(p) = p**2 + 6. Is 5 a factor of y(m)?
False
Let f = 563 + -327. Is 59 a factor of f?
True
Let f = 11 - 6. Let u(p) = -p**3 + 6*p**2 - 3*p - 1. Does 3 divide u(f)?
True
Is 31 a factor of (-30710)/(-90) + 4/(-18)?
True
Suppose -5*f = b - 40, 4 = 4*f - 3*f + b. Let t be -1 + f*4 - 1. Suppose -3*s = -4*s + t. Is s a multiple of 13?
False
Suppose 5*q + 3*z = 369, -5*q + z + 0*z = -357. Is 14 a factor of q?
False
Suppose 0 = 5*k - 389 - 41. Is 16 a factor of k?
False
Let a be (-909)/81 + (-2)/(-9). Let l = a - -23. Does 5 divide l?
False
Let p be 2 + (-247 - 2) + 1. Does 14 divide p*(-3 - (-16)/6)?
False
Let z(l) be the second derivative of 7/12*l**4 - 1/2*l**2 + 7/6*l**3 + 1/20*l**5 - 3*l + 0. Is 7 a factor of z(-5)?
True
Suppose -5*w = -10*w + 25. Is 31 a factor of (-5)/w + 38*2?
False
Let w = -13 + 17. Suppose 0 = w*c - 3*h - 167, 4*c - 157 = 3*h - 2*h. Is 11 a factor of c?
False
Let o(x) = -7 + 3 - 1 + 17*x. Is o(3) a multiple of 16?
False
Suppose 5*d = 3*q + 26, 3*d - 3*q + 16 = 4*d. Suppose -5*p - 2*a = 0, -18 = p - 4*a + 8*a. Let n = d - p. Is n a multiple of 2?
False
Let b(a) be the third derivative of a**6/120 - a**5/15 - 5*a**4/24 + a**3/2 + 2*a**2. Let h = 46 - 41. Is 2 a factor of b(h)?
False
Suppose 4*k - 50 = -5*q + 6*k, 5*k = -q + 37. Is (21/4)/(q/64) a multiple of 14?
True
Let i be (-8)/28 - (-88)/14. Let j be (i/(-2) - -2)*-3. Suppose -w - 2*r + 18 = -1, -3*w + j*r + 39 = 0. Is w a multiple of 15?
True
Let v be (1 + 6/(-9))*6. Let d be 530/15 - v/(-3). Suppose -t - 4*i = i - 39, t + 4*i - d = 0. Is t a multiple of 11?
False
Suppose -82 = -2*p - 2. Does 8 divide p?
True
Does 11 divide (2*3)/((-30)/(-495))?
True
Let b(j) = j + 2. Let p be b(4). Let o = p + 3. Suppose 2*f = 3*v - 14 - o, v - f - 7 = 0. Is 4 a factor of v?
False
Suppose 3*n + 75 = 5*n + 3*f, -12 = -4*f. Is n a multiple of 5?
False
Is 9 a factor of (904/(-20) - -2)*10/(-3)?
True
Let m(q) = 107*q**2 - 1. Does 33 divide m(1)?
False
Suppose 8*q = 5*q. Suppose q*j = j - 57. Is j a multiple of 11?
False
Let o(u) = u**2 + 3*u + 1. Let i be o(-4). Suppose i*c = -6 + 21. Suppose c*r + p = -r + 40, 75 = 5*r - 5*p. Is r a multiple of 11?
True
Does 12 divide 26/(-22) - -1 - 7200/(-396)?
False
Let q be -2 - 5/(20/72). Is 32/q*-5*13 a multiple of 29?
False
Is 40 a factor of (-24)/(-1)*60/18?
True
Let v be (-754)/7 - 2/7. Let s = -57 - v. Is s a multiple of 17?
True
Let v(k) = 3*k + 2. Let b be v(-3). Let t = 23 + b. Does 8 divide t?
True
Suppose r + 3*r = z - 18, 15 = 5*z - 5*r. Let k = 0 - z. Suppose 2*c - 3*i - 147 = -3*c, -5*i + 34 = k*c. Does 19 divide c?
False
Let k(u) = -u**3 + 7*u**2 + 7*u + 7. Let w be k(8). Let l be w/5 - (-31)/5. Let o = l - -42. Is o a multiple of 24?
True
Let x = 2 - -3. Does 4 divide x?
False
Let d = 10 - 4. Suppose -49 = -5*f + 2*y, 2*f - 5*y - 22 = d. Is (f/(-12))/(1/(-20)) a multiple of 15?
True
Let o be 1/4 + (-955)/(-20). Let u = o - 21. Does 20 divide u?
False
Suppose 6 = 2*r - 4. Does 4 divide 6 + r + (3 - 6)?
True
Suppose -15 = -3*u - 2*s, -4*u + 33 = -u - 4*s. Does 4 divide u?
False
Let y = -47 + 70. Is 15 a factor of y?
False
Let p be -1 - (0 - 9)/3. Is p*6/9*3 a multiple of 4?
True
Let g(j) = -2*j + 2. Let q be g(-2). Suppose -3*s + q + 27 = 0. Suppose 0 = -5*a - s + 71. Is 10 a factor of a?
False
Suppose 6 = -5*p - 114. Does 4 divide (-208)/p + 1/3?
False
Suppose 4*p = 3*p + 2*v + 39, 2*v = 0. Is p a multiple of 21?
False
Suppose 19 + 91 = 2*i. Is i a multiple of 11?
True
Let y be 0*(1 - (-9)/(-6)). Suppose y = 4*x - x - 6. Does 12 divide (-3 - -5)/(x/24)?
True
Let y = -4 + 4. Let h = y - -4. Is h a multiple of 4?
True
Suppose 4*z = -2*h + 6*z - 18, 18 = -4*h - 2*z. Suppose -7 = 5*x + 8. Does 2 divide 1 - h/(-3) - x?
True
Suppose 4*a - d - 29 - 112 = 0, 107 = 3*a - 2*d. Let g = -19 + a. Is g a multiple of 6?
False
Suppose 5*q + 0*z - 5*z = 950, -3*z = -q + 188. Is 33 a factor of q?
False
Let m(p) = -p**2 + p. Let f be m(-1). Let s be (-21)/(f*(-2)/(-12)). Let z = -37 + s. Is 10 a factor of z?
False
Is 10 a factor of -8*-1*16 + 4?
False
Let u be 87*(0 - 4/(-6)). Let k = -37 + u. Does 14 divide k?
False
Suppose 8 = -2*d + 28. Let h = -4 + d. Is h a multiple of 2?
True
Suppose 3*b + 36 = b. Let y be 13*3/(-2 - 1). Let d = y - b. Is d a multiple of 2?
False
Let w = 26 + -19. Suppose 0 = -w*a + 5*a + 120. Does 15 divide a?
True
Suppose 3*k + 15 = 3. Let a = 35 + -18. Let o = a + k. Does 6 divide o?
False
Suppose 0 + 2 = l. Suppose -l*q - 5 = -z, 3*q - 31 = -4*z - 0*q. Is ((-36)/(-10))/(z/35) a multiple of 6?
True
Let i(t) = -t**3 - 3*t**2 - t - 2. Let x be i(-3). Suppose 0 = 4*k - 0*k - 3*w + 9, -5*w - x = -4*k. Let s = k + 12. Is s a multiple of 3?
True
Suppose -5*p + 5 = -15. Suppose -p*t = -t - 66. Is t a multiple of 13?
False
Let w(d) = 3*d - 8. Suppose 46 = 3*x + 10. Is w(x) a multiple of 17?
False
Suppose 4*j - 14 = -2*m, 0 = 3*j + 5*m - 25 + 4. Suppose 0 = j*b - b - 23. Is b a multiple of 18?
False
Let o(i) = 14*i**2. Is 12 a factor of o(2)?
False
Let f(c) = 2*c**2 - 3*c - 4. Let l be f(4). Let s be l/7 - 10/35. Is 14 a factor of (17/s)/((-2)/(-4))?
False
Let o be 2/(-3) + 20/3. Suppose 5*y = o*y + 35. Let s = y + 69. Does 15 divide s?
False
Does 6 divide 59/5 + 4/20?
True
Suppose -3*i = -8*i + 5. Let v(g) = 25*g - 1. Does 14 divide v(i)?
False
Suppose 0 = -5*u + 2*o + 3 + 14, 3*o = 4*u - 8. Suppose -5*p - 71 = -3*r - 0*r, -2*r + 44 = -u*p. Is 10 a factor of r?
False
Let j be 2 - (-1 - -7 - 2). Let b(s) be the second derivative of s**4/3 - s**3/3 - s**2 - 5*s. Is 8 a factor of b(j)?
False
Does 8 divide (-2 - (-24)/15)*-90?
False
Let a be (-45 - -7)/(1 - -1). Let d = a - -25. Is 4 a factor of d?
False
Suppose 0 = 10*h - 695 - 485. Does 10 divid