. Is 26 a factor of a?
True
Suppose 2*a + 5*s = 185, 6*a - a = -3*s + 510. Let h = 175 - a. Does 14 divide h?
True
Suppose 0 = 5*q + 5*d + 5, 3*q - 2*d = -q - 28. Let l = -12 - q. Does 14 divide (5 + -3 + -6)*l?
True
Let f = 528 - 348. Suppose 26*l + f = 31*l. Does 4 divide l?
True
Suppose 5*d = 2*q + 5969, -2*q + 998 = d - 191. Is 44 a factor of d?
False
Suppose 2*f - 52 = -2*b, 4*f + 2*b - 6*b = 64. Suppose 2*z - 52 = 2*d + 4*z, 0 = -4*d - z - 89. Let t = f - d. Is 9 a factor of t?
False
Let i(j) = 3*j**2 + 7*j + 42. Let y be (-3*4/24)/(1/14). Is 20 a factor of i(y)?
True
Let j(g) = -5*g + 14. Let y be j(10). Let k = -23 - y. Is 13 a factor of k?
True
Suppose 4*b = -6*b + 20. Suppose 106 + 110 = a + 5*k, 0 = -2*a - b*k + 424. Is a a multiple of 27?
False
Suppose -35*k + 2813 = -32*k + 2*h, 4*h + 2789 = 3*k. Is 18 a factor of k?
False
Let p(h) = h**3 - 9*h**2 - 23*h + 27. Let y be p(11). Let k = 35 - y. Is k a multiple of 19?
True
Let b be 2/(-3) + 51/9. Let t(c) be the second derivative of c**4/6 - c**3 - 7*c**2/2 + 41*c + 1. Is t(b) a multiple of 13?
True
Let b = 732 + -632. Is b a multiple of 7?
False
Let u = 2 - 24. Let i = 94 + u. Is i a multiple of 24?
True
Is 744/(-372) + (16 - 0/(-1)) a multiple of 5?
False
Let j(c) = -2*c**3 + 6*c + 2. Let s be j(-5). Suppose -8*a = -5*a - s. Is a a multiple of 37?
True
Let n = 674 + -62. Is 68 a factor of n?
True
Let z(k) = 2*k - 8. Let x be z(4). Suppose -4*u - 5*r + 45 = x, 5*r = 4*u - 2*u - 45. Is u a multiple of 3?
True
Let n = -37 + 40. Suppose 3*d + n*d = 402. Is 21 a factor of d?
False
Let p = 348 + 543. Is 81 a factor of p?
True
Let a(h) = 6*h**2 - 7*h - 11. Is a(10) a multiple of 62?
False
Let s(t) = t**3 - 4*t**2 + 11*t. Let h be s(6). Suppose h = -36*i + 37*i. Is 46 a factor of i?
True
Let b = 7 + -17. Let l = -26 - b. Let f = 40 + l. Is f a multiple of 12?
True
Let n(h) be the first derivative of 5*h**2/2 + 6. Let x(j) = 11*j - 1. Let a(z) = 9*n(z) - 4*x(z). Is 3 a factor of a(0)?
False
Suppose 6*p + 22885 = 29*p. Is p a multiple of 13?
False
Suppose -2*o = -3*q - 331, 3*q = -0*o - o + 143. Let f = o - 88. Does 35 divide f?
True
Suppose -2*a = 4*g - 38, 4*a + 5*g = 3*g + 88. Suppose -i + 50 = 3*d - a, 3*d = -5*i + 65. Is d a multiple of 6?
False
Let r be 61/3 + 4/6. Let u(s) = s**2 + 29*s + 116. Let i be u(-23). Does 10 divide i*(r/6 - 4)?
False
Suppose -14*k = -617 - 41. Does 4 divide k?
False
Suppose 3*x - 18 = 3*v - 0*x, -16 = 2*v - 4*x. Let k be v + 142*(-12)/(-8). Suppose -5*i + k = -116. Is i a multiple of 17?
False
Suppose -4*h - 18 = -5*b, -b + 4*b + h - 4 = 0. Suppose -7*c + 100 = -b*c. Let r = c + 2. Does 11 divide r?
True
Let s be (4/(-5))/(14/(-35)). Is 6 a factor of 1/(s + 135/(-69))?
False
Let c(o) = -2*o + 1. Let x be c(-2). Suppose v - x*v = -16. Suppose 58 = 2*r + v. Does 9 divide r?
True
Let j = -285 - -501. Suppose 9*o - 72 = j. Suppose -4*v + 2*y + 94 = -o, 0 = v + 2*y - 29. Is 11 a factor of v?
False
Let z(t) be the second derivative of t**5/20 + t**2/2 - 3*t. Let f be z(-1). Suppose l = -f + 19. Is l a multiple of 11?
False
Let w = -2 + 7. Suppose 3*g = w*g - 398. Let s = g - 140. Does 23 divide s?
False
Is 3 a factor of (-196)/(-392) - (-2246)/4?
False
Let m(z) = -135*z**3 - 3*z - 2. Does 17 divide m(-1)?
True
Let s(o) = 8*o**2 + 4*o + 1. Let j be (-1)/3 - 5/3. Does 2 divide s(j)?
False
Suppose 4*q = -2*y - 2, -5*q - 1 = -0*y + 3*y. Is y/(-4)*(32 + -56) a multiple of 18?
True
Let s be (-1*4 - -2) + 2. Suppose s = n + 2*n - 9. Is 11 a factor of ((-4)/(-2) - n)*-17?
False
Let j = 248 - 106. Suppose 0*y - 2*y = 5*i - 242, 3*i = 2*y + j. Is 24 a factor of i?
True
Let j = 1040 - 931. Is 101 a factor of j?
False
Suppose -5 = 5*x + 15. Let t(b) = -2*b - 3. Let l be t(x). Suppose v = 2*v - 4*y - 5, 3*v - 29 = l*y. Does 5 divide v?
False
Let c = 2062 - 1366. Let t be (-26)/(-91) - c/(-14). Suppose -3*x = b + 4*b - t, 2*x - 4*b - 4 = 0. Is x a multiple of 3?
False
Suppose -8*j = -3*j - 40. Is ((-30)/j)/(45/(-120)) a multiple of 5?
True
Suppose 4*u = -4*h + 192, u = -0*h + h + 50. Does 4 divide u?
False
Suppose 5*z - 10*z = -3*n - 1019, 0 = z + n - 207. Does 2 divide z?
False
Let m(u) = u**2 + 3*u - 26. Let g be m(-12). Let d = g + -50. Is d a multiple of 32?
True
Let s(a) = -2*a**3 - 3*a**2 - a - 2. Let c(w) = 2*w**3 - w - 1. Let i(z) = z**2 - 4*z - 6. Let h be i(5). Let r be c(h). Is s(r) a multiple of 4?
True
Let h = 71 + -17. Suppose -6 = 3*l - h. Let j = l + -2. Is 3 a factor of j?
False
Let q = -17 + 21. Suppose 0 = q*i + 5*s - 165, 6*s = 4*i + 3*s - 157. Does 10 divide i?
True
Let h(u) = -u**3 + 8*u**2 + 3*u - 12. Suppose 13 + 23 = 4*a. Let m = 17 - a. Is 6 a factor of h(m)?
True
Suppose 2 = 5*x - 3. Suppose j + 1 = 3*h - 2, x = -4*h + 3*j. Suppose 0 = -0*l - h*l + 2*g + 48, -2*g = 5*l - 120. Is 8 a factor of l?
True
Suppose 0 = 3*v + 2*a - 3*a - 2492, -4*a = -4*v + 3328. Does 34 divide v?
False
Let k(d) = -17*d**2 + 21*d + 24*d**2 - 8*d**2 - 20. Suppose -16 = -2*q - 4*u, q + 3*u - 61 = -4*q. Is 9 a factor of k(q)?
False
Let g = 84 + 0. Suppose -87*k + g*k = -30. Is k a multiple of 5?
True
Let w be (-4)/(4/6 + -1). Let o be (-52)/16 - (-3)/w. Is 22 a factor of 1*33*(-4)/o?
True
Is 655 - (-40)/15*(-18)/8 a multiple of 11?
True
Let r = -965 - -2190. Does 35 divide r?
True
Let u(d) = -6*d**2 - 3*d - 3. Let y = 9 + -11. Let o be u(y). Is 4/14 - 2031/o a multiple of 27?
False
Does 23 divide -1 + 8/6 + 244256/408?
False
Suppose 2*r + 2*v - 18 = 0, 10 = -3*r + 4*v + 2. Suppose 5*m + r = 5*b + 19, -3*m + 5 = b. Is 11 a factor of (m - 2 - 15)/(-1)?
False
Suppose 3*m - 18 = -0*m + v, -v = -2*m + 12. Suppose 323 = m*q - 1. Does 11 divide q?
False
Let c(k) = 2*k + 9. Suppose 3*l = 4*l. Let t be c(l). Is 73/3 + (-3)/t a multiple of 8?
True
Suppose 5*l + 4*i + 1 = 0, 2*l - 4*i = i - 7. Let s be l/5 + 10/50. Suppose 2*q + 3*o + o = 148, s = -2*o - 6. Does 13 divide q?
False
Let a = 29 - 26. Is (3 + (-11)/a)*-138 a multiple of 12?
False
Let q be (6/15)/((-1)/(-5)). Suppose -g = 4*d + 8, 7*g = q*g + 3*d + 29. Does 4 divide g?
True
Let f be (2 - -17) + 0/1. Suppose 2*d + 15 = 7*d. Suppose s + f = p, 6*s = d*s + 12. Does 23 divide p?
True
Is 8 a factor of ((-538)/8)/(((-123)/(-36))/(-41))?
False
Suppose 2*k - 2 = -4*z, 6*z - 3*k - 15 = 3*z. Let b be (z + (-2)/(-1))*1. Suppose 5*q = -b*i + 217, -3*i + 2*q = -3*q - 119. Is 17 a factor of i?
False
Suppose -10 + 1 = 3*h. Is 21 + -2 + h/(-3) a multiple of 5?
True
Suppose 4*i - 2*g - 12 = 0, -i = -5*i - 3*g + 2. Suppose 4*d + 20 = 0, -5*r + 130 = d + i*d. Is r a multiple of 6?
False
Let b(f) = -2*f - 8. Suppose 2*l + 14 = 2*x - 3*x, -3*l - 7 = 5*x. Is 3 a factor of b(l)?
False
Let m(t) = 30*t**2 + 1. Let p(k) = -k**3 - 7*k**2 - 5*k + 5. Let q be p(-6). Is 20 a factor of m(q)?
False
Does 69 divide (8/((-240)/(-45)))/((-6)/(-6472))?
False
Suppose 23*g - 19*g = 3084. Is g a multiple of 16?
False
Let b = -686 + 2684. Does 111 divide b?
True
Suppose -2*j + 48 = -2*z - 496, 3*j = -2*z + 801. Is 27 a factor of j?
False
Let j(l) be the second derivative of -3*l - l**2 + 0 + 1/20*l**5 + 1/3*l**4 - 2/3*l**3. Is j(-4) a multiple of 13?
False
Suppose 5*y = -l + 640, 4*l - 3*y - 2034 = 595. Is l a multiple of 5?
True
Suppose 6*n - 25*n = -3743. Is n a multiple of 2?
False
Let z(m) = m**3 - 7*m**2 - 12*m - 8. Let l be (-7 - -1)/(-2 + 3). Let w be (l/9)/(8/(-108)). Does 23 divide z(w)?
True
Let j be (11 - -7)/(-1 - -3). Let p = j + 23. Is p a multiple of 8?
True
Let r = -13 - -102. Let b = 151 - r. Does 31 divide b?
True
Let l(a) = -a**3 + 19*a**2 + 20*a + 11. Let z be l(20). Let o = -16 + 41. Let g = o + z. Is g a multiple of 18?
True
Let q be (-4)/14 + (-60)/(-14). Suppose -15 = r + v, 0 = 3*r - q*v + 16 - 6. Does 17 divide 49*1 - (r + 8)?
True
Does 34 divide -5 + 1336/4 + 1 + -1?
False
Let z(a) = 53*a. Let j be z(1). Let h = -36 + 5. Let p = h + j. Is p a multiple of 3?
False
Suppose -5*y = -8 + 53. Is 4/(180/6085) + 2/y a multiple of 15?
True
Let b = 88 + 856. Is b a multiple of 48?
False
Let s(n) = 67*n - 47. Let w be s(6). Let y = w + -211. Is y a multiple of 13?
False
Suppose -4 = -4*o + 16. Let t(h) = -31*h + 19. Let i(y) = 8*y - 5. Let p(k) = -22*i(k) - 6*t(k). Is 12 a factor of p(o)?
False
Let a(s) = -s**2 - 10*s + 10. Let p be a(-11). Is 25 a