e -4*w = 4*d - 9212, 3*w + 3*d - 6906 = d. Is 23 a factor of w?
True
Suppose -5*w - 116 + 916 = 0. Is 20 a factor of w?
True
Let h(d) = d**3 - 9*d**2 - 6*d - 6. Let y = -4 + 8. Let z be 2/(-12)*y*-15. Is h(z) a multiple of 12?
False
Let w(c) = c**2 - 15*c - 2. Let l be w(14). Does 38 divide -93*(2 + l/6)?
False
Let d(k) = -3*k**2 + 31*k - 18. Does 21 divide d(6)?
False
Let o(y) be the third derivative of -y**6/120 - y**5/60 + 11*y**4/24 + y**3 - 21*y**2. Is o(-6) a multiple of 20?
True
Suppose -6*n + 7*n + 5*o - 242 = 0, 1190 = 5*n + 5*o. Does 31 divide n?
False
Let i(g) = 35*g**3 - 39*g + 105. Does 3 divide i(3)?
True
Let l = 144 + 12. Let x = 50 + l. Is 42 a factor of x?
False
Does 26 divide (-19)/(-57) + (-1714)/(-6)?
True
Let c(k) = k**3 + 14*k**2 + 10*k + 25. Suppose 50 = -5*i + 5*d, 4*i + 4*d + 7 + 57 = 0. Is 16 a factor of c(i)?
True
Let y(p) = 3*p**2 + 9. Let g be y(7). Let m be (6 - 1)*g/15. Suppose 4*w - m = 44. Does 9 divide w?
False
Let o(k) = 2*k**3 - 7*k**2 + 5*k - 14. Let q be o(6). Let y = -116 + q. Is 16 a factor of y?
True
Suppose -12*g + 3*g = -2583. Does 41 divide g?
True
Suppose l = -342 + 1992. Is 19 a factor of l?
False
Does 19 divide (24730/(-7))/(-2) + (-24)/(-42)?
True
Suppose -5*c + 10*c = 0. Suppose -b - l - 1 - 3 = 0, 2*b - l - 4 = c. Suppose b = 4*h - 47 - 13. Does 15 divide h?
True
Suppose 4*a + 4 = -3*c, -4 - 1 = 5*a. Let r = 50 - 30. Let q = r + c. Does 5 divide q?
True
Is 5 a factor of (-4 - -269)*(-1)/2*-2?
True
Let t(p) = 125*p + 225. Is 55 a factor of t(7)?
True
Let v(i) = i**2 + 3*i - 4. Suppose 7*c + 4 = 9*c. Is 6 a factor of v(c)?
True
Is 3/((-1270)/255 - -5) a multiple of 5?
False
Let h(b) = -3*b - 10. Let l be (-252)/48 + (-2)/(-8). Let m be h(l). Is 5 a factor of 4 - (-5 + -1 + m)?
True
Let g = -10 - -14. Is 6 a factor of g/22 + 4/(-22) + 30?
True
Suppose -9*u + 84 = -24. Suppose 5*i + 1 - 5 = 4*k, i = 4*k - u. Does 4 divide i?
True
Let h be (-1)/(-1) + (-9 - -3). Is 3 a factor of (h - 2)*(5 + -6)?
False
Suppose -2*m = 5*n - 45, -2*m - 5*n = -5*m + 55. Let h(r) = r**3 - 21*r**2 + 27*r - 5. Does 15 divide h(m)?
True
Suppose -5*h - 160 = -13*h. Is 10 a factor of h?
True
Suppose 0 = -3*h + 2*h + 5*g - 3, -3*h - 5*g + 51 = 0. Let a be (-18)/(-4) - (-6)/h. Does 17 divide 38/(a/(5/2))?
False
Let i(j) = j**3 + 6*j**2 + 7*j + 6. Let s be i(-4). Suppose 73 - 273 = -4*o. Let l = o + s. Does 12 divide l?
True
Let m(c) = 20*c**2 + 8*c. Does 8 divide m(2)?
True
Let y(p) = -p**3 - 25*p**2 - 24*p + 9. Let t be y(-24). Suppose 3*a = t, 0*u + 190 = 4*u + 2*a. Is 20 a factor of u?
False
Is (-2)/(2/(-5)*(-1)/(-27)) a multiple of 13?
False
Let g(l) = 0*l + 17 + 3*l - 12*l + 8*l**2. Is 16 a factor of g(4)?
False
Suppose 0 = -1244*l + 1225*l + 54834. Is l a multiple of 13?
True
Let i(j) = j**2 + j + 4. Let f be i(5). Suppose -7*c - 71 = -2*c + 2*u, 67 = -5*c - 4*u. Let h = c + f. Is h a multiple of 13?
False
Is 5 a factor of 1*(-1 + -30)*(85 + -90)?
True
Let v(o) = -o**2 - 32*o + 122. Is 4 a factor of v(-13)?
False
Suppose 2*n + 0*b - 10 = b, 5*b = 0. Suppose n*j - 8*j + 51 = 0. Does 11 divide j?
False
Let z be ((-9)/(-4))/((-6)/(-16)). Suppose 0 = -z*b + 4*b + 170. Let c = b - 33. Does 13 divide c?
True
Suppose 8522 = 4*a - 2478. Is a a multiple of 25?
True
Suppose 0 = -z + 5*p + 11 - 34, -30 = -5*z - 4*p. Suppose -3*c - 2*r + 143 = 0, -2*c = -z*r - 143 + 61. Let l = 66 - c. Does 7 divide l?
True
Let i(k) = -5*k**2 + 4 + 24*k**3 - 25*k**3 + 0*k**2. Does 10 divide i(-6)?
True
Does 12 divide (338/1)/(4/18)?
False
Let n(f) = -7*f - 13. Let h be n(-2). Let x(m) = 107*m**2 + m. Is 34 a factor of x(h)?
False
Let z be (-1)/((-14)/(-35) + 54/(-110)). Let v(h) = h**2 - 13*h + 24. Is 2 a factor of v(z)?
True
Suppose 0 = -3*w + 10 - 4. Suppose -345 = -2*z - w*z - 3*i, z - 78 = 2*i. Is 28 a factor of z?
True
Let q be (-1 - 11)*(-7)/(-21). Let s be (59 - -2) + (-8)/q. Suppose 0 = 2*k + 3*m - 65, 0*k - 2*k - 5*m + s = 0. Is k a multiple of 34?
True
Suppose -5*c = 27*g - 31*g + 1351, -677 = -2*g + 3*c. Is 9 a factor of g?
False
Let o(r) = 2003*r**3 - 2*r**2 - 9*r + 10. Is o(1) a multiple of 26?
True
Let w be 1/2 - 88/16. Is 2 a factor of (-8)/100*-5 - 88/w?
True
Let r be (30/(-21) + 1)/(2/(-14)). Suppose -2*f + 3 + 270 = -r*p, -3*f = -p - 399. Does 7 divide f?
False
Let g(x) = x**2 - 7*x - 2. Let u be g(6). Let h be 50/8 - (-2)/u. Is 16 a factor of ((-4)/h)/((-6)/423)?
False
Suppose -2 - 4 = -3*d. Suppose 4*r + 88 = d*c, -2*c - 3*r - 11 = -71. Let q = 32 + c. Is 17 a factor of q?
True
Let y be -2*9/30 + 90/25. Suppose -3*l + y*v + 153 = 0, l - 2*v - 61 = v. Is l a multiple of 4?
False
Suppose -13*r + 2635 = -1616. Does 8 divide r?
False
Suppose 23*t = 22*t + 3. Suppose 6 = -t*b, 0*a + b + 170 = a. Does 21 divide a?
True
Suppose -o - 3*d - 24 = -5*o, 9 = -o - 3*d. Suppose 0 = -o*l + 736 + 680. Is 17 a factor of l/14 - (-4)/14?
True
Let k be (20/(-6))/((-2)/3). Suppose k*u + 4*y + 18 = -12, -3*u - y = 25. Is 11 a factor of (-334)/u + (-2)/5?
True
Does 5 divide -5*(-4)/70*91?
False
Let k(b) = 391 - 5*b - 396 + 8*b**2 - b**2. Is k(-2) a multiple of 5?
False
Let o = 2489 - 1862. Is o a multiple of 120?
False
Does 19 divide 8/28 - (-2004)/42?
False
Let x(u) = -11*u + 2. Let s(o) = -o**3 - 6*o**2 + 5. Let a be s(-6). Suppose -a*f - 30 = -0*f. Does 24 divide x(f)?
False
Let a be 2/(-5) + 697/5. Suppose -a - 49 = -4*l. Suppose l = 3*d - 34. Does 8 divide d?
False
Let h = 2736 - 126. Is 10 a factor of h?
True
Let x = -83 + 41. Let w = -26 - x. Suppose v - 64 + w = 0. Is 18 a factor of v?
False
Let d(j) = -9*j - 16*j**2 - j**3 - 14 - 6*j + 4*j**2. Does 15 divide d(-11)?
True
Let z(u) = -u**3 - 3*u**2 + 4*u - 3. Let l be z(-4). Let t be (-3)/l*(8 - 5). Suppose -2*o + 70 = -t*n + 4*n, -3*n + 4*o + 190 = 0. Is 22 a factor of n?
True
Let g = -42 - -44. Does 19 divide 1*283/2 - (-1)/g?
False
Let l be 4/(3 + 5/(-2)). Let y(g) = g**2 - 2*g + 14. Is y(l) a multiple of 23?
False
Let z = -36 + 54. Let m be (-434)/(-9) - 4/z. Let t = m - 26. Is 15 a factor of t?
False
Suppose 0 = -2*t + 1 - 3, 3*h - 318 = 3*t. Let z = 189 - h. Is 12 a factor of z?
True
Let u(l) = 8*l**2 + 4*l + 78. Is u(9) a multiple of 5?
False
Suppose -k + 237 = h, -2*h + 156 + 311 = -5*k. Is h a multiple of 5?
False
Suppose -3*s + j = -42, 5*s - 84 = 4*j - 14. Suppose -10*t = -s*t + 32. Is t a multiple of 4?
True
Let s(k) be the second derivative of -k**3/6 + k. Let m be s(-4). Suppose 0 = -3*w + m*y + 56, 5*w + y - 43 = 12. Does 4 divide w?
True
Suppose 0 = -5*i - 3 + 28. Suppose -22 = -q + 5*t, i*t + 30 = 2*q + 3*q. Suppose 0 = -b - o + 9, q*b = 4*b - o - 6. Is 2 a factor of b?
False
Let a(h) = h**3 + 8*h**2 + 2*h - 3. Let g be a(-6). Suppose -g + 9 = -f. Is 24 a factor of f?
True
Let c(w) = -w**3 + 6*w**2 - 4*w + 3. Suppose 0 = -7*l + 10*l - 15. Is 8 a factor of c(l)?
True
Let p = 603 - -602. Is p a multiple of 28?
False
Let r be (-5)/((-5)/(-48)) - 2. Let b = -34 - r. Does 4 divide b?
True
Suppose 0 = 13*r - 10*r - 75. Suppose c - 2*w - 108 = -3, -2*c + 180 = 2*w. Suppose -4*t = -c - r. Is t a multiple of 10?
True
Suppose -4*l = -y + 31, 80 = 4*y - 6*l + l. Does 9 divide (-164)/(-6) - 5/y?
True
Let x(z) = 18*z - 3. Let u be x(-5). Let n = u - -156. Is n a multiple of 21?
True
Let z = 106 + 633. Does 18 divide z?
False
Suppose -13 - 29 = -2*n. Let b = n + -6. Is 4 a factor of b?
False
Suppose -2112 = -4*o + 4*j, 85 = -o + 4*j + 607. Does 23 divide o?
False
Let p(m) = m - 1. Let v = 0 - 5. Let k = 17 + v. Does 4 divide p(k)?
False
Suppose 3*u + b = 4*b - 21, 3*u - 19 = -5*b. Is 15 a factor of (-1)/u + (-255)/(-10)?
False
Let z be (-32)/(-56)*7/2. Suppose z*o = -2*o + 16. Suppose 0 = -9*t + o*t + 30. Does 3 divide t?
True
Let x(o) be the first derivative of o**2/2 + 7*o + 3. Let p be x(-3). Suppose 3*v + 44 = p*y, 2*y - 2*v - 2*v = 32. Is y even?
True
Let p be -14 - (-4 - (-5 - -1)). Is (-9 + -11)*p/5 a multiple of 14?
True
Let f(t) = -4*t**3 - 13*t**2 + 7*t - 17. Let l(d) = 3*d**3 + 12*d**2 - 6*d + 16. Let r(m) = 4*f(m) + 5*l(m). Is r(7) a multiple of 18?
False
Suppose 5*i - 4*i = 0. Let t(d) = -d**3 - d**2 + d + 3. Let r be t(i). Suppose 4*n = 20, -3*z = -r*n + 5*n - 166. Does 15 divide z?
False
Let s be 5/(-20) + 42/8. Suppose n = -4*n + s. Is 0 + (1 - n) - -32 a multiple of 16?
