- 10 = a*i. Does 28 divide y?
True
Let j be 2/(-8)*-11*4. Let q(s) = s**3 + 20*s**2 + 2*s + 33. Let v be q(-20). Let p = j + v. Is 2 a factor of p?
True
Let u = -2 - -2. Suppose 4 = 4*v - u. Is 8 a factor of 2*-1 - (-20 - v)?
False
Let u(l) = -l**2 + 4*l - 3. Let f be u(3). Suppose 0 = 2*b - 5*k + 1, 5*b + f*b + k - 65 = 0. Is 6 a factor of b?
True
Suppose -4 = -3*b + 7*b. Let c(p) = -p. Let r(o) = 6*o - 1. Let s(t) = b*r(t) - 4*c(t). Does 11 divide s(-5)?
True
Suppose 86 = -q - 0*q. Let s = 52 + q. Is (-3)/(-9) + s/(-6) a multiple of 3?
True
Let c(a) = -2*a + 5. Let p(d) = -d**2 - 5*d + 1. Let l be p(-5). Let r be (4 + 0)/(l + -2). Is 6 a factor of c(r)?
False
Suppose 2*z - 4 = -0*z. Suppose 0 = -3*f + o + 1, 4*f - f + 4 = z*o. Is f + (5 - (2 - 0)) a multiple of 3?
False
Suppose 2*z - 30 = -3*z. Let p be 24/(-9)*(-1 + -5). Suppose z = v - p. Is 12 a factor of v?
False
Suppose -t + s + 132 = 0, 2*t + 11 - 260 = -3*s. Is t a multiple of 22?
False
Suppose 4*s - 2*s + 36 = 0. Let y be ((-2)/3)/(3/s). Is 4/8 - (-30)/y a multiple of 4?
True
Suppose -a = 3*a - 2*b - 398, 5*b = 2*a - 179. Is a a multiple of 10?
False
Suppose 4*u - 76 = -4*y, y - 96 = -3*y + u. Is 23 a factor of y?
True
Let p(o) = -2*o**2 - 2*o - 1. Let w be p(-4). Let q = w + 36. Does 11 divide q?
True
Let m = 17 - -10. Let w = m - 22. Is w a multiple of 5?
True
Let x(v) = v + 14. Does 7 divide x(6)?
False
Suppose 0*l + 2*o - 6 = -3*l, -4 = -2*l + 3*o. Suppose -l*x = -2*n - 30, 4*x - 5*n - 45 = 2*x. Is x a multiple of 10?
True
Suppose -d = b - 7, -2*b + 2*d + 1 = -13. Let x(f) = 7*f - 2. Is 16 a factor of x(b)?
False
Suppose -4*l = 3*f - 118 + 16, -4*l = f - 106. Does 8 divide l?
False
Suppose -4*x = -x - 4*s - 207, 4*s = -2*x + 138. Let a = 13 + x. Is 21 a factor of a?
False
Let p(a) = -2*a - 12. Let q be p(-8). Suppose -q*d + 5*m = -50, 3*d = 4*d - m - 13. Is d a multiple of 7?
False
Suppose -615 = -16*v + 13*v. Is 41 a factor of v?
True
Let z = 6 - 2. Suppose p + z*p = 20. Does 15 divide (-30)/(-8)*(0 + p)?
True
Let a(z) = 2*z**2 + 4*z + 4. Let p be a(-4). Does 12 divide (-1 + -23)*p/(-15)?
False
Suppose 0 = -3*l + 1128 - 36. Let v = l + -258. Is v a multiple of 22?
False
Let s be 1/(-2)*6/(-1). Let l = -26 + 48. Suppose 0 = 2*v + 4*i - l, -v + 6*v - 81 = s*i. Is 6 a factor of v?
False
Suppose -4*a - 5 = -1. Let q(s) = 9*s**2 - s + 16. Let b(m) = -2*m**2 - 3. Let f(x) = -11*b(x) - 2*q(x). Is f(a) a multiple of 2?
False
Let t(i) = -i**2 + 9*i - 4. Is 5 a factor of t(6)?
False
Let n(v) = -v**3 - 7*v**2 + v + 9. Let f be n(-7). Let o be (1*-3 + 1)*f. Let s = o - -19. Is s a multiple of 5?
True
Is 5 a factor of (30/(-4))/(9/(-18))?
True
Suppose -5*r = -195 - 20. Is r a multiple of 33?
False
Let x(o) = -3*o + o + 4 + o + 2*o. Does 9 divide x(5)?
True
Let a(c) = c**2 + 4*c + 6*c - 2*c - c + 6. Is 12 a factor of a(-10)?
True
Let h(a) = a**2 - 2*a - 3. Let s be h(3). Suppose 6 = 2*c, -3*c - 21 = -3*k - 4*c. Suppose s = -3*p - k, -5*z + p + 44 = -p. Does 7 divide z?
False
Suppose -28 = -5*w - 8. Let x(d) = d**3 - d**2 + 6*d - 4. Is 12 a factor of x(w)?
False
Suppose 0 = -7*g - 36 + 99. Does 9 divide g?
True
Suppose 3*q = h - 0*q - 81, 0 = -2*h - q + 127. Let l be -2 - (-1 + 27 - -2). Let v = h + l. Is 14 a factor of v?
False
Suppose -4*a + 7 = -5*a + 4*s, 9 = -4*a - 3*s. Let f be (1/1)/(a/(-78)). Let b = 1 + f. Is 8 a factor of b?
False
Let t be -5 - -6 - -4*1. Let w(i) = 5*i - 1. Is w(t) a multiple of 13?
False
Suppose -3*f + 7 = g, -3*f - 52 = -5*g - f. Suppose -7*h = -8*h + g. Is 7 a factor of h?
False
Let m = 168 - 56. Is m a multiple of 28?
True
Let g = -8 - -13. Does 17 divide 434/10 + (-2)/g?
False
Suppose -5*u + 10*u - 15 = 0. Suppose 5*m + 90 = -4*d, m + 76 = -4*d + u*m. Let h = d + 29. Is h a multiple of 5?
False
Let r(l) = -l**3 - 3*l**2 + 4*l. Let s be r(-4). Suppose s*o = o - 23. Is 14 a factor of o?
False
Does 18 divide (1 + (-15)/(-6) + 1)*12?
True
Suppose -6*d = -2*d. Is d/(-3 + 2) - -4 a multiple of 2?
True
Does 12 divide 6/(-9)*(-21 + 7 + -4)?
True
Suppose 0 = 5*s + 5*n - 8 - 12, -2*s = -5*n + 6. Let z = 24 + s. Does 12 divide z?
False
Let l = 59 + -30. Suppose -2*t - l = -3*t. Is 12 a factor of t?
False
Suppose -2*u + 47 = 2*o - u, -u + 26 = o. Does 17 divide (o/(-7))/((-1)/19)?
False
Let j be 42/(-8) + 2/8. Is 16 a factor of (j/(-3) - 1)*24?
True
Does 21 divide (6/4*2)/((-20)/(-220))?
False
Is 21 a factor of (12 - -2)*(4 - -2)?
True
Let w(o) = o + 81. Let h be w(0). Suppose x = -2*x + h. Does 17 divide x?
False
Let u = -4 - -98. Is u a multiple of 16?
False
Suppose 5*n - 247 + 7 = 0. Does 12 divide n?
True
Suppose -2*x + 70 = -326. Is x a multiple of 22?
True
Let x(y) = -y**2 + 5*y - 1. Let w be x(4). Let j = w - -9. Does 4 divide j?
True
Let q(g) = g**2 - 5*g - 4. Let t(c) = -2*c**2 + 10*c + 9. Let b(y) = -13*q(y) - 6*t(y). Let n be b(5). Let k(x) = x**2 + 2. Is k(n) a multiple of 3?
True
Let a(n) = n**3 + 8*n**2 + 8*n + 8. Is a(-6) a multiple of 11?
False
Suppose -2*a = 25 - 5. Let o(l) = -l - 7. Is 3 a factor of o(a)?
True
Let k = -18 - -152. Is k a multiple of 28?
False
Let h = 260 + -130. Is h a multiple of 13?
True
Suppose -2*t = 3*n - 253, -n + 5*t = 2*n - 260. Is 14 a factor of n?
False
Let p = -4 + 8. Suppose 5*o - o = -12, 4*o - 124 = -p*u. Is u a multiple of 17?
True
Suppose 316 = 23*r - 21*r. Is r a multiple of 17?
False
Let y(h) = -h**2 + 6*h + 5. Let r be (10/(-3))/(6/(-9)). Let i be y(r). Let d = i + -6. Does 3 divide d?
False
Suppose 4*s - 12 = 4*a, -3*a + 8 = -7. Is 2/s + 119/4 a multiple of 17?
False
Is 41 a factor of (-4)/12 - (-398)/6?
False
Let z(q) = -q. Let c be z(-4). Is 9 a factor of 48/c - (1 + -2)?
False
Let r = -56 - -81. Is r a multiple of 24?
False
Let b = 4 + -2. Does 12 divide 0 + b - -46 - 0?
True
Suppose 3*b + 0*b + 72 = 0. Does 6 divide (-12)/b*(-36)/(-1)?
True
Let u be (16/12)/((-2)/6). Let z = 14 - u. Is 9 a factor of z?
True
Suppose -2*j + 4*m = 40, -4 = -0*m - m. Does 5 divide (5 - 3)/((-3)/j)?
False
Suppose -97 = -5*u + 253. Is u a multiple of 22?
False
Let a(w) be the second derivative of 7*w**3/6 - 15*w**2/2 + 7*w. Is 24 a factor of a(9)?
True
Let f(k) be the second derivative of -9*k**3 + k. Let t be f(1). Let o = -38 - t. Does 15 divide o?
False
Let c be 4/(-6) - (-6)/9. Suppose n + 5*b - 9 - 6 = c, 5*b = n - 15. Does 12 divide n?
False
Suppose -2*s - 4*s = -630. Does 35 divide s?
True
Suppose -5*x + 17 = 4*o - 58, 3*o - 2*x - 62 = 0. Is 20 a factor of o?
True
Is 8 a factor of ((-3328)/18)/(-4) - (-12)/(-54)?
False
Let a(f) = f**2 + 8*f + 3. Let q be a(-5). Let z(h) be the first derivative of h**3/3 + 9*h**2/2 - 16*h + 21. Does 20 divide z(q)?
True
Let r(v) = 24*v**2 + v. Let y be r(-1). Suppose 3*u + 4*l + 8 = 2*u, -5*u = -l - y. Suppose 8*c - 60 = u*c. Is 4 a factor of c?
False
Let a(r) = r**3 + 41. Suppose -w = -2*n + 4, -3*n + 3*w + 4 = -5. Let y be n/2*0/3. Is 16 a factor of a(y)?
False
Suppose -4*n + 24 = 4. Suppose -n*o - 42 + 217 = 0. Let p = -24 + o. Is p a multiple of 5?
False
Let v(g) be the first derivative of -g**3/2 - g**2 - 3*g - 2. Let h(a) be the first derivative of v(a). Does 2 divide h(-2)?
True
Let n be -2*11 - (3 + -5). Is (-414)/(-8) - 5/n a multiple of 20?
False
Is (-9)/(-21) - 5240/(-56) a multiple of 20?
False
Suppose -3*l + 6*o + 303 = 2*o, -4*o = -2*l + 206. Is l a multiple of 17?
False
Let l(y) = y**3 - 2*y**2 - 9*y - 2. Let k be l(7). Suppose -k = -5*b + 3*q, 0 = b + 2*q - 33 - 3. Is 18 a factor of b?
True
Let g = -37 - -108. Does 23 divide g?
False
Let z(a) = 2*a**2 - 6*a + 4. Let x be 4/10 - (-28)/5. Is z(x) a multiple of 20?
True
Let w = -29 + 32. Is 2 a factor of w?
False
Let x(c) = -c**2 + 5*c - 2. Let b be x(4). Let g = b + 4. Is 3 a factor of g + 3 + -2 - 1?
True
Does 10 divide ((-12)/(-10))/(6/180)?
False
Let b = 296 + -205. Is b a multiple of 13?
True
Let x(s) = s**3 - 9*s**2 + 2*s + 10. Let t = 13 - 4. Let z be x(t). Let c = 58 - z. Is 8 a factor of c?
False
Let w = 95 + -58. Suppose 0 = 4*a - 5*a + w. Does 10 divide a?
False
Let p = 5 + 20. Let s = p - 16. Is 7 a factor of s?
False
Let i = -37 + 138. Is 10 a factor of i?
False
Suppose -2*z = -5*d + 778, 4*d = 3*z - 0*z + 621. Is 39 a factor of d?
True
Let d(f) be the third derivative of -f**6/120 + f**5/10 + f**4/24 - f**3/2 - 4*f**