*2 - 2*j + 1. Let s(a) = a**2 + 12*a + 1. Let m be s(-12). Is 21 a factor of r(m)?
False
Let w(o) = o**3 + o**2 - o + 2. Let s be w(0). Suppose -31*z - 126 = -45*z. Is 9 a factor of -2 + z + 1 + s?
False
Let h(k) = -k**3 - k**2 + k. Let p be h(-2). Suppose -t = -p*t + 5. Does 5 divide t?
True
Let b(x) = 22*x - 8. Let i(y) = 43*y - 16. Let o(w) = -7*b(w) + 4*i(w). Does 11 divide o(9)?
True
Let d(l) be the second derivative of 13*l**3/3 - l**2/2 + l. Does 20 divide d(3)?
False
Let m(k) be the first derivative of -k**3/3 + 19*k**2/2 - 3*k + 3. Let u be m(15). Suppose -5*r = 2*w - 131, -3*r + u = -4*w - 6. Is 12 a factor of r?
False
Suppose -5*j + 75 = -15. Let w(x) = -x**3 + 18*x**2 + 7*x - 6. Is 24 a factor of w(j)?
True
Let s = 59 - 60. Is (2/1 + 2)*s/(-2) a multiple of 2?
True
Suppose -5*x - 14 = -2*h + 6*h, -5*h - 1 = -2*x. Is 15 a factor of ((-1)/x)/((-4)/(-528)*3)?
False
Let l = 220 - 112. Let h(u) = u**3 - 8*u**2 - 7*u - 13. Let s be h(9). Suppose 0 = 2*i + 4*d - 80, -s*d + 10*d = 4*i - l. Is i a multiple of 8?
True
Suppose 25*a - 4049 = 19526. Is 23 a factor of a?
True
Let k(t) = -8*t**2 + 8*t + 3. Let p(y) = 16*y**2 - 17*y - 7. Let i(g) = -13*k(g) - 6*p(g). Let m = -128 - -125. Does 17 divide i(m)?
False
Let b = 1597 + -673. Is 22 a factor of b?
True
Suppose -2*d + 26 = -4*d. Let h = -10 - d. Suppose -h*c - 5 + 38 = 0. Is c a multiple of 11?
True
Let t be (5/((-5)/(-2)) - 79) + 1. Let z = -54 - t. Is z a multiple of 22?
True
Let p = 267 + 148. Is 27 a factor of p?
False
Does 3 divide (-10)/3*(-42)/28?
False
Suppose 4*j - 34 = 5*r, -2*j + 5*j - 8 = -5*r. Suppose 4*z = 5*m - j + 120, z - 27 = 2*m. Does 7 divide z?
False
Let x be 15/25 - (-24)/10. Suppose 2*j - 8 = -x*t + 4*j, 1 = -2*t - 5*j. Is 11 a factor of 42 + 1 - (1 - t)?
True
Suppose -30 = -10*z + 30. Suppose -244 = -5*y - p, -242 = -5*y + 3*p - z*p. Is y a multiple of 7?
True
Let d = 53 + -70. Let w(y) = y**2 + 7*y + 25. Is 21 a factor of w(d)?
False
Let k(s) = s**3 - 2*s**2 + 5*s - 26. Let y be k(5). Suppose -y = 7*g - 326. Is 12 a factor of g?
True
Let n = 238 + -170. Suppose 5*j - 2 = 3*a + 168, 4*a + n = 2*j. Is 17 a factor of j?
True
Suppose 120*f - 129*f = -2808. Is 52 a factor of f?
True
Suppose 0 = -5*k - 32 - 38. Is ((-56)/7 + 4)/(1/k) a multiple of 14?
True
Suppose -3264 = -3*t + n + 4833, -4*n - 5388 = -2*t. Is t a multiple of 54?
True
Let w = -47 + 332. Let q be (28/6 + -4)*w. Suppose -2*h = -n + 21 - 82, 5*h + 5*n - q = 0. Is 13 a factor of h?
False
Suppose -2*l - 4*s - s = -1, 4 = 3*l + 5*s. Let h(o) = o**2 + 6*o + 2. Let j be h(-6). Does 12 divide l/(j*12/272)?
False
Let y(f) = f**3 - 9*f**2 - 3*f + 1. Is 30 a factor of y(12)?
False
Let i(y) = -y + 39. Let f be i(23). Does 15 divide (f/((-192)/(-90)))/((-1)/(-2))?
True
Suppose 5*u + u = 282. Let k = u - 18. Is 11 a factor of k?
False
Let t(x) be the second derivative of -x**7/2520 - x**6/120 + x**5/40 + 5*x**4/12 + 4*x. Let c(y) be the third derivative of t(y). Is c(-3) a multiple of 8?
False
Suppose 4*c + 3*d + 18 = 7*c, 0 = -3*d - 12. Suppose 2*q + 3 = 3*p - 10, c*q = p - 7. Suppose 0 = p*o - 75 - 3. Is o a multiple of 26?
True
Let p be (54/9)/(2 - -1). Suppose -a + 437 = 2*f, 0 = -p*f - 3*f + 2*a + 1097. Is f a multiple of 15?
False
Let n be (1 - 736/(-12)) + 3/(-9). Let h = -28 + n. Does 34 divide h?
True
Let w = -10 + 19. Suppose -w*k - 720 = -13*k. Let i = k - 110. Is i a multiple of 25?
False
Let n = 83 - 80. Is 1/((-404)/136 + n) a multiple of 20?
False
Let x be (2/3)/((-1)/3) - 2. Is 5 a factor of x/(-8)*(2 + 44 + 2)?
False
Suppose -c - 5 = -2*c, 4 = -m + 5*c. Suppose -g = k + 4*g - 7, 3*k - 3*g = m. Is k even?
False
Let u be (-18)/(-5)*2/((-18)/(-15)). Suppose -u*a - 32 = -1400. Is 12 a factor of a?
True
Let v = -89 + 119. Is v a multiple of 30?
True
Let a(c) = c**3 + 7*c**2 - 3. Let j be a(-7). Does 3 divide j*-1*10/5?
True
Let a(t) = 5*t**2 + 6*t - 31. Is 8 a factor of a(7)?
True
Let y = 36 + -24. Suppose 4*q + 3*h - 8 = 2, -2*q + 2*h = -y. Does 13 divide (-3483)/(-99) + q/(-22)?
False
Suppose -l = -0 + 1. Let n(k) = -71*k - 1. Let t be n(l). Let j = t - 40. Is j a multiple of 15?
True
Let a = -396 - -1667. Is a a multiple of 54?
False
Let m = 6 - 3. Let g(q) = 3*q**3 - 3*q**2 - 2*q + 3. Let j be g(m). Suppose 2*z - 193 = -4*d - j, 0 = 2*z + 5*d - 142. Is z a multiple of 23?
False
Suppose -2*n - 7 - 5 = -2*s, 0 = -s + 5*n + 14. Does 7 divide s/(-10) - (-666)/15?
False
Suppose -4*o + 12 = -2*o. Let p be ((-4)/o)/(3/(-9)). Is 11 a factor of (1 - 2)*(p + -24)?
True
Let g(v) = 30*v**2 - 3*v - 2. Let b be g(-2). Suppose -k = -5*n + 97, 3*n - 2*k = 2*n + 23. Suppose b = n*w - 15*w. Is w a multiple of 31?
True
Let w(p) = -p**3 + p**2 + 2*p - 2. Let k be w(2). Let d be (15/10)/(2/(-20)). Is (-95)/d + k/(-3) even?
False
Let b(t) = 4 - 10 + 7*t + 2 - 5. Is b(16) a multiple of 16?
False
Let s(t) = t + 0*t**2 - 7*t**3 - 3*t**2 - 2*t. Let o be s(-2). Let w = o - 20. Does 13 divide w?
True
Let b = 17 - 15. Suppose 0*l + 72 = b*l. Does 17 divide l?
False
Let i(k) = 3*k**3 - k**2 + 5*k - 3. Suppose -m + 1 = 4, 5*z - 157 = 4*m. Let j = z + -27. Does 27 divide i(j)?
True
Let u = -219 + 748. Is u a multiple of 25?
False
Suppose -18*k + 91876 = 17626. Does 33 divide k?
True
Let f = -491 - -622. Is 4 a factor of f?
False
Let n(k) = -239*k - 448. Is 5 a factor of n(-7)?
True
Let a(q) = 21*q**2 + 2*q + 3. Let t = -1 - -3. Let v(r) = -43*r**2 - 5*r - 7. Let f(s) = t*v(s) + 5*a(s). Is f(-1) a multiple of 5?
True
Suppose h - 156 = 482. Is h a multiple of 22?
True
Suppose 23*v - 19*v - 1872 = 0. Is v a multiple of 19?
False
Let p(y) = -y**2 - 7*y - 4. Let z be p(-9). Let o be (-6)/((5 + -3)/z). Suppose o = 7*x - 438. Does 24 divide x?
True
Suppose -2960 = -7*g + 2689. Is g a multiple of 57?
False
Let n(l) = -3*l - 1. Let d be n(-1). Suppose d*x - 118 = -0*x + 4*b, 3*x - 177 = b. Is x a multiple of 12?
False
Let b be 8/(-5)*(-4 - 9/(-6)). Suppose 2*h - 3*z = 84, -b*z + 146 - 37 = 3*h. Is h a multiple of 13?
True
Let d(m) = 2*m**3 + 2*m**2 - 24*m + 12. Does 64 divide d(5)?
True
Suppose 0 = 335*q - 334*q - 1056. Does 8 divide q?
True
Let d(x) = 7*x - 16. Let t be -3*(-1)/(-6)*-4*8. Is d(t) a multiple of 16?
True
Let a = -56 - -50. Does 4 divide (-122)/a - -4*6/(-72)?
True
Let l = -1234 - -2620. Is 14 a factor of l?
True
Let f be 3 + 1 + -3 + -1. Suppose -w + f*w + 64 = 0. Does 8 divide (-2)/(-3) + w/3?
False
Suppose 0 = 4*z + 3*v - 3562, 3*z - 3620 = v - 942. Is z a multiple of 19?
False
Suppose 32*p + b + 4922 = 37*p, 5*b - 3955 = -4*p. Is 22 a factor of p?
False
Let c(l) be the first derivative of -l**3/3 - 7*l**2 - l + 3. Is c(-7) a multiple of 38?
False
Let n(b) be the second derivative of b**4/12 - b**3 + 5*b**2/2 - 3*b. Let t be n(7). Suppose w - t = -2*y, -2*y = -2*w - 3*y + 33. Is w a multiple of 18?
True
Is (3329 - (9 + -3)) + (1 - -1) a multiple of 9?
False
Let a = 3678 + -3153. Is 25 a factor of a?
True
Let j = -2358 - -3398. Is 10 a factor of j?
True
Let p(c) = 2*c**2 + 15*c - 47. Let d be p(-17). Suppose 948 = 5*s + 4*a - 516, s = -5*a + d. Is s a multiple of 47?
False
Suppose -2 = 2*z - 10. Suppose 470 = z*g + 22. Is g a multiple of 30?
False
Let n(m) = 5*m**2 + 20*m - 207. Does 4 divide n(6)?
False
Let m = -465 - -551. Does 9 divide m?
False
Is (-5 + (-3)/(21/(-14)))*-615 a multiple of 18?
False
Does 4 divide 2/((-4)/(-3) - (-1023)/(-770))?
True
Let c = -8 + 8. Suppose -t + c*t + 5 = 0. Suppose 42 + 123 = t*o. Does 11 divide o?
True
Let y be 33 + -4*(-5)/10. Suppose h - y = 2*g, 3*h + 3*g - g = 81. Is 11 a factor of h?
False
Let k(h) = h**3 - 6*h**2 - 7*h + 5. Let y be k(7). Suppose -5*i = -y*q, 31 = 4*i + 5*q - 5. Suppose 2*p = i, 4*p = 6*m - m - 212. Does 10 divide m?
False
Suppose 0 = 6*w - 4*w - 8. Suppose 0 = -w*d - 15 + 63. Let p = d + -2. Does 7 divide p?
False
Let i = 12 - 10. Let z(u) = 9*u**2 - 5*u + 1. Let x be z(i). Suppose v - x = 11. Is 11 a factor of v?
False
Let y = -13 + 15. Suppose y*b = -2*i - 0*i + 24, 0 = 4*b - 2*i - 48. Suppose -2*f = f + 6, 2*f = u - b. Is u a multiple of 3?
False
Suppose -7560 = -10*u + 4*u. Does 7 divide u?
True
Suppose -1 = y - 7. Let q be 3/(-2 - (-15)/y). Suppose 0*u = -u + q. Is 5 a factor of u?
False
Suppose 7 = -i + 2, 3*p - 3*i = 204. Does 7 divide p?
True
Let k be ((