= -2634 + 7900/3. Is c < -531?
False
Let o be 50/40 + 1253/28 + -2. Which is greater: 64 or o?
64
Suppose 2*l + 2*b - 338 = -3*l, 4*b = -2*l + 132. Let d = -8501/4 - -2125. Is l smaller than d?
False
Let k be (1*-5)/(7 + -3). Let g be (2 + -6)*(3/(-12) + 0). Suppose 2*b + 1 - g = 0. Is b >= k?
True
Let m = 29681.81 - 29682. Is -105 not equal to m?
True
Let f(r) = 116 - 227 - 5*r + 75 + 0*r. Let g be f(-7). Is -15/8 at most as big as g?
True
Let p = 4506 + -4504. Which is smaller: 110/139 or p?
110/139
Let t = -405 + 406. Let f be (-3)/9 + t/1. Which is greater: f or -0.167?
f
Let i = -56.7 + -52.2. Let m = -109 - i. Let c = -0.5 + -2.7. Which is greater: m or c?
m
Suppose 3*t = -5*t. Suppose t = 3*n - 2*i - 9 - 13, -4*n = -3*i - 31. Suppose n = 6*m - 2*m. Which is greater: 1/5 or m?
m
Let j = 109431.9748 - 109484. Let t = -0.0252 - j. Which is smaller: t or -1/5?
-1/5
Let w = -88 - -114. Let l = w - 25. Let t(g) = -g**2 - 2*g + 3. Let u be t(-3). Is l greater than u?
True
Let t(a) = 23*a**3 + 4*a - 4. Let u be t(1). Let f = u - 77. Let b be 2/(-4) + (-214)/4. Does b = f?
True
Let m(o) = o**2 + 3*o - 27. Let g be m(6). Let d be 2*(g/(-6) + 4)*-80. Is d at most 81?
True
Let i = -60 + 27. Let w be i/55*(-2)/74. Is 0 greater than w?
False
Suppose -345 = 3*a - 4*o, -a - 38*o + 41*o - 120 = 0. Let y = -94 - a. Is y at most as big as 15?
False
Let x = -3665 + 3667. Suppose o + 3*o + 792 = 0. Let k be (x/(-4))/(9/o). Is 11 != k?
False
Let p(h) be the second derivative of -9*h - 1/6*h**3 + 0 + 2*h**2. Let o be p(-3). Which is smaller: o or -0.2?
-0.2
Let h = -1370061/610 - -2246. Is h >= -1?
True
Let x = -31 - -13. Let g(i) = -i**2 - 22*i + 4. Let j be g(x). Let h be ((-2)/j)/((-61)/12 - -5). Is 1 greater than h?
True
Let g(j) = 25*j**2 + 965*j + 12369. Let l be g(-13). Are l and 4049 non-equal?
False
Let m(o) = o**3 - 7*o**2 - 1. Let s = -7 - -56. Suppose z + 6*z - s = 0. Let p be m(z). Is 2 less than or equal to p?
False
Let r(s) = s - 3. Let z be 204/72 + (-1)/(-6). Let y be r(z). Suppose y = o - 0*g - 5*g - 8, -o + 8 = 4*g. Which is smaller: 15 or o?
o
Let q be ((-1)/14)/(1/(-9)). Let j = 642 - 639. Let x be 1/j*(-90)/(180/(-12)). Which is greater: x or q?
x
Suppose 5578 = -112*a - 90*a + 27192. Let l = 2975151/27484 + -2/6871. Are a and l equal?
False
Let z(h) = -54*h**2 + 45*h + 125. Let b be z(-7). Are -2837 and b nonequal?
True
Suppose -3*o + 107 = -3*c - o, 5*c = -4*o - 193. Let w = c + 46. Let r be w/(-24)*8/150. Is 0 at most as big as r?
False
Let g = 2844 + -2844. Is -1/2206 at most as big as g?
True
Let b = 0.39 + -14.99. Let s = b + 14.98. Which is bigger: s or -2?
s
Let y = -380 + 376. Let u(w) = 34*w + 137. Let x be u(y). Which is greater: x or 17/13?
17/13
Let o = 3/35 + 81/280. Let c(l) = 2*l**3 - 4*l**2 + 5*l - 5. Let j be c(2). Suppose -2*u + 2*y + 2 = -6, -3*u + j*y + 18 = 0. Which is smaller: o or u?
o
Let s = -1741 - -2521. Let d = 492179/631 - s. Is -1 != d?
True
Let u = 3.8 + -7. Let t = -8.8 + 5.8. Let m = t - u. Is m != 0?
True
Let w be -1 + ((-140)/95)/(-2). Suppose -5*r - 6 = -36. Suppose -r*t + t = 0. Which is smaller: t or w?
w
Let x = -403 - -641. Let l = x + -237.8. Is l <= 112?
True
Let i = 45 - 44. Let v be (85/(-10))/(i/(-2)) - -1. Let s be (-6)/v*6/(-4). Which is bigger: -3/4 or s?
s
Let s(f) = f**3 - 32*f**2 + 27*f + 122. Let h be s(31). Let k be (-24647)/(-6223) + -2 + h. Which is smaller: 1 or k?
k
Let u = -2/82137 - -492832/410685. Which is greater: u or -782?
u
Let u = 3539/4 - 891. Let s(k) = 129*k + 2960. Let a be s(-23). Which is smaller: u or a?
a
Let t be 1162/(-12) - (211 - 223). Is t <= -3?
True
Let p = -1584 + 1550. Is p != 0.06?
True
Let m be -7*(-27)/441 + (-14310)/266. Which is smaller: -54 or m?
-54
Let y = 1174450/79 - 14866. Which is smaller: 1 or y?
y
Let p(x) be the third derivative of x**5/60 + x**4/6 + 5*x**3/3 + 3*x**2. Let f(g) be the first derivative of p(g). Let r be f(-6). Which is greater: r or -6?
-6
Let p be 27029/1074*36/1. Which is smaller: 904 or p?
904
Let s(p) be the second derivative of p**4/4 + p**3/6 + p**2 + 26*p. Let d be s(5). Is d at most 82?
True
Let w(v) = -2*v + v**2 + 3*v - 9*v - 4*v - 72 - 9. Let z be w(17). Which is bigger: -23 or z?
z
Let y = 1.27 + -0.97. Let l(r) = r**2 + r - 15. Let o be l(6). Let u be ((-1)/(-3))/((-198)/o)*-4. Which is greater: y or u?
y
Let r(f) = 21*f + 264. Let z be r(-11). Suppose 9 = -z*u + 34*u. Which is bigger: 10 or u?
10
Let t(i) = -i - 7. Let d be t(-3). Suppose 596 = -2*u - 70. Let f = u + 985/3. Is d <= f?
False
Let i be (-3810)/81153*558/(-5). Do 4 and i have the same value?
False
Suppose 4*x - 12 = 0, -s + 61 = -4*x - 329. Which is smaller: 2804/7 or s?
2804/7
Let u be (-102)/(-18) - (-5)/(-3). Suppose -2*j + u*l = -144, 0*l - 2*l - 392 = -5*j. Does j = 79?
False
Suppose 22 = -b + 25. Suppose 0 = 3*w - m - 127, 2*w - b*m - m = 88. Let u be 1/(-6) - (-7)/w. Is u at most 1/21?
True
Suppose 15*o - 20*o - 2939 = 16*g, 2288 = -4*o + 3*g. Which is smaller: -5180/9 or o?
-5180/9
Let d be 9724/43677 + (-140)/630. Is d less than or equal to 1?
True
Let v(g) = -2*g**3 - 102*g**2 - 5. Let c be v(-51). Let u = 6 - 4. Which is greater: c or u?
u
Let q(f) = -53*f + 11. Let b be q(-10). Which is greater: 544 or b?
544
Let x(a) = -2*a**2 - 7*a - 1. Let w be x(6). Let v = 246 - 362. Is w at most as big as v?
False
Let a(m) = -m - 24. Let n be 4*(-15)/10*4. Let f be a(n). Which is bigger: f or -2/29?
f
Suppose 0 = 5*i - 5 - 5. Suppose 6*y - 64 - 68 = 0. Let l = y - 17. Is l >= i?
True
Let q = -0.24 - -16.24. Let t = -99 - -97. Let l be (-3)/12*12/(-5 - t). Which is smaller: q or l?
l
Let l(g) = 15*g - 57. Let a be l(-22). Let i = 388 + a. Which is smaller: 20/43 or i?
20/43
Let n = 57.6403 + -1.8403. Which is greater: -1 or n?
n
Let k be ((-11856)/40)/6 + (-2)/(-5). Suppose 27*z - 28*z = -5. Suppose -5*a - z*u + 4*u - 249 = 0, 4*a - u + 201 = 0. Is a greater than or equal to k?
False
Let f = -6306 - -6142. Is 2/71 smaller than f?
False
Let k = -75.84 - -0.84. Let n = 74.9 + k. Let i = -1.4 + 1.76. Is i at least n?
True
Suppose -14 = -3*s - 32. Let r be 3*(4 - s/9). Let u = -31 - -43. Is u not equal to r?
True
Let a = -28 + 33. Let c(g) = g**2 - g - 12. Let q be c(a). Suppose w - q = -1. Are -2 and w nonequal?
True
Let x = 33157 - 23366. Is x <= 9791?
True
Let s = -371.2 + 512.2. Is -0.2 < s?
True
Let m = 1677 - 1637. Let x(v) = v**2 - 15. Let z be x(-7). Which is smaller: z or m?
z
Let h(l) = 4366*l**3 - l**2 + 961*l + 961. Let k be h(-1). Is -4367 at most as big as k?
True
Let i = -129 + 379. Let r = i - 249.8. Are r and -20/3 equal?
False
Let r(l) = l**3 + 32*l**2 - 18*l + 220. Let b be r(-34). Which is smaller: b or -1481?
-1481
Let q(a) = 4*a**2 - 2*a - 1. Let v be q(-1). Suppose 2*w - 5*j - 21 = 0, -w = -0*w - v*j - 23. Suppose -105 = 4*b + 5*p - 70, -b - p - 7 = 0. Is b equal to w?
False
Let v be 26/338 - (-66)/(-13) - 1024. Which is bigger: v or -1019?
-1019
Let i = 44 + 24. Suppose i = 3*g + g + u, 2*u + 62 = 3*g. Let l = 359 + -341. Is g less than l?
False
Let i = 2723.5 + -2732.5. Let g = 107/5 - 22. Is i less than or equal to g?
True
Let w = 2/765 + 1456/28305. Let r = -882 + 882. Which is smaller: w or r?
r
Let h be 8/3*(-36)/16. Let q = h - -11. Suppose -82*w + 211 = -321 - 42. Which is greater: q or w?
w
Suppose -14*h + 2*k = -9*h - 3, 3 = h - k. Let z be h - (6 + 64/(-10)). Which is smaller: z or 0?
z
Let q(b) = -61*b + 1597. Let r be q(14). Which is smaller: 740 or r?
740
Let i be -9*15/((-315)/(-868)). Let j = -4833/13 - i. Which is bigger: j or 1?
1
Suppose -t - 2*t = -192. Let p(n) = n + 31. Let s be p(8). Let r = s + 25. Is t less than or equal to r?
True
Let g(d) = -20 + 22*d**2 - 48*d**2 + 25*d**2 - 26*d - 7. Let w be g(-24). Suppose -w - 273 = -6*x. Are 49 and x unequal?
False
Suppose -1855*q = -1839*q. Which is bigger: 27/11 or q?
27/11
Let g = 822 - 802.9. Let j = 1117/3 - 373. Which is bigger: j or g?
g
Let n = 17 - -5. Let b = 1028 + -1018. Is n >= b?
True
Let f = -1739098/5 + 344165. Which is smaller: -3654 or f?
f
Let t = -3528 - -945. Let l = 64551/25 + t. Is 1/4 less than l?
False
Suppose 0*d - 2*d - 144 = 3*z, -2*d = 4*z + 192. Let t = z - -66. Let j = t + -19. Is -3 greater than j?
False
Suppose 7*t - 6*t = 1. S