uppose b*o - 1 = 3. Is j smaller than o?
False
Suppose -x - 3*x + 5*h = 13, 2*h - 1 = 3*x. Let p be (2/4)/(4/(1*32)). Which is smaller: x or p?
x
Let r = -0.05 + 0.11. Is r greater than -2/7?
True
Let w be ((-15)/(-10))/(3/8). Which is bigger: w or 0?
w
Let a = 2 - 2. Suppose -7*f + 2*f - 5 = a. Is f bigger than 1/4?
False
Let r = 260 + -270.96. Let s = r - -11. Is 1 < s?
False
Let s = 17 + -8. Let g = s + -8. Is 0.3 at least as big as g?
False
Let p = -2 + -2. Let b be p/(-10) - (-8)/(-45). Let m be 0 + 1 + (-4)/2. Is m at least as big as b?
False
Suppose 0 = 3*w - 2 - 4. Let h be (-2)/(-1*(2 + 0)). Is w less than h?
False
Let n be ((-2)/4 + 1)*4. Suppose 0 = h - 2*p, -3*p = 5*h + n*p - 30. Suppose h*g - 2 = 6*g. Which is smaller: 0 or g?
g
Let c = -1833/5 - -365. Which is smaller: c or -1?
c
Let o(r) = r**3 + 5*r**2 + 5*r + 5. Let a be o(-4). Which is smaller: a or 5/16?
5/16
Let c be (-6)/(-9) + 2/6. Let g(k) = k**3 - 7*k**2 - 3. Let l be g(7). Let s be l/(-9) + (-2 - -1). Do c and s have different values?
True
Suppose 3*v - 8 = v. Let i = 11/3 - v. Let a be (2/20)/(8/(-32)). Which is greater: i or a?
i
Let c = -11 + 34/3. Which is greater: 3 or c?
3
Let n(q) = -q**3 + 3*q**2 + q. Let x be n(3). Suppose -g = o, -x*o = -o. Which is smaller: 2 or g?
g
Let u = 39.1 + -41. Let r = -0.1 + u. Let i = 0 + 0.1. Is r greater than or equal to i?
False
Suppose 108 = -3*d - 45. Which is smaller: d or -1?
d
Let g(y) = y**3 + 5*y**2 + 6*y + 6. Let w be g(-4). Let r = 10 + -7. Let z be r*(-1)/6*2. Is w >= z?
False
Let i = -6 + 8. Let j = -1 + i. Which is bigger: -1 or j?
j
Let f(u) = -u. Let x be f(2). Let q be (-4 + 3)/(x/4). Suppose 2*t + 0 = -q. Which is smaller: 0 or t?
t
Let z = 2 + -3. Let n = -25 - -25. Do n and z have different values?
True
Let z be 1/(43/11 + -4). Are z and -9 nonequal?
True
Let r = -20 + 19. Is r <= 1/6?
True
Let s be -2 - -84 - (-2 + 0). Let z be (-4)/14 + 80/s. Which is bigger: z or 0?
z
Let u = 128 + -67. Is 60 != u?
True
Let p be (-35)/(-104) - 1/(-8). Which is smaller: 0 or p?
0
Let z be (-105)/132 + (-3)/(-4). Which is bigger: 0 or z?
0
Let y be (-10)/35 + 51/7. Suppose y*u = 2*u - 30. Which is smaller: u or -5?
u
Let m = -16.01 + -2.19. Let l = m - -14. Let j = l + 4. Which is smaller: j or -2?
-2
Let r = -9 - -13. Suppose k - 2*g = -4, 5*k - 3*g + 2 = 3. Suppose -c - c = -k. Which is smaller: r or c?
c
Let u be ((-6)/12)/(1/(-2)). Suppose 21*q = 23*q. Which is smaller: q or u?
q
Suppose k = b + 2 + 2, -4*k + b = -10. Let g be -2*((-3)/k - -2). Does g = 1/14?
False
Let h = -58 - -59. Is h equal to 3/107?
False
Let i be (4/(-15))/((16/6)/4). Is i equal to -0.15?
False
Let n = -1894/11 + 172. Let i be 6/((-9)/3 + 2). Let f = i - -7. Is f smaller than n?
False
Suppose -o = o - 20. Let c be -1*2 + (o - 7). Is 6/13 at most c?
True
Let b = -309/8 - -38. Let g be 22/44 + 3/(-6). Is g smaller than b?
False
Let p be 20/3*9/6. Suppose -5*j = -4*o - 21, 2*j + 2*o - 4 = -p. Are j and 4 unequal?
True
Let s be -2 + (-2 - (-8 + 2)). Let r be 8/(-2) + (s - 1). Is -3 smaller than r?
False
Let f(k) = k + 5. Let n be f(-4). Let x be n*(3 + 1 + 1). Is x at least as big as 6?
False
Suppose -3*m = i - 37, -8 = -3*i - 23. Is 14 < m?
False
Suppose -31 = 4*f - 5*q, -f - 4*q = 3*f + 4. Suppose -4*t - 5*l = 17, 10*t + 20 = 5*t - 5*l. Let c be 88/(-24) + (-2)/t. Which is greater: f or c?
c
Let w = 10 - 3. Is 9 greater than w?
True
Let v = 1.6 - 2.3. Let t = 5.3 - v. Let k = -3 + t. Is 0 >= k?
False
Let v = 3 - 19. Let j = 18 + v. Which is bigger: j or -0.4?
j
Let k = 1/40 + 9/40. Is k at most as big as -7?
False
Suppose -2*x + 40 = -3*p + 296, -p + 89 = 3*x. Is p at most 85?
False
Suppose 4*d = 2 + 6. Suppose -2*t + 3*x + 1 + 15 = 0, 0 = 2*t + 4*x - 2. Let r = -3 + t. Is d != r?
False
Suppose 5*b + 20 = b. Suppose -s + 5 = 3*j + 3*s, 0 = 5*j + 5*s. Is b <= j?
True
Let i = 3/122 - 985/366. Does -2 = i?
False
Let i = 1781/14 + -127. Let k = -14 - -18. Suppose -3*c + 9 = -3*v, -k = c + 3*v + 5. Which is bigger: c or i?
i
Let i = -0.99 - 0.01. Let x = i - -1.2. Is 2/5 less than x?
False
Let v = -3/145 + 311/1015. Which is smaller: v or -15/8?
-15/8
Suppose 0*a + 17 = -4*a + m, -5*m = -3*a - 17. Suppose 2*v = -2*v - 20. Which is smaller: a or v?
v
Let k be (3 - 0) + (-114)/36. Which is bigger: k or 0?
0
Let c = -0.6 + 0.3. Let j = 1.3 + c. Which is bigger: j or -1?
j
Suppose -w + 0*w = 5. Suppose y - 7 = 20. Suppose 2*r = 5*k + y, 3*k + 3*r = -2*r - 10. Is w < k?
False
Let i = 13 + -4. Is i smaller than 0.1?
False
Let a = -66 - -57. Is -8 bigger than a?
True
Suppose -f - 2 = g - 7, 0 = -2*g + 2*f - 10. Suppose 4*v - v + 6 = g. Is v > -2?
False
Let i = 22/21 - 256/231. Is 0 at least as big as i?
True
Let r be (12/(-6))/(0 + 1 + -4). Let h = -1.3 - -1. Which is greater: r or h?
r
Let w = -5 + 10. Suppose -5*g - 36 = -w*p - 1, 0 = 5*g + p + 5. Is g <= -2?
True
Suppose 0 = -2*m + m - 2*w, 0 = -2*m + 3*w. Let x = 5 - 10. Let g be 4/10 - (-2)/x. Is m < g?
False
Let q = 0 + 0. Suppose 2*k - 2 - 6 = q. Suppose k*h + 5*s - 2*s - 1 = 0, -5*h + 2*s + 7 = 0. Is -1/5 greater than or equal to h?
False
Suppose 5*n + 13 = 4*m - 0, 3*m = -5*n + 1. Let v = 32 - 31. Is n equal to v?
False
Let v = 53 + -157/3. Let y be 1/(-1*(-1)/(-3)). Let t be 0 - (y + (0 - -3)). Which is greater: v or t?
v
Let q = 0.4 - 0.6. Let m be ((-25)/105)/((-4)/39). Let a = -18/7 + m. Is q less than a?
False
Let v be 1/4*-19 - 6/(-8). Is -3 < v?
False
Let l(r) = -r**3 + 3*r**2 + 5*r - 3. Let x be l(4). Is x equal to 3/11?
False
Let h = 1057/20239 + 1/547. Which is smaller: h or -1?
-1
Let h be (16/48)/((-10)/6). Is h > 1?
False
Let k(m) = m**2 - 3*m - 1. Let r be k(5). Suppose -4*b = r + 7. Is b <= -3?
True
Let g(u) = -u**3 - 11*u**2 + 14*u + 12. Let t be g(-12). Which is smaller: -11 or t?
t
Suppose 93 = 4*b - 11. Suppose 3*h + b = -10. Let w be 8/h + 1/2. Is 0 greater than or equal to w?
True
Let g = 1.6 - -0.4. Let u = -1 - -1.2. Let n = 0.3 - u. Which is greater: g or n?
g
Let h = 10.8 - 7.8. Which is smaller: -5 or h?
-5
Let f(c) = c**2 - 2*c + 5. Let s be f(5). Let j(a) = -3*a**3 + 15*a**2 + a - 5. Let b be j(5). Which is smaller: b or s?
b
Let s = 189/1357 - 39/59. Are s and 0 non-equal?
True
Suppose 0 = 5*y - 20, 0*m = -2*m - 5*y + 18. Let h be 23/21 - m/3. Is 2 < h?
False
Let z be 4*(2 - (-170127)/(-85062)). Let u = z - 354359/467841. Let t = 1/11 + u. Which is bigger: t or -2?
t
Let j = 172 - 1550/9. Is j != 11?
True
Let y be (5/(-2))/(1/2). Suppose -2*l = 5*u + 8, 0 = -3*l - 5*u - 3 + 1. Suppose -p + 31 = -4*v - l*p, -4*v - 13 = -p. Is v greater than y?
True
Let b = -547/5 - -109. Let d(m) = -m + 2. Let y be d(3). Does y = b?
False
Let t = -38.926 - 0.074. Which is smaller: t or 0?
t
Let s = 16.94 + -17. Let f = -1.1 - -1. Are s and f equal?
False
Let h = -39 - -17. Which is bigger: -21 or h?
-21
Let s = -5 + 2. Let w(h) = h + 3. Let k be w(s). Is -3 > k?
False
Suppose 2 = o - 0. Suppose 5*r + o = 12. Is 2 equal to r?
True
Let d = 10 + -19/2. Let o = -13 + 15. Which is smaller: d or o?
d
Let p = 4 - 5. Is -3/4 >= p?
True
Let k = 6.9 - 7. Let w = -1/215 + -56327/645. Let l = 88 + w. Is l at least as big as k?
True
Suppose 5*c = -4*r - 27, 4*c - 2*r + 21 = -11. Which is smaller: -15/2 or c?
-15/2
Let j be 1 + -1 - 27/(-3). Let f be ((-14)/(-6))/((-6)/j). Are f and -3 equal?
False
Let g be 36/(-165) + 4/10. Let m = -9 - -9. Which is greater: m or g?
g
Suppose -5*w = 15 + 15. Let m(t) = -6*t**2 - t - 1. Let v be m(-1). Do w and v have different values?
False
Let n be -11*(1 + -1 + -1). Let l = n - 11. Let d be 1 + (1 - 8/5). Does l = d?
False
Let r = -1/174 - -79/290. Let t(c) = c**3 + 4*c**2 - c - 4. Let g be t(-4). Is g greater than or equal to r?
False
Let t = -48 - -42. Do t and -10 have different values?
True
Suppose -3*g = -4 - 8. Suppose -3*r - g*i = -2, -3*r - 1 = 2*i - 5. Suppose 0*b + r*b = 0. Is -2/7 at least b?
False
Let a = -40 - -45. Is 14/3 at most as big as a?
True
Let q = -122/3 - -40. Let z = 5.91 + -6. Is z greater than or equal to q?
True
Let n = 76 + -138. Which is greater: n or -63?
n
Suppose 3*x = -x. Let t = 2 + x. Let k = -15 + 12. Is k < t?
True
Let k be (30/8)/15*(-2)/10. Which is bigger: -1 or k?
k
Let k be (-18)/(-8) + (-5)/20. Does k = 7/10?
False
Suppose 