igger: u or 2?
2
Let g = -0.23 + 0.03. Let q = 2.8 - g. Which is smaller: 1 or q?
1
Let u = 581 + -179527/309. Is u greater than or equal to 1?
False
Let s = -0.186 - 0.014. Are -2/7 and s unequal?
True
Let i be 125/164 - (0 - 0). Let z = 43869/82 - 535. Let c = z + i. Is c >= 0?
True
Let k be 3 + (2 - (-6)/3). Which is greater: 8 or k?
8
Let x be ((-3)/(-6))/((-1)/(-4)). Suppose s = x*s. Which is greater: -4/7 or s?
s
Suppose -5*q = 312 - 112. Let z be 1/6 + q/48. Let j = 1 - 3. Is j bigger than z?
False
Let y = -42 + 36. Which is bigger: -9 or y?
y
Let x = 0.2 - 0.2. Let k = 2 + -7. Let j = k - -3. Which is greater: j or x?
x
Let c be 8/(-4) + 1*4. Suppose -2*f = -c*z, 3*f + 5*z - 5 = 3. Suppose -2*p + 8 = 2*p. Is p not equal to f?
True
Let g be (-3 - (-161)/63)*6/(-112). Which is greater: g or 1?
1
Let n = -2.7 - -3. Suppose -g + 0*g = -r, 4 = -2*g - 2*r. Is n < g?
False
Let x = -5/3 + 2. Let a = -2 + 2. Suppose -4*b + 3*b = a. Is b greater than x?
False
Suppose q - 1 = g, 5*q - 5 = -2*g + 14. Let n(r) be the second derivative of -r**3/6 + 3*r**2/2 - r. Let c be n(3). Which is bigger: g or c?
g
Let b = 17 + -5. Let t = b + -16. Suppose -v + 4 = 3*v. Which is smaller: v or t?
t
Let y be (2 - 1)*2/10. Does y = 1?
False
Let v = 163.1 - 154. Let i = 9 - v. Do 0 and i have the same value?
False
Suppose 4*v + 106 = 2*b, -b - 4*v + 32 = -33. Is b bigger than 57?
False
Let j = -12 + 12. Let z = -0.4 + 0.2. Let c = z + j. Do 3/5 and c have the same value?
False
Let k(m) = m - 5. Let q be k(12). Let r(y) = -y + 2. Let j be r(-7). Are q and j equal?
False
Suppose -1 = -c - 2. Let y be (-2 - 0)*c/2. Let g = 5 + -3. Which is greater: g or y?
g
Let h = 21.982 - -0.018. Is h equal to -1/3?
False
Let p be (2/(-3))/((-145)/(-15)). Let m(o) = -o**3 + 4*o**2 - 4*o + 2. Let l be m(3). Which is greater: l or p?
p
Let x = -23 - -22. Is -6 at most as big as x?
True
Let w be 18*2/9*3. Which is bigger: w or 13?
13
Let a = -0.36 - -0.26. Which is bigger: -0.039 or a?
-0.039
Let n = 36 + -16. Let z = 62/3 - n. Which is bigger: 0 or z?
z
Let s be (-2)/((-1 - -3)/(-1)). Let p = 0.8 + -0.3. Which is bigger: p or s?
s
Let q = 24 - 14. Which is smaller: q or 8?
8
Let n be 11/((-1)/3*-3). Suppose -n - 4 = -5*m. Which is greater: m or 5?
5
Let t = -4 + 6. Let s(g) = -t + g + g - g. Let p be s(3). Is p bigger than -2/9?
True
Let t = 3.1 - 3.3. Let h = -5 + 5.1. Is t > h?
False
Suppose -v = -3*k + 11, 2*k - 6*k = -5*v - 33. Suppose -4*u = -2*u + k. Let o be ((72/(-20))/6)/1. Which is smaller: u or o?
u
Let q be -3*6/711 - 0. Let u = q - -85/237. Which is smaller: u or 1?
u
Let q be 0 + 0 + -2 + -1. Let v be (q/2)/((-6)/(-8)). Which is smaller: v or -3?
-3
Let k = 40 + -37. Which is smaller: -0.7 or k?
-0.7
Suppose 9 = 2*t - 3*t - 5*m, 0 = -2*t - 3*m - 4. Let w = 66/28219 - 171798658/592599. Let u = w + 290. Is u less than t?
True
Let d be 4/(-6)*(-3)/2. Suppose 0 = 5*p + 5*r + 10, -4 = 2*p + 6*r - 10*r. Is d < p?
False
Let w = 5 + -6. Is w <= -1?
True
Let f = -21 + 21. Suppose -1 = -f*m + m. Is -7 smaller than m?
True
Let x be (1 - 2)*(17 + -16). Let u be 1/3 - (-17)/(-24). Let m = u - 1/8. Which is smaller: x or m?
x
Suppose -2*c = -5*c. Suppose -3*s + 26 = y, c = 3*s + 6*y - 4*y - 31. Is s != 6?
True
Let z be 4/14 - (-1788)/(-84). Let x = z + 61/3. Is -1 at least as big as x?
False
Let a be ((-182)/(-4) - 0)*-2. Which is smaller: a or -92?
-92
Let x = 55 - 54. Is 3/88 less than or equal to x?
True
Let z = 8 + -15. Let i = z - -7. Do -3/4 and i have the same value?
False
Suppose 6 = 5*s - 2*s. Suppose v - s = -0*v. Let c = -5 + 7. Are c and v non-equal?
False
Let i(s) = s**2 - 5*s + 5. Let k be i(4). Let z be 3 + -2 + 0 + -6. Let w be 1/z + (-4)/30. Which is smaller: k or w?
w
Suppose 3 = -h - 4*b, h = b + 1 + 1. Let d = 21 - 20. Is h at most d?
True
Let v = -2 - -1. Let r = 6 + -13. Let j = 8 + r. Is j less than v?
False
Suppose -5*s + 2*x = 37, 0 = -7*s + 3*s + 2*x - 30. Let l = 13 + s. Suppose -2*d + 5*c + l = 0, 2*c = 3*c. Which is bigger: 4 or d?
4
Suppose 3*g - 14 - 1 = 2*l, 2*l - 20 = -4*g. Suppose 3*a + 3 - 9 = 0. Suppose a*v = v. Is l less than or equal to v?
True
Let b = -39 + 26. Let z = b + 11.6. Which is bigger: z or 2/7?
2/7
Let v be (18/(-5))/(1/5). Let t be ((-2)/3)/((-12)/v). Which is greater: 0 or t?
0
Let t be (-7)/((-7)/78) - 1. Let h be 179*(1 + (-10)/7). Let b = h + t. Does 0 = b?
False
Let i = -5 - -14. Let j = 11 - i. Which is bigger: j or -1/2?
j
Let q(w) = w - 5. Let p(v) = v**2 + 2*v - 4. Let y be p(-4). Let d be q(y). Which is greater: d or 1?
1
Let r be 42/(-30) + (-4)/(-10). Is -10/9 <= r?
True
Let s be 1/(-3) - (-26)/6. Let l = 17/7 + 1/14. Which is greater: l or s?
s
Suppose 27 = -s - 0*s - 4*q, 15 = -5*q. Is -15 not equal to s?
False
Let r = -121.02 + 122. Let c = 0.02 + r. Let v be (2 - 1) + 10/(-6). Do c and v have different values?
True
Let w = 173 + -177. Which is smaller: 10 or w?
w
Let i = -5/8 + 3/8. Let p be -1*3/(-2)*-1. Does i = p?
False
Let h = 1 - 1. Let i be (1 + -2)/(3/(-27)). Let b be 16/i - 4/(-18). Are b and h equal?
False
Let h be (1/2)/((-1)/4). Let j be (438/(-9) - 2) + -2. Let q = j + 52. Which is greater: h or q?
q
Let q be (-7)/7 - (-46)/12. Which is smaller: 4 or q?
q
Let s be (-4)/6 + (-14)/(-3). Suppose -2*w = -5*m + 9, -s*m - 7 = 4*w - 31. Is w greater than 4?
False
Let n(m) = m**2 - 3*m - 1. Let k be n(4). Suppose 0 = k*f - 8*f. Let g(l) = l**3 + 2*l**2. Let d be g(-2). Does d = f?
True
Let d(b) = -b. Let z be d(-2). Suppose -2*t - s = -13, z*t - 7 - 21 = -4*s. Suppose 2*y + 2*y = t. Is y < 1?
False
Let q = 619/7 - 88. Let s(v) = -v**2 - 9*v - 1. Let k be s(-9). Let l = k + 2. Which is greater: q or l?
l
Let x(a) = a**3 + 7*a**2 + 6*a. Let s be x(-6). Which is smaller: 1 or s?
s
Let p = -507/4 + 126. Is p greater than -2?
True
Let s = 1.36 - 1.2. Let m = -0.16 + s. Which is smaller: m or 5/7?
m
Suppose -4 = -b - 0. Let j = 3 - 8. Let s be 10/(-2)*3/j. Does b = s?
False
Let g = -34724 + 693971/20. Let u = -26469/1012 + -24/253. Let o = g - u. Which is greater: 0 or o?
o
Let a = 5.5 + -5. Let m = a + -5.5. Let b = m - -6. Which is bigger: b or -2?
b
Let v be (-1 + 2)*(-1 + -8). Let r(c) = c**2 + 8*c - 5. Let n be r(v). Are 2 and n equal?
False
Let f be (-1 + 2)*(-2 - -4). Let l = -83 - -86.01. Let i = 0.01 - l. Which is smaller: f or i?
i
Suppose 4 = -4*k + 20. Suppose 0 = -2*m - 5*v - 7, 0 = -5*m + 4*v + 36 - k. Let c = m - 3. Are 4/9 and c equal?
False
Let t(y) be the third derivative of y**6/120 - y**5/20 + y**2. Let h be t(2). Suppose 4*x - 3*j = -2*j - 20, 0 = -5*x + 3*j - 25. Which is smaller: h or x?
x
Let i = -1 - -2. Let c be 91 - (-1 - 0)*1. Let w = 643/7 - c. Which is bigger: i or w?
i
Let v = -0.4 - -0.5. Let m = v - -0.1. Is m less than 0?
False
Let y be -3*(-3)/36*-5. Is y >= 0?
False
Let f = -4.2 - -4. Let h be ((-5)/6)/((-7)/(-21)). Is h != f?
True
Let t be -3*4/24 - 0. Is t less than 2?
True
Suppose 4 = -5*i + 4*a, 4*i = a + 2*a - 4. Let j be (9 - (-12)/i) + -3. Is 2 at least as big as j?
False
Let f = 2/81 - 29/81. Is -0.6 smaller than f?
True
Let k be (-16)/(-136) - (-88)/(-459). Which is smaller: k or -1?
-1
Let s = -7 - -13. Suppose -5*b + s = -4. Let v = 1 - b. Is v greater than or equal to 0?
False
Let z = -14 + 2. Let y be 105/(-18) - (-2)/z. Let j be 3/y*(-2)/8. Is j greater than or equal to 1?
False
Let t be 4/3*(-2 - 1). Let g be 40/(-6) + t/(-6). Let h be (-10)/(-3)*(-3)/2. Which is smaller: g or h?
g
Let v = -36 - -35.2. Let l be ((-3)/15)/((-16)/20). Which is smaller: v or l?
v
Let n = -0.5 - -0.39. Let c = n - -0.21. Which is smaller: 1/6 or c?
c
Let u = 17.56 + 0.44. Let n = -16 + u. Which is smaller: n or 1?
1
Let c = -1.2 - -1.11. Let x = 0.09 + c. Which is smaller: x or -3?
-3
Let d be (-756)/45*3/(-106). Let x = -4/53 + d. Are 1 and x nonequal?
True
Let b be (-2)/(-9) + 7/9. Let l be -1 + b + 17 + -10. Is 7 > l?
False
Suppose -4*o + 4*p = -24, 4*o = 5*o - 4*p - 6. Suppose 0 = 5*t + 21 - o. Let w be ((-20)/12)/((-2)/t). Which is smaller: -4 or w?
-4
Let z = 0.023 + -2.023. Is 1.4 less than or equal to z?
False
Let f be 6*-2*3/4. Do -9 and f have different values?
False
Suppose -t + 0 - 8 = 0. Let y be (-30)/t + (-3)/4. Let q be -1 - (-1 + 0/y). Which is smaller: q or -2?
-2
Sup