(f) = -f**3 - 2*f**2 + 3*f - 8. Does 26 divide g(t)?
True
Let a be (-3)/21 + 12/(-14). Is 13 a factor of (-231)/(-3) - 1/a?
True
Let c(k) = -k**2 + 11. Let t be c(0). Suppose -n + 6*n - d + 15 = 0, -2*n - 3*d + t = 0. Is 24 a factor of 4/n - -10*5?
True
Suppose 0*k - 25 = 3*k - 4*o, 3*k + 2*o = -37. Let f(t) = t**2 + 10*t - 8. Let y be f(k). Suppose 0 = -3*j + r + y*r + 20, 0 = -2*r + 8. Is 3 a factor of j?
True
Does 10 divide 49*-6*(-90)/180?
False
Let r = -6 - -4. Let a(n) = -2*n**2 + n + 2. Let q be a(r). Is 14 a factor of (q + -2)*42/(-15)?
True
Let d(o) = -2*o**3 + 4*o**2 - 3*o + 3. Let h be d(2). Let b(w) = -2*w**3 + w**2 - 3*w - 7. Is b(h) a multiple of 13?
True
Let v be -13 + 16 + (-1 - -4). Does 23 divide v/(-15) - (-7)/((-35)/(-1152))?
True
Suppose 3*a - 5*t - 41 = 6, -a + t + 15 = 0. Is a - (-5)/(-10)*-2 a multiple of 12?
False
Does 17 divide (317/2)/(25/50)?
False
Suppose -3*i + 4*s = -4*i + 543, -2*s = -4*i + 2136. Is i a multiple of 33?
False
Let o(i) = 4*i**2 - 5*i + 37. Let r be o(-9). Suppose 2*p = -5*n + r, -2*p + 2*n + 406 = -2*n. Is p a multiple of 13?
False
Is 48 a factor of 352/(-4 + (-342)/(-81))?
True
Let d be 9/54 + (-1)/6. Suppose -3*s + 5*f + 213 = d, -5*s + 0*f + 355 = 3*f. Does 14 divide s?
False
Suppose 14*i - 128 = 12*i. Does 12 divide i?
False
Is 19 a factor of 2/(-10) + (-6696)/(-30)?
False
Is 19 a factor of (-14660)/(-8) - 3/(-2)?
False
Let k(p) be the second derivative of p**5/20 - p**4/6 - 2*p**3/3 + 2*p**2 - 2*p. Let f be 6/39 + (-300)/(-78). Is 10 a factor of k(f)?
True
Suppose 4*w + 3*h = 163, 0*h + h = -2*w + 81. Suppose 4*y - 72 = 4*j, 3*y - j - 40 = y. Let d = w - y. Is d a multiple of 15?
False
Suppose -3*m - 1031 + 4352 = 0. Does 53 divide m?
False
Let n = -110 - -769. Is 29 a factor of n?
False
Let j = 7 + -1. Let i be j/12 + (-2)/4. Suppose i*x - 2*x = -8. Is 3 a factor of x?
False
Let f = -127 + 165. Suppose -y + f = 2. Is 9 a factor of y?
True
Let l be (-168)/(12/(-6)) + 5. Let w(r) = 3*r**2 + 1. Let k be w(-3). Let h = l - k. Is h a multiple of 13?
False
Suppose -5 = -17*m + 80. Suppose -m*j = -80 - 550. Does 21 divide j?
True
Let r(y) be the second derivative of 11*y**5/60 - y**3/6 - 5*y**2/2 - y. Let n(j) be the first derivative of r(j). Is 10 a factor of n(-1)?
True
Suppose -35574 = -21*i + 17661. Does 39 divide i?
True
Suppose 5*r - 4*r = 1. Suppose 3*j + 2*u = -1, 0 = 2*j - 2*u + 3*u - r. Let i = 12 - j. Is 2 a factor of i?
False
Suppose -198*i - 307 = -199*i. Let u = -154 + i. Is 45 a factor of u?
False
Let a(b) be the first derivative of -b**4/4 + 3*b**3 + 11*b**2/2 - 5*b + 5. Let l be a(10). Let d(h) = 2*h**2 + 5*h + 4. Is d(l) a multiple of 16?
False
Let z = 5 - -77. Is z a multiple of 15?
False
Let m be (-2)/(27/30 - (-3)/(-6)). Let x(h) be the first derivative of -h**4/4 - 7*h**3/3 - 13*h**2/2 - 4*h + 1. Is 11 a factor of x(m)?
True
Let x = 985 + -162. Does 6 divide x?
False
Does 8 divide (-6 - (-7 - -31))*(-6 - -2)?
True
Suppose -8*r + 125 - 13 = 0. Suppose -1595 = 3*g - r*g. Is 12 a factor of g?
False
Suppose 5*f + 36 - 84 = -4*s, 4*s = -3*f + 56. Is s a multiple of 17?
True
Suppose 23*q - 25*q + 210 = 0. Does 21 divide q?
True
Let i(m) = -3*m + 23. Let v be i(10). Does 4 divide 234/42 - 3/v?
False
Let a be (9/(-30)*4)/(1/35). Is (-1086)/a + (-1)/(-7) a multiple of 2?
True
Let q be (-2 - -1) + 3 + -2 - 0. Suppose -3*y - 2*p + 10 = q, 3*y - 2*p - 38 = -2*y. Is 2 a factor of y?
True
Let d(k) = -21*k**2 - 2*k - 1. Let w be d(2). Let r be 2*w*(-4)/8. Let m = r + -35. Is 18 a factor of m?
True
Is (251 - -30)/(2/14) a multiple of 26?
False
Suppose 0 = 4*t - 5*v - 1564, -135 = -3*t + v + 1049. Suppose -t = -5*q + 464. Is q a multiple of 36?
False
Let y(c) = -c**3 + 16*c**2 - 5. Let o be y(16). Let x(z) = 6*z**2 + 6*z + 15. Is 9 a factor of x(o)?
True
Let x(d) = 3*d**2 - 6*d + 11. Is x(11) a multiple of 42?
False
Let m(w) = -w**3 - 14*w**2 - 14*w + 2. Suppose 36*p - 31*p = 0. Suppose p*c - 4*c - 52 = 0. Is 15 a factor of m(c)?
True
Let o(w) = 71*w**2 - w - 5. Does 30 divide o(-3)?
False
Is 22 a factor of (-160)/(-400) + 3638/5?
False
Let m(s) = 13*s - 105. Is m(16) a multiple of 6?
False
Suppose z - 5 = -0. Suppose y + 2*y - 5*q - 26 = 0, -z*y + q = -58. Suppose 4*j = 36 + y. Is j a multiple of 3?
True
Suppose -4*t + 6*t - 3*j + 33 = 0, -3*t - 30 = 2*j. Is 23 a factor of (93/2)/(3*(-3)/t)?
False
Suppose 0 = -2*k - j + 2*j + 1913, 5*j - 4775 = -5*k. Suppose -k = -5*p - 2*s, -3*s = 2*p - 533 + 155. Is p a multiple of 24?
True
Let h = 37 + 178. Suppose 5*c - 240 = -5*l, -4*l = -2*c - h + 5. Let q = l - 36. Is q a multiple of 4?
False
Let t(w) = -3*w**2 + 201*w + 16. Does 59 divide t(14)?
True
Suppose 0*q = -q. Suppose 2*t - 3*v - 12 = q, -2*t - 3*v + v + 2 = 0. Suppose 5*n + p = 227, 186 = t*n + 3*p + 57. Does 18 divide n?
False
Let b = -10 - -1. Let i be 4*(-4 - -3) - -5. Let c = i - b. Does 10 divide c?
True
Let b = 141 - 1149. Is b/(-30) - (-3)/(-5) a multiple of 12?
False
Let y = 29 + -20. Suppose 258 = -5*u + 3*g, -4*g - 282 = 5*u - g. Is 12 a factor of y - 9 - u/2?
False
Suppose -149*i + 157*i = 7040. Is i a multiple of 65?
False
Let s(q) = -2*q + 16. Let h be s(7). Suppose -5*g = -5*z + 100, -z - h*z + 5*g = -52. Is 2 a factor of z?
True
Let f = -56 + 97. Suppose -p + 57 = -5*i - f, -224 = -2*p + 3*i. Is p a multiple of 26?
False
Suppose 49 - 7 = -6*l. Let u = l - -41. Does 12 divide u?
False
Suppose 8*l - 9791 = -3311. Is l a multiple of 30?
True
Let q(a) = -a**2 + a - 2. Let g be q(-5). Let r be (0 + g/(-12))*3. Suppose -4*b = -r*b + 44. Is b a multiple of 6?
False
Let n(u) = u**3 - 16*u + 6. Is n(7) a multiple of 12?
False
Let c(d) = -d**2 - 11*d - 10. Is c(-6) even?
True
Let z = 7 - 5. Suppose -d = z - 7. Suppose -3 = 3*f - 6, -4*i - d*f = -85. Is 6 a factor of i?
False
Let d(o) = 3*o - 3. Let u be d(3). Suppose -5*i + u*i = 0. Suppose -3*h = x + 2*h - 30, -3*x + 3*h + 18 = i. Is 10 a factor of x?
True
Let a = -5 + -5. Let w be a*(2 - 32/20). Is 80/6*(-9)/w a multiple of 10?
True
Suppose 4*x - 6*x = -228. Suppose d = 4*d - x. Let i = -13 + d. Is i a multiple of 7?
False
Suppose 0*v = -5*j - 2*v - 31, 0 = -j - v - 5. Is 15 a factor of (6/(-10))/(j/805)?
False
Let h(w) = 2*w**3 - 5*w**2 - 2. Let n = 8 - 4. Let i be h(n). Suppose s = -s + i. Is s a multiple of 23?
True
Let v = -211 - -371. Is v a multiple of 4?
True
Let y = 4590 - 3133. Is y a multiple of 118?
False
Let c = 1368 + -857. Does 11 divide c?
False
Let o be 611/195 + 4/(-30). Suppose x - 45 = -o*b + 69, -x = b - 118. Does 15 divide x?
True
Let h(v) = -12*v**2 + 111*v + 6. Does 10 divide h(6)?
True
Suppose b - 568 = -4*j, 2*j - 7*j - 5*b = -725. Let v = 162 - j. Is v a multiple of 7?
True
Let n be ((-49)/(-35))/(-4*3/(-60)). Let q = 6 + -4. Suppose 3*x - 220 = -n*f + 2*f, q*x = 4*f + 132. Does 14 divide x?
True
Let h be 7 + (2 - 3) - 1. Let j be 133/h + (-18)/30. Let l = j + -23. Is l even?
False
Let y = 104 - 88. Suppose y*h - 24*h + 1848 = 0. Does 10 divide h?
False
Suppose 13*b - 17*b - 160 = 0. Let r = b - -124. Is r a multiple of 21?
True
Let u(y) = -5*y - 15. Suppose 0 = -2*h + 5*f - 12, 5*h = 4*f - 2 - 28. Let z be u(h). Suppose -11*a + z*a - 424 = 0. Is a a multiple of 36?
False
Suppose 0 = -2*h + 5*y - 21, 2*y - 20 = -2*y. Suppose -h*w + 2*z + 121 = 7*z, 5*w - 3*z = 287. Is w a multiple of 19?
False
Suppose -y = 0, 3*v + 3*y - 15 = -0*v. Suppose 0*r - 35 = -v*r. Suppose -3*i + r + 2 = 0. Is 2 a factor of i?
False
Let o(z) = z**3 + 4*z**2 - 4*z - 1. Let u(p) = p - 3. Let n be u(5). Is o(n) a multiple of 8?
False
Suppose -5*l + 15 = -2*l. Suppose -4*p = -3*f + 4*f + 17, -4*f = l*p + 13. Suppose 0 = f*k + 3*b - 273, 5*b + 42 = k - 73. Is 19 a factor of k?
True
Suppose -3*k = -0*k - 5*i - 143, 2*i - 106 = -2*k. Is k a multiple of 17?
True
Let w(r) be the third derivative of -r**5/60 + r**4/6 + 7*r**3/6 - 4*r**2. Let m be w(5). Suppose 5*p = -o + 83, -m*o + 7 = p + 3*o. Is p a multiple of 17?
True
Suppose -6*b + 5 = 4*r - 5*b, -25 = -3*r - 5*b. Let a = 555 - 384. Suppose 5*h - 2*h - a = r. Does 19 divide h?
True
Let f = -71 - -45. Let h = f + 56. Does 5 divide h?
True
Suppose -30*z = -6*z - 13416. Is 43 a factor of z?
True
Let i(m) = 6*m**2 - 2*m - 2. Let u be i(-1). Suppose -u*a + 21 = -3. Does 25 divide (a - 2)/(4