 be c(4). Is -5*(-7)/(m/(-64)) a multiple of 16?
True
Let h = 248 + 244. Suppose j - 7*j = -h. Is 47 a factor of j?
False
Suppose 0 = 95*j - 99*j + 4036. Is j a multiple of 17?
False
Let d = -23 + 25. Is 248/20 + d/(-5) a multiple of 12?
True
Let u(t) = -t**2 - t + 12. Let z be u(5). Is 3/(-6) - 711/z a multiple of 18?
False
Suppose 7*x - 5*m - 38 = 3*x, 3*m = -4*x + 54. Does 5 divide (x - 2)/((-7)/(-14))?
True
Let d(q) = q**2 + 11*q + 14. Let n be d(-10). Suppose y + m - 11 = n*y, 4*y - m + 15 = 0. Let i(s) = -7*s - 6. Is 5 a factor of i(y)?
False
Let o(b) = -25*b + 29*b - 19 - 15*b. Is o(-7) a multiple of 8?
False
Let f(u) = -u**3 - 15*u**2 + 12*u + 5. Suppose -i = -4*a, 9 = -2*a + 1. Does 23 divide f(i)?
True
Let f(m) = -m**3 + 7*m**2 - m + 10. Let y be f(7). Suppose -r = -0*r - y. Suppose o - 56 = -5*j - 0*o, j - 24 = r*o. Is 12 a factor of j?
True
Let w(c) = 2*c - 9. Let n be w(6). Suppose 5*i + 25 = 0, -6 = -2*q + n*i + 79. Does 12 divide 2/(5/(6*q))?
True
Let p = 17 + -12. Suppose -4*x - q + 538 = 0, q - 2*q = -p*x + 668. Let n = 25 + x. Does 32 divide n?
False
Suppose 5*t + 3 = -2. Let c(l) = -3*l**3 - l**2. Let v be c(t). Suppose v*d = -2*a - 0*d + 90, 229 = 5*a + d. Is 12 a factor of a?
False
Is 2340/3*6/5 a multiple of 13?
True
Let x = -7 - -13. Suppose x*j + j - 217 = 0. Does 3 divide j?
False
Let s(w) = 9*w**2 - w + 13. Does 6 divide s(-4)?
False
Let l(u) = -u**2 + 11*u + 3. Let a(i) = 2*i**2 + 8*i + 10. Let k be a(-4). Is 13 a factor of l(k)?
True
Let n = 38 + -33. Let b be (2 + n/(-2))*0. Suppose b = i - 5*s - 48, -4*i = -2*s - 0*s - 210. Does 14 divide i?
False
Let w(m) = -m**3 + 34*m**2 + 31*m - 118. Is w(34) a multiple of 40?
False
Let v be (-129)/(-21) + 5/(-35). Let s be (v/3)/(-2) - -535. Is 17 a factor of 2/3*s/4?
False
Suppose -2*r + 1058 + 2092 = -3*i, 3*r = 5*i + 4723. Does 26 divide r?
False
Let o(j) = -61*j - 34. Is 3 a factor of o(-3)?
False
Let y = -36 - -50. Let i = 15 - y. Is i - 5/((-15)/81) a multiple of 28?
True
Let v be (-2 + 4)/(1/5). Suppose s + 4*h = 25, 0*s + 3*s = h + v. Suppose -5*n + 23 = -3*f, 5*n - s = 4*n + f. Does 3 divide n?
False
Let m(h) = -2*h + 44 + 0*h - h - 20. Is m(6) even?
True
Suppose -9*n + 7*n = -4. Let r(f) = 3*f - 2. Let w(z) = -5*z + 5. Let u(k) = 9*r(k) + 4*w(k). Does 13 divide u(n)?
False
Let s = 655 - 331. Is 6 a factor of s?
True
Let d(f) = f - 3. Let p be d(-6). Let q = p - -11. Is (q/(-4))/(4/(-48)) a multiple of 3?
True
Let k(c) be the third derivative of 13*c**4/24 - 7*c**3/6 - 2*c**2. Does 15 divide k(4)?
True
Suppose -2*k + 2*h + 8 = 0, -4*k - 5*h = -k - 28. Let b be (24/(-36))/(2/k). Let s = b + 11. Is 9 a factor of s?
True
Suppose k + 3*f - 2 = 0, 3*k - 5*f - 7 = -1. Suppose -5*u + 7 = 2*g, -g - 4*u + 7 = k*g. Suppose -21 = -v + g. Is 4 a factor of v?
False
Let g(x) = 2 + 3*x**2 - 172*x**3 - 3*x**2 + 170*x**3. Does 4 divide g(-2)?
False
Let a(k) = -86*k - 231. Is a(-10) a multiple of 17?
True
Let d = -14 + 13. Is 9 a factor of 1/((-6)/(-48)) - d?
True
Suppose 191 = 9*t - 2104. Does 11 divide t?
False
Let i(s) = -s + 4. Let x be i(4). Suppose x*z + 3*z - 72 = 0. Suppose 3*b + b - z = -3*f, 33 = 5*b + 3*f. Does 7 divide b?
False
Suppose w - 5*x = -0*w + 158, 0 = -5*x - 5. Let f = w - 100. Is f a multiple of 4?
False
Is 628 - (-1)/(3 - 4) a multiple of 8?
False
Suppose 0 = -16*v + 664 + 296. Is v a multiple of 2?
True
Let g(p) = -p**3 + 4*p**2 + 6*p + 1. Let o = -15 + 20. Is 6 a factor of g(o)?
True
Let t(u) be the second derivative of u**5/10 - 5*u**4/8 - 3*u**3/2 - 8*u. Let s(m) be the second derivative of t(m). Is 10 a factor of s(7)?
False
Let y = -69 - -245. Is y a multiple of 16?
True
Let w(l) = 5*l - 2. Let q be w(0). Does 17 divide ((-1)/q)/(5*5/6050)?
False
Suppose -4*z + 9 = -55. Does 12 divide 128 + (3 + -6)/((-12)/z)?
True
Let r = 35 + -14. Let l = 24 - r. Suppose -v + 5*v - l*b = 106, -2*b = 2*v - 46. Is v a multiple of 10?
False
Let g be -1 - (-3 + 4) - 54. Let q = 94 + g. Suppose -2*c = -3*l + q - 95, 5*c - 190 = -2*l. Is 18 a factor of c?
True
Let z = -5 - -2. Let v be (6 + z)/(-3)*-3. Suppose v*t - 60 = t. Is 15 a factor of t?
True
Suppose 4*j - 5 = x, -2*x + 4*j - 8*j = -26. Suppose -41 - x = -i. Does 8 divide i?
True
Let m(q) = q**2 + 6*q - 14. Let j = 19 - 27. Let f be m(j). Suppose -f*o - o = -5*v + 163, 0 = o + 1. Is v a multiple of 8?
True
Let d = 409 + -336. Is d a multiple of 4?
False
Let u be 3/18 - 13/6. Let w be (-44)/(-14) + u/14. Suppose 2*g + w*g + 3*l - 120 = 0, 2*l - 17 = -g. Does 9 divide g?
True
Suppose -2*l = -5*r + 2470 + 525, 25 = -5*l. Is r a multiple of 81?
False
Let z(s) = -s**2 - s + 2. Suppose -8 = -4*h + 4*c, 0*h - 3*c = -2*h + 4. Let f be z(h). Does 10 divide 20/(f*1/(-2))?
True
Suppose 0 = -4*g - 4*h + 772, -3*g + 9*h - 8*h + 575 = 0. Does 26 divide g?
False
Suppose 0 = -5*u - 3*y - 14 - 41, 1 = -2*u + 3*y. Suppose h - 5 + 7 = 0. Is 10 a factor of (-4 + 2/h)*u?
True
Let x = 833 - 533. Is x a multiple of 5?
True
Suppose 4*f - 4*j = 28, -f + 4 = 5*j + 21. Suppose -5*n + 170 = 3*c, 2*c = f*c + 5. Suppose 4*x - 23 - n = 0. Is x a multiple of 5?
True
Suppose 4*c - i = 46, 3*i - 24 = -5*c + 25. Let o be 0/1*c/33. Suppose o = -4*a + 57 - 13. Is 11 a factor of a?
True
Suppose -6*l + l - 36 = -n, 4*n + 5*l = 219. Suppose -5*m = 26 - 411. Let g = m - n. Is 13 a factor of g?
True
Suppose 0 = -h - 4*x + 432, 0 = h + 2*x + 3*x - 431. Suppose 0 = 4*r - 2*n - 456 + 24, -n - h = -4*r. Is r a multiple of 10?
True
Suppose 0 = -8*j - 214 + 2086. Is j a multiple of 73?
False
Suppose -4*p = -2*s + s + 13, -5*s + 4*p = -33. Suppose -s*a - 3*u + 692 = 0, -6*a + 420 = -3*a + 3*u. Is 29 a factor of a?
False
Let p be ((-3675)/18 - 3/(-18))/1. Let q = p - -356. Is q a multiple of 8?
True
Let y = 648 + -446. Suppose 5*h + y = z + 3*h, -3*h + 3 = 0. Does 34 divide z?
True
Suppose 10 = 4*w + 6. Let q(d) = 23*d - 2. Is 7 a factor of q(w)?
True
Suppose 5*p + 5598 - 1398 = 0. Let y = p + 1222. Is 24/36 - y/(-3) a multiple of 32?
True
Suppose 412 = 6*s - s + 4*r, 5*s - 430 = 5*r. Let j = 128 - s. Is 9 a factor of j?
False
Let j be (-4 + -2 + -2)/2. Let y(w) = w**2 - 2*w - 9. Let g be y(j). Does 13 divide ((-10)/g)/((-4)/498)?
False
Let q(g) = 134*g - 781. Is q(10) even?
False
Let l(y) = 20*y**2 - 3*y + 2. Let s be 8/(-8) - (-2 + -1). Let c be l(s). Suppose -2*v = 2*v - c. Does 4 divide v?
False
Let i = 149 - 19. Does 26 divide i?
True
Let k(m) = 120*m**2 - 4*m - 5. Is 20 a factor of k(-1)?
False
Let u(j) = 2*j**2 - 2*j + 1. Let z be u(2). Suppose -v + z*v = 168. Is 14 a factor of v?
True
Suppose -4*w - 6 = 2*k, w - 1 = -3*k - 3*w. Let m(g) = 3 + 2*g - k*g + 0 + g**2. Is 6 a factor of m(7)?
False
Let p be (-10)/(-35) + (-111)/21. Let b = -23 - p. Let j = b - -63. Does 15 divide j?
True
Let g = 2882 + -1768. Is 7 a factor of g?
False
Suppose 5*d - 3*d - 72 = 0. Let s = d + -19. Suppose 5*g + s = 52. Does 4 divide g?
False
Let r(n) = 2*n - 161. Let v be r(0). Let y = v - -234. Is 7 a factor of y?
False
Suppose -7*a + 2 = -5. Does 12 divide a/2 - (-71)/2?
True
Let t(k) = 2*k - 11. Let b = -16 + 23. Let y be t(b). Suppose 2*x - 35 = -q + 12, y*q - 5*x - 130 = 0. Is 15 a factor of q?
True
Let c(a) be the second derivative of a**4/6 + 41*a**3/6 - 6*a**2 - 18*a. Does 7 divide c(-22)?
False
Suppose w - 45 = -4*w. Suppose 2*i + 2*n = 4, w = 5*i + 2*n + 2. Suppose -i - 8 = -v. Is 4 a factor of v?
False
Let q(s) = -22*s - 2. Let l be q(-6). Let i = 226 - l. Suppose 3*c = -2*h + i, 0*h - h - 87 = -3*c. Does 15 divide c?
True
Suppose 4*d + 108 = d. Let w be (-2044)/d + (-2)/(-9). Let l = w + -25. Does 15 divide l?
False
Suppose -2*o + 160 = 5*m, 0 = 2*m - 1 - 7. Let z = 14 + o. Does 12 divide z?
True
Suppose 9*l - 5*l - 172 = 0. Let g = l - 76. Let h = g + 68. Does 7 divide h?
True
Let a(r) = 4*r - 4. Let x be a(6). Let u = -15 + x. Suppose y + 3 = -u*l, 73 = 5*y - 3*l + 4. Does 11 divide y?
False
Does 22 divide (-30044)/(-32) - (75/(-24) - -3)?
False
Let h(p) = -113*p**3 - 2*p - 1. Suppose 5*f + f = -6. Is 15 a factor of h(f)?
False
Is (-35 - -35) + 1 + 1487 a multiple of 12?
True
Suppose -4*t = -1 - 7. Suppose -431 = -3*r + 3*w - w, -t*r = w - 299. Suppose 0 = 5*k - r - 63. Is k a multiple of 14?
True
Let r(v) = v**2 - 3*v - 7. Let q be r(5). Suppose -85 - 29 = -6*b. Su