a factor of x(-9)?
True
Let c(f) = f**3 + 5*f**2 - 3*f - 1. Let l be c(-5). Is 21 a factor of l*(-3)/(-12)*6?
True
Suppose -7 + 1 = -2*j. Suppose 15 = -j*d, -4*d + d - 55 = -z. Does 10 divide z?
True
Let f(l) = 10*l**2 - 13*l - 3. Is f(5) a multiple of 7?
True
Let t(a) = 2*a - 2. Let g be 4/2*28/8. Is 6 a factor of t(g)?
True
Let o = 309 - 181. Is o a multiple of 32?
True
Let d(m) = 67*m**2 - 3*m - 2. Does 28 divide d(-2)?
False
Suppose 5*d + 4*t = -146 - 150, -100 = 2*d - 3*t. Let u = 100 + d. Does 22 divide u?
True
Let k be 3*(-1)/((-2)/2). Suppose -p = k*p - 180. Is p a multiple of 12?
False
Suppose 7*n = 4*n + 231. Suppose 79 = 4*m - n. Is m a multiple of 17?
False
Suppose z + 2*q + q - 83 = 0, -3*z - 4*q = -244. Is 16 a factor of z?
True
Let j(c) = c**2 - 2*c - 3. Let h(i) = -i**3 - 6*i**2 + 8*i + 3. Let b be h(-7). Is 7 a factor of j(b)?
True
Is 32/3*(-21)/(-14) a multiple of 10?
False
Suppose 2*y + 25 = 7*y, y = -i - 37. Let v = -26 - i. Is v a multiple of 8?
True
Suppose 9*x - 4*x + u + 19 = 0, 0 = x + 3*u + 1. Let j be 2/7 - x/(-14). Suppose j*o + 44 = o. Does 15 divide o?
False
Suppose u - 145 = -c, 1064 = 5*c - 2*u + 339. Is c a multiple of 29?
True
Suppose -k = 1 - 5. Suppose 3*t - 5*i + 4 = t, k*i = t + 8. Suppose 14 = z - 4*b + 5*b, -t = -2*b. Does 10 divide z?
True
Let y = -20 - -40. Is y a multiple of 5?
True
Suppose 9*g - 80 = 5*g. Is 5 a factor of g?
True
Suppose 6*o - 3*o = 9. Suppose u + 34 = o*u. Let i = -9 + u. Is 8 a factor of i?
True
Let k be (3*-1*2)/(-2). Suppose k*h = -2 + 17. Does 2 divide h?
False
Suppose -20 = -0*g - 5*g. Is 2 a factor of g?
True
Let s = -6 + 8. Let c = 8 - s. Suppose c*b = 2*b + 80. Does 17 divide b?
False
Suppose -17 = -4*c + 6*c - 5*z, -36 = -4*c - 4*z. Suppose -s + 12 = 4*t, -t = -c*t + 3*s - 6. Is t a multiple of 2?
True
Let m = 8 + -2. Does 2 divide (-4)/m - 22/(-6)?
False
Let k(o) = 2*o + 1 + 7*o**2 - 3*o - 3*o. Let g(m) = 6*m**2 - 4*m + 2. Let s(l) = 5*g(l) - 4*k(l). Is s(4) a multiple of 22?
True
Let m(o) = -23*o - 1. Does 15 divide m(-2)?
True
Suppose 2*s = 4*s. Suppose s*n - 5*n + 140 = 0. Is n a multiple of 16?
False
Let g(c) = c**2 - 11. Let s(k) = -3*k**2 - k + 32. Suppose p - 3*p = -12. Let x(t) = p*s(t) + 17*g(t). Is x(-6) a multiple of 5?
True
Let t = 94 + -38. Is 21 a factor of t?
False
Let s(w) = 7*w + 28. Is s(4) a multiple of 7?
True
Let d(v) = v + 2. Let j be d(-4). Is (j/(-3))/(6/225) a multiple of 14?
False
Let i(y) = -40*y + 12. Is 32 a factor of i(-3)?
False
Let f(w) = w**3 - 3*w**2 + 3*w + 1. Let p be f(3). Suppose 2*m - 53 = -5*b, 2*b - 4*m - p = -2*m. Is b a multiple of 5?
False
Suppose 0 = -5*i + 7*i - 16. Is 2 a factor of i?
True
Suppose -15 = -5*v, 287 + 103 = 5*o + 5*v. Suppose -4*a - a + o = 0. Is 3 a factor of a?
True
Suppose -3*b + x = 8 - 202, -4*x - 61 = -b. Does 19 divide b?
False
Let q = -211 + 352. Suppose -3*w = 5*l - 7*w - q, 0 = 4*l - w - 104. Is l a multiple of 25?
True
Suppose 0 = -4*v - r + 4*r - 4, 4*r = -4*v + 24. Does 31 divide ((-682)/(-33))/(v/3)?
True
Suppose 5*c = -5*k + k + 593, 0 = 2*c + 3*k - 233. Does 46 divide c?
False
Suppose -q - 3*q = -12. Suppose 0 = q*b - 3*r - 60, -b - r = 3*b - 70. Does 9 divide b?
True
Let q(p) = 2*p**3 + 16*p**2 + 18*p - 13. Let r(l) = l**3 + 8*l**2 + 9*l - 6. Let b(t) = 6*q(t) - 13*r(t). Is 13 a factor of b(-8)?
False
Let p = -1 - -5. Suppose 6*t = p*t + 4*u, 2*t + 2*u - 18 = 0. Is t a multiple of 6?
True
Suppose 20 = -4*r, -43 + 178 = 4*h + r. Does 9 divide h?
False
Let l(t) = -14*t**3 - t**2 - 2*t - 1. Let o be l(-1). Suppose 3*w - 5 + 32 = 0. Let z = o + w. Is 2 a factor of z?
False
Suppose 151 - 16 = -3*t. Suppose 2*s + 154 = f + f, 4*f - 299 = s. Let o = f + t. Does 10 divide o?
False
Suppose m = -4, 4*p - 13 - 7 = m. Suppose 8 = y + s, 0 = 5*y - s - p - 12. Suppose 4*n = y*i + 80, -5*i = 6*n - 2*n - 71. Is n a multiple of 5?
False
Suppose -a = 5*y - 18, 3*a - 5 = -2*y - 3. Suppose -5*m + 6 = -y. Suppose j = m*j - 10. Does 5 divide j?
True
Let c = 26 + -36. Does 12 divide (-940)/(-26) + c/65?
True
Suppose 5*z - 21 = -1. Let a(s) = s**2 - 5*s + 6. Let k be a(z). Does 14 divide k + -2 - (-14)/1?
True
Let a = -56 - -152. Is (-1 - -2)*a/4 a multiple of 8?
True
Suppose -32 = -5*q - 4*u, 4*u - 21 = -3*q + u. Let x = 29 + q. Does 9 divide x?
False
Suppose -5*n = 2*b - 159, 4*b = -5*n + 2*n + 87. Suppose -v + 30 = -n. Is 21 a factor of v?
True
Suppose -l = -2*l + 10. Let q = l - 1. Let i(c) = -c**2 + 9*c + 13. Does 6 divide i(q)?
False
Let u(q) = q**3 - 7*q**2 - 7*q + 1. Let b(t) = -t**3 + 5*t**2 - t - 4. Let z be b(4). Is u(z) a multiple of 6?
False
Let b(o) be the third derivative of -o**6/120 + o**5/30 + o**4/12 - o**3/3 - o**2. Let s be b(2). Let w = s + 2. Is w a multiple of 4?
True
Let v = -2 + 13. Suppose i = -0*i + v. Is i a multiple of 11?
True
Let m(z) = z**2 + 3*z - 3. Is m(-6) a multiple of 6?
False
Suppose -5*u + 5*f + 51 = 6, -f - 17 = -3*u. Suppose u*g - g = 5*x, 5*x = 4*g. Suppose 3*m - 18 - 24 = g. Is 12 a factor of m?
False
Suppose 4*t + 4*p - 2 + 10 = 0, 4*t - 4*p - 32 = 0. Let z(m) = m**2 - 4*m + 2. Let v be z(t). Is (-15 - -2)/(v/2) a multiple of 13?
True
Suppose 0 = 2*b - i - 65, -b + 2*i + 37 = -0*i. Is 12 a factor of b?
False
Is 7 a factor of (4/(-12) - 4)/(2/(-18))?
False
Let i(b) = b**3 - 3*b**2 - 4*b + 5. Let q be i(4). Suppose -2407 = 4*s + s - a, -4*s - 1943 = q*a. Is 14 a factor of 6/27 + s/(-18)?
False
Let z = -88 - -178. Does 12 divide z?
False
Suppose 3*r = -88 + 238. Is 10 a factor of r?
True
Let f = -3 + 5. Let x be f*2/(-4) - -3. Suppose -3*h + 26 = -x*h. Does 13 divide h?
True
Let x be ((-4)/10)/(3/15). Let c be (x/4)/((-1)/4). Suppose -f + 19 + 18 = j, c*j = -5*f + 89. Is j a multiple of 13?
False
Let b(j) = j. Let c be b(5). Suppose 5*g = 0, c*g - 2*g = 4*h - 20. Suppose y + t = 13, y + h*t + 8 = 1. Does 18 divide y?
True
Let q = 3 - 1. Suppose q*s - 5*y - 12 = 0, -7*y = -3*y. Is s a multiple of 3?
True
Is 1*(0 + 102)*7/14 a multiple of 9?
False
Let d(s) = -s**3 - 2*s**2 + s - 4. Let w be (-1)/(-2) - 7/2. Let v be d(w). Suppose q = v*q - 9. Is 9 a factor of q?
True
Let d = 113 - 63. Let h = 8 - 11. Is h/((-6)/d) - -1 a multiple of 13?
True
Let f = -2 - -11. Is 22 a factor of 4*f*16/12?
False
Let o = 79 - 9. Is 14 a factor of o?
True
Let a(s) = s**3 + 9*s**2 - 2*s - 12. Does 22 divide a(-8)?
False
Let u = -123 - -172. Is u a multiple of 6?
False
Let r(n) = n**2 - 3. Suppose 0 = a - 7. Suppose 0 = 2*d + a - 1. Is 3 a factor of r(d)?
True
Let u be 2 - (-2 + 0) - 1. Suppose -u*d = -36 - 0. Is d a multiple of 5?
False
Suppose 0 = 3*w - 2*m + 98, -w - 2*w = -4*m + 100. Let r = w + 48. Is 16 a factor of r?
True
Suppose -5*s + 2*y = -31, -4*s - 2*y + 17 = -y. Suppose -s*t - 60 = -615. Let p = t + -61. Does 25 divide p?
True
Suppose -8*i + 3*w = -3*i - 614, -4*i = 2*w - 478. Is 36 a factor of i?
False
Suppose 6*b = 3*b + 2*m + 22, 0 = 4*b + 2*m - 6. Suppose 2*h - 4*h = 5*z - 240, -b*h = 0. Suppose 2*o + z = 5*o. Is o a multiple of 9?
False
Let f = -5 + 8. Does 9 divide (-1 + 30/f)*1?
True
Suppose -4*m - 2*a - a = 26, 0 = 2*m - 5*a. Let y(t) = t**3 + 5*t**2 - t + 1. Is 6 a factor of y(m)?
True
Suppose 2*x = -0*x + 56. Let w = 11 - x. Let l = 31 + w. Is l a multiple of 8?
False
Let c = -4 - -8. Suppose -w = -4*s - 0*w + 21, -c*s + 41 = -5*w. Suppose 0 = -3*y - 4*j + 45, -2*y + 28 = s*j - 2*j. Does 8 divide y?
False
Suppose z - 6*z + 125 = 0. Does 6 divide z?
False
Let i = -3 - -8. Let g = -8 + i. Let b(s) = s**2 - 2*s + 4. Does 9 divide b(g)?
False
Suppose -290 = -4*v - 30. Does 13 divide v?
True
Is 14 a factor of 1 - (-44 - -2 - 1)?
False
Let j(o) = -o**2 + 18*o - 34. Is j(11) a multiple of 2?
False
Let d be -1 - -5 - (0 - -2). Is 17 a factor of (-106 - d)/(-3) + -2?
True
Is 27 a factor of (-828)/(-26) + (-4)/(-26)?
False
Suppose 4*u = n + 9, 0 = 3*n + 2*n - u - 12. Suppose -5*w + 152 = -n. Does 15 divide w?
False
Is 23/(-2)*1*-6 a multiple of 23?
True
Suppose -4*s - 2*l = l - 733, -s + 4*l + 207 = 0. Suppose 0*v - 5*i = 4*v - s, 2*v + i - 101 = 0. Is 16 a factor of v?
False
Let o(g) = -6*g + 2. Let x be o(2). Let h = -5 - x. Suppose r - 3*k = -0*k + 8, 0 = -r + h*k + 10. Is 3 a factor of r?
False
Suppose 0 = -4*r + 2*r + 4*d + 6, 4*d = -r - 21. Let z = r + 7. Suppose -5*s = -v + 9,