e of 8?
True
Let t(g) = 8 - 5*g**3 - 6*g + 11*g - 4 + g**2 - 3. Does 13 divide t(-3)?
True
Suppose 9*o + 25 = 2302. Let z = o - 36. Is z a multiple of 31?
True
Let m be (-2)/15 - (-185448)/360. Let o = m - 299. Is o a multiple of 24?
True
Let g(i) = -2*i**2 + 4*i**2 - 6*i**3 + 3*i**3 + 3*i. Does 9 divide g(-3)?
True
Let d(r) = 11*r - r**2 + 14 + 7*r + 10 + 0*r. Is d(8) a multiple of 26?
True
Does 25 divide ((-45)/27 - 1)/((-2429)/2427 - -1)?
False
Let j(t) = t**2 - 7*t + 5. Let m be j(0). Suppose -4*f - 2*g + 598 = -3*g, m*g = -5*f + 760. Does 15 divide f?
True
Suppose 420*b + 126480 = -419*b + 851*b. Does 31 divide b?
True
Let t(b) = -228*b + 60. Is 6 a factor of t(-10)?
True
Suppose -24*k - 13*k = -8*k - 53389. Is k a multiple of 32?
False
Let k = 2500 - 1242. Let t = -883 + k. Is 75 a factor of t?
True
Let b = 112 - 109. Let d = b + -33. Is (45/d)/(1/(-2)) even?
False
Let y = 18 - 8. Let t(p) = p**2 - 9*p + 2. Let h be t(y). Let z = h + 23. Is 18 a factor of z?
False
Suppose -155*c = -164*c + 42525. Suppose 28*q - 3*q - c = 0. Is 2 a factor of q?
False
Let p(q) = 209*q**2 - 13*q - 48. Let w be p(-3). Suppose w = 5*j - 3528. Does 24 divide j?
True
Suppose j + 5*u = 151, -3*j - 2*j = -3*u - 727. Let z = j + 26. Let q = 256 - z. Is q a multiple of 14?
True
Does 3 divide -54*3*(-21)/63?
True
Let o(q) = q**3 - q - 11. Suppose 0 = w, 4*f + 10*w = 5*w. Let j be o(f). Let n(m) = m**3 + 11*m**2 - 4*m + 25. Does 12 divide n(j)?
False
Suppose -h - h + 4 = 0. Let l = 411 + -411. Suppose -2*j + 3*j - 3*n - 146 = l, 136 = j + h*n. Is j a multiple of 35?
True
Suppose -18*w - 14505 = -5*r + 8821, 5*r - 5*w = 23235. Is 10 a factor of r?
True
Suppose -4*w - r = -7083 - 2016, -3*w - 3*r = -6831. Does 3 divide w?
True
Let x = -122 - -129. Suppose -10 = x*s - 864. Does 38 divide s?
False
Suppose -190*j + 157*j = -143616. Is 32 a factor of j?
True
Let x = 640 + -608. Suppose -3*m = -i + 4 - 24, 3*m + 2*i = x. Is 4 a factor of m?
True
Let r(s) = 20 - 2113*s + 17*s**2 + 2123*s - 8*s**2 + s**3. Let n be r(-6). Let t = n - 26. Is t a multiple of 7?
True
Let g = 31 + -13. Suppose -5*c - 6*k + 4*k = 0, 4*c - g = 2*k. Does 3 divide 36 + c - (0 + 3)?
False
Let a = 36 - 33. Let c be 4/a - ((-56)/(-21))/(-4). Does 4 divide 24/c - 0/(-3)?
True
Suppose 5*n - h - 76109 + 17755 = 0, -2*h = n - 11662. Is 10 a factor of n?
True
Does 24 divide 2945 - -1 - (22 - 4)?
True
Does 49 divide (1 - -27)*2/(32/10024)?
True
Suppose 6*d = 15*d - 504. Is 11 a factor of (-11)/2*7/(d/(-144))?
True
Let o be 6 + 0 + -8 + 4. Suppose -o*l + 137 = 3*j, -5*l - 2*j + 6*j = -354. Is l a multiple of 3?
False
Let q(c) = -1 + 77*c + 26 + 147*c + 5*c. Does 19 divide q(1)?
False
Let o be 1 + -1 + (-60)/10 - 0. Let k(r) = -75*r - 37. Does 11 divide k(o)?
False
Let x(a) = 53*a**2 - 87*a - 21. Is x(10) a multiple of 27?
False
Let m(j) = -8*j - 30. Let v be m(-16). Let f(a) = -77*a - 1. Let t be f(-3). Let b = t - v. Is 33 a factor of b?
True
Let j be 1016/12 + (-40)/15 + 2. Suppose 3*o - j = o - 4*f, 0 = 3*f + 9. Is o a multiple of 15?
False
Let w be (2 - -1)/(-9) - (-70912)/48. Suppose 16*k + 37 = w. Does 5 divide k?
True
Let d(s) = 64*s**3 + 6*s**2 - 142*s - 48. Is 27 a factor of d(9)?
False
Suppose 5*i + 2*r - 14 = 0, -3*r - 17 = -i - i. Let a(g) = g**2 - 5*g - 2. Let z be a(i). Does 10 divide (-75)/z*84/15?
True
Suppose 84*b = -88*b + 180*b - 24056. Is b a multiple of 3?
False
Let c(t) = 4185*t**2 + 16*t - 9. Is 16 a factor of c(1)?
True
Let h(f) = 237*f + 110. Let y(r) = -6*r - 1. Let l(u) = h(u) + 3*y(u). Is 12 a factor of l(8)?
False
Let h(g) = 93 - 7*g**2 + 42*g**2 - 14*g**2 + 53*g - 19*g**2. Is h(-36) a multiple of 7?
True
Suppose 0 = 14*v - 10*v - 32. Suppose -v*w + 1045 = -5*w - 2*k, w - 5*k - 370 = 0. Does 34 divide w?
False
Suppose -3*w + 24 = -30. Suppose 22*d - w*d = -32. Is -3*d/36*2*24 a multiple of 8?
True
Suppose 3*i = 3*c - 194712, 21342 = -5*c - 4*i + 345826. Is c a multiple of 25?
True
Suppose -3*u + 11209 = 2*l + 3127, -4055 = -l - 5*u. Is 3 a factor of l?
True
Let h = 53 + -73. Let l = 22 + h. Suppose -597 = -5*k - l*j - 81, 422 = 4*k - 3*j. Is 13 a factor of k?
True
Let p(t) = -894*t + 2737. Does 102 divide p(-4)?
False
Is 22 a factor of 5 + ((-16)/(4 + 0))/((-20)/90065)?
True
Let g be (-46)/6*14/(112/(-24)). Suppose 0 = -28*c + g*c + 1650. Is 22 a factor of c?
True
Is 53 a factor of (-31 + -4)/(-7) - -2804?
True
Let i(q) = -30*q + 77. Let v = 456 + -468. Is i(v) a multiple of 19?
True
Let l(p) be the second derivative of 13*p**3/2 + 65*p**2/2 - 6*p + 6. Is 53 a factor of l(16)?
True
Let s(m) = 1592*m - 193. Is s(2) a multiple of 36?
False
Suppose 0 = 3*t - 6 - 9. Suppose t*x - 3*p = -0*p, 0 = -3*p. Suppose x = 2*y - 2, 0 = -l + 4*y + 4 + 9. Is l a multiple of 10?
False
Let n(b) = -555*b - 5203. Is 6 a factor of n(-13)?
False
Let o(n) = 6*n**2 - 10*n + 8. Let s(j) = -5*j**2 + 9*j - 8. Let v(k) = -2*o(k) - 3*s(k). Suppose -460*x = -452*x - 32. Does 11 divide v(x)?
False
Let d(f) = -f + 78. Let c be d(16). Suppose 141 = t - c. Is t a multiple of 29?
True
Let b be (-660)/(-40) + (-1)/4*2. Suppose b*t - 144 = 192. Does 6 divide t?
False
Let i = 131 - 138. Let k(g) = -g**3 - 3*g**2 + 10*g + 4. Is 26 a factor of k(i)?
True
Let t = -21 + 25. Suppose 0 = t*g - 6*g + 508. Suppose -3*u + 5*u = -4*c + g, -5*u = 3*c - 187. Is 30 a factor of c?
False
Suppose 215208 = -638*m + 659*m. Is m a multiple of 15?
False
Suppose 32*v + 28*v - 194688 = 24*v. Does 52 divide v?
True
Suppose 1223*q = 1166*q + 1153053. Does 153 divide q?
False
Suppose -1710*l = -1652*l - 103182. Does 5 divide l?
False
Let c(d) = 136*d**2 + 6*d + 7. Suppose 0 = -24*b - 3 - 21. Is c(b) a multiple of 9?
False
Let i(v) be the second derivative of 9*v + 0*v**2 + 5/6*v**3 + 0 + 11/12*v**4. Does 17 divide i(-2)?
True
Suppose -2 = 2*b, 15*b = 5*t + 17*b - 173178. Is t a multiple of 7?
True
Suppose d + 2*n = 35318, -3*d = -n - n - 105922. Is d a multiple of 321?
True
Suppose 0 = -2*q + 278 - 954. Let f = q - -455. Is 8 a factor of f?
False
Let o(d) = 12*d**2 + 6*d - 10 - 11 - 7 + 8. Is o(-8) a multiple of 35?
True
Let i = 14961 + -9703. Suppose 7634 = 11*j - i. Is 18 a factor of j?
False
Let s = 4923 - -18969. Is 33 a factor of s?
True
Let i(n) = 195*n**2 - 6*n - 1. Let t(d) = 65*d**2 - 2*d. Let x(o) = 4*i(o) - 11*t(o). Is x(2) a multiple of 36?
True
Let t = -219 - -258. Let z = 70 - t. Is 2 a factor of z?
False
Suppose -3*y + 3*m + 1878 = 0, -1243 = -2*y + m + 4*m. Suppose -2*l - y = -3*p + 174, 5*p = -l + 1360. Is 69 a factor of p?
False
Let m = 14380 - 13698. Is 209 a factor of m?
False
Let x be (2/6)/(3*(-1)/9). Let k be -11 - -11 - (-3 + x). Suppose r - 182 = -i, 2*r + k*i = 275 + 83. Is r a multiple of 41?
False
Let q(v) = -3 + v**2 + 4*v - 9*v + 18 - 2*v. Is q(4) a multiple of 3?
True
Suppose -796 = 3*p + o, 15*o = -p + 14*o - 262. Let y = p - -723. Is y a multiple of 24?
True
Suppose -g = u - 5*u + 2202, -2*g - 4459 = 3*u. Let m = g - -3144. Is 16 a factor of m?
False
Suppose 0 = -90*a - 91*a - 209*a + 11377080. Does 187 divide a?
True
Let p(c) = 84*c**2 + c - 1. Let f be p(1). Suppose 0 = -367*i + 377*i - 30. Suppose -i*v + f = -60. Does 12 divide v?
True
Let s(y) = 14*y + 238. Is s(11) a multiple of 9?
False
Does 24 divide 0 + (3 - 3459)*((-418)/(-33))/(-19)?
True
Suppose -21*j + 9711 = -8*j. Suppose 0 = -15*k + j + 678. Does 7 divide k?
False
Suppose 21258 = b + 2*h, 0 = -5*b + 3*h + 136818 - 30411. Is 27 a factor of b?
True
Does 28 divide ((-8)/(-8))/((-4)/(-36)) - -1307?
True
Let h(n) = -431*n. Let t be -1 + 5 + 7/((-28)/20). Does 29 divide h(t)?
False
Let c = 1038 - -83. Let g = c - 249. Is 14 a factor of g?
False
Suppose -5*m - 10 = -4*t, -7*m = -3*t - 3*m + 8. Suppose -8*o + 11*o - 9 = t. Suppose 0 = 5*w - 3*s - 372, 20 = -2*s - o*s. Is 12 a factor of w?
True
Let t(w) = 37*w**2 + 16*w - 240. Is 155 a factor of t(20)?
True
Suppose 2*i + 5*p - 6983 = 0, -3*p - 14031 = 115*i - 119*i. Is 24 a factor of i?
True
Suppose -1312*d + 1318*d = 12. Suppose -2*v + 2*l + 910 = 0, -d*v + 0*l + l + 915 = 0. Does 20 divide v?
True
Let g = 44120 - -8168. Is g a multiple of 16?
True
Let k(q) = 165*q. Let x be k(6). Suppose 4*p - x = -p. Suppose 4*o = o + p. Does 11 divide o?
True
Let g = 61080 + -10436. Is 11 a factor of g?
True
Let i 