52 - (48 + -43)?
True
Let h(c) = -21*c**3 + 4*c**2 + 11*c + 10. Let g be h(-3). Suppose 21*s = 19*s + g. Does 10 divide s?
True
Is 47 a factor of (-4882995)/(-702) + (-2)/(-12)?
True
Let j(n) = -n**2 + 13*n - 27. Let m be j(6). Does 55 divide (864/m)/(9/120)?
False
Let i(t) = 9*t**2 - 4*t + 15. Is 30 a factor of i(13)?
False
Let n(j) = 2*j**2 + 10*j - 5. Suppose 8*p = 5*p - 4*l + 16, 2*l = -2*p + 8. Suppose -4*o + p + 20 = 0. Is 9 a factor of n(o)?
False
Let r(h) = 2*h**2 + 4*h + 4. Let b be r(-2). Suppose 2*f - 3 = -c, b*c + 1 = -3*f + 3. Suppose f*x - 4*d - 61 = 35, 48 = x + 5*d. Does 12 divide x?
True
Suppose 45 = 5*a + 2*t, -5*a + 4*t + 12 = -3. Suppose 0 = -3*s + a - 1. Does 24 divide ((-7)/14)/(s/(-288))?
True
Let w = 37 + -33. Suppose -12*x + w*x + 1824 = 0. Does 12 divide x?
True
Let z = -2154 - -877. Let g = 2134 + z. Suppose n - 1198 + 337 = -4*f, g = 4*f - 3*n. Is 24 a factor of f?
False
Suppose 0 = -36*s + 38*s + 392. Is 11 a factor of -2 - (1 + 0 + s)?
False
Let v = 2062 + 4957. Is v a multiple of 15?
False
Suppose -1043 = -4*c - 3*a, -259 = -c - 2*a + 3*a. Let u = c - 180. Is (147/12)/(324/u - 4) a multiple of 49?
True
Suppose -194*u = 4*g - 199*u - 55702, 4*u - 24 = 0. Does 102 divide g?
False
Let a be (8/(-20)*-18)/(6/80). Suppose 0 = -2*m + 4*n + a, 186 = -7*m + 11*m - 2*n. Is 38 a factor of m?
False
Let v(n) = -34*n - 3734. Is v(-184) a multiple of 3?
False
Let p(s) be the third derivative of 2*s**6/5 - 7*s**5/60 + s**4/8 - s**3/6 + 40*s**2. Is 19 a factor of p(2)?
True
Suppose 0 = -r - 1003 + 1005. Suppose r*v + l - 1980 = 0, -5*v - 3*l - 2979 = -8*v. Does 12 divide v?
False
Let j = -19942 + 20811. Is 2 a factor of j?
False
Does 46 divide 3766*(-20)/(-32) - (-2)/8?
False
Let d = -504 - -479. Let q = 361 - d. Is 23 a factor of q?
False
Suppose -93*i - 12189 = -110*i. Does 37 divide i?
False
Let n(s) = -8 + 5 - 17 + 3*s**2 - 2*s**2 - 10*s. Let h be 4/(-6) - 176/(-12). Does 12 divide n(h)?
True
Let f(v) be the third derivative of 7*v**5/6 + v**4/2 - v**3/6 - 108*v**2. Is f(-2) a multiple of 6?
False
Let z = -80 + 82. Suppose -z*p + 112 = -8. Is (-10)/p + (-134)/(-12) a multiple of 4?
False
Suppose 5*v = 2*p - 55851 - 66438, -p = -3*v - 61143. Does 14 divide p?
True
Let d be (-3)/(12/(-8)) + -2. Suppose 16*b - 1941 - 5675 = d. Does 29 divide b?
False
Suppose 188*n = 181*n + 4095. Does 9 divide n?
True
Let n(j) = j**2 - 322*j + 5346. Is n(0) a multiple of 66?
True
Let z be (-126)/(-18) - 7/1. Suppose 503*b - 502*b - 3 = z. Is 2 a factor of b?
False
Let t = 2703 + 1540. Is 2 a factor of t?
False
Suppose 14 = d - 18. Suppose 58 + d = 5*z. Suppose 20*u - z*u - 104 = 0. Is u a multiple of 26?
True
Suppose -3*c - n + 39 = 3, c - 12 = -n. Suppose -6*u + c = -0. Does 13 divide ((-104)/12)/(u/(-6))?
True
Let o(i) = 15*i**2 - 4*i - 74. Let p be o(11). Does 47 divide (-4 - 15/(-10)) + p/2?
True
Let f = -16706 - -28415. Is f a multiple of 50?
False
Let u(d) = -22*d**3 - 2*d**2 - 153*d - 1352. Is 31 a factor of u(-9)?
False
Suppose -16*q + 42*q = 988. Is q a multiple of 19?
True
Let r(z) = -z**3 + 39*z**2 + 4*z - 36. Let l be r(39). Is (-48)/(-6*6/l) a multiple of 20?
True
Let j(b) = -b**3 - 17*b**2 - 30*b + 35. Is j(-24) a multiple of 4?
False
Let d be (-4)/(-14) - 410/(-35). Suppose 2*r + 2*r = d, -5*r = 4*w - 27. Suppose w*z = 3*k + 2*k + 208, -k + 156 = 2*z. Is z a multiple of 19?
True
Let l = 9473 - 393. Is l a multiple of 6?
False
Does 110 divide (6404/(-16))/(2/(-2))*912/228?
False
Is 22 a factor of (65156/(-8) + -1)/(2/(-8) - 0)?
True
Let h(o) = -2*o**3 - 57*o**2 - 31*o + 192. Is h(-33) a multiple of 51?
True
Let m(c) = 16*c**2 - 30*c**3 + 13*c**3 + 12 + 12*c**3 + 6*c**3 + 3*c. Is 64 a factor of m(-15)?
True
Let y be 630/(-140)*(1 + (-6)/(-2)). Let f = -7 - y. Is f a multiple of 2?
False
Let p(o) = -862*o + 610. Does 71 divide p(-10)?
True
Let h = -28 + 24. Is 25 a factor of (0 + 3 - (-287)/(-4))*h?
True
Suppose -5*l - 8 = -4*r + 5, r = -3*l - 1. Suppose m + 406 = r*f - 3*m, 3*m + 1029 = 5*f. Let b = f - 67. Does 19 divide b?
False
Let q = -6346 - -7487. Is 226 a factor of q?
False
Let b be (-1)/3*-2*4170/20. Let u = -88 + b. Let m = 125 - u. Does 18 divide m?
False
Does 19 divide (25746/24)/((-15)/(-60))?
False
Suppose 2*s + 2*s - 52 = 0. Let p be (-2590)/65 + (-2)/s. Let h = 32 - p. Is 8 a factor of h?
True
Suppose -82*r + 12 = -78*r. Suppose 2*j + 0*j - r*f - 237 = 0, 0 = 2*j + f - 225. Let g = j - 29. Is 17 a factor of g?
True
Let o = 268 + -120. Let x be (4 + 18/(-4))*o. Let i = x - -104. Does 5 divide i?
True
Let u = 2657 + 5124. Is u a multiple of 8?
False
Let y(s) = -8*s**2 + 450*s - 82. Is y(53) a multiple of 3?
True
Suppose -2*u + 3*u - 2 = 0, 4*i - 22058 = -3*u. Suppose -16*w - 5*t = -12*w - i, -4*w - t = -5509. Is w a multiple of 27?
True
Let l(k) = 5*k**3 - 25*k**2 + 51*k - 84. Let s(z) = 8*z**3 - 51*z**2 + 104*z - 167. Let r(m) = -5*l(m) + 3*s(m). Is r(-30) a multiple of 4?
False
Let n = 10652 - 5055. Is 29 a factor of n?
True
Suppose -27 = -3*o - 3*z, -5*z + 21 + 0 = 3*o. Suppose o*u = 7*u + 25. Suppose 2*a - u*a + 72 = 0. Does 5 divide a?
False
Let m be (-2)/(-13) - (5 + (-2128)/26). Let i = m - -261. Is i a multiple of 16?
False
Let l(d) = 12*d + 4. Let t be l(-1). Let z(m) = -2*m - 4. Is 9 a factor of z(t)?
False
Is 18 a factor of 16/104 - (-24763)/13?
False
Suppose -5*n - 1068 = -4*z - n, 2*z = -2*n + 514. Let t = -141 + z. Suppose -j = 3*u - t, -4 = 2*j - 6*j. Is u a multiple of 5?
True
Let y(w) = -181*w**2 - 14*w + 15. Let q(v) = -179*v**2 - 13*v + 13. Let o(s) = -6*q(s) + 5*y(s). Is o(3) a multiple of 38?
False
Suppose -4*l + 414 = -x, l + 3*l - 416 = 2*x. Suppose -66*u = -65*u - l. Suppose 3*m + j - u = 0, 3*m + 2*j - 70 = m. Is m a multiple of 34?
True
Suppose 8407 - 47411 = -9*o + 85601. Is 65 a factor of o?
True
Suppose 140*a = 51*a + 4716426 + 1425464. Is 156 a factor of a?
False
Suppose 0 = -85*w + 84*w + 1. Is w/((-8)/100)*-12 a multiple of 5?
True
Let y(p) = 5*p**2 + 5*p + 21. Let b(m) = -6*m - 35. Let r be b(-12). Suppose 2 - r = 7*q. Is y(q) a multiple of 33?
False
Let c = 1390 - -2513. Is c a multiple of 13?
False
Is 314402/310 - (-8)/10 a multiple of 2?
False
Let a = 11283 + 2967. Is 25 a factor of a?
True
Let d = 7167 + 17467. Is 20 a factor of d?
False
Let o = -11 + 28. Suppose -14*d - 198 = -o*d. Suppose -5*w + 0*w - 66 = -3*j, -2*j - 4*w + d = 0. Does 3 divide j?
True
Suppose -5*y + 2*o + 5 = -0*o, -5*y + 5*o - 10 = 0. Suppose 3*p = y*v - 54, 22 = v + p - 2. Is v a multiple of 5?
False
Let q = 1054 + -1484. Let u = q + 922. Is u a multiple of 21?
False
Let m(q) = -6*q - 12. Let n be m(-3). Let a(t) = 8*t**2 + t + 4. Let i be a(-2). Suppose i = -n*r + 724. Is r a multiple of 57?
False
Let w(z) = 53*z - 5. Let n = 69 - 72. Let t be w(n). Is (-8)/24 + t/(-6) even?
False
Suppose -5*l = -20, l = -4*g - 1656 - 3540. Let k(t) = -2*t**2 + 4*t - 3. Let n be k(5). Does 24 divide g/(-11) - ((-72)/n - 2)?
False
Suppose -5*h + b + 4*b = -780, 4*h = -b + 614. Suppose -h - 225 = -l - 4*a, 1158 = 3*l + 5*a. Let m = -125 + l. Is m a multiple of 23?
False
Is ((-1600128)/256)/(2/(-4)) a multiple of 12?
False
Suppose -289*u + 10276 = 2*m - 284*u, 20580 = 4*m + 3*u. Does 16 divide m?
False
Let h(s) = -215*s - 60. Is 84 a factor of h(-12)?
True
Let z be (6 + 0)/((-3 + 4)/1). Let i be -2*3*(-51)/z. Is 27 a factor of 6 + 9/(-3) + i?
True
Let l(x) = 7*x - 18. Let h be l(3). Suppose 5*d + 440 = 2*a, -3*a + 6*a + h*d - 618 = 0. Is 9 a factor of a?
False
Suppose -5*z - 4*h = -708, -4*z - 2*h + 564 = -0*z. Let l = 1075 - 1165. Let d = z + l. Is 25 a factor of d?
True
Let r(k) = 7*k**3 + k**2 + k + 4. Let h be r(-2). Let b = h - -102. Is 13 a factor of b?
True
Let j(f) = -2*f - 13 + 0 - 3*f - 4 + 4*f**2. Let h be j(-5). Does 12 divide 3 + h - (0 + 1)?
False
Let g(j) = j**3 - 21*j**2 + 4. Let t be g(21). Let k(m) = -m**2 + m. Let p be k(t). Let z = 16 + p. Does 4 divide z?
True
Let s(t) be the third derivative of t**6/120 - t**5/20 - t**4/4 + t**3 + t**2. Let u be (-22 - -18)*(3/(-2))/1. Is s(u) a multiple of 13?
True
Let i = -14658 + 18042. Does 12 divide i?
True
Let c = 301 - -47. Let j = 447 - c. Does 33 divide j?
True
Let l = 6900 - 2580. Does 12 divide l?
True
Let h(j) = -26*j**2 - 1572*j - 63. Is 2 a factor of h(-60