e of 0 - 1/3*h**3 + 6*h**2 + 9*h. Does 9 divide b(-4)?
False
Let f be (-3201)/15 - (6/5)/(-3). Let d = f + 333. Is d a multiple of 24?
True
Suppose 6*v = 3*v + 150. Let q(b) = v*b**2 - 21*b**2 + 36*b**2 + 1 + 42*b**2. Is q(-1) a multiple of 36?
True
Let d = -65 + 137. Suppose -5*b - 7 = -d. Does 7 divide b?
False
Let v be -2*((-3)/6 - -1). Let m = 26 + v. Is m a multiple of 5?
True
Let z = -24 + 3. Let q = z - -60. Does 13 divide q?
True
Let i be (5 - -4)/3 - 1. Suppose 0 = -i*s - 1 - 9. Is -40*((-10)/(-4))/s a multiple of 10?
True
Suppose -2*r + 842 = -6*v + 8*v, -5*v = 3*r - 1259. Does 9 divide r?
True
Let d be 1/(22/8 - 3). Let y = -1 + d. Is y/((-1)/2*2) even?
False
Let r = 18 + 19. Let h = r - -35. Is h a multiple of 18?
True
Let b = 3 + -1. Suppose -286 = -5*u - c, -117 = -b*u - 6*c + 3*c. Is 8 a factor of u?
False
Let b(h) be the first derivative of -1/2*h**2 + h + h**4 - h**3 + 1. Is 16 a factor of b(3)?
False
Suppose -2*j = m - 6*m + 12, j - 5 = -3*m. Let w(p) = 3*p**2 + 2*p - 1. Let i(c) = c**2. Let s(h) = j*w(h) + 4*i(h). Does 4 divide s(5)?
True
Suppose -11*d - 12488 = -15*d. Suppose d = 6*t - 262. Does 8 divide t/10 - (-16)/(-40)?
True
Suppose 4*d - 12 = 0, 4*d + 123 = 2*q - 249. Is q a multiple of 4?
True
Let s be (1/(-2))/(21/(-1008)). Suppose 8 + s = 4*f. Does 4 divide f?
True
Suppose 0 = 5*j + 3*s - 28, 36 = 2*j - 2*s - 3*s. Let d be 10/10 + (0 - -4). Suppose -110 = -d*u - 4*w, -33 = -2*u - w + j. Is 9 a factor of u?
True
Let g = 535 + 250. Is g a multiple of 22?
False
Suppose -390 = -5*r + 20. Suppose 5*o - 3*u = 224, -4*u + 9*u + r = 2*o. Suppose 5*a - 4*q = a + 200, a = -q + o. Does 11 divide a?
False
Suppose -4*o + 265 + 87 = 0. Let t = -3 - -8. Suppose 2 = t*s - o. Does 7 divide s?
False
Is (1/3*-28)/(6/(-639)) a multiple of 14?
True
Let p(w) = 3*w + 106. Suppose 15*j - 19*j = 0. Does 17 divide p(j)?
False
Let j(l) be the second derivative of 3*l**5/20 - l**4/4 + l**2 - 11*l. Is 18 a factor of j(3)?
False
Suppose 0 = 4*j + j - 280. Suppose -3 = 5*p - 13. Suppose -p*g + j = 2*g. Is g a multiple of 10?
False
Let l(x) = -4*x. Let o be l(-1). Let f(b) be the second derivative of b**3/6 + b**2/2 + 298*b. Is 3 a factor of f(o)?
False
Let o(f) = f**2 - 18*f + 22. Let j be o(16). Is ((-16)/j)/((56/(-8))/(-35)) a multiple of 8?
True
Let f be -2*2/14 + 28695/105. Suppose -4*u + f = 3*u. Is u a multiple of 9?
False
Suppose -4*q + 149 = 3*r, -5*q - 100 = 4*r - 300. Suppose r = -5*h - 2*k - 2*k, -3*k - 45 = 4*h. Is 12 a factor of 6/h*-20*3?
True
Let d(m) = 20*m**3 - 23*m**2 - 17*m + 5. Let j(q) = 7*q**3 - 8*q**2 - 6*q + 2. Let z(c) = 6*d(c) - 17*j(c). Let p = -76 + 80. Is 14 a factor of z(p)?
True
Let x(j) = -j**3 + 4*j**2 + 9*j - 13. Does 3 divide x(5)?
False
Let d = -4 - 7. Let p(v) = 5*v - 11. Let w be p(d). Let u = -35 - w. Does 13 divide u?
False
Suppose -3*a + 20 = a. Let k = 101 - -1. Suppose a*u + 22 = k. Is 16 a factor of u?
True
Suppose 5*j = 3*v - 0*j - 3718, -5*j + 2512 = 2*v. Does 86 divide v?
False
Let z be (4 - 4)*(2*-1 + 1). Let d(c) = 3*c + 45. Does 11 divide d(z)?
False
Let x(s) = -s**2 + 6*s + 5. Let p be x(6). Let n be (-28)/(-84) - 16/(-6). Suppose 102 = 2*g + 6*j - n*j, -51 = -g - p*j. Is 17 a factor of g?
True
Let u(v) = -v**3 - 8*v**2 + 9*v + 2. Let z be u(-9). Suppose k = 4*f - 128, -5*f + z*k = k - 161. Is f a multiple of 29?
False
Let c(h) = -h**3 - 2*h**2 - 2*h - 1. Let a be c(-2). Let l(s) be the first derivative of 13*s**2 + 9*s - 179. Is l(a) a multiple of 20?
False
Let n(x) = -5*x - 3 + 2*x + 2*x. Let u be n(-6). Suppose -83 = -5*h - u*r, -36 = -3*h + r + 25. Does 5 divide h?
False
Suppose -159 = 10*v - 13*v. Suppose -3*f = v - 170. Is 13 a factor of f?
True
Suppose 749 + 1915 = 12*i. Let t = i - 60. Is t a multiple of 27?
True
Let w(j) = j**3 - 35*j**2 + 35*j + 78. Is 28 a factor of w(34)?
True
Let n(c) = 44*c**3 - c + 1. Let m be n(1). Suppose 142 = h + m. Is 7 a factor of h?
True
Let g = 3 - 8. Let x = g + 5. Is 11 a factor of (11*(1 + x))/1?
True
Let j = -15 + 6. Is 2/(12/614) - j/(-27) a multiple of 6?
True
Let d = -5 + 10. Suppose -3*v - 1218 = -d*f + v, -2*v + 498 = 2*f. Suppose 4*i - 2*b = -i + f, 4*b = 8. Is 25 a factor of i?
True
Let p = -245 - -388. Is 11 a factor of p?
True
Let v(a) = -a**3 - 8*a**2 + 10*a + 11. Let y be v(-11). Suppose -3*s - 6 = 0, -4*t + y = -3*s - 6. Is t a multiple of 9?
False
Let w = 176 + -187. Let j(k) = k. Let x(q) = -q**2 - 11*q + 1. Let c(s) = -2*j(s) - x(s). Is 21 a factor of c(w)?
True
Suppose 5*j + 2*k - 236 - 2893 = 0, 0 = 2*j - 2*k - 1260. Is j a multiple of 60?
False
Let h(l) = 7*l**2 - 4*l + 18. Is 57 a factor of h(6)?
False
Let k = -1 + 1. Let p = -332 + 336. Suppose -p*m + 41 = -d + 117, k = 3*d - 3*m - 210. Does 17 divide d?
True
Let g(s) be the second derivative of -s**5/20 - 2*s**4/3 - 7*s**3/6 + s**2 + 4*s. Let p be g(-7). Is 21 - (p - 3 - 1) a multiple of 23?
True
Suppose 2*b - 4*d = -7 - 13, 5*d = 25. Suppose b = 3*x + 6, a + x - 2*x + 5 = 0. Let c(p) = p**3 + 7*p**2 - 3*p. Does 8 divide c(a)?
False
Suppose -4*u = 2*a - 30, -3*u - a + 25 = -0*a. Suppose 0 = -l + 3*l - u, 680 = 5*r - 2*l. Is (3 - 3) + r/3 a multiple of 9?
False
Let q be 4 + 0/1 + -3. Suppose -q = -3*r + 2. Does 21 divide 1*(r - -1) + 61?
True
Let b = -31 - -27. Let i(q) = -q + 3. Does 7 divide i(b)?
True
Suppose -3*m + 3614 = 4*h, -2416 = 68*m - 70*m + 4*h. Is m a multiple of 9?
True
Suppose 0 = 14*x - 3327 + 191. Is x a multiple of 12?
False
Let v = -27 - -18. Let d = -5 - v. Suppose -3*u + w = -34, -d*u + 7*u + w = 44. Is u a multiple of 3?
False
Let b = -35 - -38. Suppose -152 = -2*r + b*j - j, -r + 51 = 4*j. Is r a multiple of 22?
False
Let f be ((-4)/8 + 4)*2. Suppose 0 = -f*q + 4*q + 252. Is q a multiple of 28?
True
Let p(r) = -r - 29. Let g(j) = -j - 1. Let n(w) = 4*g(w) - 2*p(w). Let z be (0 - 0)*(3 - 2). Does 18 divide n(z)?
True
Let z(n) = -4*n**3 + 18*n**2 - 13*n - 10. Let v(w) = -w**3 + w**2 + 1. Let i(b) = 5*v(b) - z(b). Is i(-14) a multiple of 13?
False
Let a = 2887 + -1863. Is a a multiple of 32?
True
Suppose 0 = -a - 4 + 6. Suppose 2*n = -a*l - n + 11, -5*l + 4*n - 7 = 0. Is (1/3)/(l/18) a multiple of 6?
True
Suppose 8*l = -3*l - 88. Suppose -3*a = 2*d - 36, -3*d + d = -4*a + 62. Let x = a + l. Does 6 divide x?
True
Let j(h) = h + 14. Let z be j(-9). Suppose 0 = z*l - 1 - 59. Does 3 divide l/10*(-45)/(-6)?
True
Let v(n) = -n**3 - 7*n**2 + 9*n + 8. Let s be v(-8). Suppose s = -14*g + 266 - 56. Is 15 a factor of g?
True
Let l = 530 - 46. Is l a multiple of 44?
True
Let d(b) = -30*b - 26. Does 94 divide d(-29)?
False
Let r(u) be the first derivative of -u**3 + 91*u + 17. Is r(0) a multiple of 13?
True
Let m = -19 + 23. Suppose -m - 2 = -2*d. Suppose -3*c - 77 = -d*o + 52, -4*o = -5*c - 171. Is 11 a factor of o?
True
Suppose 0 = -5*f - 20, -s = -f - 643 - 145. Is 10 a factor of s?
False
Let c be (-2)/(-4) - (-203)/14. Let n = 11 - c. Is 23 a factor of (-68)/((-4)/(-8)*n)?
False
Does 40 divide -2 + (2 + 0)*221?
True
Let s = 1594 + -582. Is 48 a factor of s?
False
Let o(t) = -t**2 + 15*t - 6. Let c be (-1)/(-3)*60/2. Let a be o(c). Suppose 2*u + 5*s = s + a, -5*u + 105 = 5*s. Is 14 a factor of u?
False
Suppose -4*j + 5*t = 3*t - 2932, -j + 723 = -3*t. Is j a multiple of 105?
True
Let x(b) = b**2 + 6*b + 2. Let w be x(-6). Let c(z) = -2*z**3 + 3*z**2 - 2*z - 1. Let f be c(w). Is 8 a factor of -36*3/(f/2)?
True
Let b(k) = k**3 - 4*k**2 - 2*k + 3. Let s be b(-3). Does 9 divide -1 - (s*4)/4?
False
Suppose -771 = -2*h + 109. Is 36 a factor of h?
False
Is 9 a factor of (-634)/(-6) + -4*13/78?
False
Let p be 37 - (-2 + -2 + 7). Let j = p + -13. Suppose -2*y + 161 - 39 = 5*q, q - 3*y - j = 0. Does 5 divide q?
False
Let w be -6*(12/(-9))/4. Suppose -p = w*o - 109, 2 = -o + 4. Is 19 a factor of p?
False
Is 87/174 + (1 - 833/(-2)) a multiple of 5?
False
Let y be (12/15)/((-2)/(-5)). Suppose 0 = 2*k - y*p - 86, -p = -5*k + p + 215. Suppose 2*t + 22 = f + 72, t - k = -4*f. Is t a multiple of 16?
False
Let y(z) = 3*z + 12. Let f be y(-4). Let w = f + 4. Suppose -w*c = -c - 51. Is c a multiple of 3?
False
Let q(h) be the first derivative of -h**4/4 + 4*h**3 + 5*h**2/2 - 9*h - 2. Let t be q(10). Suppose 0*k + t = 3*k - 5*y, -3*k - 2*y = -206. Does 29 divide k?
False
Is -33 - -83 - (-6