(6 - -8))?
False
Let x = -28 - -52. Does 4 divide x?
True
Let g = -18 - -22. Does 4 divide g?
True
Let n be 4/(-10) + 26/(-10). Let t = n - -7. Does 11 divide (-42)/t*24/(-14)?
False
Suppose 10*u - 12*u = 6. Is 16 a factor of (1 + 2)/(u/(-32))?
True
Is 13 a factor of 82 + 0*2/8?
False
Let c = 51 + -23. Does 7 divide c?
True
Let o(r) = -2*r - 4. Let z be o(-4). Suppose z*n - n - 30 = 0. Is n a multiple of 3?
False
Suppose -5*b - 5 - 6 = -t, 3*t + 4*b - 128 = 0. Suppose t + 14 = 2*v. Does 7 divide v?
False
Let j = 38 - 32. Is j a multiple of 3?
True
Suppose -8*l = -4*l - 24. Suppose -q + l = 2*q. Suppose 2*i = q*a + 92, -3*i + 2*a + 215 = 2*i. Is i a multiple of 14?
False
Suppose 0 = 2*n - 4, 5*y + 5*n = -2 + 187. Is 7 a factor of y?
True
Let u(l) = 3*l - 6. Let v be u(2). Suppose v = -12*w + 14*w - 100. Does 26 divide w?
False
Suppose -4*g + 22 = -5*o, 0 = 4*g - 3*o - 0 - 18. Is 3 a factor of g?
True
Suppose -45*d + 42*d = -240. Is 16 a factor of d?
True
Let v = 6 - 4. Suppose -v*f = 2*b - 0*f - 24, -12 = -3*f. Is b a multiple of 5?
False
Let r(l) = -12*l + 21*l - l**2 + 0*l**2. Let i be r(9). Suppose -2*t + 15 + 7 = i. Is 3 a factor of t?
False
Let x(t) = t**3 + 6*t**2 - 2*t - 1. Let o be -2 + 5/(15/(-9)). Is x(o) a multiple of 17?
True
Suppose 0*u - 4*u = -632. Is 37 a factor of u?
False
Let g = -29 + 41. Does 12 divide g?
True
Let g be ((-21)/12)/(2/(-8)). Let z(d) = g*d**2 + 0*d + d**3 + 2 + d + 2*d. Does 16 divide z(-3)?
False
Suppose 478 = 3*v + 88. Does 13 divide v?
True
Suppose 1 - 13 = 3*t. Let r(w) = -7*w - 7. Is r(t) a multiple of 11?
False
Let b(p) = 2*p**2 + 15*p + 1. Let g = 15 - 25. Is 28 a factor of b(g)?
False
Suppose -3*l + 4*l = 2. Suppose l*o = -0*o + 38. Does 19 divide o?
True
Let i be (-157)/2 + (-6)/(-4). Let u = -51 - i. Is u a multiple of 13?
True
Suppose -r = -6*r + 130. Let h(u) = -u**3 + r + 3*u**3 - u**2 - 3*u**3. Is 13 a factor of h(0)?
True
Suppose -2*g + 3*g - 4*w = 180, -2*w + 684 = 4*g. Is 42 a factor of g?
False
Let u = -114 - -252. Does 46 divide u?
True
Let z(d) = -d**3 - 8*d**2 - 21*d + 10. Does 8 divide z(-6)?
True
Suppose 4*j + 14 = -i, 3*i + i - 2*j + 74 = 0. Is 7 a factor of (-256)/(-18) - (-4)/i?
True
Suppose 5*z - 8 - 27 = 0. Let t = z - 3. Is t even?
True
Let n(m) = 2*m + 28. Does 4 divide n(-8)?
True
Let o(d) = -d**3 + 9*d**2 + 3. Let s(b) = -4*b + 1. Let x be s(-2). Let l be o(x). Suppose -48 = -0*r - l*r. Is r a multiple of 6?
False
Let g = -2 - 0. Is 3 a factor of 3/g*(0 - 6)?
True
Let t be ((-3)/9)/(3/(-45)). Let p = -11 + t. Let y = p + 13. Is y a multiple of 7?
True
Let h = -1 - -3. Suppose 7*p - h*p = 465. Suppose p = 3*j - 12. Is j a multiple of 15?
False
Let p = 4 + -4. Let b be (p - 1)*0 - -2. Suppose -5*u + 36 = 3*a, -2*u = -4*a + b*a - 24. Is u a multiple of 4?
False
Let g(j) = j**2 - 9*j + 28. Is g(4) a multiple of 4?
True
Suppose 4*t = 5*p - 858, -6 = -t - t. Is p a multiple of 29?
True
Let f be ((-12)/9 + 2)*3. Suppose -5*c - 16 = -f*p, -76 = -2*p - 2*p - c. Is p a multiple of 4?
False
Let s(p) = p + 1. Is 18 a factor of s(17)?
True
Is 8 a factor of (1 + 0)/(4/352)?
True
Is 31 a factor of 213 - 2*(-4 - -2)?
True
Let z(c) be the first derivative of -c**7/840 + c**6/40 - c**5/15 + c**4/8 + 2*c**3/3 + 1. Let u(q) be the third derivative of z(q). Is u(8) a multiple of 3?
True
Suppose t + 16 = -t. Let o = 11 + t. Suppose -o*a = 2*a - 45. Is a a multiple of 7?
False
Let y(a) = -3*a - 5. Suppose -t - 4*t + 15 = 0, 2*w = t + 1. Suppose -5*d = -v + 17, w*v - 6*d - 4 = -2*d. Is y(v) a multiple of 19?
True
Suppose h = -5*i + 7 + 17, -3*i - 16 = -h. Suppose 3*f - 113 = h. Is 14 a factor of f?
False
Is 6 a factor of ((-45)/60)/(2/(-480))?
True
Suppose -4*r - 3*s = 44, 0 = 5*r + 5*s - 38 + 98. Let k = 7 - r. Is k a multiple of 6?
False
Let w(v) = -13*v - 1. Suppose 7 = 3*l - 5*p, 2*p + 3 + 1 = 0. Is w(l) a multiple of 4?
True
Let z(g) = -g - 26. Let k be z(0). Is -90*(k/(-10) + -3) a multiple of 12?
True
Let t be (-2)/4 - 22/4. Let m be (t/(-9) + 0)*-6. Let s = 25 + m. Is 14 a factor of s?
False
Suppose -j = -k - 5*j + 168, -5*k + 840 = 5*j. Suppose 0 = -3*q - 6 + k. Is q a multiple of 27?
True
Let s = 7 - 3. Suppose 3*q + 30 = k, k - s*q - 112 = -3*k. Is k a multiple of 11?
False
Suppose 31 - 11 = 5*w. Suppose 3*f + q + 4*q = 66, 5*f - 110 = w*q. Is 22 a factor of f?
True
Suppose 3*k = 8*k. Suppose -3*l + k*i - 2 = -2*i, -5*l = -5*i + 10. Suppose -l*m = 6 - 32. Does 13 divide m?
True
Let f(y) = -110*y**3 - 10*y**2 - 10*y + 3. Let s(m) = -73*m**3 - 7*m**2 - 7*m + 2. Let r(z) = -5*f(z) + 7*s(z). Does 26 divide r(1)?
False
Suppose -6*f = -23 - 271. Does 10 divide f?
False
Suppose -5*g + 5*b = -101 - 119, -g + 2*b = -40. Does 16 divide g?
True
Is (-12)/28 - 6519/(-21) a multiple of 60?
False
Suppose 3*s - 18 = s. Suppose 2*v = 31 + s. Is 20 a factor of v?
True
Let f = -84 + 144. Is 12 a factor of f?
True
Let o = -1 + 4. Suppose 4*y - g + 40 - 107 = 0, o = -g. Is 9 a factor of y?
False
Let p(x) be the first derivative of x**4/4 - x**3/3 - 2*x**2 - x - 1. Let u be p(3). Suppose -u*d = -51 - 49. Does 10 divide d?
True
Suppose 5*l + y + 0*y - 15 = 0, 2*l = 4*y + 28. Suppose 20 = l*r - 36. Is r a multiple of 4?
False
Is (-9)/(9/4) - -7 even?
False
Let h = -154 + 262. Does 18 divide h?
True
Suppose 273 = -0*f + 13*f. Is 3 a factor of f?
True
Let f be 64/28 - (-2)/(-7). Suppose 2*n + 10 = -f*u, -u - 5 = -n + 5*n. Does 10 divide (n + -28)*(-9)/12?
False
Let r be (-6)/2*(-2)/3. Suppose 3*a = -5*p + 34, -3*a - p = -3*p + 1. Suppose -4*f + a*v + 117 = 0, f + 5*v = -r*f + 95. Is 8 a factor of f?
False
Let v(u) be the first derivative of u**3 - 7*u**2/2 + 5*u + 16. Let h(s) = -s**3 + 4*s**2 - 2*s. Let z be h(2). Does 8 divide v(z)?
False
Suppose -1923 = -12*x - 771. Is x a multiple of 12?
True
Let p be (-4)/8*(-14 - 0). Suppose -u = -6 - p. Is 7 a factor of u?
False
Let o(l) = -l. Let j be o(-6). Suppose m + 2 = -2. Let z = j - m. Is 10 a factor of z?
True
Let w(z) = z + 4. Let q be w(0). Suppose 8*n - q*n = 204. Is n a multiple of 16?
False
Let h = -1 - 0. Let i(r) = 9*r**3 + r + 1. Let f be i(h). Let x = 27 + f. Is x a multiple of 9?
True
Suppose 0 = 2*k + 4*r - 12, 5*k + 5*r = 9 + 16. Let p = 1 + -3. Let d = k - p. Is d a multiple of 6?
True
Let s = 136 - 96. Is 5 a factor of s?
True
Let f(r) be the second derivative of r**4/12 - r**3 - 3*r**2 - 4*r. Does 8 divide f(9)?
False
Let v(j) = j**2 - 4*j + 3. Let c be v(3). Suppose -y + 2 + 2 = c. Does 4 divide y?
True
Suppose -4*y - 27 = -7*y - 2*j, 0 = -4*y + 5*j + 13. Is 7 a factor of y?
True
Suppose g = -2*t + 72, 0 = -5*g - t - 78 + 447. Suppose 3*o = 5*z - g, -4*o = -2*z - 2*o + 28. Does 8 divide z?
True
Let p(t) = 6*t**3 - 3*t**2 - 4*t. Let d(l) = 7*l**3 - 2*l**2 - 5*l. Let z(b) = -5*d(b) + 6*p(b). Let n = 13 - 5. Is 4 a factor of z(n)?
True
Let g be 4/(-18) - (-2598)/27. Suppose 0*t = 2*t - g. Let p = 67 - t. Is 14 a factor of p?
False
Suppose 6*s = 86 + 106. Does 19 divide s?
False
Is ((-58)/1)/(12/(-18)*3) a multiple of 13?
False
Let t be (-1362)/(-9) + (-4)/(-6). Suppose -t = -4*h + 8. Is 13 a factor of h?
False
Let r(b) be the third derivative of -b**6/8 + b**4/24 - b**2. Suppose -4*o - 4 = -0*o. Is r(o) a multiple of 8?
False
Let q(l) = l**3 - 9*l**2 + 8*l + 3. Let v be -2*((-12)/2 + 2). Let p be q(v). Suppose 3*n = 2*t + 42, 4*n - 5*t + p - 59 = 0. Does 6 divide n?
False
Let z(c) = -c**3 + 5*c**2 - 3*c. Is z(3) a multiple of 4?
False
Suppose -y - 2 = 5. Is 11 a factor of 1 + y/(-1) - -3?
True
Suppose 0*b + 4*b - 2 = 3*k, -k - 4*b - 6 = 0. Let j be k/(-2 + 45/24). Let i = 26 - j. Does 5 divide i?
True
Let w be 6/15 - 114/(-15). Suppose -w = t - 5*t. Is t a multiple of 2?
True
Let k(f) = -1 - 2 + 10*f**2 + 2 + 2*f. Let g be k(1). Suppose 2*z - g = z. Is z a multiple of 7?
False
Does 19 divide (-2272)/(-24) - 2/(-6)?
True
Suppose 3*q - 39 = 2*q. Is 39 a factor of q?
True
Does 6 divide (-3)/5 + 233/5?
False
Let d = 2 + -4. Let h be -144*d/8*2. Is 1/(147/h - 2) a multiple of 12?
True
Does 18 divide (-5)/((-10)/36)*3?
True
Let r(n) = -n - 4. Let s be r(-3). Let j(x) = -22*x + 2. Is j(s) a multiple of 24?
True
Suppose 0 = -4*y + a + 114, a = -4*y - 58 + 168. Suppose -7*z + y = -3*z. Does 7 divide z?
True
Let q = -3 - 0. Let y(i) = -9*i - 1. Let b be y(q). 