) = 7*r**2 - 14. Let w(o) = -o**2 + 23*o - 38. Let s be w(21). Is 12 a factor of l(s)?
False
Let b(h) = 10*h - 22. Is b(15) even?
True
Suppose 0 = -2*x + 2 + 2. Let f be x/(-3) - (-2358)/(-27). Does 11 divide (0 + -1)/(4/f)?
True
Suppose 0 = -0*w - 5*w. Suppose w = g - 2*g + 5. Suppose 3*u - 18 = -5*z + 51, -g*z = -15. Does 17 divide u?
False
Let d(o) = -o**3 + 6*o**2 + 3*o - 11. Let s be d(6). Suppose -2*y - 5*u + 44 = 0, -s*y + 83 = -4*y - u. Does 9 divide y?
True
Let l(j) be the third derivative of -j**5/60 + 4*j**3 - 6*j**2. Is 8 a factor of l(0)?
True
Is ((2016/20)/(-14))/(1/(-5)) a multiple of 6?
True
Let j(m) be the first derivative of -m**3/3 - 4*m**2 - 10*m + 9. Is j(-6) even?
True
Let g(y) = -8*y - 4. Suppose 0 = 2*p + 5*q + 14, 4*p - 6*q + 80 = -3*q. Is g(p) a multiple of 12?
True
Let b(o) = o**3 - 21*o**2 + 24*o - 5. Suppose 2*y - y + 64 = 3*n, 5*y + 20 = 0. Is 25 a factor of b(n)?
True
Suppose 4*h - 56 = -0*h + 4*f, 3*h - 4*f - 41 = 0. Does 14 divide (h + 1)*(-1 - 235/(-20))?
False
Let j be 708/(-10)*(6 - 16). Suppose w = -5*w + j. Suppose -w = 2*i - 4*i. Is i a multiple of 21?
False
Let m(b) = b**3 - 3*b**2 + b. Let o be m(2). Let y = 0 - o. Let n(x) = 7*x - 2. Is 4 a factor of n(y)?
True
Let c(b) = 4*b - 31. Let s be c(9). Suppose f = -3*x + 110, -s*f + 2*x = -2*x - 531. Is 20 a factor of f?
False
Suppose -4*h - 820 = -3*c, -6*h - 20 = -h. Does 67 divide c?
True
Let p(a) = 205*a**2 + 1. Let t(w) = 2*w - 15. Let l be t(8). Let q be p(l). Suppose -q = -5*b + 29. Does 17 divide b?
False
Let v(r) = -48*r**2 + 7*r - 1. Let f(q) = -q. Let c(o) = -6*f(o) - v(o). Is c(-1) a multiple of 14?
False
Let c = 16 + -14. Suppose 2*p - 3*z = 71, c*p + 0*z - 4*z = 66. Is p a multiple of 5?
False
Let q be 3/(-18) - (-2150)/12. Let s = -119 + q. Is s a multiple of 20?
True
Suppose -5*y - 27 = -h, -2*h + 0 = 3*y - 2. Suppose f + h + 72 = 2*s, 0 = 2*s - 4*f - 88. Is s a multiple of 5?
False
Suppose -5849*h = -5847*h - 704. Is 5 a factor of h?
False
Let l(i) = i**3 + 4*i**2 - 22*i + 50. Is l(6) a multiple of 10?
False
Let p = 21 + -26. Let d be (-201)/p + (-6)/30. Let t = d - 16. Is 5 a factor of t?
False
Let o(i) = 4*i - 4 - 4 + 5*i + 3 + 4*i**2. Does 17 divide o(-6)?
True
Let u(a) = -a**2 + 4*a + 18. Let y be u(-3). Let o(q) = -48*q - 12. Does 26 divide o(y)?
False
Let g = -16 - -19. Suppose -82 - 65 = -g*o. Does 7 divide o?
True
Let l be 3/(-9) - 26/(-6). Suppose -4*j + 16 = 5*g, -5*g - 4 = 3*j - l*j. Is (j + -3 + 32)*1 a multiple of 11?
True
Does 64 divide (4/6 + 20342/(-21))*-1?
False
Let k = -1412 - -4701. Does 94 divide k?
False
Let g be 1 + (4 - 6)*1. Let a(t) = -3*t + 1. Let v be a(g). Suppose 217 = v*q + 25. Is 16 a factor of q?
True
Let l = 7 - 5. Suppose 2*h = -2*p + 222, -325 = -3*p - l*h - 3*h. Is 23 a factor of p?
True
Let s = -128 + 144. Is (-927)/(-6) - (-8)/s a multiple of 31?
True
Let b(w) = -13*w - 4. Let d be b(-2). Suppose 0 = d*i - 28*i + 252. Does 14 divide i?
True
Suppose -3*w - 4*o = -352, -2*o + 350 = 5*w - 2*w. Does 4 divide w?
True
Suppose 22 = -4*u - 34. Let i = u + 27. Suppose 3*h - 113 = i. Is 14 a factor of h?
True
Let y = -71 + 103. Suppose -2*t + 2*d = d - y, d = -5*t + 66. Let q = -3 + t. Does 11 divide q?
True
Let w(r) = -r**3 + 4*r**2 + 5*r + 3. Let n be w(5). Suppose -5*b - 15 = -4*m + 14, 4*b = n*m - 21. Is 2 a factor of m?
False
Let i = -170 - -3079. Is i a multiple of 38?
False
Let j be (5*5/1)/1. Let h be (4/10)/((-1)/j). Is 6 a factor of (-72)/h*90/27?
True
Is 157 a factor of ((-6)/(12 - -6))/(5/(-9225))?
False
Let c = -443 - -721. Does 47 divide c?
False
Does 33 divide (-99)/((-7)/(-5) - 2)?
True
Suppose -4*y + 175 = -4*z - 77, -5*y + 320 = -4*z. Does 21 divide y?
False
Let y = -381 - -465. Is 6 a factor of y?
True
Let o = 0 - -7. Let h = 29 + o. Is 4 a factor of h?
True
Let k = 61 - -83. Let h = -100 + k. Does 11 divide h?
True
Let h = -26 - -12. Let j(y) = y**2 + 15*y + 17. Let k be j(h). Suppose 3*q = -k*d + 9, 21 - 2 = 4*d - 3*q. Is 3 a factor of d?
False
Suppose -b + 2*b = 2. Suppose -11*w = -b*w - 216. Is 8 a factor of w?
True
Let r = 1816 - 48. Does 41 divide r?
False
Let t = 3 + -1. Suppose 0 = -t*d - 2 + 6. Suppose -d*b + 4 = -44. Is b a multiple of 8?
True
Let g(j) = -j**2 + 9*j + 2. Let i be g(9). Suppose -3*s = 4*q - 12, i*s = -2*q + 4 + 2. Is 21*12/9 + s a multiple of 14?
True
Suppose -2*k - 5*y + 248 = 0, -4*k - 3*y + 468 = -0*k. Is 19 a factor of k?
True
Let z = -70 + 67. Is (-1 + -2 - z) + 12 even?
True
Let l = -942 - -1491. Is l a multiple of 25?
False
Let s(q) = 230*q - 6. Let o be s(2). Let j = o + -289. Suppose 3*h = -3*t + j, -h + 2*t + 103 = 36. Does 18 divide h?
False
Let l = 5118 + -2866. Is 37 a factor of l?
False
Let b(a) = a**2 + 22*a + 22. Let i be b(-21). Is (1 - 0)/i*15 a multiple of 15?
True
Let u = 45 - 6. Suppose u + 69 = y + d, 8 = -2*d. Is 28 a factor of y?
True
Suppose 13 = x - 109. Suppose 50 = -2*l + x. Does 18 divide l?
True
Let l = 98 - 203. Let p = l - -189. Suppose 3*s = 4*s - p. Is s a multiple of 28?
True
Is (42 + -2682)*(1 - 3/2) a multiple of 44?
True
Let m(g) = 17*g**2 - 28*g - 125. Is 10 a factor of m(-5)?
True
Let z be -1*(2 + 1 - -3). Let g be 1124/6 - 4/z. Suppose -l - 3*l - 4*t + g = 0, -29 = -l + 5*t. Does 11 divide l?
True
Let v = 2 + 0. Let f = 6 - v. Suppose -f*r + 0*g = g - 94, 3*r = -2*g + 73. Is 15 a factor of r?
False
Let p = 59 - 38. Is 91/p - (-1)/(-3) a multiple of 4?
True
Suppose 2*g + 2*g = 12. Suppose 4*n - 6*m = -3*m - 154, g*n + 5*m = -101. Let f = n - -75. Is 7 a factor of f?
False
Let w be (-16)/(-6)*66/(-4). Let a = -72 - w. Is 29 a factor of (-3)/(3/a) - -1?
True
Is 105 a factor of (-41 + -204)/((1/1)/(-12))?
True
Suppose 2*i + 3 + 5 = 0. Let o be 83/i + (-5)/20. Does 5 divide (1 + o)/(2 + -4)?
True
Suppose 3*i - 157 = w, -2*i + 25 + 83 = w. Let m = i + 24. Is m a multiple of 11?
True
Let s be 12/12 - (3 + 0). Does 13 divide (6 - 5)/(s/(-26))?
True
Is 285 - (15/6)/(3/6) a multiple of 70?
True
Let t(v) = 11*v + 17. Is 13 a factor of t(28)?
True
Suppose 2*r = -0*r + a + 3, -r = 3*a + 9. Suppose 3*c - 4*w = 64, -2*w + 122 = 4*c - r*c. Let z = -10 + c. Is z a multiple of 6?
True
Let s = 825 - 721. Is s a multiple of 4?
True
Let d = -276 - -361. Does 5 divide d?
True
Let i = 1799 + -957. Does 15 divide i?
False
Let x(h) = h**2 + 16*h - 89. Does 19 divide x(12)?
True
Let d(f) = f**3 + 4*f**2 - f + 4. Let l be d(-4). Does 5 divide (-4)/l + (-55)/(-2) + 2?
False
Let m(g) be the third derivative of -g**4/6 - 20*g**3/3 + 11*g**2. Is 4 a factor of m(-16)?
True
Let u(g) = 150*g**3 - g**2 + 3*g - 1. Let o be u(1). Suppose 4*t - t + 169 = 2*f, -2*f = 3*t - o. Is f a multiple of 29?
False
Let l = -10 + 13. Suppose 0*x + 11 = l*j - x, 3*j + 14 = -4*x. Suppose -b = -z + 17, -z + j*b = 3*z - 64. Does 6 divide z?
False
Let k be (2/6)/((-1)/(-6)). Let s(i) = -3*i + i**2 + 7*i**k - 1 + i - 3*i**2. Is 6 a factor of s(-1)?
True
Let o(k) = 9*k - 1. Let t be o(1). Suppose -6*d + 476 = -t*d. Is 10 a factor of (-7)/(-42) - d/12?
True
Let g(s) = 70*s**3 - 3*s**2 + s. Suppose -1 = 11*y - 12. Is 4 a factor of g(y)?
True
Let p(s) = -10*s**2 + 8*s - 35. Let d(w) = 15*w**2 - 12*w + 53. Let m(h) = 5*d(h) + 8*p(h). Let b be m(6). Let i = -98 - b. Does 20 divide i?
False
Let n(t) = -t**3 - 3*t**2 - t + 5. Let z(a) = a**3 - 9*a**2 - 10*a - 14. Let q be z(10). Let l be (-2)/q - (-29)/(-7). Is 13 a factor of n(l)?
False
Let g(q) = 5*q - 1. Let m be g(2). Is 34*((-3)/m - 22/(-12)) a multiple of 27?
False
Is (33 + -8)/(-5) - (-591 - 3) a multiple of 55?
False
Let q = -439 + 266. Let h = -133 - q. Does 7 divide h?
False
Suppose -2*p = 3*p - 50. Let o(w) = w**3 - 9*w**2 - 8*w + 15. Is 16 a factor of o(p)?
False
Does 12 divide (5 + -8)*((-3440)/12)/4?
False
Let c(g) = -114*g. Let s be c(1). Let z = 178 + s. Does 8 divide z?
True
Let g(s) = 4*s**3 - 24*s**2 - 8*s + 25. Is 8 a factor of g(8)?
False
Suppose -4*b - 2332 - 384 = 4*u, -4 = b. Does 19 divide (-2)/(10/u) - 2?
True
Suppose -3*r = -3*k - 1230, 668 + 984 = 4*r + 2*k. Suppose 2*i - 4*i - 415 = a, 2*i + 4*a = -r. Is 21 a factor of (-3)/(-15) - i/10?
True
Let a be (-87)/(-9) + -3*(-4)/(-18). Suppose 7*x + 48 = a*x. Is 15 a factor of x?
False
Is 18 a factor of ((-76)/(-12) + -5)*297/2?
True
Suppose 0 = 4*c - 2*d - 640, 2*d