*r + 7*r - 34. Let j = -9 - -27. Is j > r?
True
Suppose 112 = -93*g - 124 - 229. Which is smaller: -53/14 or g?
g
Let u = 142.4 + -13.4. Let h = 128.916 - u. Let t = 56.084 + h. Is -1 < t?
True
Suppose -25 = -5*n - 395. Let u = 68 + n. Let c be (-2)/10*u*-5. Is c at most as big as 1?
True
Let v = 5129/20484 - 2/5121. Is 7482 equal to v?
False
Let k = 40 + -155. Let v be (-2)/(30/(-1731)) - -4*(-14)/56. Let j = k + v. Are j and -2 non-equal?
True
Let n = -10 + 52/5. Let b be ((-20)/8 + 2)*-2. Let y be b/(-3) + (-15)/(-45). Which is greater: n or y?
n
Suppose 0 = -115*o - 433840 - 128165. Which is greater: -4888 or o?
o
Let t be (-1)/(866/8*2). Let v = -98299 + 98300. Which is bigger: t or v?
v
Let z = -127016.797 + 126866. Let n = 0.203 - z. Is 1 greater than n?
False
Let t be 0/(-1) - -8*(-9)/1251. Suppose -17*i + 14 = -3*i. Do t and i have the same value?
False
Let o be 20/(1 - -3) - (-67 + 1). Suppose 69*z - o*z + 8 = 0. Which is bigger: 26 or z?
26
Let t be 2*4/(-8) - (-2 - 1). Suppose 4 = 6*k - t. Let s = 0.3 - 0.32. Is k > s?
True
Let i(c) = c**3 + 22*c**2 - c - 17. Let z be i(-22). Suppose 5*x + 55 = l, z*l + 3*x - 86 = 77. Which is smaller: 36 or l?
l
Let f be (-38)/8 - 76/304. Is f smaller than -74/17?
True
Let u be (3/(9/2))/((-2)/(-3)). Let h be 817/57*((1 - u) + 3). Let i be (-171)/(-4) - (-1)/4. Is h at least as big as i?
True
Let h be (676/286)/13 - (-52)/198. Suppose 0 = -5*a, 14*a - 10*a = s - 3. Which is greater: h or s?
s
Let o be ((-3166)/(-14))/(-8 - (-1791)/225). Let i = -5663 - o. Which is smaller: i or -10?
-10
Let w = -68 + 200. Let y = -112 + w. Which is bigger: y or 17?
y
Let r(y) = 13*y**2 + 136*y + 510. Let i be r(-4). Which is smaller: 172 or i?
172
Let l be (4/3)/((-32)/144). Suppose 0*w + a = 4*w - 18, -4*w = 2*a - 12. Suppose 0 = -4*d - 40 + w. Which is bigger: d or l?
l
Let d = 2929 + -3027. Is -91 greater than or equal to d?
True
Suppose 2*u = -5*b + 875, 3*b - 4*b + 2*u + 187 = 0. Let a be (3 + b/(-60))/(84/15). Is 0 != a?
True
Suppose -36*s - 25750 = -86*s. Is s bigger than 519?
False
Let u(g) = -g**2 - 4*g + 3. Let i be u(-5). Let x be (-540)/(-1350) - ((-133)/55 - -2). Is x < i?
False
Let w = -2174 + 2927. Suppose 2*k + 957 - 2465 = 0. Which is smaller: w or k?
w
Suppose 2*d - 5*y + 43 = 0, -33*d - 4*y - 16 = -31*d. Let j(q) = 27*q + 297. Let k be j(d). Is -76 at least as big as k?
True
Let u = -0.186 - -4.186. Let l = -24 - -24. Suppose 2*t + 0*t = -i - 17, 4*i + 4*t + 64 = l. Which is smaller: u or i?
i
Suppose 80 = 2*p - 6*p. Suppose 0 = -147*a - 2459 - 187. Is p >= a?
False
Suppose 0 = 3*r + r - 3*v + 248, 3*v + 165 = -3*r. Let x = r - -57. Suppose 0 = -3*z - o - 2, 0 = z + 3*o - 5 + 3. Which is smaller: z or x?
x
Let w = -130.6 + 133.347. Let n = -1.047 + w. Let z = -1 + 2. Which is greater: n or z?
n
Let y be 430/(-12)*(-4)/(28 - 8). Let w = -47/6 + y. Which is smaller: -2/175 or w?
w
Let t(f) = -5*f**3 - 8*f**2 + f - 18. Let x be t(-7). Is 1297 < x?
True
Let n be (-35)/(35*(-8)/56). Which is bigger: 466/67 or n?
n
Suppose 3*w = 7*w + 92. Let m = w - -35. Let l be m + -8 - (-30)/(-7). Do l and -1.2 have the same value?
False
Let x = 63996912 + -377581783857/5900. Let f = 9/236 + x. Is -1 at most f?
True
Let n = -32598 + 32598.1. Which is smaller: n or 1.063?
n
Let k = 427179408190/3303 + -129330731. Let d = -3/367 + k. Suppose -5*y + 8*h - 4*h = 0, 3*h = -5*y. Which is bigger: d or y?
d
Let q be -1*(1785/(-2664) - 6/(-9)). Let z = 1143 - 1143. Which is bigger: z or q?
q
Let m = -1410 - -870. Let d be (2/44)/((-10)/m). Is 1 at most d?
True
Let g be 3/((-30)/(-668)) - (24900/375)/83. Suppose -5*z - 2*w + 8 + 20 = 0, -5*z = w - 24. Let r be (-10)/(3*z/(-78)). Is g at least as big as r?
True
Let g = 2/89023 - -19496005/1424368. Are 14 and g non-equal?
True
Let l(i) = 4*i + 198. Let q be l(-20). Suppose -38*v = -97*v - q. Is v less than or equal to -30/11?
False
Let a = -124 - -123.76. Let v be 38/(-6) + 31 + -24. Which is bigger: a or v?
v
Suppose 5*q - 34 = -3*j - 9, 3*q - 4*j = -14. Let i be 110/10*(-11)/(-77). Which is smaller: i or q?
i
Let l = -1 - -11. Let x be 25 + -29 - (1043 + -1 - -2). Let a = -3115/3 - x. Is l > a?
True
Let b = 128 - 127. Let u be b/(453/114 + -3 + -1). Is u <= -35?
True
Let v(k) = 13*k**3 + 3*k + 2. Let h be v(-1). Let b be 36/28 + 4/h. Let i be 17/(-34) + (b/(-6))/1. Is -1 greater than or equal to i?
False
Let x be 7/((6/4)/((-24)/(-16))). Suppose 0 = 10*w - x*w - 54. Are w and 3 nonequal?
True
Let o(d) = -2873*d + 2872. Let l be o(1). Which is smaller: -6/917 or l?
l
Let a = 686/3 - 100153/438. Suppose 0 = 176*r + 75 - 43 + 144. Are r and a non-equal?
True
Let y(r) = r**3 - 100*r**2 + 286*r + 478. Let x be y(97). Is x at least -245/34?
True
Let u be 7/105*80/(-24). Suppose 3*k - 38 = 4*p + 43, 96 = -5*p + 2*k. Is p smaller than u?
True
Let q be ((-365)/(-340) + -1)*27/45. Which is smaller: 2/5 or q?
q
Let z be (0 - 4) + (-30)/3. Let a(n) = n**3 + 12*n**2 - 17*n + 7. Let f be a(z). Let q = 147 + f. Which is greater: -2/5 or q?
q
Let f = 608 + -606.2. Let k = -12 + 9.2. Let p = k + f. Which is bigger: 1.1 or p?
1.1
Let u = 1726/2607 - -4/869. Is -1409 bigger than u?
False
Let d be 401/(29/10*-2 + (-13 - -19)). Is d < 2005?
False
Let f = 326.8 - 326.6085. Is f smaller than 1?
True
Let s = 172534 + -686369/4. Which is smaller: s or 943?
s
Let o = 6/13 - 55/91. Suppose -3*f = -9, 16*f = -d + 15*f - 55. Let c be (d/87)/((-4)/6). Is c less than o?
False
Let i = 26374790/709 - 37200. Which is greater: i or -1?
i
Let j(y) = y**3 - 22*y**2 + 43*y - 31. Suppose -79*o - 20 = -80*o. Let l be j(o). Which is bigger: l or 31?
31
Suppose -h = 3*s + 149, 7*h - 3*h + 116 = -2*s. Which is bigger: s or -46?
-46
Suppose -57*k + 16288 + 23612 = -22*k. Are k and 1140 non-equal?
False
Let m = -145/458 - 42/229. Is 397 <= m?
False
Let a be (3 - 121/22)*526/5. Is a > -2?
False
Let d be 13501/47541 - (176/240 - 2/5). Is 1 < d?
False
Suppose 10 = -t + 14. Suppose 14 = t*w + 10. Is -33 at most w?
True
Suppose 16*w - 15*w - 3*r = -8, 2*r - 32 = 4*w. Is w smaller than -103/12?
False
Let k be (-6)/9*(13 - 352). Let x = 197 - k. Which is greater: x or -113/4?
-113/4
Let m = 10062 - 10147. Suppose 5*p + 406 = -14. Which is smaller: p or m?
m
Suppose 20*w + 10237 = 657. Let i = w - -788. Is 309 >= i?
True
Let g be 4/(0 - 2)*-59. Let h be (45/(-60))/((-60)/9440). Do h and g have different values?
False
Suppose 2*s - 5*t = -4 - 50, 5*t = 10. Let z be (-52)/(-9)*(9 + 231/s). Suppose -3*a - 4*b - 38 = 0, -4*b = a + 8 + 10. Which is bigger: a or z?
z
Let t be 6184633/(-35055) + (-2)/(-41) + 4/(-18). Let l = 211 - 35. Let h = t + l. Which is smaller: -1/8 or h?
h
Let f be ((-11)/(-3) + 663/(-153))*(-3)/11. Which is bigger: f or -38?
f
Let o = 61/30 + -41/30. Which is smaller: -13.74 or o?
-13.74
Suppose 3*z + 7 = 28. Suppose -13*a = -14*a + z. Suppose 6*h = -a + 1. Is h less than 1/5?
True
Let u be (52 - 51)/(1/11) - 40/4. Let k be (-2)/3*(-1 + -2). Let n be k/6*3/2. Which is bigger: n or u?
u
Let w be 2/10 + (-86528)/1040. Is w less than -92?
False
Suppose 3*c + 31 - 517 = 0. Suppose -w - 2*o = -157, 5*o - 310 = -4*w + 327. Which is smaller: w or c?
c
Let h(z) = 6*z**3 - 2*z**2 + 2*z. Let p be h(2). Let j = 760 - 759.95. Is j at least as big as p?
False
Let s = 693 - 774. Let t = -81 - s. Which is bigger: 3/181 or t?
3/181
Suppose -4*o - 113 = -2*h - 95, 3*o = -9. Suppose -v = h*j + 81, -12*j - 372 = 5*v - 8*j. Which is greater: -77 or v?
v
Let c = 1 + -7. Let g(l) = -19*l + 484. Let r be g(26). Let o = r - c. Is -6 > o?
False
Let y = -8771/743727 - -1/4299. Let h(g) = -3*g**3 - 347*g**2 + 675*g + 64845. Let b be h(-116). Is y bigger than b?
False
Let c = 285 - 109. Suppose -1 = u - 5, -4*m + c = -5*u. Is m >= 1/2?
True
Let m(f) = 2*f**3 + 35*f**2 - 22*f - 119. Let g be m(-17). Are g and 545 unequal?
True
Suppose 2*j - 5*j = -5*j + 2. Are j and -2.1 non-equal?
True
Let p = 66 - 115. Let w = p - -48. Let u = 4561/40 + -114. Which is smaller: w or u?
w
Let x be (-9)/(81/(-2)) + (-1138)/18. Let i be (x - (-6 + 4))/(3 - 2). Is -61 greater than i?
False
Let t be (-1)/(((-7)/(-28))/((-243)/4)). Let z be (10 - 13) + t/66. Which is smaller: 0 or z?
0
Let t = 9.04082 + -0.04082. Let m = -16 - -31. Let k = t - m. Which 