 (-2 - -1)). Which is bigger: b or k?
b
Let l = -696 + 341. Are -355 and l non-equal?
False
Suppose 0 = -2*f - g + 5 - 2, g - 5 = -4*f. Suppose -7*t + 13 = 3*b - 2*t, -5 = -t. Let n = b + 3. Do n and f have the same value?
False
Let f = 1.572 + 0.028. Let p = -1 + f. Is 2/3 at least as big as p?
True
Let w = -118.1 - -118. Which is bigger: -29 or w?
w
Suppose 0*m = 2*m - 24. Let n be m/15 + (0 - 0). Is 1 less than n?
False
Let b(w) = w**2 + 5*w - 5. Let y be b(-6). Let m = -7.9 + 85.9. Let f = 75.4 - m. Which is smaller: y or f?
f
Suppose -17 = 5*m - 4*s, -11 - 2 = 4*m - 3*s. Suppose l - 4*l = -15. Is m < l?
True
Suppose 6 = m + x - 4*x, 11 = 4*m + x. Let u(a) = 2*a**3 - 4*a**2 + 5*a - 3. Let o be u(m). Let f be (2 + 0)*15/o. Which is smaller: 6/11 or f?
6/11
Let b(v) = v**3 + 3*v**2 - 4*v. Let u be b(-4). Let t be (30/(-4) + 1)/20. Let z = t - -1/5. Which is smaller: u or z?
z
Let u = -7.735 - 0.065. Let c = u + 9.8. Let z = 0.4 + -0.41. Is c less than or equal to z?
False
Suppose -3538 = 67*n + 1286. Is -58 at most as big as n?
False
Let g be 95/(-14) - 4/(-14). Suppose -s = -3*b - 6, 5*b + 0*b + s + 10 = 0. Let w(t) = -2*t**2 + 5*t + 10. Let l be w(b). Which is greater: l or g?
g
Let v be ((-5 - -5)/1)/(-2). Suppose s + 23 = -3*u, v*u - 5*u - 5 = -5*s. Which is smaller: u or -7?
-7
Let v = -772/1071 - -1/153. Suppose 2*t + 2 = t, -5*f + 4*t + 3 = 0. Is f <= v?
True
Let g = -216 + 306. Which is smaller: 89 or g?
89
Let d be (-2)/(-8) - 1/4. Let r = 1924 - 1926. Is d > r?
True
Let u = -12 - -17. Suppose -u*g - 2 = 98. Do -19 and g have different values?
True
Suppose -9*b + 212 = 284. Which is smaller: b or 2?
b
Let w = -533 - -509. Is w less than -24?
False
Suppose 507 = 463*l - 476*l. Which is smaller: -115/3 or l?
l
Suppose 10 = -4*a - 2*r, -3*a - r + 2 = 8. Which is smaller: -173 or a?
-173
Let a = -21907.351 - -21936. Let b = -0.151 - a. Let q = -29 - b. Which is bigger: q or 1/5?
1/5
Let s = 22.987 + 0.013. Let v = -23.1 + s. Let n = -2.1 - -0.1. Do n and v have the same value?
False
Suppose 3*o + 9 = 4*o. Let r(y) = 9*y**3 - 2*y**2 + 1. Let v be r(1). Are v and o non-equal?
True
Let v(m) = -4*m**3 + m - 2. Let b be v(1). Let g(a) = -a - 3. Let r be g(b). Is r greater than or equal to 2?
True
Let v = 151/6 + -2839/114. Let w be 49/7 + 7*-1. Which is bigger: v or w?
v
Suppose -5*h = -6*h + 3*n + 22, -n = 4*h - 23. Let p be (-4)/36 - h/(-1197). Is 1 greater than p?
True
Let d = 14.65 - 14.74. Is d >= 1/4?
False
Suppose -2*u - 11 = -19. Suppose -u*a - 4 = 0, 4*a - 197 = o + 6*a. Let n be (-25)/10*12/o. Which is greater: -0.02 or n?
n
Let f(o) = -8*o - 5. Let p be f(-2). Let k(b) = -34*b + 1 + 37*b + p*b**2 - b**3 - 3. Let s be k(11). Which is bigger: s or 30?
s
Let s = 0.1 - 0.1. Let w = 3.79 - 3.6. Let m = 0.81 + w. Which is smaller: s or m?
s
Suppose 5*w - 392 = -3*w. Suppose 7 + w = -7*q. Which is bigger: -9 or q?
q
Let z(d) = -2*d + 83. Let j be z(7). Which is smaller: j or 71?
j
Let d be (2/(-24))/(39/(-45852)). Let f = d - 293/3. Is f at most as big as 1?
True
Let x be 10/6*84/(-70). Which is greater: x or -9?
x
Let q = -17 - -16.86. Let y = 0.06 - q. Are y and -10/3 non-equal?
True
Let x = 7111/3 + -2370. Let r = 0.277 + 0.013. Let y = r + -0.3. Which is smaller: y or x?
y
Let c = 82/235 - -12/235. Let b(m) = -3*m + 2*m + m**2 - 1 - m**3 + 2*m. Let y be b(0). Which is greater: c or y?
c
Let r = 0 + -3. Suppose -8*m - 2 = -7*m. Let h = m + 3. Which is smaller: r or h?
r
Let a = 119.9 - 119.9. Is a greater than -0.2033?
True
Let j = -1129 - -1130. Which is bigger: -234 or j?
j
Let p(k) = -k**3 + k**2 - k + 1. Let a be p(0). Let n be (-13)/33 - (-15 + (-2415)/(-165)). Which is greater: n or a?
a
Let x = -270.826 + 271. Which is greater: x or 0?
x
Let x be 1/5 - (-58)/(-90)*1. Which is smaller: 1 or x?
x
Let i(h) = -h**2 + h - 3. Let w be i(0). Let f be -7*(20/7 + w). Which is smaller: f or 2/63?
2/63
Let h = 27 + -26.9. Let x be ((-2)/4)/(2/(-4)). Is h >= x?
False
Let m be 0 + -1 + 16 + 0. Let g be 3*(m/(-5) - -2). Which is greater: -9/4 or g?
-9/4
Let w = -15 + 12. Let k be (28/8)/((-12)/w). Is 2 greater than or equal to k?
True
Suppose 2*m = 0, 0 = -8*f + 3*f - 4*m + 85. Let r = f - 21. Which is greater: r or 3?
3
Let j = -164 + 95. Let r = 69.1 + j. Which is smaller: 3 or r?
r
Suppose 7*p - 9*p = -20. Let s(j) = -5*j**2 - 5*j - 4. Let y(l) = -11*l**2 - 10*l - 9. Let c(q) = 13*s(q) - 6*y(q). Let r be c(6). Which is smaller: p or r?
r
Let l = -12 + 16. Let k be 9/l + (-3)/12. Let i be k/3 + (-1)/(-3). Which is greater: 2 or i?
2
Let t = -22.49 - -0.49. Is 1 at most t?
False
Let v be (-358)/74 - -5 - 0/(-1). Let i = 345/74 - v. Is i > -1?
True
Let k = -20 - -25. Suppose k*g - 2 = 4*b - 1, 3*b + 2 = 5*g. Which is smaller: 2 or b?
b
Suppose -3*b - 3*a - 258 = 0, a - 82 = -0*b + b. Suppose 0 = d + 24. Let w be 16/(-154) + d/b. Which is greater: -2 or w?
w
Suppose 0 = -26*x + 21*x + 150. Let h = 152/5 - x. Let b(r) = -r**3 - 7*r**2 - 8*r - 9. Let u be b(-6). Which is bigger: h or u?
u
Let x be -2 - ((-122)/(-61) + 1143/(-286)). Is -0.8 less than x?
True
Suppose -2*s - 3 = -7, 5*s = 5*d + 15. Is d at least -6/941?
False
Let d = 60.118 + -0.118. Let x = 60.27 - d. Which is smaller: 0 or x?
0
Suppose 0 = 9*x - 14*x. Suppose -3*t + 6*t = x. Let u be (-1)/12 - 0/(-1). Which is smaller: u or t?
u
Let r be (24/14)/((-8)/(-28)). Which is bigger: 8 or r?
8
Let b = -102 - 169. Is b at most -271?
True
Let q be -39*-3*(-8)/(-36). Let d = 60 - 33. Which is greater: d or q?
d
Suppose -5*u - 4 = 5*r - 3*r, -4*u + 3*r = -6. Is u < 6/35?
True
Let v = 3/74 - 253/2590. Let t = 28 - 38. Let c be (-3)/(-5) + 6/t. Is v at least c?
False
Suppose 0*a + 5*f + 13 = -3*a, -3*f = -5*a - 33. Is a smaller than -130/19?
False
Let s(x) = x**2 - 7*x - 8. Let t be s(4). Let c = -22 - t. Which is greater: -3/4 or c?
-3/4
Let r(d) = 2*d**2 + 22*d + 16. Let m be r(-10). Suppose -4*i = 2 - 10. Which is smaller: m or i?
m
Let m = -611.7 + 611. Is m at most as big as -1.3?
False
Let z = -348 - -681. Is z at least as big as -0.2?
True
Let u(h) be the first derivative of h**3/3 + 5*h**2/2 - 6*h - 1. Let m be u(-6). Let z be 5*(-2 + 1) + 330/70. Is z greater than m?
False
Let y be (-2)/(-3) + 46/6. Let o be (-3)/2 + 1596/152. Is y at least as big as o?
False
Suppose 4*w = 5*d + 57, -42 = -5*w + 5*d + 33. Suppose -a = -5*m + 35, 0*m - 4*m + 16 = 0. Let k = w + a. Is k greater than 4?
False
Let z(q) = 148*q - 16. Let y be z(5). Let c be (-6)/(2184/y) - 4/26. Is -1 less than c?
False
Let v = 302.9 - 303. Is v at least 0.242?
False
Let b = 3485/2 + -1783. Is -41 less than b?
True
Let u = 951.05 + -932. Let f = 5 + 14. Let p = u - f. Which is smaller: p or -2/5?
-2/5
Let h be (-21)/(-168) - 237/552. Which is smaller: h or 2/5?
h
Let z be (6 + -30)*1/(-458). Are 1 and z equal?
False
Let x = 4 - 5. Let v = x + -2. Let c = v + 2.94. Is c bigger than -1?
True
Let x be (-20)/(-6) + (-8 - (-30)/5). Let v = -109/84 + x. Which is smaller: -1 or v?
-1
Let k be (-10)/15 + 76/6. Let z(c) = 2*c - 18. Let s be z(k). Let m = s - 9. Is m at most as big as -3?
True
Let q = 27 + -12. Suppose -4*n + q = -n. Let k = 3 + 1. Which is smaller: k or n?
k
Let b = -56519/564 + 1201/12. Suppose 1 + 0 = m. Do b and m have the same value?
False
Suppose -5*u + 111 = 2*g, 2*g + 4*u - 101 = u. Let f(x) = 27*x - 10. Let k be f(2). Which is smaller: g or k?
g
Let w(h) = 8*h**2 - h + 1. Let p be w(1). Let j be p/(-3)*3/(-2). Suppose -j*x = -x. Is 1/23 < x?
False
Let t(c) = -c**2 + 5*c + 67. Let p be t(11). Is -2/49 at most as big as p?
True
Let v be (16/128)/(6/(-7976)). Let r = v - -165. Which is bigger: r or -2?
r
Let c = -3.22 + 2.42. Which is greater: -0.26 or c?
-0.26
Let u = -0.057 - 0.203. Let h = -1.16 - u. Is h >= 1/4?
False
Suppose -2*c + c - 62 = -a, 5*c = -4*a - 328. Suppose 37*n = 45*n + 520. Which is smaller: c or n?
n
Let c be (3/(-4))/(3/(-2)). Suppose 3*w + 15 = 21. Which is greater: c or w?
w
Let i = 128.73 - 127. Let w = i + -1.9. Let y = 6.83 - w. Is -1 != y?
True
Let x = 7156/3 + -350654/147. Is x less than 0?
True
Let h(n) = n**3 + 3*n**2 - 2*n - 4. Let k be h(-3). Let g be (-5 - -3)*1/k. Let l be (-49)/21*12/21. Which is bigger: l or g?
g
Let m be 5/10*2*-1. Let h(d) = d**2 + d. Let c be h(m).