8))?
True
Let m(g) = 2*g + 12. Let p be m(-6). Suppose -5*o + 4 + 6 = p. Suppose 74 = k + x - 7, -o*k + 5*x + 141 = 0. Is k a multiple of 26?
True
Does 13 divide (27 + -5 - -4)*2?
True
Let g(x) = -x**3 - 2*x**2 + 5*x - 2. Let l be g(-5). Suppose -f - f + 51 = -3*k, 2*k - 26 = -2*f. Let v = l - f. Is v a multiple of 8?
False
Suppose a + 2 = 2*h, -5*h - 2*a + 16 = a. Suppose -3*b = 2*d - 10, h*b - 11 = -2*b - 5*d. Suppose b = -3*f + 7*f, -2*p = -5*f - 5. Is 5 a factor of p?
True
Let t = 53 + 370. Does 9 divide t?
True
Suppose -4*z - 4406 = -4*l + 1602, -2*z = l - 1508. Is l a multiple of 94?
True
Let s(k) = -2*k**3 + 3*k**2 + 4*k - 2. Let q be s(3). Let a be 0 + 2 - (q + 19). Suppose n - 7 - 36 = a. Is 13 a factor of n?
False
Suppose -d = -2 - 3. Suppose 2*f = -2*f, 3*f + 155 = d*t. Let o = -1 + t. Does 5 divide o?
True
Let s(n) be the first derivative of 39*n**2/2 + 6*n + 19. Is s(2) a multiple of 28?
True
Suppose m + 2 = -3*s, -2*m - 13 = -3*s - 0. Let a(c) = -2*c - 5. Let d be a(m). Suppose d*b - 146 - 104 = 0. Is b a multiple of 10?
True
Suppose -7531 = -8*x + 5349. Is x a multiple of 46?
True
Let b = -22 - -20. Let c(a) be the third derivative of a**5/3 - a**4/24 + a**3/3 - 2*a**2. Is c(b) a multiple of 14?
True
Does 44 divide 902/3*(-3)/(-36)*18?
False
Let w be (3/2)/(2/(-48)*-9). Suppose w*o - 2444 = -9*o. Does 47 divide o?
True
Suppose -5*q + 210 = -250. Suppose -8*f + q = -6*f. Is 6 a factor of f?
False
Let b = -23 + 37. Let n be (8/b)/((-3)/(-21)). Suppose -5*l = -4*a + 73 - 3, -54 = -n*a - 3*l. Is 5 a factor of a?
True
Does 21 divide -9 + 3 - -426*1?
True
Does 43 divide ((-42)/30 + 1)/(4/(-1790))?
False
Suppose 0 = -u + 5, 172 = 5*z + 3*u - 173. Let f = -24 + z. Is 7 a factor of f?
True
Let t(w) = -w**3 + 22*w**2 + 28*w. Let d(n) = -2*n**3 + 2*n**2 + 2*n + 3. Let s be d(-2). Is t(s) a multiple of 23?
True
Let a(v) = -v**2 - v - 9. Let b be a(0). Let q = -3 - b. Suppose 2*o + 4*j = 156, q*o - 5*j = o + 315. Is 19 a factor of o?
False
Suppose 5*w = -d + 14, -4*w + 7 + 2 = 3*d. Suppose 0 = 4*g - o - 673, -3*g + 5*o + 117 + 392 = 0. Suppose -w*i + g = i. Is 10 a factor of i?
False
Let a = 87 + -83. Suppose 2*h + 509 = 5*b - 0*b, 0 = -3*b - a*h + 321. Is b a multiple of 12?
False
Let g(u) = -1881*u - 137. Is 93 a factor of g(-2)?
False
Suppose -36*l + 34*l + 2482 = 0. Is l a multiple of 19?
False
Suppose 0 = -2*d - 5*l + 10, -13 = -4*d + 2*l + 31. Is 10 a factor of d?
True
Let j = -34 - -243. Is 19 a factor of j?
True
Suppose -u - 275 = -1135. Suppose 6*t - u = -5*q + t, 0 = -5*q + t + 854. Let y = -97 + q. Is 40 a factor of y?
False
Let m(w) = 4*w. Is 5 a factor of m(26)?
False
Let r(x) = 0 + 41*x**2 + 21*x - 22*x**2 - 7 - 18*x**2 - 10. Let v be 44/6*1*-3. Does 5 divide r(v)?
True
Suppose 4*t - 3 = -7, 3*t - 543 = -3*z. Let c = z + -32. Is 8 a factor of c?
False
Let u(k) = 2*k**2 - 4*k - 14. Let a be u(4). Is 23 a factor of (a/4)/(1/54)?
False
Let c(w) = 5*w**3 + 76*w**2 + 4*w. Is 35 a factor of c(-11)?
False
Suppose 0 = -t - 2*a + 328, 3*a + 308 = 7*t - 6*t. Does 40 divide t?
True
Let y = 6 + 9. Suppose g = y + 10. Does 4 divide g?
False
Let t = 1735 + -825. Does 12 divide t?
False
Suppose 4*q - 268 = 8*q. Let l = q - -166. Does 11 divide l?
True
Let l(q) = 9*q - 23. Let x be l(4). Let h(y) be the second derivative of -y**5/20 + 7*y**4/6 - 2*y**3 + y**2/2 - 4*y. Is h(x) a multiple of 3?
False
Let o(t) = -t**3 + t**2 + t + 86. Let a = 28 + 2. Let y = a - 30. Is 26 a factor of o(y)?
False
Suppose 0 = -g - g + 42. Let t = 36 - g. Does 9 divide (-2)/15 - (-917)/t?
False
Suppose -3*l + 3*j + 42 = -0*j, 15 = -3*j. Suppose l = -m + 2*m. Suppose -24 = 5*s - m*s. Is s a multiple of 4?
False
Let s(v) = 17*v - 14. Let f(u) = u**3 - 6*u**2 + 8*u + 7. Let j be f(4). Does 35 divide s(j)?
True
Suppose -3*j + 19 = -l, 4*l = -5*j - 1 - 58. Let q(p) = p + 37. Let x be q(-12). Let c = x + l. Is c a multiple of 2?
False
Suppose -39 + 7 = -8*o. Suppose -o*l + 6 + 46 = 0. Is l a multiple of 3?
False
Let f be 1/(-4) - 1/(-4). Suppose f = 3*z - 68 - 145. Is z a multiple of 28?
False
Let z(x) be the second derivative of x**5/20 - 2*x**4/3 + 7*x**3/6 + 2*x**2 + 3*x. Let j be z(7). Suppose -j*y + 85 = -23. Is y a multiple of 27?
True
Let l = 463 - 358. Is l a multiple of 15?
True
Let m = 174 + -99. Let n = -7 - -9. Suppose n*a - m = -3*a. Is 15 a factor of a?
True
Suppose 12 + 3 = -3*p. Suppose 3*o - 240 - 264 = 0. Is 12 a factor of (o/(-7))/(2/p)?
True
Let c be (-47)/2 - (-4)/8. Let q be c/(-7) + (-2)/7. Suppose q*m - 18 = j, 16 = m + j + 2*j. Is 2 a factor of m?
False
Let h(m) = -2*m**3 + m**2 - m + 11. Does 53 divide h(-4)?
True
Let x be (-2)/(-8) + (-30)/(-8). Let p be (x - 5) + -2*4. Let n(r) = r**3 + 9*r**2 - 3*r. Is n(p) a multiple of 13?
False
Let c(u) = 5*u**2 + 7*u - 84. Is c(-8) a multiple of 3?
True
Let x be (-1 + -3 + 2)/(2/(-4)). Suppose x*s - 2*s - 98 = 0. Is 4 a factor of s?
False
Let q(b) = 3*b**2 - 18*b - 15. Suppose -g + 8 = -2*s, 8 = g + 2*s + 3*s. Does 14 divide q(g)?
False
Let u be 8/10 + 336/80. Suppose -u*v + 666 = -n, 5*v - n = 2*n + 658. Is 35 a factor of v?
False
Let v = -1378 - -1987. Suppose -i + 406 = 2*d - 0*i, 3*d - 3*i = v. Is 44 a factor of d?
False
Let n(h) = -h**3 + 13*h**2 - 8. Let p(x) = 2*x - 26. Let g be p(19). Is 21 a factor of n(g)?
False
Let l = -488 + 994. Is 11 a factor of l?
True
Does 18 divide (-4 + 1020/18)*(-30)/(-4)?
False
Let g be (-1 - -1 - 2)/(2/15). Let o = g + 67. Is 10 a factor of o?
False
Is (-3)/(-5) - (-4744)/10 a multiple of 25?
True
Suppose -1315 = -5*x - g, -4*g = x - 148 - 96. Does 2 divide x?
True
Let d be (-4)/(-26) - (-36554)/182. Suppose -d - 124 = -4*w + 5*o, 4*w - 295 = -o. Is 25 a factor of w?
True
Let t = 117 + 2482. Is 40 a factor of t?
False
Let u = 765 + -650. Is u a multiple of 23?
True
Let x be (2/(-1))/(2/11). Let r(g) = g**3 + 17*g**2 - 3*g + 12. Let v(d) = -d**3 - 15*d**2 + 3*d - 12. Let l(p) = -2*r(p) - 3*v(p). Is l(x) a multiple of 15?
True
Suppose -5*t + 22 = 2. Suppose -3*m + 30 = 2*v, -3*v - t*m + 37 = -9. Suppose 13*c + 485 = v*c. Does 26 divide c?
False
Let h(p) = p**3 - p**2 - p + 1. Let u(b) = 2*b**3 - 17*b**2 - 3*b - 14. Let j(m) = 3*h(m) - u(m). Does 12 divide j(-14)?
False
Let n be 5 - (8 + 1)/3. Let w(t) = 8*t + 5 + t**2 + n + 2 - 21*t. Is 2 a factor of w(13)?
False
Suppose -n = 48 - 209. Suppose -174 = -2*m - 3*j + 183, m - n = -5*j. Suppose -7*c - m = -10*c. Is 31 a factor of c?
True
Suppose x + 5*c - 3 + 1 = 0, x - 3*c = 2. Let v(r) = 5*r + 0*r**2 + r**2 - x*r - 2*r + 2. Does 14 divide v(3)?
True
Let b(c) = c**2 - 8*c + 1. Suppose -80 = -22*a + 18*a. Let t = a + -9. Is b(t) a multiple of 15?
False
Let v(u) = u**3 + 13*u**2 - 2*u + 2. Let j(s) = -s**3 + 20*s**2 - s + 7. Let k be j(20). Is 9 a factor of v(k)?
False
Let u be 15/(-10) - (-46)/4. Let y = -100 + 270. Suppose -15*m = -u*m - y. Does 6 divide m?
False
Let a = -14 - -14. Let t(w) be the first derivative of -w**3/3 + 14*w + 1. Does 3 divide t(a)?
False
Does 75 divide (-15 + (-10)/6)/(1/(-54))?
True
Let a = 3251 - 2560. Does 28 divide a?
False
Suppose -11 = -4*i + 5*j + 19, 4 = -2*j. Suppose 5*v + f - i = 0, -v - f - f = -1. Is 0 - (-3 - (v - -12)) a multiple of 6?
False
Suppose 575*b - 584*b + 3735 = 0. Is 13 a factor of b?
False
Let x(d) = -9*d**2 - 5*d - 17. Let f be x(-5). Suppose -730 = 5*m + 3*c, 170 - 46 = -m - 5*c. Let v = m - f. Is 23 a factor of v?
False
Suppose 2*r = -3*h + 309, 0 = -2*h + 2 - 12. Is 9 a factor of r?
True
Is 8 a factor of 453 + 28/7 + 3?
False
Suppose -9 + 203 = s + 2*a, 2*a - 946 = -5*s. Let p = s + -86. Is 21 a factor of p?
False
Let h(w) = 2*w**2 + 43*w + 17. Does 16 divide h(-25)?
True
Suppose -y = -4*n - 18, -5*n - 20 = -4*y - 3. Let a = 15 + n. Is 5 a factor of a?
True
Suppose -526 - 1256 = -9*f. Is 9 a factor of f?
True
Suppose -4*b = -4*z - 172, 0*b - 3*z = -b + 49. Does 8 divide b?
True
Suppose -7*h + 12 = -5*h. Suppose 504 = h*o - 0*o. Is 21 a factor of o?
True
Let l = -11 + 15. Suppose -u - 189 = -l*u. Suppose -4*f + 31 = 2*p - 41, -3*p - u = -3*f. Is f a multiple of 4?
False
Suppose 6*h = 5*h + 104. Does 26 divide h?
True
Let c = 33 - -76. Let p = -51 + c. Does 29 divide p?
True
Let x(k) = k**3 - 6*k**2 - 6. Let b be x(6). Let m be (b/(-8))/((-42)/(-112)). Suppose -5*u + 