et f(o) = o - 5. Let r be f(-7). Is g(r) a multiple of 5?
False
Does 25 divide (-315868)/(-308) - (56/22 - 2)?
True
Does 23 divide ((-18)/(-45)*1)/((-1)/(-2965))?
False
Suppose -3*q - h - 81 = 62, 0 = q - 5*h + 37. Suppose 5*p - 316 = 14. Let m = p + q. Is 5 a factor of m?
False
Let u(d) = d**2 - 6*d + 14. Let x be u(11). Suppose -5*i - 3*m - 2*m + 5 = 0, -3*i + 3 = 4*m. Suppose 4*h = 5*r - 205, 5*h - x = -r + i. Is 25 a factor of r?
False
Let a(w) be the third derivative of w**5/60 - w**4/12 - w**3/2 + 5*w**2. Let h be a(-5). Let p = -20 + h. Is 4 a factor of p?
True
Let s(n) = n**2 - 3*n - 4. Let q be s(3). Let a be 0/(1/(q/4)). Suppose i - k - 15 = a, -2*i - 3*k + 35 = 3*i. Is 10 a factor of i?
True
Let t(y) = y**3 + 3*y**2 - 13*y - 5. Let m be t(-5). Does 15 divide 3720/48*12/m?
False
Let z(c) = c**2 - c - 4. Let n be z(-7). Let u be 5/(-30) + 19/6. Suppose -228 = -5*w - u*o, -o + n = w - 2*o. Is w a multiple of 11?
False
Suppose 0 = -4*h - 4*a + 15 + 1, -5*a = -3*h + 12. Suppose h*i = -57 + 5. Let o = 27 + i. Does 4 divide o?
False
Let u = -311 + 651. Does 34 divide u?
True
Suppose -4*t = 4*g + g + 406, 0 = g - 4*t + 86. Let v = -100 + 264. Let q = g + v. Does 14 divide q?
False
Let t = -216 + 1736. Is t a multiple of 40?
True
Let c be ((-15)/4)/(27/(-144)). Does 8 divide 1728/c - ((-3)/5)/1?
False
Let x be (688/(-48))/((-1)/(-12)). Let h = x - -272. Does 20 divide h?
True
Let a be ((-15)/(-1))/3 - 2. Suppose -o = -a*o - 20. Is (-194)/(-8) - o/(-40) a multiple of 23?
False
Does 10 divide ((-485)/2)/(-10 + 118/12)?
False
Let y = 351 + -248. Let v = y - 31. Is v a multiple of 18?
True
Let z = 400 + -293. Does 6 divide z?
False
Suppose -3*m = -j + 21 - 0, -3*j + m + 55 = 0. Suppose 3*k + j = 84. Let t = k + 14. Is 18 a factor of t?
True
Let w(v) = v + 2. Let o be w(4). Let r = o + 6. Does 12 divide r?
True
Let r be (2 + -2)*(0 + 1). Suppose r*i = 5*v + 3*i - 25, 4*v = -2*i + 20. Suppose -v*t = -4*s - 158, 2*s + 2 = -t + 28. Is 11 a factor of t?
False
Let v(t) = t**2 - t + 5. Let c be v(0). Suppose 0 = c*m - 313 - 207. Suppose -2*y - 2*z + m = 2*y, 2*z = 2*y - 40. Is 19 a factor of y?
False
Suppose 3*a - 5489 + 647 = 0. Does 41 divide a?
False
Let w(c) = -c**3 + 24*c**2 - 56*c + 8. Is 44 a factor of w(21)?
False
Suppose 5*x = 2*x + 6. Suppose 4*v + 124 = 3*r, 0 = v - 4*r + x*r + 31. Let o = 70 + v. Is o a multiple of 10?
False
Suppose -31 = -g + 11. Let s be g/35*70/3. Suppose j - s = -5*w, -6*j + 2*j + 43 = -3*w. Is j a multiple of 8?
False
Suppose 0 = y + 4, -i = -4*y + y - 210. Is i a multiple of 11?
True
Let a be 1212/4 + -4 + 1. Suppose q - a = -f - 3*q, -630 = -2*f + 2*q. Is f a multiple of 30?
False
Let w be 2/3 + (-195)/(-45). Suppose -w*i + 771 - 233 = 4*z, -3*z + 394 = -i. Does 24 divide z?
False
Suppose 0 = -27*o + 87*o - 1500. Is o a multiple of 5?
True
Suppose -3*y = -y - 6. Suppose 0 = -3*s + 2*n + 154, 0*s - y*s - 4*n + 160 = 0. Is s a multiple of 42?
False
Suppose -q = -0 - 3. Let b(h) = -h**3 + 4*h**2 - h - 3. Is b(q) a multiple of 3?
True
Suppose w - 855 = -2*z, -2*w - 316 = -5*z + 1799. Is 31 a factor of z?
False
Let g(y) = 63*y**2 - 26*y - 173. Does 129 divide g(-7)?
True
Let a(k) = -9*k + 3. Let p be a(-1). Is (-248 + p)*(-1)/4 a multiple of 26?
False
Let c = -42 + 70. Let u = 44 - c. Does 2 divide u?
True
Suppose 3*q - w = -0*w + 16, -5*w - 36 = -4*q. Suppose -q*k = -3*k - 31. Is k a multiple of 11?
False
Let o be (4/(-5))/2*-5. Let l(p) = 2*p + 0*p - 2 - 2*p + o*p. Does 2 divide l(4)?
True
Suppose 88*k - 146530 = 107702. Does 9 divide k?
True
Let p be 72/6*4/6. Suppose 2*n + p = 3*n - 4*b, 2*n + 4*b - 64 = 0. Is 24 a factor of n?
True
Let h = -1 + 4. Let l be (-4 + h + 0)*-3. Suppose -5*c + 179 - 69 = 5*z, 2*z - 43 = -l*c. Is z a multiple of 8?
False
Let u(q) = q**2 - 9*q + 4. Let f(s) = -s**3 - 6*s**2 - 7*s - 2. Let m be f(-5). Let l be u(m). Does 28 divide (-4)/8*l*42?
True
Let t = 32 - -4. Let d be t - 2 - (-6)/(-2). Let q = -13 + d. Is q a multiple of 13?
False
Suppose 25 + 87 = 2*d - 4*z, 4*z - 50 = -d. Suppose -p + 30 + d = 0. Is 18 a factor of p?
False
Suppose 0 = 23*y - 26*y + 126. Suppose -4*z + 91 = 5*u + 20, 3*u + 3*z - y = 0. Is u a multiple of 15?
True
Let i = 0 - 3. Let g = 5 + i. Is 9 a factor of g/((-3)/48*-1)?
False
Let j(b) be the third derivative of b**5/60 - 7*b**4/12 + b**3/6 - 4*b**2. Is 16 a factor of j(15)?
True
Let g(l) = 29*l**3 - l**2 - l + 1. Let y be g(1). Suppose y = 7*r - 3*r. Is r a multiple of 7?
True
Suppose -314 = -6*u + 4*u. Is u even?
False
Let x be (-8)/16*-1*8. Let m be (-21)/36*-3*x. Suppose 7 + m = d. Does 4 divide d?
False
Let g = 10 - 0. Suppose g + 10 = 4*i. Suppose -347 = p - 6*p + 3*u, i*p - 2*u - 343 = 0. Is 17 a factor of p?
False
Suppose 0 = -4*d - 5*k + 94, 3*k + 8 = -k. Suppose l = 73 - d. Is 47 a factor of l?
True
Let f be (-8)/(-60) - 174/(-45). Suppose -4*j + 6 + 8 = -i, -f*i + 4*j = 32. Let z(y) = y**2 - 8. Is z(i) a multiple of 28?
True
Suppose 2*t - 151 = -5*s + 433, 885 = 3*t + 3*s. Does 55 divide t?
False
Let n(o) = o**3 + 14*o**2 - 9*o - 16. Let t be n(-12). Suppose 5*g + s - 628 = 0, t = 5*g - 4*s - 258. Does 14 divide g?
True
Let a(y) = -y**3 + 6*y**2 - 6*y + 4. Suppose -2*i = 5*b - 35, -3*i + 15 = -0*i - 5*b. Let j = i - 6. Is 6 a factor of a(j)?
True
Let l(h) be the first derivative of -h**4/4 + 4*h**3/3 - h**2/2 - 3*h - 3. Let o(s) = -s**2 + 15*s + 31. Let u be o(17). Is l(u) a multiple of 22?
False
Does 8 divide 1211/56*-2*-20?
False
Let x(v) = 11*v + 3*v + 11*v - 1. Let c be x(2). Let q = -25 + c. Is 10 a factor of q?
False
Suppose 7*n - 10*n - 12 = 0. Let s = -6 + n. Let x = 7 - s. Is 4 a factor of x?
False
Suppose 0*m + 3*p + 90 = 2*m, 4*p = -16. Let h = m - -32. Does 23 divide h?
False
Let h be 2/9 - 1690/(-90). Does 3 divide h - (14 + -17 - 4/(-1))?
True
Let w = 8 + -17. Let c(z) be the second derivative of z**5/20 + 5*z**4/6 + 7*z**3/6 + 9*z**2/2 - 15*z. Is 9 a factor of c(w)?
True
Let j be -7 + 6 + (-1298)/(-2). Suppose h - j = -2*h. Suppose 2*n + 5*p + 29 - 122 = 0, 5*n = 4*p + h. Does 22 divide n?
True
Suppose -28*i = 22*i - 2400. Does 3 divide i?
True
Suppose 2*v = -m + 94, 4*m - 415 = -7*v + 12*v. Does 9 divide m?
False
Let f(b) = 70*b - 358. Is f(14) a multiple of 2?
True
Let s(x) = 54 + 14*x - 50 - 14*x - 26*x. Let t be s(-2). Suppose 2*r = r + t. Is 28 a factor of r?
True
Let q be 18*(16/6)/4. Let m = q + -12. Suppose 6*w - 8*w + 54 = m. Is w a multiple of 26?
False
Let a(p) = 216*p + 647. Does 10 divide a(15)?
False
Let f(p) = p**2 - 22*p - 82. Let z be f(28). Let h(t) = t**3 - 4*t**2 - 5*t - 2. Let b be h(-3). Let m = b + z. Is m a multiple of 18?
True
Is 39 a factor of (33/4)/((-31)/(-4836))?
True
Let q = -53 - -48. Let t(o) = -20*o + 36. Does 17 divide t(q)?
True
Let j(t) = -2*t - 6. Let r be j(-4). Let n be r/(-1)*(0 + -2). Suppose -n*q = -5*i + 100, 0*i + 125 = 5*i + q. Is i a multiple of 8?
True
Let q = 27 + -24. Let i be 124 - (q + -2)*-2. Suppose -i - 134 = -4*k. Does 8 divide k?
False
Suppose 4*i + 13 - 209 = 0. Suppose -o - 74 = i. Let p = o - -194. Does 19 divide p?
False
Let f(v) be the second derivative of -5*v**4/12 - 4*v**3/3 + v**2/2 + 11*v. Let r(l) be the first derivative of f(l). Is r(-9) a multiple of 22?
False
Let p = 20 + -8. Let x(n) = n + 0 - n**3 + 37*n**2 + 1 - 25*n**2 + 5. Is x(p) a multiple of 9?
True
Let v(o) = 6*o - 4. Let c be v(2). Suppose t + t - c = 0, -5*y + 381 = 4*t. Is y a multiple of 13?
False
Suppose -22*a + 6*a + 11264 = 0. Is a a multiple of 30?
False
Is 33 a factor of 10/85 - ((-23709)/51 + 1)?
False
Let t be (508/20 - 2/5)/1. Is 220/8*130/t a multiple of 13?
True
Let z(o) be the second derivative of o**4/12 - 2*o**3/3 - 43*o**2/2 + 18*o. Does 12 divide z(13)?
False
Let b = -886 + 1587. Is 8 a factor of b?
False
Let u be ((-1)/(-1))/(1/69) - 1. Suppose -1 = 5*v - 5*i + 14, 3*i = 15. Is u/2 + v/(-1) a multiple of 16?
True
Let d be (-146)/5 + ((-64)/(-20) - 3). Let s = d + 52. Is 5 a factor of s?
False
Is (-69)/(6*(-8)/128) even?
True
Let o(z) = -z**3 - 6*z**2 - 5*z + 2. Let r be o(-5). Let l(y) = -r + 13*y - 7 - 19*y. Is l(-4) a multiple of 15?
True
Let f be (-9)/(-12)*((1 - 5) + -4). Let s(u) = u**2 - 3*u - 1. Is s(f) a multiple of 10?
False
Let l = 191 + -113. Does 12 divide l?
False
Suppose 