of x(-2)?
True
Suppose -4*g = -0*g - 8. Let r = g + -2. Suppose r = 2*l - 25 - 41. Is 13 a factor of l?
False
Let j = -44 + 154. Is 11 a factor of j?
True
Suppose 0 = 4*v - 2*w + 26, -v - 2*w - 4 = -5*w. Let n = -1 - v. Let y(x) = -x**3 + 8*x**2 - 9*x. Does 6 divide y(n)?
True
Let g = -55 - -110. Suppose 8 = -3*k + 7*k. Suppose -t = 3*m - 5*t - 85, k*m - g = 3*t. Is m a multiple of 10?
False
Let b be (-36)/1*(-4)/3. Is 26 a factor of 2 + (b - (0 - 2))?
True
Suppose -4*s = -2*y - 43 - 23, 2*y = s - 9. Is 7 a factor of s?
False
Is (-133)/(-35) - 2/(-10) a multiple of 4?
True
Let h be (-3)/1 + (-1 - -1). Let s = h - -4. Is 6 a factor of (s*9)/((-6)/(-8))?
True
Suppose y - 6*y + 650 = 0. Suppose -d = -5, -d = -5*p - 3*d + y. Does 12 divide p?
True
Let n = -87 + 277. Is 19 a factor of n?
True
Let b(j) = -j**2 - 12*j + 1. Does 3 divide b(-11)?
True
Suppose 4*t = t. Suppose t = -5*g + 12 + 28. Suppose o - 11 = g. Is 13 a factor of o?
False
Is 10 a factor of (4 + -4 - -2) + 46?
False
Let l(i) = i**3 + 3*i**2 - 4*i. Let m be l(-3). Let g = 18 - m. Does 2 divide g?
True
Suppose 0 = -3*m + 8*m + 120. Is 7 a factor of m/(6/(-2) + 2)?
False
Let p(j) = -j**2 + 7*j - 9. Let t be p(4). Suppose 4*w - 5*r = 274, -t*r + 464 - 174 = 4*w. Is 29 a factor of w?
False
Suppose 4*s - 12 = 4. Suppose 0 = d - 1 - s. Let n(i) = 4*i**2 - 7*i + 2. Is 17 a factor of n(d)?
False
Let i = 30 - -3. Let m be (-8)/20 + 262/5. Let p = m - i. Is 8 a factor of p?
False
Let u(j) = -j**2 + j - 4. Let k be u(0). Is (-85)/k + 5/(-20) a multiple of 7?
True
Suppose 0*x = -x. Let i = 0 + x. Suppose i = -4*p + 80 - 4. Is p a multiple of 15?
False
Let o be 88/72 - 2/9. Let r be (10/(-3))/(o/(-9)). Suppose 5*i = 15 + r. Is i a multiple of 9?
True
Suppose 0 = -2*g - 2, 5*m = -4*g + 339 + 132. Is m a multiple of 33?
False
Let l(b) = -b - 4. Let o be l(-4). Suppose o = -0*y - 3*y + 12. Suppose -y*i = 4*t + 4, -2*t = 2*t + 16. Is i a multiple of 2?
False
Let q(x) = -21*x**2 - 1. Let v be q(-1). Let y = -7 - v. Suppose 0 = -h + 6*h - y. Is 3 a factor of h?
True
Let i(q) = 8*q**2 + 5*q + 1. Let s(t) = 33*t**2 + 21*t + 3. Let d(j) = 9*i(j) - 2*s(j). Is d(-2) a multiple of 21?
True
Let a = -310 + 459. Is 11 a factor of a?
False
Let j = 266 + -375. Is 27 a factor of (1 + j)*(-1)/2?
True
Suppose 0 = j + 3 - 13. Is j even?
True
Let y = 0 - 0. Let z be 2/1 - y - 29. Let l = -10 - z. Is 7 a factor of l?
False
Let m(b) = 4*b - 1. Let y(u) = -7*u + 3. Let l(i) = -5*m(i) - 2*y(i). Let v be l(-5). Let w = 11 + v. Is 17 a factor of w?
False
Let b be (-6)/(-8)*12/3. Suppose 4 = b*p - 5. Is 3 a factor of 2/p - 21/(-9)?
True
Let u = -7 - -11. Suppose -4*l = 2*x - 5*x + 221, 0 = 2*x + 5*l - 132. Suppose -j - 115 = -5*i, -4*j - j = -u*i + x. Does 12 divide i?
True
Is 28 a factor of (-2 - -13*5)/1?
False
Let i(r) = 2*r - 1. Let a(z) = -z**3 - 3*z**2 - z + 2. Let c be a(-3). Is 9 a factor of i(c)?
True
Let l = -8 - -6. Let y be ((-2)/(-1))/(l/8). Let s(d) = d**2 + 4*d - 2. Does 14 divide s(y)?
False
Suppose -3*i = 4*c + 2*i - 31, 24 = 3*c + 4*i. Let l(y) = 8*y + 3. Let b be l(3). Suppose c*g - b = 5. Is g a multiple of 3?
False
Let x(k) = 5*k - 45. Is 15 a factor of x(24)?
True
Let b = -90 - -129. Does 17 divide (-2)/((8/b)/(-4))?
False
Let y(u) = -u**2 + 15*u - 2. Let w be y(8). Suppose 0 = -2*p - p + w. Is p a multiple of 18?
True
Suppose -2*t = 5*b - 28, 0 = -t - 5*b - 4 + 23. Let o = t - 1. Is 4 a factor of o?
True
Suppose 3*a = -5*h + 57, h + 4*a = -0*h + 25. Is 18 a factor of (h/6)/((-2)/(-72))?
True
Suppose 10*h = 5*h - 4*t + 28, 4*h - 20 = -2*t. Is h even?
True
Does 8 divide (-50)/(-5) + -2 + 2?
False
Let n = 21 - 1. Does 14 divide n?
False
Let s = 7 - 5. Suppose -s = -4*i + 14. Suppose 3*d + 31 + 11 = 3*p, 5*p - i*d - 73 = 0. Is 9 a factor of p?
False
Suppose -4*h = -6 - 18. Suppose -h = -y - 2*y. Does 4 divide 10 + 0 + y/(-2)?
False
Let q(o) = o + 11. Suppose 7 = -v + 4*m, 0*m = 2*v - m + 14. Let x be q(v). Suppose -2*y = 7*n - 2*n - 24, 0 = 3*n + x*y - 6. Does 5 divide n?
False
Let b(g) = -5*g**3 + 2*g**2 + g. Let i be b(-2). Suppose -4*h - i = -6*h. Does 23 divide h?
True
Suppose 0 = -2*a - 28 - 4. Let c = a + 26. Is c even?
True
Let v(c) = c - 6. Let j be v(0). Does 10 divide (15/(-2))/(j/8)?
True
Let b(m) = -m**3 - 3*m**2 + 7. Does 7 divide b(-3)?
True
Suppose -268 = -i + 5*i. Let o(n) = -n**2 - 3*n - 9. Let z be o(8). Let b = i - z. Does 15 divide b?
True
Is (-2)/6 + (-52)/(-12) a multiple of 3?
False
Let l(a) = a**3 + 9*a**2 + 7*a - 4. Let x be (0 - 2) + 4 + -10. Let w be l(x). Suppose -5*i - 2 = 3, -w*p - 3*i = -85. Is p a multiple of 12?
False
Let n(u) be the third derivative of -u**4/6 + 3*u**2. Is 12 a factor of n(-4)?
False
Let o(l) = -13 + l**2 + 1 + 7 - 11 - 9*l. Is o(13) a multiple of 18?
True
Let a = -2 - 3. Let b = -9 + a. Is 6/21 - 164/b a multiple of 12?
True
Suppose -b = -115 - 113. Is 39 a factor of b?
False
Suppose 2*b + 3*b - 20 = 0. Let d(r) = -r**3 + 6*r**2 - 6*r + 2. Does 5 divide d(b)?
True
Let c(g) = g**2 - 3*g - 2. Let r be c(4). Let t(z) = -z**2 + 18*z - 9. Let u be t(17). Suppose 3*p - u = r*p. Is 5 a factor of p?
False
Suppose -3*o + 3 = -2*o. Suppose 3*h = -0*h + o*r - 3, 5 = 5*r. Suppose 4*x = h, 2*x + 0*x = 2*b - 8. Is b a multiple of 4?
True
Let j(q) = -2*q - 5. Let g(s) = 8*s + 20. Let v(r) = 2*g(r) + 9*j(r). Does 7 divide v(-6)?
True
Suppose 7 = -3*b - 5. Is 21 a factor of b/8 - 267/(-6)?
False
Let l = 27 + -6. Suppose 15 + l = 2*d. Is d a multiple of 7?
False
Let r(v) = 38*v**2 - v - 1. Let t = 2 + 0. Suppose h - 3*w - 13 = 2*h, -2*h + t*w = -6. Is r(h) a multiple of 14?
False
Suppose -5*a - 4 = -29. Let t = a + 1. Does 15 divide 109/3 - 2/t?
False
Suppose -2*m - 3 = -3*m. Suppose -m*w + 28 = -w. Is w a multiple of 7?
True
Let l(s) = s**3 + 4*s**2 + 2*s + 1. Let z be l(-5). Let t = z + 48. Is t a multiple of 11?
False
Suppose -s - 10 = s. Let c(y) = y**2 - 5*y + 6. Is c(s) a multiple of 15?
False
Let d(x) = 3*x**2 + 4*x + 2. Let h be d(-2). Let a be (-992)/(-9) - h/27. Suppose 5*l = a - 20. Does 14 divide l?
False
Suppose -4*m = -6 - 6. Suppose m*s = -17 + 71. Is s a multiple of 8?
False
Let r = 27 + -11. Is r a multiple of 10?
False
Suppose 0 = -3*o + v + 185, -3*o - o + 245 = -3*v. Is o a multiple of 20?
False
Let t(s) = s**2 - 2*s + 1. Let d be t(3). Let o be 4/(d - 2)*1. Suppose -136 = -5*g + o*n - 24, 2*g - 5*n - 49 = 0. Is 12 a factor of g?
False
Suppose 0 = -0*c + 3*c + 72. Suppose 5*x + 20 = 0, -w + 62 = -6*w - 3*x. Let p = w - c. Is p a multiple of 4?
False
Let o = -13 - -35. Let k = o - -11. Is k a multiple of 15?
False
Suppose -7*r + 3*r - 20 = 0. Let c = 7 + r. Suppose p - c = 2. Is p a multiple of 3?
False
Suppose 0 = 2*o - 3*o - 25. Does 8 divide (-360)/o + 2/(-5)?
False
Let l(p) = -p**2 + 4*p + 3. Let f be l(4). Does 13 divide ((-3)/(-2))/f*106?
False
Suppose 3*p + 163 = 4*d, -5*d - 5*p + 143 + 52 = 0. Is 10 a factor of d?
True
Let z(h) = 2*h**3 - 10*h**2 - 6*h - 4. Does 16 divide z(6)?
True
Let s(d) = -d**3 + 5*d**2 + 3. Let n be s(5). Suppose p = -n*p + 16. Does 2 divide p?
True
Suppose -3*n + 17 = 3*p + 2*n, -n - 20 = -2*p. Is 9 a factor of p?
True
Let s = 281 - 177. Is s a multiple of 17?
False
Suppose 0 = 3*g, o - 16 = -4*g - 6. Let p = 1 + -1. Suppose -2*k = -o, -f + k + 11 = -p*f. Is f a multiple of 15?
False
Does 7 divide -1*(1 + -8)*1?
True
Suppose 0 = -2*b + 572 + 64. Does 15 divide b?
False
Let n = -293 + 491. Is 37 a factor of n?
False
Suppose -8 - 24 = -4*r. Let m = r - 3. Let o = 5 + m. Is o a multiple of 10?
True
Let p be 0/(-1) + 29/1. Let b = p - 42. Let i = 5 - b. Is 8 a factor of i?
False
Suppose r = -4*x - 6, 3*x + 21 - 6 = 0. Suppose -r - 14 = -2*n. Is n a multiple of 14?
True
Suppose 2 + 14 = 3*a - 2*r, -a = -5*r - 14. Suppose 3 - 131 = -a*v. Is 16 a factor of v?
True
Let y = -12 - -27. Does 13 divide ((-102)/y)/(1/(-5))?
False
Suppose 3*l - 2*l - 66 = 0. Does 11 divide l?
True
Let u be 6 - (-2 + 3)/1. Let t = 9 - u. Suppose -z + 2*c = -19, -t*c - 95 = -5*z + c. Does 13 divide z?
False
Suppose 0 = 3*a - 40 - 14. Is 3 a factor of a?
True
Suppose -3*a + 38 = -5*v, -3*a + 46 = 2*v - 3*v. Is a a multiple of 3?
False
Suppose 2*f - 4 = -2*j, -5*j - f + 6*f + 30 = 0. Suppose s = 2*o, -j*s + 9*s = -3*o + 65. Is 5 a factor of s?
True
Supp