ppose m = 3*f - 283. Does 18 divide f?
True
Let o(l) = 78*l + 438. Is o(19) a multiple of 48?
True
Let d = 134 + -94. Let a = d - 40. Let t = 39 - a. Is 10 a factor of t?
False
Let n = 921 - 626. Let z = 56 + -199. Let f = z + n. Is f a multiple of 43?
False
Let f = 1824 + 12540. Is f a multiple of 84?
True
Let r(o) = 312*o - 3283. Is 3 a factor of r(12)?
False
Let u be -1*(5 + 3 - -17). Let x(h) = h**3 + 28*h**2 + 54*h + 6. Is x(u) a multiple of 24?
False
Let h(l) = -19*l**2 + l. Let m = 15 + -13. Let s be h(m). Let u = -14 - s. Is u a multiple of 10?
True
Let n(u) = -u - 1. Let v(j) = 27*j + 3. Let f(a) = 2*n(a) + v(a). Let c be f(-1). Is 6 a factor of (c/9)/4 - (-256)/6?
True
Suppose z = y + 1242, 3*y - 6*y + 4947 = 4*z. Suppose 8043 = 9*u + z. Is 21 a factor of u?
True
Let m be 15*16/40 - -1. Is m - 4 - -191 - -3 a multiple of 8?
False
Let c(z) = z**3 - 4*z**2 - 2*z - 3. Let t be c(4). Let s = 14 + t. Suppose 98 = s*h + 56. Is 7 a factor of h?
True
Suppose 0 = 7*s - 20*s - 1313. Let g = s + 619. Does 15 divide g?
False
Let h(c) = 49*c + 2267. Is 167 a factor of h(25)?
False
Suppose -25*n + 3*n - 8*n + 421260 = 0. Is n a multiple of 16?
False
Suppose -10 - 2 = -6*i. Suppose 4*x + i*k - 14 = -k, -2*x - k = -6. Is 19 a factor of ((-133)/28)/(x/32*-1)?
True
Suppose 14*p = 115 + 137. Suppose p = 11*o - 10*o. Is 6 a factor of o?
True
Suppose g - 9514 = -n - 3*g, 28556 = 3*n + 5*g. Suppose 10*h - n = -13*h. Does 9 divide h?
True
Is (-3)/18 - (-118295)/30 a multiple of 7?
False
Let p be 9424/24 - (-3)/(-18)*-2. Suppose 5*r = -3*j + 576, -3*r - 4*j = 54 - p. Does 3 divide r?
True
Let o = -11 - -181. Suppose -7*l = -3*l - 4*d - 740, 4*d = -l + o. Is l a multiple of 10?
False
Let i(m) = 1731*m**3 + 4*m**2 + 14*m - 17. Does 21 divide i(1)?
False
Suppose -23*j + 22*j = 2*d - 3270, 2*d = 5*j - 16338. Is 19 a factor of j?
True
Suppose -3*u - 334 + 961 = -r, 4*r + 428 = 2*u. Suppose -2*j = 6, u = -n + 3*j + 642. Does 8 divide n?
False
Suppose 5*o - 3*y = -11 - 0, -y = 5*o + 23. Let d(p) = 23*p + 21. Let i be d(o). Let v = i - -226. Does 29 divide v?
False
Let a(i) = 206*i**2 - 123*i - 804. Is a(-6) a multiple of 10?
True
Let v = 4368 + -3270. Does 61 divide v?
True
Let v = 20666 - 15650. Does 6 divide v?
True
Let s(l) = -2*l**2 - 268*l + 79. Is s(-91) a multiple of 155?
True
Suppose 0 = -g + 4*g - 18. Let i be (12 - -3)*2/g. Is 10 a factor of (i - 2 - 8)*-6?
True
Suppose -99*j + 26925 = -23918 + 3917. Is j a multiple of 6?
True
Let h(x) = 36*x**2 + x - 2. Let l be h(-2). Does 56 divide ((-4)/10 + (-3514)/l)*-8?
False
Suppose -2*t - 926 = 3*g, 0 = 2*g + t + 671 - 53. Suppose 388*q - 1775 = 393*q + 450. Let n = g - q. Does 33 divide n?
False
Suppose -60845 = -4*f - 3*n, -16874 = -3*f - 2*n + 28760. Does 10 divide f?
False
Suppose 11*a + 1 - 23 = 0. Suppose 3*r - a*l = 1180, -8*r + 4*l + 1190 = -5*r. Is 30 a factor of r?
True
Let h(d) = -d**3 - 28*d**2 + 18*d + 22. Suppose 49 = -j - j + 3*q, 2*q - 52 = 2*j. Let k be h(j). Let t = -226 + k. Is 31 a factor of t?
False
Let p = -239 + 263. Is 22 a factor of p*(-2*2 + (-19)/(-2))?
True
Suppose -12*i = 9*i. Suppose 3*f + 36*m - 31*m - 1609 = i, 0 = 2*f - 4*m - 1036. Is f a multiple of 24?
True
Let i(d) = -50 - d**2 + d + 25 + 29. Let v be i(-9). Let r = 90 + v. Is r even?
True
Let m(c) = -c**3 - 8 - 4*c + 8*c**2 + 3 - 19. Let u be m(6). Suppose 26*b - 220 = u*b. Is b a multiple of 22?
True
Let w(v) = v**3 - 5*v**2 + 5*v - 8. Let j be w(4). Let c be -1*(j + -63) - 1. Suppose u = 4*u - c. Does 3 divide u?
False
Let l(c) = 68*c**3 - c**2 - 55*c + 185. Is l(4) a multiple of 17?
True
Let y = 7 - 5. Let w be 8*(15/24)/((-50)/(-20)). Suppose 4*q = -2*v - 6, y*v + 0*q = w*q + 24. Does 5 divide v?
False
Suppose 4*r = 3*c - 28 - 8, 3*r = -4*c - 52. Let t(y) = y**3 + 11*y**2 - 14*y - 13. Let q be t(r). Suppose 0 = -q*z + 781 + 176. Is 22 a factor of z?
False
Let l be ((-8)/(-3))/((-12)/324). Let w be -2 + l/(-33) - 34479/(-33). Suppose -10*i - w = -21*i. Is 40 a factor of i?
False
Suppose -2*k + 11*n + 981 = 8*n, 5*k = -n + 2478. Suppose -13*a + 9*a + 3*x + k = 0, 605 = 5*a - x. Is a a multiple of 32?
False
Does 5 divide 2/9 - ((-2338400)/396 + (-9)/(-33))?
True
Suppose 3*o = -28*o + 4805. Is 5 a factor of o?
True
Let i(b) = -b**2 + 15*b + 4. Let k be i(15). Suppose 0 = 5*z - k*h - 29 + 588, -2*z - 5*h - 250 = 0. Let a = -79 - z. Is a a multiple of 9?
True
Suppose 0 = 2*y - 5*a - 58 - 0, -a = 0. Suppose 2*z = -y + 79. Suppose -26*g + 195 = -z*g. Does 13 divide g?
True
Suppose -62*v = -94*v - 56480. Let a = v + 3834. Is 82 a factor of a?
False
Let u(j) = j**2 - 16*j - 22. Let c be u(17). Let l(n) = -5*n + 63. Let a(b) = -4*b + 62. Let p(y) = c*l(y) + 6*a(y). Is 5 a factor of p(-12)?
True
Let q = 101845 - 43795. Is q a multiple of 258?
True
Suppose 5*o + n = 27168, 94*o - n - 21738 = 90*o. Does 46 divide o?
False
Let i be (10 - 2)/((18/543)/3). Suppose -q + i = -2*a, 2*a - 2110 = -5*q + 1462. Is q a multiple of 14?
False
Let n(g) be the second derivative of 0 - 5*g + 19*g**2 + 1/2*g**3. Does 8 divide n(-10)?
True
Suppose 0 = 31*r - 36879 - 153275. Is 110 a factor of r?
False
Suppose 86*a - 56*a - 479880 = 0. Is 258 a factor of a?
True
Let f = 10 + -7. Let c = 61 - -23. Suppose -3*r - 2*w + 241 - 33 = 0, r - f*w - c = 0. Is r a multiple of 24?
True
Let n(w) be the second derivative of -1657*w**5/20 - w**4/12 - 5*w**3/6 - 5*w**2/2 - 4*w - 5. Is n(-1) a multiple of 72?
True
Let a(b) = -226*b**2 - 4*b - 5. Let y(t) = t + 1. Let o(f) = -a(f) - 2*y(f). Let r be o(-1). Let q = 53 + r. Is q a multiple of 56?
True
Suppose 88*g - 116*g - 9778 + 32346 = 0. Is 13 a factor of g?
True
Let b(y) = y**3 + y**2 - 3*y - 6. Let l be b(-2). Let d(o) = -8*o**3 + 7*o**2 + 17*o + 14. Is 10 a factor of d(l)?
True
Let u(a) be the second derivative of a**4/12 - 2*a**3 + 31*a**2/2 + 3*a + 15. Is 67 a factor of u(24)?
False
Suppose -4*x - 3*m + 2459 = 0, 1069 = 2*x - 2*m - 157. Let k = x - 25. Is k a multiple of 31?
True
Let z(m) = 2*m + 24. Let o be z(-11). Suppose -o*y - 264 = -6*y. Suppose 0 = a + 2*a - 3*w - y, 3*a - 70 = w. Is 6 a factor of a?
True
Suppose -3*b + 2520 = 3*i, 3*i - 2528 = -0*b - b. Let q = i + -452. Is q a multiple of 14?
True
Suppose 0 = -2*x - 4*n + 6072, -33*x - n - 15158 = -38*x. Is 8 a factor of x?
True
Suppose 2*q - 5*n = -29, 2*q - 7 + 21 = 2*n. Is q/((-15)/(-27) + (-2)/3) a multiple of 18?
True
Let n(y) = -436*y + 1872. Is 13 a factor of n(-128)?
False
Let f(y) = 855*y - 180. Is 43 a factor of f(7)?
True
Let r(j) be the first derivative of 4*j**3 - j**2/2 + 15*j + 70. Is 19 a factor of r(4)?
False
Is (750/75)/(4/6774) - 11 a multiple of 10?
False
Suppose 0 - 25 = -v. Let m = v - 41. Let y = 4 - m. Is y a multiple of 7?
False
Let d = -67 + 85. Let h = d + -6. Is h even?
True
Let x = -134 - -128. Does 9 divide 9*x/(-81)*807?
False
Let j(t) = t**3 - 25*t**2 + 9*t - 12. Is 17 a factor of j(25)?
False
Let u be ((-1239)/3)/(-5*(-9)/(-45)). Suppose 1796*h = 1795*h + u. Is h a multiple of 12?
False
Let a(c) = 184*c**2 + 5*c + 7. Let t be a(-3). Suppose 4*b = -4*z - 789 + 2113, 5*z - 2*b - t = 0. Does 30 divide z?
True
Let s = -4531 + 5983. Is 14 a factor of s?
False
Let b(p) = -15*p**3 + 5*p**2 + 3*p + 5520. Does 40 divide b(0)?
True
Suppose 0 = -10*p + 223 + 57. Suppose -24*a = -p*a + 92. Is 2 a factor of a?
False
Let l be (-8 - (-5 - -3))*395/(-3). Let h = 1143 - l. Is h a multiple of 30?
False
Is 13 a factor of -6 + (-64)/8 + 33163 + -1?
False
Let r = -17886 + 29550. Does 12 divide r?
True
Is 6 - (-30)/5 - -664 a multiple of 13?
True
Let k(p) = -261*p**3 - p**2 - p + 22. Does 170 divide k(-3)?
False
Suppose 2 = -11*s + 24. Is 100 + -2*(-3 + s - -2) a multiple of 12?
False
Is (-188)/10*(470750/(-28))/25 + -1 a multiple of 137?
False
Let v = 40 + -25. Let i(c) = -39 + 17*c**2 + v + 9 - c + 16. Is 14 a factor of i(-1)?
False
Let x be (30/4)/(1/2). Let a be (-1 - 429)/(1 - 9/x). Does 17 divide -2*(a/26 + 2/(-13))?
False
Let f be 4/(-14) + 332080/196. Is 18 a factor of 13/(91/f) - -1?
False
Let c(q) = 28*q + 7. Let n(b) = -28*b - 7. Let x(f) = 2*c(f) + 3*n(f). Let h be x(-2). Suppose h + 67 = g. Is g a multiple of 41?
False
Let f(v) be the second derivative of -5*v**3/6 - 13*v**2/2 - 8*v. Let s be f(-4). Let p(q) = q - 2. Is p(s) e