 9 - 26. Does 7 divide 2 - (1 - h) - -2?
False
Suppose 3*g - 7*g = -12. Suppose -14*x + g*x = -1870. Is 34 a factor of x?
True
Let b(c) = 0*c + 5*c - 2*c + 2*c**2 - 2*c - 8. Does 47 divide b(12)?
False
Let f = -18 + 164. Suppose 0 = -6*t + 386 - f. Is 22 a factor of t?
False
Suppose 4*h = 234 + 198. Let n = -56 + h. Is 19 a factor of n?
False
Let m(g) be the first derivative of -g**4/4 + 23*g**3/3 - 10*g**2 - 25*g - 39. Is m(22) a multiple of 2?
False
Let c(d) be the second derivative of -7*d**5/120 + d**4/8 - d**3/2 - 10*d. Let b(o) be the second derivative of c(o). Is b(-5) a multiple of 8?
False
Suppose -3*y - 3*o + 9 = -45, -70 = -4*y - 5*o. Suppose c + 72 = h, y = c - 5*c. Let g = 120 - h. Is 13 a factor of g?
False
Suppose 6 - 13 = -s. Is 13 a factor of (-21 - -11)/((-1)/s)?
False
Let o = 845 + -65. Does 15 divide o?
True
Suppose -2*u = 261 + 37. Let n = u + 103. Let c = n - -86. Is c a multiple of 8?
True
Let x(l) = 5*l + 18. Is 17 a factor of x(42)?
False
Let q = -9 + 29. Does 12 divide (-1)/(-5) - (-1576)/q?
False
Let u(l) = -33*l - 108. Is u(-4) a multiple of 2?
True
Let w(x) = x + 19. Let v be w(-19). Suppose v = -4*p - 3*p + 217. Is 11 a factor of p?
False
Let l(b) = 4*b**2 + 19*b - 77. Is l(7) a multiple of 14?
True
Let b(j) = 4*j + 104. Let s(n) = -n**2 + 2*n. Let d be s(2). Is b(d) a multiple of 13?
True
Let w be (-56)/(-35)*(-5)/2. Let k(p) = 5*p**2 - 3. Is 7 a factor of k(w)?
True
Let y be (-8 - 1155/(-14)) + (-1)/(-2). Does 31 divide ((-1845)/y)/(6/(-20))?
False
Suppose 900 = -326*i + 330*i. Is i a multiple of 13?
False
Suppose 5*d + 36 = -4*a + 2, -2*a - 20 = 3*d. Let w(p) = -23*p + 15*p - 6 + 7*p + p**2. Is w(d) a multiple of 18?
True
Suppose 102688 = -102*d + 384106. Does 20 divide d?
False
Does 13 divide (31*-1)/(1 - (-72)/(-66))?
False
Let r(x) = 181*x - 42. Is r(2) a multiple of 43?
False
Let d(r) = r**2 + 2*r - 4. Is 3 a factor of d(6)?
False
Let p(t) = t - 1. Let d be p(-2). Let x(r) = -r - 13. Let b(h) = -h - 13. Let l(u) = d*x(u) + 2*b(u). Is l(-10) even?
False
Let d = -138 + 232. Suppose 4*o - d = x + 83, 2*x = 2*o - 84. Let m = o - 14. Is m a multiple of 17?
False
Let x = 3038 + -1594. Is 38 a factor of x?
True
Suppose 2*g + 2*u = -2*g + 2274, -3*u = 4*g - 2275. Let h = -379 + g. Does 27 divide h?
True
Suppose 4*v - 459 = 3*i, 0*i - i + 2*v - 153 = 0. Let d = -105 - i. Suppose -9*l - d = -11*l. Is l a multiple of 12?
True
Suppose 0 = 2*s + 5*s - 42. Suppose -4*d + 354 = 8*i - s*i, -2*i + 354 = 5*d. Does 37 divide i?
False
Let x(j) = 8*j - 10. Let h be x(8). Suppose 3*w = -u + 50, u + w - h = -0*u. Suppose 3*s - s - 4*l = u, 4*s = 2*l + 118. Is 24 a factor of s?
False
Let i be (-7)/3 - (-13)/39. Let m(k) = 20*k**2 + 4*k - 2. Is m(i) a multiple of 14?
True
Let t be ((-4)/(-3)*3)/((-1)/10). Is 8 a factor of (16/(-3))/(t/1020)?
True
Suppose -33 = 15*i + 42. Suppose -2*z - 4*w + 148 = -6*z, 0 = -3*z + 4*w - 116. Let s = i - z. Is 9 a factor of s?
True
Suppose 201 = 14*t - 555. Does 2 divide t?
True
Let j(n) = -n**2 - 18*n - 39. Does 14 divide j(-9)?
True
Let p = -1 + -3. Let g be 12/(-32)*p*2. Suppose g*c - 69 = 3. Does 12 divide c?
True
Suppose 319 = -19*q + 29807. Is q a multiple of 32?
False
Let b(f) = -18*f - 8. Let w be b(-1). Suppose -147 = -0*m - 3*m. Let k = m - w. Does 13 divide k?
True
Let j(f) = -28*f + 70. Does 42 divide j(-14)?
True
Let t = -1697 - -2999. Is 21 a factor of t?
True
Let j be 12/20 + (-865)/25. Let x = j - -52. Is 6 a factor of x?
True
Suppose -2*c + 2*a + 1300 = 0, -6*c + a + 1299 = -4*c. Does 82 divide c?
False
Let z be (-276)/(-34) - (-8)/(-68). Suppose -z*y + 285 = -5*y. Is 19 a factor of y?
True
Suppose 4611 = 3*h - 1545. Does 46 divide h?
False
Let y = -23 + 33. Let r be y/(-75) - (-1389)/(-45). Let i = 89 + r. Is i a multiple of 15?
False
Is ((-4)/10)/(-2*(-10)/(-67000)) a multiple of 10?
True
Suppose 92 = 2*r + 2*d, -r + 3*d + 17 + 9 = 0. Suppose -w + 109 = -r. Is w a multiple of 50?
True
Let x = 4 - 0. Suppose 0*o - 196 = -x*o. Let f = -18 + o. Is f a multiple of 31?
True
Let g be (2/(-5))/((-5)/25). Suppose 3*u - 26 = -g*k - u, 0 = -3*k + u + 11. Suppose 0 = -k*h - j + 2*j + 82, -72 = -5*h - 4*j. Is h a multiple of 6?
False
Suppose -18*n + 23*n - 605 = 0. Let l = 83 + n. Is l a multiple of 17?
True
Let p(y) = 10*y - 136. Is p(16) a multiple of 2?
True
Let a(x) = x**2 + 6*x + 5. Suppose -i = 2*t + 16, -55 = 2*t + 3*t - 5*i. Let b be a(t). Suppose -5*m + b = -3. Is m even?
False
Let i(w) = 42*w - 2. Let u be i(2). Let f be u + (4 - 1) - -2. Suppose 5*b - 108 - f = 0. Is 13 a factor of b?
True
Let a(u) = -63*u + 12 + u**2 + 130*u - 61*u. Does 3 divide a(-5)?
False
Suppose i = s - 828, 0 = -5*s - 3*i - 1041 + 5221. Suppose -257 = 3*g - s. Is g a multiple of 28?
False
Let s = -72 - -268. Suppose 0 = -3*j + s + 254. Does 10 divide j?
True
Suppose -2*k + 8*i + 272 = 6*i, 0 = 2*k + i - 272. Does 14 divide k?
False
Suppose -14 = q - 3*q. Let s = q + -2. Let f(t) = 2*t**2 - 3*t + 2. Is 20 a factor of f(s)?
False
Let w = 18 + -15. Suppose -j = w*j. Is (j + -1)/((-12)/384) a multiple of 16?
True
Let b(m) = 3*m - 6. Let z be b(3). Let h(g) = g**3 + 3*g**2 + 4*g - 4. Does 15 divide h(z)?
False
Let h be 1/((-5)/(-30)*3). Let w(a) = 6*a**2 + 3*a - 1. Does 16 divide w(h)?
False
Suppose 0 = j - 2*b - 604, -2*j + 1211 = 98*b - 101*b. Is 35 a factor of j?
False
Suppose 2*q - 3 = -2*s + 7, 0 = -4*s + q. Is 4 a factor of (-1)/5*s*(-155 + 0)?
False
Suppose 18*w = 10480 + 1454. Does 17 divide w?
True
Let g = -635 + 596. Let p = 40 - 58. Let c = p - g. Is c a multiple of 18?
False
Let x(t) = 2*t**2 + 20*t + 272. Does 17 divide x(-10)?
True
Suppose 2*b = -r + 9, -2*r = -2*b + b - 3. Let f = r - -1. Suppose f*v = 2*i + 14, -v - i = 2*v - 23. Does 3 divide v?
True
Let q(w) = 83*w - 4. Let c be q(-4). Is 13 a factor of ((-1)/3)/(4/c)?
False
Let x(a) = 5*a**2 - 27*a - 124. Is 7 a factor of x(-22)?
False
Let t(p) = -p**2 - 9*p + 2. Let i be t(-6). Suppose -2*q - i = -7*q. Suppose -18 = -z + q*d, -7*z - 3*d + 72 = -3*z. Is z a multiple of 6?
True
Let r(f) = 16*f - 1. Let s be r(1). Let j(w) = -w + 24. Is 3 a factor of j(s)?
True
Let z(j) = j**3 + j**2 - j + 7. Let b be z(0). Suppose -b*v + 8*v - 2 = 0. Suppose 0 = 2*q + v*q - 84. Is 5 a factor of q?
False
Let o = -487 - -684. Does 14 divide o?
False
Let o(a) = 3*a + 8. Let l be (-3)/(-2)*-2 + -1. Let w be o(l). Let k = w - -9. Is k a multiple of 5?
True
Suppose 4*p = -l + 404, 5*p + 3*l - 502 = l. Suppose 6*v = -p + 426. Does 41 divide v?
False
Does 5 divide (4/(-4))/(8/(-264))?
False
Suppose -s + 1055 = 5*i, 5*i = 2*s - 264 - 1831. Is s a multiple of 26?
False
Let g(n) be the second derivative of -n**5/20 + 7*n**4/12 - n**3/3 - 4*n**2 + 20*n. Does 8 divide g(6)?
True
Suppose 89*y = 40*y + 38220. Is y a multiple of 26?
True
Suppose 4*a - 79 = -3*k + 4*k, -5*k = -25. Suppose 595 = a*y - 4*y. Is 29 a factor of y?
False
Let c = -6734 - -9966. Does 31 divide c?
False
Let a(i) = 2*i**2 - 20*i + 172. Is 10 a factor of a(13)?
True
Suppose 9*m + 465 - 4920 = 0. Suppose -m = -5*y + 4*d, -5*d = y + 4*y - 540. Does 16 divide y?
False
Let k(w) = -w**3 - 10*w**2 + 22*w - 24. Let u be k(-12). Suppose -3*c - 880 = -5*y, u = c - 0*c. Is y a multiple of 17?
False
Let b(s) = 2*s**3 + 4*s**3 - 7*s**3 + s + 3*s**2 - 1. Let j be b(3). Suppose -3*o = o - j*n - 72, 18 = o + 4*n. Does 18 divide o?
True
Let z(f) = 30*f + 1. Let x(c) = 4 - 1 - 3 + 60*c + 2. Let a(j) = -4*x(j) + 9*z(j). Is 14 a factor of a(2)?
False
Suppose 50*v - 34*v = 4928. Does 10 divide v?
False
Does 17 divide (-15176)/(-84) - (-6)/(-9)?
False
Suppose 4*a + 73 - 1 = 0. Let f = 30 + a. Let t = 25 - f. Does 7 divide t?
False
Let s = -19 + 12. Let r = 10 + s. Let o(m) = 4*m**2 - 2*m + 5. Does 29 divide o(r)?
False
Let h = -7 + 13. Suppose 22*k - 40 = 17*k. Is 25 a factor of 204/k*16/h?
False
Is -3 + (-7 - -5) - -335 a multiple of 6?
True
Let p(o) = -o**3 + 5*o**2 + 14*o - 1. Does 2 divide p(-4)?
False
Let m(y) = -y**2 - 33*y - 172. Let x be m(-27). Suppose -3*c - c - 4 = 0. Is 11 a factor of ((-3)/3)/c - x?
True
Let p be 111 - -14 - 3*(-2)/(-3). Suppose -419 = -4*n - 5*s - p, 0 = -5*n + 3*s + 333. Does 9 divide n?
False
Suppose -103*o + 13248 = -95*o. Is 8 a factor of o?
True
Suppose 111 + 323 = 7*k. Is 19 a factor o