-2*m - 47, -29 = 3*p - 2*m. Is 26 a factor of z(p)?
False
Is 126 + (1 + 1 - 2) a multiple of 14?
True
Suppose -83 = 7*y - 692. Suppose -4*h = h - 10. Suppose -h*x + 3*j = -y, -5*x + j + 224 = -0*j. Is 14 a factor of x?
False
Let c(r) = -r**3 + 1. Let v(i) = -4*i**3 - 8*i**2 + 5*i + 5. Let s(l) = -5*c(l) + v(l). Suppose 3*n + 0*n = 24. Is s(n) a multiple of 7?
False
Suppose 6*p + 148 = 8*p. Suppose w - p = -32. Is w a multiple of 25?
False
Suppose n - 338 = -2*d, 0 = -2*n - d + 264 + 418. Does 12 divide n?
False
Let u = 12 + 91. Is u a multiple of 18?
False
Let r be (-8)/(-14) + 64/(-112). Let h(o) = o**3 + 6. Is 3 a factor of h(r)?
True
Let o(b) = 9*b**3 + 7*b**2 - 3*b + 11. Let q(w) = 5*w**3 + 3*w**2 - w + 5. Let a(v) = 6*o(v) - 11*q(v). Suppose 0 = -5*n + 42 - 2. Does 12 divide a(n)?
False
Let z(p) = -p**3 + p**2 + 2. Let a be z(0). Let v = -119 + 100. Let x = a - v. Does 21 divide x?
True
Suppose -125 - 305 = 2*t. Let s = -95 - t. Does 30 divide s?
True
Let k = 170 - 44. Suppose u + u = -k. Does 20 divide -40*(u/6)/7?
True
Suppose 0*f - 10 = -4*n - 2*f, -4*f = 4*n - 8. Let a be (3/3 - n) + -58. Let m = a - -104. Is 22 a factor of m?
True
Let g(k) = -k**2 - 8*k + 6. Let w be g(-8). Let m(d) = -9*d + 15. Let z(o) = 9*o - 16. Let j(x) = -4*m(x) - 3*z(x). Does 21 divide j(w)?
True
Let b(a) = -a**2 + a + 92. Let k be b(0). Suppose k = 3*l - 4*p, -2*l - 4*p + 56 = -8*p. Does 3 divide l?
True
Let f(j) be the third derivative of -j**6/120 - j**5/15 - j**4/12 - 17*j**3/6 + 3*j**2. Let g be f(-7). Is (g/40)/((-1)/(-5)) a multiple of 9?
True
Suppose -4250 + 1246 = -2*z. Is 68 a factor of z?
False
Let r(w) = 2*w**2 - 7*w - 52. Does 10 divide r(-5)?
False
Suppose 0*s + 2 = s. Suppose -80 = -4*j + s*j. Suppose -w + j = w. Is 4 a factor of w?
True
Suppose q = 20 + 1. Suppose -q = 4*d - d. Let w(s) = -2*s**3 - 14*s**2 - 8*s - 8. Does 13 divide w(d)?
False
Suppose 4 = -v - 0*v + k, -5*v + k = 4. Suppose -2*q - 120 - 80 = v. Let d = q - -176. Is d a multiple of 38?
True
Let p(w) = w**3 + 4*w**2 - 4*w + 5. Let y be p(-5). Suppose 24 = 5*d - r - 3*r, y = 5*d + 2*r - 18. Suppose 4*n - d = -5*l + 105, 0 = 2*n + 8. Does 9 divide l?
False
Suppose l + 6 = 3*a, l = -5*a - 2*l + 10. Suppose a*b + 3*x - 6*x + 23 = 0, 2*b = 4*x - 20. Is 16 a factor of (-12)/((-44)/b - 3)?
True
Suppose c = j + 103, 0 = -5*c + j - 190 + 721. Is c a multiple of 6?
False
Let s = -613 + 717. Is 13 a factor of s?
True
Suppose -9*b + 9079 - 1357 = 0. Suppose 5*j - b = -6*j. Is 4 a factor of j?
False
Let l(h) = 61*h**3 + 4*h**2 - 22*h + 3. Is 48 a factor of l(4)?
False
Let d = -4 - -20. Suppose 0*h + d = 2*h. Suppose 216 = h*c - 136. Is c a multiple of 7?
False
Let w be 5/2*12/10. Suppose -79 = -2*f + w*s, -5*s - 2 = 4*f - 171. Does 4 divide f*(2 + -1) - 3?
False
Let c(j) = -4*j**2 + 5*j + 1. Let w(b) = 9*b**2 - 9*b - 2. Let f(q) = 5*c(q) + 3*w(q). Suppose -4*s - 6 - 10 = 0, 4*k - 32 = 4*s. Does 18 divide f(k)?
False
Let o = 28 + 0. Let i = o - 11. Suppose s - 41 + i = 4*r, -4*s = 5*r - 33. Is s a multiple of 12?
True
Let h be 11/((-11)/(-3)) + -1 + -3. Is 9 a factor of (h - (-12)/8)*(112 + 2)?
False
Let t be (-9)/(-3) + (3 - -6). Does 5 divide (22/(-6))/((-4)/t)?
False
Let h = -40 + 13. Let g be -3 + 0 - (h - 0). Suppose t - 4*c = 3, -4*t - g = 5*c - 141. Is t a multiple of 23?
True
Is (11 - 16 - -4)*-4784 a multiple of 91?
False
Let r be 1*26 + (-3 - -2). Does 4 divide (-4)/8 - r/(-2)?
True
Let t = 4 + -8. Let f be (1 + -7)*t/6. Suppose h - 2*b = -f*h + 87, -2*h + 30 = -2*b. Is 11 a factor of h?
False
Suppose 2*u + 4*h - 290 = 0, -4*h = -4*u + 274 + 354. Is 9 a factor of u?
True
Let m = -8 + 10. Suppose -m*o - 7 = -c - 3*o, -5*o = -2*c. Suppose -3*l = c*y - 128, -3*l + 122 = 4*y + 19. Does 10 divide y?
False
Let l(k) = -5*k**3 + 5*k**2 + 10*k + 1. Suppose 6*h - h = -2*g + 17, -5*g + 32 = 2*h. Let a(c) = c**3 - c. Let p(q) = g*a(q) + l(q). Is 3 a factor of p(-3)?
False
Let j be ((-2)/(-2))/1*(-51)/(-3). Let z = 20 - j. Is z even?
False
Suppose 16 = -4*v, v = -c - 4*c + 8161. Is 17 a factor of c?
False
Suppose -60*g = -8107 - 1853. Is 5 a factor of g?
False
Let y be (-33)/(-9) - 4/(-12). Suppose -y*m = -s - 223, -4*m + 173 = -m + 5*s. Suppose 4*r - 56 = -4*d, d - 2*r + m = 5*d. Does 7 divide d?
True
Let d be -1 + 0 + -3 + 4. Suppose 4*h + d*h = 336. Is h a multiple of 21?
True
Suppose 5*x - 4*x = 4*a + 226, -2*x = 5*a - 504. Does 11 divide x?
True
Let s(g) = 20 + 2*g + 13*g**2 + 0*g + 8*g**3 - 7*g**3 + 3*g. Is 32 a factor of s(-6)?
False
Suppose 3*p - 14 = -2*t - 2*t, 4*t = 2*p + 24. Is -1 - ((-1 - 3)/p + -49) a multiple of 22?
False
Let m = -2670 - -5198. Does 32 divide m?
True
Let y = 11 - -8. Let h = 106 - y. Is 29 a factor of h?
True
Suppose 4*d - 9529 = 5*v, 0 = -d - 5*v + 1695 + 656. Is 54 a factor of d?
True
Suppose -u + 85 = -40. Suppose 13*v = 8*v + u. Does 7 divide v?
False
Let c(n) = -118*n**3 - 6*n**2 - 19*n - 64. Does 27 divide c(-3)?
False
Let p = -35 - -55. Let d(c) = -c**2 + 9*c + 3. Let o be d(8). Let r = p - o. Is 3 a factor of r?
True
Let m = 1273 + -891. Is 10 a factor of m?
False
Suppose 3*y = -6 + 12. Let h(f) = -f - 4 + y + 0 - 5*f. Is h(-5) a multiple of 7?
True
Let p = -17 - -6. Let l = 13 + p. Is ((-12)/9)/(l/(-96)) a multiple of 16?
True
Does 5 divide (-12)/(-66) - 23312/(-44)?
True
Let h(x) = -57 - 2*x + 90 + 55 - x**2. Does 37 divide h(0)?
False
Suppose f - 129 - 139 = 3*d, -5*f - d + 1372 = 0. Does 2 divide f?
True
Let f = -2867 + 727. Is f/(-30)*(-6)/(-4) a multiple of 15?
False
Let n be -2*(2 - (-477)/6). Let r = n - -322. Does 25 divide r?
False
Let p(s) = 252*s + 17. Is p(6) a multiple of 11?
True
Let d = 29 - 31. Does 12 divide (5 - 87)/d + -5?
True
Let s(n) = n**3 - 6*n**2 + 4*n - 4. Let l be s(6). Suppose -4*o = l, 0 = -2*j + 4*o - 8*o - 4. Does 2 divide j?
True
Let f be (3 - 0)/((-3)/(-2)). Suppose 2*w = -f*w + 64. Is 8 a factor of w?
True
Suppose w - 238 = -2*n, -4*n + 3*w + 2*w + 448 = 0. Let j be ((-15)/2)/((-30)/20). Suppose n = 4*b - 0*i + i, 120 = j*b - 4*i. Is 6 a factor of b?
False
Suppose -y + 3 = 2. Let s be -113 + -2 - (4 - y). Let r = s + 183. Does 24 divide r?
False
Suppose l + a = 6*l - 1326, 5*l + 3*a - 1342 = 0. Suppose 7*j - g - l = 2*j, 2*g + 55 = j. Does 15 divide j?
False
Let z(w) = -3*w**3 - 3*w**2 - w + 112. Let o(x) = -2*x**3 - 2*x**2 + 113. Let i(n) = 4*o(n) - 3*z(n). Does 29 divide i(0)?
True
Suppose -5*o + 3 = -17, l = 4*o - 91. Let t be 4/18 + l/(-27). Suppose -y - t*i + 1 = 0, 2 = -4*y + 4*i + 86. Is 11 a factor of y?
False
Let s(v) = -v**2 + 10*v + 6. Let f be s(10). Suppose -275 - 85 = -f*b. Does 20 divide b?
True
Suppose 0 = 4*i - n - 409, 5*i + 5*n - 236 - 269 = 0. Is 3 a factor of i?
True
Let u(c) = c**2 - 2*c + 1. Let a be u(1). Let t(w) = w**2 - w + 5. Let f be t(a). Suppose 3*d = -2*n + 157, -n = -f*n - 3*d + 305. Is 25 a factor of n?
False
Suppose -3*x - x + 524 = s, 0 = 3*s + 12. Suppose 0 = -2*j - 2*d + x, -5*j + 6*d = d - 360. Is 10 a factor of j?
False
Is 31 a factor of (3496/380)/((-4)/(-590))?
False
Suppose 394*g - 398*g = -164. Does 23 divide g?
False
Suppose -5*s = -6*s + 602. Let m be (-2)/(7/(s/4)). Let r = m - -86. Is r a multiple of 10?
False
Let u(s) = 4*s**2 + 3*s - 1. Let i = -15 + 17. Is u(i) a multiple of 21?
True
Suppose -2*s = s. Suppose s = -8*c + 13*c + 5*t - 200, -194 = -5*c + t. Is c a multiple of 7?
False
Suppose 2*f = -5*f + 329. Suppose 0 = 9*x - f + 11. Is 3 a factor of x?
False
Suppose 381 + 175 = 2*b - 2*o, 0 = -5*b + 2*o + 1375. Is b a multiple of 11?
False
Let r = 478 + -233. Suppose 0 = 6*y + 35 - r. Does 7 divide y?
True
Suppose -5*q + 727 + 637 = -2*d, d = 2*q - 546. Is q a multiple of 34?
True
Let k(f) = 3*f - 36. Let o be k(12). Suppose 99 = -3*d - 4*v + 433, o = -4*v - 8. Is d a multiple of 24?
False
Suppose t + j - 1226 = 0, -69*t + 65*t - 2*j + 4906 = 0. Is t a multiple of 13?
False
Let s be 4*1 + (-1 - 1). Does 10 divide 603/15 + s + (-11)/5?
True
Let q = 3 + 1. Suppose 0*g - 20 = -q*g. Suppose 0 = g*p - 24 - 76. Is p a multiple of 7?
False
Let w be 4/(-10) + 27/5. Let z(x) = -x**2 + 2*x - 1. Let b(t) = t**2 - t - 3. Let i(o) = -b(o) - 2*z(o). Is 6 a factor of i(w)?
False
Suppose -3*g = 3*o, 0 = 2*g - 0*o - 5*o + 7. Does 5 divide g/((-2)/12)*(-92)/(-69)?
False
Suppose 3*a - b