 d + -39.895. Which is smaller: b or -1/2?
b
Suppose -4*d + 5*l + 27 = -7*d, 0 = -4*d + 2*l - 10. Which is greater: -9.9 or d?
d
Let c = 0.039 + 23.961. Let y = c - 34. Is -2 <= y?
False
Let s(l) = 0 - 7*l - l**2 + l**3 + 4 + 5 - 5. Let p be s(3). Let z be (28/(-20) + p)*-20. Do 8 and z have the same value?
True
Let k be -4 + 2 - (-28)/36*3. Is k != -182?
True
Let n(w) = -52*w - 6. Let z be n(-2). Suppose -z + 101 = -3*r. Which is smaller: 4/27 or r?
r
Let z = -532/5 + 12256/115. Suppose -5*o = -0*o. Is o less than or equal to z?
True
Let h = 57604/15 + -3838. Let i = -13/5 + h. Let b = -12 - -12.4. Which is bigger: b or i?
b
Let m = 68984593/55 - 1254306. Let n = m - -95941/440. Let w = -177 + n. Which is bigger: w or -1?
w
Let o = -10 - -10.102. Let q = -0.062 + o. Is q greater than or equal to 5?
False
Let i = -2/29 - -55/377. Let w(y) = -y**2 - y + 2. Let n be w(-2). Which is greater: i or n?
i
Let y = -0.122 - -1.122. Is 61 less than y?
False
Suppose 3*r = -2*y + 5*y, -3*r + y = -4. Let a = r - 2. Is 1/6 at most a?
False
Let c = 0.239 + -2.239. Which is smaller: 0.09 or c?
c
Let p(c) = -c**3 + 5*c**2 + c - 1. Let h be p(5). Suppose -b - b - h = 0. Let l = -11 - -10. Is l != b?
True
Suppose -2*q + 4*r + 131 = 357, 5*q - r + 565 = 0. Does -115 = q?
False
Let x = 0.0095 + -109.0095. Is x smaller than -0.3?
True
Let y = 12.24 + -11.13. Are -1/3 and y equal?
False
Let w(x) = -x**2 - 19*x - 34. Let b be w(-18). Which is smaller: b or -22?
-22
Let p = -7.93491 + -0.10409. Let z = -0.039 - p. Which is smaller: z or 2/3?
2/3
Suppose 0 = -0*x - x + 14. Let q = -0.0978 + -0.1022. Which is bigger: x or q?
x
Suppose 3*q + 3 = 18, -2*q + 9 = -r. Let o be (2/3)/(206/6). Which is smaller: o or r?
o
Let h = 206 - 152. Is h != 56?
True
Suppose -4*k = 3*t + t, k - t = 0. Let h(d) = -d - 13. Let q be h(k). Which is smaller: -11 or q?
q
Let a = -164.4 - -12.4. Let t = a - -151.8. Let v = 0.2 + -0.3. Which is smaller: v or t?
t
Let n(b) = 7*b**2 - 4*b - 6. Let o be n(-2). Let m = o + -30. Which is greater: 1/2 or m?
1/2
Suppose 114 + 1250 = m. Let r be (-2)/(-11) + (-336)/m. Suppose -1 = 19*x - 20. Is x bigger than r?
True
Let w = 7327/546 + -247/42. Let f = 171/26 - w. Let y = 6/13 + f. Is 0.1 greater than y?
True
Let t = -314 + 397.6. Let p = 84 - t. Let f be (-2)/(-6) + (-26)/42. Which is bigger: p or f?
p
Let z = -0.023 + 0.323. Which is greater: -41 or z?
z
Let w be 3*(0 + 522/105). Let b = -76/5 + w. Which is greater: -19 or b?
b
Let g = -28 + 34. Let m = g + -3. Which is smaller: m or 5?
m
Let g = -17.3 - -17. Let o = -0.2 - g. Which is smaller: o or -1/2?
-1/2
Let y = 139 - 137. Is 3/5 greater than y?
False
Let h = 536 - 534. Is h bigger than 40/13?
False
Let g be ((-3)/(-27))/1*-14*2. Let u = g - -65/18. Let b be (0 + 2)*22/(-4). Which is smaller: u or b?
b
Let x = 91/2 - 9375/206. Is 0.2 greater than or equal to x?
True
Let k be (-8)/32 + 159/(-228). Let g(f) = -7*f**2 + 78*f - 12. Let q be g(11). Is q smaller than k?
True
Let z be (-1)/312*94 - 1/(-4). Let s = 0.1 + 0. Which is greater: z or s?
s
Let z = 0.8 + -2.2. Let q = z - -1.39. Let c = 0.09 - q. Which is greater: c or 5?
5
Suppose 1 = -k, -6*k = 4*a - 10*k - 4. Which is bigger: a or 2/535?
2/535
Let k = 199747 - 2199694/11. Let i = -225 - k. Is i greater than or equal to 1?
False
Suppose 0 = -131*h + 120*h + 11. Is h at least 3/289?
True
Suppose 0 = -4*l + 4*n - 3*n - 17, -l = -2*n + 13. Which is smaller: -1 or l?
l
Let v(l) = l**3 + 4*l**2 - 6*l - 7. Let p be v(-5). Let n be (p + 26/3)*-6. Let z be (-1)/(-4) - (-2)/n. Which is smaller: -1 or z?
-1
Let b = -2 - -2. Suppose -d + b*d = -4*j - 11, 5*d + 20 = -5*j. Let r be 20/(-6) + (-9)/j. Is r at least as big as 0.1?
False
Let b = 79 + -81. Is 0.068 at least b?
True
Let f be ((-14 - -2)/3)/(-2). Let g(c) = c - 39. Let b be g(38). Are b and f unequal?
True
Let c(o) = 10*o**3 + 3*o**2 - 2. Let v be c(1). Let a be 258/33 + 2/v. Is 6 at least a?
False
Let s be ((-48)/84)/(10/(-35)). Which is bigger: s or 10?
10
Let z = -0.01 - 0. Let v = 3.33 + 0.37. Let o = -3.8 + v. Is o greater than or equal to z?
False
Suppose 26*x + 29*x = 1650. Is x greater than or equal to 14?
True
Let b = -3 + 0. Suppose -5*r - 55 + 5 = 0. Let p be (5/r)/(b/(-12)). Which is smaller: -5 or p?
-5
Let v = -1814 - -1815. Which is bigger: 7/73 or v?
v
Suppose 6 = -5*u - 39. Let p = u + 11. Suppose 1 = -v - p. Which is smaller: v or -1?
v
Let j be 1 + 2 - 20/4. Let y be (12/(-7))/((-5)/7) - 3. Which is greater: y or j?
y
Suppose -3*y = -9, 5*f + 9*y - 4*y = 175. Suppose -2*s = -2*o + 68, -3*o = -o - s - 66. Is o greater than or equal to f?
True
Let k(x) = x**2 - 13*x - 68. Let f be k(17). Is f at most -10/43?
False
Let w be (-22)/26 - (0 - 1). Let g = -53 - -62. Let v be 6/8 + g/36. Is w > v?
False
Suppose -5*k - 6 = m, -2*m + 5*k = -17 - 16. Is 29/3 at most as big as m?
False
Let b = -388 + 239. Let r = 741/5 + b. Let j = r - -2/5. Which is greater: j or -6?
j
Suppose 39 = -2*d - 17. Let n = d + 11. Let w = 4873 - 4890. Is n < w?
False
Suppose 2*s + 40 = -2*s. Let g be ((-14)/s)/((-2)/(-10)). Let d be (-76)/133 - (-4)/g. Is d bigger than -2/15?
True
Let j(x) = -x**3 - 9*x**2 + 10*x + 19. Let s be j(-10). Suppose 4*d + 4*p - 52 = 0, 3*d + 3*p - s = 2*d. Let u = -1 - -9. Which is smaller: d or u?
u
Let h(w) = -35*w - 1. Let l be h(0). Is l <= 4/87?
True
Let d be ((-28)/35)/(46/14725). Let o = -256 - d. Which is smaller: 1 or o?
o
Let d = -53.02 + 2.82. Let a = 50 + d. Are 2 and a non-equal?
True
Let u(y) = -y**2 - 4*y - 2. Suppose 0 = 4*l + 10 - 6. Let h(v) = -2*v**2 + 2*v + 1. Let m be h(l). Let k be u(m). Which is bigger: k or 2?
2
Let g = 190 + -33. Which is greater: 156 or g?
g
Suppose -4*m + 2*x = 20, -3*x = -2*m + 5 - 7. Let s(g) = -g**2 - 12*g - 13. Let d be s(m). Is 21 != d?
True
Let f = 111 - 137. Which is smaller: f or -29?
-29
Let y be ((-3)/12*-3)/(1/(-8)). Which is bigger: -11 or y?
y
Let h = 499.1 - 499. Does h = -132?
False
Let k be 10 + -5 - ((-1120)/(-18))/7. Are k and -4 unequal?
True
Let v = -0.41 - 23.59. Let j = v + 21. Let z = j + 5. Is 0.8 greater than z?
False
Let i = 38615/1226 - -2/613. Is 31 > i?
False
Let j be (-20094)/99 + (8 - 9). Let a = -204 - j. Which is smaller: a or 0?
a
Let b = -47 - -39.9. Let o = -0.167 - -7.167. Let n = o + b. Which is smaller: 1 or n?
n
Let v be (63/(-700))/((-5)/(-4) - 2). Is v < -2?
False
Let q = 53 - 49. Suppose q*v = 3*u - 20, 0 = -5*v - u - 4*u - 25. Which is greater: -3 or v?
-3
Let v = 741 - 513. Is 227 bigger than v?
False
Suppose -4*o + 13 = 9. Let s be 15/(-20)*(-19 + o). Which is bigger: s or 13?
s
Let n(m) = -2*m**3 - 43*m**2 - 16*m + 109. Let f be n(-21). Does 5 = f?
False
Let k = -39 - -74. Let c be 20/(-66)*(-42)/k. Are 0 and c equal?
False
Let p = -118 + 117.99. Let c = -91 + 92.01. Let h = c + p. Which is greater: h or 0.1?
h
Let w = -6.23 + 3.35. Is 2/7 greater than or equal to w?
True
Let c = -0.9 + -0.2. Let q = 12.9 - c. Let n(p) = p**3 - p**2 - 5*p + 1. Let x be n(0). Which is smaller: q or x?
x
Let w = 5330374/15693 + 5/5231. Which is smaller: w or 339?
339
Let g(x) = -3*x**2 - 18*x - 31. Let c be g(-12). Is c bigger than -248?
True
Let h = -43 - -67. Let q be 1/(-3) - (-42)/72. Are h and q equal?
False
Suppose -2 = 2*l + 10. Let f be -1 + (-8)/l + 0. Let k = -18522 + 18519. Which is smaller: k or f?
k
Let c(a) = -a**3 + 3*a**2 + 5*a + 5. Let v be c(4). Suppose 5*z - v = 6. Let y = 4 + -2. Is y < z?
True
Suppose -21 = 36*m - 21. Are 0 and m equal?
True
Let c = 175 + -175. Which is bigger: -0.5 or c?
c
Let l(x) = -x**2 + 11*x - 16. Let r be l(7). Let f be 3/3 - r/16. Let u be 1 + 0 + (-2)/(-4). Which is smaller: f or u?
f
Let h = 1/95 - -357/380. Which is bigger: 2 or h?
2
Suppose -8*k + 5*k - 1128 = 0. Is k at least as big as -374?
False
Let h be (15/((-22575)/(-14)))/5. Do h and 0 have the same value?
False
Let v(z) = 4*z**3 + 3*z**2 - 4*z - 3. Let a(y) = -3*y**3 - 3*y**2 + 4*y + 2. Let c(q) = 5*a(q) + 4*v(q). Let o be c(4). Let s = o - 18. Are s and 11 nonequal?
True
Let a(b) = -7*b - 3. Suppose 16 = -4*k + 2*l, -5*l + 33 - 13 = 0. Let g be a(k). Which is greater: g or 14?
14
Let h be 12/(-12) - (-3)/1. Suppose 0 = 3*i - n + 6 + 9, 0 = h*i - 4*n + 10. Is i smaller than -4?
True
Let n be (-63)/(