se
Suppose -716 = 12*n + 388. Let a = 104 + n. Does 26 divide (-13*a/9)/(2/(-15))?
True
Suppose 1910*h = 1926*h - 16288. Is h a multiple of 19?
False
Let f(j) = -672*j - 30. Let o be f(-5). Let v = o + -2373. Is 42 a factor of v?
False
Let g(u) = u**2 - 187*u + 3392. Does 76 divide g(175)?
True
Suppose q - 2*v - 19 = 21, 3*q - 120 = -3*v. Let f = q - 32. Suppose 0 = -2*x - 4*s + 42, -3*s = 4*x - f*s - 97. Is x a multiple of 8?
False
Suppose -3*n = -3*h - 0*h - 249, 0 = -4*n + 3*h + 337. Let w = -52 + n. Suppose 0 = j - 37 - w. Does 7 divide j?
False
Let m = 765 - 636. Let c = -19 + m. Is 55 a factor of c?
True
Is 9 a factor of (-2)/8 - ((-15)/30)/(2/869)?
False
Let f be (-24 + 28)/(-1 - -2). Suppose f*h = 5*x - 5, 2*x = 4*x + 2*h - 2. Does 11 divide x*3 - (4 + -2 + -109)?
True
Suppose 0 = 4*v + y + 5, -3 = 4*y - y. Let r be 19/(-3*v/3). Is (r + 2 - 2) + 4 a multiple of 2?
False
Let m = -64673 - -99110. Does 13 divide m?
True
Let p be (3/(-2) + 2)/(1/(-2)). Let o(f) = -92*f + 4. Let u be o(p). Suppose -5*r - u = -391. Does 20 divide r?
False
Let c be -11*(-2*1 + (-4)/(-4)). Let q(l) = 1 - l - 8*l**2 + 0 + c*l**2 - 2*l + l**3. Is q(1) even?
True
Let s = -15227 + 22653. Is s a multiple of 79?
True
Let y be 3*(-9)/15*(-35)/21. Suppose 4941 = y*r + 3*m, -5*m = -5*r - 2*m + 8275. Is r a multiple of 15?
False
Let h = -50 - -19. Let k = 109 + h. Is 4 a factor of k?
False
Let a(r) = 19*r - 7 + 117*r + 29*r. Does 80 divide a(4)?
False
Suppose 14*j - 7900 = -2*o, o = 4*j - 3*j + 3934. Is o a multiple of 60?
False
Let g = -57 - 0. Let n = -183 - -141. Let k = n - g. Is 15 a factor of k?
True
Suppose -4*c - j - 416 = 0, 3*j - 104 = 2*c - c. Let i be -7 + (-135)/(-20) - 622/8. Let u = i - c. Is u a multiple of 2?
True
Let s(p) be the first derivative of -p**4/4 - 4*p**3 + 2*p**2 + 9*p - 7. Let l(w) = w**3 - 19*w**2 - 67*w + 8. Let r be l(22). Does 15 divide s(r)?
True
Let k(l) = -l**3 - 26*l**2 + 29*l + 62. Let t be k(-27). Does 28 divide (-785)/(-4) + 0 - 2/t?
True
Let i(h) = h**2 - 1. Let y(a) = a**3 + 7*a**2 + 1. Let d(c) = -4*i(c) - y(c). Let r be d(-11). Let w(p) = 7*p**3 + p**2 - p - 6. Is w(r) a multiple of 21?
True
Let r be (6/9)/((-25872)/8622 + 3). Let i = -382 - r. Is 26 a factor of i?
False
Suppose 7*s - 3*o = 32754, -4*o + 8 = -0*o. Is 52 a factor of s?
True
Let i(t) = 306*t - 832. Is 18 a factor of i(12)?
False
Let c be -5*((-88)/(-20) - 4). Let w be (-1368)/(-6) + c + 6. Let y = w - 83. Is y a multiple of 19?
False
Suppose k - 8 = -3*t, -6 = -0*t - t - k. Let p be 0 - (1 - t)/(-4). Suppose -3*x + 57 - 18 = p. Does 7 divide x?
False
Let r = -1740 - -3333. Is 27 a factor of r?
True
Suppose -40 = -5*r - 2*t, 4*r - 3*r + 5*t = 31. Suppose 784 = v + 2*o, 9*o + r = 12*o. Is 6 a factor of v?
True
Let a be 2/((-16)/60)*(-4)/(-5). Let j = a - -9. Suppose 30 = j*k - 24. Is k a multiple of 6?
True
Let p(k) = 83*k + 34. Let y be p(4). Suppose -11*n + y = -602. Is 5 a factor of n?
False
Suppose 0 = -8*s - 5*r + 37516, 11910 = 5*s - r - 11521. Does 43 divide s?
True
Let g(f) = -5*f + 41. Let v be g(7). Is 45 a factor of -4*(-4 + -21 + v)?
False
Suppose 15*y = 16257 + 6483. Is y a multiple of 17?
False
Suppose -8*t + 8 = -48. Let d(w) = 3*w**3 - 10*w**2 - w - 3. Let b be d(t). Suppose b = 4*z + 2*k - 3*k, -4*z = -4*k - 532. Is z a multiple of 33?
True
Let h(t) = -4*t - 48. Let v be h(-13). Is 29 a factor of 1791/(-9)*((v - 3) + -2)?
False
Let l(r) = -8*r + 164 - 473 - 2*r**2 + 3*r**2. Let x(y) = -2*y - 77. Let n(p) = 2*l(p) - 9*x(p). Does 5 divide n(0)?
True
Let h(l) = 87*l**2 - 124*l + 1272. Is 37 a factor of h(10)?
True
Is 15/((-120)/(-28576)) - (-6 + 14) a multiple of 11?
True
Let b = -49 + 52. Is 15 a factor of 62 + -2 + (-18)/b + 7?
False
Suppose -1291 = -x + d, -x - 4*d + 213 = -1048. Does 2 divide x?
False
Let g(b) = -b**3 - 3*b**2 + 5*b + 10. Let m be g(-4). Let u be m/(12/(-128)*-1). Let a = u - 60. Is a even?
True
Suppose 4*d = w - 24, -3*d + 83 = 4*w - 6*d. Let c(q) = -14*q - 10 + 14*q + w + 33*q. Is c(4) a multiple of 21?
False
Let v = -65763 - -110118. Is 226 a factor of v?
False
Suppose a - 2*l + 2145 = 0, 0 = 4*a - l - 4*l + 8568. Let u = a + 3105. Is 58 a factor of u?
False
Suppose 3*o - 30*n - 35765 = -25*n, 23834 = 2*o - 2*n. Is o a multiple of 30?
True
Suppose -16*q + 2 - 2 = 0. Let b(g) = -3*g**2 + 4*g**2 + 12 + 3. Is 9 a factor of b(q)?
False
Let c(h) = -14*h + 9*h + 5*h + 8*h - 22. Let g be c(-6). Let d = g + 263. Is d a multiple of 15?
False
Let t = 952 - 732. Suppose 0 = -t*m + 225*m - 1925. Is m a multiple of 5?
True
Let s = 324 - 723. Let w = s - -898. Suppose -z = -5*q + 3*q + w, 995 = 4*q + z. Is 20 a factor of q?
False
Suppose 263*q - 240*q - 197214 = 125177. Does 151 divide q?
False
Let z = -2798 + 7898. Is 25 a factor of z?
True
Is (-2 + 178)/(-12 + (-4974)/(-414)) a multiple of 47?
False
Let x(j) = -8*j**3 - 16*j**2 - 4*j + 5. Let f(w) = 6*w**3 + 16*w**2 + 3*w - 5. Let p(r) = 3*f(r) + 2*x(r). Suppose 25 = 4*i - 9*i. Does 35 divide p(i)?
True
Let u = -48 + 47. Let t(z) = z. Let o(p) = -3*p**2 - 21. Let k(q) = u*o(q) + t(q). Is k(5) a multiple of 20?
False
Let b be (-21)/(-11) + (-5)/(-55). Suppose o = -b*c + 12, 5*o - 77 = 2*c + 31. Suppose 9*z - 4*z = -h + 70, -z + h + o = 0. Is z a multiple of 2?
False
Does 102 divide (26/(-117) + 3183/108)/(27/8568)?
True
Suppose 0*n = 2*n - 5*i - 305, 4*i = 20. Let a be (-4 + (-93)/12)*-8. Let p = n - a. Is p a multiple of 22?
False
Suppose -42712 = n - 3*n + 4*i, 0 = 5*n - 2*i - 106732. Is n a multiple of 92?
True
Let m(x) = 2*x**2 + 146*x - 155*x - 8 + 0*x**2. Suppose -4*k = -2*y + 22, -26 = 3*k - 2*y - 7. Is m(k) a multiple of 4?
False
Is 12 a factor of 11/(44/424)*((-2)/(-2) + 77)?
True
Let n = 6492 + -4011. Suppose -629 = -10*l + n. Is l a multiple of 24?
False
Suppose -7*t + 4414 = -3*n - 11*t, 2*n = -t - 2936. Let k = -632 - n. Does 6 divide k?
True
Let z be (-774)/15*35/14. Let q = -121 - z. Suppose 184 = q*m - 8. Is m a multiple of 7?
False
Let l(s) = -2*s + 12. Let f be l(-3). Suppose -2*m - 2*u = f, -33 = 2*m - u - 0. Is (108/m)/(9/(-168)) a multiple of 16?
True
Let j(q) = -q + 271. Let m be j(0). Let v = m + -226. Is 2 a factor of v?
False
Suppose u - 4*z = -4 - 6, 2*u - 19 = -5*z. Suppose -76 = -f - 4*n - 0, -u*n + 158 = 2*f. Is 40 a factor of f?
True
Let k be 32/112 - -6*(-6)/28. Let v(f) = 48*f + 2. Let i be v(k). Let s = 9 - i. Does 11 divide s?
True
Let k(j) = 13*j**2 - 2*j + 4. Let z = -12 + 9. Let a(t) = t + 5. Let c be a(z). Does 26 divide k(c)?
True
Suppose -k - 35045 - 94113 = -5*p, 35 = 5*k. Does 246 divide p?
False
Suppose 0 = 9*g - 22136 - 24331. Is g a multiple of 7?
False
Let x(s) = -20*s**3 - 13*s**2 + 5*s. Let r(y) = y + 11. Let j be r(-14). Is x(j) a multiple of 17?
True
Does 36 divide 520/(4/(-504)*-14)?
True
Suppose -5*i - 4*g = -0*i, -4*i - 2*g = 0. Let s be 1/(-1)*i/(-1). Suppose -15*z + 18*z - 198 = s. Does 11 divide z?
True
Is 107 a factor of 5673 + -5 - (4 - (2 - -5))?
True
Let g(u) = -4*u. Let q be g(-3). Suppose -240 = -5*p - p. Let m = p + q. Is m a multiple of 13?
True
Suppose 25931 = a - 15836. Is 11 a factor of a?
True
Let c(d) = d**3 + 20*d**2 + 18*d - 16. Let n be c(-19). Suppose 0 = -n*m + 4*m - 5*a - 401, 2*m - 814 = -2*a. Is m a multiple of 39?
False
Suppose 86*f + 97193 = 1737688 + 278251. Is 37 a factor of f?
True
Let i = -25993 + 37641. Does 14 divide i?
True
Let l(v) = v**2 + 22*v + 2. Let d be l(-24). Let k = d + -8. Is 14 a factor of k?
True
Let b = -16 - 8. Let k = b - -7. Is -4 - 0 - 0 - k a multiple of 4?
False
Let p = -76 - -111. Suppose p*k - 51*k = -656. Is 6 a factor of k?
False
Let i(l) = 15*l**2 + 14*l - l**3 + 2*l - 513 + 507. Does 9 divide i(14)?
True
Suppose 6*g = 7*g - 41. Let m = -97 + g. Let d = 139 - m. Is 16 a factor of d?
False
Let z(d) = d**2 - 12*d - 8. Let b be z(10). Let v be b/(-70) + ((-189)/5)/(-3). Let x(c) = -c**3 + 12*c**2 + 14*c + 3. Does 14 divide x(v)?
False
Suppose 0 = 197*u - 201*u + 52. Let k(q) = 2*q**2 + 15*q + 59. Does 8 divide k(u)?
True
Let h = -24611 - -49097. Is h a multiple of 106?
True
Let h be 6/(6/(-13))*1. Let n = h + 15. Is n a multiple of 2?
True
Let c be ((-236)/(-8))/((-2)/(-12)). Let l be 3280/(-26) + (-34)/(-221). Let g = c + l. Is g a multiple of 10?
False
Suppose 4413*t - 4314*t