ue
Is 45 a factor of (-8 - (-16 + 2))/((-1)/(-120))?
True
Let p be (6 - 7)*(-1 + -2). Suppose -p*z + 20 = z. Suppose -m - z*h = -21, -2*h - 3*h = -3*m + 23. Is 3 a factor of m?
False
Let a(y) = -y**2 - 10*y - 4. Let u be a(-9). Suppose -u*v = -5*q - 65, -3*v - q - 24 + 83 = 0. Suppose 12 = 5*i - v. Does 3 divide i?
True
Suppose -5*o = -4*p - 2029, p - 1214 = 3*o - 6*o. Is o a multiple of 15?
True
Let j(z) = z**2 + 2*z - 3. Let w be j(-4). Suppose t + 4*t + 2*p = 10, -2*t + 25 = w*p. Let o(x) = x**3 + 10. Is 7 a factor of o(t)?
False
Let q(t) be the third derivative of -t**5/30 - 7*t**4/24 + t**3/3 - t**2. Let g be q(-4). Is 20/(2/g)*-2 a multiple of 8?
True
Let l(b) = 7*b**3 - 9*b**2 - 6. Let z(k) = 6*k**3 - 10*k**2 - 5. Let d(r) = 5*l(r) - 6*z(r). Let q be d(15). Suppose q = x - 2*x + 36. Is x a multiple of 9?
True
Let v be ((-176)/(-55))/(4/290). Suppose 48 + v = 5*b. Is 24 a factor of b/21*(0 - -27)?
True
Let t be (-2 + 3)*1*-3. Let i(z) = -8*z - 64 - 2*z + 74. Is i(t) a multiple of 7?
False
Let g = 36 - 27. Suppose -2*o + g - 1 = s, -o - 26 = -2*s. Is s a multiple of 3?
True
Let x(d) be the third derivative of -d**5/60 + 5*d**4/24 - d**3/2 - 9*d**2. Let g be x(3). Suppose 16 = g*p - 2*p. Does 16 divide p?
True
Suppose -3*f = -4*c - 647, -224 = -f + 5*c - 2*c. Does 16 divide f?
False
Let d be (-14)/(-4) - (-6)/4. Suppose -d*g + 38 = -3*g. Is g a multiple of 6?
False
Let d = 287 + -98. Is d - 6/(5/(-10)*4) a multiple of 8?
True
Let r = 40 - 40. Suppose r = 7*q - 4*q - 576. Is q a multiple of 16?
True
Let f be (-4 - (4 + -8))*-1. Suppose -2*t = -6*t. Suppose f = -5*l - t*l + 35. Does 6 divide l?
False
Let f be (28/(-21))/(2/(-6)). Suppose f*t - 12 = 2*t. Is 23*2 - (t + -8) a multiple of 16?
True
Let z(w) = -9*w + 19. Let b(h) = 10*h - 20. Let s(r) = 5*b(r) + 6*z(r). Let q be s(-5). Let k = 63 - q. Does 29 divide k?
True
Let r = 9 + -7. Suppose -d + 135 = r*d. Is d a multiple of 11?
False
Let z = -4187 + 5921. Does 6 divide z?
True
Let p(a) be the third derivative of -a**7/630 - a**6/60 - a**5/20 - 8*a**2. Let y(u) be the third derivative of p(u). Is y(-6) a multiple of 26?
False
Let m(i) = -3*i**2 + i - 5. Let x(y) = 4*y**2 - y + 5. Let p(t) = -5*m(t) - 4*x(t). Let g be p(0). Let j(n) = n + 7. Does 6 divide j(g)?
True
Let q = 62 + -175. Let c = q - -353. Is c a multiple of 24?
True
Let l be (3 - 45/6)/((-15)/260). Let f = l - -3. Does 12 divide f?
False
Let w(q) = -3*q**2 + 13*q - 7. Let y(g) = -13*g**2 + 52*g - 28. Let v(p) = -9*w(p) + 2*y(p). Let m be v(12). Is 25 a factor of (-269)/(-5) + m/(-25)?
False
Suppose -2*i - 954 = 2*m, 0*m + 4*m = -2*i - 1904. Let l = -271 - m. Is l a multiple of 19?
False
Let t be 5 + (-4 - -4) + -1. Is -1*(0 - 17)*t a multiple of 17?
True
Suppose 11*t + 186 = 3442. Is t a multiple of 26?
False
Suppose -15*k + 21901 = -2039. Is 6 a factor of k?
True
Let t = 36 + -33. Suppose t*u - 11 = -x + 2, 3*u + 2*x = 14. Suppose -4*q - 42 = -m - 2*q, -u*q = m - 54. Is m a multiple of 15?
False
Let l(f) = -f**3 + 10*f**2 + 11*f + 4. Let h(j) = -4*j - 13. Let r be h(-6). Is l(r) a multiple of 4?
True
Let f be 1358/(-6) + -3*12/(-27). Does 20 divide 2*f/6*8/(-3)?
True
Let o = 65 + -35. Let y be (4/5)/(4/o). Is 1/3 + 46/y a multiple of 3?
False
Let y(n) = 2*n**3 - 15*n**2 - 12*n + 9. Does 15 divide y(9)?
False
Let d = -48 + 30. Let x = d + 21. Suppose 4*t = b - 5*b + 112, -x*t + 3*b + 72 = 0. Is 10 a factor of t?
False
Let p(c) = c**3 - 12*c - 5. Is p(10) a multiple of 125?
True
Does 31 divide (-2 + 116)*(0 - -2)?
False
Let b(t) = t + 14. Let w be b(-11). Suppose 13 + 1 = -3*n + 4*x, w*n - 2*x = -4. Suppose -n*o = -0*q + 4*q - 96, o = q + 42. Is o a multiple of 11?
True
Suppose 3*v = -v + 28. Suppose 490 = v*j - 2*j. Suppose 0 = h - 3*h + j. Does 15 divide h?
False
Suppose -4*a + 195*b = 191*b - 8728, -4*a + 8732 = -5*b. Is 99 a factor of a?
True
Suppose -n - 4038 = -4106. Does 68 divide n?
True
Let y = 5584 - 3728. Is y a multiple of 58?
True
Suppose -c = -5*m + 1, -c + 4 = -m + 1. Suppose 2*k - 24 = -4*k. Suppose m = -k*p + 21. Is 3 a factor of p?
False
Let j(d) = -d**3 - 6*d**2 - 4. Let x be j(-5). Let l = 4 + -22. Let c = l - x. Is 6 a factor of c?
False
Suppose 0 = 20*n - 17*n - 4*u - 2377, -5*u + 786 = n. Is 6 a factor of n?
False
Suppose -89*d + 86*d = -189. Suppose s - d = -2*s. Is s a multiple of 7?
True
Suppose -70 = -16*s + 15*s. Let r = s + -133. Let c = r - -108. Does 15 divide c?
True
Suppose -311*z + 298*z + 33644 = 0. Is 22 a factor of z?
False
Is 22 a factor of 12*(7 + -10 - 78/(-4))?
True
Let d = -395 - -584. Does 7 divide d?
True
Let a(o) = -12*o**2 - 14*o + 10. Let j be a(8). Is 31 a factor of (-4)/10*j/6?
False
Let w = 47 - -44. Is 13 a factor of w?
True
Let v(m) = 24*m**3 - 6*m**2 - 4*m + 48. Does 92 divide v(4)?
True
Let l = -11 + 11. Suppose 4*v + 47 - 227 = 3*o, 3*v + 3*o - 114 = l. Suppose -2*k + 20 + v = 0. Is k a multiple of 9?
False
Let y(m) = -6 - 13*m + 11*m - 19*m + 1. Is y(-2) a multiple of 19?
False
Let q = -300 + 140. Let s = 89 + -199. Let x = s - q. Is x a multiple of 27?
False
Suppose 34*p - 35*p = 22. Let q be 34 + (3/1 - 1). Let a = q + p. Does 11 divide a?
False
Let g = 952 + -63. Is g a multiple of 2?
False
Let g(l) = -l**2 + 19*l + 5. Let k be g(17). Suppose -k = -4*v + 45. Let b = v + -7. Is b a multiple of 3?
False
Let f(d) = -2*d + 16. Let i be f(-12). Suppose i = -3*x + 136. Suppose -j - x = -3*j. Is 16 a factor of j?
True
Suppose i = 2*a + 4*i, i = 2*a. Suppose a = -p - 2*q + 183 + 88, 4*p + 3*q - 1079 = 0. Is p a multiple of 29?
False
Let h = 12 - -6. Does 6 divide h/12*48/2?
True
Suppose -3*q = -11012 + 1877. Is q a multiple of 15?
True
Suppose -2*i - 4*j = -10, -2*j - 6 = j. Does 24 divide 82/8*(i + -1)?
False
Does 19 divide 1092/(2/(16/12))?
False
Let c = -6 - -24. Let k be 2 + (c/2 - -2). Let l = 2 + k. Does 5 divide l?
True
Let y = 55 + 33. Suppose -3*j - 2*d + 73 = -3*d, -d = 4*j - y. Is j a multiple of 23?
True
Let j be 2/(-4)*((-36)/(-3) + -12). Suppose -2*f + 141 = 35. Suppose j = -2*r + 3*s + 50, -2*r - 7 = -4*s - f. Is 22 a factor of r?
False
Suppose 15*h = 12*h + 1353. Is h a multiple of 11?
True
Suppose -5*r - r + 924 = 0. Let i(g) = -3*g - 13. Let l be i(-7). Suppose c = l*c - r. Does 3 divide c?
False
Let h(f) = 2*f**2 - 20*f + 243. Is 33 a factor of h(8)?
False
Does 7 divide 1 - 11296/(-36) - 2/(-9)?
True
Let v(f) be the third derivative of 0*f + 0 - 2/15*f**5 - 1/8*f**4 + 3*f**2 + 1/120*f**6 + 0*f**3. Does 18 divide v(9)?
True
Let g(s) be the third derivative of -s**5/60 + 5*s**4/6 - s**3/2 - 10*s**2. Does 4 divide g(19)?
True
Suppose -r - u = 2, -11 = -r + 5*u - 1. Suppose 4*p + 5*a = 336, 253 = 3*p - r*a + 4*a. Is p a multiple of 21?
False
Let b(i) = 5*i**2 - 2*i + 1. Let d be b(1). Suppose d*o - 105 = o. Let q = o + -29. Is q even?
True
Does 7 divide 6/(-2)*12/54*-210?
True
Let q(s) = -3*s - 39. Let l be q(-12). Let x(n) = 7*n**2 + 3*n + 2. Does 14 divide x(l)?
True
Does 11 divide (1/3 - 132/(-36)) + 101?
False
Let u(j) = -j**2 + 6*j + 13. Let w be u(7). Suppose w*n = -0*n + 36. Is n a multiple of 3?
True
Suppose 0 = 4*j + 4*c - 128, -j - 4*c + 3 + 14 = 0. Suppose -3*k - 15 = 0, -3*k = 5*h - 4*k - 50. Let y = j - h. Is y a multiple of 14?
True
Let v(x) = -x + 5. Let n be v(-7). Suppose -2*f = -0*f - 162. Let j = f - n. Is 19 a factor of j?
False
Let o = -85 + 87. Suppose 101 = u + o*u + 4*v, 3*u = -v + 113. Does 13 divide u?
True
Suppose 4*g = -305 - 739. Is g/(-45) - 2/(-10) a multiple of 6?
True
Suppose -29016 = -7*r - 11*r. Is r a multiple of 74?
False
Suppose 8790 + 20460 = 26*a. Is 38 a factor of a?
False
Let z be (-14)/3 + (-16)/(-24). Suppose -3*u - 2*k = -29, -2*k - 75 = -5*u - 0*u. Does 5 divide 2 - (2 - (u - z))?
False
Let u be ((-2)/((-12)/(-2)))/((-7)/63). Suppose 2*x - 19 = -p, 5*p + 0 = u*x + 4. Is x a multiple of 4?
False
Does 14 divide 3 - ((-52765)/122)/(1/2)?
True
Let s(i) = 4*i**3 - 15*i**2 - 11*i - 2. Let q be s(7). Suppose -12*a = -q - 2154. Is 30 a factor of a?
False
Let b = -22 - -27. Suppose b*k + 19 = 139. Let s = k - 14. Is s a multiple of 2?
True
Does 3 divide 10 + 8/((-8)/(-119))?
True
Let n = -886 + 2476. Does 30 divide n?
True
Let r = 100 + 164. Does 33 divide r?
True
Suppose 0 = 3*a + 3030 + 921. Is 2/(-15)*a + 2/5 a multipl