
False
Let k(r) = 8*r - 3. Let d be k(-4). Let j = -12 - d. Suppose -2*h + 47 = -j. Does 17 divide h?
False
Let g be (-1 - 0)*0/(-3). Let d be g/(-2 + 3 + 1). Is d + (1 - (-8 + 2)) a multiple of 4?
False
Let j(w) = 10*w - 1. Is j(4) a multiple of 13?
True
Let u be (-8)/(-2) - (1 + -2). Suppose f - 4*f = -u*g - 75, 3*f + 2*g - 54 = 0. Suppose 3*i = -2*s + 59, 0 = -2*s + 4*i + f + 18. Does 17 divide s?
False
Suppose -m + 4*m + 120 = -3*l, m + 3*l = -40. Let k = 64 + m. Is k a multiple of 12?
True
Suppose 4*w - 16 = 2*k, 4*k + 60 = 3*w - 2*w. Let g = k + 50. Is 6 a factor of g?
False
Let r(d) = -2*d**2 - 18*d - 8. Does 5 divide r(-7)?
True
Let n = 1 + -5. Let m(y) = -4*y - 2*y + 2*y + 2. Is m(n) a multiple of 13?
False
Let z(k) = -k**3 - k**2 - 4*k + 3. Let w be z(3). Let q be -2 - (-67 + (-2)/1). Let y = w + q. Is 11 a factor of y?
True
Suppose -y - 14 = 2. Let b = 2 - y. Is 18 a factor of b?
True
Let z(v) = v**2 + 6*v + 1. Let n be z(-7). Suppose 0 = 2*i - 4*i + n. Is 16 a factor of i/(1/8 + 0)?
True
Suppose 0 = 3*v - g + 18, 0*v + 5*g = v + 20. Let o(j) = -6*j + 4. Is 8 a factor of o(v)?
False
Suppose -5*b + b + 18 = -2*c, 2*b - 4*c = 24. Suppose -b*p + 12 = p. Suppose -3*x - 5*v + 80 = -0*x, 0 = 4*v - p. Does 22 divide x?
False
Let f(y) = 12*y**2 - 2*y. Is f(-3) a multiple of 19?
True
Let i(f) = -f**3 + 12*f**2 + f - 2. Is i(12) a multiple of 5?
True
Suppose 2*b + 2 = 3*b. Suppose 0*i = -5*i - 20. Does 16 divide i/(-8) + 31/b?
True
Let f be (-4)/(-8) + 3/2. Suppose 4*j - 2*t = 96, 0 = j + t - 23 + f. Let q = j + -11. Is 7 a factor of q?
False
Suppose 2*v = -v - 522. Let u be -3 + (-2)/3*v. Suppose -w - 2*w - 27 = -i, -5*i + 4*w + u = 0. Is i a multiple of 7?
True
Suppose 0 = -o + 3*o + 128. Let n = 94 + o. Is 13 a factor of n?
False
Let l(f) = 16*f**2 + 6*f + 6. Does 33 divide l(-3)?
True
Suppose -6*f + 12 = -6. Is f a multiple of 2?
False
Suppose a = 2*a - 4, 0 = -4*u - a - 4. Let s(n) = -8*n**3 - n**2 + 4*n + 3. Let k be s(u). Suppose -2*t + k = -2*o - 17, 2*o = -3*t + 88. Is 14 a factor of t?
False
Suppose 4*n - 15 = -3. Suppose -1 - 5 = -n*x. Suppose 6 = 2*v + x. Is 2 a factor of v?
True
Let u(r) = 16*r**2 + 3*r + 4. Is 18 a factor of u(-2)?
False
Let q(x) = 4*x**3 - 1. Let y(s) = s + 7. Let m be y(-6). Let p be q(m). Is (-26)/p*18/(-4) a multiple of 11?
False
Let m(s) = s**2 + s + 1. Let y(v) = -9*v**2 - 3*v - 5. Let k(f) = -4*m(f) - y(f). Does 14 divide k(2)?
False
Let s(u) = -95*u**3 + u**2 + 2*u + 1. Let v be s(-1). Suppose 7*i - 2*i = v. Let p = 3 + i. Does 18 divide p?
False
Let z = 107 - 35. Is 18 a factor of z?
True
Suppose q + 4*s = 2*s + 173, -q = -2*s - 157. Does 18 divide q?
False
Let n = -58 + 106. Suppose 0*u - 2*u + n = 0. Does 7 divide u?
False
Let i = -10 + 15. Suppose 0 = i*t, 3*t = 2*l - 67 - 27. Is l a multiple of 21?
False
Suppose 5*v = -2*r + 257, 3*r + v - 382 = -3*v. Let s = r - 57. Suppose -1 = 2*j - s. Is 17 a factor of j?
True
Suppose -3*s + 4*s + 603 = 5*z, -4*s + 348 = 3*z. Does 24 divide z?
True
Let x = -118 + 211. Is 31 a factor of x?
True
Let h(m) = -m**3 - 5*m**2 + 5*m - 3. Let f be h(-6). Suppose -f*n - 2*n = 135. Let y = -6 - n. Is 12 a factor of y?
False
Let i(w) = -2*w - 2. Is 7 a factor of i(-6)?
False
Suppose 30 + 82 = 2*m. Is 6 a factor of (-2)/(-7) - (-880)/m?
False
Suppose -4*c - 5*s - 3 = 0, 0*s = -5*c - 4*s + 3. Suppose -2*d = d - 5*p - 200, -197 = -c*d + 2*p. Is 11 a factor of d?
False
Let t(u) = u**2 - 6*u + 5. Is 21 a factor of t(8)?
True
Suppose 0 = -4*v + 509 - 53. Is 20 a factor of v?
False
Let g be (2/(-4))/(1/(-6)). Suppose 0*a - g = -3*a, 3*a + 25 = -2*k. Is (k/8 - -1)*-12 a multiple of 9?
True
Does 5 divide (-64)/(-10) - 54/(-90)?
False
Suppose 4*j + 221 = -m, -4*m - 99 = j - 25. Let x = -25 - j. Does 12 divide x?
False
Let a be (2 - (-9)/(-3)) + 5. Does 6 divide 3/7*a*7?
True
Suppose 36 = 3*h + 3*i - 30, 32 = 2*h - i. Let l be (-8)/32 + (-890)/(-8). Suppose 0*w = -4*j - 5*w + l, j = 2*w + h. Is 12 a factor of j?
True
Suppose 0 = 3*t - 4*m - 9, -5*t + 3*m + 7 + 8 = 0. Suppose 0 = t*u - 2*x - 103, 0*u - 3*u - 4*x + 91 = 0. Does 11 divide u?
True
Let j be (16/(-20))/(2/15). Let r(g) = g**2 + 6*g + 5. Let q be r(j). Suppose -4*v + 43 = 3*y, -4*y + 0*v + 109 = -q*v. Is 8 a factor of y?
False
Let q be (7 - 1)*(-2)/(-6). Let n(r) = r**2 - 3*r + 2 + 1 + q*r. Is 20 a factor of n(7)?
False
Suppose 5*l - 4 = 3*l. Suppose -5*i = l*t - 22 - 38, i - 5*t = 39. Is 9 a factor of i?
False
Let o(g) = -g**3 + 6*g**2 - g + 5. Is o(5) a multiple of 22?
False
Suppose -2*w + 1 = 2*n + 3, -4*n + 4*w + 28 = 0. Let r = n - -21. Is r a multiple of 12?
True
Let i(j) = -j**3 - 4*j**2 - 7. Is 6 a factor of i(-5)?
True
Let f = 48 - -6. Is f a multiple of 22?
False
Let o(g) = 2*g**2 - 8*g + 2. Let z be (1/3)/((-1)/(-33)). Let l be o(z). Is ((-12)/(-8))/(9/l) a multiple of 26?
True
Let t be ((-12)/10)/((-24)/80). Suppose 0 = -h + 2, -t*h + 13 + 50 = 5*m. Is m a multiple of 5?
False
Is 29 a factor of (216/14)/(42/196)?
False
Let v(w) = -w**3 - 4*w**2 + w + 3. Let p be v(-5). Suppose 0 = u - p + 3. Is u a multiple of 8?
False
Suppose -t - 22 = -5*r, 0 = r - 5*t + t + 7. Suppose 3*v - 4*v - 15 = -5*d, -r*v = 4*d - 12. Suppose 12 = b - 4*i, -6 + 19 = b - d*i. Is 12 a factor of b?
False
Let o(g) = -23*g + 1. Let k be 6/4*(-4)/3. Is o(k) a multiple of 12?
False
Suppose -25 = u + 4*u, 4*c - 3*u = -73. Let h = 4 - c. Is h a multiple of 10?
False
Does 34 divide (2 + -70)*(0 + 5 - 8)?
True
Let x = -6 - -35. Is x a multiple of 20?
False
Let h(x) = 15*x - 6. Let t(d) = -8*d + 3. Let g(q) = -3*h(q) - 5*t(q). Is 16 a factor of g(-9)?
True
Suppose 4*j + 27 = 115. Let h = 39 - j. Is 11 a factor of h?
False
Let l = 27 + 9. Let n(r) = 9*r**3 - r + 1. Let d be n(1). Let y = l - d. Does 10 divide y?
False
Suppose 0 = 3*v + 2*v - 420. Does 14 divide v?
True
Let b = 136 - 10. Is b a multiple of 21?
True
Does 15 divide 1*-2*(-507)/26?
False
Let k = 30 - 7. Let z = k + -14. Is z a multiple of 9?
True
Does 35 divide (-393)/(-3) - (10 + -6)?
False
Suppose -378 = -7*t + 252. Is t a multiple of 11?
False
Suppose 12 = -x + 4*x. Suppose 0 = x*v - 3*v - 31. Is 14 a factor of v?
False
Let c = -3 + 4. Let z(i) = -4*i + 1. Let t(x) = -13*x + 3. Let f(m) = -4*t(m) + 11*z(m). Is f(c) a multiple of 7?
True
Let m(h) = -15*h - 1. Is 9 a factor of m(-1)?
False
Suppose 192 = 26*t - 24*t. Is 24 a factor of t?
True
Let p be (5/15)/((-1)/(-3)). Suppose -r - p = -10. Does 3 divide r?
True
Let b(l) = -7*l - 11. Is 12 a factor of b(-4)?
False
Let c(q) = 3*q**2 - 4*q - 1. Let k be c(-5). Let n = 5 - 3. Suppose 3*x - u - k = 0, 3*u + n*u + 54 = 2*x. Does 20 divide x?
False
Suppose w + 35 = 6*w. Let p = w - -5. Let x = p + -8. Is 2 a factor of x?
True
Is 19 a factor of 154/8 - (-11)/(-44)?
True
Let p(l) = 56*l**2 - 17*l - 3. Let a(u) = 19*u**2 - 6*u - 1. Let c be (-2 + 20 - 1)*-1. Let q(w) = c*a(w) + 6*p(w). Is q(1) a multiple of 12?
True
Let l be 2 - (-2 + -73)/1. Suppose 4*h + 5*m - 2*m = l, -2*m = h - 18. Is h a multiple of 10?
True
Suppose 20*d - 15*d - 1320 = 0. Is d a multiple of 44?
True
Let s(k) = k + 3. Let t(p) = p. Let n be t(1). Suppose 0 = 2*w - 11 + n. Does 8 divide s(w)?
True
Let a(y) = 18*y**2 - y + 3. Does 14 divide a(3)?
False
Let r = 116 - 62. Is 8 a factor of r?
False
Let v(a) = -a**3 - 2*a**2 - a. Let m be v(-1). Suppose 0*p + 3*p - 30 = m. Is 3 a factor of p?
False
Let u(b) = -b**3 - 4*b**2 - 3*b + 2. Let v be u(-3). Let n = 14 - 10. Suppose 0*x + d - 64 = -n*x, 0 = v*d. Is x a multiple of 9?
False
Let w(z) = -z**2 + 12*z - 2. Let m be w(9). Does 25 divide m/(2 + (-2)/2)?
True
Let w be 2/(-3) + (-5)/(-3). Suppose -w = n - 4. Suppose -8 = -n*g + 64. Does 10 divide g?
False
Let h(a) = 11*a - 5. Is h(4) a multiple of 6?
False
Let s = -57 + 94. Let a(y) = -y**3 - y + 1. Let m be a(-4). Let v = m - s. Is v a multiple of 15?
False
Suppose 2*j - 8 = 4*x, -10 = -3*j + 3*x - 1. Suppose 0 = j*c - 3*q - 41, -c - 5*q = -0 - 14. Does 17 divide c?
False
Let m(u) be the second derivative of u**7/840 + u**6/45 + u**5/30 - u**3/3 - 4*u. Let p(h) be the second derivative of m(h). Is p(-7) a multiple of 21?
True
Let c be (1 + -3)*(19 + 0). Let j = c + 67. Is 18 a factor of j?
False
Let c(l) = -23*l - 2. Let a(f) be the third derivative of 15*f**4/8 + f**3/2 -