ppose -6 = -4*v - 3*u, 3*u - 6 = -0*v + 3*v. Suppose -4*k + 1826 = 1742. Suppose -29*p + 28*p + k = v. Is 7 a factor of p?
True
Let i be (-2)/3 + (-3)/18*-16. Suppose 479 = 4*h + g - 340, 0 = 5*h - i*g - 1040. Is 25 a factor of h?
False
Let p be -7*2*(-9)/42. Suppose -725 = -p*v - 2*v. Let w = v - 97. Is 21 a factor of w?
False
Let c be 4/(-12) - 24/9. Let t(n) = n**3 + 4*n**2 + 4*n + 3. Let h be t(c). Suppose h = -5*l - 3*x + 79, 3*l - 5*x + 4*x - 39 = 0. Is l a multiple of 3?
False
Let q be 1 - 5*(0 - -1). Let u be (10/q)/((-3)/(-6)). Is 5 - u/(15/(-9)) even?
True
Let z(q) = -2*q - 8. Let o(a) = a**2 + a + 3. Let s be o(0). Suppose 2*d = -i - s*i - 30, 4*d = 2*i - 20. Is 3 a factor of z(d)?
True
Let d(a) = -a + 8. Let r be d(0). Suppose 4*l + b = r, 2*l - b + 4 = 4*l. Let y(o) = 9*o**2 - 3*o + 3. Is y(l) a multiple of 11?
True
Suppose 5*p + 151 - 572 = -2*l, 4*l - 162 = -2*p. Is 37 a factor of p?
False
Suppose m = 3*r - 18, -2*m + 2*r = 4*r + 28. Let t be (196/(-4))/(3/m). Suppose 16 = -4*z, -t = -7*d + 2*d + 5*z. Does 13 divide d?
False
Let r = 416 - 270. Does 24 divide -1 - r*(-1)/2?
True
Suppose -7*f + 49 + 28 = 0. Let b(n) = 4*n + 26. Is 8 a factor of b(f)?
False
Suppose -4*g = 5*u - 145, -5*g + 0*u = -5*u - 125. Let d = -21 + g. Is 2 a factor of d?
False
Let p = 19 + -14. Suppose p*x - 20 = -0*x. Is (4/x)/((-2)/(-114)) a multiple of 17?
False
Suppose -i + 5*o + 1095 = 0, 5*i - 4646 - 916 = -4*o. Suppose 0 = -3*f - 3*g + 654, g - i = -4*f - f. Is f a multiple of 20?
False
Suppose 0 = -2*j - j + 39. Let l = 8 + j. Is l a multiple of 4?
False
Let u(f) = 199*f**2 - 5*f + 6. Is u(1) a multiple of 8?
True
Is 2886/6 - (0 - -2 - -6) even?
False
Let i(l) = l**2 - 11*l + 5. Let r be i(11). Suppose -4 - 6 = -2*s. Suppose -4*d + 296 = s*x - x, -20 = r*d. Does 19 divide x?
False
Let p be 20*(6/(-12))/(-1). Is 9 a factor of 9*-69*(p/(-3) - -3)?
True
Let r(n) = -n**2 + 10*n + 8. Let q be r(8). Suppose -2*u - q = -6*u. Is 60 + -1*(-3 + u) a multiple of 24?
False
Let k(t) be the first derivative of t**2 + 8*t + 6. Let o be k(-6). Let s = o - -15. Does 4 divide s?
False
Let i(u) = -3*u**3 + 5*u**2 - u. Let t(n) = -n**3 - n**2 - n + 1. Let h(f) = -i(f) - 2*t(f). Let g = 19 - 17. Does 16 divide h(g)?
True
Suppose -4*v = 2*s - 8*v - 1134, 0 = -2*s - 2*v + 1134. Does 27 divide s?
True
Let n(u) = 21*u**3 + 2*u**2 - 2*u + 5. Let t(f) = -11*f**3 - f**2 + f - 2. Let x(j) = -2*n(j) - 5*t(j). Is 11 a factor of x(1)?
False
Let u(d) = 13*d + 61. Does 29 divide u(10)?
False
Let o = 612 + 352. Is o a multiple of 38?
False
Suppose -4*k + 3*s + 1504 = 0, -3*k + 3*s = -6*k + 1128. Is 8 a factor of k?
True
Let g(u) = u**3 - 22*u**2 + 24*u + 9. Suppose -2*f + 44 = 2. Is 12 a factor of g(f)?
True
Let v = 942 + -590. Is 22 a factor of v?
True
Let o(p) = 51*p - 4*p**2 + p**2 - 49*p + 24*p**3 - 4. Let q be o(2). Suppose -3*y - 6*y + q = 0. Does 20 divide y?
True
Let y = 843 + -494. Does 12 divide y?
False
Suppose -16 = -6*o - 2*o. Suppose 0 = 2*a + o*a - 420. Does 15 divide a?
True
Let t(o) = o**3 + 6*o**2 + 2. Let h be t(-6). Suppose h*b + 20 = -3*b. Is 10 a factor of (8/b + -3)*-5?
False
Suppose -2*f = -3*n + 1385, -4*f = n - 7*f - 450. Is n a multiple of 24?
False
Let n = 1080 - 744. Suppose 0 = -2*c + 264 + n. Is 15 a factor of c?
True
Is (-8)/12*-862 - (-4)/(-6) a multiple of 7?
True
Suppose 4*p = 6 + 22. Suppose p*h - 11*h = -124. Does 17 divide h?
False
Is ((-276)/690)/(2/(-300)) a multiple of 20?
True
Suppose -13*p + 78 = -11*p. Suppose -a - 3 = -p. Is a a multiple of 9?
True
Let t = -55 - -27. Let v = t + 78. Is 10 a factor of v?
True
Let m = 132 - 83. Is 9 a factor of m - -4 - (1 + (1 - 3))?
True
Let q be (2 - -62)/((-11)/(-22)). Suppose 0 = -n - n + q. Does 8 divide n?
True
Let a(r) = 22*r + 22. Does 11 divide a(5)?
True
Let r(n) = 2*n + 119. Does 22 divide r(-21)?
False
Let m be 54/6 - (-2)/1. Let d = -9 + m. Suppose 2*z - 152 = -d*z. Does 12 divide z?
False
Let g = 1 - -11. Let j(o) be the first derivative of o**4/4 - 4*o**3 + o**2/2 + 52. Is j(g) a multiple of 4?
True
Let u(y) = y**3 - 16*y**2 + 74*y + 40. Is 11 a factor of u(12)?
True
Let m = -17 - -17. Suppose 6*r - 116 - 100 = m. Is 9 a factor of r?
True
Let t(z) = 20*z**2 + 15*z - 41. Is t(2) a multiple of 5?
False
Let f(i) be the second derivative of -i**4/24 + 9*i**3/2 + 5*i**2/2 + i. Let z(d) be the first derivative of f(d). Does 9 divide z(0)?
True
Let t(a) = -2*a**3 - 8*a**2 + 9*a + 15. Let z(f) = -f**3 + f**2 + f + 1. Let y(g) = t(g) - z(g). Let m be y(-11). Is (-6)/9*m/(-16) a multiple of 2?
False
Let m(u) = -2*u - 6. Let d be m(-5). Suppose -3*i = -v + 10, 3*v - d*i = -0*i + 20. Suppose 5*z + 4*p = v*z + 34, -5*z = -5*p - 220. Is 14 a factor of z?
True
Let l(b) = 17*b**2 + 11*b + 5. Let k(c) = c**2 + 4*c - 8. Let w be k(-6). Let v(r) = -6*r**2 - 4*r - 2. Let z(q) = w*l(q) + 11*v(q). Is 15 a factor of z(4)?
True
Let j(d) = d**3 - 5*d**2 + 3*d - 5. Let a be j(5). Is 4 a factor of (-1)/(1 + a/(-8))?
True
Suppose 12*w = 15*w - 186. Suppose w = -2*a + 2*x, 8 = -4*a + 5*x - 121. Does 7 divide (-4)/(-8) - a/4?
True
Let g(c) = -c**3 - 6*c**2 + 3. Let f be g(-6). Suppose -71 = -5*j + 3*j - 3*m, 0 = -m - f. Is 5 a factor of j?
True
Let g be (-24)/(-2)*7/28. Suppose -g*q = -0*q - 264. Does 9 divide q?
False
Let i(a) = 3*a + 11 - 33 + 0*a. Does 4 divide i(17)?
False
Suppose 12*h = 4*y + 10*h - 5066, y - 1277 = 4*h. Does 55 divide y?
True
Let v = -33 - -47. Suppose 14 = 2*l - 2*c, -2*c + v = 2*l + 3*c. Let t(q) = 6*q - 8. Is 17 a factor of t(l)?
True
Let z = -66 + 66. Suppose -4*s - 5*s + 441 = z. Is 12 a factor of s?
False
Suppose 4*n - 15*h = -12*h + 854, 5*n + 3*h = 1054. Does 53 divide n?
True
Suppose 0*t + 12 = 4*t. Let f be (6 + -3)/(t/(-206)). Is 33/(-44) - f/8 a multiple of 10?
False
Let o be ((-354)/(-4))/(6*2/(-16)). Let f = o + 258. Is f a multiple of 28?
True
Is 11 a factor of (1 + (-12)/18 + 0)*1221?
True
Is 31 a factor of (9 - 7)/(2/341)?
True
Is ((-1)/2)/(-1*(-2)/(-1492)) a multiple of 9?
False
Let x = -17 + 29. Let d = x - 7. Suppose -47 + d = -p. Does 21 divide p?
True
Suppose n = 5*q + 15, n + q + 3 = -0. Suppose n = -3*f - 0*f + 54. Is f a multiple of 2?
True
Suppose 0*y - 2*y + 5*i + 183 = 0, -i - 96 = -y. Let p be 4 - -29*y/3. Is 32 a factor of p/9 - 4/(-18)?
False
Suppose -u + 16 = 3*u, 4*l + 3*u = -244. Is 9 a factor of 16/l - (-277)/4?
False
Does 8 divide (-2*14/4)/((-16)/3472)?
False
Let a = -570 + 2272. Does 37 divide a?
True
Let a be (0/(-1))/(3/3). Let z = 5 - a. Suppose -z*c + 77 = -3. Is 6 a factor of c?
False
Suppose 4*r = 8 - 20, 5*r = 2*t - 9. Let f be t/((-4)/((-32)/(-3))). Let j = f + -1. Is j a multiple of 3?
False
Let x be (32/28)/(8/28). Suppose -22 - 3 = -5*r. Suppose -x*u - r*m + 48 = -m, 32 = 2*u + 4*m. Does 5 divide u?
False
Let f = 9 - 6. Suppose -f*u = -u - 136. Is 15 a factor of u?
False
Suppose 7 = 2*a + 1. Let i be 0 + a + (-102)/2. Is 6 a factor of (i/(-32))/((-2)/(-24))?
True
Suppose -3 = i - 7. Suppose 0 = i*k + 4, -2*f + 31 = -0*f + 5*k. Is f a multiple of 6?
True
Let z(h) = 3*h - 1. Let x = 5 - -17. Does 21 divide z(x)?
False
Suppose 9210 = -15*o + 45*o. Is o a multiple of 16?
False
Suppose 3*u + 75 = -2*u. Let n = 107 - 71. Let b = n - u. Is b a multiple of 7?
False
Let b = 25 + -20. Suppose -3 = 2*n - 3*v, 5*v - b = n + 3*n. Suppose -u + 92 = -5*a, -3*u + n*a + 4*a + 254 = 0. Does 25 divide u?
False
Suppose o + 2*o = 5*u - 450, u - 5*o - 112 = 0. Let w = -42 + u. Is w a multiple of 45?
True
Let o = 119 + -116. Let x = 7 - o. Does 3 divide x?
False
Let n(k) = -2*k + 8. Let i be n(4). Suppose i = -3*z + 6*z - 30. Is z a multiple of 8?
False
Let g be -2*(-2 + 0)*160/128. Suppose -z = g*x - 134, 0*x - 240 = -2*z - 3*x. Is z a multiple of 19?
True
Let f = -82 - -514. Suppose -f = -i - 3*i. Let l = i - 76. Is l a multiple of 5?
False
Is 16/(0 + (-2 - -3)) a multiple of 4?
True
Let q(r) = -8*r**3 + 10*r**2 - 6*r - 2. Let j(m) = 15*m**3 - 19*m**2 + 11*m + 3. Let x(u) = 3*j(u) + 5*q(u). Does 16 divide x(3)?
True
Let w = 1977 - 38. Suppose -w = -8*o + o. Does 18 divide o?
False
Let b(s) = -5*s**2 - 4*s + 13. Let p(c) = 6*c**2 + 3*c - 14. Let y(z) = 7*b(z) + 6*p(z). Does 7 divide y(13)?
False
Let x = 2670 - 1646. Is x a multiple of 32?
True
Let s = 293 - 101. Does 3 