 4*j - 92, 3*j + 93 = 5*m - 4*m. Suppose 5*w = -s - 15, 5*s + 3*w = -0*s - 9. Suppose -8*k + m = -s*k. Is k even?
True
Suppose 0 = -4*v + 8, 3*f - 2*v = 4*f + 85. Let a = f - -76. Let d(q) = -2*q**3 - 24*q**2 - q - 8. Does 49 divide d(a)?
True
Let f = 97105 + -57181. Is 18 a factor of f?
True
Suppose 0 = -4*l - 4*v + 164, -2*v = -5*l + 256 - 58. Let f = -37 + l. Suppose k + f*x = -0*x + 3, 4*k - x - 51 = 0. Is 8 a factor of k?
False
Let p(y) = 42*y**2 + 20*y + 63. Let j(q) = 44*q**2 + 20*q + 62. Let g(u) = -5*j(u) + 6*p(u). Is 50 a factor of g(-6)?
True
Suppose 15*z - 1 = 14*z. Let a be (z + -3)/2 + 83 + 2. Let q = a + -48. Does 9 divide q?
True
Let m = -109 + -153. Let x = -91 - m. Does 20 divide x?
False
Let c be ((-124)/(-6))/(7 + (-76)/12). Is 8 a factor of 0 - -1 - (-806)/c?
False
Let a = -160 - -158. Let s(y) = 23*y**2 + 3*y + 1. Is s(a) a multiple of 6?
False
Suppose -1807 = -13*i + 429. Suppose 6*j = p + 2*j - i, -4*p + 5*j + 710 = 0. Is 20 a factor of p?
True
Suppose 16*u - 56263 - 81639 = -3*u. Is u a multiple of 57?
False
Suppose -2*k + 16 = -q, -10 - 12 = 2*q - 2*k. Is (-34)/q*15 + 4 a multiple of 6?
False
Let s = 9020 - 5073. Is s a multiple of 40?
False
Suppose 0 = 3*k + i - 6857 - 18118, 3*k - 24969 = -2*i. Does 25 divide k?
False
Is 58 a factor of ((5100/(-48))/(-25) - 3/(-4)) + 19541?
True
Let x(i) = -3254*i + 158. Is 63 a factor of x(-2)?
False
Suppose 5*w = 20, 4*w + 12 = -4*a + 2*w. Let i(b) be the third derivative of b**6/120 + b**5/6 - b**4/4 + b**3/6 + 2*b**2 - 117*b. Is i(a) a multiple of 52?
True
Suppose -9*h + 13*h = 8. Suppose 0 = 2*z + a - 147, -z - a = h*z - 223. Does 21 divide z?
False
Let x(i) = 130*i + 8513. Is 18 a factor of x(-12)?
False
Let t(w) = -30*w + 769. Is 4 a factor of t(-18)?
False
Is 32 a factor of ((-3183)/5 - -3)*(-2970)/81?
True
Let t be (-31024)/(-12) + (-14)/6. Is 95 a factor of (-6 + 1)/(t/323 - 8)?
True
Suppose -19*a - 16*a = -10150. Suppose -286*u = -a*u + 2496. Is 56 a factor of u?
False
Suppose -184*s + 190*s + 252 = 0. Is -17*s/3 + 20/(-5) a multiple of 9?
True
Let o(v) = v**3 - 2*v**2 + 2*v - 4. Let n be o(2). Let p(t) = n*t + 102 - 4*t + t + t. Is p(0) a multiple of 17?
True
Is 2/24 + (-38969)/(-420)*5 a multiple of 4?
True
Suppose 0 = -302*m + 301*m + 1624. Let j = -744 + m. Is j a multiple of 44?
True
Let u be (-135)/10*10/(-3). Let o(y) = -3*y - 75. Let a be o(-26). Suppose 3*x = a*d + 45, -x - 2*x - 3*d = -u. Is 15 a factor of x?
True
Let c = 2102 + -1487. Let f = 1290 - c. Does 30 divide f?
False
Let t(p) = 192*p + 13. Let j be t(3). Let u = j + -211. Is 14 a factor of u?
True
Let h = -10 - 23. Let u = 41 + h. Suppose 14*w = 190 - u. Does 13 divide w?
True
Let i(p) = -80*p**2 + 17*p + 1. Let u(m) = 20*m**2 - 4*m. Let q(t) = 2*i(t) + 9*u(t). Let y be q(3). Suppose c - 5*c = -y. Does 11 divide c?
True
Suppose -3*w + o + 11 + 9 = 0, -30 = -5*w + o. Suppose -w*p + 6*p - 6 = 0. Suppose 6*f + p*f - 4260 = 0. Is f a multiple of 53?
False
Suppose 61*j - 629802 = -50416 + 5604. Does 14 divide j?
True
Is (3/((-21)/896))/((6 + -4)/(-40)) a multiple of 40?
True
Let w be 8/(-4) + 5 + 1. Suppose 5*v + 0*q + 1069 = w*q, -q = 5*v + 1089. Let z = 367 + v. Is 29 a factor of z?
False
Let x = 8151 + 16101. Does 11 divide x?
False
Suppose -8*l - 6000 = -3*l. Is ((-2)/6)/(5/l) a multiple of 4?
True
Suppose -64*g = -62*g - 5896. Suppose 3*k - 3653 = -5*a, -4*a + k + 3*k = -g. Is a a multiple of 18?
False
Let l(a) = 15*a**2 + 178*a - 28. Is l(-17) a multiple of 13?
False
Let m(k) = 20*k**2 + 20*k + 6. Let v be m(6). Suppose -499*b = -497*b - v. Is b a multiple of 24?
False
Let w be -2 + 2*2/(-4) - -85. Let d = 80 - w. Does 10 divide d - ((-240)/(-2))/(-5)?
False
Let x(b) be the second derivative of b**4/12 + b**3/3 + 42*b**2 - 2*b - 12. Let u = -6 + 6. Is x(u) a multiple of 11?
False
Let p(h) = -h - 24. Let d(s) = 25. Let n(g) = 3*d(g) + 2*p(g). Let l be n(11). Suppose -3*q - 332 = -l*x, -2*x + q + 98 + 35 = 0. Is 10 a factor of x?
False
Suppose -3*l + 9774 = 5*g, -32*g - 9747 = -3*l - 28*g. Does 2 divide l?
False
Let g(h) = h + 9. Let b = -15 + 6. Let n be g(b). Let f(y) = -y**3 - 2*y**2 + 3*y + 71. Is 11 a factor of f(n)?
False
Let x = -12760 - -16941. Does 6 divide x?
False
Is 5 a factor of (2726/4)/(95/133 - 6/28)?
False
Suppose -25*j = -23*j - 236. Suppose j + 722 = f. Is f a multiple of 56?
True
Suppose 512546 + 13934026 = 474*f. Is f a multiple of 14?
True
Suppose -32*b + 47036 + 8516 = 0. Does 34 divide b?
False
Let y = 1491 - -861. Is 5 a factor of y?
False
Let o = 218 + -225. Let n(l) = 4*l**2 + 20*l + 4. Is 5 a factor of n(o)?
True
Let h(y) = 30*y - 47*y - 3*y - 7 - 75*y. Let c be h(-2). Let g = -91 + c. Is g a multiple of 20?
False
Let z(s) = s**2 - 6*s - 3. Let b be z(-7). Suppose 12*d = -b + 1528. Is d a multiple of 20?
True
Suppose 0 = i + 4*o - 35, 4*i = 3*i + 3*o + 49. Let b = i + -77. Let s = b - -40. Does 4 divide s?
False
Let w be 0 + -1 + -120 + -2. Let q be ((-42968)/410)/(4/10). Let y = w - q. Is 21 a factor of y?
False
Suppose -29*n + 281304 = -11*n + 18*n. Is 65 a factor of n?
False
Let p = 19 + -10. Let s(o) = -5*o**2 - 18*o - 131. Let r(f) = 7*f**2 + 19*f + 184. Let w(v) = -3*r(v) - 4*s(v). Does 6 divide w(p)?
False
Does 245 divide ((-6)/57 - 2338/532)*(-4955 - -1)?
False
Let g be 1/1 + -6 + 10. Suppose -m - 7*b - 92 = -g*b, 471 = -5*m + b. Does 34 divide ((-20)/8 - -2)/(1/m)?
False
Suppose 3*j - 134 = 115. Let h be ((-8)/12)/((-5)/60). Is 41 a factor of (-1 + j)*4/h?
True
Suppose -5673 - 91 = -9*g + 5522. Does 11 divide g?
True
Let i = -17 - -23. Suppose -a = -i*a - 145. Let r = -4 - a. Is r a multiple of 3?
False
Let y be 89/3*(4 - 1). Let l be (37 - y)*(-2)/8. Let i = l + 41. Does 18 divide i?
True
Suppose 0 = 5*h - 4*d - 29 - 6, 3*d = -4*h - 3. Suppose 15*y - 13*y + 5*x = 3553, -h*x = -2*y + 3513. Is 14 a factor of y?
True
Let x(p) = -3*p**3 - 2*p**2 + 21*p + 89. Let k be x(-9). Suppose 1925 = 5*d - 5*u, 5*d - 6*u - k = -2*u. Is d a multiple of 7?
True
Let y(u) = -46*u**3 + 9*u**2 + 6*u + 5. Let g be y(-2). Let h = g + 12. Is h a multiple of 5?
False
Suppose -3*u - 3*a = -1853 - 604, 2*u - 1668 = 3*a. Is u a multiple of 15?
True
Suppose 0 = -102*s + 43*s + 198594. Is 34 a factor of s?
True
Let r(l) = 11*l**2 + 2*l - 4. Let x be r(3). Let v = x - 101. Suppose v*k - k = -2*y + 2, -3*y + 12 = 0. Does 3 divide k?
True
Let m be 42*((-1695)/90 - (-3)/2). Is 7 a factor of 63/(-6)*m/42?
True
Let q = -212 - -116. Let f = -89 - q. Let c(i) = 14*i - 8. Is c(f) a multiple of 30?
True
Suppose 0 = -76*t + 30*t - 24748. Suppose 3*h + 788 = 110. Let o = h - t. Is 26 a factor of o?
True
Suppose 18*l - 38*l + 90*l - 42700 = 0. Does 6 divide l?
False
Suppose -6*t + 44 = 2. Let z(n) = 2*n**3 - 13*n**2 + 18*n - 3. Is 27 a factor of z(t)?
False
Let v = 52045 - 32189. Is v a multiple of 17?
True
Let i(v) = -v**2 - 20*v + 228. Let n be i(8). Suppose n*c = -2*t - 934 + 3514, 0 = 5*t - 2*c - 6390. Is t a multiple of 48?
False
Suppose -y + 2818 = v, 0 = -11*y + 7*y - 3*v + 11269. Does 25 divide y?
False
Let m be 14/(-28) + 59/(-2). Let f be (-6)/(-10) + (-22392)/m. Suppose 275 = -4*c + f. Is c a multiple of 18?
False
Let i be 33 + (3 - 8/2). Suppose 4*x = -4*k + 5*x - i, 2*x = -k - 8. Is 11 a factor of (k/16)/((-1)/86)?
False
Suppose 12*l - 461 - 919 = 0. Suppose -l*g + 2145 = -100*g. Is g a multiple of 13?
True
Let k(g) = 8*g**2 + 85*g - 145. Is k(-27) a multiple of 106?
True
Let x(j) = 13*j**3 - 3*j**2 + 5*j + 2. Suppose r - 4 = -3*q, 5*q + r - 40 = 6*r. Does 11 divide x(q)?
True
Let t(y) = -165*y**3 - 3*y**2 - y. Let f be t(-2). Suppose 5*h - f - 750 = 0. Suppose -3*o = 15, h = 3*r + o - 6*o. Does 33 divide r?
False
Let l(x) = 12*x + 96. Let z be l(27). Suppose 0 = -610*n + 614*n - z. Does 18 divide n?
False
Let i = 49 + 2. Let g = i + -50. Is 84*g + (3 - 2) a multiple of 17?
True
Suppose 0 = -5*x + 5*f + 41885, -x - 5*f = -0*x - 8365. Suppose -36*y + 11*y = -x. Is y a multiple of 67?
True
Suppose -54*u = -186*u + 2768040. Does 10 divide u?
True
Let y(k) = 115 - 81 - 16*k + 9*k**2 + 3*k. Does 18 divide y(3)?
False
Let f be (-9)/12 + -1 + (-316)/(-16). Let n be (-228)/8*(-16)/12. Let z = n - f. Is z a multiple of 5?
True
Let d(t) be the second derivative of -t**4/12 + 13*t**3/6 - 33*t**2/2 + 2*