 = -29 - -109. Let r be (-14)/(-4) + 1/2. Suppose o = -0*q + r*q. Is q a multiple of 7?
False
Let q(f) = -f**2 - f + 1. Let o(u) = 2*u**2. Let v(d) = o(d) + q(d). Let l be v(2). Suppose l = -2*s + 53. Does 9 divide s?
False
Let b(u) = u**2 + 4*u + 3. Let w be b(-3). Let r = 22 - 12. Suppose 2*x - r - 18 = w. Does 13 divide x?
False
Let o = 1 + 2. Suppose o*x + 3 - 4 = -5*s, -2*s - 15 = -x. Does 2 divide x?
False
Let o(y) = 6*y + 50. Let q be o(-4). Suppose 4*r = 2*d + 2*r - 22, -3*d = -2*r - 30. Let f = d + q. Is f a multiple of 10?
False
Let p(r) = 5*r - 2. Let f be p(-5). Let x = -15 - f. Let q = x - 7. Does 5 divide q?
True
Let i(u) = 269*u - 3. Does 37 divide i(1)?
False
Let y(t) = 158*t + 3. Is 14 a factor of y(1)?
False
Suppose -5*d + 3*d = -12. Suppose 11*o + 195 = 5*g + d*o, g - 3*o - 35 = 0. Is 13 a factor of g?
False
Suppose 5*o + 10 = 290. Is 13 a factor of o?
False
Suppose y - z - 147 = -4*y, y - 3*z = 21. Let g = y - -3. Does 14 divide g?
False
Let r(d) = d - 9. Let l be r(9). Let g = 0 + l. Suppose 2*u - 7*u + 150 = g. Is u a multiple of 15?
True
Suppose 2*x + 2*x - 88 = 0. Does 14 divide x?
False
Suppose -464 = -4*m + 4*k, 2*k - 446 = -4*m - 3*k. Does 19 divide m?
True
Suppose -159 - 97 = -4*d. Is 26 a factor of d?
False
Let w(k) = -k**2 - 6*k + 3. Let r be w(-6). Let f(j) = -j**3 + 4*j**2 - j - 3. Let h be f(r). Is 7 a factor of h*3 + (0 - -2)?
False
Suppose 13 = -5*s - 17. Let f(q) = -5*q. Does 24 divide f(s)?
False
Suppose -4*g + 61 = -35. Is 11 a factor of g?
False
Suppose -2*j - 14 = -3*a + 4, -5*a - 5*j + 5 = 0. Suppose -a*p + 111 = -p. Is p a multiple of 16?
False
Suppose -5*d - 9 = -4. Let o(x) = -25*x + 1. Is o(d) a multiple of 7?
False
Let o(t) = 4*t + 4. Does 8 divide o(5)?
True
Let z = -151 - -356. Does 41 divide z?
True
Suppose -172 + 28 = -3*b. Does 3 divide b?
True
Let g = -8 - -16. Suppose 4*t + 0 = g. Suppose -s + 28 = t*v + s, -2*v + s + 13 = 0. Is 4 a factor of v?
False
Suppose 0 = 4*a - 139 - 109. Is 41 a factor of a?
False
Suppose -14 = 2*l + 5*m, 4*m + 25 = 5*l - 2*l. Suppose -l*t = v - 5*t + 1, 0 = v - 5*t + 7. Suppose v*q - 28 = -q. Is q a multiple of 7?
True
Suppose 0 = u - 4*l - l - 25, l = -5*u + 255. Does 15 divide u?
False
Suppose -1 + 5 = -c. Let w be ((-15)/(-12))/((-1)/c). Suppose -3*t + 18 = 3*q, 3*t + w*q - 3 = 11. Does 6 divide t?
False
Does 4 divide (5 + (-8)/2)/(3/126)?
False
Suppose 6*y - 2*y - 624 = 0. Does 26 divide y?
True
Let f = -3 - -6. Suppose 44 = f*n + 2*s - 6*s, 50 = 4*n - s. Does 5 divide n?
False
Let a be (2 + 1)/(-6)*210. Let f = -68 - a. Let t = f + -12. Is 10 a factor of t?
False
Let q = 377 - 90. Does 19 divide q?
False
Let p = -39 - -43. Is p a multiple of 4?
True
Let s = 27 - 24. Is s a multiple of 2?
False
Let k be (-4 - -5)/((-2)/26). Let f = -2 - k. Does 8 divide f?
False
Let i = 165 + -99. Suppose -2*o - 2*w + 18 = -o, 3*o + 3*w = i. Is o a multiple of 8?
False
Suppose -5*k + 18 = -12. Does 4 divide (8/k + 2)*3?
False
Let s = -41 - -68. Does 9 divide s?
True
Let g(l) be the second derivative of -2*l + 0 + 1/2*l**2 + 1/6*l**4 - 1/3*l**3 + 27/20*l**5. Is g(1) a multiple of 11?
False
Suppose 10 = -3*s + 235. Is 15 a factor of s?
True
Is 24 a factor of 4/(-2) - 47*-1?
False
Let d(c) = -3*c - 6. Let x be d(7). Let q = 46 + x. Does 15 divide q?
False
Suppose -5*v + 21 = 6. Is 11 a factor of v - 1*(-17 + -2)?
True
Suppose -3*r = 2*r. Let f(a) = a**2 - a - 35. Let j be f(r). Let c = 55 + j. Does 13 divide c?
False
Let l = -45 + 63. Is l a multiple of 18?
True
Suppose -n = n. Let o(f) = f**2 + 21. Does 8 divide o(n)?
False
Suppose 0*n + 480 = 4*n. Is 15 a factor of n?
True
Let m(j) = j**2 - 8*j + 3. Let v be m(8). Let n(p) = 4*p - p**2 - 4 - 6*p - v*p - 7*p. Is 19 a factor of n(-6)?
False
Let b(j) = j**2 - j. Let v(g) = -4*g**2 + 5*g + 6. Let k(r) = -2*b(r) - v(r). Is 15 a factor of k(5)?
False
Suppose 4*r - 521 + 103 = -5*m, -113 = -r + 3*m. Does 5 divide r?
False
Let f(v) be the third derivative of v**6/120 - v**5/30 - v**4/6 - v**3/3 - 9*v**2. Is f(4) a multiple of 11?
False
Suppose 3*l + 1 - 13 = 0. Suppose -l*d - 1 + 9 = 0. Suppose 2*r + 22 = 3*i, 2*i + d*r = -0*r + 18. Does 3 divide i?
False
Suppose -4*i - 24 = -w, 4*i + 25 = 3*w - 23. Suppose 5*g - 65 = -0*g - 5*b, -g + w = 2*b. Is 5/(2 + (-26)/g) a multiple of 14?
False
Suppose 0*s = 5*s - 25. Suppose 4*v + s = -3. Is (-3)/v*(-8)/(-6) even?
True
Suppose 0 = -d + 11 + 1. Does 4 divide d?
True
Let h(p) = p + 1. Let n be h(2). Let x(u) = -1 + 4 + 3*u - 2 - n. Does 11 divide x(9)?
False
Let d be 2/(-6) - 8/12. Let h be d/(1 + 7/(-6)). Let m = h - 0. Is 3 a factor of m?
True
Let d = 44 - 23. Let j = d + -11. Is j a multiple of 4?
False
Let i = -23 + -20. Let n = i + 105. Is 20 a factor of n?
False
Suppose -4*s + 0*s = -4*r + 276, 0 = 2*r + 4*s - 132. Is 14 a factor of r?
False
Let p be 2/(-5) - 144/(-10). Suppose -p = 3*z - 56. Does 9 divide z?
False
Suppose -y = 4*y - 1480. Does 37 divide y?
True
Let i(g) be the third derivative of -g**5/60 - 13*g**4/24 - g**2. Let p be -7 - (0 + -1 - -3). Does 18 divide i(p)?
True
Let l(t) = t**3 + 16*t**2 - 10*t - 24. Let i be l(-16). Suppose -2*s - i = -5*w + 2*s, -4*s = w - 8. Does 6 divide w?
True
Let p(n) = -n**2 - 6*n - 3. Let x be p(-5). Suppose -c + 5*c = w + 179, -x*w = -3*c + 128. Is 23 a factor of c?
True
Is 10/35 - 1584/(-42) a multiple of 5?
False
Suppose 0 = x + x + 3*w - 90, -3*w = -2*x + 102. Does 12 divide x?
True
Let o = 22 - 14. Let u = o - 3. Suppose 0 = u*f - f - 72. Is 11 a factor of f?
False
Suppose -2*p = -3*s + 115, s - 3*p = 4*s - 135. Is 15 a factor of s?
False
Does 12 divide 5/15 - 834/(-9)?
False
Let l(t) = t**2 - t + 1. Let v be l(-2). Let n be 16*3/(v - 1). Let d = -2 + n. Is d a multiple of 3?
True
Suppose -p + 0*p = s - 84, -420 = -5*s + 3*p. Let h = s + -53. Is h a multiple of 7?
False
Let j = 230 - 104. Is j a multiple of 21?
True
Let l = -13 - -43. Is 6 a factor of l?
True
Is 6 a factor of (1*6)/(2/7)?
False
Suppose 0 = -4*k - 3*q + 6*q + 723, 0 = -3*k - 3*q + 516. Is k a multiple of 20?
False
Let s(f) = f**2 + 3*f - 12. Suppose 2*u = 4*u + 18. Is s(u) a multiple of 14?
True
Suppose -2*o + 3*r = -30, 2*o - 38 = -0*o + r. Is o a multiple of 7?
True
Let n(k) = k**3 + 10*k**2 + 6*k + 8. Let d(g) = -2*g**3 - 21*g**2 - 13*g - 16. Let a(m) = -3*d(m) - 7*n(m). Let x be (-1 - -8)*(2 + -3). Does 13 divide a(x)?
True
Let o = -174 + 114. Does 6 divide o/(-2)*(-2)/(-4)?
False
Suppose -q - 4*q + 30 = 0. Suppose -g - 3*l = -17, 5*g + 3*l - q*l = 85. Is 14 a factor of g?
False
Suppose i - 5 = b - 2*i, 5*b + 35 = 5*i. Let w = 5 - 5. Let g = w - b. Is 8 a factor of g?
True
Suppose -h - 5*x = 1, 6*h - 3*h + x = 39. Let n be 32/h + 4/(-14). Let m = 43 + n. Is 22 a factor of m?
False
Suppose 4*o = -4*s, 3*s + 25 + 3 = 4*o. Suppose 68 = 4*a - o*x, 4*a + 2*x + 17 = 5*a. Does 10 divide a?
False
Let l(k) = -4*k - 7. Let u be l(-3). Suppose 0*p - p + r + 14 = 0, 2*p = -u*r + 56. Is 6 a factor of p?
True
Let f(i) = 66*i**2 - i - 2. Let h be f(-2). Suppose -p = 3*p - h. Is 10 a factor of p?
False
Let d(t) = -7*t - 7. Is d(-5) a multiple of 14?
True
Let c = 9 + 21. Is (c/(-7))/(1/(-7)) a multiple of 14?
False
Let g be (-6 + 16)/((-1)/(-2)). Is 7 a factor of g/(-3)*(1 - 4)?
False
Let n(j) = -3*j - 1. Does 7 divide n(-14)?
False
Suppose 6*x - 3*x = 3. Suppose -x + 5 = 2*d. Suppose d*o = -2*p + 68, p + 0 - 18 = 3*o. Is p a multiple of 15?
True
Let h(d) = 17*d**3 + d**2 + 2*d - 2. Does 18 divide h(1)?
True
Suppose 11 = -2*r - 9. Let a be 4/r*(-45 + 0). Is 4 a factor of a/(-15)*(-80)/12?
True
Let c = 2 + 0. Suppose c - 46 = -4*j. Does 4 divide j?
False
Suppose -w + 10 = -8*m + 3*m, 0 = -5*m - w - 10. Let d be m - 1 - 16/(-2). Suppose 4*r + d*n - n - 16 = 0, 2*r - 12 = -n. Is r a multiple of 8?
True
Let k = 5 - 6. Let d be k/(2*3/102). Is 15 a factor of (-3 + d)*3/(-4)?
True
Let o = 34 + 6. Does 8 divide o?
True
Suppose 2 = 5*j - 8. Is 33 a factor of 22/(2*j/6)?
True
Suppose 3*s = 8 + 1. Suppose d = -s*m + 40, 0*m = 3*m - 4*d - 35. Is m a multiple of 2?
False
Let k = -36 + 84. Is k a multiple of 24?
True
Let f(q) = q**2 - 3*q - 1. Suppose -v + 2 = -11. Suppose v = -z + 2*b, 0 = -0*z + 5*z + b + 21. Is f(z) a multiple of 14?
False
Let o(p) = p**3 + 7*p**2 - 6*p + 3. Is 9 a factor of o