rue
Does 24 divide -9 - -9*278/6?
True
Let b(m) = -m**3 + 7*m**2 - 3*m + 33. Let u = -113 - -119. Is 17 a factor of b(u)?
True
Suppose -5*g - j + 1130 = 0, 5*j = -4*g + 1188 - 263. Is 12 a factor of g?
False
Let r = -40 - -106. Suppose -3*c = -2*g + 76, g = 4*c + r + 27. Let y = c + 40. Is 9 a factor of y?
True
Let y = -4 - -6. Suppose -11*f - 149 = -457. Suppose -16 = -r + y*x - x, -2*x + f = 2*r. Does 6 divide r?
False
Suppose 17*d + 30*d = 31255. Is d a multiple of 6?
False
Is 14 a factor of (-1)/(-1) - -163 - -4?
True
Suppose -3*o + 514 = -368. Is o a multiple of 14?
True
Let m be -1 - -137*(0 - -5). Suppose 0 = -3*s + 9*s - m. Is 35 a factor of s?
False
Let z(y) = -y**3 + 4*y. Let b be z(-3). Suppose -1235 = -5*r - 2*h - h, 3*r - 2*h = 760. Is r/b*9/6 a multiple of 14?
False
Suppose 0 = -4*n + 2*n + 5*m + 2041, -5*n - 4*m + 5020 = 0. Is 16 a factor of n?
True
Let y(t) = -3*t - 19. Let g be y(-8). Let i be 521/4 + 2/(-8). Suppose 2*x - 3 = -3*d + 49, i = g*x + 4*d. Is x a multiple of 13?
True
Let a(b) = b + 11. Let v be a(4). Let t = v - 15. Suppose m + 2*m - 240 = t. Is 18 a factor of m?
False
Suppose 562*q = 563*q - 918. Is 15 a factor of q?
False
Suppose -3*m + 5*k = -99, m + 3*m - 121 = 3*k. Suppose -3*x = -4*x + 7. Suppose -3*b + m = x. Is 4 a factor of b?
False
Let i = 29 + 259. Does 18 divide i?
True
Is 156/(-52) - (2 + -2228*1) a multiple of 9?
True
Let y = 148 - 89. Suppose 4*s - 3*k = 243, -k = -s - 2*k + y. Does 12 divide s?
True
Let s(j) = 10 + 2 - 11 - 68*j**2 + 5*j. Let l(c) = -23*c**2 + 2*c. Let v(g) = 11*l(g) - 4*s(g). Does 18 divide v(2)?
False
Suppose -12*p + 2730 = 27*p. Does 5 divide p?
True
Let i be 528/10 + (-1)/(-5) + -2. Suppose 0 = i*x - 44*x - 336. Is 48 a factor of x?
True
Let t be (8/4 - 1)/((-5)/(-70)). Suppose -4*u + 2*u = -148. Let c = u - t. Does 20 divide c?
True
Let j(x) = x**3 + 10*x**2 - 5*x - 10. Does 2 divide j(-3)?
True
Suppose 7*v + 14 = -224. Let p = 67 + v. Is p a multiple of 9?
False
Suppose 0 = 2*h + 4, -4*n - 45*h + 48*h + 3270 = 0. Does 25 divide n?
False
Suppose 7*m - 5*m = -24. Let d(q) = q**3 + 6*q**2 - 5*q + 5. Let c be d(-7). Let r = c - m. Is r a multiple of 2?
False
Does 11 divide ((-44)/(-110))/((-2)/10) - -189?
True
Suppose 92*w = 90*w + 1286. Is 18 a factor of w?
False
Suppose -5*r + 15 = -5*w, 7*w - 5 = -5*r + 2*w. Is 31 a factor of ((-24)/(-18))/((6/279)/r)?
True
Let a(m) be the first derivative of m**4/4 + 5*m**3/3 - 2*m**2 - 3. Let n be a(4). Suppose 4*i - 23 - 105 = 5*l, 4*l - n = -4*i. Is 16 a factor of i?
True
Let o(g) = g**3 - 5*g**2 - 3*g - 13. Let i be o(6). Suppose -i*y + 0*y - 505 = -5*p, -10 = 2*y. Is p a multiple of 12?
True
Let h(j) be the second derivative of j**5/20 + 5*j**4/12 - 3*j**3/2 - 9*j**2/2 - 6*j. Does 12 divide h(-5)?
True
Let t be 147/35 + (-1)/5. Suppose -t*p + 3 + 14 = f, 0 = -f - 3*p + 16. Is f a multiple of 13?
True
Is (54/108)/(2/388) a multiple of 5?
False
Let o(c) = 3*c**2 + 4*c + 5. Let g = 34 + -38. Let d be (-12)/3*(-3)/g. Is o(d) a multiple of 10?
True
Let o = 136 - 59. Let c = 248 - o. Suppose -3*w + c = -n + 4*n, 2*n - 171 = -3*w. Is w a multiple of 21?
False
Suppose 3*u - 5716 = 3*a + 4229, 3*u - 4*a - 9942 = 0. Is 79 a factor of u?
True
Let u be (-7)/(-3)*(1 - -2). Let g(i) = -4*i + u + 0 - 6. Is g(-5) a multiple of 7?
True
Suppose -5*n + 2*n + 24 = -s, 2*s - 24 = -2*n. Is n even?
False
Let h = -19 - 3. Is 2/(-11) - -453*(-2)/h a multiple of 4?
False
Let i(m) = -m**2 - 6*m + 9. Let t be i(-7). Let r(l) = 5*l + 3. Does 3 divide r(t)?
False
Let k(m) = 4*m - 11. Let f be k(6). Suppose 9*x = 4*x - 2*o - 51, x - o + f = 0. Let d = 33 + x. Is 22 a factor of d?
True
Suppose -168 = 4*f + 352. Is (16/5)/((-4)/f) a multiple of 26?
True
Suppose -5*j - 4*u + 270 = 0, -5*j = -4*j - 4*u - 30. Is j a multiple of 2?
True
Let b(c) = 23*c**3 + c**2. Suppose 4*u + 4*q = 8, 3*u - q = -0*q + 10. Suppose -m + 6 = j, -5*m - 7 = -3*j + u. Is 8 a factor of b(m)?
True
Let x be ((-5 + -1)/2)/(-1). Suppose -53 = -b - 4*a, 5*b - 2*a + x*a - 246 = 0. Is 7 a factor of b?
True
Suppose 9 = u - 0*u. Let d(w) = -w**2 + 9*w + 7. Let n be d(u). Let v(h) = 2*h**2 - 10*h - 2. Is 10 a factor of v(n)?
False
Let d = -579 + 831. Is d a multiple of 28?
True
Suppose 1 + 5 = 3*y. Suppose y*q - 25 = -3. Suppose q*g = 6*g + 315. Is g a multiple of 21?
True
Suppose 33*b = 38*b + 65. Let i = b + 25. Is i a multiple of 4?
True
Suppose -4*m = -8, 0*m - 6 = -z - m. Suppose 0*u + 8 = -5*j + z*u, -2*j = -3*u + 6. Suppose l - 5*s = 35, 4*l + j*s - 68 = -4*s. Is 10 a factor of l?
True
Let q = 24 + -13. Suppose -7 - q = -o. Is o a multiple of 6?
True
Let q(t) = 2 + 9*t + 3*t**2 - 2 - 10*t. Let u be q(-2). Suppose l = 3, -3*l - u = -4*d + 141. Is 10 a factor of d?
False
Suppose -3*b - 4*p = -18 - 11, 24 = 3*b + 3*p. Let m(z) = 23*z - 13. Does 20 divide m(b)?
False
Suppose -2*x = 3*x + 20. Is 14 a factor of x + (8 - 3)*26?
True
Is 3 - (178/4)/((-8)/48) a multiple of 27?
True
Let o(r) = -r + 2. Let j(t) = t**2 - t. Let b(h) = j(h) + o(h). Let s be b(3). Suppose -4*y = 4*k, -s*k - 3*y - y + 3 = 0. Is k a multiple of 3?
True
Suppose -5*d - v = -35, -2*d + 37 = -0*d + 5*v. Let w be (-2)/((15/d)/(-5)). Suppose -55 = w*f - 9*f. Is f a multiple of 5?
False
Let z(o) = -2*o + 12. Let j be z(6). Suppose j = 3*a - 4*a + 96. Is 12 a factor of a?
True
Suppose -2 + 0 = g. Is (-4*47)/(g/1) a multiple of 25?
False
Let o(j) = 2*j**2 - 6*j - 1. Let a be o(5). Let b(s) = 10 - a*s**2 - 3 + s**3 + 14*s + 3*s**2 + 13. Is b(15) a multiple of 2?
False
Let c = 205 + 496. Is 34 a factor of c?
False
Let o be -6*4/(-16)*-116. Let p = -83 - o. Does 14 divide p?
False
Is 22 + 11 + -23 - -2391 a multiple of 49?
True
Let v(f) be the first derivative of 17*f**2/2 - f - 12. Does 5 divide v(1)?
False
Suppose 0 = 77*p - 37*p - 42360. Does 14 divide p?
False
Let i(g) = 21*g**2 - 4 - 1 + 7 - g**2 - g. Is i(-2) a multiple of 12?
True
Let k(t) = 25 + 18*t - 16*t + 4. Suppose -2*f + 6 = -20. Does 15 divide k(f)?
False
Suppose 3*n + 2*s - 3430 = 0, -153*n = -157*n + 5*s + 4535. Does 38 divide n?
True
Let k(p) = 3*p - 2. Let j be k(2). Let n be 76*1/(-13) - 2/13. Does 15 divide (4/n)/(j/(-234))?
False
Let y = -19 + 319. Suppose 7*g = y - 48. Is g a multiple of 14?
False
Let x(q) = 6*q + 94. Does 11 divide x(21)?
True
Suppose 76 = 3*q - q. Let u = 75 - q. Let h = u - -1. Does 10 divide h?
False
Let f = 1119 - 655. Let h = f + -313. Is h a multiple of 32?
False
Let n = -234 + 402. Does 56 divide n?
True
Is 265/30*-3*-18 a multiple of 53?
True
Suppose 2*y + 4*o - 16 = 12, -o + 9 = y. Suppose y*d + 4*s - 100 = 620, -d - 2*s = -180. Does 12 divide d?
True
Let l be ((-12)/(-2))/(5/870). Suppose 0 = 3*i - 7*i + l. Is i a multiple of 29?
True
Suppose -4*q = -1103 - 361. Is q a multiple of 26?
False
Suppose 0 = -0*t - 2*t + 2152. Suppose 4*p = -76 + 4. Is 16 a factor of (-4)/(-18) - t/p?
False
Suppose -5*d + 8810 = 5*q - 2*d, 3*q = -d + 5286. Is 4 a factor of q?
False
Suppose -3*l + 26 = 2. Let z be 20/l*(-42)/(-5). Does 2 divide 3*4/36*z?
False
Let u(g) = g**3 - 9*g**2 - g + 23. Let p be u(10). Let z = 162 - p. Does 17 divide z?
False
Let v(f) = -12*f - 2. Let s be v(-4). Let y = s + -16. Is 17 a factor of y?
False
Suppose 0 = 32*m - 28*m + 12. Let i be (41/5 + m)*5. Let w = 32 - i. Does 4 divide w?
False
Suppose -u - n = -389, -2*u + 3*n + 2*n = -799. Does 15 divide u?
False
Let b(s) = -s**2 + 3*s. Let u be b(3). Let w = -8 - -15. Suppose u = -3*g + w*g - 168. Is g a multiple of 20?
False
Let i = 376 - -99. Is 19 a factor of i?
True
Let j be -2*(29 - (-3 - 1)). Let f = j - -92. Is 13 a factor of f?
True
Let y = -67 + 136. Does 3 divide y?
True
Suppose -4*g + 110 = 18. Suppose 4*r - 159 = 5*l, 0 = 5*l - 9*l - 12. Let h = r - g. Is 7 a factor of h?
False
Suppose 2*v + 3*d - 5 = 7*v, -3 = -4*v + d. Suppose -5*b + v*m = -151, b = -4*m + 9 + 8. Suppose 0 = 3*z - b + 8. Is 7 a factor of z?
True
Does 10 divide 384 - 1 - (0/23)/(-14)?
False
Suppose 4*t - 2 = 2*u, -5*u - 2*t = 3*t - 25. Let v(r) = 7*r**2 + 13*r. Is 12 a factor of v(u)?
False
Suppose -2 = w - 7. Suppose 0 = 4*t - w*t - 4*i + 12, 0 = -5*t + 2*i + 126. Is t a multiple of 12?
True
Let g be 3*(-5)/(-15) + 1. Suppose 256 = 2*k - 4*q, g*q + 3*q - 670 = -5*k. Does 22 divide k?
True
Let u(w) = 22