Let d(c) = c**3 + 2. Does 2 divide d(z)?
True
Let h be (-2)/(-6) + (-240)/(-9). Suppose 0 = -5*c - 4*w + h, 4*w = 6*c - 4*c + 6. Is 3 a factor of c?
True
Let i = -104 + 181. Suppose -q = -5*y + 239, 3*y - 71 = -4*q + i. Is 13 a factor of y?
False
Suppose -3*h + 31 = 4*i, 0 = 2*h - 7*h + 2*i + 43. Does 6 divide 3*(-2 - (-39)/h)?
False
Suppose 4*h - 8 = 0, -d - h - 13 = -4*d. Suppose 5*a - 8 = -j, -a = -j - 3*a + d. Suppose -j*g - g + 72 = 0. Is g a multiple of 18?
True
Suppose 8*m + 192 = 12*m. Does 16 divide m?
True
Let l be -1 + 10 - (1 + 1). Suppose 0 = 2*c - 6, -5*g + 0*g - 3*c = -24. Let j = g + l. Does 5 divide j?
True
Let m(r) = -1 - r - 4*r - 9*r. Does 9 divide m(-2)?
True
Let k = 61 - 29. Does 8 divide k?
True
Suppose 9 = -2*w + 15. Suppose 26 = w*p - 34. Does 20 divide p?
True
Let u = 3 + 16. Does 19 divide u?
True
Let c(t) = t**3 + 9*t**2 - 10*t + 4. Let s be c(-10). Suppose q + s*q = 140. Is 12 a factor of q?
False
Suppose -2*o + 4*t - 1 + 7 = 0, -4*o - 2*t + 52 = 0. Suppose 2*q = 5*q. Suppose -3*r + 0*r + o = u, 3*u + 3 = q. Is 3 a factor of r?
False
Let q(l) be the first derivative of -l**3/3 + 5*l**2/2 + 3*l - 2. Let u be q(6). Is 14 a factor of u*(-3)/(9/22)?
False
Let w(f) = -f**3 - 5*f**2 + 4*f - 8. Let a be w(-6). Let l(m) = m**3 - 3*m**2 - 1. Is l(a) a multiple of 6?
False
Suppose h + 0 = -1. Is 9 a factor of 29 - (h - (1 + -2))?
False
Let i = -5 - -1. Let n(y) = -4*y - 1. Does 15 divide n(i)?
True
Let d(j) = j**2 + 3*j - 3. Let x be d(-5). Suppose y = -2*u + x*u - 5, -y = -4*u + 8. Let q = y - -33. Is q a multiple of 11?
False
Let p(d) = 2*d**2 + 5*d - 6. Is 13 a factor of p(-7)?
False
Let d be 23 + -9 - (1 + -1). Let p = 1 + d. Does 9 divide p?
False
Let m(k) = 2*k**2 + 7*k - 11. Let y be m(-7). Suppose -3*s - 4*p = -2*s - 16, 32 = 5*s + 4*p. Suppose n - y = 3*o - 16, s*o - 66 = -3*n. Is n a multiple of 18?
False
Suppose 0 = 3*f + 2*f - 150. Is 10 a factor of f?
True
Let w = 53 - -17. Is 10 a factor of w?
True
Let x(d) = 5*d**2 - 12*d - 13. Is 51 a factor of x(10)?
False
Let n = 36 + -14. Does 11 divide n?
True
Suppose 0 = -5*i, -b + 0*b = -i. Suppose b*p - 72 = -4*p. Is p a multiple of 13?
False
Let l(c) = -4*c - 3 - 2*c**2 + 0*c**2 + 3*c**2. Let z be l(3). Is (-4)/z - (-92)/6 a multiple of 16?
True
Let u(m) = m**3 - 11*m**2 + 10*m + 3. Let j be u(10). Let s = 81 - j. Is 27 a factor of s?
False
Is 24 a factor of (-15 - 0)*((-63)/15 - -1)?
True
Let r be (0 + (-3)/5)*-5. Suppose 0*w + 22 = -5*c + w, -9 = r*w. Is (15 + -3)*c/(-3) a multiple of 8?
False
Let d = 1 - 2. Let a = -1 + d. Let v(p) = 3*p**2 - p - 1. Is v(a) a multiple of 13?
True
Let h be (0 + 3)*6/9. Let n = -82 + 125. Suppose -11 = h*d - n. Is d a multiple of 14?
False
Let l(r) = r**3 + 20*r**2 - 29*r - 8. Is l(-21) a multiple of 11?
False
Let a(p) = 42*p**2 - 2*p. Let y be a(-2). Let h be (-4)/(-18) + y/36. Suppose -15 = -4*t - n, n + h = t - 0*n. Does 2 divide t?
True
Let n(g) = g**3 + g**2 - g + 20. Does 10 divide n(0)?
True
Let o(c) be the first derivative of 9*c + 2*c + c**2 + 0 - 3*c - 2. Is o(6) a multiple of 20?
True
Suppose 0 = 3*m + m + 4*w - 520, 5*w = -2*m + 263. Is 37 a factor of m?
False
Suppose 3*h = -2*h + 160. Let n = -8 + 5. Is h/10 + n/15 even?
False
Suppose -18*p - 725 = -23*p. Does 12 divide p?
False
Let f = 49 - 25. Is f a multiple of 8?
True
Let l(i) = i**2 + i. Is l(-3) a multiple of 3?
True
Suppose 0*q - 4*q + 16 = 0. Suppose q*a = 5*s - 176, 5*a - 113 - 36 = -4*s. Is 9 a factor of (-5 + 0)*s/(-10)?
True
Suppose 3*a - t - 147 = 0, 5*a - 4*t - 296 = -44. Suppose 0 = 2*x + 2 - 34. Let q = a - x. Is q a multiple of 14?
False
Suppose -9 + 3 = -2*w. Suppose 0 = w*c - 8 - 7. Suppose v - c*v + l = -23, 4*l + 22 = 2*v. Is v even?
False
Suppose -4*k + 5*k = 4*h + 85, h + 22 = k. Is 0 + (-2)/(6/h) a multiple of 2?
False
Suppose -2*f + 2*u = -6, 2*f = -u - 0 + 3. Suppose 0 = f*d, -3*d = z - 7*d - 2. Does 3 divide z/(-12) + 147/18?
False
Suppose 0 = k + 4*k - 4*y - 296, -260 = -5*k - 5*y. Suppose -k = -2*g + 154. Does 5 divide (1 - -1)/(14/g)?
True
Suppose -x + 6 = 2*x. Let h(r) = 8*r - 2. Is 7 a factor of h(x)?
True
Let l(j) = 3*j - 4. Let m be l(3). Suppose -m*s - 13 = -93. Is 16 a factor of s?
True
Let z = 7 - 3. Let y(s) = s - 1. Let g(h) = h - 3. Let w(r) = g(r) + 2*y(r). Is 7 a factor of w(z)?
True
Let h be 1 + 1 + -3 + 1. Suppose h = 6*x - 2*x - 12. Suppose 3*o - 33 = x. Is 10 a factor of o?
False
Let y(p) = p**3 - p**2 + 9*p - 21. Is 17 a factor of y(6)?
False
Let s be -5*3/(-5)*-1. Let q = 2 - s. Suppose 0 = -4*o - y + 72 - 2, -10 = -q*y. Is 9 a factor of o?
False
Suppose 16*k - 120 = 14*k. Does 17 divide k?
False
Suppose -3 = 5*o - 23. Suppose -n + 98 = 4*n - o*s, -25 = -n - s. Is n a multiple of 12?
False
Suppose 5*x - 229 = -4*q, 5*x = q + 3*q - 259. Does 21 divide q/3 + (-24)/(-36)?
True
Let t = -4 + -3. Let r = 21 + t. Does 6 divide r?
False
Suppose p - 4 + 1 = 0. Suppose 0 = 4*r - s - 211, p*r + 28 = 4*s + 183. Is r a multiple of 25?
False
Is 5 a factor of 676/78 - (-2)/(-3)*-2?
True
Let b be -2 - 8/(-2) - 0. Let a(w) = 11*w - 3. Does 19 divide a(b)?
True
Let q be 0 - (385 + -4)/3. Let p = -81 - q. Is 10 a factor of p?
False
Let t = 210 + -32. Is t a multiple of 38?
False
Let f(g) = 6*g**2 - 5*g + 1. Let b be (-34)/(-8) + (-1)/4. Is 15 a factor of f(b)?
False
Let h(t) = t**2 - 5*t - 2. Suppose 0 = -2*i + 16 - 4. Let k be h(i). Suppose 0 = 5*y - 25, r = -y - k + 37. Does 11 divide r?
False
Suppose 3*p + 4*z = 7 + 22, 4*p + z - 56 = 0. Does 2 divide p?
False
Suppose 0 = -4*x + 331 - 111. Is 11 a factor of x?
True
Let u = -125 - -175. Does 16 divide u?
False
Let p(w) = w**3 + 6*w**2 - 2*w - 5. Let c be ((-4)/12)/(1/15). Let m be p(c). Suppose -5*h + 20 = -m. Does 9 divide h?
False
Let o(u) = u**3 - 8*u**2 + 8*u - 9. Let n be o(7). Let h(f) = -f**3 + 2*f**2 + 3*f + 1. Is 11 a factor of h(n)?
True
Does 14 divide 165/6 - (-1)/2?
True
Suppose -4*s = 4, 5*t = 7*t + 4*s - 516. Does 30 divide t?
False
Let v = 10 - 8. Suppose 2*c = -4*f + 32, -3*c + 24 = -v*f + 4*f. Is 3 a factor of f?
True
Let c = -78 - -190. Is 28 a factor of c?
True
Let l(w) = 3*w**3 - w**2 - w - 4. Is 13 a factor of l(3)?
True
Let i(z) = -z - 11. Let h(k) = -6*k - 56. Let f(w) = -3*h(w) + 16*i(w). Does 4 divide f(9)?
False
Let l = 3 - 5. Let t be (l/5)/((-4)/40). Suppose g - 2*w + 0*w = 28, -t*g = -w - 84. Does 15 divide g?
False
Let m = -31 - -19. Does 2 divide 46/10 - m/30?
False
Let l = -33 - 37. Let w = -27 - l. Is 12 a factor of w?
False
Suppose 5*x - z + 5*z - 63 = 0, 27 = 2*x + z. Is x a multiple of 15?
True
Suppose -4*j - 3*k - 2*k = -33, 5*k + 51 = 3*j. Suppose -5*r + j = 2*x - 3*r, -4*x - 3*r + 21 = 0. Suppose 0 = x*c - 16 - 20. Does 5 divide c?
False
Let v = 48 - -10. Is v a multiple of 15?
False
Let o be -1 - 9/(-3) - 0. Suppose 0*x + 18 = o*x. Does 7 divide x?
False
Is 8 a factor of (1 - (-2)/3)/(28/672)?
True
Suppose 0 = -4*l + 3*l - 97. Let u = l - -160. Is u a multiple of 14?
False
Let a be ((-2 - -4) + 0)*-1. Let z be 1/(-2)*(a - -2). Does 3 divide 4 + (1 - z/3)?
False
Suppose -8 - 4 = -3*t. Suppose -y + t*b = 2, -42 = 3*y - 5*b + 2*b. Let q = 0 - y. Does 7 divide q?
False
Let z(j) = -j**2 + 4*j - 1. Let u be z(3). Let q be 11 + 3 + (2 - 2). Suppose u*r - q = r. Is r a multiple of 7?
True
Is (-138)/(-7) - (-22)/77 a multiple of 7?
False
Suppose -20*f + 23*f = 0. Suppose -4*c = -f*c - 5*w - 57, -5*c + 96 = 2*w. Is 8 a factor of c?
False
Let h(z) = z**2 - 6*z + 11. Does 17 divide h(10)?
True
Let v(k) = 0 + 4*k + 4 - 2. Let p be v(-3). Let f = 35 - p. Is f a multiple of 12?
False
Let l = -46 + 0. Let h = l + 74. Is 7 a factor of h?
True
Let b(a) = 19*a**2 - 4*a - 4. Is 19 a factor of b(-2)?
False
Let n = 1 - -4. Let b = 37 - n. Does 28 divide b?
False
Suppose -2*b - 2*b = -8. Let x be -5 + 5 + 0/b. Suppose x = 2*f - 74 + 20. Is f a multiple of 16?
False
Suppose -3*n + 4*w - 8*w = -460, -3*w = 3*n - 465. Is n a multiple of 20?
True
Suppose -19 - 4 = -4*b + 3*z, 4*z + 14 = 2*b. Suppose 0*j - b*j = -35. Does 7 divide j?
True
Is 26 a factor of 235/1 - (-1 - -2)?
True
Suppose 2*l = -i - 18, -5*l - 3*i + 2*i = 42. Let b = -6 - l. Let r = b + 4. Does 5 divide r?
False
Let p be 1 + (0 - -2)*1. Suppose 2*m - 29 = -5*k, 2*k + 3*m - 17 + 1 = 0. Suppose 0 = 4*f - p*f +