False
Let f = -7 + 7. Suppose -s + 7 - 2 = f. Is s even?
False
Let l(w) = 22*w**3 + 2*w**2 - w. Let x be l(1). Suppose -x*b + 68 = -22*b. Is 19 a factor of b?
False
Let m(a) be the second derivative of -11/2*a**2 + 0 + 1/4*a**4 - 1/2*a**3 - 4*a. Does 8 divide m(5)?
False
Suppose -2*r = -3*r + 4. Suppose -336 = -7*j + 182. Suppose n = -r + j. Is 19 a factor of n?
False
Let c = 4338 - 2812. Is c a multiple of 78?
False
Let m = -91 - -62. Is -3 + 5 + 1 + (1 - m) a multiple of 5?
False
Let m(h) be the second derivative of -h**5/10 + 3*h**4/4 + 11*h**3/6 - 33*h. Is m(5) a multiple of 14?
False
Let s(o) = 5*o**3 + 4*o**2 - 13*o - 2. Is 13 a factor of s(6)?
True
Let v = -79 + 8. Let u = v + 112. Does 9 divide u?
False
Let u(a) = -35*a + 292. Is u(-25) a multiple of 49?
False
Let z = 89 - 80. Does 9 divide z - (4 + -7 - -3)?
True
Let w(h) = -h**3 + 31*h**2 + 17*h + 73. Does 75 divide w(31)?
True
Let n(r) = r**2 + 18*r + 4. Suppose 0 = z - 2*d - 6, 3*z + 0*d - 25 = -d. Does 21 divide n(z)?
False
Let i(c) = c - 1. Let o be i(-7). Let q(l) = -l**2 + l. Let f(m) = -2*m**2 + 11*m + 6. Let z(n) = f(n) - 3*q(n). Does 3 divide z(o)?
True
Let b(p) = -4*p - 50. Let t be b(-13). Is 3 - -1 - t - -201 - -4 a multiple of 48?
False
Let p(b) = -124*b**3 + 3*b**2 + 5*b + 3. Let f be (-16)/20 - (-1)/(-5). Is p(f) a multiple of 25?
True
Let y = -731 + 483. Let l = y - -392. Is 16 a factor of l?
True
Suppose 2*f + 10 = 4. Let u(h) = 3*h + 3. Let b be u(f). Is ((-51)/6 + 0)*b a multiple of 17?
True
Let w be -19 + (4 - 2) + -4. Let v = 19 - w. Does 20 divide v?
True
Let x(k) = -70*k - 1. Suppose -q = 2*q. Suppose 5*s + 5 = 4*w - 4, q = -2*s + 3*w - 5. Does 31 divide x(s)?
False
Let x(o) = -7 + 16 - 8 + o**2 + 7*o - 3. Is x(-9) a multiple of 8?
True
Let f(r) = -8*r + 42. Does 6 divide f(3)?
True
Is 20 a factor of (-3 - 97)*748/(-85)?
True
Suppose -3*y - 5*g - 8 = -0*y, -3*y - 2*g - 5 = 0. Let c(t) = t**2 + 4*t - 6. Let l be c(-5). Is (47 + 1)/y*l a multiple of 16?
True
Let z(b) = -b**3 + 6*b**2 + 3*b - 3. Let y be z(6). Let l = y - 10. Suppose 0*t = l*t - 105. Is t a multiple of 16?
False
Let a(l) = -12*l**2 - 6*l + 1. Let p be a(-2). Let t = -32 - p. Does 2 divide t?
False
Suppose d + 5 = 0, 20*j - 22*j = -4*d - 154. Is 23 a factor of j?
False
Let f = -79 - -47. Let s = 116 + f. Is 12 a factor of s?
True
Let g be 24/(-30) + 792/15. Suppose f = 218 - g. Is f/18 - 12/54 a multiple of 5?
False
Let w be -15*(1 - 12/9). Let r be -3*2/2 - w. Let d = r + 32. Does 8 divide d?
True
Does 6 divide (4704/560)/((-2)/(-10)*1)?
True
Let f(b) = -5*b**3 + 30*b**2 - 40*b + 15. Let i(x) = x**3 - 6*x**2 + 8*x - 3. Let u(z) = -2*f(z) - 11*i(z). Is u(3) even?
True
Let a be 7/(35/40) + 2. Suppose -5*d + 35 - a = 0. Suppose -d*c + 0*c + 220 = 5*v, 4*c - 92 = -2*v. Does 14 divide v?
True
Let p(o) = 105*o**2 + 10*o - 14. Is 11 a factor of p(2)?
False
Suppose x - 12 = -2*x. Let t(u) = -9*u**2 + 6*u + 3. Let l(h) = h**2 - h - 1. Let q(a) = -6*l(a) - t(a). Is 17 a factor of q(x)?
True
Let m(w) = -8*w - 43. Is 23 a factor of m(-14)?
True
Let p = 64 - 90. Let v = 77 + p. Does 3 divide v?
True
Suppose -5*n - 660 = -1475. Is 9 a factor of n?
False
Let w(f) = 2*f**3 + 42*f**2 - 3*f - 30. Is 12 a factor of w(-21)?
False
Suppose 4*i = -6*i + 40. Let g = i - -41. Is 15 a factor of g?
True
Does 13 divide 45596/38 - 6/(-285)*5?
False
Suppose 3*a = 5*i + 1040, 3*a = 2*i + 1374 - 319. Does 14 divide a?
False
Let p = 3027 - 2011. Does 22 divide p?
False
Let k(u) = u**3 - 6*u**2 + 3*u + 10. Does 13 divide k(11)?
False
Suppose 0 = 2*q - 8 + 2. Suppose 5*v - 15 = -3*w + w, -9 = -q*v - 2*w. Suppose -5*p = 3*g - 48, 0 = 3*p + v*g - 2*g - 32. Is p a multiple of 8?
False
Let g(q) = -7*q + 2. Let y(u) = 23*u - 7. Let s(n) = 68*n - 21. Let k(j) = 3*s(j) - 8*y(j). Let v(r) = 11*g(r) + 4*k(r). Is v(9) a multiple of 13?
False
Suppose 2*o = 12*o - 550. Let h = o + -35. Is 5 a factor of h?
True
Suppose -3*l = -l. Suppose o - 102 = -4*o + 2*s, l = -o - s + 19. Does 16 divide o?
False
Suppose -b = 4*i + 3*b, 3*i + b = 2. Is 6 a factor of (i/2)/(6/432)?
True
Let y be 3/(-5) + (-36)/(-10). Let o(c) = 4*c + 1. Let f be o(3). Suppose f = -y*l + 4*l. Does 10 divide l?
False
Is 6/4 + (-27048)/(-112) a multiple of 9?
True
Does 4 divide (-4)/46 + 188*(-329)/(-322)?
True
Let y = -689 - -1291. Does 15 divide y/10 - (116/(-20) + 6)?
True
Let d(m) be the third derivative of -7/24*m**4 + 0 - 5*m**2 + 0*m + 1/3*m**3. Does 17 divide d(-7)?
True
Let q be ((-6)/10)/(3/(-15)). Suppose 4*d - 2 = -q*a - 23, 2 = 2*a. Is 6 a factor of 395/20 - d/(-8)?
False
Let b(k) be the first derivative of -19*k**2/2 + 2*k - 11. Is 20 a factor of b(-2)?
True
Let p = 1296 - 545. Does 42 divide p?
False
Suppose s - 17495 = -5*y, -6*y + 5*y + 4*s = -3499. Is 43 a factor of y?
False
Suppose -644 = -6*w - 98. Is 10 a factor of w?
False
Is (-4320275)/(-2030) + (-3)/14 a multiple of 19?
True
Let a = -1057 + 1107. Is 5 a factor of a?
True
Suppose -4*c - c = -4*h - 1285, 0 = -2*c + 2*h + 516. Let g = 147 + c. Suppose -4*v = v - g. Is v a multiple of 18?
False
Let o(n) = n**2 + 15*n + 20. Let q be o(-14). Let j be q/(-15) - (-27)/5. Suppose 0 = 4*c + j*s - 76, -2*s - 2*s - 12 = -2*c. Is c a multiple of 7?
True
Let u = -80 + 169. Suppose -3*h + 1 + u = 0. Does 30 divide h?
True
Let f = 9 - 8. Let s be 0 + 12 - 0 - f. Suppose 0 = 4*m + s - 35. Is 2 a factor of m?
True
Let c be 42*30/48*-12. Let l = c - -635. Is l a multiple of 16?
True
Let a(o) = -o**2 + 3*o. Let d be a(-7). Suppose -2*p - 3*r - 22 = -7, 20 = -2*p - 2*r. Is 7/(d/p)*2 a multiple of 3?
True
Let k(a) = 185*a**2 + 7*a - 20. Does 16 divide k(-4)?
True
Let n = 11 + -7. Suppose 223 - 31 = n*l. Let f = 80 - l. Does 8 divide f?
True
Let d(z) = -4*z - 34. Suppose -11*l + l = 110. Is d(l) a multiple of 3?
False
Let j(x) = -x**3 + 17*x**2 - 22*x - 12. Is j(13) a multiple of 9?
True
Suppose -6*b + 774 = 3*b. Let z = 135 + b. Does 15 divide z?
False
Let o(p) = -8*p**3 + p**2 + p. Suppose 0 = -z + 59 - 61. Is o(z) a multiple of 13?
False
Let g = 945 + -1323. Let r be -247 + (3 - 3) + 3. Let c = r - g. Does 23 divide c?
False
Let n = -54 - -56. Suppose 132 = -2*g - n*c + 448, 770 = 5*g + c. Is 36 a factor of g?
False
Let p be (-3)/((3/(-94))/(-1)). Let d = p - -194. Suppose u + 4*u = d. Is 10 a factor of u?
True
Suppose 0 = -6*f - 7*f + 377. Is 6 a factor of f?
False
Let j be (-11)/(-4 - 297/(-75)). Suppose 103 - j = -2*t. Is t a multiple of 12?
False
Let h(c) = 42*c**2 - 95*c - 21. Is h(10) a multiple of 20?
False
Let l(p) = p + 37. Let q(b) = b - 4. Let w be q(8). Suppose 0 = -w*g - 0*g. Is l(g) a multiple of 13?
False
Let v(y) = -y**2 - 66. Let g be v(0). Let h = 33 - g. Is 11 a factor of h?
True
Let p(h) = -h**2 + 16*h - 9. Let i be (-8)/28 + (-65)/(-7). Let q be ((-39)/(-9))/(3/i). Is p(q) a multiple of 15?
True
Let t be (-2)/(4/(-6))*725/75. Let v(l) = -l**3 - 5*l**2 - 3*l. Let y be v(-5). Suppose h - t = y. Is 16 a factor of h?
False
Let c = 1584 - 857. Suppose c = 11*m - 263. Does 9 divide m?
True
Let n(o) = -2*o**2 + 32*o + 2. Is n(16) a multiple of 2?
True
Suppose h = 3*h - 2*k - 60, 2*k = -4. Is 19 a factor of (2/5*5)/2 + h?
False
Suppose -2*o - 3246 = -3*k, 4*k - 4328 = -4*o + 14*o. Is k a multiple of 25?
False
Let j = -304 + 326. Is 4 a factor of j?
False
Let m(k) = -229*k**3 + k**2 + k + 1. Let x be m(-1). Suppose -68 + x = 3*f. Does 27 divide f?
True
Suppose -8*h + 1824 = -0*h. Let z = h - 123. Does 18 divide z?
False
Suppose a - 34*h - 540 = -32*h, -a - 2*h = -556. Does 26 divide a?
False
Suppose 5*u = -9 - 1. Does 31 divide 1764/28 - u*1?
False
Suppose -f = -5*w + 2*w - 2852, -3*w + 8544 = 3*f. Is f a multiple of 11?
True
Let a be 6/((18 - 3)/5). Does 20 divide a/(-8) - (-405)/20?
True
Let s = 14 - 10. Suppose s*n = 3 + 5. Suppose 0 = o - n*o + 55. Does 8 divide o?
False
Let g(x) = -731*x**3 - 4*x**2 - 3*x - 2. Is 11 a factor of g(-1)?
False
Is 3/24 + 30954/48 a multiple of 5?
True
Let t be (6 + 0 - 7)*(-1 - 0). Suppose -t = -f, 20 = n - 4*f - 0. Is 3 a factor of n?
True
Suppose 0 = -5*k + n + 2793 + 3516, 5*k - 4*n - 6306 = 0. Is 53 a factor of k?
False
Let j(c) = -8*c + 34. Let t be j(4). Suppose t*n = 5*y - 466 - 410, 4*y - 710 = -3*n. Is 10 a factor of y?
False
Let l = -16 + 17. Is 17 a factor of l*5