Suppose -i = -0*o - 4*o. Does 9 divide o?
True
Suppose 2*g = 5*g - 63. Is g a multiple of 10?
False
Let z(p) = -13*p. Suppose 0*a - a = 2. Is z(a) a multiple of 13?
True
Let s(x) = -x**3 + 12*x**2 - 12*x + 12. Let y be s(11). Is 8 a factor of -2 + -1 + 18/y?
False
Let a(j) = -j**3 + 6*j**2 - 2*j + 6. Let h be a(5). Let i = h + -13. Is 4 a factor of i?
True
Let w(l) = -4*l**3 - 2*l**2 - 4*l - 3. Let s be w(-2). Does 3 divide s/4 + 18/24?
False
Let m(f) = -2*f - 3. Let u be m(-6). Suppose -q = -2*q - 2*t + u, -5*q + 3*t - 20 = 0. Is (-301)/(-7) + (-3 - q) a multiple of 18?
False
Suppose 0 = -3*a + 2*j + 52 + 6, 0 = -5*j + 5. Let f = a - 5. Is f a multiple of 15?
True
Let v(y) = -y + 54. Let u be v(0). Let t = -27 + u. Let o = t - 7. Does 10 divide o?
True
Let l = 138 + -54. Does 12 divide l?
True
Suppose 0 = 4*m - 143 + 59. Suppose -m - 12 = -p. Does 11 divide p?
True
Let t(y) = -y - 5. Let b be t(-9). Is 156/b*(-2)/(-6) a multiple of 13?
True
Suppose -55 = -10*z + 5*z. Suppose -h - u = -5*u - 13, 4*h + 5*u = -z. Is 6 a factor of (h/(-2))/(1/(-36))?
True
Let k = 0 - 0. Suppose 6*r - 3*r = k. Suppose 4*s - 57 = 5*q - 4, r = 2*s - q - 31. Is 12 a factor of s?
False
Suppose s = 34 + 62. Is s a multiple of 17?
False
Let k be 2/(-5) + (-184)/(-10). Is k/4*20/3 a multiple of 15?
True
Suppose -3*m + 5 = 191. Let c = -32 - m. Is c a multiple of 15?
True
Let g = -13 - -64. Is 17 a factor of g?
True
Suppose -4*q = 4 - 76. Suppose h - 4*j = q, -h = -2*h - 5*j. Is h a multiple of 9?
False
Let j be ((-2170)/(-21))/(4/6). Suppose -2*k - 145 = -3*b, 3*k - j = -4*b - 2*k. Is b a multiple of 15?
True
Let c be 2/7 + (-172)/14. Let a be (-1)/4 - (-153)/c. Let g = 27 + a. Is g a multiple of 7?
True
Let n(a) = -2*a**3 + 4*a**2 + 3*a - 1. Suppose 2*i + 4*q + 10 = 0, -i + 3*q - 12 = 4*i. Let g be n(i). Suppose -4*x = -0*x - g. Is 10 a factor of x?
True
Let h(t) = -t**3 + t**2 + t + 6. Let s be h(0). Suppose 4*w + s = 22. Suppose -w*a + 31 = -9. Does 10 divide a?
True
Let i(j) = 4*j**2 - 5*j - 3. Let w be i(-3). Suppose 2 = -2*r + 3*s - 0, -4*r - 5*s = w. Let n(a) = a**2 + a + 5. Is n(r) a multiple of 19?
False
Let i(w) = -w**2 + 17*w + 17. Let d be -42*1/(1 + -4). Is 17 a factor of i(d)?
False
Let y = 19 - 14. Does 2 divide y?
False
Suppose 0 = -2*a + a + 1. Suppose 2*q = -11 + a. Let j = 14 + q. Does 6 divide j?
False
Does 18 divide ((-90)/(-35))/(2/42)?
True
Let h = 314 + -174. Suppose -4*p - 5*l + h = p, 5*l = -3*p + 76. Is 16 a factor of p?
True
Let a = 1 + -4. Let g(n) = -n**3 - 2*n**2 + 2*n. Let d be g(a). Let s = 11 - d. Is s a multiple of 5?
False
Let k(v) be the second derivative of -v**3/6 + 5*v**2/2 - 2*v. Let n be k(5). Is 17 a factor of 0 + n - -44 - 0?
False
Let m(h) = -3*h - 4. Let c(a) = a**2 - 5*a + 1. Let k be c(4). Let u be m(k). Suppose -g = -u*g + 72. Is 10 a factor of g?
False
Let t(w) = 6*w**2 - 16*w - 3. Does 20 divide t(7)?
False
Let a = 22 - -13. Let x = a + -7. Does 14 divide x?
True
Suppose 10 + 13 = h. Is h a multiple of 9?
False
Let w be 2/(-7) + (-902)/77. Is 7 a factor of 7*5/((-15)/w)?
True
Suppose 4*r + 5 - 29 = 0. Let u = r + -2. Suppose -4*g + 81 = v, -u*g - 3*v + 0*v = -83. Does 10 divide g?
True
Let u(l) be the second derivative of -3*l**3/2 - 3*l**2/2 - 4*l. Is 11 a factor of u(-4)?
True
Is (-306)/4*(-6)/9 a multiple of 17?
True
Let p = 263 - 88. Does 11 divide p?
False
Suppose -2*p + 5*p = 450. Suppose 3*x - p = -0*x. Suppose -3*n + y + 18 = -32, 2*n = 4*y + x. Is 15 a factor of n?
True
Let a(w) be the third derivative of w**6/120 - w**5/60 + w**3/3 + 3*w**2. Let y be a(0). Suppose -y*q + 19 = -21. Is 10 a factor of q?
True
Suppose 2*z - 5*t - 72 = 0, -40 = 3*z - t - 174. Is z a multiple of 23?
True
Let j(r) = r**3 + 4*r**2 + 3*r + 1. Let l be j(-2). Let t = -2 + l. Suppose -5*c + 65 = 3*v, c + 0 - t = 0. Is 7 a factor of v?
False
Suppose 2*k = 38 + 130. Is k a multiple of 21?
True
Let n(i) = i - 1. Let j(t) = 8*t - 3. Let x(d) = j(d) - 5*n(d). Let w = -3 - -5. Is x(w) a multiple of 3?
False
Let f(r) = 77*r**2 - 3*r - 3. Does 34 divide f(-1)?
False
Let y = 2 + -2. Suppose y = n - 4. Suppose n*c - 65 + 25 = 0. Does 3 divide c?
False
Let s = -1 - -6. Suppose s*j - 3*v + 21 = 0, -j + 4*v + 1 = -5. Does 6 divide (j/8)/((-5)/80)?
True
Let k(g) = -9*g - 1. Let j be 2/2*(-1 - -2). Let i be k(j). Is i/(-3) - (-8)/12 a multiple of 2?
True
Suppose 60 = -0*c + 5*c. Let p be c/5*(-4 + -1). Let f = p + 23. Is 11 a factor of f?
True
Suppose s + 127 = 5*m, 3*m - 77 = 2*s - s. Is 25 a factor of m?
True
Suppose -6*c + 75 = -c. Suppose x - 3 + 0 = 5*k, 0 = -5*x - 3*k + c. Is x a multiple of 2?
False
Let f(y) = -6*y + 3. Let a be (42/18)/((-1)/3). Does 17 divide f(a)?
False
Let g = -42 - -53. Is g a multiple of 7?
False
Is 14 a factor of 342/24 - (-1)/(-4)?
True
Suppose 0 = -5*a - z - z + 155, -2*z = -5*a + 135. Suppose 5*o - 4*d - a = 61, -2*o = -3*d - 43. Is 7 a factor of o?
True
Does 18 divide 22/(-66) - 703/(-3)?
True
Let m(y) = y**2 - 5*y + 0*y**2 + 10*y + 6. Let w be m(-4). Suppose -40 = -2*n - w*n. Is 3 a factor of n?
False
Let m(r) = -8*r + 3. Let y be m(3). Let c be 2/(y/(-9) - 3). Is 10 a factor of c*62*1/(-6)?
False
Let c(h) = -h**2 - 10*h + 2. Let j = 28 - 19. Suppose -5*a = 2*x + j + 16, x - 4*a = 7. Does 16 divide c(x)?
False
Is 2/8 - 5710/(-40) a multiple of 11?
True
Is ((-52)/6)/((-9)/((-432)/(-8))) a multiple of 5?
False
Let o(w) be the third derivative of w**4/8 - 5*w**3/6 - w**2. Let n be o(5). Suppose -n = -x - 1. Does 3 divide x?
True
Let i = -20 + 13. Let v be (-2)/7 + 33/i. Let s = v - -19. Does 6 divide s?
False
Suppose -126 = -4*o - 2*j, 100 = 3*o + 2*j - 6*j. Suppose -z + 4*a = -3*z + o, 0 = 5*a - 5. Is z a multiple of 14?
True
Suppose 0 = 2*s + s - 120. Is s a multiple of 12?
False
Let h(l) = -3*l**2 + 2*l**2 - 7 + 0*l**2 - 9*l. Is h(-6) a multiple of 3?
False
Let j(z) = z**2 - 8*z + 3. Let r(g) = 2*g + 2. Let o be r(3). Let b be j(o). Suppose -4*q - b*m = -19, -m = -3*q - 6*m + 6. Does 7 divide q?
True
Let c be ((-6)/2)/(-2 - -1). Suppose 7*g = 3*g - 5*x - 25, -c*x = 4*g + 23. Let d = g - -29. Is 12 a factor of d?
True
Let l be (-6)/15 + 4/10. Let o(k) = -k**2 - 3. Let u be o(l). Let q(c) = c**2 + 3*c + 3. Is 3 a factor of q(u)?
True
Suppose 0 = -3*k + 7 + 23. Suppose -h + 2*h = k. Is h a multiple of 10?
True
Suppose 0*o = -4*o + 8. Suppose 0*j + 5*d + 75 = o*j, -4*j - 3*d + 111 = 0. Does 10 divide j?
True
Suppose 4*h - 2*g + 4 = 32, -2*h = -3*g - 10. Is 5 a factor of h?
False
Let v be (15/10)/((-3)/(-332)). Let n = v + -114. Is 13 a factor of n?
True
Let n(g) = 17*g. Let m be n(2). Suppose 3*a + 5*w - 41 = 0, -2*a + m = 2*w + 3*w. Does 7 divide a?
True
Let k = 40 + -19. Does 6 divide k?
False
Let j be (-68)/18 + 6/(-27). Let w be (3/(-4))/(1/j). Suppose 0 = -3*z - 5*q + 3 + 37, 3*z = w*q. Does 2 divide z?
False
Suppose -8 = 5*l - 6*l. Let m be (8/3)/((-4)/(-78)). Let j = l + m. Does 25 divide j?
False
Let k(m) = -4*m - 6. Let r(z) = 2*z**3 + 2 - 4*z - 5*z**2 - 3*z**3 + 3*z. Let h be r(-4). Is k(h) a multiple of 17?
True
Let f(l) = l**3 - 7*l**2 + l + 10. Let i(x) = -2*x - 2*x - 2*x + 2 + 5*x. Let q be i(-5). Is f(q) a multiple of 14?
False
Let o(u) = 2*u + 3*u + 3*u. Is 2 a factor of o(1)?
True
Is 10 a factor of 7/(77/1186) - (-4)/22?
False
Let v = -13 - -127. Does 38 divide v?
True
Suppose 2*v = -v + 9. Suppose -5*d - 2*y = -275, -d + 0*y + v*y + 72 = 0. Is 13 a factor of d?
False
Suppose 201 - 58 = m - f, 572 = 4*m + 3*f. Let j = -44 + m. Does 33 divide j?
True
Suppose 3*j + 0*w + 2*w = 29, 0 = j + w - 11. Is j even?
False
Let r = 101 + -85. Does 16 divide r?
True
Suppose -3*f - 3*k + 7 = 1, 4*f = 3*k - 6. Suppose -5*i + 4*y = 51 - 143, -4*i + y + 67 = f. Suppose 3*w = -b + i, -3*w - 42 = -4*b + 7. Is 13 a factor of b?
True
Let j(t) = -t + 11. Let n(b) = -b - 11. Let p be n(-8). Let x = p - -12. Does 2 divide j(x)?
True
Suppose 0*g + 4*g - 5 = -3*r, -2*g - 5*r - 1 = 0. Suppose -202 = -4*x - g*a, -5*x + 0*a + 2*a = -230. Is 16 a factor of x?
True
Let v be (-1450)/15 - (-4)/6. Let q be ((-18)/(-4))/((-4)/v). Suppose 3*l = -l + q. Is l a multiple of 9?
True
Suppose -1 = 3*z - 8*z - 3*t, 4*z + t = 5. Suppose -67 = -z*g + f, -3*g + 4*f = -31 - 57. Let a = g - 18. Is a a multiple of 9?
True
Suppose b = h - 2*b - 140, 