1 + 0*x**2 - 86*x. Is g(-7) a multiple of 11?
True
Suppose 10*s - 425 = 865. Is 12 a factor of s?
False
Let p be -2 - 5/((-10)/12). Suppose -3*j + 5*j - p = 0. Suppose 0 = 2*g + g - 3*x - 105, 5*g - 182 = -j*x. Is g a multiple of 12?
True
Let k = -9 - -12. Suppose 2*y = k*x - 2*x - 12, 4 = 3*x + 2*y. Is 4 a factor of x?
True
Suppose -5*w - 5*o + 18850 = 0, -2*o - 4031 = -3*w + 7284. Is w a multiple of 34?
False
Suppose -4*i + k + 1464 = -3*k, 0 = i + 2*k - 354. Is i a multiple of 18?
False
Let s = -22 + 108. Is 28 a factor of s?
False
Let f(p) = 3*p + 6. Let d be f(-8). Is 34 a factor of 84 - (-9)/(d/(-8))?
False
Suppose -4*n + 16 = -n + 5*z, 4*z = -n + 10. Suppose n*l = -l. Suppose 0 = 5*j - l*j - 240. Does 12 divide j?
True
Suppose 0 = 3*f + 2*x + 1, 4*f + 2*x - 6*x - 32 = 0. Is 10 a factor of f/6 - 2/((-8)/366)?
False
Suppose -54 + 9 = -5*c. Let o = 154 + -64. Suppose -c*n + o = -6*n. Does 6 divide n?
True
Is 6/(-54) - 82820/(-180) a multiple of 5?
True
Let n = -9 + -39. Let r be n/(-10)*(-70)/(-21). Suppose 4*m - 4*q - r = -0*q, -m = -4*q + 11. Is m a multiple of 3?
True
Let y be (132/(-9))/((-4)/18). Suppose 3*t - 4*r - y = 0, 4*t + 2*r - 88 = -r. Does 11 divide t?
True
Suppose 83 = 3*t + 3*z - 10, 5*t - 3*z - 171 = 0. Suppose -2*l + 3*n = t, -4*l - 2*n - 71 = -3*n. Let p = l - -27. Is p a multiple of 9?
True
Suppose 3*i + 2*i = 3*a + 128, 0 = -3*a + 4*i - 133. Let h = a - -84. Is h a multiple of 11?
True
Let u = -1049 - -1484. Is 6 a factor of u?
False
Let t be (0 + 3)*2*-1. Let n = -6 - t. Suppose -w + 3*v = -13, n*w + 35 = 2*w + 3*v. Is 8 a factor of w?
True
Let h(p) = p - 31. Let l be h(14). Let v = l + 22. Suppose 24 = -v*i + 4, 3*s + 5*i - 202 = 0. Is s a multiple of 26?
False
Let m = -297 - -447. Suppose 4*b = -b + m. Suppose 4*c - b = 3*c. Is c a multiple of 15?
True
Let b(w) = 189*w**2 + 5*w + 4. Does 51 divide b(-1)?
False
Let v(n) = -10*n + 1. Let y be v(1). Let g(f) = f**2 - 5*f + 22. Let t be g(y). Suppose -3*i + t = k, -2*k = -2*i + 72 + 16. Does 6 divide i?
True
Let d = 1147 + -954. Does 16 divide d?
False
Let t = -226 - -863. Does 19 divide t?
False
Let t(g) = g + 3. Let k(z) = z + 4. Let o(x) = 5*k(x) - 4*t(x). Let p be o(-4). Suppose p*v - 25 = 3*v. Is 9 a factor of v?
False
Suppose 3*l - 5*l + 1021 = d, 6 = -2*d. Is l a multiple of 16?
True
Let z = 1245 - 179. Does 13 divide z?
True
Let o(a) = 1. Let i(t) = -31*t - 3. Let f = -10 - -9. Let y(b) = f*i(b) - 3*o(b). Is y(1) a multiple of 9?
False
Let w = 241 - 169. Suppose 50 = -5*r - 2*v + 219, 2*r - w = -3*v. Does 11 divide r?
True
Let b(w) = w**3 + 36*w**2 - 19*w - 38. Is 12 a factor of b(-36)?
False
Let b(u) = 41*u**2 + 5*u - 10. Does 22 divide b(3)?
True
Suppose 0*r = r - 3. Suppose 2*m = r*m + 24. Let s = -11 - m. Is s a multiple of 13?
True
Let d(f) = f - 4. Let h be d(4). Suppose h = 3*a - 50 - 70. Is a a multiple of 20?
True
Let d(f) = -f + 37. Let r be d(12). Does 25 divide (2 - r/10)/(3/(-300))?
True
Let t be (-18)/(-5) - (-22)/55. Suppose -t*l + 15 = -153. Does 6 divide l?
True
Let d be 1474/(-187) + 4/(-34). Is 9 a factor of (-6 - 327/(-6))/((-2)/d)?
False
Let y(b) = 5*b**2 - 2*b + 1. Let t be y(1). Let l be (t + -2 - 1) + 264. Suppose -3*c + l = 1. Is c a multiple of 26?
False
Let m(i) = i**2 + 15*i + 152. Does 32 divide m(-8)?
True
Suppose -12 = -5*c + 8. Suppose c*w = 5*w - 10. Does 3 divide w?
False
Let s = 1671 - 1567. Is s a multiple of 3?
False
Let z(s) = 2*s**2 - 9*s + 54. Let n(c) = c**2 - 4*c + 27. Let u(w) = 5*n(w) - 2*z(w). Is 13 a factor of u(7)?
False
Let x(s) = 2*s**3 - 15*s**2 + 9*s + 10. Is 13 a factor of x(9)?
False
Suppose -18*s = -20*s + 124. Is s/217 + 0 + (-1676)/(-14) a multiple of 12?
True
Is 32 a factor of 4 - ((3 - 7) + 8) - -95?
False
Let c be (5 + 2)/(-1)*(-720)/(-42). Let a = c + 129. Is 2 a factor of a?
False
Suppose 5*y = 29 + 111. Suppose 0 = -7*c + 3*c. Suppose -s - r = -y, -r + c*r = -s + 38. Is 11 a factor of s?
True
Suppose 101*v - 96*v - 515 = 0. Is 18 a factor of v?
False
Suppose 3*y - y + 5*c = 3340, 0 = -y + 2*c + 1661. Is 15 a factor of y?
True
Suppose 0 = 14*n - 5430 - 2242. Is 16 a factor of n?
False
Let j(y) = -y**3 + 15*y**2 - y + 5. Let o be j(14). Suppose o + 422 = 7*n. Does 33 divide n?
False
Suppose 0 = -3*q + 3*r + 12, 2*q - 3*q + 16 = -5*r. Let b = q + 53. Is b a multiple of 8?
False
Suppose 54516 = -4*s + 48*s. Does 99 divide s?
False
Let p = 320 - -1240. Does 39 divide p?
True
Suppose -3*q - 4*p = 4, 0*p + p = 5*q - 1. Is 28 a factor of (-3)/((-6)/394) + q + 1?
False
Let x(l) = -l**2 + 29*l - 2. Is 13 a factor of x(14)?
True
Suppose 8*f - 5*f = -138. Let w = f + 70. Is w a multiple of 5?
False
Suppose -2*g = 2 - 8. Does 20 divide ((-86)/(-6))/(g/9)?
False
Let t be ((-34)/(-4) - 1)*(-8)/(-10). Let r = t - 0. Is r a multiple of 6?
True
Let r = 42 + -38. Suppose 4*u - 52 = r*c, c + 95 = 5*u + 18. Is 3 a factor of u?
False
Suppose -5*z + 900 = -z + 2*h, 4*h = 0. Does 9 divide z?
True
Let a = 1015 + 42. Suppose 10*w + a = 17*w. Is w a multiple of 16?
False
Let v = 191 - 141. Is v a multiple of 5?
True
Let h(n) = -9*n + 3. Let k be 4*(3/(-3) + 2). Let u = 2 - k. Is h(u) a multiple of 12?
False
Let c(r) = 18*r - 15 - 4*r**2 + 3*r**2 + 2. Is c(13) a multiple of 13?
True
Suppose -4*c = -9*c + 2*r + 5006, 0 = -5*c - 4*r + 4988. Does 8 divide c?
True
Let f(b) be the third derivative of -b**6/120 + 3*b**5/20 - b**4/4 + 11*b**3/6 + 6*b**2. Let t be f(8). Let s = 58 - t. Is 19 a factor of s?
False
Let y be (4/3)/(10/(-255)). Let n = -25 - y. Is n a multiple of 2?
False
Let p be (-2*3 - 3) + 3. Let f be (6/9)/((-1)/p). Does 14 divide (38/4)/(f/8)?
False
Suppose 48 = 8*k - 152. Suppose k = i - 71. Is 16 a factor of i?
True
Let a(r) = 163*r**2 + r + 2. Let h be a(-1). Let q = h + 27. Does 12 divide q?
False
Suppose -6*s + 87 = -3. Let n be ((-16)/(-40))/(2/s). Suppose 5*g - g - 23 = -5*q, -n*q - 1 = -5*g. Is 3 a factor of q?
True
Let s(m) = -m**2 + 8*m + 12. Let v = -9 - -4. Let a be s(v). Let k = 19 - a. Is k a multiple of 25?
False
Let x(g) = 5*g**3 - 11*g**2 - 5*g - 16. Let b(k) = -14*k**3 + 32*k**2 + 15*k + 48. Let d(i) = -4*b(i) - 11*x(i). Let j be 306/39 - 4/(-26). Does 8 divide d(j)?
True
Let d = 6 - 36. Does 20 divide (-6 - 2)/(3/d)?
True
Let r be 3 - 4/4 - -1. Suppose 3*u = -5*y + 5*u + 121, -r*u = -3*y + 69. Let x = y - -47. Is 18 a factor of x?
True
Suppose -450 = 53*t - 71*t. Is t a multiple of 3?
False
Let o(a) = a**3 + 7*a**2 - 4*a - 3. Let v(f) = 2*f**3 + 13*f**2 - 7*f - 6. Let x(i) = 7*o(i) - 4*v(i). Let n be x(-3). Is n/2 + 105/6 a multiple of 14?
False
Suppose -2*a + 5*h + 138 = 4*h, -3*a = -h - 207. Is 15 a factor of a?
False
Let x(h) = 358*h - 1180. Is 6 a factor of x(5)?
False
Let q(o) = 2*o + 12. Let a be q(6). Let i = -5 + a. Suppose i = s + 2*r, -3*r - r - 109 = -5*s. Is s a multiple of 21?
True
Let s(v) = 1 + 2*v**3 - 8*v**2 - 3*v**3 + 6 + 3. Let l be s(-7). Let g = l + 87. Does 16 divide g?
True
Suppose -d = -5*d + 588. Let t = d - -177. Does 54 divide t?
True
Suppose 95*t - 109*t = -8946. Is 8 a factor of t?
False
Suppose 1254 = -4*k + 4374. Does 35 divide -2 - (-5)/(25/k)?
False
Let z(l) be the second derivative of -l**4/12 + 3*l**3/2 - 15*l. Let b be z(9). Suppose t - 2*t + 38 = b. Is 19 a factor of t?
True
Let i = 620 - 578. Is i a multiple of 14?
True
Let z(m) = -10*m + 3. Let a be 6 - (-1 + 3/1). Suppose -3*s = 3, -3*s + 1 = -a*o - 8. Is z(o) a multiple of 14?
False
Let f = -499 - -246. Let k = -338 + 741. Let r = k + f. Is 38 a factor of r?
False
Let c(u) = u**3 + 5*u**2 + u - 3. Let d be c(-5). Is 2 a factor of 4 + d - -25 - 5?
True
Let s(z) = -6*z**2 + 5*z + 1. Let u be s(-5). Let h(v) = -v**2 + 2*v - 90. Let q be h(0). Let n = q - u. Is n a multiple of 34?
False
Suppose -k + 32 = -61. Is k a multiple of 13?
False
Let c(a) = 75*a + 190. Does 34 divide c(17)?
False
Let r(i) = 2*i**3 - 13*i**2 + 13*i - 35. Is 39 a factor of r(8)?
False
Let d be 3/3*43 - 1. Suppose 4*f - 202 = -58. Does 18 divide (f/21)/(2/d)?
True
Let o be (-604)/(-2)*(-18)/36. Let x = -112 - o. Is 3 a factor of x?
True
Let z = 11 + -21. Let t = z - -14. Suppose 3*d - 53 = -4*u + 21, 22 = d + t*u. Is d a multiple of 13?
True
Is 1690/(-2)*(0 - 1) a multiple of 13?
True
Let z(g) = 5*g**2 + 2*g + 2. Let c be z(-1). Suppose 