s 31 a factor of m?
True
Is 30 a factor of (-66)/14 + 5 + 1741/7?
False
Let p(q) be the first derivative of -3*q - 3/2*q**2 + 8. Is p(-9) a multiple of 6?
True
Suppose p = -0*p + 7. Suppose -l + 3*l + 8 = 0. Let c = p - l. Is c a multiple of 7?
False
Let u be 8/(-6)*(-11 + 8) - 0. Suppose -u*p = -1345 + 385. Is 12 a factor of p?
True
Let j(o) = 4*o**3 - 10*o**2 + 5*o - 31. Is j(8) a multiple of 79?
False
Let p be -1 - (-18)/2 - 3. Suppose -q + 28 = 3*z, p*q - 3*z - 86 = -0*q. Is q a multiple of 9?
False
Let t = 6 + -4. Suppose -3*v + t*v = -5*c + 12, -3*v = c - 12. Is 15 a factor of c/1 + 92/4?
False
Let o(d) = d + 110. Is 24 a factor of o(-14)?
True
Let x(p) = 40*p - 264. Does 16 divide x(13)?
True
Let s = 17 - 22. Let r(o) = -4*o + 12. Let h be r(s). Is 15 a factor of 90/2*h/24?
True
Is 290/((-7)/((-14)/4)) a multiple of 29?
True
Suppose -3*x - j + 3 = -5*j, j = -5*x - 18. Let c be (1 + (-2)/1)*x. Suppose 23 = 4*s - c*o, 3*s = -2*o + 4*o + 16. Is 2 a factor of s?
True
Suppose 5*t - 4*d - 991 = 985, -3*t - d = -1172. Is 4 a factor of t?
True
Let o = 20 - 45. Let s = 1 - o. Let m = -14 + s. Is m a multiple of 9?
False
Suppose 6 = -4*h - 3*v, -4*h - 1 = 2*v + 3. Suppose 6 + h = k. Let y(w) = -w**3 + 5*w**2 + 8*w + 2. Is 14 a factor of y(k)?
True
Let c(r) = -r - 1. Let m(o) = -9*o - 42. Let f(q) = 12*c(q) - m(q). Is f(8) even?
True
Let z be (-2)/(-8)*37*-4. Let s = z - -131. Suppose 2*w - s = -4*y, 2*y + 4*w - 57 = -1. Does 8 divide y?
False
Suppose k - 1 - 33 = 0. Suppose -g + k = 8. Is g a multiple of 13?
True
Let y(c) = 391*c**3 - 5*c**2 + 4*c. Is y(1) a multiple of 6?
True
Let t = -24 + 29. Suppose 3*l - 784 = -4*s, -t*l + s + 1295 = -4*s. Suppose 10*d - 5*d - l = 0. Does 14 divide d?
False
Suppose 0 = -3*s - g + 52, 73 = 5*s + g - 13. Suppose q - s - 71 = 0. Suppose -7*b + q = -59. Is 6 a factor of b?
False
Let x = -25 + 27. Suppose 4*w + 117 = 5*w - x*m, w - 122 = -3*m. Is w a multiple of 18?
False
Let d be ((-24)/(-16))/((-2)/(-28)). Let c = 61 - d. Suppose -2 + 1 = -v - f, 4*v - 5*f - c = 0. Is 4 a factor of v?
False
Suppose -5*k - 2*b = -6*k - 8, b = -4*k + 4. Suppose 3*n + 2*n - 20 = k. Suppose -n*o - 15 = -67. Does 4 divide o?
False
Suppose -c - 5*x = -1350, -58*c + 55*c - 2*x + 4050 = 0. Is 45 a factor of c?
True
Let m(h) = -2*h**2 - 13*h - 10. Let n be m(-5). Suppose -n*k + 8 = -7, -u + 159 = k. Is 39 a factor of u?
True
Suppose -67*f + 103698 = -4*f. Is 79 a factor of f?
False
Let k be (-235)/(-20) + 4/16. Is 6 a factor of (k/7)/((-18)/(-63))?
True
Suppose 0 = -15*t + 11*t. Suppose -4*h + 21 + 111 = t. Is 11 a factor of h?
True
Does 129 divide 12644/7 - (-30)/(-105)?
True
Let n be (3/2)/((-12)/(-16)). Suppose n*j + j - 12 = 0. Suppose -17 = -2*k - v - j*v, 4*k = -v + 25. Is 3 a factor of k?
True
Let f(d) = 15*d**2 + 4*d + 16. Does 63 divide f(8)?
True
Let i(x) be the third derivative of 5*x**4/12 - 5*x**3/3 - 25*x**2. Does 8 divide i(7)?
False
Let c be 27/((-1)/(3 - 4)). Suppose -32*x + 780 = -c*x. Does 13 divide x?
True
Let z(w) be the second derivative of -2*w**3 + w**2/2 + 14*w. Is z(-1) a multiple of 3?
False
Suppose -9*u = -4*u - 320. Does 11 divide 1 + (-5)/((-10)/u)?
True
Let a(w) be the third derivative of w**4/6 - 11*w**3/3 - 10*w**2. Is 7 a factor of a(10)?
False
Let p(y) = y**2 + 2. Let a be p(-5). Let k = -25 + a. Suppose 3*z = -3*b + 174, -k*z - 6*b = -b - 101. Is 21 a factor of z?
True
Let z = 15 - 10. Suppose 0 = -m + 4*m - 5*w - 123, z*w = -m + 61. Is 13 a factor of m?
False
Let n = 38 + -34. Suppose -n*r + 2*f = -188, 5*r - 3*f = -0*f + 233. Is r a multiple of 7?
True
Let h be -1*((-1 + 3)/2)/(-1). Does 12 divide (h + 74/10)/(1/10)?
True
Let u(f) = 4*f**3 - 33*f**2 - 2*f - 16. Is u(10) a multiple of 19?
False
Suppose 0*c - c = 2. Let s be c*6*2/4. Is 21 a factor of s/15*(-124 - 1)?
False
Let h be (-2 - -1) + (6 - -2) + -1. Does 2 divide (-116)/(-3) - (1 + (-2)/h)?
True
Let j = 16 - 4. Suppose -5*i + j = 3*c - 2*c, -66 = -3*c - 5*i. Is c a multiple of 9?
True
Let o(c) = 57*c + 2. Let h be o(-1). Let d = 127 + h. Is 12 a factor of d?
True
Let g = 96 + -96. Suppose -1241 = -5*v - f, g = 4*f - 5*f - 4. Is v a multiple of 22?
False
Let m be ((-60)/(-1))/((-6)/(-4)). Suppose 0 = -2*i + 7*i + m. Is 10 a factor of (-10)/(-80) - 159/i?
True
Suppose 14*p + 71 = 603. Is p a multiple of 38?
True
Suppose -16 = 2*t - 2. Let c(b) = -b - 5. Let u be c(t). Is (u - -1)/(33/154) a multiple of 14?
True
Let x(r) = 77*r**3 + r**2 - r + 1. Let p be 30/25 - (-3)/(30/(-2)). Is 9 a factor of x(p)?
False
Let u be 1/(-5) + 28816/80. Suppose 0 = -0*c + 6*c - u. Is 20 a factor of c?
True
Suppose 4*q = 8*q - 1100. Suppose -14*i = -9*i - q. Is i a multiple of 14?
False
Suppose -26*a + 21*a = 0. Suppose 2*p - 2*u = 182, a*u = 2*u - 4. Does 14 divide p?
False
Suppose -2*p - 2*s - 24 = 0, 5*p + s + 2*s + 52 = 0. Let x(i) = -4*i + 3. Does 2 divide x(p)?
False
Let a be 3 + (180 - -1) - -3. Let q = 128 - a. Let u = q - -88. Does 12 divide u?
False
Let l = 18 - 13. Suppose l = -f + 7. Suppose f*b = 3*b - 5. Is b a multiple of 4?
False
Suppose 3*s + 1236 = 9*s. Suppose 166 = 4*i + 2*w, -3*i - 4*w = 2*i - s. Does 30 divide i?
False
Let q(w) be the second derivative of w**3/2 + 4*w**2 + 3*w. Is 10 a factor of q(4)?
True
Is 8 a factor of (((-336)/36)/7)/((-2)/432)?
True
Let f = 143 - -25. Suppose -4*x = 4*x - f. Is x a multiple of 7?
True
Let m(y) = -15*y**3 + 49*y**2 + 105*y + 2. Is 4 a factor of m(-2)?
True
Let j = -12129 + 6666. Let u be 5/(-15)*3*2. Is 11 a factor of j/(-99) - u/(-11)?
True
Let l(r) = -r**3 - 6*r**2 + 7*r - 10. Let f be (8 - 2)/2 - 10. Let i be l(f). Let w(m) = -m**2 - 11*m + 12. Is w(i) a multiple of 4?
False
Suppose -6*v - 192 = -7*v + 3*x, 4*x - 800 = -4*v. Is 11 a factor of v?
True
Let z = -64 - -70. Suppose z*f - 38 = 5*f. Is f a multiple of 17?
False
Does 17 divide (-24340)/(-210) + 10 - 4/(-42)?
False
Let l = 20 + -11. Is 11 a factor of ((-3)/2)/(l/(-66))?
True
Suppose 5*r - 8669 = -4*f, -2*f + 2*r = f - 6473. Is 23 a factor of f?
False
Let d = 321 + -263. Does 5 divide d?
False
Let r(a) = 124*a**2 - 4*a. Is r(5) a multiple of 110?
True
Let o(j) = 105*j**2 + 9*j + 26. Does 134 divide o(-6)?
True
Let b(c) = -c**2 - 6*c + 3. Let r(i) be the second derivative of -i**3/6 + i**2/2 + 3*i. Let s be r(5). Is b(s) a multiple of 11?
True
Suppose 0 = t + 3*t + 44. Let z(o) = -3*o - 12. Does 21 divide z(t)?
True
Does 13 divide (-8)/((-152)/31863) + 0/1?
True
Suppose 3*v + 2*t = 2712, -12*v - 5*t - 4520 = -17*v. Is 8 a factor of v?
True
Suppose -3*r = -3*m - 6, m + 7 + 1 = -r. Let j be 1/(1/6) + r. Suppose j*n - 143 = 61. Does 25 divide n?
False
Suppose 0 = 4*n + 7 + 1, -5*w + n + 1542 = 0. Suppose 5*i - 147 - w = 0. Is 13 a factor of i?
True
Let r be -2 + ((-8)/(-6) - (-2)/3). Suppose 4*j + j - 5*f - 715 = r, -f = 4*j - 597. Does 37 divide j?
True
Let i be 2/((-50)/18 - (3 + -6)). Let l(m) = -6*m. Let h be l(-4). Suppose -i*v = -6*v - h. Is 8 a factor of v?
True
Suppose 5*s = 4*b + 7, -4*s + 3*b + 7 = 1. Suppose 624 = 5*n + s*m, -m = 5*n + 3*m - 627. Is n a multiple of 41?
True
Let g be 7*(-2 + (-2 - -6)). Let m = 18 - g. Suppose 216 = -u + m*u. Does 24 divide u?
True
Let j = -26 + 16. Let q be 5/1*(-136)/j. Suppose 0 = 2*y + 5*x - 42, -3*y + 0*x = 5*x - q. Does 6 divide y?
False
Let h(d) be the first derivative of 2*d**3/3 - d**2 + 88*d + 13. Does 22 divide h(0)?
True
Let r be (4 + 44/(-12))*30. Let t be r + -7 - (4 + -2). Does 7 divide t/(-4) - (-231)/12?
False
Suppose 7*a - 3900 = 741. Is 31 a factor of a?
False
Let z(a) = -5*a**2 - 4*a + 6. Let r(p) = -11*p**2 - 9*p + 13. Let w(u) = 4*r(u) - 9*z(u). Let x be w(2). Is -1*(-6)/4*x a multiple of 3?
True
Suppose 7*g - 2*g = 170. Suppose -19*p + g = -17*p. Does 17 divide p?
True
Let j(r) = 2*r + 34. Let q be j(0). Let g = 58 - q. Is g a multiple of 4?
True
Suppose 2*j + 51 = 5*j. Suppose -1460 = -j*x + 7*x. Is x a multiple of 9?
False
Let m = -199 + 694. Is m a multiple of 33?
True
Let c(v) = -v**3 - 6*v**2 - 10*v - 1. Let m be (-2)/((40/(-124))/(-5)). Let z = m + 27. Is c(z) even?
False
Suppose -211*n + 216*n = 1685. Is n a multiple of 15?
False
Let m(w) = -w**3 + 8*w**2 - 9*w + 3. Suppose 2*u - 133 = -3*u - 4*f, -148 = -5*u + f. Suppose -4*y - j = -u, -3*y - 3*j + 11 = -22. Does 7 divi