 z be (-681)/(-27) + (-10)/45. Suppose k - 2*k - 57 = -s*u, z = -5*k. Is u a multiple of 8?
False
Suppose -4*f - 1 = o, 8*f - 6*f + 2 = -2*o. Suppose 214*u - 218*u + 372 = f. Does 13 divide u?
False
Let i = 4040 - 2277. Is 41 a factor of i?
True
Let w = -190 - -190. Suppose 2*x - 5*l = 81, w*l + 5*l - 87 = -4*x. Is 9 a factor of x?
False
Let d(b) = -b + 8. Let a be d(4). Suppose -51 = k + 3*p, k + a*k - 3*p + 345 = 0. Let i = 78 + k. Does 3 divide i?
True
Suppose -4*i + z = -3*i - 28, 0 = 2*i + 3*z - 51. Let y be (-3)/i*-15*(-2 - -5). Suppose -4*g + 20 = 0, y*n - 2*g - 166 = 504. Is 8 a factor of n?
True
Suppose 154*v + 101*v = -12*v + 106800. Suppose -2 - 4 = -2*i. Suppose -f - i*f = -v. Is f a multiple of 25?
True
Suppose -3*z + 5*g + 457 = 0, -6*z + z = -g - 769. Suppose -z*l + 151*l + 111 = 0. Is l a multiple of 3?
False
Let m(u) = -u + 355. Does 7 divide m(-34)?
False
Let b(g) = -196*g + 6. Let n(o) = 195*o - 7. Let w(p) = 3*b(p) + 4*n(p). Is 7 a factor of w(1)?
True
Let o be 1/(12/284)*-9. Let g = -153 - o. Is g a multiple of 4?
True
Let v be 8/12 + 272/(-12). Let o = v + 26. Is 21 a factor of (-63)/(o/(4/(-1)))?
True
Suppose -58086*s + 53622 = -58059*s. Is 2 a factor of s?
True
Let z be -6 + (2 - 0) + 7. Suppose 0 = -l + 2*d + 1229, -5*d - 1620 = -z*l + 2064. Is l a multiple of 18?
False
Let l be (-250)/(-5) + -1 - -2. Let o = l - 42. Is 6 a factor of 579/9 + (-12)/o?
False
Let i(d) = d**2 - 33*d + 3. Let r be i(30). Let z = r + 150. Is 9 a factor of z?
True
Let n = -750 - -747. Let y(b) be the first derivative of b**3 + 4*b**2 + 13*b - 4. Is y(n) a multiple of 16?
True
Suppose -3*c = 3*i - 114, c + 2*c - 2*i - 124 = 0. Suppose -c = -5*s + 9*s. Let m(z) = 3*z**2 + 12*z + 22. Is m(s) a multiple of 16?
False
Let t(g) = g**3 - 23*g**2 + 23*g + 2. Let r be t(22). Let k = 4 - r. Does 13 divide k/(-70) - 383/(-7)?
False
Let i(n) = -8*n + 912. Is i(0) a multiple of 7?
False
Let v = 13854 - 13645. Does 5 divide v?
False
Let q = -28 + 33. Suppose 75 = 3*d - 2*d + q*a, -206 = -3*d + 4*a. Is 3 a factor of d?
False
Let y = 20127 - 7617. Does 139 divide y?
True
Let f be 4/(-14) - (176/(-28) - -3). Let i = -2 + f. Suppose z - 10 = i. Is 11 a factor of z?
True
Suppose 56166 - 196 = 10*o. Does 29 divide o?
True
Let i(d) = d**3 + 2*d**2 - 11*d - 6. Let y be i(-4). Suppose 2*s - 4 = y. Suppose 2*u - s*b - 84 = 0, u - 7*b = -6*b + 45. Is 22 a factor of u?
False
Let o(s) = s**2 - 6*s - 13. Let g be o(8). Is ((-1224)/54)/((-2)/g) a multiple of 4?
False
Let p = 415 + -346. Suppose p*q - 1496 = 61*q. Does 12 divide q?
False
Let s(k) = -k**3 + 3*k**2 + k - 1. Let r be s(3). Suppose -34 = g + r*v - 295, -2*g + v + 507 = 0. Is 15 a factor of g?
True
Suppose -2*l + 4*v = 2, -4*l - 5*v + 25 = -2*l. Suppose -5*y + y + 1843 = -5*s, -4*s = l*y - 2314. Is y a multiple of 56?
False
Let b = -359 + 358. Let y(f) = 562*f**2 + 4*f + 7. Is 22 a factor of y(b)?
False
Let g be 2/4*(-1 - -1). Suppose 32*v - 26*v = 684. Suppose -5*w + t = -v, 4*w = -g*t - 5*t + 97. Does 23 divide w?
True
Let q be 2*5 - (-120)/(-20). Suppose q*b = -2*r + 598, -3*r = -0*r - 2*b - 897. Does 11 divide r?
False
Is 39/(-65) + (-22)/(-30) + 548769/45 a multiple of 41?
False
Let i(m) = -41*m**3 + m**2 + m + 1. Let c be i(-1). Let l be (4*c)/3 - 4. Suppose -o + 89 = -2*u + 7*u, 3*u = -2*o + l. Does 3 divide u?
True
Let k be -19 + 1067/55 - 707/5. Suppose -m = 3*v - 227, 221 = 5*m + 4*v - 903. Let h = k + m. Is 6 a factor of h?
False
Let l(u) = -2*u**2 - 103*u + 182. Is l(-47) a multiple of 12?
False
Does 100 divide 49164/12*1 - -3?
True
Suppose -12*z - 26279 = -32074 - 35293. Is 32 a factor of z?
True
Let a = 25934 - 15385. Is 216 a factor of a?
False
Let f(d) = -597*d**2 - d + 1. Let t be f(-2). Does 12 divide ((-32)/12)/((80/t)/8)?
True
Let q = 793 + -216. Let x = 844 - q. Is 7 a factor of x?
False
Suppose 0 = -3*a + 4*a - 3. Suppose -3*z - a = 0, 5*z + 348 = 5*x - 2. Suppose -x - 63 = -3*n. Is 11 a factor of n?
True
Let f(l) = 28*l + 251. Let s be f(-9). Does 115 divide 5665/20 + s/(6 - 2)?
False
Let p(v) = 13*v**2 - 67*v - 1330. Is 38 a factor of p(-19)?
True
Is 14 a factor of 1456 + (-215)/40 + 6/16?
False
Is 22 a factor of (48/56)/((-51)/(-194803))?
False
Let d be (112/(-10))/((-2)/5). Suppose -7*p + d = -3*p. Suppose p*x = 2*v + 3*x - 112, 5*v = x + 244. Is 12 a factor of v?
True
Let s(k) = -28*k**2 - 602*k + 41. Does 72 divide s(-19)?
False
Suppose 4*k + 18 = -j + 2*k, -2*k = -2*j - 30. Let p(u) = u**3 + 16*u**2 - 22*u - 8. Is 86 a factor of p(j)?
True
Let s(y) be the third derivative of -y**4/4 - 3*y**3 + 7*y**2. Let n be s(-3). Is (-1350)/(-20)*((-8)/(-6) - n) a multiple of 9?
True
Let d(o) = -o**3 - 18*o**2 - o + 15. Let g(u) = -4*u + 10. Let p(f) = -1. Let v(l) = g(l) - 8*p(l). Let h be v(9). Is d(h) a multiple of 11?
True
Suppose 2*m - 215 = -3*y, -m + 2*y - 1 + 98 = 0. Suppose -5*b + 883 = m. Is 39 a factor of b?
True
Let o(j) = -j**2 - 25*j - 6. Let c be o(-25). Let l be (-3)/3 - 1884/c. Let a = -175 + l. Does 46 divide a?
True
Let j(y) = -16*y**3 - 55*y**2 - 47*y - 324. Let i(k) = 3*k**3 + 11*k**2 + 10*k + 65. Let l(w) = 11*i(w) + 2*j(w). Does 17 divide l(-9)?
True
Does 128 divide (-2)/(((-110)/10)/11968)?
True
Let v(d) = d**2 - 42*d - 51. Let r be v(31). Let q = 502 + r. Is q a multiple of 11?
True
Let c be 10*(-3 - (-85)/25). Suppose n = -d + 73, -187 = -c*d - 5*n + 105. Is 2 a factor of d?
False
Let z be (-4)/(8/(-15))*(-3 - -5). Let l = -11 + z. Does 3 divide (l*(-2)/(-12))/(7/336)?
False
Let q = -1911 + 1027. Let a = -425 - q. Is 17 a factor of a?
True
Let z be (-408)/51 + (-20)/(-2). Suppose -606 = -z*d + 1342. Is 29 a factor of d?
False
Let b(w) = 2*w**2 - 11*w - 5. Suppose 2*v = -2*f - 30, -51 - 7 = 4*f + 3*v. Let j = f + 24. Does 44 divide b(j)?
False
Let q be (63 - 0) + (82 - 74). Is 17 a factor of 5/5*(-9 + q)?
False
Suppose -a - 333970 = -12*a + 5*c, 4*a - 4*c - 121448 = 0. Is 15 a factor of a?
True
Let u be ((-111)/(-1) - 3) + 0. Suppose 0 = -6*j + u. Does 15 divide (j/10)/(4/60)?
False
Let s(p) = -13*p**3 - 4*p**2 - 91*p + 896. Does 8 divide s(-16)?
True
Let l(n) = n**2 + 11*n + 3. Let h be l(-11). Suppose f = h - 6. Let p(t) = -11*t + 3. Does 18 divide p(f)?
True
Let q(u) = -u**3 - 34*u**2 - 33*u + 10. Let m be q(-33). Does 15 divide 5/m + (-269)/(-2)?
True
Let i = -6819 + 6702. Let v be 3 + (-3 - -2) + 275. Let k = v + i. Is k a multiple of 20?
True
Let o(l) = -l**3 - 17*l**2 - 22. Let r be o(-17). Let q = r + 22. Suppose 5*d - p = -22 + 87, -2*d - p + 33 = q. Does 2 divide d?
True
Is 4 a factor of (-21)/15 + ((-13648)/(-20) - -2)?
False
Let c = -41634 + 92642. Does 22 divide c?
False
Let z be (4*1704)/(85/(-10) + 10). Suppose 3*v - 19*v = -z. Is 12 a factor of v?
False
Suppose -1969 - 1687 = 4*k. Let b = k - -1301. Suppose -58*m = -61*m + b. Is 34 a factor of m?
False
Let o(l) = -81*l - 190. Let s be o(-23). Let w = -977 + s. Is 24 a factor of w?
True
Let g(u) = -424*u - 3561. Is 13 a factor of g(-15)?
False
Let t(i) = -25*i**3 + i**2 + 4*i + 36. Let b be t(-5). Suppose 0 = -8*w + b - 766. Does 12 divide w?
True
Suppose 2*i + 5*t - 35916 = 0, 48*t + 71800 = 4*i + 50*t. Does 28 divide i?
True
Suppose 0 = -2*d - 3*t - 10, 4*d + 1 + 9 = -t. Does 3 divide (d - 1)*776/(-24) - -2?
True
Suppose -4*f + 3*f + 10 = 0. Let p be (11/(165/18))/(4/f). Suppose -p*d - 196 - 81 = -c, -3*d = 3*c - 867. Is c a multiple of 24?
False
Suppose -5*s - 18*s - 69 = 0. Is (-278 + 20)*(-2)/(-9)*s a multiple of 8?
False
Let q = 14 + -14. Let b(t) = -t**2 + 12*t + 409. Does 13 divide b(q)?
False
Let c(o) = 20*o - 140. Let f be c(8). Suppose 661 = 3*g + t, -f*t = -4*g - 21*t + 881. Is g a multiple of 22?
True
Let u be (-66)/(-15) + (-4)/10. Is (-5*(-28)/245)/(u/238) a multiple of 17?
True
Is -24 - (6 - 166651/17) a multiple of 50?
False
Let m = -32 + 48. Suppose m*n = 2*n + 2142. Is n a multiple of 7?
False
Let f(b) = 5*b**2 - 20*b + 16. Let q(h) = -12*h**2 + 41*h - 29. Let i(w) = -5*f(w) - 2*q(w). Suppose -5*s + 0*s = -75. Is i(s) a multiple of 5?
False
Let m = -303 - -306. Is 20 a factor of 136/(-6)*(45 + m)/(-2)?
False
Is 8 a factor of (-198)/(5104/31776 - 1/6)?
False
Suppose 79 = s - 13*x, -75 = 4*x - 51. Let l be (2 + 2)/((-2)/(-156)). Is s*5 - (10 - l) a multiple of 19?
False
Suppose 0 = -9