 - o)*5/1. Does 14 divide (1 - i)/((-3)/24)?
False
Let m(h) = 5*h**2 + 32*h + 10. Let p(y) = 3*y**2 - 38*y + 14. Let q be p(12). Is m(q) a multiple of 13?
False
Suppose -3*x - 68 = -x. Let b = x - -73. Suppose p = -0*p + b. Is 21 a factor of p?
False
Let m = -51 - -717. Is 37 a factor of m?
True
Suppose 817 = 4*h + v + 110, -343 = -2*h + 3*v. Does 16 divide h?
True
Suppose 35112 = -60*j + 84*j. Does 77 divide j?
True
Let z(i) = i**2 - 11*i - 9. Let o(y) = 3*y - 3. Let v be o(6). Is z(v) a multiple of 14?
False
Let z(a) = a**3 + 27*a**2 + 17*a + 40. Is z(-12) a multiple of 31?
False
Let j(v) = 6*v + 9. Let n be j(0). Suppose -s - 576 = -n*s. Is 36 a factor of s?
True
Suppose 2*q - 5*y - 613 = 0, -3*y + 0*y = 4*q - 1213. Does 4 divide q?
True
Suppose -15 = s + 2*s, 5*p - 5 = s. Suppose p = 2*k - 0*k - 4. Suppose 0*o + k*o = 106. Is o a multiple of 25?
False
Suppose 0 = 4*p - 5*f - 215, f = 5*p - 0*f - 253. Is p even?
True
Suppose -419 = 3*f + 22. Let x = -87 - f. Is 20 a factor of x?
True
Suppose -3*l + 494 = -985. Is l a multiple of 41?
False
Suppose 17 = 3*u - 28. Let k = -15 + u. Suppose 5*r + i + 36 - 231 = k, -r + 45 = -i. Is r a multiple of 10?
True
Let c(k) = k**2 - 11*k - 23. Let r be c(13). Is 23 a factor of 50/(-15)*(-17)/2*r?
False
Let w = -7 + 8. Let c = w - 1. Suppose 0 = -4*n - c*n + 128. Is n a multiple of 15?
False
Suppose 0 = t - 3*w - 3415, 5*t - 16990 = -6*w + 4*w. Does 55 divide t?
False
Suppose -102*a + 18360 = -51*a. Is a a multiple of 8?
True
Let f(c) = 24*c + 93. Is f(27) a multiple of 67?
False
Suppose 0 = -6*c + 5*c + 37. Let p = 207 + c. Is 41 a factor of p?
False
Let l(o) = 7*o**3 + 9*o**2 - 4*o + 6. Let m be (2/4)/((-6)/12). Let u(i) = -i**3 - i**2 - 1. Let t(j) = m*l(j) - 6*u(j). Is 13 a factor of t(-5)?
False
Let a = -32 - -35. Suppose -a*n = 2*n - 4*c - 926, 0 = -2*n + 3*c + 369. Does 31 divide n?
True
Suppose 16 = 2*z + a + 7, 5*z = 3*a + 28. Suppose -s + 11 = 2*r, 4*s - s + 11 = z*r. Suppose -4*t - 2*l = -9*t + 45, -l + 16 = s*t. Is 7 a factor of t?
True
Suppose -8 = -2*n + 6*n. Suppose -2*w = 2*l + 4, 0 = -5*w - l + 6*l - 20. Is 12 a factor of n*(-129)/6 + w?
False
Let f(p) = -5*p**2 + 157*p + 18. Is f(17) a multiple of 18?
True
Suppose 5*f + 22 = -s - 0*f, -4*f - 29 = -3*s. Let b(i) = i**3 - 26*i**2 + 31*i - 2. Let y be b(25). Is y/10 + s/15 a multiple of 15?
True
Let o = -16 + 19. Suppose o*m = -0*w - 3*w + 75, -17 = -w + 3*m. Is w a multiple of 17?
False
Suppose 3*s - 4899 = -6*k + 4*k, -s = 4*k - 9773. Is k a multiple of 18?
False
Suppose 0 = 11*x - 7*x + 3*u - 303, 2*u = x - 62. Does 21 divide x?
False
Let m(c) = -493*c - 806. Is m(-6) a multiple of 13?
False
Let z(q) = -10*q**3 - q**2 + 23*q - 8. Is z(-6) a multiple of 43?
True
Let d = -78 + 55. Let s be (-1 - 2) + 3 - d. Is 9 a factor of -4*(-4)/16 + s?
False
Let w be 1604/16 - (-1)/(-4). Let d = w - 48. Does 31 divide d?
False
Let u = 148 + -237. Let q = 13 - u. Does 17 divide q?
True
Is 66 a factor of 798 + (10 - (-160)/(-10))?
True
Let k be -1 + 1 + (-2 - 2). Let r be 48*(3/k)/(-1). Suppose z + 43 = 3*p - 26, -4*z = -2*p + r. Is p a multiple of 10?
False
Is ((-481)/2)/((-17)/272) a multiple of 13?
True
Let n(k) = k + 21. Let y(f) = -3 - 3 - 15*f + 14*f**2 + 8 + 8 - f**3. Let l be y(13). Is n(l) a multiple of 5?
True
Let s = -333 + 1073. Does 74 divide s?
True
Let z = 2081 - 1391. Is 15 a factor of z?
True
Let z = 2178 - 1244. Is z a multiple of 5?
False
Let j(u) = -u + 1. Let s(d) = 2*d - 17. Let p be s(9). Let z(i) = 14*i - 1. Let b(a) = p*z(a) + 6*j(a). Is 13 a factor of b(3)?
False
Let q = 2319 - 2061. Is 6 a factor of q?
True
Let i = 40 - 40. Let y = 6 + -1. Suppose i = -y*l - 20, -24 = -2*o - 4*l - 0. Does 15 divide o?
False
Suppose -t + 5*h = -0*t + 12, 0 = -5*t + 4*h + 3. Suppose -3*b - 2*b + 295 = 0. Suppose 5*o - 100 = -2*w, -t*o + w = 2*w - b. Is o a multiple of 18?
True
Let f = -34 + 32. Is 10 a factor of (6/(-18))/(f/354)?
False
Let l = -58 + 38. Let z = 41 + l. Is z a multiple of 5?
False
Let o(p) = -25*p**2 - 178*p + 8. Is o(-7) a multiple of 19?
False
Suppose 5*x + 68 = -4*o + o, -14 = x + o. Let l be ((-13)/2)/((-2)/8). Let y = x + l. Is y a multiple of 5?
False
Let q be 388/(-12) + (-4)/(-3) + -1. Does 4 divide (12/16)/((-3 - -1)/q)?
True
Suppose -2*r + 34 = -2*k, k + 12 + 7 = 3*r. Let b = k - -19. Suppose 3*i = 5*s + 149, 0*i + 142 = b*i + 2*s. Is 24 a factor of i?
True
Let y(s) be the second derivative of -s**5/20 + s**4/3 + 4*s**3/3 - 3*s**2/2 - 3*s. Let q be (-22)/(-18) + -1 + (-645)/(-135). Does 3 divide y(q)?
True
Is 18 a factor of (-220 - -5)/5*-36?
True
Let i = -46 - -38. Let a be (-6)/10 - i/(-20). Is 11 a factor of (a + 7)*19/2?
False
Suppose -26*p - 16298 = -63748. Is p a multiple of 74?
False
Suppose -6*a + 22 = -4*a. Suppose -5*z - a = 4*s - 36, -2*z = 2*s - 12. Suppose 2*f + 42 = 4*p, 42 + 13 = 5*p - s*f. Is 3 a factor of p?
False
Let h be (-56)/70 + 124/5. Let k = h - 22. Suppose 2*l = k*i - 0*l - 30, 2*i = -l + 15. Does 10 divide i?
True
Suppose 0 = 4*q - 2*r + 4*r - 386, 4*r = 3*q - 317. Does 10 divide q?
False
Suppose 0 = -5*b + 2*v + 1646, -5*b - 23*v + 21*v + 1654 = 0. Is 37 a factor of b?
False
Suppose u = 3*j - 2 + 21, 5*j = -u + 11. Suppose f - 9 = -2*x - 0, 3*x - u = -2*f. Is 181/x + 3/6 a multiple of 28?
False
Let p(x) = 3*x**2 + 3*x + 18. Let g be p(-9). Suppose -6*d + g = -0*d. Does 39 divide d?
True
Suppose -5*c + 214 = w, -w = -0*w + 2*c - 220. Does 28 divide w?
True
Let u(d) = -78*d - 17. Does 20 divide u(-9)?
False
Let l(x) = -x**3 - 15*x**2 - 15*x - 10. Let h be l(-14). Let b = h - 5. Is 10 a factor of -1*(-4 - (-6)/b)?
True
Suppose -4*h - y = -12, -3*y = -3*h - 4 - 2. Let o = -61 - -104. Suppose -2*p - 3 = 4*i - o, -h*p + 4*i = -80. Is p a multiple of 10?
True
Let c = 3837 - 2237. Is 12 a factor of c?
False
Let l be (9/((-180)/(-2272)))/(2/5). Let o = l - 194. Is o a multiple of 10?
True
Let w be -1*(-2 - (3 + -2)). Suppose 0 = -w*l - 2*l + 45. Is l a multiple of 2?
False
Let o(t) = -t**3 - 10*t**2 + 12*t - 4. Let m be o(-11). Let u be 1311/m - (-4)/10. Let j = u - -136. Is 21 a factor of j?
False
Suppose -4*x - 16 = -2*g, 2*x - 4 = -3*g - 2*x. Suppose -u = s + g*u - 53, 2*s = 4*u + 106. Is s a multiple of 12?
False
Let a(p) = -p**2 + 14*p + 4. Let s be a(15). Let c = s + 18. Is c a multiple of 2?
False
Let p(m) = -2*m - 2. Let l be p(-2). Let i be (-1)/l*(-3 + -1). Suppose 4*s - i*w - 48 = 0, 0 = 3*w + w + 8. Does 9 divide s?
False
Let g = -5225 - -8727. Is g a multiple of 17?
True
Does 14 divide 4629/4 + (-4)/16?
False
Suppose -23*u + 4 = -19*u. Is ((-22)/(-5))/(1/5*u) a multiple of 22?
True
Suppose 5*b + 5 = -2*y, 0 = -4*y + 3*b - 6*b - 17. Let x(l) = 4*l + 3. Let j(w) = -w**2 + 11*w + 9. Let k(q) = -2*j(q) + 7*x(q). Is k(y) a multiple of 23?
True
Let p(y) = -3*y - 5. Let w be 6 + -2 + -3 + 0. Suppose -t - 17 = 5*a, -5*a = -2*t - 3 - w. Does 3 divide p(t)?
False
Let u(a) = -8*a - 13. Let r(s) = s + 1. Let i(t) = -2*r(t) - u(t). Let z be i(8). Let j = z + 38. Does 15 divide j?
False
Is -3*((-5104)/24)/11 a multiple of 12?
False
Let w(g) be the second derivative of g**3/2 + g**2/2 - 11*g. Let t be w(9). Suppose t = 3*p + 1. Is p a multiple of 4?
False
Let b = 897 - -843. Does 29 divide b?
True
Suppose -46244 = -13*n - 31*n. Does 13 divide n?
False
Let g(a) be the first derivative of -a**4/4 + 2*a**3 + 2*a**2 - a - 5. Does 23 divide g(6)?
True
Suppose 7*u - 4761 = 482. Does 67 divide u?
False
Suppose 1305 = -132*m + 137*m. Is 3 a factor of m?
True
Suppose -5*y - 2*h + 56 = 0, 0*h = -4*y - 5*h + 38. Suppose -2*q + 60 = -y. Does 17 divide q?
False
Let h = -1272 + 2020. Is 22 a factor of h?
True
Let w(k) = -6*k - 10*k + 15*k + 5. Does 11 divide w(-6)?
True
Let c be (-40)/(-50)*(-5)/(-2). Is 3 + -4 + 32*c a multiple of 10?
False
Let h(r) = 53*r**2 - 4*r - 4. Does 25 divide h(2)?
True
Suppose -3*x = 2*x - 45. Suppose -3*p + x = 4*o + o, 0 = -3*p + o + 9. Suppose 3*u - p*h - 27 = -2*u, -2*u + 10 = -2*h. Is u even?
True
Suppose 4*x + 2*a - 2 = 0, -2*x = x - 2*a + 2. Let i be (x + 77)/(5 - 4). Let d = i - 14. Does 16 divide d?
False
Let s(q) = q**3 - q**2 - 2*q + 172. Suppose 0 = r + 5*w - 5, r - 3*w + 6 = 3. Is s(r) a multiple of 11?
False
Let q(a) = 3*a + 5. Let s be q(-6). Let r be ((-13)/(-2))/(s/(-49