factor of i/((35/(-240))/(-7))?
True
Let k(h) be the first derivative of -15/2*h**2 - 2 - 11*h - 1/3*h**3. Does 13 divide k(-10)?
True
Let p = 17327 - 12367. Does 40 divide p?
True
Is (6 - 5)/(8*(-11)/(-264528)) a multiple of 3?
True
Suppose -4*p - 82 = -2*q - 6*p, -q = 3*p - 37. Let t(r) = 10*r + 13*r + 14*r - q - 15*r. Is 19 a factor of t(6)?
False
Let l be (18/(-10))/(5/25). Let w(m) = m**3 + 10*m**2 - 22*m - 23. Is 6 a factor of w(l)?
False
Suppose -3*x = -5*b - 1550, 17*x + 4*b = 19*x - 1030. Is x even?
False
Let n(t) = 87*t**2 + 101*t + 1000. Does 7 divide n(-11)?
True
Let y(f) = -21 - 2 - 15 - 12*f. Suppose -355*x + 357*x = -14. Is y(x) a multiple of 11?
False
Let l = 841 - 1335. Let o = l + 830. Is o a multiple of 21?
True
Let o(w) = w + 2*w**2 + 9*w + 29 + 3*w - 7. Let l = -227 - -216. Does 41 divide o(l)?
False
Suppose 3*a - 7319 = -27*k + 26*k, 2*k = 8*a + 14596. Is 34 a factor of k?
True
Let c be (-225)/150 + 1 + (-1)/(-2). Is 52 a factor of 2 + (1 - c)*986?
True
Let g(s) be the first derivative of -2*s**3/3 + 6*s**2 - 14*s + 5. Let t be g(10). Let x = -8 - t. Is x a multiple of 9?
False
Suppose -d + 3*v = -43624, 142*d - 43632 = 141*d + 4*v. Does 284 divide d?
False
Let m be (-8 - (0 + -2))/1. Let l = 627 - 625. Does 13 divide 3 - -58 - (m + l)?
True
Suppose 274 = 2*v + 64. Suppose -25 = 5*w, -2 - 4 = 2*h + 2*w. Suppose -f = -h*f + v. Is 16 a factor of f?
False
Let i = 14 + -14. Let q = i + 3. Suppose 152 = 2*v + q*l, -l - 2*l + 12 = 0. Is v a multiple of 14?
True
Suppose 320 = -10*u - 6*u. Let i(g) = g**3 + 21*g**2 + 16*g + 10. Is i(u) a multiple of 21?
False
Is 52 a factor of 57/(-228)*4/(-7) + (-1029385)/(-49)?
True
Let a = -28 - -49. Suppose -320 = a*p - 22*p. Does 32 divide p?
True
Let d(c) be the second derivative of -22*c**3/3 - 3*c**2 - 34*c. Let o be d(-7). Let z = -157 + o. Is 17 a factor of z?
False
Let d = 169 - 93. Let p be ((-120)/16)/(1/2). Let n = d - p. Does 13 divide n?
True
Let l(i) = i**2 + 5*i + 8. Let r be l(-3). Suppose -r*g - 23 + 23 = 0. Suppose g = 2*u - 4, -4*u + 3*u = 5*h - 747. Is 33 a factor of h?
False
Is (630/6)/(102/986) a multiple of 87?
False
Suppose 0 = -6*v - 6*v. Let q(o) = -14*o + 17. Is 5 a factor of q(v)?
False
Suppose 3*z + 4 - 27 = -5*l, -z = 3*l - 13. Suppose 0*u = 3*u + 15, -l*u = b - 172. Suppose 0 = 5*c - c - b. Is 24 a factor of c?
True
Let f(g) = g**3 + 38*g**2 + 194*g + 13. Does 17 divide f(-15)?
True
Suppose -10*i - 122 + 152 = 0. Suppose -2*p - l = -828, i*l + 1330 + 740 = 5*p. Is p a multiple of 46?
True
Let d = -7378 - -14210. Does 25 divide d?
False
Let z(l) = -5281*l + 133. Let v be z(-5). Is v/14 - (-9)/21 a multiple of 79?
True
Let a(p) = -p - 1. Let n(t) = -4*t + 52. Let c(k) = -a(k) + n(k). Let g be c(13). Does 27 divide ((-3)/(-12) - g/(-8)) + 187?
True
Let b(w) = w**2 + 5*w - 91. Let h be b(-34). Suppose 6*t - h = 1373. Is 14 a factor of t?
True
Suppose -27*f - 6587 = -22355. Is 19 a factor of f?
False
Suppose -21*d + 15*d = -72. Let z(k) = -k**3 + 14*k**2 - 6*k - 21. Is z(d) a multiple of 6?
False
Let d be (10/(-240)*6)/((-1)/4). Does 5 divide d + 33 + 0/2?
False
Let i(a) = a + 38. Let h(q) = q. Let j(o) = 3*h(o) - i(o). Let u be j(22). Suppose u*v = 2*v + 252. Is v a multiple of 8?
False
Let j be ((-1470)/(-12))/(-1)*1*-6. Does 8 divide j + 1 + (-64)/(-8)?
True
Is (125/(-40)*-1252)/(1/2) a multiple of 44?
False
Suppose 513 = 7*n - 334. Suppose -11*f + 6*f + c = -320, n = 2*f + c. Is 2 a factor of f?
False
Let o be (-1153)/(-7) - (-2 + 132/77). Let f = 179 - o. Does 6 divide f?
False
Let u(h) = 2*h**2 + 79*h + 201. Is u(-47) a multiple of 33?
False
Let l(m) = 3*m**2 + 59*m - 165. Is 8 a factor of l(-33)?
False
Suppose 3*l + x = -1186, -2*x + 299 = -2*l - 481. Let r = -174 - l. Is r a multiple of 21?
False
Suppose 0*r - 2*r = -3*z + 35636, 35638 = 3*z - r. Is 40 a factor of z?
True
Suppose 1464570 = 12*u + 80*u - 2*u. Is 27 a factor of u?
False
Let k(m) = -192*m - 18. Let w be k(4). Let f = -501 - w. Does 19 divide f?
True
Let n(r) be the second derivative of 3*r**5/20 - r**4 + 7*r**3/6 + 9*r**2/2 - r + 52. Is n(7) a multiple of 21?
False
Let g(y) = 5*y - 813. Let x be g(0). Let d = x + 1351. Is d a multiple of 25?
False
Suppose -11*b - 15 = -16*b. Is 5 - (-1362)/b - 0 a multiple of 51?
True
Suppose -50014 = 120*s - 97*s - 208599. Does 197 divide s?
True
Let u(x) be the third derivative of -37*x**4/24 - 59*x**3/3 + 33*x**2 + x. Does 11 divide u(-7)?
False
Suppose -3*j = -12, 2288 = 5*i - 8*j + 5*j. Is i a multiple of 5?
True
Suppose q + w = 4011, 5*w + 29139 = 6*q + 5095. Does 6 divide q?
False
Let w(l) = 1706*l + 462. Is w(3) a multiple of 124?
True
Suppose -5*m + 3*r = -6006, 5*r = -27*m + 24*m + 3658. Is 21 a factor of m?
False
Suppose -12 = -4*f + 3*n, 0 = -3*n + 51 - 39. Suppose 3*p - 22 - 46 = -x, 2*p = f. Is 4 a factor of x?
False
Suppose 4*m - 237830 = -48*m - 33*m. Is m a multiple of 20?
False
Let x(r) = -227*r - 37. Let d be x(-5). Suppose 0 = 4*a + 3*y + 313 - d, -4*y + 380 = 2*a. Let n = 355 - a. Is 15 a factor of n?
False
Let v = -8366 - -23124. Does 18 divide v?
False
Suppose 350*m + 354*m + 1189053 = 731*m. Is m a multiple of 55?
False
Suppose -5*n = -4*n - 19370. Is n a multiple of 13?
True
Suppose 696 = -t + 4*h, 5*t + 5*h + 1806 = -1599. Is 21 a factor of (55/(-2))/(38/t)?
False
Let x(l) = -l**3 + 9*l**2 + 42*l + 4. Let t be x(16). Let v = t + 1711. Is v a multiple of 17?
True
Let j(l) = 55*l**2 + l + 37. Let r(v) = 27*v**2 + v + 18. Let m(b) = -6*j(b) + 13*r(b). Is 30 a factor of m(6)?
True
Suppose -c + 4*b + 96 = c, c - 3*b = 50. Let f be ((-18)/4)/((-22)/c). Does 12 divide (9 + 1)*(f - (-5 + 8))?
True
Let p be ((-1)/3)/((-19)/(-228)). Let x be 1370*7/49 - p/14. Suppose 5*i - 349 = x. Is i a multiple of 30?
False
Let a(k) = -k**3 - 14*k**2 - 14*k + 9. Let y be a(-13). Let t be (165/(-9))/(-5)*(y + -1). Let q = t + -64. Is q a multiple of 13?
True
Suppose 6*x - x + k = -165, -k + 5 = 0. Let q = -26 - x. Suppose 1240 - 248 = q*z. Is 31 a factor of z?
True
Suppose 9*t + 18 = 12*t + g, 2*t - 25 = -5*g. Suppose -2*s = 2*d + s - 716, 0 = 4*d - t*s - 1410. Is d a multiple of 25?
False
Suppose 8*b + 2*b = 5870. Let c = b - -28. Does 24 divide c?
False
Does 97 divide 4*14/84 - (-5)/((-45)/(-187689))?
True
Let r(o) = -17890*o + 1420. Is r(-2) a multiple of 57?
False
Let m = 9196 - -299. Is 45 a factor of m?
True
Let k be 1*-3 + -81 + 84. Let c(y) = -y**2 + 9*y + 827. Is c(k) a multiple of 30?
False
Does 19 divide 1482 + 1 - (-38)/(-494)*13?
True
Suppose h + h = 6. Suppose h*q - 2 = 1. Suppose -a - 2*b + 50 = 0, -a + 3*b = -74 - q. Does 36 divide a?
False
Let t(b) = b**3 - 6*b**2 + 3*b - 14. Let s be t(6). Suppose 2636 = s*h + 4*f, 2*h - 5*f - 64 = 1261. Does 11 divide h?
True
Let w = -6740 - -10325. Does 15 divide w?
True
Let n be (216/(-1890) + (-4)/14)*5065. Let f = n - -3316. Is 30 a factor of f?
True
Let h = 178 + -176. Suppose 2*l = -8*b + 7*b + 841, -3*l + h*b = -1258. Is l a multiple of 21?
True
Let t be 3/(6/(-32)) - 2. Let d be 4/6 - 42/t. Suppose -4*m + d*m + 68 = 0. Is m a multiple of 15?
False
Let v(f) = 6*f**3 + f**2. Let c be v(-1). Let q be -24*(5/c - 2). Suppose -q = 3*l - 6*l. Does 3 divide l?
True
Let o be 2*-1 - (-85 - -4). Suppose 1766 + o = 9*x. Is 6 a factor of x?
False
Let d = -1030 - -1718. Let f = d + -159. Is 50 a factor of f?
False
Suppose 142*b + 9770 = -9*b + 62771. Is 39 a factor of b?
True
Let w = 3196 + 10510. Is 14 a factor of w?
True
Suppose -5312 = -4*y + 2*l + 3054, -4*y + 5*l = -8351. Suppose 0 = 4*n + 12, -5*q + y = -2*q - 2*n. Is 12 a factor of q?
True
Suppose -5 = -f + 1. Suppose -2 = -f*v - 2. Suppose v = 7*l - 803 - 604. Is 25 a factor of l?
False
Let a be (-954)/(-24) - (-1)/4. Let o = a - 26. Let p = o - -10. Does 4 divide p?
True
Suppose -190*j - 39*j + 3607998 = 379785. Is 127 a factor of j?
True
Let m = -1365 - -4494. Suppose 4*j - 591 = m. Is 31 a factor of j?
True
Does 34 divide (9248/51)/(-2)*51/(-4)?
True
Let x(q) = -q**3 - 19*q**2 + 20*q + 11. Let y be x(-20). Let z(l) = 5*l + 62*l**2 - 61*l**2 - y - l. Does 7 divide z(-10)?
True
Suppose 0 = 97*t - 106*t + 4356. Suppose 1988 = 4*y - 5*g, 0 = y + 3*g - g - t. Does 10 divide y?
False
Let h = -645 - -4107. Is 25 a factor of (-3)/(-4 + h/870)?
False
Suppose 