-2). Let c = y - -201. Does 12 divide c?
False
Suppose -1 = -2*h + 5*p, -3*p = -5*h - 2 - 5. Suppose -1 + 10 = -3*z. Is ((-2)/z)/(h/(-54)) a multiple of 5?
False
Let r = -1 - -4. Suppose -10 = -i + 5*z, -3*i + r*z + z + 8 = 0. Is 4 a factor of (1 + i - 9)*-1?
True
Suppose 2*i + 7 = -3, 0 = -2*o - 5*i - 25. Let c(m) = -m**2 - 2*m. Let f be c(-2). Suppose -3 = t, 4*n + 2*t + f*t - 74 = o. Is n a multiple of 11?
False
Let w(z) = -7*z - 2. Suppose -4*i = 1 + 7. Is w(i) a multiple of 4?
True
Let w be 6/15 + 24/15. Suppose -w*m + 102 = -100. Is m a multiple of 29?
False
Let u(m) = -3*m**2 - 1 - 3 + 6*m - 2*m**2 + 6*m**2. Is u(-7) a multiple of 2?
False
Let c(w) = -33*w**3 - 2*w**2 + w + 2. Let q(x) = x**3 - x - 1. Let v(l) = c(l) + 2*q(l). Let f be 1/2 + 21/(-14). Is 18 a factor of v(f)?
False
Let l(t) = 17*t + 1. Let f be l(2). Let y = f - 25. Is 4 a factor of y?
False
Let s(h) = h**3 + 6*h**2 + h - 5. Let f be s(-5). Suppose 4*t = 155 - f. Is t a multiple of 9?
False
Suppose w - 1 = 2. Let d(i) = 6*i - 1. Does 14 divide d(w)?
False
Let a be 4/(-18) + 56/9. Let d = a - -20. Is 21 a factor of d?
False
Let r be (-218)/(-11) - 8/(-44). Let y = r + -10. Is y a multiple of 6?
False
Let x be 3/2*(-20)/(-6). Suppose -4*b = u - 55, 0 = -3*u - 0*b + x*b + 97. Is u a multiple of 13?
True
Suppose 2*g - 6*y = -2*y - 32, 3*g + 5*y = -48. Let j = -6 - g. Is j a multiple of 5?
True
Let k = 149 - 84. Is k a multiple of 5?
True
Let b = -3 + 6. Suppose -c + o = -4*c + 6, 3*o = b*c - 18. Suppose 4*i - 1 - 16 = c*h, -3 = -3*i - h. Is i a multiple of 2?
True
Let j be ((2 - 1) + -2)/(-1). Let c(g) = 0*g**2 + j + 2*g - 5*g + 4*g**3 + 3*g**2. Is 18 a factor of c(2)?
False
Suppose -5*s = -2*w + 81, -3*w + 5*s - 115 = -8*w. Suppose -z - 4*z = 0. Let h = w + z. Is 14 a factor of h?
True
Suppose -5*x - 6 = -3*z, -z + 1 = -4*x - 1. Does 3 divide 1 - -13 - x/(-8)?
False
Suppose 4*s = -3*o + 5 - 21, s - 3*o + 4 = 0. Let x be -20 + 3/(6/s). Is (15/6)/(-5)*x a multiple of 5?
False
Let b = 12 - 24. Does 3 divide (-25)/(-9) + b/(-54)?
True
Let u(m) = -27*m**3 + 5*m**2 - 7*m - 5. Let p(t) = 13*t**3 - 2*t**2 + 3*t + 2. Let d(s) = -5*p(s) - 2*u(s). Suppose 5 = -5*z - 0. Is 6 a factor of d(z)?
True
Let v(l) be the second derivative of -l**3/3 - 4*l**2 + l. Let i be v(-6). Suppose 1 = -s, n - 36 = i*s - 2*s. Is n a multiple of 17?
True
Let h(r) = 5*r + 1. Let y be h(-5). Does 3 divide (6/y)/(2/(-24))?
True
Let l(x) = 3*x + 6. Suppose 3*a + 18 = 6. Let p be l(a). Let m(c) = -4*c - 3. Is m(p) a multiple of 14?
False
Let f = -8 + 4. Let h(y) = -y**3 + 5*y**2 + 2*y + 1. Let x be h(f). Suppose -38 = -4*w - 5*j + 144, 3*w + 4*j - x = 0. Is 16 a factor of w?
False
Let h(w) = w**3 - 8*w**2 - 8*w + 1. Is 5 a factor of h(9)?
True
Let w(k) = -k + 2. Is 3 a factor of w(-10)?
True
Let q = 0 + 0. Suppose -d - 3*d = s, -3*s - d + 11 = q. Does 2 divide s?
True
Suppose 2*d = -d + 84. Does 9 divide d/35*90/4?
True
Let o be 1/4 + 7/4. Suppose -5 = -o*q + q. Suppose -i - 32 = -q*i. Is 8 a factor of i?
True
Let l(s) = s**3 - 2*s**2 + 2*s - 2. Let r be l(2). Let j(o) = o**3 - o**2 + 66. Let h be j(0). Suppose 0 = -r*z + h - 10. Is 14 a factor of z?
True
Let k(g) = 57*g + 15. Does 39 divide k(3)?
False
Suppose 107 = -3*c + 44. Let q = 15 - c. Suppose -2*s - q = -2*z, 94 = 3*z + 7*s - 2*s. Is 7 a factor of z?
False
Suppose 0 = -0*j + 5*j - 50. Let k = j - 8. Suppose -k*d + 200 = 3*d - 2*n, 15 = -3*n. Is d a multiple of 12?
False
Suppose -i + 5*g - 25 = i, -5*i - 5*g + 25 = 0. Let c be -2*(-6)/4 + i. Suppose 2*j = -c*j + 70. Does 10 divide j?
False
Let a(t) = -4*t - 3. Suppose 4*k - 20 = -d, -2*k = -k - 5. Suppose -5*l - 12 = -0*s - 2*s, -l - 2*s = d. Is 2 a factor of a(l)?
False
Let d(g) = 0*g**2 + 2*g + g**2 + 2 - 9 + 0*g. Is 8 a factor of d(-6)?
False
Let h be (-110)/(-4) + (-1)/(-2). Let w = 56 - h. Is 22 a factor of w?
False
Let k(j) = j**2 + 6*j - 2. Let l be -1 + 21/(-3) + 1. Let y be k(l). Suppose 0 = 5*z + 10, -y*h + 3*z = 6 - 37. Does 2 divide h?
False
Suppose -2 = -5*h + 13. Let w = 21 + -8. Suppose -h*b + w = -5. Is 4 a factor of b?
False
Let z be -1 - -23 - (-6 - -8). Is 24 a factor of z + 2*(4 + -2)?
True
Suppose f - 3*t + 5 = 0, 4*f + 5*t - 61 = 4. Is 12 a factor of -4*(1 - f - -3)?
True
Suppose -y + 5*y = 156. Does 13 divide y?
True
Suppose 3*h = 2*u + 1 + 11, -12 = -3*h - 5*u. Suppose 5*x + 2*w - 26 = -2*w, 0 = h*x + 5*w - 28. Suppose x*t + 2*t = 180. Does 15 divide t?
True
Let t be (-127)/(-3) - (4/(-6) + 1). Suppose 0 = 4*s - 11 + 103. Let j = s + t. Is j a multiple of 7?
False
Let b(r) = -r**2 - 33*r - 34. Does 14 divide b(-30)?
True
Let j(v) = 3*v**2 - 6*v + 18. Is 27 a factor of j(3)?
True
Suppose -13 = -3*l - 2*l + x, -3*x = 9. Suppose 0 = 4*v - 0*v. Does 16 divide l + (1 - v) - -13?
True
Let b be (-2)/(2 + -4) - -3. Let a = 4 - b. Suppose 2*f = -a*f + 36. Is f a multiple of 6?
True
Let r be 19 + 3/(-6)*0. Let c = -11 + r. Is c a multiple of 4?
True
Let a(p) = 11*p**2 + 4*p - 4. Is a(-5) a multiple of 21?
False
Suppose -2*v + 4*g + 93 = -g, -3 = g. Let u = v - 15. Does 8 divide u?
True
Let k(s) be the third derivative of s**6/120 + s**5/10 - 7*s**4/24 + 5*s**3/6 + 4*s**2. Let v be k(-7). Suppose -10*w + 70 = -v*w. Is 7 a factor of w?
True
Let o be (2/(-3))/(1/(-33)). Suppose 4*b - o = -y, 0*y = 2*b - 5*y. Is 3 a factor of b?
False
Let r(p) = 14*p - 17. Is r(11) a multiple of 38?
False
Suppose 5*v + 2*c - 3*c = 15, 2*v + 16 = -4*c. Let r(w) = w**2 + 4*w - 3. Is r(v) a multiple of 7?
False
Let m(f) = f + 1. Let x be m(-3). Let k be (-134)/3 + x/6. Let i = k + 94. Is 18 a factor of i?
False
Suppose -4*y + 5*l + 423 = 0, -5*l - 168 = -3*y + 153. Let u = -182 + y. Let w = 112 + u. Does 16 divide w?
True
Let s = 14 - 6. Let k be ((-6)/s)/(6/(-24)). Suppose -k*a = a - 72. Does 6 divide a?
True
Let h be (-48)/(-18)*6/(-4). Let q = -2 - h. Suppose q*z - 2*y - 76 = 0, -4*z = 2*y - 61 - 79. Does 12 divide z?
True
Suppose -5*y - 15 = t - 0*y, 18 = 2*t - 2*y. Suppose 4*x - 233 = g, 5*g = -0*g - t. Suppose 0 = -0*k + 2*k - x. Is k a multiple of 22?
False
Let b(w) = 2*w**3 + 5*w**2 + 5*w - 2. Is 4 a factor of b(3)?
True
Suppose 4*z + 5 = 3*j, 2*z + 0 - 2 = 0. Is 18 a factor of (j - 2)/1 + 26?
False
Suppose -n - 1 = 0, -5*y + 0 = 5*n - 5. Suppose 0 = -y*c - 2*c + 100. Suppose -c = -x - 2*t, -5*x + 3*t + 140 = -2*t. Is x a multiple of 13?
False
Let h(u) = u**3 - 6*u**2 - 9*u + 1. Does 25 divide h(8)?
False
Let k(d) = -d - 1. Let x be (-6)/8 + 18/(-8). Let p(q) = q + 1. Let b(h) = x*p(h) - 4*k(h). Does 2 divide b(3)?
True
Does 4 divide 602/49 + ((-16)/7 - -2)?
True
Let c(d) = d**2 + 7*d - 5. Let j be c(-8). Let m = -1 + j. Suppose 4*r - 2*r = -3*l + 202, -m*l + 137 = -r. Does 26 divide l?
False
Suppose 2*d + 2*d = 64. Let n = 27 - d. Is 9 a factor of n?
False
Suppose 2*p = -5*f - p + 127, p = -1. Is 6 a factor of f?
False
Suppose -2*o - 2*o = -3*h + 1, 0 = -5*h + 4*o + 7. Let z(x) = 0*x**2 + 2*x - 5*x + 2*x**3 - 4 - 3*x**2. Is z(h) a multiple of 7?
True
Suppose 17*j - 14*j - 9 = 0. Suppose -13 = -j*i + 2. Is i a multiple of 3?
False
Suppose 0 = z - 0*z - 3. Suppose 0*r + z*r + 15 = 0. Let b = r - -20. Is 5 a factor of b?
True
Let l(g) = -g + 7. Let f be l(7). Suppose f*n - 20 = -5*n. Is 4 a factor of n?
True
Let x = 34 - -46. Is 16 a factor of x?
True
Is 18 a factor of (-42)/(2/(24/(-9)))?
False
Is 28 a factor of 1/6 + (-1001)/(-6)?
False
Let a = -13 - -9. Does 10 divide 6/(-4) + (-46)/a?
True
Suppose 0 = 5*p - 1 - 4, 0 = -3*c - 3*p. Let j(r) = 5*r**2 + r + 1. Let w be j(c). Suppose w*n - 119 = -44. Does 8 divide n?
False
Let o = -18 - -58. Is 20 a factor of o?
True
Suppose 0*u + 5*o - 134 = -2*u, -2*u + 4*o = -98. Is 8 a factor of u?
False
Is 556/8 - 1/(-2) a multiple of 24?
False
Let n be 5 + -1 + -6 + 4. Suppose -2*m = -0*m - 68. Suppose -3*v + v - m = -n*y, 4*v = -8. Is 15 a factor of y?
True
Let y = -4 + -9. Let n = y - -28. Let t = n + -2. Is 7 a factor of t?
False
Suppose p - 49 = -2*n - 2*p, 0 = 4*n + 4*p - 104. Is 29 a factor of n?
True
Suppose 2*g - 4*g - 3*d = -15, 0 = 2*d - 6. Suppose g*m + 0*m + 6 = 0, -193 = -5*p - m. Is p a multiple of 13?
True
Let r(d) = d**2 + 3*d - 7. Let a be r(-5). Suppose o + 3*o = 0. Suppose o + 24 = a*z. Is 8 a factor of z?
True
Let y(v) = v**3 + 8*v**2 + 5*v + 1