*j - 68 = -3*l. Is l a multiple of 13?
False
Let v be (1/2)/((-1)/(-10)). Suppose 21 + 4 = v*q. Suppose 0 = -0*g - 2*g - 2*m + 88, -3*g - q*m + 134 = 0. Does 18 divide g?
False
Suppose 0 = 3*z - 0*z + 21. Let m = 7 - z. Is m a multiple of 4?
False
Suppose 6*a - 4*a - 5*l - 181 = 0, 3*a + 2*l = 224. Does 13 divide a?
True
Is 4/18 - (-2002)/63 a multiple of 8?
True
Suppose 4*u - 2*w = 28, -u - 4 = 5*w - 0. Suppose -3*g = -0*g - u. Is 2/(g + 0)*17 a multiple of 17?
True
Let w be 15/6*2 + 0. Is 14 a factor of ((-78)/10)/(w/(-25))?
False
Is 76/6 - (-6)/(-9) even?
True
Let s be (-4)/(-14) - (-58)/(-7). Let c(d) = -d**3 - 8*d**2 - 2*d - 12. Let j be c(s). Suppose w + j = 2*w. Does 4 divide w?
True
Let r be -1 - 1*(3 + -2). Let v be r/9 - (-227)/9. Suppose 3*y - 57 = -4*g, -5*y + v = g + g. Is 15 a factor of g?
True
Let b = 10 - 18. Let j = -3 - b. Suppose j*x - 5*p = 65, -2*p - 3 = p. Does 7 divide x?
False
Suppose 3*w - 31 = 2*g - 4*g, -5*w + 5 = 0. Is g a multiple of 14?
True
Does 6 divide ((-1)/1)/1*-48?
True
Suppose 136 = 5*d - 2*h, -4*d - h + 11 + 90 = 0. Suppose -d = n - 2*n. Does 13 divide n?
True
Let o be ((-196)/(-35))/(4/(-30)). Let j = 74 + o. Is 20 a factor of j?
False
Let a(u) = 4*u**2 - u + 1. Is 17 a factor of a(3)?
True
Let k be -10*(-1)/2 + -3. Suppose -34 - 46 = -k*v. Does 10 divide v?
True
Suppose -4*i - 3*x + 158 = 8, -184 = -5*i - 2*x. Is i a multiple of 7?
False
Let a be 407/2 - 1/(-2). Suppose -3*n = r + 2*r - 117, 4*n = 5*r - a. Does 11 divide r?
False
Is 17 a factor of 28/10 + -2 - 332/(-10)?
True
Does 3 divide ((2 - 3)/(-3))/((-1)/(-102))?
False
Let s(x) = 8*x + 3. Let a be s(-2). Let p = -8 - a. Suppose -p*h = -w - w + 88, -w = 2*h - 35. Is w a multiple of 13?
True
Suppose 2*r + 4*i = -4, r = -0*r - 4*i - 2. Let s(j) = 3*j**2 - 2*j - 4. Let n(a) = -a**3 - 6*a**2 + 3*a + 7. Let l(z) = 3*n(z) + 5*s(z). Does 15 divide l(r)?
True
Let c(a) = 29*a**3 - a**2 + a. Let p be c(1). Let r = p + -9. Does 10 divide r?
True
Suppose 2*c - 48 = -c. Does 4 divide c?
True
Let h = 0 + -2. Let z be 0*(-1 + 2)/h. Suppose -5*o + 69 + 81 = z. Is o a multiple of 15?
True
Let p = -421 + 637. Is 27 a factor of p?
True
Does 11 divide (-297)/22*(0 - 2)?
False
Suppose -6*g + 3*g + 813 = 0. Does 15 divide g?
False
Let h be (-3 + 1)*(1 + -3). Suppose -h*i = 4*a - 48 - 12, 4*a = 3*i - 80. Suppose -i = j - 6*j. Does 2 divide j?
True
Let v(f) = -7*f - f**2 + 13 + 3*f**2 - f**2. Does 7 divide v(6)?
True
Let l(t) = t**3 - 11*t**2 + 13. Let u be l(11). Suppose -9*v - 60 = -u*v. Is v a multiple of 10?
False
Let y = -37 - -68. Suppose -6*r + 5*r + y = 0. Is 7 a factor of r?
False
Let u = 32 + 69. Is 29 a factor of u?
False
Suppose -3*a + 2*k = 37, k + 2 = -k. Let f = -9 - a. Does 2 divide f?
True
Suppose 4*c = -2*l + 38, 7*c - 3*c = -l + 43. Is 1/3 + 92/c a multiple of 8?
True
Let m = 159 + -103. Suppose m = 3*q - 7. Does 9 divide q?
False
Suppose 0 = 3*j + 5*w - 40, 3*w - 15 = -j + w. Suppose 0 = -a + 3*d + 3, -j*d + 43 = a - 0*a. Does 6 divide a?
True
Suppose -2*c - 4*k = -0*k, -5*c - 4*k + 12 = 0. Suppose 2*f - p = 4*p + 115, -2*f - c*p = -70. Is 16 a factor of f?
False
Let u(s) = 3*s - s**3 - 10*s - 5*s**2 + 3*s + 3*s + 7. Does 6 divide u(-5)?
True
Suppose -5*i + 0*i + 160 = 0. Is i a multiple of 12?
False
Let c(p) = -p - 1. Let u(l) = 17*l + 17. Let a(b) = -5*c(b) - u(b). Is 12 a factor of a(-5)?
True
Suppose 3*d - 5*p - 27 = 7, -16 = 3*d + 5*p. Suppose -d*r - r = 4*f - 144, -2*f + 4*r = -60. Does 17 divide f?
True
Let w(g) = g**3 + 8*g**2 + 12*g + 1. Let y be w(-6). Does 2 divide -2 - y*(3 + -13)?
True
Suppose -f = -0*f + 2. Let q be (16/(-20))/(f/35). Suppose 2*u - h - 32 = -u, u - q = 2*h. Is u a multiple of 5?
True
Let w = -33 + 113. Suppose 4*u + 16 = w. Is u a multiple of 16?
True
Let g(u) = u**2 - 7*u + 4. Let m be g(6). Is (-41)/(-3) - m/(-3) a multiple of 13?
True
Let s(f) = 4*f - 6 + 6*f**2 - f**3 + 0*f + 0. Let u(a) = -3*a**3 + 18*a**2 + 12*a - 18. Let j(p) = -8*s(p) + 3*u(p). Is j(6) a multiple of 9?
True
Let x(t) = 8*t - 18. Is x(11) a multiple of 10?
True
Suppose 4*x = -s + 36, s = -s - 5*x + 75. Does 20 divide s?
True
Suppose -20*t + 19*t = -4. Suppose 6*n = t*n + 96. Is 18 a factor of n?
False
Let z be 3 - (-2 + (6 - 2)). Suppose -32 = -y - z. Is 6 a factor of y/2 + 4/(-8)?
False
Let o = 21 + -9. Let i be o + (1 - 1/(-1)). Suppose -5*p + 6 + i = 0. Is p a multiple of 4?
True
Let b be (-1)/(-2 - 21/(-12)). Let a be (156/(-9))/(b/(-6)). Let w = 17 + a. Is w a multiple of 17?
False
Let x(t) = -7*t - 7. Let u(z) = 1. Let c(l) = 2*u(l) + x(l). Is c(-3) a multiple of 13?
False
Suppose 1 = u - 11. Does 10 divide u?
False
Suppose k = -2*k + 30. Suppose 0 = t + k - 24. Is 6 a factor of t?
False
Suppose -3*o - 5*a + 164 = 0, 0 = 4*o - a - a - 262. Suppose 3*b - 4*m + 21 = o, -2*m = -5*b + 70. Suppose -n - b = -3*n. Is 7 a factor of n?
True
Is (50/4)/((-2)/(-8)) a multiple of 6?
False
Let u be (4/5)/((-2)/(-10)). Suppose 2 + 2 = -u*k. Let m(g) = -8*g**3 + 2*g + 1. Is m(k) a multiple of 2?
False
Let q(h) = h**3 + 19*h**2 + 14*h + 27. Is q(-18) a multiple of 15?
False
Is 12*(-10)/15*-6 a multiple of 7?
False
Let a(w) = -w**2 + 5*w - 2. Let h be a(5). Let o be h + 3/(6/16). Suppose 3*b + 0*b - 12 = 5*g, b - 5*g + o = 0. Does 3 divide b?
True
Suppose 4*x - 15 = -x. Suppose u + 4*o = 2*u + x, 0 = 5*u + 5*o - 60. Does 8 divide u?
False
Let y = 132 + -79. Is 5 a factor of y?
False
Is 8 a factor of (4 - (-44)/(-14))*14?
False
Let s(u) = -u**3 + 5*u**2 + 7*u + 8. Let g(l) = -l. Let n be g(-6). Is s(n) a multiple of 14?
True
Let z(x) = -42*x. Let r be z(-1). Let u = r + -20. Does 8 divide u?
False
Let v be (1*14)/2 - 2. Suppose -3*u = -v - 4. Suppose -6*b + b = u*m - 46, 0 = -5*b + 10. Does 6 divide m?
True
Let p = 7 - 2. Suppose -p*j = -2*a - 10, -4*j + 3*a + 15 = -7*j. Suppose j*c + 16 = 2*c. Is 3 a factor of c?
False
Suppose 0*t = 3*t - 15. Suppose 0 = t*r - 109 + 19. Is 3 a factor of r?
True
Let u = 13 - 10. Is 35 + (1 + -4)/u a multiple of 17?
True
Let h(m) be the third derivative of m**4/3 + m**3/3 - 4*m**2. Let k be h(3). Suppose 4*s - k = -s - 4*g, 3*g + 21 = 3*s. Is s a multiple of 2?
True
Let y(r) = r - 3. Let a be y(3). Suppose 4*w = 3*o - 212, -3*o = -2*w + 7*w - 248. Suppose a = 4*q - s - o, 5*q + 3*s - 95 = -s. Is 12 a factor of q?
False
Suppose 9 + 0 = 3*g. Is 24 a factor of 4 + (g - 1)*22?
True
Let f be 6/9 - (-88)/(-6). Does 7 divide (-16)/(-8)*f/(-4)?
True
Let d = -6 + 10. Suppose 0 = d*j - 9*j + 15. Suppose -j*r = -6, 3*q = 2*q - 3*r + 12. Does 3 divide q?
True
Let f(x) = -x**3 - 11*x**2 + 4*x - 6. Is f(-12) a multiple of 18?
True
Suppose 0 = -2*y + y - 3, 4*y - 45 = -h. Is 20 a factor of h?
False
Let j(w) = 2*w**2 + 4. Does 18 divide j(5)?
True
Let g = 8 - 6. Suppose 0 = -5*z - g*i + 257, -4*i = -2*z + z + 47. Suppose 2*u + 5*l - 36 = z, -4*u + 2*l + 138 = 0. Is u a multiple of 18?
True
Suppose 0 = 4*c - 19 - 33. Is 6 a factor of c?
False
Suppose -h - 9 = -13. Is h a multiple of 3?
False
Let q(z) = -z**3 - 7*z**2 + z + 9. Let t be q(-7). Suppose -2*k + 150 = 5*j + 31, 3*k = t*j + 188. Is 12 a factor of k?
False
Let t(l) = l**3 - 7*l**2 + l - 4. Let k be t(7). Suppose 0*w + 24 = w + y, -w = -k*y - 40. Is 10 a factor of w?
False
Let x(t) be the first derivative of 7*t**6/120 - t**3/3 + 2*t**2 - 3. Let p(f) be the second derivative of x(f). Is p(2) a multiple of 18?
True
Let d = 105 - 46. Does 14 divide d?
False
Suppose g = -3*p + 5*g - 5, -4*g + 8 = -4*p. Let y be (-33)/(-6) - p/(-6). Suppose -c + 4*c + 5*h - 86 = 0, 4*c + y*h - 118 = 0. Does 16 divide c?
True
Let h = 871 - 462. Suppose 4*q = h - 121. Does 16 divide q?
False
Does 19 divide (-245)/(-2) - 6/(-8 - 4)?
False
Let g be (3/2)/((-3)/(-534)). Suppose -4*r - 2*q + 337 = 55, q = 4*r - g. Is r a multiple of 17?
True
Let s be -2*(1 - 2 - 13). Let p be s/(-8)*(-2 - 0). Suppose -4*y - p = -119. Is 10 a factor of y?
False
Let h = 8 - 14. Let u = 12 + h. Does 6 divide u?
True
Let h(b) = -4*b - 20. Is h(-12) a multiple of 4?
True
Suppose -s + 4*v + 67 = -0*v, 0 = 5*v - 20. Is s a multiple of 12?
False
Suppose -r - r + 1 = g, 0 = 2*r + 3*g + 5. Suppose -s - 2*s = -81. Suppose r*a = s + 39. Does 13 divide a?
False
Suppose -5*n - 154 = -484. Is 22 a factor of n?
True
Let x(n) = 19*n. Let c be x