smaller: b or t?
b
Let v be (112/52 - 2)/(4 - -2). Is v at most 1?
True
Let s(y) = -y**3 - 9*y**2 + 6*y + 5. Let b be s(-6). Let l = -693/5 - b. Is -1 != l?
True
Let n be (-1 + 1)/(-2) + 8*-7. Which is smaller: n or -1/8?
n
Let u = -19 + 39. Let m = u + -6. Let q = m + -13.9. Is -0.5 > q?
False
Let k = 39 + -27. Suppose 2*d = -3*d + 10, -5*u = -4*d - 52. Is u smaller than k?
False
Let h(j) = 2*j - 9. Let c = 8 - -2. Let s be h(c). Which is greater: 1/3 or s?
s
Suppose -74 - 88 = 6*n. Is n less than -219/8?
False
Let s = 0.83 + -4.13. Let i = -3.6 - s. Is -0.2 at most i?
False
Let u be ((-4)/(-2 + 18))/(20/160). Is 68 less than or equal to u?
False
Let k(g) = g**3 - 7*g**2 - 6*g. Let y be (-3 - -1)/(12/(-48)). Let c be k(y). Suppose -c + 13 = -3*w. Are -1/12 and w nonequal?
True
Let w = -544 - -550. Which is bigger: w or 1?
w
Suppose 2509 = -4*f + 181. Which is smaller: f or -583?
-583
Let o = 6.92 - 0.52. Let y = o - 6.5. Is -49 less than y?
True
Let y(o) = -o**3 + 16*o**2 + 36*o + 36. Let r be y(18). Is 36 <= r?
True
Let g = 827 - 7457/9. Is g less than 6?
True
Let i be (2/(-10) - 3037/(-585)) + -5. Which is greater: 1 or i?
1
Let b(x) = -3*x + 25. Let j = -23 - -39. Let m be b(j). Which is greater: -24 or m?
m
Let t = -7.86 - 0.14. Let g = -7.8694 - 0.0406. Let k = t - g. Is k not equal to -1/4?
True
Suppose -2*l - 10 = 0, -3*c = -5*c + 5*l + 15. Suppose 4*g = f - 4, -2*f = 2*g - 0 + 22. Which is bigger: c or f?
c
Let l = -1364 - -1326. Is l less than 14?
True
Let s(f) = 1 - 2*f + 0 - 1 - 1. Let g be s(-6). Let o = -11 + g. Is 0 greater than o?
False
Suppose 0 = 4163*o - 4170*o - 98. Is o less than or equal to -89?
False
Let c be 30 - 0/(1 - 4). Let j = c - 239/8. Suppose -o + 1 = 5*h, -o + 2*h = 4*h - 1. Which is smaller: j or o?
j
Suppose 0*q - 1 = q. Let g be 40/15 - (q + 4). Let l be ((-2)/2)/(6/(7 - 1)). Is g less than l?
False
Suppose -5*g - 3*b = -1268, g - 1028 = -3*g + b. Suppose -258*w + g*w + 2 = 0. Is w bigger than -5?
True
Let b(k) = k**3 + k**2 + 2*k + 2. Let z be b(-2). Let y be z/21 - (32/(-14) + 2). Is 0 not equal to y?
False
Let u(q) = -q**3 - 12*q**2 - 21*q - 1. Let j be u(-11). Is 102 at least as big as j?
False
Let s = -896 + 27770/31. Let f = s + 92/155. Which is smaller: f or -1/2?
-1/2
Let b = -8887/430 + 1/1290. Which is smaller: -20 or b?
b
Let i = 52077 + -136285511/2617. Which is bigger: i or -1?
i
Suppose 0 = -3*q - 5*k - 5, -2*q - 8 = -4*k - 12. Suppose -4*r = -6*r - q*r. Is -10/7 greater than or equal to r?
False
Let q(b) = 3*b**2 + 5*b + 7. Let j be q(-4). Is j greater than or equal to 34?
True
Let w = -16.6 - -19. Let h = 101 + -93.4. Let y = w + h. Is -1 not equal to y?
True
Let d = 254 - 254. Let h be 14*1*(-4)/8. Which is smaller: d or h?
h
Suppose -3*d - 58 = 5*o, o - 4*d = -3*o - 72. Is o at most -12?
True
Suppose 0 = 2*p - 9*p. Let k(z) = -z**2 - 5*z - 8. Let t be k(-9). Let v = 834/19 + t. Which is greater: p or v?
p
Let x = 82 + -74. Let k = 2.8 - 2.7. Which is greater: k or x?
x
Let q be ((-26)/5 - -4)*(-40)/12. Suppose q*h = 3*f + 37, h + 4 = f + 12. Which is smaller: h or 17?
h
Suppose 0 = 9*z - 228 + 3. Is 0 bigger than z?
False
Let g(x) = 11*x**2 - x. Let i be 68/20 - (-3)/5. Let w be g(i). Let f = w + -1894/11. Is 0.4 greater than f?
True
Let y = -120 - -120. Which is bigger: 4/77 or y?
4/77
Let g = -473/840 + -1/120. Let s be ((-4)/6)/((-4)/24). Let n = -6 + s. Which is bigger: g or n?
g
Let h = 62 - 62. Suppose -3*p = -82 + 28. Suppose -3*m = -5*l - p, 4*m - 6 = m + l. Are m and h equal?
False
Let n = -908 - -873. Are n and -0.2 unequal?
True
Let q = -1130 + 880. Do q and -249 have different values?
True
Let j = 80 - 148. Let l = j + 68.27. Let n = l + -2.27. Is 0 greater than or equal to n?
True
Let i be (112/42)/((-2 + 1)/(-6)). Suppose i = 3*o + 5*o. Is o bigger than 2?
False
Suppose 3*c + 2*x + 12 = 0, 3*c - 3*x - x - 6 = 0. Let k be (5/(-2) + 2)*c. Let d(t) = t**2 - 5*t + 5. Let g be d(1). Is g at most k?
True
Let x = -12.2 + 15.4. Which is greater: x or 1?
x
Let r = 2179 + -6401/3. Let i = 46 - r. Is i bigger than -8?
True
Suppose -5*h - 5*l - 5 = 0, -4 - 6 = 5*l. Let x be h/(-4) - (-8)/32. Suppose x = -o + 3 - 5. Is 2 at most o?
False
Let m = 258 - 9548/37. Let s be (3 + 4 + -7)*2/(-4). Which is smaller: m or s?
m
Let h be (-4)/45 + (-1)/(-9)*3. Which is smaller: 1 or h?
h
Let s = -14 - -13. Let g = 2866/651 - 92/21. Which is bigger: s or g?
g
Suppose 4*j + 5*r + 37 = j, 3*j = -4*r - 32. Suppose -3*l = u - 36, 8*l + 24 = 10*l - 5*u. Suppose v - l*v - 11 = 0. Which is greater: j or v?
v
Let a = 0.1 - 0.2. Let j = 238.2 - 237.75. Which is smaller: j or a?
a
Let i be 2/9 - (-148)/(-99). Let s(v) = -v**3 - 4*v**2 + 39*v + 40. Let b be s(-1). Is i at most as big as b?
False
Let w = 383 - 145. Which is smaller: w or 239?
w
Suppose -10*z + 7*z = -5*z. Suppose -65*u + 69*u + 172 = z. Which is bigger: u or -42?
-42
Let k = 274 + -274.4. Which is smaller: -1 or k?
-1
Let r = -536 + -67. Which is smaller: -604 or r?
-604
Let t be 12/(-10) - -2 - -1. Let p(z) = 4*z. Let x be p(-20). Let g = x - -82. Is g > t?
True
Let n be -10 + 9 - 250/(-8). Are 30 and n nonequal?
True
Let u = -686 + 550. Which is bigger: -137 or u?
u
Let v = -109976 + 1431093/13. Let n = 108 - v. Is n < 5?
True
Let c = -1274 + 960. Which is smaller: -315 or c?
-315
Suppose -f = -4*f + 9. Suppose -3*j - 19 = -f*i - 79, 5*i = -j - 100. Let z(a) = -a**3 + 5*a**2 + 4*a - 7. Let m be z(6). Which is smaller: i or m?
i
Let b be (2/(-3))/((-2)/3). Let l be (108 + -1 + 2)*19/(-5130). Let w = l - -1/270. Which is bigger: w or b?
b
Let r(v) = -136 + 2*v + 70 + 68. Let c be (1 - -1)*11/(-22). Let i be r(c). Is -0.09 > i?
False
Let j = -3620/3 + 1208. Which is greater: j or -4/15?
j
Let m = 1366/65835 - 5/209. Is 1 < m?
False
Let f = 2.66 - -0.04. Let r = -0.11 + 2.71. Let z = f - r. Is -0.5 >= z?
False
Let v = 111/10 - -1/2. Is 11 < v?
True
Let t = 8 + -8.26. Let s = t + 0.05. Let a = -0.01 - s. Is 2 equal to a?
False
Let r = 42 + -549/13. Which is smaller: r or 0?
r
Let y be (6 - (-45)/(-6))/(-513)*-5. Which is smaller: -1 or y?
-1
Let h be (7 + -2)/(10/2772). Is 1386 smaller than h?
False
Let a be (-216)/(-32)*(-8)/(-6). Is a smaller than 13?
True
Suppose 6*n = 12*n - 774. Which is greater: n or 1041/8?
1041/8
Let y = -275 - -277. Let d = -306 + 3375/11. Which is smaller: d or y?
d
Let k = 0.052 + -0.098. Do -3 and k have the same value?
False
Let v be 2 + -1 + 1 + -2. Suppose -2*z = -j + 2, 4*z + v + 4 = -3*j. Let u = j + 0. Is u at least 0?
True
Let n = -538/9 - -4397/18. Which is greater: n or 186?
186
Suppose 0 = -3*p - 7*c + 2*c - 22, -4*c = 3*p + 17. Let v be (-994)/2254 - 8/(-14). Which is smaller: v or p?
v
Suppose 28*i + 37*i = -65. Let y = 1767 - 10639/6. Which is smaller: y or i?
y
Let x = -861 - -804. Is -54 != x?
True
Suppose -2*b = 2*m, 4*b + b + 4*m + 2 = 0. Do b and 4 have different values?
True
Let y = -3.4 + 101.65. Let x = 98 - y. Which is greater: x or -3?
x
Suppose 0 = v - 3*p - 1, 3*p + 4 - 9 = -5*v. Let y(w) = -w**3 + w**2 + 5*w - 4. Let i be y(3). Is i > v?
False
Let f(o) = -36*o. Let n be f(2). Let g = -33 - n. Let x be (-8)/6*g/(-182). Which is smaller: -0.2 or x?
-0.2
Let r = 5 - 4.97. Let x = -15.5 + 15. Let i = x - -0.4. Is r at least as big as i?
True
Let a(x) = 2*x**3 - 38*x**2 - 43*x + 55. Let u be a(20). Is u at least -4?
False
Suppose 4 = h - 5*o, -3*h + 2*o - 9 - 31 = 0. Let s be h/80 + (-22)/(-10). Let k be (s/2)/(26/4). Which is greater: k or 1?
1
Suppose 84*o + 3 = 81*o. Which is greater: o or -52?
o
Suppose 20 - 18 = -y. Let r be (-2 - -1) + (-4)/(8/y). Which is greater: r or 5/6?
5/6
Let n = -3.7 + 3.35. Let k = 0.25 + n. Are 2 and k unequal?
True
Let m(o) = 2*o**3 - o**2 - o. Let t be m(3). Which is smaller: t or 45?
t
Suppose -5*u = -4*w - u - 4, w - 17 = -5*u. Suppose a + w = 2*i, -3*a = -0*a + 5*i - 27. Let z be -3 + 1 + -1 + a. Which is bigger: 6/11 or z?
z
Let t be (-1)/3 - (-25)/3. Let x be 42/t - (-12)/(-48). Suppose -24 = q + 4*g, 3*q = -2*q - x*g - 75. Which is bigger: -11 or q?
-11
Let b = 0.38 + -0.3. Let j = -0.139 + 0.07. Let i = j + -0.031. Which is smaller: b or i?
i
Let s = -118 + 106. Let m be (s/(-696))/((-1)/(-28)). Which is greater: m or 0?
m
Let k = 9.952 - 0.032. Let t = -