e
Suppose 0 = -0*d - 3*d + 5*g + 198, 0 = 4*d - 3*g - 253. Suppose -7*b + 51 = -d. Does 22 divide (-63)/(-168) - (-346)/b?
True
Is 24 a factor of (-5 - 3) + 4302 - (-18)/(-3)?
False
Suppose -2*n + c = -14, -3*c + 22 + 13 = 5*n. Suppose n*r = 5*r + 472. Let a = r + -158. Is 39 a factor of a?
True
Suppose 67*w = 42*w + 87400. Is w a multiple of 116?
False
Suppose -15 = -352*b + 347*b + 10105. Is b a multiple of 22?
True
Suppose -269*t + 284*t - 77880 = 0. Does 44 divide t?
True
Suppose -3*w + 16 = 97. Let c = 30 + w. Suppose 0 = k + 3*l - 41 - 69, -c*k - l = -330. Does 7 divide k?
False
Let x = 13 + -12. Let n be (-232)/(-28) - x - 6/21. Suppose -n*c = -6*c - 104. Does 13 divide c?
True
Let j(d) = 79*d**2 - 36*d + 71. Does 15 divide j(2)?
True
Let j(k) be the first derivative of k**4/4 + 5*k**3/3 - 7*k**2/2 + 2*k + 1. Let a(d) = 326*d - 1635. Let p be a(5). Is 13 a factor of j(p)?
False
Let g be 4/(-6)*(-6)/(-4). Let q be (8*g/(-1))/(2 - 0). Suppose 84 = 6*j - q*j. Does 10 divide j?
False
Suppose 0 = -5*o + 27 - 347. Suppose 3*x = 9*a - 7*a - 393, 0 = 5*a - 5*x - 970. Let g = o + a. Is 10 a factor of g?
False
Suppose 77*u - 44*u - 178296 = 10*u. Is u a multiple of 76?
True
Let m = -3595 + 3791. Is m a multiple of 14?
True
Let z = -3328 - -2229. Let g = 1658 + z. Is g a multiple of 43?
True
Is 24 a factor of (583110/(-1425))/((-4)/10)?
False
Let h(d) = -d**2 - 8*d - 10. Let w be h(-2). Is 11 a factor of w*((-14)/(-4) + -3)*182?
False
Let i(k) = -k**2 - 13*k + 4. Suppose 12*n - 642 - 342 = 0. Let s = n + -87. Is 8 a factor of i(s)?
False
Let d(n) = -n**3 - 23*n**2 + 17*n + 23. Let p be d(-24). Let a = -143 + p. Does 12 divide a?
True
Let i(x) = 2*x**2 - 51*x - 46. Is i(37) a multiple of 9?
False
Let p(t) = 0 - 2*t - 5032*t**3 - 3 + 5031*t**3 + 25 - 22*t**2. Let o = 12 + -34. Is 18 a factor of p(o)?
False
Let m be 207/115*(-10)/3 - 4. Let z(o) be the first derivative of -o**4/4 - 8*o**3/3 + 4*o**2 + 9*o - 1. Does 23 divide z(m)?
False
Let g(i) = 6*i**3 + 17*i - 4*i**3 - i**3 - 15*i**2 - 21. Let w = -1839 - -1853. Is g(w) a multiple of 8?
False
Let y be (-5)/1*-4 - -4. Suppose y = 5*n - v, 18 = 2*n + n + 3*v. Is n even?
False
Let r = 14531 - 14208. Does 5 divide r?
False
Let z(t) = 66*t + 6. Let d be z(10). Let j = -366 + d. Suppose 2*h = -4*h + j. Does 13 divide h?
False
Let o = 910 + -594. Let b = -201 + o. Is b a multiple of 25?
False
Let y be (36125/153 + 2/9)*-3. Let p = -533 - y. Does 11 divide p?
True
Let h = -18 - -12. Let n = 6783 - 6799. Is 11 a factor of -2 + (n/24 - 1042/h)?
False
Let u be (-39)/(-13) + 6/2. Let x be (16/u)/(10/(-465)). Let g = x - -173. Is 18 a factor of g?
False
Suppose k + 4*l - 99 = -38, -2*k - 5*l = -110. Let u be ((-1)/5)/((-9)/k). Does 10 divide 103/(-5)*(-1 - 3 - u)?
False
Suppose -y + 4 - 3 = -2*t, 2*t - 41 = -5*y. Suppose 47 = 5*b - 3*a, 4*a - y*a = 2*b - 2. Is 17 a factor of (68/10)/(b/70)?
True
Suppose 0 = 660*a - 667*a + 86674. Is a a multiple of 41?
True
Suppose 75*p - 71*p - 5*k = 311554, 4*k - 389463 = -5*p. Is 73 a factor of p?
True
Suppose 27*k = 231 + 3414. Is 29 a factor of (-1944)/k*40/(-6)?
False
Suppose -628 = -3*o - 5*k, 4*o + 94 = 5*k + 943. Let q = -151 + o. Is q a multiple of 33?
False
Let p be -2 + -18*(0 - -1). Let o(h) = h**3 + 21*h**2 + 21*h + 24. Let x be o(p). Suppose -22 - 2 = -x*t + 4*b, -15 = -2*t + b. Does 6 divide t?
False
Let o be 4 - (1/(-1) - -6). Let i = o + 77. Is i a multiple of 19?
True
Suppose -11*c + 21*c - 17*c + 51597 = 0. Is c a multiple of 81?
True
Suppose -8*b - 71493 = -19*b + 153347. Is b a multiple of 140?
True
Let d(n) = 5*n + 8. Let z be d(3). Let k(s) = 5*s + 7*s + 48 + 12*s - z*s. Is 4 a factor of k(12)?
True
Let m = 396 - -640. Let z = -638 + m. Is 52 a factor of z?
False
Suppose 0 = -366*x + 755*x - 380*x - 52479. Does 131 divide x?
False
Let q(h) = -5*h**3 - 269*h**2 + 229*h + 78. Is 87 a factor of q(-56)?
True
Suppose -11*x = -40*x + 812. Suppose -x*l + 3134 + 590 = 0. Is 3 a factor of l?
False
Let f(t) = -189*t**3 + t**2 + 3*t - 5. Let u be f(1). Is u/(-57)*1728/5 a multiple of 64?
True
Suppose 2*q = 4*o + 4640, 3*o + 4067 = -3*q + 11027. Is q a multiple of 47?
False
Let k(p) = -p - 10. Let j(u) = 5*u + 41. Let v(o) = 4*j(o) + 18*k(o). Let c be v(8). Suppose -7*s + 0*s + 700 = c. Is s a multiple of 10?
True
Suppose 3*w = 4*c + 404, 2*w = 3*c - 0*w + 302. Let f be 1/7 - 280/c. Suppose 0 = 3*v + f*l - 0*l - 345, -l + 563 = 5*v. Is 27 a factor of v?
False
Let q(j) = 157*j**3 + 2*j**2 - 2*j. Let i(d) = -d**2 + 6*d + 28. Let k be i(9). Is q(k) a multiple of 32?
False
Suppose -m + 5*j + 246 = 0, m + 4*j = 81 + 165. Does 19 divide (6/(-36)*38)/((-2)/m)?
True
Suppose 3*z = 2*h + 26032, -2*z = -104*h + 105*h - 17350. Does 64 divide z?
False
Let g = 39 - 33. Let j(i) = i + 14. Let v be j(g). Is 19 a factor of 4/(-14) + (-40)/(-7)*v?
True
Suppose -4*n + 5*p = -134335, 2*p + 68397 = 3*n - 32349. Is 103 a factor of n?
False
Suppose -22 = -21*h + 20. Suppose -2*r = 3*x - 1112, h*x - 5*x = 12. Is 40 a factor of r?
False
Let n = 132 - -108. Let j be 15/4 + 24/(-32). Suppose -j*d - 9*d + n = 0. Is d a multiple of 6?
False
Suppose -48*d + 42*d = -1830. Let t = -176 + d. Does 11 divide t?
False
Let r(p) = -8*p**3 + 5*p**2 + 5*p + 22. Is 99 a factor of r(-4)?
True
Suppose -3*y - i + 541 = y, 4*i + 248 = 2*y. Let n be ((-5)/(-1) - 2) + -1. Suppose n*q - 262 = y. Is q a multiple of 22?
True
Let a(y) = 8*y - 17. Let n be a(-2). Let z = n - -93. Does 4 divide z?
True
Let r be 1 + -1 + -7 + -189. Let x = r + 348. Does 52 divide x?
False
Let b = -375 - -269. Let n = b - -407. Does 32 divide n?
False
Is 4 + (4322 - 16/(-4) - -8) a multiple of 6?
True
Suppose -2*u = 4*q - 6752, 7*u - 12*u + 30 = 0. Does 79 divide q?
False
Let q = -1 - 2. Let z be (-4)/q*(-6)/(-4). Suppose 18*m - 17*m = z. Is 2 a factor of m?
True
Let u = 252 + -91. Let s(q) = -q**3 - q**2 + 4*q + 4. Let o be s(-2). Suppose o = -5*v + 114 + u. Is v a multiple of 7?
False
Suppose -27765 + 11915 = -33*v + 26258. Is v a multiple of 30?
False
Suppose 5*c + 20 = 5*y, -29 - 5 = -4*y - 5*c. Is 12 a factor of ((-120)/(-18) - y)*(-813)/(-2)?
False
Let l(s) = -472*s - 424. Let q be l(-1). Suppose -47 = -3*t - 5. Let y = q - t. Does 11 divide y?
False
Let c = 32321 - 7409. Is c a multiple of 72?
True
Let y = -1740 + 2665. Is y a multiple of 5?
True
Let x(a) = -a**2 - 6*a - 13. Let u be x(-7). Let j = u - -20. Suppose -2*l - 5*m = -37, j*l - 5*m - 93 = -3*l. Is l a multiple of 26?
True
Suppose 2*v = -0*v + 120. Let s(z) = 3*z**2 + 20*z - 11. Let j be s(-10). Let t = j - v. Does 4 divide t?
False
Is 26 a factor of (1172/8 + 24 + -37)/((-3)/(-104))?
True
Suppose 3*l - 13*c + 16 = -17*c, l - 2*c = -12. Suppose -3*u = -5*n + 409, -5*n = -5*u + 4*u - 153. Is 18/l*u/6 a multiple of 10?
False
Let j be (1 - 0)/(17/595). Is 1*(-28)/j*-250 a multiple of 6?
False
Let r be ((-592)/12)/4*-12. Let p = r - -6. Is 22 a factor of p?
True
Let f(g) = -5*g - 2*g**3 + g**3 + 18 + 10*g. Is 9 a factor of f(0)?
True
Suppose 9*k = 12892 - 2263. Suppose -2*y = g - 304, -y = -11*g + 15*g - k. Is g a multiple of 14?
True
Let l(s) = 45*s - 40. Let u(q) = 10*q**2 - 13*q**2 + 3*q + 4*q**2 + 0*q - 23. Let t be u(-7). Does 11 divide l(t)?
False
Let x = 45 + -41. Suppose 0 = -3*w + 5*d + 1338, 3*w - 892 = w - x*d. Does 33 divide w?
False
Suppose 2*b = -310 + 3878. Is 8 a factor of b?
True
Suppose -98 = 2*d - 20. Let l = -70 - d. Let s = 40 + l. Does 7 divide s?
False
Suppose -3 = -2*c - 0*h + 3*h, 3 = c - 3*h. Let p(g) = -g + 21. Let j be p(16). Suppose j*k - 254 + 14 = c. Does 16 divide k?
True
Let h be 0 + (4 - (4 + -2))*1. Suppose 25 = h*z + 3*z. Suppose z*j + 5*m = 690, 0 = -j - m + 4*m + 146. Is 14 a factor of j?
True
Let i be ((-198)/(-12))/(18/(-24)). Let f = i + 58. Is f a multiple of 9?
True
Let g = -8166 - -19290. Is g a multiple of 19?
False
Suppose -4875 - 428818 = -91*i + 126867. Is i a multiple of 22?
True
Let d be -3*2/6*-5. Suppose -7*q = -3*q - 3*f - 65, d*q + f = 67. Suppose g - a - 5 = q, -73 = -2*g - 5*a. Is 8 a factor of g?
True
Let w(d) = -930*d - 4270. Is w(-21) a multiple of 70?
True
Let x = -319 - -146. Let b = x + 266. Is b a multiple of 3?
True
Suppose 4*l - 1367 - 5085 = 0. Suppose 3*v - 8*v + 4*o = -l, -o = 2*v - 653. Is 12 a facto