64. Does 13 divide c?
False
Suppose 0 = -2*d - 2*r + 72, 6*d + r = 3*d + 108. Is d a multiple of 9?
True
Let b be 25/6 - (-4)/(-24). Suppose 4*m + 6*z = 5*z + 5, 4*z + 20 = b*m. Suppose -10 = i - m*i. Does 5 divide i?
True
Suppose -5*k - 334 = -3*c, 0*k - 4 = -k. Let t = c - 76. Is 10 a factor of t?
False
Suppose 3*d = 2*d + 35. Does 3 divide d?
False
Let x(n) = -4*n. Let a be x(-7). Suppose 4*z - 80 = a. Is z a multiple of 12?
False
Let k(y) = -y**2 + 10*y - 1. Let p(r) = 3*r - 3*r + 2*r. Let t be p(2). Does 9 divide k(t)?
False
Suppose 3*i + 76 = 151. Is 8 a factor of i?
False
Suppose -6*y = -11*y. Suppose -5*r + 4*d - 3*d + 153 = y, -5*r - d = -157. Is r a multiple of 11?
False
Let u = -3 + 7. Suppose -u - 2 = -2*k. Is k even?
False
Let k(l) = -l - 4. Let p be k(-6). Suppose -2*o - 46 = -4*g, 0 = p*g + 3*o + o + 2. Is 6 a factor of g?
False
Let r(v) = 7*v + 7. Does 14 divide r(3)?
True
Let l(m) be the second derivative of -m**3/2 - m**2 + 2*m. Let g be l(-3). Suppose -g = h - 30. Is h a multiple of 18?
False
Let t(u) = 6*u - 10. Is 8 a factor of t(7)?
True
Suppose -2*h - 21 = -u - 7*h, -5*h = -4*u + 9. Suppose 38 + u = 2*p. Is p a multiple of 22?
True
Suppose 2*x = 4*x - 256. Does 32 divide x?
True
Let j(w) = 22*w - 2. Is j(3) a multiple of 22?
False
Suppose -2*u = 3*d - 79, 2*u + 2*u - 20 = 0. Is 4 a factor of d?
False
Suppose 0 = 3*t + 4*z - 110, -4*t + 0*z + 142 = 3*z. Does 12 divide t?
False
Let l(u) = -3*u - 7. Let f be l(6). Let i = 61 + f. Suppose -4*h + 144 = 3*v + v, 0 = v + 5*h - i. Is v a multiple of 18?
True
Let d = -2 + 6. Let j = d + 28. Does 11 divide j?
False
Let g = 68 - 51. Is g a multiple of 16?
False
Suppose -5*a + 0*z + 3*z + 135 = 0, 0 = 2*a - 3*z - 63. Does 12 divide a?
True
Suppose 23 = 5*y + 3. Suppose v + 12 = y*v. Suppose 4*h + v*o - 144 = 0, -o - 128 = -3*h - 0*o. Is h a multiple of 14?
False
Let s = 10 - 5. Suppose 114 + 141 = s*u. Is u a multiple of 17?
True
Let j(q) = 5*q - 3. Let b be j(5). Suppose p + p = -2*z + b, p - 2*z - 5 = 0. Is 4 a factor of p?
False
Suppose 0 = -3*u - t - 2*t + 9, t - 5 = -2*u. Is 15 a factor of (-69)/u*(-2)/1?
False
Let n(q) = -2*q - 2. Let y be n(-3). Is ((-4)/y)/(2/(-4)) even?
True
Let o(c) = -3*c**3 - 3*c**2 + c + 4. Is 2 a factor of o(-2)?
True
Let p be (-2)/4 - 42/(-12). Let z = -2 + 5. Suppose -k = z*x - 15, 0 = 2*x - 2*k - p*k - 10. Is 5 a factor of x?
True
Let o be 1 + 1/1 + 3. Suppose 2*b = 10, -4*l + 0 - 37 = -o*b. Let x(t) = -t**3 - 3*t**2 - 3*t + 2. Is 11 a factor of x(l)?
True
Let z = -164 - -277. Suppose z = f + 25. Is 22 a factor of f?
True
Suppose 0 = -4*x + x + 2*a - 17, 0 = 2*a - 8. Let k be (-4)/6 - (-55)/(-3). Let j = x - k. Does 13 divide j?
False
Let o = 6 - 4. Let y be (-10)/o*(-6)/5. Let z = 8 - y. Is 2 a factor of z?
True
Suppose 0 = 2*h + 4*p - 3*p - 24, 0 = -2*h + 3*p + 8. Does 3 divide -2*(-3)/h*5?
True
Let j = 38 + -24. Is 3 a factor of ((-24)/j)/(2/(-7))?
True
Let j(d) = 51*d**2 - 4*d - 3. Is j(-1) a multiple of 10?
False
Suppose 0 = -2*l + 179 + 173. Suppose 5*s + 9 = m - 22, 5*m - l = 4*s. Is m a multiple of 22?
False
Let m be (-9)/(-6) - (-2)/4. Suppose -5*s - m*q + 98 + 68 = 0, -2*q = 4. Is 9 a factor of s?
False
Is 3/1 + 0 + 276/4 a multiple of 21?
False
Let r(l) be the second derivative of -2*l**3/3 + 7*l**2/2 + 2*l. Is 12 a factor of r(-5)?
False
Let n = 97 - 28. Is 13 a factor of n?
False
Let o(c) be the first derivative of -c**5/8 - 2*c**3/3 + 2. Let h(b) be the third derivative of o(b). Is 11 a factor of h(-1)?
False
Let z(a) = -2*a - 2. Let h be z(-2). Suppose -h*m - 60 = -2*p, -2*m + 129 = p + 4*p. Is p a multiple of 7?
False
Suppose 80 = -l - 4*l. Let x = l + 8. Is 19 a factor of ((-19)/(-2))/((-2)/x)?
True
Suppose d = -3*l - 4 + 13, -4*l + 76 = 4*d. Suppose -4*j - i - 7 = -d, -i = -3*j + 18. Does 3 divide j?
False
Suppose c = -0*c - 15. Let a = c + 31. Is 8 a factor of a?
True
Suppose 2*x = 10 + 14. Suppose 5*u = 83 + x. Is u a multiple of 4?
False
Let f be 1/(2/16*-2). Suppose -20 = -2*c + 2*p, 5*c + 5*p - 41 = 3*c. Is (c - -4) + f + 2 a multiple of 6?
False
Let w be (-3)/(-3 - (-8)/4). Suppose -2*x - 4*z + 82 = 0, 5*x - 149 = z + w*z. Is 13 a factor of x?
False
Let j(g) = 4*g**2 + 12*g + 12. Let m be j(-8). Suppose m = 5*i - 4*t, 0 - 46 = -i - 5*t. Does 12 divide i?
True
Let a = 52 + -74. Let z = a - -16. Let h(c) = -2*c - 4. Is 4 a factor of h(z)?
True
Let z(t) = t - 1. Let a(d) = 7*d - 5. Let c(u) = a(u) - 6*z(u). Let y be c(3). Suppose -26 = -y*n - 10. Is n a multiple of 2?
True
Let j(h) = h**2 - h - 1. Let v be j(3). Suppose 5*k + 0 = -v. Does 12 divide ((-2)/(-4))/(k/(-24))?
True
Suppose -2 = d - 4. Let h = 20 - 11. Suppose -d*l = -3 - h. Is 3 a factor of l?
True
Let s(v) = 2*v**3 + 2*v**2 - v + 1. Let o be s(3). Suppose p - o = -4*p. Does 9 divide p?
False
Let o be (-5)/10*2*-4. Suppose -4*s - 40 = -5*n, 0 = o*s - 5*s + n - 10. Does 14 divide (4/s)/((-4)/140)?
True
Let k(h) be the first derivative of -11*h**2/2 + 2*h + 1. Is 8 a factor of k(-2)?
True
Let u = 9 - 8. Let z be (15/20)/(u/48). Suppose -5*t = -79 - z. Is 11 a factor of t?
False
Is (-35)/(-1)*(-36)/(-42) a multiple of 7?
False
Does 19 divide (-10)/15 - (-232)/6?
True
Suppose -4 = 2*i - i. Let q(p) = -2*p**2 + 2*p. Let c(y) = 3*y**2 - 3*y + 1. Let g(u) = -6*c(u) - 10*q(u). Is 17 a factor of g(i)?
True
Suppose 73 = -2*v + 4*v + a, 5*v - 181 = -a. Suppose v = 2*r + 4*k, 3*r - 2*k - 94 + 16 = 0. Is 12 a factor of r?
True
Let i(t) be the second derivative of t**4/6 + 3*t**3/2 + 3*t**2/2 + 3*t. Let p(n) = n**2 + 8*n + 2. Let l(k) = 2*i(k) - 3*p(k). Is 2 a factor of l(7)?
False
Is 30 a factor of (-4)/14 - (-422)/7?
True
Let w(v) = -4*v + 1. Let k be w(1). Let u = k + 3. Suppose -4*i + 108 = 5*y, u*i - 15 = 5*i. Is 10 a factor of y?
False
Suppose -5*j = 3*k - 4*j, -5*k = 5*j. Suppose -4*w = -3*w + 4, -2*r - w - 4 = k. Is 12 a factor of 45 + -3 - (r + 1)?
False
Suppose -2 = -r - r + 2*p, 0 = 4*r + 3*p - 39. Let x be -1*(-2)/r*9. Suppose 112 = v + x*v. Is v a multiple of 14?
True
Suppose 0 = 2*s + 14 + 6. Let t = -68 - -40. Let i = s - t. Does 9 divide i?
True
Let f(y) = 2*y**2 + 10. Let w be f(-7). Does 7 divide ((-6)/(-4))/(6/w)?
False
Let u(y) = 9*y + 7. Is 8 a factor of u(4)?
False
Let t(p) = p**2 - p + 6. Is 13 a factor of t(5)?
True
Let n(c) = c**2 + 10*c. Let a(y) = -6*y**2 - 1 + 13*y**2 + 10*y - 6*y**2. Let i(o) = -3*a(o) + 2*n(o). Does 8 divide i(-7)?
True
Let m = -42 + 82. Is m a multiple of 10?
True
Suppose 14*r = 17*r - 90. Does 30 divide r?
True
Let h be ((-10)/15)/((-2)/(-3)). Is 14 a factor of -2 + 2 - h*38?
False
Let l = 5 + -3. Suppose 271 = -l*o - 135. Is 17 a factor of 1/4 + o/(-4)?
True
Suppose a = 2*a + 34. Suppose 0 = 2*g - 3*g + 56. Let b = g + a. Is b a multiple of 11?
True
Let q(a) = -a**3 - 8*a**2 - a + 5. Let j be q(-10). Suppose -c + 5*p = -6*c + j, -5*c = -3*p - 255. Is 18 a factor of c?
False
Suppose -2*f - 14 = -4*w, w - 2*f - 4 = 4. Let b(g) = g**3 - 7*g**2 + 5*g + 5. Let m be b(7). Suppose 7*s = w*s + m. Is 6 a factor of s?
False
Let k = 3 - 39. Is 3 a factor of 8/6*k/(-12)?
False
Suppose -14 = -4*y - 2. Suppose -2*u - 3*u - 22 = y*h, u - 2*h = -7. Is 3 a factor of ((-18)/(-10))/((-1)/u)?
True
Suppose -23 = -y - 3*h, -3*y + 5*h + 15 = -54. Is 4 a factor of y?
False
Suppose -3*c = -3*z, -2*z - 5 = -3. Let w = c + -1. Does 16 divide (w + 3)*11*5?
False
Let y(n) = -9*n + 4. Is 20 a factor of y(-4)?
True
Let v be ((-18)/(-4) - 1)*-2. Let y(j) = -j**3 - 6*j**2 + 3*j + 1. Is 8 a factor of y(v)?
False
Let s = 77 - 51. Does 6 divide s?
False
Let a(f) be the first derivative of f**3 - 2*f**2 + f - 2. Let t be a(3). Is 16 a factor of t*(2 + 1 + -2)?
True
Let j(o) = 38*o**2 + 2*o + 1. Let a be j(-1). Let s = -83 + a. Let m = s + 79. Is m a multiple of 11?
True
Does 9 divide (-141)/(-8) - 9/(-24)?
True
Suppose -k = -0*k - 1. Let b be (1*-2 - -2)*k. Let g(u) = -u**3 - u + 26. Does 13 divide g(b)?
True
Let m = -9 - -14. Is m a multiple of 2?
False
Let s(t) = -t**3 - 8*t**2 - 6*t + 7. Let r be s(-7). Suppose -3*i = -r*i - 54. Suppose -2*z = -0*z - i. Does 6 divide z?
False
Let y(p) = -45*p**3 - p**2 - 2*p - 1. Is y(-1) a multiple of 6?
False
Let h(w) = w**3 - w**2 - w + 15. Let z be h(0). Does 8 divide 0 - z/(-3)*3?
False
Let k be (3 - -1) + 2/2. Suppose k*z