081 + 0.2081. Which is greater: 73.31 or c?
73.31
Let v(h) = h + 10*h**2 - 5 + 6304*h**3 - 6305*h**3 - 28 + 9*h. Let a be v(9). Is 139 <= a?
False
Let n = -9 + -19. Let y = 19.2 - -193.8. Let j = y + -213. Are j and n equal?
False
Let d be 3/(4/(-4))*-11. Let j = d - 23. Suppose 0 = j*b - 55 - 45. Does b = 54/5?
False
Let u = -122 - -44. Let m be ((-3)/15)/((-69)/(-115)). Is m not equal to u?
True
Let t be -43*((-3)/12*-44)/1. Let x be (2124/(-15))/(2 + (-17)/10). Is x less than t?
False
Let b = -2/2627 + 10794/375661. Which is smaller: b or -10?
-10
Let g = 74.121 + -0.121. Let h = g + -74.037. Let l = h + 0.037. Is 45 bigger than l?
True
Suppose -23*a = a - 26*a - 2. Which is smaller: a or -2/2751?
a
Let w be (2860/77)/((-1)/(-7)). Let l = -561 + 822. Which is smaller: l or w?
w
Let l(p) = p**2 - 5*p + 2. Let x be l(5). Let q be -80*15/126*(-18)/6. Let y = 212/7 - q. Is y bigger than x?
False
Suppose -10*g + 16*g - 84 = 0. Suppose 12 + g = u. Let y = -27 + u. Which is smaller: y or 1?
y
Let f(n) = -8*n**2 - 1385*n - 1551. Let o be f(-172). Which is greater: -23/12 or o?
-23/12
Let q = -879/5 - -176. Let d be (-4)/6 - -2 - (-118)/(-102). Are q and d non-equal?
True
Let k = -451 - -614. Let f = 163 - k. Is f less than or equal to -0.24?
False
Let y(s) = s**3 - 16*s**2 + 15*s + 3. Let d be y(15). Suppose -112 = -11*m + d*m. Let t = -15 + m. Is t bigger than -1?
False
Let z = 17 - 53. Suppose -48 = 3*h + 198. Let u = h - z. Is u <= -47?
False
Let y(i) be the first derivative of i**4/12 + 5*i**3/3 + i**2/2 + 18*i - 28. Let v(m) be the first derivative of y(m). Let j be v(-7). Is -20 greater than j?
False
Let n = -1423081/2516 - -228/629. Let c = n + 562. Let h = -1.9 - -2. Is h equal to c?
False
Let t = 4.784 + -4.684. Let w be 2/3 + (-222)/279. Are t and w non-equal?
True
Let q = 4743 - 4742.4. Which is bigger: q or 306?
306
Suppose -2*i - 4 = v - 8, 4*i + 34 = v. Let w = 7/54 - -370/27. Which is bigger: w or v?
v
Suppose 9 = 9*x - 45. Let t be 267/x + ((-3)/6)/1. Let p = -38 + t. Which is bigger: p or 5?
p
Let c = -117 - -109. Let l(t) = -17*t + 23. Let h(m) = -26*m + 34. Let g(k) = c*l(k) + 5*h(k). Let d be g(-11). Is -79 greater than d?
True
Let d = -2.32 - -293.32. Let v = 272 - d. Which is bigger: 2/19 or v?
2/19
Suppose 0 = 2*x - 25*t + 19*t + 36, -3*x + 44 = 5*t. Suppose r = -2*w + 14, -2*r + 3 - 5 = -2*w. Suppose -16 = -r*a + 8. Is x less than or equal to a?
True
Let n = 311 + -435. Let f be (-82)/(-24) - ((15 - (-448)/(-48)) + -2). Which is bigger: f or n?
f
Let n = -2.553 - 160.947. Which is smaller: -3 or n?
n
Let l = -2/16665 - -34504/9782355. Is -7 at least as big as l?
False
Let k = -0.594 + 1.594. Let a = -14.63 + -38.97. Which is smaller: a or k?
a
Suppose 3*t + 1355 = -5*a, -1389 = 5*t + 4*a + 891. Let z = t + 835. Are 375 and z equal?
True
Suppose 4*g - 238 - 75 = 5*o, -2*o - 5*g - 112 = 0. Let b = o - -64. Suppose -2*a + b = a. Does a = -3/10?
False
Let u = 17488/3 - 17489/3. Let g = 20 - 12. Let i = 8.6 - g. Which is smaller: i or u?
u
Let p = -3.1 + 7. Let k = 2.13 - 49.33. Let h = 47 + k. Is h less than p?
True
Let v be (3 + 122129/63)/(10/3). Let g = 2709/5 - v. Is g greater than or equal to -41?
True
Let a = -6368.932 + 6389. Let n = 20.1 - a. Is n >= 2?
False
Let g = -256 + 154. Let v = -1904 + 1800. Which is smaller: v or g?
v
Let f be 3*(19397/(-1020) - 6/(-8)). Let v = 1908/35 + f. Are -8.9 and v unequal?
True
Let n be (-2)/(-3) + 744050/420. Let w = 3521/2 - n. Let k = w + 76/7. Are k and -2 equal?
False
Let z(p) = -2*p**2 + 1. Suppose 4*u = -c - 0*u, 0 = 2*c + 4*u - 4. Let r(w) = -2*w**2 + 8*w - 1. Let q be r(c). Let j be z(q). Which is bigger: j or 1/11?
1/11
Let g be ((-39284)/140)/((4 - 7)/(-15)). Which is smaller: g or -1412?
-1412
Let b = 13 + -12.937. Let g = 1345 - 1345.937. Let a = b - g. Is a >= 2/7?
True
Let d = 274/3 + -109. Which is smaller: -3 or d?
d
Let o(p) = 211*p**2 - 2*p. Let i be o(-2). Suppose -13*n + i = -5*n. Let h be 4 + 1/(-25)*n. Is -1 != h?
True
Let i be -5 + ((-6)/57 - 1794/(-437)). Are -28/349 and i equal?
False
Let y be (-15)/(-35) + 650/35. Suppose 0 = s - 4*o - 8, 0 = -4*s + 2*o - 3*o - y. Let q be -2 + (2 - (-22)/(-8)). Which is smaller: q or s?
s
Suppose 48 = 3*f + 2*p, -5*p - 22 = 3*f - 79. Suppose -13*i - 81 = f*i. Let a be -4 - (-3 - -3)/(-4). Is i >= a?
True
Let l = 1204 - 51775/43. Let n = -387 - -741. Suppose 0 = -350*z + n*z. Is z not equal to l?
True
Let p = -15 + 6. Let a be (-4)/(-6) + p/3. Let r = -857 - -856.8. Do a and r have the same value?
False
Let w be -4 + (164/44 - 3). Suppose 70*x - 54*x + 48 = 0. Is w != x?
True
Let r(x) = -x**3 + 28*x**2 - 24*x - 232. Let t be r(25). Which is greater: -0.1 or t?
t
Let x be 12/(-128)*416/7176. Are 0 and x equal?
False
Suppose 0 = -l + 4*y + 9 + 24, 5*l - 222 = y. Suppose l*p - 88 = 56*p. Suppose -4*z = -4*n + 36, -3*n = -4*z - 0*z - 34. Which is greater: z or p?
z
Suppose -3*t = 14*t - 34. Let l be (-32)/(1/(5/(-20)*t)). Is 12 bigger than l?
False
Suppose -3*c = 4*y - 5 + 25, -y = 3*c + 5. Let m = -272 + 7615/28. Which is bigger: c or m?
c
Let n be 0/2*(-6)/12 - (-55 + 55). Is -0.0952 < n?
True
Suppose 0 = -k - 2*a - 31, -68*a + 73*a - 20 = 0. Are -46 and k nonequal?
True
Suppose 3*o + d + 34 = 0, 4*o - 7 = -2*d - 51. Let i be 4 + -7 + o/4. Let x(n) = -n**2 - 7*n - 2. Let t be x(i). Which is bigger: t or 5?
5
Let p be -1 + 1 - 58618/158. Which is greater: -0.2 or p?
-0.2
Let u = 584 + -553. Suppose 0 = -u*y + 27*y + 276. Is 5 >= y?
False
Let o = -2838 + 1160744/409. Is 1 at most o?
False
Let k = 71/26 + -25283/9230. Let g be (-2 + 2)/(-3 + 1). Which is bigger: g or k?
g
Let b = 165.9 + -166. Let y = 0.3874 + -0.0014. Which is bigger: b or y?
y
Let s = -468 + 492. Suppose s*f - 20*f = 0, 5*f = n + 2. Is -24/13 at most as big as n?
False
Let x = 2096 - -2257. Which is greater: 4352 or x?
x
Let c = 25/21 - -44/21. Let p(k) = k**3 + 8*k**2 - 48*k + 3. Let j be p(-12). Which is smaller: j or c?
j
Let n(x) = -x**3 - 14*x**2 + 391*x - 23. Let o be n(-28). Which is greater: o or 4.55?
o
Let a = -51 + 54. Let f = -2.17 + 1.25. Let r = -0.32 - f. Which is bigger: a or r?
a
Suppose -j - 1 = -3*z, j + 1 = 80*z - 84*z. Which is smaller: 153 or z?
z
Let c be (-49248)/(-131157) + (-8)/26. Is -1 at least c?
False
Let y = -15 + -47. Let f = -63.084 - y. Let i = f + 0.084. Which is greater: i or -11/9?
i
Let y be (-1176)/102 + 2 - (-2 + -4)*1. Are -1 and y unequal?
True
Let t be 1/2*(-1)/(-28). Let n = -321 - -417. Suppose 0 = 58*r - n*r. Are r and t equal?
False
Suppose 0 = -5*m - c - 50, -5*m - 3*c - 70 = -6*c. Let l be (-37)/(-6) - m/(-66). Which is bigger: -4 or l?
l
Let v(j) be the third derivative of -1/6*j**3 + 1/60*j**5 + 1/4*j**4 + 0 + 9*j**2 + 0*j. Let z be v(-6). Is 2/13 >= z?
True
Let y = 567/11 - 9595/187. Let s(f) = 4*f - 5. Let p(a) = 9*a - 11. Let x(w) = -3*p(w) + 7*s(w). Let z be x(3). Which is greater: y or z?
z
Suppose -b + 8 = 6. Suppose 4*u - 5*w + 114 = -7, 3*u - b*w = -89. Is -29 less than u?
False
Suppose -20*t + 10 = 9 + 21. Is 12/343 smaller than t?
False
Let v = 617 + -617. Let z = -1707958905/9343858 - -1/491782. Let j = -183 - z. Are j and v non-equal?
True
Suppose -4*i + 2*f - 180 = 0, 0 = -3*i - 13*f + 22*f - 105. Let k be (-1)/(-2 + 297/147). Which is smaller: k or i?
k
Let h = 0.72 + 3381.28. Which is smaller: 0.1 or h?
0.1
Let g = -0.404 - -0.904. Suppose -3*i - 37 = 2*m, 2*i + 0*i + 30 = -4*m. Which is greater: g or i?
g
Suppose 2 = -4*o + p + 5, 0 = 2*o - 4*p + 16. Suppose -4*l + o + 14 = 0. Suppose -36*h - 6195 = 6225 - 12492. Which is bigger: h or l?
l
Let m = 7901 - 7902. Which is bigger: m or 2230?
2230
Let c = 22/3348417 + -473141367901/83710425. Let r = 5651 + c. Which is smaller: 0 or r?
r
Let j = -14/5 - -27/10. Let x = -2/77 - 227/154. Let v = x - j. Is -2 != v?
True
Let n = 36003/7 - 5143. Is n <= -230/7?
False
Suppose 2*i - 10 = 0, 2*t + 2*i + 3 - 1 = 0. Let y = 412 + -531. Let l = -130 - y. Which is greater: l or t?
t
Suppose 0 = -n + 4*c + 52, 60 = n + 9*c - 5*c. Suppose 2*w = -6*w - n. Let s be ((-6)/w)/(8/14). Is 1 > s?
False
Let u = 12256 + -12244. Is u not equal to 243/19?
True
Let p be (-4 - -3) + 13 + -2. Let l be (-6)/2 - 0/(-12). Let s be (-4)/(8/(-18))*(-2)/l. Which is smaller: p or s