. Which is bigger: b or -144?
b
Suppose -l = 11 + 9. Let x = l + 24. Let z be 2/4 + (-1)/(-2). Which is smaller: z or x?
z
Let o = 322 + -322.2. Is o at least -1/17?
False
Suppose 5*b - 2*w + 15 = 0, -4*w + 2 = 3*b - 3*w. Let o be (((-5)/6)/1)/2. Is b greater than o?
False
Suppose 0 = -3*w + 4*j - 5*j + 5, -4*j = -w - 7. Is -8/297 <= w?
True
Suppose -9*u = -14*u - 60. Let f be (-6)/u*(-3)/(-3). Which is bigger: f or -27?
f
Let y be (-51)/9 + (-20)/(-12) + 0. Let q = 69 - 150. Let s be (y/q)/((-32)/48). Which is greater: s or 2/3?
2/3
Suppose 4*m + 301 = -3*d, 2*d + 127 = d + 4*m. Which is smaller: -106 or d?
d
Let b(x) = 2*x**2 + 33*x - 88. Let t be b(3). Does t = 239/8?
False
Let m be 48/84*(-196)/(-8). Do m and 19 have different values?
True
Let x = 0.21 - 6.21. Let f = 1.26 - 1.3. Let t = f + -0.06. Which is smaller: t or x?
x
Let m = 0.54 - 0.94. Is m greater than or equal to 75?
False
Let q be (2*(4 + -10))/2. Which is smaller: -74/11 or q?
-74/11
Suppose 5*q = -4*h + 24, -4*q + 20 = 117*h - 113*h. Which is smaller: 1/233 or h?
1/233
Let r be 3/66*-118 - (-224)/32. Let n(d) = d**3 - 6*d**2 + 5*d + 3. Let q be n(5). Suppose -y + 0*y + q = 0. Is r smaller than y?
True
Let i be ((-24)/(-9))/((-6)/27). Let b be 5/10 - (-9)/i. Which is smaller: 42 or b?
b
Let m be 5056/(-7572) + (-1)/(9/(-6)). Which is greater: m or 1?
1
Let p = 2.91 + -4.51. Is -4/5 at most p?
False
Suppose 2 = i - 2*i. Let n(j) = -j**3 + 4*j**2 + 5*j - 11. Let g be n(5). Let m = g - -9. Does m = i?
True
Let y(l) = 6*l**2 - l + 15*l**3 - 7*l**3 - 9*l**3 + 7. Let j be y(6). Which is smaller: -1/3 or j?
-1/3
Let a(b) = -6*b + 12 - 4*b + 4*b + 4*b. Let r be a(6). Which is bigger: r or -9/7?
r
Let l be ((14/(-2) - -4) + 3)/(-2). Which is smaller: l or -10/33?
-10/33
Suppose -5571 = 3*x - 5025. Which is bigger: -181 or x?
-181
Let p(a) = 2*a + 1. Let l be p(-1). Suppose -3*w + u = 76, -w - 103 = 3*w - u. Let y be -3 - w*(-1)/(-10). Is l <= y?
True
Let h = -2 - -5. Suppose -3*m - 9*m = -11*m. Suppose m = q + d + 5, 5*q + 3 = -h*d - 14. Which is smaller: q or -10/9?
-10/9
Suppose 0 = 12*p + 712 - 7252. Does p = 546?
False
Let s be (-3 + 2)*(-7 + -1). Suppose 0 = 32*f - 17*f - 90. Suppose 2*v - f = s*v. Is 15 at most as big as v?
False
Suppose -5*q = 2*l - 270, 4*l - 54 = -q - l. Is q > 384/7?
False
Suppose 2*c - 4*t - 175 = -149, 4*c - 52 = 5*t. Are c and 0.2 non-equal?
True
Let t be (4 + 132/(-32))*4/2. Which is greater: t or -576?
t
Let z = 6 + -17. Let h = z - -16. Let o = h + -5. Is 8 smaller than o?
False
Suppose 308 = 2*c + 5*v, 4*c + 16*v - 616 = 11*v. Is c at most 151?
False
Let z = 2.5 - 1.5. Let i = -112/45 - -23/9. Let a = -11/60 - i. Which is smaller: z or a?
a
Let c = 11.06 + -0.06. Let h = -909/5 + 882/5. Let q = h + 49/10. Is q equal to c?
False
Let k = 0.57 + -0.35. Let d = k + -4.22. Is 0.3 smaller than d?
False
Let x be (-4)/(-5) + -12*(-42)/(-330). Suppose 7 = -3*p + 1. Do x and p have the same value?
False
Suppose 8*o - 32 = -0*o. Suppose -5*i = g + 530, o*g - 212 = 2*i - 0*i. Is i less than -106?
False
Let u = 9.3 + -21.3. Is u at most as big as 2?
True
Let s = -1827/4 - -457. Is -1/39 greater than s?
False
Let g = 711 - 1140. Which is smaller: -430 or g?
-430
Suppose 8*t = 5*t + 12. Suppose -w = 3*c + 8, 1 = 5*w - t*w. Let l(y) = y**3 - 4*y**2 - 6*y + 1. Let r be l(5). Is c at least as big as r?
True
Let w be (-40)/(-5)*(-3)/(-3). Let i(v) = -74*v - 11. Let r be i(w). Let x be r/(-27) + 2/(-6). Which is smaller: x or -1?
-1
Let s = 0.0471 - -14.1929. Let g = -0.24 + s. Let n = 1.1 - 0.1. Do n and g have the same value?
False
Let s = 1.1037 + -0.0037. Is 0.1 > s?
False
Let d = -59/106 - 71161/318. Let i = d + 225. Let y be 1/(-2) - 11/2. Which is greater: i or y?
i
Suppose -180 = -74*m + 38*m. Is m at least -25?
True
Suppose 254 = -50*g - 4296. Is -91 < g?
False
Let m = 37.5 + 2.5. Let l = m + -40.4. Is -2/7 > l?
True
Suppose t - 945 = -5*p + 3*t, 5*p - 950 = t. Is p <= 571/3?
False
Suppose -22*r = -20*r - y, 4*r = 3*y - 2. Which is bigger: -10/87 or r?
r
Let d = 62 - 184/3. Let p = -61 - -61.052. Let m = p - -0.348. Is d equal to m?
False
Let y = -21 - -18. Let x be 8/(4 - 28/4). Is y equal to x?
False
Suppose l + 3*l - 140 = 0. Let w be (-1)/(-3) - l/(-165). Suppose -3*g = -5*g. Is w not equal to g?
True
Let v(x) = x**3 + 7*x**2 - 1. Suppose -4*p - 2*t - 30 = 0, 4*p = t - 15 - 12. Let j be v(p). Let l be 5/(3/(3/j)). Is -6 != l?
True
Suppose 5*b + d + 3 = 0, -5*d - 15 = b + b. Let u = 10 + -16. Let o be 2/u - 8/3. Is o at least b?
False
Let w be (-48)/12 + (73/(-1) - 1). Which is smaller: w or -76?
w
Suppose q - 51 = c, 0 = -q - q - 2. Let p = 34 + c. Let f(k) = k**2 + 10*k + 6. Let y be f(-6). Is y at least p?
True
Let r be ((-7)/1)/(-24 + 17). Which is smaller: r or 4/5?
4/5
Suppose -9 = 5*w + 81. Let z be w/(-4)*32/(-24). Let m be (-27)/z*(-8)/(-20). Does m = 1?
False
Let s = 6563 + -6519. Let w = 16 - -29. Which is smaller: s or w?
s
Let c = 0.582 - 1.922. Is c at most as big as 0?
True
Let c be (-4128)/14546 + 1 + (-25)/35. Which is smaller: c or 0?
0
Suppose -8*g - 20 = -18*g. Let w be 10/15 - (12/(-9) + g). Which is smaller: w or -1?
-1
Let z(o) = -o**2 - 15*o - 17. Let y be z(-13). Suppose 5*a + y = 4. Does a = 5/29?
False
Let t be (19/38)/((-5)/542). Let y = t - -54. Is y less than 0?
True
Let b be ((-2)/5)/(-2*(-6)/(-60)). Which is smaller: 1 or b?
1
Let d = -85 + 89. Let r be ((-2)/(-10))/((4/3)/d). Which is bigger: 2/9 or r?
r
Let j = -2/161 + -1115/966. Suppose 2*i = -0 - 4. Is i <= j?
True
Suppose -4*n + k + 85 = -60, -n + 41 = -5*k. Suppose b + 2*b - n = 0. Let y be 6/b + (-2)/(-4). Do 2/69 and y have different values?
True
Suppose 4*m - 5*f + 21 = 30, 2*m + 3*f + 1 = 0. Which is greater: 6/119 or m?
m
Let s = 11 - 8. Let n = 8852/19 - 466. Which is greater: n or s?
s
Let w = 6 - 5. Let b = 0 - w. Which is smaller: 0.21 or b?
b
Let x = -5 + 5.3. Let o be 435/1827*2/(-5). Are x and o non-equal?
True
Let h = -2 + 1. Let g be 7/42 + (-4)/8. Are g and h non-equal?
True
Suppose -5 = 5*u - 45. Suppose -u*t - 20 = -76. Is 25/3 less than t?
False
Let q be (-303)/180 - (-1)/3*1. Which is smaller: q or -2?
-2
Suppose 4*h - 37 = 5*p, 0 = 3*h + 5 + 1. Let g = 10 + p. Which is bigger: g or -1/59?
g
Let t = 0.03 + 0.77. Is 17 > t?
True
Let k be (-8)/18*9/(-6). Let h be 1*2 + 1029/(-511). Let t = h - -149/219. Is t greater than or equal to k?
True
Let r = 1 - 3. Let v(s) = s**3 - 10*s**2 + 8*s + 4. Let a be v(9). Let m be ((-15)/(-36))/a*2. Which is smaller: r or m?
r
Let k = -4421 + 66353/15. Let g = k - 11/5. Which is bigger: 0 or g?
g
Let k(c) = -5*c - 7*c - 2*c**3 + 12*c**2 + 3*c**3 + 16. Let y be k(-13). Which is bigger: 0.3 or y?
y
Suppose 0 = -4*y - 5*r - 35, -4*y + 7*y + 2*r + 35 = 0. Which is greater: -1 or y?
-1
Let j be ((2 + -2)/(-3))/(-13 + 12). Let v = 937 - 45911/49. Is j >= v?
False
Let n = 1143/19 - -5597/171. Let p = -24510420287/315 - -77810951. Let s = n - p. Which is greater: s or -0.1?
s
Suppose -k + r - 29 = k, 2*k + 4*r + 54 = 0. Let y be 1/((-2)/36*(14 + k)). Which is smaller: y or 1/4?
1/4
Let s = 117 - 140.1. Let n = -47 - -25. Let h = s - n. Which is bigger: h or -1?
-1
Suppose 44 = 5*i - 16. Suppose -3 = m - i. Suppose c = 2*x + m, -3*c - x - 2 = -6*c. Which is greater: c or 4?
4
Suppose -4*o + 5*o = 2*o. Suppose -63 = -9*n - o*n. Which is greater: 6 or n?
n
Suppose -8*i + 12*i + 108 = 0. Let h(u) = u**2 - 11*u - 11. Let c be h(9). Is c < i?
True
Let a be 1295/3290 + (-2)/(-4). Which is greater: a or -1?
a
Let b = 368/741 + -2/57. Let d = -73/130 + b. Let q = 0.7 - -0.3. Which is smaller: d or q?
d
Let y be 6/3 + 2 + (-60)/90. Let a(z) = -3*z + 1. Suppose 22 = -2*n - 5*d, 0*n = -2*n - d - 6. Let m be a(n). Is y smaller than m?
True
Let s be (4/7*1)/6. Suppose -5*f - 4 = 3*h + 9, 0 = -2*h + 4*f + 28. Let i(o) = -4*o + 15. Let k be i(h). Is k bigger than s?
False
Suppose -369*o = -372*o - 3. Is -21 < o?
True
Let f = -2036.91 + 1093.92. Let g = f - -947. Let w = g - 4. Which is smaller: -1 or w?
-1
Let a = 0.083 - -33.917. Let b = -41 + a. Which is smaller: b or -2?
b
Let g be 198/(-7) - (-20)/70. Suppose 21 = 3*p + 105. Does g = p?
True
Let a be (-67)/(312354/9360) - (-1 + -1). Let y be (0/(-2*1))/(-2). Which is greater: a or y?