2))/(((-12)/o)/i). Are t and -17 non-equal?
True
Suppose 199 = -13*o + 1135. Let c be (-32)/o*-18*(-1)/(-326). Do c and -1 have different values?
True
Suppose -3*c - 45 - 24 = 0. Let z be (((-6)/(-9))/((-3)/c))/(-5). Let r = 2/9 + z. Is r >= 2?
False
Let f = 60.037 - 0.037. Let t = 59.9 - f. Which is greater: t or 5/9?
5/9
Let a be ((-2527)/(-28) - -5)*(-8)/(-3). Let b be a/63 - (-7 - (-2 - 9)). Which is smaller: 1 or b?
b
Let g(t) = t**3 - 8*t**2 + 2*t + 1. Let i be g(8). Let k be 1057/119 + 2/i. Are 9 and k equal?
True
Let i be (7 - -2) + -225 + (7 - 20). Is -234 greater than i?
False
Let d = -25763/8 + 3222. Which is bigger: d or 2?
2
Let v = -4/21 - -31/273. Let n(k) = -k**3 - k**2 - k - 1. Let b be 10/15 - (-2)/(-3). Let m be n(b). Which is smaller: m or v?
m
Suppose -5*n - 5 = -0. Suppose -6*b + 72 = 12*b. Let t be 154/(-33)*b/(-48). Is n bigger than t?
False
Let n = 161957 - 805954/5. Are 765 and n non-equal?
True
Let l(k) = -k**2 - 4*k + 5. Let t be l(-4). Suppose -5*q = u + 4, 2*q - 8 = 2*u - 0*u. Let r be 1 + t - (1 - 8/u). Is 0 smaller than r?
True
Let p = -4980 + 4979.959. Which is smaller: 26 or p?
p
Let t(r) = -13*r + 33 - 5*r**2 + 40*r**3 - 39*r**3 - 4*r**2. Let x be t(10). Let v be (6/10)/(6/16). Is x at most as big as v?
False
Let j be (45 - (-7536)/(-168))/(-43*79). Which is smaller: 0 or j?
j
Let k be (2/(-3))/((-1694)/99). Let o = 16916 + -16915. Is k at least as big as o?
False
Let s(l) = -25*l**2 - 2*l - 2. Suppose 3*y = 2*k + 11, -6*y + 1 = 5*k - 4*y. Let b be s(k). Is -183/7 at least as big as b?
False
Let h be (-17103)/(-153) + 24/72. Suppose 60 = 5*r - 5*d + 610, -4*r = -5*d + 438. Let u = h + r. Is u smaller than -5?
False
Let a = 1867 + -1956. Is a at most as big as -91?
False
Let f = 225 - 314. Let u = -91 - f. Is 33/2 greater than u?
True
Let u = 3836/498385 + -24/1315. Let f = u - -1501/34489. Is f at most 0?
False
Let m = -128086/9 - -14252. Is m bigger than 19?
True
Let u = -7121/2 - -49170513/13810. Is u < -1?
False
Let b(t) = -24*t - 109. Let l be b(-7). Let q = -118 + l. Is q greater than -57?
False
Let n(q) = 23*q**2 - 7*q - 14. Let m be n(-2). Let f = 59367/8 + -1141953/152. Let t = f + m. Is 0 >= t?
False
Let v(d) = d**2 + 19*d - 348. Let w be v(-33). Are 455/4 and w nonequal?
True
Let l be (36/(-3) - -6 - 6) + 6/2. Let p = -0.08 - 0.02. Which is smaller: p or l?
l
Suppose 0 = 890*k - 902*k + 12. Is 3002 less than k?
False
Let d be 279/(-22) - 4/(-22). Let f(r) = -r**3 - 3*r**2 - 2*r + 2. Let q be f(-2). Suppose q*o + 33 - 5 = 0. Which is bigger: o or d?
d
Let p(w) = w**3 - 27*w**2 - 27*w + 40. Let a be p(28). Let g be 1 - -2 - (-2 + 332/a). Which is bigger: -18 or g?
g
Let v be (-10)/2 - 670/4*-2. Let m be v/770 + 6/(-14). Is m >= 3/571?
False
Let u = -154.15 - -1.15. Let x = -4.56 - -6.56. Are x and u unequal?
True
Suppose 0 = 5*d - 103*r + 105*r - 7317, -4*r + 2914 = 2*d. Is d at least 1473?
False
Let z(v) be the first derivative of -v**4/4 - v**3 + 3*v**2/2 - 3*v - 3. Let u be z(-4). Let f be u/2*(3 - 5). Which is greater: f or -0.9?
-0.9
Let r be (-8 + 0)/((-1)/1). Let m be 0*4*1/r. Is m greater than -52?
True
Let i be -1 + 3 + -2 - (-5 + 2). Suppose -i*t + 1 = 1. Suppose t = 3*w - 42 + 6. Which is bigger: w or 51/4?
51/4
Suppose -t + 2*r + 4081 = 0, 3*t + 605 = r + 12853. Is 4082 at least as big as t?
False
Suppose -g = -0*g. Let z = -177 - -188. Suppose 12*c - z = 13. Do g and c have different values?
True
Let r be 13 + (-869)/66 - (-285)/414. Let i = -2 - -2. Do i and r have the same value?
False
Let w(g) = -g**3 + 7*g - 6. Let h be w(2). Suppose -3*f + 2*j + 0 + 11 = 0, -3*f + 4*j + 7 = h. Which is bigger: 4 or f?
f
Suppose a - 9*a - 48 = 0. Let x = -496597/5 + 99666. Let b = 341 - x. Is b at least as big as a?
True
Let f be (5/((-8100)/(-4865)) - (-3 + 9)) + 3. Which is smaller: 1.1 or f?
f
Suppose 2 - 3 = -g, -4*k - 5*g + 661 = 0. Suppose 4*z = k + 16. Let n = z + -41. Are 18/5 and n unequal?
True
Let p = 0.77 - -11.23. Let x = -10 - p. Let f = 24 + x. Which is bigger: 17 or f?
17
Let p(b) = -44*b - 507. Let s be p(-10). Let a be 2*(159/6 + 1). Let f = s + a. Which is bigger: f or -14?
f
Suppose 3*s = -2*l - 117, 17*s - 15*s + 2*l = -80. Let c be (-2 - -2)/1 + -23. Let y = c - s. Are 13 and y unequal?
True
Suppose -43*w + 44*w = -3*z - 4, 4*z - 8 = -4*w. Suppose -22*g - c + 6 = -25*g, 3*g = -w*c + 12. Which is smaller: g or -16/35?
g
Let f be (304/(-48))/(((-2)/1)/(-12)). Let z = 44 + -83. Do z and f have the same value?
False
Let x be ((-664)/7920*-3)/(-1 + 10/6). Which is smaller: 1 or x?
x
Let l(u) = u**2 + 246*u + 14457. Let y be l(-97). Let s = -3744 + 41231/11. Are y and s unequal?
True
Let v = -11689 + 8527. Which is smaller: -3160 or v?
v
Let k = 71 - 71.052. Let l = k - -0.452. Let s = 0.02 - 9.02. Is l at least s?
True
Let b = 1 + 4. Suppose j + b = 3. Suppose 3*i - 7*i - 5*c = -5, -3*i + 2 = 2*c. Is i greater than j?
True
Let b(u) = -137*u - 1517. Let z be b(-10). Which is smaller: -2510/17 or z?
-2510/17
Let i be 10 + -21 + 42/3 + -5. Is i at least as big as -1.023?
False
Suppose -4*k = 7*k - 275. Suppose -3*o - 22 = -k. Is 2/145 bigger than o?
False
Let r(w) = -w**3 - 29*w**2 + 26*w - 114. Let q be r(-30). Let z be 3*q/12*2/(-3). Let n be (-3)/(44/(3 - 2)). Is z < n?
True
Suppose 2*t = 3*s + 396, -30*s - 3*t + 529 = -34*s. Is s bigger than -142?
True
Let l = 45.882 + 12.118. Is l less than 41?
False
Suppose 0 = 5*u + 4*f + 529, -2*u + 0*f = 2*f + 210. Let y(m) = -108*m - 1. Let v be y(1). Is u less than or equal to v?
True
Let h = 393 + -355. Suppose -6*t - 196 = -5*b - 5*t, b - 4*t = 24. Which is smaller: b or h?
h
Let q = 0.0206 - 11.5806. Let y = q - 0.44. Let r = 16 + y. Is 4 bigger than r?
False
Let j = 21 - 15. Let k be (-5*(-2)/10)/(2/j). Suppose 0 = -4*z - 4*z + 40. Is k >= z?
False
Let q = 336/23 - 21397/1334. Is q at least -2?
True
Let k = -1131115/5543 + 4696/23. Is 1 at least k?
True
Let t be -1*2/(-11) + 336/88. Suppose 2*r = -t*r. Suppose 2*c + 4*l + 0*l - 94 = r, -c + 33 = -5*l. Which is greater: 42 or c?
c
Let o = -6 + -202. Let k = o - -208.3. Which is bigger: 21/8 or k?
21/8
Let l = 104216/8785795 - 30/2417. Do 0 and l have different values?
True
Let y = -24 - -34. Suppose 2*l + 15 = -v - y, -l - v = 11. Suppose 9*b = 38 - 146. Does l = b?
False
Let r = 4951/7 - 232109/329. Which is bigger: -1 or r?
r
Let b(y) = 5*y**2 - 12*y + 34. Let u be b(6). Let s = u - 101. Let v = 65 + -24. Is s equal to v?
True
Let z(v) = 176*v**2 - 694*v + 14. Let h be z(6). Is h greater than 2193?
False
Let z = 36.43 + -45.43. Do z and 17 have the same value?
False
Suppose 2*u = -5*r - 835, 4*r - 167 = 5*r - u. Which is bigger: r or -1178/7?
r
Let w be ((-3)/9)/(1/(-33)). Let j = -934520/7 + 133513. Is w greater than or equal to j?
True
Let v = -25 - -28. Suppose v*b = 3*b - 8*b. Suppose g - 2 = b, -g = 4*m + 3 + 3. Which is bigger: -4/5 or m?
-4/5
Let u(w) = w**3 - 12*w**2 + 10*w + 11. Let f be u(11). Suppose -3*t + 6*t = f. Let m = -34287 + 4285873/125. Is m > t?
False
Let s be 180*20/(-15)*2. Let v = s + 479. Is -37/23 greater than v?
False
Let d(t) = t**3 + 22*t**2 - 11*t + 10. Let b be d(-23). Let o = 261 + b. Which is greater: 2 or o?
2
Let o(y) = -y + 19. Let u(l) = -22*l - 5 + l**2 - 1 + 17*l. Let i be u(5). Let w be o(i). Do w and 24 have the same value?
False
Let f(d) = 2*d + 16. Let p(t) = 149 - 265 + 130 - 3*t. Let y be p(9). Let h be f(y). Is h at least as big as -5?
False
Let x = -34 - 174. Let r be x/6*(-528)/(-64). Which is greater: -287 or r?
r
Let q = 104455 - 103994.37. Let c = q - 461. Which is smaller: c or 0?
c
Suppose 3*v - 2*v = -3*u + 4, 4 = v. Suppose -2*n + 5 = -n, -f + 3*n = u. Let c = f + -22. Which is bigger: -6 or c?
-6
Let b = -452 - -452. Let t = -1672405/297 - -5631. Which is bigger: t or b?
t
Let u be 4*(0 - -1) + 30677471. Let x = -14172999257/462 + u. Let r = 138/11 + x. Which is greater: r or -1?
r
Let z = 84259.16 + -84259. Let r = -7/328 - -6/41. Which is smaller: r or z?
r
Let h be 1 + 2 - ((-36270)/(-81) + 5). Which is bigger: -451 or h?
h
Let k = 3.8 + -3.89. Let c = 680 - 631.92. Let j = c + -48. Which is smaller: k or j?
k
Let i = 333.6 - -33.4. Let j = -369 + i. Which is smaller: j or 11?
j
Let l be (-3)/2 - ((-15455)/22 + -7)/3. Which i