+ 31 = v. Does 16 divide v?
True
Let s be 201/39 + (-6)/39. Suppose -4*p - 2*n = -13 - 79, -3*p = -s*n - 82. Is p a multiple of 8?
True
Let i(p) = 22*p + 17. Is i(7) a multiple of 19?
True
Let d be (-12)/16 + 6/8. Let u(k) = -k + 48. Let c be u(d). Suppose 4*o = 8 + c. Is 6 a factor of o?
False
Let t = -468 - -704. Suppose 0 = -0*j - 5*j + h + t, 0 = 3*j + 5*h - 136. Is 16 a factor of j?
False
Suppose -2*c + 3*n - 2*n = 14, 0 = c + 2*n + 17. Is 12 a factor of 73/3 - (-3)/c?
True
Let v(r) = r**3 + 4*r**2 - 2*r - 6. Let f be v(-4). Suppose -2*a + 198 = 4*o, 0 = 4*o - f*a - 2*a - 168. Does 10 divide o?
False
Suppose -2*m - 3*r + 69 = m, -5*m + 3*r + 91 = 0. Is 12 a factor of (m/(-6))/(2/(-21))?
False
Let w be (-2 + (-3 - -6))/(-1). Is 72/27 + w/(-3) even?
False
Is 17 a factor of 18/8*(40 - 4)?
False
Suppose v + 32 = 171. Let s(r) = r**2 + 16*r + 31. Let d be s(-14). Suppose -a + 17 = 5*l, -d*l = -5*a - l + v. Is 22 a factor of a?
False
Suppose -2*c = 5*y + 2*c - 855, -y + c = -180. Let f = -115 + y. Is f a multiple of 20?
True
Suppose -2*i = 4, 0 = -v + 5*i - 0*i + 32. Is v a multiple of 13?
False
Let g(c) = -c**2 - 4*c - 1. Let f be g(-3). Suppose 0*t + f*t = 28. Is 4 a factor of t?
False
Does 29 divide (664/(-16))/((-1)/2)?
False
Let q(g) = -17*g - 1. Does 7 divide q(-2)?
False
Does 3 divide 70/21 - (-3)/(-9)?
True
Let m = 10 - -17. Is (-250)/(-9) - (-6)/m a multiple of 14?
True
Does 13 divide 4 - -66 - (-1 - 1)?
False
Suppose 882 = 3*j - 3*v, j + 2*v - 6*v - 288 = 0. Is j a multiple of 13?
False
Let v = 5 + -3. Let g = v - 4. Is 4*(-2)/g*2 a multiple of 8?
True
Suppose 5*w + 615 = 10*w. Does 18 divide w?
False
Suppose -4*l - 2 = -2*k, 4*k + 2 = -l + 5*k. Is 5 a factor of l/(-5) - 396/(-30)?
False
Suppose -24 - 6 = 5*q. Let p = 10 + q. Suppose 0 - 8 = k - 5*n, 0 = 4*k - p*n. Is k a multiple of 2?
True
Let g be (0 + 0)/(-1 - 1). Let t be (-2)/(2/7 - g). Let z = t - -15. Is 8 a factor of z?
True
Let i(w) = w - 3. Let z be i(5). Suppose -3*k - 2*n = n - 9, -z*n + 8 = 3*k. Suppose -16 = -0*r - k*r. Is r a multiple of 4?
True
Is 312/20 + (-4)/(-10) a multiple of 13?
False
Let q(n) = n + 7. Let j be q(-5). Let c be 6/j + 3/3. Suppose 3*r = 4*r - g - 11, 0 = -r - 2*g - c. Does 6 divide r?
True
Let d = -4 - -3. Let f be (d/2)/((-1)/(-12)). Is 11 a factor of (-3)/2*44/f?
True
Suppose -2*y + 42 = -4*z, -y - 3*z = -7*z - 29. Is 13 a factor of y?
True
Suppose 0*w + 2 = s - 2*w, -2 = 4*s - 3*w. Let h(f) = -2*f**3 + f + 1. Is 5 a factor of h(s)?
True
Let f = 77 - 55. Is f a multiple of 22?
True
Suppose 2*d = -5*r + 84, -3*r + 4*d = 5 - 45. Does 16 divide r?
True
Let g be 12/(-30)*(-21 + 1). Let u(p) = p + 3. Does 11 divide u(g)?
True
Let x = -275 + 438. Does 22 divide x?
False
Let p = 17 - -2. Let b be 1 - (3 + p - -3). Let o = -14 - b. Does 6 divide o?
False
Suppose 2*s + 3 + 6 = -3*z, 2*s + 4*z = -6. Let f = 22 + s. Is f a multiple of 13?
True
Suppose i - 24 = 15. Does 13 divide i?
True
Let c = -21 - -29. Suppose 5*m = -c + 73. Is 13 a factor of m?
True
Let o = -3 - -6. Let w = -1 + o. Suppose 4*j + w*n - 62 = 0, 2*j + 5*n - 38 = j. Is 5 a factor of j?
False
Suppose -10 = 4*k - 2*z + 10, 4*k - 5*z + 32 = 0. Is 4 a factor of (k + -3)*(-3 - -1)?
True
Let k = -11 - -9. Let y be k/4 - (-7)/(-14). Is 15 a factor of (-2)/(-2 - y) - -17?
False
Suppose 0*p = 2*p - 60. Let d = p - 12. Suppose -3*m - 48 = -l + d, -126 = -2*l + 4*m. Is 20 a factor of l?
False
Let q(f) = 3 + 23*f - 11*f - 4 - 18*f - f**3 + 8*f**2. Is q(7) a multiple of 6?
True
Let o(j) = -4*j - 1. Let s be o(2). Is 10 a factor of (-273)/(-9) + 3/s?
True
Suppose 3*n - 1 = 4*p, p - 9 - 8 = -5*n. Let q be ((-1)/p)/((-5)/60). Is (2/(-4))/(q/(-60)) even?
False
Let d = -7 - -59. Suppose 0 = -5*q - 3*a + 28, -4*q + d = -7*a + 2*a. Is 8 a factor of q?
True
Let m = 8 - -1. Is m a multiple of 3?
True
Suppose 4*h - 2 = 6. Let m(c) = 1 + c - 4*c**h + c**3 - 7 - 4*c. Is m(5) a multiple of 4?
True
Suppose 5*a - 1 = 3*y + 1, 3*y = a - 10. Let d(s) = s**3 + 5*s**2 + s - 2. Is 5 a factor of d(y)?
True
Let w(n) = n**2 - 4*n + 13. Does 25 divide w(6)?
True
Suppose 5*u - 555 = -5*q, -4 = 4*q - 0. Does 14 divide u?
True
Let x(n) = n**2 - 6*n - 6. Let h be 5/(-2) - 3/(-2). Let i = h - -9. Does 10 divide x(i)?
True
Let p(b) = 15*b - 4. Suppose -3*g + 5*k - 14 + 1 = 0, -g = -4*k + 16. Is 28 a factor of p(g)?
True
Let p(o) = -o**3 - 8*o**2 + 12*o + 4. Does 21 divide p(-10)?
True
Let y(m) = 3*m + 13. Let k be y(13). Let g = k - 8. Does 11 divide g?
True
Let r = 0 - -5. Suppose -4*h = -r*h + 11. Does 8 divide h?
False
Let d = 8 - 5. Suppose -2*y - d*y = -175. Is y a multiple of 18?
False
Suppose 101 = 5*t + 26. Is 3 a factor of t?
True
Suppose 5*y = -5*m + 60, 3*m - 21 = -2*y - 0*m. Is 5 a factor of y?
True
Suppose 4*m + 0*m - 32 = -4*l, 0 = m - l + 2. Let v = m - -5. Does 8 divide v?
True
Does 10 divide (4/6)/(7/105)?
True
Let z(k) = 9*k + 1. Let m(a) = -8*a. Let l(y) = 4*m(y) + 3*z(y). Let n be l(-5). Suppose -3*p = 3*v + 3 - 48, 4*v - 4*p = n. Does 10 divide v?
False
Suppose 4*m = -m + 120. Let c = m - 7. Is c a multiple of 7?
False
Suppose -9 = -2*p + 1. Suppose 0 = 3*r - 5*t - 0*t + 13, p*r - 30 = -2*t. Suppose r*x + 80 = 4*l, 8 = -2*x + 4*x. Is l a multiple of 10?
False
Let y = 12 + 36. Does 12 divide y?
True
Suppose -y = 5 - 35. Is y a multiple of 15?
True
Let z = 3 - -8. Is z even?
False
Suppose 0*g = -4*g - 3*l - 18, 26 = -3*g + 4*l. Let m be (-3)/g - (-1)/(-2). Suppose -d + 4 + 2 = m. Is d a multiple of 6?
True
Let y = 33 + 37. Is 7 a factor of y?
True
Suppose 0 = -5*i + 1 + 49. Does 4 divide i?
False
Suppose 10 = 5*m + 4*c + 3, 4*c + 20 = 4*m. Suppose -4*q + 15 = -m*k, -12 = k - 5*q + 4. Let o = 4 - k. Is o a multiple of 2?
False
Suppose 0 = 14*g - 10*g - 840. Is g a multiple of 21?
True
Let j(p) = -p**3 + p**2 + 2*p + 2. Let o be j(-5). Let c = o - 57. Is c a multiple of 23?
False
Let p(x) = -2*x + 6. Let o be p(7). Let u be (o/(-16))/((-2)/260). Let d = -43 - u. Is d a multiple of 19?
False
Let u = -14 - -15. Let i = 6 - u. Is 5 a factor of i?
True
Suppose -n - 10 + 78 = 0. Is n a multiple of 20?
False
Suppose 4*n + 75 = p, -3*p = -0*p - 5*n - 190. Does 11 divide p?
True
Suppose 290 = -0*w + 2*w. Suppose -4*f + 23 = -w. Is f a multiple of 14?
True
Let r = 1 - -4. Let z(t) = -4 - r*t**2 + 7*t**2 + 0*t + 0*t. Is 14 a factor of z(-4)?
True
Let u(i) be the third derivative of -i**5/60 + 13*i**4/24 - i**3/2 + 8*i**2. Is u(10) a multiple of 11?
False
Does 13 divide ((-8)/(-6))/(2/21)?
False
Let t(o) = -o**3 + 2*o**2 + 4*o - 3. Let g be t(2). Let z = g + 7. Is z a multiple of 6?
True
Suppose t - 6 = n, -6*n + n - 28 = -4*t. Suppose i + i - 32 = t*b, b - 6 = -i. Does 5 divide i?
False
Suppose -5*o + 2*o - 5*q = 17, -2*q = 5*o + 41. Let d(z) = -z**2 - 12*z - 2. Is d(o) a multiple of 25?
True
Let t(h) = -6*h - 4. Let d(z) = -7 - 7*z + 3 + 1 + 0. Let q(l) = -3*d(l) + 2*t(l). Is q(3) a multiple of 14?
True
Let b(w) = w**2 - 3*w + 81. Does 33 divide b(0)?
False
Suppose 0 = 4*v + 3*r - 31, -5*v - 3*r + 43 = 8. Is v even?
True
Let c be 0/(4*(-1)/(-2)). Does 10 divide (-3 - -3) + (20 - c)?
True
Let m = 238 + -149. Does 8 divide m?
False
Suppose 4*q - 12 = 0, -28 = 3*z + q + 167. Let t = -175 - z. Let j = -63 - t. Is 12 a factor of j?
False
Let l(x) be the first derivative of -x**4/4 + x**2/2 - 3. Let h(g) = 4*g**3 + g**2 - 3*g. Let s(f) = -h(f) - 3*l(f). Is 2 a factor of s(-2)?
True
Let x(o) = -o**2 - 10*o + 3. Suppose -2*j = -0*j + 16. Is 17 a factor of x(j)?
False
Let b be 2 + -2*(-3)/6. Suppose 5*m - 108 - 42 = -2*l, -5*m = -b*l - 150. Does 15 divide m?
True
Suppose 3*k = -k + 32. Let l = -3 + k. Is l even?
False
Suppose 12 = -4*d - 2*u - 0*u, -2*d - 2 = -u. Let n(y) = -9*y - 2. Is 8 a factor of n(d)?
True
Let o(n) = 8*n - 1. Let p be o(-1). Let s = -5 - p. Is 20 a factor of s/(-14) + 142/7?
True
Suppose -y = 3*y - 116. Suppose 4*t + 29 = 3*f, -5*f - 3*t + y = -0*f. Suppose 3*q - f - 71 = 0. Is 10 a factor of q?
False
Let d = -6 + 6. Let w = 7 + d. Let q = 12 + w. Does 19 divide q?
True
Suppose -3*t + 2*t + 16 = 4*d, -5*t = 2*d - 26. Suppose -2*c + 3*x + 0*x + 6 = 0, -t*c = -4*x - 16. Let p(f) = -f**3 + 6*f**2 + f + 4. Does 5 divide p(c)?
True
Suppose -18 = -3*x - 3*s, 0 = -s + 3*s - 10. Let w(z) = -x - 5 - z - z + z**2 - 