ivide c?
False
Let z = -13 + 8. Suppose 4*f = 2*n + 88 + 114, 0 = -3*f + 2*n + 153. Is (-1)/z - f/(-5) a multiple of 3?
False
Let h(t) = 3*t**2 + 10*t + 10. Is h(-4) a multiple of 3?
True
Let u = 128 + -58. Is 14 a factor of u?
True
Suppose -3*q - 16 = -2*j, 5*j + 2 - 4 = -2*q. Let f(n) = -2*n - 6. Let l be f(q). Suppose 58 = 2*d + l*v, 0*d + 113 = 4*d + v. Is d a multiple of 14?
True
Let x(l) = l**3 - 7*l**2 - 6*l. Let f be (8 - 0)*(-7)/(-4). Let z = 22 - f. Is 10 a factor of x(z)?
False
Let b(i) = i**2 + i. Is b(-3) even?
True
Is 1/(-3*(-4)/144) a multiple of 12?
True
Is (-452)/(-2) + (1 + 0)/1 a multiple of 22?
False
Let s be (3 + 27/(-7))*-7. Suppose 0 = -3*w - 6, 0 = 2*r - s*r + 5*w + 202. Does 15 divide r?
False
Let a(i) = i**2 + 22. Let r be a(0). Let m be (9 - 1 - 0)*-1. Let l = r + m. Is 7 a factor of l?
True
Let u = 2 - 2. Suppose u*k + 2*k - 12 = 0. Is 6 a factor of k?
True
Is 2 a factor of -2 - (0/(-3) - 4)?
True
Let u(x) = x. Let a be u(0). Does 16 divide (1 + (-5 - a))*-4?
True
Let d = 35 - -13. Does 16 divide d?
True
Does 9 divide 62 + -2 + (4 - 7)?
False
Let b(r) = -r**3 + 11*r**2 - 9*r - 13. Suppose p + 4 = 2*p, -5*t + 4*p + 34 = 0. Let o be b(t). Let i = o - -11. Is 4 a factor of i?
True
Let d = -4 + 8. Suppose c + 9 = -d. Let j = 19 + c. Is 4 a factor of j?
False
Let r be 0 + -3 - (-25 + 0). Suppose -g - r = i - 59, i = g + 45. Is 9 a factor of i?
False
Suppose 3*q - 7*q = y - 13, 4*y - 22 = -q. Suppose 36 = -q*l - 40. Let x = -27 - l. Does 9 divide x?
False
Let t be (-32 + -6)*1/2. Let c = -3 - t. Does 16 divide c?
True
Suppose -3*n = -4*n + 30. Is n a multiple of 4?
False
Let y = 4 - -1. Suppose -y*r + 19 = -6. Suppose k + v - 2*v - 15 = 0, -5*v = r*k - 65. Is 7 a factor of k?
True
Let s = 17 + -9. Does 2 divide s?
True
Suppose 3*b - 71 = 49. Does 8 divide b?
True
Let g = 47 + -23. Is g a multiple of 24?
True
Suppose -2*j + 21 = 7. Is j even?
False
Let s = 2 + 1. Let z = -2 + s. Is 14 a factor of z - -31 - (3 + -3)?
False
Suppose 138 = 2*v - 188. Is 27 a factor of v?
False
Let d be 1 + (-1)/1 + 0. Let v = 0 + d. Suppose -4*a - 3*q + 43 = v, -5*q = -2*a - 3 - 8. Is a a multiple of 5?
False
Let n(y) = y. Let p be n(4). Suppose p*z = -8 + 56. Is 12 a factor of z?
True
Suppose -7*p = -1002 + 64. Is 15 a factor of p?
False
Suppose -381 + 1616 = 5*t. Is 36 a factor of t?
False
Suppose 4*d = d + 18. Is (16/3)/(d/27) a multiple of 12?
True
Suppose -4*z = z - 85. Is 17 a factor of z?
True
Suppose -12 = -6*m + 2*m. Suppose 0 = 2*g, 2*r = m*r + g - 46. Suppose -k + r = k. Is 10 a factor of k?
False
Let z = -25 - -55. Is z a multiple of 5?
True
Let r = -6 + 11. Is r a multiple of 5?
True
Let c(v) = -2 + 2*v - v - 2*v + 5*v**2. Is 20 a factor of c(-2)?
True
Let h = -10 - -119. Suppose 15 = 5*d, -h - 92 = -4*y + 5*d. Does 14 divide y?
False
Let a be 40/18 + 4/(-18). Suppose a*l - 2*p = 14, 0*l - 3*p = -4*l + 30. Does 9 divide l?
True
Suppose 373 = 5*q - 4*z - 142, -z + 219 = 2*q. Is q a multiple of 13?
False
Suppose 8*z + 10 = 3*z, 0 = -s - 2*z + 2. Suppose 2*q + s*c = 2*c + 58, 5*c = -4*q + 101. Is q a multiple of 12?
False
Let d = 66 + -4. Is 2 a factor of d?
True
Let f(a) = 4*a**2 + 5*a - 2. Suppose -6*v + 7*v = -4. Is 14 a factor of f(v)?
True
Suppose 0 = 6*x - x. Let w = x + 48. Is 16 a factor of w?
True
Let n(k) = -6*k + 1. Let w be (-4)/14 - 26/7. Let q be n(w). Suppose -5*b = -q - 65. Is b a multiple of 7?
False
Let w(x) = -x**3 + 9*x**2 - 9*x + 11. Let o be w(8). Suppose 0 = -t - 3 - o. Let n(c) = -c**2 - 6*c + 3. Is 3 a factor of n(t)?
True
Let y(g) be the first derivative of -g**4/4 - 7*g**3/3 + 5*g**2 - 12*g - 11. Is 12 a factor of y(-9)?
True
Let r(s) = -64*s. Let y be r(-1). Let a = 90 - y. Is a a multiple of 13?
True
Suppose 0*v - 2*v = -224. Does 5 divide v?
False
Suppose -3*y - y = -144. Suppose -k - k = -y. Does 10 divide k?
False
Suppose -5*t = -3*t. Suppose -n + t*n = -8. Let g(o) = o**2 - 4*o - 5. Does 11 divide g(n)?
False
Suppose 0 = -k + 2 + 3. Let y = -25 - k. Let v = -18 - y. Is v a multiple of 6?
True
Let z be 2/(-4)*0/2. Suppose 4*i + z*i = 656. Suppose -5*m + 3*y = -252, 2*y + 3*y + i = 3*m. Is m a multiple of 13?
False
Let k(n) = n**2 - 9*n - 1. Let d be k(10). Let v(q) be the second derivative of q**5/20 - 5*q**4/6 + 11*q**3/6 + 2*q**2 + 2*q. Is 11 a factor of v(d)?
True
Let g = 0 - -3. Suppose -5*h + n = -89, -g*h + n - 35 = -88. Is h a multiple of 6?
True
Let l be (-3)/15 + (-11)/(-5). Suppose -l*t - 3*t + 4*d = -207, 2*t + 5*d = 63. Is t a multiple of 13?
True
Let b(l) be the third derivative of l**6/120 - l**5/60 + 8*l**3 - l**2. Does 20 divide b(0)?
False
Let f = -3 - -8. Suppose 0 = -5*z - 3*a + 353, -f*z + a + 2*a = -347. Does 14 divide z?
True
Let z be (1 - 4)/(9/6). Let i(r) be the third derivative of -3*r**4/8 - 9*r**2. Does 9 divide i(z)?
True
Let k(d) = 45*d**2 - d + 2. Does 30 divide k(1)?
False
Let c(u) = -u**2 + 3*u + 2. Let f be c(4). Let v = -8 - f. Let p(t) = 2*t**2 + 4*t - 7. Is 16 a factor of p(v)?
False
Let m(d) = 9*d**2 - 4 - d**3 + 6*d + 15 + d**3 + d**3. Does 21 divide m(-8)?
False
Suppose -2*g + 1 = 3*c, -3*g - 6*c + 3 = -2*c. Suppose g - 38 = -3*n. Does 6 divide n?
False
Let c(m) = 7*m - 2. Let f = 2 + 0. Let b be (-3)/((-3)/f)*1. Does 12 divide c(b)?
True
Let c = 165 - 32. Does 19 divide c?
True
Suppose 0 = -4*i + z - 2*z + 195, -125 = -2*i + 5*z. Does 25 divide i?
True
Let p = -20 + -7. Let t = p + 55. Let c = 44 - t. Does 8 divide c?
True
Let a(p) = -p**2 - 4*p - 1. Let h be a(-4). Let l(k) = -k - 22*k**3 + 0*k + 6*k**3. Is 8 a factor of l(h)?
False
Suppose -3*k + 35 = -1. Is k a multiple of 12?
True
Suppose 0 = -2*k + 4*f + 16 + 10, 5*k = 2*f + 33. Suppose 2*a - k*x + 2*x - 22 = 0, -44 = -4*a + 4*x. Does 11 divide a?
True
Let c be ((-15)/6)/(-5)*8. Suppose -2*i = -c*i + 104. Is i a multiple of 18?
False
Let i(o) = -o - 7. Let b be i(-8). Let g be (-3)/b - -1 - -4. Suppose -3*c = j - 6*c - 15, -g*j - c = -23. Is 5 a factor of j?
False
Suppose -109 + 12 = -2*w + 5*c, 3*c = -15. Suppose -20 - 67 = -3*s - 2*v, 3*v = -s + w. Does 9 divide s?
True
Let i = -103 + 179. Is i a multiple of 38?
True
Let j = -23 + -2. Let r be 2/(-5) + 534/(-15). Let v = j - r. Is 11 a factor of v?
True
Suppose 3*w = 5*i + 4*w - 7, 3*i + 4*w = -6. Suppose -t - r = t - 33, 37 = i*t + 5*r. Is 9 a factor of t?
False
Let x = 4 - 8. Let r = -1 - x. Suppose -3*q - 4*z = 22 - 78, 0 = -4*q - r*z + 63. Is 12 a factor of q?
True
Does 23 divide 23*-2*(-1)/2*13?
True
Suppose 25 = -2*c - 7. Let d be 4008/c*(-4)/6. Suppose -o - 2*u - d = -4*o, 0 = o + 2*u - 61. Is 15 a factor of o?
False
Suppose -4*h + 30 = h. Suppose h*k - 2*k - 216 = 0. Is k a multiple of 12?
False
Suppose 101 = -3*f + 521. Suppose -f = 5*t - 10*t. Is t a multiple of 14?
True
Let c(b) = -b**2 - 8*b + 7. Let i(p) = p - 1. Let v be i(-5). Let r(q) = -q - 13. Let j be r(v). Is c(j) a multiple of 6?
False
Let v = 26 + -15. Is 11 a factor of v?
True
Let u be (-16)/(-10)*(-10)/(-4). Let d be (-101 + -2)*1*-1. Suppose 5*g - 11 = u*k - d, 5*k - 94 = g. Is k a multiple of 18?
True
Suppose 0*t + 43 = 2*r - 5*t, -4*r + 99 = 3*t. Suppose 7*m = 3*m + r. Is m a multiple of 3?
True
Let o be ((-2)/(-5))/((-2)/(-50)). Let s = o + 6. Does 4 divide s?
True
Suppose 4*y = x + 18, 0 = y - 1 - 4. Let s be (x/(-3))/((-3)/81). Suppose 0 = j - 3*j + s. Does 6 divide j?
False
Suppose 0 = -0*n - n + 4. Let c = n + 1. Suppose -144 = -c*j - 44. Does 10 divide j?
True
Let v = 59 - -22. Does 27 divide v?
True
Let z(v) = -v**3 - 6*v**2 + 6*v - 4. Let r be z(-7). Let p = r + -13. Let b = -3 - p. Is b a multiple of 4?
False
Let a(j) = j**3 + 43. Let c be a(0). Let s = c + -26. Does 10 divide s?
False
Is (50 - 1)/(18 - 17) a multiple of 24?
False
Let y(x) = x**2 - x + 4. Suppose 11 + 5 = -4*b. Does 9 divide y(b)?
False
Suppose -4*b + 67 = a, 2*b - a - 31 - 10 = 0. Suppose 3*p = -0*p + b. Does 5 divide p?
False
Let o be (-449)/11 - (-4)/(-22). Let u = -16 - o. Is u a multiple of 11?
False
Let m = -16 - -34. Is m a multiple of 9?
True
Let i(k) = 2*k - 2. Let t be i(3). Suppose -3*h - t*u = -0*h - 91, 4*h = -4*u + 124. Suppose 0 = 2*d - 3*d + h. Is 17 a factor of d?
False
Let w be (-12)/((0 - -2)/2). Let q = -8 - w. Is q a multiple of 4?
True
Let b = 49 - -11. Is b a multiple of 20?
