 14*o**2. Let k be h(-13). Let i(a) = 8*a. Is 15 a factor of i(k)?
False
Let h = 160 - -8396. Does 46 divide h?
True
Let d(n) = -2*n**2 + 10*n + 6. Let u be d(5). Suppose p + 41 = -4*p + 2*c, 3*p + u = -5*c. Is (-56)/(-196) + (-19)/p even?
False
Suppose -2*q - 14 = 5*i, -q + 0*i = 3*i + 9. Let m(t) = -3*t**2 + 23*t**3 - 26*t**3 + 2*t - q + 17*t**3. Does 21 divide m(2)?
False
Is 17 a factor of 830 + ((-18)/3 - -9)?
True
Suppose -2*v + 2*p = 2*v - 118, p + 115 = 4*v. Let x = v + -25. Suppose r = -0*r + x*i + 30, -5*r = 5*i - 150. Is 15 a factor of r?
True
Let x = -905 - -1500. Let r = x + -573. Does 22 divide r?
True
Let n(m) = -4*m**3 - 3*m**2 - 2*m - 4. Let s be n(-2). Suppose -4*t + 4*u + s = 3*u, -4*u + 4 = -2*t. Suppose k + t = 38. Is k a multiple of 19?
False
Suppose 5*u - 62 = -5*x - 2, -x = 4*u + 3. Suppose 20*t - 85 = -5. Suppose t*d = 5*d - x. Does 4 divide d?
False
Let w(o) be the first derivative of -10 - 7/2*o**2 + 1/3*o**3 - 18*o. Is w(10) a multiple of 12?
True
Suppose 3*p - 114*r - 84855 = -112*r, r + 56571 = 2*p. Is p a multiple of 63?
True
Let b be (-48)/(-21) + ((-2)/(-7))/(-1). Suppose 4*y - 954 = -4*s + b*y, -4*y = 5*s - 1185. Let w = s + -43. Is w a multiple of 36?
False
Let a(i) = -i**2 - 7*i + 14. Let l be a(0). Is 348/(5 + l/(-4)) a multiple of 51?
False
Let q = -926 - -1752. Let x = q - 336. Does 10 divide x?
True
Let q = 1886 - 1512. Is q a multiple of 11?
True
Suppose 24*c - 20*c = -968. Let o = c + 442. Is 20 a factor of o?
True
Suppose 4*q + 2*j - 8 = 2, 4*q + 3*j = 13. Let n = 250 - q. Does 3 divide n?
True
Suppose -7894*f = -7895*f + 294. Let n = -387 - -590. Suppose -n = -2*y - 3*l, 2*l = -3*y + l + f. Does 39 divide y?
False
Let a be 2 + 2/(-8) - 10/(-8). Suppose 0*i + a*k + 33 = 3*i, 0 = -2*i - 2*k + 42. Is 5 a factor of i?
False
Is (7 - (-948)/(-132)) + 61221/33 a multiple of 17?
False
Let y(n) = -114*n**3 + 5*n**2 - 9*n - 18. Is y(-3) a multiple of 116?
True
Suppose 36060 = 17473*d - 17470*d. Is d a multiple of 28?
False
Let d = -119 - -81. Let i = d + 365. Suppose -q = -4*q + i. Is 33 a factor of q?
False
Let d be (-4 - 488/(-5))/(4/230). Is 46 a factor of (d/(-52))/(3/(-4))?
True
Let o(f) = -9*f + 57. Let w(i) = i**3 + 31*i**2 - 30*i + 41. Let t be w(-32). Does 22 divide o(t)?
True
Suppose -p + 3 = -9. Let k be (0 - p)/(2/(-4)). Let y = 39 - k. Is 2 a factor of y?
False
Let s(m) = -33*m - 97 - 38 + 17 + 45 - 84. Is 4 a factor of s(-7)?
False
Let k be (1*(-18)/15)/(1/40). Let l(a) = a**2 - 20*a + 10. Let n be l(18). Let u = n - k. Is 11 a factor of u?
True
Suppose 13 = i - 5*f, 0 = -i - 2*i - 4*f - 18. Let b be (8 + 0)/i + 21. Suppose 4*y + 66 + 38 = 5*n, -n + b = 3*y. Is n a multiple of 4?
True
Suppose 0 = -3*x - 5*v + 37856, -4*x + 56977 = 2*v + 6493. Does 3 divide x?
False
Let x = -359 + -280. Let a = -419 - x. Does 11 divide a?
True
Let f(r) = 2*r - r + 6*r - 28 + r**2 - 5*r. Is 11 a factor of f(-9)?
False
Let t = -30 - -10. Let x be (-5)/t + 1/(-4). Does 11 divide 12*(x - 11/(-4))?
True
Suppose 2*a = -2*h + 1446, -60*a + 62*a = 5*h + 1488. Is a a multiple of 13?
False
Let h = 9001 + -4684. Suppose 17*g - h = 14128. Is 31 a factor of g?
True
Suppose -14500 = -i - 3*z, 5*z - 10 + 20 = 0. Does 59 divide i?
False
Let c = 14407 + -8647. Suppose c = 20*j - 6120. Is 27 a factor of j?
True
Suppose 2*b - 3*q = -4, -28 = b + q + 4*q. Is 5 a factor of 9/(b/(-5) - (3 - 2))?
True
Let v(g) = 663*g**3 - g**2 - 5 + 5 + 0 - 4 + 5*g. Does 22 divide v(1)?
False
Let b(m) = 20 - 1414*m**2 + 1413*m**2 + 4*m + 4*m + m. Does 5 divide b(10)?
True
Let u = -104 - -161. Suppose -u = -4*z - 3*a + 70, -4*a - 120 = -5*z. Is (z/16)/(2*2/272) a multiple of 20?
False
Suppose -2*w + 27 = 33. Let r be (-340)/6 + w/9 + 1. Does 23 divide r/(-6)*4 + 6/(-18)?
False
Let i(s) = -25*s**3 + 6*s**2 + 13*s + 1. Does 33 divide i(-3)?
False
Let k(d) = d**2 + 10*d + 17. Let w be k(-6). Let o(u) = -23*u + 1. Let z be o(w). Suppose -m + 4*f + 63 = 13, -z = -4*m - 3*f. Does 14 divide m?
True
Suppose -2*w - 124283 + 11302 = -13*w. Is 88 a factor of w?
False
Let k = 13 - 11. Suppose k*j - 2 = 0, 0 = -c + 4*j + 26 + 180. Is 7 a factor of c?
True
Suppose -d + 66 + 143 = 0. Let o = d + 11. Does 55 divide o?
True
Is 6 a factor of (-1)/(39/6) - (-7 - (-536048)/(-208))?
False
Suppose -4*r + 4869 = 5*p - 5514, 0 = r - 2*p - 2599. Suppose -t + 875 = s, -3*s - 7*t + r = -11*t. Is 13 a factor of s?
True
Let y(m) = -5*m - 21. Let q be y(-5). Let j(b) = 24*b + 3 - b - 23 + q*b. Does 11 divide j(7)?
False
Let p(h) = 15*h**2 - h + 5. Let x be p(-2). Suppose 4*o + o = -2*j + 43, 3*o = 2*j - x. Is 29 a factor of j?
True
Suppose -5*o - 520 = -10*o. Let d = o - 59. Suppose 3*j - 4*j - 5*l + d = 0, -3*j + l + 87 = 0. Is 15 a factor of j?
True
Suppose 4*p + 0*p + 4*a = -28, -2*a = -p + 2. Does 94 divide 24/6*(-1028)/p?
False
Let i(l) = -l**3 - l - 2. Let c be i(-5). Let g be (c/3)/((-26)/(-2730)). Suppose -6*b + 26*b = g. Does 28 divide b?
True
Let m(b) = -293*b + 245. Is m(-7) a multiple of 56?
True
Let p be 4/24 + (-1618)/(-12). Let j = 301 - p. Is 4 a factor of j?
False
Let z(y) = 587*y**2 - 194*y - 107. Is 135 a factor of z(-9)?
False
Suppose 0 = -118*w + 108*w + 32680. Is w a multiple of 167?
False
Let s = 9784 - -1662. Does 118 divide s?
True
Suppose -b + 4*x = 24, -44 = -2*b + 5*b - 5*x. Let z(d) = -2*d**3 - 5*d**2 - 29*d - 12. Is z(b) a multiple of 28?
True
Let f = -30 - 288. Let k = -96 - f. Suppose 0 = 2*g + 5*v - 120, k = -2*g + 6*g + v. Does 5 divide g?
True
Suppose -8*d = -2*d - 276. Let o = d - 41. Suppose -487 = -o*w + 2*v + 189, 130 = w - 3*v. Is 17 a factor of w?
True
Suppose 4952 = 2*g + 2*a, a + 3850 + 1111 = 2*g. Is 37 a factor of g?
True
Suppose -3*k + 12 = 0, -56*p - 3*k + 2766 = -55*p. Suppose 14*j = 5*j + p. Is 7 a factor of j?
False
Let j(o) = 2*o + 5. Let s be j(0). Suppose -3*h - 5*p = -s*h + 180, -4*h + 332 = -3*p. Is 5 a factor of h?
True
Let l = -3006 - -4711. Is 31 a factor of l?
True
Let i(f) = -4015*f - 76. Is 18 a factor of i(-4)?
True
Suppose 3*t - 4*w + 7*w - 9 = 0, -3 = 3*w. Suppose 2*z = 5*l + 165, t*z = -3*l + 348 + 21. Does 30 divide z?
True
Let h(z) = 1220*z**2 - 19*z + 20. Let p be h(1). Suppose 7*t - p = -3. Is t a multiple of 10?
False
Let p(i) = -i. Let l(x) = -5*x - 14. Let w(a) = -l(a) + 4*p(a). Is w(4) a multiple of 18?
True
Let w = 20870 - -3843. Does 10 divide w?
False
Suppose -4*t + 24 = 2*o, -t + 15 = 2*t. Let p be o/4*(7 + 1). Suppose -p*a + 9*a = 85. Does 3 divide a?
False
Let w = 3443 + 12367. Is w a multiple of 155?
True
Suppose 2*h = 2*o - 334 - 214, 5*h - 814 = -3*o. Does 2 divide o?
False
Let a be (-4286)/4*(11 - 13). Suppose 19*g - a = -737. Does 4 divide g?
False
Let u(o) = 1 + 6 + o + o**2 + 4*o**3 + 0 - 5*o**3. Is u(-4) a multiple of 7?
False
Suppose -37*a - 320 = -19*a - 19*a. Does 4 divide a?
True
Let x(l) = 3525*l + 10218. Is x(21) a multiple of 14?
False
Suppose 50 = -7*m - 41. Let b(a) be the second derivative of -a**5/20 - 7*a**4/6 - 8*a**3/3 - 9*a**2 - 11*a. Is 21 a factor of b(m)?
True
Is (545/20 - 27)/(2/19624) a multiple of 10?
False
Let h be (-4)/(-6) + (5 - 7218/(-27)). Suppose 0 = -4*w + w + h. Does 12 divide w?
False
Suppose 5*g = -3*y + 6*y - 37, -5*y + 53 = -4*g. Suppose 10*n - y = 81. Is (-31)/3*(-12 + n) a multiple of 6?
False
Suppose 12*j - 4031 = -2*o + 13*j, -4*j = 4*o - 8104. Does 10 divide o?
False
Suppose 0 = 35*g + 9314 - 105914. Does 40 divide g?
True
Is 59 a factor of (-4 - (-5 + 13 + -161))/(2/118)?
True
Let n(u) = -505*u - 35. Let t be n(-7). Suppose 0 = -19*m + t - 669. Is 11 a factor of m?
False
Does 17 divide (2 - (-11)/(-5)) + (-53)/(2650/(-983460))?
True
Let x(p) = p**3 - 23*p**2 + 27*p - 12. Let o(t) = -t**3 + 22*t**2 - 27*t + 14. Let l(b) = 4*o(b) + 3*x(b). Is l(10) a multiple of 25?
True
Let r(u) = 4*u**2 - 42*u + 22. Let p be r(10). Is -3 - (-2)/p*523 a multiple of 40?
True
Suppose 12*d - 1338 - 1302 = 0. Let v = 275 - d. Is 8 a factor of v?
False
Suppose 185 = -5*q + 4*y - 173, 4*q + 4*y = -272. Does 41 divide (-7)/(q/6980) - 1?
True
Let g(d) = -20*d**2 - 9*d + 53. Let n(l) = -21*l**2 - 9*l + 53. Let q(b) = -4*g(b) + 3*n(b). Does 17 divide q(4)?
True
Suppose -5*j - 4*d - 415 = -0*d, 2*d + 89 = -j. Let w = j + 72. Is 73 - w - (3 - -2) a multiple of 15?
True
Suppose -5*z -