2*p - 50. Let h(k) = k**3 + 2*k**2 - 7*k + 16. Let o(d) = -2*f(d) - 7*h(d). Is o(-7) a multiple of 9?
True
Let u be (1382/3)/((-16)/24). Let h = u + 1490. Does 47 divide h?
True
Let y(h) be the second derivative of h**4/12 - 21*h**2/2 + 41*h. Let q be y(-5). Suppose 3*m = -q*s + 5*m + 640, 0 = 4*s - m - 636. Is s a multiple of 12?
False
Let h(w) = -10*w - 9. Let v(l) = -8 - 2*l + 2 + 7 + 12. Let b be v(8). Does 6 divide h(b)?
False
Let a(l) = 5*l + 4. Let k be a(-4). Let s be (-753)/15 + (36/30 - 1). Let m = k - s. Does 19 divide m?
False
Let v(x) = -x**3 - 13*x**2 + 15*x + 18. Let p be v(-14). Let r be 0 - (p + 61 + 2). Let g = 156 + r. Is g a multiple of 14?
False
Let g(c) = 8*c**2 - 155*c + 30. Is g(70) a multiple of 129?
True
Let m(n) = 2*n**2 + 22*n - 22. Let l be 6 - (-1122)/(-54) - 6/27. Is m(l) a multiple of 13?
False
Let l = -4039 - -4870. Is 2 a factor of l?
False
Let n = -1047 - -1143. Does 48 divide n?
True
Suppose -15*z = -18*z + 2580. Let s = -442 + z. Does 27 divide s?
False
Suppose -4556 = -3*y - 4*w + 7816, -4*y + 16470 = w. Is 42 a factor of y?
True
Suppose p - 2*d + 1 = 0, 4*p - 2*p + 7 = 5*d. Suppose 2*i - 5*i + p = 0, 2*r = i + 3. Suppose 0*h - r*h + j = -101, -5*j - 57 = -h. Is h a multiple of 8?
True
Suppose 36*m - 17780 = 31*m + 5*f, -4*m - 4*f = -14208. Does 10 divide m?
False
Let c be -6*(5/(-20) + (-15)/36). Suppose c*s = -m - m + 312, 0 = -4*s - 8. Suppose -m = -5*b - 5*f, -16 - 40 = -3*b + 5*f. Does 5 divide b?
False
Suppose 3 = o, 0 = -3*f - 0*f - o + 177. Suppose -3*a + f - 16 = j, 0 = 4*j + a - 190. Is 18 a factor of j?
False
Suppose 0 = -2*v - 5*b + 60 + 32, -v = 4*b - 40. Let o(t) = t**3 - 6*t**2 - 4*t - 106. Let p be o(11). Suppose 7*n = -v + p. Is n a multiple of 28?
False
Suppose 3*x + 0*z = -2*z, -2*x + z + 7 = 0. Suppose -x*d = 3*d - 1060. Suppose -2*h + 4*s = -d, -3*s - 85 - 22 = -h. Is h a multiple of 15?
False
Suppose 0 = -5*s + 3*b - 2256, 5*b + 33 - 1843 = 4*s. Does 11 divide (-50)/s - (2222/(-9) - -1)?
False
Let a be 7850/75 - 1*1/(-3). Let d = 36 + a. Is 8 a factor of d?
False
Let m = -3015 + 10321. Is 56 a factor of m?
False
Suppose -3*n + 172 = -98. Let y = n - 36. Is y a multiple of 14?
False
Let q(f) = -14*f - 25. Let d(i) = i + 1. Let a(c) = 5*d(c) + q(c). Let l be a(-3). Suppose 37 = l*v - 103. Does 19 divide v?
False
Suppose -5*m + 2*m = 3*m. Suppose 5*n - 15 = 0, m*n = -2*j - 3*n + 295. Is j a multiple of 11?
True
Let t(y) = 4 + 3 + 12*y - 3*y. Let o(m) = -m**3 - 45*m**2 + 93*m - 39. Let g be o(-47). Does 18 divide t(g)?
False
Suppose -5*z - 2*j = -30, 0*z - 5*z + 3*j + 5 = 0. Suppose 4*k - 1848 = -4*m, 0 = z*m - 3*k + 102 - 1971. Is m a multiple of 15?
True
Let h(i) = -i**3 + 56*i**2 - 73*i + 1126. Is 80 a factor of h(47)?
False
Is 15 a factor of 1/((67/201)/((-1373)/(-3)))?
False
Suppose 3*h - 51 = -5*y, 3*y = 4*h - y - 100. Let a(x) = -h*x**2 + 28*x**2 - 3 + 2. Is a(-1) even?
False
Suppose -18*g + 19*g = 68. Suppose -3*i - 5*n = -2*i - 1, 2*n + g = -4*i. Is (-1 + 2 - 0)*-1*i a multiple of 6?
False
Suppose -9*t - 117 = -6*t. Let a = t - -43. Suppose 4*z - q - 186 = -0*q, -178 = -a*z - 3*q. Does 23 divide z?
True
Let x = -16 + 34. Suppose -3*z = t - 23, -2*t + x = -3*z + 5*z. Suppose -4*m = z - 23. Is m even?
True
Let d(f) = 219*f - 2896. Is d(20) a multiple of 28?
True
Let f = 4908 + -1998. Is 50 a factor of f?
False
Let t(x) = -2*x + 113*x**2 + 30*x - 114*x**2 - x - 3. Is 23 a factor of t(17)?
False
Suppose -9*x - 1081 = -5428. Suppose 5*q = 4*s - x, -61 + 305 = 2*s - 2*q. Is s a multiple of 7?
False
Let v(b) be the first derivative of -3*b**4 - 2*b**3/3 + 2*b**2 + 6*b - 26. Is v(-3) a multiple of 9?
False
Let t(j) = j - 23. Let z be t(25). Suppose 2*p - 501 = 3*n, 153 = -n - 2*p - z*p. Let w = -29 - n. Is w a multiple of 34?
True
Let t be 3/6*15*72/90. Suppose t*z - 11154 = -7*z. Is z a multiple of 26?
True
Let w(u) = -u**3 - 3*u**2 + 8*u - 10. Let q be w(6). Let p = q + 516. Is 28 a factor of p?
False
Suppose -36410 = 7*s - 12*s - 3*v, 0 = 3*v. Is 11 a factor of s?
True
Suppose 0 = -6*t + 9*t + 3. Let d be (-27087)/21 + ((-1)/(-7))/t. Does 45 divide d/(-16) - 27/(-72)?
False
Let c(f) = -f**2 - 10*f - 4. Let l = -57 + 48. Let g be c(l). Suppose g*a - 9*a + 336 = 0. Is 12 a factor of a?
True
Let f = -1400 - -4409. Is 6 a factor of f?
False
Let r(n) = 17*n - 1. Let s be r(-4). Let i = 512 - 573. Let m = i - s. Is 4 a factor of m?
True
Let b = 36214 + -19582. Is b a multiple of 132?
True
Let a(c) = 3*c**2 - 23*c - 16. Let w be a(10). Suppose p + 5*x - w - 12 = 0, 0 = -5*x - 5. Is p a multiple of 29?
False
Is 16 a factor of (-28736)/3*(-183)/122?
True
Let n = -36 + 26. Let h be (-42)/(-35)*n/(-4). Let s(r) = 2*r**2 - 2*r - 2. Is 10 a factor of s(h)?
True
Let m be 10/40 - (-4844)/16. Let x = m - -108. Is x a multiple of 23?
False
Let x = 32 + 94. Suppose -12*z - x = -15*z. Suppose -z + 142 = 4*h. Is h even?
False
Let v = 673 - -680. Is 29 a factor of v?
False
Suppose 43*t = -34*t + 75*t + 196. Is 8 a factor of t?
False
Let m be -4 + (-72)/4 - 6. Is 29 a factor of (13 + -115)/(-1 + (-22)/m)?
False
Suppose -24516 = -6*i - 10575 + 27819. Does 145 divide i?
True
Suppose 4*u + 22*m - 927 = 17*m, -694 = -3*u - 4*m. Suppose 3*j + g = u, 32*j + 3*g = 34*j - 144. Is 13 a factor of j?
True
Let q(r) = 1 - 12 - 12 + 10*r + 5. Is 13 a factor of q(19)?
False
Does 38 divide 4/50 + ((-142480)/(-125))/2?
True
Let g(m) = 309*m - 108. Does 34 divide g(2)?
True
Is 17 a factor of ((-8992)/64)/(1/(-16))?
False
Let l = -49 - -56. Let f(j) = j**3 - 3*j**2 + 6*j - 58. Is f(l) a multiple of 13?
False
Suppose 3 = -2*d - 1. Let v(m) = -297*m - 55. Let o(c) = -11*c - 2. Let z(u) = 55*o(u) - 2*v(u). Is z(d) a multiple of 11?
True
Let h = 23601 - 12177. Is h a multiple of 102?
True
Suppose -5*j = 10, 5*j + 3281 = 4*l - 39705. Is l a multiple of 13?
False
Let f(o) = 5*o + 1. Let q be f(4). Let d = 101 - q. Is d a multiple of 20?
True
Let v(p) = -p**3 + 24*p**2. Let i be v(24). Is 55 a factor of 6 + 268 + (i - -1)?
True
Let w be (-3)/2 - 330/(-44). Suppose w*k + 167 = 599. Does 12 divide k?
True
Let y = -58 - -61. Suppose 0 = y*x - 4*t - 120, 5*x + 4*t = -21 + 189. Is x a multiple of 17?
False
Let m(b) be the first derivative of b**4/2 + b**3 - 17*b**2/2 + 31*b - 99. Does 9 divide m(3)?
False
Suppose 3*j + 22482 = 12*j. Suppose -14*i = -j - 4894. Does 33 divide (4 - (-50)/(-8))/((-9)/i)?
True
Let o(x) = 17*x + 10*x + 39*x - 104. Is 58 a factor of o(13)?
True
Let u(o) = -12*o**2 - 17*o - 149. Let i(h) = -11*h**2 - 16*h - 150. Let v(a) = 5*i(a) - 6*u(a). Is 23 a factor of v(-7)?
False
Suppose -13*k - 2377 = -635. Let x = 354 + k. Is 5 a factor of x?
True
Suppose r = -5*h - 0*h + 660, -4*r = 5*h - 2580. Suppose -538 = 6*o - r. Is o a multiple of 4?
False
Let d = 76 - 74. Suppose d*g - 2*n = 248, 3*g = g - 5*n + 220. Is g a multiple of 15?
True
Let p = 11448 + 4212. Does 29 divide p?
True
Let q(u) = -u + 4. Let v be q(2). Suppose -4*t - 193 = 3*r - 1611, -1063 = -3*t - v*r. Does 15 divide t?
False
Suppose 5*b - j - 993 = 0, 2*b - 2*j = 2*j + 390. Is b a multiple of 3?
False
Let k be 0 - (-4)/(-12)*-3. Let q be -1*((3 - 7) + k). Suppose 2*g = -3*w + 23 + 19, -q*g = -5*w - 44. Does 9 divide g?
True
Suppose 4*b - 40 - 32 = 0. Let o = b + -26. Does 12 divide 4/(o/(-94)) + 1?
True
Let f be ((12/(-8))/3)/((-4)/1608). Let l = f + -170. Is l a multiple of 2?
False
Suppose -l + 2*l = -z + 96, 4*z - 4*l - 416 = 0. Suppose -429*w + 427*w + z = 0. Does 3 divide w?
False
Suppose 0*y - 10 = 5*y. Let h be 23/y*(1 - 7). Let w = -21 + h. Is 16 a factor of w?
True
Let v = 5932 - 5202. Is 2 a factor of v?
True
Let h(x) = x**3 - 8*x**2 - 9*x. Let q be h(9). Suppose -5*w + 152 = 3*k, q = -w + 3*k - 7*k + 27. Let v = 57 + w. Does 24 divide v?
False
Let w(p) = 1043*p - 226. Is 20 a factor of w(4)?
False
Suppose -176*i = 351062 - 1977302. Is i a multiple of 42?
True
Let r(z) = 7*z**2 - 3*z - 1. Let p be r(-1). Suppose 0 = -7*d + 44 - p. Suppose -103 - 57 = -5*x + 5*m, d*x + m - 166 = 0. Is 4 a factor of x?
False
Let v(c) = c**3 - 4*c**2 - 5*c + 55. Let r be v(6). Let n = 102 - r. Is n even?
False
Let d(j) = -2*j + 48. Let a be 1 + 6 + -34 + 31. Is 10 a factor of d(a)?
True
Let g(y) = 416*y - 115. Let o be g(3). Let f = 2041 - o. Does 7 divide f?
