ose -7*n - 9*n = -3072. Does 16 divide n?
True
Let r be -2 - ((-7 - -1) + 2). Suppose -r*t - 3*t + 25 = 0. Does 8 divide (189/15)/3*t?
False
Let s be (-170)/(-4) - (-4)/(-8). Suppose 0 = -40*r + s*r - 406. Is r a multiple of 34?
False
Let y = -12 - -10. Is 44 + 2/1*y a multiple of 12?
False
Let p be (-8 + 9)/(1/119). Suppose -p = -u - 16*u. Is 2 a factor of u?
False
Let z = -4 - -8. Suppose -z*m = 16, 4*n - 4*m = -n + 366. Is 14 a factor of n?
True
Suppose -2*v + 5*h = -1, -3*v + 3*h = 2*v - 31. Let n(k) = 7*k - 19. Is 21 a factor of n(v)?
False
Let w = -1 + 1. Let z(l) be the second derivative of -l**4/12 - l**3/6 + 6*l**2 + 35*l. Does 6 divide z(w)?
True
Does 3 divide (3 + -2)*(-4 - (-3 - 82))?
True
Suppose 0 = -3*s + 3, -s + 0 = u - 11. Suppose 1 + 7 = -2*m - 3*g, -4*m + 5*g - 16 = 0. Does 7 divide (-176)/(-10) - m/u?
False
Suppose 43*i + 15 = 38*i. Is 82 - (-4 - i) - -1 a multiple of 6?
True
Suppose 554*b + 1515 = 559*b. Is b a multiple of 10?
False
Suppose 7*i - 15 = 3*q + 4*i, -3*q + 10 = 2*i. Suppose u - 168 = -q*u. Is u a multiple of 56?
True
Suppose 11*i = 12*i - 3. Is 14 a factor of (4 - -623)/i - (-3 - -2)?
True
Let v(j) = -230*j - 763. Does 17 divide v(-13)?
True
Let w be 6/33 - 31/(-11). Suppose a = -m + 5, -2*m - 3*m - w*a + 33 = 0. Is 18/(-4)*(-6)/m a multiple of 3?
True
Suppose 3*k + 3 = 0, 2*l - l - 5 = 2*k. Suppose -177 = -l*q - 0*q. Let x = q - 26. Is 11 a factor of x?
True
Suppose -24*m = 3744 - 432. Let x be (-1298)/(-6) + 2/3. Let n = m + x. Does 27 divide n?
False
Suppose 0 = b + 4*b - 355. Let m be (-2)/(-10) + (-422)/10. Let r = b + m. Is 28 a factor of r?
False
Suppose 4*h + 6 = -5*o + 6*h, 12 = -3*o - 3*h. Is (25 - (-3 - o)) + -1 a multiple of 5?
True
Let t = 20 + -14. Suppose 3*l = 4*l - 3, 3*n = l + t. Suppose 0 = -7*w + n*w + 156. Does 12 divide w?
False
Let o(m) = m**3 + 4*m**2 - 6*m - 1. Let l be o(-5). Let b = -7 + l. Is -12*b*8/36 a multiple of 3?
False
Is (-1 - -390) + 0 + -3 + -2 a multiple of 12?
True
Let v(n) = n**2 + 15*n + 19. Let i be v(-14). Suppose 5*s + 5*c = 2*s - i, -c - 1 = 0. Suppose s = 4*d - 104 - 104. Is 10 a factor of d?
False
Let o = 374 + -154. Does 20 divide o?
True
Let r(x) = 13 + 14*x**2 - 9 + 26*x**2 + 2*x - 3. Suppose -5*v - 2*n - 6 = 3, -4*v - 5*n = 14. Is r(v) a multiple of 13?
True
Let d be (-1)/(-2) + 50/(-4). Let l = 15 + d. Suppose -l*t = -6*h + 2*h - 168, t = -h + 56. Is 14 a factor of t?
True
Let c(h) = -2*h**3 + h**2 + h + 1. Let l be c(-1). Does 19 divide 4 - (3/l - 94)?
False
Let t(u) be the second derivative of -u**5/20 - 13*u**4/12 + 2*u**3 + 19*u**2/2 - 22*u. Let p(n) = n**3 + n**2 + 4. Let f be p(-3). Does 10 divide t(f)?
False
Let q = 8 + -4. Suppose 0 = -q*x + 5*x - 117. Does 28 divide x?
False
Suppose 2*r - 10 = 0, -3*r + 869 = 2*u - 472. Is 51 a factor of u?
True
Let q(b) be the third derivative of -b**4/3 - 25*b**3/6 - 19*b**2. Is 23 a factor of q(-6)?
True
Is 4 a factor of (-1)/(-1) + (-288)/(-56)*7?
False
Suppose 0 = g + 4*g - 65. Let c = g + 5. Suppose c = -0*y + 3*y. Does 2 divide y?
True
Let x(p) = -p - 2. Let i be (-21)/1*12/36. Let g be x(i). Suppose 2*r + 3*n - 156 = -15, -g*n + 88 = r. Is r a multiple of 11?
False
Let g be (-232)/(-6) + 0 - 4/(-12). Suppose 0 = 5*u - 2*u - g. Does 3 divide u?
False
Suppose 0 = -3*j - 18 + 9. Let k = j - -34. Is 5 a factor of k?
False
Let x(a) be the third derivative of a**5/60 - 7*a**4/24 + 7*a**3/3 - 6*a**2 + 2*a. Is x(-9) a multiple of 67?
False
Let o(b) = b**2 + 37*b + 117. Is o(-36) a multiple of 4?
False
Let a = 67 - 78. Suppose 0 = -2*o - k + 63, 4*o + 0*k + 3*k = 127. Let n = o - a. Is n a multiple of 14?
True
Suppose 0 = d - 16*d + 16920. Is d a multiple of 94?
True
Suppose 5*i - 4*v = 4011, 0 = -2*i + 388*v - 392*v + 1582. Is 34 a factor of i?
False
Let d(y) = 60*y**2 - 30*y - 144. Is 52 a factor of d(-4)?
True
Suppose -w + 5 = -16. Let o be 1/3*(-1050)/(-35). Let a = w - o. Does 5 divide a?
False
Let d(y) = y**2 - 16*y + 7. Suppose -2*f - 5*i + 47 = 0, -4*f + 3*i + 28 = -27. Let p be d(f). Suppose 5 + p = 2*o. Is o a multiple of 3?
True
Let u(k) = -43*k - 252. Is u(-7) a multiple of 4?
False
Let v = -16 - -12. Is 7 a factor of 55/1 - (-4 - v)?
False
Let q(d) = 14*d**3 - 5 - 13*d**3 - 6*d + 2. Is 23 a factor of q(5)?
True
Let j be 37 + 3 + -2 + 2. Let d = 79 - j. Is 12 a factor of d?
False
Let s(b) = 6 - 7 - 3*b + 2. Is 8 a factor of s(-13)?
True
Let v(g) = 3*g - 25. Let t be v(9). Suppose 0 = t*n + 4 - 14, 32 = h + 3*n. Does 11 divide h?
False
Let t = -1126 - -1118. Let a(x) be the second derivative of x**5/20 + 3*x**4/4 + 5*x**3/6 - x**2 + x. Is a(t) a multiple of 11?
True
Let i = -27 - -27. Suppose 0 = 2*d, i = -2*g + 4*d + 22 + 26. Is g a multiple of 5?
False
Let l(b) = b**2 + 2*b - 57. Does 11 divide l(-13)?
False
Is 30 a factor of 7801/5 - (6 - 58/10)?
True
Let y(t) = -t**3 + 8*t**2 + 11*t - 10. Let d be y(9). Suppose -d = -f - 77. Let b = 109 + f. Is 10 a factor of b?
True
Let y = 2 - 4. Is (y + 5)/3 - -19 a multiple of 4?
True
Let q(y) = 21*y**2 - y - 32. Is q(-8) a multiple of 30?
True
Suppose -5*p + 14 = -4*q, 4*p + 5*q + 1 = 2*p. Suppose -52 = -0*v - p*v. Is 7 a factor of v?
False
Is 49 a factor of 39/(10/((-1960)/(-12)))?
True
Suppose 3*l + 11 = 4*w - 0*l, -5*w + 3*l = -13. Suppose -7*j + w*j + 295 = 0. Is j a multiple of 7?
False
Let b(g) = g**2 - 10*g + 10. Is 14 a factor of b(-20)?
False
Let g = 3678 - 1456. Is 27 a factor of g?
False
Let v be (-5)/(-2) + (-9)/(-6). Suppose v + 26 = 5*z. Suppose 0 = -z*k + 3*k + 60. Does 5 divide k?
True
Suppose 4 = -l - 3*g, -3*g + 2 + 2 = 5*l. Suppose l*c - 3*c = 2. Is 25 a factor of (-15)/(((-6)/(-9))/c)?
False
Let t(n) = n + 10. Let c be t(-10). Suppose -8*b + 293 + 411 = c. Is b a multiple of 18?
False
Suppose -4*l = 2*v - 24, -7 = 3*l - 4*l - v. Suppose 43 = b - l*j, -2*j = 2*b + 3*j - 11. Does 9 divide b?
True
Let u(i) = 62*i**3 - i**2 - i + 1. Let r = 22 + -21. Is u(r) a multiple of 5?
False
Let c = -1472 - -3316. Is 61 a factor of c?
False
Let s(j) = -j**2 + 18*j - 26. Let u be s(16). Suppose -3*f + 6*f = r + u, -2*f + 5*r = 9. Is f a multiple of 2?
False
Let p(f) = f**2 + 3. Let h be p(0). Suppose 0 = -4*a - r + 96, -4*a + h*r + 18 + 78 = 0. Does 6 divide a?
True
Let j be (-5)/(-2)*(-29 - 10/2). Is 136/j*-13*5 a multiple of 26?
True
Let j = 170 - 50. Is 8 a factor of j?
True
Suppose -4*n + 8 = -5*n. Let w(b) = b**2 - 3. Let j(y) = -6*y**2 - 10*y + 20. Let a(u) = j(u) + 5*w(u). Does 19 divide a(n)?
False
Let n(a) = -6*a**2 - 4*a - 4. Let s be n(-2). Is (s/15)/((-12)/135) a multiple of 15?
True
Suppose -15*v - 6*v = -7*v. Suppose -i + 150 - 7 = v. Does 25 divide i?
False
Suppose -579*o - 14448 = -587*o. Is o a multiple of 14?
True
Suppose -t = -7*t - 18. Let k be (-63)/6*(t - -5). Let i = k - -38. Is i a multiple of 3?
False
Let w = 2671 - 911. Does 32 divide w?
True
Suppose 12*r - 24*r + 8928 = 0. Is 12 a factor of r?
True
Suppose -10*m = m - 24772. Does 85 divide m?
False
Suppose 0 = 3*n - i - 2843, 0 = 4*n - 3*i - 2*i - 3809. Suppose -4*d + 62 = -n. Is d a multiple of 14?
True
Suppose 5*g - 318 = c, -18*c = g - 14*c - 72. Is 16 a factor of g?
True
Let u = 711 - 447. Does 22 divide 6/(-4)*u/(-9)?
True
Let k = 3524 - 1636. Does 118 divide k?
True
Let i(d) = d**3 + 9*d**2 + 23. Let m(n) = n - 1. Let a(p) = i(p) + 3*m(p). Is a(-8) a multiple of 20?
True
Does 12 divide (0 - 5)*2904/(-22)?
True
Suppose 0 = -z - 3*u + 21, 4*z - 87 = -3*u + 33. Suppose 3 = 2*r + z. Is 2 a factor of 3/15 - 72/r?
False
Suppose 9*w - 2235 = 2310. Is 76 a factor of w?
False
Let k(f) = f + 5. Suppose -5*x + 2*c = -c - 57, 56 = 4*x - 5*c. Does 3 divide k(x)?
False
Let v(p) = -p**2 - 10*p + 1. Let g(b) be the second derivative of -4*b**3/3 - 4*b. Let j be g(1). Is v(j) a multiple of 4?
False
Let r = -175 - -519. Is 5 a factor of r?
False
Suppose 3*w + 6*w = 2898. Does 26 divide w?
False
Let i(l) = -11*l - 2. Suppose 3*p - 2*d = 16 + 15, -p - 13 = 4*d. Suppose -4*z - p = k, 0*k + k = -3*z - 5. Does 8 divide i(z)?
False
Suppose 24*z + 16*z = 46880. Is z a multiple of 13?
False
Let t(c) = -c**3 - 50*c**2 - 50*c + 271. Does 5 divide t(-49)?
True
Suppose -2*g - 2*g = -48. Let v(w) = -w**3 + 13*w**2 - 7*w - 4. Is 14 a factor of v(g)?
True
Let y(c) = -3*c + 27. Let t be y(7). Is 1*(1 + 2/(