*q + z = k, k + 23 = q - 0*k. Does 23 divide q?
True
Let m(z) = z**3 + 5*z**2 + z - 2. Let a = 7 + -5. Let f = -1 - a. Does 13 divide m(f)?
True
Let l(a) = -a**3 - 12*a**2 + 9. Is l(-12) a multiple of 2?
False
Let m be ((-9)/4)/((-5)/20). Let k(i) = -i**2 + 12*i - 3. Does 24 divide k(m)?
True
Suppose -3*i = 2*i. Let r(u) = u**3 - u + 18. Let w be r(i). Suppose 2*z - w = -2*b, -4*z + b - 4*b = -35. Is 5 a factor of z?
False
Suppose -109 = -2*o - 3*d - 2*d, -3*d = 2*o - 115. Does 10 divide o?
False
Let i(u) be the second derivative of u**4/12 - u**3 - 2*u**2 - 3*u. Does 11 divide i(-5)?
False
Let r(z) = 49*z + 5. Is r(1) a multiple of 27?
True
Suppose 2*p - 3*o + 0 - 25 = 0, 0 = 5*p + 2*o - 34. Is 8 a factor of p?
True
Let b(n) be the second derivative of 19*n**4/6 + n**3/3 - n**2/2 + n. Let x be b(1). Suppose -101 = -5*w + x. Is 14 a factor of w?
True
Does 24 divide -4 + 318/(7 - 4)?
False
Let w(g) = g**2 + 3*g - 2. Suppose -5*l - 5*z + 0*z = -50, -5*l - 2*z + 38 = 0. Is w(l) a multiple of 26?
True
Suppose s - 11 = 2*s - 5*u, -5*u + 13 = -3*s. Let m be (0 + 0)*s/3. Is 6*((-33)/(-6) - m) a multiple of 11?
True
Let u = -6 + 0. Let q = -4 - u. Is 10 a factor of (-28)/(-8)*q*4?
False
Let i(z) = 30*z. Let j be i(11). Suppose k = -4*k + j. Is k a multiple of 22?
True
Suppose -4*k - g = 4*g - 94, -4*g - 60 = -2*k. Suppose -4*z + z = -42. Let j = k - z. Is j a multiple of 7?
False
Is ((-876)/(-3))/(1/(-1) - -3) a multiple of 15?
False
Is (-5)/(450/(-9822)) - 4/30 a multiple of 22?
False
Let q be 2 - 18 - 2/2. Let b = q + 59. Does 21 divide b?
True
Let r(x) = 6*x. Let u be r(4). Suppose w = 5*w - u. Let v = w + 20. Is 9 a factor of v?
False
Suppose 0 = 2*l - 2, -3*l - 168 = -2*o - l. Suppose 3*t + n = o, -4*t + 151 = t + 4*n. Does 13 divide t?
False
Let n(z) = z - 4. Let w be n(4). Suppose -27 = -w*v - v. Does 8 divide v?
False
Let o be 6/(-9) + 64/6. Let k = o + 9. Does 8 divide k?
False
Suppose 2*k + 114 = 5*k. Is 23 a factor of k?
False
Let a(h) = h - 1. Let g(u) = 3*u**2 - 10*u + 8. Let z(w) = 5*a(w) + g(w). Is z(3) a multiple of 5?
True
Let h = 3 - 2. Let d be 24 - (0 + -2 + h). Let k = d - 15. Is 5 a factor of k?
True
Let p be 1 + (-2 - 5/1). Let y(g) = 7*g - 1. Let r(a) = 3*a - 1. Let s(n) = p*y(n) + 13*r(n). Does 8 divide s(-5)?
True
Let m(k) = 3*k**2 - k - 1. Suppose 2*u + 3*u + 14 = -4*h, 4*h = 2*u. Is m(u) a multiple of 13?
True
Let s(w) = 4*w**2 - 4*w + 6. Is 18 a factor of s(4)?
True
Let m(u) = 27*u + 1. Let n be (-15)/(-9) + (-2)/3. Does 14 divide m(n)?
True
Suppose -10*z + 150 = -7*z. Is 15 a factor of z?
False
Let s(l) = 6*l - 7. Let b be (26/3)/((-2)/3). Let w = b - -18. Does 14 divide s(w)?
False
Suppose 4*j - 3*f + 27 = j, -j + 4*f = 18. Let g(z) = -5*z - 8. Is g(j) a multiple of 15?
False
Let k(q) = 2*q + 0*q + 11*q**2 + 9*q**2 - 1 + 0*q. Suppose u - a = -2*u + 4, u + 5*a + 4 = 0. Does 16 divide k(u)?
False
Suppose -3*u = -x - 4*x + 21, x - 21 = 2*u. Let j be (u/16)/((-3)/132). Let c = 21 + j. Does 18 divide c?
True
Suppose 4*t = 3*x + 107 + 183, -5*x + 2*t = 488. Let s = 190 + x. Is s a multiple of 38?
False
Suppose -j - j = 10. Is (-24)/j*20/6 a multiple of 8?
True
Let n(i) = 6*i**2 + 10*i - 5. Is n(-8) a multiple of 23?
True
Let u = 10 + -6. Let z = 4 - 0. Suppose 3*n + 2 = -u, 3*j - z*n = 50. Is j a multiple of 14?
True
Let o(p) = 3*p - 3. Let w(u) = u - 5. Let t be w(7). Let b be o(t). Suppose 5*d - 86 = -3*v, -d = 2*v + b*d - 56. Is v a multiple of 16?
True
Let f = 2 - -6. Let a(y) = 3*y**2 - 5*y + f*y + 3 + y + 2. Does 15 divide a(-4)?
False
Let t(p) = -5*p - 6. Let n(v) = -v + 1. Let d be n(6). Is t(d) a multiple of 10?
False
Let f(b) = b**3 - 5*b**2 + 6*b + 1. Let t be (2 - 3)/(2/(-22)). Let x = t + -6. Is 12 a factor of f(x)?
False
Suppose 0 = 5*p - 8*p + 42. Is 2 a factor of p?
True
Let z(h) = -h. Let s be ((-3)/(-9))/(1/3). Let o(m) = 13*m + 1. Let f(n) = s*o(n) - 5*z(n). Is 9 a factor of f(1)?
False
Suppose -2 = -5*o + 3. Suppose 1 = 4*z + 3*j - 0, -z - o = j. Suppose -i + 5*q + 22 = -0*i, z*i - 2*q - 88 = 0. Is 11 a factor of i?
True
Suppose -10*n = 6*n - 1536. Is 16 a factor of n?
True
Is 22 a factor of ((-16)/(-20))/((-4)/(-110))?
True
Let p be 2/5 + 92/20. Suppose -p*o = 9 - 29. Suppose 0 = -o*l - 15 + 111. Does 11 divide l?
False
Let i = -196 - -298. Does 34 divide i?
True
Let r(j) = j**3 + 22*j**2 + 10*j - 47. Is 23 a factor of r(-21)?
True
Suppose l + 5*f - 2 = -16, 4*f = 4*l - 64. Is l a multiple of 8?
False
Let b be (-26)/(-39) - 20/(-6). Suppose b*p - 5 - 51 = 0. Does 14 divide p?
True
Suppose -29*p = -34*p + 2115. Does 21 divide p?
False
Suppose -2*u + 104 = 2*u. Suppose 5*f - 2*l = -4*l + 56, -l = -2*f + u. Is 6 a factor of f?
True
Does 11 divide 45 - 8/(5 - 1)?
False
Suppose 6 + 12 = -3*s. Let w = s - -22. Suppose 3*r + 21 = 3*j, 4*j + 2*r = -0*r + w. Is j even?
False
Suppose -2*d = -4*l + 4 + 16, -2*d + 7 = 5*l. Suppose -3*i - 3*m = -8*m - 46, -2*m = -l*i + 31. Let j = i + 17. Is j a multiple of 12?
True
Let c be (3 - 5)/(3/54). Let h = -6 - c. Is 10 a factor of h?
True
Suppose -10*t + 80 = -5*t. Let g = -172 + t. Is 23 a factor of 3*(g/(-9) - 2)?
True
Let s = 1 - -5. Suppose -s = 2*o - 4*o. Suppose -o*u - u = -32. Does 3 divide u?
False
Suppose 0 = -n + 4 - 0. Suppose -4*d - 4*v - 53 = 23, -n*v = -4*d - 60. Let o = -6 - d. Is o a multiple of 5?
False
Is 24 + -13 - -3*1 a multiple of 5?
False
Suppose 2*r - 18 = -34. Let w = 44 + r. Is 12 a factor of w?
True
Suppose i - 11 - 18 = -5*p, -5*i + 2*p + 145 = 0. Let j be (-2)/3*-3 + i. Suppose j + 5 = 2*m. Is m a multiple of 18?
True
Let r(x) = -x**2 + 10*x - 8. Is 7 a factor of r(7)?
False
Let y(u) = -u**3 + 12*u - 8. Is y(-6) a multiple of 13?
False
Let u(o) = o + 5. Let h be u(-5). Suppose h = 4*w + 3*i - 40, -4*w + 16 + 16 = i. Does 4 divide w?
False
Suppose -4*l + 64 = -4*x, -5*l = 2*x - 6*x - 84. Suppose -4*y - 4*n + l = 0, -4*y - 2*n + n + 14 = 0. Is y a multiple of 3?
True
Let t(u) be the second derivative of -4*u + 0 + 2/3*u**3 + u**2. Is t(4) a multiple of 18?
True
Let j be 2/(-4)*0/(-2). Suppose -c + 0*c + 3 = j. Suppose 0*s - 4*s - 28 = -4*u, -c*s + 67 = 5*u. Is u a multiple of 10?
False
Let d be (-1)/3 - (-4)/12. Let p(x) = 26*x**2 + d + x + 0. Is 9 a factor of p(-1)?
False
Let j = 5 - 7. Does 10 divide ((-44)/8)/(j/4)?
False
Let x be 1 - 5 - -3 - -1. Suppose 2*w = -2*s + 64, -3*s + x*w = 2*w - 94. Let a = s + -5. Is 25 a factor of a?
True
Let i(y) be the second derivative of y**4/6 + 4*y**3/3 - 3*y**2 - 2*y. Is 7 a factor of i(-6)?
False
Let z(q) = 4*q. Let o(c) = 2 - c**3 - 4*c + 9*c**2 + 0*c - 4*c. Let h be o(8). Does 4 divide z(h)?
True
Is ((-2)/(-4))/((-1)/(-6) + 0) a multiple of 3?
True
Let o = 863 - 614. Is 14 a factor of o?
False
Let x(q) = -2*q - 6. Let g be x(-4). Let w be g/6 - 1/3. Suppose w = -4*t + 43 + 9. Is 13 a factor of t?
True
Is 14 - (-1 + 4) - -1 a multiple of 2?
True
Let n = 13 + -6. Let m(y) = -y**2 + 12*y - 3. Is m(n) a multiple of 13?
False
Suppose 5*s = -2*d + 2*s + 2, 3*s = 4*d - 22. Suppose d*t + 2 = -2*n, 2*n - 8 = -2*t - 2*n. Let m(w) = -2*w**3 + w + 2. Is 8 a factor of m(t)?
True
Let o = -12 + 6. Let w(s) = -s**2 - 15*s - 7. Is w(o) a multiple of 18?
False
Let a(b) = b**2 + 2*b - 7. Does 7 divide a(5)?
True
Let f(b) = b**2 + 4*b + 4. Let u be f(-4). Suppose u*x - 16 - 92 = 0. Is x - 2 - -1 - 0 a multiple of 13?
True
Let y(g) = 2*g + 13. Let n be y(-13). Let c = 31 + n. Is 6 a factor of c?
True
Let w(k) be the second derivative of -k**5/20 - 7*k**4/12 - k**3/6 - 5*k**2/2 + k. Let i be w(-7). Suppose 4 + 18 = i*v. Is v a multiple of 5?
False
Suppose 2*y = -0*y - h + 76, -20 = -5*h. Suppose -4*g + y = -0*g. Is 9 a factor of g?
True
Let n = 3 - -1. Suppose -t + 150 = n*t. Does 30 divide t?
True
Suppose -2*f + f + 56 = 0. Suppose -f = d - 2*d. Is d a multiple of 16?
False
Let x(k) = -k + 6. Let o be x(7). Does 2 divide (-1)/(((-4)/(-12))/o)?
False
Let p = 59 - -14. Is 24 a factor of p?
False
Let p be ((-6)/(-4))/(3/(-100)). Let n be p + (-3 - 2*-1). Is n/(-2) - (-4)/(-8) a multiple of 25?
True
Let j(y) = y**3 - 3*y**2 - 2*y + 6. Let o(f) = -f**2 + 1. Let m(z) = -j(z) + 3*o(z). Let u(s) = -s**2 + 1. Let k be u(2). Is 12 a factor of m(k)?
False
Suppose -2*u + 82 = -2*x, -2*u + 4*u - 83 = 3*x. Suppose u = 4*l + 3*n, -l + 1