rue
Let j(g) = 21331*g + 5 + 5*g**2 - 21341*g + 3 - g**2. Is j(9) a multiple of 22?
True
Does 9 divide 24/4 + 1/(6/45378)?
True
Let l(n) be the first derivative of 2*n**2 + 78*n - 101. Is 3 a factor of l(-8)?
False
Suppose 0 = 20*f - 15*f. Suppose -16*r + 102 + 586 = f. Is 2 a factor of r?
False
Suppose -57*d = -62*d, 4*d + 53805 = 3*h + 2*h. Is h a multiple of 51?
True
Suppose 140*u - 184*u + 6940890 = 127*u. Is u a multiple of 55?
True
Suppose -33*g + 140160 - 20205 = 0. Is 3 a factor of g?
False
Suppose 14868 = 14*f + 20*f - 437740. Is 13 a factor of f?
True
Suppose 16 = l - 30. Let n be 4/(-14) - l/(-14). Suppose 0 = -n*y + 7*y - 104. Is y a multiple of 26?
True
Suppose 5*l - 3398 = 4*o, 5*l - 69*o - 3342 = -73*o. Is l a multiple of 4?
False
Suppose -3*j + 17*l = -6623 - 17119, -2*j + 15699 = 3*l. Is 24 a factor of j?
False
Suppose 7*f = 10*f + w - 16, -2*w = -8. Suppose 509 - 297 = f*y. Is 8 a factor of y?
False
Suppose 20285 = 5*s + 4*q + 7783, s + 3*q = 2507. Is (s/(-7))/((-32)/112) a multiple of 11?
False
Suppose 24*u - 13*u + 385 = 0. Is 40 a factor of u*(-4)/(-40)*-8*10?
True
Suppose -29*u + 85 = -205. Suppose u*h = 13*h - y - 3960, y = 0. Is 19 a factor of h?
False
Suppose y - k + 0*k = 229, 4*y + 3*k = 930. Does 7 divide y?
True
Let h(b) = 88*b - 1. Let u be h(-4). Let s = 526 + u. Is s a multiple of 13?
False
Suppose -23*m + 22*m = -5*a - 2, 0 = 2*a - 2*m + 4. Does 28 divide 617 - (3 - a) - -2?
True
Let g be 61 - (2 - (-7 - -6)). Let v = -116 + 318. Let o = v - g. Is o a multiple of 16?
True
Let w be (-154)/(-3) + (-2)/6. Suppose -14*q + 999 = -0*q - 5*q. Suppose -q - w = -2*b. Does 27 divide b?
True
Does 77 divide 5763996/2772 - 4/11?
True
Does 23 divide ((-14)/(-8))/((-299)/(-94484))?
False
Let a be (-20)/(-4) + (2 - 4 - -5). Let b(k) = 2*k**2 - k - 6. Does 4 divide b(a)?
False
Let h = -2176 + 3420. Is 8 a factor of h?
False
Let b = 18838 + -10644. Is 8 a factor of b?
False
Let k(y) be the third derivative of y**5/30 + 11*y**4/12 + 3*y**3/2 - 9*y**2. Let o be k(-6). Let s = 71 + o. Is s a multiple of 4?
True
Suppose -44771 = -24*v + 18*v - g, 3*g + 29851 = 4*v. Does 82 divide v?
True
Suppose -106 = 5*y - 4*y - 3*g, 0 = -y - 3*g - 112. Let u = y - -169. Is 5 a factor of u?
True
Let y(a) = -a**2 - 8*a - 5. Let i(t) = t**2 + 9*t + 4. Let b(h) = 3*i(h) + 2*y(h). Let z be b(-18). Suppose v - 2*v = -z. Is v a multiple of 16?
True
Let p(v) = 1662*v**2 - v - 1. Let i be p(-1). Suppose 222*r - i = 216*r. Is 4 a factor of r?
False
Suppose -3*d = 4*t - 85988, -5*d - 19754 = -3*t + 44737. Is 9 a factor of t?
False
Suppose 0 = -3*p - 9 - 9. Let x(i) = -2*i**3 - 2*i**2 + 15*i + 15. Let z be x(p). Let g = -204 + z. Is 9 a factor of g?
True
Let n = -556 - -308. Let l be 1/3 - (n/6)/(-1). Let t = l - -66. Is t a multiple of 2?
False
Let q(h) = h**2 - 26*h + 45. Let x(u) = -6*u + 2. Let b be x(1). Let c be (1 + 1)*(-50)/b. Is q(c) a multiple of 4?
True
Let o = -15 + 17. Suppose o*z - 40 - 502 = -4*r, -5*r = 20. Is 31 a factor of z?
True
Let c = 2057 + 1237. Is c a multiple of 18?
True
Let i = 111 - 95. Suppose -i*u - 22200 = -90*u. Is u a multiple of 15?
True
Let o(k) = -k**2 + 2*k. Let y be o(1). Let s be (235/(5/1))/(y/7). Let c = s - 220. Does 19 divide c?
False
Let x be (-7)/((-49)/(-21)) + -10. Is (-690)/x + 8/(-104) a multiple of 3?
False
Let m(h) = -h + 3. Let p be m(5). Let z be ((-54)/81)/(p/93). Suppose 24 = -n + z. Does 3 divide n?
False
Let v(f) = 3*f**2 - 50*f + 152. Is 66 a factor of v(-88)?
False
Let d(l) = l**3 + 10*l**2 + 12*l - 10. Suppose 7*p - 14 - 462 = 0. Suppose -11*z + 2 = p. Is 11 a factor of d(z)?
False
Suppose -9*n + 14*n + 100 = 0. Is 3 a factor of -3*n/(-15)*21/(-6)?
False
Does 64 divide (-2880)/(-7)*(-9702)/(-189)?
True
Suppose 143418 = 3*z - 3*m, 2*z + 2*m - 89711 - 5873 = 0. Does 70 divide z?
False
Is 57 a factor of 1484*7 + -35 + 21?
True
Let n be (6 - -3)/3 - (-3 - 1). Suppose -n*u = 302 - 3494. Is 24 a factor of u?
True
Let r(f) = f**2 - 2*f - 30. Let u be r(0). Let h = u + 90. Is 11 a factor of h?
False
Let a(k) = -9*k - 1. Let b(d) = 8*d + 2. Let v(s) = -4*a(s) - 5*b(s). Let l be v(-7). Suppose 3*c + 273 = 4*y, 5*c - l + 103 = y. Is y a multiple of 11?
True
Suppose 51849 = -76*n + 83*n. Does 35 divide n?
False
Suppose 0 = 4*k - g - 3, -g - 4*g + 15 = -5*k. Let m = k - -23. Suppose -m*c + 20*c + 65 = 0. Does 12 divide c?
False
Let z(d) = -1312*d + 600*d + 615*d + 13. Does 17 divide z(-1)?
False
Let t(r) = -903*r**3 + 26*r**2 + 53*r + 2. Does 28 divide t(-2)?
True
Let s be (2/(-8))/1*-12*1. Suppose 2*w - 2*q - q = 14, -77 = -5*w - s*q. Let z = w + -3. Is z a multiple of 5?
True
Let a be (-2)/7*336/(-32). Let d(g) = 572*g - 154. Does 87 divide d(a)?
False
Let q(j) = -7*j**3 + j**2 - j - 2. Let f be (88/12 - (-2)/(-6))/1. Let h = f - 9. Is q(h) a multiple of 6?
True
Suppose 16 = b + 14. Suppose 4*c - b = 18. Is 2 a factor of -7*(c - (-135)/(-21))?
True
Suppose 4*z = -9*z + 26. Suppose 0 = -z*d + 6*d + 16. Is (-787)/d - 1/(-4) a multiple of 17?
False
Let s = -49 + 52. Suppose -s*g - 20 = -4*g - 5*l, -l + 31 = 2*g. Does 7 divide (-66)/g*5*4/(-8)?
False
Suppose -q - 567299 = 367*u - 377*u, -4*u = -5*q - 226915. Is u a multiple of 71?
False
Suppose -4*f + 0*f = -x - 2226, 5*f - 2770 = -5*x. Let j = -424 + f. Is j a multiple of 12?
True
Suppose 0*u + 9 = -3*u. Let w(y) = -6*y**3 - 4*y - 3. Let s be w(u). Suppose 0 = -5*n - t + 878, 2*n - 4*t = s + 189. Does 18 divide n?
False
Suppose 2*z - r + 5 = 0, -5*z - 3*r + 15 = -2*z. Suppose 3*y - x - 63 = z, 4*y + 5*x - 6*x = 83. Is y a multiple of 10?
True
Let o(z) = z**3 - 16*z**2 - 2*z + 12. Let b be o(16). Let n be (3388/(-42))/(b/(-9) - 2). Is (-4 - -3)/(3/n) a multiple of 11?
True
Suppose 0 = 5*m - 2*a - 2953 - 6323, 5*m + 5*a = 9290. Is 58 a factor of m?
True
Let a(q) = q**3 + 16*q**2 - 9*q + 9. Does 3 divide a(-16)?
True
Let x = 14567 + -4707. Is x a multiple of 85?
True
Let g = -2147 - -15303. Does 13 divide g?
True
Is -18 - ((-1701)/7 - 5) a multiple of 44?
False
Let z(i) = i**2 + 10*i - 49. Suppose -4*u = -9*u + 2*d - 100, -5*d + 79 = -3*u. Does 19 divide z(u)?
True
Let r = 25 + -22. Suppose r*q - q = 3*x - 5, x - 20 = -3*q. Does 7 divide 549/9 - (0 - x)?
False
Let d(j) = 28*j**2 - 51*j + 664. Is 26 a factor of d(10)?
False
Let c(s) = 4*s**2 + 130*s - 201. Is 3 a factor of c(-37)?
True
Suppose -4*z + 136 = 124, 0 = -f - 3*z + 5769. Is 15 a factor of f?
True
Suppose -13*u + 309 = -2213. Suppose -2*a + 4 = -a. Suppose 8 = -a*q, -4*q + 771 = 5*b + u. Is 8 a factor of b?
False
Let s(d) = -8*d**3 + 10*d**2 + 24*d + 138. Does 88 divide s(-8)?
False
Let x(i) = -i**2 - 19*i + 17. Let f = -67 + 57. Let s be x(f). Suppose -109 = -4*u + s. Does 9 divide u?
True
Let r = -24 - -11. Let u(c) = c**3 + 13*c**2 - c - 10. Let s be u(r). Suppose -s*w + 100 = w. Is w a multiple of 4?
False
Suppose 0 = -5*u + 4*f - 118 + 30, 5*u + 115 = -5*f. Does 28 divide 476*(-3 - u/5)?
True
Let o(r) = 29*r**2 + 46*r - 670. Is 107 a factor of o(16)?
True
Let k(b) = 5*b + 104. Let s be k(-20). Suppose s*h = 380 + 116. Does 31 divide h?
True
Let r(z) be the second derivative of z**4/12 - 11*z**3/6 - 4*z**2 - z. Let k be r(12). Suppose -7 = -2*j + l + 32, -5*j - k*l = -104. Does 20 divide j?
True
Let g = -55 - -50. Is 17 a factor of -2*(-3)/6 + (-915)/g?
False
Suppose 0 = -4*u - q + 28, 35 = -9*u + 14*u - 5*q. Does 7 divide (2293/u - 16/28)/1?
False
Let o(x) = 10*x**2 - 518*x - 35. Is o(-38) a multiple of 32?
False
Suppose 2*v + 2*v = 0, -u = -5*v + 5. Does 38 divide u/20 + (-761)/(-4)?
True
Is ((-374)/1122)/(2/(-56622)) a multiple of 47?
False
Let j(d) = -335*d + 887. Is j(-48) a multiple of 47?
True
Is 30 a factor of ((-99218)/(-114))/(5/45)?
False
Let j(u) = -10*u - 67 - 56*u - 257*u. Does 22 divide j(-3)?
True
Let h = 6378 + 27691. Is 157 a factor of h?
True
Let s(o) be the first derivative of 11*o**2 - 89*o - 26. Does 10 divide s(14)?
False
Suppose 0 = x - 3*p - 1 - 17, -p = -4*x + 17. Suppose 38 = x*o - 127. Let q = 188 + o. Is q a multiple of 9?
True
Let t(a) be the third derivative of -a**6/120 + 17*a**5/60 - a**4/8 + 23*a**3/6 + 31*a**2. Let y be t(17). Is 4 a factor of y/10*25/(-10)?
False
Suppose -2*u + 1781 = 3*g, g - 101 = -4*u + 476. Is g a multiple of 9?
False
Let p = 554 + -551. Is -