1. Let a be (-4)/(-18) - (-7)/9. Is a >= d?
True
Let o = 183.93 + -184.11. Which is greater: o or -3/5?
o
Let t = -10 + 14. Suppose -3*z - 15 = -6*z. Suppose 0*r - z*r - 1 = -4*j, -2*r = 2*j + t. Is j greater than -1/33?
False
Let h = 0.0141 - -2.8419. Let r = h + 0.104. Let c = r + -2.8. Is -1/3 <= c?
True
Let f be ((-156)/10)/(6/(-105)*-7). Let r be (24/32)/(1/(-48)). Is r >= f?
True
Let q(o) = -2*o**3 - 49*o**2 - 28*o - 97. Let x be q(-24). Which is smaller: -5/733 or x?
x
Suppose -5*c + 35 = -5*t, 2*t - 1 = -9. Let j be (265/15 - 5)*c/(-2). Let a be 25/50*(-2 + -34). Which is greater: j or a?
a
Let i(c) = 6*c**2 - 11*c + 5. Let t be i(4). Suppose -t = -8*s - 9. Suppose -a + 3*g + s = -0, -2*a - 4*g - 28 = 0. Which is smaller: -26/5 or a?
a
Let r(f) = -f**2 + 3*f + 8. Let d be r(4). Let a be ((d/(-6))/((-4)/(-6)))/1. Is -2 greater than a?
False
Suppose -2*f - 1 = -3*k - 0, -4*f - 3*k + 7 = 0. Suppose 0 = 2*q + 2*j - 6, -2*q + f + 0 = j. Which is bigger: -14/15 or q?
-14/15
Let d be (45/(-4))/(-3) - (-24)/6 - 7. Which is smaller: 51/2 or d?
d
Let s = -3723 + 3159. Which is smaller: -1 or s?
s
Let a = 158.89 + 0.11. Let o = 164 - a. Which is smaller: -0.01 or o?
-0.01
Let y = -414 + 414. Let l be (y + 2)*129/6*1. Which is smaller: 44 or l?
l
Let c = 20761 - 22430. Is -1666 greater than or equal to c?
True
Let g = -16072/33 + 487. Let m = -280 - -1958/7. Is m < g?
True
Let a(d) = 22*d + 62. Let x be a(-9). Let r = x + 136. Which is greater: r or -1/9?
r
Suppose -4*n - 8*m = 4, 6*n = 2*n - 4*m. Is -3/5914 equal to n?
False
Suppose -17 = -5*g - u, -5*g - 4*u = -u - 21. Suppose 0 = -4*p + p + 6, g*j = 5*p - 25. Let k be 22/4*(-7 - j). Is -21/2 equal to k?
False
Let h(o) = -o**2 + 10*o - 14. Let q be h(7). Suppose 1312 = q*m + m. Which is greater: m or 165?
165
Let d = -109 + 162. Suppose 2*t + 5*z = -d, -3*z + 8 + 7 = 0. Is -39 < t?
False
Let n = 4.141 + 0.139. Let g = n + 80.72. Which is greater: 0 or g?
g
Let g(l) = -l**2 - 6*l + 5. Suppose 5*t - 17 = 2*v, -v + 5*t - 21 = -0*v. Suppose -2*c = v*p - 3*c + 25, 0 = -4*p + 4*c - 16. Let n be g(p). Is -7/13 < n?
False
Let g = -15.368 + 0.993. Which is greater: g or 0.2?
0.2
Suppose 10618 - 1999 = 17*c. Which is greater: c or 1011/2?
c
Let n be 1*-2 + (-1 - 0). Let r be ((-39)/(-6))/(n/(-6)). Let c be (18/21)/((-8)/(-133)). Which is bigger: r or c?
c
Let y(c) be the third derivative of c**5/60 + 5*c**4/24 - 14*c**3 - 99*c**2. Let i be y(7). Which is smaller: i or 1/228?
i
Suppose -20 = -4*p - 3*q, 5*p - 3*q + 2*q = 44. Let x be 16/p - 4/2. Let c = -62 + 76. Is c <= x?
False
Suppose 266880 = 142*y - 14*y. Is y at most as big as 2081?
False
Let i = -6964.0245 + 6964. Which is bigger: i or -6?
i
Let g = 752 - 750. Which is bigger: g or 0.02?
g
Let l(x) = x**3 + 10*x**2 - 12*x. Let i be l(1). Let o = 0.2 - 4. Let z = -0.3 + o. Which is greater: z or i?
i
Let j = -3462.3 - -3481. Is -9 > j?
False
Let t = -157/23 + 3343/483. Which is smaller: t or -3/73?
-3/73
Suppose -87*h + 79*h - 32 = 0. Let a(j) = -2*j**3 - 6*j**2 - 2*j + 9. Let w be a(h). Let r = 1.4 - 1.5. Which is bigger: w or r?
w
Let h = -22.575 - 1226.425. Which is greater: h or -1?
-1
Suppose 12 = 3*z + z. Suppose -d = 5*a + z + 13, 4*a = -16. Suppose u - 4*n = d*u + 34, -2*u = n + 16. Which is bigger: -5 or u?
-5
Let z(m) = 99*m - 54. Let j(n) = 101*n - 55. Let t(p) = -3*j(p) + 4*z(p). Let u be t(3). Which is bigger: u or 227?
u
Let f be (-2 - 0/(-1))/((-11)/(-121)). Let l(w) = -w**2 - 20*w + 49. Let z be l(f). Do z and 5 have the same value?
True
Let c be (-22)/(-33) - 11590/(-30). Which is smaller: -0.03 or c?
-0.03
Suppose -332 = -7*y - 38. Suppose 2*v + v = -y. Let p be 18/(-70) + (-2)/v. Are 1 and p equal?
False
Let z(t) = -t + 4. Let r be z(-15). Let a = r - 28. Is -6 at most a?
False
Let j = -12641 + 12637. Are j and 50 unequal?
True
Suppose 0*l - 5*k = -4*l + 8249, 5*k - 10345 = -5*l. Suppose -l - 5774 = -49*g. Which is smaller: g or -1?
-1
Let u = -3782 - -3781. Which is smaller: u or -592?
-592
Let s(w) = 185*w**2 + 4. Let v be s(1). Let m = 225 - v. Which is bigger: 25 or m?
m
Let u = -41 + 45. Let h be u - 67*(-1 - 24/9). Let n = -246 + h. Which is greater: n or 3?
n
Let t = -5 - -16. Let b = t - 15. Let r be (4/(-50))/(56/(-700)). Is b >= r?
False
Suppose 832*x + 319 = 829*x - 11219. Which is smaller: -3845 or x?
x
Suppose 0 = 5*x + 2*d + 355, 131 = -0*x - 2*x - 3*d. Suppose -5*n + 4*p - 400 = 0, -5*n - 1291*p - 375 = -1290*p. Which is smaller: n or x?
n
Let b be ((-201)/2)/(-1) + 1/2. Let v = 103 - b. Suppose -2*f - 126 = v*n, -5*f - 275 = -11*n + 6*n. Which is greater: f or -58?
-58
Suppose 9*i - 4*i = -315. Let f = i + 55. Let w be 210/392 + 2/f. Is -0.02 smaller than w?
True
Let l = -93 - -27. Let m be (215/l)/5 + 18/(-99). Let d(a) = -a**2 - 7*a - 7. Let j be d(-6). Which is bigger: j or m?
m
Let i = 90 - 90. Suppose 4*w + i*x + 2*x + 80 = 0, 4*w - 4*x + 104 = 0. Let s be 33/w - 1/26*-35. Which is smaller: -5/6 or s?
-5/6
Let z = -544.1 - -545.1. Which is bigger: -3513 or z?
z
Let m be 12/1 - 0/1. Suppose -417*i + 348 = -219*i - 169*i. Is i < m?
False
Suppose u + 3*u - n = 67, -4*u = n - 77. Suppose -u*a - 108 = 9*a. Which is smaller: a or -58?
-58
Suppose -5*a - 15 = 3*z + 9, -3*a = -5*z - 40. Let o be 7/(28/(-88))*(-9)/18. Suppose -o*s + 17 = 50. Is s at most z?
False
Let t(b) = b**3 + b**2 - 4*b + 9. Let j be t(0). Suppose j*u - 135 = 14*u. Is u at most -27?
True
Suppose 120 = -36*p + 30*p. Let l be -4*1*9/(936/p). Which is greater: -1/2 or l?
l
Let a = -13011 - -13188. Is a at least -22?
True
Let y = -4368 - -21772/5. Let g be 2 + (-5)/(-4) + (-162)/(-216). Suppose -g*m = 18 + 34. Which is greater: y or m?
m
Suppose 3*w + 5*i + 46 = 0, 2*w + 13*i = 11*i - 32. Let z = -14 + 80. Suppose -5*y + 3*s + s = 78, -z = 4*y - 5*s. Is y greater than or equal to w?
True
Let c = 175 - -390. Suppose -4*a + 93 = c. Let z = 467/4 + a. Is 1 >= z?
True
Let y = -952 + 645. Let h = 225 + y. Which is smaller: h or -83?
-83
Let p = -5.19 + 5.19. Let u = -11/361 - -137/3249. Is p greater than or equal to u?
False
Let h(l) be the first derivative of -3*l**2/2 - 8*l + 66. Let a be h(2). Which is greater: a or -2?
-2
Let m be 30/1884*(-16)/5. Is m bigger than 1?
False
Suppose 0 = 3*h + 5*z - 19, 34*h - 3*z - 3 = 31*h. Is -1038 smaller than h?
True
Suppose 9*w - 2*j = 0, -2*j = 2*w + 2*j. Let t = -68234/2489 + 520/19. Which is bigger: w or t?
w
Let k be -1 - ((-8463)/(-49) + -5). Let d = 169 + k. Are d and 3.6 equal?
False
Suppose -270*k = -128*k - 77532. Which is bigger: k or 545?
k
Let y = 3.2 + -3. Let i = 383 - 371. Let p be -5 - (-230)/69*i/10. Is p > y?
False
Let f = 0.12396 - 0.03396. Is 1.94 greater than or equal to f?
True
Let r = -370 - -385. Suppose 5*d = -25, d - 3*d + 10 = -5*a. Let y be 2/(-4) + a/(-8). Is y greater than r?
False
Suppose 4*r - 16 = -4*r. Let u be 9 + ((-3)/(-9))/(r/(-6)). Suppose 0 = u*v - 13 - 3. Is v >= 8/3?
False
Let w = -16.046 - -16. Let y = 233 + -233.106. Let c = y - w. Which is bigger: c or 2/11?
2/11
Let n = 0 + 4.3. Let y = n + -0.5. Let z = -4 + y. Which is smaller: z or 1/11?
z
Let v = 1.152 + 0.021. Let h = v + -0.943. Let x be (-2)/(-4)*1/(-2). Which is smaller: x or h?
x
Let i = 56 - 57. Let o be -5 - (-5 - (i - 0/(-2))). Is -1/29 not equal to o?
True
Let n = -4364 + 4363.92. Which is greater: -49/4 or n?
n
Let z = -712 + 714.9. Which is bigger: z or -46?
z
Let d = -0.726 + -6.564. Is d less than or equal to 1?
True
Let c = 2/43307 + 12948733/1299210. Let l = 54/5 - c. Is l > 2?
False
Let c = -24.84 + 25. Let p = -0.03 - -0.43. Let l = 1.4 - p. Is l greater than c?
True
Let g = -7603 + 4896. Which is smaller: -2708 or g?
-2708
Let k be ((-12)/(-18))/((-2)/(-873)). Let b = -3787/13 + k. Which is smaller: b or -1/6?
b
Let h = -25741 + 25841. Is 73 greater than h?
False
Let a be (-45)/54 + 420/216. Let u(o) = o**3 + o**2 - o + 2. Let w be u(0). Do a and w have different values?
True
Let r be (-10)/(-6) + 6/(-9). Let c(i) = i**2 - 1. Let n be c(1). Suppose 2*j - 4 = -n*j. Is j at least r?
True
Let q(i) = 5*i**2 - 26*i + 326. Let p(t) = 3*t**2 - 12*t + 163. Let o(d) = 7*p(d) - 4*q(d). Let a be o(-23). Which is smaller: a or -90?
a
Let p = -6/231511 + 100641349/8102885. Let y = -62/5 + p. Is y bigger than