 -11/9 or y?
-11/9
Let h be 11/(-77) - 53222/(-338744). Which is greater: h or 1?
1
Let r = -11357.0876 - -11357. Which is bigger: r or -0.3?
r
Suppose 39*p = -1393 - 2780. Is p < -109?
False
Let n(w) = 101*w**2 - w - 1. Let x be n(-5). Let o = 483041/191 - x. Which is bigger: o or 1?
1
Let z = 6039.1 + -6039. Is -28.76 greater than z?
False
Let v = -1201/20 + 60. Suppose -88 = -s - 11. Let j = s - 78. Which is greater: v or j?
v
Let y = -20 + 40. Let b(v) = -v**3 + 17*v**2 - 71*v + 635. Let t be b(15). Are t and y unequal?
False
Suppose -39 = 2*k - 29. Let p be k - (88 + (7 - 7)). Are -94 and p nonequal?
True
Let h = -162 + 162.2. Let f(n) = 5*n + 49. Let t be f(-14). Is h bigger than t?
True
Let i = 367.43 + -368.21. Which is smaller: 56/3 or i?
i
Let v = 21030 + -18059. Is 2968 bigger than v?
False
Let i be (-84)/8 - 12/8. Let l = i + -119. Is l at most -130?
True
Let n = -45210 + 33953. Do n and 1/2 have different values?
True
Let b = 108.17 - 128.17. Which is smaller: -512 or b?
-512
Let b be (-351)/(-52) - 2/(-8). Let o be 48/(-12) + b*13. Let t be o/21 - (2 - -1). Which is bigger: 0 or t?
t
Let h be (-3)/9 - (-5534)/60. Let x = 449/5 - h. Suppose 0 = 4*f - 12, 4*m + m = -f - 2. Is m greater than or equal to x?
True
Let x = 2/3879 + -7768/19395. Which is bigger: 1547 or x?
1547
Let n = 4.6 + -4.684. Let x = 1306 + -1304. Is x greater than n?
True
Let u = 128 + -13. Let g = u + -115.079. Let o = 0.63 + -0.53. Which is greater: o or g?
o
Suppose -o + 1178 = 5*p + 7904, p = 3. Which is bigger: -6740 or o?
-6740
Let k = 30120 - 30078.097. Let i = k + 0.097. Let r = -43 + i. Is r greater than or equal to 0.24?
False
Suppose 0 = -3*i + 5*i - 4. Suppose -b + 22 = b + i*c, -5*c - 23 = -b. Suppose 0 = -t - 2*t + 42. Is b bigger than t?
False
Let a be (-24 + 300)/((-12)/(-48)). Is a > -4?
True
Let g = -3 - -8. Suppose -4*p + 15 = c, 3*p + 3*c - 12 - 6 = 0. Suppose x = 4*b - 24, 2*x + 14 + 9 = p*b. Is g bigger than b?
False
Let q = 147738 + -2216072/15. Let a = 0.18 + -7.18. Is a smaller than q?
True
Suppose -2*w = -0*w - 4. Suppose 0 = w*g + 4*z + 18, -3*g = -2*g - 5*z - 26. Suppose -2 - g = -p. Is 3 less than p?
False
Suppose 273*y - 12 = 274*y. Let a be (60/(-50))/(y/1340). Which is smaller: 135 or a?
a
Let m = 128.87 + -128. Let f = 0.795 - m. Let y = 2.075 + f. Which is smaller: y or 2/41?
2/41
Let c = 0.5976 + 144.4024. Which is smaller: c or -1/3?
-1/3
Let l be (72/45)/(((-2)/5)/(-1)). Suppose 4*r = 5*q - 230, l = -5*r + 4*q - 279. Let t = -45 - 9. Which is smaller: r or t?
r
Let d = -11/443 + 476/1329. Which is greater: 2766 or d?
2766
Let m be 4/(-40)*4 + 28/(-5). Let z be (((-891)/(-90))/33)/(m/(-8)). Do -31.3 and z have different values?
True
Let q = 313 + -316. Let p be (-1)/(q/(-21) - (-88)/(-77)). Which is smaller: p or -1/182?
-1/182
Let x be (2 + 2/(-2))/(53/(-3)). Let q(b) = -b**3 - 20*b**2 - 21*b - 37. Let m be q(-19). Which is greater: m or x?
m
Let k = 9 - 4. Suppose -2*t = 3*o + 2*t + 12, o = -k*t + 7. Let r be (3 - 0)/3*(-4)/o. Which is smaller: r or -27?
-27
Let z = -38.931 - 0.069. Let a = -42.5 - z. Let d = a + 1.5. Is d at least -12?
True
Let b = 14501 - 72909/5. Let h = b - -83. Is h greater than -0.4?
True
Let q be (-56)/40 + (-90183)/(-50370). Is 1 equal to q?
False
Suppose u + 7*x = 2*x, x + 26 = 5*u. Suppose 7 - u = 2*l. Let c be (-15)/(-4) - (2 + 0). Which is greater: c or l?
c
Let g be -2*(-3)/15 + (-126)/15. Let j(i) = -2*i - 10. Let q be j(g). Let c be 3/((-15)/q + -1 + 2). Which is smaller: c or -7?
-7
Let w = -455 - -318. Let q(g) = -2*g**3 + g**2 - 60*g - 257. Let f be q(-4). Let s = f + w. Is -10 at least s?
True
Suppose 3*n + 19 = 7. Let k(p) = p**2 - 4*p + 7. Let j be k(3). Let f be ((-30)/20)/(j/16). Which is smaller: f or n?
f
Let q be 3654/77 + (-84)/(-154). Is q not equal to 8?
True
Let t be 359161/(-24805) - 3/(66/(-4)). Let x = t - -4/41. Which is smaller: x or -15?
-15
Suppose 47*z = -49*z - 39648. Which is smaller: 7 or z?
z
Let h be (-12 + 6 - -7)/(2/10). Suppose 0 = 4*i - h*z + 6*z - 41, 2*i + 2*z - 16 = 0. Suppose 5*m + c - 2*c = -43, m + c = -i. Is -9 <= m?
True
Let t be ((-1)/6*-3)/(29/(-232)). Let o be t - -8 - (-1)/(3/(-12)). Which is bigger: -1/23 or o?
o
Let s = -3914 - -3790. Which is bigger: 2 or s?
2
Let j be 5 + -1 + -4 + -9. Let a = 209 + -656/3. Is a at least as big as j?
False
Suppose -4*j = -j + 5*u + 306, 0 = 5*j - 3*u + 578. Is j at most -113?
False
Let x = -7174 - -6838. Which is bigger: x or -330?
-330
Let a = -480 - -479.9. Let r = 325.1 + a. Is 0 <= r?
True
Let s be ((-261)/48)/((81/(-4))/(-3)). Which is bigger: s or 0?
0
Let z be 1 + (3*-2)/(-2). Let c = z - -3. Let b = 230 + -224. Which is bigger: c or b?
c
Let f be (-882320)/276 - (-6)/(-9). Let v = f + 3198. Which is smaller: 0 or v?
0
Suppose -3*m - 78 = -156. Suppose -3*d - 8*z - 41 = -3*z, 2*d = -4*z - m. Let q be -1 + 1 + 2 + -20. Is d less than q?
False
Let z(m) = 274*m - 1088. Let q be z(4). Let w = 29 + -17. Which is bigger: q or w?
w
Let t be (-20)/(-1) - (11 + -12). Suppose -25*y = -t*y - 292. Let c = y + -61. Which is greater: c or 65/6?
c
Let f(h) = 6*h**2 - 4*h - 40. Let z be f(-5). Let o = z + -53. Let d = o + -85. Is -4 != d?
True
Let y = 1.7265 - 0.0765. Let b = y - 1.55. Which is bigger: -300 or b?
b
Let r = -14 - -17.8. Let i = -5498.9 + 5499. Which is greater: i or r?
r
Suppose -4*u = n + 2390, -12*n = -14*n - 4. Let x = u + 548. Is x at most as big as -49?
True
Let b = 42 + -82. Let j = b - -40. Suppose 21 + j = -3*w. Is w smaller than -10?
False
Let c = -10443 - -20193. Let g = c - 9729.005. Let k = -0.005 - g. Which is greater: k or 1?
1
Suppose -24*p + 650 = -19*p. Suppose 4*o = -2*q + 242, -4*o + 109 = -4*q + 653. Which is greater: q or p?
q
Let h(s) = -10*s + 65. Let l be h(8). Let x(v) = -13*v**3 + v**2 - v + 1. Let w be x(1). Let d = -28 - w. Does d = l?
False
Suppose -122390 = 31*l - 33947. Is l greater than or equal to -2854?
True
Suppose 2*f = -3*l + 61 + 21, -2*l = -5*f - 23. Suppose -5*t - l = -k, -k + 18*t - 16*t = -12. Is k equal to 34/7?
False
Let j = -145 - -110. Let u = -142 - -110. Is u less than or equal to j?
False
Suppose 0 = 80*c - 77*c - 96. Suppose 2*r = 60 - 12. Let q = 56 - r. Is c != q?
False
Let f = -1795 + 1785. Let y be (2 - 4) + 8 + -36. Let b = y + 20. Is f <= b?
True
Let g = -81 - -78. Let t(x) = x**3 + 5*x**2 + 9*x + 9. Let p be t(g). Suppose -r = n + 52, -4*r + r + 150 = -3*n. Is p >= n?
True
Let y(v) = v**3 - 10*v**2 + 9*v + 4. Let s be y(7). Suppose -315 = 4*w + x, -709 = 2*w - 5*x - 546. Which is smaller: w or s?
s
Suppose 13*s + 5269 + 906 = -0*s. Is -472 <= s?
False
Let s(r) = 9*r**2 + 2*r - 15. Let m be s(-6). Are m and 296 non-equal?
True
Suppose 22*z - 25*z = -2*p - 7, 4 = -2*p + 2*z. Which is smaller: p or 13/118?
13/118
Let r = -2584621/2668 - -3875/4. Let f(p) = 2*p + 29. Let l be f(-14). Is r < l?
True
Suppose 5*z - 24 = -104. Let n = -0.0777 - -0.1177. Which is smaller: z or n?
z
Let m be (-12)/9*6*6/4. Let w(z) = 4*z + 42. Let h be w(m). Let g(j) = 4*j. Let f be g(-2). Is f < h?
True
Suppose -339*y + 10983 = -338*y + 4*w, -3*y + 5*w = -32966. Is 10989 != y?
True
Suppose 0 = -4*c - 5*m - 0*m + 14, 2*c = -3*m + 6. Let v be (c + (-864)/136)*10/3. Is -2 less than v?
True
Let i(k) = k**3 - 3*k**2 - 4*k + 1. Let d be i(5). Let y(v) = 9*v**2 + v + 1. Let u be y(2). Let r = u - d. Which is smaller: r or 5?
5
Let n(w) = w - 345 + 0*w - w**2 + 346 + 0*w**2. Let s be n(-1). Which is smaller: s or 1/3?
s
Let f be (-2)/7 + (-346)/14. Let v(l) = -l**2 + 15*l - 9. Let q be v(14). Let m be 5 - (-60)/((-10)/q). Is m at most f?
True
Suppose -3*n = -0*v - 5*v + 310, -2*v + 155 = 5*n. Suppose -14*y + v = -19*y. Let f be 166/36 - (-8 - y). Which is smaller: f or 0?
f
Let n = 6 + -12. Let g be (-2)/n - (-113)/3. Suppose -51*l + 49*l + 74 = 0. Which is smaller: l or g?
l
Let b = 3.718 - 26.718. Is b equal to 82/5?
False
Let y = 3305/12078 - 1/1098. Suppose j + 0*j = 1. Are y and j equal?
False
Suppose -216*q + 211*q - 160 = 0. Let z = 114 + q. Which is smaller: 81 or z?
81
Suppose -3*f - 3*k = -18, -13*f - 4 = -12*f - k. Let o be (-1)/(-10)*3*(-6)/(-15). Which is bigger: f or o?
f
Let x(f) = f**3 + f**2 + f + 1. Let v be x(-1). Let n be (-1 + 195)*-15*(-3)/18. Let a = n + -2