59 + 37. Let v = 27 + q. Suppose -4*x = -2*n - 4, 2*x - v*x - n = -8. Is 2 a factor of x?
True
Suppose -20 = -14*r + 10*r. Suppose 164 = 2*j - 3*g, 2*j + 306 = 6*j + r*g. Is 14 a factor of j?
False
Let j be (0 - -1)/((-8)/(-784)). Let m = j + -59. Is 9 a factor of m?
False
Suppose -241 = g + 2*g + 2*h, 154 = -2*g + 2*h. Let w = g - -153. Is 26 a factor of w?
False
Let j(f) be the third derivative of f**6/120 - 11*f**5/60 - 5*f**4/6 + 5*f**3/6 + 10*f**2. Is 25 a factor of j(13)?
False
Let r = 39 - 49. Is 33/(-2)*r/15 a multiple of 2?
False
Let s = 543 + 137. Does 40 divide s?
True
Let i(u) be the third derivative of -7*u**4/12 + u**3/3 + 237*u**2. Let f = -1 - 0. Is 8 a factor of i(f)?
True
Let j(u) = -2*u**3 - 22*u**2 - 54*u - 28. Is 47 a factor of j(-10)?
False
Is (-157)/(-3) + 6 + 5/3 a multiple of 10?
True
Let i(q) = -4*q - 10. Let p be i(-4). Suppose g - 43 = -p. Suppose -t + g = -j + 5*j, -t + 7 = -2*j. Is 17 a factor of t?
True
Suppose 0 = 16*m - 5122 - 4974. Suppose -3*t - 3*g = -480, 0*t - m = -4*t - g. Is 19 a factor of t?
False
Let q(o) be the second derivative of o**6/120 + 2*o**5/15 + o**4/8 + o**3/2 - 8*o. Let x(v) be the second derivative of q(v). Is x(-7) a multiple of 19?
True
Let d(l) = l**3 - 16*l**2 - 3*l - 20. Let w be d(16). Let c = 152 + w. Is 27 a factor of c?
False
Let h = -65 - -65. Suppose -b + 78 = 2*q + 4, h = -5*b. Does 11 divide q?
False
Let d(n) = -16*n**2 + n + 1. Let h be d(-3). Let x = 221 + h. Does 13 divide x?
False
Let z be (1 - 1 - -1)/((-2)/58). Let f = z - -63. Is f a multiple of 6?
False
Suppose 11 = 4*u + 3. Let b be u*86*(-3)/(-12). Let l = 17 + b. Is 20 a factor of l?
True
Let n = 1236 - 671. Does 58 divide n?
False
Let l be 3/(-5) + (-6 - 3916/(-10)). Suppose -3*z - 61 = -l. Is z a multiple of 36?
True
Let w be -3*3*(-2)/6. Is (-8)/12*w - -4 - -66 a multiple of 26?
False
Suppose -5*k - 26*k = -23777. Is 13 a factor of k?
True
Does 32 divide ((-20)/6)/(52/39)*-1076?
False
Let w be 6/(-5) + 1 + 3/15. Is 43 a factor of w - -74 - -6*(-3)/6?
False
Suppose 23 = 5*s + 3. Suppose 3*h = -s*h + 21. Suppose 3*v - 54 = -t, 0 = 2*t - h*v + 4 - 94. Does 12 divide t?
True
Suppose 203 = 3*y - 5*d, 2*d - 8 - 2 = 0. Suppose 10*w + y = 14*w. Does 2 divide w?
False
Suppose i = -2*t + 30, 4*t + 3*i + 0*i - 56 = 0. Suppose -t = -l - g, -2*l + l = 5*g - 5. Is 10 a factor of l?
True
Let q be (-4)/(-6) + 38/(-57). Let o(r) = r**2 - 2*r + q*r - 27 + 26. Is o(-4) a multiple of 16?
False
Let l(b) = b**3 + 7*b**2 + 9*b. Let v be l(-5). Suppose 52 = 2*n - q, -n - 3*q = -v*n + 102. Suppose -n = -3*f + 99. Does 7 divide f?
True
Let m(z) = z**3 + 11*z**2 - 29*z + 16. Does 3 divide m(-13)?
False
Does 7 divide (62866/129)/(8/12)?
False
Let z(m) = m**3 + 9*m**2 + 8*m + 2. Let x be z(-8). Suppose q + c - 86 = 0, -13 = x*c - 3. Is q a multiple of 13?
True
Let o = 12 - 7. Suppose o*z + 5*w = -20, 3*z - 15 = -2*z + 2*w. Suppose z = a - 26. Does 5 divide a?
False
Let u be (-312)/((-45)/(-24) - 2). Is (1/2)/(13/u) a multiple of 16?
True
Is (-1340)/(-8) + 6/12 a multiple of 21?
True
Let g(p) = -2*p + 2. Let i(t) be the third derivative of -t**5/60 + 2*t**3/3 - 2*t**2. Let w be i(3). Does 4 divide g(w)?
True
Suppose 629 - 125 = 4*k. Does 7 divide (k/(-15))/((-2)/5)?
True
Let m = -1709 + 3620. Is 49 a factor of m?
True
Is ((-32)/(-20))/((-4)/(-90)) a multiple of 4?
True
Let f(n) = 2*n**2 - 3*n + 15. Is f(6) a multiple of 23?
True
Suppose 17*g - 1124 = 2038. Is g a multiple of 6?
True
Suppose -5*w - 12 = -w. Let k be 1082/6 - 2/w. Suppose -k = -5*y + 4. Is y a multiple of 11?
False
Suppose 12*h - 62 = 190. Does 12 divide (0 - -287)*6/h?
False
Suppose 2*w - 1023 = -y, 5*w + 15*y - 11*y = 2559. Does 24 divide w?
False
Suppose -3*y + 2*r = -2*r, 4*r = 0. Let m(l) = -6*l + 5*l + 7 - 3 + y. Does 4 divide m(-8)?
True
Let l(u) = u. Let m be l(4). Suppose -o + m*o - 66 = 0. Is o a multiple of 12?
False
Suppose 0 = -5*l - 3*c - 3, 1 = 2*l - 0*c - c. Let u(g) = 2*g + 25. Is 7 a factor of u(l)?
False
Let z(v) = 2*v**2 - 3. Let i be z(2). Suppose 254 = i*h + 59. Is 4 a factor of h?
False
Let f(a) = -a**3 + 8*a**2 + 7*a - 2. Let s be (-44)/(-6) + (-4)/12. Is f(s) a multiple of 6?
True
Let p = -757 + 1645. Is p a multiple of 5?
False
Let u(o) = 3 - o - 5*o + 2 + 5*o**2 + o**3. Let q be u(-6). Suppose 5*n = -q*d + 15, 0 = -3*d + 2*d + 2*n + 15. Is d a multiple of 7?
True
Let y(p) be the second derivative of 43*p**4/3 - 2*p**3/3 + p**2 - 27*p. Is y(1) a multiple of 30?
False
Let z(u) = -u**2 - 7*u - 7. Let l be z(-3). Suppose 0 = -4*f - 0*f - l*d - 16, 3*f - 5*d = -12. Is 116 + (f + -2 - -2) a multiple of 24?
False
Let i be 5*((-4)/4 + -4). Does 11 divide 168/15 - (-5)/i?
True
Is 3075/6 - 3/(-6) a multiple of 19?
True
Let j = 407 - 135. Is j a multiple of 4?
True
Is 61 a factor of 7322/15 - (-96)/(-720)?
True
Let m(a) = -a - 1. Let u(r) = r**2 + 24*r + 10. Let b(n) = 5*m(n) + u(n). Is 5 a factor of b(-19)?
True
Suppose -3*g - 5*u - 6 + 0 = 0, 3*u + 3 = -2*g. Suppose -s + 86 + 62 = -3*d, g*d + s + 158 = 0. Does 19 divide d/(-4)*-1*-4?
False
Suppose -3*k - 55 + 250 = -5*u, 5*u - 2*k = -195. Let b = 52 + u. Is 13 a factor of b?
True
Let y = 4 + 0. Suppose 2*f = 0, -y*f = 2*v - 6*v - 56. Is (-178)/v + 18/63 a multiple of 13?
True
Let g = -219 - -248. Is g a multiple of 29?
True
Let x = 6662 - 4243. Does 41 divide x?
True
Let i = -28 - -40. Is (0 + 30)*i/20 a multiple of 4?
False
Let t = 306 - 98. Is t a multiple of 16?
True
Let b = 1790 - 1260. Is b a multiple of 32?
False
Let i(v) = v**2 - 2*v. Let r be i(-2). Suppose 13*w - r*w = 900. Is 12 a factor of w?
True
Let r(a) = a**3 - 2*a**2 + 6*a - 12. Let y be r(3). Let h = -29 - -65. Is (h/y)/(3/10) a multiple of 3?
False
Let g(m) = 2*m + 2. Let f be g(2). Let n be -2*(3/f + -1). Does 7 divide (-6 + 7)*23*n?
False
Let m be (3/(-5))/((-5)/25). Suppose -o = -3*q - 22 + 2, -m*o = 2*q - 5. Suppose -d + 2*h + 39 - 15 = 0, -o*d - 5*h + 180 = 0. Is 16 a factor of d?
True
Is 15 a factor of (((-225)/4)/(-5))/((-18)/(-360))?
True
Suppose 0 = -5*n + 19 - 4. Suppose -n*j = -76 - 20. Let g = 47 - j. Does 15 divide g?
True
Suppose n - 2331 = 4*h, 0 = -3*n + 4*h + 5490 + 1543. Is 13 a factor of n?
False
Let q(c) = 31*c - 16 + c**2 + 26*c - 13 - 52*c. Does 10 divide q(12)?
False
Let c be (-1 - 1) + (1102 - 0). Suppose 56*r - c = 51*r. Is 20 a factor of r?
True
Let m(c) = 2*c**2 + 30 + c**3 - 4*c**2 - 25. Does 17 divide m(5)?
False
Let i = 25 + -5. Let d = -33 + i. Let z = -7 - d. Is z a multiple of 6?
True
Let s(m) = m**3 - 7*m**2 - 9*m + 10. Let v be s(8). Let q(a) be the third derivative of a**6/20 + 5*a**2. Is 7 a factor of q(v)?
False
Let s be 4/22 - (23523/(-33) - 7). Suppose 10*r = 2*r + s. Is 7 a factor of r?
False
Let s = -929 - -1985. Is 16 a factor of s?
True
Let r(z) = 24*z**3 + 1. Let b be r(1). Suppose 4*l - 20 = 4*q, 3*l = -3*q - 2*l + b. Let w(i) = i**3 - i + 16. Is 16 a factor of w(q)?
True
Let o = 45 + -49. Does 3 divide (-6855)/(-135) - o/18?
True
Let i = 31 - 28. Suppose 0*c - i*c + 9 = 0. Suppose 0 = c*p + 3, 0 = 4*g - 2*g + p - 53. Is 4 a factor of g?
False
Let h(v) = -v**2 + 7*v + 1. Let y be h(6). Suppose -12*l = -y*l - 280. Is l a multiple of 8?
True
Let z(w) = 2*w**2 + 21*w - 96. Does 8 divide z(4)?
False
Does 54 divide 1*8/(-4) - (-577 + -3)?
False
Let m = 5882 + -2087. Is 11 a factor of m?
True
Let r(z) = z**2 + 2*z - 7. Let o be r(-5). Let k(b) = b + 2. Let x be k(o). Suppose 3*s = -3*l + 24, 0*l = l + 2*s - x. Is l a multiple of 6?
True
Suppose t - 92 + 41 = 0. Suppose -124 - t = -7*r. Is r a multiple of 4?
False
Let h = -694 + 1022. Does 6 divide h?
False
Let m = -1385 - -2085. Is 140 a factor of m?
True
Does 38 divide (0 + 0 + 38)*(35 - -2)?
True
Let n(g) = g**3 + 4*g**2 + 3*g + 4. Does 3 divide n(-2)?
True
Let g(m) = -m**3 + 7*m**2 - 7*m + 5. Let b be g(6). Let s be (-3 + 1)/(b/2). Suppose 16 = s*k, k + 3*k + 9 = 5*f. Is 5 a factor of f?
True
Let u be 2*1*62/4. Suppose 36 = 3*p - 7*p. Let r = u + p. Does 11 divide r?
True
Let l(g) = -g**3 + 8*g**2 - 9*g + 10. Let t be l(7). Does 10 divide t + (-260)/(-4) - 3?
False
Let o = -517 + 799. Is o a multiple of 28?
False
Suppose d - 3089 = -3*o, o + 5*d + 717 - 1742 = 0. Suppose 0 = -4*i - s + 821, 2*s - o = -5*i - 0*s. Does 38 divide i?
False
Let v(l) 