 h + 8 = -7. Let g = h + 29. Is 14 at most as big as g?
True
Let o be (-2 - 1)/((-3)/2). Let s be -8*(-1)/((-3)/(-9)). Suppose -5*j = -2*a - s, 16 = -0*j + 5*j + 2*a. Which is smaller: o or j?
o
Let h be 27/(-15) + 22/22. Let l = -0.5 + 0.4. Is h bigger than l?
False
Let u = -739.87 + 740. Is 11 equal to u?
False
Suppose 8 = -4*p + 3*w - 7, 0 = 4*p - 2*w + 18. Let r be (46/p*1)/(2/6). Is -24 greater than r?
False
Let q = -17/4 + 467/108. Which is greater: 6/7 or q?
6/7
Let n = -1736.5892 - 0.4108. Is -1 at least as big as n?
True
Let y = -347 - -345. Which is bigger: y or -4/7?
-4/7
Let k = -216 - -197. Is -23 less than or equal to k?
True
Suppose 2*j + 496 = -14*j. Is j < -218/7?
False
Suppose 0 = a + 2*j + 4, -2*a - 2*a - 5*j - 4 = 0. Let u = -125 - -126. Let w be 4*30/24*u. Which is smaller: w or a?
a
Let t(j) = -j**2 + 15*j - 2. Let f be t(14). Suppose 4*q - 2*q = 2*v - f, -2*v + q + 7 = 0. Is v less than 1/7?
False
Let b = -0.16 - 17.84. Let t = -17 - b. Let w be -1*((-2)/(-1) - 1). Are t and w equal?
False
Suppose -56 = v - 57. Which is smaller: v or 4/201?
4/201
Let d(t) = t**3 - 2*t**2 + 3*t - 6. Let l be d(2). Let h = 77 - 53. Suppose -8*c = -l*c + h. Which is smaller: -5 or c?
-5
Suppose 10*t + 4 = 11*t. Suppose t*m + 7 = a - 22, m + a = -1. Which is bigger: -4 or m?
-4
Let z = 248 - 1740/7. Is 51 >= z?
True
Suppose 150 = -d + 2. Which is bigger: d or -146?
-146
Let n(p) = p**3 - 3*p**2 + 4*p - 2. Let m be n(2). Suppose 2*c - c + m = 0. Which is bigger: -5 or c?
c
Suppose 3*o - 252 = -3*p, -2*o - 84 = -3*o - 4*p. Suppose -o = -0*q + 4*q. Let s be (2/(-7))/((-9)/q). Are s and -2 equal?
False
Let v(s) = -2*s + 13. Let n be v(9). Let w = -11 - -10.82. Let h = -0.08 - w. Which is smaller: n or h?
n
Let h = 15201/20 + -3484/5. Are h and 64 non-equal?
True
Suppose 3*n - 12 = 2*n. Let t(l) = -l**3 + 8*l**2 + 12*l - 17. Let j be t(9). Which is smaller: j or n?
j
Let z be 4/(-5) - -1 - (-112)/(-560). Is z less than -6/67?
False
Suppose 0 = -5*t - 7 - 8. Let y be (-4)/(-36)*t*-3. Is 0.18 not equal to y?
True
Let a(z) = -3*z**2 - 25*z - 17. Let x be a(-7). Is 9 >= x?
False
Let l = 1024 - 1064. Do l and -15 have different values?
True
Let r = 4 - 23. Let p = r + 17.6. Which is smaller: p or 0.1?
p
Let m be (-1 - 1)*(-23)/(-16). Let y(h) = -4*h**2 + 29*h + 22. Let r be y(8). Which is smaller: r or m?
m
Let t(k) = -k**3 + 17*k**2 + 9*k + 18. Let y be t(14). Let m be (-144)/y*2/(-8). Is m < 1?
True
Let m be -3 + (2 - 4) + -66. Is -71 > m?
False
Let c = 1145 - 241593/211. Is -1 greater than or equal to c?
False
Suppose -10 = 4*a - 5*q - 4, q - 7 = -5*a. Let c be 0/(-1) + (-3)/(-3*a). Let o = 1462/4081 - -2/371. Do o and c have the same value?
False
Let m = -77 - -531/7. Which is smaller: 2/29 or m?
m
Let x(b) = b**3 + 9*b**2 + 16*b + 7. Let a = -3 + -3. Let p be x(a). Let q be ((-2)/39)/(p/(-57)). Which is smaller: q or -1?
-1
Suppose 0 = -5*g + 3*y - 15, 20 = g - 0*y + 4*y. Suppose r = -g*r. Let w = 357 + -359. Is w at least r?
False
Let b = -12 - -17. Let v = 876 + -4379/5. Is v greater than or equal to b?
False
Let k(n) = -n**2 - 5*n. Let o be 1/(4 + (-21)/5). Let s be k(o). Let l = 8/5 + -44/15. Which is bigger: s or l?
s
Suppose -2 = g - 4. Suppose -38 = 2*f + 4*l, -g*l - 2*l = 12. Which is bigger: -10 or f?
-10
Suppose -2*m + 4*a + 71 = 7, 4*m = -5*a + 180. Let q = m + -12. Let t = -55/2 + q. Which is bigger: 3/8 or t?
t
Let t = -82 - -75.3. Let v = t - -4. Let y = v + 0.7. Which is greater: y or 3/5?
3/5
Let u be 3 - (-1 + 188524/43700). Let r = 1/575 - u. Is -1 <= r?
True
Let d = -597 - -603. Which is smaller: -3 or d?
-3
Let p = -35 + 59. Let o = -2607 - -2583.09. Let v = o + p. Is -2/7 > v?
False
Let t = 24968/25545 + -2/655. Let j = t + -4/13. Let k = 0 - 0. Which is smaller: k or j?
k
Let n be 2/(-14) - (-87)/(-126). Let u be (-2)/4 - 3/2. Is u < n?
True
Let g = -15 - -14. Let y be 2/((-10)/(-2849)) + -3. Let d = 565 - y. Which is smaller: g or d?
d
Let w = -10041887/383 + 26219. Does w = 0?
False
Let l = -5/1129 - 2002/312733. Is 0 less than l?
False
Let s(c) = -4*c**3 - 7*c**2 - 4*c - 8. Let p be s(-6). Suppose -4*b + 5*x = -627, 4*b - x = 3*x + p. Let g be b/13 - 2/13. Which is bigger: g or 11?
g
Let x be (-64)/(-1520)*(-5)/22. Let i = 257/5016 + x. Which is bigger: i or -2/7?
i
Let b be ((-121)/(-22))/(2/(-4)). Are -37/3 and b non-equal?
True
Suppose -q - 11 = -19. Let f be 1*(-2)/q*-3. Which is smaller: f or 0?
0
Suppose -4*c - 17 = 3*k + 24, 3*k = 2*c - 29. Let n = -12 - k. Let u be -3 - (n - -3)*-1. Which is smaller: 1 or u?
u
Suppose -4*x - 16 = 0, 0*r - 2*x - 43 = r. Do -37 and r have different values?
True
Let h = -1 + 1. Let v be (8 - 636/72) + 0. Is v less than h?
True
Let x(j) = -j**2 + 6*j - 5. Let n be x(5). Suppose n = 8*l - 12*l + 24. Suppose -5*s - 2*i - i - l = 0, -i - 2 = 5*s. Which is bigger: s or 3/4?
3/4
Suppose 0 = 2*k + 4*c - 452, -c + 0*c = -2. Do k and 223 have the same value?
False
Let y be (-3)/((-4)/(-4) - 0). Let t be ((-11807)/(-65))/((-303)/3). Let r = t + -2/1313. Which is bigger: y or r?
r
Let h = 4 + -2. Let m be h + -5 - (-5 + 3). Let f be 9/6*8/96. Are m and f equal?
False
Let r = 97 - 92. Let k be (-2)/((-8)/(-10))*(35 - r). Is -75 != k?
False
Suppose z + 11*z = -1320. Let a be -3*(5/z)/(2/(-4)). Which is bigger: a or -1?
a
Let d(y) = -y**3 - 10*y**2 + 3. Let j be d(-10). Let w be ((-32)/j)/(14/(-21)). Suppose -5*f + w = -f. Which is smaller: f or 5?
f
Let z = -1.7 - -0.8. Let u = -1.8 - z. Let v = 0.4 + -0.3. Which is bigger: v or u?
v
Suppose -l + 42 = -4*l + 3*v, -5*l + 2*v - 64 = 0. Let z(y) = -y - 13. Let t be z(l). Let u = 23/2 + -12. Which is greater: u or t?
u
Suppose 4*o + 12 = -6*q + 2*q, -3*o = 5*q + 13. Let f be ((-6)/336*18)/((-24)/(-28)). Do o and f have the same value?
False
Let u = 41 + -34. Suppose -s - 10 + u = 0. Which is smaller: 1 or s?
s
Let v = 139 - 146. Suppose 0 = a + 5*l - 0 - 6, 5*a - 4*l - 1 = 0. Which is bigger: a or v?
a
Let h(l) = -9*l + 82. Let r be h(9). Is r at least 9/8?
False
Let d = 1751465/567 - 3089. Which is smaller: 0 or d?
0
Suppose -4*u - 3*c = -17, -4*c = -3*u - 3*c + 29. Suppose 3*w + u = 2. Let o = -79/39 + 9/13. Which is smaller: o or w?
w
Suppose 41 - 121 = -4*m. Let r be (-34)/24 - 6*(-5)/m. Is 0 at most r?
True
Let x be (1482/76)/((-9)/1)*-6. Is x equal to 25?
False
Let q = -22.03 + 22. Let z = 1.97 - q. Is 0.3 at most as big as z?
True
Let x(b) = -b**2 - 4*b - 2. Suppose -3 = -s + 5*l - 2*l, -s - 3*l - 9 = 0. Let h be x(s). Is h > 0.07?
True
Let w = 9 + -7. Suppose -w*y + 22 - 14 = 0. Suppose 0 = y*o - 2*j + 12, 2*o = 5*j - 26 + 4. Which is greater: o or -4/7?
-4/7
Let x = -29 - -55. Let q = x + -34. Is 0.2 greater than or equal to q?
True
Let b(j) = 5*j**3 - 9*j - j**2 - 4*j - 13 - 7*j**2 - 6*j**3. Let d be b(-6). Suppose 0 = -p - 3*p - 32. Which is smaller: p or d?
p
Suppose -a = 2*z - 5*a + 70, -2*z - 65 = -3*a. Is z <= -17?
True
Let d = -84 + 87. Suppose i + d*i = -16. Which is smaller: i or -3?
i
Let w = 0 - -11. Suppose i - w = -2*d, -3*i - 5*d + 55 = 2*i. Which is greater: i or 15?
15
Let y(d) = -d**2 - 10*d - 4. Let c be y(-9). Suppose 2*p + p - 2*m + 8 = 0, 20 = 4*p + c*m. Let h(z) = -z**2 + z + 8. Let x be h(p). Which is smaller: 9 or x?
x
Suppose 0*d = -4*y + 5*d + 399, 4*y = -3*d + 375. Which is smaller: y or 98?
y
Let m(x) = -5*x - 12. Let g be m(2). Is -21 greater than g?
True
Let g be 4/(-10)*20/(-8). Which is smaller: -0.482 or g?
-0.482
Let w(n) = 5*n - 59. Let s be w(18). Suppose a = 100 - s. Do a and 69 have the same value?
True
Let q(c) = 3*c - 36. Let d be q(21). Let k be (-11)/(-33) + (-3)/(d/(-825)). Is 92 at least k?
True
Let p be ((-48)/24432)/((-2)/(-12)). Is 1 <= p?
False
Suppose 3*y = -z - 3*z + 490, 0 = 5*z - 20. Let k = y + -798/5. Is k at least -2?
True
Suppose -4*p + 10 + 2 = 0, -3*n - 5*p + 855 = 0. Suppose 3*v + 112 - n = 0. Which is bigger: 55 or v?
v
Let k be 6 - 2 - (-15550)/(-130). Let l = -116 - k. Are l and -1 non-equal?
True
Let l be 4/10*10/9. Let r be (-23)/21 + (-32)/(-336). Is l smaller than r?
False
Let s = -25891/6786 + 99/26. Which is greater: -2 or s?
s
Let p(i) = -13*i + 10*i - i**3 - 4*i**2 + 0*i**2. Let a be p(-3). Let j = 14 + a. Which is bigger: j or 15?
15
Let x = 156 - 154. Suppose 0 = x*