 factor of s?
True
Does 11 divide ((-7)/7 - -8) + 478?
False
Suppose -7 + 4 = -p. Suppose -3*b - 2*d + 25 = -91, -p*d + 194 = 5*b. Does 10 divide b?
True
Let j(z) = z**2 - 5*z + 3. Let x be j(6). Let o = 11 - x. Suppose -o*q - 6 = 0, 47 - 128 = -2*r + 5*q. Does 14 divide r?
False
Suppose -3*r + 1458 = 4*b, r - 3*b - 176 - 323 = 0. Does 7 divide r?
True
Let c(s) = -s**3 + 21*s + 5. Is c(-6) a multiple of 10?
False
Suppose 0 = y - 5 + 8. Does 12 divide 4/8 + (y - 87/(-6))?
True
Suppose -2 = x - 6. Suppose -i + 4*f + 17 = 0, x*i + f - 21 = -4. Suppose -5*l - 3*q = -0*q - 133, 0 = -3*l - i*q + 67. Does 4 divide l?
False
Let u = 1977 + -1249. Is 13 a factor of u?
True
Suppose 0 = 5*b - 4*m - 246, 5*b - 3*m = -7*m + 254. Is ((-48)/20)/((-3)/b) a multiple of 20?
True
Let j(y) = -10*y - 5. Let x(d) = d - 12. Let b be x(8). Does 8 divide j(b)?
False
Let r(o) = -o**3 + 6*o**2 - o + 8. Let h be r(6). Suppose -h*b = -3*l + 8, -4*l - l + 11 = -b. Let w(t) = 12*t - 2. Is 22 a factor of w(l)?
True
Let l = 16 - 11. Let a be 11*(l/(-5) + 8). Suppose 4*s = 5*t - 67, 3*t + 2*s - a + 28 = 0. Is t a multiple of 13?
False
Let p(h) = h**3 - 5*h**2 - 4*h - 2. Let y be p(6). Let x(v) = -v**3 + 6*v**2 + 9*v - 10. Let g be x(7). Does 12 divide 416/y - g/(-10)?
False
Suppose -2*j + 1524 = -2*w - 236, 0 = -3*j - 5*w + 2600. Does 5 divide j?
True
Let a = 117 - 33. Suppose 168 = 3*y + o, 5*y - 2*o - 291 = -0*o. Let w = a - y. Is 26 a factor of w?
False
Suppose -5*m = -w - 259, 5 - 3 = 2*w. Suppose -m - 76 = -n. Suppose -n = -5*a + 7. Is 13 a factor of a?
False
Suppose 4*u = 4*r + 3760, -17*u + 2785 = -14*u + 4*r. Does 55 divide u?
True
Let x = 3118 - 577. Is x a multiple of 7?
True
Suppose 6 = 5*t + 1, 5*g - 3*t = -3. Suppose -4*j = g, j + 885 = 5*a - 3*j. Does 42 divide a?
False
Let w be -5 + 1 + (-30)/(-5). Is -2*w/3*-15 a multiple of 20?
True
Let u = -7 - -19. Let f = u - 6. Suppose -2*j + f*i = i - 26, 62 = 3*j + 4*i. Is 17 a factor of j?
False
Let v = -122 - -127. Suppose v*i + 9 = 949. Is 23 a factor of i?
False
Suppose -3*m + g = -550, -3*g - 75 = -m + 111. Let r be (2/(-6))/((-1)/m). Let s = 116 - r. Is 18 a factor of s?
False
Let o(g) = 5*g**3 - g**2 + 4*g - 3. Let t be o(2). Suppose -t = -c + 14. Does 27 divide c?
False
Let k(j) = 8*j**2 - 34*j + 241. Does 11 divide k(17)?
False
Does 5 divide 481 - (3 + 3 + -5)?
True
Suppose 0 = -3*u + 5*p + 102 + 545, -3*p = 5*u - 1135. Is u/(-8)*5/((-35)/6) a multiple of 8?
True
Suppose -5*s = -s - 16. Suppose -8 = -2*h - 2*h, 188 = -s*x - 2*h. Is ((-13)/(-2))/((-8)/x) a multiple of 13?
True
Does 79 divide (-4)/(4/(-2069)) + -9?
False
Is (-7)/((-49)/4088) + (-7 - -1) a multiple of 17?
True
Is (-23663)/(-6) + 46/276 a multiple of 68?
True
Let h(d) = 2*d**2. Let j be 0 - (1 + 1 + -1). Let n be h(j). Suppose -v = n*v - 177. Is 19 a factor of v?
False
Let s = 356 - 195. Suppose 2*t = 3*t - s. Is 44 a factor of t?
False
Let s(v) be the first derivative of -v**2/2 - 12. Is s(-11) a multiple of 7?
False
Suppose 154 = 4*l - 242. Suppose 9 = h - l. Is h a multiple of 18?
True
Let x(m) = 4*m + 2. Let g be x(3). Suppose h - 4*a = -4, 4*a = -2*h + g + 2. Suppose 3*n - 23 = -h*y + 31, -7 = -n - 5*y. Does 5 divide n?
False
Let s be ((-512)/40)/((-2)/(-10)). Let d = s + 32. Let w = 4 - d. Does 12 divide w?
True
Is ((-6)/(-3))/((-2)/(-1153)) a multiple of 37?
False
Is 8 a factor of (-6)/(-21) - (-32190)/35?
True
Let f(v) be the first derivative of v**4/4 + 2*v**3 - v + 3. Let o be f(-6). Is (o - -2)*-4*-11 a multiple of 14?
False
Is (2/6)/(3/1881) - 0 a multiple of 11?
True
Suppose 0 = 5*y - x - 18, -3*x - 15 = 2*x. Let q be (-3)/(2 - y) - 4. Let c(m) = 51*m**2. Is 17 a factor of c(q)?
True
Suppose 6*h - 3*h - 486 = 0. Suppose 0*l - h = -2*l. Does 27 divide l?
True
Suppose 0*b + 4*b = 88. Suppose 22 = -3*o + 4*y, -5*o - 13 = -5*y + b. Let x = 1 - o. Is x a multiple of 6?
False
Let c(m) = 2*m + 26. Let v be (-2)/4*(0 - 0). Is c(v) a multiple of 23?
False
Let v(o) = -o**3 - 16*o**2 - 4*o + 29. Let j be 3*16/(-36)*12. Is v(j) a multiple of 31?
True
Suppose 25*o - 54*o = -12673. Is 4 a factor of o?
False
Suppose -22 = -4*c + 2*c. Suppose 0 = -3*r - 12, -3*r - 12 = 3*q + 18. Let z = c + q. Does 5 divide z?
True
Let o(v) = -57*v - 11. Let q(l) be the second derivative of -14*l**3/3 - 5*l**2/2 - 7*l. Let b(y) = -3*o(y) + 7*q(y). Is 16 a factor of b(-2)?
True
Let o = 182 + 106. Is 9 a factor of o?
True
Let o(b) be the first derivative of -b**7/840 + b**6/120 + b**5/30 - b**4/8 - 4*b**3/3 + 4. Let d(h) be the third derivative of o(h). Is d(2) a multiple of 3?
True
Let k = 1278 - 427. Is 101 a factor of k?
False
Suppose 2*j - 7 + 3 = 0. Suppose 13 = 2*z - 5*x, 2*x + 10 = j*z - 0. Suppose 0 = -5*g + 4*g - z*l + 48, -3*g + 5*l + 93 = 0. Is 9 a factor of g?
True
Suppose 5*a - 17 = -3*t + 12, -2*t + 14 = 2*a. Is a a multiple of 4?
True
Is 41 a factor of (-3 - (-41)/13) + 7395/13?
False
Is ((-204)/8)/(15/(-40)) a multiple of 23?
False
Let x(w) be the first derivative of 3*w**4/4 - 7*w**3/3 + 2*w**2 - 8*w - 1. Let k(z) = -z**3 + 1. Let r(m) = -2*k(m) - x(m). Is r(5) a multiple of 12?
True
Let f(z) = -z**3 - 27*z**2 - 18*z + 62. Let d be f(-26). Let n = 210 + d. Is n a multiple of 8?
True
Suppose 0*i = 4*i - 4*j + 228, j - 219 = 4*i. Does 18 divide 1688/18 - 12/i?
False
Let z(v) = 5*v**2 - 81*v - 23. Let y be z(16). Let m(w) = -w**3 - w**2 - 2*w - 6. Let b be m(-4). Let n = b - y. Does 26 divide n?
False
Let p(b) = 70*b - 12. Is p(4) a multiple of 15?
False
Let m = 231 + -161. Is 14 a factor of m?
True
Is 279/((12/(-14))/((-1184)/259)) a multiple of 16?
True
Let l(y) = -9*y + 3. Let j(g) = -10*g + 2. Let v(o) = 3*j(o) - 2*l(o). Let m = -1 + -1. Is 13 a factor of v(m)?
False
Let k = 195 + -108. Is k a multiple of 33?
False
Suppose -156*z - 7605 = -169*z. Is z a multiple of 13?
True
Let v be (-12)/(-3) - -1*2. Let m be 1 + (3 - (3 - -1)). Let c = v - m. Is c even?
True
Suppose 0 = 15*d - 3*d - 108. Suppose -2*c + d + 39 = 2*f, -3*c = f - 30. Is 7 a factor of f?
True
Let b be 0 - 114/4*16/(-24). Let l = b - -149. Is 14 a factor of l?
True
Suppose 3*u + 2*h = 4*u + 144, 0 = -h - 3. Is 4/(-14) - u/35 even?
True
Let f(c) = -63*c - 19. Let h be f(-5). Let g = 441 - h. Does 29 divide g?
True
Suppose 14*h = 9*h + 890. Does 14 divide h?
False
Suppose 5*t - 72 = 3*t. Let c = t + 0. Suppose -c = v - 3*v. Is 6 a factor of v?
True
Let q(u) = 10*u**2 + 88*u + 31. Is q(-14) a multiple of 11?
True
Let w(y) = -80*y + 2. Let n be w(-1). Suppose -4*u + 22 = -n. Is 5 a factor of u?
False
Let z(t) = 2*t**3 - 3*t**2 + t + 3. Let d be 1513/(-85) + 2/(-10). Let c be d/9*(-6)/4. Does 11 divide z(c)?
True
Is -2*((-10285)/10 + 11) a multiple of 11?
True
Let c(z) = -26*z - 2. Let d be c(-1). Let u = 46 - d. Suppose u*p = 24*p - 118. Is 13 a factor of p?
False
Let y = 554 + -375. Let t = y + -123. Does 19 divide t?
False
Let r(n) = -n**3 - 8*n**2 + 10*n + 14. Let y be r(-9). Suppose 5*c - 4*d - 681 = 0, -4*d = y*c - 480 - 169. Is c a multiple of 19?
True
Let j(n) = 9*n + 2. Let m be j(2). Suppose -3 = -4*c + k, 3*c = -2*c - 2*k + m. Is 8 a factor of (c - 1)/((-1)/(-32))?
True
Let x(s) = 10*s**2 - 3*s + 22. Is x(8) a multiple of 15?
False
Let i = -328 + -439. Let q = -444 - i. Does 13 divide q?
False
Suppose 5*b - 2339 = 3*h, 10*h - 7*h = 3*b - 1407. Is 23 a factor of b?
False
Let o be 1/(-7) + (-386)/(-7). Is 10 a factor of o/(-10)*20*-1?
True
Let q be ((-54)/8)/(2/(-8)). Is 11 a factor of 42/(-9)*q/(-6)?
False
Let u be (0 + -2 + 2)/(-1). Suppose -4*t - 3*p + 28 = u, -5*p - 10 = -30. Suppose t*c - 432 = -0*c. Is c a multiple of 33?
False
Suppose -1696 = -9*m + 13073. Is m a multiple of 42?
False
Suppose -11*l = -7*l - 992. Does 11 divide l?
False
Let n(o) = -o**2 - 6*o + 15. Let a be n(-8). Let i = 10 + a. Is 9 a factor of i?
True
Let a = 457 + -117. Is a a multiple of 20?
True
Let t = 23 + -17. Let n(y) = y**3 - 6*y**2 - y + 7. Let w be n(t). Does 23 divide 3*w*322/21?
True
Suppose -4324 - 857 = -3*a. Let h = 108 - 103. Is 3/h - a/(-55) a multiple of 8?
True
Let y(k) = 4*k**2. Let b(h) = h**2 - h - 1. Let s(d) = -b(d) + y(d). Suppose -3*n = 12, -4*w + 2*n = 4*n + 12. Is s(w) a multiple of 2?
False
Suppose 5*c = -r + 122, -2*r + 126 = 5*c + r. Suppose c = 3*l + 2*n - 36, 41 = 2*l + n. 