e k?
True
Suppose 5*c - 88 = 52. Is 4 a factor of c?
True
Let u(h) = 2*h - 9. Let v be u(6). Suppose 3*z - m = 2*m - v, -z - m + 1 = 0. Suppose -5*o - 5*a + 30 = z, -10 = 3*a - 1. Does 9 divide o?
True
Let n(h) = -h**3 + 3*h**2 + 5*h - 1. Let v be n(4). Suppose v*r = -3*t + 31 + 20, -t = -1. Is r a multiple of 16?
True
Suppose -2*m = 2*d + 74, -m - 47 = 3*d - 0*d. Let r be (m/(-24))/(4/(-90)). Is 3 a factor of (-12)/r - (-86)/10?
True
Let h = 26 + -39. Suppose 2*i - 6*i = -24. Is i/(-24) - h/4 a multiple of 3?
True
Suppose -3*p + 7*p - 64 = 0. Let b = p + 7. Is b a multiple of 12?
False
Let l = -1 - -5. Suppose t = -l*t. Suppose -f = -t*f - 16. Is f a multiple of 8?
True
Let p be 3 + -4 + 378/2. Suppose -3*c + c = p. Is 2 a factor of 2/(-9) - c/18?
False
Suppose 0*o + 66 = -2*o. Is (2 - 0)/2 - o a multiple of 16?
False
Let c = -4 - -12. Does 19 divide 3/(-12) - (-210)/c?
False
Let h(p) = -4*p**2 - 10 - 6*p**2 + p**3 + 0*p**3 + 3*p. Is h(10) a multiple of 20?
True
Let r(i) = -11*i**3 - 1. Let c be r(-1). Let m = c - 5. Suppose -5*j + 5 = -m. Is 2 a factor of j?
True
Suppose 2*a + d - 88 = 0, 5*a = -0*d + d + 213. Is a a multiple of 6?
False
Suppose -7*f + 36 = -5*f. Is f a multiple of 6?
True
Let w(z) = 3*z**2 - 4*z - 10. Let r be w(5). Suppose 3*x = -7 - 11. Does 6 divide (-24)/15*r/x?
True
Let t = -6 - -1. Is 21 a factor of -2*1 - 325/t?
True
Let b be 0*3/9 - -16. Let x be b/40 - 1153/(-5). Suppose -x + 11 = -5*g. Is 23 a factor of g?
False
Let r(y) = -6*y - 2. Does 4 divide r(-3)?
True
Suppose 3*o - 1 = 5. Does 7 divide (-2)/o*(-23 + 0)?
False
Suppose 0 = -5*f - 5*u + 10, -u - 3*u = -4*f + 24. Suppose 5*q = -5, -f*q - 34 - 2 = -2*p. Is p a multiple of 5?
False
Let o = 7 - 1. Let u be (-18)/(-24) - o/8. Suppose d = 4*n - u*d - 35, 3*d - 65 = -5*n. Is n a multiple of 10?
True
Let o(f) be the third derivative of -f**4/12 - f**3/2 - f**2. Let h be o(-4). Suppose 3*i - 64 = -h*n, -4*i = 2*n - 17 - 45. Is i a multiple of 13?
True
Let q = -79 - -118. Is 33 a factor of q?
False
Is 15 a factor of -30*(((-147)/6)/7 - -1)?
True
Let z = -10 + 29. Let s = 7 + -4. Suppose j - 3*l - 19 = 0, -2*l - z + 76 = s*j. Is j a multiple of 5?
False
Is 5*(-1 - 123/(-15)) a multiple of 12?
True
Let k(o) = 6*o - o + 2*o**2 - o**3 + 0*o**3 + 1 - o. Let s be k(3). Suppose -s = -3*z + 8. Is z a multiple of 2?
True
Suppose 324 = 3*g - 81. Does 27 divide g?
True
Let n = 6 + -4. Suppose -q + 4*l = -13, n*q + 4*l = 4*q - 18. Is 4 a factor of q?
False
Let m(c) = 115*c**2 - c - 1. Let k be m(-1). Let g = k + -81. Is 17 a factor of g?
True
Let g = -5 + 10. Let w = g - 0. Is 3 a factor of w?
False
Is 7 a factor of 204/(-8)*8/(-3)?
False
Suppose -2*g - 3*g + 125 = 0. Suppose 0*i + g = 5*i. Suppose 3*k = -3*u + 114, -5*k + 2*k = i*u - 120. Is k a multiple of 13?
False
Let i be (-1*1)/(2/(-180)). Suppose 4*o + o = i. Is o a multiple of 6?
True
Let l(u) = u**2 - 5*u - 3. Let h be (-5 - -5) + 1 + 5. Let c be l(h). Suppose c*n - 4*t - 19 = 0, 5*t + 6 = n + 4*t. Is n a multiple of 5?
True
Let d(z) = z**2 + 3*z + 1. Let n be d(-4). Let w be 3/n*(-30)/(-6). Suppose -w*i - 52 + 160 = 0. Is i a multiple of 12?
True
Let m be 3/(-4) - (-3)/(-12). Let j(t) = 69*t**2 - 6*t - 3. Let d(f) = -23*f**2 + 2*f + 1. Let h(w) = 11*d(w) + 4*j(w). Does 12 divide h(m)?
True
Suppose -2*z = 2*l - 4*l + 16, 16 = l - 5*z. Suppose 0*j = -4*j + 16, 4*u + j = -204. Is (-9)/3*u/l a multiple of 13?
True
Is 16 a factor of 14828/154 + (-4)/14?
True
Let f = -15 - 6. Let k(v) = 45*v - 2. Let r be k(1). Let y = f + r. Is 11 a factor of y?
True
Suppose 2*c = 3*j + 101 + 44, 0 = -j + 5. Does 20 divide c?
True
Suppose u = -2*u. Let g be ((-16)/6)/((-2)/63). Suppose u*b + 4*b = g. Does 7 divide b?
True
Suppose 0 = 4*j - 0*j - 260. Suppose 0*h = -h + j. Is 22 a factor of h?
False
Suppose 4*z = 12 - 0. Suppose 3*b = 2*j - 3*j + 19, -z*b - 3*j = -9. Is 4 a factor of b?
True
Let a(w) = 2*w**2 - 10*w - 1. Is 11 a factor of a(6)?
True
Suppose s - 5 = 4. Let f(x) = -2*x**2 + x + x**2 - 8 + s*x. Does 8 divide f(6)?
True
Suppose 57 = 5*f + b, -5*f + 76 = -b + 23. Let q = f - 3. Is 13 a factor of (1 + 1)/(q/52)?
True
Let v(l) = l**2 + 7*l + 8. Let x be v(-6). Suppose -x*w = -0 - 6. Is w a multiple of 3?
True
Let j(x) = 12*x + 1. Let t be j(1). Let k = t - 9. Suppose 0*q + 131 = 4*m + 3*q, -k*m + 127 = -q. Does 11 divide m?
False
Let h = -9 + 16. Let y(f) = -2 + 0 + 1 - f**2 + 8*f. Is y(h) a multiple of 4?
False
Let w = 216 + -36. Is 30 a factor of w?
True
Suppose 5*i = -0*i + 50. Let p = i + -4. Is p a multiple of 6?
True
Suppose 4*p + 139 = 347. Is 26 a factor of p?
True
Is -1 + 2 - (2 - 72) a multiple of 19?
False
Suppose x = 4*s - 3, -2 = -s - 0. Suppose -i = x*a - 110, 5*i = -5*a - 0*i + 130. Does 6 divide a?
False
Suppose -2*l + 852 = -932. Does 13 divide l/36 - (-2)/9?
False
Let m(d) = 13*d + 6. Let r be m(5). Suppose -3*b + 163 = 5*j, 5*j = -b - 0*j + r. Does 12 divide b?
False
Let y = 34 - 14. Suppose 0*z + z = y. Does 5 divide z?
True
Let g = -68 - -101. Is 2 a factor of g?
False
Let b(u) = 3*u**2 + 98. Suppose 10 = o - 6*o. Let v(y) = y**2 + 33. Let z(p) = o*b(p) + 7*v(p). Is z(0) a multiple of 17?
False
Let h = -8 - -13. Suppose -3*i - 7 = h. Does 13 divide (-1309)/(-63) + i/(-18)?
False
Let y be ((-40)/(-3))/((-2)/(-36)). Suppose 4*m = 2*s - 4*s + 260, -3*s = -4*m + y. Does 21 divide m?
True
Let f = 12 - 9. Suppose f = -0*c - c, 10 = l - 2*c. Is 3 a factor of l?
False
Suppose 120 = -3*j + r + 2*r, -5*r - 120 = 3*j. Let q = -11 - j. Is q a multiple of 6?
False
Let i be 11/1 - (0 + -2). Suppose -3 = -4*k + i. Suppose -k*b - 46 = -158. Is 13 a factor of b?
False
Suppose -4*a = -4*o - 240, 2*a - 118 = -3*o + 7*o. Does 34 divide a?
False
Suppose -n + 5 = 1. Suppose -r = -k + 9 - 29, 2*r + n*k - 22 = 0. Does 9 divide r?
False
Let m = -66 + 41. Let b = 109 - 68. Let c = b + m. Is c a multiple of 8?
True
Let r = 25 + -15. Does 6 divide r?
False
Suppose -q + 5*d + 15 = 0, -36 - 2 = -2*q + 2*d. Suppose -x = s - 6*x + q, -s - 3*x = -20. Suppose 0 = 2*f - s*c - 51, c = -2*f - 3*f + 60. Is 5 a factor of f?
False
Let j(q) = -q**3 - 5*q**2 - 6*q - 5. Let o be j(-4). Suppose -o*n = a - 11, -n - a + 7 = -0*n. Does 4 divide ((-1)/3)/(n/(-66))?
False
Suppose 0 = 2*o - 30 + 10. Does 10 divide o?
True
Let n(p) = -9 - 9*p**3 + 10*p**3 + 0*p - 8*p**2 + 4*p. Is n(8) a multiple of 23?
True
Is 5 a factor of 1 - (0 + -5 - 39)?
True
Let n(u) = 5*u**2 - 6*u + 6. Let t(s) = -s**2 - s. Let l(h) = -n(h) - 4*t(h). Let c be l(8). Is (-2)/(-4) - (-95)/c a multiple of 3?
False
Let f be ((-4)/(-12))/(1/36). Let h(q) = q**3 - 12*q**2 + 2*q + 12. Is h(f) a multiple of 10?
False
Suppose -1 = m - 2*m. Let g = m - -1. Suppose 3*z + g*z = 0, 4*x + z = 104. Does 13 divide x?
True
Suppose -3*o + 0*o = -21. Suppose -15 = -3*l - 5*s, -3*l + o*s = 2*s - 45. Is l a multiple of 5?
True
Let c(y) = y + 15. Let r be c(-13). Suppose r*a - 2*d - 54 = -6*d, -5*d + 79 = 3*a. Is a a multiple of 6?
False
Let n(z) = -4*z - 4. Let m be n(-3). Let o = 4 + m. Does 4 divide o?
True
Suppose -p + 1062 = 5*p. Is p a multiple of 13?
False
Let a(l) = -l**2 + 14*l + 27. Is 20 a factor of a(13)?
True
Let w = 92 - 43. Suppose -100 = -5*l + 2*a, 0*l - 2*l = a - w. Is 11 a factor of l?
True
Let x(u) be the third derivative of u**4/6 + u**3/6 - 4*u**2. Let m be x(1). Suppose 0 = -7*q + m*q + 60. Is q a multiple of 21?
False
Let f(k) = -k**2 + 9*k - 2. Let v = 9 - 2. Is f(v) a multiple of 6?
True
Let m(a) = -a**3 - 6*a**2 + 6. Let u be m(-7). Let x be (16/(-10))/(3/(-60)). Let c = u - x. Is 11 a factor of c?
False
Suppose -4*j - 3*j = -210. Does 10 divide j?
True
Let c be -7*(2 + -3 - 0). Suppose -c + 2 = -z. Is 5 a factor of z?
True
Let b be (-9)/2*(-8)/6. Let y(z) = 2*z - 4. Does 4 divide y(b)?
True
Suppose 4*m + 5 = 97. Suppose 2*j + m = j. Let b = j - -54. Is b a multiple of 13?
False
Let k be 0 + (3 - 0) - -4. Let i(z) = -z**3 + 6*z**2 + 8*z - 2. Let y be i(k). Suppose 4*l - 5*o = 8*l - 31, -y*o = -l - 11. Is 4 a factor of l?
True
Let w(j) = 2*j**2 + 38*j - 4. Is w(-27) a multiple of 25?
False
Suppose 0 = 2*o - 4*t - 72, 3*o - 3*t + 2*t - 113 = 0. Let y = -11 + o. Let c = y + -13. Is 6 a factor of c?
False
Does 29 divide (-26 - (7 - 4))/(-1*1)?
True
Let g(y) = 4*y + 34. Let v(z) = -3*z 