 Which is smaller: h or y?
h
Suppose 5*u - u - 83 = 3*p, 3*u - 3*p = 63. Let s = u - 15. Let m(q) = q**3 - 6*q**2 + 2*q + 8. Let t be m(s). Is -5 >= t?
True
Let d be -5 + 3 + 2 - -2. Suppose y = d*g + 25, 4*y + 3*g - 22 = 2*y. Let u be (y*2/4)/((-4)/(-8)). Is u < 95/6?
False
Let g(q) = 45*q**3 + q**2 + 3*q + 2. Let k be g(-1). Let m = -60 - k. Let u be 12/(-14)*m/(-10). Which is smaller: -1 or u?
u
Suppose -5*s + 0*t - 44 = t, -2*t - 34 = 4*s. Let m be 3 + s/(18/(-4)). Which is smaller: m or -8?
-8
Let u = -1 - 0. Let s = 10 + -18. Let n be -1 - (-12)/s*u. Is n at least as big as 0?
True
Let h = -2/40827 - 1551208/4450143. Which is smaller: h or -1?
-1
Suppose 30 = -2*t - 36. Let o(j) = -4*j**2 + 42*j - 124. Suppose -2*g - 21 = -9*g. Let x be o(g). Which is smaller: x or t?
x
Let i = -13376 + 13375. Which is bigger: 0.76 or i?
0.76
Let q = 18.128 - 0.228. Let n = 18.1 - q. Which is smaller: n or 2?
n
Let d = -117463698 - -605995211449/5159. Let v = d - 3/469. Which is bigger: -1 or v?
-1
Let h be 11 + -20 - (-3)/3. Let r be (-3)/(-6)*h + (-6996)/(-1750). Is r smaller than -1?
False
Let t(c) = -84*c**3 - 2*c**2 + 9*c + 31. Let o be t(5). Is o < -10475?
False
Let c = 125 + -57. Let b = -36 + 96. Let m = c - b. Is 2/7 at least m?
False
Let d = 18/157 + -37085/324833. Is d greater than or equal to -1?
True
Let m = 1141742/11 - 103792. Let c(l) = l**3 - 6*l**2 + 2*l - 9. Let s be c(6). Which is bigger: m or s?
s
Let g be (0 - -1)/((-4)/(-60)). Suppose -g*b = 41 + 34. Which is smaller: b or -27/5?
-27/5
Let m(n) = -114*n**3 - 12*n**2 + 20*n - 3. Let o be m(2). Are o and -923 nonequal?
False
Suppose -5*z + 15 = u, 0*u = 4*u + 4*z - 12. Suppose -4*o = -2*l - 53 - 23, u = 2*o + 2*l - 26. Let q be (-2 - -4 - 3)/(o/15). Is 0 >= q?
True
Let q be 5 + -2 - (-364)/(-122). Let w be 37*(-4)/20 + 7/1. Which is smaller: w or q?
w
Let o = 2880 + -2865. Let s(b) = -4*b - 1. Let y be s(-7). Suppose 0 = -5*k - y + 97. Are o and k nonequal?
True
Let m = 380 + -366. Suppose -19*d = -m*d - 40. Let y be (-87)/(-12) - (-6)/8. Is d bigger than y?
False
Let a(n) = -770*n - 5389. Let c be a(-7). Suppose -9 + 21 = 4*w. Let h be -2 - w/((-153)/138). Which is smaller: h or c?
h
Let c = -0.22203 - -0.06203. Is c less than -14.5?
False
Suppose 0 = 5*d - 105 + 45. Suppose -d = 2*x + 4*k + 20, -x - 19 = -k. Let u be (-4)/x + (-2007)/(-81). Is u less than 26?
True
Let v(h) = 2*h**3 - 11*h**2 + 2*h + 88. Let n be v(-7). Which is greater: -1152 or n?
n
Suppose -6 = -15*n - 6. Suppose n = -3*m - 4*a - 118, -5*m - a - 218 = -5*a. Which is smaller: m or -44?
-44
Let h be 21 + (-131409)/3447 - -17. Are 0 and h equal?
False
Let c = 3 - 4. Suppose -3*a - 514 = 2*o, 0 = 4*o + 5*a - 240 + 1272. Let h = o + 256. Is c equal to h?
False
Suppose -5*v - 126 + 7 = 2*i, -2*i - 4*v = 118. Let k be ((-2602)/(-24))/(i/(-4)). Let c = 68/9 - k. Is c smaller than 1?
True
Suppose 12 = -18*p + 12. Let k be ((-104)/(-7) - p) + 35/245. Let r(n) = -n**2 + 10*n - 9. Let d be r(7). Is d >= k?
False
Let g = -2.27 + 2.242. Let y = 2.972 - g. Which is greater: y or -3?
y
Suppose -16 = 4*r - 8. Let h be (-6)/12*12/3. Let w = h - r. Is -0.8 at most as big as w?
True
Suppose 2510*r - 2506*r + 1040 = -2*j, 1103 = -2*j + 5*r. Which is greater: j or -541?
j
Let i = 94 - 86. Suppose 3*q - i = -2*a, 4*a - 16 = -6*q + 3*q. Let x = -1/10990 - 21703/3044230. Which is smaller: q or x?
x
Let w = 4590.4 + -4714. Which is smaller: 0.3 or w?
w
Let v = -19004 + 18808. Which is bigger: -0.1 or v?
-0.1
Let i be (-10804)/660 - (-102)/(-170). Are i and -18 nonequal?
True
Let a = -4480.004 + 2.004. Are a and -1 unequal?
True
Let q = 375 + -379.46. Let b = q - -137.46. Is b >= -4?
True
Suppose -159*x + 1034 = -65*x. Let y(w) = 5*w - 4. Let n be y(3). Let j be n + (0 - 0)/1. Is j at most as big as x?
True
Suppose -97*l + 817 = -54*l. Suppose 3*t + 3*h = 7*t - 16, t + 3*h - 4 = 0. Suppose 4*y - 2*x - 76 = 2*x, -t*x - 19 = -y. Is y bigger than l?
False
Let r = -22 + 24. Suppose -3*n = r*n - 175. Suppose 0 = 3*w - 43 - n. Is w at most as big as 26?
True
Suppose 19*w = 16*w + 45. Suppose 0 = -3*s - w, 2*s = -6*t + t. Suppose t*n = -2*b - 20, 3 = -4*n - 3*b - 41. Is n >= -16?
True
Suppose 0 + 18 = 3*p. Let q be -75*6/(-27) - 4/p. Suppose 39*r - 37*r + q = 0. Is r at most as big as -0.4?
True
Let g = 26538 + -27168. Which is bigger: -633 or g?
g
Let y = -45 + 81. Suppose -21*v = -30*v - y. Is v at most as big as 8?
True
Suppose -3*a + 4*k - 6000 = 0, 113*k = -2*a + 114*k - 4000. Is -2001 smaller than a?
True
Let o = -5709.14 + 5632. Let k = -77 - o. Suppose -x + 4*x = 0. Is x <= k?
True
Let u = -13276505044/1926009 - -1191921/173. Let x = u - -1/3711. Which is greater: -5 or x?
x
Let i be ((-2)/(-6))/((-29)/(-16965)). Suppose -2*h - i = 3*h. Are -37 and h non-equal?
True
Let v = 2464 - 2451. Is 273/19 at most v?
False
Let s(c) = -c**3 + c**2 + 7*c - 11. Let o be s(2). Let q(z) = z**3 - 6*z**2 + 6*z - 5. Let w be q(5). Let m be (-256)/(-65) - (w + 4). Are m and o equal?
False
Let a(o) = 23*o**2 - 298*o - 4. Let v be a(15). Which is smaller: v or 4904/7?
4904/7
Suppose -3*a + 5*z - 2 = 10*z, 0 = -a - z + 2. Let k be a + 1491/(-133) - (-3 - 0). Which is bigger: 1 or k?
1
Let k(u) be the first derivative of u**4/4 + 10*u**3/3 + 11*u - 8. Let m be k(-10). Let c = 8 - m. Which is smaller: -7 or c?
-7
Let m = 3 + -3.1. Let v = 0.2623 + 528.2377. Let h = -528 + v. Which is smaller: h or m?
m
Let l = -0.059 - 33.941. Let i = -20 + 11. Let c = i - l. Is 3 less than c?
True
Suppose -2*p + z - 189 = 0, -55*p + 5*z - 108 = -54*p. Is -109 < p?
True
Let u = -0.24 + -9.63. Let o = -9.67 - u. Is o bigger than 115?
False
Let u be 920/736 - (-460)/(-8)*5/(-2). Is 1318/9 less than u?
False
Suppose 8*w + 36644 + 10603 = 4231. Is w at least -5377?
True
Suppose 928 = -5*x + 4*u - 337, -3*u = 5*x + 1300. Let w be (-6)/(-11) - (14/55)/(816/827220). Do x and w have the same value?
False
Suppose 5*c + 2*m + 25 - 129 = 0, -3*c = 3*m - 66. Suppose 2*v + 0*a - 2*a = 50, 0 = -5*v + 2*a + 110. Is v > c?
False
Let y(h) = -h**2 - 11*h - 4. Let m be y(-11). Let d be (-6)/12 - (-2)/m. Is -2/75 less than d?
False
Let w be (-2)/(-4*1 - 18/(-6)). Let i(g) = -3*g**2 + 28*g - 51. Let q be i(w). Which is greater: -41/7 or q?
-41/7
Let o = 5485 + -5275. Which is bigger: o or 188?
o
Let l(z) = -z**3 + 4*z**2 + z - 9. Let w be l(3). Suppose 0 = -x - s + 8, -7 - w = -2*x - 4*s. Let y = -120 + 131. Are y and x non-equal?
False
Let o(a) = 558*a - 8735. Let l be o(-24). Is l < -22127?
False
Let j be 22/77 + 3190/7. Suppose 242 = m - 3*a + a, -j = -2*m - 3*a. Let d be 135/m + (-2)/4. Which is smaller: d or 1?
d
Let k = -540 - -592. Suppose 150 = -k*v + 47*v. Do v and -1.2 have the same value?
False
Let k(a) = -2*a**3 + a**2 + 16*a + 24. Let i be k(-2). Let m be (-96)/i + 28/4. Which is smaller: m or -3?
-3
Let b be (-1 + -26 + -1)/(-852 + 848). Is -33 > b?
False
Let x = 154.8 - 11.8. Let u = 1.32 + -1.42. Is x != u?
True
Let n(b) be the second derivative of -11*b**5/4 + b**3/6 + 2*b - 18. Let a be n(-2). Is 438 smaller than a?
False
Let o be 17/51*(-3 - 0) - 3096. Is o at most as big as -3099?
False
Let k be 0*21/(-294)*(1 + -2). Which is greater: k or 102/245?
102/245
Suppose 4*g - 375*s = -373*s + 136, -g + 2*s + 34 = 0. Which is smaller: 71 or g?
g
Let g = 35 + -20. Let n = -55.6 - -71.1. Let u = n - g. Which is smaller: u or -0.07?
-0.07
Let m = -9 + -17. Let h = -23 - m. Suppose i + 4 = h*i. Do -3 and i have the same value?
False
Let x = -139674309/2111 + 66165. Does x = 1?
False
Let k = -1.775 - -0.775. Which is smaller: k or 2/75?
k
Let j(b) = 2*b**2 - 173*b - 588. Let u be j(83). Is u at most -15216/13?
False
Suppose 23*a - 24*a + 1 = 0. Let c be 2*(-8)/(a + 0). Let v = -14 - c. Which is bigger: v or 4?
4
Let p = 12543/17 + -738. Let w = -0.2 + 0.3. Which is smaller: p or w?
p
Suppose 202*r = -237*r - 15*r. Which is bigger: r or 5/412?
5/412
Suppose -305 = 3*x - u, 2*x - 5*u + 414 = -2*x. Let a be (-36)/90 - (-30)/(-3)*-10. Let k = x + a. Is -2 less than k?
True
Let b = 0.5034 - -0.1166. Are b and -23 equal?
False
Let w = -26.4 - -6.2. Let l = w - -20.4. Which is smaller: -1/27 or l?
-1/27
Let k(d) = d**3 - 2*d**2 + 208*d + 2285. Let q be k(-11). Which is smaller: -1575 or q?
q
S