 - h. Is 13 a factor of z?
True
Let p be (-4)/10 + (-289426)/235. Is 44 a factor of (-3)/(72/p)*(6 + 0)?
True
Is 4 a factor of 12/(-6 - (43/3698)/((-2)/1036))?
True
Suppose -11 + 46 = d. Suppose -12 = -6*r - 0*r. Suppose -l = r*i - 6*i - 26, -l - 5*i + d = 0. Is l a multiple of 30?
True
Suppose -13*x = -15*x + 148. Let g = -4 + x. Is g a multiple of 14?
True
Suppose 510*m - 4492697 = -170673 + 7912366. Is 7 a factor of m?
True
Let x(m) = 4*m**2 + 2*m. Let y be x(-1). Suppose -135 = -y*w - 139. Does 52 divide ((-208)/(-10))/(w/(-5))?
True
Suppose 59 - 6 = n. Suppose 0 = -2*d + 39 + n. Suppose 43*z = d*z - 156. Does 52 divide z?
True
Suppose x = -14*n + 13*n + 2496, n + 3 = 0. Suppose 0 = 3*o - x + 99. Is o a multiple of 16?
True
Let x = 298 + 522. Is x a multiple of 20?
True
Suppose -1008 = -3*h + 3*x, 4*h - 3*x - 2019 + 677 = 0. Suppose 116 + h = -9*g. Let f = g + 63. Does 3 divide f?
False
Suppose w - 3*s = 6184, 31*w - 3*s = 34*w - 18480. Does 23 divide w?
False
Let s(x) = -x**2 - 10*x - 15. Let g be s(-6). Let y be (-10 - -5) + 8 + 73*g. Suppose 15*w - y = 4*w. Is w a multiple of 6?
True
Let f(n) = 27*n**2 + 19*n + 694. Is 26 a factor of f(-30)?
False
Let l be (3 - (-45)/25)*20/3. Let w = -29 + l. Suppose w*z + 2*g - 202 = 0, -8*g - 251 = -4*z - 7*g. Does 8 divide z?
True
Suppose -266*u + 264*u = z - 5631, 16897 = 3*z + 4*u. Is 20 a factor of z?
False
Suppose 1626*c - 1632*c = -18. Suppose c*m - 554 - 172 = 0. Is 7 a factor of m?
False
Suppose -34*o + 11863 = -275. Is o a multiple of 64?
False
Let h = -27 + 201. Does 12 divide 9/(-21) - h/(-14)?
True
Suppose -8545 = 4*a - 30981. Does 9 divide a?
False
Let w(y) = 306*y**3 + 26*y**2 + 128*y - 627. Is w(5) a multiple of 51?
True
Let p(m) = -m**3 + 4*m**2 + 16*m + 2. Let s be p(6). Is (6 - s)/(-4) + 80 a multiple of 3?
False
Let q = 12 - 8. Suppose -2*x + 10 = -4*x - 5*v, 0 = -4*x - q*v - 32. Does 16 divide (-988)/x + (-5)/(-25) + 3?
False
Suppose -3*r + r - 3*y - 5 = 0, 5*r + 4*y - 5 = 0. Suppose -r*z + 0*z + z = 0. Let c = z - -37. Does 6 divide c?
False
Let i(x) = x**3 + 7*x**2 - 9*x + 2. Let s(t) = -t**3 - 7*t**2 + 8*t - 1. Let v(g) = -4*i(g) - 5*s(g). Does 39 divide v(6)?
False
Is 29 a factor of 1559424/512 + (-6)/8?
True
Suppose 2*g - 3*w = -g + 99, 4*g + 2*w - 120 = 0. Let o be (-16)/(-2)*24/(4416/23). Does 2 divide o + 23 + g + -34?
False
Let c be 34 - (2 + -1 - 2). Suppose 5*k - c = 6*k. Let v = 55 + k. Does 13 divide v?
False
Suppose -3*y + 5*k = -301, 5*y - 2*y - 287 = -2*k. Let r = -69 + y. Does 12 divide -5 + 7/(r/552)?
False
Suppose 2*a - 34*a = -129600. Does 25 divide a?
True
Let l(b) = 3*b**2 + 15*b + 1548. Is l(0) a multiple of 36?
True
Let q(x) = x**3 + x**2 - 18*x + 51. Let l be q(0). Suppose -49*g - 968 = -l*g. Is 22 a factor of g?
True
Let q = -478 + 1904. Does 31 divide q?
True
Let q be -4 - (-5 - 9 - -6). Let b = -1 - -3. Is 3*b/8 - (-5)/q a multiple of 2?
True
Let f(j) be the second derivative of 5/3*j**3 + 0 - 11*j - 1/12*j**4 - 5/2*j**2. Does 7 divide f(7)?
False
Let j(d) = d + 23. Let i be j(-21). Is 3 a factor of (-2983)/(-95) - i/5?
False
Suppose 2*m - 496 = -2*m. Let w = m + -30. Suppose -13*j = -15*j + w. Does 18 divide j?
False
Is 21 a factor of (-185 + 504/(-28))/(2/(-30))?
True
Let z(h) = 12*h**3 - h**2 - h - 4. Let p = -51 + 54. Does 10 divide z(p)?
False
Let y = 314 + -264. Does 3 divide (-2)/(-10)*93 - 30/y?
True
Let t(k) be the first derivative of k**3/3 + 19*k**2/2 + 5*k + 26. Let h be t(-19). Let l = h - -39. Is 12 a factor of l?
False
Is 67 a factor of (-1 - -34006)*((-4)/26 - (-20705)/13325)?
False
Let y be (-2)/9 - (-5 - 92309/63). Suppose 76*d - y = 70*d. Does 8 divide d?
False
Suppose 2*c + 5*j - 94 = c, 2*c = -5*j + 168. Let l = 35 + c. Is 7 a factor of l?
False
Let d = 70 - 28. Suppose 34 + 35 = 2*s - q, d = s - 3*q. Let g = 53 - s. Is g a multiple of 10?
True
Let i = -148 + 157. Suppose 13 + i = 2*t. Let n(f) = f**2 + 15*f - 12. Is 17 a factor of n(t)?
False
Let l be 1/(-4 + 2) - (-9567)/18. Let p = l - 438. Is 31 a factor of p?
True
Let c(z) = 1288*z + 1540. Let a(o) be the first derivative of -33*o**2 - 79*o - 33. Let k(f) = -98*a(f) - 5*c(f). Is 30 a factor of k(7)?
False
Let s = 13031 + 4710. Is s a multiple of 157?
True
Suppose u + 20*o - 58 = 16*o, -2*u - 4*o = -96. Suppose 108 = -u*y + 4744. Is 6 a factor of y?
False
Let n be 6*(5 - (-4 - -6)). Let j = n - 21. Let a = 43 - j. Does 26 divide a?
False
Let x(j) = -5413*j**3 - 17*j**2 - 2*j - 2. Does 71 divide x(-1)?
True
Let n(v) = -207*v - 195. Let q be n(-9). Let y = q + -1038. Does 63 divide y?
True
Let g(p) = -3 - 1 + 98*p**2 - 15*p**2 + 3*p**2 + 3*p. Is g(-3) a multiple of 10?
False
Let d be (-1)/4 + 54/(-8). Let b(l) be the first derivative of l**3/3 + 3*l**2/2 + 3*l - 13. Is b(d) a multiple of 4?
False
Let f(z) be the second derivative of 5*z**4/12 + 2*z**3 + 23*z**2/2 + 8*z - 5. Is 33 a factor of f(-8)?
False
Let t(v) = v**2 - 17*v - 75. Let r be 0 - (-3 + -4 + 3) - 2. Suppose -3*y + 63 = 3*s, -5 = -r*s + 2*y + 37. Is t(s) even?
False
Let b = 2 - 2. Let g = 4323 + -3421. Suppose 0 = 4*j + s - g, 456 = 2*j + 3*s - b*s. Is j a multiple of 45?
True
Suppose 0 = -3*g - 4*u + 16906, 5*g + 1696 = -4*u + 29878. Does 30 divide g?
False
Let d(v) = -212*v**3 - 5*v**2 - 5*v - 2. Let b be d(-2). Let x = b - 1148. Is x a multiple of 40?
False
Suppose -2*j - 34 = -5*p, p + 0*p + 90 = -4*j. Let x = j + 1054. Suppose 0*z = 4*z + l - x, -3*l = -3*z + 789. Does 18 divide z?
False
Suppose -w + 16 = -22. Let a be 9*((-51)/85 + w/30). Suppose a = -2*y, -4*y + 404 = 2*r + 2*r. Is 13 a factor of r?
True
Suppose g = 4*z - 1988, -2*z - 4*g + g = -994. Let j = -134 + z. Does 10 divide j?
False
Suppose k - 1 = 3*t + 22, k + 2*t = 23. Suppose -20*g - 237 = -k*g. Is 67 a factor of g?
False
Let f = 13 + -44. Suppose 0 = 15*d + 305 + 805. Let k = f - d. Is 43 a factor of k?
True
Suppose 8*s = 5*s - 1221. Let l = s - -448. Is 14 a factor of l?
False
Let t(n) = 41*n**2 - 9*n. Is t(-5) a multiple of 4?
False
Suppose 43*c = -87*c - 18*c + 922336. Does 76 divide c?
True
Let s = -4376 + 5104. Is s a multiple of 12?
False
Let t = -277 - -282. Suppose -b + 1494 = b + f, t*f + 10 = 0. Does 44 divide b?
True
Suppose -3*q + 689 + 307 = 0. Let t = q - 242. Is t a multiple of 9?
True
Let d(s) = -10*s**2 - s + 19898. Is 86 a factor of d(0)?
False
Is 82 a factor of 2 - (-16367 - 0) - (8 - 1)?
False
Let t(f) = -f**2 - 14*f - 18. Let p be t(-8). Let w = p + 30. Suppose 2*s - r - 75 = -0*s, -5*r = -s + w. Is 9 a factor of s?
False
Let k = 40357 - 37727. Is 10 a factor of k?
True
Let c be ((-662)/(-2) - 1) + (-4 - -6). Let h = c - 185. Is h a multiple of 8?
False
Let d(h) = -2*h - 4. Let k be d(38). Is 43 a factor of k/140 - (-1)/(7/1509)?
True
Suppose 0 = -3*c - 12, 0 = 4*n - n - 2*c - 524. Is 4 a factor of 25/(-25) - (-1 - n)?
True
Does 24 divide (-157 + 1655)*(-6)/(-4)?
False
Suppose 0 = -7*b + 2*b - 3*f + 372, 4*b - f = 284. Let m = b + -72. Suppose 5*p + m*p = 100. Is p a multiple of 4?
True
Is ((-5)/(-50)*-56 - (-4)/(-10)) + 6740 a multiple of 13?
True
Let m be -4 + (-520 - (-1 + -4)). Let j = m - -1002. Is 39 a factor of j?
False
Let b = 5057 + -3935. Is 3 a factor of b?
True
Suppose -4*p = 2*r - 12, -5*p = -8*p - 5*r + 2. Does 9 divide (2 - -43)/((p + -2)/2)?
True
Let k = 6456 + -2240. Is k a multiple of 68?
True
Let j be (1 - (-2 - 217))*115/92. Suppose -j = -s - q, s + 3*q = 278 + 3. Does 8 divide s?
True
Suppose 4*a + 0*i - 3*i = -36, 5*a = 2*i - 45. Let m(p) = 19 + 5*p**2 + 0*p**2 + p**3 - 4*p + 5*p**2 - p**2. Is 11 a factor of m(a)?
True
Let z(g) = -g**3 + 36*g - 18*g + 1 - 19*g. Let i(v) = -4*v**3 + 13*v**2 - 2*v + 24. Let n(l) = i(l) - 3*z(l). Is n(13) a multiple of 2?
True
Suppose 5*n = -4*i + 417, 4*n = 6*n + 3*i - 164. Suppose -2*h = -o + h - 2, 22 = -3*o + 5*h. Let c = n + o. Does 9 divide c?
False
Let j be (21/6)/(3/42*-1). Let v(k) = -2*k**2 - 116*k - 126. Is v(j) a multiple of 7?
True
Is 31 a factor of (11979/45 + (-4)/(-5))/((-33)/(-341))?
True
Let f(g) = 16*g + 11*g - 31 - 40*g. Is f(-11) a multiple of 8?
True
Let x(z) = 3*z - 19. Let j(n) = 3*n - 19. Let s(q) = -3*j(q) + 2*x(q). Suppose 5 = -72*m + 5. Does 10 divide s(m)?
False
Let g be (0*((-117)/(-27))/(-13))/1. Let j(a) = a - 1. Let r(b) = -b**3 - b - 2