le of 5?
True
Let j = 31 - 18. Let t(i) = i**3 - 12*i**2 - 9*i - 7. Is t(j) a multiple of 15?
True
Suppose -i + 4*o + 40 = 0, -i + 29 = -2*o - 17. Is 13 a factor of i?
True
Let w = -10 - -14. Is w a multiple of 4?
True
Suppose 7*p - 3*p = -20. Let n = 10 + p. Suppose -s - n*i + 14 = 0, 0*s + 50 = 5*s + 5*i. Does 9 divide s?
True
Does 4 divide 276/6 + (-1 - -1)*-1?
False
Does 17 divide (-14)/21 + 670/6?
False
Let q = 24 - -12. Suppose -6*w = -10*w + q. Is w a multiple of 9?
True
Let m(a) = -10*a + 6. Let g(s) = -10*s + 5. Let f(p) = 5*g(p) - 4*m(p). Is 17 a factor of f(-6)?
False
Suppose 1 = -h - 1. Let b(z) = 11*z**2 - 2*z - 2. Let j be b(2). Is -2 + 1 - j/h a multiple of 9?
True
Is 10 a factor of (-6)/(-15)*(-1 - -61)?
False
Let a(n) = 35*n**2 + n - 1. Suppose -4*z = -3*z - 2. Let h be ((-18)/(-3))/z - 2. Does 20 divide a(h)?
False
Let x = 35 - -25. Is x a multiple of 10?
True
Let m be 4 - 0 - 28/7. Suppose m*n = -4*n + 116. Does 14 divide n?
False
Suppose -22 = -0*i - 2*i + 4*z, 9 = -i - 3*z. Let p be 3/(i/(-2)) - -30. Suppose -p = -3*x + 23. Is x a multiple of 17?
True
Let j = -125 + 213. Is j/5 - 4/(-10) a multiple of 18?
True
Suppose w + 52 = 2*w. Suppose -3*t - 2*u + 78 = -3*u, 2*t - w = 5*u. Does 18 divide t?
False
Let w be (36/(-3))/((-3)/2). Is 19 a factor of (2 - w)*13/(-3)?
False
Suppose x + 146 = 4*r, 0 = -0*r + 3*r - 3*x - 114. Is 9 a factor of r?
True
Let d = 69 + -41. Does 14 divide d?
True
Suppose -3*i = 2*u - 149, -3*i + 62 = 4*u - 89. Is 9 a factor of i?
False
Let i = 14 - 5. Let a(b) = b**3 - 8*b**2 - 4*b - 13. Is a(i) a multiple of 18?
False
Let g(q) = q**2 - q - 1. Let s be g(2). Suppose 2*y - 39 = s. Is 8 a factor of y?
False
Suppose -3*z + 30 = -6. Does 6 divide z?
True
Let o = -8 + 50. Is o a multiple of 21?
True
Suppose -7*y + 3*y - 4 = 5*d, -4*y - 4 = -5*d. Does 19 divide 4 + 42 + d + -2?
False
Let u = -10 + 3. Let f = u - -17. Is 10 a factor of f?
True
Suppose 8 = 6*p - 4*p. Suppose 2*x + 4*v = -p, -2 = -2*x - 3*v + 2*v. Suppose x*i - 78 = -i. Is i a multiple of 10?
False
Suppose 0*p - 141 = -4*h - 5*p, p - 5 = 0. Suppose -b - 3 = -2*d, 2*b - d + h = 7*b. Is b a multiple of 5?
True
Let m = -88 - -230. Is 22 a factor of m?
False
Let n be 36/7 + (-3)/21. Suppose -4*p = 0, -3*p = n*g - 42 - 78. Is 12 a factor of g?
True
Let m = 3 - 3. Suppose -f + m*f - 5 = 0. Does 3 divide (-1)/f + 14/5?
True
Suppose -12 = 5*l - 87. Is 3 a factor of 57/9 - 5/l?
True
Suppose 0 = -5*q + 5*k + 60, 3*q + 2*q - 25 = -2*k. Suppose -4*f = -35 + q. Is f a multiple of 2?
False
Let z = -47 - -88. Suppose 19 + z = 4*j. Does 5 divide j?
True
Let d(x) = 4*x**3 - 4. Let t be (-8 + 3 + 1)/(-2). Does 13 divide d(t)?
False
Suppose -76 + 1 = -5*f. Let o = -11 + f. Suppose o*h - h = 69. Is 17 a factor of h?
False
Suppose q - 4*q = -51. Let v be q/(-4) + 4/16. Let s = -1 - v. Is s even?
False
Suppose 3 = -2*z + 7. Does 12 divide 1/(z/22) - -1?
True
Does 2 divide 4 - 130/35 - (-47)/7?
False
Suppose 0 = 6*f - f. Suppose -n = -1, k - 35 = -f*k - 5*n. Does 5 divide k?
True
Let y = -72 - -108. Does 9 divide y?
True
Let o(m) = 25*m - 1. Is 12 a factor of o(1)?
True
Let n(p) = -p**2 - 12*p - 12. Suppose o + 2*o = -24. Let h be n(o). Suppose h = 6*j - j. Is j a multiple of 2?
True
Does 2 divide 76/10*(-75)/(-30)?
False
Suppose 10 = -o + 74. Suppose -g = g - o. Does 15 divide g?
False
Suppose 0*w = -w + 1. Let i = 1 - w. Suppose i = 2*s - 2*u - 4, -s - 4*u = -0*u - 12. Is 4 a factor of s?
True
Let r be 7 + (-3 - 3 - -3). Suppose -r*v + 161 - 21 = 0. Is 14 a factor of v?
False
Let u = 50 + -30. Is 13 a factor of u?
False
Suppose 0 = -5*f - 0*f + 360. Is f a multiple of 24?
True
Suppose -5*l = -33 - 12. Suppose -h = -2*s + 2, -3*h - s + 3*s + 6 = 0. Let u = l + h. Is u a multiple of 12?
False
Let l(n) = 3*n**3 + n**2 + 2. Let a = -6 - -4. Let c be l(a). Let b = 36 + c. Is b a multiple of 9?
True
Let u(z) = -3*z - 5. Let b(a) = 1. Let n(g) = 6*b(g) + u(g). Is n(-2) a multiple of 3?
False
Let l = -2 + 4. Suppose 4*v - 140 = -4*j, 7*v + j = l*v + 159. Suppose -b = -4*c + 6, 0 = 4*b - 5*c - 0*c - v. Is b a multiple of 5?
False
Let w(l) = -22*l**3 + l**2 - l - 1. Let v be w(-1). Let t = v - 8. Is 15 a factor of t?
True
Let i(z) = z**3 + 7*z**2 + 7. Let d be 2 + -3 + -3 + -2. Is i(d) a multiple of 15?
False
Let c(g) be the second derivative of -g**5/20 - g**4/2 + 3*g**2/2 + g. Let h(s) = s**3 + s**2 - s - 6. Let t be h(0). Is 2 a factor of c(t)?
False
Let p = -7 - -12. Suppose -p*l - 12 = -3*g + 1, -5*l + 23 = 3*g. Suppose 2*b - g = 2. Is 3 a factor of b?
False
Suppose 3*c + n + 2 - 6 = 0, 5*n - 20 = -3*c. Suppose -4*j = -3*b + 61, 2*b = -j - c + 59. Is b a multiple of 9?
True
Suppose 3*y - 8 = y. Suppose 3*t + 16 = 7*t, 0 = -y*c - 3*t. Does 12 divide 1*(-1 - c*9)?
False
Suppose -r - 5*g + 27 = 0, 2*r - 7 = -2*g + 7. Suppose 0 = -y + r*y. Suppose y = 2*m - 50 - 10. Is 19 a factor of m?
False
Suppose -p + 7 = 2*o - o, -4*o + p = -3. Let q be (2/(-3))/(o/(-6)). Suppose -q*x - 3*x = -30. Is x a multiple of 5?
False
Let i(p) = p**2 - 8*p - 13. Let h be i(-7). Let y = -9 + 13. Suppose 4 - h = -y*n. Is 8 a factor of n?
False
Let q(i) = -i**2 - 11*i - 4. Let b be q(-8). Suppose 2*a - b = -2*a. Suppose a*f - 146 = 104. Does 25 divide f?
True
Does 20 divide 80/(1 + (-2)/4)?
True
Let r(d) be the third derivative of -d**7/2520 - d**6/90 + 7*d**5/120 + d**4/8 + 3*d**2. Let g(w) be the second derivative of r(w). Does 7 divide g(-7)?
True
Suppose 4*t - 88 = -s, 0*t = -s - 5*t + 87. Does 42 divide s?
False
Suppose 4 = -3*j - 0*v + 2*v, 5*v = 2*j - 12. Let l(b) = -6*b - 2. Let u be l(-2). Does 10 divide (u/j)/((-2)/8)?
True
Let j(o) = -o**2 + 4*o + 60. Is j(0) a multiple of 20?
True
Let x(y) = y**2 + 5*y - 2. Let f be x(-6). Let w = -33 - -61. Is 13 a factor of 1*w - 8/f?
True
Let f(t) = 3 + 2 - 4 + t + 0. Let a be f(1). Suppose -2*p - a*j = -42, 123 = 5*p + j + 38. Is p a multiple of 8?
True
Let d = -18 + 30. Suppose -b + 0*b + d = 0. Does 12 divide b?
True
Suppose 131 = 3*j - 76. Let h = -110 - -63. Let q = h + j. Is 11 a factor of q?
True
Suppose -5*p = -5*y + 250, 3*y + p = 162 - 12. Does 6 divide y?
False
Let d(p) = p**3 - 11*p**2 + 4*p + 10. Let t be d(11). Let m be (t/7)/((-1)/(-7)). Suppose -2*y + m = -0*y. Is 10 a factor of y?
False
Is 1*(4 + -508)/(-4) a multiple of 15?
False
Let k(u) = -5*u - 10. Is 9 a factor of k(-9)?
False
Let a be ((-12)/(-9))/((-4)/6). Let y(b) = 9*b**2 + 1. Is y(a) a multiple of 22?
False
Suppose 4*l - 12 = 8. Suppose -312 = -4*q + 4*i, -l*q + 370 = -0*i + 5*i. Is q a multiple of 25?
False
Suppose -5*w = 4*n - 216, -3*n - 8*w + 162 = -3*w. Is 27 a factor of n?
True
Let k(b) = 3*b**2 + b + 2. Suppose 2*c - 55 = -3*c. Suppose -8*y + 23 = -3*y - f, 0 = -y - 5*f - c. Is 19 a factor of k(y)?
False
Let z be (-4)/26 + (-224)/(-104). Suppose 8 = x + z. Is x a multiple of 3?
True
Let l(d) = 7*d**3 + d**2 - 9*d - 7. Let g(i) = 3*i**3 + i**2 - 5*i - 4. Let k(j) = 5*g(j) - 3*l(j). Is k(-1) a multiple of 7?
True
Let m(s) = 47*s - 17. Does 19 divide m(4)?
True
Let w be -464*((-60)/(-16))/(-5). Suppose w = 4*z - 0*z. Does 29 divide z?
True
Let p be ((-144)/15 + 3)*5. Let j = -18 - p. Does 12 divide j?
False
Suppose z + 3 - 5 = 0. Suppose -t - 2*u = -4*u, -2*u + 30 = z*t. Is 10 a factor of t?
True
Let v(y) = 7*y + 9. Let d(m) = -m**3 - 3*m**2 + 3*m. Let i be d(-4). Is 13 a factor of v(i)?
False
Suppose -4*d - d = 460. Is (-3)/(1 - (-95)/d) a multiple of 27?
False
Let r = 16 - -64. Suppose 0 = 3*x - 4 - r. Suppose p - 2*m - x = -0*p, 5*p = 2*m + 100. Is 18 a factor of p?
True
Suppose -4*d = -4, s - 44 = 3*d + 63. Suppose -2*y - 22 = -m, -y + s = 5*m + 22. Does 9 divide m?
True
Let f = -9 - -7. Let a be 4/(1*f/(-41)). Suppose a = s + s. Is s a multiple of 15?
False
Let x(p) = -3*p - 8. Let n be x(-9). Suppose -32 = -h + n. Let v = h - 31. Is 10 a factor of v?
True
Suppose -l = -2*l + 4. Does 5 divide 84/(0 + l) + -1?
True
Let v = 8 + 1. Does 4 divide v?
False
Let o(u) = -u**3 - u**2 + u + 6. Let s be o(0). Suppose s*v - 30 = 4*v. Is 15 a factor of v?
True
Let z = 38 + 0. Is 38 a factor of z?
True
Let x(b) = -2*b**3 + 9*b**2 + 4*b + 6. Let k(c) = -4*c**3 + 17*c**2 + 7*c + 11. Let y(s) = -6*k(s) + 11*x(s). Is y(2) even?
True
Suppose 0 = -2*x - 4*l + 3*l + 44, 4*x = l +