(-4)). Suppose -20*c + 6624 = -j*c. Does 47 divide c?
False
Let l(u) = 115*u**2 - 257*u + 39. Is l(26) a multiple of 17?
False
Suppose -62*n + 66*n - 49693 = b, 3*b + 3 = 0. Does 101 divide n?
True
Suppose -3*a - n + 646 = 4*n, -5*n - 389 = -2*a. Suppose a = -4*h - 13. Let k = 81 + h. Is 7 a factor of k?
False
Let l(z) = z**2 + 10*z + 13. Let c be -1 - 7 - (-2 - (-2 + -1)). Let k be l(c). Suppose k*p - 2*x - 82 = 588, -p = -4*x - 164. Does 24 divide p?
True
Suppose -2*i = -37 + 29, 3*i = -3*t + 10335. Does 37 divide t?
True
Suppose -19959 - 5953 - 79996 = -22*y. Is 29 a factor of y?
True
Suppose -9*r - 12 = -11*r. Let z be (14/(-21))/((r/(-981))/(-1)). Let t = z + 193. Does 27 divide t?
False
Let a = -649 + 390. Does 42 divide 6/42*-10*a?
False
Suppose 2*w + 6 = 3*b, 2*w + 3*w - b = 11. Suppose -2*k = 2*k + f + 19, 0 = -w*k + f - 9. Does 31 divide -2*(-6 - k - (-75)/(-2))?
False
Let x(a) be the first derivative of a**2/2 + a + 7. Let s be x(14). Suppose 2*b - s = 11. Does 2 divide b?
False
Let x = 904 + -505. Let j = 97 + x. Is 44 a factor of j?
False
Let p(x) be the second derivative of -28*x - 1/2*x**3 - 1/3*x**4 + 0 - 1/10*x**5 - 2*x**2. Is 18 a factor of p(-4)?
True
Let g be 5 + 10/(-3 + -2). Suppose 0 = -5*f - 5 + 25. Suppose f*j - 4*t - 24 = 0, 0*j - 3*t = g*j - 6. Does 4 divide j?
True
Suppose 2*z + 2*l = 3360, -z - 4*l + 7*l = -1664. Is 41 a factor of z?
False
Let x(d) = d**3 - 14*d**2 - 17. Let l be x(14). Let s = l + 20. Suppose 3*h - 36 = -s*h. Is h a multiple of 6?
True
Is 6 + 1 + (-5 + 51284)*(-3)/(-9) a multiple of 60?
True
Let m(g) = 50*g - 33. Let x be m(29). Suppose -x = -13*f + 832. Does 11 divide f?
False
Let z(i) = -398*i - 1778. Does 10 divide z(-13)?
False
Is 7 a factor of (-80 - -11)*(-1232)/66?
True
Let s(j) = -26*j**2 - 21*j + 47. Let r be s(7). Is 12 a factor of r/(-18)*3 - -6?
False
Suppose 3*g = 2*c + 7*g - 54, -4*g - 27 = -c. Suppose 0 = -8*h - c + 11. Let t(b) = -37*b + 1. Is t(h) a multiple of 11?
False
Suppose -37*p - 854 = -51*p. Suppose 1055 = 5*r - 3*b, 5*r + 101 - 1161 = 4*b. Let o = r - p. Is 22 a factor of o?
False
Let g = -13171 + 32627. Is g a multiple of 32?
True
Let q(t) = -2*t**2 - 2*t + 27. Let a be q(0). Is 75 a factor of 1049 - ((-1)/(-3) + (-36)/a)?
True
Suppose 0 = 4*x + 2*k - 4, -9*k = x - 8*k. Does 7 divide 0 - ((-890)/1)/x?
False
Does 44 divide 2340 - 1 - 0 - (-344)/(-43)?
False
Let l(w) = -15*w - 22. Let i be l(-23). Suppose -6*z + 5*z + i = 3*n, 3*n = -4*z + 1328. Does 11 divide z?
False
Suppose 520007 = 26*b + 97351. Is 64 a factor of b?
True
Let p(r) = -r + 7. Let v be p(-11). Let n = v - 14. Is 8 a factor of 15/(-30) - (-378)/n?
False
Let y(h) = -h**2 - 14*h + 42. Let m be y(-13). Let z = -45 + m. Suppose 3*r - 234 = 5*p - 8*p, 5*p + z = 0. Is 10 a factor of r?
True
Let j(y) = y**2 - 38*y - 11. Let f be j(-5). Suppose 700 = 5*m + 3*c, 363 = 4*m + c - f. Does 13 divide m?
True
Let j(y) = -8*y - 5. Suppose -12*o = -13*o + 20. Suppose -4*x = o + 24. Does 14 divide j(x)?
False
Let t = 150 - 287. Let s = t + 176. Does 39 divide s?
True
Suppose 52*h = 50*h + 18. Let j(w) = 14*w - 17. Is 26 a factor of j(h)?
False
Let h be (-1)/(-4 + (1 - -2)) - 797. Let k = h - -917. Is 11 a factor of k?
True
Let h = 1 + -1. Let n(y) = -y**2 - 90*y + 752. Let a be n(8). Does 16 divide h/((-6)/6) + a/(-1)?
True
Does 27 divide (15*15/25)/((-1)/(-18))?
True
Let y = -50 - -134. Suppose -y = w - 4*w. Is w a multiple of 4?
True
Does 9 divide 72/(-40)*-5 + 14914?
False
Is -2 + (-21)/(-12) + 4672701/132 - -5 a multiple of 99?
False
Does 15 divide 3664752/147 - (48/21 - 2)?
True
Let d = 78380 - 51590. Does 19 divide d?
True
Let x = 232 + -230. Is x/(-22) + (-6471)/(-33) a multiple of 14?
True
Let k(t) = 6*t**2 + 13*t + 3. Let b(x) = -3*x**2 - 7*x - 4. Let q(s) = -5*b(s) - 2*k(s). Does 2 divide q(-8)?
True
Let g be -11*(-3 + 4) + 3. Let j(u) = 23*u**3 - 7*u**2 - 8*u - 24. Let d be j(g). Does 14 divide 4 - (4/18 - d/(-72))?
False
Suppose 0 = 3*c + f - 24, 4*f - 40 = -5*c + 5*f. Suppose 1512 = c*x - x. Does 12 divide 50/15*x/15?
True
Suppose -15*n + 1841 = -12*n - m, -5 = m. Let v = n - 471. Is v a multiple of 3?
True
Let t(u) be the third derivative of u**5/60 - 7*u**4/24 - 11*u**3 - u**2. Suppose 5*c - 238 = -12*c. Is 16 a factor of t(c)?
True
Let i(g) be the third derivative of -19*g**8/6720 + g**7/1260 + g**6/720 + 19*g**4/24 - 14*g**2. Let y(x) be the second derivative of i(x). Does 3 divide y(-1)?
False
Let r(s) be the first derivative of -s**4/4 - 11*s**3/3 - 5*s**2 + 50*s - 8. Is r(-11) a multiple of 5?
True
Suppose -38*i = -284105 - 706631. Does 70 divide i?
False
Let z = -165 - -163. Is 5 a factor of (6358/(-66))/(z - 5/(-3))?
False
Suppose 2*k + 586 = 4*z + 4*k, 2*z = 3*k + 273. Suppose 4*n + 4*y = 368, 3*y - z = -2*n + 36. Suppose -g + 3*g - n = 0. Is 16 a factor of g?
True
Let r = 784 + 2336. Is r a multiple of 6?
True
Suppose -9 = -u - 9. Suppose u = 5*a + x - 1817, -2*a - 5*x = -7 - 729. Is a a multiple of 26?
False
Let q(j) = j**2 + 11*j + 21. Let u be q(-9). Let p(b) = 11*b**3 - 4*b**2 - 4*b + 21. Is 11 a factor of p(u)?
False
Let s(v) be the second derivative of -v**4/12 + 5*v**3 - 5*v**2/2 - 2*v. Suppose 4*f - 5*a - 56 = 0, 0 = -0*f + f + a - 5. Does 28 divide s(f)?
False
Does 12 divide 8982/24*(-4)/(-3)*(-3)/(-1)?
False
Let k(v) be the first derivative of 19*v**3/3 - 3*v**2/2 + v - 46. Is 17 a factor of k(-3)?
False
Let s be 52/16 + (-3)/12. Suppose -4*o - s = -31. Suppose -u - 60 = -o*p + 4*p, p + 5*u - 36 = 0. Is p a multiple of 2?
False
Suppose 4*p + 7*t = 3*t + 556, -4*p = 3*t - 556. Suppose -q - p = -106. Does 8 divide (q - 3)*1/(5/(-30))?
True
Let b(w) be the first derivative of -59*w**2/2 - 128*w - 34. Is b(-12) a multiple of 20?
True
Let m(v) be the second derivative of -v**5/10 - 3*v**4/2 - v**3/3 - 6*v**2 + 47*v. Does 6 divide m(-9)?
True
Suppose 182*g + 392143 - 2460573 = 0. Is 10 a factor of g?
False
Let u(w) = 5*w**3 - 7*w + 5*w + 3*w**2 + 7*w - 30 + 5*w. Is u(5) a multiple of 48?
True
Suppose -46*h - 49*h = -199 - 181061. Does 9 divide h?
True
Let f = 91 - 73. Suppose z + 4*z + f = 4*t, -3*t + 4*z + 14 = 0. Suppose j = 5*w - 887, t*j = 2*w - 0*j - 358. Is w a multiple of 18?
False
Let r(c) = c**3 - 9*c**2 + 6*c - 7. Suppose 0 = -6*w + 148 + 38. Suppose -2*i + 19 + 0 = -q, 4*i + 5*q = w. Does 10 divide r(i)?
False
Suppose -y = 3*y - 2096. Suppose -1734 = -22*j - y. Does 11 divide j?
True
Let s = 13129 + -7843. Is 6 a factor of s?
True
Let d(o) = -4*o**3 + 4*o**2 + 11*o + 1. Let w(r) = 8*r**3 - 8*r**2 - 22*r - 3. Let p(z) = -5*d(z) - 3*w(z). Does 12 divide p(-4)?
False
Let k be (-3 - -4 - -2) + 13. Let w = 22 - k. Suppose 0 = w*l - 9*l + 117. Is 6 a factor of l?
False
Is 124 a factor of 0 + 6/9 + 38/(-57) + 22568?
True
Let a(m) = m**2 - 5*m - 11. Let v be a(7). Suppose c = -c + 10, 0 = v*l + 4*c - 29. Suppose 0*q = 3*q + l*t - 126, -2*t + 201 = 5*q. Is q a multiple of 17?
False
Let d = 5207 - 5086. Is 3 a factor of d?
False
Suppose 4*k - 5*i - 503 = 133, 5*k = 5*i + 795. Suppose 5*y + 5*u - 32 - 163 = 0, 5*y = 4*u + k. Is 3 a factor of -2 - (-7)/(y/165)?
False
Is 216 a factor of (5096 - -88)/((-7)/(-5) - (-2)/(-5))?
True
Let a(t) = -7*t + 15. Let w(h) = h**2 + 9*h + 4. Let v be w(-7). Is 17 a factor of a(v)?
True
Let a(w) = -8*w**3 - 68*w**2 - 1227*w + 31. Is 82 a factor of a(-15)?
False
Let n = -57 + 59. Suppose 0 = -4*i + 6*h - 3*h - 142, 5*i + 181 = n*h. Let c = 51 - i. Does 11 divide c?
True
Suppose 133*l - 164*l = -42129. Is l a multiple of 151?
True
Let k = -8 + 8. Suppose -2*w - 10 = -2*g, 4*g + 2*w = -k*w + 20. Suppose g*v + 35 - 110 = 0. Is v a multiple of 15?
True
Is (-2)/6*-2422*585/30 a multiple of 131?
False
Suppose 3*f - 1225 - 361 = -2*g, 0 = 3*g - 3. Is 40 a factor of f?
False
Let s(n) = 4*n + 186. Let l be s(-44). Suppose 2916 = l*x - x. Is x a multiple of 29?
False
Let p be -2 - (-1)/(-2)*6504/(-12). Let b = 304 - p. Is 7 a factor of b?
True
Let s(z) = z**2 + 8*z + 7. Let y be s(-7). Let b be -1 + ((-18)/3 - -13). Suppose -b*n = -y*n - 402. Is 19 a factor of n?
False
Let h = 10021 + 6621. Does 157 divide h?
True
Let t(s) = 562*s**2 - 2190*s - 5. Does 8 divide t(-5)?
False
Is 19 a factor of (-752 + 11)/((-4)/16)?
True
Let w(z) be the third derivative of z**7/1008 - z**6