Let b be (5/(-2))/(66/132) + (-338)/(-63). Is b greater than or equal to 0?
True
Let m = -2336 - -1465. Is -874 > m?
False
Let v be -36 + (0 - -3) + -1. Let o = -7013 + 6975. Which is greater: v or o?
v
Suppose 0 = 4*l + 513 - 493, -16 = -j + 3*l. Which is greater: 42/671 or j?
j
Let l = -285383.883 - -285263. Let i = l - -121. Let n = 25.117 - i. Is 1 > n?
False
Let w = 5.54 - -1.46. Let d = 0.12 - 0.3. Let m = 0.08 + d. Is w greater than or equal to m?
True
Let g be (-42)/28 + (-7)/(-4). Let t = 1507 - 27127/18. Is g at least t?
True
Let p be 203/(-29) + (5 - 4)*2*3. Let l = -191 - -514. Is p at most as big as l?
True
Let q = 16496 - 15877. Which is bigger: -1 or q?
q
Let t(k) = 6*k + 14. Let o be t(3). Let z = -28 + o. Which is bigger: z or -10?
z
Let s = 847/4810 - -3/185. Let g = 111/442 - s. Is -1 at least g?
False
Let t be 12 + 12/(-2) - (4 + -1). Let b(c) = -888*c + 0*c**t + 4*c**2 + 3 - c**3 + 884*c. Let r be b(2). Which is greater: 4 or r?
4
Suppose -4*p + 105 = -3*b, -3*p - 5*b + 227 = 170. Which is bigger: 254/11 or p?
p
Suppose -542 = -18*c - 775 - 883. Let z(g) = -g**3 - 2*g + 1. Let h be z(1). Is c bigger than h?
False
Suppose 0 = -4*i - 430 + 378. Let v be (0 - 0)/(13 + 156/i). Which is bigger: 4/35 or v?
4/35
Let h = -304146575/1351 + 225127. Let u be (-2 + 1)/((-1)/(-1)). Which is bigger: u or h?
h
Suppose 159 = 2*s - 2*p - 109, -10*p = 2*s - 208. Is s equal to 18?
False
Let j be 1 + 0 + 14/(-10). Let l = -22/2857 + -2703/19999. Do j and l have different values?
True
Let g be (-3051)/(-8) + 954/(-2544). Which is greater: -5 or g?
g
Let y be 0/(2/6*3). Let s = 150 + -122. Let x be 94/(-180) - (s/(-8))/7. Which is bigger: y or x?
y
Let p be (-59)/(-90) - ((-20)/(-150))/(4/18). Which is bigger: -16 or p?
p
Let q(a) = -a**2 - 58*a + 120. Let z be q(2). Which is bigger: 3/113 or z?
3/113
Suppose 136 + 236 = -22*l - 46. Which is bigger: l or -61/3?
l
Suppose -3*m - 9 = 0, 8 = -5*f + 4*m + 20. Suppose 5*h - 49 + 69 = f. Let x be 4/(-16) + (-2)/h. Which is smaller: 2 or x?
x
Let u = 4209/13 + -324. Let h = 0.16 - -2.84. Which is smaller: u or h?
u
Let z = 33737.8355 + -33731. Let m = z - 0.0355. Which is smaller: -0.1 or m?
-0.1
Suppose 529 + 1811 = -13*k. Let s = -179 - k. Is s less than -9/26?
False
Suppose -36762 = 78*i + 52392. Which is bigger: -1146 or i?
i
Let t be ((-6)/72*8)/(-1 - 0). Does t = -36?
False
Suppose -33*t + 6046 = -3227. Is 289 not equal to t?
True
Let w = 5081 - -1787. Is w greater than or equal to 6871?
False
Let w = -307.75 - -102.75. Is 0.2 less than or equal to w?
False
Let l(p) = 3*p**2 + 3 - p**3 + 43*p + 0*p**2 - 40*p - 13. Let c be (-7)/((-56)/20)*2. Let n be l(c). Is n bigger than -44?
False
Let j = 9.2 + -24.2. Let f = -3 - -1. Is f >= j?
True
Let j = 6/139435 - 30551/3950332985. Is j equal to 0?
False
Let q be 99/2 + 4 + 40/(-16). Suppose 2*m - 2*y - 3 = -3*y, 0 = 3*m + 5*y - 15. Suppose 4*x = 4*p - 188, m = -5*x + 24 + 1. Which is smaller: q or p?
q
Let f be (-42)/(-182) + (-21560)/93145. Which is bigger: -1 or f?
f
Let l(j) = -57*j**2 + 6*j + 2. Let o be l(2). Let w = -188 - o. Does w = 24?
False
Suppose -452*x = -116*x + 409756 + 141956. Is x less than or equal to 3?
True
Suppose 0 = 2*g + 3*n + 28, -5*g - 2*n = -3*g + 28. Let f be (-6708)/42 + 4/g. Let x be 40/7 - (f/(-28) + -6). Are x and 4 equal?
False
Let j be (216/70)/((72/(-45))/(-4)). Let i = -2949/385 + j. Is i smaller than 0?
False
Let z(m) = -22*m - 1. Let n be z(1). Let k = 28 + n. Suppose -3*p - k*j + 10*j - 88 = 0, 0 = p + 4*j + 1. Is p bigger than -22?
True
Let h(l) = 8 - 6*l + l**2 - 4*l + 9 - 3*l. Let f be h(14). Suppose 0 = -v - f + 30. Is v greater than or equal to -28?
True
Suppose f - 35 = -29. Let m be (3 + 68/(-28))*(-39)/f. Let d(v) = -v**3 - 6*v**2 - 5*v - 3. Let x be d(-5). Which is greater: m or x?
x
Let s(a) be the second derivative of -a**4/3 - a**3/3 - 13*a**2/2 - 5*a - 2. Let g be s(0). Which is smaller: g or -14?
-14
Let p = 0.0559 + -14.0559. Is p equal to 1/18?
False
Let f = 259 - 284. Let h be 49/35 - (-10)/f. Which is smaller: h or -2/145?
-2/145
Let q = 3 + -1. Suppose -q*m + 4*i = 38, i - 5*i - 38 = 2*m. Let o = m - -21. Which is bigger: o or 1?
o
Let w = 434 - 423. Suppose 5*s = -4*a + 3, -5*a + w = s - 2*s. Is 29/16 not equal to a?
True
Let c(f) = -f**3 + 23*f**2 - 2*f + 2. Let q be c(23). Are q and -17 non-equal?
True
Suppose 12*n - 8*n = 116. Let g = -1157 - -1187. Which is greater: g or n?
g
Suppose -4 = -13*w + 17*w. Let r be (w + 12)*18/(-18). Is -6 <= r?
False
Let g be (-3)/9 + (-6)/9. Let t = 10641 - 10625. Which is bigger: g or t?
t
Let p(f) = f**3 - 31*f**2 - 49*f + 528. Let k be p(32). Is k less than 19/14?
True
Let h = -0.5 - 12.1. Let c = 12.8 + h. Is c greater than 0.9?
False
Let a = 4428 + -30993/7. Which is smaller: a or 13.7?
a
Let n = -126858.1 - -126858. Suppose 7*m - 3*m = -8. Let y be (7/(-63))/(1/m). Which is smaller: n or y?
n
Let i = -1871 + 721. Let t = -1149.9 - i. Let x = 15 + 28. Which is smaller: t or x?
t
Let v(x) = x**3 - 34*x**2 + 195*x - 9. Let s be v(25). Is -759 at least as big as s?
True
Let p(c) = c**3 + 42*c**2 + 210*c + 125. Let h be p(-5). Suppose 70 = -5*n - 0*n. Let v be (3/n)/(5/10). Which is bigger: h or v?
h
Let x = 134 - 135. Let d be x/(-4)*(-12 + 16). Let c be (-1)/50*(-6)/15. Which is smaller: c or d?
c
Let q(g) = -g**3 + 6*g**2 - 6*g. Let v be q(5). Let b(n) = 14*n + 65. Let w be b(v). Let s = 5 + -10. Is w less than or equal to s?
True
Let r = 4519.218 + -1.218. Which is greater: -1 or r?
r
Let w = 157.7 - 155. Let r = w - 2.6. Is -1/10 bigger than r?
False
Let q be -1*-4*1/1*-3786. Let t be q/528 - ((-10)/12 - -1). Let s = t + 318/11. Is s < -1?
False
Suppose 0 = -3*b - 4*f + 55, -3*f = 5*b + 2*f - 85. Suppose 2*s - 3*t = 10, 0*s + b = 3*s - 4*t. Is 6/61 at least s?
True
Suppose 46 = 3*b + 5*v, -b + 2*b - 20 = -4*v. Suppose -4*h = -5*p - 539, b = -4*h - 4. Which is smaller: -112 or p?
-112
Let p be (-9 - -278)*(-1)/1. Suppose -s - 41*o + 37*o - 275 = 0, -3*o = -s - 268. Does s = p?
False
Let c = -712 + 1027. Let x be (-51480)/c + 4/(-7). Which is greater: -165 or x?
x
Let y be 2/8*2 - ((-65)/(-26) + -3). Which is smaller: 4/355 or y?
4/355
Let y(p) = p**2 - 26*p - 26. Let n be y(27). Let i be -3 + 284/56 + n + -3. Suppose 3*r + c = r, -2*c = 5*r. Is i smaller than r?
False
Let x be 2/3 - (-62)/6 - 0. Let h be 5*(-72)/(-200)*5. Is x greater than h?
True
Suppose -25*z + 66*z - 619 - 119 = 0. Suppose l - 4*k = k + 30, 4*k = -5*l + 92. Which is smaller: z or l?
z
Let o = 15.5 + 6.5. Let w = 49/2 + -25. Let t = w + 2/3. Is o not equal to t?
True
Suppose -5*g = -s + 633, 2*s + 3*g - 881 = 411. Which is greater: 638 or s?
s
Suppose 5*j = -3*a + 46, 4*j + 5*a - 24 = 5. Let d = -11 + j. Let v be 96/(-128) - (-6)/16. Which is smaller: d or v?
v
Let y be 48/(-64)*(8/1062)/(-2). Let x = -2131/2478 + y. Let b = 1 + -2. Which is greater: b or x?
x
Suppose -c + 107 = -2*y, 29*c - 5*y - 416 = 25*c. Let z = 104/3 + -35. Is z less than c?
True
Let p(l) be the first derivative of -2*l**2 + 22*l - 6. Let o be p(4). Suppose -8*a - 4 = -o*a. Which is greater: -3/2 or a?
-3/2
Let y = 2 + -3. Let d = 13131.5 + -13121. Is d != y?
True
Let n(v) = 75*v**2 - 1. Let p(q) = 76*q**2 - 1. Let d(m) = 3*n(m) - 2*p(m). Let w be d(-1). Let i = w - 289/4. Which is smaller: i or 2.8?
i
Suppose -22*o + 339 = -25*o. Let z = o - -113. Is -1/158 greater than z?
False
Let w = 10051 + -10056. Is w at most as big as -8/93?
True
Let z = -33486 + 33485.8. Is -1054 != z?
True
Let q = -19813 + 25673. Is 5861 not equal to q?
True
Let k = 43.1708 - -0.8292. Which is smaller: -0.063 or k?
-0.063
Suppose 5*t - 5 = 5*m, -4*m = -17 + 1. Suppose t*g + 328 = x, -2*g + 5*g = 5*x - 1662. Is x bigger than 333?
False
Let u = 10 - 8. Let c(b) = -41*b**2 + b. Let a be c(u). Is a smaller than -161?
True
Let j = 13/135 - 3383/1485. Is -0.181 >= j?
True
Let h = -503881/44 - -11452. Which is smaller: -1 or h?
-1
Let z(r) = -71*r**3 + 3054*r**2 - 42*r - 44. Let s be z(43). Is s at least as big as -52/205?
False
Let q be (-5936176)/494680 - -7 - -5. Is 1 at most q?
False
Suppose 646833 = 69*m + 563*m - 71*m. Is 1155 at least as big as m?
True
Let u = 146379/3619 - -122/329. Is u < 40?
False
Let o = -4993/4 + 74927/60. Let 