oes 9 divide z?
True
Let y = -1 + 5. Let z = y + -1. Suppose -d + z = -19. Is d a multiple of 22?
True
Suppose -18447 = -24*q - 19*q. Does 39 divide q?
True
Let j(m) = 2 + m**2 - 23*m + 8 + 5*m**2 + 18*m. Does 17 divide j(2)?
False
Suppose 2*q + 5*n = 2*n - 11, n + 15 = 5*q. Let g = 4 - q. Is 9 a factor of 54/(0 + g) + 1?
False
Suppose -44*g + 36*g + 24616 = 0. Is 17 a factor of g?
True
Let o be (8/(-6))/((-12)/198). Suppose -y = -48 - o. Is 5 a factor of y?
True
Let j(d) = -d**3 - 8*d**2 + 12*d + 20. Suppose 0*q - q - y = 14, -5*y = q + 34. Let h be j(q). Let u(v) = -v**2 - 14*v - 10. Does 13 divide u(h)?
True
Let j(f) = f**3 + 2*f**2 - 5*f + 2. Let n(z) = -z**3 + z**2 + z + 9. Let g be n(0). Let l = g + -6. Is 16 a factor of j(l)?
True
Suppose -82 + 24 = -r. Let t be 0/(-1) + (r - -3). Suppose 2*s + 2 = 5*m + t, m + 113 = 5*s. Does 11 divide s?
True
Suppose -5 = -5*x + 2*q, 6*x + 2*q = 3*x + 19. Is 417/9 + (-1)/x - -3 a multiple of 12?
False
Suppose -9*y + 53 = -1. Let i(u) = 3*u**2 - 14*u - 3. Is i(y) a multiple of 3?
True
Let g(p) = -5*p**3 - 4*p**2 - 2*p - 4. Let w(r) = r**3 + r**2 + r + 1. Let n(m) = g(m) + 3*w(m). Let s be n(1). Let l(h) = 5*h**2 + h + 2. Does 22 divide l(s)?
True
Let m(d) be the third derivative of 25*d**4/12 - 5*d**3/3 - 11*d**2. Does 35 divide m(3)?
True
Let k be 147/(-2)*2/3. Is 15 a factor of 7/k + 212/14?
True
Suppose -54 = -n + 506. Is n a multiple of 20?
True
Let d(i) = -9*i - 200. Is 5 a factor of d(-28)?
False
Suppose 2280 = 50*j - 46*j + 5*r, -3*j + 3*r = -1710. Is 126 a factor of j?
False
Let i(p) be the third derivative of -p**7/630 - p**6/144 - p**5/30 + 2*p**2. Let j(r) be the third derivative of i(r). Is 7 a factor of j(-5)?
True
Suppose -12*f - 190 = -31*f. Is f a multiple of 10?
True
Let m(f) = -3*f + 4. Let u be m(4). Let l(r) be the third derivative of -r**4/8 - 2*r**3/3 - r**2 - 2*r. Is l(u) a multiple of 20?
True
Let o(f) = -33*f + 3 - 8*f - 4 + 11. Is o(-4) a multiple of 29?
True
Let k = -109 + 137. Is k a multiple of 7?
True
Let k be (-768)/(-132) - (-4)/22. Suppose -k*v = -2*v - 616. Is v a multiple of 13?
False
Suppose 5*o + 3*b = 2*b - 57, -4*o = -5*b + 63. Let l(t) = -4*t - 16. Is l(o) a multiple of 11?
False
Suppose 3*l - 12 = -3. Suppose 53 = l*w - 4*z, 2*w + 0*w - 20 = -5*z. Does 7 divide w?
False
Suppose -22*c + 934 = -4346. Does 15 divide c?
True
Suppose -1240 = -2*o - 3*c, 10*c + 3083 = 5*o + 9*c. Is o a multiple of 20?
False
Let a = -14 + 17. Suppose 5*h + 35 + 82 = a*w, -w = 1. Is 15 a factor of (8/h)/(1/(-45))?
True
Let a = 365 - -83. Let d = a - 308. Let i = d + -70. Is 26 a factor of i?
False
Let z(q) = -q**3 + 6*q**2 - 5*q + 2. Let n be z(5). Suppose -7*w + 135 = -n*w. Suppose a = 21 + w. Is a a multiple of 24?
True
Suppose 4*q + 8924 = 5*x, 3*q + 7446 = 4*x + 306. Is 10 a factor of x?
False
Suppose 3*n - q - 10 = 14, 2*q - 15 = -n. Suppose 20*j - 13 = 27. Does 2 divide n - 2/(-1 + j)?
False
Let c(r) = -7*r - 4 - 11*r + 10. Suppose 2*g - 12 + 18 = 0. Does 17 divide c(g)?
False
Let k be 1/((2/(-24))/1). Let x be 117/45 + 2/5. Is 2 a factor of x*(3 - (-28)/k)?
True
Let j(q) = -q + 1. Let k(t) = 4*t - 5. Let c(a) = 5*j(a) + k(a). Let o(s) = -46*s + 4. Let v(g) = -12*c(g) + o(g). Is v(-2) a multiple of 14?
False
Suppose 6*l + 24 = 5*l. Does 3 divide (1*2)/(7 + 162/l)?
False
Suppose 0 = 9*g - 862 - 7265. Does 21 divide g?
True
Let s = 791 - 677. Is 80 a factor of s?
False
Let r(c) be the second derivative of -c**4/8 - 2*c**3/3 + 9*c**2/2 - 4*c. Let t(s) be the first derivative of r(s). Does 3 divide t(-3)?
False
Let b(j) = 10*j + 5 + 4*j**2 + 0*j**2 + j**3 - 7*j. Let p be b(-3). Suppose -p*v + 3*v - 2*t = -48, -62 = -2*v + 5*t. Is v a multiple of 15?
False
Suppose 3 = 3*o - 3. Suppose -o*b = -7*b + 1360. Suppose b = 3*y + y. Does 17 divide y?
True
Let i(u) = 9 + u + 30 - 1. Does 6 divide i(-14)?
True
Let l = -48 + 48. Suppose i - 288 + 89 = l. Does 15 divide i?
False
Let j(h) = -2*h + 1. Let d be j(-2). Let a(c) be the second derivative of c**4/6 + 7*c**3/6 - 5*c**2/2 + 62*c - 1. Does 16 divide a(d)?
True
Let o(h) = -h + 1. Let c be o(-2). Let b(j) = 3*j**2 - 3*j - 3. Is 15 a factor of b(c)?
True
Suppose -169 = -42*w - 1. Let f = -9 - -13. Suppose -v + 4 = -5*o, -w*v - v + f*o + 104 = 0. Does 24 divide v?
True
Let j be (2/1 - -2) + -1. Suppose -m = t - 11, -m = -4*m + j*t + 15. Does 11 divide m/4 - (2 + -33)?
True
Suppose -80*j = -76*j - 5*k - 9059, 0 = -2*j + 2*k + 4532. Does 7 divide j?
False
Suppose -102 = -2*m - 4*m. Let t(q) = -q**2 + 20*q + 18. Is t(m) a multiple of 30?
False
Let w = 376 - 134. Does 12 divide w?
False
Let l = 640 - -458. Suppose 20*q = 11*q + l. Is 5 a factor of q?
False
Let l(b) = -b**3 + 17*b**2 + 23*b + 54. Is 7 a factor of l(18)?
False
Let d(u) = -u**2 - 6*u + 3. Let t(v) = -3*v + 6. Let x be t(4). Let r be d(x). Suppose -r*m + m + 144 = 0. Does 18 divide m?
True
Let k = 1169 + -933. Is k a multiple of 2?
True
Suppose 5*q - 2 = 13. Suppose -q*w + 52 = -4*c, 3*w = 8*w - 2*c - 96. Is w a multiple of 5?
True
Suppose 7*l - 4*l + 6 = 0, 0 = 3*d + 2*l - 2933. Is 89 a factor of d?
True
Suppose 2*a = -2*j + 102, 5*a - 2*a - 168 = 2*j. Suppose -3*t + 12 = t. Suppose 3*u = -2*d + d + a, -t*d + 173 = -2*u. Is d a multiple of 18?
False
Let a be 4 - -1*(0 + 0). Suppose 0 = -11*u + 2*u - 108. Does 2 divide 1 + a/(u/(-9))?
True
Let t = 3 - 8. Let n(d) be the third derivative of d**6/120 + 7*d**5/60 + 5*d**4/24 + 5*d**3/6 - 8*d**2. Does 15 divide n(t)?
True
Let i be 119 + 0 - (-3 + -1). Let c = i + 57. Suppose 4*b - c = -x, -3*b - 5*x + 135 = -3*x. Does 12 divide b?
False
Let j(i) be the second derivative of -i**5/10 - 3*i**4/4 - 7*i**3/6 + 2*i**2 + i. Does 16 divide j(-5)?
True
Let q be 256/10 + 10/25. Let k = q - 24. Suppose -3*w + 2*i + 48 = 0, 4*w = w - k*i + 60. Is 9 a factor of w?
True
Let n(m) = -46*m - 294. Does 4 divide n(-19)?
True
Let b = -449 + 657. Does 13 divide b?
True
Suppose c - 30 - 274 = 0. Is 34 a factor of (-12)/(-18) - (c/(-3) + 1)?
False
Let q(v) be the second derivative of -17*v**3/3 + 13*v. Is 11 a factor of q(-1)?
False
Let r = -89 + 355. Is 38 a factor of r?
True
Suppose 40 + 200 = 3*z. Let y be (-6)/(237/z - 3). Suppose h + y = 5*h. Does 18 divide h?
False
Let a = 34 - 34. Let w = 36 + a. Does 7 divide w?
False
Let y(j) = j**3 - 14*j**2 + 12*j + 15. Let c be y(13). Let m = -2 + c. Is 17 a factor of (14 + m + 3)*1?
True
Suppose 0 = 41*n - 156 - 500. Does 3 divide n?
False
Let v(i) = -i**3 - 15*i**2 - 20*i - 63. Does 2 divide v(-14)?
False
Let k = 5 - 12. Let s(g) = -4*g + 2*g - 2 - 8 + 0*g**2 + g**2. Does 11 divide s(k)?
False
Let u = 256 - 16. Is u a multiple of 10?
True
Is -3 - (2102/(-18) - 10/45) a multiple of 18?
False
Let a(p) = 1 + 0 + 1 - 11 + p. Let u be 4/6 - 680/(-51). Is 5 a factor of a(u)?
True
Let s be 4/(-26) - 32984/(-104). Suppose 0*b - 2*b + 178 = -4*p, s = 3*b + 4*p. Does 11 divide b?
True
Let r(l) = -l**3 + 13*l**2 + 20*l - 7. Let s(j) = -5*j - 21. Let m be s(-9). Let g = -10 + m. Does 18 divide r(g)?
False
Let h = -221 - -485. Is h a multiple of 4?
True
Let k(s) = s**3 + 11*s**2 - 4*s - 60. Is k(-8) a multiple of 5?
False
Suppose 4*a - 3*v - 793 = 0, -797 = 6*a - 10*a - v. Is a a multiple of 15?
False
Does 52 divide (-2)/8 - (-6688)/128?
True
Does 20 divide 447414/154 - (-6)/(-21)?
False
Let a(c) be the second derivative of -c**3/3 - c**2/2 + c. Let l be a(-3). Suppose 0*t - 2 = y - l*t, 3*y - 13 = -4*t. Does 3 divide y?
True
Let i(b) = -2*b + 2. Let j be i(1). Let p(u) = -3*u**2 + u + 5. Is 5 a factor of p(j)?
True
Let b = 2442 - 1691. Is b a multiple of 29?
False
Let v(t) = 4*t + 54. Does 2 divide v(-13)?
True
Let g be (4/8)/(5998/3000 - 2). Does 12 divide g/(-21) + 2/7?
True
Let n(u) = -u**2 + 11*u - 19. Let p(d) = d**3 - 8*d**2 + 9*d + 4. Let j be p(7). Let z be n(j). Let t = z - -261. Is t a multiple of 29?
True
Suppose 2*j + 3*j + 4*p = 47, -2*p = -6. Does 3 divide 21 - (-5 + (j + 0 - 3))?
False
Suppose 2*v - 5*v = 0. Let h be (v - 2/(-4))*26. Suppose 61 - h = 4*j. Is j a multiple of 12?
True
Let c(i) be the third derivative of -5*i**4/3 + 8*i**3/3 - 35*i**2. Is c(-3) a multiple of 17?
True
Let y = -2654 + 5522. Is y a multiple of 83?
False
Let d = -6 - -9. Suppose d*u - 26 = -n, 6*n - n - 4*u - 54 = 0. Suppose t - 1