 smaller than 0?
False
Suppose -a = -g - 0*g + 5, -25 = -3*g + 5*a. Let n = 2 - 2.1. Let z = n - -0.2. Which is smaller: z or g?
g
Let w be 3 + (-2 - (-352)/(-324)). Let q = w + 143/405. Which is smaller: 1 or q?
q
Let t = 0.05 - 1.05. Let b = 4.2 + -4. Which is bigger: b or t?
b
Let i = -12 + 13. Is 2 at most i?
False
Suppose 0 = s - 4 + 3. Is s < 8/21?
False
Let x = 2.7 + -1.7. Is x < 1/6?
False
Let d = 3 - 1. Let t be 4/(4/(-9)) - 3. Let j = t + 13. Which is bigger: j or d?
d
Let r be (-20)/90 + 79/477. Which is bigger: 0 or r?
0
Let u be 15/10 + (-3)/(-2). Suppose n + h - 2 = 0, 6*h - 3*h = u*n. Let z(v) = -v**2 + 2*v. Let f be z(n). Which is bigger: 0 or f?
f
Let x(u) = -u**2 - 5*u - 5. Let y be x(-4). Let z = 24 + -34. Let m be 0 + 2 + z/6. Which is smaller: m or y?
y
Let w(y) = -y**2 - 4*y + 1. Let p be w(-3). Suppose p*c + 4 = -0*c. Let j be 3*(-75)/(-81) - 3. Is j at least as big as c?
True
Let z be (15/(-3) + 1)/(-2). Suppose -10 = 7*d - z*d - 5*o, d = -4*o + 3. Let g be (-33)/12 + (-2 - -5). Is g greater than or equal to d?
True
Let c = -1735 - -157887/91. Do 1 and c have the same value?
False
Let v be -1 - 2/((-1)/((-20)/(-24))). Let s = -4 - -6. Suppose 3*o - 2*u + 1 = 0, -2*u + 3 = -5*o + s*u. Is v bigger than o?
False
Let r be 1/(-2)*4/(-5). Which is smaller: r or -3.2?
-3.2
Let n be (-3 + 1)*20/8. Let a = 12 + n. Is 8 greater than a?
True
Let t = -11 - -23. Is 0 >= t?
False
Let m = -44 + 17. Let z be 6/m - (-34)/(-9). Let u be (-45)/10*(-6)/(-9). Which is bigger: z or u?
u
Let m = -71/20 + 19/5. Let u = -2.04 + 0.04. Do u and m have different values?
True
Suppose 7 = 4*k + 3. Which is greater: k or -10/23?
k
Let g(y) = y**2 + 7*y + 6. Let d be g(-6). Which is bigger: d or 0.02?
0.02
Let r be 18*33/24 + 9/(-12). Which is bigger: r or -0.2?
r
Suppose 7*g - 9 = 4*g. Is 7/2 bigger than g?
True
Let o = 13801810/61011 - -26/6779. Let r = o + -226. Suppose 4*b + 8 = 3*j - 3, 0 = 4*b + 4*j - 24. Do r and b have the same value?
False
Let z be ((-26)/130)/((-2)/(-38)). Is -3 != z?
True
Let y = 0.15 + -2.35. Let z = y - -2. Let i = -0.2 - -0.1. Which is smaller: i or z?
z
Suppose -y + 4*y - 11 = -4*w, -2*w + 4 = 0. Suppose 4 = -4*p + 5*u - 3*u, p + 3*u + y = 0. Let i be 0/(4/(-2)) + p. Is 1/3 not equal to i?
True
Let j = 28 - 55/2. Let n = -3.18 + 0.18. Which is bigger: j or n?
j
Let k = 11/8 + -913/24. Let z = k + 2531/69. Let l = -116/69 + z. Which is greater: -2 or l?
l
Let a = 245/2 + -120. Is a at least 3?
False
Suppose -h = -u - 16, -2*h - 2*u + 26 = 2*u. Suppose -3*n + 7 = 2*t, -6*t + h = -t + 5*n. Let x = 5 - t. Is 3 not equal to x?
False
Suppose 0 = -3*t - 3*d - 30, 4*t - 3*t = 2*d - 19. Is -13 at least t?
True
Let p = 3.97 - 4. Let w = 0.03 - p. Is w > 0.1?
False
Let r(n) = 5*n + 17. Let q be r(-5). Is -7 at least q?
True
Let t be (-1 - -2)*4 - 2. Let f = 1 + t. Let c be 1*3/f*-1. Does c = -1?
True
Let c = 0 - 0.2. Let w be ((-6)/5)/((-1)/(-5)). Let p = 5 + w. Which is greater: c or p?
c
Let i be (-3 + 3)/2 - 0. Is -2/35 at least as big as i?
False
Let a = 71117/43 - 1654. Are -1 and a nonequal?
True
Let p(o) = o**2 - 8*o + 9. Let l be p(7). Let v = 38 - 36. Is l smaller than v?
False
Let z = 5 + -3. Suppose z*h - 3*g = 116, 2*g = h - 49 - 9. Let l = h + -408/7. Is l less than or equal to 1?
True
Let t(j) = j + 2. Let u be t(-2). Suppose u = -0*k - k + 1. Which is smaller: k or 0.1?
0.1
Let a(x) = -x**3 + x**2 - x + 5. Suppose -12 = -2*j - 3*n, 5*n - 9 = -3*j + 11. Let t be a(j). Is 5 equal to t?
True
Let v = -1.1 + 1. Let w = -0.7 - v. Let o = 0.6 + w. Is o less than -2?
False
Let h(w) = 5*w**3 + 9*w**2 + w - 6. Let r(b) = -4*b**3 - 8*b**2 - b + 5. Let t(o) = 5*h(o) + 6*r(o). Let f be t(3). Is -3 at most as big as f?
True
Let o(p) = -p**3 - 20*p**2 + p + 10. Let j be o(-20). Is -26/3 greater than or equal to j?
True
Suppose 0 = -2*b - r + 2*r + 6, 0 = 2*b + r - 10. Suppose 0*d + b*d - 16 = 0. Suppose -d*a = -0*a. Is a at most 0?
True
Let d = 2356/21 - 112. Is d equal to 1?
False
Let d be (1*(-4 + 3))/(-9). Is d smaller than 0?
False
Let g be (0 - 34)/(3 - 2). Let t be 4/(-6) - g/6. Let i be -2 + 2/(2/t). Are i and 3 nonequal?
False
Let o = -0.1 - 0.9. Let x = 0.9 + o. Let n = -3 - -5. Which is bigger: n or x?
n
Let c(z) = -z**2 + 5*z - 5. Let u be c(4). Suppose 2*a = 4*d + 14, 4*d - a + 3 = -14. Let f be ((-4)/(-2))/(d + 0). Which is smaller: u or f?
u
Let r be ((-8)/(-5))/((-16)/(-40)). Let i(y) = y + 3. Let o be i(5). Let q = r - o. Is -4 at least q?
True
Suppose 0 = -k - 0*t - 2*t + 2, 4*k = -2*t + 8. Let u be (-35)/(-9) + 1/9. Suppose 8*v - 4 = u*v. Which is bigger: v or k?
k
Suppose m = 5*z, -25 = 3*m + 4*z + 32. Let q be 16/(-102) + (-5)/m. Which is bigger: q or 1?
1
Let t = -557/5 - -111. Let s be 4/18 - 4/18. Is t less than s?
True
Let x(h) = -h**3 + 2*h**2 + h - 2. Suppose -a - w = -8, -5*a + 8 = -w - 2*w. Suppose 0 = p + p - a. Let g be x(p). Is 1 <= g?
False
Let r = 36 - 181/5. Is 1 at most r?
False
Suppose 0 = -4*c - 4*c + 32. Suppose -4*i - 2*p = -14, 2*i + p = -2*p + 1. Which is smaller: c or i?
c
Let s(o) = -o**2 - 2*o - 4. Let h be s(-3). Suppose 0 = -106*j + 97*j - 54. Is j smaller than h?
False
Let f = 156.4 + -139. Let k = -16 + f. Let c = -1 + k. Which is greater: c or -0.2?
c
Let j be (-1)/(-6) + (-35)/(-6). Which is bigger: 5 or j?
j
Suppose 2*y + 0*p = 4*p + 50, 3*y = 4*p + 65. Suppose 0 = -4*x - m + y, -4*x + 5 = -5*x - 2*m. Is 6 bigger than x?
True
Let w(g) = -17*g - 8. Let l be w(-3). Is l < 42?
False
Let o = 4 + -7. Let n = 5 + o. Let y = 0.5 - 0.3. Which is greater: y or n?
n
Let k = 0.89 + -1.91. Let m = k - -0.02. Which is smaller: -0.1 or m?
m
Let h be (-139)/18 + 5 + 2/4. Are -3 and h equal?
False
Let a = -47.5 + 47. Which is bigger: a or 0?
0
Let f be ((-5)/(-20))/(320/(-738)). Let v = -3/128 + f. Is 1 less than or equal to v?
False
Suppose 0 = -3*j + 4*d - 139, -5*j - d - 197 = 4. Which is greater: -42 or j?
j
Let q be (-23)/6 - (2 - 1). Let n be (1/(-5))/((-6)/(-139)). Let k = n - q. Is 1 bigger than k?
True
Let w = -1.8 - -1.7. Which is smaller: w or -0.16?
-0.16
Let s be (4 + -6)*2/(-1) + 5. Which is smaller: s or 6?
6
Let n = 2.5 + -0.5. Let f = n - 2. Let r be 10/50 - 1/(-45). Which is smaller: r or f?
f
Let f = -0.002 - 0.998. Is -1/89 <= f?
False
Let t(w) = w**2 - 2*w - 4 + 2 - 1. Let a be t(3). Suppose 0 = -a*x + x. Is x greater than or equal to 0.1?
False
Let f = -292 + 288.81. Let g = -1.77 + f. Let c = -0.04 + g. Which is smaller: c or -1/2?
c
Let b = 11 + -27. Let m = 9 - 10. Which is smaller: b or m?
b
Let h be -6 - (-2)/1 - 225/(-25). Is h greater than 46/9?
False
Let y = -19.59 - -0.59. Which is bigger: 2 or y?
2
Suppose 0 = 2*z + 3*z - q + 49, -3*z + 4*q - 43 = 0. Is 0 > z?
True
Let s = -41 + 74. Let k be 3/12*(-6)/s. Let m be (2/6)/(3/(-9)). Which is greater: m or k?
k
Let q = -8 + 15. Let h = q - 4. Let d = 3 - h. Which is bigger: 2/7 or d?
2/7
Let v = -72 + 72. Let b = -2/173 - -352/519. Which is bigger: v or b?
b
Let m = -16 + 16.25. Let c = -0.05 + m. Are c and -2 nonequal?
True
Let u(p) = p**2 + 2*p - 2. Let m be u(-3). Is m >= -2?
True
Let n be (-9)/(-6)*(-584)/6. Let k = n - -1020/7. Which is bigger: k or 0?
0
Let b = 0.1 - -3.9. Let q = 6 + -10.2. Let u = b + q. Which is smaller: 0 or u?
u
Let m = -3 - -5. Suppose 4*r + 5*q = q + 8, -2*q = -m*r + 4. Suppose 3*b - 9*j - 6 = -4*j, -4 = -2*b - r*j. Is b >= 2?
True
Let f = -0.15 - -0.25. Let s(d) = -d**3 - 4*d**2 - 2*d + 1. Let i be s(-3). Let n = i - -3. Is n bigger than f?
True
Suppose -3*q + 0*q = -6. Let m = 1 - 3. Let z = -3 - m. Is q at most z?
False
Let y = 98 + -36. Which is bigger: y or 63?
63
Suppose -3*m - 14 = -3*u - 4*m, 4*m = 2*u + 14. Is u > 3?
False
Let u = -99427 + 1094646/11. Let i = u - 88. Let k = -109/44 - i. Which is smaller: k or 0.1?
k
Let q = 105 - 266. Let l = 2413/15 + q. Which is smaller: 0 or l?
l
Suppose 0 = -84*z + 82*z + 4. Is 30/13 at least z?
True
Let o be 0/2 + 39*9/9. Which is bigger: 0 or o?
o
Suppose -16 + 6 = -5*p. Suppose -10 = 3*r + z, -r + 3*r + p*z + 4 = 0. Let o be (r/(-6) - 0) + 0. Which is greater: o or 2?
2
Let x be 39*1/(-5 + 4). Is -39 at most as big as x?
True
Let h = 4 + -1. Let t = h + -2. Let p = -365 - -368. Which is smaller: p or t?
t
Suppose -3*p - 3 = -4*p. Let a