 2 divide u?
False
Suppose -36*g = 72*g - 1554490 + 612730. Is g a multiple of 39?
False
Does 26 divide (154385/165)/(4/(-48)*-4)?
False
Let j(k) be the second derivative of k**4/3 + 2*k**3/3 - k**2/2 - 12*k. Let f be j(2). Is f + (1 + -4 - -2) a multiple of 4?
False
Let w = -10083 + 19570. Is w a multiple of 120?
False
Let f(s) = -125*s**3 + 3*s**2 + 11*s + 18. Does 42 divide f(-2)?
True
Let y = -8810 - -14660. Is (20/(-3))/((-52)/y) a multiple of 25?
True
Does 5 divide (20/90*-3)/((-1)/393)?
False
Is (-11 - 104/(-12))/((-2)/1572) a multiple of 7?
True
Suppose 3*w + 13406 = 66650. Is w a multiple of 9?
True
Let m(i) = i**3 - 12*i**2 + i - 2. Suppose 2*f - 132 = -9*f. Let l be m(f). Is 1 + 25/l*18 a multiple of 14?
False
Suppose 1854 = 5*o + 4*o. Let q = o - -342. Is 16 a factor of q?
False
Let n = 385 + 237. Let a = n - 129. Is 22 a factor of a?
False
Let f = -43 + 46. Suppose f*i - 48 - 15 = 0. Is 3 a factor of i?
True
Suppose 4*t = 2*b + 6906, 6*t - t = b + 8640. Suppose t = 7*r - 945. Does 37 divide r?
False
Let a(k) = -k**3 + 14*k**2 - 8*k - 17. Let q(b) = -6*b - 119. Let f be q(-22). Is 12 a factor of a(f)?
True
Let p = -172 - -378. Suppose 251 = 2*h - q - 165, q = h - p. Is h a multiple of 7?
True
Suppose 0 = 2*l - k - 9, 0*k = -5*l + 3*k + 25. Let n be (-5 - -2)*-41 - (l + -1). Let a = -119 + n. Is a a multiple of 3?
True
Let j(s) = 6*s**3 - 3*s**2 - s + 4. Let w be j(-2). Let o = w + 48. Is 544/6 - (1 - (-2)/o) a multiple of 18?
True
Suppose 0 = 2*y + 3*r - 1, 5*r + 52 = y + 19. Suppose 2*x = -y*l + 410, 4*x = 2*x - l + 417. Is 5 a factor of x?
False
Let a = 11 + -14. Let f be -3*(-7)/((0 - a)/69). Let b = -293 + f. Does 38 divide b?
True
Let z be (5/(-10))/(5/20). Let m = z + 4. Suppose 5*y - 5*h = m*y + 44, -6 = -3*h. Does 4 divide y?
False
Suppose 0 = -4*h + 2*h - 24. Let c be 12 + h - (1 - 73). Suppose 0*s + 4*s = c. Is 6 a factor of s?
True
Suppose 3355 = -446*d + 451*d. Let t = d + -47. Is 12 a factor of t?
True
Suppose s + 623*f - 624*f = 9402, -2*s + 18819 = 3*f. Does 14 divide s?
False
Let p be 4 - (1674816/182 - (-4)/(-14)). Is 92 a factor of (p/(-5))/2 - (-43)/215?
True
Suppose -5*n + 60 = -3*n. Suppose -4*i + 4*k + n = 10, 4*k + 8 = 0. Suppose -3*p + 42 = i. Is p a multiple of 4?
False
Suppose 4*f = -3*o + 334682, -12*o + 5*f = -13*o + 111557. Is o/165 + (-4)/30 a multiple of 26?
True
Suppose 4*j - 3*a + 162 + 466 = 0, -156 = j - a. Let l = j - -289. Does 3 divide l?
True
Suppose -3*s + 33 = -4*v, 2*s - 20 = 5*v + 16. Let k be 8/v*(6 + 63). Let n = 20 - k. Is 14 a factor of n?
True
Suppose -146*u + 387887 + 86542 = 29421. Does 4 divide u?
True
Let w be (-1321)/5 + 5/25. Is 33 a factor of w/40*(-41 - (0 + -1))?
True
Suppose -3*x + 76 = 2*h, 3*x = -h + 2*x + 39. Let k(m) = 31*m + 1. Let p be k(1). Let j = h + p. Is j a multiple of 24?
False
Suppose 8*r - 158 = 298. Suppose 0 = -r*u + 30306 + 10221. Does 9 divide u?
True
Suppose x + 163 - 535 = 5*m, -4*m + 730 = 2*x. Let q = 537 - x. Is q a multiple of 11?
False
Let l be (12/15)/(2/10). Let d be -4 + 9 + l + -3. Suppose 0 = 4*n - 20, -d*k + 160 = -k + 5*n. Is k a multiple of 5?
False
Suppose -10*a = -8*a - 12. Suppose -a*m = 6*m + 36. Does 26 divide 30 - (3 - (m - -2))?
True
Let w = 57 - 61. Let r be 6/45 - w/(120/1106). Let u = -28 + r. Is u a multiple of 5?
False
Suppose 27*s - 14*s - 179 = 12*s. Is 34 a factor of s?
False
Let i(b) = 54*b**2 - 20*b + 84. Does 33 divide i(-8)?
False
Let l be 21518/53 + (-10)/2. Let o = l + -351. Is 50 a factor of o?
True
Does 38 divide (112566/6 - -4)/((-28)/(-28))?
False
Let g be -1 + 1 + 4 + 1. Suppose 0 = x - 4*f - 2, 0*x + 4*f - 34 = -g*x. Suppose 0 = 10*o - x*o - 1096. Is o a multiple of 33?
False
Suppose -10*a + 55434 = 16214. Is 37 a factor of a?
True
Suppose 0 = -3*i + 191 + 112. Let o = i - 105. Is 0 - (-7 - -5) - (0 + o) even?
True
Suppose -4*m = 8, -3*m = -2*k + k + 10. Suppose -48*x + 246 - 6 = 0. Suppose -728 = -4*z + 2*p, -k*p + 11 = -x. Does 19 divide z?
False
Let p = -46 + 53. Let r(q) = 128*q - 175. Is r(p) a multiple of 25?
False
Suppose 5*n - 2361 = 4*z, -1890 = -15*n + 11*n + 2*z. Does 7 divide n?
False
Suppose -14*a = 30*a - 30668. Let l = 1237 - a. Does 18 divide l?
True
Let x(h) = h**3 - 11*h**2 + 2*h - 10. Let v = -173 + 186. Does 13 divide x(v)?
False
Suppose 0*h + 4*n + 2746 = -5*h, -3*h - n = 1649. Let p = h - -864. Is p a multiple of 9?
False
Let w(s) = 51*s + 144. Does 16 divide w(20)?
False
Suppose 0 = l + 4*v - 196 + 571, 0 = -5*v - 5. Let u = l - -411. Does 10 divide u?
True
Let x be 15/(-2)*(-8)/6. Let h = 133 + 627. Suppose 6*o - x*o + h = 0. Is 19 a factor of o?
True
Suppose -s + 9 = -12. Let z(r) be the first derivative of 9*r**2/2 + 19*r + 205. Does 16 divide z(s)?
True
Suppose 4*b + k = -k - 154, 0 = -2*b + 3*k - 57. Does 26 divide 2/(-4) + (-13050)/b?
False
Let i(j) = 6*j**2 - 9*j - 8. Let z be i(-1). Suppose -2618 = -z*v - 0*v. Is 16 a factor of v?
False
Suppose 4*g - 22 + 14 = 0. Let h(y) = 41*y - y**g - 1 - 1 + 1 - 36*y. Is 3 a factor of h(2)?
False
Let w = -963 - -1320. Is 41 a factor of w?
False
Let f(q) = -5*q**3 + q**2 - q + 35948. Is 22 a factor of f(0)?
True
Suppose 197*i - 334*i + 3354582 = 0. Does 154 divide i?
True
Suppose -7*a = -24*a + 13056. Does 2 divide a?
True
Let x be -1 - (-13 + 5)/((-2)/(-4)). Let i be ((-177)/x + -3)*-10. Suppose 4*h + 3*j - 740 = -h, -h - 5*j = -i. Does 17 divide h?
False
Let g(k) = -6*k**3 - 15*k**2 - 4*k + 9. Let p be g(-4). Suppose -b + p = q, -3*b = 3*q + q - 502. Is 6 a factor of b?
True
Let l(c) = -4*c - 97. Let v be l(-25). Suppose -85 - 272 = -v*z. Is 43 a factor of z?
False
Let d(z) = -z**2 + 5*z + 15. Let n be d(13). Let r = n + 48. Let b = 50 + r. Does 9 divide b?
True
Suppose -13*l = 21168 - 130095. Is 25 a factor of l?
False
Suppose -2*w + 8 = 2*u, w - 39*u = -44*u + 24. Let p(b) be the second derivative of -41*b**3/6 - b**2 + b. Does 13 divide p(w)?
True
Let t(a) = -a**3 + 3*a**2 + 12*a - 7. Let f be t(5). Suppose 8 + 16 = f*u. Suppose -u*h = -45 + 5. Does 3 divide h?
False
Suppose 7*a - a = 456. Let z = a + -141. Let f = 127 + z. Does 15 divide f?
False
Suppose a - 11 = -3*a - s, a - 19 = 3*s. Suppose 5*q + a*m = 646, 2*q + 2*q - 488 = 4*m. Does 7 divide q?
True
Suppose 0 = 231*d - 220*d + 5621. Let x = -287 - d. Is 56 a factor of x?
True
Let r(a) be the third derivative of 4*a**5/3 + 3*a**4/8 - 11*a**3/6 + 141*a**2. Is 46 a factor of r(3)?
True
Let k be 11/(-33) + (-3572)/(-6). Suppose -12*d + k + 77 = 0. Suppose -100 = -6*o + d. Is 5 a factor of o?
False
Let p(v) = v - 6. Let o be p(-2). Let t be 3/(-2 + 4/(o/(-7))). Is 16 a factor of (1 + 220/(-6))*(t + -5)?
False
Let z be 334/7 - (-1)/(-14)*-4. Suppose -4*h - 19 = -4*p - 83, -2*h - 2*p + z = 0. Suppose -4*v + 160 = 2*w, -4*v - h + 168 = -4*w. Does 5 divide v?
False
Let q = 80514 + -49750. Is 167 a factor of q?
False
Let r(z) = -2*z - 2. Let y(h) = h**2 + 39*h + 38. Let v(j) = -13*r(j) - y(j). Let u(o) = o - 12. Let n be u(6). Does 30 divide v(n)?
True
Let k(b) = -18*b**3 + b**2 + b + 7. Let f be k(-3). Suppose -10*u + 6*u + 997 = -3*v, 2*u - f = v. Is 33 a factor of u?
False
Suppose -5*f + 84*g = 81*g - 15588, 2*f = 3*g + 6228. Is f a multiple of 5?
True
Suppose -7*u + 3*u = -36. Let s be -618 - (2/6 + 15/u). Does 31 divide s/(-6)*(-3)/(-2)?
True
Let x = -339 + 4389. Is 30 a factor of x?
True
Let x(u) = -11*u + 120. Let f be x(10). Let a(l) = 94*l + 148. Is a(f) a multiple of 64?
True
Let c = 16113 + -2147. Is c a multiple of 22?
False
Suppose -4*b - b = -40. Suppose 5*g = b*g - 6. Is (184/4 + g)*6/8 a multiple of 9?
True
Suppose 12*r - 10*r = -72. Let s be r/4*2/(-6). Suppose -n + 132 = s*n. Is 3 a factor of n?
True
Let i(x) = -x**3 - 2*x**2 + x + 84. Suppose -28 + 16 = -3*k. Let w(z) = 3*z - 12. Let y be w(k). Does 15 divide i(y)?
False
Let l(f) = -f**3 + 65*f**2 - 140*f + 106. Does 45 divide l(62)?
False
Let f = 10 + -7. Suppose -5*z + 2*t = 4*t - 1823, z - f*t - 351 = 0. Does 11 divide z?
True
Suppose -c + 5*w + 5581 = 0, 47*c = 42*c + 5*w + 28045. Does 234 divide c?
True
Let t(p) = p**3 - 3*p**2 - 14*p + 51. Let l be t(-13). Let y = -1043 - l. Is 102 a factor of y?
True
Suppose 0 = -2*q + q - 3*p + 9, -2*p = -4. Suppose 0 = 53*v - 54*v + 5. Suppose 975 = v*d - y + q*y, -390 = -2*d - y.