 b = -101 + 101.4. Let f = -7/22 + 13/22. Which is bigger: b or f?
b
Let b = 20 - 6. Let y be (8/(-16))/(1/(-52) + 0). Let g be (0 - (-28)/(-6))/(y/(-78)). Is b > g?
False
Let k = -9/2 + -26. Is -30 greater than or equal to k?
True
Suppose -c - 2 = -5. Let r = 39 + -27. Suppose 0 = 4*s + 16, -4*d + 4*s - 8*s = r. Which is greater: d or c?
c
Let x be (-6)/(-27) + 22/(-18). Let k = -89 - -1953/22. Which is bigger: k or x?
k
Let b = 2566 + -2563.3. Let o = -1.1 + 0.1. Which is smaller: b or o?
o
Let h = -933 - -934. Which is greater: -5/16 or h?
h
Let v(i) = 8*i - 129. Let z be v(16). Is 22 less than z?
False
Suppose -5*o - t = 185, 0*t - t + 67 = -2*o. Let u be (3*(-4)/o)/(1/(-6)). Which is bigger: u or -0.7?
-0.7
Let v(o) = -o + 8. Let u be v(4). Suppose 3*y + 20 = 5*t, t - y = -2*y - u. Are -2/89 and t non-equal?
True
Suppose 0 = -35*o + 721 + 49. Are 25 and o equal?
False
Let u(r) = -8*r - 25. Let q be u(-3). Which is smaller: q or 3/76?
q
Let j = -55 - -61. Let c(d) = -d**2 + 5*d + 5. Let a be c(j). Is a greater than -3/28?
False
Let x = 57 + -51. Let a be (-16)/36*x/(-20). Suppose 6*y - 3*y = 0. Which is smaller: a or y?
y
Suppose 2*l - 21 + 31 = 0. Let c = -4 - l. Which is smaller: c or -4/23?
-4/23
Let b = 420 + -418. Is -101 greater than b?
False
Let w = -203/3 + 39176/579. Are w and -1 non-equal?
True
Let f be 74/2 - (-4 - (-3 - 1)). Suppose -3*p - 36 = -3*r, -27 - f = -5*r + p. Suppose -26 = -3*o + 5*n, -2*n - n - 30 = -3*o. Are r and o non-equal?
True
Let j = 184 - 128. Let r be (-2)/(-7) + (-408)/j. Which is smaller: -10 or r?
-10
Let w(f) = -f**3 + 8*f**2 - 7*f + 3. Let x be w(7). Suppose -5*g = 4*z + 28, 0 = -5*z - 0*g + 3*g + 2. Let h = x + z. Does h = 2/15?
False
Let w = -266 - -127. Is -139 at most w?
True
Let g = 160 - 160. Which is greater: g or 22/3?
22/3
Suppose -r = -5*a + 21, -4*r + 0*r - 4 = 0. Let d be 9/6*68/(-3). Let h = d + 38. Are h and a non-equal?
False
Suppose -2*n - 5*l = 342, -2*l - 1184 + 308 = 5*n. Is -178 > n?
False
Let h be ((-90)/4)/(-15) + (-34)/(-4). Is 10 less than or equal to h?
True
Let m be ((-88)/(-16) + -6)*2/57. Which is smaller: m or -1?
-1
Let q = -0.57 + 0.07. Let z = -1 - -1.4. Let s = z + q. Is 0.3 greater than s?
True
Suppose 192 = -1756*b + 1744*b. Suppose -85 = 8*y - 3*y. Which is smaller: y or b?
y
Let y be (11/(-1))/((-17)/(-34)). Let a = y - -28. Which is smaller: 5 or a?
5
Let p = 8751.062 - 8729. Let c = p - 0.062. Is -0.1 smaller than c?
True
Let i = 9082091/22 + -412721. Let n = -10159/2 - -4978. Let d = i + n. Are d and 1 nonequal?
True
Let l = -0.954 + 0.915. Which is greater: l or -6?
l
Suppose -2*a = -6*a + 32. Let s(r) = 2*r - 15. Let x be s(a). Which is smaller: 3/2 or x?
x
Let v(i) = i**3 - 5*i**2 + 12*i - 3. Let j be v(2). Which is bigger: j or 108/11?
108/11
Let z be 12/(-18)*6/(-4). Suppose 0*j = -j - z. Let u be j/2 + 33/242. Which is bigger: -1 or u?
u
Let x = 20 - 12. Let r be x/(-24)*(-18)/(-8). Let n = -5/12 - r. Which is bigger: -0.03 or n?
n
Let d = -241/3325 - 1/133. Do -1 and d have different values?
True
Let k = -17 + 29. Let a = k - 11.5. Let i = 0.8 - a. Which is bigger: i or -1/3?
i
Suppose -8*w - 8 = -0*w. Let v be w + (0 - 1) - 1040/(-540). Is v greater than -0.1?
True
Let b be -1 - (-9)/(3 - 2). Let f be (-1)/(-3)*(-561)/(-17). Is b smaller than f?
True
Let b(d) = -d**3 + d**2. Let h be b(-1). Suppose -3*q = -q, -h*q = -4*w. Let a be 4*1*15/(-30). Is a at most as big as w?
True
Suppose -3*q + 8 = 2*x, 4*q + 0 = -5*x + 6. Let w(o) = -4*o - 2*o**2 - o**3 + 0*o**3 - 3 - o**2. Let s be w(x). Are s and 1/4 nonequal?
True
Let c = 131 + -130. Let a = 20.59 - 21. Which is greater: a or c?
c
Let f(d) = -d**3 - 3*d**2 - 2*d + 2. Let y be f(-2). Let r be (y - 1 - -1)*-12. Which is greater: -23 or r?
-23
Let c(r) = 8*r - 4. Let m be c(-2). Let y = 24 + m. Suppose -y*b = u + 66, 4*u - 6 = u. Is b bigger than -18?
True
Let q be ((-284)/32 - -9)*0. Which is smaller: 3/508 or q?
q
Let n be 9/(-12) + (-2)/8. Let r be (9/567*12)/((-2)/(-3)). Which is greater: n or r?
r
Let d be (10 - 1) + -5 - (-505)/(-125). Let j(g) = g - 7. Let u be j(7). Which is smaller: d or u?
d
Suppose u = -2*z + 66, -2*z = -u - 0*u - 70. Let r = z + -19. Is r >= 15?
True
Let l be (-78)/1*(-23)/69. Let z(d) = 2*d**2 + 3. Let t be z(3). Let y = l - t. Which is greater: 15/4 or y?
y
Suppose -11*b - 978 = 650. Which is smaller: b or -5/2?
b
Suppose -4*d + 81 + 23 = 0. Let t = d - 24. Is t less than or equal to 0.1?
False
Let r(k) = 2*k**2 - 3*k - 4. Let u be r(7). Is 62 greater than u?
False
Let o be 3/(-15) - (-6)/10. Is -0.224 bigger than o?
False
Let o = -152 - -247. Is o smaller than 93?
False
Suppose -6 = -2*z + 6. Suppose -z*m = -2*m + 16. Let w(d) = -d - 4. Let s be w(m). Is s equal to 1/5?
False
Suppose -109*q + 67*q - 462 = 0. Which is bigger: -20 or q?
q
Let k(z) = -z**3 + 7*z**2 + 9*z - 5. Let r = 32 + -24. Let y be k(r). Is y bigger than 2?
True
Let s = -1 + -6. Let q be s + 3 - 27 - -4. Is -27 equal to q?
True
Let m = 1.47 + -0.17. Let q(z) = -z**2 + z - 1. Let a be q(0). Which is bigger: m or a?
m
Suppose -6*r + 19 = 1. Suppose -6 = -3*z - 5*j, -r*z - 3*j = -7 + 1. Is z greater than or equal to 2?
True
Suppose 19 - 4 = -i. Suppose u + 11 = 42. Suppose d + 4*s = -u, 0 = 5*d + 6*s - s + 95. Do i and d have different values?
False
Let r = 2/2015 + 2011/4030. Let t be ((-6)/49)/(-3 + 1). Which is smaller: r or t?
t
Let r(t) = t**3 + t + 1. Let s be r(-2). Suppose 2*w + 4*g + 16 = 0, -2*w - 3 - 6 = -3*g. Let c be (68/(-6))/(w/s). Is c <= -16?
True
Suppose 16 = -5*u + 96. Suppose -4 = z + u. Which is bigger: z or -22?
z
Let d be -1*(-1)/(0 - 1). Let k = -3371 + 20219/6. Which is greater: k or d?
d
Let i(y) = y**2 + 4*y - 1. Let a be i(-6). Let o = a + 9. Is 62/3 >= o?
True
Let c = 16 + -16. Suppose 2*p + c*p - 10 = 0. Suppose p*q + 3 = 2*q. Which is smaller: 2/39 or q?
q
Let f be 7/(-28)*32/(-60). Let y = -1 + 1.3. Which is smaller: f or y?
f
Let g = -1.982 - 0.018. Which is smaller: -48 or g?
-48
Suppose 2*m - 2 - 10 = 0. Suppose 0 = m*z - 5*z + 10. Is z less than -9?
True
Let t = 9263/162282 - -2/1887. Which is smaller: 0 or t?
0
Let g = 27 + -8. Let s = 13 - 12. Suppose 31 = 2*p + 2*t + s, p - 24 = 2*t. Which is greater: g or p?
g
Let v = -19 + 11. Which is smaller: -1 or v?
v
Suppose -43*r + 416 = -47*r. Is r greater than or equal to -102?
False
Suppose 22*s - 19*s - 93 = 0. Is s >= 354/11?
False
Let j = 423 - 427. Let a = 0 - -0.5. Is j smaller than a?
True
Let q = -3768.76 + 3769. Let z = -0.2 + 0. Does q = z?
False
Let y = -4434 + 4290.988. Let g = y + 143. Is -2/7 > g?
False
Suppose 0 = 3*h - 9, 91 = 5*j - j + 5*h. Is 206/11 greater than or equal to j?
False
Let s = -1.54 - 7.56. Let v = 6.9 - s. Do 0 and v have the same value?
False
Let k(g) = g**3 + 6*g**2 - 1. Let s be k(-6). Let p be (-232)/20 - (6/10)/s. Which is smaller: -10 or p?
p
Let i be 43 + 1*(1 + -2). Suppose 2*w = w + i. Let v = 125/3 - w. Which is greater: v or 2?
2
Let j = 752 + -495. Is j not equal to 257?
False
Let x be (-2)/(-10)*10/4. Suppose -200*b + 192*b = -8. Is b at most as big as x?
False
Let m be (-89*(-5)/(-55))/((-6)/(-5)). Let f = m + 41/6. Suppose -l - 5 = 0, 6*l - l + 30 = 5*b. Are b and f nonequal?
True
Let z(s) = 9*s**2 - 76*s - 11. Let x be z(9). Is x less than or equal to 33?
False
Let c be ((-6)/3)/((-27)/(-189)). Is c less than -14?
False
Suppose 4*b + 4*h = 48, 3*b - 66 = 3*h - 0*h. Suppose -b*w + 50 = -22*w. Which is smaller: -0.1 or w?
w
Let q = 15 + -17. Let b be 143/(-1540) - q/(-8). Let c = 153/140 + b. Is 2 at least as big as c?
True
Let h = -6.17 - -5.97. Is h not equal to -60?
True
Let t(u) = -u**3 + 5*u**2 + u - 12. Let n be t(4). Is n greater than or equal to 9?
False
Suppose 4*s = 3*q - 3210, 0*q + 4*s = q - 1062. Let c = q + -9676/9. Which is bigger: -2 or c?
c
Suppose 4*l - 8*l = 340. Let h = 86 + l. Is h equal to 6/35?
False
Let x = -65/6 + 11. Let u = 3.205 + -3.405. Which is bigger: x or u?
x
Let m = 0.016 - -0.112. Let u = -0.028 + m. Which is greater: u or 35/3?
35/3
Suppose 0 = 5*b - 5*s - 200, 3*b + s - 85 = -3*s. Let l = b - 35. Which is greater: -1/93 or l?
l
Let c = -4.8 + 0.8. Let t = -4.1 - c. Let u = -7.06 - -0.06. Which is greater: u or t?
t
Let s = -18 + 36. Let n = s 