 -z*u = -21*u + 12. Let g(j) = j**3 + 6*j**2 + 5*j + 1. Is g(u) even?
False
Let d = -18062 - -18962. Is 4 a factor of d?
True
Let v = -314 - -318. Suppose 116 = l + 4*w, 334 = -v*l + 7*l - 2*w. Is 8 a factor of l?
True
Suppose 23*k = 15*k + 40. Suppose -5*n + 4153 - 1018 = k*z, 1899 = 3*n - 3*z. Is n a multiple of 45?
True
Let b(m) = 2*m**2 + 20*m + 12. Suppose -c + 2*q = 24, 3*c + q = -0*c - 37. Does 4 divide b(c)?
True
Suppose 3*b + 179 = 11. Let i = b + 56. Suppose i = 17*y - 5*y - 144. Is 6 a factor of y?
True
Suppose -42*j - 1158740 = 37*j - 125*j. Is 6 a factor of j?
False
Suppose 7377 = 10*r - 13323 - 7220. Is r a multiple of 3?
False
Suppose 289837 = 28*i - 171827. Is 12 a factor of i?
True
Suppose 4*g = j - 0*g - 1004, g = -1. Let t = j - 615. Does 56 divide t?
False
Let z = -956 - -40. Does 21 divide z/(-3) - (-18)/27?
False
Let w(f) = 68*f + 268. Let o be 2*(2 + (-30)/(-12)). Does 40 divide w(o)?
True
Suppose -3*m = s - 8 + 28, 4*m = 5*s - 33. Let x(o) = o**3 + 7*o**2 - 7*o - 13. Is 12 a factor of x(m)?
True
Suppose -3*i = -5*q + 158, 0 = -4*i + 5*q - 76 - 138. Does 8 divide 2132/14 + 16/i?
True
Let g be (-2802)/(-48) + 48/(-128). Suppose -7698 = -g*u + 6222. Does 10 divide u?
True
Suppose 213*b - 3216084 = 4869822. Is 54 a factor of b?
True
Suppose 0 = 2*i + a - 9353, -3*i - 396*a + 394*a = -14032. Does 72 divide i?
False
Let j be -626*3/(18/33). Let i = 1527 + j. Does 16 divide (-1)/(-5) - i/20?
True
Suppose -414*q + 391*q = -3243. Is q a multiple of 14?
False
Suppose -2*u - 15 = u. Let s(m) = m**3 + 9*m**2 + 9*m - 3. Let g be s(u). Is 6 a factor of (5 + g/(-8))/((-2)/28)?
False
Suppose p - 1754 = -2*f, 0 = 24*p - 21*p - 5*f - 5317. Is p a multiple of 12?
True
Let b be (-16)/(-6)*285/38. Suppose -5*u + 3*h - 39 = -12, 4*u - 2*h = -b. Let r(o) = o**2 - 4*o - 5. Does 5 divide r(u)?
False
Let c(l) be the third derivative of 13/6*l**3 + 1/120*l**6 + 0*l - 20*l**2 + 0 - 1/8*l**4 - 11/60*l**5. Is 11 a factor of c(12)?
True
Let g be (-2)/(8/(-1604)) + 3/(-3). Let x be (2 - g/4) + -1. Is -8*(3 - 2)*x/6 a multiple of 44?
True
Suppose -4*d + 3020 = 2*a, 0*a + a + 4*d = 1520. Is a a multiple of 50?
True
Suppose 0 = -5*l + 3*h + 638, -3*h - 2*h = -l + 110. Let w = 322 - l. Is w a multiple of 16?
True
Let y be 2 + 5 - 15/5. Suppose 3*z + 0*z + 4*w = 12, -y*z + w = -16. Suppose -b = -0*b - z. Is b even?
True
Let q = -62 + 131. Suppose q = 2*k + 13. Let j = -17 + k. Is j a multiple of 3?
False
Let b(u) = 180*u**2 - 17*u + 66. Is b(8) a multiple of 229?
True
Let c = 9 + 6. Let i be -4 + -6*(-200)/c. Suppose s = -s + i. Is s a multiple of 17?
False
Let h(r) = -3*r - r**3 - 4*r - 41 - 5*r**2 + 26. Is h(-7) a multiple of 6?
True
Let j(o) = -o**3 + 4*o**2 + 3*o. Let a be j(4). Suppose -9 = g - 5*v, -2*g - 33 + 42 = -v. Is 333/a - g/8 a multiple of 27?
True
Suppose 2*d = 2*p + 5970, 5*d - 2*p - 14965 = -5*p. Is 46 a factor of d?
True
Is 975/2*39156/1255 a multiple of 10?
True
Suppose 3*j = -w - j + 68, -j + 5 = 0. Let m = w + -45. Suppose -100 = m*v - 4*v. Is v a multiple of 22?
False
Let k be 2/(-11) - 7406/(-77). Suppose 0 = -2*u + w - 5*w + k, -137 = -4*u + 3*w. Does 38 divide u?
True
Let g be 932*(-1 + (-35)/(-20)). Suppose 37*x - 2112 = -3*j + 35*x, -j + g = -x. Is j a multiple of 39?
True
Let m = 1957 - 1128. Let s = -510 + m. Does 26 divide s?
False
Suppose 42*q + 14*q = 10*q + 484012. Is q a multiple of 21?
False
Let y(c) = -40*c + 14. Suppose -5*l + 286 - 346 = 0. Is 26 a factor of y(l)?
True
Let h = 531 + -804. Is 39 a factor of 50/325 + (-7)/(h/18870)?
False
Let u be 0 + 4 + (-14 - -15). Suppose -m - 8 = -u*m - 2*y, 3*m = 5*y + 19. Does 19 divide 5/((-25)/(-270)) + m?
True
Let d(u) be the second derivative of u**4/6 + 5*u**3/3 - 6*u**2 + 533*u. Let p = 21 - 30. Is d(p) a multiple of 20?
True
Let j(m) be the third derivative of m**5/15 - m**3 - 113*m**2 - 2*m + 4. Suppose 14 = 2*g + 4*w, 2*g - 3*w - 2*w = -4. Is j(g) a multiple of 6?
True
Suppose 45*c - 4334536 = -66*c + 4227560. Is c a multiple of 16?
True
Suppose -21*f = -33*f + 36156. Does 4 divide f?
False
Suppose -5*n + 2*n + 4*r + 29 = 0, -30 = -4*n + r. Suppose 650 = n*b - 358. Does 16 divide b?
True
Suppose 16 = 2*u - 5*x, 6*u - 4*x - 23 = u. Suppose 0 = 4*f - 2*b - 150, 96 - 3 = u*f + 5*b. Is f a multiple of 36?
True
Let q = -392 - -392. Suppose 6*c - 3120 - 744 = q. Is 32 a factor of c?
False
Let j(t) = 222*t - 8738. Is 11 a factor of j(57)?
True
Suppose -23*w + 1288560 = 29*w. Is 177 a factor of w?
True
Suppose 5*m + 26 = j, 2*j - 4*m - 21 = j. Let q be (-3 + 3 + (0 - j))*-441. Suppose -q = -2*z - 51. Is z a multiple of 25?
False
Suppose -5*t - 1 - 8 = 2*v, 0 = t + 3. Let i = 53 - 19. Suppose -s = s + v*y - i, -21 = -3*s + 3*y. Does 7 divide s?
False
Suppose 179*y - 50*y - 829526 = -90485. Is 15 a factor of y?
False
Suppose -185805 = -101*x - 21579. Is 3 a factor of x?
True
Suppose -1 = -n, -3*t + 11*n - 12*n = -7648. Is t a multiple of 38?
False
Let y(x) = 2386*x - 650. Does 15 divide y(11)?
False
Let v(w) = -11*w**3 - 3*w**2 - 11*w - 3. Let g be (48/15 + -2)*(-15)/6. Let b be v(g). Suppose 2*o - b = -4*k, 3*o + k = 7*o - 600. Is o a multiple of 13?
False
Suppose 0*g + 120 = -15*g. Does 25 divide (-4)/((-32)/1002) - (-2)/g?
True
Let n = 500 - 347. Suppose l = -x - 52 + n, 4 = 2*x. Is 3 a factor of l?
True
Let z(t) be the third derivative of -t**6/120 - 7*t**5/60 - 5*t**4/24 + 2*t**3/3 - 13*t**2. Let s be z(-6). Is s/(-3) + 5092/57 a multiple of 15?
True
Let v = 98 - 100. Does 4 divide (-7)/(44/(-20) - v)?
False
Let m(n) = 60*n**2 - 211*n - 1650. Is 28 a factor of m(-8)?
False
Suppose 426*b - 578685 - 1132255 = 371*b. Is b a multiple of 101?
True
Let z be (-23)/((-2)/(2 + 0)). Suppose 0 = c - 5*d, -2*d + 17 = -2*c - 23. Let y = z - c. Is y a multiple of 24?
True
Let y(c) = -36*c + 219. Let h be y(6). Suppose -h*o + 209 = -79. Is 9 a factor of o?
False
Let l(q) = q**2 + 1. Let r(i) = 2*i**2 - 11*i + 1. Let m(o) = 3*l(o) - r(o). Suppose -555 = x - 564. Is m(x) a multiple of 26?
True
Let l(u) = u**2 + 4*u - 7. Let t be (2 + 4/(-3))/(4/(-54)). Let v be l(t). Let x = 122 - v. Is 10 a factor of x?
False
Suppose -5*v - 178 = -2*v + 2*x, -20 = 4*x. Let j = v + 52. Does 8 divide j/6 + (-392)/(-12)?
True
Let n(s) = 6*s**2 - 499*s + 336. Does 100 divide n(102)?
False
Suppose -4*n + 2*k = 2691 - 24031, 0 = 2*n + 4*k - 10700. Does 14 divide n?
False
Let v = 21 - 20. Is 73 a factor of (3942/30)/((-21)/30 + v)?
True
Let m = -179 - -179. Is 7 a factor of (39 - 41) + (m - (-29)/1)?
False
Let x(t) = 2*t**3 - 17*t**2 - 31*t + 14. Let l be x(10). Suppose -2*k - 733 = -l*d - 29, 2*k = -4*d + 704. Is 44 a factor of d?
True
Suppose -349034 = -281*s + 686173 + 540922. Is s a multiple of 10?
False
Is 40 a factor of 3 - 1542*(-4 - -3) - (17 + -11)?
False
Suppose -5*i = -2*x - 172, -x = 4*x - 3*i + 468. Let v = x - -146. Let b = v + -4. Does 23 divide b?
True
Let r(k) = -k**3 + k**2 + k - 28. Let p be (2 + (-3 - -1))*-1. Let v be r(p). Does 5 divide (-805)/v + 3/12?
False
Let t(r) = -36*r**3 + 17*r**2 + 44*r + 7. Is t(-5) a multiple of 38?
True
Suppose 5642*r = 5578*r + 112320. Is 15 a factor of r?
True
Let f(u) = 7*u**2 + 10*u - 6. Let t be (-2)/((-9)/60 - 2/(-5)). Does 14 divide f(t)?
False
Let y(g) = 3*g - 11. Let l be y(5). Let u be ((-4)/(-7))/(5/(70/l)). Suppose 3*p = -2*i + 233, -4*i = -2*p - u*p - 456. Is 27 a factor of i?
False
Let v(x) = -3*x**3 + 21*x**2 - 277. Does 99 divide v(-15)?
False
Let q(y) = 58*y**2 - 17*y + 2379. Is 379 a factor of q(28)?
True
Does 17 divide (-7596)/(-21)*((-286)/39 - -12)?
False
Let i be (-1 - (4 + -4))*-3. Suppose -242 = -2*z + i*b, 0 = 2*b + b + 6. Does 5 divide z?
False
Suppose 5*v - 975 = -5*b, -4*b - 12 = -b. Suppose v*z = 188*z + 330. Does 30 divide z?
True
Does 8 divide 2234*(-2)/(-8) - (2 - (-98)/(-28))?
True
Let v(p) = -3*p**3 - 109*p**2 + 29*p + 17. Is 68 a factor of v(-42)?
False
Let s = 178 + -176. Suppose -a + 4*y + 390 = 0, s*y - 1240 = -3*a - 0*y. Does 13 divide a?
False
Let c = -37938 - -62059. Does 33 divide c?
False
Let o = 397 - 27. Let l = 925 - o. Is l a multiple of 13?
False
Suppose 3*r = 2*q + 3406, -59*r + 3412 = -56*r + 4*q. Does 13 divide r?
False
Let i = -723 - -728. Is 11 a factor of (-8)/(-32) - (21675/(-4))/i?
False
Suppose -a + 368 =