*i - 6. Is 2 a factor of c(3)?
True
Let t = 16 - -159. Does 25 divide t?
True
Let a(w) = 5*w**3 - 10*w**2 + 8*w + 21. Let p(i) = i**3. Let d(s) = a(s) - 4*p(s). Let y be d(9). Let r = y - -70. Does 30 divide r?
False
Let i = -4 + -11. Let z(w) be the second derivative of -w**3/2 + 15*w**2/2 - w. Is z(i) a multiple of 15?
True
Let t = -6 + 3. Let i = -5 - t. Is 13 a factor of i/6 - (-120)/9?
True
Is ((-6)/(-8))/(111/3404) a multiple of 2?
False
Let t be (-6)/(-4)*12/9. Suppose c - 30 = -u, 5*u = t*c - c - 30. Suppose 0 = 4*s - 222 - c. Is 21 a factor of s?
True
Is 1037/(-10)*-2 + (-8)/20 a multiple of 3?
True
Suppose -5*b = -k - 30, 0 = -3*b + 2*k + 2*k + 35. Suppose 0 = 2*s - b*s + 765. Suppose 0*o - s = -5*o. Does 17 divide o?
True
Let f(i) = -i**3 + 9*i**2 - 7*i - 3. Suppose -5*p + 26 = 2*h, h + 2*p = 9 + 3. Let j be f(h). Suppose 2*g - 3*w = 23, -20 + j = -2*g - 5*w. Does 9 divide g?
False
Does 31 divide (-65 + -1)*-4*(-21)/(-9)?
False
Suppose -26 = -3*g - i, 3*g - 5*i + 15 = 47. Let l = g + -6. Is 1*34 + (l - 6) a multiple of 18?
False
Let c be (-4)/10 + 23/(-5). Suppose 4*w - 24 = -4*g, -g + w + 2 = 3*w. Let t = g + c. Does 4 divide t?
False
Let h = -2252 - -2379. Is 51 a factor of h?
False
Let y(v) = -98*v - 133. Does 16 divide y(-17)?
False
Is 12 a factor of ((-126)/42)/(2/(-1048))?
True
Suppose -53*s + 47*s - 156 = 0. Does 20 divide s/65 - 1314/(-10)?
False
Suppose 0 = u - 5*w - 2, -2 = u - 2*u - 4*w. Suppose 0 = 5*d + 3*t + 939, -4*d + u*t = 7*t + 746. Does 21 divide d/(-6)*2/3?
True
Let h(p) = 2*p**2 + 76*p - 52. Does 34 divide h(24)?
True
Suppose -174 - 56 = -5*t. Suppose -50 - t = -2*v. Is 15 a factor of v?
False
Let l(q) = -67*q**3 - 3*q**2 - 3*q - 1. Let v be l(-1). Let n = v - 12. Suppose -5*i = -144 + n. Is i a multiple of 9?
True
Let a(m) = m**3 - 3*m**2 - 4*m - 6. Suppose -4*z - 3*x - 9 = -3*z, -2*x - 20 = 3*z. Let h = z - -11. Is 17 a factor of a(h)?
False
Suppose 3*j = 2*j. Suppose 121 = 3*q - q - r, 4*r + 20 = j. Suppose 2*n = 3*n - q. Does 29 divide n?
True
Let n(j) = j**2 - 2*j - 3. Let t be n(3). Suppose t = 2*l - 28 - 6. Let o = l - 5. Is o a multiple of 3?
True
Suppose -5*h - 5*b - 115 = 0, 2*b - 88 = 5*h - 2*b. Suppose 3*a = -0*a + 135. Let o = h + a. Is 11 a factor of o?
False
Let v(u) = 5*u - 37. Let t be v(12). Let m = t - -13. Does 12 divide m?
True
Suppose -4*c + 3711 = 4*x - 1457, -5*x = -c - 6448. Suppose -31*s + 41*s - x = 0. Does 30 divide s?
False
Let u(o) = 127*o**2 + 6*o + 7. Let t(z) = -z**3 + 2*z**2 + 8. Let w be t(3). Is 16 a factor of u(w)?
True
Suppose 53*l = 37*l + 9216. Is l a multiple of 12?
True
Suppose 70 = -7*r - 910. Is r/(-15)*6 + -4 a multiple of 17?
False
Suppose 20 = 5*n - 10. Is (0 + (-2)/n)*-387 a multiple of 34?
False
Let z(l) = 11*l**2 + 15*l - 2. Let i(a) = -a**2 - a. Let p(b) = 4*i(b) + z(b). Is p(-5) a multiple of 14?
False
Let b(m) be the third derivative of m**4/8 - 13*m**3/6 + 4*m**2. Does 2 divide b(5)?
True
Suppose 4*t = -k + 6197, 5*k - 5915 = -4*t + 302. Does 51 divide t?
False
Is 67 a factor of 333 + (88/(-110))/(2/(-5))?
True
Suppose 10*f - 367 = 13. Suppose -f + 142 = 2*x. Is 9 a factor of x?
False
Suppose -5*l + 2*x = -888, 6*x = 3*x - 12. Does 16 divide l?
True
Suppose -102 = -8*t + 338. Is 15 a factor of t?
False
Let n = -36 + -110. Let p = -70 - n. Does 19 divide p?
True
Let u(r) = -r**3 + 8*r**2 - 6*r - 8. Let s be u(7). Let f be (-2)/4*-2 + s. Suppose f = -p - 2*p + 39. Does 3 divide p?
False
Let m = -15 + 20. Suppose -o - 2*j + m = 0, o - j - 13 = j. Does 22 divide (0 + 99)/(o/6)?
True
Let h = 3 + 2. Suppose 0 = -h*w - w + 1314. Is w a multiple of 44?
False
Let o(i) = i**3 + 9*i**2 - 51*i + 55. Is o(10) a multiple of 58?
False
Let b = 1 + 1. Let y = 608 - 603. Is (1/b)/(y/250) a multiple of 25?
True
Let b be 2*(-3)/(-18)*9. Is 86/(2 + (3 - b)) a multiple of 10?
False
Is 64 a factor of (-6*(-8)/(-60))/((-2)/2880)?
True
Suppose 10*o - 32 = 12*o. Let r = 36 + o. Does 10 divide r?
True
Suppose -2*k = k + 3*i - 3777, 2*k - 3*i = 2523. Suppose 4*g + k = 14*g. Is 14 a factor of g?
True
Let k = -17 - -24. Let t be 1/(-3) - 4/6. Does 4 divide 2/((-2)/t)*k?
False
Suppose 1524 = 6*o - 1860. Is o a multiple of 10?
False
Let z = -1 + 4. Suppose -z*r + 4*g = -r - 10, -4 = 2*g. Let n(i) = 102*i**2 - 2*i + 2. Does 22 divide n(r)?
False
Let n be 3/(-9) + (-16)/(-3). Suppose -5*r + 25 = 4*d, 3*d = n*d. Suppose -60 = -5*q + 2*q + 4*j, r*j + 47 = 2*q. Is q a multiple of 8?
True
Let j = -325 - -746. Does 9 divide j?
False
Let u = -45 + 47. Suppose 0*k + 30 = u*q + 3*k, 3*q + 4*k = 45. Is 2 a factor of q?
False
Suppose 0 = -z - 8 + 14. Suppose 3*x = z*x - 12. Suppose -17 = -x*n + 15. Does 8 divide n?
True
Let f(r) = -r**3 - 9*r**2 - 10*r - 11. Let k be f(-8). Suppose -k*c = 5*u - 180, 0 = -3*u + u + 2*c + 72. Does 9 divide u?
True
Let b(p) = -20*p**2 + p - 16. Let g(i) = 10*i**2 + 7. Let c(s) = 2*b(s) + 5*g(s). Does 13 divide c(-2)?
True
Let a(x) = -2*x**3 + 6*x**2 - 9*x + 26. Is a(-8) a multiple of 59?
False
Let t = -857 + 547. Let d = t - -654. Suppose 4*w - 4*f - d = 0, 5*f = -6*w + w + 380. Is 27 a factor of w?
True
Let q = 381 + -705. Let p = q + 564. Suppose v + p = 6*v. Is 12 a factor of v?
True
Let m = -123 - -125. Let a = -3 + 1. Is 12 a factor of ((-56)/a + -4)*m?
True
Is 44 a factor of 1766/4 + ((-357)/14)/17?
True
Let r = 21 + -25. Let l(i) = -7*i. Let d be l(r). Suppose -d*u + 24*u = -152. Is u a multiple of 16?
False
Let y = -138 - -140. Suppose -5*t - y*w - 2*w = -1218, -5*t + 1233 = -w. Is 18 a factor of t?
False
Suppose -i = -4*i - 153. Let w = i - -289. Is 38 a factor of w?
False
Let l(q) = -q**2 + 7*q - 6. Let n be l(6). Suppose n*h - 2*h = 0. Suppose -39 = -h*k - 3*k. Is k a multiple of 4?
False
Let z(t) = -111*t + 3. Let g be z(-5). Suppose -5*w + 127 = -g. Is w a multiple of 27?
False
Let o = 260 + 258. Is 14 a factor of o?
True
Suppose o + o - 12 = 0. Let w(d) = d**3 - 6*d**2 + 11*d - 15. Does 8 divide w(o)?
False
Let a = -6 - -11. Suppose 485 = 5*k - 3*g, -a*g = -k - 3*g + 90. Is 10 a factor of k?
True
Let y(o) = 2*o + 3. Let k be y(6). Let i be 0 + (-2)/(-1) + 0. Suppose 0 = -c - i + k. Is 5 a factor of c?
False
Let c(a) = 333*a**2 + 22*a + 22. Is c(-1) a multiple of 20?
False
Let u = 370 + 269. Does 32 divide u?
False
Let m(f) = f**2 - f + 64. Let j be m(0). Suppose -4*r - 4*d = -j, -4*d - 5 = 2*r - 31. Suppose -k = -r + 8. Is 11 a factor of k?
True
Suppose c = -5*c + 2574. Let s = c + -299. Does 19 divide s?
False
Suppose 0 = -93*r + 73*r + 16440. Does 13 divide r?
False
Let u(b) be the second derivative of 0 - 2*b**3 + 3/2*b**2 - 1/12*b**4 + 11*b. Is u(-10) a multiple of 23?
True
Let a(p) = -18*p - 4. Let b(n) = -9 - n**3 + 0*n**2 + 3*n - 2*n**2 - n**2. Let f be b(-4). Is a(f) a multiple of 23?
False
Let b = 55 - 54. Let d = -5 + 7. Let y = d + b. Is 3 a factor of y?
True
Let u(r) be the third derivative of r**6/180 + r**5/120 - r**4/12 + 11*r**3/6 - 5*r**2. Let q(s) be the first derivative of u(s). Is 3 a factor of q(-2)?
False
Let y(g) be the second derivative of 1/2*g**3 + 1/3*g**4 + 2*g**2 - 1/20*g**5 + 0 - 2*g. Is y(3) a multiple of 8?
False
Let v = 73 + -30. Is 17 a factor of (v + -9)*3/2 + 0?
True
Is -3*(-1)/2*1390/15 a multiple of 10?
False
Does 22 divide 3*30/(-18) + 11 - -1381?
False
Let f be -6 - -1 - (1 + -11). Suppose -2*w - 4 - 4 = 0, -f*d = w - 86. Does 6 divide d?
True
Let i = -13 + 25. Let w be (-2)/i*26*-3. Suppose 0 - w = -v + 3*r, r = -4*v + 78. Is v a multiple of 19?
True
Suppose -3*z - 4*y = 2*z - 36, -5*z + 28 = 2*y. Suppose z*m - 158 = 178. Is 25 a factor of (m/1)/3 + 2?
False
Let q be ((-36)/14)/(2 - (-1124)/(-560)). Suppose -12*t = -15*t + q. Is 15 a factor of t?
True
Let i = -18 - -77. Let h be (166/(-2))/((-4)/4). Let q = h - i. Is q a multiple of 8?
True
Let l(s) = 18*s**2 + 35*s - 12. Does 6 divide l(-6)?
True
Let l(x) = 304*x**2 + 2. Is l(1) a multiple of 51?
True
Let c(l) = l**3 + 16*l**2 - 36*l + 6. Is 15 a factor of c(-15)?
False
Suppose -6*p + 433 = 115. Suppose 145 + p = 3*f. Does 35 divide f?
False
Let y(t) = -74*t**3 + t**2 + 3*t + 3. Let l(k) = k**2 + 7*k - 19. Let z be l(-9). Is y(z) a multiple of 15?
True
Let s(b) = -b + 1. Let r be s(-9). Let p be r/(-14) - 14/49. Does 21 divide -1*(2 + p)*-31?
False
Let s(y) = y*