 = 1 - k. Let f = 427/1335 + 6/445. Is x at most as big as f?
False
Let i = -467 - -518.1. Let d = i + -215.1. Which is smaller: 0.2 or d?
d
Let s(r) = -r**2 - 20*r + 23. Suppose -b = -2*b - 21. Let z be s(b). Suppose 3*i - 4*i - d = -5, -z*i = -2*d + 10. Which is bigger: -1/87 or i?
i
Let u = -12697/4 + 3174. Are u and 48/17 non-equal?
True
Suppose 4481 = 20*p + 21061. Let g = p - -249. Which is greater: g or -581?
g
Let r = -178 - -224. Suppose -r*n - 1 = -47*n. Is n less than 9/5?
True
Suppose 9*d + 278 = -1333. Is -179 smaller than d?
False
Suppose -2*a - 175 = -191. Let p be a/(-12)*6/(-19). Is -1 bigger than p?
False
Let g = -0.207 - -140.207. Let s = g + -84. Let j = 49 - s. Which is smaller: j or -2/7?
j
Let g be (-7)/((-21)/12) + -2. Suppose 0 = -2*q + 2*l + 172, 5*q - 300 = -l + 100. Let x be ((-9)/q)/(3/6 - 0). Are x and g nonequal?
True
Suppose -351*h - 4095 = -36*h. Let z be (-4)/(-10) + (-71)/5. Which is greater: z or h?
h
Let j = 913 + -2356. Let c be 3*(-2)/(-33) + j/(-231). Which is greater: 7 or c?
7
Let n = 102 - 51. Suppose -3*q + n = -30. Suppose 3*o - 2*g + 6 + 10 = 0, 5*g = o + q. Which is greater: o or 0?
0
Suppose 965 = 59*i - 54*i. Let n = 192 - i. Let s = -143/1680 + 3/80. Is n bigger than s?
False
Suppose 4*u - 5*j = -0 + 11, -u + 5*j - 1 = 0. Let r be (9/(-45))/(u/955). Is -48 bigger than r?
False
Let z be (3/(-7))/(3 + 132/(-42)). Suppose 11*l - 2104 = z*l. Suppose -l = 5*v - 23. Is v greater than or equal to -49?
True
Let l be (-138)/(-368)*-112 + 11*1. Suppose -2*h - 61 = -x, 2*h - 6*h - x - 119 = 0. Are l and h equal?
False
Let m = 221/11 + -7171/352. Let i = m + 257/32. Is 7 >= i?
False
Let w = 44 - 7. Let a = 35.5 - w. Let r = a + 2.5. Is r smaller than 1/19?
False
Let m(s) = -8*s - 6. Let y be m(-7). Let o = -595 + 651. Suppose -3*k + o = y. Is k smaller than -6?
False
Let l be (-16)/(-8)*(-3)/6. Is l greater than 2/1787?
False
Let z be (2/4)/(1/(-14)). Let u(b) = -30*b - 24. Let j be u(-2). Let s be -2*3/j - (-6744)/(-1008). Which is bigger: z or s?
s
Suppose 13*s - 966 = -s. Let h = -326 - -534. Suppose 0 = 3*f + 4*c - h, -2*f + f + 66 = -2*c. Which is bigger: f or s?
s
Let k(b) be the second derivative of b**5/20 + 11*b**4/4 - 6*b**3 - 28*b**2 - 9*b + 6. Let d be k(-34). Is 3 < d?
True
Let d = -113/119 + 21/17. Is d >= 6?
False
Let b be (-535)/50 - ((-12)/(-40))/1 - 5. Suppose -2*c = c + 51. Which is bigger: c or b?
b
Let u = -5 + 5.2. Let d = 9.9 + -8.77. Let k = -36.87 - d. Is u at least as big as k?
True
Let b be -1*3/1*1. Let j = -1.79 - 2.87. Let y = -2.66 - j. Are y and b unequal?
True
Let m = 19471/7 - 2789. Let x(y) = y**2 + 15*y - 8. Let o be x(-15). Which is greater: o or m?
m
Let p(k) = 2*k**2 + k. Let m be p(-1). Let x be 3595/(-87)*((-14)/1225 - 0). Let h = x + -56/87. Is m less than h?
False
Suppose -4*b - 69 = -b. Let o(i) = 97*i**2 - 1. Let w be o(-1). Suppose -3*p = 4*d + w, 72 = -2*d - d - 4*p. Which is smaller: d or b?
d
Let m be ((-10)/1284)/((-470)/(-28482)). Which is greater: m or -1?
m
Let n be (-5)/((-20)/24) + (-168780)/2146. Is n >= -72?
False
Suppose -c - 635 = -v + 123, -3*v = -c - 768. Let a = -585 - c. Which is smaller: a or 167?
167
Suppose -34*n + 45*n - 396 = 0. Which is greater: 38 or n?
38
Let y be -14*4/(-8) + 59313/(-8475). Is y less than 0?
False
Let f(p) be the second derivative of p**3 - 5*p**2/2 + p + 9. Let g be f(1). Which is smaller: -3/11 or g?
-3/11
Suppose -22*h + 35 = -31. Suppose -h*y - 114 + 111 = 0. Which is smaller: y or -24?
-24
Let h(r) = -190*r + 1075. Let d be h(7). Which is smaller: -259 or d?
-259
Let x be 1/(-1) - (-100)/10. Suppose 4*t - 5*t - x = 0. Is t at most as big as -10?
False
Let s(n) = 222*n - 6415. Let l be s(29). Do l and 156/7 have different values?
True
Let c = -64 - -31. Let x be c/(-77) + (-128)/217. Which is bigger: -1 or x?
x
Let t = 0.33617 + 29.66383. Which is smaller: 28 or t?
28
Let x = -0.1 + 4.1. Let d = -1055.387 - -1056. Let u = d + 0.087. Are u and x equal?
False
Let q be ((-130)/(-78))/((-35)/(-2667)). Which is greater: 755/6 or q?
q
Let t = 756/29 + -2676211/102660. Is -1 bigger than t?
False
Let k be -103 - 11716/(-101) - 2*8. Let v be -5*(1 - 38/50). Which is smaller: v or k?
k
Suppose 89858 = 112*f + 31618. Which is smaller: f or 0?
0
Let a = 9/17 - 10/51. Let u = -691.3 - -641. Let h = u - -50. Is a not equal to h?
True
Suppose 5*x - 15 = 95. Suppose -85*v = -86*v + 25. Suppose -3 = -x*t + v*t. Is t < -2/5?
True
Let i = 979 + -1060. Is -74 greater than i?
True
Let h(o) = o**3 - 3*o**2 + 3*o - 1. Let z be h(2). Let g = -354003/1034 - -3766/11. Are g and z non-equal?
True
Let m(i) be the third derivative of 1/120*i**6 + 0 + 0*i - 24*i**2 - 1/3*i**4 - 1/6*i**3 + 7/60*i**5. Let y be m(-8). Is y at most 3/53?
True
Let l = 41 + -37. Suppose -5*k - 45 = -2*f, -k - 117 = -8*f + l*f. Let g be (48/(-10))/((-9)/f). Does 16 = g?
True
Suppose 0 = -k + 6*w + 15*w - 7094, -k - 2*w - 7209 = 0. Which is greater: k or -7201?
k
Let r = 20.4 - 21. Let i = 102 + -300. Let g = i - -199.1. Which is smaller: g or r?
r
Let v(r) = -315*r - 18584. Let q be v(-59). Which is greater: q or -7972?
q
Let w = -103 - -103.47. Let h = -8.53 - w. Let z = -3.383 + 0.383. Which is bigger: z or h?
z
Let s = 3251 - 2953. Are s and 298 equal?
True
Let p = -139 - -139. Let f be p + 4/10 - 2392/6030. Does 1 = f?
False
Suppose 4*m - 2*o - 347 = 223, 0 = -4*m + 5*o + 573. Let v = m - 141. Which is smaller: 2/81 or v?
2/81
Let i = 10 - 13. Let q = -5 - i. Let o be (-162)/(-189) + (-3)/7. Is o smaller than q?
False
Let m be (2850/1125)/(2/(-20)) - 2/3. Which is smaller: m or -30?
-30
Let l = -73 - -102. Suppose l*u - 20*u + 288 = 0. Let n = 1/28 + -59/84. Which is bigger: n or u?
n
Let k = -1952 - -1977. Let l = -1 - -4. Suppose -g + k = -l*b, 85 = g + 2*g - 4*b. Does g = 31?
True
Let i = -3119455474907/299903756355 + -20/91294903. Let a = 52/5 + i. Is a at least -0.2?
True
Let y = 67 + -5965/89. Let m = 575 + -574. Which is greater: y or m?
m
Let n be (-3)/2 - (-164)/88. Let y = n + -25/99. Let r = 1 + 0. Is r at most as big as y?
False
Suppose 6*f + 70 + 548 = 0. Which is smaller: f or -6?
f
Let p = -15.7017 - -0.6517. Which is greater: 1/2 or p?
1/2
Suppose 0*i - 3*i + 6 = 0. Suppose a = -i*a + 48. Suppose -65*t + 753 + 222 = 0. Is t at least as big as a?
False
Let j = 0.7149 + -0.1254. Let m = 91.4495 - j. Let z = -91 + m. Is -2 <= z?
True
Let t = 943 + -932.424. Let w = t - -0.024. Let d = w - 32.6. Which is greater: d or -0.1?
-0.1
Let q = -1.5 - 1.3. Let l = 0.115 + -3.115. Let r = q - l. Do r and 3 have different values?
True
Let f be (-3 + 7)/(-2 - -12). Let c = 84 - 84.2. Let k = c + 10.2. Is f != k?
True
Let t = 136161 + -1769082/13. Is t >= 77?
True
Let y = -6 - -6. Let q(p) = 15*p**3 + 12*p**2 - p. Let v be q(-1). Which is smaller: y or v?
v
Let v be (22/130)/((-699)/68735). Is v greater than -16?
False
Let b = 272 + -266. Suppose -w = 0, -3*w = -t + b*t - 620. Is 126 less than t?
False
Suppose -2006 + 2462 = -8*j. Is j at least -44?
False
Suppose w + 21 = 2*b, 2*b - 5*w - 14 = -b. Let a = b - 10. Suppose d = 5*g + 4, -a*g - g = -4*d + 16. Which is bigger: -1 or g?
g
Let y = 26/21 + -50/63. Let q be (2 + (2 - 1))*(-232)/87. Let a be 0 + 1/15 + q/20. Is y < a?
False
Suppose -56*w - 2 = -54*w. Let h(i) = -i**2 - i + 4. Let u be h(-3). Let n be w + 0 + u/(-2). Is n != 3/16?
True
Suppose -493 = -4*f - 5*j, 0 = -3*f - 4*j + 137 + 233. Suppose 0 = -3*g - 2*v + 22 + 52, -3*v = 5*g - f. Is 20 != g?
True
Let x(s) = 32*s**2 + 15*s - 3. Let t be x(2). Let b = 9 + t. Are b and 164 non-equal?
False
Let l(z) = z**3 - z**2 - 31*z - 29. Let g(f) = -f**2 - 2*f + 1. Let a(d) = -6*g(d) + l(d). Let y be a(-7). Is -14/17 less than y?
True
Suppose -15*s = -s - 28. Suppose 5*o - 14 = -3*a, -o + 0*a + a - s = 0. Is o < 10/53?
False
Let l = 37 - 14. Let d = l + -20. Let h be 5/(-15)*d*-10. Is 10 less than h?
False
Let g(l) = -l**3 - 11*l**2 + 25*l - 13. Suppose 4*w + t = -82, -40 = 2*w + 3*t - 4. Let d be ((-26)/(-6))/(7/w). Let q be g(d). Is 9/10 equal to q?
False
Suppose 4*d = -4*a + 56, -4*d - a + 34 = -7. Suppose d*l - 344 = 13*l. Is -82 not equal to l?
True
Let r = -0.1881 + 43.1881. Which is greater: 19 or r?
r
Let s(b) = b**3 - 6*b**2 - 7*b + 1. Let f be s(7). 