5*o + 4*y + 1. Suppose -4*r + o = -3*s + 21, -4 = -s - r. Is 6 > s?
True
Let l = -17 + 18.06. Let n = l + -0.06. Which is bigger: n or 4?
4
Let k = 1.1 - 1.2. Let o = 0 + 0. Let u = k + o. Which is bigger: u or 2?
2
Suppose 7*h = -0 + 21. Suppose 7*c = 4*c - h. Is -3/2 smaller than c?
True
Let w = 2 + 1. Suppose -k - 2*j + 6 = -5*k, 0 = w*k + j - 8. Are k and 2 unequal?
True
Let u(s) = s**3 - 2*s**2 - s - 1. Let b be u(2). Let j = 3 + b. Which is greater: 2 or j?
2
Let l be (-28598)/(-5175) + (-2)/1. Let s = 81/23 - l. Let o = s + 683/1800. Which is bigger: o or -1?
o
Suppose 13 = 5*w - 27. Suppose 0 = -b + 2*y + 12, 5*y + w = -3*b - 0*b. Is b < 3?
False
Let d(o) = o**3 - 5*o**2 + 3*o - 1. Let g be d(5). Let v(s) = s**2 - 15*s + 13. Let a be v(g). Which is smaller: a or -3/2?
-3/2
Let d = 21.06 - 21. Which is bigger: d or 0?
d
Let s be (5/5)/(-1 - -2). Let w = 9 + -6. Suppose -w = 4*k + s. Is -2/3 equal to k?
False
Let p = -1 + 0. Let l = -1005 + 999. Which is greater: p or l?
p
Let w = -0.09 - 0.01. Is 2/13 less than or equal to w?
False
Let d = -8 - -8. Let u = d + 5. Which is smaller: u or -1?
-1
Let u be (13/(-26))/(38/(-8)). Is u < -1?
False
Let y be 88/30 + (-10)/(-25). Which is smaller: y or 2?
2
Let w be 2/10 + 3736/20. Let h = w + -3555/19. Is h smaller than -1?
False
Let g = -523 - -13077/25. Which is bigger: 1 or g?
1
Suppose -4*f - 43 = 5*d, -6 = -0*d + 2*d. Let g = -8 - f. Which is smaller: g or 0.1?
g
Let p(l) = -l**2 + 7*l - 2. Let y be p(7). Let n = 756/5 + -152. Is y at least as big as n?
False
Let x = -11/37 - 101/407. Suppose 4*r = -4*h - 32, 0 = -h - 0 - 4. Let y be 0*(14/r - -3). Is x equal to y?
False
Suppose -8 + 5 = -p. Is 4 smaller than p?
False
Let x be (-2)/(38/(-20) + (-15)/(-10)). Is 6 less than x?
False
Let o = 0.3 - -0.2. Let h = o - 0.6. Which is greater: h or 2?
2
Let f = -189 - -182. Is -48/7 greater than or equal to f?
True
Let b be 15/4 + (-2)/(-8). Suppose -b*k - 51 = t, k + 3*k = -4*t - 60. Let h be 5/(-10) + (-2)/k. Which is smaller: 2 or h?
h
Suppose -2*o + 10 = -m, 5*o - 5 = 20. Suppose s + 2*l - 13 = m, 0*s - 4*s = -2*l - 32. Which is greater: -0.1 or s?
s
Let k be (-1)/2 + 11/2. Let g be 4 - k - -2*1. Is g at least -1?
True
Let b be 9/6*(-20)/(-6). Suppose -w + 2*w - x + b = 0, -3*x = -12. Suppose -u = -0*f - 2*f - 7, -4*f - 3*u = -11. Is f greater than or equal to w?
True
Suppose -4*a - 8 = 5*x + 2, a + 15 = 5*x. Which is greater: 1 or x?
x
Let g(n) = -n**3 - n - 1. Let y be g(-2). Let h be -1 + 0 - (-15)/y. Is 0 greater than or equal to h?
False
Suppose f - 1 + 0 = 0. Suppose 4*b - 3*y = -689, 0 = -3*b - 2*y - 613 + 92. Let d = 1213/7 + b. Which is smaller: f or d?
d
Suppose 20 = 5*p - 3*s + 2*s, -16 = -4*p + 5*s. Suppose 0 = -p*j - 2*j. Which is greater: j or -1/3?
j
Suppose -2*m + 10 + 30 = 0. Are m and 20 nonequal?
False
Let k = -562/7 + 2507/28. Is 9 < k?
True
Suppose 2*f + 3 = -1. Suppose h - 14 = -h. Let s = h - 10. Is s bigger than f?
False
Let v = 21 + -20.9. Do v and -0.2 have different values?
True
Let g = -187 + 172. Are g and -15 equal?
True
Let a(u) = -u**3 + 2 + 2*u**2 - 5*u + 2*u**3 - 2*u + 4*u**2. Let c be a(-7). Which is bigger: c or 3/4?
c
Let o(d) = -d**3 + 10*d**2. Let b be o(10). Which is smaller: b or -2/81?
-2/81
Let t = -8 - -13. Let l = 0 + 3. Which is bigger: l or t?
t
Let n be ((-1)/(-2))/(17/(-68)). Is n smaller than -1?
True
Suppose -4*d + d + 21 = -3*b, -13 = -2*d + 3*b. Let w(o) = -o**3 + 7*o**2 + 7*o + 6. Let f be w(d). Let q be f/4 - 9/6. Is q bigger than -0.2?
False
Let r be (6/(-8))/(6/(-24)). Suppose 4 + 2 = r*u. Suppose -q - 1 = -u. Do q and 2/3 have different values?
True
Suppose q - 2 + 6 = 0. Let b be (-95)/(-66) - (-6)/q. Is 0.1 smaller than b?
False
Let s be ((-4)/(-11))/(-22 + 20). Suppose -1 = 4*p + 3. Are p and s nonequal?
True
Let r = -225.01 - -227. Let g = r + 0.01. Let n = g + -1.9. Are n and 0.2 unequal?
True
Let a = 259 + -1037/4. Suppose 3*f = -4*v + 3, -5 + 1 = -4*v - 4*f. Suppose -2*l + w = -v*w + 5, l - 3*w = -15. Which is bigger: l or a?
l
Let y be (-8)/14 + 4/14. Suppose -2*a - 2*x = -3*a - 12, 4*a + 4*x = -24. Let i be ((-6)/(-16))/((-12)/a). Is y at most i?
True
Let n be 2/(-4)*5/70*-8. Which is smaller: -6 or n?
-6
Let d = -0.15 + 15.15. Let l = 14.9 - d. Is l greater than -8?
True
Suppose 0 = g - 4*g + 30. Which is smaller: -0.1 or g?
-0.1
Let t be (-2)/(-5)*(-50)/(-55). Let p = -38/77 - t. Which is greater: -1 or p?
p
Suppose -15*k + 13*k = 0. Which is bigger: 3/28 or k?
3/28
Let n = -45373/76 - -597. Let t = n - 73/228. Is t <= -1/3?
True
Let r(m) = -m**2 + 2. Let g be r(0). Let t be 3/15*12 - g. Which is smaller: t or -1?
-1
Let s = 0 + -3. Let b = 3 + s. Suppose 2*h - 3 + 1 = b. Are 3 and h equal?
False
Let y = 33 - 15. Let o(a) = -a**3 - 6*a**2 + a + 8. Let q be o(-6). Suppose 4*k = q*t + y, -4*t + k = 2*k - 9. Is 3 bigger than t?
True
Let d = 27 - 24. Do 4 and d have the same value?
False
Let m be (-64)/(-80) - (0 - 0). Which is smaller: 1/3 or m?
1/3
Let w = -0.4 - -0.36. Let t = w + -3.96. Let d = t + 3.9. Which is smaller: 1 or d?
d
Let k(g) = -g**2 + 10*g - 2. Let f be k(9). Suppose -p + 4*x + f = 0, -3 = -0*x + 3*x. Is 2 smaller than p?
True
Let k be (-15)/20*8/(-2). Suppose k = m + 1. Which is smaller: 10/3 or m?
m
Suppose -4*r = 2*r + 36. Which is smaller: r or -7?
-7
Let i be 2/10 + (-42)/(-15). Suppose 0 = -i*z + 27 - 6. Let h be (-2)/z - 11/(-14). Which is greater: h or 1?
1
Suppose -2 + 2 = 10*p. Which is greater: p or -6/5?
p
Let t = -1/289 + -253/10404. Is 1 less than t?
False
Let o = -47 - -95/2. Is 23 greater than o?
True
Let q = 90 - 629/7. Let m = -1.3 - 0.7. Which is bigger: m or q?
q
Let k be 0 + 2/2 - 3. Which is greater: k or -7/6?
-7/6
Let v = -1 - 1. Let q = 0 - v. Is 0.01 at most q?
True
Let a be (-2)/(16/(-20))*(0 + 66). Do 0 and a have the same value?
False
Let j(a) = -a**2 - 5*a. Let k be j(-5). Let g(o) = -o - 4 - 4 + 3. Let i be g(k). Does 1 = i?
False
Let m(p) = 1 + 11 + 0*p - 5 + p. Let i be m(-8). Which is smaller: i or -3?
-3
Let z = 127 + -131. Which is greater: z or 4?
4
Let t(a) = -a**3 + 4*a**2 + 4*a + 3. Suppose 0 = 5*z - b - 30, 4*z = 6*z + 5*b + 15. Suppose -k = -0*k - z. Let f be t(k). Which is bigger: f or -1?
-1
Let y = -247 - -2221/9. Let x(j) = j**2 - 7*j + 1. Let g be x(7). Let p = g + 0. Which is bigger: p or y?
p
Let b(j) = -j**3 + 6*j**2 + 3. Let q be b(6). Let v be (-2 + 3)/(-1*1). Let m(x) = -3*x. Let l be m(v). Is q less than or equal to l?
True
Let s = 12 + -25. Let p = s + 12. Is 0.1 less than p?
False
Let l be (-6 + 56/10)*(-1 + -4). Let p be (-14)/6 - (-4)/(-6). Let f = -2 - p. Is l equal to f?
False
Let r(b) = 7*b**3 + b. Let l be r(1). Is 7 at least as big as l?
False
Suppose 3*d - 5*o = -24, -5*d + 3*o + o - 27 = 0. Suppose -5*k - 1 + 14 = -2*s, k - s = 2. Suppose -2*h - k = -u, 5*h + 5*u = 3*h - 21. Is h >= d?
True
Let x = 599/12 + -50. Suppose 4 = -h + 5. Which is bigger: x or h?
h
Let m = -223/6 - -37. Let i be 9/6*10/3. Suppose 2*q = -n + 8, i*n - 3*q = 9 - 21. Is m equal to n?
False
Let p = 0.3 - 1.3. Let l = p + 4. Let f = l + -4. Which is smaller: f or -0.1?
f
Let n be ((-4)/3)/(2/9). Let r be 10/(-8)*120/n. Suppose 5*j + 0*j = -r. Is -5 at least as big as j?
True
Let n = -73 + 437/6. Which is bigger: -10 or n?
n
Let f = 0.07 + -0.29. Let z = -6 - -5.98. Let j = z - f. Which is bigger: 2/3 or j?
2/3
Suppose -r = -3*r. Let j = 1/1461 + -6334/4383. Let s = j + 7/9. Which is smaller: s or r?
s
Let j = 6 - 5. Let r(h) = -h**3 + 10*h**2 + 3. Let g be r(10). Is j at most g?
True
Let y be -6*-1*1/4. Suppose 8*f - 4*f - 16 = 0. Suppose 5*w = f*c + 27, 0*w - 3*c = -2*w + 15. Is w >= y?
True
Suppose 7*t = -7*t + 294. Is t equal to 20?
False
Let h(s) = 2*s**3 + 7*s**2 + 4*s - 2. Let v be h(-4). Which is smaller: v or -33?
v
Let i be -1 + 1 - 5/((-20)/4). Which is greater: 2/63 or i?
i
Let m = 0.58 + -1.55. Let v = m + -0.03. Let k = 6 - 12. Is k less than v?
True
Suppose 0*l - l = 2*c, -3*l + 8 = 2*c. Let r be 4/(-17)*2/l. Is 0 less than r?
False
Let v(h) = -h - 1. Let a be v(-2). Do 2 and a have the same value?
False
Let o = -0.52 + -0.18. Let g = -44 - -43.2. Let p = o - g. Which is bigger: p or -2?
p
Let t = -274 - -19455/71. Let u be (-2)/(-5) + (-1276)/9940. Let r = u +