rue
Let f(p) = 8*p**2 + 18*p - 367. Does 13 divide f(28)?
True
Let x(d) = -d**3 + 47*d**2 - 71*d + 57. Is 104 a factor of x(13)?
False
Let v(h) = -18*h - 3. Let o be v(-1). Suppose o*l + 3927 = 4*l. Let d = 544 + l. Is d a multiple of 30?
False
Suppose -m = -4*m - 15. Let w be 1/((-2)/14*(m + 4)). Suppose 3*o + w = 157. Is o a multiple of 5?
True
Suppose -2*q + 10142 + 2836 = -4*m, -13022 = -2*q + 15*m. Is q a multiple of 39?
False
Suppose 0 = -11*k + 16*k + 10, -937 = -3*d + 5*k. Let m = 357 - d. Does 12 divide m?
True
Suppose 6*w - w + 1465 = 5*r, -20 = -4*w. Suppose -10*l + 252 + r = 0. Is l a multiple of 4?
False
Suppose -4*v - 75 = -387. Suppose p - v = -2*p. Is 12 a factor of 2 + (p - (-3 - -4))?
False
Suppose 0 = 2*b + f - 281, -7*f + 3*f + 434 = 3*b. Suppose -l + b = -9. Is 20 a factor of l?
False
Let z = 147 + -140. Suppose -z*p = -13*p + 1122. Is 20 a factor of p?
False
Let h = -15738 + 40567. Is 15 a factor of h?
False
Let l(c) = -c**3 + 15*c + 33. Let q be l(-9). Is -5 + (q/3 - 0) a multiple of 4?
True
Does 15 divide -1165*(-7)/14*(3 - 1)?
False
Suppose -t + 3*t - 44 = 0. Suppose t*a - 5*a = 1275. Is 4 a factor of a?
False
Let o(f) = -f**2 + 21*f - 20. Let r(k) = -20*k**2 - 4*k - 3. Let z(h) = -19*h**2 - 3*h - 2. Let u(s) = 5*r(s) - 6*z(s). Let b be u(-1). Does 28 divide o(b)?
True
Is 157 a factor of 136/24 - 202602/(-9)?
False
Let j be (-1054)/(-10) + 4/40*-4. Suppose 108*c - 1404 = j*c. Does 12 divide c?
True
Suppose 6 + 6 = 4*w, -3*k + 5*w = -4413. Is 7 a factor of k?
False
Suppose 0 = 4*s - 9*t + 12*t - 10122, 2*s - 5068 = -5*t. Does 3 divide s?
True
Suppose 4*p = 2*s + 18, -5*p + 0 + 23 = -2*s. Suppose -5*d - p*r + 630 = 0, 3*r - 6*r = d - 130. Suppose 3*b = 2*f + 422, 7*f = b + 3*f - d. Does 40 divide b?
False
Let s = 9129 - 5367. Is 18 a factor of s?
True
Suppose -2*m + 5*t + 8733 = 0, 3*m = -0*m - t + 13091. Suppose 0 = 4*q + 12, -z + 2*q = -6*z + m. Is 72 a factor of z?
False
Let d = -39 + 6509. Is 108 a factor of d?
False
Let u = 271 + -266. Suppose -1026 = -u*b - b. Is b a multiple of 9?
True
Let y = -82 + 153. Let x = y - 140. Is 3 - -2 - 0 - x a multiple of 11?
False
Let x(y) = 14*y**2 + 114*y - 7. Is 67 a factor of x(-19)?
True
Let c(s) = -6*s**3 - 11*s**2 + s - 151. Is 13 a factor of c(-17)?
False
Let m = 4099 - 2262. Is 7 a factor of m?
False
Suppose v + k + 104 = 0, 0 = -v + 7*k - 9*k - 107. Let u = v - -104. Suppose 15 = d + 2*d, -3*z + u*d + 534 = 0. Does 35 divide z?
False
Suppose 0 = 2*w - 9*w - 105. Let v = 27 + w. Is (4 + (-15)/(-9))*v a multiple of 34?
True
Let n be 15/(270/12)*510. Suppose -o - 5*x + 3*x = -n, 5*o = -4*x + 1724. Does 58 divide o?
True
Let h(j) be the second derivative of 37*j**3/6 - 37*j**2/2 - 2*j + 13. Does 3 divide h(4)?
True
Suppose 0 = -98*n + 778 + 59492. Is 26 a factor of n?
False
Let w(b) = b**3 - 6*b**2 - 7*b + 6. Let j be w(7). Suppose -3*s + 498 = -j*s. Does 36 divide -1 - -1 - (0 - -1) - s?
False
Let p(i) = -i**2 + 23*i + 14. Let y be p(-28). Let j = y + 2080. Is 9 a factor of j?
True
Let a(q) = -6*q + 2. Suppose -3*p + 6*p = 2*s - 28, -3*s = -5*p - 48. Let u be -2 - 4*(-3)/p. Is a(u) a multiple of 3?
False
Does 216 divide (66744/(-1030))/(107/320*-3 + 1)?
True
Let i(j) = 9*j - 56. Let n be i(6). Let w be ((-27)/n)/(0 + 9/48). Suppose 3*v - w = v. Is 3 a factor of v?
True
Let t(n) = n - 1. Let w(i) = -20*i**2 + 8*i + 26. Let z(s) = -t(s) - w(s). Is z(-3) a multiple of 13?
True
Suppose -805*j - 1668 = -666*j. Suppose 2*t - 5500 = v + 3*v, 5488 = -4*v + 5*t. Does 58 divide v/j*(-24)/(-9)?
False
Let b(y) = -1. Let q(k) = -8*k + 8. Let i(p) = -7*p + 7. Let m(z) = 4*i(z) - 3*q(z). Let v(n) = 4*b(n) - m(n). Is v(9) a multiple of 7?
True
Let x be 2/(-9) + (-76)/(-18). Let g be x/(-30) - 17/(-15). Does 20 divide 73 + -2 + g + 0?
False
Let j = 292 - 199. Suppose -23 + 43 = 10*r. Suppose -44 = -d + h, -2*d + r*h = -h - j. Is 30 a factor of d?
False
Suppose -5*a = -2*a + b, -4*b = 3*a. Let h be 0*(a - (-3)/3). Suppose -4*w = -h*w - 292. Is 19 a factor of w?
False
Suppose 2 = -v - v - 5*m, m = 4*v + 4. Is 8 a factor of (6 + -102 + v)*-1?
False
Suppose -j - 13488 = -4*v, 3*v + 4*j + 3496 = 13612. Does 13 divide v?
False
Let p(a) = 70*a**3 - 9*a**2 + 11*a - 6. Let l(o) = 2*o**3 - 2*o**2 + o - 1. Let k(g) = -4*l(g) + p(g). Is 56 a factor of k(2)?
True
Does 20 divide (-9)/(-90) - (6 + 332814/(-60))?
False
Let m(v) = 37*v - 1. Let h(d) = -2*d + 1. Let n(a) = h(a) - m(a). Is n(-2) a multiple of 27?
False
Let a = -85 - -47. Let x be (-3)/((-78)/3722) - (-28)/(-182). Let o = x + a. Does 24 divide o?
False
Let l = -37 + 42. Let x be -140*(l + -6) - -5. Suppose 2*y = -2*g - 3*g + 150, -x = -5*g - y. Does 28 divide g?
True
Let w be (12 - 10)*15/2. Let y(d) = d**3 - 11*d**2 - 14*d - 23. Does 23 divide y(w)?
True
Let r(d) = d**3 + 3*d**2 - 4*d - 11. Let c be r(-7). Let k = c + 388. Is 19 a factor of k?
True
Does 3 divide -13 - (6 - 1836)/3?
True
Let z = 5572 + -5037. Is 2 a factor of z?
False
Let m(j) be the third derivative of -j**4/24 - 9*j**3/2 + 34*j**2. Let s be m(-21). Does 26 divide ((-871)/(-5) - s/(-30)) + -1?
False
Suppose 35 = 10*q - 9*q. Let l = q + -33. Suppose 0*p + 2*p = -2*a + 50, 2*a = l*p - 38. Does 3 divide p?
False
Let r = -31 - -1. Let p = 37 + r. Suppose -631 - 776 = -p*j. Does 21 divide j?
False
Let d = 7152 + -4120. Is d a multiple of 8?
True
Let r = 7214 - 4206. Does 10 divide r?
False
Let c(u) = 23*u - 284. Let p be c(13). Let h(a) = -a**2 + 15*a + 107. Is h(p) a multiple of 11?
False
Let i = 103 - -1657. Does 88 divide i?
True
Let f = 138 + -124. Suppose -f*s + 12*s + 170 = 0. Is s a multiple of 17?
True
Let t = -11 - 4. Let s(v) = -v**3 - 14*v**2 - v - 35. Is s(t) a multiple of 12?
False
Suppose -6*s + 9585 = -5*t - s, 3*s + 9 = 0. Does 32 divide (t/(-45))/((-34)/12 + 3)?
True
Let d(l) = 4*l + 116. Let o(y) = -y - 36. Let z(u) = -u - 35. Let g(a) = -4*o(a) + 3*z(a). Let r(c) = -2*d(c) + 7*g(c). Does 7 divide r(0)?
False
Let x = 4179 + -3903. Is 9 a factor of x?
False
Let h = 9 + -32. Let v = h - -39. Is v a multiple of 3?
False
Let x(n) = n**3 - 6*n**2 - 3*n - 20. Let o be x(7). Suppose 4*l - o = 8. Suppose l*u + 28 = 532. Is u a multiple of 19?
False
Let h = -8487 + 15816. Is 90 a factor of h?
False
Let s(k) = 3*k**3 - 34*k**2 - 2*k - 49. Is 30 a factor of s(17)?
True
Suppose 3*f - 24 = 24. Suppose -1280 = -f*a - 0*a. Suppose -144 = -7*j + a. Does 32 divide j?
True
Suppose -3*k - 122 = -5*u, -2*u + 3*u = -3*k + 28. Suppose u*a - 2134 = 23*a - o, 0 = -3*a + o + 3191. Is 20 a factor of a?
False
Suppose -2*q - 2*h - 126 = 0, -q = 3*q - 4*h + 252. Let u be ((-20)/160)/1 + (-7)/8. Is (16/24)/(u/q) a multiple of 6?
True
Suppose 291*f - 43349 = 11401972. Is f a multiple of 66?
False
Suppose 0 = -m + 5*c + 16, 0 = -4*m - c + 6*c + 34. Is (-4*10/(-4))/(m/243) a multiple of 7?
False
Does 61 divide 546/(-49)*(-2562)/9?
True
Suppose -5*r = -5*w - 13530, -12*r + 3*w = -17*r + 13490. Is r a multiple of 9?
False
Does 89 divide 15301 + 14/(12/6)?
True
Suppose -30*y = -10001 - 31039. Is 6 a factor of y?
True
Suppose 4*o = 5*d + 27 + 25, 2*d = 4*o - 40. Suppose 4*z - 4*a - 2180 = 0, 9*z - o*z - 555 = 3*a. Is z a multiple of 12?
True
Let x(k) = k**3 + 48*k**2 + 26*k + 16. Does 3 divide x(-47)?
False
Suppose 19*u = 39074 + 25108. Does 96 divide u?
False
Let j(p) = p**2 - 11*p + 35. Suppose 7 = -4*g - 2*b + 5, 4*b + 30 = 5*g. Suppose 2*w - 10 = -2*k, -3*w = -g*k + 6*k - 13. Is j(w) even?
False
Let p(k) = -k**3 - 12*k**2 - 15*k - 35. Let z be p(-11). Suppose -704 = -z*q + 259. Is 6 a factor of q?
False
Let v(u) = 3*u**2 - 3*u + 310. Let l be 36/96 + (6/16)/(-1). Is 21 a factor of v(l)?
False
Suppose 17*a - 5*a = 83*a - 306720. Does 22 divide a?
False
Let p be (-11)/55 + 4491/5. Let o = p + -505. Is o a multiple of 34?
False
Let n be 9/21 - (-273)/49. Is 59 a factor of 92/n*(-3 - (-270)/12)?
False
Let y = 40 + -37. Suppose 45*r = 46*r - y. Suppose -a = r*o - 280, a + 181 = 2*o - 4*a. Is o a multiple of 32?
False
Let o(g) = -5*g + 750. Is o(-26) a multiple of 16?
True
Let t(a) = -5*a**2 - 61*a - 13. Let r be t(-12). Is 16 a factor of (-2 - r - (-22 + 17)) + 156?
True
Suppose 32*n = 36*n. Suppose -g = -i - n*g + 423, 0 = 2*i - 3*g - 845. Does 53 divide i?
True
Let g(q) be the third derivative o