a factor of (15/4)/(4/s)?
False
Let z be -39 - (2 - (-1 - -1)). Let r be 2/(-4) - 131/(-2). Let q = z + r. Is q a multiple of 8?
True
Let d be 10/(-25) - 17/(-5). Suppose 5*s + 3 + 2 = 0, d*s = -2*p + 113. Suppose -6*i - 2*f + p = -2*i, 2*i - 38 = -4*f. Is 5 a factor of i?
False
Suppose -3*w = -76 - 8. Let c = w - -16. Let n = c - 22. Does 22 divide n?
True
Suppose -r + 2 = -0*r. Suppose a + 33 = -r*a. Let g(v) = -v**3 - 12*v**2 - 12*v + 4. Does 15 divide g(a)?
True
Let d = 5 - 5. Suppose 4*t + 4*u - 28 = d, -4*t - t + 3 = -3*u. Does 3 divide ((2 - t)*-5)/1?
False
Suppose -4*q + 2 = -4*x - 2, -2*q + 2 = 5*x. Suppose 0*l - l + 5 = x. Is l even?
False
Suppose 4*x - 14 = 5*i, 3*x - 2*i - 12 = i. Let z be ((-2)/3)/(x/(-18)). Is z/(4 - 2) - -18 a multiple of 10?
False
Let m(z) = 4*z - 5. Let a be m(6). Let l = 46 - a. Is l a multiple of 9?
True
Suppose -41*h = -36*h - 190. Is 38 a factor of h?
True
Let y = 30 + -9. Suppose 4*p + 3 = 11. Suppose p*d - 4*g = y + 23, -25 = -d + g. Is 14 a factor of d?
True
Suppose -10*s + 8*s + 382 = 5*i, 0 = 2*i + s - 153. Does 19 divide i?
True
Suppose -38 = 32*b - 34*b. Does 8 divide b?
False
Suppose i = 5, -4*i + 0*i + 20 = 2*l. Suppose l*x + 5*v = -2*x + 8, -x + 7 = 4*v. Does 11 divide (0 - x)*-2 - -24?
True
Let c = -14 + 53. Is c a multiple of 11?
False
Suppose 4*d + 0*a = 2*a + 12, -d = -4*a - 10. Suppose -4*g = 3*p - 71, -d*g + p = -3*g + 19. Is g a multiple of 4?
False
Let w(s) = s**3 - 2*s**2 + 6*s. Does 28 divide w(4)?
True
Is 10 a factor of -1*(-7 - -4) - 54/(-1)?
False
Suppose -5*o + 11 = -5*w - 14, 0 = -2*o + 4*w + 12. Suppose -o*a + 5*p = 8, -5*p = a - 9 - 14. Suppose -i = 3*v - a*i - 91, -2*i = 4. Does 20 divide v?
False
Let m be 3 - 21*(-8)/(-12). Let p = 0 - m. Is 9 a factor of p?
False
Suppose -5*r = 5*c - 4 - 26, 4*c = 2*r. Suppose -u = 5, 0 = c*i + 4*u - 21 - 105. Is 19 a factor of i?
False
Let z(x) = 4*x + 62. Does 7 divide z(8)?
False
Suppose -6*q + 0*q = -18. Does 7 divide 3*(2 + 1/q)?
True
Suppose 0 = c - 5*c - 72. Let s be c*(-5)/(10/8). Suppose -5*g + 0*u + u = -s, -2*g - 4*u + 42 = 0. Is 8 a factor of g?
False
Let o = 9 + -9. Let w be 0/2 + (17 - 1). Suppose 2*y - w = -o*y. Is y a multiple of 7?
False
Suppose 0 = b - 2 - 2. Suppose -3*n + n = -b. Suppose 4*v + n*x = 54, -2*x - 44 = -5*v + 1. Does 11 divide v?
True
Suppose 2 + 98 = -5*d. Suppose 46*r = 41*r + 25. Does 16 divide ((-39)/r)/(4/d)?
False
Suppose -12 = -5*m + 3*m. Let w(n) = 2*n**2 - 4*n - 8. Let o be w(m). Suppose -2*r + 2*a + 32 = 0, 0 = 5*r - r + 2*a - o. Does 12 divide r?
True
Suppose c + 12 = -2*c. Let j be (-5)/(1 - (-5)/c). Is (-8)/j + 114/10 a multiple of 11?
True
Does 3 divide ((-6)/(-4))/(6/(-8))*-5?
False
Suppose -2*f + 798 = 4*f. Is f a multiple of 19?
True
Let u be -3 + 18 + 3 + -6. Suppose 3*g = -u + 111. Does 13 divide g?
False
Let z = -11 - -16. Suppose a = 4*y - 58, -y - z*a = 3*y - 46. Does 6 divide y?
False
Suppose 0 = 3*f - x - 96, f + 32 = 2*f - 4*x. Let p = f - 13. Is 5 a factor of p?
False
Suppose 3*k + 5*g + 3 = 6*k, 5*k + 2*g = 5. Let t = 18 + k. Does 19 divide t?
True
Let d(j) = 9*j + 30. Is 15 a factor of d(10)?
True
Let c(b) = -b**3 + 8*b**2 - 8*b + 7. Let f = 14 + -9. Does 15 divide c(f)?
False
Suppose -5*v - 11 = 29. Is 2 a factor of (-27)/(-12) + 2/v?
True
Let z = -2 + 29. Suppose -z - 90 = -4*v + 5*s, -3*s - 38 = -v. Let c = v + 1. Is c a multiple of 12?
True
Let b be ((-4)/6)/((-6)/45). Let m(q) = -4*q**2 + 1 + q**3 + q + q + 0*q. Is m(b) a multiple of 18?
True
Let c(s) = 2*s - 1. Suppose -4*q - 4*m = 3 + 21, 6 = -3*q + 3*m. Let p be 22/4 - q/8. Is c(p) a multiple of 5?
False
Let q = 11 + -13. Is (q - -6)*1/2 a multiple of 2?
True
Suppose -4*b - 60 = -9*b. Is b a multiple of 12?
True
Suppose -2 = 5*l + 2*k + 4, 15 = -5*l - 5*k. Suppose 3*i - 2*g + g - 93 = 0, l = -5*i - 3*g + 169. Is 16 a factor of i?
True
Let o(b) = 5*b - 7. Does 13 divide o(6)?
False
Let k(z) = z**2 - 7*z + 8. Let p be k(9). Suppose 0 = -0*c + 3*c - 24. Does 6 divide p/4 - 4/c?
True
Suppose 267 + 621 = 6*g. Is 37 a factor of g?
True
Let h(n) = -6*n**3 - n**2 + 5*n + 3. Let z(i) = 2*i**3 - 2*i - 1. Let f(a) = 3*h(a) + 8*z(a). Is f(-3) a multiple of 10?
False
Suppose 3*w - z = 56, -4*w = -2*w + 4*z - 28. Is 6 a factor of w?
True
Let c = -1 - -1. Suppose o + 2*j + c*j - 60 = 0, -5*j = 3*o - 176. Let g = o - 25. Is g a multiple of 13?
False
Suppose 2*k + k = 195. Let s be (-1)/2 + k/(-10). Is (-2 + 1)*(1 + s) a multiple of 3?
True
Suppose a + 131 = 2*a. Is 24 a factor of a?
False
Suppose 2*j + 3*j = 15. Suppose -j*a - x + 4 = -6*x, 10 = 2*a + 4*x. Does 3 divide a?
True
Let a = -10 - -24. Is a a multiple of 8?
False
Let i be -2 - -1*2 - -2. Let u be 18 + -5 + i*1. Suppose -4*h + 13 = -u. Does 7 divide h?
True
Let o(x) = x**2 + 6*x + 5. Let c be o(-6). Suppose 74 = 4*a + a + 2*b, -a - c*b + 24 = 0. Suppose 0 = -h + a - 4. Does 10 divide h?
True
Suppose -250 = 7*o - 9*o. Does 35 divide o?
False
Suppose -5*z = -3*d - 75, 3*d - 19 = 2*z - 58. Does 19 divide (-8)/(z/3) + 48?
False
Suppose 0 = -z + 3*n - 2*n + 115, 9 = -3*n. Is 8 a factor of z?
True
Is 21 a factor of 3/(6/10)*(-672)/(-40)?
True
Suppose -3*p = 3*p. Suppose p*x + x - 7 = 0. Does 2 divide x?
False
Let w be (-35)/(-15) + 4/6. Let z = w + 6. Let a = z + -4. Is 3 a factor of a?
False
Suppose 3*o - s = 0, 0 = -7*o + 2*o + 3*s. Suppose o = 2*q - 8. Is 4 a factor of q?
True
Is 23 a factor of (193 - -1) + -2 + (-6)/(-2)?
False
Suppose 2*o = 3*o - 360. Suppose 6*w - o = 3*w. Suppose 5*n = 5*j + w, n = -2*n + 4*j + 72. Does 12 divide n?
True
Suppose 4*x - x = 15. Suppose -x*b = -0*b - 20. Suppose -b*n = -3*n - 24. Is 11 a factor of n?
False
Let q = -8 - -5. Let h(d) = -d**3 - 2*d**2 + d - 4. Is h(q) even?
True
Let c(s) = 2*s - 2. Let u be c(3). Let i = 3 + u. Let j(f) = f**2 - f - 6. Is 14 a factor of j(i)?
False
Let j = 96 + -35. Is j a multiple of 13?
False
Suppose 0 = -57*d + 51*d + 450. Is d a multiple of 4?
False
Let p(v) = -v**3 - 8*v**2 - 8*v. Is p(-7) a multiple of 3?
False
Let z(q) = 3*q**3 + 3*q**2 - 2*q + 1. Let g be z(3). Let o = -62 + g. Is o a multiple of 14?
False
Let h = -5 - -5. Suppose -3*t + h*t + 3*m = -66, m = -3*t + 74. Is t a multiple of 9?
False
Let g = 25 + -11. Is g a multiple of 13?
False
Let a be 3*5*32/24. Suppose q = 19 + a. Does 13 divide q?
True
Suppose -9 = -3*v - 3. Suppose -p + 62 = v*r, -5*r - 56 = -p - r. Does 15 divide p?
True
Let z(j) be the second derivative of j**6/360 + j**5/40 - 5*j**4/24 + j**3/6 - 3*j. Let p(n) be the second derivative of z(n). Is 5 a factor of p(-5)?
True
Let m(s) = s**3 + 10*s**2 + 13*s + 6. Does 28 divide m(-6)?
False
Suppose p - a = 1, 4*a + a + 15 = -5*p. Let n(q) = -12*q - 5. Let i(r) = -24*r - 11. Let w(m) = -6*i(m) + 13*n(m). Is 5 a factor of w(p)?
False
Suppose -408 = -s - 3*s. Is 21 a factor of s?
False
Let y = 0 + 2. Is 4 a factor of 23/y - (-3)/2?
False
Suppose -3*h + 3 = -4*h. Does 16 divide 8/24 + (-191)/h?
True
Let m(z) = -12*z**3 - 2*z**2 - 2*z - 1. Let v = 4 - 5. Is m(v) a multiple of 11?
True
Let b(y) = 5*y**2 + y + 2. Is b(2) a multiple of 12?
True
Suppose 5*x - 25 = -2*m, -m - 3*x + 15 = 2*m. Suppose m = -5*v + 26 + 49. Let g = 45 - v. Is 15 a factor of g?
True
Suppose d - 210 = -2*d. Is 29 a factor of d?
False
Let o(g) = -1 + 0 + 0*g - 5*g. Does 6 divide o(-2)?
False
Suppose 2*j + 159 = 5*o - 35, o - 5*j = 25. Does 3 divide o?
False
Let a = 14 + -11. Suppose 8*i = 5*i + a*z + 117, 4*i - 121 = -3*z. Is 11 a factor of i?
False
Let n be 2116/3 - (-14)/21. Let l be 2/(-9) + n/18. Let w = -9 + l. Is w a multiple of 15?
True
Let r = 4 - 1. Suppose l = r*l - 48. Is l a multiple of 12?
True
Let m be (-8)/36 + 11/9. Let b be (m - 17)*(-7)/2. Suppose 0*c = -4*c + b. Is 5 a factor of c?
False
Let q(u) = 2*u**2 - 8*u - 6. Suppose -2*i = -6*i + 24. Does 6 divide q(i)?
True
Suppose 0 = 4*t - 3*t + 18. Let k be ((-20)/(-12))/((-2)/t). Does 3 divide 10/(-2)*(-18)/k?
True
Suppose 3*y + 9 = -3. Is y*(-16 + (4 - 5)) a multiple of 17?
True
Let g be 3/2 + 2/(-4). Suppose -n + 5 = 0, 2*n - 22 = -5*q - 2. Let a = q + g. Is a a multiple of 3?
True
Let m(o) = 12*o**3 - 2*o**2 + 1. Suppose q + 7 = 2, -t - 15 = 5*q. Suppose 4*n + 5*j = 24, -5*n - 2*j + t = -3. Is 7 a factor of m(n)?
False
Suppose 0 = -2*z - 0 + 10. Suppose -