 1 + 0 + 73*s**2 + 2*s - 11*s**2 + 29*s**2. Is o(w) a multiple of 10?
True
Suppose -14*l - 29566 + 152724 = 0. Does 54 divide l?
False
Suppose 683679 = 133*n - 188003. Is n a multiple of 113?
True
Let h be 32/40 + 11/5. Suppose 3*c = 2*c + h. Suppose -i = -c*t + 136, 2*t = t + 4*i + 49. Does 12 divide t?
False
Let j = 86 - 46. Suppose t = -j + 18. Let d = 102 + t. Is 10 a factor of d?
True
Let b(v) = v**3 - 9*v**2 - 10*v + 1. Let h be b(10). Does 7 divide (9/5 - h)/((-10)/(-175))?
True
Let s(w) = -2*w**3 + 9*w**2 + 2*w + 8. Let h be s(5). Let j be 1/((1/(-2))/(h/2)). Suppose j*i = 3*i + 36. Is i a multiple of 3?
True
Let a be (50/8)/(1*-1)*-8. Does 23 divide 100/(-32)*a*(-1 - 3)?
False
Let t be 1*(11 + 3 - -5). Let z = t - -16. Is 8 a factor of 2/(-2) + 623/z*5?
True
Let w = 63 + -61. Suppose v - 5*q - 195 = -w*q, -5*q = 2*v - 357. Let k = 409 - v. Does 29 divide k?
False
Suppose -2*s + 55762 = 3*z, 1854*s - 1853*s + 92954 = 5*z. Does 10 divide z?
True
Suppose 3*r - 52470 = 4*l, 69916 = -136*r + 140*r + 2*l. Is r a multiple of 165?
False
Suppose 4*d + 2*v = 3042 + 282, -3*d - 4*v = -2508. Is 138 a factor of d?
True
Let a be 887 + (-1 - (1 + 0)). Let x = a - 830. Is x a multiple of 4?
False
Suppose 0 = -d - 6*d + 273. Let b = -28 + d. Let o(r) = r**3 - 10*r**2 - 8*r - 20. Does 13 divide o(b)?
True
Let z(x) = 4*x - 2 - 4*x + 0*x + 3*x + 419*x**3. Does 28 divide z(1)?
True
Suppose 2*m = 5*u - 0*u - 117110, 0 = 3*m. Does 49 divide u?
True
Suppose -5*y = 3*y - 2616. Suppose 3*i + u - 274 = 6*u, 4*i = -u + y. Does 6 divide i?
False
Does 61 divide -2*((1 + 1)/6 + (-19782)/54)?
True
Let z(h) = 2*h**2 + 6*h + 9. Let x be z(-6). Let b = 502 - 459. Suppose 0 = 2*u - b - x. Is u a multiple of 4?
True
Suppose -187125 - 503576 = -29*l + 253539. Is l a multiple of 43?
False
Let t be -3*(533/4 + (-3)/12). Let o = t - -627. Does 15 divide o?
False
Let k(l) = -2*l**2 - 10. Let b(v) = -v + 1. Let w(t) = -5*b(t) - k(t). Let f be w(-1). Does 5 divide (36/10)/f*(5 - 0)?
False
Let j(o) = -598*o - 1662. Is j(-16) a multiple of 103?
False
Suppose -230*v - 26*v + 765450 = -31*v. Is v a multiple of 18?
True
Suppose 9*i + 23*i - 43*i = -104236. Is 17 a factor of i?
False
Let r(c) = 7*c - 28. Let n be r(5). Suppose 3*m + 140 = n*m. Is (14/m)/(2/330) - 0 a multiple of 9?
False
Suppose -4*n - 3*f - 12 = 0, -3 = n - 2*f - 2*f. Let a = n - 129. Let j = a + 238. Is j a multiple of 31?
False
Let z(y) = y**3 - 2*y**2 - 12*y + 6. Let s be z(-3). Let d(o) = -45*o - 20. Does 26 divide d(s)?
False
Does 130 divide (-81)/(-24) + -3 - 760189/(-136)?
True
Let t(h) = 14*h**3 + 2*h**2 - 53*h + 180. Does 6 divide t(5)?
False
Let i = -4546 + 6309. Does 14 divide i?
False
Let j = -1058 + 1771. Let u = -174 + j. Does 14 divide u?
False
Let l(j) be the second derivative of -j**4/12 + 2*j**3 + 8*j**2 + 12*j. Let i be l(13). Is ((-25)/(-20) - i)*-4 a multiple of 2?
False
Let c(b) = 2*b. Let u(g) = -8*g + 32. Let i(m) = -2*c(m) - 2*u(m). Is i(17) a multiple of 5?
True
Let f be (-316)/(-16) + ((-12)/4)/(-12). Is (378/45*2)/(3/f) a multiple of 16?
True
Let j be 2/5 - 1 - (-1064)/190. Is 11 a factor of (-188)/(j - (-64)/(-12)) + -4?
False
Let r(g) = -2*g**2 - 21*g + 68. Let d be r(-13). Suppose -d*x - 13 - 42 = -v, 0 = -3*v + 3*x + 135. Is v a multiple of 20?
True
Let q be 7 - (-2)/4*-4. Suppose -3*u - 212 = -q*t, -u - 7*t = -3*t + 48. Let x = u + 106. Is x a multiple of 10?
False
Let q(h) = 2*h**2 - 4*h + 9. Let i be q(7). Let x be (-20)/(-50) - -6*20/75. Does 17 divide i/x + 2/4?
False
Let p(f) = -4*f + 33. Let s be p(15). Let z = 32 - s. Is z*-2*(-2 - -3)*-1 a multiple of 17?
False
Let y(l) = 46*l**2 + 8*l + 36. Let b(t) = -33*t**2 - 5*t - 24. Let s(h) = -7*b(h) - 5*y(h). Let x be (-12 - 0)/(6/(-4)). Does 4 divide s(x)?
True
Let d be -4 + -4 + 5 + (-238)/(-2). Suppose -y + d = -3*h + 726, -5*h + 1030 = 5*y. Does 12 divide h?
True
Suppose -5*o = 2*t - 47703, 16*t + 39*o = 19*t - 71694. Does 50 divide t?
False
Let l be -47*-26*(-6)/12. Let v = -252 - l. Is v a multiple of 16?
False
Let o be ((-5808)/110)/((-1)/10). Suppose -11*m + 15*m = o. Is m a multiple of 12?
True
Let v(g) = -g**3 + 19*g**2 + 17*g + 100. Is 6 a factor of v(-12)?
False
Let c be (-1219)/(-2) + 0 - 1/2. Suppose 81*j - c = 74*j. Does 51 divide j?
False
Let z(h) = 41*h**2 - 158*h - 6420. Is 13 a factor of z(-48)?
True
Suppose -5*m - 5*v = -16875, -21*v + 25*v = -20. Is 17 a factor of m?
False
Suppose 5*j + 4*m - 46 = 0, j - 32*m + 37*m - 26 = 0. Suppose 3*k - 13 = v, -5*k - 3*v = -j*v - 19. Is k a multiple of 5?
True
Let l(v) = 41*v**2 - 4*v + 17. Let w(d) = -4*d - 24. Let f be w(-7). Is l(f) a multiple of 39?
False
Let w(l) = -19*l - 30. Let r be w(-2). Suppose -h = 2*v - 26 - r, -152 = -5*h - v. Is h a multiple of 6?
True
Suppose 0 = -r - 18 + 17. Let u be (81 + (1 - 4))*(-1 + r). Let g = u + 252. Is g a multiple of 16?
True
Suppose -2*c + 5*u + 20 = 0, 3 + 1 = 2*c - u. Let x be (c + (-12)/15)*10. Does 3 divide (3/(-2))/(x/192)?
True
Let t = -2503 + 16179. Is 263 a factor of t?
True
Let x = -19 - -33. Suppose -11*n + x*n = 3303. Is n a multiple of 76?
False
Suppose -3229*w + 711823 = -3180*w. Is 10 a factor of w?
False
Suppose 3*n + 12 = -2*k - 2*n, 0 = n + 4. Suppose -k*r = -0*r + 20, i - 4*r - 22 = 0. Is 21 a factor of 30/36*28*6/i?
False
Let p(i) = -i**2 - 2*i + 21. Let t be p(3). Is (10*3)/(t/30) a multiple of 24?
False
Let i(l) = 2*l - 6. Let h(w) = 7*w - 32. Let m be h(5). Let b be i(m). Suppose b = 15*q - 11*q - 508. Does 13 divide q?
False
Let a(p) = 19*p**2 - 3*p + 9. Let n(s) = 10*s**2 - 2*s + 4. Let d(k) = 3*a(k) - 5*n(k). Is d(-3) a multiple of 8?
False
Let s be (0/1)/(2 - 6 - -5). Suppose s = 3*x - 746 + 113. Does 10 divide x?
False
Let g(s) = -s**3 - 2*s**2 + 15*s + 18. Suppose -4*i - 2*h = -84, 5*i + 4*h - 3*h = 102. Suppose 8*w - 4*w + i = 0. Is 18 a factor of g(w)?
True
Let d be 3/(21/25) + 16/(-28). Suppose -8 = -d*p + 4. Suppose 3*u = -2*t + 248, 2*u + p*t - 158 = -t. Does 29 divide u?
False
Let h(c) be the first derivative of -71*c**2/2 - 9*c - 58. Is 17 a factor of h(-3)?
True
Let l be ((-20)/(-6))/((-28)/15 + 2). Let z(w) = w**3 - 25*w**2 + 11*w + 45. Is z(l) a multiple of 10?
True
Let d(s) = s**3 - 13*s**2 - 12*s - 31. Let p be d(14). Does 45 divide p*2/27 + (-50094)/(-162)?
False
Let b(h) = -4*h**3 + 11*h**2 - 56*h - 38. Does 66 divide b(-20)?
False
Suppose 7*x - 4*x - 24 = 0, -4*x - 31562 = -2*o. Is 139 a factor of o?
False
Let l(q) = -98 + q**3 + 188 + 23*q - 104 + 24*q**2. Does 5 divide l(-22)?
False
Suppose 168951 = -285*n + 508386. Does 17 divide n?
False
Let z = -11097 + 17369. Is 98 a factor of z?
True
Let q(d) = 147*d**2 - 142*d + 1493. Is 9 a factor of q(10)?
False
Let s(t) = -t + 1. Let p be s(-2). Let w be 552/18*(21/(-2))/(-7). Suppose 3*h = p*g - 0*g + 57, 0 = 4*h + 2*g - w. Is h a multiple of 5?
False
Let k(n) = -4*n - 51. Let r = -319 - -287. Is 11 a factor of k(r)?
True
Let w = 27535 - 20962. Is w a multiple of 13?
False
Suppose 2*n - 6211 = -5*r + 1471, -n - 3*r = -3837. Does 26 divide n?
False
Let c(z) = 2*z - 3 - 3*z**2 + 10*z - 2*z + 4*z**2. Let v be c(-10). Is (2 - -51) + (-2 - v) a multiple of 8?
False
Let b be (0 - 1)*(-1 - -8). Let k(i) be the second derivative of -i**5/20 - 5*i**4/12 + i**3/2 + 13*i - 1. Is 7 a factor of k(b)?
True
Suppose 13*f - 9*f + 2*v = 4944, -3*v = -6. Is f a multiple of 7?
False
Let p(z) = -29*z - 2. Let r(f) = -147*f - 9. Let g(t) = 22*p(t) - 4*r(t). Is g(-10) a multiple of 48?
False
Let r = 20604 + -12612. Does 111 divide r?
True
Suppose -4*t - 2320 = -10*a + 9*a, 2*a + 2*t = 4580. Is a a multiple of 8?
True
Let n = 24997 - 5377. Is 45 a factor of n?
True
Let l(n) = 8*n**3 + 14*n**2 - 125*n + 37. Is 21 a factor of l(11)?
True
Suppose -18 = -14*z - 8 + 32. Suppose 3 - 17 = -f. Is (z - 10)*(-260)/f a multiple of 13?
True
Is ((-368)/10)/((1/36)/((-70)/56)) a multiple of 36?
True
Suppose -224*u + 61*u + 1705958 = 0. Is 6 a factor of u?
False
Let w = 82 - 83. Does 24 divide (w - (3 + 74))*28/(-7)?
True
Let h(r) = -r**2 - r + 4. Let l be -5*(54/(-15))/(-6). Let k be h(l). Does 40 divide 3/((-460)/(-228) + k)?
False
Suppose 4*p - 4*v - 39661 = 16411, -2*p + 13*v = -28014. Is p a multiple of 10?
True
Let a = 9591 - 5217. Is 27 a factor of a?
True
Let v = 5458 