>= y?
True
Let t be (3 - 4)*(-5 + 0). Suppose 5*x = 5*n - 10, -t*n - 7 = -3*x - 25. Let k = -122 + 127. Is n < k?
False
Suppose -70*l = -105*l + 525. Which is smaller: l or 69/5?
69/5
Let j(o) = 15*o**3 + 3*o**2 - 1. Let v be j(-2). Suppose -50*x - 3692 = 1827 - 19. Which is smaller: x or v?
x
Let y be 151 + (-4 - 1/(-2))*12/(-21). Is y <= 119?
False
Let q = -5.965 + 39.965. Is q greater than 28?
True
Let g = 502.8 + -501.8. Is g bigger than 283/5?
False
Let p = -1 - -2. Let w(t) = t**3 + 4*t**2 - 468*t - 1411. Let b be w(-3). Which is smaller: p or b?
p
Let k(t) = -4*t + 2. Let w be k(-5). Let u be 10/(-1*5/15*-6). Suppose -2*a - 46 = -2*q - 4*a, -q = -u*a - 23. Which is smaller: w or q?
w
Let j(r) = -2*r**2 - 8*r. Let l be j(-4). Suppose -2*s = 4*x + 256, l = -x - 3*s + 7*s - 64. Let t = x - -52. Is -8 smaller than t?
False
Let n = 46 + -10949/238. Suppose -195 + 385 = -86*i + 190. Is i equal to n?
False
Suppose q = 4*x - 45, -8 - 4 = -2*x + 2*q. Which is smaller: 10 or x?
10
Suppose -182*p = -194*p. Let u(v) = -4 - 13*v + 22*v - 17*v. Let h be u(-3). Is h less than or equal to p?
False
Let d(x) = 7*x**3 - 45*x**2 - 10*x + 14. Let b be d(-6). Are -3059 and b nonequal?
True
Suppose 0 = -6*f + 42 - 6720. Let v = f - 417. Let z = 62726/41 + v. Is z < -2/5?
False
Suppose -5*d = -p - 84224, -4*p + 20708 = 5*d - 63521. Are d and 16845 non-equal?
False
Let j(h) = 2*h**2 + h + 2. Let o be j(-3). Let i = o + -16. Let y(z) = -z**3 + 2*z**2 - 13*z + 25. Let b be y(2). Is i != b?
True
Suppose 6*t + 2172 - 924 = 0. Is -837/4 at most as big as t?
True
Let w be (48 + -45)/((-30)/(-4))*30. Let i be (-8)/(-28) + 0/w. Let l = 11 - 2. Does i = l?
False
Let q(p) = -p**2 - 8*p - 12. Let z be q(-3). Let y be ((-13 - z)/(-4))/(11 + 2). Let u be (-2)/4 - 1/2. Which is greater: y or u?
y
Suppose 7 = -14*c - 35. Let j be 1*(4 - 46)*2/c. Suppose -3*h - 5*s + j = 0, 2*h + 4*s - 21 = -1. Which is smaller: 3 or h?
3
Suppose -g + 5*g = 0. Suppose -20*z + 25*z = 1480. Let v = 3846/13 - z. Is v smaller than g?
True
Let d(w) = -w**2 + 15*w - 12. Let z be d(14). Let s be z/(-20) + (-3156)/(-29160). Do s and 1 have different values?
True
Let w be 940/(-14)*((-561)/(-204) - (0 + 3)). Is w not equal to 18?
True
Let w be 30/40 + 160797/(-28). Which is smaller: w or -5743?
-5743
Let j be ((-2037)/(-49))/((-2)/82) + (-54)/(-126). Which is smaller: j or -1703?
j
Let n(v) = 4*v - 16 + 2*v + 0*v - 2*v. Let u be n(5). Suppose -u*x + 7 + 21 = 0. Which is bigger: x or -1?
x
Let r = 12985 + -8632. Which is greater: r or 0.2?
r
Let z = 11010.958 - 11021. Let f = -0.042 - z. Let j = f - 17. Is 0.1 >= j?
True
Let y = 62.6 + 40.4. Let i = 98 - y. Is i <= -11?
False
Suppose -f = -6*x - 117, 0 = x + 116*f - 115*f + 9. Suppose q = -5 - 13. Is x < q?
False
Let x = 74948 + -6370658/85. Let u = x + 9/10. Is u < 1?
True
Suppose -3*k + 2 = c + c, c + 10 = 4*k. Let f be (-5418)/189 + k/(-6). Which is greater: f or -231/8?
-231/8
Let n = -387 - -401. Suppose -2791 = -n*t + 849. Is 260 greater than t?
False
Suppose -108*m + 131*m + 17063 = -128*m. Which is smaller: m or -101?
m
Suppose 29*n - 24*n = w - 19, w + 13 = -3*n. Let o be -6*(-3)/45 + (-12)/27. Is w at least as big as o?
False
Suppose 3*c + 14 = -i, c + c = -i - 11. Let z be (-3)/(1 - i)*-6. Let a(l) = -3*l + 9. Let p be a(z). Which is smaller: 1/26 or p?
p
Let r be 3 + 122 + -5 - 9/3. Suppose 3*m + 3*s = -174, -s - r = -0*m + 2*m. Let z = m - -235/4. Is z <= -22?
False
Let h = 25/298 + -4343/39336. Let n = -1355/71016 - h. Which is smaller: -1 or n?
-1
Suppose 0 = -j + 3*l + 34 + 28, 4*j - 200 = -4*l. Suppose -3*r - j + 173 = 0. Let x be (-1)/(-4) - (-163)/4. Which is greater: r or x?
x
Let n = -2101.9 - -2098.9. Let t = 0.036 + 21.964. Which is bigger: n or t?
t
Let f be (16/10)/(18/90). Let p be 11/((-44)/f) + (4 - -1). Is 14 at most p?
False
Let q = 113 + -7. Let a = 7221 + -7113. Which is smaller: a or q?
q
Let m = 0.882 + -0.152. Let w = -0.01 + m. Let p = w - 3.72. Which is bigger: p or 2/9?
2/9
Suppose 6*i = i + a + 328, -4*i = 3*a - 251. Suppose 61*l = 27*l + 136. Suppose 0 = -z - l*z - i. Which is greater: -11 or z?
-11
Let m(z) = 8*z - 28. Let w be m(8). Let y = w + -34. Let n be 0 - (2 + (-4)/y)*1. Which is greater: 1/71 or n?
1/71
Let a = 2886 + -14284/5. Suppose 21*p = 216 + 372. Which is bigger: p or a?
a
Let a(i) = 120*i**2 + 4*i - 2. Let b be a(1). Suppose -124*q + 2 = -b*q. Do q and 21 have different values?
True
Let a = -303 - -541. Let f = 139 - a. Let v be ((-18)/(-33))/(-3) + (-40)/f. Which is bigger: v or 1?
1
Suppose -32*m - 52*m = -3*m - 9882. Which is smaller: m or 88?
88
Let f(t) = -2*t**3 - 88*t**2 - 526*t - 55. Let v be f(-37). Is 205 greater than v?
False
Suppose 0 = 4*u - 2*j + 262 + 118, 2*j + 380 = -4*u. Let k be (6/15 + 0)*30. Let w = k + -37/3. Which is greater: w or u?
w
Let j = 8269 + -22970/3. Let q = j + -613. Which is greater: 2/9 or q?
2/9
Suppose 0 = -4*j - 3*n - 2*n + 176, 2*j = 4*n + 62. Let z be ((-13)/j)/(2 + 7/(-3)). Let d be z*3/(3/1). Which is smaller: d or 1/3?
1/3
Let k = -223 - -227. Let v be (2 - k/8) + 5/10. Is 3.5 less than or equal to v?
False
Let r = -81 - -84. Suppose 3*l = -z + 3*z - 15, 3*z = -5*l - 25. Suppose z = -3*h + r*b - 6, -3*b = 7 + 8. Is -7 smaller than h?
False
Suppose -3*s - 2*v + 7 = 0, 0*s + 7 = s - 4*v. Suppose 7*w + s*w = 0. Suppose -2*h - 2 = -w. Which is bigger: 2/77 or h?
2/77
Let c(q) = q**3 - 20*q**2 + 36*q - 17. Suppose 5*r + 22 = 4*k - 60, -2*r = 4*k - 68. Let o be c(k). Which is smaller: o or -3?
o
Let b be (-15748)/7886 + (35 - 231/7). Are -1 and b equal?
False
Let v = -1.84 + 0.04. Let h = 323 - 323. Is h greater than or equal to v?
True
Let k be 6/(-14) + 110/(-70) + 2. Let w be 10/(-5)*(2 - 110/(-4)). Let t be 19/(-38)*(-2)/w. Are t and k equal?
False
Let g = -1721814/1998797 + 268/311. Is -1 at least as big as g?
False
Let n(f) = f**3 + 3*f**2 + 4*f + 5. Let m be -4 - (-5 + 3 + (-2)/2). Let x be (-1 + m/2)*(-16)/(-12). Let a be n(x). Which is greater: 28/13 or a?
28/13
Let h(i) = 17*i + 1. Let l be h(4). Let k = l - 77. Let x(a) = -a**2 - 8*a + 4. Let v be x(k). Is -3 > v?
False
Let s be 168/9*(-312)/(-546). Is -5/14 at most as big as s?
True
Let r = -16 + 18. Let k be -3*((-2)/(-2) - (-7)/(-3)). Let x be (k/(-3) - -1)/(-1). Do x and r have different values?
True
Let v(u) = 6*u**2 - 29*u - 279. Let y(z) = -10*z**2 + 57*z + 556. Let d(h) = -7*v(h) - 4*y(h). Let r be d(-15). Is r equal to -346?
True
Let d = -12 - -14. Suppose 0*p + 94 = 5*h + 3*p, -5*p + 49 = d*h. Let s = h + -18. Is -1/5 > s?
True
Let x = -2/8067 + -1892159/2689. Let p = x + 713. Are p and 8 equal?
False
Let p be 485838/(-819) + (-6)/(-21). Let n = p - -593. Is n less than or equal to 0?
False
Suppose -5*m - 30 - 5 = 0. Let o = 32 - m. Let k = -80 + 119. Are k and o unequal?
False
Suppose -3*i + 265 = -4*t + 36, -3*t + 6 = 0. Is 1010/13 less than i?
True
Suppose -8*v + 373 = -267. Let c = v + -78. Suppose 4*t = -s + 2*s - 2, -c*t = 2*s - 4. Which is smaller: -8 or s?
-8
Let p = -327/37 - -13345/1443. Suppose -4*w - 4 + 0 = 0. Is p less than w?
False
Let r(b) = b**3 + 4*b**2 + 2*b - 3. Let i be r(-3). Let d be i - 6/((-144)/(-7220)). Let c = d + 303. Which is bigger: 3 or c?
3
Let l = -125.32 - -130. Let x = l + -4.73. Let t = 2/9 + -1/18. Which is bigger: t or x?
t
Let a be (-1)/(-19)*(-3 + 335/(-55) + 9). Which is smaller: a or 1?
a
Suppose -9*d + 6*d = 4*c - 52, 2*d = -2*c + 38. Let b be (-2)/4 + 4/(64/d). Which is greater: 3/130 or b?
b
Suppose 5*s + 121*s = -43*s + 81120. Is 482 less than or equal to s?
False
Suppose -3*i - 48 = 165. Let c = -20892 - -20890. Is i not equal to c?
True
Let o = 26 - 82. Let p(s) = -2*s - 2. Let w be p(-2). Let g be o/(w - 7 - -3). Is g at least 27?
True
Let p(b) = 21*b - 101. Let u be p(5). Let q be (77 - 20)*(-2)/(-28). Is q less than or equal to u?
False
Let b = -162.04 + -30.06. Let o = 192 + b. Is 0.139 > o?
True
Let p be ((-1)/64)/(95 + -73). Which is greater: -1 or p?
p
Let k(u) = 2*u**3 - u**2 - 3*u + 2. Let l be k(1). Suppose -5*h - 4*n + 110 = 319, l = -5*h - 5*n - 210. Let g = -32 - h. Is g at least as big as -0.1?
True
Let h = 35978 + -1079609/30. Let o = 93/10 + h. Is o >= -115/3?
True
Let s be (4/(-2))/2*-1. Suppose 409 - 85 = 108*n. Is n 