0. Is y a multiple of 81?
False
Let x = -229 + 585. Suppose -3*k + x - 20 = 0. Does 14 divide k?
True
Let b be 85/1 - (-2)/(2/1). Suppose -510 = -5*h + 5*w, -3*h + w = -b - 228. Is 8 a factor of h?
False
Suppose -6*l = -4*l + 6. Let v(x) = -3*x**3 + 1456 - 1455 + 2*x**2 + x**2. Is v(l) a multiple of 26?
False
Let n(b) = -b + 6. Let p be n(6). Let w be (2 + 4)*(p - 1). Does 22 divide (-8)/24 - 266/w?
True
Suppose n - 2 = d, -4*n + 14 = 3*d + 6. Suppose n*p - 21 = 35. Suppose -m = -46 - p. Is 30 a factor of m?
False
Let n(a) = a**3 + 2*a**2 - 3*a + 3. Let o be n(-3). Is 30 a factor of (-6)/o*-2 - (-61 - 6)?
False
Suppose g = -4*m - 5, -2*m + 12 = 4*g + 4. Let c be m - (-16 + (0 - 1)). Suppose j = -0*d - 3*d + 17, -3*d - c = -3*j. Is j a multiple of 8?
True
Suppose -n = -2*c + 12, c - 24 = -3*c - 2*n. Let y(l) = 2*l - l + c*l**2 - 50 + 30 + 26. Does 23 divide y(4)?
False
Suppose -2*h - 3*o = -271, 4*h + 5*o - 269 = 2*h. Let l = h - 79. Is 10 a factor of l?
False
Let g(h) = 5*h - 21. Let l be g(5). Suppose l*z - 9*z = -425. Is 5 a factor of z?
True
Suppose -1105 - 2675 = -6*o. Is 9 a factor of o?
True
Let l(g) = -4*g**3 + 156*g**2 + 9*g + 54. Is l(39) a multiple of 27?
True
Suppose 0 = 9*z - 1622 - 1456. Is z a multiple of 57?
True
Suppose 3*q - 176 = 5*q + 4*m, -2*q = -m + 166. Let t = 184 + q. Is t a multiple of 18?
False
Let p = 155 - 139. Suppose -p*u + 14*u = -110. Does 5 divide u?
True
Let b be 6/3 + -3 + -2. Let p be 1*(16/4 - b). Suppose p*s + 78 = 218. Is s a multiple of 10?
True
Let n(o) = o**3 - 2*o - 2*o**3 + 9*o - o + 6*o**2 - 9. Is 10 a factor of n(6)?
False
Let n be (2 - (-13)/(-5))*-5. Let l(j) = -n*j**2 + 2*j**2 + 3*j + 2*j**2 - 7. Is 20 a factor of l(6)?
False
Let a(g) = 6*g**2 - 6*g - 5. Let q(l) = 7*l**2 - 7*l - 5. Let i(u) = -6*a(u) + 5*q(u). Let s be i(5). Let j = 50 + s. Is 8 a factor of j?
False
Suppose -5*t + 45 = -10*t. Let l(k) = k + 9. Let j be l(t). Suppose j = -7*g + 243 - 33. Is g a multiple of 5?
True
Does 64 divide (-8)/(624/(-52818)) - (-6)/(-39)?
False
Suppose -7 = -2*r - u + 2, -r = -4*u - 18. Let w = r + -9. Is (2 + (w - 0))*-7 a multiple of 5?
False
Let h = -2 + 2. Suppose h = -4*j + 267 + 261. Is j a multiple of 33?
True
Let f(q) = -4*q - 17. Let r be f(-7). Suppose 2*z + 4*k - r = 3, k - 36 = -3*z. Is z a multiple of 13?
True
Let o(k) = -5*k**3 - k**2 + k + 2. Suppose -4*a - 12 + 4 = 0. Let y be o(a). Suppose -y = -2*f - 8. Is f a multiple of 7?
True
Suppose 483 = 10*b - 2007. Is b a multiple of 6?
False
Let p = 28 - 9. Suppose 528 = -p*x + 22*x. Is 11 a factor of x?
True
Suppose 4*n = -5*p - 1992, -5*p + 5*n = 4*n + 1977. Let c = -201 - p. Does 13 divide c?
True
Let s = -13 - -35. Let c = s + -17. Is 5 a factor of c?
True
Let j be 516/16*1*8. Let h = j + -104. Does 22 divide h?
True
Suppose 0 = -2*d + r + 1957 + 773, 5*d - 6819 = 4*r. Is 22 a factor of d?
False
Let i = -17 - -21. Suppose i*r + 48 = 4*u, -r + 5*u = -5*r - 21. Is 8 a factor of (r - 12)/((-6)/16)?
True
Does 25 divide 168/(-7)*(-24 - 1)?
True
Let r = 654 - 347. Does 8 divide r?
False
Suppose -11*j + 10*j = -3*b - 2191, 5*b = 5*j - 10905. Does 128 divide j?
True
Does 40 divide (-2)/(-13) - 8/260*-58495?
True
Suppose -18 = g - 21. Suppose g*v = -v + 304. Does 13 divide v?
False
Does 13 divide (-30)/(75/26 + -3)?
True
Does 16 divide (-2705)/(10/(-1 + -9))?
False
Is 58 a factor of ((-2)/10)/((-18)/30)*477?
False
Let u = -213 - -214. Let j(z) = -40*z**3 + 7*z**2 + 7*z + 5. Let a(t) = -80*t**3 + 13*t**2 + 13*t + 9. Let n(x) = -6*a(x) + 11*j(x). Is 13 a factor of n(u)?
True
Does 16 divide -5 + 456 + 2 - 15/3?
True
Let v(w) = 4*w - 7. Let j be v(3). Suppose 5*g = j*p - 210, -2*p + 115 - 31 = g. Does 10 divide p?
False
Let u = 904 - 784. Is u a multiple of 32?
False
Suppose 18*u = 11*u + 3080. Is u a multiple of 40?
True
Let w(t) = -t + 1. Let y(u) = u**2 - 9*u + 7. Let q(i) = -6*w(i) + y(i). Let z = -75 - -81. Is q(z) a multiple of 4?
False
Let k = 738 + -638. Is 11 a factor of k?
False
Let b(g) = g**2 - 18*g. Let k be b(18). Is -35*(k - 2) + 2 a multiple of 36?
True
Let j be (-76)/(-10) + (-4 - (-85)/25). Suppose j*g = 2*g + 20. Is 4 a factor of g?
True
Let s = -21 - -25. Let u be (s/(-6))/((-3)/9). Suppose 3*a + 207 = 4*b, 2*a - 105 = -u*b + 5*a. Is b a multiple of 17?
True
Is 32 a factor of (662/8)/((52/16)/13)?
False
Suppose 5*g = -3*y + 331, -259 = -2*y + 3*g - 32. Let o be 21/(-3) + -75 + 2. Let u = y + o. Is 9 a factor of u?
False
Let l(s) be the second derivative of 9/2*s**2 - 1/2*s**3 - s + 0. Does 10 divide l(-4)?
False
Let d(u) = -u + 27. Let q be d(0). Let j = -8 + q. Suppose 0 = -4*b + i + 140, -1 - j = -b + 4*i. Does 12 divide b?
True
Suppose 5*d = -b + 2049, d = 3*d + 3*b - 817. Does 82 divide d?
True
Suppose -3*m = -5 + 5. Let v(a) be the third derivative of -a**6/120 - a**5/60 + a**4/24 + 9*a**3/2 + a**2. Is v(m) a multiple of 9?
True
Suppose 2*c = r - 1158, 12*r = 10*r - c + 2296. Is 23 a factor of r?
True
Let z = 133 - 113. Is z a multiple of 4?
True
Suppose 5*s - 5*a = 55 - 10, 0 = -s + 2*a + 13. Let i be -2 + -3*22/(-3). Suppose y = s*y - i. Does 5 divide y?
True
Let r(f) be the third derivative of f**6/120 - f**5/15 + f**4/4 - 11*f**3/6 + 14*f**2. Is r(6) a multiple of 31?
False
Suppose -o + 1 + 3 = 0. Suppose -5*l - o*y + 0*y + 239 = 0, 0 = -3*l + 4*y + 137. Is l a multiple of 47?
True
Let j(d) be the second derivative of d**4/12 + 2*d**3/3 + 20*d**2 + 34*d. Does 5 divide j(0)?
True
Let o(g) = 3*g**2 + 11*g - 5. Let d be o(-5). Suppose -5*m - 4*f - d = -138, m - f = 30. Is 9 a factor of m?
True
Suppose 2*b = 4*s + 60, 51 = -2*s + 4*b + 9. Let y = s - -18. Suppose -11 = y*h - 41. Is 3 a factor of h?
True
Suppose -2*c + 2 = -4*x, -5*x - c + 6*c = -10. Let z = -27 - x. Is 3 a factor of 16/z + (-58)/(-6)?
True
Let b(l) = -l**2 + l**2 + 5*l**2 - l + 2. Let h be b(-6). Suppose -4*w + h = 4*d, 3*w - 235 = -2*w - 2*d. Is 10 a factor of w?
False
Suppose -14*r + 9338 = 4*z - 16*r, 0 = -4*z - 5*r + 9373. Does 45 divide z?
False
Let v = -469 - -693. Does 8 divide v?
True
Let p = 1133 - 695. Is p a multiple of 6?
True
Let w be (0/2)/(-1*2). Let h = -1 + w. Does 25 divide h/(-4) - 3032/(-32)?
False
Suppose 0 = 4*s + 20, 7*m - 5*m - s - 4459 = 0. Does 17 divide m?
True
Let b = 2521 - 2125. Is 48 a factor of b?
False
Let s = 2667 + -502. Is 28 a factor of s?
False
Let v(o) be the first derivative of 22*o + 1/2*o**2 - 2. Is v(11) a multiple of 9?
False
Suppose 2*u = 3*p - 61, p - 2*u = -6*u + 25. Let o = 482 - 482. Let r = p - o. Is r a multiple of 8?
False
Suppose 2*f - 4*f = -8. Suppose -3*a - 9 = -t, 4*a = f*t + 3*a - 47. Is 12 a factor of t?
True
Let d(g) = -2*g**2 + 6*g**2 + 2 + g + 8*g**2 + 6*g**2. Is d(-2) a multiple of 18?
True
Suppose -328*x + 334*x = 1002. Does 5 divide x?
False
Suppose 6*i + 6 = 18. Suppose 0 = -i*z + 9 + 17. Let s(v) = v**2 - 8*v - 15. Does 11 divide s(z)?
False
Let n = -9 + 17. Let k = n + -6. Suppose -k*p = -4*m + m + 158, 3*m - 170 = -4*p. Does 14 divide m?
False
Let l(m) be the third derivative of -m**4/12 + 14*m**3/3 - 7*m**2. Is l(-16) a multiple of 20?
True
Let p = -13 - -33. Let a(q) = -7*q**2 + 78*q + 5. Let h be a(11). Suppose -y + p = -h. Is y a multiple of 12?
True
Suppose 8*h = 5*h + 9. Suppose 4*v + 11 = -h*c, 0 = -0*v - 5*v - 25. Is c even?
False
Let n(u) = 4*u**2 - 3*u + 2. Let m be n(3). Let s = -43 + m. Is 12 a factor of (-500)/s - 20/(-70)?
True
Does 82 divide ((-8671)/92)/(6/(-192))?
False
Suppose -2*a + 16 - 2 = 0. Let n(g) = -g**3 + 11*g**2 - 7*g + 1. Let q be n(a). Suppose 3*z + 2*c - q = 0, z = 5*c - 3*c + 52. Does 20 divide z?
False
Let w(a) = a**3 + 10*a**2 + 3*a + 21. Is w(-9) a multiple of 15?
True
Let d(f) be the second derivative of f**4/6 - 2*f**3/3 + 5*f**2 - 14*f. Is 5 a factor of d(3)?
False
Suppose -2*h - 4 = -0. Let r = -29 - -100. Let v = h + r. Is v a multiple of 23?
True
Let c(p) = 2*p - p - 2*p + 63 + 5*p. Does 7 divide c(0)?
True
Is 14/((-1)/(-65)*(-105)/(-42)) a multiple of 28?
True
Let p(x) = -6*x + 322. Is p(24) a multiple of 17?
False
Suppose 0 = -2*i + 5*l - 5, -i + 7 = 4*l + 42. Is 13 a factor of 5/(50/372) + 3/i?
False
Suppose -o + 0*o + j + 4 = 0, -3*j - 6 = 3*o. Let h be (o + -4)*(-6 - -5). Suppose b = 3*z - 28, -4*z + h*b + 44 = -0*b. Is z a multiple of 3?
False
