 Suppose -15 = -2*t + n*l, -t + 3*t - 2*l = 10. Suppose t*q + 40 = 5*q. Does 8 divide q?
True
Suppose -20 = -0*p - 5*p. Suppose v + 116 = 5*i, -p*i + 46 = 3*v - 62. Suppose -x = -4*b - i, b = -x + 4*x - 72. Is x a multiple of 9?
False
Let u be 32/6*(-27)/6. Let a = u - -46. Is 12 a factor of a?
False
Let p(t) = 5*t - 5. Is 20 a factor of p(5)?
True
Suppose k = -0*k. Suppose 726 = 4*n + i, k = -4*n - 3*i + 842 - 120. Suppose 0 = -4*b - 66 + n. Does 9 divide b?
False
Suppose -5*t = -4*v - 8, -2*v = -4*t + 11 - 1. Let r be -2*9/6*-2. Suppose 2*d = l - v, -5*d - 1 = -r. Does 4 divide l?
False
Suppose -6 = -2*i - 2*w, -3*i + 5*w + 31 = -2. Is 39 - 0/(i + -2) a multiple of 14?
False
Let t = -16 - -53. Let j = t - -8. Does 15 divide j?
True
Suppose -1185 - 1565 = -10*o. Does 25 divide o?
True
Suppose -1 + 5 = 2*z. Suppose 9 = -z*w + 47. Does 12 divide w?
False
Let q = 79 - 46. Does 11 divide q?
True
Suppose -27 = -5*s + 68. Is s a multiple of 6?
False
Suppose -19*d + 188 = -17*d. Is d a multiple of 15?
False
Let l(s) = s**2 - 4*s - 8. Is 2 a factor of l(7)?
False
Let g(w) = 3*w**3 + 3*w**2 - w - 2. Let p be g(-3). Let s = -27 - p. Does 13 divide s?
True
Let g(k) = 547*k. Let m be g(-1). Let v = m + 295. Does 16 divide v/(-8) + 1/2?
True
Suppose 4*l + 2*a + a + 49 = 0, 2*l + 26 = -2*a. Let m be (-1 - -2)/((-2)/l). Suppose -c + 29 = 5*p, 4*p - 6*p - m*c = -30. Does 5 divide p?
True
Suppose -5*d = -2*d - 129. Suppose r - 2*r + d = 0. Is r a multiple of 23?
False
Let j = 199 - 113. Let x be j/(0 - 2) - 2. Does 12 divide (-24)/9*x/6?
False
Let k = -41 - -21. Let p be 13 + (0 - 1*-1). Is 12 a factor of p/(-8)*1*k?
False
Let q = -18 + 30. Let p = -48 - q. Let j = 84 + p. Does 11 divide j?
False
Let a = 2 - 2. Suppose a = -f + 3*f + 3*t - 56, -81 = -3*f - 3*t. Does 20 divide f?
False
Let a(f) = -11*f - 44. Is 11 a factor of a(-13)?
True
Let r(v) = 4*v**2 - 3*v + 3. Let t be r(3). Let w be (t/(-4))/(2/(-4)). Suppose 5*g = -3*q + 41, 2*g + 3*g + w = 5*q. Is 5 a factor of q?
False
Let l be 6/(-4) + (-6)/(-12). Suppose -37 = -2*c - 5*j, -5*j + 1 + 0 = -4*c. Let v = c - l. Is 5 a factor of v?
False
Does 17 divide (6*68/(-4))/(-2)?
True
Let g = -146 - -279. Is 19 a factor of g?
True
Let n(j) = j + 2. Let b be n(2). Suppose b*t + 192 = 4*v, 3*t + 19 - 275 = -5*v. Is 25 a factor of v?
True
Let f(i) = 13*i**2 - 3*i - 3. Suppose -k = -1 + 4, l = 5*k + 13. Does 25 divide f(l)?
False
Suppose 0*b + 4 = b. Suppose 0 = -s - b*s + 25. Suppose -s + 17 = 4*a. Is 3 a factor of a?
True
Let t(j) = j**2 + 3*j - 8. Is 31 a factor of t(7)?
True
Let m = 5 - 1. Let o(a) = 5*a**2 - 4*a**2 + 3 - 2*a + 2. Does 8 divide o(m)?
False
Suppose 0*i - 8 = -w + 4*i, -2*w + i = -2. Suppose -356 - 99 = -5*n. Suppose w = 5*p + 6 - n. Does 17 divide p?
True
Suppose 5*q + 18 = -7. Let d(t) = -t**2 - 6*t - 1. Let c be d(q). Suppose -c*u = u - 50. Is 7 a factor of u?
False
Is 3 a factor of -3*((-16)/(-6))/(-1)?
False
Suppose -2*a = 4*k - 78, -4*a + 123 = -2*a - 5*k. Does 2 divide a?
False
Let o be (5/(-4))/(2/(-8)). Suppose 0 = -o*a + 65 + 115. Does 18 divide a?
True
Suppose 0 = 4*a + 5*v - 142 + 49, 4*v + 106 = 5*a. Is 6 a factor of a?
False
Suppose -12*v = -2*v - 40. Is v even?
True
Suppose -8 + 0 = -4*t. Let n be 0 + ((-1)/(-1) - -1). Suppose -4*g - 60 = -n*x, -t*x = 2*g - 0*g - 30. Does 20 divide x?
True
Is 6 a factor of (-4 + 36)/(4 + -2)?
False
Let l(j) = 22*j + 22. Let o(v) = v - 1. Let a(u) = l(u) + 22*o(u). Is a(1) a multiple of 22?
True
Suppose 38 = 2*m - m. Is m a multiple of 11?
False
Suppose 5*y = 4*i - 182, -3*i + 3*y - 2*y + 142 = 0. Is i a multiple of 16?
True
Suppose 3*s = 6*s. Suppose 5*x - 21 - 4 = s. Suppose 2*w = -3*f + 33, -11 = -3*f + x*w + 1. Is 9 a factor of f?
True
Let u(b) = 5*b**2 - 5*b - 5. Does 27 divide u(5)?
False
Let u = 2 + -2. Let v be 14 + (-1 - -1) + u. Let w = 27 - v. Is w a multiple of 11?
False
Let u be (1 + -2)/(-1) - -1. Suppose u*a - 24 = -4*h, -7 + 1 = -h - 4*a. Suppose -z + h = -9. Is 9 a factor of z?
False
Suppose 5*r - 63 = 4*l, 2*r + 4*l = l + 39. Is 3 a factor of r?
True
Let w(r) = r**3 + 7*r**2 + 4*r. Let d be w(-5). Let h = d + -20. Is h a multiple of 10?
True
Let r = -2 + 4. Let i = -196 + 288. Suppose n = u + 26, -5*n - 4*u + i = -r*n. Is 13 a factor of n?
False
Let w(m) = 5*m**3 + 8*m**2 + 3*m + 8. Let d(l) = -l**3 - l**2 - l - 1. Let y(n) = 4*d(n) + w(n). Let b(g) = -g**2 - g - 1. Let k be b(-2). Does 8 divide y(k)?
True
Let x(o) = 0*o - 6*o**2 - 4 + o**2 - o**3 + 2*o + o. Let v be x(-6). Suppose v = g - 0*g. Is 14 a factor of g?
True
Let d = -114 + 394. Is 20 a factor of d?
True
Let d = 49 - 46. Is 2 a factor of d?
False
Suppose 8 = 4*r - 12. Suppose -r*g + v = -145, 2*v = 4*g - 25 - 97. Let q = -10 + g. Is 9 a factor of q?
True
Suppose 6*n + 8 = 2*n. Let r be (-1)/n*13*2. Suppose -5*s + 27 + r = 0. Is s a multiple of 4?
True
Let w = 6 - 6. Suppose 4*r - 10 - 10 = w. Suppose 167 = r*x + 42. Is 12 a factor of x?
False
Let n be (-2)/((-6)/237) + 3. Suppose -i + o - 50 = 0, 4*o + 5 = -7. Let q = n + i. Is q a multiple of 10?
False
Let k = -2 + 24. Let c = -12 + k. Is 7 a factor of c?
False
Let t(r) = r**3 + 1 + 2*r**2 - 8*r**2 - 2*r**2 + r. Is 9 a factor of t(8)?
True
Let r(s) = -s**3 + 9*s**2 - 5*s - 2. Is 22 a factor of r(8)?
True
Let u(i) = -i**2 + 8*i + 2. Let q(y) = 2*y - 4. Let f be q(6). Let m be u(f). Let s = 17 - m. Is s a multiple of 15?
True
Let f(d) = -d**3 + d**2 + 2*d + 8. Is f(-4) a multiple of 8?
True
Suppose 23 = q + 5*x, 0*q - q + 14 = -4*x. Suppose 0*w - 2 = -2*w. Let m = q + w. Is 12 a factor of m?
False
Suppose y + y = 5*d + 55, 4*d = 2*y - 50. Does 6 divide (y/(-20))/((-2)/24)?
False
Let q(l) = 2 - 7 + 0 - 3*l + l. Does 8 divide q(-7)?
False
Suppose -185 = -5*p + 5*n, 0 = -0*p + p - 2*n - 33. Let r(y) = 3*y + 2. Let f be r(-6). Let j = f + p. Is j a multiple of 20?
False
Suppose 6 = -2*u + 3*u. Suppose d = u + 11. Is 10 a factor of d?
False
Let d = -2 + 9. Suppose -2*a + d = -a. Suppose -3*n = 3*h - 66, 3*h - 4*n - 94 = -a. Does 20 divide h?
False
Let f(g) = -5*g**2 + 2*g + 1. Suppose c + 2*c - 12 = 3*q, 5*q = -2*c - 6. Let s be f(c). Does 12 divide ((-110)/s)/(1/3)?
False
Let q(i) = -13*i + 4. Is q(-7) a multiple of 19?
True
Let u be (-9)/(-2) + (-3)/(-6). Suppose 0 = y - 3*h - 11, -u*y + 0*h - 4*h = 2. Is (y + 27)*(-1)/(-1) a multiple of 26?
False
Does 6 divide (-2)/(-5) - (-440)/25?
True
Let i(k) be the third derivative of k**6/120 - k**5/12 + k**4/6 - 7*k**3/6 + k**2. Is i(5) a multiple of 13?
True
Suppose -3*a + 0*o = -5*o - 1602, -1068 = -2*a + 2*o. Is 20 a factor of a?
False
Suppose -60 = -22*c + 17*c. Does 7 divide c?
False
Let q(m) = 4*m**3 + 40*m**2 + 11*m - 20. Let v(x) = -3*x**3 - 27*x**2 - 7*x + 13. Let r(s) = 5*q(s) + 7*v(s). Suppose 5*t + 36 = 91. Does 21 divide r(t)?
False
Let c = -160 + 227. Is c a multiple of 4?
False
Let a(h) = 2*h**3 - 2*h**2 - 9*h + 2. Does 22 divide a(6)?
True
Suppose 0 = 4*l - 50 + 138. Let x = 33 + l. Does 4 divide x?
False
Let l be 7 - (-2 - (-2 - 2)). Suppose -2*g = -4*g - 6, -l*g - 35 = -2*w. Let f = w + 20. Is 12 a factor of f?
False
Let i(d) = d**2 + 11. Is i(0) a multiple of 8?
False
Suppose 81 + 179 = 5*s. Does 12 divide s?
False
Let x = -23 - -21. Does 23 divide (x + -22)*(-14)/8?
False
Is 10 a factor of (-93)/(-9) - 2/6?
True
Suppose -q + 6 = -15. Does 5 divide (-324)/(-21) + (-9)/q?
True
Let l = 3 - 0. Suppose -o - l*o - 5*a = -24, -16 = -4*a. Is 4 a factor of 2 + 0 + (o - -3)?
False
Let d(b) = 7*b**2 + 7*b - 13. Let y(u) = -3*u**2 - 3*u + 6. Let m(x) = -2*d(x) - 5*y(x). Is 12 a factor of m(-5)?
False
Suppose 0*c = 4*b + c - 48, 5*c = 5*b - 60. Let r(w) = w + 2. Let h be r(-6). Let n = b + h. Is 3 a factor of n?
False
Suppose 4*f + 26 = -6. Let r = 0 - 1. Let o = r - f. Does 7 divide o?
True
Let h(z) = -13*z - 2. Let q be h(-2). Is 16 a factor of 254/8 - (-6)/q?
True
Let a(r) = 54*r + 2. Is 22 a factor of a(2)?
True
Let d be 14/(-3) + (-4)/12. Let o(j) = j**2 + 4*j - 3. Let s be o(d). Suppose -2*v + 4 = 0, -s*z + 36 = -0*z + 2*v. Is z a multiple of 6?
False
Let u(k) = 5*k**2 - 5*k + 9. Let n(d) = d**2 + d + 1. Let z(i) = -4*n(i) + u(i). Let w be z(9). Let r = 9 + w. Is 14 a factor of r?
True
Let d = 39 - -14. Is 7 a factor of d?
False
Suppose -7 = -a - 3. Suppose -51 - 65 