 less than g?
True
Let b be (-64)/(-18) - (-39 + 50). Is 7 smaller than b?
False
Let b = 923 + -923. Let y = -166/3 - -56. Which is greater: b or y?
y
Let u(g) be the second derivative of 10*g**2 + 0 - 4/3*g**3 - 1/12*g**4 + 12*g. Let z be u(-10). Is z greater than or equal to -4/19?
True
Let g(y) = y**3 + 3*y**2 - 3*y. Let j be g(2). Let q = 211 + -205. Suppose -j*v = -q*v - 112. Do v and 12 have the same value?
False
Let t be 1440/84*(-784)/168. Let g be -81 + (-1*2 - -4). Which is smaller: g or t?
t
Let t = -735454320 - 2066785549. Let p = t + 110478306822837/39425. Let d = p + 2/2075. Which is bigger: d or -1?
d
Let k = -71028.979 + 70979. Let z = -0.021 + k. Let f = z - -50.3. Is 6 <= f?
False
Let t(w) = -w**2 - 11*w - 15. Let r be t(-4). Suppose r*y = 5*y. Let n be ((-7)/35)/((-32)/10). Which is smaller: y or n?
y
Let l = -203266 + 1419958/7. Which is smaller: 2 or l?
l
Let s be (142/4)/((-1)/2). Let a = -69 - s. Suppose 103 = a*v + 93. Which is smaller: v or 9/2?
9/2
Let j(k) = -7*k**2 - 4*k + 11. Let o be j(4). Let a = o - -235/2. Is 2 at least a?
True
Suppose 0 = 4*v + 4*s - 7*s + 18654, 4*s - 8 = 0. Let l be 0 - v/8 - (-3)/(-4). Let d = l + -2894/5. Which is greater: d or 4?
4
Let a = 60.93 + -29.79. Let s = 2.24 - a. Let t = s - -2.9. Which is smaller: t or -0.1?
t
Suppose -2592 = -92*j + 104*j. Let s = j + 216. Let k be 6/(-10)*(-1)/3. Is k not equal to s?
True
Suppose 37*u = 41*u + 2*c - 3158, u + 4*c - 793 = 0. Is 790 equal to u?
False
Let v be 2/4 - 364/280. Let i = 111 - 136. Is i at most as big as v?
True
Let h(p) = -p**3 + 2*p**2 + 3*p - 3. Let j be h(3). Let q be (-8)/(-12)*(9/(-2))/j. Suppose 4*y - 2*t - 4 = 0, -2*t - 5 = 5*y - q. Which is bigger: y or 5/9?
5/9
Let s be 125/(-34) + (-24)/(-16). Let p = 628/187 + s. Which is smaller: 0 or p?
0
Let c = -3069 + 3069.036. Is -34 less than c?
True
Let p = -776264/11 - -70564. Suppose -6*j + 2*j = 24. Is j < p?
True
Let l be 28/(-70) - 54/(-10). Let w(z) = 60*z**3 - z**2 - z. Let t be w(-1). Let d be t/(-10) - (0 + 1). Does d = l?
True
Let s = 1135 - 10219/9. Is 135 at most s?
False
Suppose -4*r + 2*l - 13 = -59, -2*r - 3*l + 35 = 0. Let j(h) = h**2 - 8*h - 64. Let z be j(r). Is -4/181 bigger than z?
False
Let r = -15 - -15. Suppose 5*i - 2*l + 44 = r, -3*i - 2*l = l + 39. Suppose -c = 3*s + 38, 17*c = -s + 16*c - 14. Which is smaller: i or s?
s
Let w(a) = 4*a**2 + 11*a - 93. Let d be w(16). Suppose 29*j = 38*j - d. Does j = -0.1?
False
Let p(c) = 3*c - 21. Let n be p(8). Suppose -n*m - 3*y - 613 = -7*m, -2*y + 772 = 5*m. Is 154 at most as big as m?
True
Let z(t) = t**2 + 80*t + 1569. Let j be z(-31). Let g(u) = -u - 2. Let r be g(-4). Suppose -2*o + 2*y + 114 = -r*y, y = 4*o - 207. Which is smaller: j or o?
j
Let w = -1291 + -2747. Are w and 0.1 equal?
False
Suppose 339*o - 320*o = -378822. Let c = o + 7636260/383. Which is greater: c or 0?
c
Let v be 1 - (-3)/((-231)/(-1169)). Suppose 10 = -r + 3*o + 25, r + 4*o - 15 = 0. Do r and v have the same value?
False
Let i be (1/(-8))/((-1)/2). Suppose -148 = -18*y - 130. Let u be 0*y/5*(-105)/(-21). Is i bigger than u?
True
Suppose -162 = -28*x + 34. Suppose 6*n - 9*n + 2*f = x, -n - 5*f + 26 = 0. Which is greater: 8/9 or n?
n
Let y = 0.2 - 0.4. Let s be 2/(((-6)/(-2))/(-15)). Let g be (-8)/s + 4 - 5. Are g and y equal?
True
Let d = 34 + -100/3. Let o = 0.5104 + 51.4896. Which is smaller: d or o?
d
Let a(z) = -19*z - 1310. Let l be a(-69). Is -8/17 less than or equal to l?
True
Let r be -2 - 147*(-6)/9. Let f be 0 + 28/r - 4/6. Let t = f + 5/56. Which is smaller: t or -0.2?
t
Let b(x) = -6*x - 360*x**2 + 8*x + 361*x**2. Let q = 3 + -5. Let h be b(q). Which is greater: -7/6 or h?
h
Let h = 2.95 - 2.7. Let v = h + -0.25. Suppose y - 110 = 6*y. Which is greater: v or y?
v
Suppose 5*s + 30 = u + 2*u, -u = 5. Let d be ((-4)/8*s)/(6/(-16)). Which is smaller: -20 or d?
-20
Suppose -7*k - 33 = -117. Suppose d + 3 + k = h, -5*d - 10 = 0. Is -4 not equal to h?
True
Let a = 1579 - 2052. Which is bigger: a or -477?
a
Suppose -4*j + j = -285. Let g = 154 + 128. Suppose t = 4*t - g. Which is smaller: t or j?
t
Let d = -5201 - -5307. Is 0.12 at most as big as d?
True
Let j be 3 - (38655/(-120) - 1/(-8)). Which is smaller: j or 329?
j
Suppose 3*y - 5*u - 53 = 0, -u = -0*y - y + 17. Let c be (-6)/(-5)*(0 - (-200)/y). Does 43/3 = c?
False
Suppose -d + z = -3, 8 = -5*d - 3*z + 23. Let o(x) = -45*x + 1351. Let c be o(30). Let m be (d - c) + 1/(-1). Which is bigger: m or -3/11?
m
Let d = 7622/4851 + 2/441. Which is bigger: d or 1?
d
Let k(g) = g - 2. Let f be k(-8). Let b = -1132190/111501 + 2/8577. Is f not equal to b?
True
Let r = 54 + -43. Suppose 3*z + 4*j - 5 = 0, z - 4*j + 4 - r = 0. Suppose -b = v - 4, 3*b + 22 = z*v - 2. Which is smaller: 4 or v?
4
Let y be ((-30)/((-42300)/(-6)))/((-916)/5). Which is bigger: y or -1?
y
Let y = -14.94 + -600.06. Let b = -610 - y. Which is bigger: -4 or b?
b
Let j be ((-8)/(-2) - -35)/(-1). Let t = 42 + j. Let d be (-12)/((-45)/(-10) - t). Is d greater than or equal to -8?
True
Suppose 0 = -5*j + 5*s - 2709 + 3229, 3*j + 3*s - 276 = 0. Let n = 233 - 136. Are n and j unequal?
True
Suppose -204*z + d - 649 = -209*z, 3*z = -4*d + 403. Let r be (-4)/(3*4/(-390)). Is z > r?
False
Let p = 120 + -63. Let d = -71 + 70.73. Let n = d - -0.27. Which is smaller: p or n?
n
Let m be 642/4 + 729/486. Which is bigger: 167 or m?
167
Let p = -769 - -759. Let q be p/(-15) + (-6 - 590/(-105)). Which is smaller: 6 or q?
q
Suppose 5*f + 0*f = 975. Let n be 2/12 - f/1386. Suppose 602*l - 627*l + 25 = 0. Which is bigger: n or l?
l
Suppose 4*j = -5*w + 13, -5*j = -19*w + 15*w - 6. Is w >= -2/7775?
True
Let x(h) = 2*h**3 - h**2 + 4*h + 8. Let f be x(-1). Is 54/67 greater than or equal to f?
False
Let j = -6790 - -27159/4. Which is greater: j or 503?
503
Suppose 0 = 2*s - u - 61, -s + 0*s = 2*u - 28. Suppose 10*x = 4*x + s. Suppose 0 = -x*b + 1 + 4. Are 1/25 and b equal?
False
Suppose 6 = -3*g, -5*z + 2*g = -4*z - 5. Let n be 42/(-24) - (-2 - -1 - z). Which is smaller: -0.182 or n?
-0.182
Let q(y) = -y**2 - 13*y - 12. Let a be q(-12). Let j be a + 0 - -3 - 1248/507. Is 0 at least j?
False
Suppose -60*c - 39633 - 129179 = -53*c. Is c >= -24117?
True
Let k be (-3 - -2)*5/(80/64). Let j = 7/2 + -57/14. Is j bigger than k?
True
Suppose 34*l - 32464 = 7*l + 74159. Is 3948 less than or equal to l?
True
Let b = 0.006 + -51.006. Let q = b - -51.034. Let f = q - 1.934. Is 0 greater than f?
True
Suppose 74 + 108 = -7*m. Let c be (-4)/m + (-1420)/(-65). Which is smaller: c or 18?
18
Let v = 283 + -626. Let b = -342 - v. Are 160 and b equal?
False
Let a = 4114 + -3393. Is 721 less than or equal to a?
True
Let u(l) = -6*l**2 + 303*l - 2. Let a be u(50). Is 23 < a?
True
Let j = -223 - -266. Let q = j - 40. Which is bigger: 6/11 or q?
q
Let h = -1 - -1. Let z = 1670419 + -141983488/85. Let f = 126/5 - z. Which is smaller: f or h?
h
Let d(t) = -t**3 - 11*t**2 - 21*t + 9. Let i be d(-9). Suppose 36*q - 38*q = i. Is q bigger than -23?
True
Let m be (-5)/1560*4/30. Is m at most as big as 0?
True
Suppose -4*q + 162 = -4*s + 1338, -2*s = -4*q - 586. Suppose 0 = 5*p - 3*m + 373, p + m = -3*p - s. Is 3 < p?
False
Suppose 315 = 3*u - 5*f - 75, 3*f - 279 = -2*u. Let y be 106/u - 6/(-20)*-2. Is 1 not equal to y?
True
Let u(r) = 1. Let x(y) = -y**2 + 18*y + 86. Let s(a) = -6*u(a) - x(a). Let b be s(20). Is b less than -51?
True
Let z = -49772/2651353 + 2/24779. Is 25 < z?
False
Let z be (-2 + 26/10)*15. Suppose -z*a = -2*a. Suppose -15*o - 7 + 22 = a. Is o equal to -4/19?
False
Let p be 37/(2 + 3/(-1)). Let i = 39 + p. Suppose 4*k = 5*x - 20, 2*k - 3*x + i*x + 4 = 0. Is 4/3 at most as big as k?
False
Suppose 10 = -5*z, 9*h = 4*h + 3*z + 56. Let q(c) = -2*c + 28. Let v be q(h). Suppose 0 = -o - 4*o + 15. Which is greater: v or o?
v
Suppose 6 + 29 = -5*v. Let b be (171*(-12)/(-198))/((-9)/(-6)). Let k = v + b. Which is greater: -1 or k?
k
Let y = -78692/5 - -15738. Which is smaller: -59/18 or y?
-59/18
Suppose 2*j + 376 = 448. Suppose -39*k = -j*k. Is 16/29 at least k?
True
Let z = 369 + -549. Let d = z - -196. Is d at least as big as -4?
True
Let d be 1*13 - (-104 + 117). Is d >= 1/128?
False
Let g = 28.25 + 220.95. Let t = -35.8 - g. Is 0.1 <= t?
False
Let r = -3