True
Suppose -h - 119 = -g, 5*g + 86 = -4*h + 636. Does 19 divide g?
True
Let c(o) = -o**3 + o**2 + 3*o + 1. Let v be c(3). Let k = 52 + v. Does 12 divide k?
False
Suppose -5*w - 32 = -3*w - 5*b, 4 = -b. Suppose -5*f = -168 - 17. Let s = w + f. Is 8 a factor of s?
False
Let r(k) = -2*k**2 - 9*k + 7. Let c be r(-11). Let g = c - -205. Is g a multiple of 14?
False
Does 28 divide -2 + 4 + 0 + (-26)/(-1)?
True
Let p be 1/(180/178 - 1). Let r = -55 + p. Is 11 a factor of r?
False
Let m(l) = 2*l**2 + l + 1. Let s(r) = -4*r**3 - r. Let k be s(1). Is m(k) a multiple of 23?
True
Suppose w - 15 = 3*r, -3*w - 3*r + 6 = r. Is (-1)/w + (-605)/(-30) a multiple of 20?
True
Let f = -86 - -241. Is f a multiple of 43?
False
Let f(k) = -3*k**3 - 3*k**2 + 3*k + 2. Let u(g) = 16*g**3 + 14*g**2 - 15*g - 11. Let m(l) = -11*f(l) - 2*u(l). Let i be ((-8)/10)/(5/25). Does 14 divide m(i)?
True
Let i = 46 + -954. Let x be i/(-8) - 2/(-4). Suppose -3*m + x = 4*l + 26, l + 116 = 5*m. Does 12 divide m?
True
Let a(m) be the first derivative of 5*m**2/2 - 2*m + 2. Let o be a(3). Let v = o - 9. Is v a multiple of 4?
True
Let m be 4/20 - 6/5. Does 10 divide -1 + (-5)/m*9?
False
Let g(v) = 10*v**3 - 2*v**2 + v. Let h be g(1). Let r = -6 + h. Is r a multiple of 3?
True
Let r be (3/(-6))/(1/(-4)). Suppose -r*z - g = -5*g + 4, -5*z + 3*g - 10 = 0. Let h = z + 5. Is 3 a factor of h?
True
Suppose -2*g + 18 = -2*y - 0, -3*y - 19 = -g. Suppose 0*m + g*m = 284. Is 14 a factor of m?
False
Let b(a) = 2*a - 7. Let o be b(5). Suppose s = -o*t + 21, -2*s - 27 = 4*t - 75. Is s a multiple of 15?
True
Suppose -4*o - 460 = -2*r, -3*r + 895 = r - 3*o. Is 11 a factor of r?
True
Let o = -4 + 9. Suppose o*j - 17 = 6*j. Let y = -11 - j. Is 5 a factor of y?
False
Let s(a) = -28*a**3 + a. Let h be s(-1). Is 9 a factor of ((-12)/(-18))/(1/h)?
True
Suppose -r = r - 22. Suppose -b = -3 + 1. Suppose r = i + b. Is i a multiple of 6?
False
Let a be 6 - (3 + (3 - 4)). Let n be (10 - a) + (-1 - 2). Is 9 a factor of (-8)/n*27/(-4)?
True
Suppose -5*p = 2*c - 155, 0 = -2*p - c + 2*c + 53. Is 3 a factor of p?
False
Is (-12)/18*3 + 80 a multiple of 6?
True
Suppose -3*u + 3 = -0*u. Let i be 1 + 1*(u + 0). Suppose 16 + i = t. Is 9 a factor of t?
True
Suppose -q + 3*q + 484 = 0. Is (6/2)/((-33)/q) a multiple of 22?
True
Let s be 226/12 - 2/(-12). Let o = 35 - s. Let b = o + -1. Does 15 divide b?
True
Let p = -17 + 19. Suppose p*z - 3*a = 31, -3*z - 5*a + 18 = -0*a. Is 9 a factor of z?
False
Suppose -3*d = -4*q + 20 - 3, -4 = -2*q. Let x be 3/(-6*d/12). Does 5 divide (-2)/x + (1 - -13)?
False
Let n = -61 - -171. Does 22 divide n?
True
Let g = 366 - 206. Is g a multiple of 30?
False
Suppose -4*m + 20 = m. Let f = 9 - m. Suppose 13 = -3*l - 4*a + 36, -f*l - a + 27 = 0. Is l a multiple of 4?
False
Let u = 74 - -28. Is 28 a factor of u?
False
Is (8/(-12))/(6/(-81)) even?
False
Suppose -255 = x - 4*x. Is x a multiple of 6?
False
Suppose 3*f + 8 = 29. Let x be 3 - ((-2)/2 + 1). Suppose -4*w + 5*c = -15 - f, -5*w + x*c = -34. Does 3 divide w?
False
Is 9 a factor of 66*(-4)/24*-3?
False
Let g = 7 + 0. Suppose 0 = 3*s + 5*a + g, -4*a - 4 - 1 = 3*s. Is 5 - 0/(0 - s) a multiple of 5?
True
Suppose 3*h - 28 = -b, -b + 18 + 4 = -3*h. Is b a multiple of 25?
True
Suppose 2*a = -l - 31 + 124, 0 = -2*a + 4*l + 68. Is a a multiple of 11?
True
Let y(d) be the second derivative of d**5/20 - d**4/4 - d**3/3 - 5*d**2/2 + d. Let a be y(4). Suppose -s = -a*s + 10. Is s even?
False
Suppose 0*g + 4*g = -4*o + 16, -3*o + 12 = -4*g. Does 20 divide 130*3/(30/o)?
False
Let i be (18/3)/3 + 44. Suppose -5*a - 11 = -x + i, -3*a + 25 = x. Is x a multiple of 10?
False
Suppose 1 = r - 3*b, -b - 2*b + 64 = 4*r. Is 2 a factor of r?
False
Suppose 4 = 2*b - 3*d - 2*d, 0 = -2*b - d + 4. Suppose -b*i + 0*i + 42 = 0. Does 7 divide i?
True
Let n(j) = j**3 - 6*j**2 + j + 3. Suppose 2*x - 6 = -i, -2*i - 3*x - 2 = -11. Suppose c - 26 = 4*r, 2*c + c - 3*r - 33 = i. Is n(c) a multiple of 3?
True
Suppose 2*w = -6*j + 4*j + 18, -2*j = 4*w - 18. Is j a multiple of 9?
True
Let m(d) = 334*d**3 + 2*d**2 - d - 1. Is m(1) a multiple of 33?
False
Suppose -4*n - 8 = -176. Does 14 divide n?
True
Suppose -15 = 2*f + 29. Is (-2 + 1)*(1 + f) a multiple of 10?
False
Let h(s) = -s**2 + 17*s - 1. Is h(14) a multiple of 9?
False
Let i be (5 + -5)/(0 + 2). Let j(c) = c + 16. Is 15 a factor of j(i)?
False
Let d(i) = -i + 22. Is d(5) a multiple of 6?
False
Let v = 3 + -1. Let d be v/(36/34 + -1). Suppose -d = -5*s + 3*s. Is 17 a factor of s?
True
Let b(y) = y. Let n be b(-5). Let u = 9 + n. Is (-10)/u*(-6)/3 a multiple of 3?
False
Suppose -1 - 3 = -h. Suppose 152 = h*c - 28. Let a = c + -30. Does 15 divide a?
True
Let i(x) = -14*x + 12. Does 41 divide i(-5)?
True
Suppose -2*r + r + 16 = 3*u, -2*r + 2*u = -64. Is r a multiple of 9?
False
Suppose 3*c + 2 = 3*q - 1, -3*q - 2 = 2*c. Let u = 1 + c. Suppose -2*t = -u*t - 14. Does 4 divide t?
False
Let a = 7 + -3. Suppose -a*y + 1 = 17. Is 7 a factor of (2/y)/((-2)/84)?
True
Let t(o) = 2 - 134*o**2 + 2*o + 137*o**2 - 6*o + 3*o**3. Does 10 divide t(2)?
True
Suppose 2*b = 5*g - 7, 4*b - 65 = -b - 4*g. Does 4 divide b?
False
Let h(o) = o**3 - o**2 + o + 4. Let x be h(0). Suppose 3*p - 3*l - 96 = -2*l, 5*p + x*l = 177. Suppose f = 3*f + 3*q - 21, -3*q = -f + p. Is f a multiple of 6?
True
Let j(k) be the first derivative of k**2/2 - k - 1. Let f be j(3). Suppose f*a - 2*x - 14 = 2*x, 2*a - 16 = 3*x. Is a a multiple of 11?
True
Let h(i) = 2*i - 4. Let q be h(3). Suppose -52 = y - q*y - 5*v, 0 = 2*y + 5*v - 109. Is y a multiple of 15?
False
Let n(o) = -13*o - 1. Let m be n(2). Let u = m - -63. Is 12 a factor of u?
True
Does 24 divide -195*(-1 + 4/6)?
False
Let d(i) = -i**2 + 9*i + 6. Does 2 divide d(9)?
True
Suppose 3*j + 21 = -9. Is (-278)/j + (-2)/(-10) a multiple of 11?
False
Let k = 14 - 8. Suppose -5*q + 0*t + t = -k, -4*q - 4*t = 0. Is (-2 + 2)/q - -24 a multiple of 12?
True
Suppose 0*w + 15 = 5*w. Suppose 0 = -w*t - 2*t + 70. Does 7 divide t?
True
Is (46/6)/(1/9) a multiple of 23?
True
Let y = 48 - 31. Let h = 32 - y. Does 5 divide h?
True
Let a = -4 + 6. Let i(d) = a*d + 2*d - 5 - 5. Is i(8) a multiple of 11?
True
Suppose -2 = -j - 4. Let p be (j - -4) + 1*2. Suppose 99 = p*w + 39. Does 11 divide w?
False
Let b = 10 + -6. Suppose -b*j - w - 156 = 0, -2*j = w + 94 - 18. Let t = j + 59. Does 7 divide t?
False
Suppose -2*g = -5*x - 35, 5*g + 2*x - 3 - 41 = 0. Suppose -5*m + g*m = 100. Is m a multiple of 10?
True
Let h = -12 + 5. Let t(o) = -2*o**3 + 4*o**2 + 3*o - 3. Let d be t(-2). Let l = d + h. Does 5 divide l?
False
Suppose 34 = -4*s + 2*n, -2*s + 4*n - 8 = 6*n. Let o = 23 + s. Is o a multiple of 16?
True
Suppose -8 = -0*j - 4*j. Suppose j*p + 2 = 3*p. Suppose 0*n = 4*n + p*v - 32, 2*v - 8 = 0. Is 4 a factor of n?
False
Let l = -3 - -23. Let x = l - 4. Is x a multiple of 13?
False
Let s = 14 - 29. Let d be 3*-2*s/6. Does 9 divide d/(-5) + (-13)/(-1)?
False
Let a(m) = m**2 + 7*m + 3. Is a(-12) a multiple of 15?
False
Let a(j) = -j**3 - 7*j**2 + 2. Let w be a(-7). Suppose -3*p + w*p + 10 = 2*o, -3*p + 51 = -o. Is 8 a factor of p?
True
Suppose -2*d - d + 2*y - 104 = 0, d + y + 28 = 0. Let l = 68 + d. Is l a multiple of 12?
True
Let t be (-260)/(-45) - 2/(-9). Let c = 24 - t. Let l = 30 - c. Is l a multiple of 8?
False
Suppose -5*j = -8*j + 255. Suppose 3*u + 16 = 7*u. Suppose -3*q = u*t - 8*t - 80, j = 3*q + t. Does 10 divide q?
False
Let h = -6 - -13. Suppose 2*z = 4*u - h*u + 80, u = -3*z + 22. Is u a multiple of 15?
False
Let a(c) = 4*c**2 + 4*c + 4. Let i be a(-3). Suppose t = 17 + i. Does 15 divide t?
True
Suppose 5*u - 70 = -0*u. Suppose 20 = o - u. Does 17 divide o?
True
Let o = 40 + -20. Is o a multiple of 5?
True
Suppose 0 = 3*p - 5*r - 16, -3*p + 7*p + r = 6. Suppose 3*g = 2*o + p*o - 24, -5*o - 5 = 5*g. Suppose -4*v = -o*v - 19. Is v a multiple of 8?
False
Let z(j) = j**3 + 3*j**2 - 4*j - 2. Let a be z(-3). Suppose -s - 4*s = 3*w - 110, -2*w = a. Suppose 0 = 2*y - 2, -y = u - 0*u - s. Is 24 a factor of u?
True
Suppose -222 = -2*g - 2*i, 2*g - 232 = -0*g - 4*i. Suppose -g = 3*c - 316. Does 37 divide c?
False
Let u(z) = 12*z - 28. Is 22 a factor of u(12)?
False
Is 14 a factor of ((-267)/(-2))/((-24)/(-32)) + 2?
False
Does 4 divide (