than or equal to b?
True
Let q be ((-1)/(-2))/(1/2). Let o be (1375/210)/11 - (27/6 + -4). Is q != o?
True
Let t be (-2 - 0)*2/(-4). Let h be t + -2 + 806/(-10). Let x = h + 82. Which is bigger: x or 1?
1
Let d = 2.99 - 0.29. Let c = -2.8 + d. Which is greater: c or -18?
c
Suppose q - 5 = -3*a - 0*a, -3*q = -6. Let n be -1 - -2 - 114/126. Is n greater than a?
False
Suppose 4*l + c = 564, -3*l = 2*c - 166 - 252. Which is bigger: l or 563/4?
l
Suppose -36 = -312*w + 315*w. Is w at least as big as -7?
False
Let c be 476/(-1170) + 5*4/90. Do c and 1 have the same value?
False
Let p = -3.62 + 3.5. Is p greater than or equal to 8?
False
Let p = 0.2 + -0.3. Let i = -756.99 - -761. Let u = -0.01 + i. Which is smaller: p or u?
p
Let z = -56 - -61. Let w = -8 + z. Is w > 1?
False
Let w(k) = -k**2 + 10*k - 25. Let j be w(7). Let c(q) = -q + 3. Let y be c(7). Is y equal to j?
True
Let s be (-8)/36 - (2 + 51512/(-23148)). Which is smaller: 1 or s?
s
Let l = 691 + -691.1. Which is smaller: -956 or l?
-956
Let z = 13/35 + 1/35. Let k = 0 + 0. Suppose 4 = -4*q - k*q. Which is smaller: q or z?
q
Let u(b) = -9 - 12*b**2 + 10*b**3 - 11*b**3 + 17 + 16 - 7*b. Let i be u(-11). Is i smaller than -20?
False
Let n = -165 + 188. Are n and 23 equal?
True
Let i(k) = 19*k**3 - 2*k**2 - k + 3. Let r be i(2). Let l be (-5)/2 - r/(-55). Is l less than 0?
False
Let o(s) = -2*s**3 - s**2 + 3*s - 2. Let m be o(-2). Suppose 23 = -m*z + 63. Is z at most as big as 8?
False
Suppose 9*p + 29*p - 4712 = 0. Do p and 125 have the same value?
False
Let z be 5 - (-8 + (-8)/(952/(-6377))). Is -42 greater than z?
False
Suppose -4 = z + 2. Let h be ((-3)/9)/(0 + (-2)/(-30)). Is z smaller than h?
True
Let m be 36/70 + 8/(-448)*-16. Which is smaller: m or 1?
m
Suppose h - 2*w + 762 = -h, 3*w + 1538 = -4*h. Does h = -383?
True
Let c = 1394 - 1391. Which is smaller: 286 or c?
c
Let d = 1795 + -1796. Which is smaller: 63 or d?
d
Let u(j) = -7*j + 10. Let o be u(1). Let p be (0 + 1)*10 + o. Is p bigger than 15?
False
Let j = -248 - -305. Is 57 less than or equal to j?
True
Let s = -3 - -2. Let t be 6 - 3/(6/(-4)). Let p be ((-12)/330)/(t/(-10) + 1). Is p >= s?
True
Suppose 0 = 3*l - 82 + 70. Let c be 3/345*(2 - l). Which is smaller: -1 or c?
-1
Let k be (-1 - (-15)/24)/(9/(-9)). Suppose -3*y = 2 + 10. Let h = -3 - y. Is h at most as big as k?
False
Let c = -1481 + 1480. Which is greater: -9/58 or c?
-9/58
Let u(r) = -21 + 0*r + 66 - r - 83. Let w be u(10). Is -47 less than or equal to w?
False
Let s(h) = 8*h**3 + h - 1. Let j be s(1). Let w be (-11 - -15)*2/j. Let t(z) = 8*z + 1. Let n be t(w). Which is smaller: n or 10?
n
Let x = -93 + 185/2. Let y = 32 + -48. Which is smaller: x or y?
y
Let c(f) = 3*f + 56. Let w be c(-19). Let d be (w - (-3)/9)/(10/15). Which is smaller: d or 2/53?
d
Let o = -6 - -6.85. Let g = o - -0.15. Is g at most as big as 0.6?
False
Let b = -70 + 52. Let l be (-2*(-3)/b)/((-1)/(-39)). Are -13 and l equal?
True
Let h be (-81)/135 - 38/(-130). Is -1 smaller than h?
True
Let h = -91 - -90. Is h >= -2?
True
Let g be ((-3)/((-30)/(-16)))/(6/(-27)). Let s = g - 823/115. Which is greater: s or 0?
s
Let h be (8/6)/((-244)/(-366)). Is h not equal to -0.0725?
True
Let u = -19 - -15. Let q = u + 13. Let i = -8 + q. Do i and 1/5 have the same value?
False
Suppose -6*n - 2*m = -11*n + 398, 3*m = 3. Which is smaller: 159/2 or n?
159/2
Let h = -4 + 6.7. Let f = h - 2.2. Is 2 greater than f?
True
Suppose -5544 - 1030 = 38*w. Is w at most -345/2?
True
Suppose -6 = 3*j + 9. Let x(r) = -r**2 - 6*r - 10. Let t be x(j). Is t at most as big as -5?
True
Let n = -51 - -61. Suppose i = 2*l + n, -l - l = -3*i + 10. Is -2 bigger than i?
False
Suppose 0 = 3*j + j - 4*h - 16, -3*j + 13 = -4*h. Suppose 0 = g - j. Let r = -18 + g. Does -14 = r?
False
Let z be (-12)/4 + (-26)/(-8). Is -248 at most as big as z?
True
Let c be (6/(-8) + -1)/((-14)/56). Let a be 126/(-980) - (-3)/c. Which is smaller: 0.1 or a?
0.1
Let n = -218 + 216. Which is smaller: n or -2.52?
-2.52
Let z = -5250389/737 - -7124. Do 0 and z have different values?
True
Let b = -14.67 + -0.33. Let t = -32 - -20. Let j = t - b. Which is smaller: -1 or j?
-1
Let b(p) = 2*p**2 - 105*p - 175. Let j be b(54). Which is bigger: j or -51/4?
-51/4
Let u be -3 + 12/(-3)*2. Let c be (-4 + (-14)/(-4))/u. Suppose -5*n - 2*j - 7 = -0*n, -3*n - 1 = -2*j. Is c > n?
True
Let x = 153 + -151.2. Which is smaller: -2/13 or x?
-2/13
Let p(s) = -3*s - 47. Let y be p(-14). Let k = -0.09 - -0.1. Let f = k - 0.11. Is f > y?
True
Let r = -0.1343 + -540.8657. Which is smaller: 1 or r?
r
Suppose -2*v - 5*i - 55 = -0*i, 2*v + 45 = -3*i. Let a be (-3)/v*4*3. Is a < 1?
False
Let x(q) = q**2 + 27*q + 151. Let h be x(-7). Let z be 9 - (-1 - -1)/2. Is z smaller than h?
True
Let h = -31 - -30.84. Let z = h + 0.16. Which is bigger: z or 12?
12
Let u = 6.93 - -0.07. Let a be -2 + -5*8/(-20). Suppose -2*p = -a*p. Are p and u equal?
False
Let z(f) = -5*f**3 + 2*f**2 + 9*f - 3. Let h be z(4). Let w = h - -775/3. Which is greater: 3 or w?
w
Let k(b) = b**2 + 14*b + 62. Let v be k(-7). Suppose 3*w = 28 - v. Is 12 bigger than w?
True
Let k be 10/55 - 3406/(-22). Are k and 156 equal?
False
Suppose -7*t + 3*t - 403 = -3*c, 0 = c + t - 146. Is 140 smaller than c?
True
Let s = 0.0768 + -0.0768. Let d = -15 - -9. Which is bigger: d or s?
s
Let q(s) = 52*s**2 + 2*s + 1. Let o be q(-1). Let d = -9 + -1. Let b be o/(-22) + d/55. Which is smaller: b or -0.1?
b
Suppose -5*u = l - 2*l + 83, l = 2*u + 68. Suppose -a = 4 + 1, 5*a = -3*h - l. Which is smaller: h or 0?
h
Suppose x + 2*x + 120 = 0. Let q = -40 - x. Is -18/13 smaller than q?
True
Suppose -t + 32 = -0*a + 3*a, 12 = 2*a - 4*t. Suppose 4*b - 17 = -p + a, 62 = p - 3*b. Suppose -p = 2*r - 3. Which is smaller: r or -21?
r
Let t be (6/4)/((-354)/59). Are 30.4 and t unequal?
True
Suppose 8 = -2*j, -24*j + 19*j + 12 = 2*s. Which is bigger: s or -11?
s
Let i = -1994 + 1248. Are i and -746 non-equal?
False
Let m = 3 - 1. Let y(f) = -4*f**2 + 2. Let x be 2 - (1/2 + 27/18). Let i be y(x). Is m less than i?
False
Let p be 6/15*5*1. Suppose -5*r + 29 = -p*a, -27 = 4*a - 5*r + 6. Which is smaller: -1/2 or a?
a
Suppose -2*d - 2*d = -2*q + 10, -4*q + 5*d + 11 = 0. Let z be (q - 0) + (-71)/(-73). Is -1 greater than or equal to z?
False
Suppose -3*r = 3*z + 6, z = r + 2 - 6. Let c = -1 - -2. Let n be (-2 - c)/((-1)/(-2)). Which is smaller: n or r?
n
Suppose 6 = -15*o + 17*o. Let t be -18 + (-3)/(o + -6). Let p = -23 - t. Are p and -6 nonequal?
False
Let w = -334.729 - -335. Is w >= -1?
True
Let h be 1*(1/3 + 112/(-420)). Is -5 > h?
False
Suppose 633*y = 646*y + 26. Which is greater: 0.478 or y?
0.478
Let m = -214/9 - -218/9. Let a(q) = -q**2 + 3*q + 4. Let z be a(4). Are z and m non-equal?
True
Let q = 4.23 + -0.23. Let v = q + -3.9. Which is greater: 24 or v?
24
Let d(k) = -3*k - 5. Let t be d(-4). Let l = 7 - t. Let h be (-3)/((-70)/16 + 4). Which is greater: l or h?
h
Let g = -5 - -11. Suppose g*x - 2 = 5*x. Which is bigger: 18/7 or x?
18/7
Let t = 0.3 + -0.1. Let h = -352 + 354. Which is bigger: h or t?
h
Suppose 8 = 2*k + 3*m + 43, 3*k + 59 = 2*m. Is k < -20?
False
Let l be 1*30 + (7 - 7). Let r be l/260*2/6. Which is bigger: -1 or r?
r
Let o = -1734151/24779006 - -1/72242. Which is smaller: o or 0?
o
Let r(o) = o**3 + o**2 + o + 3. Let p be r(0). Let l = 37/8 + -11/4. Which is greater: l or p?
p
Let p = 14 - 12.8. Let h = 0.5 - p. Let f = h + 0.6. Is -5 at most as big as f?
True
Suppose -3*p - 3 = 0, 2*p + 38 + 156 = -4*i. Which is greater: i or -49?
i
Let j = 205.6 - 106.6. Is 0 greater than or equal to j?
False
Suppose -3*j - 35 = 5*q, -9*j + 5*j - 44 = 4*q. Which is bigger: j or 34?
34
Suppose h - 12 = 5*h. Let c be (-4 - h)*-12*-1. Let r be (-18)/(-4)*c/9. Which is smaller: -4 or r?
r
Let n(k) = -k**3 + 1. Let x be n(0). Let j = 21 + -85/4. Does x = j?
False
Let n(s) = 3*s**2 + 28*s - 45. Let z be n(-13). Which is smaller: z or 97?
97
Let d = -5.8 - -7. Let b = -33/4 + 103/12. Is b greater than d?
False
Let k = 8/9 + -5/9. Let n(l) = -5*l + 13. Let i be n(4). Are k and i equal?
False
Let n be 7*(-3)/(-21)*2. Suppose -2*z = -n*q - 10, z - 2*q = -0 + 6. Suppose z*w + 4 = 2*a, 3*w - 2*a + 10 = -4*a. Is 0 greater than w?
True
Suppose 3*d - 3