*-1 - 0). Let a = 113 - b. Does 30 divide a?
False
Let g(h) = -97*h - 20. Let j be g(1). Let i be 29*1*(-1 - 0). Let o = i - j. Is o a multiple of 20?
False
Suppose 19*s - 3*s - 28308 = 8092. Is s a multiple of 65?
True
Let k = -138 + 134. Is 6 a factor of ((-21)/(-2))/((-129)/(-32) + k)?
True
Let a(x) = -72*x + 39. Let w be a(-6). Let t be (w/(-6) + -4 + -1)*64. Is 22 a factor of (-2)/9 - t/72?
False
Let k(s) = 7*s**2 - 6*s - 18. Let w(c) = -10*c - 22. Let b be w(-2). Does 7 divide k(b)?
False
Suppose 195*f - 200 = 185*f. Does 68 divide f/16 - (2505/(-12) - -6)?
True
Let s = -107 - 7. Let o be -7 + 9 - 218 - -9. Let n = s - o. Is 12 a factor of n?
False
Suppose -78 = -5*k + 7. Let n be 58/8 - k/68. Suppose r = -4*q - q + n, 4*r - 4*q - 52 = 0. Is r a multiple of 4?
True
Suppose -9 = -3*m - 0*m. Suppose w - 2*f + 22 = 4*w, 0 = m*w + 3*f - 27. Suppose -2*z - w*t = -196, 2*t = -5*z + 604 - 154. Is z a multiple of 11?
True
Let z be 4 + (-4 - -12)/(-2). Suppose -1 + z = -g. Is (-14 - -13) + g*43 a multiple of 12?
False
Let x(u) = 2*u**3 - 8*u**2 + 12*u - 8. Let m = -110 - -107. Let l be (m - 68/(-20)) + 18/5. Does 29 divide x(l)?
False
Suppose 5 = -5*y - a - a, -5*a - 30 = -5*y. Let t be (-17)/34*(-4)/(y/1). Is 4/26 - ((-3632)/52 + t) a multiple of 5?
False
Let t(s) = s**3 - 6*s**2 + 7*s - 25. Let l be ((-24)/(-40))/(2/20). Let d be t(l). Suppose -185 = d*k - 1018. Does 5 divide k?
False
Let k be (12/(-24))/(2/12). Is 31 a factor of 93*(k/(-27))/((-7)/(-21))?
True
Suppose -4*b - 20 = 0, 0 = v + 89*b - 86*b - 434. Is v a multiple of 4?
False
Let m(v) be the first derivative of 12 - 56*v + 7*v**2 + 5 + 40*v + 3. Is 21 a factor of m(10)?
False
Suppose 0 = 45*k - 17336 - 13264. Is k even?
True
Let p(o) = 178*o**3 + 5*o**2 - 2*o + 45. Is 9 a factor of p(5)?
True
Suppose -12*n = -54*n + 26208. Is 8 a factor of n?
True
Suppose 2*w = -5*c - 10, -3*w + 4*c - 1 = -9. Suppose w = m - 2*l - 1398, -11*m + 5544 = -7*m + 4*l. Does 17 divide m?
False
Suppose -4*f = 43 + 1. Let c(p) = 2*p**2 + 15*p - 20. Is 20 a factor of c(f)?
False
Let t = -112153 + 180128. Is t a multiple of 25?
True
Let d be (-68)/(-8) + (-1)/(-2). Let s(u) = -29 + d*u + 2*u + 19*u. Is s(5) a multiple of 8?
False
Let y be 8/1 - (-2 + (3 - 1)). Suppose 0*i - 608 = -y*i. Let o = i + -15. Does 16 divide o?
False
Suppose 28 = 16*g - 228. Is 4 a factor of (g/(-20))/(4/(-740))?
True
Let r = 123 + 6. Does 65 divide r + (-1 - -4 - 2)?
True
Let u(c) = 4*c**2 + 7447*c - 7533*c - 2*c**2 + 152. Is 11 a factor of u(51)?
True
Let t be -4*(-7)/(14/4). Suppose 0 = -3*i + 3*f - 501, -823 = -3*i + t*i - f. Let k = i + 284. Is k a multiple of 22?
False
Let r(s) = -s**2 - 7*s - 7. Let k(t) = -6*t**2 + 5*t**2 - 6 + 0*t**2 - 6*t. Let p(z) = -5*k(z) + 6*r(z). Is p(-7) a multiple of 23?
True
Is 55 a factor of 13000 + -11 + -23 + 14?
True
Suppose -2*t + 501 = 5*n - 3*t, -n + 104 = -4*t. Suppose 12*w - n = 80. Suppose -6 = -2*z - 3*c + w, -2*z + 3*c + 27 = 0. Is 12 a factor of z?
True
Suppose -4*x = -3*y - 0 - 2, 4*y = 4*x. Let b be 300/(-18)*(-3)/y. Let h = b + -11. Does 4 divide h?
False
Let t = 890 - 899. Is (-14)/21 - t/(54/124) a multiple of 4?
True
Suppose -b = -2*f - 4973 + 21196, -2*f + 4*b + 16214 = 0. Does 19 divide f?
True
Let q(o) = -o**3 + 8*o**2 + 11*o - 15. Let f be q(9). Suppose -f*n = -2*i - 8, i + i = 2*n - 4. Suppose 432 = 4*k + 4*c, c = k - n*c - 84. Does 21 divide k?
False
Suppose w = -4*r + 2, -1 = 3*r + 24*w - 22*w. Let i = 9 + -13. Does 8 divide 26 - r/(-4)*i?
False
Let f(c) = c**2 - 3*c - 25. Let y be f(7). Let j(r) = 46*r - 26. Is j(y) a multiple of 16?
True
Let g = -28747 + 49275. Is g a multiple of 9?
False
Let h(k) = k**2 + 4*k - 27. Let n be h(-8). Suppose y + g = -0*y + 146, n*y + 3*g - 722 = 0. Is 24 a factor of y?
False
Suppose -12*y = 3*y + 150. Let j(a) = -a + 62. Does 8 divide j(y)?
True
Let z = -24 - -27. Let k be (-1 + z)*(26 - (9 - 2)). Suppose -d + 46 = k. Is d even?
True
Suppose 4*f - 159801 - 75487 = -3*g, 2*g = 4*f - 235328. Does 77 divide f?
True
Let v be -2 - (-9729 + (-7)/(-7)). Is 52 a factor of v/15 + (-14)/35?
False
Let b be (-30)/15 + (5 - -1) + -4. Suppose b = -0*g + 11*g - 2068. Is 20 a factor of g*(-3 - (-4 + (-3)/12))?
False
Suppose -2*a + 10 = -2*o + 6, o = 0. Suppose -2*x + 6*g + 212 = 9*g, a*g + 568 = 5*x. Is x a multiple of 16?
True
Is 31938/(11 + -5) - (-5)/((-5)/(-2)) a multiple of 15?
True
Let u(h) = 4*h**2 + 6*h - 10. Let m be ((-33)/15 - 16/20) + -3. Let t = m + 12. Does 34 divide u(t)?
True
Let y(q) = 10*q - 199. Let l be y(23). Suppose 0 = -l*m + 36*m - 1975. Is 79 a factor of m?
True
Is 14 a factor of (-14)/(-70)*15*2285?
False
Let j(p) = 4*p**2 + 6*p - 24. Suppose -x + 24 = -3*x + 2*q, 3*q - 8 = -x. Is 13 a factor of j(x)?
True
Suppose 5*t = y - 650, y - 877 = -4*t - 272. Is y a multiple of 25?
True
Suppose 0 = -269*z + 278*z - 27. Is 13 a factor of 105378/168 + (0 - z/12)?
False
Suppose 3*w = -2921 - 1906. Let f = w - -3129. Is f a multiple of 40?
True
Suppose -x + 8 = -a, -5*a = -x - 3*a + 10. Suppose -207 = x*k - 3093. Is 37 a factor of k?
True
Let f(s) = 10*s**2 + 79*s - 68. Is 21 a factor of f(-20)?
True
Let f = 3 + -3. Suppose 12 = -3*q, 3*m + f*m = -q + 185. Suppose -c = t - m, 5*t - 5*c - 315 = -c. Is 7 a factor of t?
True
Let f(g) = -80*g - 7 - 15 - 82*g + 167*g. Let n be f(8). Suppose n*o - 768 = 10*o. Does 12 divide o?
True
Let v(a) = 596*a + 223. Let f be v(34). Does 34 divide f/27 - (7 - 260/36)?
False
Let m(n) = n**2 + 2*n - 1. Let v be m(-3). Let d be 380 - (v + -1) - (11 + -14). Let a = d - 118. Does 33 divide a?
True
Let l(d) = 2*d**2 - 32*d + 24. Let q(k) = k**2 + 5*k + 16. Let z be q(-5). Is l(z) a multiple of 8?
True
Suppose -61*d + 322646 = -537425 - 517797. Is 12 a factor of d?
False
Let n(t) be the second derivative of 44*t**3/3 - 207*t**2/2 - 171*t. Is n(9) a multiple of 13?
True
Suppose -y + 4 = t, 2*y - 3*y - 8 = -t. Suppose -t*m = 909 - 6309. Is 90 a factor of m?
True
Let o be ((-9)/(-6))/((-33)/(-6) - 4). Let g(d) = 148*d**3 - d**2 - 20*d + 21. Is g(o) a multiple of 37?
True
Let a = 156 + -94. Let t = 52 + a. Does 38 divide t?
True
Suppose 0 = k + 5*d + 25, -4*d + 5 = k - 5*d. Suppose k = -2*v + 3*v + 6. Is 13 a factor of (-462)/v - 1/(-1)?
True
Suppose -4*c - 106568 = -6*p, 2*p - 35536 = 10*c - 7*c. Is p a multiple of 4?
True
Let b(h) = 2*h**3 - 12*h**2 - 4*h + 294. Is 34 a factor of b(15)?
True
Let v = -4191 + 7342. Does 16 divide v?
False
Suppose 4*t - 28792 = -0*t - 4*z, 2*t - 3*z - 14401 = 0. Suppose -22*m + t = m. Does 35 divide m?
False
Let v = -268 - -273. Suppose -n + 3930 = 3*l, 0 = -5*l + v*n + 8019 - 1489. Does 77 divide l?
True
Suppose -14*f + 14221 = 2419. Is f a multiple of 3?
True
Let m(p) = -751*p - 1482. Does 4 divide m(-10)?
True
Suppose 0 = -d - 3*w + 11, 4*d + 2*w = -2*w + 28. Suppose 4*x - 2*x = -5*l + 475, -d*l - 505 = -2*x. Is 15 a factor of x?
False
Let b(o) = 2*o**3 + 5*o**2 - 8*o - 14. Let n(m) = -m**3 - 2*m**2 + 4*m + 6. Let i(r) = 6*b(r) + 13*n(r). Is i(-6) a multiple of 11?
True
Suppose 2*w = 2*z, 3*z - 2*z = 3*w - 6. Let v be ((-36)/w)/6*1/(-1). Is 294 + v/1 + -1 a multiple of 26?
False
Let s be 322*19/((-399)/(-36)). Let l = -317 + s. Is l a multiple of 6?
False
Let j = 518 - 310. Let x = -19 + j. Does 27 divide x?
True
Let k = 222 + -146. Let g = 6 - k. Let m = g + 84. Is 7 a factor of m?
True
Let q be 3/(-1) + (18 + -11 - -4615). Suppose 7*c + s = 6*c + 923, -5*c = s - q. Is c a multiple of 84?
True
Suppose 8*k - 26*k = -53892 - 177678. Is k a multiple of 56?
False
Let b = 55 + -50. Suppose -197 = b*r - 577. Is 6 a factor of r?
False
Suppose 16*a = -18*a + 680. Suppose a*y - 8570 = 2470. Is 92 a factor of y?
True
Let g(p) be the second derivative of p**4/12 - p**3 + 53*p**2 - 7*p + 5. Is 2 a factor of g(0)?
True
Suppose -135*m + 13437949 = 54*m + 392*m. Does 23 divide m?
False
Let q = -2078 - -2048. Suppose -3*a = -12, -5*b + 2*a + 2*a + 199 = 0. Let i = b + q. Is 3 a factor of i?
False
Suppose -73*c + 47*c - 79120 = -36*c. Does 92 divide c?
True
Let f(q) = 3*q + 9. Let i(b) = -7*b - 5. Let z be i(-2). Does 8 divide f(z)?
False
Suppose -7776 = -607*d + 601*d. Is d a multiple of 16?
True
Let m(g) = -41*g + 19. Let k(a) be the first derivative of -10*a**2 + 10*a + 3. Let d(v) = -5*k(v) + 3