s - 245, -f + 3*s + j = 0. Is 15 a factor of f?
False
Does 2 divide (-2)/5 + (-136)/120*-93?
False
Suppose -5*b - 35*z + 352 = -36*z, -4*z = -b + 78. Is 10 a factor of b?
True
Let z(i) = -i**2 + 13*i. Let k be z(13). Suppose 2*y = 3*d + 2*d - 21, k = -5*y - 5*d. Is 21 a factor of 340/16 - y/(-12)?
True
Let i = 58 - 35. Let b = i - -21. Does 11 divide b?
True
Let m be (-45)/(-10) + ((-3)/6 - 0). Let c(h) = -1 - 2*h - 2*h - 1 + 3*h**2. Is 26 a factor of c(m)?
False
Suppose 10*u = 414 - 64. Is 5 a factor of u?
True
Let o(n) be the first derivative of 13*n**3/3 - 5*n + 4. Is o(2) a multiple of 15?
False
Suppose -11*u = -6*u - 10. Does 17 divide 67/u - 7/(-14)?
True
Is (-3)/(-18) - (-419)/6 a multiple of 9?
False
Is 3 a factor of 8/(-52) - (-37932)/156?
True
Suppose 2*b + 5 = s + 1, -3 = s + 5*b. Suppose -t - 4*t - 25 = 0, -s*d + 225 = -3*t. Suppose -d - 51 = -4*w. Does 10 divide w?
False
Let f(b) = -b - 7. Let c be f(-10). Suppose 0 = x - c*r + 7 - 17, 41 = 3*x + 2*r. Is x a multiple of 2?
False
Suppose 0 = 39*s - 138 + 60. Let z = -6 + 43. Let j = s + z. Is 31 a factor of j?
False
Let h(w) = w + 16. Let j be h(-12). Suppose -j*x = -741 + 261. Is 20 a factor of x?
True
Suppose 5*g - k = 4979, g + 7*k = 3*k + 979. Suppose -3*a - 308 + g = 0. Suppose 3*d - 50 = a. Is d a multiple of 31?
True
Suppose 0 = -3*x - 5*c, -x = -2*x - 5*c. Suppose 0*n + n + 9 = x. Does 14 divide ((-14)/3)/(3/n)?
True
Suppose -16646 = -5*w - 4766. Is 132 a factor of w?
True
Is ((-1350)/(-105))/(6/140) a multiple of 3?
True
Let v = 837 + -587. Is 25 a factor of v?
True
Let i(n) = n**3 + 2*n**2 - 6*n + 5. Let m be i(2). Is m/3 + (-3 - -286) a multiple of 14?
False
Is 16 a factor of ((-175)/(-10) - (0 + 1))*32?
True
Let q = -53 + 15. Let t = q - -49. Is t a multiple of 11?
True
Is 17 a factor of (412/6)/((-6)/(-9))?
False
Let d = -13 - -20. Suppose 24 = -d*x + 9*x. Does 12 divide x?
True
Let y = 461 + -1. Is y a multiple of 20?
True
Let r be 8/3*3/(-2). Is 22 a factor of (70/1 + r)*1?
True
Is 10/12 - (-9050)/12 a multiple of 40?
False
Suppose -3*k + 8 = -4*x, -5*x + 5 = -0. Suppose -5*i = -k*v - 51, -i + 3*v + 6 = -2. Is i a multiple of 10?
False
Suppose 0*v - 1296 = -6*v. Is v a multiple of 6?
True
Let t = 354 + -212. Does 7 divide t?
False
Let w be (5 - 108)/(-1 + 0). Suppose 5*f + 3*i = 116, i = 3*f + f - w. Let y = 13 + f. Is y a multiple of 20?
False
Let l(d) = -d**2 - 9*d + 3. Let x be l(-9). Suppose -4*s = -p - 1, 4*p - x*s - 8 = s. Suppose 2*m = -p*h + 111, h - m - 4*m = 54. Does 15 divide h?
False
Suppose -210 = -3*o + o. Is 21 a factor of (2 + 0 + -3)/((-1)/o)?
True
Let i(a) = 387*a**2 - 4*a - 1. Let z be i(-1). Suppose 5*t + 3*v - z = 0, 5*t - 5*v - 420 = -2*v. Is t a multiple of 4?
False
Suppose -2808 = 4*l - 13*l. Let p = 560 - l. Suppose z - 3*d - 47 + 0 = 0, 5*z = 2*d + p. Does 14 divide z?
False
Let a(z) be the first derivative of 2*z**2 - 24*z + 4. Is 5 a factor of a(16)?
True
Let t = -4 + 6. Let m be (-53)/t*(-4 - -2). Let g = m + -13. Is g a multiple of 6?
False
Suppose -v = 3*j + 9 - 36, v - 27 = -4*j. Suppose 5*n = v - 2. Suppose n*m = 199 + 1. Is m a multiple of 30?
False
Suppose -2049 - 547 = -11*k. Is k a multiple of 119?
False
Suppose -2*g + 2*c = -3644, 5468 = 3*g - 11*c + 9*c. Does 28 divide g?
False
Suppose -4*r + 5*q = -317 - 792, 1 = -q. Is r a multiple of 14?
False
Let j = -1 + 3. Let d = j - -1. Suppose 3*z + 3*f = -3, -4*z - d*f = z - 3. Is 3 a factor of z?
True
Let i be (-10)/(-1)*(232/(-40) + 5). Is i + 4 - 1*-73 a multiple of 42?
False
Does 2 divide 13 - (8/(-20) - 68/(-20))?
True
Suppose -3*y - 52 = b - 2*b, y + 2 = 0. Suppose -47*x + 27 = -b*x. Does 3 divide x?
True
Suppose 0*g + 3*g = 4*l + 34, -4 = 2*g + 4*l. Suppose d - 19 = 4*t + 1, 0 = -4*d - 2*t - 10. Suppose d = c, -r + 2*c = g*c - 20. Does 19 divide r?
False
Suppose -5*x = 2*l - 671, 4*x - l - 541 - 1 = 0. Let o = -95 + x. Is 8 a factor of o?
True
Let f(i) = 267*i - 155. Is f(4) a multiple of 8?
False
Let v(x) = -2*x - 4. Let s be v(-4). Suppose -4*m - 24 = 2*i - s*i, -4*i = -2*m - 18. Suppose -17 = -3*b + i*f + 56, 4*b + 2*f = 88. Is 5 a factor of b?
False
Let b(z) = -16*z + 102. Does 13 divide b(-6)?
False
Suppose -13*g + 10375 + 7734 = 0. Is 19 a factor of g?
False
Let b(j) = 3*j + 3. Let m be b(-1). Suppose m = -2*o - 50 + 232. Does 13 divide o?
True
Let a(x) = -2*x**3 + 1. Suppose -2*v + 4 = s - 1, 0 = 3*s - v - 50. Suppose -s = o + 4*o. Is a(o) a multiple of 11?
True
Is 8 a factor of (1770/(-4))/((30/(-15))/8)?
False
Let k(p) = -p**3 - 2*p**2 - 2*p. Let c be k(-2). Let j be c/6 - 20/(-6). Suppose j*r = 125 + 91. Does 17 divide r?
False
Suppose 32*m - 35*m = -s + 973, -3878 = -4*s + 5*m. Is 12 a factor of s?
False
Suppose 4*s - 20 = -s. Suppose 16 = s*u - 4*j, 5*u - 10 = -8*j + 3*j. Suppose 2*n = -u*n + 80. Does 16 divide n?
True
Let b(k) = 62*k - 265. Does 13 divide b(12)?
False
Let b = -86 - -88. Let q be -5*1*(0 + -1). Suppose -5*g + 75 = b*m, -m + 0*g = -q*g - 30. Is m a multiple of 7?
True
Let c(b) = -5*b**3 - 3*b**2 - b + 5. Let x = -4 - 2. Let u(m) = -4*m**3 - 2*m**2 + 6. Let l(d) = x*u(d) + 5*c(d). Is l(-5) a multiple of 16?
True
Let q(m) = -2*m + 24. Let z be q(0). Let s(d) = d - 12. Let r be s(0). Is 35 a factor of (-141 - -1)*r/z?
True
Suppose -2*p = -4*s + 2, -5 + 0 = -p. Suppose -5*a + 5 = -2*c - 8, -s*a = -2*c - 3. Suppose 0 = 2*z - 2*f - 8, -2*f + 24 = 5*z - c*f. Is z a multiple of 8?
True
Let r(x) = 6*x - 2*x**2 - 2*x + 6*x**2 + 2 - 7*x. Is r(4) a multiple of 18?
True
Let w(x) = x**2 - 7*x - 2. Let c be w(6). Let n be 2/c + (-2)/(-8). Suppose -5*k + n*k + 75 = 0. Is k a multiple of 5?
True
Let d = 692 - 304. Does 29 divide d?
False
Suppose 0 = -l + 250 + 422. Is l a multiple of 24?
True
Let j(d) be the third derivative of d**6/120 + d**5/15 - d**4/24 - 5*d**3/6 - 4*d**2. Let v be j(-4). Is 8 a factor of (0 - 18*v) + 2?
False
Suppose -2*d + 4*w - w = -1164, 0 = -3*d - 3*w + 1716. Is d a multiple of 8?
True
Let x = -450 + 1008. Is 22 a factor of x?
False
Let b(p) = 60*p + 31. Is 23 a factor of b(6)?
True
Suppose 0 = 25*y + y - 7410. Does 13 divide y?
False
Suppose -2*j + 518 = 5*j. Suppose 4 + 0 = -4*o, j = 5*m - 4*o. Is 3 a factor of m?
False
Let g be ((-52)/16)/(2/8). Let y = -10 - g. Does 11 divide -29*((-9)/y + 2)?
False
Suppose 0 = 4*g + 3*w - 15, 0*g - 2*g - 4*w = -10. Let t(p) be the third derivative of -p**5/60 + 7*p**4/24 - p**3/6 - p**2. Is t(g) a multiple of 11?
True
Suppose 4*m - 944 = -4*p, -5*m - 248 = -0*p - p. Is p a multiple of 4?
False
Does 9 divide (-5 - 49)*3*14/(-12)?
True
Let v = -27 + 29. Suppose -c - d = 27, c - v*d = d - 15. Let q = c - -49. Does 19 divide q?
False
Let y be 4/(-2)*(-3 - 1). Suppose -v - 154 = -3*v - 4*b, 2*b = -y. Suppose 6*m = 11*m - v. Does 5 divide m?
False
Let n(i) = i**3 - 9*i**2 + i. Let g = 75 - 65. Does 19 divide n(g)?
False
Suppose -4*k + 74 = -2*d, -83 = -5*k - d - 8. Suppose -2*n = 2*n - k. Suppose w + 10 = -z - 4*z, -4*z = n*w - 24. Is w a multiple of 2?
True
Let p(s) = -s**3 - 28*s**2 - 58*s - 9. Is p(-26) a multiple of 2?
False
Let x be (-3 + 5)*55/2. Is 66/x*15/2 even?
False
Suppose -3*f + 66 = -144. Suppose 0 = -r - 2*r + 5*s + 86, 2*r - f = -3*s. Is 13 a factor of r?
False
Suppose -2*g = -6 - 8. Let o be ((-30)/g)/(3/21). Does 10 divide (-1)/(7/o)*7?
True
Let a(b) = -2*b**2 - 13*b - 12. Is a(-3) a multiple of 9?
True
Let j(b) = b**3 - 6*b**2 - 6*b - 2. Let r be j(7). Suppose 2*m - 108 = 4*y - 8, 239 = 4*m + r*y. Is m a multiple of 14?
True
Suppose -45*t + 87*t - 1050 = 0. Is t a multiple of 17?
False
Let a be (-1)/(-4)*-10*-2. Let h(f) = -13*f - 2. Let y be h(-1). Suppose -s + a = -y. Is 8 a factor of s?
True
Is ((-253)/46)/((-1)/28) a multiple of 5?
False
Suppose 5*b + 48 = o - 277, 349 = o + 3*b. Is 3 a factor of o?
False
Suppose 0*v - 12 = -4*v. Suppose 5*c = -23 + v. Let m(o) = -16*o - 1. Is 21 a factor of m(c)?
True
Suppose -3*j - 830 = 2*j. Let n = j + 255. Is n a multiple of 27?
False
Let v(c) = c**2 - 2. Let y be v(2). Suppose -3*j + 5*l + 240 = -49, y*j - 5*l = 201. Is 39 a factor of j?
False
Is (-3 - (-44)/(-12))*(7 + -76) a multiple of 23?
True
Suppose 2*r - 5*w = 10 + 12, -2*w = -r + 9. Let k(p) = p + 1. Let u(o) = o + 5. Let f(c) = r*k(c) + u(c). Does 14 divide f(5)?
False
Suppose -204 = 