s 6 divide r(t)?
True
Suppose 5*z - 70 + 200 = 0. Let w = 124 + -88. Let i = z + w. Is 10 a factor of i?
True
Let d(c) = -5*c + 7. Is d(-5) a multiple of 8?
True
Suppose 2*v + 3*z - 9 = 0, 0*v - 2*v = z + 1. Let p(j) be the third derivative of j**5/60 - j**4/24 - j**3/3 - j**2. Does 10 divide p(v)?
True
Suppose 13*l - 141 = 210. Is 11 a factor of l?
False
Let f(j) = -6*j - 1 + 0 + 3 + 3*j**2 - j. Does 14 divide f(5)?
True
Let g = -98 + 136. Is 11 a factor of g?
False
Is 8 a factor of 2/(-3)*-54 + -4?
True
Suppose -4*p - 38 = -5*u, -53 = -5*u - 3*p + 2*p. Is 4 a factor of u?
False
Suppose -5*l = -4*r + 6 - 18, 2*l - 2*r = 4. Let f(y) = 2*y**3 - 6*y**2 + 3*y. Is 11 a factor of f(l)?
True
Let a(z) = z**2 - 7*z. Let i be a(7). Suppose i = o + 3*o - 320. Suppose o = 12*h - 8*h. Does 19 divide h?
False
Let t(u) = u**2 - 7*u - 6. Let x be t(8). Suppose -49 = -3*n + c - 11, -c - 26 = -x*n. Is n a multiple of 4?
True
Suppose 2*r - 5*x - 47 = 0, -r + 1 = -5*x - 10. Let w = r + -21. Does 15 divide w?
True
Suppose -a - a = -160. Suppose 7*y = 2*y + a. Is 8 a factor of y?
True
Does 7 divide (36/(-10))/(10/(-25))?
False
Let k(a) = -2*a + 9. Does 3 divide k(0)?
True
Let w be ((-10)/(-3))/((-2)/(-3)). Let y = -13 - -16. Suppose -5*x + 44 = -y*f + 160, -w*f = 3*x - 148. Does 14 divide f?
False
Does 21 divide (-124)/(-3) + 14/21?
True
Suppose -r = r - 32. Is 8 a factor of r?
True
Let v = 1 + -2. Let k = v + -1. Let s = 7 + k. Is s a multiple of 5?
True
Let h(t) = 7*t**2 - 4*t + 1. Suppose 4*w - w = 9. Is h(w) a multiple of 13?
True
Suppose 5*g + 12 = -3*w, 2*g + 3*g + 20 = -5*w. Is 15 a factor of (2 + g + -12)*-2?
False
Let h(a) = 4*a**2 - 6*a. Is h(-5) a multiple of 22?
False
Let y = 6 + -3. Suppose 4*t = y*c - 4*c + 28, -3*t + 22 = c. Is t even?
True
Let c(v) = -v**3 + 5*v**2 - 1. Let n be c(5). Let a = 0 + n. Let o = a + 22. Is 16 a factor of o?
False
Let k(d) = -d**3 + 2*d**2 + d. Let a be k(-1). Suppose 0 = -a*w - 5*n - 2, 5*n + 0 + 26 = 4*w. Is w a multiple of 3?
False
Does 55 divide (-335)/(-2)*(1 + 1)?
False
Suppose -2*b - 4 - 10 = 0. Let h = b - -65. Is 10 a factor of 2/3 - h/(-3)?
True
Let l(x) = 2*x - 3. Let g be l(4). Let n be (2 + -1)*(-2 + 2). Suppose -2*s = h - 2*h + g, -h + 4*s + 3 = n. Does 7 divide h?
True
Let v(i) = 45*i**2 + 1. Suppose -4*x + 7*x + 3 = -3*d, 0 = -5*x + 4*d - 5. Is v(x) a multiple of 23?
True
Suppose 2*w + 48 = 4*c - 2, 4*c - 3*w - 45 = 0. Suppose -2*g + 4*m = -g - c, 60 = 4*g + 5*m. Suppose -2*p + g = p. Does 5 divide p?
True
Let i(y) = y**3 + 4*y**2 + y - 1. Let n be i(-3). Let g be 2/n - (-339)/15. Suppose -4 = v - g. Does 10 divide v?
False
Suppose -4*x - 2*v + 138 = 0, x - 5*v + 0*v = 29. Does 17 divide x?
True
Let k be (-10)/(-25)*5 + 47. Let q(d) = d**3 - 3*d**2 - 4*d + 3. Let o be q(4). Suppose 2*y - 10 = 3*t, -3*y + k = t + o*t. Is 5 a factor of y?
False
Is ((-15)/(-12) - 0)*92 a multiple of 23?
True
Let a be -16 - (0 + -2 + 1). Let u = 15 - a. Does 11 divide u?
False
Let q be 99 + -2 - (0 - 1). Suppose -22 - q = -5*t + 3*k, -4*t = -5*k - 109. Is t a multiple of 7?
True
Suppose -2*w + 62 + 98 = 0. Is 16 a factor of w?
True
Let k(i) = 2*i**2 - 5*i - i - i - 5. Let f be k(-4). Let y = f + -27. Is y a multiple of 14?
True
Let s be (2/(-2))/(1/(-3)). Suppose -5*a - x = 4*x + 5, 0 = -3*a - 2*x. Suppose -a*d - 5 = -s*d. Does 2 divide d?
False
Suppose -2*y - 4*q = -112, 5*q + 3 + 7 = 0. Suppose -4*i - 2*t + 48 = -y, -i + 9 = 5*t. Is i a multiple of 11?
False
Let h = 448 - 286. Is 18 a factor of h?
True
Let m(l) be the first derivative of l**4/4 - 5*l**3/3 + 5*l**2/2 + 4*l + 2. Does 8 divide m(4)?
True
Suppose 5*d = c + 11, 3*c - 2*d + 8 - 1 = 0. Let b(n) = 53*n**2 + 2*n + 1. Does 13 divide b(c)?
True
Let u(t) = -72*t + 1. Let r be u(-4). Let y = 97 - r. Does 16 divide 3/((-2)/(y/9))?
True
Suppose 0 = -8*i + 3*i - 100. Let j be (-4)/14 - i/(-28). Let t(h) = -22*h**3 + h. Is t(j) a multiple of 12?
False
Let i(n) = -n + 1. Let f be i(-1). Let l be ((-17)/(-2))/(f/4). Suppose -3*g + l = -2*g. Does 9 divide g?
False
Suppose 0 = 4*m - 6*m + 310. Is m a multiple of 16?
False
Suppose -5*x = -0*p - p + 255, 0 = 3*x - 3. Is 65 a factor of p?
True
Let k = -66 + 126. Is 30 a factor of k?
True
Let a(t) = t**2 - 5*t + 96. Is a(0) a multiple of 12?
True
Let h(i) = -i - 7. Let g be h(-9). Suppose 0 = -g*y - 2 - 4. Let r(v) = 3*v**2 + 3*v + 3. Is r(y) a multiple of 9?
False
Let u = 365 - 215. Does 20 divide u/9*(0 + 3)?
False
Suppose -5*l = -545 - 1310. Is 53 a factor of l?
True
Does 21 divide (-112)/(-1) - (7/1 - 5)?
False
Let b = 3 - -47. Let q = b + -36. Is q a multiple of 4?
False
Suppose 0 = 3*t - 0*t + 18. Let q = 5 - t. Does 5 divide q?
False
Suppose 2*y + 2*y + 452 = 0. Let i = 196 + y. Is 21 a factor of i?
False
Suppose 3*v = -44 - 148. Let d = -42 - v. Suppose 0 = -5*h - 5*x + d + 48, 0 = -5*h + x + 94. Is h a multiple of 6?
True
Let x be 3 - (2 - (2 - 0)). Suppose 0 = x*o + 2*o. Suppose o*z + 80 = 5*z. Does 6 divide z?
False
Does 21 divide 4/3 + (-284)/(-12)*7?
False
Let o be ((-192)/6)/(1/(-9)). Suppose -2*i + o = i. Suppose 5*h + 4*y = 79, 0*h - 4*h = -5*y - i. Is 11 a factor of h?
False
Does 16 divide 0 - -2 - (5 - 34)?
False
Let t = 20 - 28. Let f(j) = -j**2 - 8*j + 2. Let r be f(t). Suppose r*c + 2*c = 16. Does 3 divide c?
False
Let f = 1 + -2. Suppose -194 + 47 = -4*c + 5*b, 2*b = -6. Is (1 - (2 - c)) + f a multiple of 11?
False
Suppose 5*c + 19 = 4*l, -4*l + 26 = 3*c - c. Suppose 3*m + f - 2*f - 9 = 0, -f + 11 = 2*m. Does 2 divide 14/l + m/(-12)?
True
Let z(k) = -14*k - 7. Let p(y) = -15*y - 6. Let c(v) = -5*p(v) + 6*z(v). Does 21 divide c(-9)?
False
Suppose -4*x = -5*p + 333, -4*p - 63 = -5*p + 2*x. Is 22 a factor of p?
False
Let t = -44 - -15. Let r = 83 + t. Suppose 3*h - 4*h - r = -2*i, -i - 5*h = -27. Is i a multiple of 16?
False
Let h(s) = 9*s**2 + 2*s + 2. Is 17 a factor of h(-2)?
True
Let f = 451 + -215. Is f a multiple of 15?
False
Let c(j) be the first derivative of -9*j**2/2 - 6*j - 1. Let d be c(-4). Suppose d = 5*n - 50. Does 9 divide n?
False
Let d(x) = -6 - 2 + 5*x + 4 - 18. Does 13 divide d(15)?
False
Suppose 4*g = 3*w + 2*w + 248, 0 = -5*w. Let l be 5/((-5)/(-2)) - -2. Suppose l*x - 14 = g. Does 15 divide x?
False
Does 20 divide 6/15 + 1239/15?
False
Suppose 4*n - 4*x + 13 = -9*x, 0 = 2*n - x + 3. Let y be n/3 + (-250)/(-6). Is 14 a factor of -2 - (0 + 1 - y)?
False
Let m = 159 - 105. Is m/6 + (2 - -1) a multiple of 12?
True
Let c = -2 - -5. Suppose -c*a + 399 = 120. Is 30 a factor of a?
False
Suppose 2 = -m + 7. Suppose 0 = -g - 1, -m*j = -3*j + 3*g - 7. Is j even?
False
Suppose 2*c = f + 114, -2*c + 106 = f - 0*f. Is c a multiple of 11?
True
Suppose -3*u = 3 + 6. Let k be (2/u)/((-4)/18). Suppose 5*a = r + 251, 7*r = -2*a + k*r + 96. Is a a multiple of 25?
True
Suppose 5*r + 0*r + 3*k - 20 = 0, 0 = -3*k. Suppose 3 = z - 0. Suppose 0 = -r*l - 4*g + 12, -g - 1 = z. Is 7 a factor of l?
True
Let m(d) = -d**2 - 11*d - 15. Let w be m(-9). Let f be 6/5*(-10)/(-4). Suppose -f*z - 9 - w = 0, p - z = 20. Is p a multiple of 16?
True
Suppose 30 = -4*q + 230. Suppose 2*y = 2*j - 100, -y - q = -j + 3*y. Suppose -5*c = -4*p - 78, -c - 2*c = -4*p - j. Is 12 a factor of c?
False
Let u = 521 + -369. Let o = -90 + u. Is 19 a factor of o?
False
Let r(o) = -3*o**2 + 7*o + 8*o**2 - 7 - 3*o**2. Is r(5) a multiple of 23?
False
Suppose o + 9 = -0*o. Let k = -1 - -3. Let i = k - o. Does 8 divide i?
False
Suppose -35 = -g + 36. Is g a multiple of 4?
False
Let q(w) = -2*w - 4. Let z(v) = 2*v + 3. Suppose y + 22 = -4*f, 4*f = -4*y - 6 - 22. Let n(p) = f*q(p) - 6*z(p). Is n(-5) a multiple of 12?
True
Let q(x) = x**2 - 6*x + 1. Let u be q(-5). Suppose -3*m + 0*m = -2*v - u, 84 = 4*m - 5*v. Is 8 a factor of m?
True
Let a = -176 + 257. Does 11 divide a?
False
Let i = 9 + -5. Let d(z) = z - 4. Let b be d(i). Does 10 divide 7/((-14)/(-40)) + b?
True
Let t = 38 + -52. Let p = 31 - 51. Let c = t - p. Is 5 a factor of c?
False
Suppose 1 = 3*a - 2*a. Let r = a - -13. Is 5 a factor of r?
False
Let j(m) = -m**2 + 3*m + 144. Is 48 a factor of j(0)?
True
Let y(o) = o**3 + 12*o**2 + 12*o + 16. Let f be y(-11). Suppose -f*d + 5*u - 156 + 46 = 0, -3*d - 3*u = 54. Let t = 30 + d. Is t a multiple of 6?
False
Suppose -58 = -d + 18. Does 38 divide 