*o - 15*o. Let g be i(10). Is g > 117?
True
Let q = 3106 - 3116. Which is bigger: 173 or q?
173
Let p be ((-135)/12)/(2/16). Let y = 73492 + -73491.7. Is y < p?
False
Suppose -4*f + 4372 = 2*o, -10909 = 21*o - 26*o - 3*f. Is 0 not equal to o?
True
Let z(o) = 10*o**2 + 71*o + 105. Let g be z(-5). Is g less than or equal to -1/4059?
False
Let h(f) = -f**2 + 14*f - 32. Let n be h(3). Suppose -4*u + 3*u = 3*w + n, 0 = 4*u - 2*w + 4. Which is greater: 2/137 or u?
2/137
Let d be (12188/3050 - 1) + 9717/(-3239). Are -1 and d equal?
False
Let c be (1 + -2)*-1 - -45*1. Let o = 33 - c. Let l be (-3 + o - -4) + 3 + 0. Which is greater: l or -31/4?
-31/4
Let f be 4/3 - (32/(-6))/(-16). Let x be (3/(-501))/(13/39). Is f at most as big as x?
False
Let u be (183/(-122))/(0 + -53643). Which is bigger: -1 or u?
u
Let o = -921 + 40503/44. Let r = o - 3/44. Let d = 15 - 17. Are d and r nonequal?
True
Suppose -43*b - 33*b + 306 = 26*b. Which is smaller: b or -7.65?
-7.65
Let j be (-5)/30*40*-18. Suppose 27*o = j - 822. Is -0.9 less than o?
False
Suppose c - 3*i - 27 = -0*c, 3*i + 6 = 0. Let u be (-2)/4*(c + -29). Suppose n - s - 3 = 0, 0*s - 3 = -3*s. Is u != n?
False
Let l(y) = -6*y - 99. Let o be l(19). Let u = o + 215. Which is smaller: u or -0.03?
-0.03
Let l be 81/108*-1 - (-23553)/12. Do 1963 and l have the same value?
False
Let t = -22943 - -29902. Is 6959 greater than or equal to t?
True
Let p be 5 + (3 + 0 - 6). Suppose -6*b = 4*z - p*b, 4*b = 3*z + 21. Which is smaller: -56/19 or z?
z
Let a be 1407182/2988 - 2/(-36). Is a less than or equal to 467?
False
Suppose 5*r = 3*a + r + 22, 5*r - 12 = -4*a. Let h be (-3)/(1 - a)*84/(-12). Is h bigger than 7?
False
Let d(y) = -13*y**2 - 62*y - 196. Let g be d(-3). Are g and -127 unequal?
False
Suppose 186 = -d - 2*a, 6*d - 10*d - 796 = -5*a. Let h = d - -225. Is 30 < h?
True
Let d(h) = -143*h**2 - 12*h + 32. Let v be d(4). Let w be 1545/v - 14/(-21). Which is bigger: w or -1?
w
Let k = 213 - 34. Let l = k + -124. Let t = l + -89. Which is smaller: t or -2/7?
t
Let i(l) = 2*l**2 - 34*l + 3. Let t be i(17). Suppose d = y - d - 5, 6 = -t*d. Is y at most 3/11?
False
Let g = 4.05 - -4.35. Let l = 3.8 + -12.3. Let b = l + g. Is -56 >= b?
False
Let b be (-6)/((4/(-3))/2). Suppose -5*w - 3*p - 60 = -5, -p = w + b. Let t be 4*((12 - 4) + (-15 - -3)). Which is smaller: t or w?
t
Let d(m) = m**2 - 19*m + 15. Suppose -7*a - 121 = 61. Let g = 44 + a. Let c be d(g). Which is smaller: -20/9 or c?
c
Let j = 10022 + -9786. Which is smaller: 1/18 or j?
1/18
Let x(n) = -26*n + 714. Let r be x(32). Is r greater than -119?
True
Suppose -4*l - 126 = 3*w - 25, 0 = w - l + 36. Let v(g) = -3*g**2 + 207*g - 437. Let p be v(67). Does p = w?
True
Let q be ((-15)/(-10))/(3/4). Suppose 5*g - 18 = -2*l + 5*l, 5*l + q = -g. Let o be g/462 - 2/14. Which is smaller: o or 1?
o
Let g = -663 - -662. Is -3/3172 bigger than g?
True
Let b be -1 + ((-43)/(-19) - 1). Let o(q) = -q**2 - 3*q - 3. Let c be o(-1). Which is greater: b or c?
b
Let v = -0.01 - 1.84. Let y = 2.76 + v. Let a = 0.09 + y. Which is bigger: 1/7 or a?
a
Let d = -7151 - -7150.8. Is d equal to -1517?
False
Let q = 5669560/2903 - 1953. Are -1 and q nonequal?
True
Let a be (-2)/(-11) - (-69145)/18095 - 4. Let r = a - 283/329. Suppose 0 = 4*y + 2 + 2. Which is bigger: r or y?
r
Let f be (-12)/4 - (1 + -10). Suppose -f*v + v = -15. Suppose 4*b = 3*d - 4 + 12, v*d + 2*b = 4. Which is greater: d or 2/33?
2/33
Suppose 2*t + t + 5*g - 1249 = 0, 5*t + 3*g - 2055 = 0. Let z be (-8)/6*(-22950)/t. Which is greater: 77 or z?
77
Suppose -y + 2*c = -1, 0*c + 5*c - 1 = -y. Let u be (-4)/18*63*(-62)/5208. Are y and u unequal?
True
Let b(v) = -v**3 - 5*v**2 - 6*v - 5. Let p be b(-4). Let x(y) = 2*y - 3*y - y**2 + 12 - p*y + 3*y. Let g be x(-7). Does -30 = g?
True
Let m = 10 - 6. Let v(h) be the first derivative of 3*h**2 + 63*h + 132. Let x be v(-10). Is x < m?
True
Let o = -200 - -200.109. Let g = 0.222 - o. Is g >= 1?
False
Let f = 746 - 579. Let r = -65 - -66. Which is smaller: r or f?
r
Let t = 419 - 1. Let x = t - 27171/65. Which is smaller: 1 or x?
x
Suppose -9284*h = -9304*h + 20. Is 1/1314 greater than h?
False
Let b = 11 - 6. Suppose 5 = 15*l - m, 401*l - 4*m = 400*l + 20. Is b < l?
False
Let a = 29040/113 + -257. Let h(c) = 46*c - 322. Let r be h(7). Is r at most a?
False
Suppose -23*t = -14*t + 30*t + 132132. Is t bigger than -3387?
False
Let j = 365 - 363.33. Let t = j + 2.33. Which is bigger: t or 2?
t
Let f(x) = x**2 + 11*x + 900. Let l be f(-52). Is l at most 3032?
True
Let h = 295 + -520. Let v = h + 127. Let g = 93.7 + v. Is 2/3 less than g?
False
Suppose 0 = 5*m + 2*a - 15, -13*a + 17*a + 5 = -3*m. Let j be 33/m + (14/(-5))/(-7). Which is greater: -4/17 or j?
j
Let o(a) = -2*a**2 + 283*a - 4497. Let q be o(18). Does q = -143?
False
Suppose -28*g + 8 + 43 = -229. Which is greater: 337/35 or g?
g
Let h = 8 + -4. Let n be ((-54)/(-40))/(h + -11). Let l = n + -2/35. Is 1 at most l?
False
Suppose 9*t - 6*t - 111 = -j, 5*j = 2*t - 91. Is 83 less than t?
False
Suppose -l + 625 - 3644 = 0. Let o = l + 353225/117. Is o equal to 0?
False
Let u be (-20)/12 - (-48)/26. Let w be (-22)/(-26) - 1*(-1)/(-1). Let z = w - u. Which is smaller: -2/3 or z?
-2/3
Let p be 3/18 + 11/6. Let r be 84/(-1)*p/(-4). Let a = 40 - r. Which is bigger: a or 0.05?
0.05
Suppose 64 = -3*k + 3*d - 35, 5*k + 4*d + 120 = 0. Suppose 9*w - 448 = 25*w. Is k at least as big as w?
True
Let c be 89 - (-97 - -189) - ((-29)/(-9))/(-1). Which is bigger: c or -1434?
c
Let g = -50.1 - -50.702. Let u = g - 0.65. Let m = u - -2.048. Which is smaller: 1/16 or m?
1/16
Let t = -273 + 751. Let g = t - 490. Suppose 2*q - y - 2*y = -39, y - 65 = 5*q. Is q at most g?
True
Let c = 24137 - 143665/6. Is c equal to 194?
False
Let j = -29.5 - -5.4. Let t = -23.5 - j. Which is bigger: t or 11?
11
Suppose -7*j - 568 = -9*j. Let r = j - 248. Which is bigger: r or -1/3?
r
Suppose -j + 201 = -501. Suppose 10*s = 4*s + j. Suppose -4*l + 3*f + s = 0, 0 = 3*l + 3*f + 6 - 78. Which is smaller: 28 or l?
l
Let g = 3834 + -4133.9. Let y = g - -301. Which is smaller: y or -15?
-15
Let u be (-3)/((-9)/438*1). Let f = -120 + u. Suppose f*w - 27*w = 69. Is w smaller than -70?
False
Suppose 367 = 5*x - 23. Suppose -95 = -4*k + 221. Does x = k?
False
Suppose 0 = 12*n - 11*n - 1. Let v = -0.1523 - -0.0943. Is v != n?
True
Let w be (6/(-9) + 24/90)/((-121)/82995). Which is smaller: 273 or w?
273
Let o(d) = -16*d**2 - 2081*d - 132. Let m be o(-130). Is m at least as big as -5773?
True
Let k be (-5)/((-40)/(-6)) - (11 - (-6736)/(-64)). Is 94 greater than k?
True
Let p = -215.0405 + 215. Let b = p - 0.1595. Is b greater than or equal to -8/9?
True
Let i be ((-3)/45*-21)/(-6). Let p = -273 - -272. Is p != i?
True
Suppose -5*x + 33 - 13 = 0. Suppose f + 71 = -x*y + 23, 3*y = -3*f - 180. Suppose -2*r - 2*r = 3*d + 266, -4*d - 333 = 5*r. Which is smaller: r or f?
r
Let m = -1064 - -1074. Suppose -6*l - 12 = -4*l. Let a(c) = c**2 + 4*c - 1. Let v be a(l). Which is greater: m or v?
v
Let t be (-1)/(2/10*-1). Suppose 0 = 3*u + t*i + 47, 3*u - u = i - 53. Let z(j) = -23*j**3 + 4*j**2 - j - 3. Let x be z(1). Which is greater: x or u?
x
Let w be ((-10)/3)/((-3)/27). Suppose -6 + w = -a. Let n = -4 + -19. Is a < n?
True
Let w = 5229 + -5228.877. Is w bigger than -3/13?
True
Let x = -2195322253 - -72702487034939/33117. Let a = x + 72/133. Which is smaller: 1 or a?
a
Let h be 10 + 3*28/21. Suppose -11 = -b - 4*y, -h = -b - 0*y - 5*y. Are b and 3/13 non-equal?
True
Let i(t) = -t**3 - 18*t**2 - 75*t - 19. Let f be i(-6). Is f at least -33/28?
True
Let s = 436897/21 + -40994/7. Let z = -14780 + s. Are z and 169 nonequal?
True
Let v be (445/(-1602))/(20/42). Suppose 8 + 2 = 5*m. Suppose -5 = 5*j - 2*x, -j + 7*x - 24 = m*x. Which is smaller: v or j?
v
Suppose -1 = -7*f + 2*f + 6*f. Is f <= 2/781?
True
Suppose 3*g - 2*r = -10, 3*g + 0*r - 20 = -4*r. Suppose -b - 12 = -4*y - 7, -y - b = g. Is y < 9/49?
False
Let n = -187 - -161.7. Let j = n + -6.7. Let b = 0.1 + 0. Are b and j non-equal?
True
Let h be ((-14)/3)/((-815)/90 - -9). Suppose -h*o = -79*o. Which is smaller: 2/179 or o?
o
Suppose -4*u - 3*o + 37 = -74, -25 = -u + 2*o. Let l be (-252)/u*6/44. Let q be (6 - (-15)/(-3)) + -1. Are 