. Let h be 4/o + 20/119. Which is smaller: 1 or h?
h
Let j(o) = 2*o**2 - 21*o + 8. Let v be j(10). Let i be (2 - (-1 - -2))/v. Are i and -4/19 unequal?
True
Let k = 15 + -28. Suppose -47*x - 271 - 340 = 0. Is k greater than x?
False
Let l = -3 + 4. Let f(c) = -c**3 - 15*c**2 - 25*c + 10. Let j be f(-13). Let y be (-2)/(j/(27/114)). Which is smaller: y or l?
y
Suppose 0 = -583*u + 586*u + 198. Is -60 smaller than u?
False
Let w be ((-2)/3)/((-156)/234). Let y be (1 + 0)*2/10. Which is greater: w or y?
w
Let x = 6 - 7. Let l(o) = -o**3 - o**2 + o + 1. Let k be l(x). Let z be 7/14*(0 - -1). Is k less than z?
True
Let q be (-80)/32*-1*14/5. Suppose -q*t = t + 256. Is -32 less than t?
False
Let d be (-356)/20 - -2*(-2)/20. Let r be 2/(-18) - 1700/90. Is r greater than d?
False
Let v = 1/247 + 491/741. Which is smaller: 1/255 or v?
1/255
Suppose 0 = 2*d + 5*g - 4, -4*g = 0. Let q be 2/d + 15/(-20). Suppose 5*v = 4*v. Does q = v?
False
Let o be (-2)/(-8) + 7/(-28). Suppose 5*n + 42 = -118. Let b be ((-1)/(-3))/(n/36). Is o greater than or equal to b?
True
Suppose -77*u = -81*u - 20. Let l be ((-20)/(-8))/u*0. Which is smaller: 2/123 or l?
l
Let h(v) = v + 1. Let i(g) = 12*g - 17. Let d(z) = -18*h(z) + 2*i(z). Let x be d(13). Which is bigger: x or 25?
x
Let i be (0/(-23))/((-6)/2). Does i = 2/177?
False
Let r(h) = -h**2 - 1. Let t be r(0). Let w be ((-5)/5)/(0 - 9). Which is smaller: t or w?
t
Let n be 9/81 + (-10)/9. Is n at most as big as -36/25?
False
Let s(b) = -4*b - 7. Let m be s(-3). Suppose -x = m - 1. Let v be (-6)/x - 20/8. Which is bigger: -6/5 or v?
v
Let a(q) = -2*q**3 + 7*q**2 + 10*q - 10. Let l be a(6). Which is smaller: -133 or l?
-133
Let h be 2/9 - (-4)/(-18). Let o be -2 + -263 + 6 + -4. Let q = 2891/11 + o. Do q and h have the same value?
False
Suppose 0 = 4*v - 2*t - 24, -5*v - 10 = t - 40. Let s = -38 - -46. Suppose 34 + s = 6*w. Is v at least w?
False
Suppose -3*g - 3920 = 5*g. Let v be g/390 + 4/9*3. Let q be (1 + 0)/(12/4). Is q equal to v?
False
Suppose 4*f - 2*n - 26 = -0*f, -4*n + 29 = f. Suppose -w = 2*w - f. Let x be 1/((-10)/(-3) - w). Which is smaller: x or 4?
x
Let x = -2793.3 + 2799. Is -3 at most x?
True
Let r(j) = j**3 - 5*j**2 + 3*j + 4. Let u be r(3). Suppose -v - 4*b = 50, 5*v + 0*b + 5*b + 220 = 0. Let n = v - -38. Which is smaller: u or n?
u
Let p(w) = -w**3 - 15*w**2 + 14*w - 33. Let x be p(-16). Which is smaller: x or 16/109?
x
Suppose 61*z = -142 + 20. Let b = 9/5 - 33/10. Is z less than or equal to b?
True
Let r(l) = l**2 - 6*l - 158. Let n be r(16). Let w be (-10998)/21 - (-2 - -1). Let j = 524 + w. Which is greater: j or n?
n
Let g be -1 - ((-40164)/6175)/6. Let l = -1/247 + g. Which is smaller: l or 0?
0
Let a be (-1047)/(-45) + 0 + -1. Let w = a + -112/5. Let j be (-55)/11*(-1)/(-5). Are j and w nonequal?
True
Suppose 6 - 96 = -5*w. Suppose -w = 2*k + 2*h - h, -2 = h. Let o be (5 - (-2 - -3)) + -11. Is o not equal to k?
True
Let n = 748/13 - 26336/455. Is 0 > n?
True
Suppose 4*m + m - 15 = 0. Suppose -m = 3*z - 9. Let o = 13 - 9. Which is bigger: z or o?
o
Let j be 24/(-20) - (-2)/10. Let m = -1/459 - 376/38097. Which is smaller: j or m?
j
Let r = 60 + -51. Suppose -r*h - 15 = 3. Is 0 equal to h?
False
Let t = 53 + -75. Let g = t - -20. Does 0 = g?
False
Let i = 3.9345 - -0.0655. Which is smaller: i or -2/49?
-2/49
Let s be 1/(-3)*(-12)/1812. Which is bigger: s or -1?
s
Let b = -107/6 - -18. Let i be (-10)/(-12)*(-36)/40. Which is smaller: i or b?
i
Let w = 1057 + -1052. Which is smaller: 2.5 or w?
2.5
Let a = -11313 + 56756/5. Which is smaller: 38 or a?
38
Suppose 37*r - 46*r = -477. Is 49 equal to r?
False
Let m be ((-1)/(-854))/((-6)/(-8)). Let x = -8546/3843 + m. Let q = 43 + -44. Are x and q nonequal?
True
Suppose -k + 2*k - 4 = -2*a, -k = 4*a - 8. Let u = -5 - -23. Which is smaller: u or k?
k
Suppose 3*r = -4*y - 21, -5*y - 9*r = -12*r + 33. Let x(i) = i**2 + 7*i + 2. Let o be x(-5). Which is bigger: o or y?
y
Let z = 7.01 + -7. Let r = 0.08 - z. Let x = r - -0.43. Is x at most as big as 2?
True
Let d be (-307)/4 + (-1)/4 - 3. Let u = d - -96. Is u < 16?
False
Let x = -3.5 + 10. Let z = x - -0.5. Is z at least 0.3?
True
Let q = 264 + -263.58. Which is bigger: q or -1?
q
Suppose -3*c = 4*n - 483, -4*n + 475 = -3*c - 2*c. Which is smaller: n or 119?
119
Let c(u) = -2*u + 2. Let q be c(-8). Let g(o) = 3*o**3 - 67*o**2 + 22*o + 19. Let p be g(22). Which is greater: p or q?
p
Let h(p) = -p**2 - 3*p - 2. Let u be h(-1). Suppose -2*d + 4*m + 140 = u, -121 = -4*d - 2*m + 109. Is 60 > d?
False
Let k be 36/(-270) + (-28)/(-480). Is 0.08 greater than k?
True
Let x = 499.612 + 0.388. Which is greater: 0.2 or x?
x
Let j = 4.2 + -6.2. Let i = j + 3. Is i greater than -0.34?
True
Suppose -3*r = 4*k - 62, 0 = -4*k + k - 3. Suppose q - 4 + 1 = -2*a, 5*q + 3*a - r = 0. Suppose 3*t - q*m = -25, 0 = t + 4*t + m + 23. Are t and -2 nonequal?
True
Suppose t - 5*s - 62 = 0, 137 = 2*t + s - 20. Let i = t - 202. Is i greater than -126?
True
Suppose 2 = -3*a + 2*a. Let w(b) = b - 18. Let n(c) = -c**2 + 9*c + 1. Let g be n(7). Let j be w(g). Are j and a non-equal?
True
Let q = 25.3 + -21.5. Which is bigger: -3 or q?
q
Let r be (10/6)/(5/15). Let q = -5 + 2. Let s be 10*(q + (-7)/(-2)). Is r <= s?
True
Suppose -5*g - 168 = 2*h, -h - 70 = 2*g - 2. Suppose 36 = 2*y - 2. Let n = y + g. Is -13 < n?
False
Let u = -1.53 + 0.53. Which is greater: 0.259 or u?
0.259
Suppose -4*c + 1639 = 695. Does c = 236?
True
Let n = 35 + -24. Suppose n*a + 11 = -0. Let m = 13.8 + -0.8. Which is smaller: a or m?
a
Let a(q) = -q**3 + q + 15. Let s be a(0). Suppose -5*h - w = -s, 6*w = -3*h + 2*w - 8. Is h greater than or equal to 1?
True
Let l = 1656 + -23181/14. Let i = 10 - 6. Let q = i + -4. Do l and q have the same value?
False
Let p = 40297/9198 - 1/9198. Is 4 >= p?
False
Let w be ((-673)/9)/(16/(-48)). Let i = w + -222. Let b be (-1 - 1)*(2 + 28/(-8)). Is b at most as big as i?
False
Suppose 2*f - 4*f = 22. Let l = 11 + f. Suppose l = -3*o + o + 6. Which is bigger: o or 2/9?
o
Let z = -5.36 - -5.156. Which is bigger: z or 0.2?
0.2
Let p = 5 + -8. Let w = p - -2. Let f = 3.096 + -2.896. Is w at most as big as f?
True
Let l = 941 + -83743/89. Which is greater: l or 2?
2
Suppose 2*n - 110 + 96 = 0. Let q = n + -13. Is -7 smaller than q?
True
Let j(g) = 2*g - 88. Let i be j(11). Which is smaller: i or -65?
i
Let t = 877 - 23680/27. Let v(p) = -2*p**2 + 2*p - 1. Let h be v(1). Let f = 1 + h. Are t and f equal?
False
Let d = 0.04 + 17.96. Let j = 17 - d. Which is bigger: 1 or j?
1
Suppose -219 = 7*m - 4*m. Let q = 74 + m. Which is greater: q or 21/10?
21/10
Let h = -295 - -1479/5. Which is smaller: h or -5?
-5
Let y = -163 + 3259/20. Suppose 5*v - 5*w + 20 = 0, -2*v - 4*w - 26 = -36. Is v > y?
False
Let l be ((-4)/(-20))/((-3)/(-30)*-2). Which is smaller: l or -6/329?
l
Suppose -73 = -2*x + 3*o, 0 = -2*x - 0*o + 4*o + 78. Let n = -50 + 102. Suppose -5*i - 4*k = -156, 2*i - 5*k - n = -4*k. Which is bigger: x or i?
x
Let b = -0.072 + 0.382. Let q = -4.26 - -2.87. Let m = b - q. Does 1/2 = m?
False
Suppose -5*h + 11 + 4 = 0. Suppose 2*s - 18 = 8. Suppose -24 = h*t - 3*f, 2*t - f + 2*f + s = 0. Is t less than or equal to -7?
True
Suppose 3*j = 4*f + 38, -3*f - 66 = -5*j + f. Is j at most 12?
False
Suppose 5*w - 3*w = 8. Let k be (-3)/(-9) - w/(-6). Let h = -525/4 + 14183/108. Do k and h have different values?
True
Suppose 4*b + q - 562 - 63 = 0, 800 = 5*b + 5*q. Is -0.2 greater than b?
False
Let b(m) = 8*m + 96. Let q be b(-12). Which is bigger: 5/119 or q?
5/119
Let j be (138 + -139)/(25/(-2)). Suppose 0 = 2*v + 2*v. Let o(f) = -f**2. Let t be o(v). Is t > j?
False
Suppose 16*l - 180 = 4*l. Do l and 7 have different values?
True
Let c(p) = -4 + 1 + 2 - 4*p - 1. Let j be c(-5). Suppose 5*h = 5*k + 95, 5*k + j = h - 65. Which is smaller: k or -17?
-17
Let h(r) = -4*r**2 + 2*r. Let v be h(-2). Let u be (-4 - (-4)/v) + 3. Suppose -2 = 5*g + 3. Is g greater than or equal to u?
True
Let a(c) = -c**2 + c + 5. Let p be a(3). Let i(r) = -779*r. Let t be i(-1). Let g = t + -10121/13. Are p and g equal?
False
Let m = 8/23 + -70/69. Is m < -18/13?
False
Let h(j) = 5*j - 2 - 7*j + 13 + 0*j. Let m be h(5). Do -8/19 and m have the same value?
False
Suppose -u - u