*l + 340 = 4*o, -h = -2*o + 4*l - 105. Does 22 divide o?
False
Let t(h) = 8*h - 6. Does 17 divide t(4)?
False
Suppose 30 = 4*j + j. Let w(q) = q**2 - 7*q - 5. Let k be w(8). Let l = j - k. Does 3 divide l?
True
Let k be (2 - 2/1)*1. Suppose 4*s - 11 = -k*q + 3*q, -3*s = 2*q - 4. Does 12 divide 1/q*4*-5?
False
Let o(s) = s**2 + 17*s + 34. Is 13 a factor of o(-25)?
True
Let d = 228 - 104. Is d a multiple of 31?
True
Let l = 5 + 4. Suppose -2*g = -8, 2*g - 26 = -3*c + l. Does 9 divide (-2)/((-24)/c)*24?
True
Suppose 5*g + 1 + 3 = 2*b, -5*g - 8 = -4*b. Suppose b = m - 0. Does 5 divide (-536)/(-44) + m/(-11)?
False
Let v(k) = -k - 2. Let b be v(-5). Let d be (8/(-6))/((-3)/9). Does 14 divide -3*d/b*-6?
False
Let l(s) = -s**3 - s**2 + 1. Let m be l(0). Is 8 a factor of (m - -14) + (-1 - -2)?
True
Let x be ((-64)/(-10))/((-3)/(-15)). Suppose -21 = -5*r + 5*y + 14, -4*y + x = 2*r. Let i = -2 + r. Is 5 a factor of i?
False
Let v = -16 - -52. Does 18 divide v?
True
Suppose 29 = -3*s + 137. Does 9 divide s?
True
Suppose -26 = -5*n + y - 6, -2*y - 16 = -4*n. Let u(v) = v**3 - 2*v**2 + 4*v. Does 18 divide u(n)?
False
Let q(m) = m**2 + 4*m - 8. Let a(g) = g**3 + 4*g**2 + 2*g + 1. Let b be a(-4). Does 6 divide q(b)?
False
Let n(j) = -3*j**3 - 5*j - 5. Let t(y) = -8*y**3 + y**2 - 16*y - 16. Let s(f) = 7*n(f) - 2*t(f). Let h be s(-2). Suppose h = 3*q - 7. Is q a multiple of 10?
False
Does 16 divide 1/7 - (-2685)/21?
True
Let n(v) be the second derivative of v**4/4 + v**2/2 - 2*v. Let p be n(-1). Suppose -a = -0*a - p. Is a a multiple of 4?
True
Let v(g) = -17*g - 2. Let u(k) = -k - 1. Let a(w) = 4*u(w) - v(w). Is a(3) a multiple of 17?
False
Let p = 31 + 29. Does 12 divide p?
True
Is (((-48)/32)/((-6)/532))/1 a multiple of 7?
True
Let p = -147 + 231. Is 21 a factor of p?
True
Let y(s) be the first derivative of -1 + 11*s + 1/2*s**2. Is y(10) a multiple of 12?
False
Suppose -4*g + 5*q - 5 = 0, 0 = 3*q - 3. Let v = g + 0. Suppose -3*a = -0*r - 2*r - 11, 4*a + 5*r - 7 = v. Is a even?
False
Let g(h) = -h**3 + 2*h**2 + 3*h + 2. Let t be g(3). Suppose 3*f = i + 7, 2*i + t*f + 28 = f. Let x = 19 + i. Does 5 divide x?
False
Suppose -9*y + 10 = -116. Is y a multiple of 3?
False
Suppose -5*p + 89 + 136 = 0. Does 11 divide p?
False
Let r = -7 - -12. Suppose 2*v + 2*v - 51 = r*h, -3*h - 36 = -3*v. Let m = v - 5. Is 4 a factor of m?
True
Suppose -5 = -c - 2*m - 1, -6 = 3*m. Does 4 divide c?
True
Let d(i) = i**3 + 9*i**2 + i + 8. Let g be d(-9). Let n be 11*-1*2*g. Suppose h = 2 + n. Is h a multiple of 12?
True
Let m(o) = 6*o - 3. Let t be m(3). Let w be (t/6)/(3/(-18)). Is 2 a factor of 0 + w/(-3) + 2?
False
Suppose -76 - 23 = -3*r. Suppose 3*o - r = -3. Does 5 divide o?
True
Suppose -25 = 5*q + 10. Let u = 22 + q. Does 5 divide u?
True
Let d(t) = t**2 + 7*t + 6. Let c be d(-5). Let q be 132/(-8) - 6/c. Let n = 23 + q. Is n a multiple of 8?
True
Suppose 6 = -2*b + 5*b. Suppose b*c - 5*c + 15 = 0. Does 2 divide c?
False
Let i(z) = z + 3. Let b be i(5). Suppose 5*j + 201 = b*j. Does 20 divide j?
False
Let l(y) = -3 - y**2 + 0*y**2 - 3*y - 4*y + y. Let c be l(-2). Suppose 118 - 48 = c*b. Does 7 divide b?
True
Let l(f) = -f**2 + 8*f + 12. Is l(9) even?
False
Let x(n) be the first derivative of -n**2/2 - 9*n - 1. Let k be x(-9). Suppose k = 3*r - 0*r - 6. Does 2 divide r?
True
Suppose -2*o - x + 8 = 0, -2*o - 8 = -4*o + 2*x. Is 10 a factor of (-30)/o*(-12)/9?
True
Let s be 1/((-3)/15 + 0). Let h = s + 5. Suppose -g = -4*d - 41, 2*g + 5*d - 8 - 61 = h. Is g a multiple of 19?
False
Let x(d) = d**3 + 11*d**2 - 28*d - 41. Is x(-12) a multiple of 20?
False
Suppose -4*r + 3*k + 33 = 6, 31 = 5*r - k. Let m = r - 4. Suppose 2*s = d - 3*s - m, d + 3*s - 18 = 0. Does 9 divide d?
False
Let o = 177 - 124. Does 13 divide o?
False
Let f(v) = -v**3 + 11*v**2 + 16*v + 12. Does 3 divide f(12)?
True
Suppose 4 = 5*r - 6. Suppose -43 - 25 = -r*v. Is v a multiple of 17?
True
Suppose 4*j = 3*j + 10. Suppose 0 = k - 4, 2*o - 5*k + 0*k = j. Is 15 a factor of o?
True
Suppose -4*f = -2*f. Suppose 0 = -l + q + 24, f = -9*l + 4*l + 2*q + 126. Is 13 a factor of l?
True
Let p(w) = -w**2 - 13*w - 11. Is p(-8) a multiple of 29?
True
Suppose 5*o + 21 - 1 = 0. Is (-41)/(-2) + 2/o a multiple of 10?
True
Suppose 4*o - 8*o = -36. Suppose -o - 5 = -w. Suppose -w + 0 = -u. Does 7 divide u?
True
Is 14 a factor of 1 + -2 - ((2 - 1) + -160)?
False
Suppose 12 = -4*v, 4*i + 2*v = 19 + 23. Let w(h) = -h**2 - 9 - 2 + 0*h**2 - i*h. Does 12 divide w(-8)?
False
Let h(f) = f**3 + f**2 + 5*f. Let z be h(5). Let l = z - 119. Does 28 divide l?
True
Let s(i) = 1. Let n(v) = v**2. Let t(l) = n(l) + 5*s(l). Let u be ((-4)/3)/((-2)/(-6)). Does 7 divide t(u)?
True
Let d(b) = -b**3 + 3*b**2 - 5*b - 6. Let g be d(5). Let t(o) = 2*o**2 - 11*o + 6. Let m be t(-6). Let r = m + g. Does 23 divide r?
False
Suppose -23 = -5*i - 3. Suppose q - 2*q = j, -10 = -i*j - 2*q. Is 3 a factor of j?
False
Let a(h) = -h - 1. Let f be a(-4). Suppose -4*g - 4*v + 197 = -f*v, 0 = -2*g - 2*v + 94. Is g a multiple of 25?
True
Suppose -5*s = 3*a - 7*a + 50, a + 3*s - 21 = 0. Is a a multiple of 11?
False
Suppose -36 = 4*y - t - t, 3*t - 21 = 3*y. Let j(s) = -3*s + 6. Is j(y) a multiple of 29?
False
Suppose -5*p + 1 = -o, -p - o = 4*o + 5. Suppose p = 3*w - 184 - 98. Suppose -3*s - 5 = h - w, 0 = 4*s - h - 121. Does 15 divide s?
True
Suppose 16*i = 332 + 532. Suppose -2*u = u - 51. Suppose 5*l = 2*o - i, 0 = -2*o + 2*l + 77 - u. Is 13 a factor of o?
False
Suppose 2*m + 30 = q, -3*m = 2*q - 14 - 18. Is 6 a factor of q?
False
Let c(x) = -2*x**3 + 13*x**2 - 7. Is c(6) a multiple of 16?
False
Suppose 3*h = -2*b + 45, 0 = 2*b - b + 3*h - 27. Is 8 a factor of b?
False
Let v = 3 - 1. Suppose -p - 2*f = -6*f - 22, v*f = -4. Is 9 a factor of p?
False
Let j = 7 - 9. Let c = 5 + j. Is 31 - (9/(-1))/c a multiple of 13?
False
Suppose 6*l - l + 40 = 0. Is (7 + l)*13*-2 a multiple of 13?
True
Let n(k) = k - 6. Let d be n(4). Let h = -6 - 2. Let z = d - h. Does 6 divide z?
True
Suppose -4*s + 550 = 7*s. Is s a multiple of 10?
True
Let u be 4 - (2 + 0) - 10. Let m(t) = -t**2 - 10*t + 2. Is m(u) a multiple of 6?
True
Let a(r) = -7*r - 18. Does 4 divide a(-6)?
True
Suppose 2*k - 5*k = 0. Let d(s) be the third derivative of -s**4/24 + 10*s**3/3 - s**2. Does 8 divide d(k)?
False
Let d be -1 - (-2 - -4) - 207. Is ((-18)/15)/(12/d) a multiple of 7?
True
Suppose 2*j = 3*j - 5*b - 13, -3*j + 11 = -b. Let m(s) be the third derivative of s**5/20 - s**4/8 - 2*s**3/3 + 2*s**2. Is m(j) a multiple of 10?
False
Let g(k) = -3*k**2 - 3*k + 4. Let w(l) = -3*l**2 - 3*l + 4. Let j(s) = 5*g(s) - 6*w(s). Let y be ((-8)/12)/((-4)/18). Is 16 a factor of j(y)?
True
Suppose -2*h + 170 = 4*a, 414 = 9*h - 4*h - a. Does 32 divide h?
False
Suppose -s - 144 = -7*s. Is s a multiple of 12?
True
Let v = 57 + -34. Let i = 50 - v. Is i a multiple of 16?
False
Let m be (-2 + (-2)/(-2))*-2. Suppose -g + 44 = m*f, 0 = 2*f - 5*f - 12. Suppose g + 28 = 4*h. Is h a multiple of 8?
False
Let l(y) = -85*y. Let u be l(-6). Does 11 divide u/12 - (-6)/(-4)?
False
Let h(o) = 6*o**3 - 5*o**2 + 2. Let l(m) = 13*m**3 - 11*m**2 + m + 5. Let w(a) = 5*h(a) - 2*l(a). Let i be w(3). Suppose -4*r - 19 + i = 0. Is 9 a factor of r?
False
Suppose -815 = -2*p - 5*a, 0 = -3*p + 8*p - a - 1997. Does 16 divide p?
True
Is 29 a factor of (-3)/(-1*4/116)?
True
Is 14 a factor of 10/((-2 + 1)/(35/(-5)))?
True
Suppose -3*t = -7 + 1. Let u(y) = 4*y**2. Is u(t) a multiple of 16?
True
Let i(o) = -2*o - 2*o + 0*o - 5. Is i(-12) a multiple of 14?
False
Let s be 6/(-2)*138/(-9). Let r be (-14)/63 - (-546)/27. Let y = s - r. Is 16 a factor of y?
False
Let u(n) = 8*n**3 + 2*n**2 + 3. Let s be u(-3). Let f = s - -333. Let l = f - 92. Does 23 divide l?
True
Let d(v) = v + 14. Let l = 0 + -4. Let b(n) = -n - 15. Let f(m) = l*b(m) - 3*d(m). Is f(0) a multiple of 9?
True
Suppose 0 = 5*d + d - 120. Is d a multiple of 2?
True
Let a(d) = 2*d**2 + 8*d + 13. Is 8 a factor of a(-7)?
False
Suppose -l + 14 = 2*h - 63, 5*h - 195 = -3*l. Let j = h + -11. Is 25 a factor of j?
True
Let l be (-6)/15 - 51/(-15). Suppose -l*x + 4*d = -0*d - 168, -4*x = 4*d - 252. Does 20 divide x?
True
Suppose -k + 42 = -3*b, k = 3*k - 5*b - 80. Is 8 a factor of k?
False
Suppose -3*k + 2*