divide g?
True
Let a = -19110 + 29793. Is a a multiple of 175?
False
Let h(d) = 77*d**2 - 266*d - 58. Does 14 divide h(-20)?
False
Let i = 5279 - -303. Does 9 divide i?
False
Suppose 3*a = -4*t + 2702, -9*t - 2696 = -3*a - 10*t. Let h = 1018 - a. Is h a multiple of 3?
True
Let f(u) = -u**3 + u + 2. Let o be f(-3). Suppose s + 24 = 5*a + 4*s, o = 4*a - s. Suppose -a*d + d + 280 = 0. Is d a multiple of 7?
True
Suppose 34*b - 126696 + 39112 = 0. Is 112 a factor of b?
True
Suppose -669*q = -665*q + 100. Let t(m) = -26*m - 26. Is 26 a factor of t(q)?
True
Let w(p) = -87*p + 54. Is w(-3) a multiple of 7?
True
Let o = 4 + -7. Let d(l) = -26*l**2 - 37*l + 45. Let s(c) = 13*c**2 + 17*c - 21. Let k(v) = 6*d(v) + 13*s(v). Is k(o) a multiple of 13?
True
Suppose -88 = -c + 90. Suppose -2*t = -0*t - 3*g - c, -2*t - g = -170. Suppose -4*f + 5*v = -31 - t, -2*v - 125 = -5*f. Does 3 divide f?
False
Let b be 11 + (-2408)/(-24) - 2/(-3). Suppose 0 = -b*d + 119*d - 5684. Is 29 a factor of d?
True
Suppose -8*s + 8*s - 545160 = -42*s. Is 4 a factor of s?
True
Let y(m) = 15*m**2 - 65*m - 32. Is 3 a factor of y(12)?
False
Let l = 35 - 30. Let k be -6*1*(34/6 - l). Is 8 a factor of (-2)/(3/(282/k))?
False
Suppose -9*w - 1 + 28 = 0. Suppose 4*t = -u + 5*u - 1016, -w*u + 762 = 3*t. Let j = u + 17. Does 39 divide j?
False
Suppose 0 = -28*h + 47073 - 15433. Does 3 divide h?
False
Let i = -2755 + 3189. Does 5 divide i?
False
Let i = -7 - 6. Let c(o) = 31 + 0*o**3 - o**3 + 5282*o**2 + 16*o - 5293*o**2. Is c(i) a multiple of 30?
False
Let g(n) = -n**3 + n**2 + 2. Let q be g(0). Let y(c) = 3*c - 6. Let d be y(q). Suppose -97 = -d*w - w. Is 12 a factor of w?
False
Suppose 2*x = -3*j + 4800, -3*x + 3855 + 3315 = -3*j. Is x a multiple of 18?
True
Suppose 178 = 53*z - 51*z. Let o = 82 + z. Is o a multiple of 19?
True
Let n = 28836 + 7178. Does 21 divide n?
False
Let k = 59741 - 11597. Is 59 a factor of k?
True
Let l = -135 - -120. Does 5 divide ((-5)/l)/(3 - (-186)/(-63))?
False
Suppose 2*w = 2*t - 58, -2*t = -t - 5*w - 45. Suppose -3*p + 217 = t. Let g = 173 - p. Is g a multiple of 13?
False
Let u be ((-28)/91)/(-2) + 36196/(-26). Is (1 + -7)*u/58 a multiple of 9?
True
Let w be (-2 + 6)*(8 - 6). Suppose w*s = 2*s - s. Suppose -2*h - 3*u + s*u + 237 = 0, -564 = -5*h + 2*u. Does 21 divide h?
False
Suppose 4*f = -4*c + 83528, -1097*c + 1101*c = -3*f + 62651. Is 50 a factor of f?
False
Suppose -3*j - 6791 = -6950. Does 6 divide j?
False
Is 55 a factor of ((-20)/(-90) - (-318)/27) + 44703?
True
Let o(w) = -2 + 10 + 43*w - 21*w - 20*w. Does 12 divide o(20)?
True
Suppose 0 = 3*d + 2*r - 3007, -75*d + 71*d + r = -4002. Is d a multiple of 40?
False
Let q(h) = 196*h - 101. Let l be q(-6). Let c = l - -1817. Is 15 a factor of c?
True
Suppose -b - 4 = 3*p, -9*p - 4*b = -8*p + 16. Let w be (-4 - p) + 11 + -14. Is 4/28 + (-517)/w a multiple of 18?
False
Suppose -25 = -4*p - 9. Suppose 5*i = 4*d + 2, d + 0 = -i + p. Suppose i*b = -2*j + 27 + 109, 2*j = -3*b + 131. Is j a multiple of 34?
False
Does 14 divide (2 - (0 + -5666)) + 22/11?
True
Suppose 295*t = 289*t + 18. Suppose 3*x + 5*y - 3945 = 0, 1307 = x + 2*y - t*y. Is 31 a factor of x?
False
Suppose 0 = 51*b - 114*b + 17640. Is b a multiple of 5?
True
Does 8 divide ((-1080)/14)/(10/(-175)) - 6?
True
Let v(q) = -q**2 - 51*q + 851. Is v(-59) a multiple of 18?
False
Let r = 493 + -268. Suppose -3*q = -3*v + r, -q - 12 = 3*q. Is 18 a factor of v?
True
Suppose 0 = -112*m + 128*m - 92736. Is 46 a factor of m?
True
Let g(a) = -2*a**2 - 11*a - 3. Let d be g(-5). Suppose 3*t - 9 = d*t - 3*i, 2*t = -3*i + 9. Suppose 4*u - o = 628, -3*o + 144 = u - t*u. Is 13 a factor of u?
True
Suppose -25 = -29*q + 120. Is 280 + -1 + q + -9 a multiple of 25?
True
Let v = -2931 - -7045. Is 11 a factor of v?
True
Let n = 7863 - -2595. Is n a multiple of 6?
True
Let y(w) = -w**3 + 7*w**2 - 2*w + 16. Let v be y(7). Suppose v*i + 294 = i. Let f = i - -426. Is f a multiple of 15?
False
Let r(l) = 160*l**2 - 28*l - 62. Does 5 divide r(-4)?
True
Let m(d) = -d**2 + 6*d + 5. Let g be m(6). Suppose l - 137 = -2*v, 6*v - g*v = 4*l - 584. Is 13 a factor of l?
False
Suppose 4187 = 232*r - 323165. Is r a multiple of 17?
True
Does 11 divide ((-230)/(-3))/((3267/(-1944))/(-121))?
False
Let j = -12 - -1407. Is 31 a factor of j?
True
Suppose -263*n - 55*n + 5195631 = 29*n. Is 62 a factor of n?
False
Let f(i) be the second derivative of i**4/12 + 13*i**3/6 - 83*i**2/2 + 9*i - 2. Is f(-21) a multiple of 13?
False
Suppose 6*r = -5*p + 4*r - 266, -5*r = 15. Is 33 a factor of 8/p + -10*2404/(-104)?
True
Let d(z) be the first derivative of 23*z**2/2 - 148*z + 44. Does 43 divide d(52)?
False
Let a(k) = -k**2 - 16*k - 31. Let w be a(-14). Let i = w + 22. Let r = 17 + i. Is 18 a factor of r?
True
Let m be 1 + (18/(-2))/((-18)/12). Let z(y) = -3*y**3 - 6*y + 2 - 3 + 2*y**3 + 9*y**2. Is 15 a factor of z(m)?
False
Let i = -177 + 177. Suppose 15*b - 7*b - 3560 = i. Does 17 divide b?
False
Let k = -14198 + 17623. Is k a multiple of 8?
False
Let y = -1078 + 1962. Is 52 a factor of y?
True
Let s(a) = 8*a**3 + a**2 - 5*a + 21. Is 39 a factor of s(7)?
False
Let k(q) be the second derivative of -35*q**3/6 - 7*q**2/2 - 2*q. Let b be k(-4). Suppose -s - 5*h - 119 = -5*s, 3*s = -5*h + b. Does 12 divide s?
True
Let z = 756 - 780. Let d(n) = -n + 47. Let t be d(0). Let y = t + z. Is 7 a factor of y?
False
Let r(d) = -d**3 - 12*d**2 + 43*d - 18. Let c be r(-15). Suppose 1162 = c*o - 7922. Is 35 a factor of o?
False
Suppose v + 13 = 16. Suppose -4*z + v*d = -7*z - 3, -d - 1 = -3*z. Is (4 + z)/(8/(-340)*-1) a multiple of 29?
False
Let n(u) = u**2 - u - 172. Let c(d) = -d**3 - 9*d**2 + 4*d - 27. Let w be c(-10). Is n(w) a multiple of 19?
False
Let u(v) = 88*v**2 - 8*v + 24. Let j be u(3). Let z = -537 + j. Is 17 a factor of z?
True
Let l(u) = 17*u - 459. Let t be l(27). Suppose t*c - 5*h + 1868 = 2*c, 904 = c - 5*h. Is 18 a factor of c?
False
Suppose 62*j - 58*j - 68622 = 5*h, 0 = -j + 3*h + 17159. Is j a multiple of 21?
False
Let z(a) = -30*a - 16. Let f be z(-6). Let n = f + -109. Does 39 divide n?
False
Let u = -15 - -35. Suppose 0*z + 4*z - u = 0. Suppose 5*q + 60 + 16 = 2*t, 2*q + 190 = z*t. Does 19 divide t?
True
Let n be (-10)/((-100)/(-42))*-10. Suppose u = -3*l + 159, 0 = -u - 4*l + 202 - n. Is u a multiple of 3?
True
Suppose -v = 2*j - 10, 4*v + 5*j = v + 34. Let c = v - 14. Suppose -3*s + 3*a = -2*a - 28, -2*s + c*a + 16 = 0. Does 13 divide s?
False
Suppose c + 4 = 0, -2*c + 3*c = 2*u - 5834. Does 55 divide u?
True
Let p(j) = 108*j**2 - 44*j - 102. Does 3 divide p(-3)?
True
Is 30 a factor of (-2656040)/(-184) + (-2)/9*-3*-3?
False
Does 128 divide (-1)/(-6) + -31 + (-300630)/(-36)?
True
Does 10 divide (-42)/12 - 503954/(-44)?
True
Let f(v) be the first derivative of v**3 + v**2 + v + 2. Let l(a) = 14*a + 95. Let i be l(-7). Does 11 divide f(i)?
True
Suppose -2*g - 9 = -3*i, 0*i = -5*i + 15. Suppose -2*b - 2*b = 5*n - 55, -n + b + 11 = g. Is 2 a factor of n?
False
Suppose 0*m - 5 = -m. Let d = -1127 - -1132. Suppose 70 = d*t - m. Is t even?
False
Suppose 5*f = 8*f + 18. Let d be f*((-1 - -1) + 140/21). Let l = d + 87. Does 18 divide l?
False
Let d(n) = n**3 - 7*n**2 - 7*n + 34. Let v be d(11). Let i = 150 + v. Does 13 divide i?
False
Suppose -2*x - 2*q - 424 = -0*x, 3*x - 4*q + 615 = 0. Let f(p) = -18*p + 37. Let h be f(3). Let u = h - x. Is u a multiple of 24?
True
Suppose 5*s + 2*o = 13792, 4*o - 6000 - 7804 = -5*s. Is 13 a factor of s?
True
Suppose 275*o - 181008 - 495747 = -130*o. Does 5 divide o?
False
Let l = 12107 - 10177. Is l a multiple of 42?
False
Let b = 141 - 134. Suppose -b*x + 6320 = 13*x. Is 17 a factor of x?
False
Suppose 3495 = 15*b - 1815. Let u = b + -61. Does 15 divide u?
False
Suppose 107944 = 75*l + 7121 + 3548. Is l a multiple of 5?
False
Suppose n - y = -3*y + 4042, 4*n = -4*y + 16180. Is n a multiple of 5?
False
Let x(m) = 2*m**3 + 20*m**2 + 5*m - 28. Let d be x(-10). Suppose 139 = 4*y - 221. Let z = y - d. Is z a multiple of 14?
True
Let t be 5 + (-4 + -26)*-1. Is 4390/t - (-27)/(-63) a multiple of 25?
True
Let x be 23*(-18)/6 - -5. Let f = 95 + x. Is 15 a factor of f?
False
Let t(x) = -1460*x + 3242. Is t(-8) a multiple of 108?
False
Let x(b) = b**3 - 10*b**2 + 5*b + 25. 