 x + 128. Is 16 a factor of b?
True
Let i(t) = t**2 - 8. Let f = 52 - 58. Let a be i(f). Suppose -2*c = 2*x + 8 - a, -2*c + 42 = 4*x. Is x a multiple of 11?
True
Let r(o) = -425*o**3 - 3*o**2 - 39*o - 66. Does 25 divide r(-2)?
True
Let q = -156 - -181. Suppose -4*u = -225 + q. Is u a multiple of 9?
False
Suppose 13 + 254 = -3*u. Let p = u + 22. Let d = p - -127. Is d a multiple of 15?
True
Suppose -286*p + 218*p + 34680 = 0. Does 3 divide p?
True
Suppose 0 = -3*q - 26*j + 25*j, -5*q - 8 = -j. Let f(h) be the first derivative of 209*h**3/3 - 3. Is 34 a factor of f(q)?
False
Let u = 7655 - 2406. Does 60 divide u?
False
Suppose 4*g - 1160 = 2*m + 20, -2*g = 5*m - 602. Is (-4)/(-52)*13 + 1*g a multiple of 38?
False
Let a(s) = 24*s**2 - 2*s - 2. Let b be a(-1). Suppose -19*y - 1065 = -b*y. Does 35 divide y?
False
Is 38 a factor of (-148272)/(-6) + (-5)/30*0?
False
Let i(s) = -8*s - 66. Let w be i(-9). Suppose -2*l = -0*c - 2*c + w, -3*c - 2*l = -29. Is 2 a factor of c?
False
Let n(g) = -996*g + 3462. Does 16 divide n(-13)?
False
Does 13 divide (-48)/6 + 1547 + -1 + 1?
False
Let s(m) = -m**3 - 6*m**2 + 5*m + 9. Let p be s(-8). Suppose 20*v - p = 63. Is 8 a factor of v?
True
Suppose 0 = -9*r - 96 + 78. Let q(f) = -f - 1. Let w(n) = 3*n**3 - n**2 + n + 3. Let o(a) = -6*q(a) - w(a). Does 7 divide o(r)?
True
Suppose 0*l = -l + 4*o, 0 = -4*o. Suppose l = -9*m + 18*m. Suppose -w = -4*y + 41 + 51, m = -3*w - 12. Is y a multiple of 7?
False
Suppose 20 - 90 = -5*n - 4*t, 3*n = t + 25. Let v = 6 + n. Suppose 13*z + 372 = v*z. Does 17 divide z?
False
Let l be (-2)/20 - (-21294)/140. Suppose y + 0*y = l. Suppose 3*f - c - 3*c - y = 0, 2*c = 8. Is 17 a factor of f?
False
Let s = -152 + 96. Let x = s - -12. Is 2 a factor of 11/x + (-1)/(8/(-170))?
False
Let l(o) = -3*o - 24. Let h be l(-9). Suppose -s = s + h*s. Suppose s = -5*c - 2*c + 588. Is c a multiple of 15?
False
Let p be ((-24)/18)/(6/(-9)). Let g be p + (17 - (2 - 0)). Suppose 2*h = -b + g, 7 = -2*b + 3*h + 48. Is 5 a factor of b?
False
Let s be (-9)/(-5) - 2/(-10). Let p be (10/40)/(s - 30/16). Suppose -127 = -4*g + n, 5*g + p*n - 149 = -0*g. Is 25 a factor of g?
False
Let c = -159 + 227. Suppose -25*p + c = -882. Is 12 a factor of p?
False
Suppose 10*y = -0*y + 49175 - 1505. Is y a multiple of 65?
False
Is -58 + 41 + 288516/12 a multiple of 18?
False
Let d(h) = h**3 - 16*h**2 - 5*h - 14. Let g be d(9). Let p = g + 926. Is p a multiple of 17?
False
Let h(x) = -9*x**3 + 11*x**2 + 3*x + 14. Let g(a) = 5*a**3 - 6*a**2 - a - 7. Let l(t) = -7*g(t) - 4*h(t). Let o be l(-3). Let y = o - -185. Does 15 divide y?
False
Suppose 54*b = 3*z + 59*b - 80081, 106783 = 4*z + 5*b. Is 79 a factor of z?
True
Let b be (1 - 0)*-2*7/14. Is 23 a factor of (-3162)/(-6) + b + 2?
False
Let x(r) = -4*r**3 - 15*r**2 - 11*r + 5. Let v(j) = 2*j**3 + 8*j**2 + 5*j - 2. Let h(a) = 5*v(a) + 2*x(a). Suppose -u = 4*u + 20. Is h(u) a multiple of 17?
False
Suppose 0 = w + 3*w + 5*p - 944, -p = 4. Suppose 12 + w = y. Does 15 divide y?
False
Let n(p) = -13*p**3 + p**2 - p - 1. Let u be n(-1). Suppose -4*g = -5*o - 337, 0 = -11*g + u*g + 5*o - 209. Does 13 divide g?
True
Let h(u) = u**2 - 9*u + 16. Let c be h(7). Is 9 a factor of c*79 - (-11)/((-11)/4)?
False
Suppose -5*b + 3 = 2*d + 78, -30 = 2*b - 2*d. Does 40 divide 402 + -1 - 5*(-3)/b?
True
Let p(d) = 157*d**2 + 413*d + 5131. Is 15 a factor of p(-13)?
True
Let i(t) = -8*t - 11. Let o be i(-7). Suppose 41*r + 92 = o*r. Let h = 12 + r. Is 7 a factor of h?
True
Suppose 4*w - 8 + 213 = 3*h, -3*h + 9 = 0. Let j = w - -115. Is j a multiple of 24?
False
Suppose -150637 = -37*o + 446648 + 78261. Is o a multiple of 11?
False
Suppose 26*k - 22*k = 88. Let z(o) = -o**3 + 22*o**2 + 7*o + 28. Is z(k) a multiple of 14?
True
Let c be (-1698)/(-5)*(-10)/4. Does 9 divide (-26)/91 - c/7?
False
Suppose -c - 93 = -3*j + 2032, -5*c = -j + 671. Is j a multiple of 3?
True
Let i(d) = 29*d - 581. Let k be i(20). Let g = -3 + 0. Does 28 divide (g - k) + -5 + 35?
True
Let n(s) = -s**3 - 12*s**2 + 21*s + 254. Let h be n(-12). Let l(p) be the first derivative of 4*p**3 - 3*p**2/2 + 2*p + 1. Is 19 a factor of l(h)?
False
Let a(s) be the second derivative of 587*s**3/6 - 13*s**2 + 61*s - 2. Is a(1) a multiple of 61?
False
Suppose t - 17 = -3*b, -b - 3*t = -7*t + 3. Let j(v) = -v**3 + 5*v**2 - 3*v + 17. Let k be j(b). Suppose 0 = 4*g - k*g - 160. Does 28 divide g?
False
Suppose -64*s + 59*s = -8105. Suppose 9*k - 1214 = s. Does 45 divide k?
True
Let m be (-16)/(-24) - (-2054)/6. Suppose 41 = 4*z + 5*k, -6*z + 2*z + 5*k + 71 = 0. Suppose 7 - m = -z*o. Does 12 divide o?
True
Suppose -4*p - 60 = 3*w + 165, 5*w - 2*p + 401 = 0. Suppose -b + 106 + 81 = -2*m, 0 = 2*m - 4*b + 178. Let j = w - m. Does 3 divide j?
False
Let z be 2*((-6)/4 - -3). Suppose 25*j - 24*j - 2 = 0, c + z*j = 180. Is c a multiple of 8?
False
Let t be -2 + -1 + 3 + 270/27. Suppose -42 = 9*a - t*a. Is 9 a factor of a?
False
Let a(p) = -55*p**3 + 2*p**2 - 8*p - 37. Is 17 a factor of a(-4)?
False
Suppose -9*y + 437 = -7*y - q, y + q - 211 = 0. Suppose 2*v + 2*a - y = -2*v, -2*v + 124 = 5*a. Is v a multiple of 10?
False
Does 27 divide (1 - (-3829)/1) + (-259 - -254)?
False
Let u(a) = -a**3 - a - 90. Is u(-11) a multiple of 51?
False
Suppose 4*k + 36 = -2*b, k = -k - 2*b - 22. Let p be 4/k + 12701/91. Suppose p = 6*d + 7. Is d a multiple of 11?
True
Let g(z) = -13*z - 3. Let a be g(0). Is 29 a factor of (-697)/a + 10/60*-2?
True
Is 8 + 0 + -4 + (0 - -8887) + 6 a multiple of 41?
True
Suppose -13*y + 8*y = -10. Suppose -3*l = -12, -32 = -4*z + y*l - 6*l. Is 7 a factor of (3 - z)/2*-56?
True
Let t = -637 + 5231. Let r = -2917 + t. Does 39 divide r?
True
Let a be (-72)/12 + 16/2. Suppose 4*w + 2512 = 4*k - a*k, -w = 1. Does 19 divide k?
True
Is (-1856580)/(-2145) + 12/26 a multiple of 3?
False
Let x(u) = 2*u**2 - 11*u + 3. Let r be 1 + 1 - (0 - -12). Does 19 divide x(r)?
False
Let k = -44 + 51. Let q(h) = h**3 - 8*h**2 + 7*h - 6. Let f be q(k). Is 23 a factor of (345/(-10))/(3/f)?
True
Let y(m) = -m**2 + 51*m + 26. Is 26 a factor of y(26)?
True
Let f be (5 - (-146)/(-30)) + (-58)/(-15). Suppose 10*i + f - 24 = 0. Suppose -2*k + 0 - 4 = 0, 0 = 3*h + i*k - 296. Is h a multiple of 50?
True
Suppose f - 20*f + 215213 = 0. Is f a multiple of 51?
False
Let f be (605 + 5)/(16/8). Suppose 5*u = -2*n + f, -u - n - 13 = -74. Is u a multiple of 3?
False
Let t(w) = 11*w. Let r be t(7). Suppose -792 = -r*y + 71*y. Is y a multiple of 12?
True
Suppose 262 + 111 = -5*o - 3*p, -4*p = 4*o + 300. Let b = -3328 + 3390. Let n = b - o. Is n a multiple of 23?
False
Suppose -4951 + 583 = 14*w. Let u = w - -338. Is u even?
True
Let u(w) be the second derivative of 61*w**4/12 - 5*w**3/6 - 7*w**2 + 16*w. Let p be u(-3). Suppose 5*v - p = 3*o, 4*v - 458 = o - 25. Does 8 divide v?
False
Let g(c) = -26*c - 168. Let n be g(-13). Let w = n - -144. Is w a multiple of 10?
False
Let y(h) = 4*h**2 - 110*h - 42. Let j be y(28). Let r(g) = 5*g + 1 + 0 + 14. Is 16 a factor of r(j)?
False
Let q = 9 - 4. Suppose -4*i - 85 = -7*i + 5*x, x = -5*i + 179. Suppose 4*w + w + 5*f - 45 = 0, -3*w - q*f = -i. Is 4 a factor of w?
False
Suppose 2*p + 320 = -0*p. Let v be ((-55)/25 - -1)/(2/p). Let n = 106 - v. Is n a multiple of 5?
True
Let q(h) = -5*h**2 - 5*h - 2. Let g be q(6). Let t be (-15)/(63 - 18)*174/4*22. Let x = g - t. Does 7 divide x?
False
Let f = 205 - 202. Suppose -2*n - f*n + 4240 = 0. Does 106 divide n?
True
Let b(q) = q**2 + q + 30. Let a(d) = 15*d + 87. Let w be a(-7). Does 12 divide b(w)?
True
Let z be 162/4 - (1/2 - 0). Suppose 2*o = 4*v - 214 + z, 0 = -4*v + 3*o + 177. Let p = v - 24. Is 9 a factor of p?
True
Suppose -c + 3 = -2*s, -5*s + 102 = 4*c + 25. Let q be 740/260 - (4/c)/(-2). Suppose -242 - 23 = -2*x + q*j, -4*j - 680 = -5*x. Does 28 divide x?
True
Let l(z) = -3*z**2 - 3*z - 3. Let t be l(-6). Let i = t - -203. Suppose -r - 9 + i = 0. Is r a multiple of 27?
False
Suppose -4*y + 131374 = 167*v - 162*v, 2*y = 3*v + 65676. Is y a multiple of 78?
False
Suppose 2*o = -x + 3218, 65*o - 8045 = 60*o + 4*x. Is o a multiple of 15?
False
Let x be (-5)/(4 + -6 + 1). Suppose -3*r + 7*s = 5*s - 285, x*r = 5*s + 475. Is 18 a factor of r?
False
Suppose -10*k + 29 = -1. Suppose y - 26 = 4*q - 8, -10 