(-116)?
True
Let o be 84/(-16) - 3/(-12). Is 6 a factor of 7*(o + 692/28)?
True
Let l(v) = -v**3 - 3*v**2 - 9*v - 31. Does 24 divide l(-11)?
False
Let a(b) = b**2 - 3*b + 21. Suppose 13*x - 9 = 22*x. Let m be (2/(-4)*1)/(x/(-12)). Is a(m) a multiple of 15?
True
Let z(m) = 16*m**2 + 78*m + 288. Is 211 a factor of z(25)?
True
Suppose 5 = 5*j + 5*q, -2*j + 16 = -6*q + q. Let n be j - (2*1/(-2) - 3). Suppose -n*x = -3*x - 240. Does 19 divide x?
False
Let u(a) = 12*a - 7. Let w be u(3). Suppose -z = -4*p - 669, -33*z = -w*z + 4*p - 2656. Is 5 a factor of z?
True
Let v(m) = -m**2 + 41*m + 52. Let j be v(23). Let d = -308 + j. Is 10 a factor of d?
False
Let v(r) = -8463*r + 211. Is v(-1) a multiple of 18?
False
Let n(f) = f**2 - 8*f + 6. Suppose 0 = u - 1, 3*z + 0*u = -5*u - 49. Let d = 26 + z. Is n(d) a multiple of 2?
True
Let s = -13526 + 17189. Is s a multiple of 11?
True
Suppose -2680 = 5*q - 17710. Suppose -19*r + 5582 = -q. Is r a multiple of 17?
False
Let h(d) = -2*d + 1. Let x(c) = -6*c - 31. Let v(a) = -2*h(a) + x(a). Let z be v(-19). Is -2*((-7)/z)/((-10)/(-25)) a multiple of 2?
False
Let t(k) = -12*k**2 + 14*k - 25. Let a be t(2). Is 19 a factor of (66 - a)/((-2)/(-6))?
False
Is 18 a factor of 7464 + 2*-1*(-1)/(17/51)?
True
Let y(t) = t**3 + 22*t**2 + 32*t + 25. Suppose 5*z = s + 26, -4*s - 5*z = s + 100. Let b be y(s). Let m = -122 - b. Does 12 divide m?
True
Is 4 a factor of 6*377380/240 + 2/4?
False
Let f = 64 - 128. Let x = -19 - f. Let u = 61 - x. Is u a multiple of 7?
False
Let h(j) = -19*j - 94. Let n be h(-18). Suppose n = 6*p - 22. Is p a multiple of 4?
False
Suppose 2*u = 3*f - 1045, 4*f + 2*u - 1573 = -203. Suppose 0 = -5*y + 1525 - f. Does 8 divide y?
False
Let b(z) = -4*z**3 + 42*z**2 - 16*z + 2. Let j be b(10). Is 10 a factor of (270/(-25))/(j/(-1400))?
True
Let s(v) = -15*v**2 + 12*v - 14. Let d be s(6). Let c = -349 - d. Is c a multiple of 6?
False
Let v(p) = -p**2 - 7*p - 6. Let h be v(-2). Is 6/(h - 5)*-2 a multiple of 2?
True
Let z be (19/4)/((-2)/(-96)). Let g = z - 213. Does 2 divide g?
False
Suppose -23*b + 26*b = 5*j + 23, -3*j + 50 = 4*b. Let g be (-384 + 3)*-3 - -1. Suppose 2*d + b*d - g = 0. Is 22 a factor of d?
True
Let z(s) = -2*s + 21. Suppose 33*i - 31*i = -60. Let o = 38 + i. Does 5 divide z(o)?
True
Let i(m) = -7*m - 1. Let t = -20 - -34. Suppose 10 = -g + 5*d, -3*g + 0*d - t = d. Is 30 a factor of i(g)?
False
Let a = -23 - -19. Let b(o) = -20*o - 3. Let u be b(a). Suppose u = 7*r - 210. Is 11 a factor of r?
False
Let p(u) = 10 + 287*u - 22 + 13. Is 32 a factor of p(1)?
True
Suppose 5*z = 4*f - 145913, 40*f - 37*f = -4*z + 109427. Does 193 divide f?
True
Suppose -274*g - 176 = -258*g. Let j(u) = -u**2 + 16 + 0*u**2 + 0*u + 2*u**2 + 2*u. Is j(g) a multiple of 14?
False
Suppose -4*y = 277*l - 279*l + 1602, 3*y + 2406 = 3*l. Is l a multiple of 32?
False
Let m(s) = 2*s**2 + 8*s - 16. Let x be 40/(-1 + 3 - 0). Suppose 0 = -3*i - 2*i + x. Is 12 a factor of m(i)?
True
Is -3 - (-3 + (7 - 5))*5397 a multiple of 186?
True
Let y = 3817 - 3094. Is y a multiple of 5?
False
Let r be (5/(-7 - 8))/(2/(-102)*-1). Let t = 6 - 2. Let m = t - r. Is 5 a factor of m?
False
Suppose 124095 = 130*i - 227555. Is i a multiple of 10?
False
Let v be ((-22)/(-4))/((-3)/6). Let y = -6 - -65. Let h = v + y. Is 13 a factor of h?
False
Let p(n) = n**3 + 16*n**2 - 25*n - 8. Let a be p(-15). Let m = 1040 - a. Is m a multiple of 12?
False
Let v = -525 - -368. Suppose 3*a = -4*w + 530 + 431, -2*w = 2*a - 480. Let c = w + v. Is 21 a factor of c?
True
Suppose a = 4*u - 23, 4*a = 5*u + 14 - 51. Let r be 2/((-6)/a)*24/6. Suppose -r*y = -9*y + 700. Is 29 a factor of y?
False
Let g(b) = 33*b**2 - b - 7. Suppose 5*j - 2*p + p = -30, 2*j + 4*p = -12. Let r be g(j). Suppose -407 + r = 5*w. Does 12 divide w?
True
Does 12 divide 22/24 + (-2)/8 - (-86072)/168?
False
Let i(r) be the third derivative of 7*r**5/60 - 11*r**4/12 + r**3/2 - 34*r**2 - 2*r. Is 38 a factor of i(13)?
False
Suppose 3*p + 2*u - 13 = 0, 2*u = -5*p + 7*u - 20. Let y(f) = 72*f**2 - 1. Let n be y(p). Let t = n + 28. Is 9 a factor of t?
True
Let v(c) = 3*c + 9. Let w be v(-10). Let j(k) = 10*k + 7. Let p be j(10). Let m = w + p. Is m a multiple of 22?
False
Let y(l) = -14*l - 332. Let x be y(-24). Suppose 0 = x*w + 20, 4*f = w + 1007 + 478. Does 66 divide f?
False
Let c = -1741 - -11800. Is 39 a factor of c?
False
Suppose -4*i = -5*b + 33, -1 - 1 = i. Suppose -z + f = -306, -z + b*f + 298 = 2*f. Is z a multiple of 38?
False
Suppose -25 = -28*n + 115. Suppose 4*q - 3286 = -4*m - m, 0 = -n*q + m + 4093. Is q a multiple of 13?
True
Suppose -5*b = 2*p - 2459, 5*p + 3*b - 6*b = 6194. Does 3 divide p?
False
Let t be ((-18)/45)/(2/(-180)). Suppose t + 278 = 2*c. Let o = c - 79. Does 6 divide o?
True
Suppose 0 = -2*x + 3*m - 12, -4*x - 44 = 3*m + m. Is 8*(-11)/(132/x) a multiple of 3?
True
Let y be (-4)/18 - (-140)/63 - 0. Suppose y*g + 6*g = 64. Is g a multiple of 8?
True
Let p be ((-84)/(-42))/(1/4). Suppose -3*x = v - 170, -p*v - 3*x + 898 = -3*v. Is v a multiple of 91?
True
Suppose 18110 = 4*a + z, -35*a + 33*a + 2*z = -9060. Does 75 divide a?
False
Let z be (-6 - -6) + -1*(-2 - 2). Suppose 2*x + l - 2 = 0, z*x - 4 = 5*x + 3*l. Suppose -4*d + 5*h + 1145 = 0, x*h - 4 = 6*h. Does 57 divide d?
True
Let v = -6928 - -7252. Does 54 divide v?
True
Let w(r) be the third derivative of r**5/60 + 3*r**4/8 - 73*r**3/6 - 60*r**2. Is 9 a factor of w(10)?
True
Let h = -9 + 7044. Does 15 divide h?
True
Let w(i) = 14*i**2 + 114*i + 20. Does 61 divide w(15)?
True
Let v be 2 + -2 - (-1 + -1). Suppose -50*j = -6*j - 220. Suppose -3*w - 2*w + 91 = -v*z, z - 82 = -j*w. Is w a multiple of 15?
False
Suppose -46 = -74*b + 76*b. Suppose y + 4*j = 78, -2*y - 2*j - 106 = -4*y. Let f = b + y. Is 18 a factor of f?
False
Suppose 2*h - 11 - 5 = 0. Suppose -3*t = -h*t + 20. Suppose i - 10 = -t*p + 70, -5*i - 2*p + 328 = 0. Is i a multiple of 8?
True
Suppose -5*c - 148 = x, -c - x = -2*x + 32. Let g = 80 - c. Does 4 divide g?
False
Suppose 2*u - 5*w - 6 = 0, -7*u - 4*w + 15 = -2*u. Suppose 41 = 4*d - u*d. Let g = -24 + d. Is g a multiple of 4?
False
Does 23 divide (-2674*5)/(-5) + 9?
False
Let b be 173/((-7)/(-2) - 3) - 1. Suppose -819 = -4*u - 3*z, 4*u + 2*z = 4*z + 814. Let o = b - u. Does 12 divide o?
False
Let t = -26 - -42. Suppose t*q + 3393 = 19*q. Is q a multiple of 16?
False
Suppose -g + 4260 = i, 0 = -25*i + 28*i + g - 12788. Is i a multiple of 41?
True
Let i(a) = 71*a + 9. Let c be i(1). Suppose 57*o - c*o + 920 = 0. Does 20 divide o?
True
Let h = -387 - -579. Suppose -1590 = -6*y + h. Is y a multiple of 33?
True
Let g = -5 + 1. Let h(b) = 3*b + 15. Let x(u) = 2*u + 9. Let n(k) = 3*h(k) - 4*x(k). Is n(g) even?
False
Let f = 16640 + -3220. Does 61 divide f?
True
Let f be (-3)/6*-6 + -5. Let u(s) = 13*s**2 - 3*s + 2. Let d be u(f). Let h = d - 30. Is h a multiple of 4?
False
Suppose 3*o - 23 + 6 = -4*n, 3*o + 3 = 0. Suppose l - 330 = -3*m, -105 = -l - n*m + 223. Does 46 divide l?
False
Suppose -116*z + 112*z - 1650 = -b, z - 4989 = -3*b. Does 277 divide b?
True
Let b be (-293 - -23)*(0 - (-10)/(-3)). Suppose -b = -8*y + 356. Is 31 a factor of y?
False
Does 178 divide (-29)/(3190/(-10)) + 161831/11?
False
Is 0 + 28/((21/(-2706))/(-7)) a multiple of 22?
True
Let d = -6013 + 10467. Is 10 a factor of d?
False
Is 3/(-18) + (-380246)/(-372) a multiple of 17?
False
Let g = -7173 - -11988. Is 20 a factor of g?
False
Let w be ((-9564)/(-30) + 1/5)*-1. Let g = 200 - w. Is g a multiple of 23?
False
Suppose 3*b = 5*m - 7 + 21, 5*b + 3*m + 22 = 0. Let z(q) = 9 + 11 - 100*q - 1 - 3. Is z(b) a multiple of 27?
True
Let i(u) = 7*u**2 - 3*u + 6. Let w be i(-6). Let f = 681 + -677. Suppose -f*d - 36 = -w. Is d a multiple of 10?
True
Is 21 a factor of ((-7005)/(-12))/((16 - 19)/(-48))?
False
Let t(s) = 2*s**2 - s - 3*s - s**3 + 5 + 42*s. Is t(-7) a multiple of 30?
True
Let b(r) = 8*r**3 - 2*r**2 - 5*r + 2. Suppose 0 = -15*m + 8*m + 21. Let y be b(m). Let f = 261 - y. Is 11 a factor of f?
False
Let k be (-2 - (-3)/2)*(8 - 8). Suppose k = -x + 3 + 127. Is 2 a factor of ((-2)/(-4))/(5/x)?
False
Suppose -29*w - 12 = -25*w. Let g be -3 + -1 - w/(-1 - -2). Let b(f) = 30*f**2 + 4*f + 1. Is 14 a factor of b(g)?
False
Let m be 10 - 15 - 36/(-