f d?
False
Is 3 a factor of (-24)/(4*1/(-2))?
True
Let l(w) = 2*w**2 + 14*w + 4. Is l(-8) a multiple of 4?
True
Let z be 22/(-10) - (-3)/15. Let s(g) = -3*g**3 - g**2 + 3*g + 3. Let a be s(z). Suppose -197 = -4*o + 5*y, 3*y - 45 = -o + a. Is 18 a factor of o?
False
Let j be 7/2 + 5/(-10). Suppose 3*v = -s - 2 + 13, -4*v = -j*s - 6. Suppose 75 = 7*p - s*p. Does 15 divide p?
True
Let q be -13*1 + 2/(-1). Let d = q - -25. Is ((-52)/d)/(4/(-10)) a multiple of 13?
True
Let u(w) = w**3 - 10*w**2 - 9*w + 11. Does 15 divide u(13)?
False
Suppose 8 = -5*n + 38. Does 6 divide n?
True
Is 15 a factor of 47 + (2 - 1) - -3?
False
Let v(c) = -2*c + 9. Is v(-6) even?
False
Let l = 12 - 3. Let s = 27 - l. Does 18 divide s?
True
Suppose -13 + 1 = 4*p. Does 11 divide p + 0 + (18 - 4)?
True
Let i(y) = -y**3 - 16*y**2 - 12*y - 35. Is 23 a factor of i(-16)?
False
Suppose -2*q = -5*d + 3*d + 14, -q = 2*d - 17. Does 8 divide d?
True
Let y(l) = -l**3 - 10*l**2 - 5*l - 11. Let j be y(-10). Is j/12 - 1/4 a multiple of 3?
True
Let j(d) = -4*d + 4. Let u be j(-5). Suppose 0*o - 2 = i + o, -2*i + 5*o = -u. Suppose m = x + i*x + 33, -5*x = -m + 37. Is m a multiple of 9?
True
Suppose -4*c - 3*s = 2*s - 36, s = -5*c + 66. Does 14 divide c?
True
Let z = -22 - 15. Let o = z + 64. Is 9 a factor of o?
True
Suppose 0*v = 3*v + 4*u - 257, -2*v = -3*u - 177. Does 29 divide v?
True
Is 5 a factor of (6/4 + -4)*-4?
True
Suppose 0 = -2*g + 8 - 2. Let y be (-28)/70 + 12/5. Suppose -6*x = -y*m - 2*x + 10, g*x = -4*m + 64. Does 4 divide m?
False
Let n(g) = g + 1. Let s(v) = 2. Let r(w) = -n(w) + s(w). Let t(z) = -z**3 + 2*z - 3. Let b be t(2). Does 7 divide r(b)?
False
Suppose -5*b + 333 = 4*q - 560, 540 = 3*b + q. Is b a multiple of 14?
False
Is -4 + (-17)/(-4) - 1401/(-12) a multiple of 31?
False
Let n(c) = -18*c**3 - 4*c**2 - 3*c - 2. Let g be n(-2). Suppose -5*t + t = -g. Is t a multiple of 11?
True
Let l(f) = 2*f**2 - f - 1. Let v be l(-2). Is (-4)/(-18) + 187/v a multiple of 12?
False
Suppose 2*m + 6 = 0, -h - 2*m - 7 = -1. Suppose h = -12*k + 8*k + 64. Is 8 a factor of k?
True
Let z(v) = v**2 - v + 18. Does 6 divide z(0)?
True
Suppose -4*u - 4*t = -2 + 70, 5*t = -4*u - 73. Let r be u*((-42)/8 - -2). Suppose -3*n + r = 3. Does 6 divide n?
True
Suppose 8 = -5*o - 42. Let f be (8 - 7)/((-2)/o). Let g = f + -2. Is g a multiple of 3?
True
Let w = 113 + -39. Does 37 divide w?
True
Let l = 52 - 32. Suppose 2*j - 4 - l = 0. Is j a multiple of 6?
True
Let q(f) = -f**3 - 15*f**2 - 4*f - 25. Is q(-15) a multiple of 5?
True
Let v(c) = 3 + 3*c - 2*c - c**3 - 4*c**2 + 2*c + 6*c**2. Let z be v(3). Let b = 31 - z. Is b a multiple of 14?
True
Suppose -3*b - 1 = 20. Let a = b + 10. Suppose -5*k + z + 51 = -k, 4*k = a*z + 41. Is 7 a factor of k?
True
Suppose -5*x = -4*x - 72. Suppose -2*l + x + 2 = p, -178 = -5*l + p. Is 12 a factor of l?
True
Let y = 39 + -33. Does 3 divide y?
True
Suppose -p - 7 + 4 = 0, -4*h = -3*p - 57. Does 6 divide h?
True
Suppose h - 2 = 4. Let x(j) = j**3 - 5*j**2 - 6*j + 1. Let o be x(h). Suppose a = 15 - o. Is 7 a factor of a?
True
Let b be (5 + -2)/3*0. Suppose b = -5*r + 2*r + 9. Is r a multiple of 3?
True
Let k be (-14)/(-49) + 24/14. Suppose -a + 2*a = -k*v + 35, -2*a + 68 = 5*v. Is 15 a factor of a?
False
Let g be (-2)/(-9) - (-152)/(-36). Is 13 a factor of (-103)/g - 5/(-20)?
True
Let k(g) be the second derivative of -g**4/12 - 4*g**3/3 + g**2/2 - 10*g. Let o = 1 - 8. Is k(o) a multiple of 4?
True
Let s = 40 - 88. Let z = 75 + s. Suppose z = -0*r + r. Does 15 divide r?
False
Suppose -12 - 8 = -4*y. Suppose -94 = -y*a + 16. Does 11 divide a?
True
Let g(w) = w + 11. Let a be g(-7). Suppose 0 = 2*p - a*m - 54, 2*p = 7*p + 4*m - 93. Is 11 a factor of p?
False
Suppose 10 + 20 = 2*f. Is 3 a factor of f?
True
Let t = -5 + 7. Suppose 0 = v + t - 3. Let p(s) = 31*s**3 + 2*s**2 - 1. Does 12 divide p(v)?
False
Suppose 3*c + 2*m - 118 = c, 3*c - 185 = 5*m. Is c a multiple of 30?
True
Suppose -4*g - 15 = 9. Let p(a) = a**3 + 5*a**2 - 2*a - 7. Let h be p(g). Let m = 71 + h. Is m a multiple of 20?
True
Let p be (4 + -2)/(3/3). Suppose -p*z - 30 = -4*d - 8, z = -d + 13. Does 8 divide d?
True
Suppose -4*z + 236 = 2*q, 2*z - 54 = -2*q + 62. Suppose 0 = 2*f - 3*f + z. Suppose -5*b = 3*j - f, -j + 45 = j + 5*b. Is j a multiple of 15?
True
Suppose -c + 32 = 5*i, -3*c - 3*i - 72 = -4*c. Let q(v) = -v + 15. Let f be q(11). Suppose f*l - 4*b = -b + 81, -3*l + b = -c. Is 18 a factor of l?
True
Let s = 9 + 0. Suppose -s + 2 = -i. Does 7 divide i?
True
Let k = -7 + 7. Let v be 1*(1 - (k + -1)). Suppose -v*g - 3*j - 4 = 0, -j - 8 - 8 = -3*g. Is 4 a factor of g?
True
Let c(r) be the third derivative of r**5/60 - r**3/3 - r**2. Is c(2) a multiple of 2?
True
Suppose -4*r - 4*g + 3 = 43, -2*g = -r + 2. Does 4 divide (10/(-3))/(4/r)?
False
Suppose 3 - 5 = -2*b. Suppose -3*k = b + 11. Is k/10 - 184/(-10) a multiple of 18?
True
Suppose -3*w - 177 = -4*z, -4*z + 7*w = 2*w - 183. Does 14 divide z?
True
Let l(p) = -p**3 + 5*p**2 - 4*p + 2. Let g be l(3). Suppose g = -4*s - 0. Is 7 a factor of 24 + (3 + s)/(-1)?
False
Let h(o) = -o**3 - o + 30. Is h(0) a multiple of 15?
True
Let s = 2 + 1. Suppose -2*n - 5*z = n - 36, 0 = s*n - 4*z - 36. Is 6 a factor of n?
True
Suppose 3*z = 2*z + 2. Let b(d) = 2*d**2 - d - 1. Does 5 divide b(z)?
True
Suppose -2 - 5 = -d. Is d a multiple of 2?
False
Let u(w) = 18*w + 3. Is u(4) a multiple of 15?
True
Let l(t) = -t**3 - 3*t**2 + 4*t + 3. Let s(o) = -o + 2. Let c be s(6). Let u be l(c). Suppose -d = -u - 2. Is d even?
False
Let t(a) = -5*a + 3. Let i(y) = 14*y - 10. Let x(u) = -28*u + 20. Let b(j) = 7*i(j) + 3*x(j). Let n(q) = 3*b(q) + 10*t(q). Is n(-4) a multiple of 16?
True
Suppose -2*l + 12 + 82 = 0. Is l a multiple of 18?
False
Suppose 19*h - 15*h = 684. Does 18 divide h?
False
Let o be 1*(1 + -2) + 11. Let x = o - 5. Suppose -x*i - 15 = -170. Does 11 divide i?
False
Is 15 a factor of (-2)/((-16)/514) - 60/240?
False
Suppose 5*z = -2*p + 76, -3*z - 57 = -3*p + 57. Is 10 a factor of p?
False
Let s(x) = 17*x + 4. Let a be s(-2). Suppose 3*r - 158 = -2*i, -i + 0*i = -2*r + 103. Let v = a + r. Is 17 a factor of v?
False
Suppose -2*u = -5*u + 39. Does 9 divide u?
False
Let p be 0*3/(-6)*1. Let c = p - -4. Suppose 28 = 4*o - c. Is o a multiple of 8?
True
Suppose -3*b + 32 = -112. Is 24 a factor of b?
True
Let c be (4/(-3))/((-10)/15). Suppose -5*y = 3*z - 78, c*y - 5*z - 2 = 3*y. Does 9 divide y?
True
Suppose -22 + 217 = 5*t. Is 8 a factor of t?
False
Let h(v) = 2*v**2 - 8*v + 5. Let a be h(12). Let x(c) = -2*c - 3. Let k be x(-4). Suppose -k = 4*f - a. Is 13 a factor of f?
False
Let x(s) = 208*s**3 - s**2 + 4*s - 2. Is 19 a factor of x(1)?
True
Let i(k) = 15 - 4*k - 11 + 4*k + k. Let r be i(0). Is 12 a factor of 19 + (-1 + r)*-1?
False
Suppose 4*x = 6*x - 138. Is x a multiple of 16?
False
Suppose 3 = -5*r + 18. Suppose 5 = 2*b - r. Suppose -7*g - 97 = -4*f - 2*g, -b*f - g = -115. Is f a multiple of 14?
True
Let a = -13 - -78. Is a a multiple of 14?
False
Is 3 a factor of (-86)/(-6) + (8 - 5)/(-9)?
False
Suppose 0 = 4*z - 0*z - 308. Is z a multiple of 27?
False
Let u be 26/(-8) + (-7)/(-28). Let n = 7 + u. Is 4 a factor of n?
True
Suppose 0*p - 5*p + 25 = 0. Suppose p*h + 15 = -r, 0 = -r + 2*r + 3*h + 23. Let u = -17 - r. Is u a multiple of 18?
True
Suppose -11*f = -190 - 646. Is f a multiple of 30?
False
Let u(f) = -f**3 + 11*f**2 + 10*f + 5. Does 9 divide u(11)?
False
Let v(y) = -2*y + 9. Is v(-3) a multiple of 3?
True
Suppose -7 - 8 = r. Let c(o) = -o**2 - 21*o - 18. Is 18 a factor of c(r)?
True
Suppose -18 = 3*h + 4*n, 3*n + 12 = -2*h - 0*n. Suppose -t - o = -6*t - 15, 0 = -3*t - 4*o + 14. Is (-69)/h + 1/t a multiple of 3?
False
Let f(p) = p**2 - 4*p + 1. Let v be f(4). Suppose -2*r - r - 6 = -3*y, 4*y + 5*r = -10. Is 10 a factor of (y + -2)*(-5)/v?
True
Let o = -11 + 29. Suppose -2*k + 6 = -x, 5*x + 20 = 2*k + 6. Suppose m + o = k*m. Is 10 a factor of m?
False
Let r be -53*(3/(-1) - 1). Suppose -4*b + 52 = -r. Suppose 4*t = -3*o + 71, 8*t - 4*t + 2*o = b. Is 14 a factor of t?
True
Let o(g) = g**3 + 3*g**2 - 5*g + 2. Let v be o(-4). Let k = 13 - v. Is k a multiple of 3?
False
Is ((-51)/6)/(3/(-6)) a multiple of 10?
False
Let b(n) = -3*n**3 - 2*n**2 - 2*n - 11. Let l(g)