Let r(z) = 16 + 1 - 9*z**2 + z + 42*z**2 - z**3. Is r(33) a multiple of 2?
True
Let b(j) = -3*j + 31. Let l be b(17). Let u = -5 - l. Suppose -u*f + 270 = -12*f. Is 18 a factor of f?
True
Suppose -11 + 3 = -4*y. Suppose -2*c - 518 = -5*g, 5*g + y*c - 70 - 452 = 0. Does 26 divide g?
True
Suppose -3*k = -7*k - 24. Suppose 16 = -4*g + 4*p, -9*p + 24 = 4*g - 5*p. Does 2 divide k/(-1) - (3 - g)?
True
Let g be ((-12)/8)/((-6)/56). Suppose -4*k - 2*j - g = -86, 2*k + 5*j - 52 = 0. Let a = 0 + k. Does 8 divide a?
True
Suppose 4*g = 5*p, -3*p = -2*g + p. Suppose g = s - 5*s + 4. Is 22 a factor of (24 - 1)/s + -1?
True
Suppose 4*u = 12 + 8. Suppose u*v = 2*h - 3*h + 111, -v - 200 = -2*h. Let o = -71 + h. Does 15 divide o?
True
Let p = -904 + 994. Is 30 a factor of p?
True
Let p(f) = f - 6. Let j be p(11). Suppose 4*l - 8 = -j*n, -5*n + 4*l = 9 - 41. Suppose -56 + 8 = -n*g. Does 4 divide g?
True
Let v be (-378)/(-78) + -5 - 28/(-13). Suppose o - 150 = -v*u, -o = -u - 38 + 116. Is 19 a factor of u?
True
Suppose -1 = 4*t - 9. Let v be (t/(-4))/(6/(-1236)). Suppose 4*g - 3*x = 133, 3*x - 2*x = -3*g + v. Does 17 divide g?
True
Let r(h) = -3*h + 2. Let z be r(0). Suppose 5*s = -f + 178, -z*f - 66 = -2*s - 5*f. Is s a multiple of 2?
True
Suppose -4*u + 818 = s - 0*s, -5*s - 10 = 0. Is 9 a factor of u/10*(2 + 0)?
False
Let v(a) = -2*a**3 + 14*a**2 + 10*a + 2. Is 14 a factor of v(6)?
False
Let q = -517 + 1009. Suppose -4*c + 4*a + 554 = 162, q = 5*c - 4*a. Does 16 divide c?
False
Let d(x) = -x**3 - 2*x**2 - 3*x - 3. Let v be d(-2). Suppose v*b - 20 = -b. Suppose l + l - 5*g - 49 = 0, -b*l - 3*g + 107 = 0. Is l a multiple of 19?
False
Is 11 a factor of 16/3*33/4?
True
Suppose -5*c + 54*c = 19257. Is 11 a factor of c?
False
Suppose 3*r - 54 = 276. Does 11 divide r?
True
Let w(o) = o**3 + 7*o**2 + 5*o. Let m be w(-5). Let h = m - -6. Is 10 a factor of h?
False
Suppose -35 = -2*m - 2*m + t, 0 = -5*m + 5*t + 25. Let o(g) = g**2 + 3*g - 8. Let a be o(-5). Is 155/m + (-1)/a a multiple of 8?
False
Let r = 2061 + 868. Is r a multiple of 101?
True
Suppose 2*u = 0, 4*k = 5*u - 3*u + 88. Let l(r) = r**2 + 8*r. Let t be l(-8). Suppose -3*f + 35 + k = t. Does 6 divide f?
False
Let x(t) = -t + 2. Let r = -11 + 14. Suppose -r*c - 1 - 11 = 0. Is x(c) a multiple of 6?
True
Let l = -237 + 281. Does 2 divide l?
True
Let m(f) be the second derivative of -f**5/20 - 7*f**4/12 - f**3 - 7*f**2 - 18*f. Is m(-9) a multiple of 31?
False
Suppose 0*b - b + 42 = -3*w, -198 = -4*b + 2*w. Is 20 a factor of b?
False
Suppose -8*o + 1288 = -9152. Does 9 divide o?
True
Suppose -8*o + 50 = -6*o. Suppose 0 = 5*x - 10*x + o. Is 337/x - 2/5 a multiple of 17?
False
Suppose -4*r = t - 2437, -80*r + t + 3035 = -75*r. Is 9 a factor of r?
False
Suppose -3*h = -2*k - 16, 2*k + 4 = -0*k. Suppose 0*d + 5*i - 77 = -d, -289 = -h*d - i. Does 24 divide d?
True
Let f(i) = -11*i + 20. Suppose -20 = 4*p - 5*u, -p - 8 = p - 3*u. Does 26 divide f(p)?
True
Suppose 4 = 5*u - 1. Let q = 6 - u. Suppose 2*r + 3*r = -2*b + 222, -q*b - r + 555 = 0. Is b a multiple of 19?
False
Let j = -8 - -10. Suppose 10*m = 9*m + j. Is m a multiple of 2?
True
Suppose m + 3*m + j - 6 = 0, -m = 5*j - 11. Does 20 divide (-12)/30*(-120)/m?
False
Let b(v) = 3*v**3 + 15*v**2 + 10*v - 15. Suppose 29 - 4 = 5*j. Let u(n) = -n**3 - 7*n**2 - 5*n + 7. Let a(s) = j*u(s) + 2*b(s). Is 3 a factor of a(6)?
False
Suppose -3*j - 5*g = 18, -g + 14 = j - 2*j. Let x = -126 + 152. Let b = j + x. Is 15 a factor of b?
True
Let p(s) = s**2 - 3*s + 4. Suppose 4*l + 2*n - 5 = 17, l + n - 8 = 0. Let j be p(l). Suppose 3*m = -j*d + 5*d + 67, 0 = 3*m + 3*d - 75. Does 7 divide m?
False
Suppose -h = -0*l - 3*l - 3, 0 = -l - 5*h + 15. Suppose 5 = -p - l. Let k(c) = -c**3 - 4*c**2 + 2*c + 6. Does 6 divide k(p)?
False
Does 16 divide 17423/25 - (-2 - 144/(-75))?
False
Let w(l) = -255*l + 86. Is 13 a factor of w(-2)?
False
Let o = 1039 + -355. Let b be ((-1)/(-2))/(9/o). Let a = b + 1. Does 13 divide a?
True
Let x = -486 - 2066. Is (-2)/(-9) + x/(-99) a multiple of 13?
True
Let f(s) = 15*s - 72. Is f(18) a multiple of 22?
True
Let c(r) = -r**3 + 8*r**2 + 4*r + 14. Suppose -n + 10 = -y, n - 7 = -y - 1. Is 3 a factor of c(n)?
False
Suppose 26 = -5*f + 6. Let t be (-2 + (-6)/f)*0. Does 13 divide 60/2 - (1 - t)?
False
Suppose 4 = -5*u + 3*u. Let o be ((-1)/3)/(u/18). Suppose -o*f + 4*f - 33 = 0. Is f a multiple of 10?
False
Suppose 54*s - 53*s = 16. Does 3 divide s?
False
Let v(y) = 1083*y - 4. Does 46 divide v(2)?
True
Let o = 83 + -133. Let l = o - -53. Does 3 divide l?
True
Suppose 5*t + 12 = -458. Let o = 141 + t. Is o a multiple of 12?
False
Suppose -2*j - 114 = -5*j + r, 0 = 4*r. Let o(g) = 64*g. Let b be o(1). Let c = b - j. Does 10 divide c?
False
Is (4 - 4)/2 - -55 - 0 a multiple of 3?
False
Let x be 3 - (-1 - (-2 - -4)). Suppose 7*j = x*j - 2. Let u = j + 35. Is 15 a factor of u?
False
Let b(z) = 3*z**3 - 5*z**2 + 3*z - 4. Let k be b(3). Let m = 73 - k. Is m a multiple of 5?
False
Let m(k) = -41*k - 8. Let o = -45 + 41. Is m(o) a multiple of 39?
True
Let u(k) = k**3 - 18*k**2 + 16*k + 27. Let s be u(17). Let w(h) = h**3 - 11*h**2 + 12*h + 2. Does 16 divide w(s)?
False
Suppose 6*f + 6*f = 4752. Does 22 divide f?
True
Suppose -5*k = 35 + 360. Let f = -35 - k. Is f a multiple of 22?
True
Let p be -5*(4/(-20) + 1). Let a = p + 9. Suppose a*k = 2*k + 120. Is k a multiple of 10?
True
Let g(m) = 307*m**3 - m**2 + 2*m + 4. Let z be g(-2). Does 3 divide (-4)/34 + z/(-102)?
True
Let r(f) = 20 - f**3 - f + 2*f**3 + 12. Let m be r(0). Suppose o - 5*n = m, -o + n + 28 = o. Is 6 a factor of o?
True
Let u be 3/(-9)*(8 + -23). Suppose -4*f + 7 = -u. Suppose -f*q + 282 = -4*m, 401 = 7*q - 3*q + 3*m. Does 24 divide q?
False
Suppose -2*x = -5*b - 0*x + 6, 3*b - 5*x = -4. Let a = 53 - b. Does 51 divide a?
True
Let o be (-30)/(-40) - 82/(-8). Suppose -4 = -3*m + n, -o = -4*m - 2*n + 11. Suppose -2*k = m*g - 2*g - 140, 3*k - 210 = -2*g. Does 10 divide k?
True
Suppose -4*p + 148 = -132. Does 5 divide p?
True
Suppose 0 = -27*g + 59464 - 18343. Is 12 a factor of g?
False
Let t(f) = f**3 + 10*f**2 - 8*f + 60. Does 13 divide t(-8)?
False
Let t(m) be the third derivative of -m**7/840 - m**6/120 + m**5/24 + m**4/4 + 11*m**3/6 - m**2. Let j(f) be the first derivative of t(f). Does 31 divide j(-5)?
True
Suppose 5*q + 32 = f, -2*q = 3*q - 4*f + 38. Does 37 divide q/3 + 648/6?
False
Suppose 0 = 7*v - 5*v - c - 727, 4*v - 4*c = 1452. Does 28 divide v?
True
Suppose -k - 1232 = 6*k. Let u = k - -320. Is u a multiple of 18?
True
Suppose -8*o - 545 = -3*o + n, 4*n = -o - 90. Let c = o - -155. Does 18 divide c?
False
Is 7 a factor of (-1)/(6/(-4830)) - (0 + 3)?
False
Suppose 5*o = 4*o + 34. Suppose -3*k + o = -41. Let b = k - 13. Does 6 divide b?
True
Let d = -837 - -1312. Is 30 a factor of (-1)/(2/(-6) + d/1470)?
False
Suppose -2*q + 13 = j + 2*j, 3*j - 2*q + 7 = 0. Is 22 a factor of j - -149 - 7/((-7)/(-1))?
False
Let s = 8 - 17. Let r = s + 13. Suppose 219 = 5*w + n, -r*w + 91 = -2*w - 3*n. Does 11 divide w?
True
Suppose 82*k - 87*k + 1870 = 0. Does 24 divide k?
False
Suppose 45*n = 37*n + 1352. Let d = n - -116. Does 17 divide d?
False
Suppose -4*z + 27 = r, -2*r - 11 + 77 = 2*z. Is r - (-1 - -2)*-2 a multiple of 11?
False
Let o be 26/((-2)/8*2). Let r be -3 + 2 + o/(-4). Suppose 0 = 3*a - r, -3*i = -4*a - 56 - 81. Is 16 a factor of i?
False
Let y(i) be the second derivative of 4*i**4/3 - i**3/2 - i**2 - 9*i. Is y(2) a multiple of 39?
False
Is ((-2331)/(-35))/((8/(-10))/(-4)) even?
False
Suppose -42 = -8*v - 2. Suppose -v*z + 3*d + 157 = 0, 4*z - 9*z - 3*d + 163 = 0. Is 3 a factor of z?
False
Suppose 0 = -48*d + 49*d - 3*c - 1072, -d + 1069 = -4*c. Is 22 a factor of d?
False
Let i(v) = 4*v**3 - 3*v**2 - v - 4. Does 3 divide i(2)?
False
Let y(h) = 5*h. Let f(t) = -t**3 - 9*t**2 - t - 8. Let i be f(-9). Let c be y(i). Suppose c*n - 48 - 102 = 0. Does 11 divide n?
False
Let r(y) = 0*y**3 + 1 - 3*y**2 + 3*y**3 - 4*y**3. Let u be r(-2). Does 20 divide ((-8)/u)/((-10)/(-75))?
True
Let t be ((-3)/(-2))/(6/12). Let b be 46 - t/(1 - 2). Suppose -i = -0*i - b. Does 12 divide i?
False
Let c(n) = -7*n + 1. Let m(d) = -d**3 - 7*d**2 + 17*d - 14. Let q be m(-9). Is c(q) a multiple of 12?
True
Suppose -3*h + 4*r + 7