rue
Let p(d) = 223*d**2 - d - 1. Suppose 15*z - 18*z = 3. Let q be p(z). Let x = q - 132. Is 12 a factor of x?
False
Suppose 17*r - 20 = 13*r. Suppose 0 = r*s - 14*s + 711. Does 33 divide s?
False
Let n(t) = t**3 - t**2 - 5*t - 3. Let y be n(3). Is 10 a factor of 1*(y + -1 + 39)?
False
Suppose 0 = 15*m + 14*m - 29290. Does 10 divide m?
True
Suppose 0 = 5*g - g + 8, -4*h - 5*g + 186 = 0. Let d = -25 + h. Does 24 divide d?
True
Is 13 a factor of (-38*(-24)/(-10))/(9/(-30))?
False
Let l = -83 + 7. Let m = l - -129. Suppose t = m + 21. Does 24 divide t?
False
Let z = 177 + 91. Is 80 a factor of z?
False
Suppose 7*p - 9 = 12. Suppose 2407 = -p*j + c, 2*c + 5 = c. Does 4 divide j/(-28) + (-6)/(-21)?
False
Suppose 5*w + 6*m = 2*m + 9, -4*w = 3*m - 8. Suppose 4*o + 1 - 239 = w*n, -194 = 4*n - 5*o. Is 23 a factor of n/(-2) - (-1 + 1)?
True
Let m(t) be the first derivative of t**2/2 + 7*t + 6. Let f be m(6). Let z = f + 32. Does 21 divide z?
False
Let b(z) = -10*z - 6. Is b(-13) a multiple of 5?
False
Let l be (((-70)/(-15))/(-7))/((-6)/45). Suppose l*i - 6*i = -3*c + 112, -5*c + 196 = -4*i. Is c a multiple of 19?
False
Suppose -3*h = 3, 4*n + n + 5*h - 650 = 0. Suppose -6*p + 341 = n. Suppose -k + 4*u + p = 0, -3*k = -k - 3*u - 85. Does 12 divide k?
False
Let h(c) = 59*c**3 + c**2. Let f = -3 - -6. Let u be (1/f)/((-4)/(-12)). Does 21 divide h(u)?
False
Let t = -1283 + 3075. Is 14 a factor of t?
True
Let y(j) = -6*j**3 + 2*j**2 + 9*j - 6. Does 7 divide y(-4)?
False
Let s(j) be the first derivative of -7*j**4/2 - j**3/3 + 12. Is 18 a factor of s(-2)?
True
Suppose 473*z = 471*z + 880. Does 20 divide z?
True
Suppose 15*b = 12*b + 27. Suppose -11*v = -b*v - 64. Is 4 a factor of v?
True
Let a = 0 + 0. Let s(h) = h + 50. Is s(a) a multiple of 10?
True
Suppose 2 = p, 0*a = -4*a + 5*p - 2. Suppose -a*n = n + 12. Does 6 divide 16/((-4)/n) - 0?
False
Let l(g) = 36*g**2 + 47*g - 25. Is 11 a factor of l(-4)?
True
Let s(p) = 31*p**2 + 21*p - 188. Is s(7) a multiple of 15?
False
Suppose -2*i = 3*i + 4*t - 270, 2*i + 5*t - 108 = 0. Suppose x = 4*r + i, 2*x + 306 = 6*x + 2*r. Is 37 a factor of x?
True
Suppose 0*r + r + 2 = 0, 4*d - 10 = -3*r. Let j(q) = 2*q + 2*q**2 - q - 12 + 0*q**2 - 2*q. Does 8 divide j(d)?
True
Let p(u) = 12*u + 12. Let a be p(-4). Let v = a - -41. Is v even?
False
Let b = -143 - -274. Does 9 divide b + (-1 - (-2 - -4))?
False
Suppose 0 = 2*b - 2. Let i(n) = 33*n + 1. Is i(b) a multiple of 17?
True
Let t(m) = -34*m - 10. Let l be t(5). Let q be ((-8)/(-12))/((-3)/l). Let a = 10 + q. Is 10 a factor of a?
True
Let w(r) be the first derivative of r**6/120 + r**4/12 + 8*r**3 + 9*r**2/2 + 7. Let g(a) be the second derivative of w(a). Is g(0) a multiple of 16?
True
Suppose 4*g - 384 = 2*d, -5*g - 6*d + 480 = -2*d. Let z = 277 - g. Suppose 0 = -t - p + 59, 4*p = -3*t + 2*p + z. Does 21 divide t?
True
Let n be 5/(-10) - 4 - 2/4. Is 15 a factor of (-1 - -73) + 2 + n?
False
Suppose -4*v = 2*x - 20, 2*v - 4*x - 15 = -5. Suppose 4*w = -5*m + 759, -v*w + 4*w = 5*m - 756. Is m a multiple of 13?
False
Let u(j) = 20*j - 150. Does 45 divide u(30)?
True
Suppose -3*c + 216 = -4*d, -d - 130 = -4*c + 145. Suppose 2*k = -2*w + 64, -1 = 2*k + 5*w - c. Is 3 a factor of k?
False
Let v(q) = 3*q**2 + 8*q - 387. Is 15 a factor of v(39)?
False
Suppose 102*i + 2760 = 105*i. Is 23 a factor of i?
True
Let x(u) = u**3 + 3*u**2 - u - 3. Let g be x(-3). Suppose 18*s - 6*s - 420 = g. Is s a multiple of 7?
True
Let u be (-6 - -83) + (4 - -1). Suppose -3*y - 5*d + 2*d - 9 = 0, -2*y - 3*d - 8 = 0. Is -1 - 2 - (y - u) a multiple of 23?
False
Let g(r) be the first derivative of r**2/2 + 9*r + 6. Let a be g(10). Let w = -12 + a. Does 7 divide w?
True
Let z = 2672 - -617. Does 23 divide z?
True
Let i be -61 - (-3)/((-12)/(-8)). Let a = i + 95. Does 18 divide (-54)/(-4)*168/a?
False
Let j = -61 - -299. Is j a multiple of 17?
True
Let k(x) = 8*x + 128. Does 74 divide k(25)?
False
Let s be 63 + -2 - (-6 + 6). Suppose l - s = -19. Suppose 29 - l = -i. Is 3 a factor of i?
False
Let a(v) be the third derivative of v**5/20 - v**4/12 + 11*v**3/6 - 3*v**2. Let m be a(-5). Does 13 divide ((-10)/4)/((-6)/m)?
False
Let n(l) be the second derivative of -l**3/6 + 7*l**2/2 + 10*l. Let s(y) = y - 1. Let u be s(-7). Does 5 divide n(u)?
True
Let m(l) = l + 4 + 16*l**2 - 2 - 15*l**2 + 3*l**3 - 2*l**3. Let i be m(0). Suppose -f - 20 = -i*f. Is 10 a factor of f?
True
Suppose -16 = -2*b - 4. Suppose 23 = 7*r - b*r. Does 22 divide r?
False
Suppose -y + 5*c - 1099 = -2*y, -4*c - 3373 = -3*y. Is y a multiple of 104?
False
Suppose -2*h + 74 = g, h - g + 112 = 4*h. Let b = 62 - h. Does 6 divide b?
True
Let z(c) = -11*c - 4. Let f be z(-1). Suppose -4*o = -f*o - 2*l + 17, 5*o + l - 19 = 0. Suppose o*b - 82 = b. Does 7 divide b?
False
Suppose -8*u - 178 = -1130. Is u a multiple of 7?
True
Suppose 6*f + 510 = 16*f. Is 18 a factor of f?
False
Suppose 0 = 8*o - 10*o + 864. Suppose -4*r - b + 360 = 3*b, -5*r = -4*b - o. Suppose 3*v - r = -4*n, -5*v + 185 = -2*n + n. Is v a multiple of 9?
True
Does 15 divide (-25)/(((-15)/50)/(18/10))?
True
Let r = -709 - -1103. Is 3 a factor of r?
False
Suppose -3*k - 510 = -9*k. Let t = 159 - k. Is 12 a factor of t?
False
Suppose 7*f - 31 = 4. Suppose -o = f*c - c - 61, 57 = 3*c + 3*o. Does 4 divide c?
False
Let j = -409 + 618. Does 54 divide j?
False
Suppose 8*b - 1886 = -374. Let m = -106 + b. Is 25 a factor of m?
False
Let n(q) = 2*q + 15. Let u be n(-7). Let r be 1/((0 + u)/1). Is 21 a factor of 1 + (84 + -1)/r?
True
Let p(s) = -9*s + 26. Let w be p(-15). Suppose 169 = x - g, -x = -0*x + g - w. Does 15 divide x?
True
Suppose -64 - 261 = -2*t + 5*b, -2*b = -t + 165. Is t a multiple of 19?
False
Suppose b - 2*b = 0. Suppose 3*x + 18 = -3*l, b = -x - 4*x + 10. Let s(z) = z**2 + 8*z + 3. Is 2 a factor of s(l)?
False
Let h(n) = n**2 - n + 8. Suppose 10 = 6*b + 34. Is 14 a factor of h(b)?
True
Suppose -25*a + 15*a - 110 = 0. Suppose r + 4*p + 119 = 0, -2*r - 443 = 2*r + 5*p. Is 5 a factor of a/(-44) + r/(-4)?
False
Let y(b) = 20*b**2 - 44*b + 131. Is 11 a factor of y(3)?
False
Let w(p) = 6*p + 11. Let f(c) = c**3 + 11*c**2 + c + 16. Let b be 11/((-2 - -4)/(-2)). Let q be f(b). Is 15 a factor of w(q)?
False
Let o = 65 + 67. Let j = 331 - o. Does 20 divide j?
False
Let j be -3 + (-2 - -4) + 1. Suppose r = -3*f - 1, -2*r + 4*r + 4*f = j. Suppose -m - r*m = 2*d - 317, 212 = 2*m + d. Is m a multiple of 21?
False
Let c = -26 - -30. Suppose 2*y - 37 = 5*n, -11 + 37 = y - c*n. Suppose y = i + 1, 0 = 3*j - i - 169. Does 29 divide j?
True
Let v = 6 + -4. Suppose -v*h - 92 = -6*h. Is h a multiple of 7?
False
Let j = 42 + -28. Let r be (-8 - -4)*1/(-4). Is 3 a factor of (1 - r - -3) + j?
False
Let b = -255 + 297. Is 3 a factor of b?
True
Let a = 46 + -87. Let t = a + 61. Is t a multiple of 11?
False
Suppose -88 + 496 = 6*z. Does 8 divide z?
False
Suppose 4*x = 2*x - 456. Let w = 412 + x. Is w a multiple of 13?
False
Does 27 divide 213 + (1 - (-2 + 5))?
False
Let q be (-1)/(1/15*-3). Suppose 0*a + q*g - 16 = -3*a, -5*g = -a + 32. Suppose 2 = -d + a. Is d a multiple of 8?
False
Let w be (2 - 1)/((-1)/(-3)). Suppose 2*l + 10 = 0, -w*l + 2 = 5*k - 3. Is -2*((-6)/k - 2) a multiple of 2?
False
Suppose -q = 1, -4*y - 3*q = -3*y + 3. Let r = 0 - y. Does 4 divide 4 + r/(6 - 3)?
True
Let y(o) = 41*o**2 - 3*o + 3. Let v be y(-3). Let w = v + -177. Suppose 0*a + 52 = a - h, -w = -4*a + 3*h. Is a a multiple of 14?
False
Let f(v) = v. Let m be f(7). Suppose -m*p = -3*p. Suppose p = d + 13 - 75. Is 19 a factor of d?
False
Does 30 divide 1*329 - (-13 + 17 + -3)?
False
Let v(l) = -163*l**3 - l**2. Let t be -4 + (4 - 1) + 0. Is 29 a factor of v(t)?
False
Suppose 0*v - 12 = -4*v - 4*a, 4*a = -5*v + 14. Let r be (-2 - -7)/(v/6). Suppose r = -3*k + 66. Is 12 a factor of k?
False
Suppose 24*h + 2970 = 57*h. Is 18 a factor of h?
True
Let p = -187 + 59. Let c = p - -236. Is 18 a factor of c?
True
Let r be (-14)/(-3)*54/21. Suppose 5*v - 2*t - 3*t = 65, -4*t + 12 = 0. Suppose v = z - r. Does 12 divide z?
False
Let s = -66 + 117. Suppose -2*v + 6 = -0*v. Suppose -j + 3*j = -10, -3*o + s = -v*j. Is o a multiple of 6?
True
Does 20 divide (-1675)/134*(-72 + -2 - 2)?
False
Suppose -75*u + 72*u + 192 = 0. Suppose 0 = -14*i + u