25 divide s?
False
Is 63 a factor of ((-54)/(-4))/((-4)/(-15 + -265))?
True
Suppose -6*x + x = 4*j - 1235, -2*j + 2*x + 622 = 0. Suppose 0 = -22*y + 24*y - j. Does 15 divide y?
False
Suppose 2*u + 33 = 5*u. Suppose -2*p = 3*z - 67, -4*p + 112 + u = -5*z. Does 8 divide p?
True
Let k(y) = 31*y - 16. Let r(t) = -t - 1. Let q(h) = -k(h) + 6*r(h). Is q(-2) a multiple of 9?
False
Suppose k = 3*k - 2, 3*a - 509 = -5*k. Is 24 a factor of a?
True
Let g(m) = m**3 + 23*m**2 - 17*m - 30. Is 19 a factor of g(-23)?
True
Let n = -40 + 57. Does 3 divide n?
False
Let t = 216 - 112. Let z = t - 62. Is z a multiple of 7?
True
Is (280/(-25))/(4/(-120)) a multiple of 56?
True
Is 13 a factor of ((-31)/(-4) + 1)/(42/10920)?
True
Suppose -72*n - 4842 = -74*n. Does 14 divide n?
False
Suppose -4*c + 5*a + 29 = 0, -3*c + 13 + 5 = -3*a. Let m(r) = 1 + c + 5*r + 3. Is m(4) a multiple of 13?
False
Let x = 45 + -58. Let a(m) = 3*m**3 - 13*m**2 - 4*m - 15. Let p(z) = -8*z**3 + 39*z**2 + 11*z + 46. Let r(b) = 11*a(b) + 4*p(b). Is 14 a factor of r(x)?
False
Let a(s) = 12*s**2 + 3 + 4*s - 8*s - s**3 + 2*s - 4*s. Does 28 divide a(9)?
False
Is 11 a factor of (32/24)/((-8)/(-858))?
True
Is 17 a factor of (-646)/(-4)*((-4)/(-1) - 2)?
True
Let g(j) = -2*j**2 - 8*j + 117. Let p be g(7). Let l(r) = -2*r + 3. Let x be l(2). Let o = x - p. Does 16 divide o?
False
Suppose 0 = -4*y + 5*q + 305, y + 2*y = -q + 243. Let z(m) = 49*m - 1. Let p be z(-1). Let k = p + y. Is k a multiple of 9?
False
Let f = -246 - -261. Suppose 0 + 6 = 3*i. Suppose -4*n - 3*u + 8 = -f, -i*u + 2 = n. Is n a multiple of 5?
False
Suppose -5*i - 17 = -27. Suppose 108 = i*w - 34. Does 7 divide w?
False
Let c be ((-776)/(-10))/(38/95). Suppose -1034 + c = -12*v. Does 5 divide v?
True
Let i(n) = 5*n**3 + 21*n**2 - 8*n - 4. Let s(u) = -3*u**3 - 11*u**2 + 4*u + 2. Let g(j) = 4*i(j) + 7*s(j). Let d = 21 - 15. Is g(d) a multiple of 10?
True
Is (2351 - 1)*270/150 a multiple of 8?
False
Let w be (468/30)/((-2)/(-10)). Suppose -a = -18 - w. Is 32 a factor of a?
True
Is 4 a factor of 25*-4*38*2/(-40)?
False
Suppose d + 4*t = 2 - 1, -2*d - 3*t + 22 = 0. Suppose 0 = -r - 3*o + 31, -5*r = -4*o - 69 - 29. Let k = r - d. Is k a multiple of 2?
False
Let q = -13 - 11. Let h = q - -39. Is 14 a factor of h?
False
Let m(f) = -f**3 + 3*f**2 + 8*f. Suppose 15 = 28*a - 33*a. Is m(a) a multiple of 9?
False
Let r = 88 - 86. Suppose 0 = -3*k + 7*k - 2*w - 424, 5*w = -r*k + 224. Is k a multiple of 37?
False
Suppose -4*l + 60 = -52. Suppose -l*t + 25*t = -21. Let g(s) = -s**2 + 8*s + 5. Is 5 a factor of g(t)?
False
Suppose 2*y - 19 = -5*q, 10 = -0*q - q - 5*y. Let i(a) = 254*a + 12. Let s be i(q). Does 20 divide (-11)/88 - s/(-16)?
True
Let r(p) = p**3 - 5*p**2 - 9*p - 5. Let j be r(7). Suppose s + 4*s - j = 0. Suppose -g - 135 = -s*g. Does 9 divide g?
True
Let c be 9/(-9 - -18) - 1*-13. Suppose -3*g + 5*s + 43 = 16, -s = 3. Suppose 10 = g*k - c. Is 4 a factor of k?
False
Let w(t) = -22*t**2 + 2*t - 1. Suppose -7*l = -0*l + 21. Let i be w(l). Let d = -114 - i. Does 13 divide d?
True
Let t(p) = -p**2 + 6*p - 5. Let c be t(2). Let h be (-21)/14*2/c. Is h - (-2 + 54/(-1)) a multiple of 10?
False
Let q(d) be the first derivative of 4*d**6/45 + d**5/60 + d**4/12 - d**3 + 3. Let z(y) be the third derivative of q(y). Does 16 divide z(-1)?
True
Suppose 408 = 4*x + 4*c, -4*x + 426 = 3*c - 5*c. Let y = 149 - x. Does 11 divide y?
True
Suppose -13*z = -441 - 248. Let o be (-4)/(-8) + 2/(-4). Suppose -g + z - 13 = o. Is 11 a factor of g?
False
Let p = 1321 + -1281. Does 4 divide p?
True
Let j(i) be the second derivative of 7*i**2 - 3*i - 2*i**3 - 8*i**2 + 15*i. Is 37 a factor of j(-4)?
False
Let b(o) = 4*o**2 - 2*o - 125. Is b(-18) a multiple of 7?
False
Suppose 0 = -2*s + 3*j - 7 - 2, s = 3*j. Let b(f) = -8*f + 12. Is b(s) a multiple of 23?
False
Let j be -584*(-7)/((-35)/(-20)). Is 26 a factor of (-22)/(-99) - j/(-18)?
True
Let n(p) = p**3 + 3*p**3 + 2*p**3 - p - 7*p**3 - 12*p**2. Does 6 divide n(-12)?
True
Let a be (-1 + 0)/(3/(-261)). Let g = -27 + a. Suppose 0 = -2*k + g - 0. Does 15 divide k?
True
Let c = 1249 + -715. Is c a multiple of 6?
True
Let k = 3 - 4. Let p be (-2376)/(-104) - (-2)/13. Is (-5)/4*(k - p) a multiple of 15?
True
Let j(f) = f**3 - 28*f**2 + 41*f + 6. Does 24 divide j(27)?
True
Suppose 0 = -5*f + 5*b + 15, 4*f = 3*b + 7 + 5. Does 29 divide (29/3)/((f/126)/1)?
True
Suppose -4*b - 10 = -6*b, -b - 265 = -u. Is u a multiple of 9?
True
Is 11 a factor of (-2)/(-19) - 29911/(-399)*3?
False
Suppose 0 = 8*l - 907 + 947. Let x(m) be the first derivative of 4*m**3/3 + 3*m**2 + m + 1. Does 12 divide x(l)?
False
Suppose 19*p = 33*p - 6468. Is 9 a factor of p?
False
Let m(g) be the second derivative of -g**5/20 - 7*g**4/12 - g**3/6 + 5*g**2 - 3*g. Let t be m(-7). Let a = t + 19. Is a a multiple of 20?
False
Let l(j) = j**2 + 12*j + 16. Suppose h = -0*h + 70. Suppose 14 = 3*p + 4*i + 70, 5*p + 2*i + h = 0. Is 16 a factor of l(p)?
True
Is 0 - -3 - -6*620/15 a multiple of 5?
False
Suppose 0 = -11*j + 6*j - 30. Let y be (1 - (-9)/j)*0. Suppose y = 5*m - 28 - 12. Is m a multiple of 6?
False
Suppose 3530 = 6*u + 4*u. Suppose -5*a - 296 = -4*d, 3*d = 8*d - 2*a - u. Does 8 divide d?
False
Let s = -100 - -176. Suppose -3*r + s = 5*h, 2*r = h + 1 - 11. Is h a multiple of 14?
True
Suppose -350 = -4*v - q, -3*q = -2*v - 4*q + 174. Is v a multiple of 44?
True
Suppose 3*g = -0*g. Suppose g = 9*a - 6*a - 138. Is 23 a factor of a?
True
Suppose 2*v = v + 10. Let n = 51 - v. Suppose -2*o = -3*o - 2*p + 9, -4*o = 3*p - n. Does 8 divide o?
False
Suppose -841 = -5*w + 599. Is w a multiple of 32?
True
Let i(d) = d**3 - 4 - 33 - d**2 + 12*d**2 + 14*d**2 - 2*d. Is i(-25) even?
False
Let j(b) = b**3 - 3*b**2 + b + 2. Let r be j(2). Suppose r = 5*m - 2*m - 117. Is 13 a factor of m?
True
Suppose r + 6*m - 2646 = 4*m, 3*m = 9. Is 60 a factor of r?
True
Suppose -28*g - 3*s + 2415 = -26*g, -1195 = -g + s. Does 15 divide g?
True
Let q be -146*2/(-4) + -1. Let g be (q/32)/((-1)/16). Let o = 66 + g. Is o a multiple of 7?
False
Let z be -2 + 2 + 1 + 3. Suppose -1 = z*m - 3*m. Does 4 divide (-1)/(m + (-32)/(-36))?
False
Let j(l) = 291*l**3 - 2*l**2 + 2*l - 1. Is j(1) a multiple of 10?
True
Let i(b) be the first derivative of 7*b**3/3 - b**2/2 + 6. Let q be i(-1). Let n(d) = d - 3. Does 3 divide n(q)?
False
Let k = 31 - 4. Suppose 3*o - 9 = 3*c, -5*o = -o - c - k. Is 8 a factor of o?
True
Let f(m) = m**2 + 10*m - 1. Let t be f(-10). Let g be t/(-4) + 253/(-4). Is 25 a factor of (-3)/7 - 2862/g?
False
Let c(f) = -f**2 + 16*f + 40. Let a be c(18). Suppose -i - 5*k - 53 = -2*i, i = a*k + 52. Does 24 divide i?
True
Suppose 5*g - 2*q + 0*q = 12358, -2*g - 3*q + 4928 = 0. Is 130 a factor of g?
True
Let l(h) = -11*h**2 - 30*h - 6. Let n(a) = -6*a**2 - 15*a - 3. Let x(c) = -4*l(c) + 7*n(c). Is 37 a factor of x(-12)?
True
Suppose 0 = -4*x + 5 + 7. Let g(h) be the first derivative of 6*h**2 + 3*h + 76. Is 18 a factor of g(x)?
False
Let d be 4/(-18) + (-2)/(-9). Suppose 10*i - 15*i + 45 = d. Does 4 divide i?
False
Let m be 12 + -2 + (1 - 0). Let q = 13 - m. Suppose q*n - 5*s + 1 = -2, 5*s = 25. Is n a multiple of 3?
False
Let x = 164 - 90. Is 37 a factor of x?
True
Let t(b) = b**2 + 3*b + 7. Let x be t(0). Let j(l) = -4*l**2 + 31*l - 9. Is j(x) a multiple of 6?
True
Is 4/7 - 106920/(-70) a multiple of 56?
False
Let p(j) = 21*j**2 + 35*j - 6. Is p(6) a multiple of 68?
False
Suppose 2*y - 131 = 161. Is 10 a factor of y?
False
Let g = 29 - 24. Is 8 a factor of 83/5 + 2/g?
False
Does 8 divide 1*(-36)/(-5)*(-560)/(-42)?
True
Suppose 38*q - 324 = 40*q. Let g = -57 - q. Is g a multiple of 21?
True
Let r be 6/(-5)*((-160)/6)/2. Let o(k) = k**2. Let n be o(0). Suppose n = -z - 5 + r. Is z a multiple of 11?
True
Suppose 144 = -48*y + 50*y. Is y a multiple of 18?
True
Let x be 19 - 36 - (-1 - 3). Let u(s) = -s**2 - 15*s + 24. Does 7 divide u(x)?
False
Suppose 3*i - 5*u - 508 = 7*i, -2*i - 5*u - 254 = 0. Let h = -74 - i. Let s = h + 12. Is 20 a factor of s?
False
Suppose -3*i = -5 - 7. Suppose -6*k + i*k + 104 = 0. Is 26 a factor of k?
True
Let c(x) = 2*x - 8. Let g be c(9). Suppose g = 5*s - p, -2*p = -6*s + s + 15. Does 15 divide (s/(-3))/(13/(-1911))?
False
Let v(d) be the first derivative of d*