is bigger: h or g?
h
Let g = -49/2 + 151/6. Let o = 0 + -6. Let f = -10 - o. Which is smaller: g or f?
f
Let p = -5 - -25. Suppose -4*u - p + 56 = 0. Let j = 6 + 3. Is j <= u?
True
Let h = -4 - -7. Let f = h + -4. Let j = 288.06 + -288. Is f greater than j?
False
Let x(u) = -u**2 + 22*u - 27. Let k be x(21). Let r be 6/(-4)*-6*k/27. Are r and -11/13 nonequal?
True
Let g = 30 + -21. Suppose -5*p - 3*b = -0*p - 38, -5*p = 4*b - 39. Is p <= g?
True
Suppose 132 = -4*l - 0*l. Let s = l + 27. Let j = 3 - 2. Which is smaller: s or j?
s
Let a(l) = 6*l + 33. Let i be a(-5). Let y be (0 + -3 + i)/3. Is -15/14 less than y?
True
Let y = -1849 + 1995. Which is bigger: 151 or y?
151
Let s = 35 + -31. Suppose 0 = x - s*x + 21. Does x = 6?
False
Let k be (643/(-3303))/(2/48). Let o = k - -2/367. Let u be (-18)/3*-1*10/(-15). Is o >= u?
False
Let p be (-19)/(-42) + (-8)/12. Let u be 12/16*130/(-63). Let y = p - u. Which is bigger: y or 2?
2
Suppose 5*a = a - 80. Let i = 19 + a. Which is smaller: i or 2/101?
i
Let k be (15 + -7 - 8)/7. Let w = -7 - -9. Let z(a) = a**2 - 4*a + 3. Let u be z(w). Which is smaller: u or k?
u
Let c = 69 - 69.183. Let b = c + 12.283. Let t = b + -12. Is t greater than or equal to -0.02?
True
Let j be (-450)/(-100)*(-74)/30. Which is smaller: j or -12?
-12
Let l(f) = -f**3 - 12*f**2 + 2. Let q be (3 - 15)/(0 + 1). Let k be l(q). Let m be (-20)/70 + k/7. Do m and 14/11 have the same value?
False
Let b = -811 + 2434/3. Which is bigger: b or -0.0327?
b
Let s be 5 - (0 + (-1 - -2)). Suppose 0 = -8*k + 5 - 85. Let h = k + s. Is 2 less than or equal to h?
False
Suppose -13*d + 71 = -10*d - 4*f, 2*f + 95 = 5*d. Let w be (34/(-6))/(2/(-6)). Is w < d?
False
Let t = 1906 - 1905. Is -1/1535 bigger than t?
False
Let m be -110*(2 - (-18)/(-15)). Let a = m + 34. Which is greater: a or -55?
a
Suppose 130 = -3*p + 5*b, -5*p = 7*b - 5*b + 196. Which is smaller: -39 or p?
p
Let u = -1501031 + 40518119/27. Let a = u - -360. Which is smaller: a or 0?
0
Let p = -8 - -21. Let i = p - 12.9. Let g = 5 + -4.94. Which is greater: g or i?
i
Let j(u) = -4*u**2 + 9*u - 11. Let d be j(7). Let z = 141 + d. Let l = -449 - -1781/4. Is z >= l?
True
Let a = 19 + -16. Let n be a*(-12)/(-45)*5. Suppose -c + 16 = 5*v, -9 - 1 = -n*c - 2*v. Is c <= 12?
True
Let j(s) = -20*s + 52. Let o be j(13). Which is bigger: o or -209?
o
Let v be (2 - 0) + 2 + 1. Suppose v*o = o + 8. Let q = -3 - o. Which is smaller: -2/7 or q?
q
Let l be 2/9 - (-8)/(-9). Let u be (-3)/(-5) - (773/480 - 1). Let g = 185/672 - u. Is g smaller than l?
False
Let o(i) = -44*i - 18 - i**3 + 8*i**2 + 7*i - 28*i**2. Let y be o(-18). Is y less than 2/99?
True
Let x be 11 + (-3 - -1) + 4. Let k = -13 + x. Let l be 3/(k + (-66)/4). Is l at least -1?
True
Let w = -27 + 27. Suppose w = -20*y + 15*y. Which is smaller: y or -3/41?
-3/41
Suppose 29*q = 35*q + 72. Let p = 0 - -2. Let f = p + q. Are -9 and f unequal?
True
Suppose -l = 5*i - 62 - 20, -2*i = -4*l - 46. Is 17 >= i?
True
Let h = 150 - 148.87. Let y = h + 1.97. Which is bigger: y or -2?
y
Suppose -c + 26 - 25 = 0, -c = -3*s + 212. Which is smaller: 73 or s?
s
Let m = 59 + -58.99. Let i = -0.99 - m. Is i < -40?
False
Suppose 0 = -7*w + 1253 - 11312. Which is smaller: w or -1438?
-1438
Let k = -26.38 + 26.4. Which is smaller: k or 3/11?
k
Let o = -7.92 - 0.08. Let k = -12.6 - -5.2. Let t = o - k. Is -1 > t?
False
Suppose 21*r - 19*r = -4. Let b be 2 - (54 + 1 - 3). Let d be 10/b + (-22)/15. Which is smaller: r or d?
r
Let g = 21 - 24. Suppose z + 24 = -3*z. Let y be g/2 - z/4. Which is bigger: y or -5/9?
y
Let m(d) = -d**3 + 13*d**2 - 13*d + 14. Let b be m(12). Suppose 95 = 3*y + 3*c + 32, b*y = 3*c + 32. Let f = y - 3. Do f and -2/3 have different values?
True
Suppose -2*n = -2*a + n - 29, -a - 15 = -n. Let p be a/(-32)*(-8)/14. Let j be (2/6)/((-5)/(-15)). Which is smaller: p or j?
p
Let x be ((-109)/(-2))/(-3 + (-30)/(-12)). Does x = -110?
False
Let l be (1 - (-4)/(-4))*-1. Suppose l*a = 3*a - 72. Suppose 26 = -4*r + 3*z - z, 0 = -3*r - 3*z - a. Is r at least as big as -7?
True
Let n = -3/236 + 14405/708. Suppose 41 = 6*m - 85. Which is smaller: m or n?
n
Let f = 24 - 23. Let o = -4 - -4. Let v = 0.2 + o. Are v and f non-equal?
True
Let v be -2*(-5)/((-20)/(-6)). Suppose 0 = -v*x + 6*x + 15. Suppose 2*a + 15 = -a. Is x >= a?
True
Let z = 74 - 74. Which is bigger: z or -17/19?
z
Let v = -1117 + 101648/91. Is v >= -1?
True
Let k(t) = -t**2 - 9*t + 8. Let j be k(7). Do j and -104 have the same value?
True
Let j(r) = 2*r + 20. Let h be j(8). Let q = 38 - h. Are q and 6/5 non-equal?
True
Let m = 164027/7 - 23476. Suppose 0*x - 44 = x. Let a = x - m. Which is smaller: a or 0?
a
Suppose -5*x + 100 = -0*x. Let a = 23 - x. Suppose -45 = 4*f + 5*r, a*f + 5*r + 40 = -0*f. Is -4 at most as big as f?
False
Suppose 58*f = -40 - 18. Is 8/457 at least f?
True
Let h(j) = -4*j**2 + 11*j - 19. Let u(d) = -3*d**2 + 11*d - 19. Let i(w) = -2*h(w) + 3*u(w). Let r be i(6). Is -0.3 >= r?
False
Let y = -0.4 - 19.6. Let j = -20 - y. Let l = j - -0.05. Do l and -0.1 have different values?
True
Let w = -25 + 64. Let h(r) = 10*r + 192. Let p be h(-19). Suppose w = p*a + 3*n, -2*a + 49 = 3*n + 2*n. Is 12 less than or equal to a?
True
Let z = 28.026 - 28. Let o = z - 0.026. Let a = -0.3 + 0.1. Which is smaller: a or o?
a
Suppose -3*a + 122 = 5*n - 19, 0 = -n - 5*a + 37. Which is smaller: n or 30?
n
Let x be -1*((-28)/(-4) - -6). Which is smaller: x or 4/9?
x
Let x(o) = o**3 - 6*o**2 - 6*o - 6. Let l be 2/(27/21 + -1). Let v be x(l). Are -2/45 and v non-equal?
True
Suppose -v = 3*q - 138, 3*v = q - 0*q - 36. Let t = -676/15 + q. Let i be -3 - (-4)/(-10)*15/(-3). Is t bigger than i?
True
Let l(h) = -5*h**2 + 10*h + 15. Let x(g) = -4*g**2 + 10*g + 14. Let n(m) = -3*l(m) + 4*x(m). Let p be n(11). Which is smaller: p or 3?
p
Let x = -109/20 + 2721/500. Are 1 and x nonequal?
True
Let w(t) = -2*t**2 + 5*t + 1. Let i(f) = -3*f**2 + 10*f + 4. Let g(m) = -3*i(m) + 7*w(m). Let u be g(3). Is u less than -33?
True
Let g = 565 + -1093/2. Is -2/5 not equal to g?
True
Let u = -403 + 1210/3. Which is smaller: u or 12.63?
u
Let j(g) = g**3 + 56. Let z(k) = 2*k - 12. Let f be z(6). Let b be j(f). Is 54 <= b?
True
Suppose 5*v + 26 = -4. Suppose m - 4*m - 135 = 0. Let o = m - -38. Is v smaller than o?
False
Let p = 219/2 - 715/6. Suppose 30 = -4*n + 2*g, n - 2*g = 6*n + 60. Which is smaller: n or p?
n
Let i be (24/(-30))/(156/(-7920)). Which is smaller: i or 41?
i
Let z be (15/2)/(-6 - 23/(-4)). Suppose -150 = 7*r + 60. Is z bigger than r?
False
Let r = 6/425 - 358/1275. Suppose 0 = 2*p + 2*k, -3*p + 0*k + 7 = -4*k. Does p = r?
False
Let l be (-2 + (-44)/(-21))/(-1). Let b be 2/(-210)*(243 + -1). Let n = b + l. Which is greater: -1 or n?
-1
Suppose 9 = -5*j - 6. Suppose 0 = -57*h + 52*h - 30. Is j < h?
False
Suppose 0 = -19*g - 31*g + 5*g + 5670. Let s(z) = -41*z + 4. Let l be s(-3). Is l < g?
False
Suppose -52 + 559 = 3*b. Let w be 66/(-91) - (-26)/b. Which is greater: w or -3/2?
w
Let s be (-3 + 0)/9*-21. Suppose -41 = s*q - 6. Is -6 bigger than q?
False
Let n = -4 + -68. Let h = n + 61. Is h > -2?
False
Let h = -365941/24648 - 737/632. Let t = 47/3 + h. Which is smaller: t or 0?
t
Let p = 1 - -17. Suppose 4*o + 36 = -2*a + 12, 4*o + 5*a = -p. Suppose -2*u = -5*w + 33, 2*u + 10 = -3*w + 1. Is u < o?
True
Let u = -1448.1 + 1448. Which is greater: 182 or u?
182
Let v = -2444 - -158853/65. Which is greater: 1 or v?
1
Let i = 0.45 - 0.39. Let g = i + -0.26. Is 0 at most g?
False
Let h = -7 + 16. Suppose 2*n - 35 = 7*n. Let b = n + h. Is b not equal to 7?
True
Let s = -0.2 + 0.39. Let g = 0.22 - s. Which is smaller: -0.2 or g?
-0.2
Suppose 4*y + 0*j - 27 = j, 5*y - 45 = -j. Suppose y*a = 11*a. Let m be 172/52 + (-7 + -1 - -5). Are a and m nonequal?
True
Let y be (184/(-69))/(10/(-3)). Which is bigger: y or -0.7?
y
Let i(w) be the third derivative of -w**4/24 - 7*w**3/3 - 26*w**2. Let z be ((-3)/6)/((-3)/(-78)). Let s be i(z). Which is smaller: s or -8/9?
s
Let n be ((-3 - -2) + 3)*-4. Let t(y) = -7*y - 1. Let w be t(2). Let v = n - w. Is -0.2 at most as big as v?
True
Let t = 244 + -162. Let i = -9 - t. Are i and -90 equal?
False
Let h = 298 + -238. Are h and 59 non-equal?
True
Let r = 42 + -40. Let m be (1 