 + 6. Let o be l(w). Is 18 a factor of s(o)?
True
Let o be ((-6)/3)/((-4)/(-30)). Let t be (-2)/(1 - (-13)/o). Let x = -6 - t. Is x a multiple of 4?
False
Is (-19)/(-5)*5*81 a multiple of 57?
True
Let h(r) = -67*r - 3. Let n be h(-5). Let l = n + -204. Suppose q + l = 5*q + 4*t, -2*q + 60 = 3*t. Does 15 divide q?
False
Let d = -93 + 118. Is d a multiple of 2?
False
Suppose 0 = 2*b - 3*c - 16, 3*b - 2 = -0*c - c. Suppose 60 = 3*f + b*f. Is 6/(-1*f/(-64)) a multiple of 16?
True
Suppose 3*t + 4*u - 8*u - 70 = 0, -5*u = 5. Suppose 19*i + 138 = t*i. Is i a multiple of 6?
False
Suppose w - 20 = -5. Suppose -4*n + w = -n. Suppose 82 - 22 = n*t. Does 12 divide t?
True
Let l = -193 - -424. Is 11 a factor of l?
True
Let i(m) = -10*m**3 + 11*m**2 - m - 28. Is 66 a factor of i(-4)?
True
Let c(r) be the second derivative of r**5/5 + r**4/12 - r**3/3 + 2*r**2 - 14*r. Let j = -33 - -35. Does 22 divide c(j)?
False
Let n be 9/(-2 - -3)*1. Let c be (n/(-6))/(1/(-6)). Let m(q) = 3*q - 21. Is m(c) a multiple of 2?
True
Suppose -1164 = -3*o - w, 5*o + 4*w + 1149 = 8*o. Does 9 divide o?
True
Let a(c) = -6*c**3 - 9*c - 11. Let v(s) = -s**3 - 2*s - 2. Let u(j) = -2*a(j) + 11*v(j). Let w be u(2). Is 2 a factor of (-2 - w) + (-6 - -15)?
False
Suppose s + 2*s - 15 = 0. Suppose -s*a = n - 211, 3*n + 82 = 2*a + 4*n. Is a a multiple of 7?
False
Let l = 1146 - 594. Does 6 divide l?
True
Let j(h) = -19*h - 21. Is j(-7) a multiple of 14?
True
Suppose 12*j = -11*j + 9775. Does 25 divide j?
True
Let g(n) = 12 + 11 - 9*n + 25*n - 22. Does 7 divide g(2)?
False
Does 44 divide (147/42 - 2*2)*-458?
False
Suppose -2*b - 3*d = 8, 0 = -2*b - 5*d - 12 + 4. Is 15 a factor of 76 + 2 + 1 + b?
True
Let s be (-10)/20 + 15/(-2). Let b be s - ((2 - -1) + 1). Let d = b - -26. Is d a multiple of 4?
False
Is -1 - (-718 + (-6 - -5) - 6) a multiple of 53?
False
Let u = -240 - -408. Suppose 2*o + 70 - u = 0. Is o a multiple of 15?
False
Let p(n) = 59*n - 74. Is 10 a factor of p(4)?
False
Let b(o) = 2*o**2 - o + 1. Let l be b(1). Suppose 2*n + 14 = 4*n + l*g, -5*g = n + 13. Is 6 a factor of n?
True
Let m(d) = 24*d - 23. Let k(f) = 8*f - 8. Let x(n) = 8*k(n) - 3*m(n). Is x(-5) a multiple of 8?
False
Let r = 645 - -731. Is 43 a factor of r?
True
Suppose -4771 = 29*w - 21272. Is 10 a factor of w?
False
Let i = 518 - -270. Suppose q = -3*u + 104, u + i - 236 = 5*q. Is q a multiple of 11?
True
Suppose -3*q - 280 = 81*w - 82*w, -2 = q. Does 9 divide w?
False
Let v(o) = 59*o + 18. Does 26 divide v(5)?
False
Suppose 12*b + 13*b - 9925 = 0. Does 12 divide b?
False
Let a(u) = 16*u - u**2 - u - 17 - u. Is 8 a factor of a(10)?
False
Let g = 103 - 101. Suppose 239 = -g*x + 615. Is x a multiple of 47?
True
Suppose 10*k - 635 = 1965. Does 38 divide k?
False
Let m(v) = v**2 + 11*v + 21. Suppose -3*s + 4*h - 63 = 0, -2*s = 3*s + 3*h + 105. Is 14 a factor of m(s)?
False
Let y(q) = -q**3 + 29*q**2 - 39*q - 194. Does 4 divide y(25)?
False
Let i(p) = -p**2 + 12*p + 49. Let l be i(15). Suppose l*m + q - 146 = 0, -q + 112 = 3*m + 2. Is m a multiple of 6?
True
Let r(y) = y - 11. Suppose 0 = -5*t - 3*h + 49 + 21, 42 = 3*t - 3*h. Let d be r(t). Is 11 a factor of (d - 1) + (-36)/(-4)?
True
Let g be (-60)/(-8)*12/(-15). Let f(j) = 4*j**2 + 2*j + 8. Is 14 a factor of f(g)?
True
Let h(n) = -2*n**2 - 2*n + 4. Let b be h(-2). Suppose -5*j + 204 = -2*y, -50 = -j - b*y + 5*y. Is j a multiple of 8?
True
Suppose 3*i - 2 = 2*i. Suppose -4 = -i*q + 2. Suppose -l + 52 = q*l. Is 3 a factor of l?
False
Suppose 0 = -o - m - 4*m - 21, 1 = -m. Is (o/5 - 0)/(20/(-50)) even?
True
Suppose 2*o = -z - 0*z + 136, 3*z - 5*o = 375. Suppose -5*x - z = -5*t, t = -3*x + 9 + 13. Is 4 a factor of t?
False
Let k = -32 - -62. Let z = -17 + k. Does 2 divide z?
False
Let w(c) be the first derivative of c**3/3 + c**2/2 + 3*c + 9. Does 25 divide w(-6)?
False
Is 86/129*2991/2 a multiple of 32?
False
Let g = -31 - -31. Let n be (-292)/(-5) + (-4)/10. Suppose -m + n = -4*r, g = -r - 3 - 0. Does 28 divide m?
False
Let y(v) = -31*v**2 + 8*v - 6. Let j(u) = -62*u**2 + 17*u - 13. Let f(k) = 6*j(k) - 13*y(k). Let b be f(-2). Suppose -5*m + b - 3 = 0. Does 9 divide m?
False
Suppose 5*b + s - 2005 = -519, -4*s = -4. Does 27 divide b?
True
Let c = -313 + 347. Is c a multiple of 2?
True
Let l be (5/(-5) - -62)*1. Let z = 86 - l. Is 25 a factor of z?
True
Suppose i - 292 = 1975. Does 29 divide i?
False
Let g(s) = 2*s - 8. Let l be g(6). Let k be l/2 + (-117)/(-9). Does 12 divide (1 + k)/(24/36)?
True
Let t = -151 + 154. Suppose -m + 8*l - t*l = -13, -3*l = 3*m - 75. Is 2 a factor of m?
False
Suppose -3*y + 4*y + 51 = 0. Is -4 + y/(-1) + -3 a multiple of 11?
True
Does 5 divide ((-4)/(-6) + (-14)/12)*-250?
True
Let x(g) be the third derivative of 7*g**5/10 - g**4/24 - g**3/2 - 9*g**2. Let f(o) be the first derivative of x(o). Is f(1) a multiple of 22?
False
Let l = 6 - 2. Suppose 6 = -l*g + 7*g. Is (-132)/(-9) - g/3 a multiple of 7?
True
Let q(s) = 3 + 31*s**3 + 32*s**3 - 64*s**3 - 7*s**2 + 4*s. Is 9 a factor of q(-8)?
False
Let m(g) = g**2 + 14*g + 42. Is m(-15) a multiple of 3?
True
Suppose 5*y = -3*w + 37, 2*w + 9 = 5*y - 8. Does 4 divide 28 + (1*-8)/w?
False
Suppose 29 = d - 2. Suppose -p = 4*x + d, 0*p - 4*x = -3*p - 13. Does 17 divide (p/(-4))/((-2)/(-16))?
False
Let s(w) = -192*w - 8. Let m be s(6). Let c be m/(-104) - 2/13. Suppose x - 47 = -c. Does 9 divide x?
True
Suppose 11075 = 13*b - 1418. Is b a multiple of 18?
False
Suppose -76*p = -77*p - j + 449, 3*p - 5*j = 1315. Is p a multiple of 6?
False
Suppose 3*t = -k + t + 312, -5*k = 3*t - 1546. Does 7 divide k?
True
Let l(u) = 12*u + 2. Let f(j) be the second derivative of -14*j**3 - 15*j**2/2 + 10*j. Let b(w) = -2*f(w) - 15*l(w). Is 12 a factor of b(-5)?
True
Let i(q) = q**3 + 7*q**2 - 9*q - 3. Let n be i(-6). Suppose -n = -5*l - 2. Is 4 a factor of l?
False
Suppose -5*b + 4*h = 56, 3*b + 2*h + 33 = 5*h. Let u = b - -92. Does 21 divide u?
False
Let o(k) be the first derivative of 0*k**2 + k**2 - 2*k**2 + 7 - 1. Is o(-6) a multiple of 12?
True
Let w be (-336)/32*2/(-3). Let f(r) = 2*r**2 - 4*r - 17. Let o be f(w). Suppose 3*p - 2*p = o. Is p a multiple of 9?
False
Suppose 16 = -3*b + 7*b + 4*z, -2*b = -z - 20. Let n be (-15)/10*b/(-6). Is n/12 + 370/12 a multiple of 11?
False
Let m be (4/3)/(3/(-9)). Is (3/(-2))/(89/(-22) - m) a multiple of 26?
False
Let z(r) = 52*r**3 - 3*r**2 - 5*r + 3. Is 13 a factor of z(3)?
True
Suppose 3*g - b - 1132 = 0, -5*b + 9*b - 1520 = -4*g. Is 14 a factor of g?
True
Let t = 12 + -14. Let l(u) = -u**3 + u**2 + 4*u + 3. Is 2 a factor of l(t)?
False
Suppose -x - f + 1819 = 3*x, 4*f = -4*x + 1804. Suppose 3*s - 4*s = -4*w - 109, 4*s = -4*w + x. Is 13 a factor of s?
False
Let r be 3/(-7) - 31/(-7). Let a(p) = 4*p**2 - 3*p**3 - 4*p - r + p**3 + 2*p**3 + p**3. Is a(-4) a multiple of 12?
True
Suppose -4*y + 5*k + 1653 = 0, -2*y + 8*k = 13*k - 789. Is 8 a factor of y?
False
Suppose -2*b = b + 2*m - 79, -4*m = -5*b + 139. Suppose 0 = -z - i - 22, 3*z - 4*z + 4*i = b. Let d = z + 73. Is d a multiple of 13?
False
Is 30 a factor of ((42 + -6)/3)/(-2) - -876?
True
Suppose 5*w + 10 = 5*l, -5*w + 3 = -l + 5. Let i(y) = y**3 - 2*y**2 - 7*y + 2. Let d be i(6). Suppose -d = -l*c - 4*x, x - 274 = -5*c - 2*x. Does 13 divide c?
False
Suppose -r = -2, 14*r - 19*r = -5*u + 1040. Is 45 a factor of u?
False
Let x = -888 - -1533. Does 12 divide x?
False
Let c(l) = -28*l - 15. Let q be c(-4). Let w = 185 + q. Is w a multiple of 47?
True
Suppose -105 = -k + 5*g, -2*k + 262 = 4*g + 38. Is 32 a factor of k?
False
Suppose 76 = 2*m - 30. Suppose -m*c - 12 = -57*c. Suppose -58 = c*r - 184. Is 14 a factor of r?
True
Is 3490 - 35/(77/11) a multiple of 101?
False
Let i(o) = o**3 - 15*o + 36. Is 12 a factor of i(8)?
False
Suppose 0 = 3*s - 2*s + 5*d - 123, 5*s - 4*d - 702 = 0. Suppose -2*b = 2*q - s, -2*b = -0*b - 5*q - 159. Is 36 a factor of b?
True
Suppose 205 = -4*z + h + 1264, 0 = -3*h - 9. Is z a multiple of 2?
True
Let q be 1*(-1)/1*-4. Suppose 0 = -q*h - 15 - 1. Is 5 a factor of ((-10)/h)/((-1)/(-4))?
True
Let j be (8/5)/((-6)/(-15)). Suppose j*k - k = 5*c + 494, -12 = 3*c. Suppose 76 + k = 6*d. Is d a multiple of 5?
False
Let x(n) = -169*n - 1. Let z be x(-1). Let q be (z/(-32))/(1/(-4)). Suppose 5*a = -15, 2*v 