. Suppose s + 4*b - 7 = -0*s, b = 4*s - j. Is 10 a factor of s?
False
Let i(j) be the second derivative of j**3/6 - 2*j**2 + 3*j. Let d be i(5). Suppose 3*q - 72 = -4*g, g + d = q - 16. Does 10 divide q?
True
Let a be ((-14)/4)/7*-4. Suppose -2*j = -a*m - 80, 0 = -2*m - 1 - 3. Is 17 a factor of j?
False
Let p(w) = 7 + 20*w**2 - 3*w**2 + 0*w**2 + 11*w**2. Let y be p(-6). Does 18 divide y/28 + 2/(-8)?
True
Let j(z) = -z**3 + 15*z**2 + 5*z - 20. Is 13 a factor of j(15)?
False
Let t = -7 - 18. Let r = -9 - t. Is r a multiple of 16?
True
Suppose 0 = -2*y + 17 + 11. Suppose 3*o + y = 4*o. Is o a multiple of 13?
False
Suppose 2*f - 11 = 53. Let t be (-12)/8*f/(-6). Let q = t - 4. Is 3 a factor of q?
False
Suppose 0*w = -3*w - 42. Is ((-7)/(-14))/((-1)/w) a multiple of 2?
False
Let m = -114 + 164. Is 7 a factor of m?
False
Let l(t) = 0*t**3 - t**3 + 6*t**2 - 4 - 5*t + 0 + 8. Let p be l(5). Suppose 0*x - 3*x = 2*c - p, 5*c + x - 10 = 0. Is 2 a factor of c?
True
Suppose 3*a = -2*a + 400. Suppose 3*m + a = 8*m. Does 8 divide m?
True
Let t(y) = 4*y - 3. Let k(j) = 2*j - 2. Let d(m) = 10*k(m) - 6*t(m). Is 13 a factor of d(-7)?
True
Let o(i) = i**3 + 4*i**2 - 5*i + 5. Let f be o(-5). Let l be ((-2)/(-5))/(1/(-5)). Let c = l + f. Is 3 a factor of c?
True
Suppose 5*m = -20, 2*w - 66 = -2*m - 16. Suppose 0 = -n - 4*z + 1, 5*n = 3*z + z + w. Suppose -q - 1 = -n. Is 4 a factor of q?
True
Let h = 4 + -2. Suppose 2*i + 2 = 0, 4*k = 2*k - i + 3. Suppose -h*a - k*a + 96 = 0. Is 11 a factor of a?
False
Suppose 0 = -2*o + 6*o + 36. Let t(a) = -4*a. Is 18 a factor of t(o)?
True
Let d = 15 + -9. Let t(h) = -h + 8. Let g be t(d). Does 12 divide (g/(-3))/((-1)/36)?
True
Suppose 2 = -n - n. Does 8 divide n/(-3)*(-1 - -82)?
False
Let w(g) = -4*g**3 - g - 1. Let u be w(-1). Suppose 0*t - u*k - 60 = -4*t, -5*k = 3*t - 13. Is 11 a factor of t?
True
Does 46 divide (-23 + 1)*(-3 - (-6)/(-12))?
False
Let f be -9*-1*(2 - 1). Let z(g) = -8 + 2 - 10*g + g**2 + f*g. Is z(5) a multiple of 14?
True
Suppose -4*d + 2*o + 28 = -6*d, 20 = -5*d + 5*o. Let n = 24 + d. Does 7 divide n?
False
Let g be 0 + 56 + (4 - 2). Let m = -40 + g. Does 3 divide m?
True
Let u(g) = -2*g - 3. Let i be u(-6). Let o(t) = -4*t + 4*t**2 + 10 - 3*t**2 - 4. Is 12 a factor of o(i)?
False
Suppose -5*y = -0*y - 5. Let t(q) = q**2 + 6*q + 4. Let k be t(-6). Suppose 0 = k*z - 21 + y. Does 5 divide z?
True
Let c = -12 + 69. Is c a multiple of 7?
False
Suppose 3*j + 2*j - 210 = 0. Is 7 a factor of j?
True
Let u = 306 + -174. Does 12 divide u?
True
Suppose 6*u + 176 = 10*u. Does 4 divide u?
True
Let m = 354 - 211. Is m a multiple of 20?
False
Let h(s) = s - 50. Let q = 3 - 3. Let p be h(q). Does 16 divide 48/20*p/(-4)?
False
Suppose 5*l - 100 = -3*i + 264, -5*i = -5*l - 580. Does 12 divide i?
False
Let r(p) = p**3 + 2*p**2 - 2*p - 1. Suppose h = -3*l + 4*h - 6, 0 = -4*h. Let b be r(l). Suppose b*x = 27 + 3. Is 10 a factor of x?
True
Let b(o) be the third derivative of o**4/12 - 8*o**3/3 - o**2. Is 2 a factor of b(12)?
True
Let r = 48 + 69. Suppose -2*x - 395 = -5*d, -4*d - 2*x = -4*x - 316. Let o = r - d. Is 19 a factor of o?
True
Let s = 21 - 34. Is (s/(-2))/((-5)/(-10)) a multiple of 5?
False
Suppose 12*a - 30 = 198. Is a a multiple of 4?
False
Suppose 4*q + 3*u = 8*q - 317, -5*q + 376 = 3*u. Is 7 a factor of q?
True
Suppose 3*y + 8 = 5*y. Suppose y*v - 200 = -56. Is v a multiple of 18?
True
Suppose 5*u + 27 + 8 = 0. Let i be (2/(-3))/(4/(-186)). Let l = i + u. Is l a multiple of 12?
True
Suppose -2 = 6*y - 320. Suppose -y - 61 = -3*w. Is w a multiple of 23?
False
Suppose 0 = 5*n - 10*n. Suppose 5 = -n*y + y. Does 2 divide (2/(-5))/((-1)/y)?
True
Let f be -1 + 260 + 2 + -1. Suppose 0 = 3*w - 7*w + f. Suppose -2*u + w = a, 135 = 4*u + a + 2*a. Does 16 divide u?
False
Is 10 a factor of -3 + (-41)/(-1) - 1?
False
Is 6 a factor of (30/4*1)/((-2)/(-4))?
False
Suppose -3*x = -0*x - 18. Let l = 8 - x. Suppose 12 = l*t - 0*t. Is t a multiple of 3?
True
Is 12 a factor of (-24)/(-5)*(-20)/3*-3?
True
Suppose -21 + 8 = -n. Is n a multiple of 4?
False
Suppose -2*j + 387 = 161. Does 14 divide j?
False
Suppose 2*n - 4*l - 210 - 438 = 0, 5*l + 1293 = 4*n. Does 14 divide n?
True
Let d be 4/18 + (-34)/(-9). Suppose w + d = 7. Suppose 6*b - 78 = w*b. Does 13 divide b?
True
Let v = 26 + -11. Let l = -1 + v. Is l a multiple of 7?
True
Let k = 4 - -1. Suppose -5*x + 2*v = -x - 434, -k*x + 541 = -v. Does 7 divide (-2)/(-8) - x/(-16)?
True
Suppose r - c = 0, 3*c - 6 = r - c. Suppose -r*f - 236 = -4*s - 4*f, 2*s - 5*f = 94. Let p = s - 30. Does 11 divide p?
False
Let r(j) = 7*j**3 - 5*j**2 + 15*j - 6. Let t(i) = 3*i**3 - 2*i**2 + 7*i - 3. Let u(b) = 4*r(b) - 9*t(b). Is 23 a factor of u(4)?
True
Let a = 9 + 2. Does 7 divide a?
False
Suppose 4*s - 896 = 4*m, -2*s + s - 2*m + 224 = 0. Is s a multiple of 49?
False
Suppose 0 = 4*d - 2 - 58. Is d a multiple of 6?
False
Let z be (5/(-2) + 0)*-2. Let l = 9 - z. Is (l/(-10))/(3/(-225)) a multiple of 15?
True
Let t = 4 + -2. Is 7 a factor of t/(-4)*-1*14?
True
Suppose 3*f - 6 + 75 = 2*m, 2*f + 46 = -2*m. Let y = 51 + f. Is 14 a factor of y?
True
Suppose -3*c = -14 - 7. Let o = c - 0. Is 2 a factor of o?
False
Does 5 divide 98/4 + (-5)/10?
False
Let p(x) = -x**3 + x**2 - 5*x - 6. Let r be p(-5). Suppose 5*m - r = -4*d, -2*d + 4*d - 134 = -4*m. Does 11 divide m?
True
Suppose -a + 6 = a. Is 13 a factor of 256/6 - 2/a?
False
Let k be (-11 - -10)*-1*7. Is 10 a factor of 28/k - 26*-1?
True
Let x(c) = c**2 + 4*c + 2. Let h = -8 - -4. Let t be x(h). Is (9/t)/((-9)/(-48)) a multiple of 19?
False
Let y be (-5)/(-1) - (-2 - -4). Suppose y*b - 46 = -t, 33 = 2*b + t + 2*t. Does 6 divide b?
False
Suppose -3*v + w = v - 1468, -4*v - 5*w + 1492 = 0. Suppose -5*d + d = -v. Is d a multiple of 15?
False
Let f(x) = -x**3 + 6*x**2 + x + 7. Let z be f(6). Suppose -w + 26 = -z. Is 10 a factor of w?
False
Let f = 74 - 59. Does 5 divide f?
True
Let r(b) = -5*b**3 + 10*b**2 + 8*b - 10. Let q(i) = 14*i**3 - 29*i**2 - 23*i + 29. Let j(n) = 6*q(n) + 17*r(n). Let v be j(-3). Does 3 divide 1 - v/(-1) - -2?
False
Suppose 0 = -4*m + 2 + 6. Let s be (1 - 2) + 18 + m. Suppose -4*z = -s - 37. Does 8 divide z?
False
Suppose -4*m = 5*n - 473, 0 = 4*m - m + 4*n - 356. Is m a multiple of 14?
True
Suppose 5*o = -3*z - 8, -4 = 2*z + 3*o - 0. Suppose 5*c + z = 3*c. Does 13 divide (-30)/((-1)/c*-2)?
False
Let d = 7 + -4. Suppose -d*v - 2*v = 185. Let z = -25 - v. Is z a multiple of 6?
True
Suppose -4*m = 2 + 2. Let d = m + 12. Suppose 0 = -2*i + 9 + d. Is 5 a factor of i?
True
Let c be (-2)/(-3) - 19/(-3). Let r(s) = 2*s - 1. Is 6 a factor of r(c)?
False
Let t(n) = n - 1. Let q be t(5). Let x be (-2 - -2) + q*15. Suppose -47 = -l + 5*m, 3*l - x = 2*m + 42. Is 16 a factor of l?
True
Suppose 3*v - 25 - 41 = 0. Let p = v + -10. Is 10 a factor of p?
False
Suppose -5*n + 210 = 5*k, -5*k + 73 = 3*n - 57. Let c = 72 - n. Suppose -4*m - m - 22 = u, c = 4*u - 4*m. Does 2 divide u?
False
Let g = -4 + 10. Does 2 divide g?
True
Let g be (0 + 2)/(6/9). Suppose 0*u - g*u = -45. Is 4 a factor of u?
False
Suppose 5*z + 20 = 2*r, 4*z + 11 = -2*r - 5. Suppose n - 3 = -r. Does 3 divide 17/n + 2/6?
True
Let j(q) be the second derivative of -q**5/20 + 7*q**4/6 - 19*q**3/6 + 7*q**2 + 2*q. Does 14 divide j(12)?
False
Let w(h) = h**2 + 4*h - 3. Is 27 a factor of w(-11)?
False
Suppose 4*c = 2*u - 0*c - 22, 0 = -u - 4*c + 17. Let t = 6 + u. Is t a multiple of 19?
True
Let n be (0 + -2 + 4)*15. Suppose -2*h + 0*h = n. Is ((-4)/(-3))/((-1)/h) a multiple of 10?
True
Suppose 3*y = 6*y - 4*j - 389, 236 = 2*y + 2*j. Is 27 a factor of y?
False
Suppose -2*h = 2*h. Suppose h = 5*q - 10 - 120. Is 13 a factor of q?
True
Suppose 3*v - 75 + 15 = 4*z, 100 = 5*v + 3*z. Let w = v + -16. Is w a multiple of 4?
True
Let m(p) = p**3 - 8*p**2 + 3*p - 6. Let b be -2 + -1 + 9 + 2. Is 6 a factor of m(b)?
True
Suppose 3*v + 3*y = 138, -3*v = -4*y + 3*y - 146. Suppose s + 2*s - v = 0. Is s a multiple of 8?
True
Let k(v) = 3*v**2 + 7 - v**3 + 3 + 2*v - 12. Is 14 a factor of k(-2)?
True
Is -9*((-6)/9 + 0) a multiple of 6?
True
Let j(m) = m**3 + 5*m**2 - 8*m - 8. Suppose c = -2*a + 4, 2*c = 3*a + 6*c - 6. Suppose z + z = -a*y - 6, 0 = 2*z - 3*y + 21. Is 2 a factor of j(z)?
True
Let l(t) = 14*t**2