le of 16?
True
Let b = 101 - -147. Is b a multiple of 31?
True
Let s be 1/(0 + 2/(-6)). Is 12 a factor of 8/(-24) - 109/s?
True
Let q = 21 - 16. Is 2 a factor of q?
False
Suppose -3*z + 159 = -27. Is z a multiple of 31?
True
Suppose 2*v - 4 = 4*p, v - 4*p + 8 = 2*v. Suppose -x + v*r = r - 28, r = x - 36. Is 32 a factor of x?
False
Does 18 divide 1/((-1)/(-2)) + 71?
False
Suppose -5*w + 219 = -4*o - 10, 2*w - 2*o - 90 = 0. Does 13 divide w?
False
Suppose 0 = -q - 2*m, -m + 14 = -3*q - 0*m. Is (-4)/q - 2 - -5 even?
True
Let p(a) = 3*a**2 - 2*a. Is 4 a factor of p(-2)?
True
Let l(c) be the second derivative of -7/6*c**3 - 1/20*c**5 - 1/2*c**4 + 0 - 1/2*c**2 + c. Is l(-5) a multiple of 5?
False
Suppose -4*y + 196 = -2*y. Does 22 divide y?
False
Let l(f) = -f**3 - 6*f**2 - 8*f - 19. Is 43 a factor of l(-7)?
True
Let p(t) = t**2 + 4*t - 1. Let r be p(-4). Is 1/r + (17 - 0) a multiple of 16?
True
Let z(i) = 0 + 9*i - 6 + 6*i + 6*i. Let j be z(5). Suppose 0 = 4*g, -7*x + g + j = -4*x. Is x a multiple of 11?
True
Suppose 5*g + 4*h - 85 = -h, -5*h = -g - 13. Is 6 a factor of g?
True
Is 12 + -16 + 95 + 2 a multiple of 27?
False
Let s(c) = -c - 2. Let u be s(3). Is 12 a factor of ((-8)/u)/((-3)/(-45))?
True
Let c = 2 + 1. Suppose c*d = 7*d - 84. Is 10 a factor of d/(-7) + 26/2?
True
Let r(w) = 17*w**2 - 3*w - 4. Let d(a) = -17*a**2 + 2*a + 3. Let g(s) = -5*d(s) - 4*r(s). Does 16 divide g(-1)?
True
Suppose -3*h = h. Suppose -4*c = 5*x + 423, h = -3*x + 3*c + 69 - 312. Let w = x - -121. Is w a multiple of 19?
True
Let i be (15/(-6) + -1)*-2. Suppose 3*r = t - 1, -4*t - 10 = -i*r + 2*r. Is 3/r*(-8)/6 even?
True
Let y(s) = s**2 + 5*s. Let z(m) = -m. Let f be z(6). Let t be y(f). Let r = 17 - t. Is 11 a factor of r?
True
Suppose 8*v - 7*v - 32 = 0. Does 8 divide v?
True
Let m(c) = -c**3 - 9*c**2 - 25*c - 10. Does 7 divide m(-7)?
False
Let z(k) = 73*k**2 - 3*k + 2. Does 50 divide z(-2)?
True
Let y(r) = -r**2 - 13*r + 13. Let i be y(-15). Let w = i - -21. Does 2 divide w?
True
Let v(j) be the first derivative of -6*j**2 + 7*j - 2. Is 11 a factor of v(-4)?
True
Let n(p) = -p + 7. Let q be n(5). Suppose 5*d - 80 = a, -q = -4*d - a + 71. Is d a multiple of 7?
False
Does 11 divide ((48/(-15))/4)/(10/(-275))?
True
Let v = -28 + 44. Suppose 12*b = v*b - 180. Does 16 divide b?
False
Suppose -5*b + 26 = 1. Suppose b*w = w + 20. Is 5 a factor of w?
True
Suppose 4*b - 299 + 19 = 0. Is 12 a factor of b?
False
Let v = -133 - -189. Is v a multiple of 28?
True
Let w = 10 + -8. Suppose -y = -w*y + 43. Is y a multiple of 13?
False
Suppose 0 = -3*r + 13 - 4. Suppose 7 + 9 = 5*g - r*f, 3*g = 5*f + 16. Suppose -2*t - 4*u = -g - 12, -5*t = 5*u - 40. Does 3 divide t?
True
Suppose -3*i - 21 = -6*i - 4*c, 4*i - 4*c = 0. Let m(v) = -v**3 + 6*v**2 - 3. Does 8 divide m(i)?
True
Suppose 0 = 4*g - 6 - 74. Suppose -4*p - g = -2*l - 2*l, -5*p = 4*l - 20. Does 15 divide (15 - 1 - -1) + p?
True
Suppose -2*s = -3*s + 4. Let d be s/(8/(-6))*-1. Suppose -4*n + f + 37 = 0, -d*n = -f - f - 24. Is n a multiple of 10?
True
Suppose 4*j - 35 = -j. Let u = -7 + j. Does 4 divide (-1 - u)*(-6 - 5)?
False
Let m(v) = v**3 - 5*v**2 - 5*v - 4. Let c be m(7). Suppose k - 5*s - c = -k, -k - 5*s + 67 = 0. Is k a multiple of 16?
False
Let j be 10/(-20)*(1 - 83). Let o = j + -22. Does 19 divide o?
True
Let h = 4 - -68. Does 8 divide h?
True
Suppose -4*b = -2*d - 44 - 158, 5*b - 254 = 4*d. Is 4 a factor of (-160)/b*(-1 + -4)?
True
Suppose 4*c + 3 = -1. Let z be (1 + c + 1)*0. Suppose 4*n - r - 18 = z, 5*n + r + r = 16. Is n a multiple of 3?
False
Let n(c) = -7*c**3 + 2*c**2 + 2*c + 2. Is 31 a factor of n(-2)?
True
Let z = -53 - -38. Let v = 29 + z. Does 6 divide v?
False
Suppose -2*b = -r + 2, -3*r = -b - 43 + 17. Suppose 0 = -4*f + r + 110. Is f a multiple of 15?
True
Suppose 0 = h - 5*h - 80. Let z = -13 - h. Is 3 a factor of z?
False
Let t = -38 + 86. Let y(r) = r**2 + 3*r + 7. Let k be y(8). Let q = k - t. Is q a multiple of 19?
False
Let l be (-2)/5 + (-72)/20. Let c(j) = -3 - 11*j - 2 + 0*j. Is c(l) a multiple of 12?
False
Let p(q) = 103*q - 1. Let s be p(2). Suppose -5*a - 5 + s = 0. Is a a multiple of 14?
False
Let o(w) = -w**3 + 6*w**2 + 4*w - 9. Let a be o(6). Suppose -4*v - 3 + a = 0. Suppose -v*c + 37 + 11 = 0. Does 9 divide c?
False
Suppose -n + 2 = -5. Is n a multiple of 7?
True
Suppose -5*r - 222 = -52. Let k = r + 47. Does 13 divide k?
True
Let t(l) = l**2 - 5. Does 20 divide t(5)?
True
Let g = -70 - -121. Does 12 divide g?
False
Suppose -8*i - 130 = -2*t - 4*i, -62 = -t + i. Is t a multiple of 11?
False
Suppose -4*k - 2*z = 3*z - 308, -4*k - z + 292 = 0. Is k a multiple of 8?
True
Let z = -10 + 7. Is -3*(z + (-20)/12) a multiple of 4?
False
Let o(h) = h**2 - h - 4. Let r be o(0). Let y be (-3)/r + 207/12. Let p = 34 - y. Is p a multiple of 16?
True
Let i = 6 - 3. Suppose -5*b = 2*t - 40, -i*t + b = -7*t + 98. Is t a multiple of 14?
False
Let p = -7 + 9. Suppose 0 = -4*d + p*r + 86, -2*r + 19 = d - 0*d. Does 17 divide d?
False
Let t = -2 - 13. Let k = 24 + t. Is 9 a factor of k?
True
Let y(o) = o**3 + 3*o**2 + 1. Let l be y(-3). Suppose -u = -5*r - 23, 2*u - 2*r - l = -7*r. Does 3 divide u/2 + 0/(-1)?
False
Suppose -4*n = -10*n + 168. Does 3 divide n?
False
Suppose 9*l - 41 = 535. Is 6 a factor of l?
False
Suppose 0 = -5*v + 35. Does 7 divide v?
True
Let p be (-1)/(-1)*4 - 1. Suppose -p*k = -4*k + 8. Suppose k*b - 60 = 3*b. Is b a multiple of 6?
True
Suppose 0 = 3*x - w - 0*w - 114, x - 38 = 5*w. Let l = x - 23. Does 5 divide l?
True
Let q = -20 + 21. Is 2 a factor of 2/(-2) - (-6 + q)?
True
Suppose 5*w + 0*w = 5*f, 0 = 3*w - f. Suppose h + 3*t - 4 + 2 = 0, w = 4*h + t - 19. Suppose -h*r = -0*r - 230. Is 17 a factor of r?
False
Suppose -12 = -6*a + 2*a. Let g(d) = 7*d - a*d + d**2 + 1 - 2. Is 7 a factor of g(-6)?
False
Let r be -4 - -7 - (0 + 0). Suppose 3 = 3*y + 2*v - r, 0 = y + 4*v - 12. Let d = 40 + y. Is 16 a factor of d?
False
Is 64/1 - (-4 + 7 + -4) a multiple of 3?
False
Let u be ((-4)/(-10))/(2/10). Let s be 0/(3 + -7 + 2). Suppose 3*j = -5*w - s*w + 15, 5*j + u*w = 25. Is j a multiple of 4?
False
Suppose 2*x + 3 = 11. Is 2 a factor of x?
True
Suppose -f - g + 33 = 0, 2*f + 2*g + 46 = 4*f. Is f a multiple of 13?
False
Suppose 4*v = 5*d - 8*d + 561, 0 = -4*v. Let w = d - 124. Is w a multiple of 21?
True
Suppose 49 = 2*y + 3*y - 2*d, -3*d + 9 = 0. Suppose -q + y = -0*q. Suppose -29 - q = -5*w. Is w a multiple of 8?
True
Suppose 4*m - 27 + 7 = 0. Suppose k + 244 = m*k. Let d = k - 35. Is 10 a factor of d?
False
Let b(k) = k**3 - 6*k**2 - k - 5. Let l be b(5). Let g be 7/l - (-4)/(-5). Is 8 a factor of ((-48)/(-15))/(g/(-5))?
True
Suppose o = -3*v, 7*o - 22 = 2*o - 4*v. Is 2 a factor of o?
True
Let c be 14*6 - (2 - 3). Suppose 3 = 3*w - 2*w, 3*w = -4*m + c. Does 4 divide m?
False
Suppose 0 = 6*m - 2*m - 92. Suppose -a = -j - 6 + m, -4*a = -j + 14. Does 6 divide j?
True
Suppose -5*x = -37 - 3. Is x a multiple of 3?
False
Let a be 2 - (-5)/((-15)/1932). Let p = 1377 + a. Does 19 divide 2/(5/(p/6))?
False
Let i(w) = w**3 - 7*w**2 - 17*w - 14. Is 20 a factor of i(10)?
False
Let j be (0/3)/(-2) - -38. Suppose 4*x - 22 = j. Does 10 divide x?
False
Let c(v) be the third derivative of -65*v**4/24 + 2*v**3/3 + v**2. Let z be c(-4). Does 16 divide (-4)/(-14) + z/7?
False
Let d(v) = -7*v - 5. Does 4 divide d(-2)?
False
Suppose 31 - 2 = c. Let s = c + -16. Does 4 divide s?
False
Is (4/3)/(-2)*-18 a multiple of 3?
True
Suppose g - 32 = -5*u, 5*g + 5*u + 52 = 6*g. Does 19 divide g?
False
Is 2 a factor of (-2)/5 - (-77)/5?
False
Let t = 115 + -28. Does 9 divide t?
False
Suppose 1 + 4 = p. Suppose 0*u + 3*u = -p*k - 3, -4*u = -3*k - 25. Suppose 4*c + 37 = 5*b - 0*b, -2*b + u = 2*c. Is 5 a factor of b?
True
Let r(m) = 4*m + 2*m**3 - 4 + 2*m**3 - 2*m**3 - 4*m**2 - m**2. Is r(4) a multiple of 20?
True
Let s = 177 - 93. Does 28 divide s?
True
Suppose 0 = 4*g - 2 - 34. Suppose g*t - 20 = 4*t. Suppose -t*k + 15 = -33. Does 6 divide k?
True
Let n(l) = l**3 - 14*l**2 - 26*l + 36. Does 44 divide n(16)?
True
Let j(o) = o + 8. Let x(b) = b - 9. Let u be x(0). Let d = u + 17. Is 8 a factor of j(d)?
True
Suppose 5*f = 3 - 13. Does 12 divide ((-60)/35)/(f/14)?
True
Suppose -4*l = 5*b + 9, 18 = -l - 5*b - 3. Suppose -4*