et p(i) = -17*i - 3. Suppose 2*v + 5*f = f - 30, -20 = 5*f. Let y be p(v). Suppose -s + 3*z = -22, 4*s - 4*z = z + y. Is 17 a factor of s?
True
Let w(b) = 72*b - 466. Is w(14) a multiple of 4?
False
Let v(k) = -k + 3. Let g be v(3). Does 13 divide (-2 + -11 + g)*-3?
True
Let g = -4 - -7. Suppose 179 = 2*t + g*t + 3*q, -4*t + q = -133. Does 12 divide t?
False
Is 22 a factor of (-9254)/(-35) + (2 - (-12)/(-5))?
True
Is 19 a factor of (-5)/(-15)*(1067 + -2) - 5?
False
Does 27 divide (-16995)/(-45) - 1/(-3)?
True
Let j(z) = 40*z - 25. Let s be j(-10). Let l = -170 - s. Is 50 a factor of l?
False
Let b(j) = -j**2 - j + 3. Suppose -4*g + 2*d = 4, -g - 2*d - 2*d + 8 = 0. Let i be b(g). Suppose -4*q + i*q + 6 = 0. Is 2 a factor of q?
True
Let w(f) = -2*f + 10. Let g be w(9). Let d(k) = -2*k - 2. Let b be d(g). Suppose 3*p = s + b, 2*s = 4*p + 1 - 17. Does 6 divide p?
True
Suppose 5*c = 10*c + 540. Is 14 a factor of -3*1756/c + 2/9?
False
Let h(c) = -3*c - 20. Let w be h(-8). Let u(t) = 2*t**3 - 5*t**2 + 5*t + 8. Is u(w) a multiple of 23?
False
Let v(d) = 69 + 3*d + 19 + 8. Is v(-28) a multiple of 4?
True
Suppose -3*b + 5*b = -5*i + 10, 2*b = 2*i - 18. Suppose -7*n = -n - 48. Suppose r - n = i. Is r a multiple of 12?
True
Let z(r) = r + 10. Let g be z(-5). Suppose g*c - 112 = 338. Is 400/18 - 20/c a multiple of 13?
False
Let q = -5 - -7. Let j be -1 + (q - -2*19). Suppose -i = 3*s - j, -2*i + 3*s + 94 = s. Is 15 a factor of i?
True
Let t = -1255 + 1251. Let n(w) = -7 + 3*w**2 + w**2 - 3*w**2. Is 5 a factor of n(t)?
False
Let c = -2960 + 5548. Is c a multiple of 73?
False
Suppose -5*w = -m + 228, 1052 = 5*m - w - 2*w. Is m a multiple of 10?
False
Let b = -253 + 568. Is b a multiple of 15?
True
Suppose 0 = 5*o - 7*o + 2238. Is 21 a factor of o?
False
Let d(q) = 6*q + 23. Let l be d(11). Suppose l = 2*v + 9. Does 20 divide v?
True
Let g be (19872/(-384))/((3/8)/1). Let m = 4 + -7. Is (1/m)/(2/g) a multiple of 16?
False
Suppose 0 = -21*q + 10*q + 44. Suppose -4*u + 12 = -4*a, -5*a - 3 = -4*a. Suppose u = -q*b - 4, n - 9 = -0*n - 4*b. Is 13 a factor of n?
True
Suppose 2*g + 8 = 0, 1 = -s + 4*g + 24. Is s a multiple of 7?
True
Suppose 0 = -2*o - 2*l + 5*l + 278, -6 = 3*l. Is o a multiple of 15?
False
Let f(u) = -325*u + 6. Is 49 a factor of f(-4)?
False
Is -1 + 173 - ((-18)/6 + 3) a multiple of 4?
True
Let w = -2544 - -4300. Is w a multiple of 6?
False
Let v(x) = -4*x - 12. Let a be (-135)/18 - (-1)/(-2). Is 20 a factor of v(a)?
True
Suppose -4*g + 1856 = -4*s, 5*g - 6*g + 439 = 4*s. Is 27 a factor of g?
True
Does 33 divide (5 - 6)/((-3)/912)?
False
Suppose -13 = -4*l + 15. Let d be (-2)/l + (-58)/(-7). Suppose -d*p + 3*p = -30. Is 3 a factor of p?
True
Let r(a) = -a**3 + 36*a**2 - 31*a - 14. Is 14 a factor of r(35)?
True
Let s(d) = -2*d + 2*d - d + 39 + 27. Is 8 a factor of s(20)?
False
Let u be -2*2*1414/(-28). Is 26 a factor of (8/16)/(1/u)?
False
Does 9 divide 10/60*-291*-22?
False
Suppose 484 = -m + 2*t, -2*m + 7*t = 4*t + 965. Let h = -285 - m. Is 28 a factor of h?
False
Let r(b) be the third derivative of -b**6/120 - 7*b**5/30 - 13*b**4/24 + b**3/2 + b**2. Let q be r(-9). Is q/(-4) + (-24)/(-32) a multiple of 24?
True
Suppose 0 = -2*j + 89 + 231. Suppose 4*f = -f + j. Does 8 divide f?
True
Let g be 54/(-7) + (-4)/14*1. Is -6*(-4)/(g/(-9)) a multiple of 5?
False
Let n(m) = -9*m - 3. Let v(i) = -i - 1. Let f(k) = -n(k) + v(k). Let x be f(4). Suppose 2*z = 4*c + x, -4*z + 7*c - 4*c + 53 = 0. Is z a multiple of 7?
False
Let o be (-8 + -90)*(1 + -2). Suppose m + 5*r = -30, 0 = -5*m + 2*r + r - 150. Let p = m + o. Is 31 a factor of p?
False
Suppose -2 = -o + 2*o, 5*o + 14 = 2*d. Suppose 0 = d*p + p - 15. Let s = 27 + p. Is s a multiple of 16?
True
Let r be ((-2)/(-4))/(3/114). Let s(c) = 21*c + 1 - 25*c + r*c + 20*c. Is 12 a factor of s(1)?
True
Let y(i) = i**3 + 14*i**2 + 14*i + 62. Is 26 a factor of y(-12)?
True
Does 36 divide (-14788)/(-24) - (-7)/(-42)?
False
Let o be (2/(-3))/(24/(-3852)). Suppose -77 - o = -2*k. Suppose 2*n - 4*h - k = 0, 4*n - 6*n - h + 87 = 0. Is 20 a factor of n?
False
Let r be ((-4)/8)/(1/(-4)). Suppose 22 + 16 = 2*d + 4*n, -5*d + 95 = -r*n. Let i = 31 - d. Is 6 a factor of i?
True
Let w(o) be the first derivative of o**2/2 + 11*o + 5. Let j be w(-14). Does 17 divide (-30)/(-2) + (-1 - j)?
True
Suppose 4*d - 32*c - 4050 = -31*c, 4*d - 2*c - 4052 = 0. Does 15 divide d?
False
Suppose -13 = -n - d, -2*d = 5*n - 2*n - 42. Let a = -28 + n. Is 8/6*(-486)/a a multiple of 18?
True
Let z = -19 + 29. Let n be z/(-3)*6/(-5). Suppose -50 = -u - n*u. Is 6 a factor of u?
False
Suppose 0 = d - 17 - 7. Is d a multiple of 4?
True
Let o = 10 + -6. Let d = o - 0. Suppose 3 = -g, -4*a - d*g = a - 68. Is 8 a factor of a?
True
Suppose 0 = 2*w - 4*g - 80, 5*g + 15 - 20 = -w. Is 30 a factor of w?
True
Let q(m) be the second derivative of m**5/20 + 11*m**4/12 + 4*m**3/3 - 3*m**2 - 2*m. Let w be 4/1 + -2 + -12. Is 4 a factor of q(w)?
False
Let s(x) = x**3 - 12*x**2 + 10*x + 12. Let j be s(11). Let p = j - -34. Is p a multiple of 7?
True
Let c(d) = -5*d**3 - 8*d**2 - 13*d - 14. Let v be c(-7). Suppose -2*a + v = 5*a. Does 20 divide a?
True
Let t be 0 + -1 + -2 - (1 - 1). Let c(y) be the third derivative of -y**6/120 - y**5/30 - y**4/24 - y**3/2 - y**2. Is 4 a factor of c(t)?
False
Let t(y) = -21*y - 8. Let f(h) = 2*h - 1. Let w(a) = 5*f(a) + t(a). Does 10 divide w(-24)?
False
Let t = 13 - 14. Let k be -18*(22/(-3) + t). Suppose a + k = 6*a. Is a a multiple of 10?
True
Let w = -60 - -85. Is 598/5 - (-10)/w a multiple of 15?
True
Let m(f) = -f**2 + 8*f - 10. Let n be m(6). Suppose n*l + 18 - 10 = 0. Does 25 divide (82 - -1 - l) + 1?
False
Is (1/2)/((24/(-10880))/(-3)) a multiple of 68?
True
Is 12 a factor of 1980 + ((-837)/(-108) - 3/4)?
False
Suppose 0 = -14*j + 12*j. Suppose 3*h = 2*m - 8, -2*h - 4*m + 13 + 3 = j. Suppose -3*z = -h*y + 2*y - 28, y - 2*z = 7. Is y a multiple of 2?
False
Suppose 2*d - 692 = k + 203, 4*d + 3*k = 1815. Suppose 0 = 11*v - 8*v - d. Does 22 divide v?
False
Suppose 5*u + 2680 = 10*u. Suppose 6*f - u = 2*f. Does 28 divide f?
False
Is 30 a factor of (-295)/(-10) + (-5)/(-10)?
True
Let f(o) = -11*o - 122. Is f(-27) a multiple of 7?
True
Let w be ((-12)/(-8))/(6/116). Suppose -155 = -2*r + w. Let p = r - 53. Does 17 divide p?
False
Let s be 24/(-14) + 2 - (-4)/(-14). Suppose -12*k + 13*k - 124 = s. Does 31 divide k?
True
Suppose -10*l = -15*l + 600. Does 5 divide l?
True
Let g(c) = 57*c - 219. Is 37 a factor of g(13)?
False
Suppose 2*m - 46 = 6*m - h, -5*h = 2*m + 34. Is (-6)/m + (-157)/(-2) a multiple of 8?
False
Suppose q - 92 = 30. Suppose 0 = 6*n - 3*n + 5*x - 94, -5*x + q = 4*n. Does 6 divide n?
False
Let a = 251 + 141. Is 9 a factor of a?
False
Let l be (-6 - 2)*(21/(-6))/(-7). Does 8 divide 2260/35 + l/7?
True
Let h(m) = -m**3 + 15*m**2 + 15*m - 3. Let q be h(16). Let d = 39 - q. Does 10 divide d?
False
Let f(p) be the first derivative of 8*p**3/3 - 7*p**2/2 - 9*p - 11. Is 31 a factor of f(5)?
False
Let d(j) = 22*j**2 - 3*j + 7. Is d(-4) a multiple of 30?
False
Let l(a) = 2*a**3 - 9*a**2 - 4*a - 6. Let j be l(6). Suppose -s - j - 493 = -3*w, -3*s + 15 = 0. Is 12 a factor of w?
True
Let y = -1526 - -2641. Is 23 a factor of y?
False
Suppose 3*c = -2*n + 13 + 9, -4 = 4*c - 4*n. Suppose c = -5*a - 6. Does 29 divide (4 + -2)/(a/(-52))?
False
Let g(l) be the first derivative of l**4/6 - l**3/3 - l**2/2 - 2*l + 4. Let s(f) be the first derivative of g(f). Is 3 a factor of s(2)?
True
Is (-8400)/(-245)*(-1 + 15) a multiple of 48?
True
Is (12 + (-574)/56)/(1/8) even?
True
Suppose -10*p + 3*p + 3332 = 0. Is p a multiple of 17?
True
Let x = -19 - -84. Let s = x + -60. Is s a multiple of 5?
True
Let j(q) be the third derivative of -q**6/40 - q**5/15 + q**4/6 + 3*q**3/2 - 18*q**2. Is j(-4) a multiple of 20?
False
Let k = -117 - -419. Is 58 a factor of k?
False
Suppose 4*c + 322 = -86. Let r = c - -113. Is 7 a factor of r?
False
Let u(c) be the third derivative of -c**6/240 + c**5/60 - c**4/6 + 3*c**2. Let i(j) be the second derivative of u(j). Is i(-2) a multiple of 5?
False
Let o(z) be the third derivative of z**4/24 + 2*z**3/3 + 2*z**2. Let j be o(-14). Does 38 divide (114/(-5))/(3/j)?
True
Suppose 0 = -3*v - 3*w + 1755, 0 = -5*v - 0*v