iple of 6?
True
Suppose 19*s = 24*s - 70. Is 7 a factor of s?
True
Let l be ((-16)/(-6) - 3)*-9. Is 7 a factor of 17/(l*(-1)/(-3))?
False
Suppose -4*a = 5*h - 33, 3*a - 10 = 5*h - 29. Let d = h - 2. Suppose -2*y = -d*y + 18. Is 9 a factor of y?
True
Is (1/(-5))/((-1)/355) + 1 a multiple of 8?
True
Suppose 0 = 2*r + 3 - 21. Let k = r - -3. Suppose 0*u + u - k = 0. Is 12 a factor of u?
True
Let s(z) = 2*z**2 + z - 1. Let a be s(4). Suppose -a = -5*q + 5. Let x = q - -18. Is 13 a factor of x?
True
Suppose n - 5 = 6*n. Let g be n + 2 + -2 - 25. Does 13 divide g/(-4)*(-4)/(-2)?
True
Suppose 3*o - 13 = -1. Suppose -o*v + 15 = -1. Does 6 divide 1/(-1) + v - -3?
True
Suppose 0 = 3*t - 3 - 6. Let z(q) = q**2 + 0*q**2 - 3*q + t*q**2 + 1 + q**2. Is 14 a factor of z(3)?
False
Let i(r) be the third derivative of -r**6/120 + 2*r**5/15 - r**4/8 - 5*r**3/3 + 2*r**2. Is 25 a factor of i(5)?
True
Let p = 8 - 1. Let d(h) = h - 5. Let c be d(p). Suppose -1 = -a + c. Is a even?
False
Let z = 47 - 15. Suppose -3*p + 13 + z = 0. Does 12 divide p?
False
Let r = 32 + -1. Let t = r - -4. Is 7 a factor of t?
True
Suppose 4*t + 60 = 4*s, 5*t - 33 = -3*s + 2*s. Is 9 a factor of s?
True
Let r(a) = 25*a - 2. Suppose -7*f + 2 = -5. Is r(f) a multiple of 18?
False
Does 22 divide (-24)/6*(-1 - 7)?
False
Suppose 16*o - 1017 = 7*o. Does 22 divide o?
False
Let b(o) = o**2 - 6*o - 6. Let m be b(7). Is 8 a factor of -2 - (2 - m*20)?
True
Let h be 2/(-4)*(-1 - -1). Let z = h - -2. Suppose s + 97 - 27 = 5*p, -2*p + z*s = -28. Does 14 divide p?
True
Let y = 57 + 39. Is 16 a factor of y?
True
Suppose 3*z - 4 = 2, -2*x - z = 82. Let s = 0 - x. Is 14 a factor of s?
True
Is (-1436)/(-24) - 3/(-18) a multiple of 20?
True
Let k(c) be the second derivative of -c**7/840 + c**6/60 + c**5/40 - c**4/3 - c**3/6 + c. Let l(p) be the second derivative of k(p). Is 5 a factor of l(6)?
True
Suppose -157 = -2*h + 4*j + 13, 0 = -4*j + 16. Suppose 116 = 4*n + 5*z - 5, -3*n - 3*z + h = 0. Does 11 divide n?
False
Let w = -2 - -2. Suppose w = -3*g + 6*g. Suppose -2*v + 2*x + 38 = 0, 0 = -5*x - g*x + 15. Is 17 a factor of v?
False
Suppose -3*s = 9, 3*s + 25 = -4*y + 124. Is 6 a factor of y?
False
Let x(g) be the second derivative of -7*g**3/6 + 5*g**2/2 - 6*g. Does 11 divide x(-4)?
True
Let m be -5*(16/(-10) - -2). Let s = 2 + m. Suppose s = -d + 5*d - 12. Is d a multiple of 3?
True
Let t be (-3 - 0)*8/(-12). Suppose -t*k - 22 + 6 = 0. Let p = k - -14. Is p a multiple of 5?
False
Suppose 4*j = 5*j - 65. Does 13 divide j?
True
Let x = -25 + -9. Suppose k - 44 = 2*l, -2*l - l - 5*k = 40. Let o = l - x. Is 7 a factor of o?
True
Let u(s) = s**2 - 8*s + 8. Let z be u(7). Let g(n) = -13*n - 1. Let m(y) = -66*y - 6. Let w(r) = -11*g(r) + 2*m(r). Is 5 a factor of w(z)?
True
Suppose 34 = -o + 3*p, p + 28 - 2 = -o. Let v be (6/4)/((-21)/o). Suppose 5*f - 4*c = 11, -v*c + 15 = 4*f + c. Is 3 a factor of f?
True
Let r(x) = -6*x**3. Let m be r(-2). Suppose 7*i - 4*i = -m. Let n = i - -29. Is 10 a factor of n?
False
Let q = 7 + -3. Suppose -f = -q*f - 24. Does 12 divide 8/(-2 - f/3)?
True
Let d = -4 - -8. Suppose 5*x + d*u = 62, 2*x = u + 8 + 9. Is x a multiple of 3?
False
Suppose -l - l = -10. Is (-43)/(-5) + 2/l a multiple of 8?
False
Let y = -102 - -133. Does 31 divide y?
True
Let m be (-1)/(1/1)*-5. Suppose -m*c - 6 = -21. Suppose -4*r = 2*h - 40, 0 - 15 = c*r. Is 15 a factor of h?
True
Let t = 56 + -30. Is t a multiple of 7?
False
Suppose 0 = -b + 3*b - 144. Let q = -43 + b. Is 10 a factor of q?
False
Let o(y) = y**2 + y + 41 - y**2 - y**2. Suppose 3*l + 4*h - 5*h = 0, 4*h = 2*l. Is o(l) a multiple of 17?
False
Let k(v) be the first derivative of -33*v**4/4 - 2*v**3/3 - v**2/2 - 3. Is k(-1) a multiple of 14?
False
Is 4 + -4 + (-27)/(-3) a multiple of 4?
False
Let u = -35 - -20. Is 0*1/(-3) - u a multiple of 7?
False
Does 10 divide 84/105*(-25)/(-2)?
True
Suppose 0 = 2*s - h, -h = 2*s + h. Let v(d) = 1 + 2*d + 3*d + s*d. Is v(1) a multiple of 6?
True
Let c be (-1 - -5)/8*-2. Let b(s) = 2*s + 2. Let t be b(2). Let d = c + t. Is d a multiple of 4?
False
Let r(m) = -m - 2. Let x be r(-5). Suppose -2*v + 75 = x*v. Does 9 divide v?
False
Let o = 50 + -33. Is 9 a factor of o?
False
Let l be 1*(9 + 0/(-1)). Let w(b) = -b**2 - 9*b - 5. Let j be w(-6). Let q = l + j. Is 8 a factor of q?
False
Let a(x) = -6*x - 15. Let p(k) = -2*k - 5. Let o(l) = -3*a(l) + 8*p(l). Does 13 divide o(4)?
True
Let u be (2 - 3) + -1 - -24. Let l = 18 + -12. Is 8 a factor of (u/3)/(l/9)?
False
Suppose 2*d - 7*d + 2*p + 442 = 0, d = 5*p + 70. Is d a multiple of 27?
False
Suppose -5*d + 1 = -19. Is d a multiple of 2?
True
Let q(c) = c**2 + c - 2. Let h be q(-3). Let g(k) = 2*k - 4. Let o be g(h). Suppose 0 = o*i + 4*l - 72 - 20, -5*l + 5 = 0. Does 11 divide i?
True
Let h(u) = u**2 - 7*u - 10. Is 16 a factor of h(12)?
False
Let m(f) = f**3 - 10*f**2 + 2*f. Let l(u) = -u**2 - u + 2. Let v be l(0). Let j(p) = 5*p. Let z be j(v). Is m(z) a multiple of 10?
True
Let i be 6/4*(0 + -2). Let j(p) = -2*p + 4. Is j(i) a multiple of 7?
False
Suppose 5 = z + 2. Suppose 5*o + 0*m - 52 = m, z*m = 2*o - 13. Does 11 divide o?
True
Let v(j) = -j**3 + 2*j**2 + j. Let n be v(2). Suppose 40 = n*q - 58. Is 11 a factor of q?
False
Let x(n) = -n**2 + 26*n - 17. Is x(25) a multiple of 3?
False
Let c = 1 - -5. Suppose 0 = g - 3 - c. Is g a multiple of 8?
False
Suppose -2*u = 0, -6*g - 2*u = -g + 40. Let l be 2/(-4) + (-236)/g. Suppose 0 = -c + 2*h - 3*h + 6, 0 = -4*c + h + l. Is 7 a factor of c?
True
Let r = 28 - -5. Is r a multiple of 11?
True
Suppose 29 + 10 = 3*g. Is 4 a factor of g?
False
Suppose 5*p - 2*i - 115 = -3*i, -p + 19 = i. Is p a multiple of 3?
True
Let t(p) be the second derivative of -p**4/12 + 8*p**3/3 - 15*p**2/2 - 2*p. Is 12 a factor of t(13)?
True
Suppose -2*w + 196 = 4*z - w, 2*z - 76 = 5*w. Suppose -4*h = -h - 4*m - z, 0 = -m - 3. Does 11 divide h?
False
Let c = -6 - -10. Suppose -4*h = -5*j - 6, -3*h - 2*h + c*j = -12. Suppose -18 = -h*m + 22. Is 4 a factor of m?
False
Let a = 220 - 12. Let n be (-2)/5 - a/(-20). Let j = n - 2. Is 5 a factor of j?
False
Let s(i) = 2*i**2 + i + 13. Let n be s(0). Let l(a) = a**3 - a**2 + 5. Let t be l(0). Let k = n - t. Is 5 a factor of k?
False
Let y(d) = -4 - 2*d + 3*d + 11. Let n be y(-4). Suppose x + n*t = 12, 3*x + 4*t - 52 = 3*t. Is 9 a factor of x?
True
Suppose 4*s + s = -c + 510, 4*s - 408 = -3*c. Does 34 divide s?
True
Suppose -4*t + 4*i = 3*i + 25, 4*i = 4*t + 16. Let b(f) = -f - 16. Let x(a) = -8. Let s(m) = 3*b(m) - 5*x(m). Does 13 divide s(t)?
True
Suppose 4*u = -4*a + 32, 44 = -0*u + 4*u - 2*a. Is 5 a factor of u?
True
Let i(g) = g**2 + 5*g + 5. Let s be i(-4). Let p = 9 - s. Suppose 4*u + p = 0, -2*l - 5*u + 2 = -4. Is l a multiple of 4?
True
Let d = -12 - -6. Let t(f) be the first derivative of -f**3/3 - 11*f**2/2 + 6*f - 2. Is 25 a factor of t(d)?
False
Is 4 + 1/((-3)/(-183)) a multiple of 19?
False
Let w be (-2)/(-6) + (-55)/(-15). Suppose v + 15 = w*v. Does 5 divide v?
True
Suppose 111 + 354 = 5*c - y, 4*c + 4*y = 396. Is c a multiple of 28?
False
Let u(v) = v**2 + 5*v + 3. Let l be u(-2). Is 2/(2*l/(-78)) a multiple of 13?
True
Suppose -38 = -2*s + 4*n - 6*n, -9 = -s + n. Is s a multiple of 14?
True
Let a(l) = -l**2 + l + 1. Let y(i) = 3*i**3 - 4*i**2 + 8*i + 3. Let g(m) = 6*a(m) - y(m). Let c be g(2). Let h = -5 - c. Does 14 divide h?
True
Let x(c) = -2*c - 3. Let o be 1/(-3) - 39/(-9). Suppose -3*w = -l + o, 5*l + w - 2*w = -36. Is x(l) a multiple of 8?
False
Let u(b) = -b**3 - 10*b**2 - 11*b + 14. Does 16 divide u(-9)?
True
Suppose 4*g - 236 = 240. Does 7 divide g?
True
Let x = -16 + 25. Let d = x + 1. Is 10 a factor of d - (-1*3)/3?
False
Suppose 3*g = 2*g + 24. Does 10 divide g?
False
Let g = -13 + 14. Does 11 divide 6 + -8 + g*24?
True
Let u be 35*1/(-1)*-6. Suppose 0 = 4*r - u - 162. Suppose -r = -5*b + 37. Does 13 divide b?
True
Suppose 5*l - 51 = 24. Is 6 a factor of l?
False
Let c(p) = -2 + 12*p**2 + 8 + p - 17*p**2 + p**3. Is c(6) a multiple of 16?
True
Suppose 5*g = 0, -5*a = -0*g - g - 145. Is 29 a factor of a?
True
Let y(g) = 6*g - 2. Let i be y(-2). Let s = 25 + i. Does 3 divide s?
False
Suppose -3*h = -2*h + 37. Let q be ((-25)/2)/((-7)/(-14)). Let z = q - h. Is 6 a factor of z?
True