3*f + 7. Let g be f/5 + 24/(-20). Is 2 a factor of 2 + g - -2 - -1?
True
Let n be -135 + -2 - (0 - 2). Let o(f) = -f**3 + 24*f**2 - 2*f - 33. Let t be o(24). Let v = t - n. Is 9 a factor of v?
True
Let v(k) be the second derivative of -k**5/20 + 3*k**4/4 + k**3 + 4*k**2 - 3*k. Let b be v(8). Suppose -z = -3*z + b. Does 20 divide z?
True
Suppose 4*z - 2*z = -3*w + 2392, -3187 = -4*w - 5*z. Is w a multiple of 14?
True
Let b(g) = 10*g + 1. Let c be b(1). Let x = c - -34. Is x a multiple of 7?
False
Suppose -30*x + 6 = -31*x. Is 140/(-1 + -4)*39/x a multiple of 14?
True
Let k = 722 + -422. Is 10 a factor of k?
True
Let k be (1 - 1)*28/(-112). Suppose k = b + 45 - 129. Is 12 a factor of b?
True
Suppose 5*v - 1406 = -31. Is 11 a factor of v?
True
Let b(x) = -3*x + 1. Does 3 divide b(-4)?
False
Suppose 5*x + 2*a + 10 = -38, 0 = -x - 4*a - 24. Is ((-28)/x - 3)*40 a multiple of 11?
False
Is 28 a factor of (-3 + 119/21)*42?
True
Suppose -15 = 3*v, 5*m - 1275 = -0*v - v. Suppose 0 = -8*l + 6*l + m. Is l a multiple of 16?
True
Let q(x) = -x**2 + 29*x + 24. Let c be q(29). Does 13 divide ((-86)/(-8))/(6/c)?
False
Suppose -5*z - b = b - 19106, -5*z = 4*b - 19102. Is z a multiple of 78?
True
Let u = -31 - -24. Let a(o) = -7*o + 24. Is a(u) a multiple of 9?
False
Let h = 193 + -146. Is h even?
False
Let c(g) = g**3 + 7*g**2 - 4*g + 4. Let p be c(-8). Let w = -25 - p. Is 3 a factor of w?
True
Let o(p) = p**3 - 3*p**2 + 2*p + 4. Let i be (7/21)/((-1)/(-12)). Does 14 divide o(i)?
True
Suppose -142 = -5*j + q, 0 = 3*j - 2*q - 18 - 63. Suppose -6*h + 2*h + 3*a = -85, 0 = 2*h + 3*a - j. Is 4 a factor of h?
False
Let h(g) = -g**3 + 4*g**2 + 2*g - 2. Let a be h(4). Suppose 4 = 2*p - 3*n, 3*p - a = -0*n + 3*n. Suppose y + q - 5*q = 50, 50 = p*y + 2*q. Is 10 a factor of y?
True
Suppose 153*n - 6360 = 149*n. Is n a multiple of 15?
True
Let c(m) be the second derivative of -m**4/24 - m**3/6 - 3*m**2 + 8*m. Let n(b) be the first derivative of c(b). Does 4 divide n(-15)?
False
Let p(a) be the second derivative of -3/2*a**2 + 11/3*a**3 + 2*a + 0. Is p(3) a multiple of 19?
False
Let r(i) = -i**3 - 11*i**2 - 6. Let d be r(-11). Let x = 9 + d. Suppose 4*b + x = 99. Is b a multiple of 8?
True
Let v = -54 - -76. Suppose -k + 24 - 6 = b, 0 = -4*k - 3*b + 71. Let x = v - k. Does 5 divide x?
True
Let z(h) = -h**3 - 7*h**2 + 26*h + 131. Is 7 a factor of z(-13)?
False
Let i(m) = 2*m**3 - m**2 - 8*m + 7. Let b be i(5). Suppose -4*a + 5*n = 531, -2*n + 507 = -4*a - 5*n. Let z = a + b. Is z a multiple of 21?
True
Let d be 21/(-2)*8/12. Let t = d - 20. Does 3 divide ((-5)/(-15))/((-3)/t)?
True
Suppose -x - 539 = -156. Let y = x + 747. Is 38 a factor of y?
False
Suppose 5538 = 10*w + 678. Is w a multiple of 18?
True
Let r(l) = -2*l - 5 + 9*l**2 - 13*l**3 + 12*l**3 - 3*l**2. Does 10 divide r(5)?
True
Let x(c) = -9*c - 2. Let i = -26 - -83. Suppose -f - 2*n - 9 = 0, -5*f - i = -0*n - 2*n. Is 27 a factor of x(f)?
False
Let k(o) = -o - 17. Let u be k(-13). Is 17 a factor of (-105)/(1*6/u)?
False
Suppose 0 = -190*j + 197*j - 959. Is 12 a factor of j?
False
Suppose 2*h + 3*g = 8*g - 71, -5*h = 5*g + 125. Is 14 a factor of (13/(-26) - (-1)/(-2))*h?
True
Let a(p) = p**2 - 4*p + 5. Let t be a(4). Suppose 0 = 3*u - t*z - 21, -u + 2*z + 4 = -4. Suppose 3*w - 90 = -5*m + u*m, -2*w + 54 = -m. Does 9 divide w?
False
Suppose z = -2*u + 517 + 437, -z + 5*u = -982. Is 17 a factor of z?
False
Is (11 - 5 - 3) + 1537 a multiple of 110?
True
Let a(n) = 7*n - 14. Let l(i) = 9*i - 13. Let d(y) = -3*a(y) + 4*l(y). Suppose -3*t - 5*h + 32 = 0, 0*t - h = -4*t + 12. Does 12 divide d(t)?
False
Suppose 2*j - 3*n - 475 = 0, -5*j - 4*n = -505 - 625. Is j a multiple of 16?
False
Let w be 92/6 + -4*2/(-12). Let t = w + 35. Is 6 a factor of t?
False
Let m(b) = -b + 14. Suppose -w - 3 = 0, 7*u + 27 = 4*u + w. Let q = u + 18. Does 6 divide m(q)?
True
Let h(b) = 3*b**3 - 12*b**2 + b - 13. Let n(l) = 2*l**3 - 12*l**2 - 12. Let i(z) = -3*h(z) + 4*n(z). Does 8 divide i(-12)?
False
Let p(i) = i**2 - 21*i - 109. Does 3 divide p(31)?
True
Suppose 16*w - 7694 = -974. Does 10 divide w?
True
Let y(i) = -11*i - 43. Let p be y(14). Let g = -97 - p. Does 25 divide g?
True
Let c = -85 - -130. Is 10/c - 601/(-9) a multiple of 22?
False
Suppose 4*p = -4*n + 2268, 23 - 25 = -2*n. Is 80 a factor of p?
False
Suppose 2*m - 4*i + 16 = 0, -m - 3 = -3*i + 6*i. Let v be m/(-7)*14/3. Suppose 5*r - 2*r + 99 = 2*d, v*d + 3*r - 153 = 0. Does 14 divide d?
True
Let v(n) = -n**2 - 4. Let g = -14 - -12. Let a be v(g). Is 38 a factor of a/44 + 2006/22?
False
Let b(l) = -2*l**2 + l + 10. Let f(c) = c**2 - 1. Let v(t) = b(t) + 3*f(t). Let z be v(0). Suppose j - 32 = -z. Is 13 a factor of j?
False
Let w(p) = 4*p**2 + 21*p - 32. Is 9 a factor of w(6)?
False
Let r(y) = -y - 10. Let t be r(-10). Let p = 0 + t. Suppose -2*f = 2*g - 5*g + 54, 3*g + 3*f - 54 = p. Is 4 a factor of g?
False
Let u(v) = -v**3 + 3*v**2 + 6*v - 3. Suppose -15 = -4*p + p. Let n be u(p). Let b = 67 + n. Is 10 a factor of b?
False
Let c(t) = t**3 + 9*t**2 - 11*t - 3. Let h be c(-9). Is 8 a factor of 4*6/(h/172)?
False
Let t(o) = 3 - 1 - 15*o - 3*o + 7. Let b(a) = 17*a - 8. Let y(q) = 4*b(q) + 3*t(q). Is 17 a factor of y(4)?
True
Suppose 0 = 27*m - 20*m - 6300. Is 16 a factor of m?
False
Suppose i = 3*x - 1550, -i + 162 = 164. Does 5 divide x?
False
Let d = 958 + -307. Does 38 divide d?
False
Let v = 3120 - 2183. Is v a multiple of 33?
False
Let y(x) = 264*x**3 - 2*x**2 + 3*x - 1. Does 22 divide y(1)?
True
Suppose 4*n - 1392 = -172. Suppose -4*u + 580 = 2*t, t - 2*u - n = -u. Does 5 divide (-6)/4*t/(-18)?
True
Does 15 divide (42/28)/(9/1236)?
False
Let q(k) = 22*k**2 + 5*k + 98. Is q(-8) a multiple of 61?
False
Let w(i) = i**2 - 3*i + 42. Is 28 a factor of w(17)?
True
Suppose 99 - 2189 = -5*c. Is c a multiple of 19?
True
Suppose -d + 3*d = 38. Let o(a) = -4*a - 1 + d*a + 3*a + 5*a. Is o(1) a multiple of 11?
True
Suppose 0*a + 3*a = -24. Suppose -11*p + 627 = -22*p. Is 4/a + p/(-2) a multiple of 14?
True
Suppose -38*w = -39*w + 2. Let a(z) be the second derivative of -z**5/20 + z**4/3 - z. Does 4 divide a(w)?
True
Let d(m) = 3*m**3 + 11*m**2 + 12*m - 18. Let o = 21 - 25. Let z(n) = 7*n**3 + 23*n**2 + 24*n - 36. Let h(t) = o*z(t) + 9*d(t). Does 7 divide h(8)?
True
Let a(x) = -190*x - x**3 - 18 + 198*x + 5 - 10*x**2. Is 4 a factor of a(-11)?
True
Let z = -292 + 636. Is z a multiple of 35?
False
Suppose 3*v - 2*b = 98, -3*v - 4*b + 92 = -0*b. Is 19 a factor of (-8)/v + (-258)/(-8)?
False
Let s(x) = 4*x + 13. Let g be ((-10)/(-15))/(2/30). Let p be s(g). Let k = -10 + p. Is k a multiple of 15?
False
Is 6720*(10 + -9 - 0) a multiple of 21?
True
Is 30 a factor of (-6821)/(-5) - (105/25 - 4)?
False
Let o(x) = 3*x**3 - x**2 + 4*x - 3. Suppose -u + 23 = -4*s + 1, -2*u - 5*s - 8 = 0. Suppose 0 = 13*y - 10*y - u. Is o(y) a multiple of 25?
True
Let p(k) = k**3 + 12 + 14*k - 6*k**2 + 4 - 3*k**2 + 2*k**2. Is 14 a factor of p(7)?
False
Let n(v) = v + 16. Let y be n(-19). Let g be 7 + -3 + y + 4. Suppose 0 = -h - g*t + 69, 5*h - t - 233 = 2*t. Is 17 a factor of h?
False
Let i = 11 - 9. Let o(a) = 2*a**i - 2 - a - 6*a + 2*a + 0*a**2. Is 10 a factor of o(6)?
True
Let v be (-13)/(-6) - 9/54. Suppose 0 = -2*u - t + 231, -v*u + 29 + 201 = 2*t. Is u a multiple of 58?
True
Is ((-76)/(-6))/(-19*16/(-22800)) a multiple of 25?
True
Let y(c) = 4*c - 3. Let x be y(1). Let f = 6 - 1. Suppose -v + f = -x. Is v even?
True
Let b = 266 + 334. Is 35 a factor of b?
False
Let v = -576 - -631. Is 18 a factor of v?
False
Suppose 0 = -32*n + 16181 + 1323. Is n a multiple of 9?
False
Let a(v) = -25*v - 6. Suppose -1 = c + 4*b, 3*c - 2*b - 2*b = -19. Does 17 divide a(c)?
True
Suppose x - 54 = -0*x. Suppose 5*z - x + 14 = 0. Is 6 a factor of z?
False
Let y be 4945/25 + 3/15. Suppose -f + 84 = -3*u, 0*f + y = 2*f + 4*u. Is f a multiple of 31?
True
Let j = -172 + 120. Let n = -24 - j. Is 7 a factor of n?
True
Let v(s) = 13*s**2 - s. Let y(r) = r - 10. Let g be y(11). Let q be v(g). Suppose -2*l = -0*l - q. Is l a multiple of 5?
False
Suppose 0 = 4*m - 44. Suppose -m*l + 40 = -3*l. Is l a multiple of 3?
False
Suppose -n - 75 = -6*n. Does 3 divide 17/(-5*(-3)/n)?
False
Does 52 divide ((-24)/20)/3 + (-4464)/(-10)?
False
Suppose 0 = 1