Let s = 47/11 - 1042/231. Which is smaller: 0 or s?
s
Suppose 3*l + 2*l - 5 = 0. Which is smaller: l or -2/9?
-2/9
Let c = 70.8 + -60. Let r = 11 - c. Is -2/7 not equal to r?
True
Let f be (0 - 0)/((-4)/(-4)). Suppose -12 = -f*c - 2*c. Is 7 greater than or equal to c?
True
Let h = -4/279 + -3049/1395. Is -1 at least h?
True
Let q = -22 - -18. Which is smaller: -3 or q?
q
Suppose u - 5*v + 37 = 0, -5*u - 4*v - 25 = 15. Which is bigger: u or -13?
u
Let j = -5/916 + -7651/24732. Let x = j - 1/54. Which is smaller: 1 or x?
x
Let d = 187 + -1307/7. Let y = 0.15 - 0.05. Is d >= y?
True
Suppose 3*r - 7*r - 4*k = 24, -56 = 4*r - 4*k. Is r smaller than -10?
False
Let j be 0 + (-4)/2 - (-3)/1. Is j > 8/7?
False
Let q = 12.6 + -10. Let l = q + -2.68. Which is smaller: -2 or l?
-2
Let o be (6/10)/(414/60 + -6). Which is bigger: 14 or o?
14
Suppose -l - 5*r - 25 = 0, 0*r - 11 = l - 2*r. Is l greater than or equal to -13?
False
Let t = 1.1 + -0.1. Let n = t + -0.9. Suppose -14 = -4*v + 2. Which is bigger: n or v?
v
Let i = -27 - -26. Is i at most as big as 5/24?
True
Let i be ((-8)/(-16))/((-14)/(-16)). Let n = 11 - 45/4. Which is smaller: n or i?
n
Suppose 2 = o + 9. Which is smaller: o or -1?
o
Let f(a) be the second derivative of a**5/20 + a**4/4 - a**3/3 - a**2/2 + 2*a. Let q be f(-3). Let l(z) = -z**2 + 6*z - 2. Let k be l(q). Are k and 3 equal?
True
Let d = 8 + -8.8. Let o = -1.1 - d. Is 0.2 less than o?
False
Let h be (-4)/18 + 6/27. Suppose h = -4*f + 6*f + 22. Does -11 = f?
True
Let v(g) = g**2 + 11*g + 13. Let y be v(-10). Suppose -y*a - 2*a + 5 = 0. Is a > 1?
False
Let g be (-12)/(-9) - (-4)/24. Let a = -2/901 + 4519/6307. Let t = -39/35 + a. Do g and t have the same value?
False
Let j(k) = -k**2 + 3*k + 1. Let d be j(5). Let q = d + 10. Is 1/16 at most as big as q?
True
Let d = -2.7 - 0.3. Let h = d - -8. Let f = 1 - h. Is 0 at most as big as f?
False
Let d(c) = -c**2 + 5*c - 10. Let m be d(4). Is -15 <= m?
True
Let l be ((-42)/15)/((-2)/(-10)). Is -14 at least l?
True
Let n be (-1)/(2/2)*0. Let j = -3 - -2. Is j greater than or equal to n?
False
Suppose 2*q + 4*k - 8 = 0, 4*q + 2*k + 6 = 5*k. Which is smaller: q or 2/15?
q
Let l = -3 + 2. Let k be 54/10 - ((13 - 20) + 13). Does k = l?
False
Let h(z) = z**3 + 7*z**2 + 4*z - 1. Let w be h(-6). Which is smaller: w or 7?
7
Let p be (-16)/(-4) + 149/(-4). Is p >= -32?
False
Let f = -138 - -60. Are 0.1 and f equal?
False
Let v = -0.08 - 5.92. Let z = v - -6.01. Do z and -0.1 have different values?
True
Let x = 119 + -116. Do x and 12 have different values?
True
Let t(a) = 3*a**2 - 2*a + 1. Let x be t(2). Suppose -3*o + x + 0 = 0. Is o bigger than 2?
True
Suppose 10*x + 18 = 12*x. Which is smaller: x or -1?
-1
Let p = -5264/39 + 135. Is -1 at least as big as p?
False
Let a be (-9)/(-6)*8/12. Is a at most 3/4?
False
Let v be -3 + 37 - (-3 - -5)*-2. Is 1/2 less than v?
True
Let i = -11/6 - -61/30. Let u(m) = -m**2 - 2*m - 1. Let s be u(-2). Is s bigger than i?
False
Let p = 122467/3 - 2572109/63. Let a be 2/13 - (-5160)/(-1092). Let j = p - a. Which is smaller: j or 0?
j
Let n = 43 - 37. Are n and 6 equal?
True
Suppose 9*p = 4*p + 10. Which is smaller: p or 11/5?
p
Suppose 3*h - 4*h = -8. Suppose -5*l = -l + h. Let i = -65/21 - -24/7. Which is smaller: i or l?
l
Suppose 2*q - 4 = -2. Let s = -2 - -9/4. Is s > q?
False
Let c = 51 + -257/5. Let f be 3/2*4/33. Which is bigger: f or c?
f
Suppose 0*c - 28 = 4*c + d, -4 = -d. Let a = c + 9. Which is smaller: a or -2/7?
-2/7
Let v = 1247 - 18697/15. Which is smaller: 1 or v?
v
Suppose 0 = 2*r - 5*r + 3. Let q be 6/(-45)*(r - 0). Let h be 0/(1 - 3 - -3). Is q less than h?
True
Suppose 4*r - 13 = -97. Let o = r - -14. Let w be 4/(-14) - (-5)/o. Which is smaller: 2/5 or w?
w
Let t be 28 + 0/(-3 - -2). Let y be ((-6)/35)/((-16)/t). Which is bigger: y or 1?
1
Let x = 2 + -1. Let d be 1/3*0/4. Let m = d - x. Which is greater: m or 0?
0
Let g = -17121/4725356 - -693437793501/45339790820. Let l = g + 18/1919. Let x = l + -31/2. Is x greater than or equal to 1?
False
Let b = -1097/28 + 155/4. Suppose r = -3*r. Which is bigger: r or b?
r
Suppose 2*q = -3*q. Let c be 2/(-7) - 2/(-7). Let u be (-1)/3 + (c - q). Is u less than or equal to 1?
True
Let j(n) = 4*n + 1. Let p be j(0). Which is bigger: 9/7 or p?
9/7
Let v(g) = g - 3. Let o be v(4). Let s = -104/3 + 35. Which is smaller: o or s?
s
Let l(y) = y + 1. Let a be l(-1). Let c be (6 + -20)/((-3)/9). Suppose 0 = i - 2*f + 14, 0 + c = -5*i + 3*f. Which is smaller: i or a?
i
Let s = -113 + 567/5. Which is smaller: 1 or s?
s
Suppose 0 = x + 2*g, g = -4*g - 10. Suppose -148 = -4*b + 2*y - 0*y, -5*y = -x*b + 142. Let w = b - 113/3. Which is smaller: w or 1?
w
Suppose 3*r - 9 - 12 = 0. Let o be (2 - r/2)*2. Is o less than -3?
False
Let z = -0.26 + 0.36. Are z and -0.7 non-equal?
True
Suppose 6*f + s = 3*f + 30, 3*f - 3*s - 18 = 0. Let k be (-10)/(-15)*f/2. Which is bigger: 1 or k?
k
Let d = 0.7 - 0.4. Let a = d - 0.3. Let y = a + 0. Which is bigger: y or 0.04?
0.04
Suppose -4*d = -0*d - 24. Suppose 16 = 2*w - p, 5*p - p = w + d. Is 10 equal to w?
True
Let u = 14 - 10. Suppose -b - 60 = u*b. Is -11 bigger than b?
True
Suppose 0*q - 46 = -2*d - 2*q, 0 = -4*q + 20. Let l = 6 + -6.1. Is l at least as big as d?
False
Suppose -3*l - 15 = -4*l. Suppose -3*v - l = -0*v. Which is smaller: v or -4?
v
Let n = 0 + -8. Let p = 12 + -12.1. Which is bigger: n or p?
p
Suppose -3*j - 4*w - 289 = 0, -3*w - 2*w + 505 = -5*j. Is j equal to -98?
False
Let z be 2*((-3)/2 + -1). Suppose -3*a + 5 - 23 = 0. Is z > a?
True
Let d be 1438/819 - 2/7. Let y = d + -22/13. Which is smaller: y or 0?
y
Let l = -15 - -12. Let z(m) = -m**3 - 6*m**2 - 5*m - 2. Let w be z(-5). Which is smaller: w or l?
l
Let f = -16 + 17. Is f not equal to 3?
True
Suppose -5*x = v + 14, 0*x + 8 = -2*x - v. Let b = -5 - -5.1. Let t = b + 0. Which is bigger: t or x?
t
Suppose -2*r + r = -5. Is r smaller than 5?
False
Let k be (-16)/20 - (-578)/10. Let z be k/60 + 6/(-8). Let g be ((-1)/2*2)/(-1). Which is smaller: g or z?
z
Let h = 1 - 2. Suppose -2*u = -3*u - 54. Let j be (12/u)/(2/(-3)). Is h at most j?
True
Let a be 3*(-2)/(-117)*3. Let w be (20/(-25))/((-1)/5). Suppose -5*b + 15 = -5*m, -5*b - 6 = -3*b + w*m. Is a < b?
True
Suppose 3*n - 12 = -3*f + n, f + 3*n = 11. Let w be (f/8)/((-2)/(-8)). Does w = -3/10?
False
Let c = -6 - -8. Let z be -3*(8/(-4))/6. Which is smaller: z or c?
z
Suppose 6 + 4 = 5*b. Is 5/4 smaller than b?
True
Let m(a) be the third derivative of a**5/60 - 7*a**4/24 + 2*a**3/3 - a**2. Let d be m(5). Let n be 0/(3/d*-4). Is n less than or equal to 0?
True
Let u = -12.02 + 0.02. Which is smaller: u or -2?
u
Let q(h) = -h**3 - h**2 - 2*h + 3. Let t be q(0). Is 11/4 greater than or equal to t?
False
Let h be (1/(-1) - 0) + 0. Let m = 3556/9 + -396. Is h smaller than m?
True
Let f(m) = -6*m + 29. Let v be f(5). Is 3/103 bigger than v?
True
Suppose 5*a = -3*b + 16, 2*a - 11 = -2*a - 3*b. Suppose -3*q + a = -8*q. Is -1 at most as big as q?
True
Let k be 15 - 3*(1 + 0). Suppose -4*p + k - 56 = 0. Which is smaller: p or -10?
p
Suppose 0 = -o + d - 179, -4*o = 3*d + 798 - 68. Let y be (1627/(-9) - 0) + 0. Let r = y - o. Which is smaller: 0 or r?
0
Let c be ((-20)/4 - 3)/(-1). Is 7 bigger than c?
False
Let g be 8/10*10/4. Let o = 26/15 - 7/5. Which is smaller: o or g?
o
Let s = 0.52 + -11.32. Let c = -1.8 - s. Let t = c - 8. Which is greater: t or -8?
t
Suppose -12*y - 4 = -10*y. Is y not equal to 1?
True
Let n = 15 - 49/3. Which is smaller: n or -1?
n
Let h be (2 - -2)*36/(-8). Let a(z) = -z**3 - 5*z**2 + 2*z - 3. Let c be a(-5). Let l = h - c. Are -5 and l nonequal?
False
Let h(l) = 3*l - 1. Let j be h(1). Let y = -2 + 2.04. Let r = -1.96 - y. Are j and r unequal?
True
Let k = 167 - 167.1. Let w = -1.27 + 1.1. Let q = w - 7.83. Which is smaller: k or q?
q
Let h(v) = v - 1. Let q be h(-4). Let m = 26 - 21. Let o = q + m. Do 2 and o have different values?
True
Let d = 18 + -18. Let o be 4/14 + 6/(-21). Let g = -1 - o. Which is bigger: g or d?
d
Let p be -1 + (-5)/(-4) - (-5)/8. Which is bigger: p or 2?
2
Let i = -1 - -0.92. Let q = i - -0.05. Let n = -0.01 + q. Which is bigger: n or 0?
0
Let h(l) = l**3 - 6*l**2 + 7*l + 2. Let r be h(5). Let v be r/140*2/(-3). Whi