ue
Let w(u) = -u**2 + 7*u - 3. Let n be -6 + 4 + 8 + -1. Let c be w(n). Is 17 a factor of (-35)/(-2) - c/14?
True
Let i(d) = 4*d + 1. Let m(t) = 2*t - t**3 + 12*t**2 - t - 4 - 12*t + 8. Let f be m(11). Is i(f) a multiple of 10?
False
Let x = 43 + -30. Does 7 divide x?
False
Let x = -6 + 8. Let t(c) = 3*c**2 + 1 + 204*c - 104*c - 99*c. Is 5 a factor of t(x)?
True
Suppose 0 = 4*p + 208 + 48. Let s = -38 - p. Suppose 5*w - 129 = s. Is 11 a factor of w?
False
Let j be 3/12 - (-91)/4. Let g(t) = -t**3 - 6*t**2 + 6*t + 3. Let n be g(-7). Let k = j - n. Does 13 divide k?
True
Let b(s) = -s**3 + 9*s**2 - s - 10. Let v be b(9). Let w(d) = -14*d. Let g be w(-4). Let n = v + g. Does 21 divide n?
False
Let d be (2 + 5)*2/2. Let s(i) = -i**2 + 7*i - 6. Let m be s(5). Let w = d + m. Is w a multiple of 5?
False
Let s(g) = g**2 - 5 + 2*g**2 + 4 + 2. Let l be (1/1)/(1/3). Is s(l) a multiple of 14?
True
Let n = -66 + 105. Does 10 divide n?
False
Suppose 2*d + 6 = 5*q, -5*d - 5*q = 2 - 22. Suppose 117 = 6*y - 4*y - 3*m, 4*m - 124 = -d*y. Is 20 a factor of y?
True
Let w(v) = v**3 - 7*v**2 + 4*v + 6. Let p be w(7). Suppose 2 = -y + p. Suppose y = 7*d - 3*d. Is d a multiple of 6?
False
Let v = -5 + 9. Let l be v/(-14) - 92/(-28). Does 3 divide 1/(((-9)/(-12))/l)?
False
Let o(v) = v - 1. Let s be o(5). Suppose -s*i = 4*j - 16, 3*j + 3*i - 6 = 2*j. Suppose j*a = 2*a + 22. Is 6 a factor of a?
False
Let d(v) be the second derivative of 6*v**5/5 + v**4/12 - v**3/3 + v**2/2 - 3*v. Let r = 1 + 0. Is 9 a factor of d(r)?
False
Let d(n) = -2*n + 2. Suppose -z = z + 10. Let c(m) = m + 3. Let y be c(z). Is 3 a factor of d(y)?
True
Let q = -11 - -13. Is 6 a factor of ((-152)/(-2))/q + 4?
True
Let x = -7 - -9. Suppose -2*j = x*l + 2*j - 32, -15 = 5*j. Is 12 a factor of l?
False
Suppose 2*f - 58 = -18. Is 6 a factor of (-2 - f)/(8/(-4))?
False
Suppose -3*b + 325 = b - 5*o, o + 5 = 0. Is b a multiple of 11?
False
Let s(w) = -w**3 + 5*w**2 + 2*w. Let i be 99/21 + (-6)/(-21). Is 5 a factor of s(i)?
True
Let h(x) = x - 2. Let g be h(0). Let v = -1 + g. Is 4 a factor of ((-1)/(-2))/(v/(-66))?
False
Let a be 1130/18 + 10/45. Does 3 divide a/(-35)*5/(-1)?
True
Let u = -5 + 7. Suppose -u*k + 3*y + 17 = 0, k + 5*y + 1 = 16. Suppose -120 = 6*j - k*j. Does 12 divide j?
False
Suppose 354 = 5*p - 46. Is p a multiple of 16?
True
Let r(z) = 3*z**3 + 15*z**2 - 7*z + 12. Let t(c) = 2*c**3 + 10*c**2 - 5*c + 8. Let p(u) = 5*r(u) - 7*t(u). Does 4 divide p(-5)?
True
Let g = 13 + -300. Is 3/(-2) - g/14 a multiple of 19?
True
Let c(l) = 13*l - 5. Let w be c(-5). Does 6 divide w/(-4) - 6/(-12)?
True
Let l be 2 - (3 - 3) - 5. Let x(n) = -2*n**3 - 2*n**2 + 5*n + 3. Does 12 divide x(l)?
True
Let p(f) = -96*f + 2. Let g be p(1). Does 8 divide (-5)/(-15) - g/6?
True
Suppose 3*f + f = 5*b - 1396, -3*b + f + 832 = 0. Is 9 a factor of b?
False
Suppose -3*w + 21 = 5*q, 5*w + 0 = 5*q - 5. Suppose 3*y - j + 2 = 0, -y - q*j - j - 5 = 0. Let i = 7 - y. Is 8 a factor of i?
True
Let s(f) = 8*f. Let d(o) = -7*o + 1. Let v(l) = -6*d(l) - 5*s(l). Let t be v(5). Suppose t*n + 5*k = 18, -n - 5*k = 4*n - 25. Does 7 divide n?
True
Let b = -27 + 52. Suppose -s - b = -6*s. Does 2 divide s?
False
Let m = 51 + -42. Is 2 a factor of m?
False
Let c = 26 - 5. Let s(m) = 2 + m**3 + c - 7 + m**2. Is s(0) a multiple of 12?
False
Let y be (-2)/(-5) + 6/(-15). Let q(i) = 2*i**2 - 2*i - 4. Let f be q(3). Suppose -d + 2*d - f = y. Does 6 divide d?
False
Suppose 0 = -2*h + 35 + 31. Does 11 divide h?
True
Let n be (-80)/10 - (1 - 3). Let c = n - -8. Is c a multiple of 2?
True
Let r be (-4 - (1 - 3)) + 8. Let m = -2 + r. Suppose -4*j + 84 = 3*z - 48, -4*j = -m*z + 148. Is z a multiple of 18?
False
Let l be (1/(-2))/(3/366). Let c = l + 89. Let q = c + -12. Is 7 a factor of q?
False
Suppose 3*h + 2*d - 149 = 0, -2*h = h + d - 151. Is 8/(-20) + h/15 even?
False
Let l(v) = -v**3 + v**2 + v + 1. Let k be l(-1). Suppose k*f + 6 = -4*j, j + 2 = -3*f - 7. Suppose j = -3*q - q + 32. Is 8 a factor of q?
True
Suppose 7*m - 6*m = 42. Is 21 a factor of m?
True
Let x be (-1)/(-2 - (-15)/9). Suppose -5*a + 80 = 5*t, 0*t - t = x*a - 46. Is 10 a factor of a?
False
Suppose 2*o - 4*r = -8, -7 + 18 = -2*o + r. Let c(q) = -9*q + 8. Let m(h) = 28*h - 24. Let p(y) = 7*c(y) + 2*m(y). Is 19 a factor of p(o)?
False
Let q(v) = 5*v - 63. Is q(27) a multiple of 24?
True
Let b = 446 - 254. Is b a multiple of 17?
False
Suppose 3*x = p - 156, 2*x - 3*x + 140 = p. Is 12 a factor of p?
True
Suppose -2*j = -t + 15, -3*t + 0*t = -3*j - 30. Suppose 168 = t*c + v + 51, 4*c - 5*v = 82. Is c a multiple of 9?
False
Suppose 0 = 3*a + 3 + 147. Let x be (-12)/(-10)*a/15. Is 13 a factor of 210/8 + x/16?
True
Let a(p) be the second derivative of -5*p**3/6 - 5*p**2/2 + 2*p. Is 10 a factor of a(-7)?
True
Let s be (6 - 1)*(1 - 0). Suppose -2*c - 3*c + p - 101 = 0, -2*c = s*p + 62. Is (c/6)/(1/(-10)) a multiple of 19?
False
Suppose -f + 5*k = -169, -547 = f - 4*f - 5*k. Suppose -3*y - f = -i + 363, 12 = -3*i. Does 9 divide (-3)/(-12) + y/(-8)?
False
Let d = 47 + 18. Let t = -31 + d. Is 16 a factor of t?
False
Let y be (-2)/(-1) - (63 - -4). Is 8 a factor of 6/(-5)*y/2?
False
Let p(u) = u**3 + 4*u**2 - u + 6. Let w be p(-5). Is 4 + 0 + -8 - w a multiple of 5?
True
Suppose 86 - 26 = -3*t. Let j = -3 - t. Is 17 a factor of j?
True
Suppose 0 = 5*j - 5*k + k - 96, 0 = 3*k + 12. Suppose -4*p + j = -0*p. Does 7 divide (14/p)/((-4)/(-8))?
True
Let x be (3/6)/((-1)/(-4)). Suppose 7*f - 48 = 2*f + x*s, -3*f + 3*s + 36 = 0. Is f a multiple of 4?
True
Suppose -5*b = -0*b - 25. Suppose -b*w - 50 = -5*l, -3 = -l + 2*w + 8. Is l a multiple of 4?
False
Is 12 a factor of 5*(342/(-5))/(-6)?
False
Let r(b) = -2*b + 4. Is r(-9) a multiple of 11?
True
Is 86/10 + 6/(-10) a multiple of 4?
True
Let n(c) = 3*c**3 - 6*c**2 + 4*c + 5. Let f be n(4). Let g = f - 79. Does 19 divide g?
True
Let s = 3 - 1. Suppose 2*l - 3*l = s. Is 12 a factor of (0 - -20) + 2 - l?
True
Suppose 2*k = 3*x + 1, k - 3 + 5 = 4*x. Suppose 3*i = -k*w + 84, 0*w + 32 = w + 4*i. Is w a multiple of 16?
True
Let h(g) be the first derivative of 16*g**3/3 + g**2 - g + 4. Does 13 divide h(2)?
False
Suppose -2*n = 3*n. Suppose n*k - k + 4 = 0. Is 2 a factor of k?
True
Let d = 1 + -1. Suppose -g + 2*u + 28 = d, 4*g + 0*g = u + 91. Suppose -4*w = -g - 14. Is w a multiple of 4?
False
Let m = 153 + -108. Is 24 a factor of m?
False
Let f(v) be the first derivative of 5*v**2 + 3 - 1/4*v**4 - 5/3*v**3 + 2*v. Is f(-7) a multiple of 15?
True
Let g = 15 + -44. Let k = 4 - g. Does 11 divide k?
True
Let n(f) = 14*f - 11. Is 20 a factor of n(9)?
False
Let y be 3 - (2 + 4) - -2. Does 4 divide (y/(-2))/((-5)/(-80))?
True
Let i(f) = f**3 - f**2 + 2. Let g be i(0). Suppose 0 = 3*v - 5*m - 0*m - 14, 3*v - 20 = g*m. Is 4 a factor of v?
True
Suppose 2*u + 89 - 269 = 0. Let h = u + -56. Is 14 a factor of h?
False
Let j = 20 - -3. Let q = -19 + j. Is 4 a factor of q?
True
Let g(r) = -2*r - 4. Let l be g(-3). Suppose 2*o - 1 = -q, -3*q + l*q + 5*o + 1 = 0. Is q/(3/6*1) even?
True
Suppose 5*v - 11 - 19 = 0. Let y = v + -4. Suppose -y*i = -3*i + 26. Is i a multiple of 13?
True
Let b = -9 + 11. Suppose -3*q - 69 = -3*t, 0*t = -2*t - b*q + 46. Is t a multiple of 12?
False
Let r(q) = q**3 - 12*q**2 - 15*q + 41. Does 4 divide r(13)?
False
Let w = 98 + -95. Is w even?
False
Let p = 2 - -9. Is 9 a factor of p?
False
Let z(l) = -l - 10. Let m be z(-14). Suppose -3*s + 2*b + 91 - m = 0, 3*b + 58 = 2*s. Does 19 divide s?
False
Let z = 6 - 6. Suppose 2*m - 20 + z = 0. Is m a multiple of 10?
True
Suppose 3*o + 2*k - 3*k = 360, -2*o + 240 = 2*k. Is 30 a factor of o?
True
Let p(z) = 14*z**2 - 15*z + 40. Is p(4) a multiple of 68?
True
Let y(u) = -u + 92. Let k be y(0). Suppose 4*f + k - 268 = 0. Is 15 a factor of f?
False
Let n be 14/8*(10 - 6). Suppose -4 = k - 2*k + d, 5*k - 17 = 4*d. Suppose -2*b + n = -k. Is b even?
True
Suppose 0 = -0*w - 5*w + 555. Suppose 0 = 3*r + 3*m - w, r + 5*m = 4*r - 135. Is 10 a factor of r?
True
Suppose -2*i + 88 = 12. Suppose -3*g = 4*u - g - i, -3*u = 3*g - 36. Let d(l) = 2*l - 2. Does 12 divide d(u)?
True
Is 79*(-1 + (-2 - -4)) a multiple of 21?
False
Suppose 0 = -5*q - 15, -4*n + 5*q = -0*n - 27. Let j(l) = 3*l**2 + l. Let w be j(-1). Is n/w*68/2 a 